Author of the publication

Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach

, and . Automated Deduction in Geometry, (2006)

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.

 

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)Automatic Determination of Algebraic Surfaces as Loci of Points.. International Conference on Computational Science, volume 2657 of Lecture Notes in Computer Science, page 879-886. Springer, (2003)New tools in GeoGebra offering novel opportunities to teach loci and envelopes., and . CoRR, (2016)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)On the Parametric Representation of Dynamic Geometry Constructions.. ICCSA (4), volume 6785 of Lecture Notes in Computer Science, page 342-352. Springer, (2011)Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments.. International Conference on Computational Science (2), volume 2330 of Lecture Notes in Computer Science, page 211-218. Springer, (2002)A Fuzzy Measure of Similarity for Instance-Based Learning.. ISMIS, volume 1609 of Lecture Notes in Computer Science, page 439-447. Springer, (1999)