Data/Knowledge/Software-Bases

WorkPackage Report - Michael Kohlhase
1st reporting period
## From the Proposal: Data/Knowledge/Software-Bases ![the big picture](../TheBigPicture.png) --- ## OpenDreamKit WP6 Worshops ![Integration schemata](../three-graphs.png) -- ## Deliverables -- 3 deliverables were submitted. - D6.1: Full-text Search (Formulae + Keywords) over LaTeX-based Documents (e.g. the arXiv subset) - D6.2: Initial ensuremath mathcal DKS base Design (including base survey and Requirements Workshop Report) - D6.3: Design of Triform (DKS) Theories (Specification/RNC Schema/Examples) and Implementation of Triform Theories in the MMT API -- ### D6.3: Design of Triform (DKS) Theories (Specification/RNC Schema/Examples) and Implementation of Triform Theories in the MMT API some more info on this deliverable -- ### some more info on this deliverable --- ## Big Achievments We have done many great things and written nice reports. -- ### Some more details That was really great -- ### Also we did this And so on... --- ## More to come Still, we have so much work! -- ### We will do this (we have to, so...) -- ### And also this