|
# |
ODE |
CAS classification |
Solved? |
time (sec) |
|
\[
{}\left (3 x^{2}-y^{2}\right ) y^{\prime } = 2 x y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
3.666 |
|
|
\[
{}\left (x^{4}+y^{2}\right ) y^{\prime } = 4 x^{3} y
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
3.072 |
|
|
\[
{}y \left (1+y\right ) y^{\prime } = x \left (x +1\right )
\] |
[_separable] |
✓ |
1.506 |
|
|
\[
{}\left (x +2 y+y^{2}\right ) y^{\prime }+y \left (1+y\right )+\left (x +y\right )^{2} y^{2} = 0
\] |
[_rational] |
✗ |
3.893 |
|
|
\[
{}\left (x^{2}+2 y+y^{2}\right ) y^{\prime }+2 x = 0
\] |
[_rational, [_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
1.385 |
|
|
\[
{}\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.222 |
|
|
\[
{}\left (1+y+x y+y^{2}\right ) y^{\prime }+1+y = 0
\] |
[[_1st_order, _with_linear_symmetries], _rational] |
✓ |
1.484 |
|
|
\[
{}\left (x +y\right )^{2} y^{\prime } = a^{2}
\] |
[[_homogeneous, ‘class C‘], _dAlembert] |
✓ |
12.796 |
|
|
\[
{}\left (x -y\right )^{2} y^{\prime } = a^{2}
\] |
[[_homogeneous, ‘class C‘], _dAlembert] |
✓ |
4.316 |
|
|
\[
{}\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.153 |
|
|
\[
{}\left (x +y\right )^{2} y^{\prime } = x^{2}-2 x y+5 y^{2}
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
11.302 |
|
|
\[
{}\left (a +b +x +y\right )^{2} y^{\prime } = 2 \left (a +y\right )^{2}
\] |
[[_homogeneous, ‘class C‘], _rational] |
✓ |
2.350 |
|
|
\[
{}\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.390 |
|
|
\[
{}\left (3 x +y\right )^{2} y^{\prime } = 4 \left (3 x +2 y\right ) y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
35.362 |
|
|
\[
{}\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.882 |
|
|
\[
{}\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.801 |
|
|
\[
{}3 y^{2} y^{\prime } = 1+x +a y^{3}
\] |
[_rational, _Bernoulli] |
✓ |
2.004 |
|
|
\[
{}\left (x^{2}-3 y^{2}\right ) y^{\prime }+1+2 x y = 0
\] |
[_exact, _rational] |
✓ |
1.218 |
|
|
\[
{}\left (2 x^{2}+3 y^{2}\right ) y^{\prime }+x \left (3 x +y\right ) = 0
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
6.166 |
|
|
\[
{}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’)‘] |
✓ |
2.027 |
|
|
\[
{}\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.907 |
|
|
\[
{}\left (1-3 x +2 y\right )^{2} y^{\prime } = \left (4+2 x -3 y\right )^{2}
\] |
[[_homogeneous, ‘class C‘], _rational] |
✓ |
36.310 |
|
|
\[
{}\left (1-3 x^{2} y+6 y^{2}\right ) y^{\prime }+x^{2}-3 x y^{2} = 0
\] |
[_exact, _rational] |
✓ |
1.607 |
|
|
\[
{}\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.581 |
|
|
\[
{}\left (x^{2}+a y^{2}\right ) y^{\prime } = x y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
3.519 |
|
|
\[
{}\left (x^{2}+x y+a y^{2}\right ) y^{\prime } = a \,x^{2}+x y+y^{2}
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
25.095 |
|
|
\[
{}\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] |
✓ |
25.224 |
|
|
\[
{}\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] |
✓ |
547.793 |
|
|
\[
{}x \left (1-y^{2}\right ) y^{\prime } = \left (x^{2}+1\right ) y
\] |
[_separable] |
✓ |
2.032 |
|
|
\[
{}x \left (3 x -y^{2}\right ) y^{\prime }+\left (5 x -2 y^{2}\right ) y = 0
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
3.439 |
|
|
\[
{}x \left (x^{2}+y^{2}\right ) y^{\prime } = \left (x^{2}+x^{4}+y^{2}\right ) y
\] |
[[_homogeneous, ‘class D‘], _rational] |
✓ |
1.802 |
|
|
\[
{}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)]‘]] |
✓ |
5.343 |
|
|
\[
{}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)]‘]] |
✓ |
6.561 |
|
|
\[
{}x \left (2 x^{2}+y^{2}\right ) y^{\prime } = \left (2 x^{2}+3 y^{2}\right ) y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
28.595 |
|
|
\[
{}\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.959 |
|
|
\[
{}x \left (a +y\right )^{2} y^{\prime } = b y^{2}
\] |
[_separable] |
✓ |
1.920 |
|
|
\[
{}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] |
✓ |
174.604 |
|
|
\[
{}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] |
✓ |
170.251 |
|
|
\[
{}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] |
✓ |
396.954 |
|
|
\[
{}x \left (x^{2}-2 y^{2}\right ) y^{\prime } = \left (2 x^{2}-y^{2}\right ) y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
32.273 |
|
|
\[
{}x \left (x^{2}+2 y^{2}\right ) y^{\prime } = \left (2 x^{2}+3 y^{2}\right ) y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
33.554 |
|
|
\[
{}2 x \left (5 x^{2}+y^{2}\right ) y^{\prime } = x^{2} y-y^{3}
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
43.500 |
|
|
\[
{}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] |
✓ |
582.150 |
|
|
\[
{}3 x y^{2} y^{\prime } = 2 x -y^{3}
\] |
[[_homogeneous, ‘class G‘], _exact, _rational, _Bernoulli] |
✓ |
2.319 |
|
|
\[
{}\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.748 |
|
|
\[
{}x \left (x -3 y^{2}\right ) y^{\prime }+\left (2 x -y^{2}\right ) y = 0
\] |
[[_homogeneous, ‘class G‘], _exact, _rational] |
✓ |
1.902 |
|
|
\[
{}3 x \left (x +y^{2}\right ) y^{\prime }+x^{3}-3 x y-2 y^{3} = 0
\] |
[_rational] |
✓ |
1.560 |
|
|
\[
{}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]‘]] |
✓ |
1.817 |
|
|
\[
{}6 x y^{2} y^{\prime }+x +2 y^{3} = 0
\] |
[[_homogeneous, ‘class G‘], _exact, _rational, _Bernoulli] |
✓ |
2.511 |
|
|
\[
{}x \left (6 y^{2}+x \right ) y^{\prime }+x y-3 y^{3} = 0
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
2.658 |
|
|
\[
{}x \left (x^{2}-6 y^{2}\right ) y^{\prime } = 4 \left (x^{2}+3 y^{2}\right ) y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
34.993 |
|
|
\[
{}x \left (3 x -7 y^{2}\right ) y^{\prime }+\left (5 x -3 y^{2}\right ) y = 0
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
2.292 |
|
|
\[
{}x^{2} y^{2} y^{\prime }+1-x +x^{3} = 0
\] |
[_separable] |
✓ |
3.121 |
|
|
\[
{}\left (1-x^{2} y^{2}\right ) y^{\prime } = x y^{3}
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
2.205 |
|
|
\[
{}\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.732 |
|
|
\[
{}x \left (x y^{2}+1\right ) y^{\prime }+y = 0
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
7.604 |
|
|
\[
{}x \left (x y^{2}+1\right ) y^{\prime } = \left (2-3 x y^{2}\right ) y
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
5.744 |
|
|
\[
{}x^{2} \left (a +y\right )^{2} y^{\prime } = \left (x^{2}+1\right ) \left (y^{2}+a^{2}\right )
\] |
[_separable] |
✓ |
1.562 |
|
|
\[
{}\left (x^{2}+1\right ) \left (1+y^{2}\right ) y^{\prime }+2 x y \left (1-y^{2}\right ) = 0
\] |
[_separable] |
✓ |
53.398 |
|
|
\[
{}\left (x^{2}+1\right ) \left (1+y^{2}\right ) y^{\prime }+2 x y \left (1-y\right )^{2} = 0
\] |
[_separable] |
✓ |
2.244 |
|
|
\[
{}\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.780 |
|
|
\[
{}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.164 |
|
|
\[
{}x^{3} \left (1+y^{2}\right ) y^{\prime }+3 x^{2} y = 0
\] |
[_separable] |
✓ |
3.134 |
|
|
\[
{}x \left (1-x y\right )^{2} y^{\prime }+\left (1+x^{2} y^{2}\right ) y = 0
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
1.835 |
|
|
\[
{}\left (1-x^{4} y^{2}\right ) y^{\prime } = x^{3} y^{3}
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
4.427 |
|
|
\[
{}\left (3 x -y^{3}\right ) y^{\prime } = x^{2}-3 y
\] |
[_exact, _rational] |
✓ |
1.304 |
|
|
\[
{}\left (x^{3}-y^{3}\right ) y^{\prime }+x^{2} y = 0
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
141.925 |
|
|
\[
{}\left (x^{3}+y^{3}\right ) y^{\prime }+x^{2} \left (a x +3 y\right ) = 0
\] |
[[_homogeneous, ‘class A‘], _exact, _rational, _dAlembert] |
✓ |
181.849 |
|
|
\[
{}\left (x -x^{2} y-y^{3}\right ) y^{\prime } = x^{3}-y+x y^{2}
\] |
[_exact, _rational] |
✓ |
1.771 |
|
|
\[
{}\left (a^{2} x +y \left (x^{2}-y^{2}\right )\right ) y^{\prime }+x \left (x^{2}-y^{2}\right ) = a^{2} y
\] |
[_rational] |
✓ |
1.852 |
|
|
\[
{}\left (a +x^{2}+y^{2}\right ) y y^{\prime } = x \left (a -x^{2}-y^{2}\right )
\] |
[_exact, _rational] |
✓ |
2.143 |
|
|
\[
{}\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] |
✓ |
10.589 |
|
|
\[
{}\left (a -3 x^{2}-y^{2}\right ) y y^{\prime }+x \left (a -x^{2}+y^{2}\right ) = 0
\] |
[_rational] |
✗ |
2.712 |
|
|
\[
{}2 y^{3} y^{\prime } = x^{3}-x y^{2}
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
23.018 |
|
|
\[
{}y \left (1+2 y^{2}\right ) y^{\prime } = x \left (2 x^{2}+1\right )
\] |
[_separable] |
✓ |
2.725 |
|
|
\[
{}\left (3 x^{2}+2 y^{2}\right ) y y^{\prime }+x^{3} = 0
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
176.731 |
|
|
\[
{}\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] |
✓ |
190.300 |
|
|
\[
{}\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.765 |
|
|
\[
{}\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] |
✓ |
251.397 |
|
|
\[
{}\left (x^{3}+a y^{3}\right ) y^{\prime } = x^{2} y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
21.618 |
|
|
\[
{}x y^{3} y^{\prime } = \left (-x^{2}+1\right ) \left (1+y^{2}\right )
\] |
[_separable] |
✓ |
2.360 |
|
|
\[
{}x \left (x -y^{3}\right ) y^{\prime } = \left (3 x +y^{3}\right ) y
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
2.467 |
|
|
\[
{}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] |
✓ |
4.424 |
|
|
\[
{}x \left (2 x^{3}-y^{3}\right ) y^{\prime } = \left (x^{3}-2 y^{3}\right ) y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
21.054 |
|
|
\[
{}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] |
✓ |
4.860 |
|
|
\[
{}x \left (x^{3}-2 y^{3}\right ) y^{\prime } = \left (2 x^{3}-y^{3}\right ) y
\] |
[[_homogeneous, ‘class A‘], _rational, _dAlembert] |
✓ |
8.284 |
|
|
\[
{}x \left (x^{4}-2 y^{3}\right ) y^{\prime }+\left (2 x^{4}+y^{3}\right ) y = 0
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
3.261 |
|
|
\[
{}x \left (2 y^{3}+y+x \right ) y^{\prime } = y \left (x -y\right )
\] |
[_rational] |
✓ |
1.679 |
|
|
\[
{}\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]‘]] |
✓ |
1.762 |
|
|
\[
{}x \left (1-2 x y^{3}\right ) y^{\prime }+\left (1-2 x^{3} y\right ) y = 0
\] |
[_rational] |
✓ |
1.761 |
|
|
\[
{}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.830 |
|
|
\[
{}\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.663 |
|
|
\[
{}x \left (a +b x y^{3}\right ) y^{\prime }+\left (a +c \,x^{3} y\right ) y = 0
\] |
[_rational] |
✓ |
1.894 |
|
|
\[
{}x \left (1-2 x^{2} y^{3}\right ) y^{\prime }+\left (1-2 x^{3} y^{2}\right ) y = 0
\] |
[_rational] |
✓ |
1.508 |
|
|
\[
{}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] |
✓ |
1.880 |
|
|
\[
{}\left (x^{2}-y^{4}\right ) y^{\prime } = x y
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
4.998 |
|
|
\[
{}\left (x^{3}-y^{4}\right ) y^{\prime } = 3 x^{2} y
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
2.392 |
|
|
\[
{}\left (a^{2} x^{2}+\left (x^{2}+y^{2}\right )^{2}\right ) y^{\prime } = a^{2} x y
\] |
[_rational] |
✓ |
3.617 |
|
|
\[
{}2 \left (x -y^{4}\right ) y^{\prime } = y
\] |
[[_homogeneous, ‘class G‘], _rational] |
✓ |
4.869 |
|
|
\[
{}\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]‘]] |
✓ |
2.321 |
|