Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation - ISSAC '89
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897913256

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Computing the normal forms of matrices depending on parameters

Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation - ISSAC '89 ◽

10.1145/74540.74570 ◽

1989 ◽

Cited By ~ 4

Author(s):

G. Chen

Keyword(s):

Normal Forms

Download Full-text

A fast, reliable algorithm for calculating Pade´-Hermite forms

Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation - ISSAC '89 ◽

10.1145/74540.74553 ◽

1989 ◽

Author(s):

S. Cabay ◽

G. Labahn

Download Full-text

Some results on the defect

Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation - ISSAC '89 ◽

10.1145/74540.74557 ◽

1989 ◽

Author(s):

R. Bradford

Download Full-text

Factoring rational polynomials over the complexes

Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation - ISSAC '89 ◽

10.1145/74540.74551 ◽

1989 ◽

Cited By ~ 2

Author(s):

C. Bajaj ◽

J. Canny ◽

R. Garrity ◽

J. Warren

Keyword(s):

Rational Polynomials

Download Full-text

Constrained equational reasoning

Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation - ISSAC '89 ◽

10.1145/74540.74585 ◽

1989 ◽

Cited By ~ 19

Author(s):

C. Kirchner ◽

H. Kirchner

Keyword(s):

Equational Reasoning

Download Full-text

On the castelnuovo regularity for curves

Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation - ISSAC '89 ◽

10.1145/74540.74571 ◽

1989 ◽

Cited By ~ 1

Author(s):

M. Giusti

Download Full-text

Employing path dissolution to shorten tableaux proofs

Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation - ISSAC '89 ◽

10.1145/74540.74584 ◽

1989 ◽

Cited By ~ 2

Author(s):

N. V. Murray ◽

E. Rosenthal

Download Full-text

Quantifier elimination and the sign variation method for real root isolation

Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation - ISSAC '89 ◽

10.1145/74540.74574 ◽

1989 ◽

Cited By ~ 4

Author(s):

G. E. Collins ◽

J. R. Johnson

Keyword(s):

Real Root ◽

Quantifier Elimination ◽

Variation Method ◽

Root Isolation ◽

Real Root Isolation

Download Full-text

Computing with algebraic series

Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation - ISSAC '89 ◽

10.1145/74540.74554 ◽

1989 ◽

Cited By ~ 1

Author(s):

M. E. Alonso ◽

T. Mora ◽

M. Raimondo

Download Full-text

Experimenting the Gröbner basis algorithm with the A1PI system

Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation - ISSAC '89 ◽

10.1145/74540.74564 ◽

1989 ◽

Cited By ~ 5

Author(s):

C. Traverso ◽

L. Donati

Keyword(s):

Gröbner Basis ◽

Grobner Basis

Download Full-text

Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation - ISSAC '89Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Computing the normal forms of matrices depending on parameters

A fast, reliable algorithm for calculating Pade´-Hermite forms

Some results on the defect

Factoring rational polynomials over the complexes

Constrained equational reasoning

On the castelnuovo regularity for curves

Employing path dissolution to shorten tableaux proofs

Quantifier elimination and the sign variation method for real root isolation

Computing with algebraic series

Experimenting the Gröbner basis algorithm with the A1PI system

Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation - ISSAC '89
Latest Publications