Extensible Proof-Producing Compilation.
Magnus O. MyreenKonrad SlindMichael J. C. GordonPublished in: CC (2009)
Keyphrases
- linear logic
- theorem proving
- high quality
- data types
- proof planning
- markup language
- data model
- object oriented
- general purpose
- geometry theorem proving
- knowledge compilation
- application specific
- theorem prover
- case study
- information systems
- neural network
- artificial neural networks
- similarity measure
- automated theorem proving
- databases
- mathematical proofs
- database