Journal of Symbolic Computation
Gröbner bases and primary decomposition of polynomial ideals
Journal of Symbolic Computation
Towards computing non algebraic cylindrical decompositions
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Wu's method and the Khovanskii finiteness theorem
Journal of Symbolic Computation
Computing the topology of a bounded non algebraic curve in the plane
Journal of Symbolic Computation
A note on algebraic independence of logarithmic and exponential constants
ACM SIGSAM Bulletin
A zero structure theorem for exponential polynomials
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic 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
Deciding linear-trigonometric problems
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Computer algebra handbook
Hi-index | 0.00 |