Integration: Implementation and Applications

at ACA'2014 to be held July 9-12, 2014 at Fordham University (Rose Hill Campus), Bronx, New York City, New York, USA

Organizers:

David Jeffrey, University of Western Ontario, Canada
Michael Wester, University of New Mexico, USA
Michel Beaudin, ETS, Canada

Overview:

Although indefinite integration is a well-studied area, new techniques are still being developed. In addition, these new techniques allow new applications. For example, the correct integration of piecewise defined functions and discontinuous functions allows us to solve differential equations containing discontinuous effects. This session will offer a venue for developers and users to discuss principles, techniques and examples.

One main hope for this session is to create a forum for participants in Albert Rich's "Rubi" integration project. This project has shown that great improvements in the performance of integration systems are still possible. The developers have been interacting through email and on-line discussions until now. We hope to get them together in one room to discuss progress. There are other groups working on integration. An example is Victor Moll's book "Irresistible integrals". If we can attract more interest, then an interesting session will result. There will be an overlap with the educational session because problems such as a parachutist falling and then opening a parachute are examples of educational problems that have been discussed in previous ACA meetings.

If you are interested in proposing a talk, please send an abstract to Michel Beaudin who will then restribute it to the other organizers.

Talks

  1. Rubi and Integration as term re-writing: integrals containing tangent
    (David Jeffrey, University of Western Ontario, Canada and Albert Rich)
  2. The Hazards of Symbolic Definite Integration (a Continuing Saga)
    (Daniel Lichtblau, Wolfram, USA)
  3. Rewrite rules for nested integrals (Clemens G. Raab Deutsches Elektronen-Synchrotron, Zeuthen, Germany)
  4. Piecewise Functions and Convolution Integrals (Part I, Part II) [1 hour]
    (Michel Beaudin and Frédéric Henri, École de technologie supérieure, Canada)
  5. Combinatorial integration (Part I, Part II) [1 hour]
    (Gilbert Labelle, LaCIM and UQAM, Canada)
  6. Unwinding paths on the Riemann Sphere for continuous integrals of rational functions
    (Rob Moir, University of Western Ontario, Canada)

Go to:
ACA'2014 main page
Conferences on Applications of Computer Algebra main page