Login / Signup
A constructive and formal proof of Lebesgue's Dominated Convergence Theorem in the interactive theorem prover Matita.
Claudio Sacerdoti Coen
Enrico Tassi
Published in:
J. Formaliz. Reason. (2008)
Keyphrases
</>
formal proof
theorem prover
convergence theorem
computer algebra systems
theorem proving
inference rules
rapid convergence
automated theorem proving
first order logic
term rewriting
learning rate
computer algebra
proof search
boolean algebra
natural deduction
mathematical knowledge