Help on query formulation
An application of Gröbner bases. (English)
Mont. Math. Enthus. 6, No. 3, 381-394 (2009).
Summary: In this paper, we program a procedure using Maple’s packages, with it we can realize mechanical proving of some theorems in elementary geometry.
Classification: R20 E50
Valid XHTML 1.0 Transitional Valid CSS!