| polytope | 129 | 16 | 8.0 | 0.003099 | 1909.00890,1909.01175,etc |
| minimizers | 79 | 12 | 6.0 | 0.001823 | 1909.02381,1909.02727,etc |
| simplices | 100 | 14 | 7.462 | 0.001454 | 1909.00940,1909.01189,etc |
| simplicial | 160 | 23 | 7.136 | 0.001423 | 1909.00332,1909.00940,etc |
| tuple | 141 | 15 | 9.857 | 0.001351 | 1909.00323,1909.00569,etc |
| cohomology | 184 | 23 | 8.136 | 0.001271 | 1909.00272,1909.00380,etc |
| abelian | 77 | 15 | 4.929 | 0.001253 | 1909.00439,1909.01427,etc |
| morphism | 524 | 49 | 10.833 | 0.001122 | 1909.00069,1909.00376,etc |
| matrices | 620 | 82 | 7.593 | 0.00111 | 1909.00014,1909.00083,etc |
| morphisms | 287 | 34 | 8.545 | 0.001052 | 1909.00069,1909.00376,etc |
| pairwise | 47 | 11 | 4.3 | 0.000934 | 1909.00439,1909.01581,etc |
| codimension | 149 | 22 | 6.762 | 0.0009 | 1909.00445,1909.00768,etc |
| homeomorphic | 59 | 11 | 4.6 | 0.000866 | 1909.01577,1909.02324,etc |
| otimes | 103 | 12 | 9.091 | 0.000843 | 1909.00002,1909.00388,etc |
| equivariant | 217 | 23 | 9.545 | 0.000787 | 1909.00380,1909.00846,etc |
| endpoints | 122 | 26 | 4.64 | 0.000772 | 1909.00026,1909.00262,etc |
| nontrivial | 85 | 13 | 6.833 | 0.00072 | 1909.00487,1909.01898,etc |
| boundedness | 64 | 14 | 4.462 | 0.000703 | 1909.00474,1909.00636,etc |
| optimality | 105 | 19 | 5.167 | 0.000669 | 1909.00510,1909.00717,etc |
| varphi | 69 | 12 | 6.0 | 0.000663 | 1909.00491,1909.01472,etc |
| ldots | 137 | 11 | 12.4 | 0.000639 | 1909.00458,1909.01143,etc |
| endpoint | 58 | 13 | 4.583 | 0.000624 | 1909.00946,1909.01151,etc |
| homotopy | 139 | 21 | 6.6 | 0.000621 | 1909.01325,1909.02324,etc |
| preimage | 46 | 12 | 3.909 | 0.000597 | 1909.00768,1909.01309,etc |
| langle | 68 | 13 | 5.333 | 0.000586 | 1909.00569,1909.00708,etc |
| diffeomorphism | 94 | 18 | 5.235 | 0.000548 | 1909.00420,1909.00445,etc |
| htbp | 67 | 13 | 5.0 | 0.000532 | 1909.00305,1909.00629,etc |
| ll | 84 | 20 | 4.211 | 0.000515 | 1909.01209,1909.02233,etc |
| iffalse | 57 | 11 | 5.0 | 0.000447 | 1909.00575,1909.01308,etc |
| monotonicity | 48 | 12 | 4.091 | 0.00017 | 1909.00946,1909.01192,etc |