✦ LIBER ✦

Fast simplifications for Tarski formulas based on monomial inequalities

✍ Scribed by Christopher W. Brown

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A fast Hankel solver based on an inversi

✍ Peter Kravanja; Marc Van Barel 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 993 KB

A fast block Hankel solver based on an i

✍ Peter Kravanja; Marc Van Barel 📂 Article 📅 1996 🏛 Springer Milan 🌐 English ⚖ 672 KB