Volume 21; Issue 4-6

Journal of Symbolic Computation

Volume 21; Issue 4-6
1

Foreword of the Guest Editor

Year:
1996
Language:
english
File:
PDF, 179 KB
english, 1996
3

Parallel Polynomial Operations on SMPs: an Overview

Year:
1996
Language:
english
File:
PDF, 597 KB
english, 1996
4

Strategy-Accurate Parallel Buchberger Algorithms

Year:
1996
Language:
english
File:
PDF, 515 KB
english, 1996
5

A Distributed and Cooperative Environment for Computer Algebra

Year:
1996
Language:
english
File:
PDF, 515 KB
english, 1996
6

Bidirectional Exact Integer Division

Year:
1996
Language:
english
File:
PDF, 645 KB
english, 1996
7

Parallel Implementation of the Accelerated Integer GCD Algorithm

Year:
1996
Language:
english
File:
PDF, 539 KB
english, 1996
9

Strategy Compliant Multi-Threaded Term Completion

Year:
1996
Language:
english
File:
PDF, 801 KB
english, 1996
11

Recording and Analysing Knowledge-Based Distributed Deduction Processes

Year:
1996
Language:
english
File:
PDF, 582 KB
english, 1996
14

Shared Memory Implementation of the Gamma-Operation

Year:
1996
Language:
english
File:
PDF, 507 KB
english, 1996
15

A Para-Functional Programming Interface for a Parallel Computer Algebra Package

Year:
1996
Language:
english
File:
PDF, 676 KB
english, 1996
19

Constraint Satisfaction in Distributed Concurrent Logic Programming

Year:
1996
Language:
english
File:
PDF, 602 KB
english, 1996