کتابخانۀ فرمول گمشدهٔ گالیله.