NC2 computation of gcd-free basis and application to parallel algebraic numbers computation
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Computer algebra handbook
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Evaluation techniques for zero-dimensional primary decomposition
Journal of Symbolic Computation
Computation of inverses in residue class rings of parametric polynomial ideals
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Proceedings of the 2009 conference on Symbolic numeric computation
A reconstruction and extension of Maple's assume facility via constraint contextual rewriting
Journal of Symbolic Computation
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation
Comprehensive triangular decomposition
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
Theoretical Computer Science
| Hi-index | 0.00 |