Automation for Geometry in Interactive Theorem Provers

Laura I. Meikle, Jacques Fleuriot

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of PAAR, FLOC 2010
Publication status	Published - 2010

Access to Document

http://www.floc-conference.org/PAAR-program.html

Cite this