Several Differentiation Formulas of Special Functions. Part IV
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Sciendo
2006-01-01
|
Series: | Formalized Mathematics |
Online Access: | https://doi.org/10.2478/v10037-006-0013-0 |
id |
doaj-b811266d1dbe4b808138d8fecfb02001 |
---|---|
record_format |
Article |
spelling |
doaj-b811266d1dbe4b808138d8fecfb020012021-09-05T18:16:46ZengSciendoFormalized Mathematics1426-26301898-99342006-01-0114310911410.2478/v10037-006-0013-0Several Differentiation Formulas of Special Functions. Part IVLi Bo0Wang Peng1Qingdao University of Science and Technology, ChinaQingdao University of Science and Technology, Chinahttps://doi.org/10.2478/v10037-006-0013-0 |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Li Bo Wang Peng |
spellingShingle |
Li Bo Wang Peng Several Differentiation Formulas of Special Functions. Part IV Formalized Mathematics |
author_facet |
Li Bo Wang Peng |
author_sort |
Li Bo |
title |
Several Differentiation Formulas of Special Functions. Part IV |
title_short |
Several Differentiation Formulas of Special Functions. Part IV |
title_full |
Several Differentiation Formulas of Special Functions. Part IV |
title_fullStr |
Several Differentiation Formulas of Special Functions. Part IV |
title_full_unstemmed |
Several Differentiation Formulas of Special Functions. Part IV |
title_sort |
several differentiation formulas of special functions. part iv |
publisher |
Sciendo |
series |
Formalized Mathematics |
issn |
1426-2630 1898-9934 |
publishDate |
2006-01-01 |
url |
https://doi.org/10.2478/v10037-006-0013-0 |
work_keys_str_mv |
AT libo severaldifferentiationformulasofspecialfunctionspartiv AT wangpeng severaldifferentiationformulasofspecialfunctionspartiv |
_version_ |
1717786184193671168 |