Lurch: a word processor built on OpenMath that can check mathematical reasoning

Nathan Carter; Kenneth G. Monks

Lurch: a word processor built on OpenMath that can check mathematical reasoning

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, including the steps of a mathematical proof, even one not written in a formal style. This paper covers our goals, implementation in terms of OpenMath, and a brief overview of the underlying validation engine.

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

Cite this

@inproceedings{e4fc3d59618243388316487a21959ed2,

title = "Lurch: a word processor built on OpenMath that can check mathematical reasoning",

abstract = "Lurch is a free word processor that can check the mathematical reasoning in a document, including the steps of a mathematical proof, even one not written in a formal style. This paper covers our goals, implementation in terms of OpenMath, and a brief overview of the underlying validation engine.",

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

year = "2013",

language = "English",

volume = "1010",

booktitle = "Unknown book",

}

TY - GEN

T1 - Lurch: a word processor built on OpenMath that can check mathematical reasoning

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, including the steps of a mathematical proof, even one not written in a formal style. This paper covers our goals, implementation in terms of OpenMath, and a brief overview of the underlying validation engine.

AB - Lurch is a free word processor that can check the mathematical reasoning in a document, including the steps of a mathematical proof, even one not written in a formal style. This paper covers our goals, implementation in terms of OpenMath, and a brief overview of the underlying validation engine.

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

M3 - Conference contribution

VL - 1010

BT - Unknown book

ER -

Lurch: a word processor built on OpenMath that can check mathematical reasoning

Abstract

Other files and links

Fingerprint

Cite this