Solving a problem with GeoGebra current possibilities and limits of CAS tools

DOI10.1007/S10817-025-09733-WMaRDI QIDQ6912399zbMATH OpenFDO

Authors Jiří Blažek, Pavel Pech

Publication date 22 October 2025

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10817-025-09733-W

zbMATH Keywords

GeoGebralocus equationWallace-Simson theorem

Mathematics Subject Classification ID

Computational methods for problems pertaining to geometry (51-08) Elementary problems in Euclidean geometries (51M04) Symbolic computation and algebraic computation (68W30)

Cites work

• Experiments on automatic inclusion of some non-degeneracy conditions among the hypotheses in locus equation computations
• scientific article; zbMATH DE number 3148027 (Why is no real title available?)

This page was built for publication: Solving a problem with GeoGebra current possibilities and limits of CAS tools

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6912399)