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.
-
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.
|