Basic principles of mechanical theorem proving in elementary geometrics
Journal of Automated Reasoning
Gröbner bases and primary decomposition of polynomial ideals
Journal of Symbolic Computation
Generalised characteristic polynomials
Journal of Symbolic Computation - Special issue on computational algebraic complexity
A new method for solving algebraic systems of positive dimension
Discrete Applied Mathematics - Special volume on applied algebra, algebraic algorithms, and error-correcting codes
Gro¨bner bases: a computational approach to commutative algebra
Gro¨bner bases: a computational approach to commutative algebra
A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
Journal of Symbolic Computation
Zeros, multiplicities, and idempotents for zero-dimensional systems
Algorithms in algebraic geometry and applications
Multivariate Bezoutians, Kronecker symbol and Eisenbud-Levine formula
Algorithms in algebraic geometry and applications
A computational method for diophantine approximation
Algorithms in algebraic geometry and applications
Computational methods in commutative algebra and algebraic geometry
Computational methods in commutative algebra and algebraic geometry
Computing the isolated roots by matrix methods
Journal of Symbolic Computation - Special issue on symbolic numeric algebra for polynomials
Computing an equidimensional decomposition of an algebraic variety by means of geometric resolutions
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Bezoutian and quotient ring structure
Journal of Symbolic Computation
Proceedings of the 36th international symposium on Symbolic and algebraic computation
On the computation of matrices of traces and radicals of ideals
Journal of Symbolic Computation
Affine solution sets of sparse polynomial systems
Journal of Symbolic Computation
Hi-index | 0.00 |