Publication:4238968
From MaRDI portal
zbMath0951.68547MaRDI QIDQ4238968
Hans Sterk, Tomás Recio, M. Pilar Vélez
Publication date: 20 April 1999
68W30: Symbolic computation and algebraic computation
13F20: Polynomial rings and ideals; rings of integer-valued polynomials
51-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry
Related Items
On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons, On the unavoidable uncertainty of truth in dynamic geometry proving, Challenging theorem provers with Mathematical Olympiad problems in solid geometry, On protocols for the automated discovery of theorems in elementary geometry, On One Method of Proving Inequalities in Automated Way