![](/images/ico/ico_close.png)
![](/images/ico/ico3.png)
Period of time: 2004年4期
Publisher: Academic Press
Founded in: 1985
Total resources: 48
ISSN: 0747-7171
Subject: TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Journal of Symbolic Computation,volume 21,issue 4
Menu
![](/images/ico/ico5.png)
![](/images/ico/ico5.png)
Modular Algorithm for Sparse Multivariate Polynomial Interpolationand its Parallel Implementation
By Murao H.,Fujise T. in (1996)
Journal of Symbolic Computation,volume 21,issue 4 , Vol. 21, Iss. 4, 1996-04 , pp.![](/images/ico/ico5.png)
Parallel Polynomial Operations on SMPs: an Overview
Journal of Symbolic Computation,volume 21,issue 4 , Vol. 21, Iss. 4, 1996-04 , pp.![](/images/ico/ico5.png)
Strategy-Accurate Parallel Buchberger Algorithms
By Attardi G.,Traverso C. in (1996)
Journal of Symbolic Computation,volume 21,issue 4 , Vol. 21, Iss. 4, 1996-04 , pp.![](/images/ico/ico5.png)
A Distributed and Cooperative Environment for Computer Algebra
By Dalmas S.,Gaetano M.,Sausse A. in (1996)
Journal of Symbolic Computation,volume 21,issue 4 , Vol. 21, Iss. 4, 1996-04 , pp.![](/images/ico/ico5.png)
Bidirectional Exact Integer Division
By Krandick W.,Jebelean T. in (1996)
Journal of Symbolic Computation,volume 21,issue 4 , Vol. 21, Iss. 4, 1996-04 , pp.![](/images/ico/ico5.png)
Parallel Implementation of the Accelerated Integer GCD Algorithm
Journal of Symbolic Computation,volume 21,issue 4 , Vol. 21, Iss. 4, 1996-04 , pp.![](/images/ico/ico5.png)
By Cesari G.,Maeder R. in (1996)
Journal of Symbolic Computation,volume 21,issue 4 , Vol. 21, Iss. 4, 1996-04 , pp.![](/images/ico/ico5.png)
Strategy Compliant Multi-Threaded Term Completion
By Bundgen R.,Gobel M.,Kuchlin W. in (1996)
Journal of Symbolic Computation,volume 21,issue 4 , Vol. 21, Iss. 4, 1996-04 , pp.![](/images/ico/ico5.png)
On the Reconstruction of Proofs in Distributed Theorem Proving: a Modified Clause-Diffusion Method
By Bonacina M.P.A.O.L.A. in (1996)
Journal of Symbolic Computation,volume 21,issue 4 , Vol. 21, Iss. 4, 1996-04 , pp.