CICM 2010


Ontario Research Centre for Computer Algebra

Ontario Research Centre for Computer Algebra

Third Workshop on

Compact Computer Algebra

CICM 2010

July 6, 2010. Paris, France

Even though compact design is no longer a vital necessity for main-stream computer algebra systems, it is a central question in emerging settings. Compact systems are important for hand-held devices, embedded computer algebra modules (e.g. for smart document processors) and web-based computing to name a few areas. Additionally, compact data representations can be essential when dealing with very large problems.

The aim of the CCA events is to communicate the ideas supporting the subject of "compactness" in algorithms, data organization and system design for computer algebra.

Continuing the series of CCA meetings previously held in Linz, Austria (2008) and in Grand Bend, Canada (2009), the 3rd workshop on Compact Computer Algebra will take place in Paris, France as a part of CICM 2010 conference.

The scope of CCA topics includes, but is not limited to

  • space-efficient data structures
  • memory-efficient implementations
  • compact kernels
  • math education tools
  • portable and Internet-accessible symbolic calculators
  • CAS for personal digital assistants
  • "spell checkers" for math content in document processing software
  • validators for online and offline mathematical recognizers
  • backend engines to pen-computing interfaces
  • math editing components for 2D expression


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
  • -- June 15
  • Notification of acceptance
  • -- June 20
  • Full-length papers due
  • -- July 1
  • CICM Conference
  • -- July 5-10
  • Compact Computer Algebra Workshop  
  • -- July 6


    09:30 - 09:40 Session opening and welcome
    09:40 - 10:05 Mitsushi Fujimoto The State of Computer Algebra on Compact Devices
    10:05 - 10:30 David Jeffrey and Albert Rich The Nesting Habits of Radicals
    10:30 - 11:00 Coffee break
    11:00 - 11:25 Michael Kohlhase Compensating the Computational Bias of Spreadsheets
    11:25 - 11:50 Wei Su, Paul S. Wang and Lian Li MathPASS: A Remedial Mathematics System with Automated Answer Checking
    11:50 - 12:00 Wei Su, Paul S. Wang and Lian Li DEMO: MathEdit, a Web-based visual editor for mathematical expression
    12:00 - 12:25 Elena Smirnova and Stephen Watt Compact CAS behind the scene
    12:25 - 12:30 Session closing


    Page maintained by Elena Smirnova