Journal of Symbolic Computation
A polynomial-time algorithm for the topological type of a real algebraic curve
Journal of Symbolic Computation
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Growth estimates for exp-log functions
Journal of Symbolic Computation
Wu's method and the Khovanskii finiteness theorem
Journal of Symbolic Computation
On the algorithms and implementation of a geometric algebra system
On the algorithms and implementation of a geometric algebra system
The elementary constant problem
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Asymptotic expansions of functional inverses
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Solving one and two-dimensional exponential polynomial systems
ISSAC '98 Proceedings of the 1998 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
Deciding polynomial-exponential problems
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Deciding polynomial-transcendental problems
Journal of Symbolic Computation
Symbolic termination analysis of solvable loops
Journal of Symbolic Computation
Hi-index | 0.00 |