%0 Conference Paper %1 journals/corr/abs-2201-00544 %A Brown, Christopher W. %A Kovács, Zoltán %A Vajda, Róbert %B ADG %D 2021 %E Janicic, Predrag %E Kovács, Zoltán %K dblp %P 156-166 %T Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs352.html#abs-2201-00544 %V 352

@inproceedings{journals/corr/abs-2201-00544, added-at = {2023-08-04T00:00:00.000+0200}, author = {Brown, Christopher W. and Kovács, Zoltán and Vajda, Róbert}, biburl = {https://www.bibsonomy.org/bibtex/21720cafd1686bcfd05d2a8ba9fddea6d/dblp}, booktitle = {ADG}, crossref = {journals/corr/abs-2112-14770}, editor = {Janicic, Predrag and Kovács, Zoltán}, ee = {https://arxiv.org/abs/2201.00544}, interhash = {4f88981d5e1b6e568c882e1189491604}, intrahash = {1720cafd1686bcfd05d2a8ba9fddea6d}, keywords = {dblp}, pages = {156-166}, series = {EPTCS}, timestamp = {2024-04-09T09:30:36.000+0200}, title = {Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs352.html#abs-2201-00544}, volume = 352, year = 2021 }