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