Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar.
Jesse AlamaLionel MamaneJosef UrbanPublished in: AISC/MKM/Calculemus (2012)
Keyphrases
- formal methods
- computer assisted
- automatic extraction
- information extraction
- computer science
- learning algorithm
- automatically extracting
- mathematical theory
- formal analysis
- automatically extracted
- expert systems
- knowledge extraction
- formal specification
- theorem prover
- formal model
- multiscale
- formal language
- databases