✦ LIBER ✦

Real quadratic quantifier elimination in Risa-Asir

✍ Scribed by Sturm T.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Quantifier Elimination for Real Algebra

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

Real quantifier elimination in geometry

✍ Sturm T. 📂 Library 📅 1999 🌐 English ⚖ 461 KB

Real quantifier elimination in practice,

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