编辑配置文件（在新选项卡中打开） Max W·哈斯贝克。 合著者距离 作者ID： 挂钩.max-w 发布日期： Max W·哈斯贝克。 已编制索引的文档： 5出版物自2018年起 合著者： 7合著者具有5联合出版物 166位合作作者 全部的 前5名合著者 0 单作者的 三 拉尔夫·克里斯蒂安 三 雷内·蒂曼 2 曼纽尔·埃贝尔 2 托比亚斯·尼普科 1 何塞·迪瓦松 1 Joosten，Sebastian J.C。 1 Akihisa山田 系列 2 自动推理杂志 领域 5 计算机科学（68至XX） 1 数论（11-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用15中的次12文件 引用人▼ 年份▼ 随机二叉树结构的验证分析。 兹比尔1468.68288 曼纽尔·埃贝尔；Max W·哈斯贝克。；托比亚斯·尼普科 4 2018 验证了LLL基约简算法的有效实现。 兹比尔1409.68252 拉尔夫·波特什；Max W·哈斯贝克。；雷内·蒂曼 4 2018 在Isabelle/HOL中验证线性算法的增量理论解算器。 Zbl 1435.68362号 拉尔夫·波特什；Max W·哈斯贝克。；雷内·蒂曼 4 2019 随机二叉树结构的验证分析。 Zbl 1468.68289号 曼纽尔·埃贝尔；Max W·哈斯贝克。；托比亚斯·尼普科 三 2020 随机二叉树结构的验证分析。 Zbl 1468.68289号 曼纽尔·埃贝尔；Max W·哈斯贝克。；托比亚斯·尼普科 三 2020 在Isabelle/HOL中验证线性算法的增量理论解算器。 Zbl 1435.68362号 拉尔夫·波特什；Max W·哈斯贝克。；雷内·蒂曼 4 2019 随机二叉树结构的验证分析。 Zbl 1468.68288号 曼纽尔·埃贝尔；Max W·哈斯贝克。；托比亚斯·尼普科 4 2018 验证了LLL基约简算法的有效实现。 兹比尔1409.68252 拉尔夫·波特什；Max W·哈斯贝克。；雷内·蒂曼 4 2018 所有引用出版物 前5名被引用出版物 全部的 前5名23位作者引用 三 何塞·迪瓦松 三 托比亚斯·尼普科 三 雷内·蒂曼 2 泽维尔·阿拉米吉恩 2 罗宾·Eßmann 2 Max W·哈斯贝克。 2 Joosten，Sebastian J.C。 2 卡茨，里卡多·大卫 2 西蒙·罗比拉德 2 Pierre-Yves支柱 2 Akihisa山田 1 拉尔夫·克里斯蒂安 1 曼纽尔·埃贝尔 1 吉登·恩斯特 1 奥菲克·吉拉 1 迈克尔·杜鲁门·古德里奇 1 Cezary卡利西克 1 洛伦茨，Leutgeb 1 乔治·莫瑟 1 Pąk，卡罗尔 1 乌伊坎苏莱曼尼 1 罗伯特·恩德雷·塔尔扬 1 弗洛里安·祖勒格 2篇连载文章中引用 5 自动推理杂志 2 计算机科学中的逻辑方法 全部的 前5名在6个字段中引用 12 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 2 交换代数（13-XX） 1 数论（11-XX） 1 场论和多项式（12-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 按年份列出的引文