✦ LIBER ✦
Quantifier Elimination for Real Algebra — the Quadratic Case and Beyond
✍ Scribed by V. Weispfenning
- Publisher
- Springer
- Year
- 1997
- Tongue
- English
- Weight
- 320 KB
- Volume
- 8
- Category
- Article
- ISSN
- 0938-1279
No coin nor oath required. For personal study only.