The Lax-Milgram Theorem. A detailed proof to be formalized in Coq.

François Clément Vincent Martin

Published in: CoRR (2016)

Keyphrases

theorem prover
interactive theorem proving
theorem proving
real world
databases
automated theorem proving
geometry theorem proving
information retrieval
knowledge base
image segmentation
natural language
information technology
formal methods
careful consideration