Isbn: 9783540159834 - eurocal '85. european conference on computer algebra. linz, austria, april 1-3, 1985. proceedings: volume 1: invited lectures (lecture notes in computer science, 203, band 203) (3 Ergebnisse)

Zustand: Good. Springer-Verlag, 1985. Cover lightly rubbed/bumped/soiled, previous bookseller price sticker on front flap; text block edges age-toned, lightly foxed/soiled; interior age- toned throughout, interior flaps/Title page/endpapers very lightly foxed; binding tight; cover, edges, and interior intact and clean except as noted. paperback. Good.…

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Computer algebra: Past and future.- MACSYMA: Capabilities and applications to problems in engineering and the sciences.- A preview of the next IBM-PC version of muMATH.- Current developments in LISP.- Computer algebra as a research tool in physics.- Symbolic computation and chemistry.- Computational geometry: Selected algorithms and paradigms.- Algebraic and symbolic computation in digital signal processing, coding and cryptography.- Computer algebra and practical analysis.- A new arithmetic for scientific computation with exact evaluation of expressions.- Algorithmic methods in automatic programming.- Proof theory and the synthesis of programs: Potential and limitations.- Constructions: A higher order proof system for mechanizing mathematics.- Scientific computation: The integration of symbolic, numeric and graphic computation.…