Manuscript XVI-J@1 · XVI-J.tex · corollary · 6c1f306d
Corollary: Hand checks at the Hessian level
Independent polynomial proofs of the numerical tables › Closed formula for the Hessian · lines 907–928 · proof included or linked
XVI-J@1#cor:Hchecks
For ,
Also
Proof. The first identity follows from (eq:Ltable). Each zero follows either from (eq:Lclosed) or the absence of the corresponding mixed monomial in (eq:Fexpanded). Thus the value six is checked independently of the other entries and is not used to certify them.
Displayed formulas in this passage
unlabeled · line 910
unlabeled · line 915