A web-based toolkit for mathematical word processing applications with semantics

DOI10.1007/978-3-319-62075-6_19MaRDI QIDQ2364686zbMATH OpenOpenAlexFDO

Authors Nathan C. Carter, Kenneth G. Monks

Publication date 21 July 2017

Full work available at URL https://doi.org/10.1007/978-3-319-62075-6_19

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies for text processing; mathematical typography (68U15)

Recommendations

• The formulator MathML editor project: user-friendly authoring of content markup documents
• MathTools: an open API for convenient MathML handling
• The LaTeXML daemon: editable math on the collaborative web
• Computerizing mathematical text with MathLang
• Interactive Mathematical Documents

Cites work

• A scalable module system
• Dependently typed programming in Agda
• The Lean theorem prover (system description)
• The teaching tool CalcCheck: a proof-checker for Gries and Schneider's ``Logical approach to discrete math
• Variable declarations in natural deduction

Cited in

(4)

• Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems
• webLurch
• Using camlp4 for presenting dynamic mathematics on the web
• Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}

Describes a project that uses

Uses Software

• GitHub
• CoffeeScript
• TinyMCE
• jsfs
• MathQuill
• Markdown
• Literate CoffeeScript
• Lean
• LyX
• CalcCheck
• Agda
• MathJax
• Lurch
• Isabelle/PIDE
• MMT
• HOL Light
• jQuery
• Coq

This page was built for publication: A web-based toolkit for mathematical word processing applications with semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2364686)