Second-Order Partial Differentiation of Real Binary Functions. - Bing Xie; Xiquan Liang; Xiuzhuan Shen (Formaliz. Math., 2009)