Formalizing Results on Directed Sets in Isabelle/HOL (Proof Pearl).
Akihisa YamadaJérémy DubutPublished in: ITP (2023)
Keyphrases
- theorem prover
- natural deduction
- theorem proving
- higher order logic
- inference rules
- automated theorem proving
- first order logic
- proof search
- cut elimination
- higher order
- sequent calculus
- set theoretic
- video sequences
- machine learning
- learning algorithm
- information systems
- feature selection
- linear logic
- case study
- image sequences
- real world
- evolutionary algorithm
- search algorithm
- similarity measure