让-菲利普·莱萨;卡纳梅·松井;秋藤忠雄(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公司
安德鲁·索戈孔;斯特凡·米奇;Tan,Yong Kiam先生;凯瑟琳·科德威尔;安德烈·普拉泽 飞马座:声音连续不变生成。 (英语) Zbl 1505.68045号 形式方法系统。设计。 58,编号1-2,5-41(2021).MSC公司:68伏15 34-04 60年第68季度 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{A.Sogokon}等人,《形式方法系统》。设计。58,编号1--2,5--41(2021;Zbl 1505.68045) 全文: 内政部 arXiv公司
塞尔吉奥·莫弗;亚历山德罗·西马蒂;阿尔贝托·格里乔;艾哈迈德·埃尔凡;斯特凡诺·托内塔 多项式动力系统的隐式半代数抽象。 (英语) Zbl 1493.68217号 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 529-551 (2021).MSC公司:60年第68季度 03B70号 34A34飞机 PDF格式BibTeX公司 XML格式引用 \textit{S.Mover}等人,Lect。注释计算。科学。12759529--551(2021;Zbl 1493.68217) 全文: 内政部
Tan,Yong Kiam先生;安德烈·普拉泽 常微分方程的演绎稳定性证明。 (英语) Zbl 1474.68195号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12652, 181-199 (2021).MSC公司:60年第68季度 03B70号 34D99型 68V20型 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Y.K.Tan}和\textit{A.Platzer},莱克特。注释计算。科学。12652、181--199(2021年;Zbl 1474.68195) 全文: 内政部 arXiv公司
Tan,Yong Kiam先生;安德烈·普拉泽 微分方程存在性和活性的公理方法。 (英语) Zbl 1519.68141号 正式Asp。计算。 33,编号4-5,461-518(2021).MSC公司:60年第68季度 03B70号 34甲12 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.K.Tan}和\textit{A.Platzer},正式Asp。计算。33,编号4--5,461--518(2021;Zbl 1519.68141) 全文: 内政部 arXiv公司
谢尔盖·贡琴科;阿列克谢·卡扎科夫;德米特里·图雷夫 四维Lorenz系统中的野生伪双曲吸引子。 (英语) 兹比尔1472.34106 非线性 34,第4期,2018-2047(2021). 审核人:爱德华·穆萨菲罗夫(格罗德诺) MSC公司:34D45号 34A34飞机 34C28个 37D45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Gonchenko}等人,非线性34,No.4,2018--2047(2021;Zbl 1472.34106) 全文: 内政部 arXiv公司
杨明(Yang,Ming);杨靖;高树红;陆正毅 一类Lotka-Volterra捕食链系统的LaSalle不变集。 (英语) Zbl 1415.92164号 数学杂志。分析。申请。 475,第1期,985-998(2019).MSC公司:92D25型 92D40型 34D23个 PDF格式BibTeX公司 XML格式引用 \textit{M.Yang}等人,J.Math。分析。申请。475,编号1,985--998(2019;Zbl 1415.92164) 全文: 内政部
米歇尔·博雷尔 代数、余代数和多项式微分方程中的最小化。 (英语) Zbl 1486.68110号 日志。方法计算。科学。 15,第1号,第14号论文,27页(2019年).MSC公司:68问题85 13N15号 34A34飞机 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale},日志。方法计算。科学。15,第1号,第14号论文,27页(2019年;Zbl 1486.68110) 全文: arXiv公司
费比安·伊姆勒;克里斯托夫·特劳特 常微分方程的流程:变分方程和Poincarémap的形式化。 (英语) Zbl 1468.68325号 J.自动化。推理 62,第2期,215-236(2019).MSC公司:68V20型 03B35型 34甲12 34A26型 37立方厘米 65升05 65页99 PDF格式BibTeX公司 XML格式引用 \textit{F.Immler}和\textit{C.Traut},J.Autom。推理62,No.2,215--236(2019;Zbl 1468.68325) 全文: 内政部
阿德南·拉希德;奥斯曼·哈桑 使用傅里叶变换对连续时间系统进行形式化分析。 (英语) Zbl 1395.68251号 J.塞姆。计算。 90, 65-88 (2019).MSC公司:68吨15 34A30型 42A38型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Rashid}和\textit{O.Hasan},J.Symb。计算。90,65-88(2019年;兹比尔1395.68251) 全文: 内政部 arXiv公司
费比安·伊姆勒 一个经过验证的ODE解算器和Lorenz吸引子。 (英语) 兹比尔1448.68460 J.自动化。推理 61,编号1-4,73-111(2018).MSC公司:68伏15 34-04 34A34飞机 37D45号 65G20个 65升05 PDF格式BibTeX公司 XML格式引用 \textit{F.Immler}、J.Autom。推理61,No.1--4,73-111(2018;Zbl 1448.68460) 全文: 内政部
米歇尔·博雷尔 多项式微分方程中的代数、余代数和极小化。 (英语) Zbl 1486.68109号 Esparza,Javier(编辑)等人,《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017,作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10203, 71-87 (2017).MSC公司:68问题85 13N15号 34A34飞机 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale},莱克特。注释计算。科学。10203、71--87(2017;Zbl 1486.68109) 全文: 内政部 arXiv公司
安德鲁·索戈孔;保罗·B·杰克逊。 连续和混合动力系统活性性质的直接形式化验证。 (英语) Zbl 1427.68174号 Björner,Nikolaj(编辑)等人,FM 2015:形式方法。第20届国际研讨会,挪威奥斯陆,2015年6月24-26日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9109, 514-531 (2015).MSC公司:60年第68季度 34A34飞机 第34页38 PDF格式BibTeX公司 XML格式引用 \textit{A.Sogokon}和\textit{P.B.Jackson},莱克特。注释计算。科学。9109514--531(2015;Zbl 1427.68174) 全文: 内政部 链接
内森·富尔顿;斯特凡·米奇;贾·戴维德·奎塞尔;马库斯·沃尔普;安德烈·普拉泽 KeYmaera X:混合系统的公理化战术定理证明器。 (英语) Zbl 1465.68281号 Felty,Amy P.(编辑)等人,《自动扣除——CADE-25》。2015年8月1日至7日,德国柏林,第25届自动扣款国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9195, 527-538 (2015).MSC公司:68伏15 03B70号 第34页38 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Fulton}等人,Lect。注释计算。科学。9195527--538(2015;Zbl 1465.68281) 全文: 内政部 链接
艾尔特戈夫,V.D。;蒂托连科,T.N。 非线性微分系统研究中的计算机代数方法。 (俄语、英语) Zbl 1299.70015号 Zh公司。维奇尔。材质材质材质。 53,第6期,1027-1040(2013); 计算中的翻译。数学。数学。物理学。53,第6期,845-857(2013)。MSC公司:70E40型 34立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{V.D.Irtegov}和\textit{T.N.Titorenko},Zh。维奇尔。Mat.Mat.Fiz公司。53,No.6,1027--1040(2013;Zbl 1299.70015);计算中的翻译。数学。数学。物理学。53,第6号,845--857(2013) 全文: 内政部
安德烈亚斯·韦伯;托马斯·斯特姆;Abdel-Rahman,Essam O。 用于排除振荡的算法全局准则。 (英语) Zbl 1214.92002号 牛市。数学。生物。 73,第4期,899-916(2011).MSC公司:92B05型 34个C99 第37页第25页 92C45型 PDF格式BibTeX公司 XML格式引用 \textit{A.Weber}等人,公牛。数学。生物学73,第4期,899--916(2011;Zbl 1214.92002) 全文: 内政部
哈比卜,H.M。;E.R.El-Zahar。 一种机械化求解奇异摄动问题的算法。 (英语) Zbl 1114.65340号 申请。数学。计算。 188,第1期,286-302(2007).MSC公司:65升10 34B15号机组 68瓦30 34E15号机组 65升12 PDF格式BibTeX公司 XML格式引用 \textit{H.M.Habib}和\textit{E.R.El-Zahar},应用。数学。计算。188,第1号,286--302(2007;Zbl 1114.65340) 全文: 内政部
王伟明 机械化求解DAE的算法。 (英语) Zbl 1082.65563号 申请。数学。计算。 167,第2期,1350-1372(2005).MSC公司:65升80 34A09号 65日元 PDF格式BibTeX公司 XML格式引用 \textit{W.Wang},应用程序。数学。计算。167,第2号,1350--1372(2005;Zbl 1082.65563) 全文: 内政部
Mohan K.Kadalbajoo。;凯拉什·C·帕蒂达尔。 奇异摄动常微分方程数值解法综述。 (英语) Zbl 1026.65059号 申请。数学。计算。 130,编号2-3,457-510(2002).MSC公司:65升10 65升05 65-02 34磅05 34A30型 34E15号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Kadalbajoo}和\textit{K.C.Patidar},申请。数学。计算。130,编号2--3,457--510(2002;Zbl 1026.65059) 全文: 内政部
马士龙;宁、舒城 导出了三次系统存在八个极限环的一些新条件。 (英语) Zbl 0874.65053号 计算。数学。申请。 33,第7号,59-84(1997).MSC公司:65升05 34C23型 34A34飞机 34二氧化碳 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Ma}和\textit{S.Ning},计算。数学。申请。33,第7号,59--84(1997;Zbl 0874.65053) 全文: 内政部
陆正毅 Lotka-Volterra系统全局稳定性的计算机辅助证明。 (英语) Zbl 0887.34050号 计算。数学。申请。 31,第12号,49-59(1996). 审核人:A.Martynyuk(基辅) MSC公司:34D20型 92D25型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Lu},计算。数学。申请。31、第12号、第49-59号(1996;Zbl 0887.34050) 全文: 内政部