=ADD=
=reftype=
14
=number=
99-43
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1999/99-43.doc.gz
=year=
1999
=month=
12
=author=
Buchberger; Bruno + Jebelean; Tudor
=title=
Distance Teaching of Mathematics Using Theorema.
=abstract=
The Theorema system integrates computing and automated reasoning in an on-line
tutoring system which uses natural language presentation and deduction in
natural style. The system has an easy-to-use interface accessible both locally
and over the internet (see http://www.theorema.org). We report on the various
possibilities of using Theorema for tele-teaching, as well as on a small-scale
experiment demonstrating its usefullness for training graduate students in
predicate-logic proving. 
=howpublished=
In: Proceedings of the 3rd Technion Symposium on "Software for Communication" (H. Gutmann ed.), April 1-3, 1999, Hagenberg, Austria.
=sponsor=
SFB/FWF project F1302
=keywords=
automatic reasoning