# Branch cuts in maple 17

@article{England2014BranchCI, title={Branch cuts in maple 17}, author={Matthew England and Edgardo S. Cheb-Terrab and Russell J. Bradford and James H. Davenport and David J. Wilson}, journal={ACM Commun. Comput. Algebra}, year={2014}, volume={48}, pages={24-27} }

Accurate and comprehensible knowledge about the position of branch cuts is essential for correctly working with multi-valued functions, such as the square root and logarithm. We discuss the new tools in Maple 17 for calculating and visualising the branch cuts of such functions, and others built up from them. The cuts are described in an intuitive and accurate form, offering substantial improvement on the descriptions previously available.

## 9 Citations

Truth table invariant cylindrical algebraic decomposition

- Mathematics, Computer ScienceJ. Symb. Comput.
- 2016

Visual Analysis of the Newton's Method with Fractional Order Derivatives

- MathematicsSymmetry
- 2019

The aim of this paper is to investigate experimentally and to present visually the dynamics of the processes in which in the standard Newton’s root-finding method the classic derivative is replaced…

Advances in cylindrical algebraic decomposition

- Computer Science
- 2014

A prototype software CADassistant is described to help users take advantage of the advances without knowledge of the underlying theory, to improve the practical efficiency of CAD for a variety of problems.

A Fall 2019 The complex inverse trigonometric and hyperbolic functions

- Mathematics
- 2019

In these notes, we examine the inverse trigonometric and hyperbolic functions, where the arguments of these functions can be complex numbers. These are all multivalued functions. We also carefully…

Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context

- Computer ScienceJCDL
- 2018

This work analyzes how the semantic enrichment of formulae improves the format conversion process and shows that considering the textual context of formULae reduces the error rate of such conversions.

Semantic Preserving Bijective Mappings for Expressions involving Special Functions in Computer Algebra Systems and Document Preparation Systems

- Computer ScienceAslib J. Inf. Manag.
- 2019

This paper introduces the first translation tool for special functions between LaTeX and CAS, which improves error-prone manual translations and can be used to verify mathematical online compendia and CAS.

The complex inverse trigonometric and hyperbolic functions

- Mathematics
- 2012

In these notes, we examine the inverse trigonometric and hyperbolic functions, where the arguments of these functions can be complex numbers. The multivalued functions are defined in terms of the…

Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra Systems

- Computer ScienceCICM Workshops
- 2018

The envisioned method will automatically semantically enrich mathematical expressions so that they can be imported to computer algebra systems and other systems that can take advantage of the semantics, such as search engines or automatic plagiarism detection systems.

Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems

- Mathematics, Computer ScienceTACAS
- 2022

This paper uses a previously developed conversion tool to translate formulae from the NIST Digital Library of Mathematical Functions to the computer algebra systems Maple and Mathematica, and presents the most comprehensive verification ofComputer algebra systems and digital mathematical libraries with one another.

## References

SHOWING 1-10 OF 15 REFERENCES

Understanding Branch Cuts of Expressions

- Computer ScienceMKM/Calculemus/DML
- 2013

This work has made explicit and implemented techniques for calculating the cuts in the computer algebra programme Maple, and gathered them in the BranchCuts package, along with tools for visualising the cuts.

Towards better simplification of elementary functions

- Computer ScienceISSAC '02
- 2002

An algorithm for simplifying a large class of elementary functions in the presence of branch cuts that can be interfaced to an assume facility, and can verify that simplifications are valid "almost everywhere".

Branch cuts in computer algebra

- MathematicsISSAC '94
- 1994

A computer representation for branch cuts is proposed; it is shown how a complex expression's branch cuts may be mechanically computed, and how an expression with branch cut may sometimes be algebraically simplified within each of its branches.

Cylindrical algebraic decompositions for boolean combinations

- Mathematics, Computer ScienceISSAC '13
- 2013

This article generalises the theory of equational constraints to design an algorithm which will efficiently construct a TTICAD for a wide class of problems, producing stronger results than when using equational constraint alone.

The challenges of multivalued "Functions"

- Computer ScienceAISC'10/MKM'10/Calculemus'10
- 2010

This paper looks at the steps necessary to convert existing texts into rigorous statements, and asks whether there might be a constant "de Bruijn factor" as they make these texts more formal, and concludes that the answer depends greatly on the interpretation being placed on the symbols.

NIST Handbook of Mathematical Functions

- Mathematics
- 2010

This handbook results from a 10-year project conducted by the National Institute of Standards and Technology with an international group of expert authors and validators and is destined to replace its predecessor, the classic but long-outdated Handbook of Mathematical Functions, edited by Abramowitz and Stegun.

“According to Abramowitz and Stegun” or arccoth needn't be uncouth

- Computer ScienceSIGS
- 2000

The concept of a couth pair of definitions is introduced, e.g. of arcsin and arcsinh, and it is shown that the pair arccot and arccoth can be couth.

Handbook Of Mathematical Functions

- Mathematics
- 2016

The handbook of mathematical functions is universally compatible with any devices to read and is available in the digital library an online access to it is set as public so you can get it instantly.