Non-Standard Applications
Organizer
Eugenio Roanes-Lozano
(eroanes@eucmos.sim.ucm.es)
Dept. Algebra, Desp. 3517
Edificio "La Almudena"
Paseo Juan XXIII s/n
28040 - Madrid (Spain)
Fax: Spain + 1 + 3946248
Description
Computer Algebra has traditionally been used in fields like Algebraic
Geometry, Astronomy, High Energy Physics, Automatic Theorem Proving in
Geometry,...
Nevertheless there are some other fields such as Industrial Applications,
Chemistry, Artificial Intelligence (for instance the AISMC conference is entirely devoted to this topic),... where CA is been used now as a
very useful tool. The session tries to give an overview of some of these
non-standard applications. Emphasis is given in the originality.
There will be a final colloquium about the topic.
Talks
Date: July 18th (Thursday)
- 14:00-14:25
-
Jacques Calmet
Computer Algebra and Artificial Intelligence
Abstract
- 14:25-14:50
-
Eugenio Roanes-Lozano,
Luis M. Laita
A Topology-Independent Model for Railway Interlocking
Systems
Abstract
- 14:50-15:15
-
Antonio Montes
Algebraic Solution of the Load-Flow Problem
for a four Nodes Electrical Network.
Abstract
- 15:15-15:40
-
R.L. Akers,
P. Baffes,
E. Kant,
C. Randall,
S. Steinberg,
R.L Young
A Problem Solving Environment for Numerical Partial
Differential Equations
Abstract
-
- 15:40-16:00
-
Coffee Break
-
- 16:00-16:25
-
Shigekazu Nakagawa,
Naoto Niki,
Hiroki Hashiguchi
Computer Algebra application to the distribution
of sample correlation coefficient.
Abstract
- 16:25-16:50
-
Alejandro A.R. Trejo,
Guillermo Fernandez Anaya
Regular Expressions Simplification.
Abstract
- 16:50-17:15
-
Ross Taylor
Thermodyanmics with Maple
Abstract
- 17:15-17:30
-
All
Final Dialogue
