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
Access to resources
Recommend
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.Parallel Polynomial Operations on SMPs: an Overview
Journal of Symbolic Computation,volume 21,issue 4 , Vol. 21, Iss. 4, 1996-04 , pp.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.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.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.Parallel Implementation of the Accelerated Integer GCD Algorithm
Journal of Symbolic Computation,volume 21,issue 4 , Vol. 21, Iss. 4, 1996-04 , pp.By Cesari G.,Maeder R. in (1996)
Journal of Symbolic Computation,volume 21,issue 4 , Vol. 21, Iss. 4, 1996-04 , pp.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.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.
Previous
Next