Loading...
Please wait, while we are loading the content...
Similar Documents
Towards Better Simplification of Elementary Functions
| Content Provider | CiteSeerX |
|---|---|
| Abstract | We present an algorithm for simplifying a large class of elementary functions in the presence of branch cuts. This algorithm works by: (a) verifying that the proposed simplification is correct as a simplification of multi-valued functions; (b) decomposing C (or C n in the case of multivariate simplifications) according to the branch cuts of the relevant functions; (c) checking that the proposed identity is valid on each component of that decomposition. This process can be interfaced to an assume facility, and, if required, can verify that simplifications are valid “almost everywhere”. 1. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Elementary Function Towards Better Simplification Branch Cut Relevant Function Multi-valued Function Multivariate Simplification Large Class Assume Facility |
| Content Type | Text |