2011/05/12 by Serge Autexier, Autexier, Serge, Catalin David +7
Computer Science · Decision Sciences · #68U35 #Advanced Database Systems and Queries #Digital Libraries (cs.DL) #Distributed and Parallel Computing Systems #E.2 #F.4.2 #FOS: Computer and information sciences #G.4 #H.3.6 #H.3.7 #Scientific Computing and Data Management #Semantic Web and Ontologies #Software Engineering Research #acm:68U35 #cs.DL #msc:68U35
paper · pdf · doi:10.48550/arxiv.1105.2392
16 pages, Conference on Intelligent Computer Mathematics 2011, July, Bertinoro, Italy
arxiv created 2011/05/12 · openalex publication_date 2011/05/12 · arxiv updated 2011/05/13 · openalex created_date 2022/10/06 · openalex updated_date 2026/07/28
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.