A Computer Environment for Writing Ordinary Mathematical Proofs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David McMath, Marianna Rozenfeld, Richard Sommer. A Computer Environment for Writing Ordinary Mathematical Proofs. In Robert Nieuwenhuis, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings. Volume 2250 of Lecture Notes in Computer Science, pages 507-516, Springer, 2001. [doi]

This author has not been identified. Look up 'David McMath' in GoogleThis author has not been identified. Look up 'Marianna Rozenfeld' in GoogleThis author has not been identified. Look up 'Richard Sommer' in Google

runs on WebDSL