[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Graph algorithms



Hi:

Has anybody formalized in any system graph algorithms like: Dijkstra shortest
path, Prim's MST or Ford-Fulkerson network flow?

Gilbert Lee from here has just finished formalizing these algorithms
in Mizar (at the level of graph operations) and we would like to know
who else has possibly done something similar.

Thanks and best,

-- 
Piotr Rudnicki              CompSci, University of Alberta, Edmonton, Canada
http://web.cs.ualberta.ca/~piotr