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

  1. Symbolic Computation versus Computer Algebra
    (Stephen M. Watt, ORCCA, University of Western Ontario, Canada)
  2. Using Computer Algebra Techniques for the Specification and Verification of Recursive Programs
    (Nikolaj Popov and Tudor Jebelean, RISC-Linz, Austria)
  3. Using Symbolic Summation and Polynomial Algebra for Imperative Program Verification in the Theorema System
    (Laura Ildiko Kovacs and Tudor Jebelean, RISC-Linz, Austria)
  4. 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)
  5. MatLab Analysis of Acoustic Processes in Water Pipelines
    (Tihomir Trifonov, Kamen Simeonov and Ivan Simeonov, Veliko Tarnovo, Bulgaria)
  6. A Computer Algebra Application to Determination of Lie Symmetries of Partial Differential Equations
    (Vladimir Pulov, Eddy Chacarov, Ivan Uzunov, Varnia and Sofia, Bulgaria)
  7. Using Groebner Bases to Reverse-Engineer Biochemical Networks
    (Winfried Just and Brandilyn Stigler, Mathematical Biosciences Institute, Ohio, USA)
  8. A Model of Metabolic Processes using Maple
    (N. Dimitrova and S. Markov, Bulgarian Academy of Sciences, Bulgaria)
  9. A Clinical Histories-Based ``Gravitational'' Decision Support System
    (Eugenio Roanes-Lozano, Basilio de la Torre, Luis M. Laita and Eugenio Roanes-Macias, Spain)
  10. Combining Logical and Algebraic Techniques for Natural Style Proving in Elementary Analysis
    (Robert Vajda, Tudor Jebelean and Bruno Buchberger, RISC-Linz, Austria)
  11. Joint Distribution of the Number of Vertices with Given Different Outdegrees in Galton--Watson Forest
    (T. Mylläri, Åbo Akademy University, Åbo, Finland)
  12. 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