Searching for Geometric Theorems Using Features Retrieved from Diagrams

Wenya An, Xiaoyu Chen, Dongming Wang. Searching for Geometric Theorems Using Features Retrieved from Diagrams. In Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap, editors, Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers. Volume 9582 of Lecture Notes in Computer Science, pages 383-397, Springer, 2015. [doi]

@inproceedings{AnCW15-0,
  title = {Searching for Geometric Theorems Using Features Retrieved from Diagrams},
  author = {Wenya An and Xiaoyu Chen and Dongming Wang},
  year = {2015},
  doi = {10.1007/978-3-319-32859-1_33},
  url = {http://dx.doi.org/10.1007/978-3-319-32859-1_33},
  researchr = {https://researchr.org/publication/AnCW15-0},
  cites = {0},
  citedby = {0},
  pages = {383-397},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers},
  editor = {Ilias S. Kotsireas and Siegfried M. Rump and Chee K. Yap},
  volume = {9582},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-32858-4},
}