弗洛里安·费索尔 Runge-Kutta方法的形式验证舍入误差分析。 (英语) Zbl 07800194号 J.汽车。推理 68,第1期,第1号论文,33页(2024年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{F.Faissole},J.Autom。推理68,第1号,论文1,33页(2024;Zbl 07800194) 全文: 内政部
凯文·巴扎德 计算机有什么意义?这是一个纯粹数学家的问题。 (英语) Zbl 07821721号 Beliaev,Dmitry(编辑)等人,《2022年国际数学家大会》,ICM 2022,芬兰赫尔辛基,虚拟,2022年7月6日至14日。第2卷。全体演讲。柏林:欧洲数学学会(EMS)。578-608 (2023).MSC公司:68V20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Buzzard},in:2022年国际数学家大会,ICM 2022,芬兰赫尔辛基,虚拟,2022年7月6日至14日。第2卷。全体演讲。柏林:欧洲数学学会(EMS)。578--608(2023;Zbl 07821721) 全文: 内政部 arXiv公司 OA许可证
Jean-Philippe Lessard;卡纳梅·松井;秋藤忠雄(Takayasu,Akitoshi) 带计算机辅助证明的鞍式放大解决方案:全球性质的验证和提取。 (英语) Zbl 1518.34010号 非线性科学杂志。 33,第3号,第46号论文,第76页(2023年).MSC公司:34甲12 34C11号机组 68伏05 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Lessard}等人,《非线性科学杂志》。33,第3号,第46号文件,第76页(2023;Zbl 1518.34010) 全文: 内政部 arXiv公司
达尼尔·纳吉;兰伯特·普拉维茨;费伦茨·赫格德·吕斯 在GPU和CPU上求解大量非刚性低维常微分方程系统的艺术。 (英语) Zbl 1498.65233号 Commun公司。非线性科学。数字。模拟。 112,文章ID 106521,27 p.(2022).MSC公司:65岁10岁 2005年5月 65升06 PDF格式BibTeX公司 XML格式引用 \textit{D.Nagy}等人,Commun。非线性科学。数字。模拟。112,文章ID 106521,27 p.(2022;Zbl 1498.65233) 全文: 内政部
徐润清;李丽明;詹伯华 验证了定积分的交互式计算。 (英语) Zbl 07437096号 AndréPlatzer等人,《自动扣除——CADE 28》。2021年7月12日至15日,第28届自动扣款国际会议,虚拟活动。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12699885-503(2021年)。MSC公司:03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Xu}等人,Lect。注释计算。科学。12699、485--503(2021;Zbl 07437096) 全文: 内政部
谢尔盖·贡琴科;阿列克谢·卡扎科夫;德米特里·图雷夫 四维Lorenz系统中的野生伪双曲吸引子。 (英语) Zbl 1472.34106号 非线性 34,第4期,2018-2047(2021). 审核人:爱德华·穆萨菲罗夫(格罗德诺) MSC公司:34D45号 34A34飞机 34C28个 37D45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Gonchenko}等人,非线性34,编号42018-2047(2021;Zbl 1472.34106) 全文: 内政部 arXiv公司
佛罗伦萨布莱哈德;阿西亚·马布比;Damien Pous 一种基于证书的方法,用于正式验证近似值。 (英语) Zbl 07649957号 Harrison,John(ed.)等人,第十届交互式定理证明国际会议,2019年9月9日至12日,美国俄勒冈州波特兰。会议记录。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。141,第8条,第19页(2019年)。MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{F.Bréhard}等人,LIPIcs——莱布尼茨国际程序。通知。141,第8条,第19页(2019年;Zbl 07649957) 全文: 内政部