Zulip Chat Archive
Stream: graph theory
Topics:
- set {s : sym2 V // ¬s.is_diag} (15 messages, latest: Jul 18 2021 at 15:09)
- bounded_lattice (simple_graph V) (25 messages, latest: Jul 16 2021 at 20:13)
- Spectrum of a graph (45 messages, latest: Jul 14 2021 at 05:31)
- sym vs symm (1 message, latest: Jul 13 2021 at 21:51)
- multigraph definition (13 messages, latest: Jul 11 2021 at 00:34)
- Szemerédi's Theorem (6 messages, latest: Jul 10 2021 at 20:09)
- Ramsey THeory (2 messages, latest: Jul 10 2021 at 18:15)
- simple_graphs2 (182 messages, latest: Jul 10 2021 at 07:55)
- directed graphs (24 messages, latest: Jul 09 2021 at 00:47)
- walks (66 messages, latest: Jun 25 2021 at 02:56)
- matchings (86 messages, latest: Jun 24 2021 at 22:22)
- coq (1 message, latest: Apr 22 2021 at 21:44)
- Creating an edge from vertices (16 messages, latest: Apr 02 2021 at 10:13)
- Random graphs? (11 messages, latest: Feb 22 2021 at 23:46)
- coordination/github projects (15 messages, latest: Feb 04 2021 at 18:47)
- naming conventions (3 messages, latest: Jan 18 2021 at 06:06)
- Hall's marriage problem (6 messages, latest: Jan 10 2021 at 01:26)
- Construct path from walk? (56 messages, latest: Dec 14 2020 at 06:29)
- graph theory PRs (8 messages, latest: Dec 10 2020 at 20:36)
- Applications (30 messages, latest: Dec 06 2020 at 23:42)
- concrete simple graph (60 messages, latest: Dec 01 2020 at 05:36)
- spans (28 messages, latest: Nov 14 2020 at 02:17)
- graph defs (115 messages, latest: Nov 08 2020 at 22:07)
- cycles (6 messages, latest: Oct 24 2020 at 02:31)
- ramsey news (1 message, latest: Sep 25 2020 at 16:12)
- hedetniemi branch (21 messages, latest: Sep 15 2020 at 23:32)
- category of graphs (100 messages, latest: Aug 31 2020 at 21:04)
- freek 83 (31 messages, latest: Aug 29 2020 at 18:56)
- 3458 (3 messages, latest: Aug 24 2020 at 23:59)
- meta (28 messages, latest: Aug 24 2020 at 22:23)
- infinite union of graphs (10 messages, latest: Aug 22 2020 at 16:56)
- subgraphs (4 messages, latest: Aug 18 2020 at 01:24)
- paths (74 messages, latest: Aug 13 2020 at 18:41)
- maximal paths via zorn? (153 messages, latest: Aug 13 2020 at 02:49)
- making mwes (10 messages, latest: Aug 12 2020 at 17:29)
- stream events (1 message, latest: Aug 12 2020 at 01:10)
Last updated: Jul 27 2021 at 04:13 UTC