PanLinx
русский
rus-000
нежесткое неравенство
English
eng-000
slack inequality
PanLex