Proof Logging for Computer Algebra based SMT Solving.
Oliver MarxMarkus WedlerDominik StoffelWolfgang KunzAlexander DreyerPublished in: MBMV (2013)
Keyphrases
- computer algebra
- theorem prover
- automated theorem provers
- computer algebra systems
- theorem proving
- database systems
- natural deduction
- mathematical proofs
- databases
- case study
- combinatorial optimization
- website
- real time
- solving problems
- quadratic programming
- timetabling problem
- statistical machine translation
- data mining
- neural network