Accueil › About JEM › The JEM Network

Jacobs University

  • user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT COUNT(sid) AS count FROM sessions WHERE timestamp >= 1231493107 AND uid = 0 in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.
  • user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT DISTINCT u.uid, u.name, s.timestamp FROM users u INNER JOIN sessions s ON u.uid = s.uid WHERE s.timestamp >= 1231493107 AND s.uid > 0 ORDER BY s.timestamp DESC in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.

Jacobs University is a new private research university patterned after the Anglo-Saxon university system. The university was founded in 2000 and has an international student body (ca. 800 students from over 70 nations, admitted in a highly selective process). The IUB Group (KWARC: Knowledge Adaptation and Reasoning for Content) is the main center and lead implementer of the OMDoc mathematical representation format, an XML-based representation format for Open Mathematical Documents. OMDoc extends the web standards content-MathML and OpenMath by content-oriented representations for mathematical statements (Definition, Theorems, Proofs, …) and a rich structure of mathematical theories and contexts.) Bremen is involved in the W3C Math Working group and was involved in the development of OpenMath 2.

For more information on the KWARC group please see the website or our flyer.

Membership type: Founding Member
URL: http://kwarc.info
Site Leader: kohlhase
Acronym: JACU


Dissemination items

Arguing on Issues with Mathematical Knowledge Items in a Semantic Wiki
Arguing on Issues with Mathematical Knowledge Items in a Semantic Wiki
Argumentative Discussions in a Semantic Wiki
arXiv
Communities of Practice in Logics
Communities of Practice in Mathematical eLearning
Communities of Practice in MKM: An Extensional Model
Compiling OpenMath Type systems to RelaxNG Grammars
CoPit - Towards A Community of Practice Toolkit
Document Variant Relations for Identifying and Supporting Scientific Communities of Practice
Documents with flexible Notation Contexts as Interfaces to Mathematical Knowledge
Easily Editing and Browsing Complex OpenMath Markup with SWiM
Easily Editing and Browsing Complex OpenMath Markup with SWiM
Editing and Using Mathematics in a Semantic Wiki
Editing OpenMath Content Dictionaries with SWiM
Flyspeck in a Semantic Wiki – Collaborating on a Large Scale Formalization of the Kepler Conjecture
Flyspeck in a Semantic Wiki – Collaborating on a Large Scale Formalization of the Kepler Conjecture (Slides)
Improving knowledge through social interaction using argumentation
Improving mathematical knowledge items by acting on issue-based community feedback
Improving mathematical knowledge items by acting on issue-based community feedback
Improving mathematical knowledge items by acting on issue-based community feedback
Management of Change
Managing Variants in Document Content and Narrative Structures
Math on the Web Workshop
Mathematical Semantic Markup in a Wiki: The Roles of Symbols and Notations
Mathematical Semantic Markup in a Wiki: The Roles of Symbols and Notations
Mathematik lernen in einem semantischen Wiki
OMDoc - Hybrid Documents
OMDoc Theory Graphs Revisited
Online Proceedings of the 2nd SCooP Workshop
panta rhei
Presenting Mathematical Content With Flexible Elisions
Progress Report: MML3 Activities
Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch
Semantic Perspectives on Knowledge Management and E-Learning
SWiM – A Semantic Wiki for Mathematical Knowledge Management
SWiM – A Semantic Wiki for Mathematical Knowledge Management
SWiM – A Semantic Wiki for Mathematical Knowledge Management (Poster)
SWiM – A Semantic Wiki for Mathematical Knowledge Management (Slides)
Towards a Distributed Database for OMDoc
Towards a Semantic Wiki for Science
Towards Community of Practice Support for Interactive Mathematical Authoring
Towards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change
Towards the Identification and Support of scientific Communities of Practice
Software

Krextor
Locutor
Locutor - ontology driven management of change
panta rhei
panta rhei - an interactive collaborative community reader
sTeX: Semantically Enhanced TeX
SWiM
Case Studies

A JEM Case Study on the Potential of Semantic Markup for the Use of Context in Mathematical eLearning
Revising the OpenMath 3 Content Dictionaries with SWiM


  • 4013 lectures
  • Version imprimable