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