Formalisation of Additive Combinatorics in Isabelle/HOL (Invited Talk).
Angeliki Koutsoukou-ArgyrakiPublished in: ITP (2023)
Keyphrases
- invited talk
- theorem prover
- natural deduction
- theorem proving
- inference rules
- first order logic
- selected papers
- higher order logic
- knowledge discovery and data mining
- formal analysis
- formal methods
- carefully reviewed and selected from submissions
- program committee
- graph theory
- neural network
- information retrieval
- legal reasoning