Portfolio Methods in Theorem Proving for Elementary Geometry

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Originalsprache	Englisch
Titel	Proceedings of ADG 2016
Herausgeber*innen	Julien Narboux, Schreck Pascal, Ileana Streinu
Seiten	152-161
Seitenumfang	10
Publikationsstatus	Veröffentlicht - 2016

Wissenschaftszweige

@inproceedings{7c3cd277e79c4ed9b5513ac3e7f23b37,

title = "Portfolio Methods in Theorem Proving for Elementary Geometry",

author = "Vesna Marinkovic and Mladen Nikolic and Zolt{\'a}n Kov{\'a}cs and Predrag Janicic",

year = "2016",

language = "English",

pages = "152--161",

editor = "\{Julien Narboux, Schreck Pascal, Ileana Streinu\}",

booktitle = "Proceedings of ADG 2016",

}