Publisher
Springer International Publishing
Reference54 articles.
1. Yves Bertot and Pierre Castéran. Interactive Theorem Proving and Program Development - Coq’Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. An EATCS Series. Springer, 2004.
2. Richard J. Boulton, Konrad Slind, Alan Bundy, and Michael J. C. Gordon. An interface between Clam and HOL. In Theorem Proving in Higher Order Logics, 11th International Conference, volume 1479 of Lecture Notes in Computer Science, pages 87–104. Springer, 1998.
3. Christopher Brown. QEPCAD-B: a program for computing with semi-algebraic sets using CADs. ACM SIGSAM Bulletin, 37:97–108, 01 2003.
4. Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland. Rippling: Meta-Level Guidance for Mathematical Reasoning. Cambridge University Press, 2005.
5. Shang-Ching Chou, Xiao-Shan Gao, and Jing-Zhong Zhang. A collection of 110 geometry theorems and their machine proofs based on full-angles. Technical Report 94-4, CS Dept. WSU, Nov 1994.