Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics

DOI10.1007/978-3-642-22673-1_12zbMath1278.68291arXiv1105.2392OpenAlexW1569926962WikidataQ57389394 ScholiaQ57389394MaRDI QIDQ5200115

Vyacheslav Zholudev, Michael Kohlhase, Dominik Dietrich, Catalin David, Serge Autexier

Publication date: 29 July 2011

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

Full work available at URL: https://arxiv.org/abs/1105.2392

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items

Collaborative Computer Algebra

Uses Software

• ActiveMath
• LaTeXML
• TNTBase
• PlanetMath

Cites Work

• ActiveMath
• The LaTeXML Daemon: Editable Math on the Collaborative Web
• Communities of Practice in MKM: An Extensional Model