Computing in transcendental extensions.
Computer algebra: symbolic and algebraic computation (2nd ed.)
On Canonical Forms and Simplification
Journal of the ACM (JACM)
Determining the Equivalence of Algebraic Expressions by Hash Coding
Journal of the ACM (JACM)
On the Problem of Recognizing Zero
Journal of the ACM (JACM)
Algebraic simplification: a guide for the perplexed
Communications of the ACM
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
A New Algorithm for Computing Symbolic Limits Using Hierarchical Series
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
Analysis of constructed mathematical responses by numeric tests for equivalence
ACM '69 Proceedings of the 1969 24th national conference
A note on algebraic independence of logarithmic and exponential constants
ACM SIGSAM Bulletin
Growth estimates for exp-log functions
Journal of Symbolic Computation
The identity problem for elementary functions and constants
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
A simplified method of recognizing zero among elementary constants
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Asymptotic expansions of exp-log functions
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
A new zero-test for formal power series
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Journal of Symbolic Computation
Journal of Symbolic Computation
| Hi-index | 0.00 |