Без заголовка
С машиночитаемостью - беда, да.
LaTeX неидеален для машинообработки (но, ессно, много лучше многих прочих). Впрочем там неидеальность такого порядка малости, по сравнению с ее полным отсутсвием...
Но я не о том. Как-то слишком гусарским выглядит наскок "для экспериментов в автоматизации выявления зависимости предметов друг от друга получить в машиннообрабатываемом виде школьный учебник алгебры, учебник матана и ландавшица".
P.S. а вот проект перевода формул, а точнее - математических учебников, в машиночитаемое нечто - вот это было бы здорово.
Как тему очередного хакатона, забросить, хехе. "Назад, к истокам".