ThmDex – An index of mathematical definitions, results, and conjectures.
Result R4960 on D111: Euclidean real function derivative
Strong derivative for euclidean real quadratic form
Subresults
▶ R4961
▶ R4913: Strong derivative for euclidean real quadratic form without translation