马丁·齐格勒 0001
人员信息
附属: 韩国高级科学技术学院(KAIST)计算学院 隶属关系(前): 达姆施塔特科技大学数学系 隶属关系(前): 帕德博恩大学计算机科学系
其他同名人员
马丁·齐格勒 0002 — 弗赖堡大学数学研究所 (还有1个) 马丁·齐格勒 0003 -布鲁内尔大学艺术学院 马丁·齐格勒 0004 -基尔大学电气工程与信息技术学院 马丁·齐格勒 0005 -柏林技术大学,德国希夫斯研究所 马丁·齐格勒 0006 -TU Ilmenau,德国 马丁·齐格勒 0007 -亚琛工业大学岩土工程系,德国
SPARQL查询
优化列表
2020年–今天
2024 [公元23年] Sewon公园 , 弗兰兹·布劳 , 彼得·柯林斯 , SunYoung Kim公司 , 米查尔·科内肯(Michal Konecn) , 吉西克·李 , 诺伯特·米勒 , 艾克·诺依曼 , 诺伯特·普赖宁 , 马丁·齐格勒 :
精确实计算的语义、规范逻辑和Hoare逻辑。 日志。 方法计算。 科学。 20 ( 2 ) ( 2024 ) [公元49年] 克劳斯·梅尔 , 马丁·齐格勒 :
可计算分析中的软件测试。 加州大学北卡罗来纳州 2024 : 58-73 2023 [公元22年] 伊万·科斯瓦拉 , 格勒布·波古丁 , 斯维特兰娜·塞利瓦诺娃 , 马丁·齐格勒 :
偏微分方程线性演化系统经典解的位复杂性。 J.复杂。 76 : 101727 ( 2023 ) [第28条] 林东铉 , 马丁·齐格勒 :
二阶和高阶多项式的阶数。 CoRR公司 abs/2305.03439 ( 2023 ) 2022 [公元48年] 弗兰兹·布劳 , 彼得·柯林斯 , 马丁·齐格勒 :
连续数据的计算机科学-计算机的调查、视觉、理论和实践[内联图形不可用:见全文]分析系统。 中国科学院 2022 : 62-82 2021 [公元47年] 斯维特兰娜·塞利瓦诺娃 , 弗洛里安·斯坦博格 , 霍尔格·蒂斯 , 马丁·齐格勒 :
偏微分方程线性分析系统解算子的精确实计算。 中国科学院 2021 : 370-390 [公元46年] 伊万·科斯瓦拉 , 格勒布·波古丁 , 斯维特兰娜·塞利瓦诺娃 , 马丁·齐格勒 :
线性演化偏微分方程组解的位复杂性。 CSR公司 2021 : 223-241 2020 [公元45年] 孙淑明 , 宁忠 , 马丁·齐格勒 :
通过有效逼近求解Navier-Stokes方程的可计算性。 复杂性和近似 2020 : 80-112 [公元44年] 林东铉 , 马丁·齐格勒 :
紧度量空间的定量编码与复杂性理论。 CiE公司 2020 : 205-214 [公元43年] 阿诺·保利 , 东成世 , 马丁·齐格勒 :
计算Haar度量。 CSL公司 2020 : 34:1-34:17 [i27] 林东铉 , 马丁·齐格勒 :
连续基数编码空间的定量多值选择定理。 CoRR公司 abs/2002.04005 ( 2020 )
2010 – 2019
2019 [公元42年] 伊万·科斯瓦拉 , 斯维特兰娜·塞利瓦诺娃 , 马丁·齐格勒 :
实功率计算复杂性和改进的线性微分方程求解。 CSR公司 2019 : 215-227 [i26] 威廉·福凯 , 李显宇 , 林东铉 , Sewon公园 , 马蒂亚斯·施罗德 , 马丁·齐格勒 :
连续数据的随机计算:布朗运动可计算吗? CoRR公司 abs/1906.06684 ( 2019 ) [i25] 阿诺·保利 , 东升盛 , 马丁·齐格勒 :
计算哈尔度量。 CoRR公司 abs/1906.12220 ( 2019 ) 2018 [公元41年] 川村昭通 , 霍尔格·蒂斯 , 马丁·齐格勒 :
哈密顿动力学的平均情形多项式时间可计算性。 MFCS公司 2018 : 30:1-30:17 [公元40年] 赵俊熙 , Sewon公园 , 马丁·齐格勒 :
计算周期。 WALCOM公司 2018 : 132-143 【i24】 川村昭通 , 马丁·齐格勒 :
真实复杂性理论邀请函:比特成本可靠数值的算法基础。 CoRR公司 abs/1801.07108 ( 2018 ) [第23条] 川村昭通 , 林东铉 , 斯维特拉娜·塞利瓦诺娃 , 马丁·齐格勒 :
定量可容许表示和第二类复杂性理论的“主定理”。 CoRR公司 abs/1809.08695 ( 2018 ) 2017 [公元21年] 安德烈·鲍尔 , 乌尔里希·伯杰 , 威廉·福凯 , Dieter Spreen公司 , Hideki Tsuiki先生 , 马丁·齐格勒 :
连续性、可计算性、可构造性:从逻辑到算法2014(特刊前言:连续性、计算性、构造性:2014年从逻辑到运算法则)。 J.日志。 分析。 9 ( 2017 ) [公元20年] 川村昭通 , 弗洛里安·斯坦博格 , 马丁·齐格勒 :
关于泊松方程Dirichlet问题的计算复杂性。 数学。 结构。 计算。 科学。 27 ( 8 ) : 1437-1465 ( 2017 ) [i22] Chansu公园 , Ji-won公园 , Sewon公园 , 东升盛 , 马丁·齐格勒 :
度量空间紧子集上的可计算运算及其在Fréchet距离和形状优化中的应用。 CoRR公司 abs/1701.08402 ( 2017 ) 2016 [j19] 克里斯蒂安·赫尔曼 , 铃本康树 , 马丁·齐格勒 :
关于模格和相关结构的一致性问题。 国际代数计算杂志。 26 ( 8 ) : 1573-1595 ( 2016 ) [公元18年] 克里斯蒂安·赫尔曼 , 马丁·齐格勒 :
量子可满足性的计算复杂性。 美国临床医学杂志 63 ( 2 ) : 19:1-19:31 ( 2016 ) [公元39年] 川村昭通 , 弗洛里安·斯坦博格 , 马丁·齐格勒 :
分析中高级函数空间的计算复杂性理论。 CiE公司 2016 : 142-152 [公元38年] 川村昭通 , 弗洛里安·斯坦博格 , 马丁·齐格勒 :
紧度量空间上函数的复杂性理论。 低收入国家 2016 : 837-846 【i21】 诺伯特·米勒 , Sewon公园 , 诺伯特·普赖宁 , 马丁·齐格勒 :
连续数据类型上强制多值编程的形式验证。 CoRR公司 abs/1608.05787 ( 2016 ) 2015 [公元17年] 川村昭通 , 诺伯特·米勒 , 卡斯滕·罗斯尼克 , 马丁·齐格勒 :
平滑度的计算优势:分析函数和Gevrey层次上数值运算符的参数化位复杂性。 J.复杂。 31 ( 5 ) : 689-714 ( 2015 ) [公元37年] 孙淑明 , 宁忠 , 马丁·齐格勒 :
关于Navier-Stokes方程的可计算性。 CiE公司 2015 : 334-342 [公元36年] 雨果·弗雷 , 马丁·齐格勒 :
关于正线性泛函的计算复杂性 C类 [0;1]. MACIS公司 2015 : 489-504 [公元35年] 马蒂亚斯·施罗德 , 弗洛里安·斯坦博格 , 马丁·齐格勒 :
实函数的平均情形位复杂理论。 MACIS公司 2015 : 505-519 2014 [公元16年] 川村昭通 , 大田弘之 , 卡斯滕·罗斯尼克 , 马丁·齐格勒 :
光滑微分方程的计算复杂性。 日志。 方法计算。 科学。 10 ( 1 ) ( 2014 ) [公元34年] 诺伯特·米勒 , 马丁·齐格勒 :
从微积分到无误差算法。 信息和通信管理系统 2014 : 718-724 [i20] 马蒂亚斯·恩格勒 , 桑德拉·西伯特 , 马丁·齐格勒 :
机器伦理的逻辑局限性及其对致命自主武器的影响。 CoRR公司 abs/1411.2842 ( 2014 ) 2013 [公元15年] 阿诺·保利 , 马丁·齐格勒 :
关系的相对可计算性和一致连续性。 J.日志。 分析。 5 ( 2013 ) [公元33年] 克劳斯·安布罗斯·斯皮斯 , 乌尔里克·勃兰特 , 马丁·齐格勒 :
承诺和建议的真正好处。 CiE公司 2013 : 1-11 [公元32年] 克里斯蒂安·赫尔曼 , 约翰娜·索科利 , 马丁·齐格勒 :
对于实际的非确定性多时Blum-Shub-Smale机器,交叉乘积项的可满足性是完全的。 MCU(微控制器) 2013 : 85-92 2012 [公元14年] 马丁·齐格勒 :
具有最小离散建议的实际计算:非均匀可计算性的复杂性理论及其在有效线性代数中的应用。 Ann.纯粹应用。 日志。 163 ( 8 ) : 1108-1139 ( 2012 ) [公元31年] 川村昭通 , 大田弘之 , 卡斯滕·罗斯尼克 , 马丁·齐格勒 :
光滑微分方程的计算复杂性。 MFCS公司 2012 : 578-589 [i19] 川村昭通 , 诺伯特·米勒 , 卡斯滕·罗斯尼克 , 马丁·齐格勒 :
数值中的参数化统一复杂性:从平滑到分析,从NP-hard到Polytime。 CoRR公司 abs/1211.4974 ( 2012 ) 2011 [j13] 托比亚斯·加特纳 , 马丁·齐格勒 :
实分析机与度:代数极限计算的拓扑视图。 日志。 方法计算。 科学。 7 ( 三 ) ( 2011 ) [公元30年] 克里斯蒂安·赫尔曼 , 马丁·齐格勒 :
量子可满足性的计算复杂性。 低收入国家 2011 : 175-184 [公元29年] 托比亚斯·加特纳 , 马丁·齐格勒 :
真正的分析机器和学位。 CCA公司 2011 : 77-91 2010 [i18] 克里斯蒂安·赫尔曼 , 马丁·齐格勒 :
几何量子逻辑的表达性和计算复杂性。 CoRR公司 abs/1004.1696 ( 2010 )
2000 – 2009
2009 [公元12年] 马丁·齐格勒 :
物理相对论丘吉尔-托林假设:计算的物理基础和计算物理的复杂性理论。 申请。 数学。 计算。 215 ( 4 ) : 1431-1447 ( 2009 ) [公元11年] 克劳斯·梅尔 , 马丁·齐格勒 :
真实计算普遍性:一类具有无限表示的群的单词问题。 已找到。 计算。 数学。 9 ( 5 ) : 599-609 ( 2009 ) [公元28年] 马丁·齐格勒 :
具有最小离散建议的实计算:非均匀可计算性的复杂性理论。 CCA公司 2009 [公元27年] 弗洛伦丁·诺依曼 , 安德里亚·赖森伯格 , 马丁·齐格勒 :
图灵测试在互联网和虚拟现实时代的变化。 KI公司 2009 : 355-362 [i17] 马蒂亚斯·菲舍尔 , 克劳迪斯·贾恩 , 马丁·齐格勒 :
预测算法行为的自适应网格方法及其在计算机图形学可见性剔除中的应用。 CoRR公司 abs/0903.2119 ( 2009 ) [i16] 弗洛伦丁·诺依曼 , 安德烈亚·雷森伯格(Andrea Reichenberger) , 马丁·齐格勒 :
图灵测试在互联网和虚拟现实时代的变化。 CoRR公司 abs/0904.3612 ( 2009 ) 2008 [公元10年] M.Reza Emamy-Khansary先生 , 马丁·齐格勒 :
在d≤6的d-立方体的覆盖层上。 谨慎。 申请。 数学。 156 ( 17 ) : 3156-3165 ( 2008 ) [公元9年] 克劳斯·梅尔 , 马丁·齐格勒 :
Post问题在现实中的明确解决方案。 J.复杂。 24 ( 1 ) : 3-15 ( 2008 ) [j8] 圣埃芬·勒鲁 , 马丁·齐格勒 :
闭集可计算性的奇异覆盖和非一致概念。 数学。 日志。 问:。 54 ( 5 ) : 545-560 ( 2008 ) [公元26年] 凯萨琳娜·吕尔韦·布吕格迈耶 , 马丁·齐格勒 :
关于使用非算术基元进行更快的整数计算。 加州大学 2008 : 111-128 [公元25年] 马丁·齐格勒 , 沃特·科伦 :
科尔莫戈洛夫现实复杂性理论。 CCA公司 2008 : 153-169 【i15】 马丁·齐格勒 , 沃特·科伦 :
科尔莫戈洛夫现实复杂性理论。 CoRR公司 abs/0802.2027 ( 2008 ) [第14条] 马丁·齐格勒 :
与身体相关的教会-宗教假设。 CoRR公司 abs/0805.1292 ( 2008 ) [i13] 马蒂亚斯·菲舍尔 , 马蒂亚斯·希尔比格 , 克劳迪斯·贾恩 , 弗里德海姆·梅耶(Friedhem Meyer auf der Heide) , 马丁·齐格勒 :
平面可见性计数。 CoRR公司 abs/0810.0052 ( 2008 ) [i12] 马丁·齐格勒 :
少离散建议的实计算:非均匀可计算性的复杂性理论。 CoRR公司 abs/0811.3782 ( 2008 ) 2007 【b2】 马丁·齐格勒 :
真正的可计算性和超计算。 德国帕德博恩大学, Technischer Bericht公司:Reihe Informatik 07-285, 2007 ,第1-160页 [j7] 克里斯蒂安·辛德尔豪尔 , 克劳斯·沃尔伯特 , 马丁·齐格勒 :
无线网络中应用的几何扳手。 计算。 地理。 36 ( 三 ) : 197-214 ( 2007 ) [j6] 马丁·齐格勒 :
真实超计算和连续性。 理论计算。 系统。 41 ( 1 ) : 177-206 ( 2007 ) [公元24年] 马丁·齐格勒 :
(简短)真实超计算综述。 CiE公司 2007 : 809-824 【c23】 克劳斯·梅尔 , 马丁·齐格勒 :
真实计算普遍性:一类具有无限表示的群的单词问题。 MFCS公司 2007 : 726-737 [公元22年] 圣埃芬·勒鲁 , 马丁·齐格勒 :
闭集可计算性的奇异覆盖和非一致概念。 CCA公司 2007 : 73-88 [i11] 凯萨琳娜·吕尔韦·布吕格迈耶 , 马丁·齐格勒 :
关于使用非算术基元进行更快的整数计算。 CoRR公司 abs/0709.0624 ( 2007 ) 2006 [j5] 马丁·齐格勒 :
有效地打开实际函数。 J.复杂。 22 ( 6 ) : 827-849 ( 2006 ) 【j4】 马丁·齐格勒 :
可计算代数模型中的稳定性与速度。 西奥。 计算。 科学。 351 ( 1 ) : 14-26 ( 2006 ) 【c21】 克劳斯·梅尔 , 马丁·齐格勒 :
真实停机问题下的不可计算性。 CiE公司 2006 : 368-377 [公元20年] 马丁·齐格勒 :
修改2类计算和不连续度。 CCA公司 2006 : 255-274 [i10] 克劳斯·梅尔 , 马丁·齐格勒 :
真正的计算普遍性:一类具有无限表示的群的单词问题。 连续问题的算法和复杂性 2006 [第九章] 克劳斯·梅尔 , 马丁·齐格勒 :
波斯特在雷亚尔问题的明确解决方案。 CoRR公司 abs/cs/0603071 ( 2006 ) [i8] 马丁·齐格勒 , 克劳斯·梅尔 :
真正的计算普遍性:一类具有无限表示的群的单词问题。 CoRR公司 abs/cs/0604032 ( 2006 ) [i7] 马丁·齐格勒 :
修改2类计算和不连续度。 CoRR公司 abs/cs/0607114 ( 2006 ) [i6] 圣埃芬·勒鲁 , 马丁·齐格勒 :
具有或不具有可计算点的可计算闭欧几里德子集。 CoRR公司 abs/cs/0610080型 ( 2006 ) 2005 [第19条] 马丁·齐格勒 :
有效地打开实函数。 CCA公司 2005 : 357-374 [第18条] 马丁·齐格勒 :
实算术层次上的可计算性和连续性以及2型不确定性的威力。 CiE公司 2005 : 562-571 [第17条] 斯文·科勒 , 克里斯蒂安·辛德尔豪尔 , 马丁·齐格勒 :
关于逼近现实世界中止问题。 FCT公司 2005 : 454-466 [第16条] 克劳斯·梅尔 , 马丁·齐格勒 :
波斯特在雷亚尔问题的明确解决方案。 FCT公司 2005 : 467-478 [i5] 马丁·齐格勒 :
有效地打开实函数。 CoRR公司 abs/cs/0501024 ( 2005 ) [i4] 马丁·齐格勒 :
真实超计算和连续性。 CoRR公司 abs/cs/0508069 ( 2005 ) [i3] 马丁·齐格勒 :
线性递归序列的快速(多)评估:改进和应用。 CoRR公司 abs/cs/0511033 ( 2005 ) 2004 [j3] 马丁·齐格勒 :
正则集上的可计算运算符。 数学。 日志。 问:。 50 ( 4-5 ) : 392-404 ( 2004 ) [注2] 马丁·齐格勒 , 瓦斯科·布拉特卡 :
线性代数中的可计算性。 西奥。 计算。 科学。 326 ( 1-3 ) : 187-211 ( 2004 ) [第15条] 迈克尔·努斯肯 , 马丁·齐格勒 :
二元多项式的快速多点评估。 欧洲航天局 2004 : 544-555 [第14条] 克里斯蒂安·辛德尔豪尔 , 克劳斯·沃尔伯特 , 马丁·齐格勒 :
无线网络的扳手、弱扳手和电源扳手。 国际会计准则委员会 2004 : 805-821 [i2] 迈克尔·努斯肯 , 马丁·齐格勒 :
二元多项式的快速多点估值。 CoRR公司 反恐精英。 第0403022页 ( 2004 ) 2003 【b1】 马丁·齐格勒 :
Zur Berechenbarkeit卷取机几何问题。 HNI-Verlagsschriftenreihe公司 115, Heinz Nixdorf研究所 2003 ,国际标准图书编号 978-3-935433-24-2 ,第1-121页 [第13条] 马丁·齐格勒 :
四元数多项式的准最优算法。 国际会计准则委员会 2003 : 705-715 [第12条] 马丁·齐格勒 :
势场的快速相对近似。 WADS公司 2003 : 140-149 [i1] 马丁·齐格勒 :
四元数多项式的准最优算法。 CoRR公司 反恐精英。 SC/0304004号 ( 2003 ) 2002 [j1] 马丁·齐格勒 :
欧氏空间正则子集的可计算性。 数学。 日志。 问:。 48 ( S1(第一阶段) ) : 157-181 ( 2002 ) [第11条] 瓦伦蒂娜·达梅罗 , 卢卡斯·芬斯基 , 马丁·齐格勒 :
最小尺寸的点定位算法。 中建集团 2002 : 5-9 [第10条] 瓦斯科·布拉特卡 , 马丁·齐格勒 :
线性方程组的可计算性。 IFIP TCS 2002 : 95-106 2001 【c9】 马丁·齐格勒 , 瓦斯科·布拉特卡 :
(非线性)线性优化的图灵可计算性。 中建集团 2001 : 181-184 【c8】 M.Reza Emamy-Khansary先生 , 马丁·齐格勒 :
超立方体切片数的新边界。 DM-CCG公司 2001 : 155-164 2000 【c7】 马丁·齐格勒 , 瓦斯科·布拉特卡 :
一个可计算的谱定理。 CCA公司 2000 : 378-388 【c6】 克里斯蒂安·索勒 , 马丁·齐格勒 :
计算切割数。 中建集团 2000 [c5] 阿图尔·祖马 , 克里斯蒂安·索勒 , 马丁·齐格勒 :
计算几何中的属性测试。 欧洲航天局 2000 : 155-166 【c4】 马丁·齐格勒 , 瓦斯科·布拉特卡 :
计算线性子空间的维数。 SOFSEM公司 2000 : 450-458
1990 – 1999
1999 【c3】 马蒂亚斯·菲舍尔 , 塔马斯·卢科夫斯基 , 马丁·齐格勒 :
最小程度的分区邻里扳手。 中建集团 1999 1998 【c2】 马蒂亚斯·菲舍尔 , 塔马斯·卢科夫斯基 , 马丁·齐格勒 :
实时弱扳手漫游动画中的几何搜索。 欧洲航天局 1998 : 163-174 【c1】 马蒂亚斯·菲舍尔 , 塔马斯·卢科夫斯基 , 马丁·齐格勒 :
一种基于网络的大规模模型实时漫游方法。 WAE公司 1998 : 133-142