×
Sonia L.鲁埃达。

线性稀疏微分结果公式。 （英文） Zbl 1337.12002号

线性代数应用。 438，第11号，4296-4321（2013）.
小结：设（P）是（n-1）个微分不定集合（U）中的线性非齐次常微分多项式系统。提出了从（P）中消除（U）中的微分不确定性的微分结式。这些公式是（P）或（P）的线性扰动（P_varepsilon）中微分多项式的适当导数集的系数矩阵的行列式。特别是，如果系统（P）是“超本质”的，则公式（部分文本{FRes}（P））是没有零列的矩阵（M（P）的行列式。作为应用程序，如果系统（P）是稀疏泛型的，那么可以使用这些公式计算由W.李等【第36届符号和代数计算国际研讨会论文集，ISSAC 2011，纽约：ACM，225-232（2011；Zbl 1323.68612号)].

引用于1审查
引用于6文件

MSC公司：

12H20型 抽象微分方程
第13页，共15页 求解多项式系统；结果
34G10型 抽象空间中的线性微分方程

关键词：

差分消除;线性微分多项式;稀疏微分结果;线性扰动

引文：

Zbl 1323.68612号

软件：

特雷姆;DIFFALG公司;叶片;DiffRes（差异分辨率）
PDF格式BibTeX公司 XML格式引用
\textit{S.L.Rueda}，线性代数应用。438，No.11，4296--4321（2013；Zbl 1337.12002）
全文： 内政部 arXiv公司

参考文献：

[1] Boulier，F.，微分消除和生物建模，随机序列计算。申请。数学。（Grobner Basis in Symbolic Analysis），2111-139（2007），可从以下网站获得：<http://hal.archives-ouvertes.fr/hal-00139364/>
[4] Boulier，F。；Lemaire，F。；Maza，M.M.，通过改变顺序计算微分特征集，J.符号计算。，45, 1, 124-149 (2010) ·兹比尔1194.68264
[5] 坎尼，J。；Emiris，I.，稀疏结果的基于细分的算法，J.ACM，47，417-451（2000）·Zbl 1094.65508号
[7] 克鲁索，T。；Hubert，E.，正则微分理想的预解式表示，AAECC，13，395-425（2003）·Zbl 1048.12005年
[8] 考克斯·D。；Little，J。；O'Shea，D.，《理想、变种和算法》（1997），施普林格出版社：纽约施普林格出版社
[9] 考克斯·D。；Little，J。；O'Shea，D.，《使用代数几何》（1998），Springer-Verlag:Springer-Verlag纽约·Zbl 0920.13026号
[11] D’Andrea，C.，《稀疏结果的Macaulay式公式》，Trans。AMS，354，7，2595-2629（2002）·Zbl 0987.13019号
[13] 高晓生，微分有理参数方程的隐式化，符号计算。，36, 811-824 (2003) ·Zbl 1048.12006年
[14] Gelfand，I.M。；卡普兰诺夫，M。；Zelevinsky，A.V.，《歧视、结果和多维决定因素》（1994），Birkhäuser:Birkháuser Boston·Zbl 0827.14036号
[15] Gao，X.S。；李伟（Li，W.）。；袁春明，微分代数几何中的交集理论：一般交集和微分chow形式，Trans。阿默尔。数学。Soc.，1-58（2011），arXiv:1009.0148v2
[16] O.Golubitsky。；Kondratieva，M。；奥夫钦尼科夫，A。；Szanto，A.，微分Nullstellensatz中阶的界，J.代数，3223852-3877（2009）·Zbl 1189.12002号
[17] Hubert，E.，微分代数中的无因式分解算法，J.符号计算。，29, 641-662 (2000) ·兹比尔0984.12004
[18] Kolchin，E.R.，微分代数和代数群（1973），学术出版社：伦敦学术出版社·兹伯利0264.12102
[21] Macaulay，F.S.，模块系统的代数理论（1916），剑桥大学出版社：剑桥大学出版社
[22] Ritt，J.F.，微分代数（1950），美国数学学会学术讨论会：美国数学学会纽约学术讨论会·Zbl 0037.18501号
[24] Rueda，S.L.，《关于微分结果的计算》（Pardo，L.；Balakrishnan，N.；Gil，M.A.，《捕获复杂性中的现代数学工具和技术》，《捕获复杂度中的现代数理工具与技术》，Springer Series in Complexity（2011），Springer-Verlag:Springer-Verlag Heidelberg，Berlin），第91-103页·Zbl 1266.93004号
[25] Rueda，S.L.，线性DPPE基于扰动微分结果的隐式算法，J.符号计算。，46777-996（2011年）·Zbl 1242.12004号
[26] Rueda，S.L。；Sendra，J.F.，线性完全微分结果和线性DPPE的隐式化，符号计算杂志。，45, 324-341 (2010) ·Zbl 1222.12009年
[27] Sturmfels，B.，关于结式的牛顿多面体，J.代数组合，3207-236（1994）·兹比尔0798.05074
[28] Sturmfels，B。；Yu，J.，热带隐式化和混合纤维多边形，（代数几何软件。代数几何软件，数学及其应用IMA卷，第148卷（2008），Springer:Springer New York），111-131·Zbl 1143.14313号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。