Mechanical geometry theorem proving
Mechanical geometry theorem proving
Elimination Practice: Software Tools and Applications
Elimination Practice: Software Tools and Applications
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics)
Hi-index | 0.00 |