::VERICOMP
Problems
Solvers
Recommend
External links
Documentation
Register
Seems like you are using
NoScript
. Please keep in mind, that most features of this website rely on JavaScript.
Plot individual solutions
A1 DETEST
A2 DETEST
A3 DETEST
A4 DETEST
A5 DETEST
ARCH Benchmark 1
B1 DETEST
B2 DETEST
B3 DETEST
B4 DETEST
B5 DETEST
Bachman's Example
C1 DETEST
C2 DETEST
C3 DETEST
C4 DETEST
C5 DETEST
Class D DETEST
Damped vibrations
Double Pendulum
E1 DETEST
E2 DETEST
E3 DETEST
E4 DETEST
E5 DETEST
Harmonic Oscillator 1
Harmonic Oscillator 2
Lambert 1
Lambert 2
Lorenz 1 (Classic Form)
Lorenz 2 (Jordan NF)
Lotka-Volterra
Nonlinear Degree 3
Nonlinear Degree 4
Oil reservoir problem
Orbit Equations
Simple Linear 1
Simple Linear 2
Simple Nonlinear 1
Simple Nonlinear 2
Simple Nonlinear 3
Simple Stiff 1
Simplified ASM1
The Roessler Attractor
Two Compartment Model
68
69
30
31
117
125
45
115
76
109
110
111
112
113
73
104
105
36
37
26
27
83
24
25
64
65
124
50
51
74
43
44
126
127
128
129
28
29
62
63
86
87
88
89
90
91
92
16
17
14
108
18
19
32
33
52
53
34
35
75
114
54
55
38
39
48
49
8
85
66
67
120
22
23
98
99
100
101
102
103
130
131
77
106
107
116
132
78
93
118
119
56
57
1
2
9
70
71
81
82
46
47
12
13
58
59
15
84
121
122
123
60
61
10
11
DynIbex
VNODE-LP