Martin Pollet
From MaRDI portal
Person:1404426
Available identifiers
zbMath Open pollet.martinMaRDI QIDQ1404426
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| https://portal.mardi4nfdi.de/entity/Q2852043 | 2013-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2852045 | 2013-10-07 | Paper |
| Automated Deduction – CADE-19 | 2010-04-20 | Paper |
| Mathematical Knowledge Management | 2007-02-12 | Paper |
| Mathematical Knowledge Management | 2005-08-26 | Paper |
| Mathematical Knowledge Management | 2005-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4664927 | 2005-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809051 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809052 | 2004-08-12 | Paper |
| Automatic Learning of Proof Methods in Proof Planning | 2004-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4433981 | 2003-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428312 | 2003-09-15 | Paper |
| Comparing approaches to the exploration of the domain of residue classes. | 2003-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415224 | 2003-07-28 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Martin Pollet
