Lecture Notes in Computer Science

Design and Implementation of Symbolic Computation Systems

International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings

Editors: Miola, Alfonso (Ed.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47014-4
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-52531-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

The growing importance of the systems for symbolic computation has greatly influenced the decision of organizing DISCO '90 which is short for International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '90 focuses mainly on the most innovative methodological and technological aspects of hardware and software system design and implementation for Symbolic and Algebraic Computation, Automated Reasoning, Software Environments (Languages and User Interfaces), and Automatic Programming. In particular, it includes papers on the design and the development of significant running systems. The general objective of DISCO '90 is to present an up-to-date view of the field, while encouraging the scientific exchange among academic, industrial and user communities of the development of systems for symbolic computation.

Table of contents (39 chapters)

Table of contents (39 chapters)
  • Current problems in computer algebra systems design

    Pages 1-9

    Davenport, J. H.

  • The design of cayley — a language for modern algebra

    Pages 10-19

    Butler, Greg (et al.)

  • CoCoA: A user-friendly system for commutative algebra

    Pages 20-29

    Giovini, Alessandro (et al.)

  • The design of SISYPHE : a system for doing symbolic and algebraic computations

    Pages 30-39

    Galligo, A. (et al.)

  • Scratchpad's view of algebra I: Basic commutative algebra

    Pages 40-54

    Davenport, J. H. (et al.)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47014-4
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-52531-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Design and Implementation of Symbolic Computation Systems
Book Subtitle
International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings
Editors
  • Alfonso Miola
Series Title
Lecture Notes in Computer Science
Series Volume
429
Copyright
1990
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47014-4
DOI
10.1007/3-540-52531-9
Softcover ISBN
978-3-540-52531-8
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 286
Topics