A Web-Based Toolkit for Mathematical Word Processing Applications with Semantics

Nathan Carter

A Web-Based Toolkit for Mathematical Word Processing Applications with Semantics

Nathan Carter

Mathematical Sciences

Research output: Contribution to conference › Paper

Abstract

Lurch is an open-source word processor that can check the steps in students‚Äô mathematical proofs. This paper describes the Lurch Web Platform, a system of tools the authors have created for other mathematical software developers to use in their own projects.

Original language	English
State	Published - 2017
Event	Conference on Intelligent Computer Mathematics - Duration: Jan 1 2017 → …

Conference

Conference	Conference on Intelligent Computer Mathematics
Period	01/1/17 → …

Cite this

@conference{701c3aa99dcc44e48040279da2c4516d,

title = "A Web-Based Toolkit for Mathematical Word Processing Applications with Semantics",

abstract = "Lurch is an open-source word processor that can check the steps in students‚{\"A}{\^o} mathematical proofs. This paper describes the Lurch Web Platform, a system of tools the authors have created for other mathematical software developers to use in their own projects.",

author = "Nathan Carter",

year = "2017",

language = "English",

note = "Conference on Intelligent Computer Mathematics ; Conference date: 01-01-2017",

}

TY - CONF

T1 - A Web-Based Toolkit for Mathematical Word Processing Applications with Semantics

AU - Carter, Nathan

PY - 2017

Y1 - 2017

N2 - Lurch is an open-source word processor that can check the steps in students‚Äô mathematical proofs. This paper describes the Lurch Web Platform, a system of tools the authors have created for other mathematical software developers to use in their own projects.

AB - Lurch is an open-source word processor that can check the steps in students‚Äô mathematical proofs. This paper describes the Lurch Web Platform, a system of tools the authors have created for other mathematical software developers to use in their own projects.

UR - http://link.springer.com/chapter/10.1007/978-3-319-62075-6_19

M3 - Paper

T2 - Conference on Intelligent Computer Mathematics

Y2 - 1 January 2017

ER -

A Web-Based Toolkit for Mathematical Word Processing Applications with Semantics

Abstract

Conference

Other files and links

Fingerprint

Cite this