相关论文: Maple umbral calculus package
The computation of triangular decompositions are based on two fundamental operations: polynomial GCDs modulo regular chains and regularity test modulo saturated ideals. We propose new algorithms for these core operations relying on modular…
This introduces Rees algebras and some of their uses with illustrations via version 2.0 of the Macaulay2 package ReesAlgebra.m2.
The work is devoted to the construction of a new interval arithmetic which would combine algorithmic efficiency and high quality estimation of the ranges of expressions.
Criteria for piecewise linear circle homeomorphisms to be conjugate to a rigid rotation, $x\to x+\omega~({\rm mod}~1)$, with rational rotation number $\omega$ are given. The consequences of the existence of such maps in families of maps is…
We present a simple package for distributing evaluations of a Mathematica function for many arguments on a cluster of computers. After setting up the hosts, the only change is to replace Map[f,points] by MapCore[f,points].
In this paper, we deal with the robot motion planning problem in multi-valued function theory. We first enrich the multi-homotopy studies by introducing a multi-homotopy lifting property and a multi-fibration. Then we compute both a…
We present the Olsson$.$wl Mathematica package which aims to find linear transformations for some classes of multivariable hypergeometric functions. It is based on a well-known method developed by P. O. M. Olsson in J. Math. Phys. 5, 420…
The possibility of extending operations of topological and semitopological algebras to their Stone-\v{C}ech compactification and factorization of continuous functions through homomorphisms to metrizable algebras are investigated. Most…
Mathematica package LiteRed is described. It performs the heuristic search of the symbolic IBP reduction rules for loop integrals. It implements also several convenient tools for the search of the symmetry relations, construction of the…
The Macaulay2 package NumericalSchubertCalculus provides methods for the numerical computation of Schubert problems on Grassmannians. It implements both the Pieri homotopy algorithm and the Littlewood-Richardson homotopy algorithm. Each…
We review the definition and main properties of differential subresultants in order to achieve their implementation in Maple, using the DEtools package. The focus is on computing GCRDs of ordinary differential operators with non necessarily…
Evaluation of relativistic molecular integrals over exponential-type spinor orbitals require using the relativistic auxiliary functions in prolate spheroidal coordinates. They have derived recently by the author [Physical Review E 91,…
The computation of the Mittag-Leffler (ML) function with matrix arguments, and some applications in fractional calculus, are discussed. In general the evaluation of a scalar function in matrix arguments may require the computation of…
The evaluation mechanism of pattern matching with dynamic patterns is modelled in the Pure Pattern Calculus by one single meta-rule. This contribution presents a refinement which narrows the gap between the abstract calculus and its…
We present a package to perform partial fraction decompositions of multivariate rational functions. The algorithm allows to systematically avoid spurious denominator factors and is capable of producing unique results also when being applied…
The paper develops applications of symmetric orbit functions, known from irreducible representations of simple Lie groups, in numerical analysis. It is shown that these functions have remarkable properties which yield to cubature formulas,…
For a given family of similar shapes, what we call a "unit shape" strongly analogizes the role of the unit circle within the family of all circles. Within many such families of similar shapes, we present what we believe is naturally and…
The performance of basis sets made of numerical atomic orbitals is explored in density-functional calculations of solids and molecules. With the aim of optimizing basis quality while maintaining strict localization of the orbitals, as…
This paper introduces a new mapping of geometrical transformation on the MorphoSys (M1) reconfigurable computing (RC) system. New mapping techniques for some linear algebraic functions are recalled. A new mapping for geometrical…
In this paper, we revisit foundations of umbral calculus using a straightforward approach based on an explicit matrix realization of binomial convolution. We construct an umbral duality of Wronskian type for rational curves in echelon form,…