ISSAC 1988: Rome, Italy

@proceedings{DBLP:conf/issac/1988,
  editor    = {Patrizia M. Gianni},
  title     = {Symbolic and Algebraic Computation, International Symposium ISSAC'88,
               Rome, Italy, July 4-8, 1988, Proceedings},
  booktitle = {ISSAC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {358},
  year      = {1989},
  isbn      = {3-540-51084-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

• Giorgio Ausiello, Alberto Marchetti-Spaccamela, Umberto Nanni: Dynamic Maintenance of Paths and Path Expressions on Graphs. 1-12 BibTeX
• David R. Musser, Alexander A. Stepanov: Generic Programming. 13-25 BibTeX
• Francis Sergeraert: From a Noncomputability Result to new interesting Definitions and Computability Results. 26-32 BibTeX
• Naveen Sharma, Paul S. Wang: Symbolic Derivation and Automatic Generation of Parallel Routines for Finite Element Analysis. 33-56 BibTeX

Differential Algebra

• Michael F. Singer: Liouvillian First Integrals of Differential Equations. 57-63 BibTeX
• Manuel Bronstein: Fast Reduction of the Risch Differential Equation. 64-72 BibTeX

Applications

• Claudine Chaffy-Camus: An Application of Reduce to the Approximation of F(X, Y). 73-84 BibTeX
• F. Vinette, J. Cízek: The Use of Symbolic Computation in Solving Some Non-Relativistic Quantum Mechanical Problems. 85-95 BibTeX
• S. Kamal Abdali, David S. Wise: Experiments with Quadtree Representation of Matrices. 96-108 BibTeX
• Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper: Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract). 109-115 BibTeX
• Hubert Caprasse, Jaques Demaret, Eberhard Schrüfer: Can EXCALC be used to Investigate High-Dimensional Cosmological Models with Non-Linear Lagrangians? 116-124 BibTeX

Gröbner Bases

• Carlo Traverso: Gröbner Trace Algorithms. 125-138 BibTeX
• Hidetsune Kobayashi, Shuichi Moritsugu, Robert W. Hogan: Solving Systems of Algebraic Equations. 139-149 BibTeX
• Teo Mora: Groebner Bases in Non-Commutative Algebras. 150-161 BibTeX
• André Galligo, Loic Pottier, Carlo Traverso: Greater Easy Common Divisor and Standard Basis Completion Algorithms. 162-176 BibTeX
• Stefan Arnborg: Experiments with a Projection Operator for Algebraic Decomposition. 177-182 BibTeX

Differential Equations

• Moulay A. Barkatou: Rational Newton Algorithm for Computing Formal Solutions of Linear Differential Equations. 183-195 BibTeX
• Malcolm A. H. MacCallum: An Ordinary Differential Equation Solver for Reduce. 196-205 BibTeX
• Stephen M. Watt: A Fixed Point Method for Power Series Computation. 206-217 BibTeX
• Emilio Freire, Estanislao Gamero, Enrique Ponce, Leopoldo García Franquelo: An Algorithm for Symbolic Computation of Center Manifolds. 218-230 BibTeX

Algorithmic Number Theory

• Heinrich Rolletschek: Shortest Division Chains in Imaginary Quadratic Number Fields. 231-243 BibTeX
• Russell J. Bradford, James H. Davenport: Effective Tests for Cyclotonic Polynomials. 244-251 BibTeX
• George E. Collins, Jeremy R. Johnson: The Probability of Relative Primality of Gaussian Integers. 252-258 BibTeX
• Alfred Menezes, Paul C. van Oorschot, Scott A. Vanstone: Some Computational Aspects of Root Finding in GF(q^m). 259-270 BibTeX
• Algimantas Juozapavicius: Symbolic Computation for Witt Rings. 271-273 BibTeX

Algebraic Geometry

• Shreeram S. Abhyankar, Chandrajit L. Bajaj: Computations with Algebraic Curves. 274-284 BibTeX
• Jeremy Teitelbaum: On the Computational Complexity of the Resolution of Plane Curve Singularities. 285-292 BibTeX
• John F. Canny: Generalized Characteristic Polynomials. 293-299 BibTeX
• Patrizia M. Gianni, Victor Miller, Barry M. Trager: Decomposition of Algebras. 300-308 BibTeX
• Marc Giusti, Daniel Lazard, Annick Valibouze: Algebraic Transformations of Polynomial Equations, Symmetric Polynomials and Elimination. 309-314 BibTeX

Computational Geometry

• Herbert Edelsbrunner, Franco P. Preparata: Tetrahedrizing Point Sets in Three Dimensions. 315-331 BibTeX
• Sabine Stifter: A Generalization of the Roider Method to Solve the Robot Collision Problem in 3D. 332-343 BibTeX
• Philip H. Todd, George W. Cherry: Symbolic Analysis of Planar Drawings. 344-355 BibTeX
• Franz Winkler: A Geometrical Decision Algorithm Based on the Gröbner Bases Algorithm. 356-363 BibTeX

Computational Logic

• Cynthia A. Brown, Gene Cooperman, Larry Finkelstein: Solving Permutation Problems Using Rewriting Systems. 364-377 BibTeX
• Dieter Wissmann: Applying Rewriting Techniques to Groups with Power-Communication-Presentations. 378-389 BibTeX
• Volker Weispfenning: Efficient Decision Procedures for Locally Finite Theories II. 390-401 BibTeX
• Thierry Boy de la Tour, Ricardo Caferra: A Formal Approach to some Usually Informal Techniques Used in Mathematical Reasoning. 402-406 BibTeX
• Domenico Cantone, Vincenzo Cutello, Alfredo Ferro: Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs. 407-422 BibTeX

Systems

• Jean-Louis Roch, Pascale Sénéchaud, Françoise Roch-Siebert, Gilles Villard: Computer Algebra on MIMD Machine. 423-439 BibTeX
• Claire Dicrescenzo, Dominique Duval: Algebraic Extensions and Algebraic Closure in Scratchpad II. 440-446 BibTeX
• Heinz Kredel: Software Development for Computer Algebra or From ALDES/SAC-2 to WEB/Modula-2. 447-455 BibTeX
• Gregory Butler, John J. Cannon: Cayley, Version 4: The User Language. 456-466 BibTeX

Arithmetic

• Erich Kaltofen, Yagati N. Lakshman: Improved Sparse Multivariate Polynomial Interpolation Algorithms. 467-474 BibTeX
• Keith O. Geddes, Gaston H. Gonnet, Trevor J. Smedley: Heuristic Methods for Operations With Algebraic Numbers. (Extended Abstract). 475-480 BibTeX
• John Shackell: Asymptotic Estimation of Oscillating Functions Using an Interval Calculus. 481-489 BibTeX
• Keith O. Geddes, Gaston H. Gonnet: A New Algorithm for Computing Symbolic Limits Using Hierarchical Series. 490-495 BibTeX
• Irvin Roy Hentzel, David Pokrass Jacobs: Verification of Non-Identities in Algebras. 496-507 BibTeX

Miscellaneous

• Habib Abdulrab: Equations in Words. 508-520 BibTeX
• Neil L. White, Tim McMillan: Cayley Factorization. 521-533 BibTeX
• D. Yu. Grigoryev: Complexity of Computing the Characters and the Genre of a System of Exterior Differential Equations. 534-543 BibTeX