Homotopy Type Theory Newton-Leibniz operator > history (Rev #7, changes)

Showing changes from revision #6 to #7: Added | Removed | Changed

Contents

Definition

Given an Archimedean ordered field FF, the Newton–Leibniz operator or D operator D˜:D 1(F,F)(FF)\tilde{D}: D^1(F, F) \to (F \to F) is a function from the type of differentiable functions D 1(F,F)D^1(F, F) to the type of functions FFF \to F. For any differentiable function f:D 1(F,F)f:D^1(F, F), the function D˜(f)\tilde{D}(f) is called the derivative of ff.

See also

Revision on June 10, 2022 at 15:25:03 by Anonymous?. See the history of this page for a list of all contributions to it.