Proof logging for computer algebra based SMT solving.

Oliver Marx Markus Wedler Dominik Stoffel Wolfgang Kunz Alexander Dreyer

Published in: ICCAD (2013)

Keyphrases

computer algebra
theorem prover
automated theorem provers
theorem proving
computer algebra systems
inference rules
database
solving problems
machine learning