✦ LIBER ✦

On Coherence in Computer Algebra

✍ Scribed by Andreas Weber

Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 435 KB
Volume: 19
Category: Article
ISSN: 0747-7171
DOI: 10.1006/jsco.1995.1003

No coin nor oath required. For personal study only.

✦ Synopsis

Modern computer algebra systems (e.g. AXIOM) support a rich type system including parameterized data types and the possibility of implicit coercions between types. In such a type system it will be frequently the case that there are different ways of building coercions between types. An important requirement is that all coercions between two types coincide, a property which is called coherence.

We will prove a coherence theorem for a formal type system having several possibilities of cuercions covering many important examples. Moreover, we will give some informal reasoning why the formally defined restrictions can be satisfied by an actual system.

📜 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

Symmetric Function Algebra on a Computer

✍ P.R. Stein; C. Zemach 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 886 KB

Colloquim on algebra, combinatorics and

Colloquim on algebra, combinatorics and logic in computer science

📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 42 KB

September 12-16, 1983; at Gy6r, Hungary 'The J~nos Bolyai Mathematical Society intends to organize a "Colloquium on Algebra, Combinatorics and Logic in Computer Science" in the period 12-16, September 1983 at GySr (Hungary). The aim of the colloquium is to provide ground for the exchange of informat

Linear algebra software on a vector comp

Linear algebra software on a vector computer

✍ J.-Fr Hake; W Homberg 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 955 KB

Using the Magma Computer Algebra System

Using the Magma Computer Algebra System in Abstract Algebra Courses

✍ JOHN CANNON; CATHERINE PLAYOUST 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 592 KB

Computer-Algebra-Systeme in der Biotechn

Computer-Algebra-Systeme in der Biotechnologie

✍ Dr. Clemens Posten; Dr. Bernd Tibken 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 German ⚖ 493 KB 👁 1 views

Computer-Algebra-Systeme erlauben die symbolische Umformung von Termen oder die Berechnung von Gleichungen ohne numerische Schritte. Eine offensichtliche Nutzung besteht etwa darin, lineare Gleichungssysteme, wie sie bei der Bilanzierung chemischer oder biotechnologischer Prozesse entstehen, algebra