C++ libraries for manipulations in non-Euclidean geometry
A framework for implementing real-time control systems
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