Homotopy Type Theory
partial derivative > history (Rev #3, changes)
Showing changes from revision #2 to #3:
Added | Removed | Changed
Contents
< partial derivative
Definition
Given a sequentially Cauchy complete Archimedean ordered field of scalars and a type of indices , one could define a real vector space with a basis vector function . Let be a differentiable scalar function, and given an index , the partial derivative is pointwise defined as
See also
Revision on June 10, 2022 at 19:14:51 by
Anonymous?.
See the history of this page for a list of all contributions to it.