Sign in

The Proof Checkers Pacheck and Pastèque for the Practical Algebraic Calculus.

Daniela KaufmannMathias FleuryArmin Biere
Published in: FMCAD (2020)
Keyphrases
  • algebraic structure
  • real world
  • game playing
  • automated theorem proving
  • natural deduction
  • computer algebra
  • higher order
  • real time
  • data sets
  • information systems
  • website
  • multiscale
  • provably correct
  • sequent calculus