four-color-theorem
There are 0 repository under four-color-theorem topic.
coq-community / fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
Language:Coq 151akleemans / fourcolors
An interactive, visual demonstration of the four color theorem.
Language:Processing 24stefanutti / maps-coloring-python
Four color theorem, Guthrie, Kempe, Tait and other people and stuff
Language:Python 9- Language:Ruby 1
Four color theorem, Guthrie, Kempe, Tait and other people and stuff
Language:Java 1- Language:Haskell 0
Four color theorem, Guthrie, Kempe, Tait and other people and stuff
0carlosal1015 / 4colores
Diapositivas para la charla "El teorema de cuatro colores" para el curso CM-254 en FC-UNI, 18 de junio del 2018.
Language:TeX- Language:Rust
florencecat / four-colors-theorem
This code demonstrates my implementation of the four color theorem - the algorithm paints the map with just four colors.
Language:C++gprzy / metropolitan-region-graph
🗾 Graph of the metropolitan region of Curitiba-PR with DFS and BFS examples, as well as Dijkstra's algorithm
Language:Jupyter Notebook- Language:F#
