Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:alsoKnownAs |
Conway-Schneeberger Fifteen Theorem
|
| gptkbp:concerns |
quadratic forms
|
| gptkbp:field |
number theory
|
| gptkbp:generalizes |
gptkb:290_theorem
|
| https://www.w3.org/2000/01/rdf-schema#label |
fifteen theorem
|
| gptkbp:provenBy |
gptkb:John_H._Conway
gptkb:Manjul_Bhargava |
| gptkbp:relatedTo |
gptkb:Lagrange's_four-square_theorem
universal quadratic forms |
| gptkbp:state |
A positive definite integral quadratic form represents all positive integers if and only if it represents the integers 1 through 15.
|
| gptkbp:yearProved |
1993
|
| gptkbp:bfsParent |
gptkb:Conway-Schneeberger_fifteen_theorem
|
| gptkbp:bfsLayer |
8
|