Related papers: Symbolic Computations of First Integrals for Polyn…

We extend to the $n$-dimensional ellipsoid contained in $\R^{n+1},$ the Darboux theory of integrability for polynomial vector fields in the $n$-dimensional sphere (Llibre et al., 2018). New results on the maximum number of invariant…

Prelle and Singer showed in 1983 that if a system of ordinary differential equations defined on a differential field $K$ has a first integral in an elementrary field extension $L$ of $K$, then it must have a first integral consisting of…

The integrability problem of rational first-order ODEs $y^{\prime}=\frac{M(x,y)}{N(x,y)}$, where $M,N \in \mathbb{R}[x,y]$ is a long-term research focus in the area of dynamical systems, physics, etc. Although the computer algebra system…

M.F. Singer [Liouvillian first integrals of differential equations, Trans. Amer. Math. Soc. 333 (1992), 673--688] proved the equivalence between Liouvillian integrability and Darboux integrability for two dimensional polynomial differential…

We consider Lotka-Volterra systems in three dimensions depending on three real parameters. By using elementary algebraic methods we classify the Darboux polynomials (also known as second integrals) for such systems for various values of the…

Integrals of the Liouville $1$-form, known as the first Poincar\'e integral invariant, provide a computable figure of merit for monitoring the conservation of symplecticity in the numerical integration of Hamiltonian systems. These…

In this work, we consider rational ordinary differential equations dy/dx = Q(x,y)/P(x,y), with Q(x,y) and P(x,y) coprime polynomials with real coefficients. We give a method to construct equations of this type for which a first integral can…

The work presents the frst and the second degree Darboux polynomials, Jacobi's last multipliers as well as the set of frst integrals for Brans-Dicke cosmology. Algebraic invariant sets are constructed. First integrals are visualized for…

Let $\mathcal{F}$ be a foliation defined on a complex projective manifold $M$ of dimension $n$ and admitting a holomorphic vector field $X$ tangent to it along some non-empty Zariski-open set. In this paper we prove that if $X$ has…

We describe a procedure to construct polynomial in the momenta first integrals of arbitrarily high degree for natural Hamiltonians $H$ obtained as one-dimensional extensions of natural (geodesic) $n$-dimensional Hamiltonians $L$. The…

We present a new probabilistic algorithm to compute modular polynomials modulo a prime. Modular polynomials parameterize pairs of isogenous elliptic curves and are useful in many aspects of computational number theory and cryptography. Our…

Here we present a new approach to search for first order invariants (first integrals) of rational second order ordinary differential equations. This method is an alternative to the Darbouxian and symmetry approaches. Our procedure can…

Let $\tilde{f}(X)\in\mathbb{Z}[X]$ be a degree-$n$ polynomial such that $f(X):=\tilde{f}(X)\bmod p$ factorizes into $n$ distinct linear factors over $\mathbb{F}_p$. We study the problem of deterministically factoring $f(X)$ over…

Let $f, f_1, \ldots, f_\nV$ be polynomials with rational coefficients in the indeterminates $\bfX=X_1, \ldots, X_n$ of maximum degree $D$ and $V$ be the set of common complex solutions of $\F=(f_1,\ldots, f_\nV)$. We give an algorithm…

We have already dealt with the problem of solving First Order Differential Equations (1ODEs) presenting elementary functions before in [1, 2]. In this present paper, we have established solid theoretical basis through a relation between the…

We show that for a natural polynomial Hamiltonian system the existence of a single Darboux polynomial (a partial polynomial first integral) is equivalent to the existence of an additional first integral functionally independent with the…

We study a geometrical formulation of the nonlinear second-order Riccati equation (SORE) in terms of the projective vector field equation on $S^1$, whichn in turn is related to the stability algebra of Virasoro orbit. Using Darboux…

We study algebraic integrability of complex planar polynomial vector fields $X=A (x,y)(\partial/\partial x) + B(x,y) (\partial/\partial y) $ through extensions to Hirzebruch surfaces. Using these extensions, each vector field $X$ determines…

It is shown that, under some mild technical conditions, representations of prime numbers by binary quadratic forms can be computed in polynomial complexity by exploiting Schoof's algorithm, which counts the number of $\mathbb F_q$-points of…

The Riccati equations reducible to first-order linear equations by an appropriate change the dependent variable are singled out. All these equations are integrable by quadrature. A wide class of linear ordinary differential equations…