Assertion: gauss's theorem | /r/HasProperty | rediscovered by gauss
Facets:
value: in 1824
type: TEMPORAL
value: independently
type: MANNER
value: in 1813
type: TEMPORAL
Source sentences:
text: The theorem was first discovered by Lagrange in 1762, then later independently rediscovered by Gauss in 1813, by Ostrogradsky, who also gave the first proof of the general theorem, in 1826, by Green in 1828, Simeon-Denis Poisson in 1824 and Frédéric Sarrus in 1828.