LEDA
- Library of the data types and algorithms of combinatorial computing, implemented in C++ language.
Memetic Algorithms
- a population-based approach for heuristic search in optimization problems. It intends to include all information available on the Web.
Opsis
- Java applet that can be used to teach balanced binary search tree algorithms. Unique in that it combines elements of programming, proof, and animation to enhance learning.
REDUCE
- general-purpose computer algebra system available for a wide range of computer architectures and operating systems.