( en | de | ru )

 

Disambiguation of "Botana, Francisco"

Author of the publication

copydeleteadd this publication to your clipboard
First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems.

, , and . Calculemus/MKM, volume 4573 of Lecture Notes in Computer Science, page 131-145. Springer, (2007)

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)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)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)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)Using a free open source software to teach mathematics., , and . Comput. Appl. Eng. Educ., 22 (4): 728-735 (2014)Automatic Deduction in Dynamic Geometry using Sage, and . ThEdu, volume 79 of EPTCS, page 49-62. (2011)Cooperation between a Dynamic Geometry Environment and a Computer Algebra System for Geometric Discovery., and . CASC, page 63-74. Springer Berlin Heidelberg, (2001)Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach., and . Automated Deduction in Geometry, volume 3763 of Lecture Notes in Computer Science, page 92-110. Springer, (2004)