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

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

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

(9)

• Recent progress in exact geometric computation
• Non-standard analysis in dynamic geometry
• Counterexamples to the uniformity conjecture
• Much Ado about Zero
• scientific article; zbMATH DE number 1189071 (Why is no real title available?)
• scientific article; zbMATH DE number 1305089 (Why is no real title available?)
• 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:

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