编辑配置文件(在新选项卡中打开) 尼古拉斯·朱利安 合著者距离 作者ID: 朱利安·尼科拉斯 发布日期: 尼古拉斯·朱利安 已编制索引的文档: 3出版物自2003年起 合著者: 1名合著者具有1联合出版物 14位合作作者 合著者 1 单作者的 1 盖尔哈德,S。 1 爱荷华州帕什卡 系列 1 信号、图像和视频技术VLSI信号处理系统杂志 字段 三 计算机科学(68至XX) 1 数值分析(65-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用9中的次8文件 引用人▼ 年份▼ 在任意整数基中使用共归纳法证明精确实数算法。 Zbl 1137.68573号 尼古拉斯·朱利安 6 2008 使用牛顿方法进行精确计算的形式验证。 Zbl 1252.68258号 尼古拉斯·朱利安;爱荷华州Paşca 三 2009 使用牛顿方法对精确计算进行形式验证。 Zbl 1252.68258号 尼古拉斯·朱利安;爱荷华州帕什卡 三 2009 在任意整数基中使用共归纳法证明精确实数算法。 Zbl 1137.68573号 尼古拉斯·朱利安 6 2008 所有引用出版物 前5名被引用出版物 全部的 前5名14位作者引用 2 爱荷华州帕什卡 1 西尔维·博尔多 1 克里斯托夫·布伦 1 Jean-François Dufourd 1 尼古拉斯·朱利安 1 罗伯特·克雷伯斯 1 凯瑟琳·勒雷 1 皮埃尔·莱斯坎 1 大卫·R·莱斯特。 1 尼古拉斯·马高 1 纪尧姆·梅尔金德 1 罗素·奥康纳 1 马蒂厄·佩里内尔 1 溅出物,Bas 3篇连载文章中引用 2 计算机科学中的数学结构 1 信息学报 1 计算几何 在4个字段中引用 6 计算机科学(68至XX) 4 数值分析(65-XX) 1 实际功能(26年X月X日) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文