Computing canonical representatives of regular differential ideals
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Towards faster real algebraic numbers
Journal of Symbolic Computation - Special issue: International symposium on symbolic and algebraic computation (ISSAC 2002)
Algorithms for polynomial GCD computation over algebraic function fields
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Lifting techniques for triangular decompositions
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
On the complexity of the D5 principle
ACM SIGSAM Bulletin
A sparse modular GCD algorithm for polynomials over algebraic function fields
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Component-level parallelization of triangular decompositions
Proceedings of the 2007 international workshop on Parallel symbolic computation
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
On the representation of constructible sets
ACM Communications in Computer Algebra
Computations modulo regular chains
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Computing differential characteristic sets by change of ordering
Journal of Symbolic Computation
Notes on triangular sets and triangulation-decomposition algorithms I: polynomial systems
SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation
Notes on triangular sets and triangulation-decomposition algorithms II: differential systems
SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation
Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case
Computers & Mathematics with Applications
The modpn library: Bringing fast polynomial arithmetic into Maple
Journal of Symbolic Computation
An algorithm for computing set-theoretic generators of an algebraic variety
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Journal of Symbolic Computation
Algorithms for computing triangular decomposition of polynomial systems
Journal of Symbolic Computation
Inversion modulo zero-dimensional regular chains
CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing
| Hi-index | 0.00 |