Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Becker, T., Weispfenning, V.: Groebner Bases. A Computational Approach to Commutative Algebra. Springer, Berlin (1998)
2. Botana, F., Valcarce, J.L.: A dynamic-symbolic interface for geometric theorem discovery. Computers and Education, 38(1–3), 21–35 (2002)
3. Lect Notes Comput Sci;F. Botana,2002
4. Botana, F., Valcarce, J.L.: A software tool for the investigation of plane loci. Mathematics and Computers in Simulation, 61(2), 141–154 (2003)
5. Buchberger, B.: Groebner Bases: an Algorithmic Method in Polynomial Ideal Theory. In N.K. Bose, Multidimensional systems theory, Reidel, Dordrecht, 184–232 (1985)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Computer Assisted Proofs and Automated Methods in Mathematics Education;Electronic Proceedings in Theoretical Computer Science;2023-03-10
2. Determinant of the Finite Volume Laplacian;Discrete & Computational Geometry;2022-08-26