زادروز مریم میرزاخانی ریاضیدان ایرانی، روز جهانی زن در ریاضیات