Invited lectures

著者

• Buchberger, Bruno
• Caviness, Bob F.
• European Conference on Computer Algebra

書誌事項

Invited lectures

edited by Bruno Buchberger

（Lecture notes in computer science, 203 . EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings ; v. 1）

Springer-Verlag, c1985

• : gw
• : us

注記

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」 より

詳細情報

• NII書誌ID(NCID): BA00510237
• ISBN:
  • 3540159835
  • 0387159835
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; Tokyo
• ページ数/冊数: iv, 233 p.
• 大きさ: 25 cm
• 分類:
  • NDC8 : 411
  • LCC : QA155.7.E4
  • DC19 : 510/.28/5
• 件名:
  • NDLSH : データ処理 -- 代数学
  • LCSH : Algebra -- Data processing -- Congresses
• 親書誌ID:
  • BA00009279