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

Let K be F_q((T)), or more generally any field of characteristic p equipped with a valuation having a finite residue field of q elements. Then a polynomial f(x) in K[x] having k+1 nonzero coefficients has at most q^k distinct zeros in K. We…

Let $A \in \mathbb{Z}^{m \times n}$ be an integral matrix and $a$, $b$, $c \in \mathbb{Z}$ satisfy $a \geq b \geq c \geq 0$. The question is to recognize whether $A$ is $\{a,b,c\}$-modular, i.e., whether the set of $n \times n$…

Let $K$ be a proper cone in $\IR^n$, let $A$ be an $n\times n$ real matrix that satisfies $AK\subseteq K$, let $b$ be a given vector of $K$, and let $\lambda$ be a given positive real number. The following two linear equations are…

Given a polynomial $f(x_1,x_2,\ldots, x_t)$ in $t$ variables with integer coefficients and a positive integer $n$, let $\alpha(n)$ be the number of integers $0\leq a<n$ such that the polynomial congruence $f(x_1, x_2, \ldots, x_t)\equiv a\…

The goal of this paper is the presentation of an ``embedded resolution'' of ({f(x,y)+z^2=0},0) \subset (C^3,0) using the method of Jung.

Let $K$ be a set of $q^2+2q+1$ points in $PG(4,q)$. We show that if every 3-space meets $K$ in either one, two or three lines, a line and a non-degenerate conic, or a twisted cubic, then $K$ is a ruled cubic surface. Moreover, $K$…

We discuss existence of explicit search bounds for zeros of polynomials with coefficients in a number field. Our main result is a theorem about the existence of polynomial zeros of small height over the field of algebraic numbers outside of…

Theorem. An irreducible cubic polynomial with rational coefficients has a root in a one step radical extension of Q if and only if the discriminate is a square of a rational number. Theorem. An irreducible polynomial x^4+px^2+qx+s with…

For a certain class of solutions of the cubic nonlinear Sch\"odinger equation we prove non-existence in the generic case. In the nongeneric case we present a two-parameter set of solutions, bounded or unbounded, depending on corresponding…

For polynomials of degree two which have no zeros, the method of accompanying variables is developed and zeros of associated vector polynomials are determined. Our flexible method uses a wide variety of possible vector-valued vector…

In this paper, an idea to solve nonlinear equations is presented. During the solution of any problem with Newton's Method, it might happen that some of the unknowns satisfy the convergence criteria where the others fail. The convergence…

We study the autonomous systems of quadratic differential equations of the form $\dot{x}_i(t)=\mathbf{x}(t)^T \mathbf{A}_i \mathbf{x}(t) + \mathbf{v}_i^T \mathbf{x}(t)$ with $\mathbf{x}(t) = (x_1(t),x_2(t),\dots,x_i(t),\dots)$ which, in…

We prove that a bivariate polynomial f with exactly t non-zero terms, restricted to a real line {y=ax+b}, either has at most 6t-4 zeroes or vanishes over the whole line. As a consequence, we derive an alternative algorithm to decide whether…

Given a multi-variant polynomial inequality with a parameter, how to find the best possible value of this parameter that satisfies the inequality? For instance, find the greatest number $k$ that satisfies $ a^3+b^3+c^3+…

The first and second most symmetric nonsingular cubic surfaces are x^3+y^3+z^3+t^3=0 and x^2y+y^2z+z^2t+t^2x=0, respectively.

When considering geometry, one might think of working with lines and circles on a flat plane as in Euclidean geometry. However, doing geometry in other spaces is possible, as the existence of spherical and hyperbolic geometry demonstrates.…

Sets of $d\times d$ matrices sharing a common invariant cone enjoy special properties, which are widely used in applications. However, finding this cone or even proving its existence/non-existence is hard. This problem is known to be…

In this paper, we derive explicit formulas for computing the roots of $ax^{2}+bx+c=0$ with $a$ being not invertible in split quaternion algebra. We also imitate the approach developed by Opfer, Janovska and Falcao etc. to verify our results…

A new algorithm is presented for computing a direct solution to a system of consistent linear equations. It produces a minimum norm particular solution, a generalized inverse (of type {124}), and a null space projection operator. In…

The wave equation $\left(\partial_{tt} - c^2 \Delta_x\right) u(x,t) = e^{-t} f(x,t)$ is shown to have a unique solution if $u$ and its partial derivatives in $x$ are in $L^2(e^{-t})$ on the cone, and the solution can be explicit given in…