Combining Source, Content, Presentation, Narration, and Relational Representation

DOI10.1007/978-3-642-22673-1_15zbMATH Open1278.68292OpenAlexW137411486WikidataQ57389381 ScholiaQ57389381MaRDI QIDQ5200120FDOQ5200120

Constantin Jucovschi, Fulya Horozal, Michael Kohlhase, Florian Rabe, Alin Iacob

Publication date: 29 July 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22673-1_15

zbMATH Keywords

mathematical knowledge managementLATIN logic atlas

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cites Work

• Using La\TeX\ as a semantic markup format
• A scalable module system
• A framework for defining logics
• An Integrated Development Environment for Collections
• Integrating Web Services into Active Mathematical Documents
• Notations for Living Mathematical Documents
• Mathematical knowledge management in HELM
• Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
• The LaTeXML Daemon: Editable Math on the Collaborative Web

Cited In (1)

• System description STEX3 -- a \LaTeX-based ecosystem for semantic/active mathematical documents

Uses Software

• Mizar
• Isabelle/jEdit
• Twelf
• LaTeXML
• MMT
• TNTBase
• STEXIDE
• sTeX
• Archive Formal Proofs
• MathML
• LaTeX

This page was built for publication: Combining Source, Content, Presentation, Narration, and Relational Representation

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