The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
Subresultants and Reduced Polynomial Remainder Sequences
Journal of the ACM (JACM)
On Euclid's Algorithm and the Computation of Polynomial Greatest Common Divisors
Journal of the ACM (JACM)
On Euclid's Algorithm and the Theory of Subresultants
Journal of the ACM (JACM)
Computing polynomial resultants: Bezout's determinant vs. Collins' reduced P.R.S. algorithm
Communications of the ACM
Letters to the editor: comment on a paper by Ku and Adler
Communications of the ACM
PM, a system for polynomial manipulation
Communications of the ACM
Solutions of systems of polynomial equations by elimination
Communications of the ACM
The Art of Computer Programming Volumes 1-3 Boxed Set
The Art of Computer Programming Volumes 1-3 Boxed Set
The SAC-1 system: An introduction and survey
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
The exact solution of systems of linear equations with polynomial coefficients
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Integer arithmetic algorithms for polynomial real zero determination
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Algorithms for polynomial factorization.
Algorithms for polynomial factorization.
Gsolve: a faster algorithm for solving systems of algebraic equations
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Trimmed-surface algorithms for the evaluation and interrogation of solid boundary representations
IBM Journal of Research and Development
Compliant motion planning with geometric models
SCG '87 Proceedings of the third annual symposium on Computational geometry
An adjacency algorithm for cylindrical algebraic decompositions of three-dimenslonal space
Journal of Symbolic Computation
The design of LINETOOL, a geometric editor
SCG '88 Proceedings of the fourth annual symposium on Computational geometry
Automatic parameterization of rational curves and surfaces IV: algebraic space curves
ACM Transactions on Graphics (TOG) - Special issue on computer-aided design
On the complexity of computing a Gröbner basis for the radical of a zero dimensional ideal
STOC '90 Proceedings of the twenty-second annual ACM symposium on Theory of computing
Hankel matrices and computer algebra
ACM SIGSAM Bulletin - Issue #93
Using multivariate resultants to find the intersection of three quadric surfaces
ACM Transactions on Graphics (TOG)
On the multi-threaded computation of integral polynomial greatest common divisors
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Efficient algorithms for Hankel matrices over Z[x1,…,xr]
ISSAC '93 Proceedings of the 1993 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
Factoring modular polynomials (extended abstract)
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Approximate polynomial greatest common divisors and nearest singular polynomials
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Asymptotically fast computation of subresultants
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Factoring polynomials over algebraic number fields via norms
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
The Exact Solution of Systems of Linear Equations with Polynomial Coefficients
Journal of the ACM (JACM)
Fast Probabilistic Algorithms for Verification of Polynomial Identities
Journal of the ACM (JACM)
An Exact Method for Finding the Roots of a Complex Polynomial
ACM Transactions on Mathematical Software (TOMS)
The Exact Solution of Linear Equations with Rational Function Coefficients
ACM Transactions on Mathematical Software (TOMS)
A Comparison of Algorithms for the Exact Solution of Linear Equations
ACM Transactions on Mathematical Software (TOMS)
Local box adjacency algorithms for cylindrical algebraic decompositions
Journal of Symbolic Computation
Elimination and Resultants - Part 1: Elimination and Bivariate Resultants
IEEE Computer Graphics and Applications
Theoretical Computer Science - Latin American theoretical informatics
Distributed maple: parallel computer algebra in networked environments
Journal of Symbolic Computation
Toward mechanical verification of properties of roundoff error propagation
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Symbolic mathematical computation in a Ph.D. computer science program
SIGCSE '72 Proceedings of the second SIGCSE technical symposium on Education in computer science
On the substitution of polynomial forms
ACM '73 Proceedings of the ACM annual conference
ACM '73 Proceedings of the ACM annual conference
Algorithms for Gaussian integer arithmetic
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Algebraic factoring and rational function integration
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Symbolic mathematical computation in a Ph. D. computer science program
ACM SIGCSE Bulletin
Finding all real zeros of polynomial systems using multi-resultant
Journal of Computational and Applied Mathematics
Probabilistic algorithms for computing resultants
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
On algorithms for solving systems of polynomial equations
ACM SIGSAM Bulletin
Formal representations for algebraic numbers
ACM SIGSAM Bulletin
ACM SIGSAM Bulletin
A solution to Kahan's problem (SIGSAM problem no. 9)
ACM SIGSAM Bulletin
Problem #11: generation of Runge-Kutta equations
ACM SIGSAM Bulletin
Computations modulo regular chains
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Decomposition of algebraic sets and applications to weak centers of cubic systems
Journal of Computational and Applied Mathematics
The efficient calculation of powers of polynomials
Journal of Computer and System Sciences
Congruence arithmetic algorithms for polynomial real zero determination
Journal of Computer and System Sciences
Journal of Computer and System Sciences
Solving bivariate polynomial systems on a GPU
ACM Communications in Computer Algebra
Deciding polynomial-transcendental problems
Journal of Symbolic Computation
Paper: Characterization of equilibrium sets for bilinear systems with feedback control
Automatica (Journal of IFAC)
On polynomial systems arising from a weil descent
ASIACRYPT'12 Proceedings of the 18th international conference on The Theory and Application of Cryptology and Information Security
| Hi-index | 0.01 |