Automated reasoning tools in GeoGebra discovery

Zoltán Kovács, Tomás Recio, M. Pilar Vélez. Automated reasoning tools in GeoGebra discovery. ACM Comm. Computer Algebra, 55(2):39-43, 2021. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: