Non-Standard Applications of Computer Algebra
at ACA'2006
to be held June 26-29, 2006 in Varna, Bulgaria
Organizers:
Eugenio Roanes-Lozano
Michael Wester
Overview:
In many of the ACA conferences from 1996 onwards, we have chaired a session
devoted to ``Non-Standard 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'2006 this session:
NON-STANDARD 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.
Talks
- Symbolic Computation
versus Computer Algebra
(Stephen M. Watt, ORCCA, University of Western Ontario, Canada)
- Using Computer Algebra
Techniques for the Specification and Verification of Recursive
Programs
(Nikolaj Popov and Tudor Jebelean, RISC-Linz, Austria)
- Using Symbolic
Summation and Polynomial Algebra for Imperative Program Verification in
the Theorema System
(Laura Ildiko Kovacs and Tudor Jebelean, RISC-Linz, Austria)
- Measuring the
Evolution of the Flexibility of a Railway Network
(Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macias,
Jose Luis Ruiz and Carlos Roncero, Spain)
- MatLab Analysis of
Acoustic Processes in Water Pipelines
(Tihomir Trifonov, Kamen Simeonov and Ivan Simeonov, Veliko Tarnovo,
Bulgaria)
- A Computer Algebra
Application to Determination of Lie Symmetries of Partial Differential
Equations
(Vladimir Pulov, Eddy Chacarov, Ivan Uzunov, Varnia and Sofia,
Bulgaria)
- Using Groebner Bases to
Reverse-Engineer Biochemical Networks
(Winfried Just and Brandilyn Stigler, Mathematical Biosciences Institute,
Ohio, USA)
- A Model of
Metabolic Processes using Maple
(N. Dimitrova and S. Markov, Bulgarian Academy of Sciences, Bulgaria)
- A Clinical
Histories-Based ``Gravitational'' Decision Support System
(Eugenio Roanes-Lozano, Basilio de la Torre, Luis M. Laita and
Eugenio Roanes-Macias, Spain)
- Combining Logical and
Algebraic Techniques for Natural Style Proving in Elementary
Analysis
(Robert Vajda, Tudor Jebelean and Bruno Buchberger, RISC-Linz,
Austria)
- Joint Distribution
of the Number of Vertices with Given Different Outdegrees in
Galton--Watson Forest
(T. Mylläri, Åbo Akademy University, Åbo, Finland)
- Enabling GRID for
Computer Algebra Applications
(Victor Edneral, Moscow State University, Russia)
Go to:
ACA'2006 main page
Conferences on Applications of Computer
Algebra main page