Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

88

JAR
1998

61views more JAR 1998»

A New Approach for Automatic Theorem Proving in Real Geometry

15 years 2 months ago

A New Approach for Automatic Theorem Proving in Real Geometry

Download redlog.dolzmann.de

Andreas Dolzmann, Thomas Sturm, Volker Weispfennin

Real-time Traffic

JAR 1998 |

claim paper

Related Content

» A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering

» The Game of Hex An Automatic Theorem Proving Approach to Game Programming

» Generating Readable Proofs A Heuristic Approach to Theorem Proving With Spider Diagrams

» Automatic Verification of Regular Constructions in Dynamic Geometry Systems

» A new proof of Nashs Theorem via exchangeable equilibria

» A zerodimensional approach to compute real radicals

» RealTime Projector Tracking on Complex Geometry Using Ordinary Imagery

» Finding and Certifying Loops

» Shape Preserving Digitization of Ideal and Blurred Binary Images

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	1998
Where	JAR
Authors	Andreas Dolzmann, Thomas Sturm, Volker Weispfenning

Comments (0)