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

TOTAL DOCUMENTS

51

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By ACM Press

1595930957

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Preconditioners for singular black box matrices

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

10.1145/1073884.1073930 ◽

2005 ◽

Author(s):

William J. Turner

Keyword(s):

Download Full-text

Algorithms for symbolic/numeric control of affine dynamical systems

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

10.1145/1073884.1073923 ◽

2005 ◽

Author(s):

Aude Rondepierre ◽

Jean-Guillaume Dumas

Keyword(s):

Dynamical Systems

Download Full-text

Algebraic general solutions of algebraic ordinary differential equations

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

10.1145/1073884.1073891 ◽

2005 ◽

Author(s):

J. M. Aroca ◽

J. Cano ◽

R. Feng ◽

X. S. Gao

Keyword(s):

Differential Equations ◽

Ordinary Differential Equations ◽

General Solutions

Download Full-text

Generalized Loewy-decomposition of d-modules

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

10.1145/1073884.1073908 ◽

2005 ◽

Author(s):

Dima Grigoriev ◽

Fritz Schwarz

Keyword(s):

Download Full-text

A view on the future of symbolic computation

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

10.1145/1073884.1073885 ◽

2005 ◽

Author(s):

Bruno Buchberger

Keyword(s):

Symbolic Computation ◽

Download Full-text

A reliable block Lanczos algorithm over small finite fields

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

10.1145/1073884.1073910 ◽

2005 ◽

Author(s):

Bradford Hovinen ◽

Wayne Eberly

Keyword(s):

Finite Fields ◽

Lanczos Algorithm ◽

Download Full-text

On the complexity of factoring bivariate supersparse (Lacunary) polynomials

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

10.1145/1073884.1073914 ◽

2005 ◽

Author(s):

Erich Kaltofen ◽

Pascal Koiran

Download Full-text

Application of Wu's method to symbolic model checking

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

10.1145/1073884.1073918 ◽

2005 ◽

Author(s):

Weibo Mao ◽

Jinzhao Wu

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model ◽

Wu’S Method ◽

Download Full-text

Generalized laplace transformations and integration of hyperbolic systems of linear partial differential equations

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

10.1145/1073884.1073929 ◽

2005 ◽

Author(s):

Sergey P. Tsarev

Keyword(s):

Partial Differential Equations ◽

Differential Equations ◽

Hyperbolic Systems ◽

Partial Differential ◽

Linear Partial Differential Equations ◽

Laplace Transformations

Download Full-text

Admissible orderings and finiteness criteria for differential standard bases

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

10.1145/1073884.1073935 ◽

2005 ◽

Author(s):

Aleksey Zobnin

Keyword(s):

Download Full-text