Tool support for the Z formal notation
A shared memory parallel sparse matrix library including Sparse BLAS.
Dynamical systems research tool
Interactive geometry software for Euclidean and non-Euclidean spaces
pss5 is a polynomial system solver, under development.
This is the Curriculum for "How to Learn Mathematics Fast"
TI graphing calculators <-> computer communication software
library for Bilinear Pairing
A lightweight Implementation of Conway's Game of Life
LIME is a software tool for creating multiphysics simulation codes.