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

**Authors:** Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev  
**arXiv:** [1105.2392](https://arxiv.org/abs/1105.2392)  
**Date:** 2011-05-12  
**Summary page:** https://www.summarizepaper.com/en/paper/1105.2392v1/

## Key points

- Mathematical knowledge plays a crucial role in science, engineering, and technology
- Existing machine support for change management is limited and either too coarse-grained or confined to formal languages
- The study focuses on extending change management practices to collections of semi-formal documents blending mathematical formulas with natural language
- Semantic annotations within documents facilitate machine-supported interactions and enable semantic impact analyses
- Flexiformal environments require a higher degree of user interaction compared to fully formal settings
- Bridging the gap between informal representations of mathematical knowledge and formalized change management processes is essential for efficient adaptation within scientific and technological domains

## Summary

, , , , 

In their paper titled "Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics," authors Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, and Vyacheslav Zholudev delve into the crucial role of mathematical knowledge in various fields such as science, engineering, and technology. They highlight that this knowledge is predominantly represented informally and is subject to constant evolution unlike published research mathematics. The authors point out the limitations of existing machine support for change management, noting that it has either been too coarse-grained to be truly effective or confined to formal languages where automation is feasible. The focus of their study lies in extending change management practices to collections of semi-formal documents that blend mathematical formulas with natural language. By integrating these practices into a semantic publishing system for mathematical knowledge, the authors aim to enhance the handling of evolving information within these flexiformal documents. They validate the assumption that semantic annotations within these documents play a pivotal role in facilitating machine-supported interactions while also enabling semantic impact analyses. However, unlike fully formal settings where adjustments to impacted documents can be automated to some extent, the flexiformal environment requires a higher degree of user interaction. This necessitates a more seamless integration into document management workflows to effectively manage changes over time. The authors emphasize the importance of bridging the gap between informal representations of mathematical knowledge and formalized change management processes to ensure efficient adaptation and evolution within scientific and technological domains. Their work sheds light on the complexities involved in managing dynamic mathematical content and underscores the need for tailored solutions that cater to both human input and automated processes in document management systems.