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

TOTAL DOCUMENTS

46

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By ACM Press

1581130023

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Solving puzzles related to permutation groups

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

10.1145/281508.281611 ◽

1998 ◽

Author(s):

Sebastian Egner ◽

Markus Püschel

Keyword(s):

Permutation Groups

Download Full-text

Fast numerical improvement of factors of polynomials and of partial fractions

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

10.1145/281508.281631 ◽

1998 ◽

Author(s):

Peter Kirrinnis

Keyword(s):

Partial Fractions

Download Full-text

Efficient algorithms for ideal operations (extended abstract)

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

10.1145/281508.281597 ◽

1998 ◽

Author(s):

Massimo Caboara ◽

Carlo Traverso

Keyword(s):

Efficient Algorithms

Download Full-text

An O(n3) algorithm for the Frobenius normal form

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

10.1145/281508.281570 ◽

1998 ◽

Author(s):

Arne Storjohann

Keyword(s):

Download Full-text

Fast multiplication and growth in groups

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

10.1145/281508.281604 ◽

1998 ◽

Author(s):

Charles C. Sims

Keyword(s):

Fast Multiplication

Download Full-text

Certifying inconsistency of sparse linear systems

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

10.1145/281508.281591 ◽

1998 ◽

Author(s):

M. Giesbrecht ◽

A. Lobo ◽

B. D. Saunders

Keyword(s):

Linear Systems ◽

Sparse Linear Systems

Download Full-text

Recursive integration of piecewise-continuous functions

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

10.1145/281508.281649 ◽

1998 ◽

Author(s):

D. J. Jeffrey ◽

A. D. Rich

Keyword(s):

Continuous Functions ◽

Piecewise Continuous ◽

Recursive Integration

Download Full-text

Simplication of symbolic-numerical interval expressions

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

10.1145/281508.281614 ◽

1998 ◽

Author(s):

E. D. Popova ◽

C. P. Ullrich

Download Full-text

Lightweight formal methods for computer algebra systems

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

10.1145/281508.281560 ◽

1998 ◽

Author(s):

Martin Dunstan ◽

Tom Kelsey ◽

Steve Linton ◽

Ursula Martin

Keyword(s):

Formal Methods ◽

Computer Algebra ◽

Computer Algebra Systems ◽

Lightweight Formal Methods

Download Full-text

Compound program packages and a nonlinear random fluctuations analysis

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

10.1145/281508.281553 ◽

1998 ◽

Author(s):

Igor E. Poloskov

Keyword(s):

Random Fluctuations

Download Full-text