Portfolio Methods in Theorem Proving for Elementary Geometry

Vesna Marinkovic, Mladen Nikolic, Zoltán Kovács, Predrag Janicic

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings of ADG 2016
Editors	Julien Narboux, Schreck Pascal, Ileana Streinu
Pages	152-161
Number of pages	10
Publication status	Published - 2016

Fields of science

@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",

}