罗伯特·刘易斯。;吴敏超 Lean和Mathematica之间的双向可扩展接口。 (英语) Zbl 07538895号 J.汽车。推理 第2期第66页,第215-238页(2022年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Y.Lewis}和textit{M.Wu},J.Autom。推理66,No.2,215--238(2022;Zbl 07538895) 全文: 内政部 arXiv公司
史志平;关、勇;李锡盟 复数分析和矩阵理论的形式化。 (英语) Zbl 1471.68006号 新加坡:施普林格;北京:清华大学出版社(ISBN 978-981-15-7260-9/hbk;978-981-15-7263-0/pbk;988-981-15-15-7261-6/电子书)。x、 168页。(2020).MSC公司:68-02 15-02 30-02 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Shi}等人,复分析和矩阵理论的形式化。新加坡:施普林格;北京:清华大学出版社(2020;Zbl 1471.68006) 全文: 内政部
马里亚诺·莫斯卡托。;Lopez Pombo,Carlos G。;塞萨尔·穆尼奥斯。;马可·费利乌。 促进正式规范的重用。 (英语) Zbl 1452.68263号 Avigad,Jeremy(编辑)等,交互式定理证明。2018年7月9日至12日在英国牛津举行的2018年第九届国际会议ITP,作为联邦逻辑会议的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10895, 477-494 (2018).MSC公司:68伏15 08A70号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Moscato}等人,Lect。注释计算。科学。10895、477--494(2018;Zbl 1452.68263) 全文: 内政部
乔纳森·赫拉斯;马丁·马特奥斯,弗朗西斯科·杰苏斯;维科·帕斯夸尔 在ACL2中建模代数结构和形态。 (英语) Zbl 1325.68214号 申请。代数工程通讯。计算。 26,第3期,277-303(2015).MSC公司:68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Heras}等人,应用。代数工程通讯。计算。26,第3号,277--303(2015;Zbl 1325.68214) 全文: 内政部 链接
杨璐;周朝晨;詹乃军;夏碧灿 通过计算机代数进行程序验证的最新进展。 (英语) Zbl 1267.68099号 前面。计算。科学。中国 4,第1期,1-16页(2010年).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Yang}等人,前面。计算。科学。中国4,No.1,1--16(2010;Zbl 1267.68099) 全文: 内政部
尼古拉·波波夫;都铎Jebelean 使用计算机代数技术来规范、验证和合成递归程序。 (英语) Zbl 1183.68757号 数学。计算。模拟。 79,第8期,2302-2309(2009).MSC公司:68瓦30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Popov}和\textit{T.Jebelean},数学。计算。模拟。79,第8号,2302--2309(2009;Zbl 1183.68757) 全文: 内政部
大卫·德拉哈耶;米凯拉·梅耶罗 使用Maple处理Coq中字段上的代数表达式。 (英语) Zbl 1126.68101号 J.塞姆。计算。 39,第5号,569-592(2005).MSC公司:68瓦30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Delahaye}和\textit{M.Mayero},J.Symb。计算。39,第5号,569--592(2005;Zbl 1126.68101) 全文: 内政部
汉内·戈特利布森;汤姆·凯尔西;乌苏拉·马丁 计算数学的隐藏验证。 (英语) Zbl 1126.68103号 J.塞姆。计算。 39,第5期,539-567(2005).MSC公司:68瓦30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Gottliebsen}等人,J.Symb。计算。39,第5号,539--567(2005;Zbl 1126.68103) 全文: 内政部
巴哈雷赫巴德班;Wan Fokkink公司;Jan Friso,格鲁特;庞、军;范德波尔(Jaco van de Pol) 在CRL和PVS中验证滑动窗口协议。 (英语) Zbl 1101.68309号 正式Asp。计算。 第3期第17页,第342-388页(2005年).MSC公司:68米10 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}等人,正式Asp。计算。17,第3号,342--388(2005;Zbl 1101.68309) 全文: 内政部
Farmer,William M。;马丁·冯·莫伦柴尔德 数学管理的正式框架概述。 (英语) Zbl 1038.03013号 安。数学。Artif公司。智力。 38,编号1-3,165-191(2003).MSC公司:03B35型 68瓦30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer}和\textit{M.von Mohrenschild},Ann.数学。Artif公司。智力。38,编号1--3,165-191(2003;Zbl 1038.03013) 全文: 内政部
Farmer,William M。;马丁·冯·莫伦柴尔德 管理数学的正式框架。 (英语) Zbl 0982.68114号 Buchberger,Bruno(编辑)等人,《数学知识管理:MKM 2001》。第一届国际研讨会电子会议记录,RISC,SchloßHagenberg,奥地利,2001年9月24-26日。林茨:林茨大学,37页(2001年)。MSC公司:68吨15 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer}和\textit{M.von Mohrenschildt},in:数学知识管理:MKM 2001。第一届国际研讨会电子会议记录,RISC,SchloßHagenberg,奥地利,2001年9月24日至26日。林茨:林茨大学。37页(2001年;Zbl 0982.68114) 全文: 链接
Wan Fokkink公司 过程代数导论。 (英语) Zbl 0941.68087号 理论计算机科学课文。柏林:斯普林格。viii,163页(2000年)。 审核人:J.Desel(卡尔斯鲁厄) MSC公司:68问题85 68-01 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink},过程代数导论。柏林:施普林格出版社(2000;Zbl 0941.68087)