VNODE-LP
by N. S. Nedialkov
Visit the home page: http://www.cas.mcmaster.ca/~nedialk/vnodelp/
Description
An interval solver with result verification based on Taylor and Hermite-Obreshkoff series expansions (developed entirely using Literate Programming).
Written in the C++ programming language.
Characteristics
Verification concepts:
- Result Verification
- Literate Programming
Methods:
- Taylor Series Expansion (Hoe)
- Ho Series Expansion (Iho)
Parameters:
- Method
- Order
- Abs. Tolerance
- Rel. Tolerance
- Min. Stepsize
Default settings for this solver:
Setting 1:
- Method: HOE
- Order: 10
- Abs. Tolerance: 1e-12
- Rel. Tolerance: 1e-12
- Min. Stepsize: 1e-05
- Method: HOE
- Order: 15
- Abs. Tolerance: 1e-12
- Rel. Tolerance: 1e-12
- Min. Stepsize: 1e-05
- Method: HOE
- Order: 20
- Abs. Tolerance: 1e-12
- Rel. Tolerance: 1e-12
- Min. Stepsize: 1e-05
The following problems from the VERICOMP database have been
tested with this solver:
- A1 DETEST
- A2 DETEST
- B2 DETEST
- B1 DETEST
- Harmonic Oscillator 2
- C4 DETEST
- C5 DETEST
- Lorenz 2 (Jordan NF)
- Two Compartment Model
- Oil reservoir problem
- A3 DETEST
- A4 DETEST
- Bachman's Example
- Harmonic Oscillator 1
- Simple Linear 1
- Simple Linear 2
- Simple Stiff 1
- Damped vibrations
- Simple Nonlinear 1
- Simple Nonlinear 2
- Simple Nonlinear 3
- E1 DETEST
- E4 DETEST
- C1 DETEST
- C2 DETEST