Сomparison-line Голосов: 1 Адрес блога: http://comparison-line.ru Добавлен: 2010-11-26 13:42:23 блограйдером kottx

Правая часть третьего антецедента

2013-02-01 02:45:59 (читать в оригинале)

Правая часть третьего антецедента теоремы обрабатывается нормализаторами «нормплюс», «стандплюс», «уравнплюс». Первые два из них обеспечивают раскрывание скобок в линейной комбинации, третий — приведение подобных членов с из¬вестными коэффициентами После определения оно обрабатывается нормализато¬ром «факторизация» упрощенного разложения на множители. Наконец, само новое уравнение f — 0 обрабатывается нормализатором «нормчисло», который, в частности, может преобразовать его к [...]