( en | de | ru )

 

Disambiguation of "Botana, Francisco"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic Deduction in Dynamic Geometry using Sage

, and . ThEdu, volume 79 of EPTCS, page 49-62. (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Francisco Gaona

Francisco Castellanos

Francisco Cardiel

Francisco Garcés

Francisco Carabelli

 

Other publications of authors with the same name

Automated Generation of Equations for Linkage Loci in a Game Physics System., , and . Technol. Knowl. Learn., 19 (3): 317-326 (2014)A Web-based Resource for Automatic Discovery in Plane Geometry.. Int. J. Comput. Math. Learn., 8 (1): 109-121 (2003)Foreword., , , , , , and . Math. Comput. Sci., 14 (2): 191-192 (2020)Using Maple's RegularChains Library to Automatically Classify Plane Geometric Loci., and . ICMS, volume 8592 of Lecture Notes in Computer Science, page 500-503. Springer, (2014)Geometric Loci and ChatGPT: Caveat Emptor!, and . Comput., 12 (2): 30 (February 2024)Foreword to the special issue on "Nonstandard Applications of Computer Algebra (ACA'2013)"., , , and . Math. Comput. Simul., (2016)A software tool for the investigation of plane loci., and . Math. Comput. Simul., 61 (2): 139-152 (2003)A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes., and . MKM/Calculemus/DML, volume 7961 of Lecture Notes in Computer Science, page 349-353. Springer, (2013)Learning Efficient Rulsets from Fuzzy Data with a Generic Algorithm.. IWANN (1), volume 1606 of Lecture Notes in Computer Science, page 517-526. Springer, (1999)Development of automatic reasoning tools in GeoGebra., , , , and . ACM Commun. Comput. Algebra, 50 (3): 85-88 (2016)