ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Result R4960 on D111: Euclidean real function derivative

Strong derivative for euclidean real quadratic form