Towards Computer-Assisted Proof Tutoring
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.
Publication_details:
SCOOP Workshop: 1st Workshop on Scientific Communities of Practice, Jacobs University Bremen, GermanyDate:
2007/08/30| Adjunt | Mida |
|---|---|
| proofTutoring_MSchiller.pdf | 104.65 KB |
- %count lectures
