𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Extending MaxBox with a Computational Algebra System

✍ Scribed by Kenneth Ruthven


Book ID
121661766
Year
1995
Weight
836 KB
Volume
24
Category
Article
ISSN
0305-7259

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Singular: A computer algebra system
✍ Lossen, C. πŸ“‚ Article πŸ“… 2003 πŸ› American Institute of Physics 🌐 English βš– 380 KB
A Computer Algebra System based on Order
✍ 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