An Isabelle/HOL Formalisation of Green's Theorem.
Mohammad AbdulazizLawrence C. PaulsonPublished in: ITP (2016)
Keyphrases
- theorem prover
- natural deduction
- intuitionistic logic
- inference rules
- theorem proving
- first order logic
- cut elimination
- sequent calculus
- formal analysis
- higher order logic
- von neumann
- database
- decision trees
- neural network
- formal methods
- digital images
- evolutionary algorithm
- learning algorithm
- modal logic
- sufficient conditions