Mechanical Theorem Proving in Tarski's Geometry

@inproceedings{Narboux2006MechanicalTP,
  title={Mechanical Theorem Proving in Tarski's Geometry},
  author={Julien Narboux},
  booktitle={Automated Deduction in Geometry},
  year={2006}
}
Highly Cited
This paper has 51 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 30 extracted citations

51 Citations

0510'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 51 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…