Travelled to:1 × Denmark
1 × USA
Collaborated with:M.Kohlhase S.Autexier J.H.Siekmann C.Benzmüller V.Brezhnev L.Cheikhrouhou A.Fiedler A.Franke H.Horacek A.Meier E.Melis M.Moschner I.Normann M.Pollet V.Sorge C.Ullrich C.Wirth
Talks about:system (2) reason (2) math (2) web (2) distribut (1) mathemat (1) descript (1) softwar (1) develop (1) servic (1)
Person: Jürgen Zimmer
DBLP: Zimmer:J=uuml=rgen
Contributed to:
2006
2002Wrote 3 papers:
- IJCAR-2006-ZimmerA #reasoning #semantics #web
- The MathServe System for Semantic Web Reasoning Services (JZ, SA), pp. 140–144.
- CADE-2002-SiekmannBBCFFHKMMMNPSUWZ #development #proving
- Proof Development with OMEGA (JHS, CB, VB, LC, AF, AF, HH, MK, AM, EM, MM, IN, MP, VS, CU, CPW, JZ), pp. 144–149.
- CADE-2002-ZimmerK #distributed #reasoning
- System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning (JZ, MK), pp. 139–143.