Computer Science – Digital Libraries
Scientific paper
2011-05-12
Computer Science
Digital Libraries
16 pages, Conference on Intelligent Computer Mathematics 2011, July, Bertinoro, Italy
Scientific paper
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.
Autexier Serge
David Catalin
Dietrich Dominik
Kohlhase Michael
Zholudev Vyacheslav
No associations
LandOfFree
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-496632