diff --git a/systems/active.md b/systems/active.md index 46411783ec29e405d3a3bb33262893e98fc690a9..b683bbf69d0cf875d84d192d6fa4d38efa452ddb 100644 --- a/systems/active.md +++ b/systems/active.md @@ -4,7 +4,7 @@ title: Active Systems menu_title: Active menu_order: -1 --- -## Actively Developed Systems ([Historic Systems](/projects/historic)) +## Actively Developed Systems ([Historic Systems](/systems/historic)) listing to be generated here. diff --git a/systems/arXMLiv.md b/systems/arXMLiv.md index 9d333d6e21c988c458d12a1c649e75deebf0637f..04a906c935f262a7bb7dc8bc6adc969c6db31c31 100644 --- a/systems/arXMLiv.md +++ b/systems/arXMLiv.md @@ -1,5 +1,5 @@ --- -layout: project +layout: system menu_title: arXMLiv title: arXMLiv start: 2006 diff --git a/systems/historic.md b/systems/historic.md index 5ac2665f1d6e9da30643e00b8cf7836716e9a092..9df027adf7728f31da173b2c711f4ffa4ab7a243 100644 --- a/systems/historic.md +++ b/systems/historic.md @@ -4,7 +4,7 @@ title: Historic Systems menu_title: Historic menu_order: 2 --- -## Historic Systems ([active systems](/projects/active/)) +## Historic Systems ([active systems](/systems/active/)) The KWARC group has developed various added value services based on OMDoc-encoded content, including a mathematical knowledge base, a semantic search engine, management of change, a diff --git a/projects/llamapun.md b/systems/llamapun.md similarity index 97% rename from projects/llamapun.md rename to systems/llamapun.md index cd883c6ce29022276f35f8d0202251f5a7c35c7a..024d54f7f3680c5945288542a85b041bf9c67c95 100644 --- a/projects/llamapun.md +++ b/systems/llamapun.md @@ -1,5 +1,5 @@ --- -layout: project +layout: system menu_title: LLaMaPuN title: "LLaMaPuN: Language and Mathematics Processing and Understanding" start: 2008-11 diff --git a/systems/mathhub.md b/systems/mathhub.md new file mode 100644 index 0000000000000000000000000000000000000000..5804d91c4270f61c4dc56390d5c6416bc0693cbe --- /dev/null +++ b/systems/mathhub.md @@ -0,0 +1,11 @@ +--- +layout: system +menu_title: MathHub +title: MathHub +teaser:A portal for active mathematical documents and an archive for flexiformal mathematics. +start: 2008-08 +repository: https://github.com/KWARC/mathhub +homepage: http://mathhub.info +people: mkohlhase,akohlhase,cjucovschi +--- +MathHub.info is a portal for active mathematical documents and an archive for flexiformal mathematics. It offers a rich interface for reading, writing, and interacting with mathematical documents and knowledge diff --git a/systems/mmt.md b/systems/mmt.md new file mode 100644 index 0000000000000000000000000000000000000000..19cd9af0014fb1436ab5a02bb3ab98b169e6b6c1 --- /dev/null +++ b/systems/mmt.md @@ -0,0 +1,9 @@ +--- +layout: system +menu_title: MMT +title: "MMT: Meta Meta Theories/Meta Meta Tool" +teaser: A framework for representing declarative languages such as logics, type theories, set theories, etc.. The MMT API implements complex algorithms generically for any language in the framework. +people: frabe,dmueller,twiesing,miancu,fhorozal +--- + +MMT is a framework for representing declarative languages such as logics, type theories, set theories, etc.. It achieves a high level of generality by systematically avoiding a commitment to a particular syntax or semantics. Instead, individual language features (e.g., λ-abstraction, conjunction, etc.) and syntax features (keywords, notations, etc.) are defined as separate, reusable modules, from which individual languages are assembled. These modules can be declarative by specifying features as Mmt theories or programmatic by providing individual rules as plugins.Despite this high degree of abstraction, it is possible to implement advanced algorithms generically at the MMT level. These include knowledge management algorithms (e.g, IDE, search, change management) as well as logical algorithms (e.g., parsing, type reconstruction, module system). Thus, we can use MMT to obtain strong implementations of declarative languages at extremely low cost.Moreover, the focus on modularity and language-independence enables system integration, where MMT can mediate the exchange of knowledge across different foundational systems and concrete syntaxes.See here for the MMT homepage. diff --git a/systems/mws.md b/systems/mws.md index 9323427196a06dfadd9e5bfa4ee37bbd8e1bf6bc..5e48a6ea4db9866abef71bc1742c94e61eb650ea 100644 --- a/systems/mws.md +++ b/systems/mws.md @@ -1,5 +1,5 @@ --- -layout: project +layout: system menu_title: MathWebSearch title: "MathWebSearch a Mathematical Search Engine" pillar: KMR diff --git a/systems/omdoc.md b/systems/omdoc.md new file mode 100644 index 0000000000000000000000000000000000000000..13c332fdb54b6dc105b840627e3cb658ab1b3d6c --- /dev/null +++ b/systems/omdoc.md @@ -0,0 +1,11 @@ +--- +layout: system +menu_title: OMDoc +title: "OMDoc: Open Mathematical Documents" +teaser: A markup format and data model for Open Mathematical Documents. It serves as semantics-oriented representation format and ontology language for mathematical knowledge. +homepage: http://omdoc.org +repository: http://github.com/OMDoc +people: mkohlhase +--- + +OMDoc is a markup format and data model for Open Mathematical Documents. It serves as semantics-oriented representation format and ontology language for mathematical knowledge. diff --git a/systems/sTeX.md b/systems/sTeX.md index d96c2f8cc53a5b0e35685c57fece7a21228f5cc2..50a7212758fc5ac5396dc3a4196f538170453492 100644 --- a/systems/sTeX.md +++ b/systems/sTeX.md @@ -1,5 +1,5 @@ --- -layout: project +layout: system menu_title: sTeX title: "sTeX: Semantic Markup for LaTeX" pillar: semantization diff --git a/systems/sally.md b/systems/sally.md new file mode 100644 index 0000000000000000000000000000000000000000..4c1c8f6f9fcfe543f18ab1cc753f21a858604c90 --- /dev/null +++ b/systems/sally.md @@ -0,0 +1,8 @@ +--- +layout: system +menu_title: Semantic Alliance +title: Semantic Alliance +teaser:A framework for mashing up semantic services into desktop applications. +repository: https://github.com/KWARC/Sally +people: mkohlhase,akohlhase,cjucovschi +--- diff --git a/systems/smglom.md b/systems/smglom.md index cc835fdab8f3451fecb2699b16c7331f14c8edd4..b3d32ab8dcadd595edbd1bb5e0147d005460222e 100644 --- a/systems/smglom.md +++ b/systems/smglom.md @@ -1,9 +1,9 @@ --- -layout: project +layout: system menu_title: SMGloM title: "The Semantic, Multilingual Glossary of Mathematics" pillar: KMR start: 2013-11 people: mkohlhase,cjucovshi,miancu --- -The [Semantic, Multilingual Glossary of Mathematics](/projects/smglom/) is a +The [Semantic, Multilingual Glossary of Mathematics](/systems/smglom/) is a