✦ LIBER ✦
Automated proving and analysis of geometric theorems in coordinate-free form by using the anticommutative Gröbner basis method
✍ Scribed by I. J. Tchoupaeva
- Publisher
- Springer US
- Year
- 2006
- Tongue
- English
- Weight
- 535 KB
- Volume
- 135
- Category
- Article
- ISSN
- 1573-8795
No coin nor oath required. For personal study only.