Abstract
In this article, we shall extend the formalization of [10] to discuss higher-order partial differentiation of real valued functions. The linearity of this operator is also proved (refer to [10], [12] and [13] for partial differentiation). © 2006 University of Bia lystok.
Cite
CITATION STYLE
APA
Endou, N., Okazaki, H., & Shidama, Y. (2012). Higher-order partial differentiation. Formalized Mathematics, 20(2), 113–124. https://doi.org/10.2478/v10037-012-0015-z
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free