𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Foreword of the Guest Editor

Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
179 KB
Volume
21
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

✦ Synopsis

The interplay between parallelism and symbolic computation poses inspiring scientific challenges, which deserve much focused attention. However, there has not yet been a dedicated forum, and this special issue addresses the need. It is also expected that further progress can be made through the interaction between parallel symbolic algorithm designers and parallel high-level language designers. This special issue is intended to provide a framework for establishing this fruitful dialogue.

The scope of this issue includes algorithms, languages, and software systems in all areas of parallel symbolic computation where parallelism is interpreted broadly to include concurrent, distributive, cooperative schemes, etc. In particular, the following five sub-areas have been reflected: parallel computer algebra, parallel computer arithmetic, parallel automated deduction, parallel functional languages, parallel constraint/logic languages.

This special issue grew out of papers originally presented at the First International Symposium on Parallel Symbolic Computation PASCO'94 (the proceedings by World Scientific) held at RISC-Linz (Castle Hagenberg), Austria, during September 26-28, 1994.

Many people were involved in making this issue. I would like to thank all the referees for their professional and efficient refereeing. Various organizational tasks were carried out by my PhD student, Daniela Vasaru. Without her devotion, the organization of the issue would have been impossible. I would like to thank Bruno Buchberger (then the Editor-In-Chief of JSC, and one of the first people to carry out research on parallel symbolic computation, even designing a special dedicated hardware) for his enthusiasm and encouragement throughout the preparation of this issue.

πŸ“œ SIMILAR VOLUMES

Special Issue on Order-sorted Rewriting:
Special Issue on Order-sorted Rewriting: Foreword of the Guest Editor
✍ G. Smolka πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 89 KB

Equational logic is ubiquitous in computer science. It is the basis for algebraic specification, rewriting, unification, and equational programming. These techniques evolved in a many-sorted setting, where different sorts are disjoint. Joseph Goguen observed that an order-sorted equational logic mod

Foreword of the Guest Editors
Foreword of the Guest Editors
✍ William Sit; Manuel Bronstein πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 178 KB

This special issue on Differential Algebra and Differential Equations was the idea of Bob Caviness and Bruno Buchberger and originated from a special year in differential algebra that was organized by Raymond Hoobler and William Sit at The City College of New York during 1995-1996. It may interest t

Foreword by the guest editor of this iss
Foreword by the guest editor of this issue
✍ Robin K. Harris πŸ“‚ Article πŸ“… 1990 πŸ› John Wiley and Sons 🌐 English βš– 99 KB

## Foreword by the Guest Editor of this Issue Many of the early NMR experiments were carried out on solids, but when the potential of high-resolution solution-state studies for the determination of chemical structure and molecular dynamics began to be fully appreciated, interest in solid-state NMR

Special Issue on Polynomial Elimination:
Special Issue on Polynomial Elimination: Foreword of the Guest Editors
✍ Michael Kalkbrener; Dongming Wang πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 53 KB

Algorithms for eliminating variables from systems of multivariate polynomials are essential tools in constructive algebra and algebraic geometry. The reason is that a number of important computational problems in these areas can be tackled by elimination techniques. In particular, elimination method