Summary of progress

• Deliverable D6.2 released:
  • At svn://molto-project.eu/tags/D6.2
  • Bug fixing and adding some more features may continue in the head branch.
• With respect to M18:
  • Added an upper layer to the Math Grammal Library (D6.1) to support commands issued to a Computer Algebra System (CAS)
  • English, Spanish and German
  • Software components to interact with Sage (via http protocol, or inside the Sage shell and notebook interfaces).
  • Developed a testing procedure to assist in regression tests for the tool.

Highlights

• Developed a prototype to engage Sage in a dialog using natural language that runs on Linux and Mac OSX.
  • The system assists command composing by providing autocompletion and gives spoken output on demand.
• Developed a Sage interface to issue commands to a Sage process from the native Sage shell or notebook.
  • In Linux it provides autocompletion using the native shell mechanism for it.

Demo

• Notebook interface

• gfsage

• WolframAlpha
  • Multilingual
  • More complicated expressions
  • State carrying (dialog)

Dissemination

In year 2

The dialog prototype has been demonstrated by Olga at:

The International Workshop on Digitization and E-Inclusion in Mathematics and Science 2012 (DEIMS12) February 8-10, 2012 Nihon University, College of Science and Technology, Surugadai Campus Tokyo, Japan

Incoming

EACA2012

XIII Spanish Conference on Computer Algebra and Applications, Alcalá de Henares, Spain

3a Jornada Sage/Python

Vigo, Spain

Next step

• Proposal to change D6.3 into a math wiki (wp11) supporting:
  • Definitions and theorems.
  • Mixing of formulae and natural language rendering.
  • Able to query:
    • A CAS
    • Semantic repositories: OpenMath
• (Based on this: to develop a prototype for crowdsourcing math education)
  • Connect a student and a math learned individual, on collaboratively solving math problems.
  • Breaking the language barrier
  • Emerging countries