Search alternatives:
"prover" » "proven", "proved", "proves"
Cover Image
Read Now

1
by Gao, Xiao-Shan
Published 2000
Academic Press
Table of Contents: “.... S. Chou, X. Gao, Z. Liu, D-K Wang, D. Wang, Geometric Theorem Provers and Algebraic Equation Solvers...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Certified Computer Algebra on Top of an Interactive Theorem Prover -- Quantifier Elimination for Approximate...”
Cover Image
Read Now

3
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- Some Considerations on the Usability of Interactive Provers -- Mechanized Mathematics -- Formal Proof...”