Follow
Solving Some Geometry Problems of the N\'aboj 2023 Contest with Automated Deduction in GeoGebra Discovery. (arXiv:2401.13703v1 [math.HO]) http://arxiv.org/abs/2401.13703
Solving Some Geometry Problems of the N\'aboj 2023 Contest with Automated Deduction in GeoGebra Discovery. (arXiv:2401.13703v1 [math.HO]) http://arxiv.org/abs/2401.13703