Completed, externally funded Projects
FormalCAD: Formal Methods and Semantic Technologies for Engineering Design Processes
April 2012 - February 2015
Towards a computer-supported, document-oriented process for systematic engineering design and a semantic help system for CAD systems.
MathSearch: Analyse und Suche in mathematischen Formeln
March 2012 - February 2015
Methods for information extraction and information retrieval for mathematical documents with the aim of providing semantically enhanced interaction for Zentralblatt Math and the arXiv.
SiSsI: Software Engineering for Spreadsheet Interaction
August 2011 - July 2013
Methods and technologies to enhance spreadsheets semantically.
LATIN: Logic Atlas & Integrator
2009 - 2012
Building a theory graph of logic represesentations.
OMoC: Ontology-based Management of Change
2008 - 2010
Using semantic features in document collections for better change management.
JEM: Joining Educational Mathematics
2006 - 2009
Coordination of European content enrichment activities in the area of mathematics
ONCE-CS: Open Network of Centres of Excellence in Complex Systems
22005 - 2008
Adding a Semantic Angle to Complex Systems
Logosphere: Formal Digital Libraries
2003 - 2006
Integrating Theorem Prover Libraries through Meta-logical Frameworks
Thematic Netork "OpenMath"
2001 - 2004
Integrating Math Software Systems by content Markup for Formulae
Former Internal Projects
We also organize some of our research and development into Projects,
Completed projects that focused on building particular systems can be found under KWARC Systems.