Abstract State Machines - A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
ACM SIGACT - Special Interest Group on Algorithms and Computation Theory, the ACM special interest group for Theoretical Computer Science. Site has membership information, meetings, reports and a newsletter for members.
The Algorithm Base - Database of algorithms. May be scanned through or can be questioned through a knowledge based assistant. Links to originating web sites.
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.
Algorithms Courses - Links to courses in algorithms maintained at various university computer science departments.
Analysis Of Algorithms - An initiative of attendees of the 1997 Dagstuhl seminar, these pages provide research papers, a bulletin board, and links to researchers and other resources in the field. The focus is on average case and probabilistic analysis.
Design and Analysis of Computer Algorithms - Lecture notes; applets and code in C, C++, and Java; links regarding books, journals, computability, quantum computing, societies and organizations.
Dictionary of Algorithms, Data Structures, and Problems - A dictionary of algorithms, algorithmic techniques, data structures, and archetypical problems, with related definitions. Many entries have links to implementations, tutorials, and bibliographical references.
Introduction to Quantum Algorithms - A introduction to quantum algorithms by Matthew Hayward for those new to the field and who do not have a 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).
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 computational geometry. Implementations are available in C++, Java, Fortran, and other languages.
Anything Goes Trivia
Trevor
Megaton Man
