Home › Publications › Dissemination

Towards Computer-Assisted Proof Tutoring

  • user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT COUNT(sid) AS count FROM sessions WHERE timestamp >= 1231452742 AND uid = 0 in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.
  • user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT DISTINCT u.uid, u.name, s.timestamp FROM users u INNER JOIN sessions s ON u.uid = s.uid WHERE s.timestamp >= 1231452742 AND s.uid > 0 ORDER BY s.timestamp DESC in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.

We present a recent application area of the proof assistant omega, the teaching of mathematical proofs within an environment for tutorial dialog. We discuss the design of our dialog system prototype for proof tutoring in the light of the requirements imposed by its potential users. Empirical studies investigating those requirements guide the development of the system.

Author(s): 
Marvin Schiller , Dominik Dietrich , and Christoph Benzmüller (Universität des Saarlands)
Publication_details: 
SCOOP Workshop: 1st Workshop on Scientific Communities of Practice, Jacobs University Bremen, Germany
Date: 
2007/08/30
AttachmentSize
proofTutoring_MSchiller.pdf104.65 KB
  • 1461 reads
  • Printer-friendly version