Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Botana, F., Valcarce, J. L.: A dynamic-symbolic interface for geometric theorem discovery. Computers and Education, to appear (2002)
2. Botana, F., Valcarce, J. L.: Cooperation between a dynamic geometry environment and a computer algebra system for geometric discovery. In V. G. Ganzha, E. W. Mayr, E. V. Vorozhtsov, Computer Algebra and Scientific Computing CASC 2001, Springer, Berlin, 63–74 (2001)
3. Botana, F., Valcarce, J. L.: A software tool for investigation of plane loci. Technical Report, University of Vigo, Pontevedra (2001)
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.L. Robbiano: CoCoA, a system for doing Computations in Commutative Algebra. Available via anonymous ftp from: http://cocoa.dima.unige.it
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献