Developers of semantic web technologies for the representation of mathematics (T)

Version imprimable
  • user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT COUNT(sid) AS count FROM sessions WHERE timestamp >= 1231494154 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 >= 1231494154 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

Founding Member

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.

URL: 
http://kwarc.info
Site leader: 
kohlhase
Acronyme: 
JACU
rôles: 
developers of semantic web technologies for mathematics (T)