Generalizing a Mathematical Analysis Library in Isabelle/HOL.
Jesús AransayJose DivasónPublished in: NFM (2015)
Keyphrases
- mathematical analysis
- theorem prover
- natural deduction
- inference rules
- theorem proving
- higher order logic
- first order logic
- higher order
- digital libraries
- preprocessing
- knowledge representation
- case study
- sequent calculus
- computer vision
- formal methods
- field effect transistors
- modal logic
- cross platform
- real time
- image processing
- information systems
- machine learning