Invited lectures

Author(s)

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

Bibliographic Information

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

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"

Details

• NCID: BA00510237
• ISBN:
  • 3540159835
  • 0387159835
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; Tokyo
• Pages/Volumes: iv, 233 p.
• Size: 25 cm
• Classification:
  • NDC8 : 411
  • LCC : QA155.7.E4
  • DC19 : 510/.28/5
• Subject Headings:
  • NDLSH : データ処理 -- 代数学
  • LCSH : Algebra -- Data processing -- Congresses
• Parent Bibliography ID:
  • BA00009279