17th Symposium on the Integration of
Symbolic Computation and Mechanised Reasoning

Calculemus 2010

Paris, France    6th-7th July 2010


Emerging Trends

The list of accepted papers in the track of emerging trends below is ordered alphabetically by first author surname.

The proceedings of the emerging trends are available online here as a technical report of CEDRIC (CNAM/ENSIIE).

  • What are the rules of ``elementary algebra''?
    James H. Davenport and Christopher J. Sangwin
    Abstract: Many systems dealing with mathematics, including but not limited to computer-aided assessment (CAA) software, have to deal with ``equality up to the usual rules of algebra'', but what this phrase means is often less clear. Even when they are clear in abstract, implementing them in a computer algebra system, which has to deal with the mathematics users have typed, complete with complications such as division (rather than multiplication by the inverse), binary subtraction etc., is far from clear. In this paper, we outline some pitfalls, and what we have learned about solving these problems.
    [PDF]
  • Interactive Documents as Interfaces to Computer Algebra Systems: JOBAD and Wolfram|Alpha
    Catalin David, Christoph Lange and Florian Rabe
    Abstract: Interactivity and customization are common trends guiding the design of services on the web. Not only can users adapt content to their preferences, they can also dynamically aggregate content from various sources on interactive pages in their browser that thus turn into powerful command centers (e. g. iGoogle). Our JOBAD architecture embeds mathematical services into XHTML+MathML documents. JOBAD is a modular JavaScript framework for interactive services such as term folding or definition lookup.
    We have now enhanced it with a client for computer algebra. It lets the user select mathematical expressions and ask a CAS to compute, graph, or rewrite them. We have done first steps towards an integration with the Wolfram|Alpha web service API, which gives access to Mathematica as well as a large mathematical knowledge base. We are currently working on a generalization towards arbitrary CAS backends and thus promoting documents as interfaces to computer algebra systems.
    [PDF]