爱花花儿愤怒 发表于 2025-3-28 14:59:30

A Survey of Geometric Reasoning Using Algebraic Methods to assign coordinates to key points and to translate the hypotheses and conclusion of a geometry statement into multivariate polynomial equations and inequalities. The second step is to prove the corresponding algebraic statements using various algebraic techniques. To date the most practically suc
页: 1 2 3 4 [5]
查看完整版本: Titlebook: Learning and Geometry: Computational Approaches; David W. Kueker,Carl H. Smith Book 1996 Birkhäuser Boston 1996 algebra.artificial intelli