Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Dec 30, 2021
- Source ID
- 10.4204/eptcs.352.18
Entities
People
- Christopher W. Brown
- Róbert Vajda
- Zoltán Kovács
Organizations
- Private University College of Education of the Diocese of Linz
- United States Naval Academy
- University of Szeged