http://math.andrej.com/2005/12/02/design-of-computer-algebra-systems/ Mathematics for computers Wed, 20 Aug 2008 12:21:37 +0000 http://wordpress.org/?v=2.3.3 http://math.andrej.com/2005/12/02/design-of-computer-algebra-systems/#comment-52 Andrej Bauer Thu, 16 Feb 2006 23:59:48 +0000 http://math.andrej.com/2005/12/02/design-of-computer-algebra-systems/#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-51 Jon Wed, 07 Dec 2005 03:00:54 +0000 http://math.andrej.com/2005/12/02/design-of-computer-algebra-systems/#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.

]]>