Formalizing Pick's Theorem in Isabelle/HOL.
Sage BinderKatherine KosaianPublished in: CICM (2024)
Keyphrases
- social networks
- theorem prover
- natural deduction
- intuitionistic logic
- inference rules
- cut elimination
- theorem proving
- first order logic
- sequent calculus
- higher order logic
- data sets
- linear logic
- neural network
- lower bound
- multiresolution
- database
- natural language
- objective function
- image processing
- von neumann
- artificial intelligence
- genetic algorithm