Equality in computer algebra and beyond

Research output: Contribution to journalArticlepeer-review

8 Citations (Scopus)

Abstract

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. (C) 2002 Elsevier Science Ltd. All rights reserved.
Original languageEnglish
Pages (from-to)259-270
Number of pages12
JournalJournal of Symbolic Computation
Volume34
Issue number4
DOIs
Publication statusPublished - 2002

Fingerprint Dive into the research topics of 'Equality in computer algebra and beyond'. Together they form a unique fingerprint.

Cite this