| matroid | 401 | 11 | 37.8 | 0.003377 | 1804.07366,1804.02029,etc |
| optimality | 129 | 19 | 6.889 | 0.002477 | 1804.02100,1804.06663,etc |
| codimension | 171 | 15 | 11.857 | 0.001963 | 1804.00144,1804.06185,etc |
| matroids | 110 | 13 | 8.583 | 0.001747 | 1804.07366,1804.02029,etc |
| matrices | 532 | 78 | 6.87 | 0.001321 | 1804.02614,1804.02383,etc |
| homotopy | 107 | 14 | 7.846 | 0.001108 | 1804.00269,1804.06185,etc |
| simplicial | 108 | 15 | 7.429 | 0.001079 | 1804.07366,1804.05189,etc |
| homeomorphic | 64 | 11 | 4.2 | 0.001073 | 1804.05189,1804.06221,etc |
| codeword | 59 | 11 | 5.3 | 0.00095 | 1804.02263,1804.01706,etc |
| abelian | 78 | 13 | 6.25 | 0.000935 | 1804.02383,1804.06840,etc |
| tuples | 62 | 13 | 4.917 | 0.000845 | 1804.04062,1804.05189,etc |
| morphism | 381 | 42 | 8.976 | 0.00075 | 1804.02383,1804.00144,etc |
| morphisms | 199 | 25 | 8.167 | 0.00074 | 1804.00144,1804.03829,etc |
| langle | 116 | 12 | 7.455 | 0.000708 | 1804.03292,1804.06975,etc |
| preimage | 63 | 11 | 5.9 | 0.000681 | 1804.02383,1804.07589,etc |
| ll | 132 | 22 | 6.095 | 0.000646 | 1804.02140,1804.06209,etc |
| nabla | 81 | 15 | 5.571 | 0.00058 | 1804.03292,1804.03793,etc |
| diffeomorphism | 89 | 13 | 5.667 | 0.000572 | 1804.03188,1804.06221,etc |
| cohomology | 180 | 20 | 9.263 | 0.000568 | 1804.00269,1804.06185,etc |
| monotonicity | 67 | 14 | 4.923 | 0.000562 | 1804.06906,1804.03378,etc |
| endpoints | 118 | 25 | 4.792 | 0.000487 | 1804.03188,1804.05189,etc |
| equivariant | 166 | 27 | 6.154 | 0.000453 | 1804.07519,1804.02383,etc |
| tuple | 83 | 16 | 5.0 | 0.000353 | 1804.05189,1804.02587,etc |
| subalgebra | 49 | 11 | 4.6 | 0.000332 | 1804.06975,1804.01833,etc |
| pairing | 108 | 16 | 6.933 | 0.000286 | 1804.03292,1804.06638,etc |
| boundedness | 56 | 13 | 4.167 | 0.000247 | 1804.03378,1804.07213,etc |