Assertion: matrix's determinant | /r/HasProperty | polynomial function
Facets:
value: from × n
type: OTHER
Source sentences:
text: It can be seen, e.g. using the Leibniz formula, that the determinant of real (or analogously for complex) square matrices is a polynomial function from Rn × n to R, and so it is everywhere differentiable.