Related papers: Windmills of the minds: an algorithm for Fermat's …

Mersenne numbers and Fermat numbers are two hot and difficult issues in number theory. This paper constructs a special group for every positive odd number other than 1, and discovers an algorithm for determining the multiplicative order of…

One source of beauty in mathematics is totally unexpected connections between two fundamentally different objects. For instance, is it not surprising that the time period of a real simple pendulum is linked with a function arising out of…

The worldsheet formulation of lattice gauge theories has two appealing features: the gauge non-redundancy and the geometrical transparency. Both properties are profitable in order to perform numerical computations. In the case of dynamical…

Descent theory (a modern formulation of Fermat's classical method of infinite descent) is a powerful tool in arithmetic geometry. In this article, we reinterpret descent theory through the lens of quotient stacks and apply it in the setting…

In [2], while studying a relevant class of polyominoes that tile the plane by translation, i.e., double square polyominoes, the authors found that their boundary words, encoded by the Freeman chain coding on a four letters alphabet, have…

Given a quadratic polynomial with rational coefficients, we investigate the existence of consecutive squares in the orbit of a rational point under the iteration of the polynomial. We display three different constructions of $1$-parameter…

Two distinct algorithms are presented to extract (schemata of) resolution proofs from closed tableaux for propositional schemata. The first one handles the most efficient version of the tableau calculus but generates very complex…

Every odd prime number p can be written in exactly (p + 1)/2 ways as a sum ab + cd with min(a, b) > max(c, d) of two ordered products. This gives a new proof Fermat's Theorem expressing primes of the form 1 + 4N as sums of two squares 1 .

A celebrated theorem in two-dimensional dynamics due to John Franks asserts that every area preserving homeomorphism of the sphere has either two or infinitely many periodic points. In this work we reprove Franks' theorem under the…

We present a constructive proof of Jacobi's identity for the sum of two squares. We present a combinatorial proof of the Jacobi Triple Product and combine with a proof of Hirschhorn to define an algorithm. The input is a factorization…

The Two-Measure theory (TMT) has been developing since 1998 and has yielded a number of highly interesting results, including those not realized in traditional field theory models. The most important advantage of TMT as an alternative…

Sturm's Theorem is a fundamental 19th century result relating the number of real roots of a polynomial $f$ in an interval to the number of sign alternations in a sequence of polynomial division-like calculations. We provide a short direct…

Inertial manifold theory, saddle point property and exponential dichotomy have been treated as different topics in the literature with different proofs. As a common feature, they all have the purpose of `splitting' the space to understand…

The $\sigma$-machine was recently introduced by Cerbai, Claesson and Ferrari as a tool to gain a better insight on the problem of sorting permutations with two stacks in series. It consists of two consecutive stacks, which are restricted in…

We use a variation of the Circle Method, along with the Saddle Point Method, to obtain an asymptotic formula for the number of partitions of a number n into integers which are sums of two squares. Unlike previous work on partitions into…

Invariants withstand transformations and, therefore, represent the essence of objects or phenomena. In mathematics, transformations often constitute a group action. Since the 19th century, studying the structure of various types of…

After reviewing Bertini's life story, a fascinating drama, we make a critical examination of the old statements and proofs of Bertini's two fundamental theorems, the theorem on variable singular points and the theorem on reducible linear…

Fermat's Last Theorem is proved by using the philosophical and mathematical knowledge of 1637 when the French mathematician Pierre de Fermat claimed to have a truly marvelous proof of his conjecture. Our approach consists of setting three…

We show that the use of the main characteristics of the circle map leads naturally to establish a few statements on primes and pseudoprimes. In this way a Fermat's theorem on primes and some interesting properties of pseudoprimes are…

We prove that if a continuous piecewise-smooth map on $\mathbb{R}^n$ is comprised of two linear functions, has a bounded orbit, and satisfies a certain non-degeneracy condition, then it has a fixed point. The result has important…