相关论文: A Multiple Integral Explicit Evaluation Inspired b…

The classical construction of representations of quivers enables us to consider linear maps between several vector spaces. The mixed representations of quivers helps us to work with linear maps as well as bilinear forms on several vector…

In this series of seven papers, predominantly by means of elementary analysis, we establish a number of identities related to the Riemann zeta function. Whilst this paper is mainly expository, some of the formulae reported in it are…

This purpose of this paper is to note an interesting identity derived from an integral in Gradshteyn and Ryzhik using techniques from George Boros'(deceased) Ph.D thesis. The idenity equates a sum to a product by evaluating an integral in…

In this series of seven papers, predominantly by means of elementary analysis, we establish a number of identities related to the Riemann zeta function. Whilst this paper is mainly expository, some of the formulae reported in it are…

We present a concise method for deriving an explicit formula for $p$-adic multiple zeta values. The formula features a variant of multiple harmonic sums, termed binomial multiple harmonic sums.

We present a generalization of a formula of higher order derivatives and give a short proof.

In this paper, we study multiple zeta values (abbreviated as MZV's) over function fields in positive characteristic. Our main result is to prove Thakur's basis conjecture, which plays the analogue of Hoffman's basis conjecture for real…

While there are many identities involving the Euler and Bernoulli numbers, they are usually proved analytically or inductively. We prove two identities involving Euler and Bernoulli numbers with combinatorial reasoning via up-down…

In this paper, we systematically investigate the multidimensional $Z$-transform of functions with values in sequentially complete locally convex spaces over the field of complex numbers. We provide many structural characterizations, remarks…

We give a combinatorial interpretation of a matrix identity on Catalan numbers and the sequence $(1, 4, 4^2, 4^3, ...)$ which has been derived by Shapiro, Woan and Getu by using Riordan arrays. By giving a bijection between weighted partial…

We translate Uchimura's identity for the divisor function and whose generalizations into combinatorics of partitions, and give a combinatorial proof of them. As a by-product of their proofs, we obtain some combinatorial results.

We prove a completeness result for Multiplicative Exponential Linear Logic (MELL): we show that the relational model is injective for MELL proof-nets, i.e. the equality between MELL proof-nets in the relational model is exactly axiomatized…

We confirm a conjecture about the construction of basis elements for the multiple zeta values (MZVs) at weight 27 and weight 28. Both show as expected one element that is twofold extended. This is done with some lengthy computer algebra…

Kaneko and Yamamoto introduced a convoluted variant of multiple zeta values (MVZs) around 2016. In this paper, we will first establish some explicit formulas involving these values and their alternating version by using iterated integrals,…

We consider different generalizations of the Euler formula and discuss the properties of the associated trigonometric functions. The problem is analyzed from different points of view and it is shown that it can be formulated in a natural…

We prove a curious identity for the Bernoulli numbers.

We describe a method to compute Hurwitz-Hodge integrals.

We present a new and useful congruence identity satisfied by m-permutable varieties.

Self-consistency-based approaches, which involve repeatedly sampling multiple outputs and selecting the most consistent one as the final response, prove to be remarkably effective in improving the factual accuracy of large language models.…

We use Zeilberger's algorithm for proving some identities of Ramanujan-type via $_2F_1$ evaluations.