×

找到21个文档(结果1–21)

多项式动力系统的隐式半代数抽象。 (英语) Zbl 1493.68217号

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 529-551 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

常微分方程的演绎稳定性证明。 (英语) Zbl 1474.68195号

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12652, 181-199 (2021).
PDF格式BibTeX公司 XML格式引用

多项式微分方程中的代数、余代数和极小化。 (英语) Zbl 1486.68109号

Esparza,Javier(编辑)等人,《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017,作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10203, 71-87 (2017).
PDF格式BibTeX公司 XML格式引用

连续和混合动力系统活性性质的直接形式化验证。 (英语) Zbl 1427.68174号

Björner,Nikolaj(编辑)等人,FM 2015:形式方法。第20届国际研讨会,挪威奥斯陆,2015年6月24-26日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9109, 514-531 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

KeYmaera X:混合系统的公理化战术定理证明器。 (英语) Zbl 1465.68281号

Felty,Amy P.(编辑)等人,《自动扣除——CADE-25》。2015年8月1日至7日,德国柏林,第25届自动扣款国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9195, 527-538 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

非线性微分系统研究中的计算机代数方法。 (俄语、英语) Zbl 1299.70015号

Zh公司。维奇尔。材质材质材质。 53,第6期,1027-1040(2013); 计算中的翻译。数学。数学。物理学。53,第6期,845-857(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份