Skip to content
Snippets Groups Projects

Compare revisions

Changes are shown as if the source revision was being merged into the target revision. Learn more about comparing revisions.

Source

Select target project
No results found
Select Git revision
  • master
  • zolekode-master-patch-26857
  • zolekode-master-patch-38209
  • zolekode-master-patch-54259
  • zolekode-master-patch-78201
5 results

Target

Select target project
  • kwarc/kwarc.info/www
  • richardmarcus/www
2 results
Select Git revision
  • master
  • patch-1
2 results
Show changes
---
layout: system
menu_title: OpenMathMap
title: OpenMathMap
shorttitle: OpenMathMap
teaser: A Map of Mathematics
start: 2013-06
start_date: 2013-06
end_date: 2015-06
orphan: true
people:
- mkohlhase
supported-by:
- mathsearch
logo: public/kwarc_logo.svg
website: http://map.mathweb.org
repository: https://github.com/KWARC/openmathmap/
homepage: http://map.mathweb.org
people: mkohlhase
---
OpenMathMap project, a recognizable, interactive map of mathematical areas from the MSC an Zentralblatt Publication Data.
OpenMathMap project, a recognizable, interactive map of mathematical areas from the MSC an
Zentralblatt Publication Data. A demo is (sometimes) running on http://map.mathweb.org
---
layout: system
menu_title: sTeX
title: "sTeX: Semantic Markup for LaTeX"
pillar: semantization
start: 2004-09
people: mkohlhase,dginev
shorttitle: sTeX
start_date: 2004-09
people:
- mkohlhase
- dginev
- twiesing
collaborators:
- Dr. Bruce Miller (NIST)
supported-by:
- sissi
- mathsearch
- odk
logo: public/kwarc_logo.svg
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
system allows to embed [/structural semantics](/research/structural-semantics) into documents. For details see the [sTeX project on GitHub](https://github.com/KWARC/sTeX).
system allows to embed [/structural semantics](/research/structural-semantics) into
documents. Concretely sTeX is a "semantic version of LaTeX" that allows to use special
macros to encode mathematical meaning explicitly. This is (largely ignored in PDF
generation), but can be taken into account when generating [OMDoc-based](/systems/omdoc/) active documents.
## Resources
* [sTeX at GitHub](https://github.com/KWARC/sTeX) and the corresponding
[LaTeXML](http://dlmf.nist.gov/LaTeXML/)
[plugin for sTeX](https://github.com/KWARC/LaTeXML-Plugin-sTeX)
* Some sTeX-based libraries of active doucents on [MathHub.info](http://mathhub.info): [SMGloM](https://mathhub.info/smglom), [active course notes](https://mathhub.info/MiKoMH).
* Their sources can be found here: [SMGloM](https://gl.mathhub.info/smglom), [active course notes](https://gl.mathhub.info/MiKoMH).
## Documentation/Papers
* M. Kohlhase (2008) [*Using LaTeX as a semantic markup format*](https://kwarc.info/kohlhase/papers/mcs08-stex.pdf). Mathematics in Computer Science 2 (2), pp. 279–304
* ... [complete bibliography](http://kwarc.github.io/bibs/sTeX)
---
layout: system
menu_title: Semantic Alliance
title: Semantic Alliance
shorttitle: Sally
teaser: A framework for mashing up semantic services into desktop applications.
start_date: 2013-02
start_date: 2016-08
orphan: true
people:
- mkohlhase
- akohlhase
- cjucovschi
supported-by:
- sissi
- FormalCAD
logo: public/kwarc_logo.svg
repository: https://github.com/KWARC/Sally
people: mkohlhase,akohlhase,cjucovschi
publink: http://kwarc.github.io/bibs/sally
---
A distributed framework for mashing up semantic services into desktop applications.
---
layout: system
menu_title: SMGloM
title: "The Semantic, Multilingual Glossary of Mathematics"
pillar: KMR
start: 2013-11
people: mkohlhase,cjucovshi,miancu
title: "SMGLoM - A Semantic, Multilingual Glossary of Mathematics"
shorttitle: SMGLoM
teaser: A terminological resource for Mathematics
start_date: 2013-11
people:
- mkohlhase
- cjucovschi
- miancu
- twiesing
- jfschaefer
supported-by:
- mathsearch
- odk
logo: public/kwarc_logo.svg
publink: https://kwarc.github.io/bibs/smglom
---
The [Semantic, Multilingual Glossary of Mathematics](/systems/smglom/) is a
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/applications/glossary) and a [math dictionary](https://mathhub.info/applications/dictionary).
## Resources
* [SMGloM at MathHub.info](https://mathhub.info/library/group?id=smglom)
* [the SMGloM sources on gl.mathhub.info](https://gl.mathhub.info/smglom),
written in [sTeX](/systems/sTeX) (a semantic version of LaTeX)
* a [generated dictionary](https://gl.mathhub.info/smglom/meta-inf/tree/master/applications/dictionary.en-de-ro-zhs.pdf)
* various generated glossaries on the
[SMGloM applications repository](https://gl.mathhub.info/smglom/meta-inf/tree/master/applications/) for
[English](https://gl.mathhub.info/smglom/meta-inf/tree/master/applications/glossary.en.pdf),
[German](https://gl.mathhub.info/smglom/meta-inf/tree/master/applications/glossary.de.pdf),
[Chinese (simplified)](https://gl.mathhub.info/smglom/meta-inf/tree/master/applications/glossary.zhs.pdf),
[Romanian](https://gl.mathhub.info/smglom/meta-inf/tree/master/applications/glossary.ro.pdf)
## Papers
* D. Ginev, M. Iancu, C. Jucovshi, A. Kohlhase, M. Kohlhase, A. Oripov, J. Schefter, W. Sperber, O. Teschke and T. Wiesing (2016) [The SMGloM project and system: towards a terminology and ontology for mathematics](https://kwarc.info/kohlhase/papers/icms16-smglom.pdf) ICMS 2016
* M. Kohlhase (2014) [A data model and encoding for a semantic, multilingual terminology of mathematics](https://kwarc.info/kohlhase/papers/cicm14-smglom.pdf) CICM 2014
* [complete bibliography](https://kwarc.github.io/bibs/smglom/)
* [blue notes](https://gl.kwarc.info/smglom/blue): epsilon-baked ideas about how to continue
---
layout: system
menu_title: SWIM
title: "SWiM: Semantic Wiki for Mathematics"
start: 2006-08
end: 2009-06
people: mkohlhase,clange
shorttitle: SWiM
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
- mkohlhase
---
SWIM is a Semantic Wiki for Interactive Mathematics. The system has been superseded by [MathHub](/systems/mathhub/).
---
layout: system
menu_title: TGView3D
shorttitle: TGView3D
title: The TGView3D Graph Viewer
teaser: An interactive 3D graph viewer optimized for visualizing Theory Graphs and mathematical knowledge in general
start_date: '2018'
people:
- mkohlhase
- frabe
- dmueller
- rmarcus
supported-by:
- odk
website: https://tgview3d.mathhub.info/
repository: https://github.com/UniFormal/tgview3d
publink: https://kwarc.info/people/mkohlhase/submit/cicm20-tgview3D.pdf
---
The TGView3D System is a 3D-theory graph viewer in the Unity Engine.
Different layouts and highlighting settings are available to visualize the complex theory graphs efficiently.
In particular, this allows exploration of big mathematical libraries, e.g, those related to theorem provers like Coq or Isabelle.
Furthermore, we have a virtual reality protoype to allow intuitive and immersive interactions.
*For students*: Topics for theses and projects are available [here](https://gl.kwarc.info/kwarc/thesis-projects/-/issues?label_name%5B%5D=Graph+Visualization).
\ No newline at end of file
---
layout: course
instructor: mkohlhase
title: Projekt zur Künstlichen Intelligenz
menu_title: KI-Projekt
taught: WS16/17, SS16
---
The KWARC group (Wissensrepräsentation und Verarbeitung)conducts research in knowledge representation and reasoning techniques with a view towards applications in knowledge management.
We extend techniques from formal methods so that they can be used in settings where formalization is either infeasible or too costly.
We concentrate on developing techniques for marking up the structural semantics in technical documents.
This level of markup allows for offering interesting knowledge management services without forcing theauthor to formalize the document contents.
In contrast to courses with fixed topics, project topics are defined individually.
See the [KWARC home page](http://kwarc.info) for a general introduction to the research and [the KWARC research topics list](http://gl.kwarc.info/kwarc/thesis-projects) for expemplary topics.
---
layout: course
instructor: mkohlhase
title: Vorlesung *Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen*
menu_title: Vorlesung KRMT
taught: SS16/17
---
Dieser Kurs behandelt Grundlagen der Mathematik, Modulare Formalisierung in
Theoriegraphen, Narrative Strukturen in informellen mathematisch/technischen Dokumenten,
Formalisierung von Logiksprachen in Metalogiken.
Da wir nur wenige Studenten erwarten, wollen wir diesen Kurs sehr interaktiv und
Projektorientiert aufbauen.
---
layout: course
instructor: mkohlhase
title: Künstliche Intelligenz I
menu_title: Künstliche Intelligenz I
taught: WS16
---
Diese Vorlesung beschäftigt sich mit den Grundlagen der Künstlichen Intelligenz (KI),
insbesondere
* Agentenmodelle als Grundlagen der KI
* Heuristische Suche als Methode zum Problemlösen
* Logische Sprachen zur Wissensrepräsentation,
* Inferenz
* Automatisches Planen
---
layout: course
instructor: mkohlhase
title: Künstliche Intelligenz II
menu_title: Künstliche Intelligenz II
taught: SS16/17
---
Dieser Kurs beschäftigt sich mit den Grundlagen der Künstlichen Intelligenz (KI), insbesondere mit Techniken des Schliessens unter Unsicherheit, des maschinellen Lernens und des Sprachverstehens.
Der Kurs baut auf der Vorlesung Künstliche Intelligenz I vom Wintersemester auf und führt diese weiter.
---
layout: course
instructor: mkohlhase
title: Seminar Wissensrepräsentation und -verarbeitung
menu_title: Seminar WuV
---
This seminar covers topics from knowledge representation and knowledge processing, mostly
with a focus on mathematical knowledge.