Subject Index

IMACS Conference on Applications of Computer Algebra

• automated theorem proving
• coding theory
• computer aided geometric design
• control theory: (1), (2)
• cylindrical algebraic decomposition
• elimination for DEs
• engineering
• normal forms
• numerical methods
• ODEs: (1), (2)
• parallel
• parametric curves
• PDEs: (1), (2), (3), (4)
• precollege education
• quantifier elimination
• stability
• stochastic methods
• symmetry: (1), (2)
• technology
• topology
• transfer maps
• undergraduate education