相关论文: A heuristic algorithm for computing the Poincar\'e…

In this article we obtain new irrationality measures for values of functions which belong to a certain class of hypergeometric functions including shifted logarithmic functions, binomial functions and shifted exponential functions. We…

We present an algebraic theory of orthogonal polynomials in several variables that includes classical orthogonal polynomials as a special case. Our bottom line is a straightforward connection between apolarity of binary forms and the inner…

We present the Polar framework for fully automating the analysis of classical and probabilistic loops using algebraic reasoning. The central theme in Polar comes with handling algebraic recurrences that precisely capture the loop semantics.…

We define Poincar\'e series associated to a toric or analytically irreducible quasi-ordinary hypersurface singularity, (S,0), by a finite sequence of monomial valuations, such that at least one of them is centered at the origin 0. This…

A very classical subject in Commutative Algebra is the Invariant Theory of finite groups. In our work on 3-dimensional topology (S. King, Ideal Turaev-Viro invariants. To appear in Top. Appl.), we found certain examples of group actions on…

Quantum algorithms are built enabling to find Poincar\'e recurrence times and periodic orbits of classical dynamical systems. It is shown that exponential gain compared to classical algorithms can be reached for a restricted class of…

Additive Fourier Transform is sdudied. A fast multiplication algorithm for polynomials over the binary field is given. The bit complexity of the algorithm is $O(n(log n)(\log\log n)^2)$.

Let $\mathrm{R}$ be a real closed field and $\mathrm{D} \subset \mathrm{R}$ an ordered domain. We consider the algorithmic problem of computing the generalized Euler-Poincar\'e characteristic of real algebraic as well as semi-algebraic…

The dimension of the third homogeneous component of a matrix quantum bialgebra, determined by pair of quantum spaces, is calculated. The Poincar\'{e} series of some deformations of $GL(n)$ is calculated. A new deformation of $GL(3)$ with…

For a linearly recurrent vector sequence P[n+1] = A(n) * P[n], consider the problem of calculating either the n-th term P[n] or L<=n arbitrary terms P[n_1],...,P[n_L], both for the case of constant coefficients A(n)=A and for a matrix A(n)…

We provide sharp lower bounds for the multiplicity of a local holomorphic foliation defined in a complex surface in terms of data associated to a germ of invariant curve. Then we apply our methods to invariant curves whose branches are…

We introduce a simple criterion to check coercivity of bilinear forms on subspaces of Hilbert-spaces and Banach-spaces. The presented criterion allows to derive many standard and non-standard variants of Poincar\'e- and Friedrichs-type…

In this paper, we consider the problem of deciding the existence of real solutions to a system of polynomial equations having real coefficients, and which are invariant under the action of the symmetric group. We construct and analyze a…

Here we develop a technique of computing the invariants of $n-$ary forms and systems of forms using the discriminants of corresponding multilinear forms built of their partial derivatives, which should be cosidered as analogues of classical…

In this paper we derive an upper bound for the degree of the strict invariant algebraic curve of a polynomial system in the complex project plane under generic condition. The results are obtained through the algebraic multiplicities of the…

We study Poincar\'e series associated to a finite collection of divisors on i. a finite graph and ii. a certain family of metric graphs called chain of loops. Our main results are proofs of rationality of the Poincar\'e series and…

Initiated by Davis, Nelson, Petersen and Tenner (2018), the enumerative study of pinnacle sets of permutations has attracted a fair amount of attention recently. In this article, we provide a recurrence that can be used to compute…

By using classical invariant theory approach a formulas for computation of the Poincare series of the kernel of linear locally nilpotent derivations is found.

In a previous paper, there was defined a multi-index filtration on the ring of functions on a hypersurface singularity corresponding to its Newton diagram generalizing (for a curve singularity) the divisorial one. Its Poincar\'e series was…

Let $\Delta$ be a finite set of nonzero linear forms in several variables with coefficients in a field $\mathbf K$ of characteristic zero. Consider the $\mathbf K$-algebra $R(\Delta)$ of rational functions on V which are regular outside…