=ADD=
=reftype=
14
=number=
00-38
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/2000/00-38.ps.gz
=year=
2000
=month=
08
=author=
Buchberger; B. + Dupre; C. + Jebelean; T. + Konev; B. + Kriftner; F. + Kutsia; T. + Nakagawa; K. + Piroi; F. + Vasaru; D. + Windsteiger; W.
=title=
The Theorema System: Proving, Solving, and Computing for the Working Mathematician
=abstract=
The report consists of the actual poster which was presented at the conference.
This presents succintly the current facilities offered by the Theorema system
for suppporting the working mathematician, and contains an example of a simple
theory in elementary analysis and a proof produced by the PCS prover.
=sponsor=
FWF SFB P1302, INTAS 76-960, Land Ober\"osterreich project Prove.
=howpublished=
Poster at ISSAC 2000, St. Andrews, Scotland