An Integrated Development Environment for Collections

DOI10.1007/978-3-642-14128-7_29zbMath1278.68294OpenAlexW2283828549WikidataQ57389399 ScholiaQ57389399MaRDI QIDQ3582719

Michael Kohlhase, Constantin Jucovschi

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)

Related Items (2)

A scalable module system ⋮ Combining Source, Content, Presentation, Narration, and Relational Representation

Uses Software

• LaTeXML
• TNTBase
• STEXIDE
• STEX+

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