This semester I am teaching a course which over the years has had many names (Computational algebra, Symbolic computation, Categories and automata, etc, etc) but which is really my thoughts about relations between algebra and computer science. For some years I used Maple as an illustrative programming language, but it is expensive, and the faculty in Como has withdrawn support, closing the laboratory which had Maple installed a couple of years ago. So this year at the last moment I thought of using Common Lisp (Clisp). To be honest I am not a programmer though I have written programs in a large number of different languages but not in Lisp.
Read more »
Labels: category theory, computing