Comp. Science Mathematics Debian Software Home

Software Here you can download some software I have written. You may also be interested in the packages I maintain for Debian.    Jacobian package The Jacobian package is a collection of computer algebra routines written in Maple, Magma and Singular dealing with computations on polynomial mappings and derivations. I have co-developed this while I worked at the University of Nijmegen. It is available as a tar-file.    Neural network This is an implementation of a simple backpropagation neural network in C. It is hosted on SourceForge.    Wallaroo Linear Constraint Solving Library This is an implementation of a (variant of) the simplex method to solve systems of linear equalities, inequalities, strict inequalities, and disequalities. It is hosted on SourceForge.    MathSAT While I was at ITC-Irst in Trento, I co-developed MathSAT, a satisfiability checker for boolean formulas over theories such as linear arithmetic or equality and uninterpreted functions.    Set Set is a card game where you have to find 3 cards with matching or differing properties from a collection of 12 cards. I have implemented a client/server program for playing this game over the Internet. It uses the ClanLib Game SDK.