Abstract is missing.
- Dynamic Maintenance of Paths and Path Expressions on GraphsGiorgio Ausiello, Alberto Marchetti-Spaccamela, Umberto Nanni. 1-12
- Generic ProgrammingDavid R. Musser, Alexander A. Stepanov. 13-25
- From a Noncomputability Result to new interesting Definitions and Computability ResultsFrancis Sergeraert. 26-32
- Symbolic Derivation and Automatic Generation of Parallel Routines for Finite Element AnalysisNaveen Sharma, Paul S. Wang. 33-56
- Liouvillian First Integrals of Differential EquationsMichael F. Singer. 57-63
- Fast Reduction of the Risch Differential EquationManuel Bronstein. 64-72
- An Application of Reduce to the Approximation of F(X, Y)Claudine Chaffy-Camus. 73-84
- The Use of Symbolic Computation in Solving Some Non-Relativistic Quantum Mechanical ProblemsF. Vinette, J. Cízek. 85-95
- Experiments with Quadtree Representation of MatricesS. Kamal Abdali, David S. Wise. 96-108
- Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract)Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper. 109-115
- Can EXCALC be used to Investigate High-Dimensional Cosmological Models with Non-Linear Lagrangians?Hubert Caprasse, Jaques Demaret, Eberhard Schrüfer. 116-124
- Gröbner Trace AlgorithmsCarlo Traverso. 125-138
- Solving Systems of Algebraic EquationsHidetsune Kobayashi, Shuichi Moritsugu, Robert W. Hogan. 139-149
- Groebner Bases in Non-Commutative AlgebrasTeo Mora. 150-161
- Greater Easy Common Divisor and Standard Basis Completion AlgorithmsAndré Galligo, Loic Pottier, Carlo Traverso. 162-176
- Experiments with a Projection Operator for Algebraic DecompositionStefan Arnborg. 177-182
- Rational Newton Algorithm for Computing Formal Solutions of Linear Differential EquationsMoulay A. Barkatou. 183-195
- An Ordinary Differential Equation Solver for ReduceMalcolm A. H. MacCallum. 196-205
- A Fixed Point Method for Power Series ComputationStephen M. Watt. 206-217
- An Algorithm for Symbolic Computation of Center ManifoldsEmilio Freire, Estanislao Gamero, Enrique Ponce, Leopoldo García Franquelo. 218-230
- Shortest Division Chains in Imaginary Quadratic Number FieldsHeinrich Rolletschek. 231-243
- Effective Tests for Cyclotonic PolynomialsRussell J. Bradford, James H. Davenport. 244-251
- The Probability of Relative Primality of Gaussian IntegersGeorge E. Collins, Jeremy R. Johnson. 252-258
- Some Computational Aspects of Root Finding in GF(q:::m:::)Alfred Menezes, Paul C. van Oorschot, Scott A. Vanstone. 259-270
- Symbolic Computation for Witt RingsAlgimantas Juozapavicius. 271-273
- Computations with Algebraic CurvesShreeram S. Abhyankar, Chandrajit L. Bajaj. 274-284
- On the Computational Complexity of the Resolution of Plane Curve SingularitiesJeremy Teitelbaum. 285-292
- Generalized Characteristic PolynomialsJohn F. Canny. 293-299
- Decomposition of AlgebrasPatrizia M. Gianni, Victor Miller, Barry M. Trager. 300-308
- Algebraic Transformations of Polynomial Equations, Symmetric Polynomials and EliminationMarc Giusti, Daniel Lazard, Annick Valibouze. 309-314
- Tetrahedrizing Point Sets in Three DimensionsHerbert Edelsbrunner, Franco P. Preparata. 315-331
- A Generalization of the Roider Method to Solve the Robot Collision Problem in 3DSabine Stifter. 332-343
- Symbolic Analysis of Planar DrawingsPhilip H. Todd, George W. Cherry. 344-355
- A Geometrical Decision Algorithm Based on the Gröbner Bases AlgorithmFranz Winkler. 356-363
- Solving Permutation Problems Using Rewriting SystemsCynthia A. Brown, Gene Cooperman, Larry Finkelstein. 364-377
- Applying Rewriting Techniques to Groups with Power-Communication-PresentationsDieter Wissmann. 378-389
- Efficient Decision Procedures for Locally Finite Theories IIVolker Weispfenning. 390-401
- A Formal Approach to some Usually Informal Techniques Used in Mathematical ReasoningThierry Boy de la Tour, Ricardo Caferra. 402-406
- Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related ConstructsDomenico Cantone, Vincenzo Cutello, Alfredo Ferro. 407-422
- Computer Algebra on MIMD MachineJean-Louis Roch, Pascale Sénéchaud, Françoise Roch-Siebert, Gilles Villard. 423-439
- Algebraic Extensions and Algebraic Closure in Scratchpad IIClaire Dicrescenzo, Dominique Duval. 440-446
- Software Development for Computer Algebra or From ALDES/SAC-2 to WEB/Modula-2Heinz Kredel. 447-455
- Cayley, Version 4: The User LanguageGregory Butler, John J. Cannon. 456-466
- Improved Sparse Multivariate Polynomial Interpolation AlgorithmsErich Kaltofen, Yagati N. Lakshman. 467-474
- Heuristic Methods for Operations With Algebraic Numbers. (Extended Abstract)Keith O. Geddes, Gaston H. Gonnet, Trevor J. Smedley. 475-480
- Asymptotic Estimation of Oscillating Functions Using an Interval CalculusJohn Shackell. 481-489
- A New Algorithm for Computing Symbolic Limits Using Hierarchical SeriesKeith O. Geddes, Gaston H. Gonnet. 490-495
- Verification of Non-Identities in AlgebrasIrvin Roy Hentzel, David Pokrass Jacobs. 496-507
- Equations in WordsHabib Abdulrab. 508-520
- Cayley FactorizationNeil L. White, Tim McMillan. 521-533
- Complexity of Computing the Characters and the Genre of a System of Exterior Differential EquationsD. Yu. Grigoryev. 534-543