A Verified Implementation of Algebraic Numbers in Isabelle/HOL.
Sebastiaan J. C. JoostenRené ThiemannAkihisa YamadaPublished in: J. Autom. Reason. (2020)
Keyphrases
- theorem prover
- natural deduction
- implementation details
- theorem proving
- real world
- case study
- efficient implementation
- information systems
- artificial intelligence
- implementation issues
- databases
- web pages
- database systems
- multiscale
- information technology
- relational databases
- artificial neural networks
- higher order
- computer vision
- formal methods