PanLinx
English
eng-000
monomial ordering
русский
rus-000
мономиальное упорядочение
PanLex