114
click to vote
ISSAC
15 years 7 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...
103
click to vote
ISSAC
15 years 7 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. ...
ISSAC
15 years 7 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 7 months ago
1989 Springer  |
Mathematics