Nonstandard Applications of Computer Algebra

at ACA'2009 to be held June 25-28, 2009 at ÉTS, Montréal, Québec, Canada


Eugenio Roanes-Lozano
Michael Wester
Stanly Steinberg


In many of the ACA conferences from 1996 onwards, we have chaired a session devoted to ``Nonstandard Applications of Computer Algebra''. The session traditionally collects contributions that, while using Computer Algebra techniques and/or Computer Algebra Systems, can not be easily allocated in the ``standard'' sessions. Examples of topics treated in papers presented in previous editions of the conference are: Verification and Development of Expert Systems (using algebraic techniques), Railway Traffic Control, Artificial Intelligence, Thermodynamics, Molecular Dynamics, Statistics, Electrical Networks, Logic, Robotics, Sociology ...

We are organizing again for ACA'2009 this session:


Submissions of works in this area are welcome. If you are interested in submitting a talk, please send an e-mail message to us, including a tentative title and a 1 to 2 page long abstract with a general description of your work.

A special volume with selected papers from the 2009 and 2009 Nonstandard sessions will be published in Mathematics and Computers in Simulation


  1. A Logic Approach to Railway Interlocking Systems using Maple
    (Eugenio Roanes-Lozano, Antonio Hernando, Jose Antonio Alonso, Spain)
  2. Computing Integrals over Polynomially Defined Planar Regions and Curves
    (Michael Wester, Yuzita Yaacob, Stanly Steinberg, USA and Malaysia)
  3. Implementation of a Probabilistic Logic with Both Precise and Imprecise Connectives in a CAS
    (Gabriel Aguilera, José Luis Galán, Yolanda Padilla, Pedro Rodríguez, Spain)
  4. Parametric Characterization of Hypercircles
    (T. Recio, J. R. Sendra, L. F. Tabera, C. Villarino, Spain)
  5. Constructing and Enumerating Magic Circles and Franklin Magic Circles
    (Rebecca E. Garcia, USA)
  6. A Computer Implementation of the Unity Procedure and its Applications to Arthropod Population Dynamics. A Case Study in the European Grape Berry Moth
    (L. Javier Hernández, Esteban García Ruiz, M. Teresa Rivas, Vicente Marco, Eduardo Sáenz-de-Cabezón, Ignacio Pérez-Moreno and F. Javier Sáenz-de-Cabezón, Spain)
  7. Data Envelopment Analysis with Maple 13
    (William C. Bauldry, USA)
  8. A New Algebraic Model for Implementing Expert Systems Represented Under the Frames–Paradigm
    (Antonio Hernando, Spain)

Go to:
ACA'2009 main page
Conferences on Applications of Computer Algebra main page