BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Pollet:Martin

Contributed to:

CADE 20032003
CADE 20022002

Wrote 3 papers:

CADE-2003-CohenMPS #permutation #problem
Certifying Solutions to Permutation Group Problems (AMC, SHM, MP, VS), pp. 258–273.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.