Hi,<br> <br>I am wondering if scilab supports symbolic simulation and proving environment?<br>ex: <br>(a + b + c) == (b + c + a)<br>(if a then b else c) == (if (~a) then b else c)<br><br>Thanks,<br>Kong Susanto<br>