Travelled to:1 × Denmark
1 × USA
Collaborated with:M.Jamnik M.Kerber V.Sorge A.M.Cohen S.H.Murray J.H.Siekmann C.Benzmüller V.Brezhnev L.Cheikhrouhou A.Fiedler A.Franke H.Horacek M.Kohlhase A.Meier E.Melis M.Moschner I.Normann C.Ullrich C.Wirth J.Zimmer
Talks about:omega (2) descript (1) problem (1) develop (1) certifi (1) system (1) permut (1) solut (1) proof (1) matic (1)
Person: Martin Pollet
DBLP: Pollet:Martin
Contributed to:
20032002Wrote 3 papers:
- CADE-2003-CohenMPS #permutation #problem
- Certifying Solutions to Permutation Group Problems (AMC, SHM, MP, VS), pp. 258–273.
- CADE-2002-JamnikKP
- Learn Omega-matic: System Description (MJ, MK, MP), pp. 150–155.
- 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.