| # |
ODE |
CAS classification |
Solved |
Maple |
Mma |
Sympy |
time(sec) |
| \begin{align*}
y y^{\prime \prime }+{y^{\prime }}^{2}&=y y^{\prime } \\
\end{align*} |
[[_2nd_order, _missing_x], [_2nd_order, _exact, _nonlinear], _Liouville, [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
1.726 |
|
| \begin{align*}
y^{\prime \prime }&={y^{\prime }}^{2}+y^{\prime } \\
\end{align*} |
[[_2nd_order, _missing_x], _Liouville, [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✓ |
2.472 |
|
| \begin{align*}
y y^{\prime \prime }+{y^{\prime }}^{2}&=y y^{\prime } \\
\end{align*} |
[[_2nd_order, _missing_x], [_2nd_order, _exact, _nonlinear], _Liouville, [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
1.425 |
|
| \begin{align*}
y^{\prime \prime }+{y^{\prime }}^{2}+y^{\prime }&=0 \\
y \left (0\right ) &= 0 \\
\end{align*} |
[[_2nd_order, _missing_x], _Liouville, [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✓ |
1.607 |
|
| \begin{align*}
y y^{\prime \prime }-y y^{\prime }&={y^{\prime }}^{2} \\
\end{align*} |
[[_2nd_order, _missing_x], _Liouville, [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
0.834 |
|
| \begin{align*}
2 \cot \left (x \right ) y^{\prime }+2 \tan \left (y\right ) {y^{\prime }}^{2}+y^{\prime \prime }&=0 \\
\end{align*} |
[_Liouville, [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
1.293 |
|
| \begin{align*}
f \left (x \right ) y^{\prime }+g \left (y\right ) {y^{\prime }}^{2}+y^{\prime \prime }&=0 \\
\end{align*} |
[_Liouville, [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
0.717 |
|
| \begin{align*}
{y^{\prime }}^{2} x +x y^{\prime \prime }&=y^{\prime } \\
\end{align*} |
[[_2nd_order, _missing_y], _Liouville, [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✓ |
2.230 |
|
| \begin{align*}
x y^{\prime \prime }&={y^{\prime }}^{2} x +y^{\prime } \\
\end{align*} |
[[_2nd_order, _missing_y], _Liouville, [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✓ |
2.208 |
|
| \begin{align*}
-2 y^{\prime }+2 {y^{\prime }}^{2} x +x y^{\prime \prime }&=0 \\
\end{align*} |
[[_2nd_order, _missing_y], _Liouville, [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✓ |
2.197 |
|
| \begin{align*}
y y^{\prime \prime }&=y y^{\prime }+{y^{\prime }}^{2} \\
\end{align*} |
[[_2nd_order, _missing_x], _Liouville, [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
5.865 |
|
| \begin{align*}
y y^{\prime }+{y^{\prime }}^{2} x +x y y^{\prime \prime }&=0 \\
\end{align*} |
[[_2nd_order, _exact, _nonlinear], _Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
1.901 |
|
| \begin{align*}
{y^{\prime }}^{2} x +x y y^{\prime \prime }&=y y^{\prime } \\
\end{align*} |
[[_2nd_order, _exact, _nonlinear], _Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
3.647 |
|
| \begin{align*}
x y y^{\prime \prime }&=-y y^{\prime }+{y^{\prime }}^{2} x \\
\end{align*} |
[_Liouville, [_Painleve, ‘3rd‘], [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
1.079 |
|
| \begin{align*}
2 y y^{\prime }+{y^{\prime }}^{2} x +x y y^{\prime \prime }&=0 \\
\end{align*} |
[[_2nd_order, _exact, _nonlinear], _Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
7.372 |
|
| \begin{align*}
{y^{\prime }}^{2} x +x y y^{\prime \prime }&=3 y y^{\prime } \\
\end{align*} |
[[_2nd_order, _exact, _nonlinear], _Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
3.758 |
|
| \begin{align*}
y y^{\prime }+2 {y^{\prime }}^{2} x +x y y^{\prime \prime }&=0 \\
\end{align*} |
[_Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
4.970 |
|
| \begin{align*}
y y^{\prime }-2 {y^{\prime }}^{2} x +x y y^{\prime \prime }&=0 \\
\end{align*} |
[_Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
1.071 |
|
| \begin{align*}
-y y^{\prime }-2 {y^{\prime }}^{2} x +x y y^{\prime \prime }&=0 \\
\end{align*} |
[_Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
0.879 |
|
| \begin{align*}
a y y^{\prime }+2 {y^{\prime }}^{2} x +x y y^{\prime \prime }&=0 \\
\end{align*} |
[_Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
5.972 |
|
| \begin{align*}
a y y^{\prime }-2 {y^{\prime }}^{2} x +x y y^{\prime \prime }&=0 \\
\end{align*} |
[_Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
0.968 |
|
| \begin{align*}
4 y y^{\prime }-4 {y^{\prime }}^{2} x +x y y^{\prime \prime }&=0 \\
\end{align*} |
[_Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
5.243 |
|
| \begin{align*}
a y^{\prime } \left (x y^{\prime }-y\right )+x y y^{\prime \prime }&=0 \\
\end{align*} |
[_Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
1.095 |
|
| \begin{align*}
2 x y y^{\prime \prime }&=-y y^{\prime }+{y^{\prime }}^{2} x \\
\end{align*} |
[_Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
2.803 |
|
| \begin{align*}
\sqrt {a^{2}+x^{2}}\, \left (b {y^{\prime }}^{2}+y y^{\prime \prime }\right )&=y y^{\prime } \\
\end{align*} |
[_Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
5.736 |
|
| \begin{align*}
y y^{\prime }-2 {y^{\prime }}^{2} x +x y y^{\prime \prime }&=0 \\
\end{align*} |
[_Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
0.236 |
|
| \begin{align*}
x y y^{\prime \prime }+{y^{\prime }}^{2} x -y y^{\prime }&=0 \\
\end{align*} |
[[_2nd_order, _exact, _nonlinear], _Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
0.907 |
|
| \begin{align*}
x \left (y y^{\prime \prime }+{y^{\prime }}^{2}\right )&=y y^{\prime } \\
\end{align*} |
[[_2nd_order, _exact, _nonlinear], _Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
0.831 |
|
| \begin{align*}
x y^{\prime \prime }&=y^{\prime } \left (2-3 x y^{\prime }\right ) \\
\end{align*} |
[[_2nd_order, _missing_y], _Liouville, [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✓ |
1.306 |
|
| \begin{align*}
y^{\prime \prime }+x y^{\prime }+y {y^{\prime }}^{2}&=0 \\
\end{align*} |
[_Liouville, [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
0.454 |
|
| \begin{align*}
y^{\prime \prime }+\sin \left (x \right ) y^{\prime }+y {y^{\prime }}^{2}&=0 \\
\end{align*} |
[_Liouville, [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
0.428 |
|
| \begin{align*}
y^{\prime \prime }+x y^{\prime }+y {y^{\prime }}^{2}&=0 \\
\end{align*} |
[_Liouville, [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
0.374 |
|
| \begin{align*}
y^{\prime \prime }+\sin \left (x \right ) y^{\prime }+{y^{\prime }}^{2}&=0 \\
\end{align*} |
[[_2nd_order, _missing_y], _Liouville, [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✓ |
0.777 |
|
| \begin{align*}
3 y^{\prime \prime }+\cos \left (x \right ) y^{\prime }+\sin \left (y\right ) {y^{\prime }}^{2}&=0 \\
\end{align*} |
[_Liouville, [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
0.615 |
|
| \begin{align*}
10 y^{\prime \prime }+x^{2} y^{\prime }+\frac {3 {y^{\prime }}^{2}}{y}&=0 \\
\end{align*} |
[_Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
0.316 |
|
| \begin{align*}
a y y^{\prime \prime }+b {y^{\prime }}^{2}-\frac {y y^{\prime }}{\sqrt {c^{2}+x^{2}}}&=0 \\
\end{align*} |
[_Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
0.542 |
|
| \begin{align*}
x y y^{\prime \prime }+{y^{\prime }}^{2} x -y y^{\prime }&=0 \\
\end{align*} |
[[_2nd_order, _exact, _nonlinear], _Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
1.869 |
|
| \begin{align*}
a y y^{\prime }+2 {y^{\prime }}^{2} x +x y y^{\prime \prime }&=0 \\
\end{align*} |
[_Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
1.873 |
|
| \begin{align*}
a y y^{\prime }-2 {y^{\prime }}^{2} x +x y y^{\prime \prime }&=0 \\
\end{align*} |
[_Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
0.339 |
|
| \begin{align*}
4 y y^{\prime }-4 {y^{\prime }}^{2} x +x y y^{\prime \prime }&=0 \\
\end{align*} |
[_Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
1.505 |
|
| \begin{align*}
2 x y y^{\prime \prime }-{y^{\prime }}^{2} x +y y^{\prime }&=0 \\
\end{align*} |
[_Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
0.543 |
|
| \begin{align*}
y y^{\prime \prime }+{y^{\prime }}^{2}&=\frac {y y^{\prime }}{\sqrt {x^{2}+1}} \\
\end{align*} |
[_Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
2.318 |
|
| \begin{align*}
-y y^{\prime }-{y^{\prime }}^{2} x +x y y^{\prime \prime }&=0 \\
\end{align*} |
[_Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
1.783 |
|
| \begin{align*}
y y^{\prime \prime }+{y^{\prime }}^{2}&=2 y y^{\prime } \\
\end{align*} |
[[_2nd_order, _missing_x], [_2nd_order, _exact, _nonlinear], _Liouville, [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
1.804 |
|
| \begin{align*}
y^{\prime \prime }&=y^{\prime } \left (y^{\prime }-2\right ) \\
\end{align*} |
[[_2nd_order, _missing_x], _Liouville, [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✓ |
2.427 |
|
| \begin{align*}
y y^{\prime \prime }+2 {y^{\prime }}^{2}&=3 y y^{\prime } \\
y \left (0\right ) &= 2 \\
y^{\prime }\left (0\right ) &= {\frac {3}{4}} \\
\end{align*} |
[[_2nd_order, _missing_x], _Liouville, [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
1.188 |
|
| \begin{align*}
y^{\prime \prime }&=y^{\prime } \left (y^{\prime }+1\right ) \\
\end{align*} |
[[_2nd_order, _missing_x], _Liouville, [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✓ |
4.583 |
|
| \begin{align*}
x y y^{\prime \prime }+{y^{\prime }}^{2} x -y y^{\prime }&=0 \\
\end{align*} |
[[_2nd_order, _exact, _nonlinear], _Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
1.161 |
|
| \begin{align*}
y y^{\prime \prime }+{y^{\prime }}^{2}-2 y y^{\prime }&=0 \\
\end{align*} |
[[_2nd_order, _missing_x], [_2nd_order, _exact, _nonlinear], _Liouville, [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
2.493 |
|
| \begin{align*}
y y^{\prime }+{y^{\prime }}^{2} x +x y y^{\prime \prime }&=0 \\
\end{align*} |
[[_2nd_order, _exact, _nonlinear], _Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
0.970 |
|
| \begin{align*}
x y^{\prime \prime }+{y^{\prime }}^{2} x -y^{\prime }&=0 \\
\end{align*} |
[[_2nd_order, _missing_y], _Liouville, [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✓ |
0.701 |
|
| \begin{align*}
y^{\prime \prime }+2 y^{\prime }+4 {y^{\prime }}^{2}&=0 \\
\end{align*} |
[[_2nd_order, _missing_x], _Liouville, [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✓ |
2.342 |
|
| \begin{align*}
{y^{\prime }}^{2} x +x y y^{\prime \prime }&=3 y y^{\prime } \\
\end{align*} |
[[_2nd_order, _exact, _nonlinear], _Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
1.776 |
|
| \begin{align*}
2 y y^{\prime }+{y^{\prime }}^{2} x +x y y^{\prime \prime }&=0 \\
y \left (3\right ) &= 1 \\
y^{\prime }\left (3\right ) &= 2 \\
\end{align*} |
[[_2nd_order, _exact, _nonlinear], _Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
3.346 |
|
| \begin{align*}
x y^{\prime \prime }+{y^{\prime }}^{2} x -y^{\prime }&=0 \\
\end{align*} |
[[_2nd_order, _missing_y], _Liouville, [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✓ |
0.685 |
|
| \begin{align*}
x y^{\prime \prime }&=y^{\prime } \left (2-3 x y^{\prime }\right ) \\
\end{align*} |
[[_2nd_order, _missing_y], _Liouville, [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✓ |
0.964 |
|
| \begin{align*}
x y y^{\prime \prime }-{y^{\prime }}^{2} x&=y y^{\prime } \\
\end{align*} |
[_Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
0.222 |
|
| \begin{align*}
{y^{\prime }}^{2} x +x y y^{\prime \prime }&=2 y y^{\prime } \\
\end{align*} |
[[_2nd_order, _exact, _nonlinear], _Liouville, [_2nd_order, _with_linear_symmetries], [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]] |
✓ |
✓ |
✓ |
✗ |
0.469 |
|