| matroid | 304 | 15 | 18.571 | 0.003133 | 1807.06552,1807.06545,etc |
| simplicial | 142 | 17 | 8.5 | 0.002179 | 1807.05297,1807.07372,etc |
| equivariant | 131 | 17 | 6.875 | 0.001894 | 1807.04832,1807.03020,etc |
| matrices | 369 | 61 | 5.733 | 0.001376 | 1807.01170,1807.05751,etc |
| cohomology | 89 | 15 | 6.143 | 0.001253 | 1807.02178,1807.06512,etc |
| simplices | 108 | 16 | 6.933 | 0.001162 | 1807.05297,1807.00105,etc |
| nabla | 99 | 13 | 8.0 | 0.00102 | 1807.05078,1807.01118,etc |
| morphisms | 347 | 31 | 11.4 | 0.001012 | 1807.04832,1807.04305,etc |
| morphism | 463 | 46 | 10.222 | 0.000969 | 1807.04832,1807.04305,etc |
| boundedness | 101 | 18 | 5.765 | 0.000928 | 1807.04467,1807.05568,etc |
| unramified | 151 | 15 | 10.571 | 0.000883 | 1807.07482,1807.04736,etc |
| varphi | 52 | 11 | 4.9 | 0.000803 | 1807.01590,1807.01282,etc |
| diffeomorphism | 93 | 17 | 5.625 | 0.000745 | 1807.02086,1807.00176,etc |
| polytope | 86 | 15 | 5.786 | 0.000735 | 1807.05475,1807.06327,etc |
| endpoints | 135 | 20 | 6.895 | 0.00073 | 1807.01116,1807.07511,etc |
| ll | 142 | 27 | 5.346 | 0.000721 | 1807.00520,1807.04832,etc |
| codimension | 97 | 17 | 5.25 | 0.000656 | 1807.05751,1807.01929,etc |
| homotopy | 92 | 16 | 5.867 | 0.000535 | 1807.05751,1807.00833,etc |
| optimality | 91 | 16 | 5.733 | 0.000506 | 1807.01432,1807.01083,etc |
| monotonicity | 73 | 15 | 4.714 | 0.000487 | 1807.03344,1807.04866,etc |
| langle | 46 | 11 | 4.2 | 0.000441 | 1807.01610,1807.07835,etc |
| minimality | 76 | 14 | 3.923 | 0.00044 | 1807.02313,1807.07457,etc |
| endpoint | 70 | 11 | 6.6 | 0.000439 | 1807.01038,1807.00541,etc |
| tuple | 128 | 23 | 5.682 | 0.000409 | 1807.03327,1807.01141,etc |
| qedhere | 91 | 13 | 7.333 | 0.000343 | 1807.02086,1807.06787,etc |