Particle Swarm Optimization toolkit (with GUI) - Allows you to implement PSO algorithm for optimization of engineering/finance/management systems.
DRINKS is a set of smart web-based widgets.
The Eagle automated theorem prover is a system for developing proofs for theorems in predicate logic.
An Ocaml module providing exact arithmetic on real numbers by internally representing them as (eventually infinite) continued fractions.
This project is focused on development of computational tools for the unfolding and visualization of medial temporal lobe structures based on high-resolution magnetic resonance imaging (MRI) images. Click on the Home Page link above for more information
JimboVector 3D is a suite of applications and source code which allow 3D application developers to easily implement complex 3D items into their projects. Such items would include character animations and physics, 3D maps, realtime 3D animated cutscenes,
The source code and supporting documents for the proofs of the Kepler and Dodecahedral conjectures.
A framework for generation of real-time numerical simulations of dynamical systems from differential and difference equations.
Model-based AI planner using binary decision diagrams. PropPlan parses PDDL descriptions of the domain and the problem, and outputs a plan.