Đang hiển thị 21 - 30 kết quả của 40 cho tìm kiếm '"Journal of symbolic computation."', thời gian truy vấn: 0.02s Tinh chỉnh kết quả
  1. 21

    The Computation and Application of the Generalized Inverse via Maple. Bằng Jones, Jon

    Bài viết

    The Computation and Application of the Generalized Inverse via Maple.
  2. 22

    Modular Algorithm for Sparse Multivariate Polynomial Interpolationand its Parallel Implementation. Bằng Murao, Hirokazu

    Bài viết

    Modular Algorithm for Sparse Multivariate Polynomial Interpolationand its Parallel Implementation.
  3. 23

    Parallel Polynomial Operations on SMPs an Overview. Bằng Wang, Paul S.

    Bài viết

    Parallel Polynomial Operations on SMPs an Overview.
  4. 24

    Strategy-Accurate Parallel Buchberger Algorithms. Bằng Attardi, Giuseppe

    Bài viết

    Strategy-Accurate Parallel Buchberger Algorithms.
  5. 25

    A Distributed and Cooperative Environment for Computer Algebra. Bằng Dalmas, Stephane

    Bài viết

    A Distributed and Cooperative Environment for Computer Algebra.
  6. 26

    Bidirectional Exact Integer Division. Bằng Krandick, Werner

    Bài viết

    Bidirectional Exact Integer Division.
  7. 27

    Parallel Implementation of the Accelerated Integer GCD Algorithm. Bằng Weber, Kenneth

    Bài viết

    Parallel Implementation of the Accelerated Integer GCD Algorithm.
  8. 28

    Performance Analysis of the Parallel Karatsuba Multiplication Algorithm for Distributed Memory Architectures. Bằng Cesari, Giovanni

    Bài viết

    Performance Analysis of the Parallel Karatsuba Multiplication Algorithm for Distributed Memory Architectures.
  9. 29

    Strategy Compliant Multi-Threaded Term Completion. Bằng Bundgen, Reinhard

    Bài viết

    Strategy Compliant Multi-Threaded Term Completion.
  10. 30

    On the Reconstruction of Proofs in Distributed Theorem Proving a Modified Clause-Diffusion Method. Bằng Bonacina, Maria Paola

    Bài viết

    On the Reconstruction of Proofs in Distributed Theorem Proving a Modified Clause-Diffusion Method.

Công cụ tìm kiếm: