相关论文: The Fedosov *-product in Mathematica

We study product sets of finite arithmetic progressions of polynomials over a finite field. We prove a lower bound for the size of the product set, uniform in a wide range of parameters. We apply our results to resolve the function field…

The Nekrasov-Okounkov formula gives an expression for the Fourier coefficients of the Euler functions as a sum of hook length products. This formula can be deduced from a specialization in a renormalization of the affine type $A$ Weyl…

This preprint contains a description of a package for Mathematica called EinS. This package allows one to perform various calculations with indexed objects.

MatCont is a powerful toolbox for numerical bifurcation analysis focussing on smooth ODEs. A user can study equilibria, periodic and connecting orbits, and their stability and bifurcations. Here, we report on additional features in version…

PYROBOCOP is a Python-based package for control, optimization and estimation of robotic systems described by nonlinear Differential Algebraic Equations (DAEs). In particular, the package can handle systems with contacts that are described…

This report presents the algorithms for computing the Hadamard product, its residual, and its dual residual between formal power series in the dioid of counters. The algorithms have been implemented in the C++ toolbox ETVO…

In a noncommutative algebra there is no canonical way to express elements in univalent way, which is often called "ordering problem". In this note we give product formula of the Weyl algebra in generic ordered expression. In particular, the…

Let X be a smooth compact manifold with boundary. For smooth foliations on the boundary of X admitting a `resolution' in terms of a fibration, we construct a pseudodifferential calculus generalizing the fibred cusp calculus of Mazzeo and…

New index transforms are investigated, which contain as the kernel products of the Bessel and modified Bessel functions. Mapping properties and invertibility in Lebesgue spaces are studied for these operators. Relationships with the…

We show a new algorithm and its implementation for multiplying bit-polynomials of large degrees. The algorithm is based on evaluating polynomials at a specific set comprising a natural set for evaluation with additive FFT and a high order…

This paper focuses on the study of a mathematical program with equilibrium constraints, where the objective and the constraint functions are all polynomials. We present a method for finding its global minimizers and global minimum using a…

We have designed a new symbolic-numeric strategy to compute efficiently and accurately floating point Puiseux series defined by a bivariate polynomial over an algebraic number field. In essence, computations modulo a well chosen prime $p$…

This paper discusses weighted tensor Golub-Kahan-type bidiagonalization processes using the t-product. This product was introduced in [M. E. Kilmer and C. D. Martin, Factorization strategies for third order tensors, Linear Algebra Appl.,…

For certain nilpotent real Lie groups constructed as semidirect products, algebras of invariant differential operators on some coadjoint orbits are used in the study of boundedness properties of the Weyl-Pedersen calculus of their…

We discuss a numerical package, named ORTHOCUB, for the computation of linear functionals of both integral and differential type on multivariate polynomial spaces. The weighted sums corresponding to such integral and differential cubatures…

It is nearly twenty years that there exist computer programs to reduce products of Lie algebra irreps. This is a contribution in the field that uses a modern computer language (``C'') in a highly structured and object-oriented way. This…

\textbf{FlexBox} is a flexible MATLAB toolbox for finite dimensional convex variational problems in image processing and beyond. Such problems often consist of non-differentiable parts and involve linear operators. The toolbox uses a…

The explicit formulas of operations, in particular addition and multiplication, of $p $-adic integers are presented. As applications of the results, at first the explicit formulas of operations of Witt vectors with coefficients in…

We introduce the \verb|Macaulay2| package \verb|RepHomology| for the computations of representation homology of certain spaces. The main methods implement computing the representation homology of surfaces (with group coefficients, and…

We introduce the Macaulay2 package GradedLieAlgebras for doing computations in graded Lie algebras presented by generators and relations.