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

The subject matter of this work is integral points on conics described by the general equation, ax^2+bxy+cy^2+dx+ey+f=0 (1) where the six coefficients are integers satisfying the conditions, b^2-4ac=k^2, with a and c being nonzero and k a…

Let $k$ be a field with char $k \not= 2$, $X$ be an affine surface defined by the equation $z^2=P(x)y^2+Q(x)$ where $P(x), Q(x) \in k[x]$ are separable polynomials. We will investigate the rationality problem of $X$ in terms of the…

Let $\mathcal{C}$ be a plane curve given by an equation $f(x,y)=0$ with $f\in K[x][y]$ a monic squarefree polynomial. We study the problem of computing an integral basis of the algebraic function field $K(\mathcal{C})$ and give new…

Let $p$ be a fixed odd prime and $Q(x,y,z)=ax^2+bxy+cy^2+dxz+eyz+fz^2$ be a fixed quadratic form in $\mathbb{Z}[x,y,z]$ which is non-degenerate in $\mathbb{F}_p[x,y,z]$ and $(a(4ac-b^2),p)=1.$ Let $(x_0,y_0,z_0)$ be a fixed point in…

We propose a quantum algorithm to solve systems of nonlinear algebraic equations. In the ideal case the complexity of the algorithm is linear in the number of variables $n$, which means our algorithm's complexity is less than $O(n^{3})$ of…

Context. Many algorithms to solve Kepler's equations require the evaluation of trigonometric or root functions. Aims. We present an algorithm to compute the eccentric anomaly and even its cosine and sine terms without usage of other…

There are four division algebras over $\mathbb{R}$, namely real numbers, complex numbers, quaternions, and octonions. Lack of commutativity and associativity make it difficult to investigate algebraic and geometric properties of octonions.…

Let Q be a non-singular quadratic form with integer coefficients. When Q is indefinite we provide new upper bounds for the least non-trivial integral solution to the equation Q=0. When Q is positive definite we provide improved upper bounds…

Let K be a field of any characteristic and let R be an algebra generated by two elements satisfying quadratic equations. Then R is a homomorphic image of F=K<x,y | x^2+ax+b=0,y^2+cy+d=0> for suitable a,b,c,d in K. We establish that F can be…

Algebraic $K$-theory is a homology theory that behaves very well on sufficiently nice objects such as stable $C^*$-algebras or smooth algebraic varieties, and very badly in singular situations. This survey explains how to exploit this to…

Representative examples of our results are as follows. For any positive integer $N$ the equation $$ x^3+y^3=z^3+t^3, \quad x,y,z,t\in \mathbb{N}, \quad \{x,y\}\not=\{z,t\} $$ has no solutions satisfying $$ N\le x,y,z,t <…

Enumerative algebraic geometry counts the solutions to certain geometric constraints. Numerical algebraic geometry determines these solutions for any given instance. This article illustrates how these two fields complement each other. Our…

In the Euclidean plane ${\bf{E}}^2$, fix four pairwise distinct points \begin{equation*} \label{eqA} \begin{array}{ccc} A=(a_1,a_2),\ B=(b_1,b_2),\ C=(c_1,c_2),\ D=(d_1,d_2), \end{array} \end{equation*} together with four non-zero real…

For R=Q/J with Q a commutative graded algebra over a field and J non-zero, we relate the slopes of the minimal resolutions of R over Q and of k=R/R_{+} over R. When Q and R are Koszul and J_1=0 we prove Tor^Q_i(R,k)_j=0 for j>2i, for each…

Family of equations, which is the generalization of the $K(m,m)$ equation, is considered. Periodic wave solutions for the family of nonlinear equations are constructed.

We give results on zeros of a polynomial of $\zeta(s),\zeta'(s),\ldots,\zeta^{(k)}(s)$. First, we give a zero free region and prove that there exist zeros corresponding to the trivial zeros of the Riemann zeta function. Next, we estimate…

The existence of entire solutions to quasilinear elliptic systems exhibiting both singular and convective reaction terms is discussed. An auxiliary problem, obtained by `freezing' the convection terms and `shifting' the singular ones, is…

For k>=3 let A \subset [1,N] be a set not containing a solution to a_1 x_1+...+a_k x_k=a_1 x_{k+1}+...+a_k x_{2k} in distinct integers. We prove that there is an epsilon>0 depending on the coefficients of the equation such that every such A…

In our work we study the equations of the form $aX^4+bX^2 Y^2+cY^4=dZ^2$ over Gaussian integers by a method of the resolvents. We study as a new equations $X^4+6X^2 Y^2+Y^4=Z^2$ (Mordell's equation over $\mathbb{Z}[i]$),…

In this paper, we investigate the common index divisors of cyclic cubic fields. Let $a,b,c,d$ and $k$ are integers, we then solve the following Thue cubic equations:: \[ax^3+bx^2y+cxy^2+dy^3= k\ \] when $a,bc+d$ are odd and $3$ doesn't…