Martin Pollet

Available identifiers

zbMath Open pollet.martinMaRDI QIDQ1404426

List of research outcomes

Publication	Date of Publication	Type
On the comparison of proof planning systems: \(\lambda\)\textsc{clam}, \(\Omega\)\textsc{mega} and \textsc{IsaPlanner}	2013-10-07	Paper
Connecting logical representations and efficient computations	2013-10-07	Paper
Certifying solutions to permutation group problems.	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

This page was built for person: Martin Pollet