Publisher
Springer Science and Business Media LLC
Reference34 articles.
1. Buchberger B, Gröbner bases: An algorithmic method in polynomial ideal theory, Multidimensional Systems Theory and Applications, Ed. by Bose N K, Springer, Dordrecht, 1995, 89–127.
2. Ritt J F, Differential Algebra, American Mathematical Society, New York, 1950.
3. Wu W-T, Basic principles of mechanical theorem proving in elementary geometries, Journal of Automated Reasoning, 1986, 2(3): 221–252.
4. Cox D, Little J, and O’Shea D, Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, Springer, Switzerland, 2015.
5. PhD thesis;M Kalkbrener,1991