scientific article; zbMATH DE number 1746666

MaRDI QIDQ4530835zbMATH OpenFDO

Authors Daniela Tulone, Chen Li, Chee K. Yap

Publication date 9 June 2002

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1305089
• scientific article; zbMATH DE number 1189071
• The Importance of Being Zero
• scientific article; zbMATH DE number 991677
• A geometry prover based on a combined probabilistic checking model

Cited in

(8)

• Much Ado about Zero
• Non-standard analysis in dynamic geometry
• Recent progress in exact geometric computation
• scientific article; zbMATH DE number 1189071 (Why is no real title available?)
• Counterexamples to the uniformity conjecture
• A probabilistic algorithm for verification of geometric theorems
• Robustness and Randomness
• A note on the need for radical membership checking in mechanical theorem proving in 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 Q4530835)