SIGSAM

We outline recent results relating to the use of parallelism for solving problems in algebraic manipulation. Practical issues are discussed.

What efforts are needed to produce a parallel system (computer architecture and interconnection network) for fast algebraic manipulation? This paper outlines current steps toward such a system, including work in related areas of parallel symbolic ...

In a recent note, Nielsen and Pedersen [1] reported how they verified some solutions of Einstein's field equations with the help of REDUCE. They used a program which is contained in the standard REDUCE [2] testfile and which was written by Barton and ...

We consider linear problems in fields, ordered fields, discretely valued fields (with finite residue field or residue field of characteristic zero) and fields with finitely many independent orderings and discrete valuations. Most of the fields ...