Publication:2934694
From MaRDI portal
zbMath1302.65180MaRDI QIDQ2934694
Éric Schost, Alin Bostan, Bruno Salvy, Alexandre Sedoglavic, Frédéric Chyzak, François Ollivier
Publication date: 18 December 2014
68Q25: Analysis of algorithms and problem complexity
68W30: Symbolic computation and algebraic computation
34A25: Analytical theory of ordinary differential equations: series, transformations, transforms, operational calculus, etc.
65L99: Numerical methods for ordinary differential equations
Related Items
Differential Elimination for Dynamical Models via Projections with Applications to Structural Identifiability, Computational complexity of solving polynomial differential equations over unbounded domains, Algorithms for combinatorial structures: well-founded systems and Newton iterations, Computing with D-algebraic power series, A geometric index reduction method for implicit systems of differential algebraic equations, Newton's method and FFT trading, From implicit to recursive equations, On existence and uniqueness of formal power series solutions of algebraic ordinary differential equations, A generalization of the Boulier-Buchberger criterion for the computation of characteristic sets of differential ideals, Symbolic computations of first integrals for polynomial vector fields, Accelerated tower arithmetic, New algorithms for relaxed multiplication, Efficient algorithms for computing rational first integrals and Darboux polynomials of planar polynomial vector fields, Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables