Nonstandard Applications of Computer Algebra

at ACA'2012 to be held June 25-28, 2012 in Sofia, Bulgaria


Francisco Botana
Antonio Hernando
Eugenio Roanes-Lozano
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.


As with previous ACAs, presentations will be accepted based on an abstract. Please send a copy of your abstract in text or PDF to the session organizers.

In order to speed up the publication process of the special issue, once the presentation is accepted, we ask authors to submit a full paper (if they plan one) through Elsevier's web page before attending the conference. Detailed instructions will be send to the authors of accepted talks. The organizers of the session will include any interesting suggestions that arise during the presentation of the talks to the reviewers' reports.

Important remark: Submissions to this session should have an innovative ("nonstandard") component and must make explicit and justified use of computer algebra techniques or systems.  An application should be described.


  1. Re-dimensioning Task Solutions using Computer Algebra Systems
    (Emiliya Saranova, Margarita Spiridonova and Stoyan Poryazov, Sofia, Bulgaria)
  2. Classifying the items of a Likert based questionnaire in different competences
    (J. L. Galán, S. Merino, J. Martínez and M. de Aguilera, University of Málaga, Málaga, Spain)
  3. An algebraic approach for detecting potential dangerous situations in expert systems through Groebner bases
    (Antonio Hernando, Roberto Maestre-Martínez and Eugenio Roanes-Lozano, Spain)
  4. A symbolic-numeric environment for computing equidistant curves
    (Francisco Botana and Miguel Á. Abánades, Spain)
  5. Generalizing the Steiner-Lehmus Theorem using the Groebner Cover
    (Antonio Montes and Tomas Recio, Spain)
  6. Some geometric remarks concerning the overthrow of the different types of railway vehicles when sitting on curved track
    (Eugenio Roanes-Lozano, Madrid, Spain)
  7. Garbage Collecting the World Wide Web
    (Stephen Watt, University of Western Ontario, Canada)
  8. Network Attacks based on Vertex Coverings
    (Eduardo Saenz-de-Cabezon and Henry P. Wynn)
  9. An accelerated-time simulation of baggage traffic in an airport terminal
    (G. Aguilera, A. Almirón, J. L. Galán, E. Mérida, Y. Padilla and P. Rodríguez, University of Málaga, Spain)
  10. A rule based expert system for hitting technique in amateur tennis competition
    (Eugenio Roanes-Lozano, Eduardo A. Casella, Fernando Sanchez and Antonio Hernando, Spain)
  11. An algebraic approach for an efficient and sustainable driving model based on a propositional logic
    (Yovan Íñiguez del Río, Lourdes Cecilia Fernández-Conde and José Gabriel Zato Recellado, Instituto Universitario de Investigación del Automóvil, Madrid, Spain)

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