Объявлять символьные переменные специально не нужно. Все переменные программы имеют одинаковый статус. Как же программа отличает символьные действия от численных? Для этого предусмотрены два разных оператора вычисления выражений:

• Численный - по нажатию на "=" на клавиатуре или соответствующую иконку на панеле интструментов "="
  
  В данном режиме, если при вычислении программа обнаружит в выражении переменную, не имеющую явно заданного значения, она сообщит об этом как об ошибке вычисления, а само вычисление прекратит.
  
  
• Символьный - по нажатию на "Ctrl+." на клавиатуре или соответствующую иконку на панеле интструментов "->"
  
  В символьном режиме программа будет работать с переменной в выражении не выдавая никаких ошибок. Она будет лишь стараться упростить итоговое выражение.

Ваш пример решается довольно просто: объявляйте все параметры, которые имеют значения - автоматически, всё, что не указано будет считаться переменными. После чего записываете выражение C*((s*I-A)^{-1})*B и жмёте "Символьное вычисление".

Напоследок хочется отметить, что работа над символьным упрощением ведётся и, в данный момент, результаты вычислений не всегда могут быть "красивыми".

Отредактировано пользователем 17 декабря 2008 г. 4:47:38(UTC)  | Причина: Не указана

Не за что.
Последние два месяца программа живёт в постоянном прогрессе, т.ч. есть некое неудобство с большим количеством выпущенных версий. В этом месяце по плану будет ещё одна промежуточная бета (на днях) и за неделю до конца декабря, или около того, будет долгожданный релиз стабильной сборки SMath Studio (в том числе и под Linux). После этого события будет взят небольшой таймаут, во время которого мы начнём работать над распространением программы за границей. Так что, по всей видимости будущая стабильная 0.75 будет актуальна, на протяжении месяца или более того.

Здравствуйте, Андрей! Огромное спасибо за проделанную работу!
У меня есть один вопрос... Скажите, пожалуйста, можно ли сделать так, чтобы программа при символьном вычислении "раскрывала скобки"?
( чтобы ответ был, например, не в виде (x+1)*(x+2) , а в виде x^2+3*x+2 )
Заранее спасибо!

Большое спасибо за скорый ответ!
Если это как-нибудь сможет помочь, то в MathCad есть функция expand, которая раскрывает все скобки
Пример: (a*x + b )(c*x + d) expand, x -> a*c*x^2 + a*d*x + b*c*x + b*d
и функция collect, которая может складывать коэффициенты при одинаковых степенях:
Пример: a*c*x^2 + a*d*x + b*c*x + b*d collect, x -> a*c*x^2 + (a*d + b*c)*x + b*d