| Publication | Date of Publication | Type |
|---|
Automated analysis of the difficulty of secondary school geometry theorems
Annals of Mathematics and Artificial Intelligence | 2026-01-19 | Paper |
On automated completion of geometry statements and proofs with GeoGebra Discovery
Annals of Mathematics and Artificial Intelligence | 2026-01-19 | Paper |
A simple proof of correctness of folding the regular heptagon
Journal of Automated Reasoning | 2025-10-22 | Paper |
On a well-solvable class of the PNS problem
Novi Sad Journal of Mathematics | 2025-06-17 | Paper |
On bottleneck and k-sum versions of the process network synthesis problem
Novi Sad Journal of Mathematics | 2025-06-17 | Paper |
The \texttt{ShowProof} command in \textit{GeoGebra Discovery}: towards the automated ranking of elementary geometry theorems
ACM Communications in Computer Algebra | 2025-02-20 | Paper |
| GeoGebra discovery in context | 2024-12-17 | Paper |
| Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski | 2024-12-17 | Paper |
| Parametric root finding for supporting proving and discovering geometric inequalities in GeoGebra | 2024-12-17 | Paper |
Faithful real-time animation of parametrized (semi-) algebraic expressions via cylindrical algebraic decomposition
ACM Communications in Computer Algebra | 2024-05-13 | Paper |
Computing with Tarski formulas and semi-algebraic sets in a web browser
Journal of Symbolic Computation | 2023-08-10 | Paper |
Towards an Automated Geometer
Artificial Intelligence and Symbolic Computation | 2023-06-30 | Paper |
Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom?
Mathematics in Computer Science | 2023-06-22 | Paper |
Automated exploration of envelopes and offsets with networking of technologies
Mathematics in Computer Science | 2023-06-22 | Paper |
Automated reasoning tools in GeoGebra discovery
ACM Communications in Computer Algebra | 2022-09-06 | Paper |
| Symbolic Comparison of Geometric Quantities in GeoGebra | 2022-02-07 | Paper |
A mechanical geometer
Mathematics in Computer Science | 2022-01-28 | Paper |
| Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski | 2022-01-03 | Paper |
| Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra | 2022-01-03 | Paper |
| Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet) | 2021-08-11 | Dataset |
| Offsets of a regular trifolium | 2021-07-20 | Paper |
| Towards an automatic geometer | 2020-11-12 | Paper |
| Experiments on automatic inclusion of some non-degeneracy conditions among the hypotheses in locus equation computations | 2020-01-22 | Paper |
Reasoning about linkages with dynamic geometry
Journal of Symbolic Computation | 2019-11-07 | Paper |
Detecting truth, just on parts
Revista Matemática Complutense | 2019-06-26 | Paper |
Portfolio theorem proving and prover runtime prediction for geometry
Annals of Mathematics and Artificial Intelligence | 2019-05-16 | Paper |
Rewriting input expressions in complex algebraic geometry provers
Annals of Mathematics and Artificial Intelligence | 2019-05-16 | Paper |
| Automated determination of isoptics with dynamic geometry | 2018-10-18 | Paper |
| Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools | 2018-10-18 | Paper |
Contemporary interpretation of a historical locus problem with the use of computer algebra
Applications of Computer Algebra | 2018-04-05 | 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 |
Automated theorem proving in GeoGebra: current achievements
Journal of Automated Reasoning | 2016-05-26 | Paper |
Giac and GeoGebra -- improved Gröbner basis computations
Lecture Notes in Computer Science | 2016-05-25 | Paper |
The relation tool in GeoGebra 5
Automated Deduction in Geometry | 2015-11-11 | Paper |
A Singular web service for geometric computations
Annals of Mathematics and Artificial Intelligence | 2015-07-27 | Paper |
