×

找到7个文档(结果1-7)

计算机有什么意义?这是一个纯粹数学家的问题。 (英语) Zbl 07821721号

Beliaev,Dmitry(编辑)等人,《2022年国际数学家大会》,ICM 2022,芬兰赫尔辛基,虚拟,2022年7月6日至14日。第2卷。全体演讲。柏林:欧洲数学学会(EMS)。578-608 (2023).
MSC公司:68V20型
PDF格式BibTeX公司 XML格式引用

验证了定积分的交互式计算。 (英语) Zbl 07437096号

AndréPlatzer等人,《自动扣除——CADE 28》。2021年7月12日至15日,第28届自动扣款国际会议,虚拟活动。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12699885-503(2021年)。
MSC公司:03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种基于证书的方法,用于正式验证近似值。 (英语) 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格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份