Nonstandard Applications of Computer Algebra

at ACA'2011 to be held June 27-30, 2011 in Houston, Texas, USA


Francisco Botana
Antonio Hernando
Bill Pletsch
Michael Wester


This session collects contributions that, while using Computer Algebra techniques and/or Computer Algebra Systems, can not easily be placed in the ``standard'' sessions. Examples of topics presented in previous conferences include: Verification and Development of Expert Systems (using algebraic techniques), Railway Traffic Control, Artificial Intelligence, Thermodynamics, Molecular Dynamics, Statistics, Electrical Networks, Logic, Robotics, Sociology, Integration, Mechanics, Discrete Mathematics, ...

Selected papers from this session will appear in a special issue of Mathematics and Computers in Simulation. Submission date for the special issues is August 1, 2011 while the TENTATIVE notification date will be December 20, 2011.

Please send your proposals via the ACA'2011 website (click on "Paper Submission" and use the EasyChair Login Page). Also, please send a copy of your abstract in text or PDF to the session organizers.


  1. An Algebraic Model for implementing Expert Systems based on the Knowledge of different Experts
    (Antonio Hernando and Eugenio Roanes-Lozano, Spain)
  2. A natural language for implementing algebraically expert systems
    (Antonio Hernando, Roberto Maestre Martínez, Jesús Bobadilla, Eugenio Roanes-Lozano)
  3. Revisiting the connection between 3D dynamic geometry systems and automated provers
    (Francisco Botana, Spain)
  4. Multiplying Univariate Polynomials Via Fast Fourier Transforms Over Finite Fields
    (Stephen D. Fox, Fordham University, New York, USA)
  5. Revisiting Belnap's four-valued logic from the computer algebra system Maple
    (Eugenio Roanes-Lozano, Antonio Hernando and José A. Alonso, Spain)
  6. FIABRAICO: A Computer Algebra based software for System Reliability computations
    (María Poza and Eduardo Sáenz-de-Cabezón, Universidad de La Rioja, Spain)
  7. A CAS implementation of a neural model to simulate car traffic
    (Gabriel Aguilera-Venegas, José Luis Galán-García, José Manuel Garcia-Tejero, Enrique Mérida-Casermeiro, Pedro Rodríguez-Cielos, University of Málaga, Spain)
  8. Flexibility of Molecules via Computer Algebra
    (Robert H. Lewis, Fordham University, New York, USA)
  9. Algorithmic Determination of Molecule Flexibility via Resultants
    (Stephen D. Fox and Robert H. Lewis, Fordham, New York, USA)
  10. Factoring analytic polynomials and non-standard Cauchy-Riemann conditions
    (T. Recio, J.R. Sendra, L.F. Tabera, C. Villarino, Spain)

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