Sign in

Proof logging for computer algebra based SMT solving.

Oliver MarxMarkus WedlerDominik StoffelWolfgang KunzAlexander 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