Had to reblog this post! I love linear algebra and programming. I am very interested in learning more about REDUCE and REDLOG.
Discussion of solved and unsolved problems, current research, and other mathematics related topics.
March 6, 2012 in WordPress Links | Tags: arnab bhattacharyya, existential quantification, harry dym, linear algebra, linear independence, programming, quantifier elimination, redlog, reduce, vector space, vectors, wordpress