*Organizers:*

Eugenio Roanes-Lozano

Michael Wester

Stanly Steinberg

*Overview:*

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'2008 this session:

NONSTANDARD APPLICATIONS OF COMPUTER ALGEBRA

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

**SCHEDULE: The list below will be the order of the talks in the
conference schedule, which is still being fine tuned. We expect that the
most or all of the talks will occur on Tuesday.**

- Obtaining
Automatically Railway Maps from a Set of Historical Events

(Eugenio Roanes-Lozano, Angelica Martinez-Zarzuelo, Alberto Garcia Alvarez, Michael J. Wester and Eugenio Roanes-Macias, Spain) - Dynamic Balancing of
Mechanisms

(Brian Moore, Josef Schicho, Clément M. Gosselin) - A Recurrent
Algorithm for Conway Matrices Related to a Non-transitive Head-or-Tail
Game

(Aleksandr Myllari and Nikita Gogin, University of Turku, Finland) - Computational
algebraic algorithms for the reliability of generalized k-out-of-n and
related systems

(Eduardo Sáenz de Cabezón and Henry P. Wynn) - Polynomial Equations
Arising in Global Positioning Systems and in Nash Equilibria

(Robert H. Lewis, USA) - Difficulties in
Solving a Nonlinear System of Equations using Computer Algebra

(Iulia Costin, Romania) - Tableaux.mth: Semantic
Tableaux for Propositional Logic with Derive

(Gabriel Aguilera, José Luis Galán, M. Ángeles Galán, Antonio Gálvez, Antonio J. Jiménez, Yolanda Padilla and Pedro Rodríguez, University of Málaga, Spain) - A Symbolic-Numeric
Approach to Minimal Polynomial Logic and to Rule Based Expert Systems
that Use this Logic

(E. Roanes-Lozano, Luis M. Laita and E. Roanes-Macias, Spain) - Counting Double
Cosets Using Maple

(Bill Pletsch, USA)

Go to:

ACA'2008 main
page

Conferences on Applications of Computer
Algebra main page