| morphism | 408 | 30 | 13.69 | 0.001788 | 1505.00019,1505.00213,etc |
| simplicial | 107 | 13 | 8.417 | 0.001751 | 1505.00213,1505.00974,etc |
| cohomology | 143 | 22 | 6.667 | 0.001643 | 1505.00635,1505.00717,etc |
| sofotasios | 166 | 12 | 14.636 | 0.001619 | 1505.02368,1505.03097,etc |
| codimension | 86 | 12 | 6.545 | 0.001435 | 1505.00635,1505.01317,etc |
| homeomorphic | 70 | 12 | 6.091 | 0.001228 | 1505.00520,1505.00830,etc |
| polytope | 94 | 12 | 7.545 | 0.00122 | 1505.00130,1505.01034,etc |
| freear | 118 | 12 | 10.364 | 0.001146 | 1505.02368,1505.03097,etc |
| equivariant | 151 | 15 | 9.929 | 0.001138 | 1505.00754,1505.00759,etc |
| nabla | 75 | 11 | 7.1 | 0.00107 | 1505.00132,1505.00414,etc |
| diffeomorphism | 100 | 14 | 7.462 | 0.00094 | 1505.02551,1505.02935,etc |
| matrices | 484 | 79 | 6.154 | 0.000891 | 1505.00032,1505.00048,etc |
| homotopy | 120 | 20 | 5.947 | 0.000666 | 1505.00213,1505.00505,etc |
| ll | 177 | 29 | 6.179 | 0.000607 | 1505.00153,1505.00460,etc |
| morphisms | 159 | 22 | 7.19 | 0.000537 | 1505.00019,1505.00048,etc |
| endpoints | 63 | 15 | 4.214 | 0.000471 | 1505.00201,1505.00297,etc |
| varphi | 57 | 11 | 5.3 | 0.000435 | 1505.00032,1505.00454,etc |
| optimality | 55 | 12 | 4.545 | 0.000431 | 1505.00026,1505.00369,etc |
| monotonicity | 50 | 12 | 4.273 | 0.000402 | 1505.01528,1505.01660,etc |
| boundedness | 62 | 14 | 4.538 | 0.000363 | 1505.00518,1505.00856,etc |
| nontrivial | 45 | 12 | 3.727 | 0.000253 | 1505.01001,1505.01548,etc |