Randomized zero testing of radical expressions and elementary geometry theorem proving

DOI10.1007/3-540-45410-1_5MaRDI QIDQ4530835zbMATH OpenFDO

Authors Daniela Tulone, Chen Li, Chee K. Yap

Publication date 9 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45410-1_5

Mathematics Subject Classification ID

Algebraization in linear incidence geometry (51A25) Symbolic computation and algebraic computation (68W30)

Recommendations

• A probabilistic zero-test for expressions involving roots of rational numbers
• Probabilistic verification of elementary geometry statements
• The Importance of Being Zero
• scientific article; zbMATH DE number 991677
• A geometry prover based on a combined probabilistic checking model

Cited in

(9)

• Recent progress in exact geometric computation
• Non-standard analysis in dynamic geometry
• Counterexamples to the uniformity conjecture
• Much Ado about Zero
• Probabilistic verification of elementary geometry statements
• A probabilistic zero-test for expressions involving roots of rational numbers
• A note on the need for radical membership checking in mechanical theorem proving in geometry
• Robustness and Randomness
• A probabilistic algorithm for verification of geometric theorems

This page was built for publication: Randomized zero testing of radical expressions and elementary geometry theorem proving

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