She provided the first rigorous proofs of the convergence of a finite difference method for the Navier–Stokes equations.
Έδωσε τις πρώτες αυστηρές αποδείξεις της σύγκλισης της μέθοδου των πεπερασμένων διαφορών για τις εξισώσεις Navier–Stokes.