Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Botana, F., Valcarce, J.L.: A dynamic-symbolic interface for geometric theorem discovery. Computers and Education, 38(1–3), 21–35 (2002)
2. Lect Notes Comput Sci;F. Botana,2002
3. Botana, F., Valcarce, J.L.: A software tool for the investigation of plane loci. Mathematics and Computers in Simulation, 61(2), 141–154 (2003)
4. Buchberger, B.: Groebner bases: an algorithmic method in polynomial ideal theory. In N.K. Bose, Multidimensional systems theory, Reidel, Dordrecht, 184–232 (1985)
5. Capani, A., Niesi, G., Robbiano, L.: CoCoA, a system for doing Computations in Commutative Algebra. Available via anonymous ftp from:
ftp://ftp:cocoa.dima.unige.it
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献