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

DOI10.1007/978-3-642-22673-1_15zbMath1278.68292OpenAlexW137411486WikidataQ57389381 ScholiaQ57389381MaRDI QIDQ5200120

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

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

Related Items

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

Cites Work

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