✦ LIBER ✦

Real quantifier elimination in geometry

✍ Scribed by Sturm T.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Real quantifier elimination in practice,

✍ Dolzmann, Sturm, Weispfenning. 📂 Library 📅 1997 🌐 English ⚖ 121 KB

Real quadratic quantifier elimination in

✍ Sturm T. 📂 Library 📅 1996 🌐 English ⚖ 111 KB

Quantifier elimination for elementary ge

✍ Grimson, Rafael; Kuijpers, Bart; Othman, Walied 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 244 KB

Quantifier elimination in degree 3

✍ Weispfenning. 📂 Library 🌐 English ⚖ 120 KB

Quantifier Elimination for Real Algebra

✍ V. Weispfenning 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 320 KB

Quantifier Elimination in Tame Infinite

✍ Ingo Brigandt 📂 Article 📅 2001 🏛 Association for Symbolic Logic 🌐 English ⚖ 262 KB