В этой статье мы представляем жизнь Анны Джонсон, женщины исключительно одаренной в области математики, наряду с тем, что мы считаем ее наибольшим вкладом: а именно, теоремой 1917 на модифицированных евклидовых последовательностях полиномиальных остатков (ППО), которая заложила основы теории субрезультантных ППО. Для того чтобы продемонстрировать различные математические понятия, представленные в этой статье, мы используем систему компьютерной алгебры SumPy (версия 1.0), которая основана на Python и находится в свободном доступе.

In this article we present the life of Anna Johnson, a woman exceptionally gifted in Mathematics, along with what we consider her greatest contribution: to wit, the theorem of 1917 on modified Euclidean polynomial remainder sequences (prs's), which laid the foundations of the theory of subresultant prs's. To demonstrate the various mathematical concepts presented in this article we use the mverbatim{python} based computer algebra system mverbatim (version 1.0), which is freely available. Pp. 13-35.