ISSAC
1992
Springer
13 years 10 months ago
1992
Springer
Abstract. Lattice basis reduction is an important problem in geometry of numbers with applications in combinatorial optimization, computer algebra, and cryptography. The well-known...
ISSAC
1992
Springer
13 years 10 months ago
1992
Springer
ISSAC
1992
Springer
13 years 10 months ago
1992
Springer
Real algebraic numbers appear in many Computer Algebra pro bJems. For inst ante the determination of a cylindrical algebraic decomposition for an euclidian space requires compu ti...
ISSAC
1992
Springer
13 years 10 months ago
1992
Springer
We present some new classes of numbers that are easier to test for primality with the Elliptic Curve Primality Proving algorithm than average numbers. It is shown that this is the...
ISSAC
1992
Springer
13 years 10 months ago
1992
Springer
ISSAC
1992
Springer
13 years 10 months ago
1992
Springer
For a parametric polynomial system: p1 = 0,
ISSAC
1994
Springer
13 years 10 months ago
1994
Springer
ISSAC
1994
Springer
13 years 10 months ago
1994
Springer
ISSAC
1994
Springer
13 years 10 months ago
1994
Springer
In this paper, we describe an algorithm to compute arbitrary stationary multiple-point formulas. We report its full implementation in Maple and show some examples matching formula...
ISSAC
1994
Springer
13 years 10 months ago
1994
Springer
