✦ LIBER ✦

A New Approach for Automatic Theorem Proving in Real Geometry

✍ Scribed by Andreas Dolzmann; Thomas Sturm; Volker Weispfenning

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A parallel approach for theorem proving

✍ Chen Wen-Tsuen; Liu Lung-Lung 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 948 KB

A new approach for automatic fault diagn

✍ A. A. Hatzopoulos; J. M. Kontoleon 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 768 KB

A new approach for tracking respiratory

✍ Guido Avanzolini; Paolo Barbini; Angelo Cappello; Gabriele Cevenini; Lorenzo Chi 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 1023 KB

Elliptic ray bundles in three-dimensiona

✍ Benítez, Pablo 📂 Article 📅 1999 🏛 Optical Society of America 🌐 English ⚖ 192 KB

Automatic covariate selection in logisti

✍ Robert F. Harrison; R. Lee Kennedy 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 904 KB

A New Approach for Scheduling of Paralle

✍ G. Manimaran; C. Siva Ram Murthy; Krithi Ramamritham 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 307 KB