[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Reducing Expression Size Using Rule-Based Integration

  • Conference paper
Intelligent Computer Mathematics (CICM 2010)

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

Included in the following conference series:

Abstract

This paper describes continuing progress on the development of a repository of transformation rules relevant to indefinite integration. The methodology, however, is not restricted to integration. Several optimization goals are being pursued, including achieving the best form for the output, reducing the size of the repository while retaining its scope, and minimizing the number of steps required for the evaluation process. New optimizations for expression size are presented.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
GBP 19.95
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
GBP 35.99
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
GBP 44.99
Price includes VAT (United Kingdom)
  • 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.

Similar content being viewed by others

References

  1. Abramowitz, M., Stegun, I.: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. US Government Printing Office (1964) (10th Printing December 1972)

    Google Scholar 

  2. Fateman, R.J.: A Review of Mathematica. J. Symb. Computation 13(5) (1992)

    Google Scholar 

  3. Einwohner, T.H., Fateman, R.J.: Searching techniques for integral tables. In: Proceedings ISSAC 1995, pp. 133–139. ACM Press, New York (1995)

    Chapter  Google Scholar 

  4. Gradshteyn, I.S., Ryzhik, I.M.: Table of Integrals, Series and Products. Academic Press, London (1965)

    Google Scholar 

  5. Rich, A.D., Jeffrey, D.J.: A knowledge repository for indefinite integration based on transformation rules. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) Calculemus 2009, MKM 2009. LNCS, vol. 5625, pp. 480–485. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  6. Rich, A.D.: Indefinite Integration Rules, http://www.apmaths.uwo.ca/RuleBasedMathematics

Download references

Author information

Authors and Affiliations

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

    David J. Jeffrey

  2.  , 62-3614 Loli’i Way, Kamuela, Hawaii, USA

    Albert D. Rich

Authors
  1. David J. Jeffrey
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Albert D. Rich
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. German Research Center for Artificial Intelligence Bremen, Germany

    Serge Autexier

  2. Karlsruhe Institute of Technology, Germany

    Jacques Calmet

  3. CEDRIC/CNAM, Paris, France

    David Delahaye

  4. American Mathematical Society, Ann Arbor, USA

    Patrick D. F. Ion

  5. INRIA Sophia-Antipolis, France

    Laurence Rideau

  6. École Nationale Supérieure d’Informatique pour l’industrie et l’Entreprise, Evry, France

    Renaud Rioboo

  7. School of Computer Science, Edgbaston, University of Birmingham, B15 2TT, Birmingham, UK

    Alan P. Sexton

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jeffrey, D.J., Rich, A.D. (2010). Reducing Expression Size Using Rule-Based Integration. In: Autexier, S., et al. Intelligent Computer Mathematics. CICM 2010. Lecture Notes in Computer Science(), vol 6167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14128-7_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14128-7_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14127-0

  • Online ISBN: 978-3-642-14128-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation