Related papers: Three-term Machin-type formulae

A thorough analysis is made of the Fourier coefficients for vector-valued modular forms associated to three-dimensional irreducible representations of the modular group. In particular, the following statement is verified for all but a…

For every number field $\mathbb{K}$, with $[\mathbb{K}:\mathbb{Q}] \geq 3$, we show that the number of non-associates of the same norm in a full module in $\mathbb{K}$ does not depend only on $\mathbb{K}$, but can also depend on the module…

We disprove a conjecture by Ye and Lim, by showing that there are $3 \times 3$ complex matrices which can't be expressed as the product of two Toeplitz matrices of the same size. We also improve previous estimates by Ye and Lim on the…

We give a criterion for the existence of a non-degenerate quasihomogeneous polynomial in a configuration, i.e. in the space of polynomials with a fixed set of weights, and clarify the relation of this criterion to the necessary condition…

We study a) the limit of the ratio of two consecutive terms in such a sequence and b) the limit of the ratio of two terms in which one has a lag equal to 2. In the general case limit a) does not exist but we have two limiting values…

In order to verify programs or hybrid systems, one often needs to prove that certain formulas are unsatisfiable. In this paper, we consider conjunctions of polynomial inequalities over the reals. Classical algorithms for deciding these not…

In this paper, we show that for a fixed rank $n$, there are only finitely many $m$ for which there is a regular $m$-gonal form of rank $n$ and determine every type of the (generalized) regular $m$-gonal form for every sufficiently large…

On the one hand, it is well known that the only subquadratic Dehn function of finitely presented groups is the linear one. On the other hand there is a huge class of Dehn functions $d(n)$ with growth at least $n^4$ (essentially all possible…

Let d be any number greather than or equal to 3. We show that the intersection of the set mdeg(Aut(C^3))\ mdeg(Tame(C3)) with {(d_1,d_2,d_3) : d=d_1 =< d_2 =< d_3} has infinitely many elements, where mdeg h = (deg h_1,...,deg h_n) denotes…

Three formal first-order finite dialectical schemes are investigated. It is shown that schemes 1 and 2 have significantly different finite models. Further, an infinite natural number model for schemes 1, 2, 3 is constructed, and it is shown…

Using a novel rewriting problem, we show that several natural decision problems about finite automata are undecidable (i.e., recursively unsolvable). In contrast, we also prove three related problems are decidable. We apply one result to…

In the previous series "Special functions and three term recurrence formula (3TRF)", I generalize the three term recurrence relation in the linear differential equation for the infinite series and polynomial which makes B_n term terminated…

We prove that a nonsymmetric normal entry pattern of order $n$ ($n\ge 3$) has at most $n(n-3)/2+3$ distinct indeterminates and up to permutation similarity this number is attained by a unique pattern which is explicitly described.

Binet formulae for three versions of third-order Pell polynomials are derived.

We prove three theorems on finite real multiple zeta values: the symmetric formula, the sum formula and the height-one duality theorem. These are analogues of their counterparts on finite multiple zeta values.

We show that there exist an upper bound and a lower bound for the number of non-degenerate central configurations of the n-body problem in the plane with a homogeneous potential. In particular, both bounds are independent of the homogeneous…

Let $n \geq 2$ be an integer and let $K$ be a number field with ring of integers $\mathcal{O}_K$. We prove that the set of ternary $n$-ic forms with coefficients in $\mathcal{O}_K$ and fixed nonzero discriminant, breaks up into finitely…

In this paper, we study the solution structures of Serrin-type overdetermined problems with Kirchhoff-type nonlocal terms. We prove that the exact number of solutions is the same as those of some transcendental equations defined by the…

Singular limits of a class of evolutionary systems of partial differential equations having two small parameters and hence three time scales are considered. Under appropriate conditions solutions are shown to exist and remain uniformly…

Model checking properties are often described by means of finite automata. Any particular such automaton divides the set of infinite trees into finitely many classes, according to which state has an infinite run. Building the full type…