Workflows for the management of change in science, technologies, engineering and mathematics

DOI10.1007/978-3-642-22673-1_12MaRDI QIDQ5200115zbMATH OpenOpenAlexWikidataFDO

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

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)

Abstract: Mathematical knowledge is a central component in science, engineering, and technology (documentation). Most of it is represented informally, and -- in contrast to published research mathematics -- subject to continual change. Unfortunately, machine support for change management has either been very coarse grained and thus barely useful, or restricted to formal languages, where automation is possible. In this paper, we report on an effort to extend change management to collections of semi-formal documents which flexibly intermix mathematical formulas and natural language and to integrate it into a semantic publishing system for mathematical knowledge. We validate the long-standing assumption that the semantic annotations in these flexiformal documents that drive the machine-supported interaction with documents can support semantic impact analyses at the same time. But in contrast to the fully formal setting, where adaptations of impacted documents can be automated to some degree, the flexiformal setting requires much more user interaction and thus a much tighter integration into document management workflows.

Recommendations

• Mathematical Knowledge Management
• From G.H.H. and Littlewood to XML and Maple: changing needs and expectations in mathematical knowledge management
• Management of Change in Declarative Languages
• scientific article; zbMATH DE number 2078373
• Knowledge-based techniques to increase the flexibility of workflow management

Cites work

• ActiveMath
• Communities of Practice in MKM: An Extensional Model
• The LaTeXML daemon: editable math on the collaborative web

Cited in

(3)

• From G.H.H. and Littlewood to XML and Maple: changing needs and expectations in mathematical knowledge management
• Collaborative computer algebra
• Mathematical Knowledge Management

Describes a project that uses

Uses Software

• ActiveMath
• LaTeXML
• PlanetMath
• TNTBase

This page was built for publication: Workflows for the management of change in science, technologies, engineering and mathematics

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