An Isabelle/HOL formalisation of Green's Theorem.
Mohammad AbdulazizLawrence C. PaulsonPublished in: Arch. Formal Proofs (2018)
Keyphrases
- theorem prover
- natural deduction
- intuitionistic logic
- inference rules
- theorem proving
- higher order logic
- formal analysis
- sequent calculus
- cut elimination
- first order logic
- formal methods
- image segmentation
- von neumann
- interactive theorem proving
- information retrieval
- legal reasoning
- digital images
- hidden markov models
- decision trees
- information systems