<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>In this article, we define two single-variable functions SVF1 and SVF2, then discuss partial differentiation of real binary functions by dint of one variable function SVF1 and SVF2. The main properties of partial differentiation are shown [7].</p><p>MML identifier: PDIFF 2, version: 7.9.03 4.104.1021</p></abstract>

In this article, we define two single-variable functions SVF1 and SVF2, then discuss partial differentiation of real binary functions by dint of one variable function SVF1 and SVF2. The main properties of partial differentiation are shown [7].MML identifier: PDIFF 2, version: 7.9.03 4.104.1021

Partial Differentiation of Real Binary Functions

Qingdao University of Science and Technology, China

Formalized Mathematics

{"article-title":"Partial Differentiation of Real Binary Functions"}

In this article, we define two single-variable functions SVF1 and SVF2, then discuss partial differentiation of real binary functions by dint of one variable...

Partial Differentiation of Real Binary Functions

Publié en ligne: 20 mars 2009

Pages: 333 - 338

DOI: https://doi.org/10.2478/v10037-008-0041-z

This content is open access.