Related papers: Quantization formula for singular reductions

A generalization of the law of total covariance is presented and proved.

In this paper, we find a new recurrence formula fo the Euler zeta functions.

We exploit symmetries to give short proofs for two prominent formula families of QBF proof complexity. On the one hand, we employ symmetry breakers. On the other hand, we enrich the (relatively weak) QBF resolution calculus Q-Res with the…

We prove a refinement of the results of Gross and Zagier on prime factorizations of singular moduli.

In a previous work we have introduced the notion of embedded $\Q$-resolution, which essentially consists in allowing the final ambient space to contain abelian quotient singularities. Here we give a generalization of N. A'Campo's formula…

We show that Pinney's equation [2] with a constant coefficient can be reduced to its linear part by a simple change of variables. Also, Pinney's original solution is simplified slightly.

In this paper two ways to compute singular values are presented which use Cholesky decomposition as their basic operation.

We proved the factorization of generalized theta functions when the curve has two irreducible components meeting at one node.

In this paper, we aim to provide an accessible survey to various formulae for calculating single Hurwitz numbers. Single Hurwitz numbers count certain classes of meromorphic functions on complex algebraic curves and have a rich geometric…

We give a parameterized generalization of the sum formula for quadruple zeta values. The generalization has four parameters, and is invariant under a cyclic group of order four. By substituting special values for the parameters, we also…

In this note, we use the method of [3] to give a simple proof of famous Witten conjecture. Combining the coefficients derived in our note and this method, we can derive more recursion formulas of Hodge integrals.

We prove quantifier elimination for the theory of quasi-real closed fields with a compatible valuation. This unifies the same known results for algebraically closed valued fields and real closed valued fields.

We give a simple proof of an explicit formula for Kerov polynomials. This formula is closely related to a formula of Goulden and Rattan.

We obtain another proof of Hermite's integral for the Hurwitz zeta function.

This paper concerns the explicit treatment of substitutions in the lambda calculus. One of its contributions is the simplification and rationalization of the suspension calculus that embodies such a treatment. The earlier version of this…

The analysis of solutions to algebraic equations is further simplified. A couple of functions and their analytic continuation or root findings are required.

We propose a new quantifier elimination algorithm for the theory of linear real arithmetic. This algorithm uses as subroutine satisfiability modulo this theory, a problem for which there are several implementations available. The quantifier…

An explicit formula for a strong connection form in a principal extension by a coseparable coalgebra is given.

We generalize a terminating summation formula to a unilateral nonterminating, and further, a bilateral summation formula by a property of analytic functions. The unilateral one is proved to be a $q$-analogue of a $_4F_3$-summation formula.…

After Abel Ruffini theorem and Galois Theory the search for a method or formula to solve quintic equation ends. This paper discuss about the radical solution of quintic equation using a method that could be proved in some simple steps. A…