In a great hall of numbers, a woman named Dora led a group of human computers who spent their days doing long sums by hand.