Text this: Математические методы в собирании и исследовании доказательств