=ADD=
=reftype=
14
=number=
97-34
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1997/97-34/submitted.nb.html
=year=
1997
=author=
Buchberger; Bruno + Jebelean; Tudor + Vasaru; Daniela
=title=
Theorema:
 A System for Formal Scientific Training
 in Natural Language Presentation
=month=
10
=keywords=
education
=abstract=
Lack of formal training is hindering the application of high-level information
technology in science and engineering. The Theorema project addresses this need
by implementing a sophisticated automatic reasoning system with an easy-to-use
interface which can be used in various interactive ways - both locally and over
the internet. We report on the use of this software for the training of
mathematics and engineering students in problem solving and theorem proving.
=location=
2
=owner=
2
=source=
3