graph theory

Stream: new members

[Barrie Cooper]

Barrie Cooper said:

Hi. I'm new to Zulip and fairly new to Lean. I've been coding up some definitions and theorems on (multi)graphs, morphisms and isomorphisms from my 3rd-year course with the vague aim of getting students to play with some of these (e.g. as a "graphs game" like the natural number game). Thanks to all for the inspiring work you've done so far.

Anyway, if anyone is interested my approach is here: https://github.com/barriecooper/lean-graphs/. Feedback is very welcome (like I said, I'm fairly new to Lean). Thanks also to my colleague Gihan Marasingha for encouraging me to post something here.

[Johan Commelin]

@Barrie Cooper Welcome to zulip! I'm not a graph theory expert. But it's great to see that this corner of mathematics now has quite some representation in the community.

[Barrie Cooper]

Thanks - I'm looking forward to all the developments :)

[Patrick Massot]

Indeed there are people who are interested in graph theory in this community, but maybe they are not around today.

[Mario Carneiro]

Note the stream in particular: #graph theory

[Esteban Estupinan]

hi someone knows, Does anyone know of any easy-to-use software package to analyze graph theory?

[Yakov Pechersky]

Python has networkx

[Esteban Estupinan]

yes but it not contain an algorithm related to Hamiltonian paths, that's why I was looking at some other option

[Eric Wieser]

Citation needed: https://networkx.org/documentation/stable/reference/algorithms/generated/networkx.algorithms.tournament.hamiltonian_path.html#networkx.algorithms.tournament.hamiltonian_path