×
作者ID: 希伦布兰德·托马斯“Hillenbrand,Thomas”最近发表的zbMATH文章
发布日期: 托马斯·希伦布兰德;希伦布兰德,Th。
已编制索引的文档: 11出版物自2001年起
合著者: 16位合著者具有10联合出版物
250位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

11出版物有被引用97中的次81文件 引用人 年份
系统描述:Spass 3.0版。 Zbl 1213.68577号
克里斯托夫·韦登巴赫;雷娜特·施密特(Renate A.Schmidt)。;托马斯·希伦布兰德;罗斯蒂斯拉夫·鲁塞夫;主题,Dalibor
28
2007
SPASS 2.0版。 兹比尔1072.68596
克里斯托夫·韦登巴赫;乌韦·勃拉姆;托马斯·希伦布兰德;基恩,恩诺;克里斯蒂安·西奥博尔德;达利博尔·托皮奇
18
2002
关于定理证明索引技术的评价。 Zbl 0988.68595号
罗伯特·纽文胡斯;托马斯·希伦布兰德;亚历山大·里亚扎诺夫;安德烈·沃伦科夫
8
2001
WALDMEISTER植物志。 Zbl 1021.68083号
伯恩德·洛什内尔;托马斯·希伦布兰德
8
2002
关于在方程定理证明中使用可接地方程。 Zbl 1019.03005号
J·阿文豪斯。;Th.希伦布兰德。;Löchner,B。
8
2003
下一个WALDMEISTER循环。 Zbl 1072.68576号
托马斯·希伦布兰德;伯恩德·洛什内尔
7
2002
有界域的叠加。 Zbl 1383.03018号
托马斯·希伦布兰德;克里斯托夫·韦登巴赫
7
2013
从搜索到计算:工作中的冗余标准和简化。 Zbl 1383.68076号
托马斯·希伦布兰德;鲁齐卡皮斯卡;乌韦·沃尔德曼;克里斯托夫·韦登巴赫
4
2013
Citius altius fortius:从定理证明者Waldmeister中学到的教训。 Zbl 1261.68101号
托马斯·希伦布兰德
4
2003
叠加模是肖斯塔克理论。 Zbl 1278.68260号
哈拉尔德·甘辛格;托马斯·希伦布兰德;乌韦·沃尔德曼
2003
扩展了一阶原子定义。 Zbl 1275.68125号
阿夫肖德尔,比扬;托马斯·希伦布兰德;克里斯托夫·韦登巴赫
2
2001
有界域的叠加。 Zbl 1383.03018号
托马斯·希伦布兰德;克里斯托夫·韦登巴赫
7
2013
从搜索到计算:工作中的冗余标准和简化。 Zbl 1383.68076号
托马斯·希伦布兰德;鲁齐卡皮斯卡;乌韦·沃尔德曼;克里斯托夫·韦登巴赫
4
2013
系统描述:Spass 3.0版。 Zbl 1213.68577号
克里斯托夫·韦登巴赫;雷娜特·施密特(Renate A.Schmidt)。;托马斯·希伦布兰德;罗斯季斯拉夫·鲁塞夫;主题,Dalibor
28
2007
关于在等式定理证明中使用地面可连接方程。 Zbl 1019.03005号
J·阿文豪斯。;Th.希伦布兰德。;Löchner,B。
8
2003
Citius altius fortius:从定理证明者Waldmeister中学到的教训。 Zbl 1261.68101号
托马斯·希伦布兰德
4
2003
叠加模是肖斯塔克理论。 Zbl 1278.68260号
哈拉尔德·甘辛格;托马斯·希伦布兰德;乌韦·沃尔德曼
2003
SPASS 2.0版。 Zbl 1072.68596号
克里斯托夫·韦登巴赫;乌韦·勃拉姆;托马斯·希伦布兰德;恩诺·基恩;克里斯蒂安·西奥博尔德;达利博尔·托皮奇
18
2002
WALDMEISTER的植物志。 Zbl 1021.68083号
伯恩德·洛什内尔;托马斯·希伦布兰德
8
2002
下一个WALDMEISTER循环。 Zbl 1072.68576号
托马斯·希伦布兰德;伯恩德·洛什内尔
7
2002
关于定理证明索引技术的评价。 Zbl 0988.68595号
罗伯特·纽文胡斯;托马斯·希伦布兰德;亚历山大·里亚扎诺夫;安德烈·沃伦科夫
8
2001
扩展了一阶原子定义。 Zbl 1275.68125号
阿夫肖德尔,比扬;托马斯·希伦布兰德;克里斯托夫·韦登巴赫
2
2001
全部的 前5名

125位作者引用

8 克里斯托夫·韦登巴赫
6 安德烈·沃伦科夫
6 乌韦·沃尔德曼
5 雷娜特·施密特(Renate A.Schmidt)。
5 杰夫·萨特克利夫
5 索菲·托雷特
4 彼得·鲍姆加特纳
4 乌尔里希·赫斯塔特
4 科瓦奇,劳拉·伊尔迪科
4 格奥尔格·斯特鲁思
克里斯托夫·埃瓦尔德·本兹穆勒
克莱尔·迪克森
安德烈·杜阿尔特
康斯坦丁·科洛文
泰斯,弗兰克
约瑟夫·乌尔班
莎拉·温克勒
2 贾斯敏·克里斯蒂安·布兰切特
2 玛丽亚·保拉(Maria Paola Bonacina)
2 马丁·布隆伯格
2 乔达里,Dipak L。
2 科恩·克莱森
2 Om P.达马尼。
2 阿诺德·菲埃茨克
2 托马斯·希伦布兰德
2 彼得·霍夫纳
2 安·利利斯特罗姆
2 伯恩德·洛什内尔
2 米歇尔·路德维希
2 劳伦斯·查尔斯·保尔森
2 佩尔泽,比约恩
2 亚历山大·里亚扎诺夫
2 西蒙·罗比拉德
2 斯蒂芬·舒尔茨
2 张,兰
1 加博尔·阿拉吉
1 卡洛斯·阿雷塞斯
1 杰里米·阿维加德
1 格拉泽戈兹·班塞雷克
1 迈克尔·比森。
1 亚历山大·本特坎普
1 尼古拉·S·比约纳。
1 乍得·布朗·爱德华
1 曹、冯
1 陈树伟
1 卡雷尔·奇瓦洛夫斯克
1 西蒙·科尔顿
1 Sylvain Conchon公司
1 安德鲁·克洛珀
1 莱昂纳多·德·莫拉
1 爱德华·T·迪安。
1 朱尔斯·德沙奈斯
1 多米尼克·迪特里希
1 Irina德拉戈斯特
1 弗朗西斯科·杜兰
1 瑞克·埃尔肯斯
1 拉沙·法奎
1 克里斯托夫·费泽尔
1 阿尔贝托·菲奥里
1 乌尔里希·富巴赫
1 格雷斯,伯恩哈德
1 查拉图斯特拉·阿马德乌斯·戈泽尔
1 丹尼尔·戈林
1 让·古鲍特·拉雷克
1 Jan Friso,格鲁特
1 法贾尔·海法尼
1 汤姆·M·海斯克斯。
1 霍德、克里什托夫
1 黄珊珊
1 Jakubův,简
1 菲利普·詹姆斯
1 米科拉什·亚诺塔
1 Jean-Pierre Jouannaud
1 迪帕克·卡普尔
1 曼弗雷德·科伯
1 迈克尔·基扬(Michael K.Kinyon)。
1 迈克尔·科尔哈斯
1 帕特里克·科普曼
1 科特尔·尼科夫(Evgeny A.Kotel’nikov)。
1 马库斯·科洛奇
1 萨瓦·A·克里斯蒂。
1 赵磊
1 洛伦兹·勒特盖布
1 刘军
1 亚历山大·利亚列茨基。
1 罗伊·麦卡斯兰德。
1 安德烈亚斯·梅耶
1 何塞·梅塞盖尔·瓜伊塔
1 阿尔特·米德尔多普
1 马丁·莫尔曼
1 乔治·莫瑟
1 约翰·穆玛
1 罗伯特·纽文胡斯
1 Nummelin,维萨卡
1 米罗斯拉夫·奥沙克
1 安德烈·帕斯科维奇
1 杰勒·皮彭布罗克
1 鲁齐卡皮斯卡
1 尤里·普齐斯
1 雅各布·拉特
…还有25位作者

按年份列出的引文