Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings

Front Cover
Springer Science & Business Media, Sep 2, 1993 - Computers - 383 pages
This volume constitutes the proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO '93), held in Gmunden, Austria, in September 1993. The growing importance of systems for symbolic computation has greatly influenced the decision of organizing this third conference in the series: DISCO '93 focuses mainly on the most innovative methodological and technological aspects of the design and implementation of hardware and software systems for symbolic and algebraic computation, automated reasoning, geometric modeling and computation, and automatic programming. The general objective of DISCO '93 is to present an up-to-date view of the field and to serve as a forum insymbolic computation for the scientific exchange among academic, industrial and user communities. Besides invited talks by Buchberger, Monagan, Omodeo and Hong, the volume contains 28 contributions, carefully selected by a highly competent international program committee from a total of 56 submissions.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

I
1
II
2
III
17
IV
33
V
45
VI
59
VII
66
VIII
81
XVIII
229
XIX
241
XX
256
XXI
272
XXII
288
XXIII
303
XXIV
319
XXV
331

IX
95
X
107
XI
122
XII
134
XIII
145
XIV
164
XV
177
XVI
192
XVII
216
XXVI
341
XXVII
354
XXVIII
359
XXIX
364
XXX
369
XXXI
374
XXXII
379
XXXIII
384
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information