Tool for analyzing ODEs with conserved quantities through verified computation
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3994869 (Why is no real title available?)
- A homoclinic solution for excitation waves on a contractile substratum
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions
- Computation and verification of Lyapunov functions
- Computational differentiation: techniques, applications, and tools
- Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
- Construction of global Lyapunov functions using radial basis functions
- Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- Errata to: ``On the construction of Lyapunov functions with computer assistance
- Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
- Numerical verification method on complex ODEs for existence of global solutions within finite domains
- Numerical verification methods and computer-assisted proofs for partial differential equations
- On numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria for two-dimensional cases
- On the construction of Lyapunov functions with computer assistance
- Rigorous numerics for nonlinear differential equations using Chebyshev series
- Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation
- The general theory of relativity. A mathematical approach
- The geometry of photon surfaces.
- Verification methods: rigorous results using floating-point arithmetic
- C^1 Lohner algorithm.
This page was built for publication: Tool for analyzing ODEs with conserved quantities through verified computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7250265)
