Second-Order Partial Differentiation of Real Binary Functions
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Sciendo
2009-01-01
|
Series: | Formalized Mathematics |
Online Access: | https://doi.org/10.2478/v10037-009-0009-7 |
id |
doaj-fa517abb1d95476e9be15c77d70eedd2 |
---|---|
record_format |
Article |
spelling |
doaj-fa517abb1d95476e9be15c77d70eedd22021-09-05T18:16:47ZengSciendoFormalized Mathematics1426-26301898-99342009-01-01172798710.2478/v10037-009-0009-7Second-Order Partial Differentiation of Real Binary FunctionsXie Bing0Liang Xiquan1Shen Xiuzhuan2Qingdao University of Science and Technology, ChinaQingdao University of Science and Technology, ChinaQingdao University of Science and Technology, Chinahttps://doi.org/10.2478/v10037-009-0009-7 |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Xie Bing Liang Xiquan Shen Xiuzhuan |
spellingShingle |
Xie Bing Liang Xiquan Shen Xiuzhuan Second-Order Partial Differentiation of Real Binary Functions Formalized Mathematics |
author_facet |
Xie Bing Liang Xiquan Shen Xiuzhuan |
author_sort |
Xie Bing |
title |
Second-Order Partial Differentiation of Real Binary Functions |
title_short |
Second-Order Partial Differentiation of Real Binary Functions |
title_full |
Second-Order Partial Differentiation of Real Binary Functions |
title_fullStr |
Second-Order Partial Differentiation of Real Binary Functions |
title_full_unstemmed |
Second-Order Partial Differentiation of Real Binary Functions |
title_sort |
second-order partial differentiation of real binary functions |
publisher |
Sciendo |
series |
Formalized Mathematics |
issn |
1426-2630 1898-9934 |
publishDate |
2009-01-01 |
url |
https://doi.org/10.2478/v10037-009-0009-7 |
work_keys_str_mv |
AT xiebing secondorderpartialdifferentiationofrealbinaryfunctions AT liangxiquan secondorderpartialdifferentiationofrealbinaryfunctions AT shenxiuzhuan secondorderpartialdifferentiationofrealbinaryfunctions |
_version_ |
1717786109762600960 |