A program for computing Puiseux expansions
ACM SIGSAM Bulletin - Issue #94
Solving zero-dimensional algebraic systems
Journal of Symbolic Computation
Real algebraic number computation using interval arithmetic
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
On the greatest common divisor of polynomials which depend on a parameter
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Fast parallel computation of the Smith normal form of polynomial matrices
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
On the implementation of dynamic evaluation
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
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
Computing canonical representatives of regular differential ideals
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
A New Scheme for Computing with Algebraically Closed Fields
ANTS-V Proceedings of the 5th International Symposium on Algorithmic Number Theory
Towards faster real algebraic numbers
Journal of Symbolic Computation - Special issue: International symposium on symbolic and algebraic computation (ISSAC 2002)
Factoring into coprimes in essentially linear time
Journal of Algorithms
The RegularChains library in MAPLE
ACM SIGSAM Bulletin
On the complexity of the D5 principle
ACM SIGSAM Bulletin
Triangular decompositions of polynomial systems: from theory to practice
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Change of order for bivariate triangular sets
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Multiprocessed parallelism support in ALDOR on SMPs and multicores
Proceedings of the 2007 international workshop on Parallel symbolic computation
Seminormal rings (following Thierry Coquand)
Theoretical Computer Science
Toward the interpretation of non-constructive reasoning as non-monotonic learning
Information and 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
Proceedings of the 2009 conference on Symbolic numeric computation
Computing with algebraically closed fields
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
Journal of Symbolic Computation
Algorithms for computing triangular decompositions of polynomial systems
Proceedings of the 36th international symposium on Symbolic and algebraic computation
An efficient implementation for computing gröbner bases over algebraic number fields
ICMS'06 Proceedings of the Second international conference on Mathematical Software
Algorithms for computing triangular decomposition of polynomial systems
Journal of Symbolic Computation
Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation
Inversion modulo zero-dimensional regular chains
CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing
Theoretical Computer Science
Hi-index | 0.00 |