𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Specialized computer algebra system GINV

✍ Scribed by Yu. A. Blinkov; V. P. Gerdt

Book ID
110190899
Publisher
SP MAIK Nauka/Interperiodica
Year
2008
Tongue
English
Weight
239 KB
Volume
34
Category
Article
ISSN
0361-7688

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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