scientific article; zbMATH DE number 1746666

zbMATH Open0986.68123MaRDI QIDQ4530835FDOQ4530835

Authors: Daniela Tulone, Chen Li, Chee K. Yap 

Publication date: 9 June 2002

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (8)

• Much Ado about Zero
• Non-standard analysis in dynamic geometry
• Recent progress in exact geometric computation
• Title not available (Why is that?)
• 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)