Related papers: A robust implementation for solving the $S$-unit e…

We present a practical, unconditional algorithm for determining the $S$-integral points on any elliptic moduli problem $\mathcal{Y}/\mathbb{Z}[1/S]$ -- that is, on any geometrically connected curve carrying a non-isotrivial elliptic…

Let $X= \mathbb{P}^1 \setminus \{0,1,\infty\}$, and let $S$ denote a finite set of prime numbers. In an article of 2005, Minhyong Kim gave a new proof of Siegel's theorem for $X$: the set $X(\mathbb{Z}[S^{-1}])$ of $S$-integral points of…

A new representation of solutions to the equation $-y"+q(x)y=\omega^2 y$ is obtained. For every $x$ the solution is represented as a Neumann series of Bessel functions depending on the spectral parameter $\omega$. Due to the fact that the…

We present a uniform methodology for computing with finitely generated matrix groups over any infinite field. As one application, we completely solve the problem of deciding finiteness in this class of groups. We also present an algorithm…

We fix a maximal order $\mathcal O$ in $\F=\R,\C$ or $\mathbb{H}$, and an $\F$-hermitian form $Q$ of signature $(n,1)$ with coefficients in $\mathcal O$. Let $k\in\N$. By applying a lattice point theorem on the $\F$-hyperbolic space, we…

We provide new results regarding the localization of the solutions of nonlinear operator systems. We make use of a combination of Krasnosel'ski\u{\i} cone compression-expansion type methodologies and Schauder-type ones. In particular we…

One shows that the Last Fermat Theorem is equivalent to the statement that all rational solutions of the famous equation are provided by an orbit of rationally parametrized subgroup of a group preserving k-ubic form. This very group…

Let $S := \{p_1,\ldots ,p_{\ell}\}$ be a finite set of primes and denote by $\mathcal{U}_S$ the set of all rational integers whose prime factors are all in $S$. Let $(U_n)_{n\geq 0}$ be a non-degenerate linear recurrence sequence with order…

Here is one of the results of this paper (with the convention ${{1}\over {0}}=+\infty$): Let $X$ be a real Hilbert space and let $J:X\to {\bf R}$ be a $C^1$ functional, with compact derivative, such that $$\alpha^*:=\max\left…

In this paper, we present a more complete version of the minimax theorem established in [7]. As a consequence, we get, for instance, the following result: Let $X$ be a compact, not singleton subset of a normed space $(E,\|\cdot\|)$ and let…

In 2020, Yamakawa and Okuno proposed a stabilized sequential quadratic semidefinite programming (SQSDP) method for solving, in particular, degenerate nonlinear semidefinite optimization problems. The algorithm is shown to converge globally…

We consider the semi-infinite system of polynomial inequalities of the form \[ \mathbf{K}:=\{x\in\mathbb{R}^m\mid p(x,y)\ge 0,\ \ \forall y\in S\subseteq\mathbb{R}^n\}, \] where $p(x,y)$ is a real polynomial in the variables $x$ and the…

In this paper, we introduce a general constructive method to compute solutions of initial value problems of semilinear parabolic partial differential equations on hyper-rectangular domains via semigroup theory and computer-assisted proofs.…

We present algorithmic and complexity results concerning computations with one and two real algebraic numbers, as well as real solving of univariate polynomials and bivariate polynomial systems with integer coefficients using Sturm-Habicht…

Between his arrival in Frankfurt in $1922$ and and his proof of his famous finiteness theorem for integral points in $1929$, Siegel had no publications. He did, however, write a letter to Mordell in $1926$ in which he explained a proof of…

In this paper we carry out the steps of Darmon's program for the generalized Fermat equation $$ x^n + y^n = z^5. $$ In particular, we develop the machinery necessary to prove an optimal bound on the exponent $n$ for solutions satisfying…

We study uniqueness of solutions to degenerate parabolic problems, posed in bounded domains, where no boundary conditions are imposed. Under suitable assumptions on the operator, uniqueness is obtained for solutions that satisfy an…

In this paper, we consider a well-known sparse optimization problem that aims to find a sparse solution of a possibly noisy underdetermined system of linear equations. Mathematically, it can be modeled in a unified manner by minimizing…

Let $n$ be a positive integer, and let $k$ be a field (of arbitrary characteristic) accessible to symbolic computation. We describe an algorithmic test for determining whether or not a finitely presented $k$-algebra $R$ has infinitely many…

In this paper, we establish a globally quantitative estimate of unique continuation at one time point for solutions of parabolic equations with Neumann boundary conditions in bounded domains. Our proof is mainly based on Carleman commutator…