Skip to main content
SpringerLink
Log in

Multivalued Elementary Functions in Computer-Algebra Systems

  • Conference paper
Artificial Intelligence and Symbolic Computation (AISC 2014)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8884))

Abstract

An implementation (in Maple) of the multivalued elementary inverse functions is described. The new approach addresses the difference between the single-valued inverse function defined by computer systems and the multivalued function which represents the multiple solutions of the defining equation. The implementation takes an idea from complex analysis, namely the branch of an inverse function, and defines an index for each branch. The branch index then becomes an additional argument to the (new) function. A benefit of the new approach is that it helps with the general problem of correctly simplifying expressions containing multivalued functions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abramowitz, M., Stegun, I.J.: Handbook of Mathematical Functions. Dover (1965)

    Google Scholar 

  2. Bradford, R.J., Corless, R.M., Davenport, J.H., Jeffrey, D.J., Watt, S.M.: Reasoning about the elementary functions of complex analysis. Annals of Mathematics and Artificial Intelligence 36, 303–318 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  3. Bronshtein, I.N., Semendyayev, K.A., Musiol, G., Muehlig, H.: Handbook of Mathematics, 5th edn. Springer, Heidelberg (2007)

    MATH  Google Scholar 

  4. Carathéodory, C.: Theory of functions of a complex variable, 2nd edn. Chelsea, New York (1958)

    Google Scholar 

  5. Corless, R.M., Davenport, J.H., Jeffrey, D.J., Watt, S.M.: According to Abramowitz and Stegun. SIGSAM Bulletin 34, 58–65 (2000)

    Article  Google Scholar 

  6. Corless, R.M., Jeffrey, D.J.: The unwinding number. Sigsam Bulletin 30(2), 28–35 (1996)

    Article  Google Scholar 

  7. Corless, R.M., Jeffrey, D.J.: Elementary Riemann surfaces. Sigsam Bulletin 32(1), 11–17 (1998)

    Article  Google Scholar 

  8. Davenport, J.H.: The challenges of multivalued “functions”. In: Autexier, S., Calmet, J., Delahaye, D., Ion, P.D.F., Rideau, L., Rioboo, R., Sexton, A.P. (eds.) AISC 2010. LNCS, vol. 6167, pp. 1–12. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  9. Gullberg, J.: Mathematics: From the Birth of Numbers. W. W. Norton & Company, New York (1997)

    MATH  Google Scholar 

  10. Jeffrey, D.J.: The importance of being continuous. Mathematics Magazine 67, 294–300 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  11. Jeffrey, D.J., Hare, D.E.G., Corless, R.M.: Unwinding the branches of the Lambert W function. Mathematical Scientist 21, 1–7 (1996)

    MATH  MathSciNet  Google Scholar 

  12. Jeffrey, D.J., Rich, A.D.: The evaluation of trigonometric integrals avoiding spurious discontinuities. ACM Trans. Math. Software 20, 124–135 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  13. Jeffrey, D.J., Norman, A.C.: Not seeing the roots for the branches. SIGSAM Bulletin 38(3), 57–66 (2004)

    Article  MathSciNet  Google Scholar 

  14. Lawden, D.F.: Elliptic functions and applications. Springer (1989)

    Google Scholar 

  15. Lozier, D.W., Olver, F.W.J., Boisvert, R.F.: NIST Handbook of Mathematical Functions. Cambridge University Press (2010)

    Google Scholar 

  16. Michael Trott. Visualization of Riemann surfaces of algebraic functions. Mathematica in Education and Research, 6:15–36, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Applied Mathematics, University of Western Ontario, Canada

    David J. Jeffrey

Authors
  1. David J. Jeffrey
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information Technologies, University of Huelva, Crta. Palos de la Frontera, s/n, 21810, Palos de la Frontera, Spain

    Gonzalo A. Aranda-Corral

  2. Institute for Theoretical Informatics, Karlsruhe Institute of Technology, Am Fasanengarten 5, 76131, Karlsruhe, Germany

    Jacques Calmet

  3. Departamento de Ciencias de la Computación e Inteligencia Artificial, Universidad de Sevilla, Avda. Reina Mercedes, s/n, 41012, Sevilla, Spain

    Francisco J. Martín-Mateos

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Jeffrey, D.J. (2014). Multivalued Elementary Functions in Computer-Algebra Systems. In: Aranda-Corral, G.A., Calmet, J., Martín-Mateos, F.J. (eds) Artificial Intelligence and Symbolic Computation. AISC 2014. Lecture Notes in Computer Science(), vol 8884. Springer, Cham. https://doi.org/10.1007/978-3-319-13770-4_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-13770-4_14

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-13769-8

  • Online ISBN: 978-3-319-13770-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation