The Taylor expansions. (2004)

by Yasunari Shidama
Venue:Formalized Mathematics,