[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Verify the Gram determinant formula for [math]P(3)[/math] explicitly, without any trick, just by computing the [math]5\times5[/math] determinant.