=ADD=
=reftype=
14
=number=
01-07
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/2001/01-07.ps.gz
=year=
2001
=month=
02
=author=
W; Wolfgang
=title=
A Set Theory Prover within Theorema
=abstract=
We present the set theory prover in Theorema, which generalizes the PCS
prove strategy already applied successfully for proofs in elementary
analysis.
A detailed presentation of the interplay between proving, computing, and
solving is given.
=howpublished=
Talk given at CAL'01 workshop, Las Palmas, Gran Canaria, February 20,
2001.
=sponsor=
FWF project F1302 (SFB Numerical and Symbolic Scientific Computing) and European Project Calculemus (HPRN-CT-2000-00102).
=keywords=
Automated Theorem Proving, Theorema