Related papers: The Bombieri-Pila determinant method
The equations for the critical points of the action functional defined by a Lagrangian depending on higher-order derivatives of admissible curves on a Lie algebroid are found. The relation with Euler-Poincar\'e and Lagrange Poincar\'e type…
We deliver a call to arms for probabilistic numerical methods: algorithms for numerical tasks, including linear algebra, integration, optimization and solving differential equations, that return uncertainties in their calculations. Such…
The cylindrical algebraic covering method was originally proposed to decide the satisfiability of a set of non-linear real arithmetic constraints. We reformulate and extend the cylindrical algebraic covering method to allow for checking the…
This is a leisurely introductory account addressed to non-experts and based on previous work by the authors, on how methods borrowed from physics can be used to "count" an infinite number of points. We begin with the classical case of…
We are introducing two methods for revealing the true inflection point of data that contains or not error. The starting point is a set of geometrical properties that follow the existence of an inflection point p for a smooth function. These…
In this paper, we address the problem of counting integer points in a rational polytope described by $P(y) = \{ x \in \mathbb{R}^m \colon Ax = y, x \geq 0\}$, where $A$ is an $n \times m$ integer matrix and $y$ is an $n$-dimensional integer…
The Thue-Siegel method is used to obtain an upper bound for the number of primitive integral solutions to a family of quartic Thue's inequalities. This will provide an upper bound for the number of integer points on a family of elliptic…
The number of rational points of a plane non-singular algebraic curve X defined over a finite field is computed, provided that the generic point of X is not an inflexion and that X is Frobenius non-classical with respect to conics.
Adding a column of numbers produces "carries" along the way. We show that random digits produce a pattern of carries with a neat probabilistic description: the carries form a one-dependent determinantal point process. This makes it easy to…
We construct a method to fair a given discrete planar curve by using the integrable discrete analogue of Euler's elastica, which is a discrete version of the approximation algorithm presented by D. Brander, et al. We first give a brief…
This paper presents a new predictor-corrector numerical scheme suitable for fractional differential equations. An improved explicit Atangana-Seda formula is obtained by considering the neglected terms and used as the predictor stage of the…
Tropical geometry is a piecewise linear "shadow" of algebraic geometry. It allows for the computation of several cohomological invariants of an algebraic variety. In particular, its application to enumerative algebraic geometry led to…
We study Lie-Hamilton systems on the plane, i.e. systems of first-order differential equations describing the integral curves of a $t$-dependent vector field taking values in a finite-dimensional real Lie algebra of planar Hamiltonian…
Contour integration is a crucial technique in many numeric methods of interest in physics ranging from differentiation to evaluating functions of matrices. It is often important to determine whether a given contour contains any poles or…
Derivatives play a critical role in computational statistics, examples being Bayesian inference using Hamiltonian Monte Carlo sampling and the training of neural networks. Automatic differentiation is a powerful tool to automate the…
We produce several algebraic curves, some well--known, some new, out of circles, by means of two classical (mutually reciprocal) algebraic methods: blow--down and blow--up.
In this work, we introduce a novel numerical method for solving initial value problems associated with a given differential. Our approach utilizes a spline approximation of the theoretical solution alongside the integral formulation of the…
We present a method using contour integration to derive definite integrals and their associated infinite sums which can be expressed as a special function. We give a proof of the basic equation and some examples of the method. The advantage…
We study determinantal Cremona maps, i.e. birational maps whose base ideal is the maximal minors ideal of a given matrix $\Phi$, via the resolution of the polynomials systems defined by $\Phi$. Using convex geometry, this approach leads in…
We develop a numerical method for solving a system of nonlinear integral equations involving two integral terms: at the current time t, one integral is taken from 0 to t, and a different integral is taken from t to infinity. We prove the…