C++ libraries for manipulations in non-Euclidean geometry
Constraint Satisfaction Problem solving library for Java
A library for graph deep learning research
Integrator for hardware and software
Create multi-degree polynominals charts. Designed in FbEdit & WinAPI.
Bachelor of Science (Informatik)
A system for computer algebra and symbolic mathematics
MS Access database converts the Catalogue of Life into a gedcom format
Finds bad examples for the local search Path Partitioning algorithm