Martin Pollet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2002–2003
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | CADE | Certifying Solutions to Permutation Group Problems. | Arjeh M. Cohen, Scott H. Murray, Martin Pollet, Volker Sorge |
| 2002 | CADE | Learn Omega-matic: System Description. | Mateja Jamnik, Manfred Kerber, Martin Pollet |
| 2002 | CADE | Proof Development with OMEGA. | Jrg H. Siekmann, Christoph Benzmller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jrgen Zimmer |
| 2002 | ECAI | Automatic Learning in Proof Planning. | Mateja Jamnik, Manfred Kerber, Martin Pollet |
| 2002 | LPAR | Proof Development with Omega-MEGA: sqrt(2) Is Irrational. | Jrg H. Siekmann, Christoph Benzmller, Armin Fiedler, Andreas Meier, Martin Pollet |