Системка пяти уравнений

[maxal]

Кстати, я тоже могу поучаствовать. Но я буду решать точно (т.е. неприближенно) с помощью базисов Грёбнера.

И просьба приводить систему сразу в читаемом компьютером виде (через тэг [ code ]), в частности, чтобы имена переменных его не шокировали (и их не пришлось переименовывать вручную), со знаками умножения * и т.п.