|
| | Abstract State Machines     |
| | A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
http://www.eecs.umich.edu/gasm/ |
|
|
| | 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.
http://sigact.acm.org/ |
|
|
| | The Algorithm Base |
| | Database of algorithms. May be scanned through or can be questioned through a knowledge based assistant. Links to originating web sites.
http://www.intelligenceunited.com/index2.html |
|
|
| | Algorithm Design Paradigms |
| | A course by Paul Dunne at the University of Liverpool. Slides and notes in HTML and PS.
http://www.csc.liv.ac.uk/~ped/teachadmin/algor/algor.html |
|
|
| | Algorithms Archive |
| | A collection including searching, sorting, tracking, mathematics and cellular automata. In English and Italian.
http://editor.altervista.org/ |
|
|
| | Algorithms Courses |
| | Links to courses in algorithms maintained at various university computer science departments.
http://www.cs.pitt.edu/~kirk/algorithmcourses/ |
|
|
| | Algorithms in the Real World |
| | Notes for a course at Carnegie Mellon University.
http://www.cs.cmu.edu/~guyb/realworld.html |
|
|
| | 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.
http://algo.inria.fr/AofA/ |
|
|
| | CATS: Combinatorial Algorithms Test Sets |
| | Searchable index of problems, links and methodology.
http://www.jea.acm.org/CATS/ |
|
|
| | Combinatorial Algorithms |
| | Lecture notes of a course at San Diego State University.
http://www.eli.sdsu.edu/courses/fall95/cs660/notes/ |
|
