C++ libraries for manipulations in non-Euclidean geometry
Data structures and Algorithms library
Constraint Satisfaction Problem solving library for Java
An updated Beginners guide to FreeBASIC
A system for computer algebra and symbolic mathematics
Bachelor of Science (Informatik)
Complete tool for constructing/manipulating languages in digital form