# |
ODE |
CAS classification |
Solved? |
Maple |
Mma |
Sympy |
|
[_linear] |
✓ |
✓ |
✓ |
✓ |
|
|
[_linear] |
✓ |
✓ |
✓ |
✓ |
|
|
[_separable] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class A‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, _with_linear_symmetries]] |
✓ |
✓ |
✓ |
✓ |
|
|
[_separable] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✗ |
✓ |
✓ |
✗ |
|
|
[_Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[_Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[_rational, [_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
✓ |
✓ |
✓ |
|
|
[_separable] |
✓ |
✓ |
✓ |
✓ |
|
|
[‘y=_G(x,y’)‘] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✗ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(y)]‘]] |
✓ |
✓ |
✓ |
✓ |
|
|
[‘y=_G(x,y’)‘] |
✗ |
✓ |
✓ |
✗ |
|
|
[‘y=_G(x,y’)‘] |
✗ |
✓ |
✓ |
✗ |
|
|
[[_homogeneous, ‘class A‘], _exact, _rational, _dAlembert] |
✓ |
✓ |
✓ |
✓ |
|
|
[_exact, _rational] |
✓ |
✓ |
✓ |
✗ |
|
|
[_exact] |
✓ |
✓ |
✗ |
✗ |
|
|
[_exact] |
✓ |
✓ |
✗ |
✗ |
|
|
[[_homogeneous, ‘class D‘], _exact, _rational] |
✓ |
✓ |
✓ |
✗ |
|
|
[_exact] |
✓ |
✓ |
✓ |
✗ |
|
|
[_exact, _rational] |
✓ |
✓ |
✓ |
✗ |
|
|
[_separable] |
✓ |
✓ |
✓ |
✓ |
|
|
[_exact] |
✓ |
✓ |
✓ |
✗ |
|
|
[_exact] |
✓ |
✓ |
✗ |
✗ |
|
|
[[_homogeneous, ‘class A‘], _exact, _rational, _dAlembert] |
✓ |
✓ |
✓ |
✗ |
|
|
[_exact, _rational] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_homogeneous, ‘class A‘], _exact, _rational, _dAlembert] |
✓ |
✓ |
✓ |
✗ |
|
|
[_rational, [_1st_order, ‘_with_symmetry_[F(x),G(x)]‘], [_Abel, ‘2nd type‘, ‘class B‘]] |
✓ |
✓ |
✓ |
✓ |
|
|
[_linear] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class G‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[_linear] |
✓ |
✓ |
✓ |
✓ |
|
|
[_Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[‘y=_G(x,y’)‘] |
✓ |
✓ |
✓ |
✓ |
|
|
[_rational] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class G‘], _rational] |
✓ |
✓ |
✓ |
✓ |
|
|
[_rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[_rational, [_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘], [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
|
|
[_separable] |
✓ |
✓ |
✓ |
✓ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
|
|
[_separable] |
✓ |
✓ |
✓ |
✓ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, _with_exponential_symmetries]] |
✓ |
✓ |
✓ |
✗ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, _with_linear_symmetries]] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_homogeneous, ‘class G‘]] |
✓ |
✓ |
✓ |
✓ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✗ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✗ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✗ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✗ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✗ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_1st_order, _with_linear_symmetries], _dAlembert] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, _with_linear_symmetries], _dAlembert] |
✓ |
✓ |
✓ |
✓ |
|
|
[_dAlembert] |
✓ |
✓ |
✓ |
✗ |
|
|
[_dAlembert] |
✓ |
✓ |
✓ |
✗ |
|
|
[_dAlembert] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_1st_order, _with_linear_symmetries], _Clairaut] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_1st_order, _with_linear_symmetries], _Clairaut] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, _with_linear_symmetries], _rational, _Clairaut] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_1st_order, _with_linear_symmetries], _rational, _Clairaut] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_homogeneous, ‘class G‘], _rational, _Clairaut] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)]‘], _Riccati] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)]‘], _Riccati] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, _with_linear_symmetries], _rational, _Riccati] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class G‘], _rational, _Riccati] |
✓ |
✓ |
✓ |
✓ |
|
|
[_rational, [_1st_order, ‘_with_symmetry_[F(x),G(y)]‘]] |
✓ |
✓ |
✓ |
✗ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, _with_linear_symmetries]] |
✓ |
✓ |
✗ |
✗ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class G‘]] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_homogeneous, ‘class G‘], _rational] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class C‘], _dAlembert] |
✓ |
✓ |
✗ |
✗ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, _with_linear_symmetries], _dAlembert] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
✓ |
✓ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, _with_linear_symmetries]] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, _with_linear_symmetries], _rational, _Clairaut] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_homogeneous, ‘class C‘], _Riccati] |
✓ |
✓ |
✓ |
✓ |
|
|
[_linear] |
✓ |
✓ |
✓ |
✓ |
|
|
[_Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class A‘], _exact, _rational, _dAlembert] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class A‘], _exact, _rational, _dAlembert] |
✓ |
✓ |
✓ |
✗ |
|
|
[_exact, _rational] |
✓ |
✓ |
✓ |
✗ |
|
|
[_Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[_linear] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, _with_exponential_symmetries]] |
✓ |
✓ |
✓ |
✗ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class D‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|