Hi, I am wondering if scilab supports symbolic simulation and proving environment? ex: (a + b + c) == (b + c + a) (if a then b else c) == (if (~a) then b else c) Thanks, Kong Susanto -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://lists.scilab.org/pipermail/users/attachments/20080610/9e9ece28/attachment.htm>