-----BEGIN PGP SIGNED MESSAGE-----
<br>Hash: SHA1
<br>
<br>See Ocaml Mathematical Framework here <a href="http://osp2007.janestcapital.com/">http://osp2007.janestcapital.com/</a><br><br>-----BEGIN PGP SIGNATURE-----
<br>Version: GnuPG v1.4.7 (MingW32)
<br>Comment: <a href="http://firegpg.tuxfamily.org">http://firegpg.tuxfamily.org</a>
<br>
<br>iD8DBQFG1/V2HfwTJs1Ix7cRAg+cAKCPBWDZ8ITXavjnnIwWXHfl6aFGvACfYLRD
<br>e9Q8wIWa+xr7TVT0wT+cbqM=
<br>=lh65
<br>-----END PGP SIGNATURE-----
<br><span class="gmail_quote">On 8/31/07, <b class="gmail_sendername">guanhua he</b> &lt;<a href="mailto:guanhua.he@durham.ac.uk">guanhua.he@durham.ac.uk</a>&gt; wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Dear All,<br><br>Does anyone know any good computer algebraic systems library in ocaml? I<br>need a such library to deal with polynomial problem. The library should<br>offer functions like &quot;expand((x+y)^3)&quot;, &quot;factor(x^2 - 1)&quot;, &quot;gcd(p1,p2)&quot;
<br>as Mathematica or Maxima does.<br><br>Thank you very much for your help.<br><br>Best Regards,<br>&nbsp;&nbsp;Guanhua<br><br>_______________________________________________<br>Caml-list mailing list. Subscription management:<br>
<a href="http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list">http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list</a><br>Archives: <a href="http://caml.inria.fr">http://caml.inria.fr</a><br>Beginner&#39;s list: 
<a href="http://groups.yahoo.com/group/ocaml_beginners">http://groups.yahoo.com/group/ocaml_beginners</a><br>Bug reports: <a href="http://caml.inria.fr/bin/caml-bugs">http://caml.inria.fr/bin/caml-bugs</a><br></blockquote>
<br><br clear="all"><br>-- <br>Dário Abdulrehman
<br><br>