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
Scone is used to research problems in Knowledge representation
Magnus
Project Description
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 at City College
of New York at part of the
CAISS 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.
Function Extraction (FX) is a disruptive new technology
with potential to improve the economics of software
development and increase the dependability of software
systems.
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.
