Fast polynomial dispersion computation and its application to indefinite summation
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
On the genericity of the modular polynomial GCD algorithm
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
SODA '90 Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms
The Calculation of Multivariate Polynomial Resultants
Journal of the ACM (JACM)
Computing Partitions with Applications to the Knapsack Problem
Journal of the ACM (JACM)
Multivariate Polynomial Factorization
Journal of the ACM (JACM)
Corrigendum: `` Allocating Storage for Extendible Arrays''
Journal of the ACM (JACM)
Restructuring of Arithmetic Expressions For Parallel Evaluation
Journal of the ACM (JACM)
On the Efficiency of a Polynomial Irreducibility Test
Journal of the ACM (JACM)
Journal of the ACM (JACM)
On the Generation of Binary Trees
Journal of the ACM (JACM)
Theorem Proving via General Matings
Journal of the ACM (JACM)
SUCHTHAT - Generic Programming Works
Selected Papers from the International Seminar on Generic Programming
Symbolic mathematical computation in a Ph.D. computer science program
SIGCSE '72 Proceedings of the second SIGCSE technical symposium on Education in computer science
ACM '73 Proceedings of the ACM annual conference
The SAC-1 system: An introduction and survey
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
The calculation of multivariate polynomial resultants
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
On square-free decomposition algorithms
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Algebraic algorithms using p-adic constructions
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Implementing a polynomial factorization and GCD package
SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
Factorization over finitely generated fields
SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
Symbolic mathematical computation in a Ph. D. computer science program
ACM SIGCSE Bulletin
Factorization of multivariate polynomials by extended Hensel construction
ACM SIGSAM Bulletin
On algorithms for solving systems of polynomial equations
ACM SIGSAM Bulletin
Factoring multivariate polynomials over the integers
ACM SIGSAM Bulletin
A p-adic division with remainder algorithm
ACM SIGSAM Bulletin
Algebraic algorithm descriptions as programs
ACM SIGSAM Bulletin
| Hi-index | 0.00 |