相关论文: Local Euler-Maclaurin expansion of Barvinok valuat…

We define the equivariant degree and local degree of a proper $G$-equivariant map between smooth $G$-manifolds when $G$ is a compact Lie group and prove a local to global result. We show the local degree can be used to compute the…

For a field $E$ of characteristic different from $2$ and cohomological $2$-dimension one, quadratic forms over the rational function field $E(X)$ are studied. A characterisation in terms of polynomials in $E[X]$ is obtained for having that…

This paper presents a method for computing eigenvalues and eigenvectors for some types of nonlinear eigenvalue problems. The main idea is to approximate the functions involved in the eigenvalue problem by rational functions and then apply a…

We give a Fourier-type formula for computing the orthogonal Weingarten formula. The Weingarten calculus was introduced as a systematic method to compute integrals of polynomials with respect to Haar measure over classical groups. Although a…

We generalize Sylvester single sums to multisets (sets with repeated elements), and show that these sums compute subresultants of two univariate polyomials as a function of their roots independently of their multiplicity structure. This is…

By the work of J.Huh, one can interpret binomial coefficients as a solution to an intersection problem on a permutohedral variety $X_E$. Applying Hirzebruch-Riemann-Roch, this intersection problem is equivalent to computing Euler…

The Euler-MacLaurin summation formula relates a sum of a function to a corresponding integral, with a remainder term. The remainder term has an asymptotic expansion, and for a typical analytic function, it is a divergent (Gevrey-1) series.…

The main purpose of this paper is to introduce and investigate a new class of generalized Bernoulli polynomials and Euler polynomials based on the q-integers. The q-analogues of well-known formulas are derived. The q-analogue of the…

We present a new methodology, suitable for implementation on computer, to perform the $\epsilon$-expansion of hypergeometric functions with linear $\epsilon$ dependent Pochhammer parameters in any number of variables. Our approach allows…

We consider several generalizations of the classical $\gamma$-positivity of Eulerian polynomials (and their derangement analogues) using generating functions and combinatorial theory of continued fractions. For the symmetric group, we prove…

We compute explicit formulas for the curvature operators and Poincar\'e polynomials of all compact irreducible symmetric spaces. We can easily derive the Poincar\'e polynomials using quantum numbers, giving a formula that mirrors the known…

Ehrhart polynomials are extensively-studied structures that interpolate the discrete volume of the dilations of integral $n$-polytopes. The coefficients of Ehrhart polynomials, however, are still not fully understood, and it is not known…

In this paper, we use multivariate splines to investigate the volume of polytopes. We first present an explicit formula for the multivariate truncated power, which can be considered as a dual version of the famous Brion's formula for the…

In this paper, we consider the new q-extension of Frobenius-Euler numbers and polynomials and we derive some interesting identities from the orthogonality type properties for the new q-extension of Frobenius-Euler polynomials. Finally we…

In this paper, we establish more identities of generalized multi poly-Euler polynomials with three parameters and obtain a kind of symmetrized generalization of the polynomials. Moreover, generalized multi poly-Bernoulli polynomials are…

In some fields such as Mathematics Mechanization, automated reasoning and Trustworthy Computing etc., exact results are needed. Symbolic computations are used to obtain the exact results. Symbolic computations are of high complexity. In…

In this paper, we give some interesting identities of higher-order Bernoulli, Frobenius-Euler and Euler polynomials arising from umbral calculus. From our method of this paper, we can derive many interesting identities of special…

We study the computation of local approximations of invariant manifolds of parabolic fixed points and parabolic periodic orbits of periodic vector fields. If the dimension of these manifolds is two or greater, in general, it is not possible…

We develop a new eigenvalue method for solving structured polynomial equations over any field. The equations are defined on a projective algebraic variety which admits a rational parameterization by a Khovanskii basis, e.g., a Grassmannian…

We establish closed-form expansions for the universal edge elimination polynomial of paths and cycles and their generating functions. This includes closed-form expansions for the bivariate matching polynomial, the bivariate chromatic…