DMCA

Several differentiation formulas of special functions

by Peng Wang , Bo Li
Venue:Part V. Formalized Mathematics
Citations:11 - 7 self