| ldots | 79 | 11 | 7.4 | 0.00189 | 1802.02074,1802.04646,etc |
| morphism | 363 | 32 | 10.161 | 0.001323 | 1802.07588,1802.03655,etc |
| langle | 80 | 13 | 6.0 | 0.001219 | 1802.01836,1802.01209,etc |
| simplicial | 129 | 15 | 9.0 | 0.001113 | 1802.03655,1802.03648,etc |
| simplices | 121 | 12 | 10.364 | 0.000951 | 1802.03210,1802.04862,etc |
| endpoints | 118 | 17 | 6.875 | 0.000824 | 1802.02715,1802.00716,etc |
| cohomology | 250 | 30 | 8.241 | 0.000798 | 1802.02715,1802.00716,etc |
| homotopy | 129 | 20 | 6.526 | 0.000771 | 1802.00716,1802.00984,etc |
| matrices | 458 | 70 | 6.58 | 0.000753 | 1802.04079,1802.07150,etc |
| tuple | 60 | 13 | 4.75 | 0.000723 | 1802.07386,1802.06719,etc |
| ll | 146 | 27 | 5.154 | 0.000666 | 1802.00831,1802.00602,etc |
| morphisms | 181 | 24 | 7.609 | 0.000611 | 1802.07588,1802.03655,etc |
| codimension | 71 | 12 | 6.182 | 0.000583 | 1802.06487,1802.01322,etc |
| qedhere | 48 | 11 | 4.3 | 0.000571 | 1802.06844,1802.00481,etc |
| equivariant | 76 | 12 | 6.182 | 0.00057 | 1802.00779,1802.03261,etc |
| orientable | 59 | 11 | 4.8 | 0.000506 | 1802.05770,1802.04862,etc |
| optimality | 67 | 18 | 3.765 | 0.000478 | 1802.05426,1802.03559,etc |
| boundedness | 118 | 22 | 5.238 | 0.000477 | 1802.04860,1802.05967,etc |
| nontrivial | 71 | 13 | 5.667 | 0.000467 | 1802.06487,1802.05705,etc |
| nabla | 63 | 11 | 5.9 | 0.000333 | 1802.01895,1802.03687,etc |
| homeomorphic | 65 | 12 | 5.545 | 0.000327 | 1802.02715,1802.01800,etc |
| monotonicity | 44 | 12 | 3.636 | 0.000255 | 1802.04414,1802.06652,etc |
| varphi | 74 | 14 | 5.385 | 0.00023 | 1802.03655,1802.01965,etc |