Popular repositories Loading

1. gradpart gradpart Public

   2

2. 4-regular-plane-graphs-with-given-faces 4-regular-plane-graphs-with-given-faces Public

   C 1 1

3. qud qud Public

   Quadrangulation with the longest induced cycle of length 6

   1

4. sat-modulo-symmetries sat-modulo-symmetries Public

   Forked from markirch/sat-modulo-symmetries

   C++ 1

5. doc doc Public

   Forked from Z3Prover/doc

   Documentation

   HTML

6. Spectra-of-graphs Spectra-of-graphs Public

   Forked from meapistol/Spectra-of-graphs

   One Mathematica program computes the spectrum of a graph with a Laplacian on the edges (a quantum graph). The other programs find sets of isospectral quantum graphs.

   Mathematica