Related papers: BBP-type formulas -- an elementary approach
Motivated by recent research of Wang and Krattenthaler, we use Maple to propose five new ``Borwein-type'' conjectures modulo $3$ and two new ``Borwein-type'' conjectures modulo $5$.
Subresultant is a powerful tool for developing various algorithms in computer algebra. Subresultants for polynomials in standard basis (i.e., power basis) have been well studied so far. With the popularity of basis-preserving algorithms,…
In this paper we give another proof of the Chudnovsky formula for calculating $\pi$ - a proof in detail with means of basic complex analysis. With the exception of the tenth chapter, the proof is self-contained, with proofs provided for all…
We study Dirichlet-type problems for the simplest third-order linear dispersive PDE, often referred to as the Airy equation. Such problems have not been extensively studied, perhaps due to the complexity of the spectral structure of the…
We describe a new algorithm that computes the n-th Bernoulli number in n^(4/3 + o(1)) bit operations. This improves on previous algorithms that had complexity n^(2 + o(1)).
We offer some partition functions related to ternary quadratic forms, and note on their upper bounds and related properties. We offer these results as an application of a simple method related to conjugate Bailey pairs presented in a prior…
In this study, we introduce the generalized Tribonacci hyperbolic spinors and properties of this new special numbers system by the generalized Tribonacci numbers, which are one of the most general form of the third-order recurrence…
We establish PBW type bases for $\imath$quantum groups of arbitrary finite type, using the relative braid group symmetries. Explicit formulas for root vectors are provided for $\imath$quantum groups of each rank 1 type. We show that our PBW…
The introduction of first-class type classes in the Coq system calls for re-examination of the basic interfaces used for mathematical formalization in type theory. We present a new set of type classes for mathematics and take full advantage…
This article is the third and last of a series presenting an alternative method to compute the one-loop scalar integrals. It extends the results of first two articles to the infrared divergent case. This novel method enjoys a couple of…
We prove some new evaluations for multiple polylogarithms of arbitrary depth. The simplest of our results is a multiple zeta evaluation one order of complexity beyond the well-known Broadhurst-Zagier formula. Other results we provide settle…
We present a systematic method to extract each standard model (SM)-{\it like} hadronic parameter as well as new physics parameters in analytic way for $B\to K\pi$ decays. Using the analytic method to the currently available experimental…
We introduce a canonical form for reduced bases of integral closures of discrete valuation rings, and we describe an algorithm for computing a basis in reduced normal form. This normal form has the same applications as the Hermite normal…
BPS invariants are computed, capturing topological invariants of moduli spaces of semi-stable sheaves on rational surfaces. For a suitable stability condition, it is proposed that the generating function of BPS invariants of a Hirzebruch…
We prove that five ways to define entry A086377 in the On-Line Encyclopedia of Integer Sequences do lead to the same integer sequence.
We develop a new method for the computation of $(3,3)$-isogenies between principally polarized abelian surfaces. The idea is to work with models in $\mathbb{P}^8$ induced by a symmetric level-$3$ theta structure. In this setting, the action…
There is little known about the methods used by the ancient Babylonians and Egyptians to arrive at their recorded estimates of the value of Pi. A surprisingly accurate estimate of Pi was recently revealed coded within a verse in the book of…
This note has two purposes. First we establish that the map defined in [L, $\S 40.2.5$ (a)] is an isomorphism for certain admissible sequences. Second we show the map gives rise to a convex basis of Poincar\'e--Birkhoff--Witt (PBW) type for…
In this paper, we investigate new class of sequences related to fully degenerate Bernoulli numbers and polynomials. From those sequences, we derive some formulae for the degenerate Bernoulli and Euler polynomials.
Let $\ell>3$ be a prime such that $\ell \equiv 3 \pmod{4}$ and $\mathbb{Q}(\sqrt{\ell})$ has class number 1. Then Hirzebruch and Zagier noticed that the class number of $\mathbb{Q}(\sqrt{-\ell})$ can be expressed as $h(-\ell) =…