Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '90
Latest Publications

TOTAL DOCUMENTS

62

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By ACM Press

0201548925

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Parallel univariate polynomial factorization on shared-memory multiprocessors

Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '90 ◽

10.1145/96877.96915 ◽

1990 ◽

Author(s):

P. S. Wang

Keyword(s):

Shared Memory ◽

Polynomial Factorization ◽

Shared Memory Multiprocessors ◽

Univariate Polynomial

Download Full-text

On the symbolic/numeric hybrid integration

Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '90 ◽

10.1145/96877.96973 ◽

1990 ◽

Author(s):

M. T. Noda ◽

E. Miyahiro

Keyword(s):

Hybrid Integration

Download Full-text

Methods for mechanical geometry formula deriving

Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '90 ◽

10.1145/96877.96946 ◽

1990 ◽

Author(s):

S-C. Chou ◽

X-S. Gao

Download Full-text

A parallelization of the Buchberger algorithm

Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '90 ◽

10.1145/96877.96965 ◽

1990 ◽

Author(s):

R. Bradford

Keyword(s):

Buchberger Algorithm

Download Full-text

An improvement of the projection operator in cylindrical algebraic decomposition

Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '90 ◽

10.1145/96877.96943 ◽

1990 ◽

Author(s):

H. Hong

Keyword(s):

Projection Operator ◽

Cylindrical Algebraic Decomposition

Download Full-text

A random base change algorithm for permutation groups

Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '90 ◽

10.1145/96877.96918 ◽

1990 ◽

Author(s):

G. Cooperman ◽

L. Finkelstein ◽

N. Sarawagi

Keyword(s):

Base Change ◽

Permutation Groups

Download Full-text

On determining the solvability of polynomials

Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '90 ◽

10.1145/96877.96910 ◽

1990 ◽

Author(s):

K. Yokoyama ◽

M. Noro ◽

T. Takeshima

Download Full-text

Dataflow for logic program as substitution manipulator

Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '90 ◽

10.1145/96877.96892 ◽

1990 ◽

Author(s):

S. Yamasaki

Keyword(s):

Download Full-text

Equations, disequations and unsolvable subsets (abstract)

Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '90 ◽

10.1145/96877.96956 ◽

1990 ◽

Author(s):

P. Codognet

Download Full-text

An algebraic model for the parallel interpretation of equationally defined functions (abstract)

Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '90 ◽

10.1145/96877.96951 ◽

1990 ◽

Author(s):

F. Cherief

Keyword(s):

Algebraic Model

Download Full-text