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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897916387

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Fast algorithms for rational forms of integer matrices

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

10.1145/190347.190432 ◽

1994 ◽

Cited By ~ 2

Author(s):

Mark Giesbrecht

Keyword(s):

Fast Algorithms

Characteristic classes for irregular singularities

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

10.1145/190347.190411 ◽

1994 ◽

Cited By ~ 2

Author(s):

Ron Sommeling

Keyword(s):

Characteristic Classes

Asymptotically fast solution of Toeplitz-like singular linear systems

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

10.1145/190347.190431 ◽

1994 ◽

Cited By ~ 9

Author(s):

Erich Kaltofen

Keyword(s):

Linear Systems ◽

Fast Solution ◽

Singular Linear Systems

Signature functions for algebraic numbers

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

10.1145/190347.190430 ◽

1994 ◽

Cited By ~ 5

Author(s):

Michael B. Monagan ◽

Gaston H. Gonnet

Keyword(s):

Algebraic Numbers

Examples of automatic theorem proving a real geometry

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

10.1145/190347.190354 ◽

1994 ◽

Cited By ~ 2

Author(s):

Ahmed Guergueb ◽

Jean Mainguené ◽

Marie-Françoise Roy

Keyword(s):

Theorem Proving ◽

Automatic Theorem Proving ◽

Real Geometry ◽

Automatic Theorem

Fast parallel computation of the Smith normal form of polynomial matrices

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

10.1145/190347.190433 ◽

1994 ◽

Cited By ~ 3

Author(s):

Gilles Villard

Keyword(s):

Normal Form ◽

Parallel Computation ◽

Smith Normal Form ◽

Polynomial Matrices

Algorithms for type inference with coercions

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

10.1145/190347.190434 ◽

1994 ◽

Cited By ~ 1

Author(s):

Andreas Weber

Keyword(s):

Type Inference

On a modular algorithm for computing GCDs of polynomials over algebraic number fields

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

10.1145/190347.190365 ◽

1994 ◽

Author(s):

Mark J. Encarnación

Keyword(s):

Algebraic Number ◽

Number Fields ◽

Algebraic Number Fields ◽

Modular Algorithm

A system for the symbolic analysis of problems in engineering mechanics

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

10.1145/190347.190370 ◽

1994 ◽

Cited By ~ 1

Author(s):

Philip H. Todd ◽

Robin J. Y. McLeod ◽

Marcia Harris

Keyword(s):

Symbolic Analysis ◽

Engineering Mechanics

Chains of recurrences---a method to expedite the evaluation of closed-form functions

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

10.1145/190347.190423 ◽

1994 ◽

Cited By ~ 24

Author(s):

Olaf Bachmann ◽

Paul S. Wang ◽

Eugene V. Zima

Keyword(s):

Closed Form

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Fast algorithms for rational forms of integer matrices

Characteristic classes for irregular singularities

Asymptotically fast solution of Toeplitz-like singular linear systems

Signature functions for algebraic numbers

Examples of automatic theorem proving a real geometry

Fast parallel computation of the Smith normal form of polynomial matrices

Algorithms for type inference with coercions

On a modular algorithm for computing GCDs of polynomials over algebraic number fields

A system for the symbolic analysis of problems in engineering mechanics

Chains of recurrences---a method to expedite the evaluation of closed-form functions

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