| equivariant | 164 | 19 | 8.889 | 0.001322 | 1512.00580,1512.01045,etc |
| morphism | 384 | 40 | 9.718 | 0.001277 | 1512.00284,1512.00495,etc |
| minimizers | 96 | 11 | 9.2 | 0.00119 | 1512.00298,1512.01116,etc |
| matrices | 462 | 68 | 6.701 | 0.001183 | 1512.00057,1512.00115,etc |
| diffeomorphism | 104 | 15 | 7.214 | 0.001168 | 1512.00075,1512.01046,etc |
| morphisms | 229 | 28 | 8.222 | 0.001078 | 1512.00284,1512.01225,etc |
| subalgebra | 82 | 12 | 5.818 | 0.000939 | 1512.00753,1512.02106,etc |
| tuple | 88 | 18 | 4.588 | 0.00085 | 1512.00383,1512.00507,etc |
| submodule | 50 | 12 | 4.0 | 0.000815 | 1512.00273,1512.00926,etc |
| ll | 153 | 25 | 6.083 | 0.000797 | 1512.00675,1512.00706,etc |
| codimension | 115 | 15 | 7.5 | 0.000784 | 1512.00273,1512.00391,etc |
| nontrivial | 71 | 15 | 4.786 | 0.000765 | 1512.00273,1512.00726,etc |
| optimality | 47 | 11 | 4.4 | 0.000611 | 1512.01206,1512.01749,etc |
| homeomorphic | 82 | 14 | 5.385 | 0.00057 | 1512.00401,1512.00720,etc |
| varphi | 59 | 11 | 5.5 | 0.000548 | 1512.00265,1512.00503,etc |
| cohomology | 104 | 19 | 5.5 | 0.000462 | 1512.00398,1512.00588,etc |
| endpoints | 104 | 23 | 4.409 | 0.000447 | 1512.00179,1512.00513,etc |