Invited lectures
著者
書誌事項
Invited lectures
（Lecture notes in computer science, 203 . EUROCAL '85 : European Conference on Computer Algebra,
Springer-Verlag, c1985
- : gw
- : us
大学図書館所蔵 件 / 全63件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Includes bibliographies and index
内容説明・目次
目次
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.
「Nielsen BookData」 より
