Nonstandard Applications of Computer Algebra

at ACA'2015 to be held July 20-23, 2015 in Kalamata, Greece


Francisco Botana
Antonio Hernando
Eugenio Roanes-Lozano
Michael Wester


Although all contributions to a conference have to present something new in some sense (results, algorithms, approaches, strategies, ...), this session focuses on works that while using computer algebra techniques and/or computer algebra systems, cannot be easily allocated within the usual research lines of computer algebra. Therefore, this session collects contributions that 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, ...

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.

Unlike previous years, a special issue of a journal devoted to  this session is not planned.

Please use this LaTeX template for your abstract and send both the LaTeX source and a compiled PDF version. Send a copy of the .tex file and a PDF version of the abstract to the session organizers. If you are not familiar with LaTeX, you may also send a plain text version of your proposal. We look forward to your submissions!


  1. The root lattice A2 in the construction of tilings and algebraic hypersurfaces with many singularities
    (Juan García Escudero, Universidad de Oviedo, Spain)
  2. Computer Algebra-based RBES personalized menu generator
    (E. Roanes-Lozano, J.L. Galán-Garciía, G. Aguilera-Venegas)
  3. Symbolic-Numeric Computing: A Polynomial System Arising in Image Analysis of Point Cloud Data
    (Robert H. Lewis, Fordham University, New York City, New York, USA)
  4. Making more flexible ATISMART+ model for traffic simulations using a CAS
    (M. Ramírez, J.M. Gavilán, G. Aguilera, J.L. Galán, M.Á. Galán, P. Rodríguez; Spain)
  5. Properties of the Simson–Wallace locus applied on a skew quadrilateral
    (P. Pech, University of South Bohemia, Czech Republic)
  6. Truth Value formalization and Groups Theory
    (FatmaZohra Belkredim, Université Hassiba Benbouali, Algeria)

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