<br><font size=3>Kong,</font>
<br>
<br><font size=2 face="sans-serif">This is a bit off-topic with respect
to your question, but for my information, what features would you look
for in Scilab that are not in a package such as Maxima? I seem to recall
in a post some time back there are hooks to Mathematica from Scilab, but
I could be wrong.</font>
<br>
<br><font size=2 face="sans-serif">Just Curious,</font>
<br><font size=2 face="sans-serif"><br>
</font><font size=3>Dave Comer<br>
Sr. Design Engineer EMCORE<br>
</font>
<p><font size=3>"If developers do not follow any methodology, there
is no software engineering but only hacking" -- Gunther Lenz, Thomas
Moeller</font>
<p><font size=3>This message (including any attachments) contains confidential
information intended for a specific individual and purpose, and is protected
by law. If you are not the intended recipient, you should delete this message.
Any disclosure, copying, or distribution of this message, or the taking
of any action based on it, is strictly prohibited. </font>
<br>
<br>
<br>
<table width=100%>
<tr valign=top>
<td width=40%><font size=1 face="sans-serif"><b>"Susanto Kong"
<kongwoei@gmail.com></b> </font>
<p><font size=1 face="sans-serif">06/10/2008 05:53 AM</font>
<table border>
<tr valign=top>
<td bgcolor=white>
<div align=center><font size=1 face="sans-serif">Please respond to<br>
users@lists.scilab.org</font></div></table>
<br>
<td width=59%>
<table width=100%>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">To</font></div>
<td><font size=1 face="sans-serif">users@lists.scilab.org</font>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">cc</font></div>
<td>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">Subject</font></div>
<td><font size=1 face="sans-serif">[scilab-Users] SciLab features</font></table>
<br>
<table>
<tr valign=top>
<td>
<td></table>
<br></table>
<br>
<br>
<br><font size=3>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</font>
<br>