Column notations: A is ODE degree. B is Program Number of solutions generated. C is CAS Number of solutions generated.
# |
ODE |
A |
B |
C |
Program classification |
CAS classification |
Solved? |
Verified? |
time (sec) |
\[ {}x^{\prime \prime }-\omega ^{2} x = 0 \] |
1 |
1 |
1 |
kovacic, second_order_linear_constant_coeff, second_order_ode_can_be_made_integrable |
[[_2nd_order, _missing_x]] |
✓ |
✓ |
0.794 |
|
\[ {}x^{\prime \prime \prime }-x^{\prime \prime }+x^{\prime }-x = 0 \] |
1 |
1 |
1 |
higher_order_linear_constant_coefficients_ODE |
[[_3rd_order, _missing_x]] |
✓ |
✓ |
0.27 |
|
\[ {}x^{\prime \prime }+42 x^{\prime }+x = 0 \] |
1 |
1 |
1 |
kovacic, second_order_linear_constant_coeff |
[[_2nd_order, _missing_x]] |
✓ |
✓ |
0.707 |
|
\[ {}x^{\prime \prime \prime \prime }+x = 0 \] |
1 |
1 |
1 |
higher_order_linear_constant_coefficients_ODE |
[[_high_order, _missing_x]] |
✓ |
✓ |
0.588 |
|
\[ {}x^{\prime \prime \prime }-3 x^{\prime \prime }-9 x^{\prime }-5 x = 0 \] |
1 |
1 |
1 |
higher_order_linear_constant_coefficients_ODE |
[[_3rd_order, _missing_x]] |
✓ |
✓ |
0.274 |
|
\[ {}x^{\prime \prime }+2 \gamma x^{\prime }+\omega _{0} x = F \cos \left (\omega t \right ) \] |
1 |
1 |
1 |
kovacic, second_order_linear_constant_coeff |
[[_2nd_order, _linear, _nonhomogeneous]] |
✓ |
✓ |
0.78 |
|
\[ {}y^{\prime \prime }-y^{\prime }-2 y = {\mathrm e}^{2 x} \] |
1 |
1 |
1 |
kovacic, second_order_linear_constant_coeff |
[[_2nd_order, _with_linear_symmetries]] |
✓ |
✓ |
1.086 |
|
\[ {}y^{\prime \prime }-2 y^{\prime }+y = 2 \cos \left (x \right ) \] |
1 |
1 |
1 |
kovacic, second_order_linear_constant_coeff, linear_second_order_ode_solved_by_an_integrating_factor |
[[_2nd_order, _linear, _nonhomogeneous]] |
✓ |
✓ |
1.141 |
|
\[ {}y^{\prime \prime }+16 y = 16 \cos \left (4 x \right ) \] |
1 |
1 |
1 |
kovacic, second_order_linear_constant_coeff |
[[_2nd_order, _linear, _nonhomogeneous]] |
✓ |
✓ |
1.167 |
|
\[ {}y^{\prime \prime }-y = \cosh \left (x \right ) \] |
1 |
1 |
1 |
kovacic, second_order_linear_constant_coeff |
[[_2nd_order, _linear, _nonhomogeneous]] |
✓ |
✓ |
1.301 |
|
\[ {}y^{\prime }-y = {\mathrm e}^{2 x} \] |
1 |
1 |
1 |
linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup |
[[_linear, ‘class A‘]] |
✓ |
✓ |
0.553 |
|
\[ {}x^{2} y^{\prime }+2 x y-x +1 = 0 \] |
1 |
1 |
1 |
exact, linear, differentialType, first_order_ode_lie_symmetry_lookup |
[_linear] |
✓ |
✓ |
1.41 |
|
\[ {}y^{\prime }+y = \left (1+x \right )^{2} \] |
1 |
1 |
1 |
linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup |
[[_linear, ‘class A‘]] |
✓ |
✓ |
1.194 |
|
\[ {}x^{2} y^{\prime }+2 x y = \sinh \left (x \right ) \] |
1 |
1 |
1 |
exact, linear, first_order_ode_lie_symmetry_lookup |
[_linear] |
✓ |
✓ |
1.306 |
|
\[ {}y^{\prime }+\frac {y}{1-x}+2 x -x^{2} = 0 \] |
1 |
1 |
1 |
linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup |
[_linear] |
✓ |
✓ |
0.63 |
|
\[ {}y^{\prime }+\frac {y}{1-x}+x -x^{2} = 0 \] |
1 |
1 |
1 |
linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup |
[_linear] |
✓ |
✓ |
0.593 |
|
\[ {}\left (x^{2}+1\right ) y^{\prime } = 1+x y \] |
1 |
1 |
1 |
linear, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup |
[_linear] |
✓ |
✓ |
1.216 |
|
\[ {}y^{\prime }+x y = x y^{2} \] |
1 |
1 |
1 |
exact, riccati, bernoulli, separable, first_order_ode_lie_symmetry_lookup |
[_separable] |
✓ |
✓ |
1.536 |
|
\[ {}3 x y^{\prime }+y+y^{4} x^{2} = 0 \] |
1 |
3 |
3 |
bernoulli, first_order_ode_lie_symmetry_lookup |
[[_homogeneous, ‘class G‘], _rational, _Bernoulli] |
✓ |
✓ |
0.913 |
|
\[ {}x \left (1+x \right )^{2} y^{\prime \prime }+\left (-x^{2}+1\right ) y^{\prime }+\left (-1+x \right ) y = 0 \] |
1 |
1 |
1 |
kovacic |
[[_2nd_order, _with_linear_symmetries]] |
✓ |
✓ |
0.64 |
|
\[ {}x \left (1-x \right ) y^{\prime \prime }+2 \left (1-2 x \right ) y^{\prime }-2 y = 0 \] |
1 |
1 |
1 |
kovacic, exact linear second order ode, second_order_integrable_as_is, second_order_change_of_variable_on_y_method_1, second_order_change_of_variable_on_y_method_2 |
[[_2nd_order, _exact, _linear, _homogeneous]] |
✓ |
✓ |
1.774 |
|
\[ {}x^{2} y^{\prime \prime }+x y^{\prime }-9 y = 0 \] |
1 |
1 |
1 |
kovacic, second_order_euler_ode, second_order_change_of_variable_on_x_method_1, second_order_change_of_variable_on_x_method_2, second_order_change_of_variable_on_y_method_2 |
[[_Emden, _Fowler], [_2nd_order, _linear, ‘_with_symmetry_[0,F(x)]‘]] |
✓ |
✓ |
1.366 |
|
\[ {}x y^{\prime \prime }+\frac {y^{\prime }}{2}+2 y = 0 \] |
1 |
1 |
1 |
kovacic, second_order_bessel_ode, second_order_change_of_variable_on_x_method_1, second_order_change_of_variable_on_x_method_2 |
[[_Emden, _Fowler], [_2nd_order, _linear, ‘_with_symmetry_[0,F(x)]‘]] |
✓ |
✓ |
1.381 |
|
\[ {}x^{2} y^{\prime \prime }-x y^{\prime }+y = 0 \] |
1 |
1 |
1 |
kovacic, second_order_euler_ode, second_order_change_of_variable_on_x_method_1, second_order_change_of_variable_on_x_method_2, second_order_change_of_variable_on_y_method_2, second_order_ode_non_constant_coeff_transformation_on_B |
[[_Emden, _Fowler]] |
✓ |
✓ |
1.588 |
|
\[ {}2 x y^{\prime \prime }-y^{\prime }+2 y = 0 \] |
1 |
1 |
1 |
kovacic, second_order_bessel_ode |
[[_Emden, _Fowler]] |
✓ |
✓ |
0.718 |
|
\[ {}x y^{\prime \prime }+x y^{\prime }-2 y = 0 \] |
1 |
1 |
1 |
kovacic |
[[_2nd_order, _with_linear_symmetries]] |
✓ |
✓ |
0.466 |
|
\[ {}x \left (-1+x \right )^{2} y^{\prime \prime }-2 y = 0 \] |
1 |
1 |
1 |
kovacic, second_order_bessel_ode |
[[_2nd_order, _with_linear_symmetries]] |
✓ |
✓ |
0.899 |
|
\[ {}y^{\prime }-\frac {2 y}{x}-x^{2} = 0 \] |
1 |
1 |
1 |
linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup |
[_linear] |
✓ |
✓ |
0.561 |
|
\[ {}y^{\prime }+\frac {2 y}{x}-x^{3} = 0 \] |
1 |
1 |
1 |
linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup |
[_linear] |
✓ |
✓ |
0.548 |
|
\[ {}x y^{\prime \prime }+\left (1-x \right ) y^{\prime }+m y = 0 \] |
1 |
0 |
1 |
unknown |
[_Laguerre] |
✗ |
N/A |
0.618 |
|
|
|||||||||
|
|||||||||