𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Computer Algebra System based on Order-sorted Algebra

✍ Scribed by Anthony C. Hearn; Eberhard Schrüfer

Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
447 KB
Volume
19
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

✦ Synopsis

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 the security of full type checking in a compact, natural style.

📜 SIMILAR VOLUMES

Surprising Mathematics Using a Computer
Surprising Mathematics Using a Computer Algebra System
✍ François Bergeron 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 140 KB

In the course of studying some idempotents of the group algebra of the syrnmetric group, we obtained new unexpected results because of our use of a computer algebra system. This was a direct result of being forced to compute in the ring of polynomials modulo the cyclotomic polynomial, after failing

A Fuzzy Algebraic System Based on the Th
A Fuzzy Algebraic System Based on the Theory of Falling Shadows
✍ Xue-hai Yuan; E.Stanley Lee 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 192 KB

Based on the concept of a falling shadow, a theoretical approach of the fuzzy algebraic system is established. A fuzzy subalgebraic system of an algebraic system is considered as a falling shadow of the ''cloud of the subalgebraic systems.'' When Ž . an algebraic system is a ring, fuzzy subrings fuz

Application of the MuMATH computer algeb
Application of the MuMATH computer algebra system to sets of first order kinetic equations of significance in chemistry
✍ Carl Trindle 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 494 KB

Analytical solutions to systems of first order differential equations have long been available; however, they become so involved that they are seldom used. Numerical simulations are preferred in practice, although they produce bulky output that is difficult to interpret. Even worse, they are occasio