scientific article; zbMATH DE number 1276823

MaRDI QIDQ4238968zbMATH OpenFDO

Authors Tomas Recio, Hans Sterk, M. Pilar Vélez

Publication date 20 April 1999

zbMATH Keywords

computer-aided commutative algebra

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry (51-01) Symbolic computation and algebraic computation (68W30)

Recommendations

• Mechanical theorem proving in projective geometry
• scientific article; zbMATH DE number 1745036
• Automated theorem proving in projective geometry with bracket algebra
• scientific article; zbMATH DE number 2160466
• Invariant computations for analytic projective geometry

Cited in

(5)

• On the unavoidable uncertainty of truth in dynamic geometry proving
• Challenging theorem provers with Mathematical Olympiad problems in solid geometry
• On one method of proving inequalities in automated way
• On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons
• On protocols for the automated discovery of theorems in elementary geometry

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4238968)