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

DOI10.1007/978-3-319-62075-6_19zbMATH Open1367.68332OpenAlexW2724316322MaRDI QIDQ2364686FDOQ2364686

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

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

Uses Software

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

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)