Volume 19; Issue 4

Journal of Symbolic Computation

Volume 19; Issue 4

1

Thanks Bruno! (An Editorial)

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 41 KB

1995

2

Computing Bases for Rings of Permutation-invariant Polynomials

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 225 KB

1995

3

The Summation of Rational Functions by an Extended Gosper Algorithm

D.E.G. Malm, T.N. Subramaniam

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 414 KB

1995

4

A Deterministic Construction of Normal Bases With Complexity O(n3 + n log n log(log n) log q)

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 385 KB

1995

5

Theorem Proving with Ordering and Equality Constrained Clauses

Robert Nieuwenhuis, Albert Rubio

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 1.07 MB

1995

6

Resolution-based Theorem Proving for Many-valued Logics

Matthias Baaz, Christian G. Fermüller

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 1.20 MB

1995