杜阿尔特,L.G.S。;达莫塔,L.A.C.P。 一种计算平面多项式向量场Liouvillian第一积分的有效方法。 (英语) Zbl 1485.34007号 J.差异。方程 300, 356-385 (2021). 审核人:Jaume Giné(莱伊达) MSC公司:34A05型 34二氧化碳 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{L.G.S.Duarte}和textit{L.A.C.P.da Mota},J.Differ。方程式300,356--385(2021;Zbl 1485.34007) 全文: 内政部 arXiv公司
纪尧姆·切兹;蒂埃里·康博特 多项式向量场第一积分的符号计算。 (英语) Zbl 1485.34006号 已找到。计算。数学。 20,第4期,681-752(2020). 审核人:Jaume Giné(莱伊达) MSC公司:34A05型 34二氧化碳 68瓦30 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{G.Chèze}和\textit{T.Combot},已找到。计算。数学。20,第4号,681--752(2020;Zbl 1485.34006) 全文: 内政部 arXiv公司
J.阿维拉尔。;卡多佐,M.S。;杜阿尔特,L.G.S。;达莫塔,L.A.C.P。 处理Darboux和Lie都觉得困难的有理二阶常微分方程:\(S\)-函数方法。 (英语) Zbl 07682614号 计算。物理学。公社。 234, 302-314 (2019).MSC公司:65-XX岁 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Avellar}等人,计算。物理学。Commun公司。234302--314(2019;Zbl 07682614) 全文: 内政部 arXiv公司
阿林·博斯坦;纪尧姆·切兹;托马斯·克鲁索;雅克·亚瑟威尔 计算平面多项式向量场有理第一积分和达布多项式的有效算法。 (英语) Zbl 1335.34002号 数学。计算。 85、编号299、1393-1425(2016).MSC公司:34A05型 68瓦30 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{A.Bostan}等人,数学。计算。85、编号299、1393-1425(2016;Zbl 1335.34002) 全文: 内政部 arXiv公司
贝扎德·阿克巴普尔;劳伦斯·C·鲍尔森。 的应用MetiTarski公司在控制和混合系统的验证中。 (英语) Zbl 1237.93087号 Majumdar,Rupak(编辑)等人,《混合系统:计算和控制》。2009年4月13日至15日在美国加利福尼亚州旧金山举行的2009年HSCC第12届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00601-2/pbk)。计算机科学课堂讲稿5469,1-15(2009)。MSC公司:93立方 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Akbarpour}和\textit{L.C.Paulson},莱克特。注释计算。科学。5469,1-15(2009年;Zbl 1237.93087) 全文: 内政部
杜阿尔特,L.G.S。;杜阿尔特,S.E.S。;Da Mota,L.A.C.P.公司。;斯凯,J.E.F。 Prelle-Singer方法的扩展和Maple实现。 (英语) Zbl 0994.65082号 计算。物理学。公社。 144,第1号,46-62(2002).MSC公司:65升05 65日元 34A34飞机 34A26型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{L.G.S.Duarte}等人,计算。物理学。Commun公司。144,编号1,46-62(2002年;兹bl 0994.65082) 全文: 内政部
Cheb-Terrab,E.S.公司。;杜阿尔特,L.G.S。;达莫塔,L.A.C.P。 使用对称方法求解二阶常微分方程的计算机代数。 (英语) Zbl 0930.65079号 计算。物理学。公社。 108,第1期,90-114(1998). 审核人:D.佩特库(蒂米什奥拉) MSC公司:65升05 34A34飞机 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.S.Cheb-Terrab}等人,计算。物理学。Commun公司。108,第1号,90--114(1998;Zbl 0930.65079) 全文: 内政部 arXiv公司