[scilab-Users] SciLab features

[Susanto Kong]

Dave,

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

Kong Susanto
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.scilab.org/pipermail/users/attachments/20080610/3f82a099/attachment.htm>