http://math.andrej.com/2005/12/02/design-of-computer-algebra-systems/ Mathematics for computers Sun, 25 Jul 2010 09:06:21 +0000 http://wordpress.org/?v=2.9.1 hourly 1 http://math.andrej.com/2005/12/02/design-of-computer-algebra-systems/comment-page-1/#comment-52 Andrej Bauer Thu, 16 Feb 2006 23:59:48 +0000 http://math.andrej.com/?p=32#comment-52 I would hardly call Focal a "Computer Algebra System". It's a tool for writing correct programs. A computer algebra system is something that knows how to solve a cubic equation, for example. I would hardly call Focal a “Computer Algebra System”. It’s a tool for writing correct programs. A computer algebra system is something that knows how to solve a cubic equation, for example.

]]> http://math.andrej.com/2005/12/02/design-of-computer-algebra-systems/comment-page-1/#comment-51 Jon Wed, 07 Dec 2005 03:00:54 +0000 http://math.andrej.com/?p=32#comment-51 Not sure if you are aware of it, but there is an interesting certified CAS called <a href="http://focal.inria.fr/site/index.php?option=com_content&task=view&id=16&Itemid=49" rel="nofollow">Focal</a>. Not sure if you are aware of it, but there is an interesting certified CAS called Focal.

]]>