Lurch: a word processor that can grade students' proofs

Nathan Carter; Kenneth G Monks

Lurch: a word processor that can grade students' proofs

Nathan Carter
, Kenneth G Monks

Mathematical Sciences

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Lurch is a free word processor that can check the mathematical reasoning in a document. Most notably, it can check the steps of a mathematical proof, even one not written in a formal style. The current version works best for undergraduate introduction-to-proof courses, and this paper covers our goals, current interface, and some results of classroom testing.

Original language	English
Title of host publication	Unknown book
Volume	1010
State	Published - 2013

Cite this

@inproceedings{288399fbe2cb41ba9f7696d57b1c6ec4,

title = "Lurch: a word processor that can grade students' proofs",

abstract = "Lurch is a free word processor that can check the mathematical reasoning in a document. Most notably, it can check the steps of a mathematical proof, even one not written in a formal style. The current version works best for undergraduate introduction-to-proof courses, and this paper covers our goals, current interface, and some results of classroom testing.",

author = "Nathan Carter and Monks, \{Kenneth G\}",

year = "2013",

language = "English",

volume = "1010",

booktitle = "Unknown book",

}

TY - GEN

T1 - Lurch: a word processor that can grade students' proofs

AU - Carter, Nathan

AU - Monks, Kenneth G

PY - 2013

Y1 - 2013

N2 - Lurch is a free word processor that can check the mathematical reasoning in a document. Most notably, it can check the steps of a mathematical proof, even one not written in a formal style. The current version works best for undergraduate introduction-to-proof courses, and this paper covers our goals, current interface, and some results of classroom testing.

AB - Lurch is a free word processor that can check the mathematical reasoning in a document. Most notably, it can check the steps of a mathematical proof, even one not written in a formal style. The current version works best for undergraduate introduction-to-proof courses, and this paper covers our goals, current interface, and some results of classroom testing.

UR - http://ceur-ws.org/Vol-1010/paper-04.pdf

M3 - Conference contribution

VL - 1010

BT - Unknown book

ER -

Lurch: a word processor that can grade students' proofs

Abstract

Other files and links

Fingerprint

Cite this