Towards better simplification of elementary functions

Abstract

We present an algorithm for simplifying a large class of elementary functions in the presence of branch cuts. This algorithm works by:<b>(a)</b> verifying that the proposed simplification is correct as a simplification of multi-valued functions;<b>(b)</b> decomposing <b>C</b> (or <b>C</b><sup><i>n</i></sup> in the case of multivariate simplifications… (More)
DOI: 10.1145/780506.780509

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics