Julia Hall Bowman Robinson — American mathematician (1919–1985)