编辑配置文件(在新选项卡中打开) 安德烈·鲍尔 合著者距离 作者ID: 鲍尔·安德里 发布日期: 安德烈·鲍尔 主页: http://www.andrej.com网站/ 外部链接: MGP公司·ORCID公司·维基数据·arXiv公司·谷歌学者·数学溢出·推特·数据库管理程序·接地·ID参考 已编制索引的文档: 47出版物自1998年以来,包括4个附加arXiv预打印 5名编辑的贡献·1进一步贡献 传记参考: 1出版物 合著者: 43位合著者具有38联合出版物 1385位合作作者 全部的 前5名合著者 12 单作者的 4 彼得·勒法努·卢姆斯代恩 3 史蒂夫·阿沃迪 3 菲利普·哈塞尔瓦特(Philipp G.Haselwarter)。 3 普雷特纳,马蒂亚 3 达娜·斯图尔特·斯科特 2 拉尔斯·比克达尔 2 延斯·布兰克 2 可口、蒂埃里 2 卡琳·Cvetko-Vah 2 梅利塔·哈丁夏克 2 马丁·霍夫曼 2 Hötzel Escardó,马汀 2 伊斯托克·卡夫克勒 2 亚历克斯·K·辛普森。 2 索索、马蒂厄 2 溅出物,Bas 2 克里斯托弗·斯通(Christopher A.Stone)。 1 彼得·阿策尔 1 丹尼尔·艾哈曼 1 阿伦斯,贝内迪克特 1 托尔斯滕·阿滕柯奇 1 卡洛·安吉乌利 1 杰里米·阿维加德 1 布鲁诺·巴拉斯 1 乌尔里希·伯杰 1 伊夫·贝托特 1 马克·贝泽姆 1 安东尼·博尔吉 1 纪尧姆·布鲁内里 1 克拉克(Edmund Melson jun Clarke)。 1 西里尔·科恩 1 罗伯特·李,警察 1 皮埃尔·卢伊斯·居里 1 彼得·戴比杰 1 埃里克·芬斯特 1 威廉·劳·福凯 1 尼古拉·甘比诺 1 理查德·加纳 1 梅·盖尔克 1 乔治·戈蒂尔 1 丹尼尔·理查德·格雷森 1 杰森·格罗斯 1 托马斯·卡利斯特·黑尔斯 1 罗伯特·哈珀 1 雨果·赫贝林 1 彼得·赫特林。 1 科恩·希勒瓦尔特 1 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。 1 Hou(Favonia)、Kuen-Bang 1 安德烈·乔亚尔 1 Krzysztof卡普尔金 1 阿列克桑德·卡比雪夫 1 桑迪·克拉夫扎尔 1 Ko、Ker-I 1 约阿希姆·科克 1 尼古拉·克劳斯 1 甘纳州Kudryavtseva 1 达沃林·勒什尼克 1 李诺 1 丹,利卡塔 1 罗朝晖 1 阿西亚·马布比 1 马丁·洛夫(Martin-Löf,Per) 1 谢尔盖·阿列克桑德罗维奇·梅利霍夫 1 Mislove,Michael W。 1 迈克尔·纳哈斯 1 埃里克·帕尔姆格伦 1 阿尔瓦罗·佩莱奥 1 佩特科维奇·科梅尔(Anja PetkovićKomel) 1 佩特科维奇(Anja Petković) 1 马尔科·佩特科夫舍克 1 戈登·普洛金(Gordon D.Plotkin)。 1 安德鲁·波伦斯基 1 米歇尔·拉斯金 1 艾米丽·里尔 1 埃格伯特,里克 1 乔瓦尼·桑宾 1 彼得·迈克尔·舒斯特 1 菲利普·斯科特。 1 Michael A.舒尔曼。 1 迈克·舒尔曼 1 克里斯蒂娜·索贾科娃 1 索洛夫·弗拉基米洛维奇 1 斯普林,迪特 1 安德鲁·斯旺。 1 1 Hideki Tsuiki 1 本诺·范登伯格 1 范古尔,塞缪尔·雅各布 1 弗拉基米尔·阿列克桑德罗维奇(Vladimir Aleksandrovich) 1 沃伦、迈克尔·奥尔顿 1 诺姆·泽尔伯格 1 赵旭东 1 马丁·齐格勒 全部的 前5名系列 4 计算机科学中的逻辑方法 3 理论计算机科学 3 纯逻辑与应用逻辑年鉴 2 自动推理杂志 2 逻辑与计算杂志 2 MSCS公司。计算机科学中的数学结构 2 数学逻辑季刊(MLQ) 1 休斯顿数学杂志 1 剑桥哲学学会数学进展杂志 1 拓扑及其应用 1 符号计算杂志 1 美国数学学会公报。新系列 1 数学逻辑档案 1 Informatica(卢布尔雅那) 1 国际计算流体动力学杂志 1 组合年刊 1 国际不确定性、模糊性和基于知识的系统杂志 1 通用计算机科学杂志 1 理论计算机科学电子笔记 1 第比利斯数学杂志 1 逻辑与分析杂志 1 OASIcs–信息学中的OpenAccess系列 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 36 数学逻辑和基础(03-XX) 26 计算机科学(68至XX) 13 范畴理论;同调代数(18-XX) 8 有序,格,有序代数结构(06-XX) 5 一般拓扑结构(54至XX) 4 总体主题;集合(00-XX) 2 代数拓扑(55-XX) 1 历史和传记(01-XX) 1 特殊功能(33至XX) 1 数值分析(65-XX) 1 流体力学(76-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 37出版物有被引用230中的次200份文件 引用人▼ 年份▼ 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 使用代数效果和处理程序进行编程。 Zbl 1304.68025号 安德烈·鲍尔;普雷特纳,马蒂亚 30 2015 等价空间。 Zbl 1059.18004号 安德烈·鲍尔;拉尔斯·比克达尔;Dana S.斯科特。 28 2004 命题为[类型]。 Zbl 1050.03016号 史蒂文·阿沃迪;安德烈·鲍尔 23 2004 多基本和混合超几何Gosper型算法。 Zbl 0973.33010号 安德烈·鲍尔;马尔科·佩特科夫舍克 20 1999 一种不可交换的普里斯特利对偶。 Zbl 1307.06008号 安德烈·鲍尔;卡琳·Cvetko-Vah;麦哲尔克;Samuel J.van Gool。;甘纳州Kudryavtseva 12 2013 具有交集的斜布尔代数的Stone对偶。 兹比尔1284.06032 安德烈·鲍尔;卡琳·Cvetko-Vah 12 2013 解析-将定理证明和符号计算相结合的实验。 Zbl 0916.68143号 安德烈·鲍尔;埃德蒙·克拉克;赵旭东 10 1998 综合可计算性理论的第一步。 Zbl 1273.03144号 安德烈·鲍尔 9 2006 合成拓扑中的度量空间。 Zbl 1251.03081号 安德烈·鲍尔;达沃林·勒什尼克 8 2012 从Baire空间到自然数的注入。 Zbl 1362.03053号 安德烈·鲍尔 7 2015 用于代数效果和处理程序的效果系统。 Zbl 1448.68203号 安德烈·鲍尔;普雷特纳,马蒂亚 6 2014 平衡空间和第二类有效性之间的关系。 Zbl 1026.68088号 安德烈·鲍尔 5 2002 论拓扑中的布尔巴基-维特原则。 Zbl 1286.03164号 安德烈·鲍尔;彼得·勒法努·卢姆斯代恩 5 2013 Dedekind现实是抽象的石头二元性。 Zbl 1262.03130号 安德烈·鲍尔;保罗·泰勒 5 2009 跑步者在运动。 Zbl 1508.68050号 丹尼尔·艾哈曼;Bauer,Andrej(安德烈·鲍尔) 5 2020 适合实现的连续域的构造性理论。 Zbl 1169.06005号 安德烈·鲍尔;伊兹托克Kavkler 4 2009 用于代数效果和处理程序的效果系统。 Zbl 1394.68051号 Bauer,Andrej(安德烈·鲍尔);普雷特纳,马蒂亚 4 2013 平衡空间和第二类有效性之间的关系。 Zbl 1260.68216号 安德烈·鲍尔 4 2001 二阶泛函的单参数性。 Zbl 1260.68071号 安德烈·鲍尔;马丁·霍夫曼;阿列克桑德·卡比雪夫 4 2013 依赖型和平衡空间的连续泛函。 Zbl 0973.03036号 安德烈·鲍尔;拉尔斯·比克达尔 3 2000 两个构造性嵌入扩张定理及其在连续性原理和Banach-Mazur可计算性中的应用。 Zbl 1059.03073号 安德烈·鲍尔;亚历克斯·辛普森 3 2004 使用RZ实现实数。 Zbl 1262.03076号 安德烈·鲍尔;伊斯托克·卡夫克勒 3 2008 接受建构主义数学的五个阶段。 Zbl 1469.03171号 安德烈·鲍尔 3 2017 RZ:一种使构造性和可计算数学更接近编程实践的工具。 Zbl 1150.03300号 安德烈·鲍尔;克里斯托弗·斯通(Christopher A.Stone)。 2 2007 经典代数的规范有效子代数作为构造度量补足。 Zbl 1219.03041号 安德烈·鲍尔;詹斯·布兰克 2 2010 链完备格的不动点定理在有效拓扑中的失效。 Zbl 1251.03092号 安德烈·鲍尔 2 2012 第六届分析中的可计算性和复杂性国际会议(CCA'09)。国际会议记录,2009年8月18日至22日,斯洛文尼亚卢布尔雅那。 Zbl 1247.68008号 2 2009 科学事后(post-hoc)和就地大规模并行模拟中高阶多项式解的可视化。 兹比尔0774485 拉斯金,M。;A.鲍尔。;希勒沃特,K。 2 2019 实例可约性和Weihrauch度。 Zbl 07577584号 安德烈·鲍尔 2 2022 经典代数的规范有效子代数作为构造度量补足。 Zbl 1247.03090号 安德烈·鲍尔;詹斯·布兰克 1 2009 可实现的剪切地形。 Zbl 1161.03036号 史蒂文·阿沃迪;安德烈·鲍尔 1 2008 RZ:一种使构造性和可计算数学更接近编程实践的工具。 Zbl 1156.03301号 安德烈·鲍尔;克里斯托弗·斯通(Christopher A.Stone)。 1 2009 链完备格的不动点定理在有效拓扑中的失效。 Zbl 1338.03113号 安德烈·鲍尔 1 2009 直观的数学和物理世界中的可实现性。 Zbl 1257.03014号 安德烈·鲍尔 1 2013 一种用于依赖类型理论的可扩展等式检查算法。 Zbl 1504.68276号 安德烈·鲍尔;佩特科维奇·科梅尔(Anja PetkovićKomel) 1 2022 《仙女座2》中一般类型理论的等式检验。 Zbl 1503.68287号 安德烈·鲍尔;菲利普·哈塞尔瓦特(Philipp G.Haselwarter)。;佩特科维奇(Anja Petković) 1 2020 实例可约性和Weihrauch度。 兹比尔07577584 安德烈·鲍尔 2 2022 一种用于依赖类型理论的可扩展等式检查算法。 Zbl 1504.68276号 Bauer,Andrej(安德烈·鲍尔);佩特科维奇·科梅尔(Anja PetkovićKomel) 1 2022 跑步者在运动。 兹比尔1508.68050 丹尼尔·艾哈曼;安德烈·鲍尔 5 2020 《仙女座2》中一般类型理论的等式检验。 Zbl 1503.68287号 安德烈·鲍尔;菲利普·哈塞尔瓦特(Philipp G.Haselwarter)。;佩特科维奇(Anja Petković) 1 2020 科学事后(post-hoc)和就地大规模并行模拟中高阶多项式解的可视化。 Zbl 07474485号 拉斯金,M。;A.鲍尔。;Hillewaert,K。 2 2019 接受建构主义数学的五个阶段。 Zbl 1469.03171号 安德烈·鲍尔 3 2017 使用代数效果和处理程序进行编程。 Zbl 1304.68025号 安德烈·鲍尔;普雷特纳,马蒂亚 30 2015 从Baire空间到自然数的注入。 Zbl 1362.03053号 安德烈·鲍尔 7 2015 用于代数效果和处理程序的效果系统。 Zbl 1448.68203号 安德烈·鲍尔;普雷特纳,马蒂亚 6 2014 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 非交换普里斯特利对偶。 Zbl 1307.06008号 安德烈·鲍尔;卡琳·Cvetko-Vah;梅·盖尔克;Samuel J.van Gool。;甘纳州Kudryavtseva 12 2013 具有交集的斜布尔代数的Stone对偶。 Zbl 1284.06032号 Bauer,Andrej(安德烈·鲍尔);卡琳·Cvetko-Vah 12 2013 论拓扑中的布尔巴基-维特原则。 Zbl 1286.03164号 Bauer,Andrej(安德烈·鲍尔);彼得·勒法努·卢姆斯代恩 5 2013 用于代数效果和处理程序的效果系统。 Zbl 1394.68051号 Bauer,Andrej(安德烈·鲍尔);普雷特纳,马蒂亚 4 2013 二阶泛函的单参数性。 Zbl 1260.68071号 安德烈·鲍尔;马丁·霍夫曼;阿列克桑德·卡比雪夫 4 2013 直观的数学和物理世界中的可实现性。 Zbl 1257.03014号 安德烈·鲍尔 1 2013 合成拓扑中的度量空间。 Zbl 1251.03081号 安德烈·鲍尔;达沃林·勒什尼克 8 2012 链完备格的不动点定理在有效拓扑中的失效。 Zbl 1251.03092号 安德烈·鲍尔 2 2012 经典代数的规范有效子代数作为构造度量补足。 Zbl 1219.03041号 安德烈·鲍尔;詹斯·布兰克 2 2010 Dedekind现实是抽象的石头二元性。 Zbl 1262.03130号 安德烈·鲍尔;保罗·泰勒 5 2009 适合实现的连续域的构造性理论。 Zbl 1169.06005号 安德烈·鲍尔;伊斯托克·卡夫克勒 4 2009 第六届分析可计算性和复杂性国际会议(CCA'09)。国际会议记录,2009年8月18日至22日,斯洛文尼亚卢布尔雅那。 Zbl 1247.68008号 2 2009 经典代数的规范有效子代数作为构造度量补足。 Zbl 1247.03090号 Bauer,Andrej(安德烈·鲍尔);詹斯·布兰克 1 2009 RZ:一种使构造性和可计算数学更接近编程实践的工具。 Zbl 1156.03301号 Bauer,Andrej(安德烈·鲍尔);克里斯托弗·斯通(Christopher A.Stone)。 1 2009 链完备格的不动点定理在有效拓扑中的失效。 兹比尔1338.03113 安德烈·鲍尔 1 2009 使用RZ实现实数。 Zbl 1262.03076号 安德烈·鲍尔;伊斯托克·卡夫克勒 3 2008 可实现的剪切地形。 Zbl 1161.03036号 史蒂文·阿沃迪;安德烈·鲍尔 1 2008 RZ:一种使构造性和可计算数学更接近编程实践的工具。 Zbl 1150.03300号 安德烈·鲍尔;克里斯托弗·斯通(Christopher A.Stone)。 2 2007 综合可计算性理论的第一步。 Zbl 1273.03144号 安德烈·鲍尔 9 2006 等价空间。 Zbl 1059.18004号 安德烈·鲍尔;拉尔斯·比克达尔;Dana S.斯科特。 28 2004 命题为[类型]。 Zbl 1050.03016号 史蒂文·阿沃迪;安德烈·鲍尔 23 2004 两个构造性嵌入扩张定理及其在连续性原理和Banach-Mazur可计算性中的应用。 Zbl 1059.03073号 安德烈·鲍尔;亚历克斯·辛普森 3 2004 平衡空间和第二类有效性之间的关系。 Zbl 1026.68088号 安德烈·鲍尔 5 2002 平衡空间和第二类有效性之间的关系。 Zbl 1260.68216号 安德烈·鲍尔 4 2001 相依类型的连续泛函和等逻辑空间。 Zbl 0973.03036号 安德烈·鲍尔;拉尔斯·比克达尔 3 2000 多基本和混合超几何Gosper型算法。 兹伯利0973.33010 安德烈·鲍尔;马尔科·佩特科夫舍克 20 1999 解析-将定理证明和符号计算相结合的实验。 兹伯利0916.68143 安德烈·鲍尔;埃德蒙·克拉克;赵旭东 10 1998 所有引用出版物 前5名被引用出版物 全部的 前5名258位作者引用 15 安德烈·鲍尔 11 卡斯滕·施耐德 8 Hötzel Escardó,马汀 6 乔纳森·埃德蒙·利奇 5 卡琳·Cvetko-Vah 5 朱塞佩·罗索里尼 5 溅出物,Bas 4 扬尼克·福斯特 4 马克·格兰迪斯 4 甘纳州Kudryavtseva 4 普雷特纳,马蒂亚 4 格特·斯莫尔卡 4 安德鲁·斯旺。 3 阿布拉莫夫,谢尔盖·阿列克桑德罗维奇 3 拉尔斯·比克达尔 3 英戈·布莱希施密特 3 聪,又有 3 萨姆·林德利 3 布雷特·麦克莱恩 3 罗素·奥康纳 3 山姆·桑德斯 3 汤姆·施里杰弗斯 3 马蒂亚斯·施罗德 3 赫尔穆特·塞德尔 3 拉尔夫·沃格勒 2 安德烈亚斯·阿贝尔(Andreas M.Abel)。 2 丹尼尔·艾哈曼 2 马克西姆·安布拉德 2 卡洛·安吉乌利 2 浅井,肯尼奇 2 罗伯特·艾奇 2 史蒂夫·阿沃迪 2 詹斯·布兰克 2 塞利亚·博利多 2 Brachthäuser,乔纳森·伊曼纽尔 2 皮埃尔·奇夫利埃 2 可口、蒂埃里 2 朱利娅·弗罗索尼 2 理查德·加纳 2 梅·盖尔克 2 丹尼尔·格拉泽 2 纪尧姆·希特 2 丹尼尔·希勒斯特罗姆 2 侯庆虎 2 奥哈德·卡玛 2 伊斯托克·卡夫克勒 2 木原隆树 2 尼古拉·克劳斯 2 托马斯·莱坦 2 吉尔卡·马西克 2 康诺·托马斯·麦克布莱德 2 埃文斯·多·奥坎西 2 克劳斯·奥斯特曼 2 法比奥·帕斯夸利 2 马尔科·佩特科夫舍克 2 弗兰克·芬宁 2 乔昂·皮塔·科斯塔 2 安德鲁·皮特斯(Andrew M.Pitts)。 2 雷吉斯·詹纳斯,Yann 2 威利安·里贝罗 2 埃格伯特,里克 2 克里斯蒂安·朗塞 2 阿穆尔·哈尼·萨利赫 2 安东尼奥·萨利布拉 2 史蒂文·施费尔 2 菲利普·舒斯特 2 Michael A.舒尔曼。 2 亚历克斯·K·辛普森。 2 马修·斯宾克斯 2 乔纳森·斯特林 2 托马斯·斯特里彻 2 上村,太极 2 徐创杰 1 彼得·阿策尔 1 阿达梅克,吉安尼 1 斯蒂芬·阿德尔斯伯格 1 阿马尔·艾哈迈德 1 托尔斯滕·阿滕柯奇 1 伊戈尔·阿里埃塔 1 安妮·巴南 1 英戈·巴滕菲尔德 1 克莱门斯·伯杰 1 乌尔里希·伯杰 1 马克·比克福德 1 阿列舍·比兹亚克 1 哈拉尔德·勃宁 1 科西莫·佩里尼·布罗吉 1 曼纽尔·埃里克·布朗斯坦 1 安娜·布卡洛 1 安东尼奥·布恰雷利 1 加布里埃尔·布里奥拉 1 路易斯·凯雷斯 1 坎通纳,多梅尼科 1 卡雷特,J.J。 1 查普曼,詹姆斯·T·E。 1 陈少石 1 魏恩根·钦 1 查尔斯·坎泰·崔 1 吉安卢卡·辛科蒂 1 弗朗西斯科·西罗洛 …和158多位作者 全部的 前5名56篇连载文章被引用 19 MSCS公司。计算机科学中的数学结构 13 计算机科学中的逻辑方法 11 符号计算杂志 11 函数编程杂志 9 理论计算机科学 6 拓扑及其应用 6 纯逻辑与应用逻辑年鉴 4 符号逻辑杂志 4 自动推理杂志 3 代数普遍性 3 纯粹与应用代数杂志 3 工程、通信和计算中的应用代数 3 第比利斯数学杂志 3 离散与应用数学的艺术 2 订单 2 美国数学学会公报。新系列 2 应用分类结构 2 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 2 代数杂志及其应用 2 可计算性 1 人工智能 1 数学分析与应用杂志 1 剑桥哲学学会数学进展杂志 1 信息科学 1 代数杂志 1 编程和计算机软件 1 Quaestions数学 1 半群论坛 1 Studia Logica公司 1 应用数学进展 1 复杂性杂志 1 信息与计算 1 计算的形式方面 1 国际代数与计算杂志 1 数学逻辑档案 1 Indagationes Mathematicae公司。新系列 1 系统设计中的形式化方法 1 应用和计算谐波分析 1 数学逻辑季刊(MLQ) 1 符号逻辑公报 1 差分方程与应用杂志 1 组合年刊 1 数学逻辑杂志 1 西班牙皇家马特马提卡足球俱乐部(La Gaceta de La Real Sociedad Matemática Española) 1 逻辑与代数程序设计杂志 1 澳大利亚数学学会杂志 1 逻辑程序设计理论与实践 1 应用逻辑杂志 1 计算机科学中的数学 1 泛逻辑 1 同伦及相关结构杂志 1 计算机代数中的ACM通信 1 逻辑与分析杂志 1 程序设计中的逻辑和代数方法杂志 1 美国数学学会会刊。B系列 1 电子研究档案 全部的 前5名在25个字段中引用 102 计算机科学(68至XX) 92 数学逻辑和基础(03-XX) 40 范畴理论;同调代数(18-XX) 37 有序,格,有序代数结构(06-XX) 18 一般拓扑结构(54至XX) 15 特殊功能(33至XX) 10 场论和多项式(12-XX) 10 代数拓扑(55-XX) 6 一般代数系统(08-XX) 5 组合数学(05-XX) 4 数值分析(65-XX) 3 实函数(26年X月X日) 3 量子理论(81-XX) 2 总体主题;集合(00-XX) 2 历史和传记(01-XX) 2 数论(11-XX) 2 交换代数(13-XX) 2 群论与推广(20-XX) 2 差分方程和函数方程(39至XX) 1 结合环与代数(16-XX) 1 功能分析(46倍X倍) 1 整体分析,流形分析(58至XX) 1 统计力学,物质结构(82-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.