Equality in computer algebra and beyond
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.
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.
|Creators||Davenport, J. H.|
|Departments||Faculty of Science > Computer Science|
|Additional Information||ID number: ISI:000178867000003|
Actions (login required)