Algebraic simplification of multiple-valued functions

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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
PublisherSpringer
Pages13-21
Number of pages9
ISBN (Electronic)9783540480310
ISBN (Print)9783540572725
DOIs
Publication statusPublished - 1993

Publication series

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

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

Cite this