编辑配置文件(在新选项卡中打开) 朱利安·纳布克斯 合著者距离 作者ID: 纳布克斯·朱利安 发布日期: 朱利安·纳布克斯 已编制索引的文档: 21出版物自2004年起 1名编辑贡献 合著者: 17合著者具有19联合出版物 190位合作作者 全部的 前5名合著者 三 单作者的 6 Janičić,普雷德拉格 5 帕斯卡·施莱克 三 皮埃尔·布特里 三 加布里埃尔·布劳恩 2 迈克尔·比森。 2 尼古拉斯·马高德 2 城市,基督教 1 马克·贝泽姆 1 大卫·J·布朗。 1 雅克·弗莱里奥特。 1 Génevaux,让-大卫 1 格里斯,查理 1 佩德罗·夸雷斯马 1 里希特·盖伯特(Jürgen Richter-Gebert) 1 萨那斯托亚诺维奇 1 萨那斯托亚诺维奇 1 弗里克·威迪杰克 全部的 前5名系列 5 自动推理杂志 三 数学与人工智能年鉴 1 符号计算杂志 1 计算几何 1 符号逻辑公报 1 计算机科学课堂讲稿 1 计算机科学中的数学 领域 19 计算机科学(68至XX) 15 数理逻辑与基础(03-XX) 12 几何图形(51至XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物有被引用186中的次73文件 引用人▼ 年份▼ 用于几何形式证明的图形用户界面。 Zbl 1131.68094号 朱利安·纳布克斯 24 2007 塔斯基几何中的机械定理证明。 Zbl 1195.03019号 朱利安·纳布克斯 22 2007 面积法。概述。 Zbl 1242.68281号 Janičić,普雷德拉格;朱利安·纳布克斯;佩德罗·夸雷斯马 21 2012 从塔斯基到希尔伯特。 Zbl 1397.03019号 加布里埃尔·布劳恩;朱利安·纳布克斯 15 2013 Coq中几何的决策程序。 Zbl 1099.68734号 朱利安·纳布克斯 13 2004 Coq:Desargues定理中射影几何形式化的案例研究。 Zbl 1248.68449号 尼古拉斯·马高德;朱利安·纳布克斯;帕斯卡·施莱克 13 2012 Coq中射影平面几何的形式化。 兹比尔1302.68246 尼古拉斯·马高德;朱利安·纳布克斯;帕斯卡·施莱克 13 2011 塔斯基几何中帕普斯定理的综合证明。 Zbl 1405.03034号 加布里埃尔·布劳恩;朱利安·纳布克斯 10 2017 机器可验证和可读证明的自动生成:塔斯基几何的案例研究。 Zbl 1327.68206号 萨那斯托亚诺维奇;朱利安·纳布克斯;Janičić,普雷德拉格 9 2015 欧氏平面几何算法的形式化及其应用。 Zbl 1394.68349号 皮埃尔·布特里;加布里埃尔·布劳恩;朱利安·纳布克斯 8 2019 校对欧几里德。 Zbl 07055783号 迈克尔·比森;朱利安·纳布克斯;弗里克·威迪杰克 8 2019 平行假设和连续性公理:使用Coq对直觉主义逻辑的机械化研究。 Zbl 1441.03011号 皮埃尔·布特里;格里斯,查理;朱利安·纳布克斯;帕斯卡·施莱克 7 2019 连贯逻辑的方言。 Zbl 1304.68163号 萨那斯托亚诺维奇;朱利安·纳布克斯;马克·贝泽姆;Janičić,普雷德拉格 6 2014 Coq中吴的简单方法的形式化。 Zbl 1350.68234号 Génevaux,让-大卫;朱利安·纳布克斯;帕斯卡·施莱克 5 2011 用名义上的Isabelle Crary的完整性证明形式化等价性检查。 Zbl 1278.68276号 朱利安·纳布克斯;城市,基督教 4 2008 合成几何中的计算机辅助定理证明。 Zbl 1425.68377号 朱利安·纳布克斯;Janičić,普雷德拉格;雅克·弗莱里奥特 三 2019 朝向三角形中心百科全书的认证版本。 Zbl 1343.51001号 朱利安·纳布克斯;大卫·布朗 2 2016 用相干逻辑证明作为约束求解的定理。 Zbl 1511.68316号 Janičić,普雷德拉格;朱利安·纳布克斯 1 2022 赫伯兰定理和非欧几里德几何。 Zbl 1375.03079号 迈克尔·比森;皮埃尔·布特里;朱利安·纳布克斯 1 2015 (lambda)-演算的形式SOS-证明。 Zbl 1310.68184号 城市,基督教;朱利安·纳布克斯 1 2009 用相干逻辑证明作为约束求解的定理。 Zbl 1511.68316号 Janičić,普雷德拉格;朱利安·纳布克斯 1 2022 欧氏平面几何算法的形式化及其应用。 Zbl 1394.68349号 皮埃尔·布特里;加布里埃尔·布劳恩;朱利安·纳布克斯 8 2019 校对欧几里德。 Zbl 07055783号 迈克尔·比森;朱利安·纳布克斯;弗里克·威迪杰克 8 2019 平行假设和连续性公理:使用Coq对直觉主义逻辑的机械化研究。 Zbl 1441.03011号 皮埃尔·布特里;格里斯,查理;朱利安·纳布克斯;帕斯卡·施莱克 7 2019 合成几何中的计算机辅助定理证明。 Zbl 1425.68377号 朱利安·纳布克斯;Janičić,普雷德拉格;雅克·弗莱里奥特 三 2019 塔斯基几何中帕普斯定理的综合证明。 Zbl 1405.03034号 加布里埃尔·布劳恩;朱利安·纳布克斯 10 2017 朝向三角形中心百科全书的认证版本。 Zbl 1343.51001号 朱利安·纳布克斯;大卫·布朗 2 2016 机器可验证和可读证明的自动生成:塔斯基几何的案例研究。 Zbl 1327.68206号 萨那斯托亚诺维奇;朱利安·纳布克斯;Janičić,普雷德拉格 9 2015 赫伯兰定理和非欧几里德几何。 Zbl 1375.03079号 迈克尔·比森;皮埃尔·布特里;朱利安·纳布克斯 1 2015 连贯逻辑的方言。 Zbl 1304.68163号 萨那斯托亚诺维奇;朱利安·纳布克斯;马克·贝泽姆;Janičić,普雷德拉格 6 2014 从塔斯基到希尔伯特。 Zbl 1397.03019号 加布里埃尔·布劳恩;朱利安·纳布克斯 15 2013 面积法。重述。 Zbl 1242.68281号 Janičić,普雷德拉格;朱利安·纳布克斯;佩德罗·夸雷斯马 21 2012 Coq:Desargues定理中射影几何形式化的案例研究。 Zbl 1248.68449号 尼古拉斯·马高德;朱利安·纳布克斯;帕斯卡·施莱克 13 2012 Coq中射影平面几何的形式化。 兹比尔1302.68246 尼古拉斯·马高德;朱利安·纳布克斯;帕斯卡·施莱克 13 2011 Coq中吴的简单方法的形式化。 Zbl 1350.68234号 Génevaux,让-大卫;朱利安·纳布克斯;帕斯卡·施莱克 5 2011 (lambda)-演算的形式SOS-证明。 Zbl 1310.68184号 城市,基督教;朱利安·纳布克斯 1 2009 用名义上的Isabelle Crary的完整性证明形式化等价性检查。 Zbl 1278.68276号 朱利安·纳布克斯;城市,基督教 4 2008 用于几何形式证明的图形用户界面。 Zbl 1131.68094号 朱利安·纳布克斯 24 2007 塔斯基几何中的机械定理证明。 Zbl 1195.03019号 朱利安·纳布克斯 22 2007 Coq中几何的决策程序。 Zbl 1099.68734号 朱利安·纳布克斯 13 2004 所有引用的出版物 前5名被引用出版物 全部的 前5名96位作者引用 13 朱利安·纳布克斯 12 Janičić,普雷德拉格 10 佩德罗·夸雷斯马 7 帕斯卡·施莱克 6 罗兰·科希托 5 迈克尔·比森。 4 亚当·格拉博夫斯基 三 皮埃尔·布特里 三 大卫·J·布朗。 三 佐尔坦科瓦奇 三 尼古拉斯·马高德 三 韦斯纳·马林科维奇 2 努诺·贝塔 2 加布里埃尔·布劳恩 2 雅克·弗莱里奥特。 2 格拉齐亚尼,皮耶路易吉 2 艾达、铁雄 2 菲利普·马里奇 2 米罗斯拉夫·奥沙克 2 维克托·五世(Victor V.Pambuccian)。 2 碧姬·品特卡 2 西莉亚·沙赫特 2 斯托亚诺维奇,萨那 1 Satbek Abdyldayev 1 安德烈亚斯·阿贝尔。 1 杰西·阿拉玛 1 纪尧姆·阿拉伊斯 1 杰里米·阿维加德 1 伊夫·贝托特 1 马克·比克福德 1 博塔纳,弗朗西斯科 1 勇敢,埃里克·约翰 1 布莱特,柯蒂斯 1 马蒂亚斯·布伦 1 吉尔莫·卡尔德龙 1 安德鲁·凯夫 1 陈晓宇 1 詹姆斯·切尼 1 张凯文·K·H。 1 周尚卿 1 罗伯特·李,警察 1 爱德华·T·迪安。 1 福斯,劳伦特 1 安德鲁·加塞克 1 维杰·加内什 1 高晓山 1 Génevaux,让-大卫 1 法杜阿·古拉比 1 格里斯,查理 1 Aliya Hameer 1 马库斯·霍恩沃特 1 姜建国 1 塞萨里·卡利西克 1 亚塞姆·卡塞姆 1 阿里尔·凯利森(Ariel E.Kellison)。 1 科齐里亚斯(Ilias S.Kotsireas)。 1 蒂姆·兰伯特 1 雅罗斯拉夫·麦克 1 约翰·安德烈亚斯·马考斯基 1 多米尼克·米歇鲁奇 1 戴尔·艾伦·米勒 1 阿尔贝托·莫米利亚诺 1 约翰·穆玛 1 戈帕兰·纳达图尔 1 姆拉丹·尼科利奇 1 迈克尔·诺里什 1 杰克·E·帕尔默(Jake E.Palmer)。 1 Vesna巴甫洛维奇 1 达尼耶拉·彼得罗维奇 1 伊万·彼得罗维奇 1 范、团明 1 托马斯·雷西奥 1 威廉·里希特 1 多米尼克·罗伊 1 万达桑托斯 1 施费尔,史蒂文 1 理查德·施莫滕 1 菲尔·斯科特 1 Sedlář,Jiൿí 1 达尼耶拉·西米奇 1 约瑟夫·西维奇 1 丹·宋 1 凯瑟琳·斯塔克 1 布雷特·史蒂文斯 1 萨那斯托亚诺维奇 1 Laurent Théry 1 菲利普·托德。 1 德米特里·特拉泰尔 1 约瑟夫·乌尔班 1 雷内·维斯特加德 1 王东明 1 西蒙·魏茨霍弗 1 弗里克·威迪杰克 1 沃斯,拉里 1 叶,郑 1 张景忠 全部的 前5名16篇连载文章中引用 14 自动推理杂志 10 数学与人工智能年鉴 7 形式化数学 4 计算机科学中的数学 2 符号计算杂志 2 系统科学与复杂性杂志 1 美国数学月刊 1 Beiträge zur代数与几何 1 数学成绩 1 纯逻辑与应用逻辑年鉴 1 塞贡达·埃波卡 1 计算几何 1 MSCS公司。计算机科学中的数学结构 1 工程、通信和计算中的应用代数 1 函数编程杂志 1 符号逻辑述评 全部的 前5名在9个字段中引用 55 计算机科学(68至XX) 47 几何图形(51至XX) 29 数理逻辑与基础(03-XX) 三 历史和传记(01-XX) 三 数学教育(97-XX) 1 组合数学(05-XX) 1 光学、电磁理论(78-XX) 1 相对论和引力理论(83至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文