Session on High-Performance Computer Algebra

Conference: ACA'2017, July 17-21, 2017, Jerusalem, Israel

Session Organizers: Jeremy Johnson and Marc Moreno Maza


Improved algorithms, better implementations, and faster computers have enabled many previously time-consuming computer algebra computations to be performed routinely and have extended the range of what is practically possible to compute. However, there remains many computations that still require excessive computing time, and while existing computer algebra systems have had some practical success in applications, their widespread use in computational science and engineering remains limited. Part of this is due to inherent difficulties of exact computation; however, there are many cases where the performance achieved by an implementation could be dramatically improved through optimized implementations and parallel computation and the use of special purpose hardware.

Efficient implementations of symbolic computation, requires techniques that go far beyond the manipulation of algebraic or differential equations; these include efficient memory management, data compression, code optimization, parallel and distributed computing. While the computer algebra community has begun to incorporate high performance computing techniques, architecture aware algorithms, and parallel computing, tuning algorithms to perform well on modern computer architectures and adapting algorithms and systems to parallel computers can be a difficult and time consuming process and much work remains. Moreover, there are many challenges in achieving high-performance in computer algebra algorithm implementations due to their irregular structure and higher level data types. Also the complexity of computer algebra systems make the incorporation of parallel computation challenging.

This session is devoted to exploring the application of high-performance computing to computer algebra algorithms, applications and systems, and the research and implementation challenges this poses.

Potential Topics:

  1. Practical implementation and performance analysis of computer algebra algorithms
  2. Implementation and optimization techniques for computer algebra algorithms
  3. Parallel implementations of computer algebra algorithms and parallel computer algebra systems
  4. The application and extension of optimizing compiler techniques to the implementation of computer algebra algorithms.
  5. Adapting the implementation of computer algebra algorithms to improve performance by better utilizing the underlying hardware
  6. Techniques for automating the optimization and platform adaptation of computer algebra algorithms
  7. Cache complexity and cache-oblivious computer algebra algorithms
  8. Hardware accelaration technologies (multi-cores, GPUs, FGPAs)

Call for Contributions

If you are interested in presenting your recent work in this session, please send your title and abstract to or no later than April 30, 2017; see the section important dates on the ACA homepage.

Please use the LaTeX template for your submission, see the page ACA 2017 Publications for detailed instructions. Your abstract should be 1–2 pages long, including references.