ISSAC
2007
Springer
13 years 11 months ago
2007
Springer
ISSAC
2007
Springer
13 years 11 months ago
2007
Springer
ISSAC
2007
Springer
13 years 11 months ago
2007
Springer
We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decompositions. We introduce a component-level parallelism for which ...
ISSAC
2007
Springer
13 years 11 months ago
2007
Springer
This paper deals with the computation of the rank and some integer Smith forms of a series of sparse matrices arising in algebraic K-theory. The number of non zero entries in the ...
ISSAC
2007
Springer
13 years 11 months ago
2007
Springer
ISSAC
2007
Springer
13 years 11 months ago
2007
Springer
Supercomputing applications usually involve the repeated parallel application of discretized differential operators. Difficulties arise with higher-order discretizations of opera...
ISSAC
2007
Springer
13 years 11 months ago
2007
Springer
In this paper, it is shown that the Hilbert series of a Borel type ideal may be computed within a complexity which is polynomial in Dn where n + 1 is the number of unknowns and D ...
ISSAC
2007
Springer
13 years 11 months ago
2007
Springer
In this paper, we describe the design of a C library named PTPol implementing arithmetic operations for univariate polynomials and report on practical experiments showing the rele...
ISSAC
2007
Springer
13 years 11 months ago
2007
Springer
ISSAC
2007
Springer
13 years 11 months ago
2007
Springer
We describe some major recent progress in exact and symbolic linear algebra. These advances concern the improvement of complexity estimates for fundamental problems such as linear...