|
# |
ODE |
CAS classification |
Solved? |
time (sec) |
|
\[
{}\left (3 x^{2}-y^{2}\right ) y^{\prime } = 2 x y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
3.966 |
|
|
\[
{}\left (x^{4}+y^{2}\right ) y^{\prime } = 4 x^{3} y
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
2.709 |
|
|
\[
{}y \left (1+y\right ) y^{\prime } = \left (x +1\right ) x
\] |
[_separable] |
✓ |
1.499 |
|
|
\[
{}\left (x +2 y+y^{2}\right ) y^{\prime }+y \left (1+y\right )+\left (x +y\right )^{2} y^{2} = 0
\] |
[_rational] |
✗ |
3.870 |
|
|
\[
{}\left (x^{2}+2 y+y^{2}\right ) y^{\prime }+2 x = 0
\] |
[_rational, [_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
1.208 |
|
|
\[
{}\left (x^{3}+2 y-y^{2}\right ) y^{\prime }+3 x^{2} y = 0
\] |
[_exact, _rational, [_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
1.159 |
|
|
\[
{}\left (1+y+x y+y^{2}\right ) y^{\prime }+1+y = 0
\] |
[[_1st_order, _with_linear_symmetries], _rational] |
✓ |
1.323 |
|
|
\[
{}\left (x +y\right )^{2} y^{\prime } = a^{2}
\] |
[[_homogeneous, ‘class C‘], _dAlembert] |
✓ |
3.243 |
|
|
\[
{}\left (x -y\right )^{2} y^{\prime } = a^{2}
\] |
[[_homogeneous, ‘class C‘], _dAlembert] |
✓ |
2.170 |
|
|
\[
{}\left (x^{2}+2 x y-y^{2}\right ) y^{\prime }+x^{2}-2 x y+y^{2} = 0
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
6.579 |
|
|
\[
{}\left (x +y\right )^{2} y^{\prime } = x^{2}-2 x y+5 y^{2}
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
6.456 |
|
|
\[
{}\left (a +b +x +y\right )^{2} y^{\prime } = 2 \left (a +y\right )^{2}
\] |
[[_homogeneous, ‘class C‘], _rational] |
✓ |
1.881 |
|
|
\[
{}\left (2 x^{2}+4 x y-y^{2}\right ) y^{\prime } = x^{2}-4 x y-2 y^{2}
\] |
[[_homogeneous, ‘class A‘], _exact, _rational, _dAlembert] |
✓ |
4.674 |
|
|
\[
{}\left (3 x +y\right )^{2} y^{\prime } = 4 \left (3 x +2 y\right ) y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
18.189 |
|
|
\[
{}\left (1-3 x -y\right )^{2} y^{\prime } = \left (1-2 y\right ) \left (3-6 x -4 y\right )
\] |
[[_homogeneous, ‘class C‘], _rational] |
✓ |
2.825 |
|
|
\[
{}\left (\cot \left (x \right )-2 y^{2}\right ) y^{\prime } = y^{3} \csc \left (x \right ) \sec \left (x \right )
\] |
[‘y=_G(x,y’)‘] |
✗ |
57.702 |
|
|
\[
{}3 y^{2} y^{\prime } = 1+x +a y^{3}
\] |
[_rational, _Bernoulli] |
✓ |
1.553 |
|
|
\[
{}\left (x^{2}-3 y^{2}\right ) y^{\prime }+1+2 x y = 0
\] |
[_exact, _rational] |
✓ |
1.174 |
|
|
\[
{}\left (2 x^{2}+3 y^{2}\right ) y^{\prime }+x \left (3 x +y\right ) = 0
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
6.568 |
|
|
\[
{}3 \left (x^{2}-y^{2}\right ) y^{\prime }+3 \,{\mathrm e}^{x}+6 x y \left (x +1\right )-2 y^{3} = 0
\] |
[‘y=_G(x,y’)‘] |
✓ |
1.979 |
|
|
\[
{}\left (3 x^{2}+2 x y+4 y^{2}\right ) y^{\prime }+2 x^{2}+6 x y+y^{2} = 0
\] |
[[_homogeneous, ‘class A‘], _exact, _rational, _dAlembert] |
✓ |
6.606 |
|
|
\[
{}\left (1-3 x +2 y\right )^{2} y^{\prime } = \left (4+2 x -3 y\right )^{2}
\] |
[[_homogeneous, ‘class C‘], _rational] |
✓ |
78.703 |
|
|
\[
{}\left (1-3 x^{2} y+6 y^{2}\right ) y^{\prime }+x^{2}-3 x y^{2} = 0
\] |
[_exact, _rational] |
✓ |
1.513 |
|
|
\[
{}\left (x -6 y\right )^{2} y^{\prime }+a +2 x y-6 y^{2} = 0
\] |
[_exact, _rational, [_1st_order, ‘_with_symmetry_[F(x),G(x)]‘]] |
✓ |
1.325 |
|
|
\[
{}\left (x^{2}+a y^{2}\right ) y^{\prime } = x y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
2.697 |
|
|
\[
{}\left (x^{2}+x y+a y^{2}\right ) y^{\prime } = a \,x^{2}+x y+y^{2}
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
22.958 |
|
|
\[
{}\left (a \,x^{2}+2 x y-a y^{2}\right ) y^{\prime }+x^{2}-2 y a x -y^{2} = 0
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
4.454 |
|
|
\[
{}\left (a \,x^{2}+2 b x y+c y^{2}\right ) y^{\prime }+k \,x^{2}+2 y a x +b y^{2} = 0
\] |
[[_homogeneous, ‘class A‘], _exact, _rational, _dAlembert] |
✓ |
836.681 |
|
|
\[
{}x \left (1-y^{2}\right ) y^{\prime } = \left (x^{2}+1\right ) y
\] |
[_separable] |
✓ |
1.788 |
|
|
\[
{}x \left (3 x -y^{2}\right ) y^{\prime }+\left (5 x -2 y^{2}\right ) y = 0
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
3.522 |
|
|
\[
{}x \left (x^{2}+y^{2}\right ) y^{\prime } = \left (x^{2}+x^{4}+y^{2}\right ) y
\] |
[[_homogeneous, ‘class D‘], _rational] |
✓ |
1.566 |
|
|
\[
{}x \left (1-x^{2}+y^{2}\right ) y^{\prime }+\left (1+x^{2}-y^{2}\right ) y = 0
\] |
[_rational, [_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✓ |
4.697 |
|
|
\[
{}x \left (a -x^{2}-y^{2}\right ) y^{\prime }+\left (a +x^{2}+y^{2}\right ) y = 0
\] |
[_rational, [_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✓ |
4.347 |
|
|
\[
{}x \left (2 x^{2}+y^{2}\right ) y^{\prime } = \left (2 x^{2}+3 y^{2}\right ) y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
13.885 |
|
|
\[
{}\left (x \left (a -x^{2}-y^{2}\right )+y\right ) y^{\prime }+x -\left (a -x^{2}-y^{2}\right ) y = 0
\] |
[[_1st_order, _with_linear_symmetries], _rational] |
✓ |
1.533 |
|
|
\[
{}x \left (a +y\right )^{2} y^{\prime } = b y^{2}
\] |
[_separable] |
✓ |
1.388 |
|
|
\[
{}x \left (x^{2}-x y+y^{2}\right ) y^{\prime }+\left (x^{2}+x y+y^{2}\right ) y = 0
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
52.197 |
|
|
\[
{}x \left (x^{2}-x y-y^{2}\right ) y^{\prime } = \left (x^{2}+x y-y^{2}\right ) y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
70.501 |
|
|
\[
{}x \left (x^{2}+y a x +y^{2}\right ) y^{\prime } = \left (x^{2}+b x y+y^{2}\right ) y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
172.829 |
|
|
\[
{}x \left (x^{2}-2 y^{2}\right ) y^{\prime } = \left (2 x^{2}-y^{2}\right ) y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
16.959 |
|
|
\[
{}x \left (x^{2}+2 y^{2}\right ) y^{\prime } = \left (2 x^{2}+3 y^{2}\right ) y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
18.301 |
|
|
\[
{}2 x \left (5 x^{2}+y^{2}\right ) y^{\prime } = x^{2} y-y^{3}
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
18.479 |
|
|
\[
{}x \left (x^{2}+y a x +2 y^{2}\right ) y^{\prime } = \left (a x +2 y\right ) y^{2}
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
309.173 |
|
|
\[
{}3 x y^{2} y^{\prime } = 2 x -y^{3}
\] |
[[_homogeneous, ‘class G‘], _exact, _rational, _Bernoulli] |
✓ |
2.651 |
|
|
\[
{}\left (1-4 x +3 x y^{2}\right ) y^{\prime } = \left (2-y^{2}\right ) y
\] |
[_rational, [_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
1.636 |
|
|
\[
{}x \left (x -3 y^{2}\right ) y^{\prime }+\left (2 x -y^{2}\right ) y = 0
\] |
[[_homogeneous, ‘class G‘], _exact, _rational] |
✓ |
2.026 |
|
|
\[
{}3 x \left (x +y^{2}\right ) y^{\prime }+x^{3}-3 x y-2 y^{3} = 0
\] |
[_rational] |
✓ |
1.575 |
|
|
\[
{}x \left (x^{3}-3 x^{3} y+4 y^{2}\right ) y^{\prime } = 6 y^{3}
\] |
[_rational, [_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
2.112 |
|
|
\[
{}6 x y^{2} y^{\prime }+x +2 y^{3} = 0
\] |
[[_homogeneous, ‘class G‘], _exact, _rational, _Bernoulli] |
✓ |
2.750 |
|
|
\[
{}x \left (x +6 y^{2}\right ) y^{\prime }+x y-3 y^{3} = 0
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
2.038 |
|
|
\[
{}x \left (x^{2}-6 y^{2}\right ) y^{\prime } = 4 \left (x^{2}+3 y^{2}\right ) y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
22.253 |
|
|
\[
{}x \left (3 x -7 y^{2}\right ) y^{\prime }+\left (5 x -3 y^{2}\right ) y = 0
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
2.585 |
|
|
\[
{}x^{2} y^{2} y^{\prime }+1-x +x^{3} = 0
\] |
[_separable] |
✓ |
2.090 |
|
|
\[
{}\left (1-x^{2} y^{2}\right ) y^{\prime } = x y^{3}
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
2.202 |
|
|
\[
{}\left (1-x^{2} y^{2}\right ) y^{\prime } = \left (x y+1\right ) y^{2}
\] |
[[_homogeneous, ‘class G‘], _rational, [_Abel, ‘2nd type‘, ‘class B‘]] |
✓ |
1.672 |
|
|
\[
{}x \left (1+x y^{2}\right ) y^{\prime }+y = 0
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
3.796 |
|
|
\[
{}x \left (1+x y^{2}\right ) y^{\prime } = \left (2-3 x y^{2}\right ) y
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
3.895 |
|
|
\[
{}x^{2} \left (a +y\right )^{2} y^{\prime } = \left (x^{2}+1\right ) \left (y^{2}+a^{2}\right )
\] |
[_separable] |
✓ |
1.312 |
|
|
\[
{}\left (x^{2}+1\right ) \left (1+y^{2}\right ) y^{\prime }+2 x y \left (1-y^{2}\right ) = 0
\] |
[_separable] |
✓ |
21.469 |
|
|
\[
{}\left (x^{2}+1\right ) \left (1+y^{2}\right ) y^{\prime }+2 x y \left (1-y\right )^{2} = 0
\] |
[_separable] |
✓ |
2.155 |
|
|
\[
{}\left (1-x^{3}+6 x^{2} y^{2}\right ) y^{\prime } = \left (6+3 x y-4 y^{3}\right ) x
\] |
[_exact, _rational] |
✓ |
1.578 |
|
|
\[
{}x \left (3+5 x -12 x y^{2}+4 x^{2} y\right ) y^{\prime }+\left (3+10 x -8 x y^{2}+6 x^{2} y\right ) y = 0
\] |
[_exact, _rational] |
✓ |
2.041 |
|
|
\[
{}x^{3} \left (1+y^{2}\right ) y^{\prime }+3 x^{2} y = 0
\] |
[_separable] |
✓ |
2.635 |
|
|
\[
{}x \left (1-x y\right )^{2} y^{\prime }+\left (1+x^{2} y^{2}\right ) y = 0
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
2.029 |
|
|
\[
{}\left (1-x^{4} y^{2}\right ) y^{\prime } = x^{3} y^{3}
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
2.383 |
|
|
\[
{}\left (3 x -y^{3}\right ) y^{\prime } = x^{2}-3 y
\] |
[_exact, _rational] |
✓ |
1.221 |
|
|
\[
{}\left (x^{3}-y^{3}\right ) y^{\prime }+x^{2} y = 0
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
10.797 |
|
|
\[
{}\left (x^{3}+y^{3}\right ) y^{\prime }+x^{2} \left (a x +3 y\right ) = 0
\] |
[[_homogeneous, ‘class A‘], _exact, _rational, _dAlembert] |
✓ |
187.641 |
|
|
\[
{}\left (x -x^{2} y-y^{3}\right ) y^{\prime } = x^{3}-y+x y^{2}
\] |
[_exact, _rational] |
✓ |
1.662 |
|
|
\[
{}\left (a^{2} x +\left (x^{2}-y^{2}\right ) y\right ) y^{\prime }+x \left (x^{2}-y^{2}\right ) = a^{2} y
\] |
[_rational] |
✓ |
1.632 |
|
|
\[
{}\left (a +x^{2}+y^{2}\right ) y y^{\prime } = x \left (a -x^{2}-y^{2}\right )
\] |
[_exact, _rational] |
✓ |
1.547 |
|
|
\[
{}\left (3 x^{2}+y^{2}\right ) y y^{\prime }+x \left (x^{2}+3 y^{2}\right ) = 0
\] |
[[_homogeneous, ‘class A‘], _exact, _rational, _dAlembert] |
✓ |
66.949 |
|
|
\[
{}\left (a -3 x^{2}-y^{2}\right ) y y^{\prime }+x \left (a -x^{2}+y^{2}\right ) = 0
\] |
[_rational] |
✗ |
2.650 |
|
|
\[
{}2 y^{3} y^{\prime } = x^{3}-x y^{2}
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
17.025 |
|
|
\[
{}y \left (1+2 y^{2}\right ) y^{\prime } = x \left (2 x^{2}+1\right )
\] |
[_separable] |
✓ |
2.270 |
|
|
\[
{}\left (3 x^{2}+2 y^{2}\right ) y y^{\prime }+x^{3} = 0
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
78.025 |
|
|
\[
{}\left (5 x^{2}+2 y^{2}\right ) y y^{\prime }+x \left (x^{2}+5 y^{2}\right ) = 0
\] |
[[_homogeneous, ‘class A‘], _exact, _rational, _dAlembert] |
✓ |
233.017 |
|
|
\[
{}\left (x^{2}-x^{3}+3 x y^{2}+2 y^{3}\right ) y^{\prime }+2 x^{3}+3 x^{2} y+y^{2}-y^{3} = 0
\] |
[_rational] |
✗ |
2.706 |
|
|
\[
{}\left (3 x^{3}+6 x^{2} y-3 x y^{2}+20 y^{3}\right ) y^{\prime }+4 x^{3}+9 x^{2} y+6 x y^{2}-y^{3} = 0
\] |
[[_homogeneous, ‘class A‘], _exact, _rational, _dAlembert] |
✓ |
111.632 |
|
|
\[
{}\left (x^{3}+a y^{3}\right ) y^{\prime } = x^{2} y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
10.405 |
|
|
\[
{}x y^{3} y^{\prime } = \left (-x^{2}+1\right ) \left (1+y^{2}\right )
\] |
[_separable] |
✓ |
1.990 |
|
|
\[
{}x \left (x -y^{3}\right ) y^{\prime } = \left (3 x +y^{3}\right ) y
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
2.815 |
|
|
\[
{}x \left (2 x^{3}+y^{3}\right ) y^{\prime } = \left (2 x^{3}-x^{2} y+y^{3}\right ) y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
5.798 |
|
|
\[
{}x \left (2 x^{3}-y^{3}\right ) y^{\prime } = \left (x^{3}-2 y^{3}\right ) y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
10.352 |
|
|
\[
{}x \left (x^{3}+3 x^{2} y+y^{3}\right ) y^{\prime } = \left (3 x^{2}+y^{2}\right ) y^{2}
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
7.466 |
|
|
\[
{}x \left (x^{3}-2 y^{3}\right ) y^{\prime } = \left (2 x^{3}-y^{3}\right ) y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
6.824 |
|
|
\[
{}x \left (x^{4}-2 y^{3}\right ) y^{\prime }+\left (2 x^{4}+y^{3}\right ) y = 0
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
3.284 |
|
|
\[
{}x \left (x +y+2 y^{3}\right ) y^{\prime } = \left (x -y\right ) y
\] |
[_rational] |
✓ |
1.556 |
|
|
\[
{}\left (5 x -y-7 x y^{3}\right ) y^{\prime }+5 y-y^{4} = 0
\] |
[_rational, [_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
2.193 |
|
|
\[
{}x \left (1-2 x y^{3}\right ) y^{\prime }+\left (1-2 x^{3} y\right ) y = 0
\] |
[_rational] |
✓ |
1.564 |
|
|
\[
{}x \left (2-x y^{2}-2 x y^{3}\right ) y^{\prime }+1+2 y = 0
\] |
[_rational, [_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
2.608 |
|
|
\[
{}\left (2-10 x^{2} y^{3}+3 y^{2}\right ) y^{\prime } = x \left (1+5 y^{4}\right )
\] |
[_exact, _rational, [_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
1.538 |
|
|
\[
{}x \left (a +b x y^{3}\right ) y^{\prime }+\left (a +c \,x^{3} y\right ) y = 0
\] |
[_rational] |
✓ |
1.654 |
|
|
\[
{}x \left (1-2 x^{2} y^{3}\right ) y^{\prime }+\left (1-2 x^{3} y^{2}\right ) y = 0
\] |
[_rational] |
✓ |
1.436 |
|
|
\[
{}x \left (1-x y\right ) \left (1-x^{2} y^{2}\right ) y^{\prime }+\left (x y+1\right ) \left (1+x^{2} y^{2}\right ) y = 0
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
2.119 |
|
|
\[
{}\left (x^{2}-y^{4}\right ) y^{\prime } = x y
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
4.101 |
|
|
\[
{}\left (x^{3}-y^{4}\right ) y^{\prime } = 3 x^{2} y
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
2.727 |
|
|
\[
{}\left (a^{2} x^{2}+\left (x^{2}+y^{2}\right )^{2}\right ) y^{\prime } = a^{2} x y
\] |
[_rational] |
✓ |
4.731 |
|
|
\[
{}2 \left (x -y^{4}\right ) y^{\prime } = y
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
4.031 |
|
|
\[
{}\left (4 x -x y^{3}-2 y^{4}\right ) y^{\prime } = \left (2+y^{3}\right ) y
\] |
[_rational, [_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
3.006 |
|