Currently displaying 1 – 7 of 7

Showing per page

Order by Relevance | Title | Year of publication

Partial Differentiation of Real Binary Functions

Bing XieXiquan LiangHongwei Li — 2008

Formalized Mathematics

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

Page 1

Download Results (CSV)