Подскажите, пожалуйста, какая программа из числа бесплатных лучше всего подходит для просматривания поверхностей, линий, точек, пустых множеств [
], заданных системой уравнений с тремя неизвестными (хотя бы для полиномиальных систем). Уравнений может быть больше, чем неизвестных (как правило, 4). Желательно, чтобы при этом можно было задавать некоторые параметры буквенно и легко видеть, как меняется форма при изменении заданного параметра. Желательно также, чтобы можно было автоматически найти значения заданного параметра, при которых система совместима (поскольку часто будет получаться пустое множество вследствие того, что уравнений больше, чем неизвестных).
За аналогичный анализ платного софта тоже буду благодарен.