An Integrated Development Environment for Collections

DOI10.1007/978-3-642-14128-7_29MaRDI QIDQ3582719zbMATH OpenOpenAlexWikidataFDO

Authors Constantin Jucovschi, Michael Kohlhase

Publication date 24 August 2010

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-14128-7_29

zbMATH Keywords

mathematical knowledge management

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• INTEX: An FST toolbox
• Stacks project expository collection (SPEC)
• System description STEX3 -- a \LaTeX-based ecosystem for semantic/active mathematical documents
• scientific article; zbMATH DE number 2079687

Cited in

(3)

• A scalable module system
• Combining source, content, presentation, narration, and relational representation
• Mathematical Knowledge Management

Describes a project that uses

Uses Software

• LaTeXML
• STEXIDE
• STEX+
• TNTBase

This page was built for publication: An Integrated Development Environment for Collections

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