A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf
.
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics
[chapter]
2011
Lecture Notes in Computer Science
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 semi-formal document collections
doi:10.1007/978-3-642-22673-1_12
fatcat:4fjlexsuqbdbznwz3uyv2gbrcu