Call for papers

Journal of Symbolic Computation

Special Issue on

Technology and its Integration into Mathematics Education

Guest Editors:

José Luis Galán García
Pedro Rodríguez Cielos
Gabriel Aguilera Venegas


Submission time line: From July 15th to October 6th, 2012


In 1992, the ACDCA (Austrian Center for Didactics of Computer Algebra) began a conference series focusing on the use of symbolic calculation software in mathematics education. The first international conference dedicated to the use of Derive symbolic calculation software took place in 1994. After that time, ACDCA and Derive conferences were held in alternating years. In 2002, the two conferences were merged into the first TIME (Technology and its Integration into Mathematics Education) Conference. In 2012, Derive conferences are renamed as Conferences for CAS in Education & Research.


For this special issue, we welcome extended versions of selected papers presented at TIME 2012. As for the Conference, the topics are any aspect related with Technology integration into Mathematics Education, including (but not restricted to):

  • 12th ACDCA Summer Academy Strand:
  • CAS-based curricula and teaching methods
  • Dynamic geometry systems as teaching tools
  • Assessing with technology
  • Internet as a teaching aid
  • Dispensable and indispensable mathematical skills and abilities
  • CAS as pedagogical tools for compensation and amplification
  • Demands on a Pedagogical CAS
  • New classroom examples using CAS
  • Future of CAS in Education
  • The next generation: PeCAS = Pedagogical CAS
  • CAS - Spreadsheet - Dynamic Geometry all in one?
  • Compulsory use of ICT in classrooms
  • 10th Conference for CAS in Education & Research
  • Applications in mathematics, the natural sciences, research & development, economy, social sciences, industry, ...
  • Programming in Computer Algebra Systems
  • Interfaces to other programs/tools
  • Producing and using utility files and libraries
  • Problems and limitations
  • Web resources - going online
  • Connecting computer algebra and computational logic
  • Recreational Mathematics supported by CAS and Dynamic Geometry
  • Comparison of different computer algebra systems
  • Modelling and Simulating Dynamic Processes

    We expect original articles (typically 15-30 pages) that present high-quality contributions that have not been previously published in a journal and that must not be simultaneously submitted for publication elsewhere (extended and/or improved versions of Conference papers).

  • The introduction of the paper MUST explicitly address the following questions in succinct and informal manner:
  • What is the problem?
  • Why is the problem important?
  • What has been done so far on the problem?
  • What is the main contribution of the paper on the problem?
  • Why is the contribution original?
  • Why is the contribution non-trivial?
  • All the main definitions, theorems and algorithms must be illustrated by simple but meaningful examples.
  • Without these, the paper will not be considered.

    Submissions must comply with JSC's author guidelines (stated here). 

    They must be written in English and should be prepared in LaTeX. We kindly request authors to send their contribution to be reviewed by an English-speaking native person before submiting it.

    The paper should be written using an older version of the "Elsevier Article Class (elsart.cls)" with "JSC add-on style (yjsco.sty)" and "Harvard style references (elsart-harv.bst)" which can be obtained as the package "JSC LaTex" (that contains all the necessary style files and a template) from here.


    Submission procedure
    In order to speed up the review process, remember to send your contribution to be reviewed by an English-speaking native person before submiting it. Submissions to this special issue will be done by sending a pdf version of the proposal to (please, refer to "TIME JSC-SI Proposal" in the subject line).

    The dead line for submissions has been extended to October 6th.


    For further information, please send an e-mail to José Luis Galán García at


    Abstracting & Indexing and Further Information about JSC
    The Journal of Symbolic Computation is abstracted in ACM Guide to Computing Literature; CompuMath Citation Index; Computing Reviews; Current Contents/Engineering, Computing & Technology; INSPEC; Mathematical Reviews; Research Alert; Science Citation Index (2011 Impact Factor 0.707); Scopus; Zentralblatt MATH.

    For further information about JSC, please visit it web page here.