Using Automated Reasoning Tools to Explore Geometric Statements and Conjectures

Zoltán Kovács, Markus Hohenwarter, T. Recio

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Proof Technology in Mathematics Research and Teaching
Editors	Gila Hanna, David A. Reid, and Michael de Villiers
Pages	215-236
Number of pages	22
Publication status	Published - 2019

Fields of science

@inbook{2cc985c0857649949291fd8cdbf28cb1,

title = "Using Automated Reasoning Tools to Explore Geometric Statements and Conjectures",

author = "Zolt{\'a}n Kov{\'a}cs and Markus Hohenwarter and T. Recio",

year = "2019",

language = "English",

pages = "215--236",

editor = "\{Gila Hanna, David A. Reid, and Michael de Villiers\}",

booktitle = "Proof Technology in Mathematics Research and Teaching",

}