𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Symmetric Function Algebra on a Computer

✍ Scribed by P.R. Stein; C. Zemach

Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
886 KB
Volume
14
Category
Article
ISSN
0196-8858

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

SFA, a Package on Symmetric Functions Co
SFA, a Package on Symmetric Functions Considered as Operators over the Ring of Polynomials for the Computer Algebra System Maple
✍ Vincent Prosper πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 302 KB

Symmetric functions can be considered as operators acting on the ring of polynomials with coefficients in R. We present the package SFA, an implementation of this action for the computer algebra system Maple. As an example, we show how to recover different classical expressions of Lagrange inversion

A Computer Algebra System based on Order
A Computer Algebra System based on Order-sorted Algebra
✍ Anthony C. Hearn; Eberhard SchrΓΌfer πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 447 KB

This paper presents the prototype design of an algebraic computation system that manipulates algebraic quantities as generic objects using order-sorted algebra as the underlying model. The resulting programs have a form that is closely related to the algorithmic description of a problem, but with th

On Coherence in Computer Algebra
On Coherence in Computer Algebra
✍ Andreas Weber πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 435 KB

Modern computer algebra systems (e.g. AXIOM) support a rich type system including parameterized data types and the possibility of implicit coercions between types. In such a type system it will be frequently the case that there are different ways of building coercions between types. An important req