Mechanical geometry theorem proving
Mechanical geometry theorem proving
Gro¨bner bases: a computational approach to commutative algebra
Gro¨bner bases: a computational approach to commutative algebra
The 40 “generic” positions of a parallel robot
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Algebraic and geometric reasoning using Dixon resultants
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Comparison of various multivariate resultant formulations
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Sparse elimination and applications in kinematics
Sparse elimination and applications in kinematics
Sparsity considerations in Dixon resultants
STOC '96 Proceedings of the twenty-eighth annual ACM symposium on Theory of computing
Efficient variable elimination using resultants
Efficient variable elimination using resultants
An Efficient Algorithm for the Sparse Mixed Resultant
AAECC-10 Proceedings of the 10th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Conditions for exact resultants using the Dixon formulation
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Sparse resultant of composed polynomials II unmixed--mixed case
Journal of Symbolic Computation
On the efficiency and optimality of Dixon-based resultant methods
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Factoring sparse resultants of linearly combined polynomials
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Sparse Resultant under Vanishing Coefficients
Journal of Algebraic Combinatorics: An International Journal
Exact resultants for corner-cut unmixed multivariate polynomial systems using the Dixon formulation
Journal of Symbolic Computation - Special issue: International symposium on symbolic and algebraic computation (ISSAC 2002)
Resultants of skewly composed polynomials
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Cayley-Dixon projection operator for multi-univariate composed polynomials
Journal of Symbolic Computation
Bezoutian and quotient ring structure
Journal of Symbolic Computation
Resultants of partially composed polynomials
Journal of Symbolic Computation
Cayley-Dixon resultant matrices of multi-univariate composed polynomials
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
| Hi-index | 0.00 |