Assertion: gauss | /r/CapableOf | make important contributions
Facets:
value: with his 1801 book
type: OTHER
value: to number theory
type: OTHER
Source sentences:
text: Gauss also made important contributions to number theory with his 1801 book Disquisitiones Arithmeticae (Latin, Arithmetical Investigations), which, among other things, introduced the symbol ≡ for congruence and used it in a clean presentation of modular arithmetic, contained the first two proofs of the law of quadratic reciprocity, developed the theories of binary and ternary quadratic forms, stated the class number problem for them, and showed that a regular heptadecagon (17-sided polygon) can be constructed with straightedge and compass.