编辑配置文件（在新选项卡中打开） 安德烈·鲍尔 合著者距离 作者ID: 鲍尔·安德里 发布日期： 安德烈·鲍尔 主页： http://www.andrej.com网站/ 外部链接： MGP公司·ORCID公司·维基数据·arXiv公司·谷歌学者·数学溢出·推特·数据库许可证·接地·ID参考 编入索引的文档： 47出版物自1998年以来，包括4个附加arXiv预打印 5作为编辑的贡献·1进一步贡献 传记参考： 1出版物 合著者： 43位合著者具有38联合出版物 1385位合作作者 全部的 前5名合著者 12 单作者的 4 彼得·勒法努，朗斯丹 三 史蒂夫·阿沃迪 三 菲利普·哈塞尔瓦特（Philipp G.Haselwarter）。 三 普雷特纳，马蒂亚 三 达娜·斯图尔特·斯科特 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 Klavžar，桑迪 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 计算机科学中的逻辑方法 三 理论计算机科学 三 纯逻辑与应用逻辑年鉴 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 等价空间。 兹比尔1059.18004 安德烈·鲍尔;拉尔斯·比克达尔;Dana S.斯科特。 28 2004 命题为[类型]。 Zbl 1050.03016号 史蒂文·阿沃迪;安德烈·鲍尔 23 2004 多基本和混合超几何Gosper型算法。 Zbl 0973.33010号 安德烈·鲍尔;马尔科·佩特科夫舍克 20 1999 具有交集的斜布尔代数的Stone对偶。 Zbl 1284.06032号 安德烈·鲍尔;卡琳·Cvetko-Vah 12 2013 非交换普里斯特利对偶。 Zbl 1307.06008号 安德烈·鲍尔;卡琳·Cvetko-Vah;梅·盖尔克;Samuel J.van Gool。;甘纳州Kudryavtseva 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号 丹尼尔·艾哈曼;安德烈·鲍尔 5 2020 平衡空间和第二类有效性之间的关系。 兹比尔1260.68216 安德烈·鲍尔 4 2001 适合实现的连续域的构造性理论。 Zbl 1169.06005号 安德烈·鲍尔;伊兹托克Kavkler 4 2009 用于代数效果和处理程序的效果系统。 Zbl 1394.68051号 安德烈·鲍尔;普雷特纳，马蒂亚 4 2013 关于二阶泛函的一元参数性。 Zbl 1260.68071号 安德烈·鲍尔;马丁·霍夫曼;阿列克桑德·卡比雪夫 4 2013 使用RZ实现实数。 Zbl 1262.03076号 安德烈·鲍尔;伊斯托克·卡夫克勒 三 2008 两个构造性嵌入扩张定理及其在连续性原理和Banach-Mazur可计算性中的应用。 Zbl 1059.03073号 安德烈·鲍尔;亚历克斯·辛普森 三 2004 依赖型和平衡空间的连续泛函。 Zbl 0973.03036号 安德烈·鲍尔;拉尔斯·比克达尔 三 2000 接受建构主义数学的五个阶段。 Zbl 1469.03171号 安德烈·鲍尔 三 2017 经典代数的规范有效子代数作为构造度量补足。 Zbl 1219.03041号 安德烈·鲍尔;詹斯·布兰克 2 2010 RZ：一种使构造性和可计算数学更接近编程实践的工具。 Zbl 1150.03300号 安德烈·鲍尔;克里斯托弗·斯通（Christopher A.Stone）。 2 2007 第六届分析可计算性和复杂性国际会议（CCA'09）。国际会议记录，2009年8月18日至22日，斯洛文尼亚卢布尔雅那。 Zbl 1247.68008号 2 2009 链完备格的不动点定理在有效拓扑中的失效。 Zbl 1251.03092号 安德烈·鲍尔 2 2012 科学事后（post-hoc）和就地大规模并行模拟中高阶多项式解的可视化。 Zbl 07474485号 拉斯金，M。;A.鲍尔。;Hillewaert，K。 2 2019 实例可约性和Weihrauch度。 Zbl 07577584号 安德烈·鲍尔 2 2022 链完备格的不动点定理在有效拓扑中的失效。 Zbl 1338.03113号 安德烈·鲍尔 1 2009 Sheaf拓扑的可实现性。 Zbl 1161.03036号 史蒂文·阿沃迪;安德烈·鲍尔 1 2008 RZ：一种使构造性和可计算性数学更接近编程实践的工具。 Zbl 1156.03301号 安德烈·鲍尔;克里斯托弗·斯通（Christopher A.Stone）。 1 2009 作为构造度量完备的经典代数的规范有效子代数。 Zbl 1247.03090号 安德烈·鲍尔;詹斯·布兰克 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度。 Zbl 07577584号 安德烈·鲍尔 2 2022 一种用于依赖类型理论的可扩展等式检查算法。 Zbl 1504.68276号 安德烈·鲍尔;佩特科维奇·科梅尔（Anja PetkovićKomel） 1 2022 跑步者在运动。 Zbl 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号 安德烈·鲍尔 三 2017 使用代数效果和处理程序进行编程。 Zbl 1304.68025号 安德烈·鲍尔;普雷特纳，马蒂亚 30 2015 从拜尔空间到自然数的注入。 Zbl 1362.03053号 安德烈·鲍尔 7 2015 用于代数效果和处理程序的效果系统。 兹比尔1448.68203 安德烈·鲍尔;普雷特纳，马蒂亚 6 2014 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 具有交集的斜布尔代数的Stone对偶。 Zbl 1284.06032号 安德烈·鲍尔;Cvetko Vah，卡琳 12 2013 非交换普里斯特利对偶。 Zbl 1307.06008号 安德烈·鲍尔;卡琳·Cvetko-Vah;梅·盖尔克;Samuel J.van Gool。;甘纳州Kudryavtseva 12 2013 论拓扑中的布尔巴基-维特原则。 Zbl 1286.03164号 安德烈·鲍尔;彼得·勒法努·卢姆斯代恩 5 2013 用于代数效果和处理程序的效果系统。 Zbl 1394.68051号 安德烈·鲍尔;普雷特纳，马蒂亚 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 链完备格的不动点定理在有效拓扑中的失效。 兹比尔1338.03113 安德烈·鲍尔 1 2009 RZ：一种使构造性和可计算数学更接近编程实践的工具。 Zbl 1156.03301号 安德烈·鲍尔;克里斯托弗·A·斯通。 1 2009 经典代数的规范有效子代数作为构造度量补足。 Zbl 1247.03090号 安德烈·鲍尔;延斯·布兰克 1 2009 使用RZ实现实数。 Zbl 1262.03076号 安德烈·鲍尔;伊斯托克·卡夫克勒 三 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号 安德烈·鲍尔;亚历克斯·辛普森 三 2004 平衡空间和第二类有效性之间的关系。 Zbl 1026.68088号 安德烈·鲍尔 5 2002 平衡空间和第二类有效性之间的关系。 Zbl 1260.68216号 安德烈·鲍尔 4 2001 依赖型和平衡空间的连续泛函。 Zbl 0973.03036号 安德烈·鲍尔;拉尔斯·比克达尔 三 2000 多基本和混合超几何Gosper型算法。 Zbl 0973.33010号 安德烈·鲍尔;马尔科·佩特科夫舍克 20 1999 解析-将定理证明和符号计算相结合的实验。 Zbl 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 安德鲁·斯旺。 三 谢尔盖·阿勒克桑德罗维奇·阿布拉莫夫 三 拉尔斯·比克达尔 三 英戈·布莱希施密特 三 聪，又有 三 Lindley，Sam（山姆·林德利） 三 布雷特·麦克林 三 罗素·奥康纳 三 山姆·桑德斯 三 汤姆·施里杰弗斯 三 马蒂亚斯·施罗德 三 赫尔穆特·塞德尔 三 拉尔夫·福格勒 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 安德鲁·M·皮茨。 2 雷吉斯·贾纳斯，亚恩 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 詹姆斯·查普曼（James T.E.Chapman）。 1 陈少石 1 魏恩根·钦 1 查尔斯·坎泰·崔 1 吉安卢卡·辛科蒂 1 弗朗切斯科·西罗 …还有158位作者 全部的 前5名56篇连载文章被引用 19 MSCS公司。计算机科学中的数学结构 13 计算机科学中的逻辑方法 11 符号计算杂志 11 函数编程杂志 9 理论计算机科学 6 拓扑及其应用 6 纯逻辑与应用逻辑年鉴 4 符号逻辑杂志 4 自动推理杂志 三 代数普遍性 三 纯粹与应用代数杂志 三 工程、通信和计算中的应用代数 三 第比利斯数学杂志 三 离散数学与应用数学的艺术 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） 三 实际功能（26年X月X日） 三 量子理论（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中.