×
作者ID: pollet.martin公司最近由“Pollet,Martin”撰写的zbMATH文章
发布日期: 马丁·波莱特;Pollet,M。
已编制索引的文档: 14出版物自2001年起
合著者: 21位合著者具有14份联合出版物
401合著作者

按年份列出的出版物

zbMATH Open中包含的引文

11出版物有被引用35中的次28文件 引用人 年份
用\(\Omega\)MEGA验证开发:\(\sqrt 2)的不合理性。 Zbl 1063.68093号
约格·西克曼;克里斯托夫·本兹穆勒;阿明·菲德勒;安德烈亚斯·梅耶;伊曼纽尔·诺曼;马丁·波莱特
7
2003
使用\(\Omega\)MEGA验证开发。 Zbl 1072.68591号
约格·西克曼;克里斯托夫·本兹穆勒;弗拉基米尔·勃列日涅夫;Lassaad Cheikhrouhou;阿明·菲德勒;安德烈亚斯·弗兰克;赫尔穆特·霍拉切克;迈克尔·科尔哈斯;安德烈亚斯·梅耶;艾丽卡·梅利斯;马库斯·莫什内尔;伊曼纽尔·诺曼;马丁·波莱特;沃尔克·索尔格;卡斯滕·乌尔里奇;克劳斯·皮特·沃思;尤根·齐默
7
2002
用\(\Omega\)MEGA:\(\sqrt{2}\)进行验证开发是不合理的。 Zbl 1023.68660号
J.西克曼。;Benzmüller,C。;A.菲德勒。;梅耶,A。;Pollet,M。
6
2002
比较剩余类领域的探索方法。 Zbl 1038.68110号
安德烈亚斯·梅耶;马丁·波莱特;沃尔克·索尔格
2002
证明规划中证明方法的自动学习。 Zbl 1042.03012号
马蒂亚·贾姆尼克;曼弗雷德·科伯;马丁·波莱特;克里斯托夫·本兹穆勒
2003
数学知识管理的难题。 Zbl 1151.68665号
曼弗雷德·科伯;马丁·波莱特
2
2006
直观和形式表示:矩阵的情况。 Zbl 1108.68600号
马丁·波莱特;沃尔克·索尔格;曼弗雷德·科伯
2
2004
验证置换群问题的解决方案。 Zbl 1278.68254号
阿杰·科恩;斯科特·默里。;马丁·波莱特;沃尔克·索尔格
2
2003
关于数学概念的设计。 Zbl 1032.68743号
曼弗雷德·科伯;马丁·波莱特
1
2002
同构剩余类的分类。 Zbl 1023.68883号
安德烈亚斯·梅耶;马丁·波莱特;沃尔克·索尔格
1
2001
学习\(\Omega\)matic:系统描述。 兹比尔1072.68579
马蒂亚·贾姆尼克;曼弗雷德·科伯;马丁·波莱特
1
2002
数学知识管理的难题。 Zbl 1151.68665号
曼弗雷德·科伯;马丁·波莱特
2
2006
直观和形式表示:矩阵的情况。 Zbl 1108.68600号
马丁·波莱特;沃尔克·索尔格;曼弗雷德·科伯
2
2004
用\(\Omega\)MEGA验证开发:\(\sqrt 2)的不合理性。 Zbl 1063.68093号
约格·西克曼;克里斯托夫·本兹穆勒;阿明·菲德勒;安德烈亚斯·梅耶;伊曼纽尔·诺曼;马丁·波莱特
7
2003
证明规划中证明方法的自动学习。 Zbl 1042.03012号
马蒂亚·贾姆尼克;曼弗雷德·科伯;马丁·波莱特;克里斯托夫·本兹穆勒
2003
验证置换群问题的解决方案。 Zbl 1278.68254号
阿杰·科恩;斯科特·默里。;马丁·波莱特;沃尔克·索尔格
2
2003
使用\(\Omega\)MEGA验证开发。 Zbl 1072.68591号
约格·西克曼;克里斯托夫·本兹穆勒;弗拉基米尔·勃列日涅夫;Lassaad Cheikhrouhou;阿明·菲德勒;安德烈亚斯·弗兰克;赫尔穆特·霍拉切克;迈克尔·科尔哈斯;安德烈亚斯·梅耶;艾丽卡·梅利斯;马库斯·莫什内尔;伊曼纽尔·诺曼;马丁·波莱特;沃尔克·索尔格;卡斯滕·乌尔里奇;克劳斯·皮特·沃思;尤根·齐默
7
2002
用\(\Omega\)MEGA:\(\sqrt{2}\)进行验证开发是不合理的。 Zbl 1023.68660号
J.西克曼。;Benzmüller,C。;A.菲德勒。;梅耶,A。;Pollet,M。
6
2002
比较剩余类领域的探索方法。 Zbl 1038.68110号
安德烈亚斯·梅耶;马丁·波莱特;沃尔克·索尔格
2002
关于数学概念的设计。 Zbl 1032.68743号
曼弗雷德·科伯;马丁·波莱特
1
2002
学习\(\Omega\)matic:系统描述。 Zbl 1072.68579号
马蒂亚·贾姆尼克;曼弗雷德·科伯;马丁·波莱特
1
2002
同构剩余类的分类。 Zbl 1023.68883号
安德烈亚斯·梅耶;马丁·波莱特;沃尔克·索尔格
1
2001

按年份列出的引文