Challenge problems in elementary calculus (1990)

by W W Bledsoe
Venue:Journal of Automated Reasoning