На канале #maxima все молчат как в гробу.

Похоже полиномиальные системы уравнений (порядка 4 и выше) втупую solve'ом туго решаются. Но стоит сделать небольшое упрощение, снижающее степень полиномов, и аналитическое решение готово. Однако нужно обобщать.

"... Этих огрызков вполне достаточно, чтобы получить работающую в текстовом режиме MAXIM'у. Как правило, для реальной научной работы большего и не требуется, но если Вы склонны к программистским экспериментам (тревожный признак - может быть Вы не физик, а программист?), то поставьте CLISP в полном объеме."