𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Computing border bases without using a term ordering

✍ Scribed by Stefan Kaspar


Book ID
120722380
Publisher
Springer-Verlag
Year
2011
Tongue
English
Weight
226 KB
Volume
54
Category
Article
ISSN
0138-4821

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


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