The Mizar project
Formal Methods
Algorithms for classes of graphs
Interconnection Networks
Mesh Generation
Algebraic and Numerical Algorithms
Genetic Algorithms
Please see also our home pages.