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

Daniela Kaufmann Mathias Fleury Armin 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