Martin Pollet

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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. Lecture Notes in Computer Science	2010-04-20	Paper
Mathematical Knowledge Management Lecture Notes in Computer Science	2007-02-12	Paper
Mathematical Knowledge Management Lecture Notes in Computer Science	2005-08-26	Paper
Mathematical Knowledge Management Lecture Notes in Computer Science	2005-08-26	Paper
scientific article; zbMATH DE number 2154400 (Why is no real title available?)	2005-04-09	Paper
scientific article; zbMATH DE number 2090295 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2090296 (Why is no real title available?)	2004-08-12	Paper
Automatic Learning of Proof Methods in Proof Planning Logic Journal of the IGPL	2004-05-27	Paper
scientific article; zbMATH DE number 2000435 (Why is no real title available?)	2003-11-03	Paper
scientific article; zbMATH DE number 1980938 (Why is no real title available?)	2003-09-15	Paper
Comparing approaches to the exploration of the domain of residue classes. Journal of Symbolic Computation	2003-08-21	Paper
scientific article; zbMATH DE number 1954188 (Why is no real title available?)	2003-07-28	Paper

Research outcomes over time

This page was built for person: Martin Pollet