DMCA

The Taylor expansions

by Akira Nishino , Yasunari Shidama
Venue:Formalized Mathematics
Citations:18 - 1 self