# |
ODE |
CAS classification |
Solved? |
Maple |
Mma |
Sympy |
|
[_separable] |
✓ |
✓ |
✓ |
✓ |
|
|
[_rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class C‘], _Riccati] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(y)]‘]] |
✗ |
✓ |
✓ |
✓ |
|
|
[_linear] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class A‘], _exact, _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[_linear] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class C‘], _exact, _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class G‘], _exact, _rational] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class A‘], _exact, _rational, _dAlembert] |
✓ |
✓ |
✓ |
✗ |
|
|
[_exact] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_homogeneous, ‘class C‘], _exact, _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
|
|
[_exact, _rational] |
✓ |
✓ |
✓ |
✗ |
|
|
[_exact] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_homogeneous, ‘class A‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class A‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class A‘], _exact, _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class C‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class D‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[_linear] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class G‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class D‘], _rational, _Riccati] |
✓ |
✓ |
✓ |
✓ |
|
|
[_linear] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class A‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class A‘], _rational, [_Abel, ‘2nd type‘, ‘class B‘]] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class A‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class G‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class G‘], _rational, [_Abel, ‘2nd type‘, ‘class B‘]] |
✓ |
✓ |
✓ |
✗ |
|
|
[_rational] |
✓ |
✓ |
✓ |
✗ |
|
|
[_linear] |
✓ |
✓ |
✓ |
✓ |
|
|
[_separable] |
✓ |
✓ |
✓ |
✓ |
|
|
[_linear] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class G‘], _rational] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class G‘], _rational] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class G‘], _rational, [_Abel, ‘2nd type‘, ‘class B‘]] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_homogeneous, ‘class A‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class G‘], _rational, [_Abel, ‘2nd type‘, ‘class B‘]] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
✓ |
✓ |
|
|
[_separable] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_linear, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
|
|
[_separable] |
✓ |
✓ |
✓ |
✓ |
|
|
[_linear] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_linear, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, _with_linear_symmetries], _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[_rational, [_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘], [_Abel, ‘2nd type‘, ‘class B‘]] |
✓ |
✓ |
✓ |
✓ |
|
|
[_exact, [_1st_order, ‘_with_symmetry_[F(x),G(x)]‘], [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_homogeneous, ‘class G‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[_linear] |
✓ |
✓ |
✓ |
✓ |
|
|
[_rational, [_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
✓ |
✓ |
✓ |
|
|
[_separable] |
✓ |
✓ |
✓ |
✓ |
|
|
[‘y=_G(x,y’)‘] |
✗ |
✓ |
✓ |
✗ |
|
|
[_Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[_linear] |
✓ |
✓ |
✓ |
✓ |
|
|
[_rational, [_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(y)]‘]] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class G‘], _rational, _Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
✓ |
✓ |
✗ |
|
|
[_linear] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_linear, ‘class A‘]] |
✓ |
✓ |
✓ |
✓ |
|
|
[‘y=_G(x,y’)‘] |
✓ |
✓ |
✓ |
✗ |
|
|
[_rational] |
✗ |
✓ |
✓ |
✓ |
|
|
[_Bernoulli] |
✓ |
✓ |
✓ |
✓ |
|
|
[_Abel] |
✓ |
✓ |
✓ |
✓ |
|
|
[‘y=_G(x,y’)‘] |
✓ |
✓ |
✓ |
✓ |
|
|
[_separable] |
✓ |
✓ |
✓ |
✓ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class G‘], _rational] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_1st_order, _with_linear_symmetries], _rational] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_1st_order, _with_linear_symmetries], _Clairaut] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, _with_linear_symmetries], _rational] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_homogeneous, ‘class G‘], _rational, _Clairaut] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_1st_order, _with_linear_symmetries]] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_1st_order, _with_linear_symmetries], _dAlembert] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_1st_order, _with_linear_symmetries], _dAlembert] |
✓ |
✓ |
✓ |
✓ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, _with_linear_symmetries], _Clairaut] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, _with_linear_symmetries], _rational] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
✓ |
✓ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_homogeneous, ‘class G‘], _rational] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, _with_linear_symmetries], _dAlembert] |
✓ |
✓ |
✓ |
✗ |
|
|
[_quadrature] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_1st_order, _with_linear_symmetries]] |
✓ |
✓ |
✗ |
✗ |
|
|
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_2nd_order, _missing_x]] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_3rd_order, _missing_x]] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_2nd_order, _with_linear_symmetries]] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_2nd_order, _linear, _nonhomogeneous]] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_Emden, _Fowler], [_2nd_order, _linear, ‘_with_symmetry_[0,F(x)]‘]] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_3rd_order, _with_linear_symmetries]] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_Emden, _Fowler], [_2nd_order, _linear, ‘_with_symmetry_[0,F(x)]‘]] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_2nd_order, _missing_x], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✓ |
|
|
[[_2nd_order, _missing_x], [_2nd_order, _exact, _nonlinear], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
|
|
[[_2nd_order, _missing_x], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_y_y1]] |
✓ |
✓ |
✓ |
✗ |
|