|
|
|
|
|
Algorithms
|
A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
http://www.eecs.umich.edu/gasm/
PageRank: 0/10
(Clicks: 1;
Comments: 0;
Listing added: Sep 1, 2008)
|
|
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.
http://www.cs.sunysb.edu/~algorith/
PageRank: 0/10
(Clicks: 1;
Comments: 0;
Listing added: Aug 26, 2008)
|
|
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/
PageRank: 0/10
(Clicks: 1;
Comments: 0;
Listing added: Aug 26, 2008)
|
|
|
|
|
|
|
|
|
|
