✦ LIBER ✦

Equality in Computer Algebra and Beyond

✍ Scribed by James H Davenport

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 284 KB
Volume: 34
Category: Article
ISSN: 0747-7171
DOI: 10.1006/jsco.2002.0551

No coin nor oath required. For personal study only.

✦ Synopsis

Equality is such a fundamental concept in mathematics that, in fact, we seldom explore it in detail, and tend to regard it as trivial. When it is shown to be non-trivial, we are often surprised. As is often the case, the computerization of mathematical computation in computer algebra systems on the one hand, and mathematical reasoning in theorem provers on the other hand, forces us to explore the issue of equality in greater detail.

📜 SIMILAR VOLUMES

On Coherence in Computer Algebra

✍ Andreas Weber 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 435 KB

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 req

Computer algebra and logic programming

✍ Bruce Char 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 251 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

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

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

Algorithms forq -Hypergeometric Summatio

Algorithms forq -Hypergeometric Summation in Computer Algebra

✍ Harald Böing; Wolfram Koepf 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 406 KB

This paper describes three algorithms for q-hypergeometric summation: • a multibasic analogue of Gosper's algorithm, • the q-Zeilberger algorithm, and • an algorithm for finding q-hypergeometric solutions of linear recurrences together with their Maple implementations, which is relevant both to pe