The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving.
Stefan MitschAndré PlatzerPublished in: F-IDE@FM (2016)
Keyphrases
- theorem proving
- hybrid systems
- proof planning
- black box
- theorem prover
- automated theorem proving
- mathematical knowledge
- intelligent systems
- geometry theorem proving
- decision procedures
- inference rules
- first order logic
- meta learning
- artificial intelligence
- computational intelligence
- concept formation
- proof procedure
- neural network
- parallel search
- proof search
- natural deduction
- soft computing
- discrete event
- background knowledge
- machine learning
- semi supervised
- inductive logic programming