尤里·马蒂亚塞维奇
人员信息
unicode名称: Ю́рий Влади́мирович Матиясе́вич 附属: 俄罗斯圣彼得堡Steklov数学研究所
优化列表
2020年–今天
2024 [公元29年] 尤里·马蒂亚塞维奇 :
朝向黎曼-泽塔函数零点的非迭代计算。 Inf.计算。 296 : 105130 ( 2024 ) 2022 [公元28年] 乔纳斯·拜耳 , 马可·戴维 , Benedikt股票 , 阿比克·帕尔 , 尤里·马蒂亚塞维奇 , 迪尔克·施莱彻 :
丢番图方程和DPRM定理。 架构(architecture)。 正式证明 2022 ( 2022 ) [第13条] 尤里·马蒂亚塞维奇 :
关于计算黎曼-泽塔函数零点的一些代数方法。 计算机辅助教学 2022 : 15-25 [i3] 乔纳斯·拜耳 , 克里斯托夫·本兹穆勒 , 凯文·巴扎德 , 马可·戴维 , 莱斯利·兰伯特 , 尤里·马蒂亚塞维奇 , 劳伦斯·保尔森 , 迪尔克·施莱彻 , Benedikt股票 , 埃菲姆·泽尔马诺夫 :
代际数学证明。 CoRR公司 abs/2207.04779 ( 2022 ) 2020 [公元27年] 尤里·马蒂亚塞维奇 :
计算机科学中的黎曼假设。 西奥。 计算。 科学。 807 : 257-265 ( 2020 )
2010 – 2019
2018 [公元26年] 维萨·哈拉瓦 , Juhani Karhumäki公司 , 尤里·马蒂亚塞维奇 , 米哈伊尔·沃尔科夫 :
完美。 芬丹。 信息学 162 ( 2-3 ) : 我 ( 2018 ) [公元25年] 尤里·马蒂亚塞维奇 :
Ramanujan Tau数的计算重新发现。 整数 18安 : 答14 ( 2018 ) 2017 [公元24年] 维萨·哈拉瓦 , 尤里·马蒂亚塞维奇 , 雷诺·尼斯卡宁 :
关于终止问题的小半色调系统的通用性。 芬丹。 信息学 154 ( 1-4 ) : 177-184 ( 2017 ) 2016 [公元23年] Juhani Karhumäki公司 , 弗拉基米尔·马扎洛夫 , 尤里·马蒂亚塞维奇 :
前言。 芬丹。 信息学 145 ( 三 ) : i-ii ( 2016 ) [第1页] 尤里·马蒂亚塞维奇 :
马丁·戴维斯和希尔伯特的第十个问题。 马丁·戴维斯谈可计算性、计算逻辑和数学基础 2016 : 35-54 2015 [公元22年] 格列布·贝利亚科夫 , 尤里·马蒂亚塞维奇 :
用有限Dirichlet级数逼近Riemann的Zeta函数:一种多精度数值方法。 实验数学。 24 ( 2 ) : 150-161 ( 2015 ) 2014 [公元21年] 维萨·哈拉瓦 , Juhani Karhumäki公司 , 尤里·马蒂亚塞维奇 :
前言。 芬丹。 信息学 132 ( 1 ) ( 2014 ) 2013 [i2] 格列布·贝利亚科夫 , 尤里·马蒂亚塞维奇 :
用于计算GPU和MPI集群的高精度大行列式的并行算法。 CoRR公司 abs/1308.1536 ( 2013 ) 2012 [第12条] 尤里·马蒂亚塞维奇 :
扩大数学自动推理成功技术的适用范围。 国际JCAR 2012 : 9 2010 [j20] 谢尔盖·N·阿特莫夫 , 尤里·马蒂亚塞维奇 , 格里戈里造币厂 , 阿纳托尔·斯利森科 :
前言。 Ann.纯粹应用。 日志。 162 ( 三 ) : 173-174 ( 2010 ) [公元19年] 尤里·马蒂亚塞维奇 :
四色猜想的又一个概率改写。 梳子。 普罗巴伯。 计算。 19 ( 5-6 ) : 829-834 ( 2010 )
2000 – 2009
2009 [公元18年] 尤里·马蒂亚塞维奇 :
丢番图方程的存在算术。 Ann.纯粹应用。 日志。 157 ( 2-3 ) : 225-233 ( 2009 ) [公元17年] 维萨·哈拉瓦 , 贾科·卡里 , 尤里·马蒂亚塞维奇 :
字母单调语言的后对应问题。 西奥。 计算。 科学。 410 ( 30-32 ) : 2957-2960 ( 2009 ) 2008 [公元16年] 帕特里克·塞吉尔斯基(Patrick Cégielski) , 伊雷恩·盖萨里安 , 尤里·马蒂亚塞维奇 :
树包含问题。 RAIRO提奥。 信息学应用。 42 ( 1 ) : 5-20 ( 2008 ) [公元15年] 尤里·弗拉迪米罗维奇·马蒂亚塞维奇 :
马蒂亚塞维奇定理。 学者媒体 三 ( 7 ) : 7095 ( 2008 ) 2006 [公元14年] 尤里·马蒂亚塞维奇 , 谢尔盖·N·阿特莫夫 :
前言。 Ann.纯粹应用。 日志。 141 ( 三 ) : 307 ( 2006 ) [j13] 帕特里克·塞吉尔斯基(Patrick Cégielski) , 伊雷恩·盖萨里安 , 尤里·马蒂亚塞维奇 :
多个连续剧匹配。 信息处理。 莱特。 98 ( 6 ) : 211-218 ( 2006 ) [第11条] 帕特里克·塞吉尔斯基(Patrick Cégielski) , 伊雷恩·盖萨里安 , Yury Lifshits公司 , 尤里·马蒂亚塞维奇 :
压缩文本的窗口后继问题。 企业社会责任 2006 : 127-136 [i1] 帕特里克·塞吉尔斯基(Patrick Cégielski) , 伊雷恩·盖萨里安 , 尤里·马蒂亚塞维奇 :
多连续剧匹配。 CoRR公司 abs/cs/0603050 ( 2006 ) 2005 [公元12年] 尤里·马蒂亚塞维奇 , 盖劳德·塞尼泽格斯 :
具有一些规则的半周四系统的决策问题。 西奥。 计算。 科学。 330 ( 1 ) : 145-169 ( 2005 ) [第10条] 尤里·马蒂亚塞维奇 :
希尔伯特第十问题与计算范式。 CiE公司 2005 : 310-321 2004 [公元11年] 尤里·马蒂亚塞维奇 :
四色猜想的一些概率重述。 J.图论 46 ( 三 ) : 167-179 ( 2004 ) [公元10年] 尤里·马蒂亚塞维奇 :
从定义递归可枚举集的算术公式中消除量词。 数学。 计算。 模拟。 67 ( 1-2 ) : 125-133 ( 2004 ) 2003 [公元9年] 丹尼尔·博基尔 , 迪米特里·格里戈里耶夫 , 尤里·马蒂亚塞维奇 :
A.O.Slissenko传记。 西奥。 计算。 科学。 303 ( 1 ) : 3-5 ( 2003 ) 2001 [j8] 尤里·马蒂亚塞维奇 :
前言。 Ann.纯粹应用。 日志。 113 ( 1-3 ) : 1- ( 2001 ) [j7] 吕克·博阿松 , 帕特里克·塞吉尔斯基(Patrick Cégielski) , 伊雷恩·盖萨里安 , 尤里·马蒂亚塞维奇 :
窗口累积子序列匹配问题是线性的。 Ann.纯粹应用。 日志。 113 ( 1-3 ) : 59-80 ( 2001 ) [j6] 尤里·马蒂亚塞维奇 :
四色猜想的一些算术重述。 西奥。 计算。 科学。 257 ( 1-2 ) : 167-183 ( 2001 )
1990 – 1999
1999 [j5] 沃尔克·迪克特 , 尤里·马蒂亚塞维奇 , 安卡·穆斯科尔 :
解模部分交换的字方程。 西奥。 计算。 科学。 224 ( 1-2 ) : 215-235 ( 1999 ) 【c9】 吕克·博阿松 , 帕特里克·塞吉尔斯基(Patrick Cégielski) , 伊雷恩·盖萨里安 , 尤里·马蒂亚塞维奇 :
窗口累积子序列匹配问题是线性的。 豆荚 1999 : 327-336 1998 【c8】 尤里·马蒂亚塞维奇 :
普遍多项式。 单片机(1) 1998 : 1-20 1997 【c7】 沃尔克·迪克特 , 尤里·马蒂亚塞维奇 , 安卡·穆斯科尔 :
使用词汇规范形式求解轨迹方程。 ICALP公司 1997 : 336-346 【c6】 尤里·马蒂亚塞维奇 :
痕迹的一些决策问题。 LFCS公司 1997 : 248-257 1996 [j4] 尤里·马蒂亚塞维奇 , 阿尼尔·内罗德 :
前言——为纪念“圣彼得堡逻辑”计算机科学逻辑基础研讨会而发表的论文。 Ann.纯粹应用。 日志。 78 ( 1-3 ) : 1 ( 1996 ) [j3] 帕特里克·塞吉尔斯基(Patrick Cégielski) , 尤里·马蒂亚塞维奇 , 丹尼斯·理查德 :
带可除谓词的整数扩张中的可定义性和可判定性问题。 J.塞姆。 日志。 61 ( 2 ) : 515-540 ( 1996 ) 【c5】 安纳托利·德吉亚列夫 , 尤里·马蒂亚塞维奇 , 安德烈·沃伦科夫 :
同时E统一及相关算法问题。 低收入国家 1996 : 494-502 【c4】 尤里·马蒂亚塞维奇 , 盖劳德·塞尼泽格斯 :
具有少量规则的半色调系统的决策问题。 低收入国家 1996 : 523-531 1995 【c3】 尤里·马蒂亚塞维奇 :
论数理逻辑对重写技术的贡献:遗失的遗产(摘要)。 区域贸易协定 1995 : 1 1994 [注2] 尤里·马蒂亚塞维奇 :
用丢番图方程模拟部分递归函数的直接方法。 Ann.纯粹应用。 日志。 67 ( 1-3 ) : 325-348 ( 1994 ) [电子1] 阿尼尔·内罗德 , 尤里·马蒂亚塞维奇 :
《计算机科学的逻辑基础》,第三届国际研讨会,LFCS’94,俄罗斯圣彼得堡,1994年7月11日至14日,会议记录。 计算机科学课堂讲稿 813, 施普林格 1994 ,国际标准图书编号 3-540-58140-5 [目录] 1993 [c2] 尤里·马蒂亚塞维奇 :
具有一些关系的Thue系统的单词问题。 术语重写 1993 : 39-53 【c1】 尤里·马蒂亚塞维奇 :
作为约束传播的间隔计算。 北约ASI CP 1993 : 140-152
1980 – 1989
1984 [j1] 詹姆斯·P·琼斯 , 尤里·马蒂亚塞维奇 :
可枚举集的指数丢番图表示定理的寄存器机证明。 J.塞姆。 日志。 49 ( 三 ) : 818-829 ( 1984 )