Evolving Algebras [IA][Direct] -
General-purpose specification and validation methodology for hardware and software systems. Logic programming and WAM.
LEDA [IA][Direct] -
Library of the data types and algorithms of combinatorial computing, implemented in C++ language.
Memetic Algorithms [IA][Direct] -
A population-based approach for heuristic search in optimization problems. It intends to include all information available on the Web.
Opsis [IA][Direct] -
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.
Pattern Matching Pointers [IA][Direct] -
Links to people and resources related to the issues of searching and matching strings and more complex structures.
REDUCE [IA][Direct] -
General-purpose computer algebra system available for a wide range of computer architectures and operating systems.