Wang Yuan — Chinese mathematician (1930-2021)