Automated Geometry Theorem Proving for Human-Readable Proofs

Wang and Su. "Automated Geometry Theorem Proving for Human-Readable Proofs." International Joint Conference on Artificial Intelligence, 2015.

[Wang and Su. "Automated Geometry Theorem Proving for Human-Readable Proofs." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/wang2015ijcai-automated/)

@inproceedings{wang2015ijcai-automated,
  title     = {{Automated Geometry Theorem Proving for Human-Readable Proofs}},
  author    = {Wang, Ke and Su, Zhendong},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {1193-1199},
  url       = {https://mlanthology.org/ijcai/2015/wang2015ijcai-automated/}
}