# Nonstandard Applications of Computer Algebra

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

Francisco Botana

Antonio Hernando

Eugenio Roanes-Lozano

Michael Wester

*Overview*

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!

### Talks

- The root lattice A
_{2} in the
construction of tilings and algebraic hypersurfaces with many
singularities

(Juan García Escudero, Universidad de Oviedo, Spain)
- Computer Algebra-based RBES
personalized menu generator

(E. Roanes-Lozano, J.L. Galán-Garciía,
G. Aguilera-Venegas)
- 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)
- 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)
- Properties of the Simson–Wallace locus
applied on a skew quadrilateral

(P. Pech, University of South Bohemia, Czech Republic)
- 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