On the Algorithmic Recovering of Coefficients in Linearizable Differential Equations
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | Lyakhov, Dmitry A., Michels, Dominik L. |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
On the Algorithmic Verification of Nonlinear Superposition for Systems of First Order Ordinary Differential Equations
von: Treumova, Veronika, et al.
Veröffentlicht: (2024)
von: Treumova, Veronika, et al.
Veröffentlicht: (2024)
Exact Algorithms for Computing Generalized Eigenspaces of Matrices via Jordan-Krylov Basis
von: Tajima, Shinichi, et al.
Veröffentlicht: (2022)
von: Tajima, Shinichi, et al.
Veröffentlicht: (2022)
Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
von: England, Matthew
Veröffentlicht: (2024)
von: England, Matthew
Veröffentlicht: (2024)
Computing square roots in quaternion algebras
von: Koprowski, Przemysław
Veröffentlicht: (2023)
von: Koprowski, Przemysław
Veröffentlicht: (2023)
Smith normal forms of bivariate polynomial matrices
von: Lu, Dong, et al.
Veröffentlicht: (2025)
von: Lu, Dong, et al.
Veröffentlicht: (2025)
Symbolic Summation of Multivariate Rational Functions
von: Chen, Shaoshi, et al.
Veröffentlicht: (2022)
von: Chen, Shaoshi, et al.
Veröffentlicht: (2022)
An Exact Algorithm for Computing the Structure of Jordan Blocks
von: Tajima, Shinichi, et al.
Veröffentlicht: (2025)
von: Tajima, Shinichi, et al.
Veröffentlicht: (2025)
Iterated Resultants and Rational Functions in Real Quantifier Elimination
von: Davenport, James H., et al.
Veröffentlicht: (2023)
von: Davenport, James H., et al.
Veröffentlicht: (2023)
Polynomial-Time Algorithms for Black-Box Distributive Expanded Groups
von: Anokhin, Mikhail
Veröffentlicht: (2025)
von: Anokhin, Mikhail
Veröffentlicht: (2025)
Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
von: Davenport, James H., et al.
Veröffentlicht: (2026)
von: Davenport, James H., et al.
Veröffentlicht: (2026)
Matrix equivalence to Smith normal form: new theoretical results for multivariate polynomial matrices
von: Lu, Dong, et al.
Veröffentlicht: (2026)
von: Lu, Dong, et al.
Veröffentlicht: (2026)
Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials
von: Hong, Hoon, et al.
Veröffentlicht: (2023)
von: Hong, Hoon, et al.
Veröffentlicht: (2023)
A Monadic Calculus with Episodic Flows
von: Henning, Sotirios
Veröffentlicht: (2024)
von: Henning, Sotirios
Veröffentlicht: (2024)
Efficient Symbolic Computation via Hash Consing
von: Zhu, Bowen, et al.
Veröffentlicht: (2025)
von: Zhu, Bowen, et al.
Veröffentlicht: (2025)
On the gradient of the coefficient of the characteristic polynomial
von: Ikenmeyer, Christian
Veröffentlicht: (2025)
von: Ikenmeyer, Christian
Veröffentlicht: (2025)
Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
von: Durán, Antonio J., et al.
Veröffentlicht: (2013)
von: Durán, Antonio J., et al.
Veröffentlicht: (2013)
Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules
von: Shang, Weifeng, et al.
Veröffentlicht: (2025)
von: Shang, Weifeng, et al.
Veröffentlicht: (2025)
Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems
von: Florescu, Dorian, et al.
Veröffentlicht: (2024)
von: Florescu, Dorian, et al.
Veröffentlicht: (2024)
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD
von: del Río, Tereso, et al.
Veröffentlicht: (2024)
von: del Río, Tereso, et al.
Veröffentlicht: (2024)
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
von: Pickering, Lynn, et al.
Veröffentlicht: (2023)
von: Pickering, Lynn, et al.
Veröffentlicht: (2023)
First steps towards Computational Polynomials in Lean
von: Davenport, James Harold
Veröffentlicht: (2024)
von: Davenport, James Harold
Veröffentlicht: (2024)
Towards Verified Polynomial Factorisation
von: Davenport, James H.
Veröffentlicht: (2024)
von: Davenport, James H.
Veröffentlicht: (2024)
Computing bases in Hermite normal form of lattices of integer relations
von: Labahn, George, et al.
Veröffentlicht: (2026)
von: Labahn, George, et al.
Veröffentlicht: (2026)
Architecture-Induced Recoverability Bias in Differentiable Symbolic Regression
von: Gupta, Chakshu, et al.
Veröffentlicht: (2026)
von: Gupta, Chakshu, et al.
Veröffentlicht: (2026)
Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation
von: Huang, Bo, et al.
Veröffentlicht: (2024)
von: Huang, Bo, et al.
Veröffentlicht: (2024)
Inverse Kinematics for a 6-Degree-of-Freedom Robot Manipulator Using Comprehensive Gröbner Systems
von: Okazaki, Takumu, et al.
Veröffentlicht: (2025)
von: Okazaki, Takumu, et al.
Veröffentlicht: (2025)
Extending the ElGamal Cryptosystem to the Third Group of Units of $\Z_{n}$
von: Hamza, Jana, et al.
Veröffentlicht: (2025)
von: Hamza, Jana, et al.
Veröffentlicht: (2025)
Flat singularities of chained systems, illustrated with an aircraft model
von: Kaminski, Yirmeyahu J., et al.
Veröffentlicht: (2022)
von: Kaminski, Yirmeyahu J., et al.
Veröffentlicht: (2022)
On Rational Recursion for Holonomic Sequences
von: Tabuguia, Bertrand Teguia, et al.
Veröffentlicht: (2024)
von: Tabuguia, Bertrand Teguia, et al.
Veröffentlicht: (2024)
Integer multiplication is at least as hard as matrix transposition
von: Harvey, David, et al.
Veröffentlicht: (2025)
von: Harvey, David, et al.
Veröffentlicht: (2025)
An Effective Trajectory Planning and an Optimized Path Planning for a 6-Degree-of-Freedom Robot Manipulator
von: Okazaki, Takumu, et al.
Veröffentlicht: (2025)
von: Okazaki, Takumu, et al.
Veröffentlicht: (2025)
Sufficient conditions for the surjectivity of radical curve parametrizations
von: Caravantes, Jorce, et al.
Veröffentlicht: (2023)
von: Caravantes, Jorce, et al.
Veröffentlicht: (2023)
A Kronecker algorithm for locally closed sets over a perfect field
von: Giménez, Nardo, et al.
Veröffentlicht: (2025)
von: Giménez, Nardo, et al.
Veröffentlicht: (2025)
Computing discrete residues of rational functions
von: Arreche, Carlos E., et al.
Veröffentlicht: (2024)
von: Arreche, Carlos E., et al.
Veröffentlicht: (2024)
Numerically Computing Galois Groups of Minimal Problems
von: Duff, Timothy
Veröffentlicht: (2025)
von: Duff, Timothy
Veröffentlicht: (2025)
An Effective Version of the $p$-Curvature Conjecture for Order One Differential Equations
von: Fürnsinn, Florian, et al.
Veröffentlicht: (2025)
von: Fürnsinn, Florian, et al.
Veröffentlicht: (2025)
All elementary functions from a single binary operator
von: Odrzywołek, Andrzej
Veröffentlicht: (2026)
von: Odrzywołek, Andrzej
Veröffentlicht: (2026)
Computing the unit group of a commutative finite $\mathbb{Z}$-algebra
von: Kreuzer, Martin, et al.
Veröffentlicht: (2024)
von: Kreuzer, Martin, et al.
Veröffentlicht: (2024)
FePySR: A Neural Feature Extraction Framework for Efficient and Scalable Symbolic Regression
von: Yu, Zhiming, et al.
Veröffentlicht: (2026)
von: Yu, Zhiming, et al.
Veröffentlicht: (2026)
A zero-test for D-algebraic transseries
von: Chen, Shaoshi, et al.
Veröffentlicht: (2026)
von: Chen, Shaoshi, et al.
Veröffentlicht: (2026)
Ähnliche Einträge
-
On the Algorithmic Verification of Nonlinear Superposition for Systems of First Order Ordinary Differential Equations
von: Treumova, Veronika, et al.
Veröffentlicht: (2024) -
Exact Algorithms for Computing Generalized Eigenspaces of Matrices via Jordan-Krylov Basis
von: Tajima, Shinichi, et al.
Veröffentlicht: (2022) -
Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
von: England, Matthew
Veröffentlicht: (2024) -
Computing square roots in quaternion algebras
von: Koprowski, Przemysław
Veröffentlicht: (2023) -
Smith normal forms of bivariate polynomial matrices
von: Lu, Dong, et al.
Veröffentlicht: (2025)