Software
Some link to software I wrote and decided to release using Google Code
An ECLiPSe - CSDP Interface
Go to http://code.google.com/p/eclipse-clp-csdp/ to get a the code/documentation, as little as there is of it.
This code allows user to solve Semidefinite Programs in the version of Prolog found in ECLiPSe-CLP.
A Fourier-Motzkin eliminator
This code takes as input a set of linear equalities and inequalities and a set of variables on which to project the polytope. Goto http://code.google.com/p/fm-eliminator/ to get a the code/documentation, as little as there is of it.