%0 Conference Paper %1 conf/adg/MontesR06 %A Montes, Antonio %A Recio, Tomás %B Automated Deduction in Geometry %D 2006 %E Botana, Francisco %E Recio, Tomás %I Springer %K dblp %P 113-138 %T Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems. %U http://dblp.uni-trier.de/db/conf/adg/adg2006.html#MontesR06 %V 4869 %@ 978-3-540-77355-9

@inproceedings{conf/adg/MontesR06, added-at = {2022-01-03T00:00:00.000+0100}, author = {Montes, Antonio and Recio, Tomás}, biburl = {https://www.bibsonomy.org/bibtex/284d96d22e3f65833e506ca29371b362c/dblp}, booktitle = {Automated Deduction in Geometry}, crossref = {conf/adg/2006}, editor = {Botana, Francisco and Recio, Tomás}, ee = {https://doi.org/10.1007/978-3-540-77356-6_8}, interhash = {7f2ba4141a6c34eed5a251a2a16a0bdc}, intrahash = {84d96d22e3f65833e506ca29371b362c}, isbn = {978-3-540-77355-9}, keywords = {dblp}, pages = {113-138}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T06:33:35.000+0200}, title = {Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems.}, url = {http://dblp.uni-trier.de/db/conf/adg/adg2006.html#MontesR06}, volume = 4869, year = 2006 }