John Canny
-
Real solving for positive dimensional systems
Journal of Symbolic Computation
Functional programming concepts and straight-line programs in computer algebra
Mathematics and Computers in Simulation