Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)

@inproceedings{Quaresma2010ThousandsOG,
  title={Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)},
  author={Pedro Quaresma},
  booktitle={Automated Deduction in Geometry},
  year={2010}
}
Highly Cited
This paper has 18 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…