Assertion: gauss's theorem | /r/HasProperty | rediscovered by ostrogradsky
Facets:
value: in 1826
type: TEMPORAL
value: in 1828
type: TEMPORAL
value: independently
type: MANNER
value: by green
type: OTHER
value: in 1824
type: TEMPORAL
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.