Skip to main content
SpringerLink
Log in
Book cover

Symbolic and Algebraic Computation

International Symposium ISSAC' 88, Rome, Italy, July 4-8, 1988. Proceedings

  • Conference proceedings
  • © 1989

Overview

Editors:
  1. P. Gianni
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 358)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (51 papers)

  1. An algorithm for symbolic computation of center manifolds

    • Emilio Freire, Estanislao Gamero, Enrique Ponce, Leopoldo G. Franquelo
    Pages 218-230

  2. Shortest division chains in imaginary quadratic number fields

    • Heinrich Rolletschek
    Pages 231-243

  3. Effective tests for cyclotomic polynomials

    • R. J. Bradford, J. H. Davenport
    Pages 244-251

  4. The probability of relative primality of Gaussian integers

    • George E. Collins, Jeremy R. Johnson
    Pages 252-258

  5. Some computational aspects of root finding in GF(qm)

    • A. J. Menezes, P. C. van Oorschot, S. A. Vanstone
    Pages 259-270

  6. Symbolic computation for Witt rings

    • Algimantas Juozapavičius
    Pages 271-273

  7. Computations with algebraic curves

    • Shreeram S. Abhyankar, Chanderjit L. Bajaj
    Pages 274-284

  8. On the computational complexity of the resolution of plane curve singularities

    • Jeremy Teitelbaum
    Pages 285-292

  9. Generalized characteristic polynomials

    • John Canny
    Pages 293-299

  10. Decomposition of algebras

    • Patrizia Gianni, Victor Miller, Barry Trager
    Pages 300-308

  11. Algebraic transformations of polynomial equations, symmetric polynomials and elimination

    • Marc Giusti, Daniel Lazard, Annick Valibouze
    Pages 309-314

  12. Tetrahedrizing point sets in three dimensions

    • H. Edelsbrunner, F. P. Preparata, D. B. West
    Pages 315-331

  13. A generalization of the roider method to solve the robot collision problem in 3D

    • Sabine Stifter
    Pages 332-343

  14. Symbolic analysis of planar drawings

    • P. H. Todd, G. W. Cherry
    Pages 344-355

  15. A geometrical decision algorithm based on the gröbner bases algorithm

    • Franz Winkler
    Pages 356-363

  16. Solving permutation problems using rewriting systems

    • Cynthia Brown, Gene Cooperman, Larry Finkelstein
    Pages 364-377

  17. Applying rewriting techniques to groups with power-commutation-presentations

    • Dieter Wissmann
    Pages 378-389

  18. Efficient decision procedures for locally finite theories II

    • Volker Weispfenning
    Pages 390-401

  19. Aformal approach to some usually informal techniques used in mathematical reasoning

    • Thierry Boy de la Tour, Ricardo Caferra
    Pages 402-406

  20. Decision procedures for elementary sublanguages of set theory. XIV. Three languages involving rank related constructs

    • D. Cantone, V. Cutello, A. Ferro
    Pages 407-422
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation