ACA'99 Sessions

5th International IMACS Conference on Applications of Computer Algebra

  1. Applications of Computer Algebra to Robotics
  2. Applications of Computer Algebra to Signal Processing
  3. Applications of Quantifier Elimination
  4. Approximate Algebraic Computation: towards Symbolic-Numeric Algorithms
  5. Combinatorial and Computational Methods in Algebraic Geometry
  6. Computations in Pure Mathematics (Algebra, Analysis, Geometry, ...)
  7. Computer Aided Geometric Design and Computer Algebra
  8. Computer Algebra for Dynamical Systems and Mechanics I
  9. Computer Algebra for Dynamical Systems and Mechanics II
  10. Computer Algebra in the Spanish Educational System
  11. Computer Algebra meets Education I
  12. Computer Algebra meets Education II
  13. Demos of Computer Algebra Systems
  14. Interaction on Physics, Number Theory & Computer Science I
  15. Interaction on Physics, Number Theory & Computer Science II
  16. Mathematics on the Internet
  17. Symbolic-Numeric Interface and Problem Solving Environments I
  18. Symbolic-Numeric Interface and Problem Solving Environments II
  19. Teaching of Efficient Mathematics I
  20. Teaching of Efficient Mathematics II
  21. Toric Ideals and Integer Programming

  1. Computer Algebra meets Education I
    Organizer: Bernhard Kutzler
    1. Setting the Tone: CAS as pedagogical tools
      (Bernhard Kutzler)
    2. Basic Skills versus Technology---not a Contradiction but a Completion
      (Josef Boehm)
    3. The Use of Mathematics Specific Technology in Capstone Mathematics Teacher Preparation Courses
      (Gary A. Harris)
    4. Some Reflections About the Impact of Computer Algebra Systems in the Ordering of the Curricula of Mathematics
      (Justo Cabezas & Eugenio Roanes-Lozano*)
    5. A Computer Classroom Lecture: Asymptotic Convergence of Rational Functions
      (Bill Pletsch)
    6. Exam questions when using CAS for school mathematics teaching
      (Vlasta Kokol-Voljc)
    7. Using the TI-92Plus: Examples
      (Michel Beaudin)
    8. Why use CAS with TI89 in mathematical education? Classrooms experiments.
      (Bengt Ahlander)
    9. Using Logo as a Scaffolding to Develop Algebraic Thinking in a Virtual Classroom
      (Garry Clark* & Edward Redden)
    10. Discovery Experiences in Synthetic Geometry with DERIVE
      (Miguel de Guzman)
    11. About how to implement Geometric Transformations on a CAS
      (E. Roanes-Macias & E. Roanes-Lozano*)
    12. A number-based approach to introductory algebra: A study with 11-12 year olds using graphic calculators
      (Tenoch E. Cedillo A.)
    13. Instrumentation processes underlying the use of TI92 at high school level
      (Badr Defouad)
    14. A didactical laboratory: image filtering
      (A. Cavallone*, C. D'Apice*, M. Marsella & S. Salerno)
  2. Computer Algebra meets Education II
    Organizer: Bernhard Kutzler
    1. A Tutorial Mathematical System for Elementary Schools
      (Frank Postel* & Ralf Hillebrand)
    2. High-Powered Technology in a Low-Level Mathematics Course
      (Jim Schultz)
    3. A Scheme for Conservative Use of Computer Algebra
      (Rein Prank)
    4. Mathematica and didactical innovation: a quadric use case
      (G. Albano*, A. Cavallone, C. D'Apice* & G. Gargiulo)
    5. Computer Aided Instruction for Business Calculus in an International Liberal Arts College
      (A. Kehagias & P. N. Vlachos*)
    6. Flexible Mathematical GUI Controls for Mathematical Electronical Documents
      (Ralf Hillebrand* & Frank Postel)
    7. Mathematica in Undergraduate Mathematics Courses---A Teaching or Learning Aid?
      (May C. Abboud)
    8. Searching roots for three degree polynomials with the help of Mathematica
      (Marilo Lopez Gonzalez & Javier Rodrigo Hitos*)
    9. Derivations and Visualizations for the Hydrogen Atom
      (Joseph D. Myers*, Kelley B. Mohrmann & Terry T. Crow)
    10. CONVODE: A Reduce package for solving differential equations
      (Alain Moussiaux & Richard Mairesse)
    11. Exploring sequences with DERIVE
      (Paolo Boieri)
  3. Teaching of Efficient Mathematics
    Organizers: A. Akritas & Gennadi Malaschonok
    1. A project of Computer Aided Learning: A course of Computer Algebra in the web
      (Rafael J. Villanueva Mico & A. Hervas)
    2. A study of particular methods for the approximate construction of some regular polygons by using Mathematica 3.0
      (Juan A. Aledo, Juan C. Cortes & Fernando L. Pelayo)
  4. Teaching of Efficient Mathematics
    Organizers: A. Akritas & Gennadi Malaschonok
    1. A comparative study between two general methods for the approximate construction of regular polygons by using Mathematica 3.0
      (Juan A. Aledo, Juan C. Cortes & Fernando L. Pelayo)
    2. Possibilities for Alternative Uses of the "Calculus and Mathematica" Approach
      (Stelios Kapranidis, Alkiviadis Akritas & Athina Katalifou)
    3. Classical Mathematics with Mathematica
      (Alkiviadis Akritas & Zamir Bavel)
    4. Calculus and the Race Track Principle
      (Alkiviadis Akritas & Zamir Bavel)
    5. Some elementary mathematics revisited and revised
      (David J. Jeffrey)
    6. Teaching Error-Correcting Codes, Discrete Mathematics and Modern Algebra with Computer Algebra
      (Igor Gachkov & Kenneth Hulth)
    7. Teaching of efficient mathematics
      (Gennadi Malaschonok & Natalia Malaschonok)
    8. Efficient methods of mathematical analysis
      (Gennadi Malaschonok)
  5. Approximate Algebraic Computation: towards Symbolic-Numeric Algorithms
    Organizers: Tateaki Sasaki, Matu-Tarow Noda, Bernard Mourrain & Robert Corless
    1. New results on the Table Maker's Dilemma
      (Jean-Michel Muller & Vincent Lefevre*)
    2. Polynomial Algebra with Coefficients of Limited Accuracy
      (Hans Stetter)
    3. A System of Automatic Algorithm Stabilization
      (Hiroshi Sekigawa)

    4. (Hiroshi Kai)

    5. (Victor Y. Pan)
    6. Mechanism of Cancellation Errors in Multivariate Hensel Construction with Floating-point Numbers
      (Tateaki Sasaki)
    7. Exacts predicates for arrangement of arcs of circle
      (A. Fronville)
    8. Approximate p-adic GCD computation
      (D. Rupprecht)
    9. Towards numerical stability in normal form algorithms
      (B. Mourrain)
    10. Hybrid Rational Function Approximation and its Applications
      (Matu T. Noda)
    11. Approximate polynomial decomposition
      (M. Giesbrecht)
    12. On approximate ideals
      (B. Trager or P. Gianni)
  6. Toric Ideals and Integer Programming
    Organizer: Lorenzo Robbiano
    1. Computing Toric Ideals+
      (Lorenzo Robbiano)
    2. New algorithms for Computing Toric Ideals
      (Anna Bigatti)
    3. Decomposing Graver Test Sets in Stochastic Programming
      (Raymond Hemmecke)
    4. Initial Ideals of Toric Ideals and Group Relaxations in Integer Programming
      (Serkan Hosten)
  7. Combinatorial and Computational Methods in Algebraic Geometry
    Organizers: Jie-Tai Yu & Vladimir Shpilrain
    1. The Parameterization Problem for Algebraic Surfaces
      (Josef Schicho)
    2. Computing subfields in pure trascendental extensions
      (Jaime Gutierrez & Rosario Rubio)
    3. Again $x + x^2 y + z^2 + t^3$ = 0
      (Lenny Makar-Limanov)
    4. Invariants of algebraic varieties
      (Vladimir Shpilrain)
  8. Mathematics on the Internet
    Organizers: Angel Diaz & Erich Kaltofen
    1. Interfacing Proof Checkers With OpenMath
      (Olga Caprotti)
    2. Plug and Play Mathematical Components
      (Mike Dewar)

    3. (Angel L. Diaz)
    4. Mathematics on the Web---Past, Present and Future
      (Dave Raggett)
    5. Unicode Encoding of Mathematics
      (Murray Sargent)
    6. Stylesheets for Mathematical Web Pages
      (Stephen Watt)
    7. Accessing Quantifier Elimination Packages Over the Internet Out of General Purpose Systems
      (Andreas Weber)
    8. Concluding Discussion of the Issues Addressed in the Talks (Moderator with Audience Participation)
      (Erich Kaltofen)
  9. Demos of Computer Algebra Systems
    Organizers: Michael Wester & Winfried Neun
    1. Some Perspectives on the Usability of Computer Algebra Systems
      (Michael Wester)
    2. Solving a RLC Circuit using Convolution with DERIVE for Windows
      (Michel Beaudin)
    3. The Computer Algebra System CoCoA
      (Lorenzo Robbiano)
    4. The REDLOG Package---Tools and Applications
      (Volker Weispfenning)
    5. MuPAD---An Open Computer Algebra System and its Approach of Software Integration
      (Ralf Hillebrand & Frank Postel)
    6. Computer Algebra Applied to Mathematical Cartography
      (Carlos Enriguez Turiño)
  10. Computer Aided Geometric Design and Computer Algebra
    Organizers: L. Gonzalez-Vega & J. R. Sendra
    1. Missing points and branches of real parametric curves+
      (Tomas Recio)
    2. Applying general-purpose symbolic and numerical computation programs for Computer Graphics and CAGD. Some applications to industry
      (Andres Iglesias & Akemi Galvez)
    3. Proper Parametrization of Real Algebraic Surfaces
      (Josef Schicho)
    4. An algorithm for approximate conversion of rational B-spline curves/surfaces to integral B-spline curves/surfaces and its implementation
      (Jesus Espinola, Laureano Gonzalez-Vega & Ioana Necula)
    5. Groebner Bases and Statistics+
      (Lorenzo Robbiano)
  11. Applications of Computer Algebra to Robotics
    Organizer: Peter Kovacs
    1. Forward kinematics of parallel robots
      (Jean-Pierre Merlet)
    2. Using Computer algebra tools for off-line studies of parallel manipulators
      (Jean-Charles Faugere, Luc Rolland & Fabrice Rouillier*)
    3. Self-Motions of Griffis-Duffy Type Parallel Manipulators
      (Manfred Husty & Adolf Karger)
    4. Functional Ideal Decomposition---a Tool for Kinematics
      (Peter Kovacs)
  12. Symbolic-Numeric Interface and Problem Solving Environments I
    Organizers: Richard Liska, Stanly Steinberg & Robert van Engelen
    1. Finite Difference Numerical Modelling Supported by Computer Algebra+
      (Richard Liska)
    2. Ctadel: A Computer Algebra System for the Generation of Efficient Numerical Codes for PDEs
      (Robert van Engelen)
    3. Invariant Variational Principles and Associated Numerical Schemes for Regularization of Ill-Posed Problems
      (Ravi Venkatesan)
  13. Symbolic-Numeric Interface and Problem Solving Environments II
    Organizers: Richard Liska, Stanly Steinberg & Robert van Engelen
    1. Group Invariant Finite-Difference Schemes for Advection Equation
      (Ravi C. Venkatesan)
    2. Usefulness of computer algebra methods in numerical simulations
      (Michel Fournie)
    3. Prototyping Symbolic-Numeric Algorithms using Naglink
      (Brian J. Dupee* & James H. Davenport)
    4. A symbolic-numerical package for linear stability analysis of numerical methods for ODEs
      (Massimo Cafaro & Beatrice Paternoster*)
    5. A Symbolic Numeric Environment for Analyzing Measurement Data in Multi-Model Settings
      (Christoph Richard & Andreas Weber*)
    6. Extraction of Low Order Boolean Rules from Trained Neural Networks using a Computer Algebra System
      (Terence Etchells)
    7. .
      ( )
  14. Computer Algebra for Dynamical Systems and Mechanics I
    Organizers: Victor Edneral, Ilias Kotsireas & Nikolay Vasiliev
    1. Computer Algebraic Approximations---Creation of Approximated Solutions of Scientific and Engineering Problems in Symbolic Form+
      (Victor Edneral)
    2. Solving the problem of stabilization of a gyroscopic system with the help of Computer Algebra
      (A. V. Banshchikov, L. A. Bourlakova & V. D. Irtegov)
    3. About investigation of systems with first integrals
      (L. A. Bourlakova & V. D. Irtegov)
    4. Analytical Approach for Simplifying Dynamical Systems of Polynomial Type
      (J. Palacián & P. Yanguas)
    5. Communications of the Poisson Series Processors PSPC with General Scientific Software
      (A. Abad, A. Gavin & J. F. San-Juan)
    6. Parallelisation of Perturbation Analysis: the method of Multiple Scales applied to vibration problems
      (Raya Khanin & Matthew Cartmell)
    7. Some computational experiments in Celestial Mechanics
      (Jean-Charles Faugere)
    8. Some remarks on differential Hilbert polynomials in two variables
      (G. Carra Ferro)
    9. Extended Characteristic Sets of Finitely Generated Differential Ideals
      (G. Carra Ferro & Vladimir Gerdt)
    10. Enumeration of intersections of Newton's polyhedrons
      (Alexander Aranson)
    11. Symbolic Computation of Formal Solutions for 2 and 3 Dimensional Dynamical Systems
      (G. Eichenmueller)
    12. A new classification of planar homogeneous quadratic systems
      (Driss Boularas)
    13. Computation of Normal Forms of Hamiltonian Systems in the Presence of Poisson Commuting integrals (Liouville-Integrability and Birkhoff Normal Forms)
      (J. Mikram & F. Zinoun)
  15. Computer Algebra for Dynamical Systems and Mechanics II
    Organizers: Victor Edneral, Ilias Kotsireas & Nikolay Vasiliev
    1. Computational aspects of the N-body problem
      (Ilias Kotsireas)
    2. The study by symbolic computation of the sign of the riemannian curvature in the configuration space of the 3-body problem and applications
      (B. Elmabsout & M. Barbosu)
    3. Oscillators in Resonance
      (Antonio Elipe & André Deprit)
    4. Construction of Invariants of Simplectic Mapping
      (Nikolay Vasiliev)
    5. Some properties of the symplectic Lie algebra
      (Rodney Coleman)
    6. Discussion
      (by ALL)
  16. Applications of Computer Algebra to Signal Processing
    Organizers: Jeremy Johnson & Markus Pueschel
    1. Minimal Syzygies and Multidimensional Filter Design
      (Hyungju Park)
    2. Group Representations and Automatic Derivation of Fast Signal Transforms
      (Markus Pueschel)
    3. A Wreath Product Approach to Signal and Image Processing
      (Dan Rockmore)
    4. Groebner Bases and Wavelet Design
      (Ivan Selesnick)
    5. Design of filter and filter banks using dedicated Computer Algebra Tools
      (Jean-Charles Faugere & Fabrice Rouillier)
    6. A Language for FFT Algorithms
      (Jeremy Johnson)
  17. Computer Algebra in the Spanish Educational System
    Organizer: Lola Rodriguez
    1. Appearance of New Curricular Contents in Mathematics Through the Use of New Technologies
      (Justo Cabezas-Corchero)
    2. The Euclidean Drawing Tools and the Computer
      (Tomas Recio)
    3. Different Options for Problem Solving using Graphic Calculators
      (Agustin Carrillo)
    4. Curricular Changes in the Tuition of Algebra
      (Lola Rodriguez)
    5. Automated Search for Geometric Loci
      (Eugenio Roanes-Macias & Eugenio Roanes-Lozano)
    6. Matematicas en Pantalla
      (Rafael Perez Gomez & Miguel Posadas)
  18. Computations in Pure Mathematics (Algebra, Analysis, Geometry, ...)
    Organizers: Maria-Emilia Alonso, Francisco Castro & Laureano Gonzalez-Vega
    1. Steenrod reduced powers and computability
      (Rocio Gonzalez-Diaz & Pedro Real)
    2. Analyzing the transference of the coalgebra structure on the homology of CDGAs
      (M. J. Jimenez, P. Real & B. Silva)
    3. Homology of semidirect product of groups
      (V. Alvarez, J. A. Armario & P. Real)
    4. The use of Mathematica for the classification of some nilpotent Lie algebras
      (L. M. Camacho, J. R. Gomez & R. M. Navarro)
    5. New ways of defining filiform Lie algebras
      (J. C. Benjumea, F. J. Echarte, D. Fernandez, M. C. Marquez, J. Nuñez & F. Ramirez)
    6. About an algorithm of T. Oaku
      (Maribel Hartillo)
    7. Slopes in submodules of a free module
      (Jose Maria Ucha)
    8. Computing Toric First Syzygies
      (P. Pison-Casares & A. Vigneron-Tenorio)
    9. The ideal generation conjecture for s general rational curves
      (F. Orecchia)
    10. Basic Algorithms for Specialization in Groebner Bases
      (A. Montes)
    11. The Generation of Polya Polynomials using Macsyma, with Applications
      (Bill Pletsch)
    12. Duality in Effective Algebraic Geometry
      (Bernard Mourrain)
    13. A Fast Computation of Hook Schur Functions
      (F. Gaeta)
  19. Applications of Quantifier Elimination
    Organizers: Volker Weispfenning & Hoon Hong
    1. A Robust Control System Design by a Special Quantifier Elimination Method using a Sturm-Habicht Sequence
      (Hirokazu Anai & Shinji Hara)
    2. A Special Quantifier Elimination Algorithm for Pham Systems
      (Laureano Gonzalez-Vega & Neila Gonzalez-Campos)
    3. A new solution of the quartic problem: with application to integration
      (David J. Jeffrey)
    4. Reach Set Computation for Linear Vector Fields using Quantifier Elimination
      (Gerardo Lafferriere, George J. Pappas & Sergio Yovine)
    5. Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition
      (Petru Pau & Josef Schicho)
    6. The Study of Stability using Computer Algebra+
      (Stanly Steinberg)
    7. Semilinear motion planning in REDLOG
      (Volker Weispfenning)
  20. Interaction on Physics, Number Theory & Computer Science I
    Organizer: Hoang Ngoc Minh
    1. Colored multiple zeta values relations table
      (M. Bigotte)
    2. Nested Sums and Iterated Integrals
      (D. Bradley)
  21. Interaction on Physics, Number Theory & Computer Science II
    Organizer: Hoang Ngoc Minh
    1. Functional Equations on Polylogarithms with Axiom
      (Hoang Ngoc Minh)
    2. Algebraic Structures on the Set of Multiple Zeta Values
      (Mike Hoffman)
    3. Computer aided Knot Theory using Mathematica and MathLink
      (N. Imafuji)
    4. Combinatorics on Algebraic Identification
      (G. Jacob)
    5. Computational Construction of representation matrices for parallel version polynomial invariants
      (M. Ochiai)
    6. Computational Decomposition of homeomorphisms into canonical Dehn's twists
      (Y. Sakata)
    7. On l-adic iterated integral
      (Z. Wojtkowiak)
Go back to the ACA'99 | proceedings main page.