scientific article; zbMATH DE number 1276823
From MaRDI portal
Publication:4238968
zbMath0951.68547MaRDI QIDQ4238968
Hans Sterk, Tomás Recio, M. Pilar Vélez
Publication date: 20 April 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry (51-01)
Related Items (5)
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 the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons ⋮ On One Method of Proving Inequalities in Automated Way
This page was built for publication: