Algebraic simplification of multiple-valued functions

Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding


Many current algebra systems have a lax attitude to the simplification of expressions involving functions like log and √, leading to the ability to “prove” equalities like −1=1 in such systems. In fact, only a little elementary arithmetic is needed to devise what the correct simplifications should be. We detail some of these simplification rules, and outline a method for their incorporation into an algebra system.
Original languageEnglish
Title of host publicationDesign and Implementation of Symbolic Computation Systems
Subtitle of host publicationInternational Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings
Number of pages9
ISBN (Electronic)9783540480310
ISBN (Print)9783540572725
Publication statusPublished - 1993

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'Algebraic simplification of multiple-valued functions'. Together they form a unique fingerprint.

Cite this