A formal mathematical library covering results in graph theory, with a focus on graph algorithms and results from combinatorial optimisation. Results include: A set-based simple representation of ...
A formal mathematical library covering results in graph theory, with a focus on graph algorithms and results from combinatorial optimisation. Results include: A set-based simple representation of ...
This course is an introduction to combinatorics with a focus that includes graph theory. Specific topics covered are enumerative combinatorics up to inclusion-exclusion, the theory of simple graphs, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results