Mechanical Theorem Proving in Computational Geometry - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Laura I. Meikle, Jacques D. Fleuriot. Mechanical Theorem Proving in Computational Geometry. In Hoon Hong, Dongming Wang, editors, Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers. Volume 3763 of Lecture Notes in Computer Science, pages 1-18, Springer, 2004. [doi]

This author has not been identified. Look up 'Laura I. Meikle' in GoogleThis author has not been identified. Look up 'Jacques D. Fleuriot' in Google

runs on WebDSL