Related papers: Etienne B\'ezout on Elimination Theory
The topic of this paper is, on the one hand to introduce algebraic analysis results of \'Etienne B\'ezout (1730- 1783) not as we know them today but as he found them in his time, and on the other hand to emphasize his innovating viewpoints.…
In 1841, Ferdinand Minding published ``Ueber die Bestimmung des Grades einer durch Elimination hervorgehenden Gleichung'' in Crelle's Journal. His main theorem represents the first (implicit) appearance of the BKK bound (and even some of…
[Inserted by J. Maurice Rojas] We give a formula for the number of complex roots of a generic system of two polynomial equations in two unknowns. The formula is completely combinatorial, ultimately depending just on the convex hull of the…
Given two non-zero integers $a$ and $b$ there exist integers $m$ and $n$ for which $am-bn =(a,b)$. An increasing number of mathematicians have been calling this `B\'ezout's identity', some encouraged by finding "identit\'e de B\'ezout" in…
Newton, in notes that he would rather not have seen published, described a process for solving simultaneous equations that later authors applied specifically to linear equations. This method that Euler did not recommend, that Legendre…
The article proved the upper bound of leading coefficient of characteristic polynomial of graded ideal in a ring of generalized polynomials.
Section 10.4 of the 1998 Springer-Verlag book {\em Complexity and Real Computation}, by Blum, Cucker, Shub, and Smale, contains a particularly elegant proof of the Fundamental Theorem of Algebra: The central idea of the proof naturally…
Numerous problems of analysis (real and complex) and geometry (analytic, algebraic, Diophantine e.a.) can be reduced to calculation of the ``number of solutions'' of systems of equations, defined by algebraic equalities and differential…
When people mention the mathematical achievements of Euclid, his geometrical achievements always spring to mind. But, his Number-Theoretical achievements (See Books 7, 8 and 9 in his magnum opus \emph{Elements} [1]) are rarely spoken. The…
Elimination of unknowns in systems of equations, starting with Gaussian elimination, is a problem of general interest. The problem of finding an a priori upper bound for the number of differentiations in elimination of unknowns in a system…
We establish effective elimination theorems for differential-difference equations. Specifically, we find a computable function $B(r,s)$ of the natural number parameters $r$ and $s$ so that for any system of algebraic differential-difference…
We introduce a "workable" notion of degree for non-homogeneous polynomial ideals and formulate and prove ideal theoretic B\'ezout Inequalities for the sum of two ideals in terms of this notion of degree and the degree of generators. We…
Cut-elimination theorems constitute one of the most important classes of theorems of proof theory. Since Gentzen's proof of the cut-elimination theorem for the system $\mathbf{LK}$, several other proofs have been proposed. Even though the…
In 1982, Tamaki Yano proposed a conjecture predicting how is the set of $b$-exponents of an irreducible plane curve singularity germ which is generic in its equisingularity class. In 1986, Pi.~Cassou-Nogu\`es proved the conjecture for the…
Euler's theorem asserts that $A(n)=B(n)$ where $A(n)$ is the number of partitions of $n$ into distinct parts and $B(n)$ is the number of partitions of $n$ into odd parts. In this paper, it is proved that for $n>0$, \begin{align*}…
Einstein's thesis ``A New Determination of Molecular Dimensions'' was the second of his five celebrated papers in 1905. Although it is -- thanks to its widespread practical applications -- the most quoted of his papers, it is less known…
Considerable thought has been devoted to an adequate definition of the class of infinite, random binary sequences (the sort of sequence that almost certainly arises from flipping a fair coin indefinitely). The first mathematical exploration…
Let $A_k(n)$ denote the set of $k$-distinct partitions of $n$, and let $B_k(n)$ be the set of $k$-regular partitions of $n$. Glaisher showed that $\# A_k(n) = \# B_k(n)$. For $k=2$, this equality yields the celebrated Euler's partition…
Obtaining a rigorous justification of the kinetic theory of gases from Newton's second law of dynamics for a large number of identical spheres interacting by elastic binary collisions, is a problem formulated by Hilbert in 1900 (Hilbert's…
In 1991, it was shown by Favaron, Mah\'eo, and Sacl\'e that the residue, which is defined as the number of zeros remaining when the Havel-Hakimi algorithm is applied to a degree sequence, yields a lower bound on the independence number of…