мапл все-таки ужасен своими багофичами:

> assume(x,complex);

> evalb( Re(x) = (x+conjugate(x))/2 );
false

> simplify( Re(x) - (x+conjugate(x))/2 );
Re(x)-1/2*x-1/2*conjugate(x)

При попытке вычислить следующую сумму мапл уходит в бесконечные раздумья - я так и не дождался окончания.

sum((-1)^t*binomial(s,t)*binomial(s-t,k)^2,t=0..s);

А на вид такая простенькая...

Я люблю дебиан. Но мою любовь периодически подвергают испытаниям.
А от любви до ненависти один шаг, бня.

Официальные представители Microsoft со стыдом признали, что поправка, выпущенная на прошлой неделе для устранения уязвимости в Excel 2003, приводит к неправильным вычислениям в электронных таблицах.

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

Помнится, какая была шумиха вокруг одного из первых пентиумов, когда он в очень специальных случаях выдавал неправильный результат деления, а потом этот баг попал во все учебники. А сейчас такие ошибки уже никого не удивляют, и их становится все больше (microsoft excel лидирует - у него это уже второй случай за последние полгода).