Related papers: Solving conics over Q(t1,..,tk)

An approach is proposed for bounding the number of zeros that solutions of linear differential systems with polynomial coefficients may have. A bound is obtained in a special case which improves upon currently existing.

Let $A,B$ be nonzero rational numbers. Consider the elliptic curve $E_{A,B}/\mathbb{Q}(t)$ with Weierstrass equation $y^2=x^3+At^6+B$. An algorithm to determine $\mathrm{rank } E_{A,B}(\mathbb{Q}(t))$ as a function of $(A,B)$ was presented…

We prove that for given integers b and c, the diophantine equation x^2+bx+c=y^2, has finitely many integer solutions(i.e. pairs in ZxZ),in fact an even number of such solutions(including the zero or no solutions case).We also offer an…

Let k be an arbitrary field of characteristic zero. In this paper we study quotients of k-rational conic bundles over projective line by finite groups of automorphisms. We construct smooth minimal models for such quotients. We show that any…

We use recurrence equations (alias difference equations) to enumerate the number of formula-representations of positive integers using only addition and multiplication, and using addition, multiplication, and exponentiation, where all the…

The quintic equation with real coefficients $$x^5+5ax^3+5a^2x+b=0$$ is solved in terms of radicals and the results used to sum a hypergeometric series for several arguments.

Let $\mathcal{Q}$ be an irreducible quartic with two nodes and one cusp as its singularities and let $\mathcal{C}$ be a conic such that the intersection multiplicity at each point of $\mathcal{C} \cap \mathcal{Q}$ is even and $\mathcal{C}…

We consider various problems related to finding points in $\Q^{2}$ and in $\Q^{3}$ which lie at rational distance from the vertices of some specified geometric object, for example, a square or rectangle in $\Q^{2}$, and a cube or…

Quadratic algebras of the type $\lsb Q_0, Q_\pm \rsb$ $=$ $\pm Q_\pm$, $\lsb Q_+, Q_- \rsb$ $=$ $aQ_0^2 + bQ_0 + c$ are studied using three-mode bosonic realizations. Matrix representations and single variable differential operator…

In this paper we study the problem of how to determine all elliptic curves defined over an arbitrary number field $K$ with good reduction outside a given finite set of primes $S$ of $K$ by solving $S$-unit equations. We give examples of…

In this paper we consider several instances of the k-center on a line problem where the goal is, given a set of points S in the plane and a parameter k >= 1, to find k disks with centers on a line l such that their union covers S and the…

Let $a,b$ be positive, relatively prime, integers. We prove, using induction, that for every $d > ab-a-b$ there exist $x,y\in\mathbb{Z}_{\geq 0}$, such that $d=ax+by$. As a byproduct, we obtain a constructive recursive algorithm for…

Let $f$ be a polynomial system consisting of $n$ polynomials $f_1,\cdots, f_n$ in $n$ variables $x_1,\cdots, x_n$, with coefficients in $\mathbb{Q}$ and let $\langle f\rangle$ be the ideal generated by $f$. Such a polynomial system, which…

Unlike the Hamilton quaternion algebra, the split-quaternions contain nontrivial zero divisors. In general speaking, it is hard to find the solutions of equations in algebras containing zero divisor. In this paper, we manage to derive…

Let a quantified inequality constraint over the reals be a formula in the first-order predicate language over the structure of the real numbers, where the allowed predicate symbols are $\leq$ and $<$. Solving such constraints is an…

We consider discrete nonlinear hyperbolic equations on quad-graphs, in particular on the square lattice. The fields are associated to the vertices and an equation Q(x_1,x_2,x_3,x_4)=0 relates four fields at one quad. Integrability of…

Let $E$ be an elliptic curve defined over $\mathbb{Q}$. In this article, we classify all groups that can arise as $E(\mathbb{Q}(\zeta_p))_{\text{tors}}$ up to isomorphism for any prime $p$. When $p - 1$ is not divisible by small integers…

We present some new and recent algorithmic results concerning polynomial system solving over various rings. In particular, we present some of the best recent bounds on: (a) the complexity of calculating the complex dimension of an algebraic…

We find explicitly all rational solutions of the title equation for all integers $k$ in the range $|k|\leq 50$ except for $k=-47,-39$. For the solution, a variety of methods is applied, which, depending on $k$, may range from elementary,…

Triangulation of a three-dimensional point from at least two noisy 2-D images can be formulated as a quadratically constrained quadratic program. We propose an algorithm to extract candidate solutions to this problem from its semidefinite…