Trends in computer algebra : international symposium, Bad Neuenahr, May 19-21, 1987 : proceedings
著者
書誌事項
Trends in computer algebra : international symposium, Bad Neuenahr, May 19-21, 1987 : proceedings
(Lecture notes in computer science, 296)
Springer-Verlag, c1988
- : gw
- : us
大学図書館所蔵 件 / 全56件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"Organized by the Scientific Programs Department of IBM Germany and sponsored by IBM Germany"--Pref
Includes bibliography
内容説明・目次
内容説明
This is the proceedings volume of the symposium entitled "Trends in Computer Algebra" held in Bad Neuenahr, May 19-21, 1987. Computer algebra is a very active research area on the borderline between mathematics and computer science, which will strongly influence mathematical and physical research in the near future. The intention of this symposium was to bring together specialists in computer algebra with researchers in related areas of mathematics and computer science as well as potential users of the developed tools and techniques in order to discuss present issues and future trends of this topic. The thirteen invited talks of the symposium were organized into the following groups: Languages and Systems, Symbolic Computations, Computing in Algebraic Structures, and Applications.
目次
1962-1992: The first 30 years of symbolic mathematical programming systems.- Intelligent computer algebra system: Myth, fancy or reality?.- Scratchpad II: An abstract datatype system for mathematical computation.- Current trends in rewriting techniques and related problems.- Applications of Groebner bases in non-linear computational geometry.- Factorisation of polynomials: Old ideas and recent results.- Generalized Fourier Transforms.- Representations of groups over finite fields.- Computational methods in constructive Galois theory.- On the computation of the Smith normat form.- Application of scratchpad to problems in special functions and combinatorics.- Programming with abstract data types: The symmetry package SPDE in scratchpad.- Algebraic computation, numerical computation and verified inclusions.
「Nielsen BookData」 より