Constraint Satisfaction Problem solving library for Java
C++ libraries for manipulations in non-Euclidean geometry
Bachelor of Science (Informatik)
A system for computer algebra and symbolic mathematics
Finds bad examples for the local search Path Partitioning algorithm
Dynamic Bayesian Network Library