آثار گمشدۀ «ریاضیدان بزرگ» در بین متون دورۀ اسلامی کشف شد