编辑配置文件(在新选项卡中打开) 本杰明·沃纳 合著者距离 作者ID: 沃纳·本杰明 发布日期: 本杰明·沃纳 已编制索引的文档: 32出版物自1971年以来,包括1个附加arXiv预打印 1名编辑贡献 合著者: 16位合著者具有16联合出版物 480位合作作者 全部的 前5名合著者 12 单作者的 4 泽维尔·阿拉米根 4 圣埃芬·高伯特 4 维克托·马格伦 3 Gilles Dowek 2 本杰明·格雷戈里 2 香塔尔·凯勒 2 克里斯汀·保林·莫林 2 Laurent Théry 1 马丁·阿巴迪 1 米歇尔·阿尔芒 1 德国福雷 1 Jean-Christophe Filliátre 1 弗朗索瓦·加里洛 1 乔治·戈蒂尔 1 Lee,Gyesik先生 1 亚历山大·米克尔 1 约翰·穆尼(John W.Mooney)。 1 杰拉尔德·摩尔 1 阿拉斯泰尔·斯彭斯 全部的 前5名系列 2 IMA数值分析杂志 2 Zeitschrift für Angewandte Mathematik und Mechanik(ZAMM) 2 计算机科学中的逻辑方法 1 理性力学和分析档案 1 计算 1 符号逻辑杂志 1 数值数学 1 SIAM数值分析杂志 1 符号计算杂志 1 线性代数及应用 1 数学编程。A系列B系列 1 计算机科学课堂讲稿 1 形式化推理期刊 全部的 前5名领域 12 计算机科学(68至XX) 11 数学逻辑和基础(03-XX) 10 数值分析(65-XX) 7 算子理论(47-XX) 3 常微分方程(34-XX) 3 偏微分方程(35-XX) 3 运筹学、数学规划(90-XX) 2 数论(11-XX) 1 总体主题;集合(00-XX) 1 代数几何(14-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 动力系统和遍历理论(37至XX) 1 近似值和展开值(41至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 27出版物有被引用133中的次112文件 引用人▼ 年份▼ 对称破缺分岔点的计算。 Zbl 0554.65045号 B.沃纳。;A.斯彭斯。 80 1984 非简单的转折点和尖端。 Zbl 0539.65043号 A.斯彭斯。;B.沃纳。 36 1982 SAT/SMT解算器通过证据证人与Coq的模块化集成。 Zbl 1350.68223号 迈克尔·阿尔芒;德国福雷;本杰明·格雷戈里;香塔尔·凯勒;Laurent Théry;本杰明·沃纳 21 2011 集合在类型中,类型在集合中。 Zbl 0885.03017号 本杰明·沃纳 18 1997 将HOL灯导入Coq。 Zbl 1291.68353号 香塔尔·凯勒;本杰明·沃纳 18 2010 证明标准化模。 Zbl 1059.03062号 Gilles Dowek;本杰明·沃纳 17 2003 Das Spektrum von Operatorscharen的平均Rayleighquotient en。 兹伯利0218.47019 B.沃纳。 15 1971 作为理论模数的算术。 Zbl 1078.03046号 Gilles Dowek;本杰明·沃纳 11 2005 非线性优化的形式化证明。 Zbl 1451.90131号 维克托·马格伦;泽维尔·阿拉米根;圣埃芬·高伯特;本杰明·沃纳 9 2015 系统Coq中ML程序的合成。 Zbl 0804.68132号 克里斯汀·保林·莫林;本杰明·沃纳 8 1993 CC的不那么简单的证明相关模型。 兹比尔1023.03024 亚历山大·米克尔;本杰明·沃纳 6 2003 类型理论中Pocklington证书的计算方法。 Zbl 1185.68621号 本杰明·格雷戈里;Laurent Théry;本杰明·沃纳 5 2006 非线性函数界的证明:模板法。 Zbl 1390.68570号 泽维尔·阿拉米根;圣埃芬·高伯特;维克托·马格伦;本杰明·沃纳 4 2013 具有群对称性和分支的特征值问题。 Zbl 0714.34123号 沃纳,B。 4 1990 Min-Max-Prinziien für nichtlinear auftretende Eigenwerte bei klassischen und natürlichen Randeigenwert问题。 Zbl 0258.34023号 B.沃纳。 3 1972 类型理论中的简单类型:深度和浅层编码。 Zbl 1144.68355号 弗朗索瓦·加里洛;本杰明·沃纳 3 2007 临界参数界对牛顿序列单调性的依赖性。 Zbl 0402.65037号 J.W.穆尼。;沃斯,H。;B.沃纳。 3 1979 动态链接的选择。 Zbl 1126.03311号 马丁·阿巴迪;乔治·戈蒂尔;本杰明·沃纳 3 2004 具有预测归纳和判断平等性的CC相关证明模型。 Zbl 1237.03008号 Lee,Gyesik先生;本杰明·沃纳 3 2011 证明标准化模。 Zbl 0944.03052号 Gilles Dowek;本杰明·沃纳 2 1999 关于证明相关类型理论的强度。 Zbl 1151.03317号 本杰明·沃纳 2 2008 关于证明相关类型理论的强度。 Zbl 1222.03019号 本杰明·沃纳 2 2006 Einschließung des positiven Eigenvektors einer nichtnegagen,inreduziblen矩阵。 兹伯利0268.15011 B.沃纳。 1 1973 正解分支的转折点。 Zbl 0454.65041号 B.沃纳。 1 1980 Optimale Schranken für Eigenelemente selbst调节器操作员在Hilbertraumnorm。 Zbl 0303.65053号 B.沃纳。 1 1974 实不等式的证明:模板和平方和。 兹比尔1328.90101 维克托·马格伦;泽维尔·阿拉米根;圣埃芬·高伯特;本杰明·沃纳 1 2015 算子逼近与对称破缺分岔。 Zbl 0621.65055号 G·摩尔。;A.斯彭斯。;B.沃纳。 1 1986 非线性优化的形式化证明。 Zbl 1451.90131号 维克托·马格伦;泽维尔·阿拉米根;圣埃芬·高伯特;本杰明·沃纳 9 2015 真实不平等的证明:模板和平方和。 Zbl 1328.90101号 维克托·马格伦;泽维尔·阿拉米根;圣埃芬·高伯特;本杰明·沃纳 1 2015 非线性函数界的证明:模板法。 Zbl 1390.68570号 泽维尔·阿拉米根;圣埃芬·高伯特;维克托·马格伦;本杰明·沃纳 4 2013 SAT/SMT解算器通过证据证人与Coq的模块化集成。 Zbl 1350.68223号 迈克尔·阿尔芒;德国福雷;本杰明·格雷戈里;香塔尔·凯勒;Laurent Théry;本杰明·沃纳 21 2011 具有预测归纳和判断平等性的CC相关证明模型。 Zbl 1237.03008号 Lee,Gyesik先生;本杰明·沃纳 3 2011 将HOL灯导入Coq。 Zbl 1291.68353号 香塔尔·凯勒;本杰明·沃纳 18 2010 关于证明相关类型理论的强度。 Zbl 1151.03317号 本杰明·沃纳 2 2008 类型理论中的简单类型:深度和浅层编码。 Zbl 1144.68355号 弗朗索瓦·加里洛;本杰明·沃纳 3 2007 类型理论中Pocklington证书的计算方法。 Zbl 1185.68621号 本杰明·格雷戈里;Laurent Théry;本杰明·沃纳 5 2006 关于证明相关类型理论的强度。 Zbl 1222.03019号 本杰明·沃纳 2 2006 作为理论模数的算术。 Zbl 1078.03046号 Gilles Dowek;本杰明·沃纳 11 2005 动态链接的选择。 兹比尔1126.03311 马丁·阿巴迪;乔治·戈蒂尔;本杰明·沃纳 3 2004 证明标准化模。 Zbl 1059.03062号 Gilles Dowek;本杰明·沃纳 17 2003 CC的不那么简单的证明相关模型。 Zbl 1023.03024号 亚历山大·米克尔;本杰明·沃纳 6 2003 证明标准化模。 Zbl 0944.03052号 Gilles Dowek;本杰明·沃纳 2 1999 集合在类型中,类型在集合中。 Zbl 0885.03017号 本杰明·沃纳 18 1997 系统Coq.中ML程序的合成。 Zbl 0804.68132号 克里斯汀·保林·莫林;本杰明·沃纳 8 1993 具有群对称性和分支的特征值问题。 Zbl 0714.34123号 B.沃纳。 4 1990 算子逼近与对称破缺分岔。 Zbl 0621.65055号 G·摩尔。;Spence,A。;B.沃纳。 1 1986 对称破缺分岔点的计算。 Zbl 0554.65045号 B.沃纳。;A.斯彭斯。 80 1984 非简单的转折点和尖端。 Zbl 0539.65043号 A.斯彭斯。;B.沃纳。 36 1982 正解分支的转折点。 Zbl 0454.65041号 B.沃纳。 1 1980 临界参数界对牛顿序列单调性的依赖性。 Zbl 0402.65037号 J.W.穆尼。;沃斯,H。;B.沃纳。 3 1979 Optimale Schranken für Eigenelemente selbst调节器操作员在Hilbertraumnorm。 Zbl 0303.65053号 B.沃纳。 1 1974 Einschließung des positiven Eigenvektors einer nichtnegagen,inreduziblen矩阵。 Zbl 0268.15011号 沃纳,B。 1 1973 Min-Max-Prinziien für nichtlinear auftretende Eigenwerte bei klassischen und natürlichen Randeigenwert问题。 Zbl 0258.34023号 B.沃纳。 3 1972 Das Spektrum von Operatorscharen的平均Rayleighquotient en。 Zbl 0218.47019号 B.沃纳。 15 1971 所有引用出版物 前5名被引用出版物 全部的 前5名194位作者引用 8 Gilles Dowek 8 弗洛里安·拉贝 6 塞萨里·卡利西克 5 纪尧姆·伯勒 5 奥利维尔·赫曼特 5 多米尼克·柯斯特 5 迈克尔·科尔哈斯 5 维克托·马格伦 4 米盖尔·帕加诺 3 泽维尔·阿拉米根 3 贾斯敏·克里斯蒂安·布兰切特 3 马蒂亚斯·弗勒里 3 Thibault Gauthier 3 多米尼克·拉切·温德林(Dominique Larchey-Wendling) 3 纪尧姆·梅尔金德 2 哈尼尔·巴博萨 2 乌尔里希·伯杰 2 弗雷德里克·布兰基 2 Böhme,萨沙 2 拉斐尔·考德利埃 2 库卡斯·扎伊卡 2 亚历杭德罗·迪亚斯·卡洛 2 圣埃芬·高伯特 2 伊曼纽尔·冈瑟 2 科莱门·霍特曼 2 贾尼契奇,普雷德拉格 2 克洛德·基什内尔 2 埃里克·马丁·多雷尔 2 穆勒,丹尼斯 2 亚当·纳莫维奇 2 劳伦斯·查尔斯·保尔森 2 安德鲁·雷诺兹 2 克劳迪奥·萨塞尔多蒂·科恩 2 佩德罗·桑切斯·特拉夫 2 格特·斯莫尔卡 2 塞萨尔·蒂内利 2 马卡里乌斯·温泽尔 2 本杰明·沃纳 1 安德烈亚斯·阿贝尔(Andreas M.Abel)。 1 马克·艾吉尔 1 安德烈亚·阿斯佩蒂 1 阿伊尔迪兹·阿科格鲁,图莱 1 布鲁诺·巴拉斯 1 克拉克·W·巴雷特。 1 杰斯珀·本特森 1 斯特凡诺·贝拉尔迪 1 斯特凡·贝尔霍费尔 1 布鲁诺·伯纳多 1 纪尧姆·贝托伦 1 伊夫·贝托特 1 弗雷德里克·贝松 1 马克·贝泽姆 1 扬·奥拉夫·布莱奇 1 西蒙·布利兹 1 西尔维·博尔多 1 玛丽亚·保拉(Maria Paola Bonacina) 1 纳撒尼尔·博斯 1 威廉·鲍曼。 1 托马斯·布雷班特 1 布鲁内尔,阿洛伊斯 1 纪尧姆·伯里 1 凯文·巴扎德 1 Chan,Jonathan Cheung-Wai先生 1 斯特吉奥斯·查齐基里亚基迪斯 1 程金三 1 扎卡里亚·奇哈尼 1 弗朗索瓦·克莱门特 1 可口、蒂埃里 1 皮埃尔·埃曼纽·科尼勒奥 1 莱昂纳多·德·莫拉 1 丹尼尔·德·劳格劳德雷 1 大卫·德拉海耶 1 邓玉欣 1 马丁·德沙奈斯 1 布鲁诺,德斯佩雷斯 1 窦、小杰 1 索菲亚·克洛伊·德罗索波卢 1 凯瑟琳·杜布瓦 1 苏珊·艾森巴赫 1 Jean-Christophe Filliátre 1 查尔斯·菲舍尔(Charles N.Fischer)。 1 帕斯卡·方丹 1 丹尼尔·弗里德兰德 1 迈克尔·加巴伊(Michael J.Gabbay)。 1 皮埃尔·洛伊奇·卡洛什 1 雅克·加里格 1 简·赫尔曼·杰弗斯 1 圣菲省格拉汉·伦格兰德 1 本杰明·格雷戈里 1 艾米丽·格里恩伯格 1 莉安娜·哈达伦 1 皮埃尔·哈尔马格兰德 1 韩,杰西·迈克尔 1 塞雷塞·哈丁 1 乔纳森·霍恩斯坦。 1 Susumu Hayashi 1 迪迪埃·亨利昂 1 马克·赫尔墨斯 1 Heule,Marijn J.H。 1 加布里埃尔·洪德特 …还有94位作者 全部的 前5名引用于23个系列 19 自动推理杂志 5 骨髓间充质干细胞。计算机科学中的数学结构 4 符号计算杂志 3 理论计算机科学 3 计算机科学中的逻辑方法 3 形式化推理期刊 2 纯逻辑与应用逻辑年鉴 2 信息与计算 2 系统设计中的形式化方法 2 函数编程杂志 1 信息学报 1 圣母院形式逻辑期刊 1 SIAM控制与优化杂志 1 Studia Logica公司 1 计算的形式方面 1 数值算法 1 数学逻辑档案 1 数学编程。A系列B系列 1 Indagationes Mathematicae公司。新系列 1 萨达纳 1 泛逻辑 1 中国计算机科学前沿 1 数学 全部的 前5名17个字段中引用 88 计算机科学(68至XX) 44 数学逻辑和基础(03-XX) 6 数值分析(65-XX) 5 运筹学、数学规划(90-XX) 2 数论(11-XX) 2 场论和多项式(12-XX) 2 代数几何(14-XX) 2 近似值和展开值(41至XX) 1 历史和传记(01-XX) 1 交换代数(13-XX) 1 范畴理论;同调代数(18-XX) 1 特殊功能(33至XX) 1 偏微分方程(35-XX) 1 变分法与最优控制;最优化(49至XX) 1 凸和离散几何(52至XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的引文