12 ноября 2015 · КомментарийБез заголовкаИмя не сохранено · Оригинал в ЖЖ ↗ · Ссылка на записьВот, нашёл http://archive.is/WPCN https://en.wikipedia.org/wiki/Automated_Mathematician