Polynomial time algorithms for finding integer relations among real numbers
3rd annual symposium on theoretical aspects of computer science on STACS 86
A modification of the LLL reduction algorithm
Journal of Symbolic Computation
A differential-equations approach to functional equivalence
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Mathematics for computer algebra
Mathematics for computer algebra
The elementary constant problem
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Computing the topology of a bounded non algebraic curve in the plane
Journal of Symbolic Computation
A zero structure theorem for exponential polynomials
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
On Canonical Forms and Simplification
Journal of the ACM (JACM)
A note on algebraic independence of logarithmic and exponential constants
ACM SIGSAM Bulletin
Solution of elementary systems of equations in a box in Rn
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Computer algebra handbook
| Hi-index | 0.00 |