Approaches to parallel quantifier elimination
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Computing the Radical of an Ideal in Positive Characteristic
Journal of Symbolic Computation
Computer algebra handbook
Journal of Symbolic Computation
Hi-index | 0.01 |