Computational algebraic number theory
Best Tool For Information Gathering
A library and a GUI front-end for fuzzy machine learning
HF/VHF spectrosopy code for the rx888mk2 direct-sampling receiver
opbdp (non-linear) pseudo-Boolean optimization
A collection of tools used in the enumeration of solution spaces
MolTPC provides a solution for fully automatic tautomer enumeration.