Compact Computer Algebra

The objective of the Compact Computer Algebra (CCA) meetings has been to explore the various questions that arise for computer algebra in a resource-constrained setting, such as with portable devices or when providing a computational service in a larger setting. This includes "compactness" in algorithms, data organization and system design.

This meeting, CCA 2012, is the fourth in the series. The first event in the series was CCA 2008 at RISC, Austria, held as part of ACA 2008. CCA 2009 and CCA 2010 were part of the Conferences on Intelligent Computer Mathematics (CICM), held in Grand Bend and Paris respectively.

At the first two meetings we have heard from the creators of TI-Nspire, Derive, AsirPad, Maple and Camal about the set of challenges they had to overcome in order to deploy their robust CAS in what we consider now as resource- and performance-limited settings. Recently, the CCA community has begun to explore potential target applications of compact computer algebra, for example: what type of software and services might benefit from embedding their own "compact" Computer Algebra System (CAS), or having an easy access to one, and what set of functionalities this CAS should be offering to its host.

The current meeting, to be held in Sofia, Bulgaria, returns CCA to the ACA conference. It builds on directions, exploring these and related questions. Topics of interest include, but are not limited to:

• space-efficient data structures
• memory-efficient implementations
• compact kernels/engines
• math education tools
• portable and Internet-accessible symbolic calculators
• CAS for personal digital assistants, including smartphones and tablets
• "spell checkers" for math content in document processing software
• validators for online and offline mathematical recognizers
• expression equivalence testing for math education software
• tools for computing measure of expression complexity
• embedded software to generate custom numerical evaluators in real time
• backend engines to pen-computing interfaces
• math editing components for 2D expressions

If you are interested in presenting your work at CCA, please visit Call for Papers and Software Demos page for instructions on submission for contributions.

Important Dates

Abstracts Due	-- May 1
Notification of acceptance	-- May 15
ACA Conference	-- June 25-28
Compact Computer Algebra Session	-- TBA

• Elena Smirnova
  Education Technology, Texas Instruments, USA
  
  
  
• Stephen M. Watt
  Ontario Research Centre for Computer Algebra, U of Western Ontario, Canada