Partial Differentiation of Real Binary Functions

Bing Xie, Xiquan Liang, Hongwei Li. Partial Differentiation of Real Binary Functions. Formalized Mathematics, 16(1-4):333-338, 2008. [doi]

Abstract

Abstract is missing.