| Publication | Date of Publication | Type |
|---|
Towards an Automated Geometer
Artificial Intelligence and Symbolic Computation | 2023-06-30 | Paper |
A mechanical geometer
Mathematics in Computer Science | 2022-01-28 | Paper |
Some issues on the automatic computation of plane envelopes in interactive environments
Mathematics and Computers in Simulation | 2021-02-19 | Paper |
Foreword to the special issue on ``Nonstandard applications of computer algebra (ACA'2013)
Mathematics and Computers in Simulation | 2021-02-19 | Paper |
A parametric approach to 3D dynamic geometry
Mathematics and Computers in Simulation | 2021-02-18 | Paper |
| Towards an automatic geometer | 2020-11-12 | Paper |
A proposal for the automatic computation of envelopes of families of plane curves
Journal of Systems Science and Complexity | 2019-03-06 | Paper |
Computing envelopes in dynamic geometry environments
Annals of Mathematics and Artificial Intelligence | 2017-08-15 | Paper |
Development of automatic reasoning tools in GeoGebra
ACM Communications in Computer Algebra | 2017-06-22 | Paper |
Towards the Automatic Discovery of Theorems in GeoGebra
Mathematical Software – ICMS 2016 | 2016-09-28 | Paper |
On the unavoidable uncertainty of truth in dynamic geometry proving
Mathematics in Computer Science | 2016-06-16 | Paper |
Automated theorem proving in GeoGebra: current achievements
Journal of Automated Reasoning | 2016-05-26 | Paper |
A Singular web service for geometric computations
Annals of Mathematics and Artificial Intelligence | 2015-07-27 | Paper |
Software using the Gröbner cover for geometrical loci computation and classification
Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
Using Maple's RegularChains library to automatically classify plane geometric loci
Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
Automatic deduction in (dynamic) geometry: Loci computation
Computational Geometry | 2014-01-08 | Paper |
A dynamic symbolic geometry environment based on the GröbnerCover algorithm for the computation of geometric loci and envelopes
Lecture Notes in Computer Science | 2013-08-09 | Paper |
Computing bisectors in a dynamic geometry environment
International Journal of Mathematical Education in Science and Technology | 2013-05-16 | Paper |
A Symbolic Companion for Interactive Geometric Systems
Lecture Notes in Computer Science | 2011-07-29 | Paper |
| scientific article; zbMATH DE number 5769168 (Why is no real title available?) | 2010-08-11 | Paper |
| scientific article; zbMATH DE number 5769187 (Why is no real title available?) | 2010-08-11 | Paper |
Automated Discovery in Elementary Extrema Problems
Computational Science – ICCS 2006 | 2008-12-09 | Paper |
First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems
Towards Mechanized Mathematical Assistants | 2007-11-28 | Paper |
Computational Science and Its Applications – ICCSA 2004
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Automated Deduction in Geometry
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Automatic determination of envelopes and other derived curves within a graphic environment
Mathematics and Computers in Simulation | 2004-11-22 | Paper |
| scientific article; zbMATH DE number 2087082 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2009909 (Why is no real title available?) | 2003-11-26 | Paper |
| scientific article; zbMATH DE number 2009901 (Why is no real title available?) | 2003-11-26 | Paper |
A software tool for the investigation of plane loci
Mathematics and Computers in Simulation | 2003-03-09 | Paper |
| A new heuristic measure for learning rules from fuzzy data | 2002-02-28 | Paper |
| scientific article; zbMATH DE number 1684357 (Why is no real title available?) | 2001-12-18 | Paper |
| scientific article; zbMATH DE number 1670595 (Why is no real title available?) | 2001-12-04 | Paper |
