Dave,<br><br>I am not yet a SciLab user.<br>What is Maxima package?<br>I am trying to learn whether SciLab can be used to check the equivalence of<br>two formulas, mostly contains basic arithmetic operations with additional<br>
control condition (if command). <br>I knew that mathematica has a light weight theorem prover and can do the job. <br>I wonder if SciLab also has such functionality. <br><br>Kong Susanto<br><br><br>