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.
Grounded in years of research and real-world experience,
CERT's forensics team focuses on "gap areas" not addressed
by commercial tools or standard techniques. Some of their
current work includes:
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.
