Skip to content
Snippets Groups Projects
Commit 20eb58a1 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

adding publinks

parent cd646712
No related branches found
No related tags found
No related merge requests found
......@@ -10,6 +10,7 @@ end_date: 2012-08
people:
- mkohlhase
- vzholudev
publink: http://kwarc.github.io/bibs/tntbase
---
TNTBase is a database which is optimized for storing mathematical documents in OMDoc format. It is based on Subversion and Berkeley DB XML.
......@@ -9,6 +9,7 @@ end_date: 2008-04
people:
- akohlhase
publink: http://kwarc.github.io/bibs/cpoint
---
CPoint is an extension to MS PowerPoint that allows to add and manage semantic annotations
in PowerPoint presentations. The system offers various embedded semantic services.
......@@ -3,9 +3,10 @@ layout: system
title: JOBAD
teaser: A Javascrip Framework for instrumenting Active Documents with Semantic Services
start_date: 2008-09
oprhan: true
publink: http://kwarc.github.io/bibs/jobad
repository: https://github.com/kwarc/jobad
people:
- frabe
......
......@@ -11,7 +11,8 @@ people:
- mkohlhase
- twiesing
repository: https://github.com/KWARC/KAT
repository: https://github.com/KWARC/KAT
publink: http://kwarc.github.io/bibs/kat
---
KAT is an annotation-ontology independent annotation tool for HTML5 documents. It can
......
......@@ -12,6 +12,7 @@ people:
webpage: https://github.com/EIS-Bonn/krextor/wiki
repository: https://github.com/EIS-Bonn/krextor
publink: http://kwarc.github.io/bibs/krextor
---
Krextor, the ​KWARC RDF Extractor, is an extensible XSLT-based framework for extracting RDF from XML, supporting multiple input languages as well as multiple output RDF notations.
......@@ -13,6 +13,7 @@ people:
- itoloaca
repository: https://github.com/KWARC/LLaMaPUn/
publink: http://kwarc.github.io/bibs/llamapun
---
The LaMaPUn project investigates the structure and meaning of scientific/technical
......
......@@ -16,6 +16,7 @@ people:
website: http://search.mathweb.org
repository: http://githhub.com/KWARC/mws
publink: http://kwarc.github.io/bibs/mws
---
The MathWebSearch system (MWS) is a content-based search engine for mathematical
......
......@@ -11,6 +11,7 @@ people:
website: http://omdoc.org
repository: https://github.com/OMDoc
publink: http://kwarc.github.io/bibs/omdoc
---
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.
......@@ -10,6 +10,7 @@ people:
- dginev
repository: https://github.com/KWARC/sTeX
publink: http://kwarc.github.io/bibs/sTeX
---
The TeX/LaTeX workflow is deeply embedded into mathematical practice. Therefore the sTeX
......
......@@ -13,4 +13,7 @@ people:
- cjucovschi
repository: https://github.com/KWARC/Sally
publink: http://kwarc.github.io/bibs/sally
---
A distributed framework for mashing up semantic services into desktop applications.
......@@ -5,6 +5,7 @@ title: "SMGLoM - A Semantic, Multilingual Glossary of Mathematics"
teaser: A terminological resource for Mathematics.
start_date: 2013-11
publink: http://kwarc.github.io/bibs/smglom
people:
- mkohlhase
......
......@@ -6,6 +6,7 @@ teaser: A Semantic Wiki for Interactive Mathematics.
start_date: 2006-08
end_date: 2009-06
publink: http://kwarc.github.io/bibs/swim
people:
- clange
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment