# |
ODE |
Program classification |
CAS classification |
Solved? |
Verified? |
time (sec) |
\[ {}\left (y f \left (x^{2}+y^{2}\right )-x \right ) y^{\prime }+y+x f \left (x^{2}+y^{2}\right ) = 0 \] |
exactByInspection, first_order_ode_lie_symmetry_calculated |
[[_1st_order, _with_linear_symmetries]] |
✓ |
✓ |
9.193 |
|
\[ {}f \left (x^{2}+a y^{2}\right ) \left (a y y^{\prime }+x \right )-y-x y^{\prime } = 0 \] |
exact |
[_exact] |
✓ |
✓ |
2.684 |
|
\[ {}f \left (x^{c} y\right ) \left (b x y^{\prime }-a \right )-x^{a} y^{b} \left (x y^{\prime }+c y\right ) = 0 \] |
unknown |
[NONE] |
❇ |
N/A |
3.075 |
|
\[ {}{y^{\prime }}^{2}+a y+b \,x^{2} = 0 \] |
first_order_ode_lie_symmetry_calculated |
[[_homogeneous, ‘class G‘]] |
✓ |
✓ |
6.334 |
|
\[ {}{y^{\prime }}^{2}+y^{2}-a^{2} = 0 \] |
quadrature |
[_quadrature] |
✓ |
✓ |
1.372 |
|
\[ {}{y^{\prime }}^{2}+y^{2}-f \left (x \right )^{2} = 0 \] |
unknown |
[‘y=_G(x,y’)‘] |
❇ |
N/A |
2.067 |
|
\[ {}{y^{\prime }}^{2}-y^{3}+y^{2} = 0 \] |
quadrature |
[_quadrature] |
✓ |
✓ |
1.365 |
|
\[ {}{y^{\prime }}^{2}-4 y^{3}+a y+b = 0 \] |
quadrature |
[_quadrature] |
✓ |
✓ |
17.666 |
|
\[ {}{y^{\prime }}^{2}+a^{2} y^{2} \left (\ln \left (y\right )^{2}-1\right ) = 0 \] |
quadrature |
[_quadrature] |
✓ |
✓ |
3.986 |
|
\[ {}{y^{\prime }}^{2}-2 y^{\prime }-y^{2} = 0 \] |
quadrature |
[_quadrature] |
✓ |
✓ |
0.912 |
|
\[ {}{y^{\prime }}^{2}+a y^{\prime }+b x = 0 \] |
quadrature |
[_quadrature] |
✓ |
✓ |
0.733 |
|
\[ {}{y^{\prime }}^{2}+a y^{\prime }+b y = 0 \] |
quadrature |
[_quadrature] |
✓ |
✓ |
2.322 |
|
\[ {}{y^{\prime }}^{2}+\left (-2+x \right ) y^{\prime }-y+1 = 0 \] |
clairaut |
[[_1st_order, _with_linear_symmetries], _Clairaut] |
✓ |
✓ |
0.513 |
|
\[ {}{y^{\prime }}^{2}+\left (x +a \right ) y^{\prime }-y = 0 \] |
clairaut |
[[_1st_order, _with_linear_symmetries], _Clairaut] |
✓ |
✓ |
0.466 |
|
\[ {}{y^{\prime }}^{2}-\left (1+x \right ) y^{\prime }+y = 0 \] |
clairaut |
[[_1st_order, _with_linear_symmetries], _Clairaut] |
✓ |
✓ |
0.458 |
|
\[ {}{y^{\prime }}^{2}+2 x y^{\prime }-y = 0 \] |
dAlembert |
[[_1st_order, _with_linear_symmetries], _dAlembert] |
✓ |
✓ |
0.687 |
|
\[ {}{y^{\prime }}^{2}-2 x y^{\prime }+y = 0 \] |
dAlembert |
[[_1st_order, _with_linear_symmetries], _dAlembert] |
✓ |
✓ |
0.692 |
|
\[ {}{y^{\prime }}^{2}+a x y^{\prime }-b \,x^{2}-c = 0 \] |
quadrature |
[_quadrature] |
✓ |
✓ |
0.967 |
|
\[ {}{y^{\prime }}^{2}+a x y^{\prime }+b y+c \,x^{2} = 0 \] |
first_order_ode_lie_symmetry_calculated |
[[_homogeneous, ‘class G‘]] |
✓ |
✓ |
8.793 |
|
\[ {}{y^{\prime }}^{2}+\left (x a +b \right ) y^{\prime }-a y+c = 0 \] |
clairaut |
[[_1st_order, _with_linear_symmetries], _Clairaut] |
✓ |
✓ |
0.502 |
|
\[ {}{y^{\prime }}^{2}-2 x^{2} y^{\prime }+2 x y = 0 \] |
first_order_ode_lie_symmetry_calculated |
[[_homogeneous, ‘class G‘]] |
✓ |
✓ |
52.138 |
|
\[ {}{y^{\prime }}^{2}+a \,x^{3} y^{\prime }-2 a \,x^{2} y = 0 \] |
first_order_ode_lie_symmetry_calculated |
[[_1st_order, _with_linear_symmetries]] |
✓ |
✓ |
23.797 |
|
\[ {}{y^{\prime }}^{2}+\left (y^{\prime }-y\right ) {\mathrm e}^{x} = 0 \] |
first_order_ode_lie_symmetry_calculated |
[[_1st_order, _with_linear_symmetries]] |
✓ |
✓ |
13.042 |
|
\[ {}{y^{\prime }}^{2}-2 y y^{\prime }-2 x = 0 \] |
dAlembert |
[_dAlembert] |
✓ |
✓ |
0.981 |
|
\[ {}{y^{\prime }}^{2}-\left (4 y+1\right ) y^{\prime }+\left (4 y+1\right ) y = 0 \] |
quadrature |
[_quadrature] |
✓ |
✓ |
3.441 |
|
\[ {}{y^{\prime }}^{2}+a y y^{\prime }-b x -c = 0 \] |
dAlembert |
[_dAlembert] |
✓ |
✓ |
91.843 |
|
\[ {}{y^{\prime }}^{2}+\left (b x +a y\right ) y^{\prime }+a b x y = 0 \] |
quadrature |
[_quadrature] |
✓ |
✓ |
0.919 |
|
\[ {}{y^{\prime }}^{2}-x y y^{\prime }+y^{2} \ln \left (a y\right ) = 0 \] |
first_order_ode_lie_symmetry_calculated |
[[_1st_order, ‘_with_symmetry_[F(x),G(y)]‘]] |
✓ |
✓ |
8.968 |
|
\[ {}{y^{\prime }}^{2}+2 y y^{\prime } \cot \left (x \right )-y^{2} = 0 \] |
separable |
[_separable] |
✓ |
✓ |
8.635 |
|
\[ {}{y^{\prime }}^{2}+2 f \left (x \right ) y y^{\prime }+g \left (x \right ) y^{2}+h \left (x \right ) = 0 \] |
unknown |
[‘y=_G(x,y’)‘] |
❇ |
N/A |
14.407 |
|
\[ {}{y^{\prime }}^{2}+y \left (y-x \right ) y^{\prime }-x y^{3} = 0 \] |
quadrature, separable |
[_separable] |
✓ |
✓ |
0.816 |
|
\[ {}{y^{\prime }}^{2}-2 x^{3} y^{2} y^{\prime }-4 x^{2} y^{3} = 0 \] |
first_order_ode_lie_symmetry_calculated |
[[_1st_order, _with_linear_symmetries]] |
✓ |
✓ |
35.307 |
|
\[ {}{y^{\prime }}^{2}-3 x y^{\frac {2}{3}} y^{\prime }+9 y^{\frac {5}{3}} = 0 \] |
first_order_ode_lie_symmetry_calculated |
[[_1st_order, _with_linear_symmetries]] |
✓ |
✓ |
14.772 |
|
\[ {}2 {y^{\prime }}^{2}+\left (-1+x \right ) y^{\prime }-y = 0 \] |
clairaut |
[[_1st_order, _with_linear_symmetries], _Clairaut] |
✓ |
✓ |
0.484 |
|
\[ {}2 {y^{\prime }}^{2}-2 x^{2} y^{\prime }+3 x y = 0 \] |
first_order_ode_lie_symmetry_calculated |
[[_homogeneous, ‘class G‘]] |
✓ |
✓ |
14.767 |
|
\[ {}3 {y^{\prime }}^{2}-2 x y^{\prime }+y = 0 \] |
dAlembert |
[[_1st_order, _with_linear_symmetries], _dAlembert] |
✓ |
✓ |
0.743 |
|
\[ {}3 {y^{\prime }}^{2}+4 x y^{\prime }-y+x^{2} = 0 \] |
first_order_ode_lie_symmetry_calculated |
[[_homogeneous, ‘class G‘]] |
✓ |
✓ |
3.991 |
|
\[ {}a {y^{\prime }}^{2}+b y^{\prime }-y = 0 \] |
quadrature |
[_quadrature] |
✓ |
✓ |
2.518 |
|
\[ {}a {y^{\prime }}^{2}+b \,x^{2} y^{\prime }+c x y = 0 \] |
first_order_ode_lie_symmetry_calculated |
[[_homogeneous, ‘class G‘]] |
✓ |
✓ |
44.898 |
|
\[ {}a {y^{\prime }}^{2}+y y^{\prime }-x = 0 \] |
dAlembert |
[_dAlembert] |
✓ |
✓ |
91.692 |
|
\[ {}a {y^{\prime }}^{2}-y y^{\prime }-x = 0 \] |
dAlembert |
[_dAlembert] |
✓ |
✓ |
1.307 |
|
\[ {}x {y^{\prime }}^{2}-y = 0 \] |
dAlembert, first_order_nonlinear_p_but_separable |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
1.808 |
|
\[ {}x {y^{\prime }}^{2}-2 y+x = 0 \] |
dAlembert |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
1.03 |
|
\[ {}x {y^{\prime }}^{2}-2 y^{\prime }-y = 0 \] |
dAlembert |
[_rational, _dAlembert] |
✓ |
✓ |
0.774 |
|
\[ {}x {y^{\prime }}^{2}+4 y^{\prime }-2 y = 0 \] |
dAlembert |
[_rational, _dAlembert] |
✓ |
✓ |
0.786 |
|
\[ {}x {y^{\prime }}^{2}+x y^{\prime }-y = 0 \] |
dAlembert |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
0.789 |
|
\[ {}x {y^{\prime }}^{2}+y y^{\prime }+a = 0 \] |
dAlembert |
[[_homogeneous, ‘class G‘], _dAlembert] |
✓ |
✓ |
1.003 |
|
\[ {}x {y^{\prime }}^{2}+y y^{\prime }-x^{2} = 0 \] |
first_order_ode_lie_symmetry_calculated |
[[_homogeneous, ‘class G‘]] |
✓ |
✓ |
75.885 |
|
\[ {}x {y^{\prime }}^{2}+y y^{\prime }+x^{3} = 0 \] |
first_order_ode_lie_symmetry_calculated |
[[_homogeneous, ‘class G‘]] |
✓ |
✓ |
18.308 |
|
\[ {}x {y^{\prime }}^{2}+y y^{\prime }-y^{4} = 0 \] |
first_order_ode_lie_symmetry_calculated |
[[_homogeneous, ‘class G‘]] |
✓ |
✓ |
5.524 |
|
\[ {}x {y^{\prime }}^{2}+\left (y-3 x \right ) y^{\prime }+y = 0 \] |
dAlembert |
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
1.282 |
|
\[ {}x {y^{\prime }}^{2}-y y^{\prime }+a = 0 \] |
clairaut |
[[_homogeneous, ‘class G‘], _rational, _Clairaut] |
✓ |
✓ |
0.625 |
|
\[ {}x {y^{\prime }}^{2}-y y^{\prime }+a y = 0 \] |
dAlembert |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
1.109 |
|
\[ {}x {y^{\prime }}^{2}+2 y y^{\prime }-x = 0 \] |
dAlembert |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
1.729 |
|
\[ {}x {y^{\prime }}^{2}-2 y y^{\prime }+a = 0 \] |
dAlembert |
[[_homogeneous, ‘class G‘], _rational, _dAlembert] |
✓ |
✓ |
1.007 |
|
\[ {}x {y^{\prime }}^{2}-2 y y^{\prime }-x = 0 \] |
dAlembert |
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
0.658 |
|
\[ {}x {y^{\prime }}^{2}-2 y y^{\prime }+4 x = 0 \] |
dAlembert |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
0.582 |
|
\[ {}x {y^{\prime }}^{2}-2 y y^{\prime }+2 y+x = 0 \] |
dAlembert |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
0.724 |
|
\[ {}x {y^{\prime }}^{2}+a y y^{\prime }+b x = 0 \] |
dAlembert |
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
1.891 |
|
\[ {}\left (1+x \right ) {y^{\prime }}^{2}-\left (x +y\right ) y^{\prime }+y = 0 \] |
clairaut |
[[_1st_order, _with_linear_symmetries], _rational, _dAlembert] |
✓ |
✓ |
0.747 |
|
\[ {}\left (1+3 x \right ) {y^{\prime }}^{2}-3 \left (y+2\right ) y^{\prime }+9 = 0 \] |
clairaut |
[[_1st_order, _with_linear_symmetries], _Clairaut] |
✓ |
✓ |
0.732 |
|
\[ {}\left (3 x +5\right ) {y^{\prime }}^{2}-\left (x +3 y\right ) y^{\prime }+y = 0 \] |
clairaut |
[[_1st_order, _with_linear_symmetries], _rational, _dAlembert] |
✓ |
✓ |
0.777 |
|
\[ {}a x {y^{\prime }}^{2}+\left (b x -a y+c \right ) y^{\prime }-b y = 0 \] |
clairaut |
[[_1st_order, _with_linear_symmetries], _rational, _dAlembert] |
✓ |
✓ |
0.829 |
|
\[ {}a x {y^{\prime }}^{2}-\left (a y+b x -a -b \right ) y^{\prime }+b y = 0 \] |
clairaut |
[[_1st_order, _with_linear_symmetries], _rational, _dAlembert] |
✓ |
✓ |
0.886 |
|
\[ {}\left (\operatorname {a2} x +\operatorname {c2} \right ) {y^{\prime }}^{2}+\left (\operatorname {a1} x +\operatorname {b1} y+\operatorname {c1} \right ) y^{\prime }+\operatorname {a0} x +\operatorname {b0} y+\operatorname {c0} = 0 \] |
dAlembert |
[_rational, _dAlembert] |
✓ |
✓ |
128.933 |
|
\[ {}x^{2} {y^{\prime }}^{2}-y^{4}+y^{2} = 0 \] |
first_order_nonlinear_p_but_separable |
[_separable] |
✓ |
✓ |
2.795 |
|
\[ {}\left (x y^{\prime }+a \right )^{2}-2 a y+x^{2} = 0 \] |
unknown |
[_rational] |
✗ |
N/A |
4.225 |
|
\[ {}\left (x y^{\prime }+y+2 x \right )^{2}-4 x y-4 x^{2}-4 a = 0 \] |
first_order_ode_lie_symmetry_calculated |
[[_1st_order, ‘_with_symmetry_[F(x),G(y)]‘]] |
✓ |
✓ |
8.199 |
|
\[ {}y^{\prime }-1 = 0 \] |
quadrature |
[_quadrature] |
✓ |
✓ |
0.181 |
|
\[ {}x^{2} {y^{\prime }}^{2}-2 x y y^{\prime }+y \left (y+1\right )-x = 0 \] |
first_order_ode_lie_symmetry_calculated |
[[_1st_order, _with_linear_symmetries], _rational] |
✓ |
✓ |
8.697 |
|
\[ {}x^{2} {y^{\prime }}^{2}-2 x y y^{\prime }+y^{2} \left (-x^{2}+1\right )-x^{4} = 0 \] |
unknown |
[_rational, [_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✗ |
N/A |
6.124 |
|
\[ {}x^{2} {y^{\prime }}^{2}-\left (2 x y+a \right ) y^{\prime }+y^{2} = 0 \] |
clairaut |
[[_homogeneous, ‘class G‘], _rational, _Clairaut] |
✓ |
✓ |
1.856 |
|
\[ {}x^{2} {y^{\prime }}^{2}+3 x y y^{\prime }+2 y^{2} = 0 \] |
separable |
[_separable] |
✓ |
✓ |
1.616 |
|
\[ {}x^{2} {y^{\prime }}^{2}+3 x y y^{\prime }+3 y^{2} = 0 \] |
separable |
[_separable] |
✓ |
✓ |
1.979 |
|
\[ {}x^{2} {y^{\prime }}^{2}+4 x y y^{\prime }-5 y^{2} = 0 \] |
separable |
[_separable] |
✓ |
✓ |
1.934 |
|
\[ {}x^{2} {y^{\prime }}^{2}-4 x \left (y+2\right ) y^{\prime }+4 y \left (y+2\right ) = 0 \] |
separable |
[_separable] |
✓ |
✓ |
7.426 |
|
\[ {}x^{2} {y^{\prime }}^{2}+\left (x^{2} y-2 x y+x^{3}\right ) y^{\prime }+\left (y^{2}-x^{2} y\right ) \left (1-x \right ) = 0 \] |
linear, separable |
[_linear] |
✓ |
✓ |
1.335 |
|
\[ {}x^{2} {y^{\prime }}^{2}-y \left (-2 x +y\right ) y^{\prime }+y^{2} = 0 \] |
dAlembert |
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
2.429 |
|
\[ {}x^{2} {y^{\prime }}^{2}+\left (a \,x^{2} y^{3}+b \right ) y^{\prime }+a b y^{3} = 0 \] |
quadrature |
[_quadrature] |
✓ |
✓ |
1.109 |
|
\[ {}\left (x^{2}+1\right ) {y^{\prime }}^{2}-2 x y y^{\prime }+y^{2}-1 = 0 \] |
clairaut |
[[_1st_order, _with_linear_symmetries], _rational, _Clairaut] |
✓ |
✓ |
0.944 |
|
\[ {}\left (x^{2}-1\right ) {y^{\prime }}^{2}-1 = 0 \] |
quadrature |
[_quadrature] |
✓ |
✓ |
0.809 |
|
\[ {}\left (x^{2}-1\right ) {y^{\prime }}^{2}-y^{2}+1 = 0 \] |
first_order_nonlinear_p_but_separable |
[_rational, [_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✓ |
✓ |
2.639 |
|
\[ {}\left (-a^{2}+x^{2}\right ) {y^{\prime }}^{2}+2 x y y^{\prime }+y^{2} = 0 \] |
separable |
[_separable] |
✓ |
✓ |
1.438 |
|
\[ {}\left (-a^{2}+x^{2}\right ) {y^{\prime }}^{2}-2 x y y^{\prime }-x^{2} = 0 \] |
first_order_ode_lie_symmetry_calculated |
[[_1st_order, ‘_with_symmetry_[F(x),G(y)]‘]] |
✓ |
✓ |
132.964 |
|
\[ {}\left (x^{2}+a \right ) {y^{\prime }}^{2}-2 x y y^{\prime }+y^{2}+b = 0 \] |
clairaut |
[[_1st_order, _with_linear_symmetries], _rational, _Clairaut] |
✓ |
✓ |
3.489 |
|
\[ {}\left (2 x^{2}+1\right ) {y^{\prime }}^{2}+\left (y^{2}+2 x y+x^{2}+2\right ) y^{\prime }+2 y^{2}+1 = 0 \] |
unknown |
[‘y=_G(x,y’)‘] |
❇ |
N/A |
26.482 |
|
\[ {}\left (a^{2}-1\right ) x^{2} {y^{\prime }}^{2}+2 x y y^{\prime }-y^{2}+a^{2} x^{2} = 0 \] |
dAlembert |
[[_homogeneous, ‘class A‘], _dAlembert] |
✓ |
✓ |
213.142 |
|
\[ {}a \,x^{2} {y^{\prime }}^{2}-2 a x y y^{\prime }+y^{2}-a \left (a -1\right ) x^{2} = 0 \] |
dAlembert |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
2.766 |
|
\[ {}x^{3} {y^{\prime }}^{2}+x^{2} y y^{\prime }+a = 0 \] |
first_order_ode_lie_symmetry_calculated |
[[_homogeneous, ‘class G‘]] |
✓ |
✓ |
6.274 |
|
\[ {}x \left (x^{2}-1\right ) {y^{\prime }}^{2}+2 \left (-x^{2}+1\right ) y y^{\prime }+x y^{2}-x = 0 \] |
unknown |
[_rational, [_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✗ |
N/A |
8.06 |
|
\[ {}x^{4} {y^{\prime }}^{2}-x y^{\prime }-y = 0 \] |
first_order_ode_lie_symmetry_calculated |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
✓ |
4.196 |
|
\[ {}x^{2} \left (-a^{2}+x^{2}\right ) {y^{\prime }}^{2}-1 = 0 \] |
quadrature |
[_quadrature] |
✓ |
✓ |
0.685 |
|
\[ {}{\mathrm e}^{-2 x} {y^{\prime }}^{2}-\left (y^{\prime }-1\right )^{2}+{\mathrm e}^{-2 y} = 0 \] |
unknown |
[[_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✗ |
N/A |
12.216 |
|
\[ {}\left ({y^{\prime }}^{2}+y^{2}\right ) \cos \left (x \right )^{4}-a^{2} = 0 \] |
unknown |
[‘y=_G(x,y’)‘] |
❇ |
N/A |
11.382 |
|
\[ {}\operatorname {d0} \left (x \right ) {y^{\prime }}^{2}+2 \operatorname {b0} \left (x \right ) y y^{\prime }+\operatorname {c0} \left (x \right ) y^{2}+2 \operatorname {d0} \left (x \right ) y^{\prime }+2 \operatorname {e0} \left (x \right ) y+\operatorname {f0} \left (x \right ) = 0 \] |
unknown |
[‘y=_G(x,y’)‘] |
❇ |
N/A |
77.711 |
|
\[ {}y {y^{\prime }}^{2}-1 = 0 \] |
quadrature |
[_quadrature] |
✓ |
✓ |
0.422 |
|
\[ {}y {y^{\prime }}^{2}-{\mathrm e}^{2 x} = 0 \] |
first_order_ode_lie_symmetry_calculated |
[[_1st_order, _with_linear_symmetries]] |
✓ |
✓ |
4.508 |
|
\[ {}y {y^{\prime }}^{2}+2 x y^{\prime }-y = 0 \] |
dAlembert |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
0.859 |
|
\[ {}y {y^{\prime }}^{2}+2 x y^{\prime }-9 y = 0 \] |
dAlembert |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
2.352 |
|
\[ {}y {y^{\prime }}^{2}-2 x y^{\prime }+y = 0 \] |
dAlembert |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
✓ |
0.612 |
|
|
||||||
|
||||||