Related papers: BBP-type formulas -- an elementary approach
In [Problems on polytopes, their groups, and realizations, Periodica Math. Hungarica 53 (2006) 231-255] Schulte and Weiss proposed the following problem: {\em Characterize regular polytopes of orders $2^np$ for $n$ a positive integer and…
The aim of this paper is to generalize the algorithm to compute jumping numbers on rational surfaces described in [AAD14] to varieties of dimension at least 3. Therefore, we introduce the notion of $\pi$-antieffective divisors, generalizing…
We present a systematic study of higher-order Airy-type differential equations providing the explicit form of the solutions, deriving their power series expansions and a probabilistic interpretation. Under suitable convergence hypotheses,…
Variational Bayes is a popular method for approximate inference but its derivation can be cumbersome. To simplify the process, we give a 3-step recipe to identify the posterior form by explicitly looking for linearity with respect to…
Algorithmic computation in polynomial rings is a classical topic in mathematics. However, little attention has been given to the case of rings with an infinite number of variables until recently when theoretical efforts have made possible…
In this article we present two new algorithms to compute the Groebner basis of an ideal that is invariant under certain permutations of the ring variables and which are both implemented in SINGULAR (cf. [DGPS12]). The first and major…
Computing the probability of a formula given the probabilities or weights associated with other formulas is a natural extension of logical inference to the probabilistic setting. Surprisingly, this problem has received little attention in…
In this work, we develop a new iterative method for computing the digits of $\pi$ by argument reduction of the tangent function. This method combines a modified version of the iterative formula for $\pi$ with squared convergence that we…
In this sequel to our recent note it is shown, in a unified manner, by making use of some basic properties of certain special functions, such as the Hurwitz zeta function, Lerch zeta function and Legendre chi function, that the values of…
We use elementary methods to establish three key recurrence relations: one for derangement numbers, a second for harmonic numbers, and a third for degenerate harmonic numbers. Our results not only contribute to the understanding of the…
We show that any finite family of pairwise intersecting balls in $\mathbb{E}^n$ can be pierced by $(\sqrt{3/2}+o(1))^n$ points improving the previously known estimate of $(2+o(1))^n$. As a corollary, this implies that any $2$-illuminable…
For a particular experimental design, there is interest in finding which polynomial models can be identified in the usual regression set up. The algebraic methods based on Groebner bases provide a systematic way of doing this. The algebraic…
Well-conditioned boundary integral methods for the solution of elliptic boundary value problems (BVPs) are powerful tools for static and dynamic physical simulations. When there are many close-to-touching boundaries (eg, in complex fluids)…
We collect various known results (about plane curves and the moduli space of stable maps) to derive new recursive formulas enumerating low genus plane curves of any degree with various behaviors. Recursive formulas are given for the…
Billey-Postnikov (BP) decompositions govern when Schubert varieties $X(w)$ decompose as bundles of smaller Schubert varieties. We further develop the theory of BP decompositions and show that, in finite type, they can be recognized by…
Using generalized binomial coefficient identities and some results of John Dougall, we derive some families of series involving the cubes of Catalan numbers. We also establish a family of series containing fourth powers of Catalan numbers.…
We present a simple recurrent formula to generate the Machin-like expression for calculating $\pi/4$. The method works for any denominator in the starting term and always provides a finite decomposition. We show that the terms in the…
We present a new geometric proof of Pieri's formula, exhibiting an explicit chain of rational equivalences from a suitable sum of distinct Schubert varieties to the intersection of a Schubert variety with a special Schubert variety. The…
This paper, pursuing the work started in [10] and [11], holds six new formulae for {\pi}, see equations, through ratios of first kind elliptic integrals and some values of hypergeometric functions of three or four variables of Lauricella…
New formulas for 1/Pi^2 are found by transforming Guillera's formulas