Invited lectures
Author(s)
Bibliographic Information
Invited lectures
(Lecture notes in computer science, 203 . EUROCAL '85 : European Conference on Computer Algebra,
Springer-Verlag, c1985
- : gw
- : us
Available at / 62 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||20385051407
-
University of Tsukuba Library, Library on Library and Information Science
: gw007.08:L-49:203881000280
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographies and index
Description and Table of Contents
Table of Contents
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.
by "Nielsen BookData"