香车叶草 swMATH编号： 19568 软件作者： 托马斯·希伦布兰德；伯恩德·洛什内尔 描述： Waldmeister是单位等式逻辑的定理证明者。其证明程序是可靠的Knuth-Bendix完井[BDP89]。Waldmeister的主要优势是，在时间和空间方面都达到了效率。在该范围内，将在运行时构造完整的证明对象。阅读有关实现的更多信息。 主页： http://www.waldmeister.org/ 相关软件： VAMPIRE公司;TPTP公司;E定理证明器;水獭;SPASS公司;校准仪9;iProver（iProver）;梅斯4;伊莎贝尔/HOL;折扣;布利克塞姆;SETHEO公司;Nuprl公司;伊莎贝尔;Twee（推特）;HOL公司;z3（零3）;测试程序集;拦污栅;萨奇莫 引用于： 50文件 其他出版物： http://www.waldmeister.org/references.htm 标准条款 3出版物描述软件，包括3出版物以zbMATH为单位 年份 Citius altius fortius：从定理证明者Waldmeister中学到的教训。 Zbl 1261.68101号托马斯·希伦布兰德 2003 WALDMEISTER植物志。 Zbl 1021.68083号伯恩德·洛什内尔;托马斯·希伦布兰德 2002 下一个WALDMEISTER循环。 Zbl 1072.68576号托马斯·希伦布兰德;伯恩德·洛什内尔 2002 全部的 前5名84位作者引用 5 伯恩德·洛什内尔 4 托马斯·希伦布兰德 4 谢克曼，Jörg H。 4 安德烈·沃伦科夫 三 克里斯托夫·埃瓦尔德·本兹穆勒 三 贾斯敏·克里斯蒂安·布兰切特 三 迈克尔·基扬（Michael K.Kinyon）。 三 萨特克利夫，杰夫 2 玛丽亚·保拉（Maria Paola Bonacina） 2 安德烈·杜阿尔特 2 西蒙·福斯特 2 彼得·赫夫纳 2 康斯坦丁·科洛文 2 科瓦奇，劳拉·伊尔迪科 2 特默尔库西亚 2 安德烈亚斯·梅耶 2 艾丽卡·梅利斯 2 伯恩哈德·莫勒 2 大卫·艾伦（David Alan），Plaisted 2 亚历山大·里亚扎诺夫 2 西蒙·罗比拉德 2 斯蒂芬·舒尔茨 2 乔治·斯特鲁斯 2 索菲·托雷特 2 约瑟夫·乌尔班 2 乌韦·沃尔德曼 1 乔昂·阿劳乔 1 阿拉斯代尔·阿姆斯特朗 1 谢尔盖·奥特西尔 1 于尔根阿文豪斯 1 迈克尔·J·比森。 1 本赛义德，希查姆 1 Böhme，萨沙 1 布赫伯格，布鲁诺 1 纪尧姆·伯勒 1 里卡多·卡费拉 1 卡雷尔·奇瓦洛夫斯克 1 科恩·克莱森 1 阿德里安·克雷西恩 1 西蒙·克鲁恩斯 1 英戈·达恩 1 Dang，Han-Hing（韩红） 1 朱尔斯·德沙奈斯 1 马丁·德沙奈斯 1 马蒂亚斯·弗勒里 1 查拉图斯特拉·阿马德乌斯·戈泽尔 1 汤姆·M·海斯克斯。 1 Jakubův，简 1 米科拉什·亚诺塔 1 都铎Jebelean 1 正仁Kurihara 1 塔德乌兹·利塔克 1 马尔滕·马克思 1 约翰·克里斯托弗（John Christopher McCabe-Dansted） 1 阿尔特·米德尔多普 1 斯瓦哈·米勒 1 马丁·莫尔曼 1 乔治·莫瑟 1 中川，Koji 1 米罗斯拉夫·奥沙克 1 尼古拉斯·佩尔蒂埃 1 Jelle Piepenbrock 1 弗洛里娜·皮罗伊 1 尼古拉·波波夫 1 马克·亚历山大·雷诺兹 1 伊夫·罗伯特 1 朱迪特·罗布 1 马库斯·罗森克兰兹 1 圣托卡纳莱，路易吉 1 佐藤春彦 1 尼古拉斯·斯莫尔博内 1 斯莫尔卡、斯蒂芬·朱尔夫 1 沃尔克·索尔格 1 马修·斯宾克斯 1 艾伯特·斯特克迈尔 1 阿伦·斯塔姆 1 十个Cate，Balder David 1 罗伯特·弗罗夫 1 劳伦·维格纳龙 1 沃尔夫冈·温斯特伊格 1 莎拉·温克勒 1 克劳斯·皮特·沃思 1 詹姆斯·C·P·伍德科克。 1 赫克托·泽尼尔 全部的 前5名15篇连载文章中引用 7 自动推理杂志 4 应用逻辑杂志 2 人工智能 2 符号计算杂志 2 人工智能通信 1 信息处理信件 1 计算机程序设计科学 1 信息与计算 1 IGPL逻辑杂志 1 逻辑与代数程序设计杂志 1 葡萄牙数学。Nova Série公司 1 计算机科学课堂讲稿 1 理论计算机科学电子笔记 1 程序设计中的逻辑和代数方法杂志 1 伦敦皇家学会哲学学报。A.数学、物理和工程科学 全部的 前5名在9个字段中引用 48 计算机科学（68至XX） 17 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 2 群论与推广（20-XX） 1 历史和传记（01-XX） 1 阶、格、有序代数结构（06-XX） 1 一般代数系统（08-XX） 1 交换代数（13-XX） 1 结合环与代数（16-XX） 按年份列出的引文