Related papers: The Bombieri-Pila determinant method

We construct an integral model for counting Campana points of bounded height on diagonal hypersurfaces of degree greater than one, and give an asymptotic formula for their number, generalising work by Browning and Yamagishi. The paper also…

In this paper we use the method of discrete Darboux polynomials to calculate preserved measures and integrals of rational maps. The approach is based on the use of cofactors and Darboux polynomials and relies on the use of symbolic algebra…

Connected components of real algebraic sets are semi-algebraic, i.e. they are described by a boolean formula whose atoms are polynomial constraints with real coefficients. Computing such descriptions finds topical applications in optical…

We provably compute the full set of rational points on 1403 Picard curves defined over $\mathbb{Q}$ with Jacobians of Mordell-Weil rank $1$ using the Chabauty-Coleman method. To carry out this computation, we extend Magma code of…

In this paper, we describe new methods to compute the radical (resp. real radical) of an ideal, assuming it complex (resp. real) variety is finite. The aim is to combine approaches for solving a system of polynomial equations with dual…

We present a list of algebraic, combinatorial, and analytic mechanisms that give rise to determinantal point processes.

We address the question of effectivity for calculation of local Weil functions from the viewpoint of presentations of Cartier divisors. This builds on the approach of Bombieri and Gubler as well as the perspective of our earlier works.…

By establishing an interesting connection between ordinary Bell polynomials and rational convolution powers, some composition and inverse relations of Bell polynomials as well as explicit expressions for convolution roots of sequences are…

Two known computation methods and one new computation method for matrix determinant over an integral domain are discussed. For each of the methods we evaluate the computation times for different rings and show that the new method is the…

Integration by parts (IBP) has acquired a bad reputation. While it allows us to compute a wide variety of integrals when other methods fall short, its implementation is often seen as plodding and confusing. Readers familiar with tabular IBP…

We study integral points on affine surfaces by means of a new method, relying on the Subspace Theorem. Under suitable assumptions on the divisor at infinity, we prove that the integral points are contained in a curve. As a corollary, we…

We introduce a method for computing some pseudo-elliptic integrals in terms of elementary functions. The method is simple and fast in comparison to the algebraic case of the Risch-Trager-Bronstein algorithm. This method can quickly solve…

We study the defining equations of the Rees algebra of ideals arising from curve parametrizations in the plane and in rational normal scrolls, inspired by the work of Madsen and Kustin, Polini and Ulrich. The curves are related by work of…

We consider coverings of real algebraic curves to real rational algebraic curves. We show the existence of such coverings having prescribed topological degree on the real locus. From those existence results we prove some results on…

A criterion for the existence of a birational embedding into a projective plane with non-collinear Galois points for algebraic curves is presented. A new example of a plane curve with non-collinear Galois points as an application is…

The subject matter of this work is the set of integral points(i.e. points with both coordinates integers) on the graphs of rational functions of the form f(x)=(x^2+bx+c)/(x+a), with a,b,c,being integers.Following the introduction, we…

A formula expressing a point of order 8 on an elliptic curve, in terms of the roots of the associated cubic polynomial, is given. Doubling such a point yields a point of order 4 distinct from the well-known points of order 4 given in…

We develop a method for computing all the {\it generalized asymptotes} of a real plane algebraic curve $\cal C$ over $\Bbb C$ implicitly defined by an irreducible polynomial $f(x,y)\in {\Bbb R}[x,y]$. The approach is based on the notion of…

We present a method to compute the Euler characteristic of an algebraic subset of $\bc^n$. This method relies on clasical tools such as Gr\"obner basis and primary decomposition. The existence of this method allows us to define a new…

We use a global version of Heath-Brown's $p-$adic determinant method developed by Salberger to give upper bounds for the number of rational points of height at most $B$ on non-singular cubic curves defined over $\mathbb{Q}$. The bounds are…