Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/tropical-differential-gr-bner-bases-wFccqteATd
References (14)
-
D. Grigoriev, Michael Singer (1991)
Solving ordinary differential equations in terms of series with real exponentsTransactions of the American Mathematical Society, 327
-
(2015)
Introduction to Tropical Geometry -
Tristram Bogart, A. Jensen, David Speyer, B. Sturmfels, Rekha Thomas (2005)
Computing tropical varietiesJ. Symb. Comput., 42
-
Tristan Vaccon (2014)
Matrix-F5 Algorithms and Tropical Gröbner Bases ComputationProceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation
-
Andrew Chan, D. Maclagan (2013)
Gröbner bases over fields with valuationsMath. Comput., 88
-
F. Ollivier (1990)
Standard Bases of Differential Ideals -
Wei Li, C. Yuan, X. Gao (2011)
Sparse Differential Resultant for Laurent Differential PolynomialsFoundations of Computational Mathematics, 15
-
D. Grigoriev (2015)
Tropical differential equationsArXiv, abs/1502.08010
-
Aritra Sen, Ambedkar Dukkipati (2014)
Gr\"{o}bner Basis Theory for Modules over Polynomial Rings over Fields with ValuationarXiv: Commutative Algebra
-
Giuseppa Carra’-Ferro (1987)
Groebner Bases and Differential Algebra -
F. Aroca, Cristhian Garay, Zeinab Toghani (2015)
The Fundamental Theorem of Tropical Differential Algebraic GeometryarXiv: Algebraic Geometry
-
Youren Hu, X. Gao (2019)
Ritt-Wu Characteristic Set Method for Laurent Partial Differential Polynomial SystemsJournal of Systems Science and Complexity, 32
-
J. Cano (1993)
ON THE SERIES DEFINED BY DIFFERENTIAL EQUATIONS, WITH AN EXTENSION OF THE PUISEUX POLYGON CONSTRUCTION TO THESE EQUATIONS, 13
-
Thomas Markwig, Yue Ren (2016)
Computing Tropical Varieties Over Fields with ValuationFoundations of Computational Mathematics, 20
- Publisher
- Springer Journals
- Copyright
- Copyright © Springer Nature Switzerland AG 2020
- ISSN
- 1661-8270
- eISSN
- 1661-8289
- DOI
- 10.1007/s11786-020-00481-1
- Publisher site
- See Article on Publisher Site
Abstract
In this paper, the concept of tropical differential Gröbner basis is introduced, which is a natural generalization of the tropical Gröbner basis to the recently introduced tropical differential algebra. Like the differential Gröbner basis, the tropical differential Gröbner basis generally contains an infinite number of elements. We give a Buchberger style criterion for the tropical differential Gröbner basis. For differential ideals generated by homogeneous linear differential polynomials with constant coefficients, we give a complete algorithm to compute the finite tropical differential Gröbner basis.
Journal
Mathematics in Computer Science – Springer Journals
Published: Jun 6, 2020