Copertina

On the Algorithmic Verification of Nonlinear Superposition for Systems of First Order Ordinary Differential Equations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Treumova, Veronika, Lyakhov, Dmitry A., Michels, Dominik L.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Symbolic Computation Numerical Analysis Rings and Algebras
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On the Algorithmic Recovering of Coefficients in Linearizable Differential Equations
di: Lyakhov, Dmitry A., et al.
Pubblicazione: (2024)

Fast Symbolic Integer-Linear Spectra
di: Luntzel, Jonny, et al.
Pubblicazione: (2024)

Discovering Polynomial and Quadratic Structure in Nonlinear Ordinary Differential Equations
di: Kramer, Boris, et al.
Pubblicazione: (2025)

Structural Preprocessing Method for Nonlinear Differential-Algebraic Equations Using Linear Symbolic Matrices
di: Oki, Taihei, et al.
Pubblicazione: (2024)

Training Stiff Neural Ordinary Differential Equations with Explicit Exponential Integration Methods
di: Fronk, Colby, et al.
Pubblicazione: (2024)

Modular Algorithms For Computing Gröbner Bases in Free Algebras
di: Hofstadler, Clemens, et al.
Pubblicazione: (2025)

Quadratization of Autonomous Partial Differential Equations: Theory and Algorithms
di: Olivieri, Albani, et al.
Pubblicazione: (2026)

A Basis-preserving Algorithm for Computing the Bezout Matrix of Newton Polynomials
di: Yang, Jing, et al.
Pubblicazione: (2024)

Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function
di: Muller, Jean-Michel, et al.
Pubblicazione: (2024)

On Parametric Linear System Solving
di: Corless, Robert M., et al.
Pubblicazione: (2025)

Generalizing the Invertible Matrix Theorem with Linear Relations using Graphical Linear Algebra
di: de Freitas, Iago Leal, et al.
Pubblicazione: (2025)

LCM decomposition of linear differential operators in positive characteristic
di: Pagès, Raphaël
Pubblicazione: (2026)

First-order factors of linear Mahler operators
di: Chyzak, Frédéric, et al.
Pubblicazione: (2024)

Sparse Tensors and Subdivision Methods for Finding the Zero Set of Polynomial Equations
di: Moroz, Guillaume
Pubblicazione: (2024)

Zeon and Idem-Clifford Formulations of Hypergraph Problems
di: Ewing, Samuel, et al.
Pubblicazione: (2022)

Validated numerics for algebraic path tracking
di: Guillemot, Alexandre, et al.
Pubblicazione: (2024)

Computing Clipped Products
di: Norman, Arthur C., et al.
Pubblicazione: (2024)

Strassen's algorithm is not optimally accurate
di: Dumas, Jean-Guillaume, et al.
Pubblicazione: (2024)

A Novel Approach to the Initial Value Problem with a complete validated algorithm
di: Zhang, Bingwei, et al.
Pubblicazione: (2025)

Groebner basis structure of ideal interpolation
di: Gong, Yihe, et al.
Pubblicazione: (2020)

Towards automated generation of fast and accurate algorithms for recursive matrix multiplication
di: Dumas, Jean-Guillaume, et al.
Pubblicazione: (2025)

Gröbner Bases Native to Term-ordered Commutative Algebras, with Application to the Hodge Algebra of Minors
di: Grochow, Joshua A., et al.
Pubblicazione: (2025)

A quasi-optimal lower bound for skew polynomial multiplication
di: Chen, Qiyuan, et al.
Pubblicazione: (2024)

A Fast Algorithm for the Finite Expression Method in Learning Dynamics on Complex Networks
di: Song, Zezheng, et al.
Pubblicazione: (2024)

A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients
di: Zeng, Zhenbing, et al.
Pubblicazione: (2025)

SignatureTensors.jl: A Package for Signature Tensors in Julia
di: Riffo, Gabriel, et al.
Pubblicazione: (2026)

A Shape Lemma for Ideals of Differential Operators
di: Kauers, Manuel, et al.
Pubblicazione: (2025)

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations
di: Böhmer, Christian G., et al.
Pubblicazione: (2025)

Factoring Linear Differential Operators in Positive Characteristic by means of Solving a Norm Equation
di: Pagès, Raphaël
Pubblicazione: (2024)

Efficient Tensor Decomposition via Moment Matrix Extension
di: Shi, Bobby, et al.
Pubblicazione: (2025)

A Finite Expression Method for Solving High-Dimensional Committor Problems
di: Song, Zezheng, et al.
Pubblicazione: (2023)

Dissipative quadratizations of polynomial ODE systems
di: Cai, Yubo, et al.
Pubblicazione: (2023)

The complexity of class polynomial computation via floating point approximations
di: Enge, Andreas
Pubblicazione: (2006)

Exact Algorithms for Computing Generalized Eigenspaces of Matrices via Jordan-Krylov Basis
di: Tajima, Shinichi, et al.
Pubblicazione: (2022)

A Faster Solution to Smale's 17th Problem I: Real Binomial Systems
di: Paouris, Grigoris, et al.
Pubblicazione: (2019)

Comprehensive Systems for Primary Decompositions of Parametric Ideals
di: Ishihara, Yuki, et al.
Pubblicazione: (2024)

A Symbolic Homotopy Algorithm for Solving Composable Polynomial Systems
di: Vu, Thi Xuan
Pubblicazione: (2026)

Solving Polynomial Systems with Gröbner Bases: An Introduction to F4 and FGLM
di: Bigatti, Anna Maria, et al.
Pubblicazione: (2025)

Performance Comparison of Function Evaluation Methods
di: Liberti, Leo
Pubblicazione: (2002)

Trinomials and Deterministic Complexity Limits for Real Solving
di: Boniface, Emma, et al.
Pubblicazione: (2022)