Algebraically Closed Fields in Isabelle/HOL.
Paulo Emílio de VilhenaLawrence C. PaulsonPublished in: IJCAR (2) (2020)
Keyphrases
- theorem prover
- natural deduction
- inference rules
- theorem proving
- computer vision
- queueing networks
- first order logic
- higher order logic
- neural network
- cut elimination
- application fields
- learning algorithm
- knowledge based systems
- database systems
- search engine
- sequent calculus
- experimental verification
- information retrieval