Results 1 to 10 of about 20 (20)

The Structure of Differential Invariants and Differential Cut Elimination [PDF]

Logical Methods in Computer Science, 2012
The biggest challenge in hybrid systems verification is the handling of differential equations. Because computable closed-form solutions only exist for very simple differential equations, proof certificates have been proposed for more scalable ...
Andre Platzer
doaj   +1 more source

Two-Stage Approach to Parameter Estimation of Differential Equations Using Neural ODEs

Industrial & Engineering Chemistry Research, 2021
William Bradley, Fani Boukouvala
exaly  

Exponentially accurate spectral and spectral element methods for fractional ODEs

Journal of Computational Physics, 2014
Mohsen Zayernouri
exaly  

NON-DIFFERENTIABLE EXACT SOLUTIONS FOR THE NONLINEAR ODES DEFINED ON FRACTAL SETS

Fractals, 2017
Xiao-Jun Yang
exaly  

Novel high-order energy-preserving diagonally implicit Runge–Kutta schemes for nonlinear Hamiltonian ODEs

Applied Mathematics Letters, 2020
Hong Zhang, Ziyuan Liu
exaly  

Gamblets for opening the complexity-bottleneck of implicit schemes for hyperbolic and parabolic ODEs/PDEs with rough coefficients

Journal of Computational Physics, 2017
Houman Owhadi, Lei Zhang
exaly  

Diagonally implicit Runge–Kutta methods for stiff ODEs

Applied Numerical Mathematics, 2019
Mark H Carpenter
exaly  

Boundary optimal (LQ) control of coupled hyperbolic PDEs and ODEs

Automatica, 2013
Amir Alizadeh Moghadam, Ilyasse aksikas, Stevan S Dubljević   +2 more
exaly  

Solving systems of ODEs by homotopy analysis method

Communications in Nonlinear Science and Numerical Simulation, 2008
Ishak Hashim
exaly  

Convex/concave relaxations of parametric ODEs using Taylor models

Computers and Chemical Engineering, 2011
Benoit Chachuat
exaly