Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Volume 15; Issue 1

Journal of Symbolic Computation

Volume 15; Issue 1

1

Compiling Pattern Matching by Term Decomposition

Laurence Puel, Ascander Suarez

Journal:

Journal of Symbolic Computation

Année:

1993

Fichier:

PDF, 852 KB

1993

2

Implementing CLP(B) using the Connection Theorem Proving Method and a Clause Management Systems

Greg Sidebottom

Journal:

Journal of Symbolic Computation

Année:

1993

Fichier:

PDF, 536 KB

1993

3

Transitivity for Weak and Strong Gröbner Bases

W.W. Adams, A. Boyle, P. Loustaunau

Journal:

Journal of Symbolic Computation

Année:

1993

Fichier:

PDF, 563 KB

1993

4

The Equivalence Problem for Finite Rings

Stanley Burris, John Lawrence

Journal:

Journal of Symbolic Computation

Année:

1993

Fichier:

PDF, 119 KB

1993

5

The Study of Motion for a Gyroscope with Gimbal Suspension: Obtaining the Highest Approximations for a Drift of Magnus

D.M. Klimov, V.V. Leonov, V.M. Rudenko

Journal:

Journal of Symbolic Computation

Année:

1993

Fichier:

PDF, 171 KB

1993

6

Computer Algebra Techniques in Affinity Binding Equations: the Dimer Case

J.P. Bennett, M. Grinfeld, J. Hubble

Journal:

Journal of Symbolic Computation

Année:

1993

Fichier:

PDF, 162 KB

1993

7

Computer Classification of the Integrable Coupled Kdv-like Systems with Unit Main Matrix

Journal:

Journal of Symbolic Computation

Année:

1993

Fichier:

PDF, 145 KB

1993

8

Symbolically Precise Solutions to a Homogeneous Second Order Matrix Ordinary Differential Equation with Macsyma

Harry S.D. Mills

Journal:

Journal of Symbolic Computation

Année:

1993

Fichier:

PDF, 230 KB

1993