Gröbner bases and primary decomposition of polynomial ideals
Journal of Symbolic Computation
Wu's method and the Khovanskii finiteness theorem
Journal of Symbolic Computation
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 note on algebraic independence of logarithmic and exponential constants
ACM SIGSAM Bulletin
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
Computer algebra handbook
Hi-index | 0.00 |