Author:
Roanes-Lozano Eugenio,van Labeke Nicolas,Roanes-Macías Eugenio
Subject
Applied Mathematics,Modelling and Simulation,Numerical Analysis,General Computer Science,Theoretical Computer Science
Reference70 articles.
1. L. Bazzotti, G. Dalzotto, L. Robbiano, Remarks on geometric theorem proving, in: J. Richter-Gebert, D. Wang (Eds.), Proceedings of ADG 2000, Springer-Verlag, LNAI 2061, Berlin-Heidelberg, 2001, pp. 104–128.
2. F. Botana, 3D-LD: automatic discovery of 3D loci via the web (Technical Report), Department of Applied Mathematics, University of Vigo, 2002.
3. A dynamic-symbolic interface for geometric theorem discovery;Botana;Computers and Education,2002
4. A software tool for the investigation of plane loci;Botana;Mathematics and Computers in Simulation,2003
5. Automatic determination of envelopes and other derived curves within a graphic environment;Botana;Mathematics and Computers in Simulation,2004
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献