Axiom
is a general purpose, free, and
open source Computer Algebra system. It was developed
under the direction of Richard Jenks. I am the lead
developer on the project.
Quantian Live CD joint work
Real Algebraic Closure
Clifford Algebra
Parametric Linear Algebra
Infinite Group Theory
Axiom Type Resolution
OpenMath
Symbolic Summation
Literate Journal
Symbolic Group Theory
Fedora
ACM ISSAC Proceedings
Magnus is a special purpose, free, and
open source Computer Algebra system in Infinite Group
Theory. It was developed
under the direction of Gilbert Baumslag. I am the lead
developer on the project.
Doyen is a Science Platform. It features a Live CD
that contains free and open source science software
and a Wiki user interface that runs on a laptop. It
also features a host-based Wiki that allows drag-and-drop
movement of literate programs. These literate programs
contain both Latex and program source code and are
automatically expanded into documentation, compiled,
and added into the local system.
The Doyen Project is co-sponsored by CAISS and Red Hat.
The FX vision is creation of an advanced technology
that automatically and unambiguously determines the
complete behaviour of software by applying precise
mathematical foundations -- redefining the state of
the art in software functionality analysis.
Presentation to NYC Lisp Users Group
Trinity Church, NY, NY
May 10, 2005
Teaching
Open Source Programming
Spring 2004
Philosophy, tools, and techniques for participating
in open source projects. The
class notes
are online as tex, dvi, and pdf files.
