ACA'01 Preliminary Sessions

  1. Application of Computer Algebra to Image and Signal Processing
  2. Applications of Involutive and Groebner Bases; the Differential and the Polynomial Case
  3. Computer Algebra in Analysis and Solving of Equations in Mathematical Physics and Control Theory
  4. Education Meets Computer Algebra
  5. Groebner Bases and Applications
  6. Non-Standard Applications of Computer Algebra
  7. Symbolic and Numerical Scientific Computation
  8. Teaching of Efficient Mathematics
  9. The Scientific Committee's Invitational Special Session

  1. Application of Computer Algebra to Image and Signal Processing
    Organizers: Jeremy Johnson & Markus Püschel
    1. Symbolic 3D Fast Multiple Method
      (Nikos P. Pitsianis & Xiaobai Sun)
    2. Balancing Multiwavelets using Groebner Bases and Relinearization Techniques
      (Jerome Lebrun)
    3. Automatic Derivation and Implementation of Fast Convolution Algorithms
      (Anthony Breitzman* & Jeremy Johnson)
    4. SPIRAL: A System for Implementation and Platform-Adaptation of Signal Processing Algorithms
      (Jeremy Johnson & Markus Pueschel*)
    5. SUGAR - A Computer System for SUpersolvable Groups and Algorithmic Representation Theory
      (Meinard Müller* & Michael Clausen)
    6. Algebraic Properties of Approximate Quantum Fourier Transforms
      (Martin Roetteler)
    7. Numerically Invariant Solutions of Geometric Flows
      (Mireille Boutin)
  2. Applications of Involutive and Groebner Bases; the Differential and the Polynomial Case
    Organizers: Joachim Apel & Ralf Hemmecke
    1. Differential Bases and Algebraic Analysis : New Perspectives for Applications+
      (Jean Francois Pommaret)
    2. Dynamical Aspects of Involutive Bases Computations
      (Ralf Hemmecke)
    3. Differential Elimination Algorithms and Deformations of Symmetric Differential Systems+
      (Greg Reid)
    4. Fast Computation of Polynomial Janet Bases
      (Vladimir P. Gerdt*, Yu. A. Blinkov & D. A. Yanovich)
    5. Stanley Decompositions and Involutive Bases
      (Joachim Apel)
  3. Computer Algebra in Analysis and Solving of Equations in Mathematical Physics and Control Theory
    Organizers: Vladimir Gerdt, Vladimir Kovalev & Dmitry Shirkov
    1. A Use of Computer Algebra in the Inverse Problem of the Birkhoff-Gustavson Normalization
      (Yoshio Uwano)
    2. Constructing Highest-Weight Modules of Quantized Enveloping Algebras
      (Willem de Graaf)
    3. Constraint Hamiltonian Dynamics and Involutive Bases
      (Vladimir Gerdt)
    4. The Involutive Form of a "Higher Index" DAE
      (Teijo Arponen)
    5. Generalized Power Expansions in Cosmology
      (Alejandro S. Jakubi)
    6. Non-commutative Generating Series, in Control Theory and Special Functions
      (Gerard Jacob)
  4. Education Meets Computer Algebra
    Organizers: Vlasta Kokol-Voljc & Bernhard Kutzler
    1. Examples of How We Use Symbolic, Hand-Held Calculators in Teaching Engineering Mathematics
      (Michel Beaudin & Kathleen Pineau)
    2. New Insight in Mathematics by Live CAS Documents
      (Ivan Cnop)
    3. The Joy of Mathematica: Instant Mathematica for Calculus, Differential Equations, and Linear Algebra
      (Alan Shuchat* & Fred Shultz)
    4. CAS: Tool of First Recourse in Classical Applied Mathematics
      (Robert J. Lopez)
    5. Computer Algebra in a Course on Lie Symmetries of ODEs
      (Alejandro Jakubi)
    6. What Math Should We Teach when We Teach Math with CAS?
      (Bernhard Kutzler)
    7. Transforming Traditional Exam Questions into CAS-Save Exam Questions
      (Vlasta Kokol-Voljc)
    8. How to Make Tests for Students Using CAS Tools (such as TI-89)
      (Bengt Ahlander)
    9. The Use of CAS in the Thuringian School System: Present and Future
      (Karsten Schmidt)
    10. The Symbolic Math Guide in Calculus
      (Doug Child)
    11. Electronic Submission of Student Work Using WORD and MAPLE
      (Gary A. Harris)
    12. Assessing the Effects of the TI-89 Hand-Held Computer Algebra System in a First Year Calculus Sequence
      (Mary Ann Connors)
    13. Computer Algebra Systems and Mathematics Education: Resolving the Disharmony -or- Why You Cant Have Your Cake and Eat it
      (Martyn Quigley)
    14. Computer Algebra: A Tool of Today for the Mathematics of Yesterday
      (Franz Lichtenberger)
    15. SmartTools: Developing Tools for Teaching Mathematics
      (Frank Postel)
    16. From Computing to Proving: Experiments with THEOREMA in Mathematics Education
      (Franz Lichtenberger)
    17. Introducing Mathematical Models with a CAS in an Introductory Course of Differential Equations
      (Angel Balderas Puga)
    18. Computer Algebra with Beginning Community College Students
      (Peg Pankowski)
    19. Help in Using Symbolic, Hand-Held Calculators in Teaching Engineering Mathematics
      (Gilles Picard & Kathleen Pineau)
  5. Groebner Bases and Applications
    Organizers: Quoc-Nam Tran, Alexander Levin & Ilias Kotsireas
    1. Modular Algorithms for Computing Gröbner Bases
      (Elizabeth Arnold)
    2. Application of SAGBI-Bases to Dynamics
      (Karin Gatermann)
    3. Noncommutative Groebner Bases: An Overview
      (Ed Green)
    4. Alternative Ways of Solving Polynomial Systems
      (Ilias Kotsireas)
    5. Gröbner Bases with respect to Several Orderings and Multivariable Hilbert Polynomials
      (Alexander Levin)
    6. Valuations to Compute Gröbner Bases
      (Ed Mosteig)
    7. On Gröbner Bases in Polynomial Rings over Von Neumann Regular Rings
      (Yosuke Sato)
    8. Toric Initial Ideals without Embedded Primes
      (Rekha R. Thomas)
    9. FOLA: A Computer Algebra System for Doing Research, Teaching and Studying Formal Languages, Grammars and Automata
      (Quoc-Nam Tran)
    10. Computational Algebraic Geometry and Switching Surfaces in Optimal Control
      (Uli Walther)
  6. Non-Standard Applications of Computer Algebra
    Organizers: Eugenio Roanes-Lozano & Michael Wester
    1. ``Parametric Geometry'' Package for Maple: Sketching, Automatic Theorem Proving and Cooperation with ``The Geometer's Sketchpad'' Made Easy
      (Eugenio Roanes-Lozano)
    2. Apollonius Meets Computer Algebra
      (Robert H. Lewis)
    3. Some Principles of Rational Structure-Based Drug Design
      (Eric Burks & Michael Wester*)
    4. "Ready, Fire, Aim": Social Systems and Rational Choice
      (Michael A. Faia)
    5. A Computer Algebra package for Constraint Satisfaction Problems
      (Carl DeVore)
    6. An Topology-Independent Accelerated Time Simulation of Passengers' Flux in Airport Terminals
      (Eugenio Roanes-Lozano*, Eugenio Roanes-Macias & Luis M. Laita)
    7. Computing the Adjoint Matrix of Multivariate Polynomial Matrices given by Straight-line Programs
      (B. Castaño*, J. Heintz & J. Llovet)
    8. Investigating Young Group Double Cosets with Computer Algebra
      (Bill Pletsch)
  7. Symbolic and Numerical Scientific Computation
    Organizer: Franz Winkler
    1. Faithful and Reliable Plotting of Curves by Symbolic-Numerical Methods
      (Franz Winkler)
    2. Solving SNPE as a New Basic Symbolic-Numerical Operation for Modeling PDEs
      (Valentine D. Borisevich & Valeriy G. Potemkin)
    3. The SNPE2 Solver Developed for the MATLAB Environment
      (Valentine D. Borisevich & Valeriy G. Potemkin)
    4. EROC: A Maple Library for Exact Real Object Computation
      (G. Bodnar* & J. Schicho)
    5. Connecting External Engines through OMEI: Open Mathematical Engine Interface
      (Weidong Liao*, Dongdai Lin & Paul S. Wang)
    6. Computing Riemann Surfaces for Factoring Bivariate Approximate Polynomials
      (Rob Corless)
    7. Development and Analysis of 3D Non-Split Optimally Stable Lax-Wendroff Type Difference Scheme for Conservation Laws
      (M. Kucharik, R. Liska*, S. Steinberg & B. Wendroff)
    8. Symbolic Computation and Wavelets
      (Peter Paule)
    9. Symbolic and Numeric Computation of the Barnes Function
      (Victor Adamchik)
  8. Teaching of Efficient Mathematics
    Organizers: Alkiviadis G. Akritas & Gennadi Malaschonok
    1. Boolean Algebra with Mathematica and TI-83, 89
      (Igor Gachkov)
  9. The Scientific Committee's Invitational Special Session
    Organizers: The Scientific Committee of the ACA
    1. The Center Variety of Polynomial Differential Systems
      (Abdul Salam Jarrah)
    2. Computation of Erdos-Woods Numbers
      (Nik Lygeros)
    3. Symbolic-Numerical Methods for Solving Singularly Perturbed Problems
      (Raya Khanin)
    4. Resultants of Composed Polynomials
      (Manfred Minimair)
    5. Quantified Constraints Under Perturbation
      (Stefan Ratschan)
    6. Functional Decomposition
      (Rosario Rubio San Miguel)
    7. Parametric Treatment of Generalized Constraint Systems
      (Thomas Sturm)
    8. Computing the Frobenius Canonical Form
      (Arne Storjohann)

    10. Return to the ACA'01 main page.