𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the way to certify Computer Algebra Systems

✍ Scribed by S. Boulmé; T. Hardin; D. Hirschkoff; V. Ménissier-Morain; R. Rioboo

Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
846 KB
Volume
23
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the way to expert systems
On the way to expert systems
✍ K. Maurer; H. Biehl; C. Kühner; W. Löffler 📂 Article 📅 1989 🏛 Springer-Verlag 🌐 English ⚖ 758 KB
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