161
click to vote
ISSAC
15 years 10 months ago
1989 Springer 
: We present a modification of the Goldwasser-Kilian-Atkin primality test, which, when given an input n, outputs either prime or composite, along with a certificate of correctnes...
153
click to vote
ISSAC
15 years 10 months ago
1989 Springer 
In this paper, we describe a parallelization scheme for Collins’ cylindrical algebraic decomposition algorithm for quantifier elimination in the theory of real closed fields. ...
137
click to vote
ISSAC
15 years 10 months ago
1989 Springer 
The use of lookup tables can reduce the complexity of calculation of functions defined typically by mathematical recurrence relations. Although this technique has been adopted by...
ISSAC
15 years 10 months ago
1989 Springer  |
Mathematics