Sessions

1st International IMACS Conference on Applications of Computer Algebra

  1. CA Applications of Stochastic Methods
  2. CA Methods in Control
  3. CAS in Engineering Education
  4. Computer Algebra and Automated Theorem Proving
  5. Computer Algebra Applied to Technology & Open Session
  6. Construction and Applications of Normal Forms in the Theory of Nonlinear ODEs and Transfer Map Techniques
  7. Numerical Methods for PDEs in a Computer Algebra Environment
  8. Parallel Computer Algebra
  9. Parametric Curves and Applications in Computer Aided Geometric Design
  10. Polynomial Systems
  11. Quantifier Elimination and its Applications
  12. Symmetries and Closed Form Solutions of Differential Equations

  1. Symmetries and Closed Form Solutions of Differential Equations
    (Fritz Schwarz)
    1. Group-Invariant Solutions of Hydrodynamics
      (Stephen Coggeshall)
    2. Symmetry Reduction and Symbolic Solutions of Ordinary Differential Equations
      (Alexei Bocharov)
    3. JET---An Axiom Environment for Geometric Computations with Differential Equations
      (Werner Seiler & Jacques Calmet*)
    4. The Characterization of 3rd Order ODE's Admitting Fiber Preserving Point Symmetries
      (Guy Grebot)
    5. About the solution of first order quasilinear PDEs and the application of Lie symmetries
      (Thomas Wolf)
    6. Symmetries and Solutions of Plasma-Fluid Equations
      (Raul Acevedo)
    7. Symmetries for Dynamical Systems on a Lattice+
      (Decio Levi)
    8. Algorithmic Determination of the Cartan Structure of Infinite Lie Symmetry Groups of PDE's
      (Greg Reid)
    9. Symbolic Computation and Conserved Densities
      (Willy Hereman)
    10. Liouvillian Solutions of 3rd Order ODE's: A Progress Report
      (Winfried Fakler & Jacques Calmet*)
    11. On the Translation Invariants of Quadratic Differential Systems
      (Leonid A. Timochouk)
  2. Parametric Curves and Applications in Computer Aided Geometric Design
    (J. Rafael Sendra)
    1. Parametric Curves and Applications in CAGD: Introduction and Some Special Issues
      (Tomas Recio, J. Rafael Sendra* & Juana Sendra)
    2. Implicitization by Groebner Basis Conversion
      (Michael Kalkbrener)
    3. New Elimination Tools based on Symmetric Functions for the Implicitization of Parametric Curves and Surfaces
      (Laureano Gonzalez-Vega)
    4. Issues in Symbolic Parametrization of Algebraic Curves
      (Franz Winkler)
    5. Geometric Constraint Solving: (I) Graph-Directed Solvers
      (Christoph M. Hoffmann)
    6. A Toolkit for Algebraic Geometry
      (Ashutosh Rege)
  3. Polynomial Systems
    (Lakshman Y. N. & David Wood)
    1. Geometric Constraint Solving: (II) Algebraic Issues
      (Christoph M. Hoffmann)
    2. Resurrecting Dixon Resultants
      (Deepak Kapur* & Tushar Saxena)
    3. The Kapur-Saxena-Yang Dixon Resultant with Maple and Mathematica
      (Janet McShane, George Nakos & Robert M. Williams)
    4. On Sparsifying Transformations for Multivariate Polynomials
      (Lakshman Y. N.)
    5. Quasi-Linear Differential Algebraic Equations: An Algebraic Study
      (Gabriel Thomas)
    6. Geometry and Polynomial Systems---Theory and Application
      (Peter F. Stiller)
    7. Ten Minutes of Discussion of Issues Raised and Not Raised
      (informally led by the organizers)
    8. Matrix Methods for Sparse Polynomial Systems
      (John Canny)
    9. Advances in Affine Elimination Theory
      (J. Maurice Rojas)
    10. Polynomial Conditions on Spectra of Real, Symmetric Toeplitz Matrices
      (David H. Wood)
    11. A Normal Form Algorithm for Matrices over k[x,y]/<xy>
      (Reinhard Laubenbacher)
    12. Ten Minutes of Discussion of Issues Raised and Not Raised
      (informally led by the organizers)
  4. Construction and Applications of Normal Forms in the Theory of Nonlinear ODEs and Transfer Map Techniques
    (Alexander D. Bruno & Victor Edneral)
    1. Methods of calculation of normal forms
      (Alexander D. Bruno)
    2. Hodge decomposition and conservation laws
      (Jan Sanders & Jing Ping Wang)
    3. Normal Form Method and Formal Integrals of Nonlinear ODEs systems
      (Victor F. Edneral)
    4. SAP, a symbolic algebraic processor
      (Andre Deprit)
    5. Computation of coefficients of the normal form in a singular case
      (Sergey Yu. Sadov)
    6. Phase space structure of 4D symplectic mappings and applications to beam optics
      (Ezio Todesco)
    7. The Newton Polyhedra in the Nonlinear Analysis
      (Alexander D. Bruno)
  5. Computer Algebra Applied to Technology & Open Session
    (Waldir L. Roque & Laureano Gonzalez-Vega)
    1. Mixing Symbolic and Numeric Strategies to Solve the Inverse Kinematics Problem in Robotics
      (Laureano Gonzalez-Vega)
    2. Design and Performance Analysis of Optical Instruments with Computer Algebra
      (Yves Papegay)
    3. Verification of Knowledge Based Systems with Commutative Algebra and Computer Algebra Techniques
      (Eugenio Roanes-Lozano* & Luis M. Laita)
    4. Two more links to NAG numerics involving CA systems
      (Evatt Hawkes & Grant Keady*)
    5. A Review of CAS Mathematical Capabilities
      (Michael Wester)
    6. On Conservation Laws and Symmetries for PDEs
      (Vladimir Rosenhaus)
  6. CA Applications of Stochastic Methods
    (Michael Trott)
    1. Quantum coupling coefficients seen as discrete wave functions
      (Markus van Almsick)
    2. Computer-Aided Stochastic Calculus with Applications in Finance
      (Colin P. Williams)
    3. Algebra for the Electronic Marketplace
      (Ross Miller)
    4. Transmission of Solitons through Random Media
      (Robert Knapp)
  7. Parallel Computer Algebra
    (Eric Kaltofen & Gilles Villard)
    1. REDUCE on a Massively Parallel System
      (Winfried Neun)
    2. Parallel Computer Algebra on the Desk-Top
      (Beatrice Amrhein* & Wolfgang Kuechlin)
    3. Parallelism in MuPAD
      (Holger Naundorf)
    4. A Flexible Tool to Experiment with Distributed Symbolic Computation
      (Stephane Dalmas & Marc Gaetano*)
    5. Parallel Integral Multivariate Polynomial Greatest Common Divisor Computation
      (Mohamed Omar Rayes)
    6. Distributed Symbolic Computation with the Black Box Representation
      (Angel Diaz* & Erich Kaltofen)
    7. Parallel Quantifier Elimination on the SP2
      (Hoon Hong*, Michael Jahn, Richard Liska, Nicholas Robidoux & Stanly Steinberg)
    8. Summarizing Remarks
      (Erich Kaltofen)
  8. Numerical Methods for PDEs in a Computer Algebra Environment
    (Victor G. Ganzha & E. V. Vorozhtsov)
    1. Applications of Computer Algebra in Scientific Computing
      (Hans-Joachim Bungartz)
    2. Symbolic-Numeric Stability Investigation of Difference Schemes for the Euler and Navier-Stokes Equations
      (Victor G. Ganzha & E. V. Vorozhtsov)
    3. Using the Symbolic Computation for Analysis of Local Approximation of Finite-Difference Operators
      (Mikhail Shashkov* & Victor G. Ganzha)
    4. Algorithm for Solving Riccati Matrix Equation with Guaranteed Accuracy
      (Aider Ya. Bulgakov)
    5. Local Approximation Study of Johnson's Method for 2D Elasticity Problems
      (Victor G. Ganzha & E. V. Vorozhtsov)
  9. CA Methods in Control
    (Chaouki T. Abdallah & Peter Dorato)
    1. Complexity of Systems and Control Theory Problems
      (Paul W. Goldberg, Chaouki T. Abdallah* & Greg L. Heileman)
    2. NP-hardness of some linear control design problems
      (Vincent Blondel* & John N. Tsitsiklis)
    3. Application of Quantifier Elimination Theory to Robust Multi-objective Feedback Design
      (Peter Dorato*, Wei Yang & Chaouki T. Abdallah)
  10. CAS in Engineering Education
    (H. Eric Nuttall & Jeanine Ingber)
    1. Coding Theory in MATHEMATICA+
      (Igor Gachkov & Kenneth Hulth)
    2. Advanced Engineering Math Through Symbolic Software
      (Robert Lopez)
    3. Active learning through interactive texts based on Mathematica Notebooks
      (Jerry Uhl)
    4. Engineering Applications of Computer Algebra: Mathematica Approach
      (Cetin Cetinkaya)
    5. Freshmen Engineering: Computing using Mathematica
      (Jeanine Ingber & Eric Nuttall)
    6. Mathematica for the Beginning Teacher
      (Henry Shapiro)
  11. Computer Algebra and Automated Theorem Proving
    (Dongming Wang)
    1. An Open Environment for Doing Mathematics
      (Karsten Homann & Jacques Calmet)
    2. Geometry Theorem-Proving and Geometry Problem-Solving, Old and New
      (Wen-tsun Wu)
    3. Radical Decomposition and Geometry Theorem Proving
      (Michael Kalkbrener)
    4. Zero Decomposition for Theorem Proving in Geometry
      (Dongming Wang)
    5. Geometric Reasoning and Resultants
      (Deepak Kapur)
    6. Probabilistic Verification of Elementary Geometry Statements
      (Giuseppa Carra Ferro, Giovanni Gallo* & Rosario Gennaro)
  12. Quantifier Elimination and its Applications
    (Richard Liska & Michael Jahn)

    1. (Hoon Hong)
    2. Partial solution of a path finding problem using the CAD method
      (Scott McCallum)
    3. Stability Analysis by Quantifier Elimination
      (Richard Liska* & Stanly Steinberg)
    4. Using Quantifier Elimination to solve the Birkhoff Interpolation Problem
      (Laureano Gonzalez-Vega)
    5. Applying quantifier elimination to problems in optimization and simulation
      (Volker Weispfenning)
Go back to the proceedings main page.