C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
An Isabelle/HOL Formalisation of Green's Theorem.
Mohammad Abdulaziz
Lawrence C. Paulson
Published in:
J. Autom. Reason. (2019)
Keyphrases
</>
theorem prover
natural deduction
intuitionistic logic
inference rules
theorem proving
first order logic
cut elimination
formal analysis
sequent calculus
higher order logic
machine learning
software engineering
hidden markov models
decision trees
data mining
formal methods
decision making
digital topology