相关论文: Theorem of three circles in Coq

We study the number of real zeros of trigonometric polynomials in a period and the number of zeros of self-reciprocal algebraic polynomials on the unit circle under the assumption that their coefficients are in a fixed finite set of real…

Building on the positive solution of Pillay's conjecture we present a notion of "intrinsic" reduction for elliptic curves over a real closed field K. We compare such notion with the traditional algebro-geometric reduction and produce a…

We provide sufficient conditions for systems of polynomial equations over general (real or complex) algebras to have a solution. This generalizes known results on quaternions, octonions and matrix algebras. We also generalize the…

A challenging problem in computational mathematics is to compute roots of a high-degree univariate random polynomial. We combine an efficient multiprecision implementation for solving high-degree random polynomials with two certification…

We discuss the algebra of $N\times N$ matrices as a reduced quantum plane. A $3-$nilpotent deformed differential calculus involving a complex parameter $q$ is constructed. The two cases, $q$ $3^{rd}$ and $N^{th}$ root of unity are…

The properties of the Pastro polynomials on the real line are studied with the help of a triplet of $q$-difference operators. The $q$-difference equation and recurrence relation these polynomials obey are shown to arise as generalized…

We present an algorithm to determine the Galois group of an irreducible monic polynomial $f(x) \in \mathbb{Z}[x]$ of degree at most five. Following work of Conrad, Dummit, and Stauduhar this comes down to answering two questions: Is a given…

This paper contains an attempt to formulate rigorously and to check predictions in enumerative geometry of curves following from Mirror Symmetry. The main tool is a new notion of stable map. We give an outline of a contsruction of…

We give an account of well known calculations of the RO(Q)-graded coefficient rings of some of the most basic Q-equivariant cohomology theories, where Q is a group of order 2. One purpose is to advertise the effectiveness of the Tate…

Theorem 1 is a formula expressing the mean number of real roots of a random multihomogeneous system of polynomial equations as a multiple of the mean absolute value of the determinant of a random matrix. Theorem 2 derives closed form…

We study real univariate polynomials with non-zero coefficients and with all roots real, out of which exactly two positive. The sequence of coefficients of such a polynomial begins with $m$ positive coefficients followed by $n$ negative…

A $P$-polynomial corner, for $P \in \mathbb{Z}[z]$ a polynomial, is a triple of points $(x,y),\; (x+P(z),y),\; (x,y+P(z))$ for $x,y,z \in \mathbb{Z}$. In the case where $P$ has an integer root of multiplicity $1$, we show that if $A…

We investigate regions formed by cylinders of circles of fixed radii. We investigate graphs obtained by collapsing each level set of the functions represented by the natural projections of them to the $1$-dimensional line. Some specific…

We present a new algorithm for isolating the real roots of a system of multivariate polynomials, given in the monomial basis. It is inspired by existing subdivision methods in the Bernstein basis; it can be seen as generalization of the…

This report presents a formalisation of Sylow's theorems done in {\sc Coq}. The formalisation has been done in a couple of weeks on top of Georges Gonthier's {\sc ssreflect} \cite{ssreflect}. There were two ideas behind formalising Sylow's…

The principal result of this note is the existence of a complex topological orientation for Atiyah-Segal $\mathbb{T}$-equivariant K-theory which indexes the projective space of lines in complex (n+1)-space by the Fourier expansion $1 + q +…

In this paper we show how to split the Root Locus plot for an irreducible rational transfer function into several individual algebraic plane curves, like lines, circles, conics, etc. To achieve this goal we use results of a previous paper…

The "fundamental theorem" for algebraic $K$-theory expresses the $K$-groups of a Laurent polynomial ring $L[t,t^{-1}]$ as a direct sum of two copies of the $K$-groups of $L$ (with a degree shift in one copy), and certain "nil" groups of…

A theorem of Kushnirenko and Bernstein shows that the number of isolated roots of a system of polynomials in a torus is bounded above by the mixed volume of the Newton polytopes of the given polynomials, and this upper bound is generically…

This paper is focused on the structure of the Kauffman bracket skein algebra of a punctured surface at roots of unity. A criterion that determines when a collection of skeins forms a basis of the skein algebra as an extension over the…