| unramified | 91 | 11 | 8.7 | 0.002391 | 1901.01746,1901.01954,etc |
| equivariant | 140 | 17 | 8.25 | 0.001802 | 1901.00129,1901.00599,etc |
| diffeomorphism | 73 | 12 | 5.636 | 0.00147 | 1901.00274,1901.00806,etc |
| morphism | 315 | 38 | 8.135 | 0.00139 | 1901.00831,1901.01393,etc |
| matrices | 408 | 61 | 6.75 | 0.001161 | 1901.00050,1901.00654,etc |
| pointwise | 61 | 11 | 5.8 | 0.001089 | 1901.01299,1901.01329,etc |
| tuples | 107 | 13 | 8.5 | 0.001074 | 1901.00316,1901.00836,etc |
| homotopy | 161 | 19 | 8.667 | 0.000941 | 1901.01257,1901.01322,etc |
| monotonicity | 118 | 20 | 5.947 | 0.000867 | 1901.01196,1901.02169,etc |
| cohomology | 117 | 14 | 7.923 | 0.000786 | 1901.00193,1901.01301,etc |
| tuple | 114 | 16 | 7.267 | 0.000767 | 1901.00316,1901.00387,etc |
| boundedness | 97 | 12 | 8.545 | 0.000659 | 1901.00335,1901.01285,etc |
| subalgebra | 56 | 11 | 5.2 | 0.000636 | 1901.00316,1901.01226,etc |
| langle | 71 | 12 | 6.091 | 0.000579 | 1901.01128,1901.01782,etc |
| codeword | 146 | 26 | 5.52 | 0.00055 | 1901.00179,1901.00387,etc |
| morphisms | 136 | 19 | 7.167 | 0.000535 | 1901.00207,1901.00831,etc |
| codewords | 114 | 19 | 5.889 | 0.000518 | 1901.00179,1901.00939,etc |
| optimality | 64 | 12 | 5.091 | 0.000513 | 1901.00356,1901.00359,etc |
| robustness | 74 | 15 | 5.0 | 0.000487 | 1901.00343,1901.00968,etc |
| homotopic | 65 | 11 | 6.2 | 0.000482 | 1901.01173,1901.01393,etc |
| nontrivial | 89 | 16 | 5.667 | 0.00047 | 1901.00815,1901.01173,etc |
| endpoints | 85 | 16 | 5.333 | 0.00044 | 1901.00474,1901.01301,etc |
| codimension | 107 | 17 | 6.5 | 0.000419 | 1901.00078,1901.01402,etc |
| abelian | 72 | 11 | 6.9 | 0.000389 | 1901.00193,1901.00930,etc |
| ll | 104 | 23 | 4.591 | 0.000359 | 1901.01077,1901.01121,etc |
| homeomorphic | 52 | 13 | 4.083 | 0.000294 | 1901.00815,1901.01173,etc |
| qedhere | 63 | 13 | 5.0 | 0.000228 | 1901.01383,1901.01767,etc |