diff --git a/systems/TNTBase.md b/systems/TNTBase.md index 0e04a057339ec974a3a99bf21baf7fd763bc5655..7d2eb9305849f1b2b5e7e747fafd9942ee4f319b 100644 --- a/systems/TNTBase.md +++ b/systems/TNTBase.md @@ -11,6 +11,7 @@ end_date: 2012-08 people: - mkohlhase - vzholudev +logo: public/kwarc_logo.svg publink: http://kwarc.github.io/bibs/tntbase --- diff --git a/systems/jobad.md b/systems/jobad.md index 6254e709fed3f30f6b0f3c1c8e90daaeac24eef7..1c1a63f8dd71d576e480f45cb801037dcabe790f 100644 --- a/systems/jobad.md +++ b/systems/jobad.md @@ -6,12 +6,13 @@ shorttitle: 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 - twiesing +logo: public/kwarc_logo.svg +publink: http://kwarc.github.io/bibs/jobad +repository: https://github.com/kwarc/jobad --- JOBAD (JavaScript API for OMDoc-based Active Documents) is a javascript framework which diff --git a/systems/kat.md b/systems/kat.md index 275b6e39514890641d3db3adbb10536eae54f09e..6fa62543ebb294bfea2fdc6cda77d13e7fd09ce9 100644 --- a/systems/kat.md +++ b/systems/kat.md @@ -15,6 +15,7 @@ people: supported-by: - mathsearch +logo: public/kwarc_logo.svg repository: https://github.com/KWARC/KAT publink: http://kwarc.github.io/bibs/kat --- diff --git a/systems/llamapun.md b/systems/llamapun.md index 5ae64ab864a36b0826f2e965de9098560330c2d2..005ff89f83445d2c577b16ae4e64e19ad836f55c 100644 --- a/systems/llamapun.md +++ b/systems/llamapun.md @@ -16,6 +16,7 @@ people: supported-by: - mathsearch +logo: public/kwarc_logo.svg repository: https://github.com/KWARC/LLaMaPUn/ publink: http://kwarc.github.io/bibs/llamapun --- diff --git a/systems/mws.md b/systems/mws.md index f41016f1cc47d4d059623b1e7c0fa66d8578e7ee..076b220466ad5a9833a57e5cf787c47b2e9af6ad 100644 --- a/systems/mws.md +++ b/systems/mws.md @@ -20,6 +20,7 @@ supported-by: - odk +logo: public/kwarc_logo.svg website: http://search.mathweb.org repository: http://githhub.com/KWARC/mws publink: http://kwarc.github.io/bibs/mws diff --git a/systems/openmathmap.md b/systems/openmathmap.md index 6ec412cfa3ca799d482edf128923315866d2830e..58c3275f84166984c6b06c2b70538aeabf475f90 100644 --- a/systems/openmathmap.md +++ b/systems/openmathmap.md @@ -14,6 +14,7 @@ people: supported-by: - mathsearch +logo: public/kwarc_logo.svg website: http://map.mathweb.org repository: https://github.com/KWARC/openmathmap/ --- diff --git a/systems/sTeX.md b/systems/sTeX.md index 01ed54355b3c3d6fcd4a0f36b314452f5f94e864..221bf0c16396ea794faa57cdd1370c08f02e3efe 100644 --- a/systems/sTeX.md +++ b/systems/sTeX.md @@ -18,6 +18,7 @@ supported-by: - mathsearch - odk +logo: public/kwarc_logo.svg repository: https://github.com/KWARC/sTeX publink: http://kwarc.github.io/bibs/sTeX --- diff --git a/systems/sally.md b/systems/sally.md index 9acdfc19ec9d943df0c47f8504d39dd710d79e13..96ecc4ab6a1c4e2a657be6e1d5edcac42ee06cf9 100644 --- a/systems/sally.md +++ b/systems/sally.md @@ -17,6 +17,7 @@ supported-by: - sissi - FormalCAD +logo: public/kwarc_logo.svg repository: https://github.com/KWARC/Sally publink: http://kwarc.github.io/bibs/sally --- diff --git a/systems/smglom.md b/systems/smglom.md index 211f4841a9ca4344c9de452f39de08e539219983..7fb6fbe80c1a098464028c19bfbefb36c61501ef 100644 --- a/systems/smglom.md +++ b/systems/smglom.md @@ -6,7 +6,6 @@ shorttitle: SMGLoM teaser: A terminological resource for Mathematics. start_date: 2013-11 -publink: http://kwarc.github.io/bibs/smglom people: - mkohlhase @@ -18,6 +17,8 @@ people: supported-by: - mathsearch - odk +logo: public/kwarc_logo.svg +publink: http://kwarc.github.io/bibs/smglom --- The SMGloM is a structured terminology for mathematics. It combines lexical information about the "Words of Mathematics" (in multiple languages) with semantic information about their dependencies. Multiple services can be derived from this terminology, e.g. a [classical glossary](https://mathhub.info/mh/glossary) and a [math dictionary](https://mathhub.info/mh/dictionary). diff --git a/systems/swim.md b/systems/swim.md index e0b1977beb7726e5bcfa04e5dd08ace9608aefa3..ee98e94cd0b1ac869127576332d04578e0156ae0 100644 --- a/systems/swim.md +++ b/systems/swim.md @@ -8,6 +8,7 @@ teaser: A Semantic Wiki for Interactive Mathematics. start_date: 2006-08 end_date: 2009-06 publink: http://kwarc.github.io/bibs/swim +logo: public/kwarc_logo.svg people: - clange