http://web.cs.ualberta.ca/Academic/labs/algorithmics.html (PC Press Internet CD, 03/1996)![[Laboratory for Algorithmics Research]](/view-pcpress_n/http://web.cs.ualberta.ca/~theory/gif/header.gif)
`
Faculty, Staff, and Graduate Students
Photographs, pronunciations, and names
Names only
Research Activities
Graph Coloring
Algorithms for classes of graphs
Algebraic and Numerical Algorithms
Please see also our home pages.
Research Equipment
Laboratory
Office
Software
Maple V
Rational Rose
VisualWorks
FTP Access 
Additional Information 
November 16, 1995
The Mizar project 
Formal Methods
Interconnection Networks
Mesh Generation
Genetic Algorithms