=ADD=
=reftype=
14
=number=
00-39
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/2000/00-39.ps.gz
=year=
2000
=month=
06
=author=
Buchberger; B. + Dupre; C. + Jebelean; T. + Konev; B. + Kriftner; F. + Kutsia; T. + Nakagawa; K. + Piroi; F. + Vasaru; D. + Windsteiger; W.
=title=
The Natural Style Provers of Theorema: A Survey of Strategies for Different Mathematical Domains
=abstract=
This is the extended abstract of the presentation at the conference.
=sponsor=
FWF SFB P1302, INTAS 76-960, Land Ober\"osterreich project Prove.
=howpublished=
Presented at IMACS-ACA 2000, St. Petersburg, Russia, June 2000.