BibTeX record conf/icms/AbanadesBKRS16

• > Home > conf/icms/AbanadesBKRS16

@inproceedings{DBLP:conf/icms/AbanadesBKRS16,
  author       = {Miguel A. Ab{\'{a}}nades and
                  Francisco Botana and
                  Zolt{\'{a}}n Kov{\'{a}}cs and
                  Tom{\'{a}}s Recio and
                  Csilla S{\'{o}}lyom{-}Gecse},
  editor       = {Gert{-}Martin Greuel and
                  Thorsten Koch and
                  Peter Paule and
                  Andrew J. Sommese},
  title        = {Towards the Automatic Discovery of Theorems in GeoGebra},
  booktitle    = {Mathematical Software - {ICMS} 2016 - 5th International Conference,
                  Berlin, Germany, July 11-14, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9725},
  pages        = {37--42},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42432-3\_5},
  doi          = {10.1007/978-3-319-42432-3\_5},
  timestamp    = {Mon, 03 Jan 2022 22:38:17 +0100},
  biburl       = {https://dblp.org/rec/conf/icms/AbanadesBKRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}