Travelled to:1 × Australia
1 × Denmark
Collaborated with:J.H.Siekmann C.Benzmüller A.Fiedler M.Kohlhase A.Meier E.Melis V.Sorge D.Fehrer X.Huang M.Kerber K.Konrad W.Schaarschmidt V.Brezhnev A.Franke H.Horacek M.Moschner I.Normann M.Pollet C.Ullrich C.Wirth J.Zimmer
Talks about:omega (2) mathemat (1) develop (1) toward (1) assist (1) proof (1)
Person: Lassaad Cheikhrouhou
DBLP: Cheikhrouhou:Lassaad
Contributed to:
20021997Wrote 2 papers:
- 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-1997-BenzmullerCFFHKKKMMSSS #named #towards
- Omega: Towards a Mathematical Assistant (CB, LC, DF, AF, XH, MK, MK, KK, AM, EM, WS, JHS, VS), pp. 252–255.