Second-Order Partial Differentiation of Real Binary Functions

Bibliographic Details
Main Authors: Xie Bing, Liang Xiquan, Shen Xiuzhuan
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