Imagen de Portada

A Novel Approach to the Initial Value Problem with a complete validated algorithm

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zhang, Bingwei, Yap, Chee
Formato:	Preprint
Publicado:	2025
Materias:	Symbolic Computation Numerical Analysis
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

Computing Clipped Products
por: Norman, Arthur C., et al.
Publicado: (2024)

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

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

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

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

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

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

On the Algorithmic Verification of Nonlinear Superposition for Systems of First Order Ordinary Differential Equations
por: Treumova, Veronika, et al.
Publicado: (2024)

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

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

Taylor Tube Method for Validated IVP
por: Zhang, Bingwei, et al.
Publicado: (2026)

Performance Comparison of Function Evaluation Methods
por: Liberti, Leo
Publicado: (2002)

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

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

Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
por: Tirpankar, Tanmay, et al.
Publicado: (2025)

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

Extrapolating Solution Paths of Polynomial Homotopies towards Singularities with PHCpack and phcpy
por: Verschelde, Jan, et al.
Publicado: (2024)

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

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

Bivariate range functions with superior convergence order
por: Zhang, Bingwei, et al.
Publicado: (2026)

Certified algebraic curve projections by path tracking
por: Burr, Michael, et al.
Publicado: (2025)

Effective alpha theory certification using interval arithmetic: alpha theory over regions
por: Lee, Kisun
Publicado: (2024)

Certified homotopy tracking using the Krawczyk method
por: Duff, Timothy, et al.
Publicado: (2024)

Three Paths to Rational Curves with Rational Arc Length
por: Schröcker, Hans-Peter, et al.
Publicado: (2023)

PySymmetry: A Sage/Python Framework for the Symmetry Reduction of Linear G-Equivariant Systems
por: da Silva, Leon D., et al.
Publicado: (2025)

End Cover for Initial Value Problem: Complete Validated Algorithms with Complexity Analysis
por: Zhang, Bingwei, et al.
Publicado: (2026)

Certified surface approximations using the interval Krawczyk test
por: Burr, Michael, et al.
Publicado: (2026)

Two-step Newton's method for deflation-one singular zeros of analytic systems
por: Lee, Kisun, et al.
Publicado: (2023)

Computing Characteristic Polynomials of p-Curvatures in Average Polynomial Time
por: Pagès, Raphaël
Publicado: (2021)

Generalized ODE reduction algorithm for bounded degree transformation
por: Huang, Shaoxuan
Publicado: (2025)

Generalized ODE reduction algorithm with bounded degree transformation
por: Huang, Shaoxuan
Publicado: (2025)

A non-commutative algorithm for multiplying 4x4 matrices using 48 non-complex multiplications
por: Dumas, Jean-Guillaume, et al.
Publicado: (2025)

Faster Inversion and Other Black Box Matrix Computations Using Efficient Block Projections
por: Eberly, Wayne, et al.
Publicado: (2007)