Automatic Rewrites of Input Expressions in Complex Algebraic Geometry Provers

Zoltán Kovács, T. Recio, Csilla Sólyom-Gecse

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; Pascal Schreck; Elena Streinu
Pages	137-143
Number of pages	7
Publication status	Published - 2016

Fields of science

@inproceedings{811b5313c75348c083f315e8557b22cb,

title = "Automatic Rewrites of Input Expressions in Complex Algebraic Geometry Provers",

author = "Zolt{\'a}n Kov{\'a}cs and T. Recio and Csilla S{\'o}lyom-Gecse",

year = "2016",

language = "English",

pages = "137--143",

editor = "{Julien Narboux; Pascal Schreck; Elena Streinu}",

booktitle = "Proceedings of ADG 2016",

}