Short Theorema Demo
What is
THEOREMA
?
Mathematical Texts
The PCS Prover
The Set Theory Prover
An Induction Prover and the Cascade
S-Decomposition
Booleans of Equalities by Groebner Bases
Calling External Provers
Combinatorial Identities by Zeilberger-Paule
Computing within
Theorema