Abstract State Machines
A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
Algorithm Design Paradigms
A course by Paul Dunne at the University of Liverpool. Slides and notes in HTML and PS.
Algorithms Archive
A collection including searching, sorting, tracking, mathematics and cellular automata. In English and Italian.
CATS: Combinatorial Algorithms Test Sets
Searchable index of problems, links and methodology.
Combinatorial Algorithms
Course material, syllabus and notes for a course by Roger Whitney at SDSU.
Computer Programming Algorithms Directory
Resources that describe computer programming algorithms.
Introduction to Quantum Algorithms
An introduction to quantum algorithms by Matthew Hayward for those new to the field and who do not have an extensive physics background.
On the Road to Algorithms
Information on algorithms such as Bubble Sort and Random Number Generation, using HTML, Java and Perl. Collected by Lam Ka Chun (Raymond).
OOPWeb Algorithms Directory
Algorithms lecture notes, courses, tutorials, references, guides and online books.
Self-stabilizing Algorithms
A project to create tools for developing and testing self-stabilizing algorithms.
Softpanorama Virtual Library
Section on Algorithms and Data Structures. A compilation of links.
Stony Brook Algorithm Repository
This is a collection of implementations for 75 fundamental algorithms problems, including data structures, numerical and combinatorial algorithms,graph algorithms, and computationa…
The Algorithm Base
Database of algorithms. May be scanned through or can be questioned through a knowledge based assistant. Links to originating web sites.
Web Data Structures and Algorithms
Lecture notes and links for a course by Godfried Toussaint.