Equality in computer algebra and beyond

Research output: Contribution to journalArticlepeer-review

8 Citations (SciVal)


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
Issue number4
Publication statusPublished - 2002

Bibliographical note

ID number: ISI:000178867000003


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

Cite this