ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Binary cartesian set product
Binary relation
Map
Operation
N-operation
Binary operation
Enclosed binary operation
Groupoid
Ringoid
Semiring
Ring
Left ring action
Module
Linear combination
Linear map
Linear form
Distribution
Distributional derivative
Weak derivative
Real matrix function derivative
Definition D111
Euclidean real function derivative
Also known as
Classical euclidean real derivative
Children
D1416: Differentiable euclidean real function
Results
R4961
R4909: Derivative for euclidean real self-dot product function
R5537: Derivative function for euclidean real self-dot product function
R4908: Strong derivative for affine euclidean real function
R4907: Strong derivative for constant euclidean real function
R4913: Strong derivative for euclidean real quadratic form without translation
R4912: Strong derivative for symmetric euclidean real quadratic form