External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Remarks on Geometric Theorem Proving

Laura Bazzotti, Giorgio Dalzotto, Lorenzo Robbiano. Remarks on Geometric Theorem Proving. In Jürgen Richter-Gebert, Dongming Wang, editors, Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers. Volume 2061 of Lecture Notes in Computer Science, pages 104-128, Springer, 2000. [doi]

Authors

Laura Bazzotti

This author has not been identified. Look up 'Laura Bazzotti' in Google

Giorgio Dalzotto

This author has not been identified. Look up 'Giorgio Dalzotto' in Google

Lorenzo Robbiano

This author has not been identified. Look up 'Lorenzo Robbiano' in Google
runs on