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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0201548925

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the symbolic/numeric hybrid integration

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

10.1145/96877.96973 ◽

1990 ◽

Cited By ~ 2

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 ◽

Cited By ~ 11

Author(s):

S-C. Chou ◽

X-S. Gao

Download Full-text

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 ◽

Cited By ~ 4

Author(s):

P. S. Wang

Keyword(s):

Shared Memory ◽

Polynomial Factorization ◽

Shared Memory Multiprocessors ◽

Univariate Polynomial

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 1

Author(s):

K. Yokoyama ◽

M. Noro ◽

T. Takeshima

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 37

Author(s):

H. Hong

Keyword(s):

Projection Operator ◽

Cylindrical Algebraic Decomposition

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):

Logic Program

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

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

On the symbolic/numeric hybrid integration

Methods for mechanical geometry formula deriving

Parallel univariate polynomial factorization on shared-memory multiprocessors

A random base change algorithm for permutation groups

On determining the solvability of polynomials

A parallelization of the Buchberger algorithm

An improvement of the projection operator in cylindrical algebraic decomposition

Dataflow for logic program as substitution manipulator

Equations, disequations and unsolvable subsets (abstract)

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

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