Table of contents

  1. Front Matter
  2. G. Ausiello, A. Marchetti Spaccamela, U. Nanni
    Pages 1-12
  3. David R. Musser, Alexander A. Stepanov
    Pages 13-25
  4. S. Kamal Abdali, David S. Wise
    Pages 96-108
  5. Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper
    Pages 109-115
  6. Hubert Caprasse, Jacques Demaret, Eberhard Schrüfer
    Pages 116-124
  7. Carlo Traverso
    Pages 125-138
  8. Hidetsune Kobayashi, Shuichi Moritsugu, Robert W. Hogan
    Pages 139-149
  9. André Galligo, Loïc Pottier, Carlo Traverso
    Pages 162-176
  10. M. A. H. MacCallum
    Pages 196-205
  11. Emilio Freire, Estanislao Gamero, Enrique Ponce, Leopoldo G. Franquelo
    Pages 218-230
  12. R. J. Bradford, J. H. Davenport
    Pages 244-251
  13. George E. Collins, Jeremy R. Johnson
    Pages 252-258
  14. A. J. Menezes, P. C. van Oorschot, S. A. Vanstone
    Pages 259-270
  15. Algimantas Juozapavičius
    Pages 271-273
  16. Shreeram S. Abhyankar, Chanderjit L. Bajaj
    Pages 274-284
  17. John Canny
    Pages 293-299
  18. Patrizia Gianni, Victor Miller, Barry Trager
    Pages 300-308
  19. Marc Giusti, Daniel Lazard, Annick Valibouze
    Pages 309-314
  20. H. Edelsbrunner, F. P. Preparata, D. B. West
    Pages 315-331
  21. P. H. Todd, G. W. Cherry
    Pages 344-355
  22. Cynthia Brown, Gene Cooperman, Larry Finkelstein
    Pages 364-377
  23. Thierry Boy de la Tour, Ricardo Caferra
    Pages 402-406
  24. Jean-Louis Roch, Pascale Senechaud
    Pages 423-439
  25. C. Dicrescenzo, D. Duval
    Pages 440-446
  26. Greg Butler, John Cannon
    Pages 456-466
  27. Erich Kaltofen, Lakshman Yagati
    Pages 467-474
  28. Keith O. Geddes, Gaston H. Gonnet, Trevor J. Smedley
    Pages 475-480
  29. Keith O. Geddes, Gaston H. Gonnet
    Pages 490-495
  30. Irvin Roy Hentzel, David J. Pokrass
    Pages 496-507
  31. Habib Abdulrab
    Pages 508-520

About these proceedings


The ISSAC'88 is the thirteenth conference in a sequence of international events started in 1966 thanks to the then established ACM Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM). For the first time the two annual conferences "International Symposium on Symbolic and Algebraic Computation" (ISSAC) and "International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes" (AAECC) have taken place as a Joint Conference in Rome, July 4-8, 1988. Twelve invited papers on subjects of common interest for the two conferences are included in the proceedings and divided between this volume and the preceding volume of Lecture Notes in Computer Science which is devoted to AAECC-6. This book contains contributions on the following topics: Symbolic, Algebraic and Analytical Algorithms, Automatic Theorem Proving, Automatic Programming, Computational Geometry, Problem Representation and Solution, Languages and Systems for Symbolic Computation, Applications to Sciences, Engineering and Education.


Automat Symbol algorithm algorithms computational geometry computer error-correcting code programming proving theorem proving

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1989
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-51084-0
  • Online ISBN 978-3-540-46153-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site