Research

Equality in computer algebra and beyond


Reference:

Davenport, J. H., 2002. Equality in computer algebra and beyond. Journal of Symbolic Computation, 34 (4), pp. 259-270.

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

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.

Details

Item Type Articles
CreatorsDavenport, J. H.
DOI10.1006/jsco.2002.0551
DepartmentsFaculty of Science > Computer Science
RefereedYes
StatusPublished
ID Code5592
Additional InformationID number: ISI:000178867000003

Export

Actions (login required)

View Item