×

找到31个文档（结果1-31）

最新的 引文 关联
西尔维·博尔多;弗朗索瓦·克莱门特;文森特·马丁;米凯拉·梅耶罗;侯达·穆钦

勒贝格归纳原理和托内利定理的Coq形式化。 （英文） Zbl 1529.68315号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。14000, 39-55 (2023).
MSC公司：68版本20 第26页第42页 26B15号 28A35型
PDF格式BibTeX公司 XML格式引用
\textit{S.Boldo}等人，Lect。注释计算。科学。14000，39-55（2023；Zbl 1529.68315）
全文： 内政部 哈尔
都铎Jebelean

用于元素分析的启发式证明程序枣灰蝶属. （英文） Zbl 1485.68284号

Kamaredine，Fairouz（编辑）等人，《智能计算机数学》。2021年7月26日至31日，罗马尼亚蒂米苏拉第十四届国际会议，CICM 2021。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12833130-134（2021年）。
MSC公司：68伏15 26-01 68T20型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{T.Jebelean}，莱克特。注释计算。科学。12833，130-134（2021；Zbl 1485.68284）
全文： 内政部
乌迈尔·西迪克;奥斯曼·哈桑;索菲涅·塔哈尔

面向高阶逻辑中分数阶微积分的形式化。 （英文） Zbl 1417.68194号

Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。勒克特。注释计算。科学。9150, 316-324 (2015).
MSC公司：68吨15 26A33飞机
PDF格式BibTeX公司 XML格式引用
\textit｛U.Siddique｝等人，Lect。注释计算。科学。9150316-324（2015；Zbl 1417.68194）
全文： 内政部 arXiv公司
艾米莉·霍根;多龙·泽尔伯格

一种证明有理差分方程全局渐近稳定性的新算法。 （英文） Zbl 1266.39016号

J.差异Equ。应用。 18，第11期，1853-1873（2012）.
审核人：张凤琴（运城）
MSC公司：39A30型 37C75号 2005年10月26日 39A20型 2010年第65季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Hogan}和\textit{D.Zeilberger}，J.Difference Equ。申请。18、第11号，1853-1873（2012；Zbl 1266.39016）
全文： 内政部 arXiv公司
彼得·里德;鲁本·甘博阿

ACL2中的自动区分。 （英文） Zbl 1342.68301号

Van Eekelen，Marko（编辑）等，交互式定理证明。2011年8月22日至25日，荷兰卑尔根达尔，第二届国际会议，ITP 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22862-9/pbk）。计算机科学讲义6898，312-324（2011）。
MSC公司：68吨15 26-04 26A24年 26E35岁
PDF格式BibTeX公司 XML格式引用
\textit{P.Reid}和\textit{R.Gamboa}，莱克特。注释计算。科学。6898、312--324（2011；Zbl 1342.68301）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件