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

acknowledging funding

parent dee98038
No related branches found
No related tags found
No related merge requests found
......@@ -9,7 +9,7 @@
{% if pp %}
<a href="{{ site.baseurl }}{{purl}}">
<div class="chip">
<img src="{{ site.baseurl }}/{{pp.pic}}">
<img src="{{ site.baseurl }}/{{pp.pic}}"/>
{{pp.fullname}}
</div>
</a>
......@@ -17,4 +17,4 @@
<div class="chip">
{{person}}
</div>
{% endif %}
\ No newline at end of file
{% endif %}
......@@ -12,13 +12,13 @@ layout: default
{% if page.start_date %}
<p>
<b>From:</b>
<b>Start:</b>
{% assign date = page.start_date %}
{% include date.html %}
{% if page.end_date %}
<br />
<b>To:</b>
<b>End:</b>
{% assign date = page.end_date %}
{% include date.html %}
{% endif %}
......
......@@ -11,6 +11,9 @@ people:
- mkohlhase
- twiesing
supported-by:
- mathsearch
repository: https://github.com/KWARC/KAT
publink: http://kwarc.github.io/bibs/kat
---
......
......@@ -12,6 +12,9 @@ people:
- jfschaefer
- itoloaca
supported-by:
- mathsearch
repository: https://github.com/KWARC/LLaMaPUn/
publink: http://kwarc.github.io/bibs/llamapun
---
......
......@@ -12,6 +12,12 @@ people:
- cjucovschi
- twiesing
supported-by:
- mathsearch
- oaf
- odk
- latin
website: http://mathhub.info
repository: https://github.com/KWARC/mathhub
publink: http://kwarc.github.io/bibs/mathhub
......
---
layout: default
title: Systems
title: Systems and Libraries
permalink: /systems/
---
......@@ -12,4 +12,4 @@ permalink: /systems/
{% include psitem.html %}
{% endunless %}
{% endfor %}
</ul>
\ No newline at end of file
</ul>
......@@ -14,6 +14,11 @@ people:
- rhambasan
- ahambasan
supported-by:
- mathsearch
- odk
website: http://search.mathweb.org
repository: http://githhub.com/KWARC/mws
publink: http://kwarc.github.io/bibs/mws
......
......@@ -11,6 +11,8 @@ orphan: true
people:
- mkohlhase
supported-by:
- mathsearch
website: http://map.mathweb.org
repository: https://github.com/KWARC/openmathmap/
---
......
......@@ -9,6 +9,11 @@ people:
- mkohlhase
- dginev
supported-by:
- sissi
- mathsearch
- odk
repository: https://github.com/KWARC/sTeX
publink: http://kwarc.github.io/bibs/sTeX
---
......
......@@ -12,6 +12,10 @@ people:
- akohlhase
- cjucovschi
supported-by:
- sissi
- FormalCAD
repository: https://github.com/KWARC/Sally
publink: http://kwarc.github.io/bibs/sally
---
......
......@@ -13,6 +13,10 @@ people:
- miancu
- twiesing
- jfschaefer
supported-by:
- mathsearch
- odk
---
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).
......
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