| simplices | 85 | 11 | 8.0 | 0.00187 | 1902.00627,1902.00805,etc |
| equivariant | 223 | 22 | 9.19 | 0.001841 | 1902.00803,1902.01383,etc |
| polytope | 101 | 14 | 7.462 | 0.001788 | 1902.00784,1902.00973,etc |
| morphisms | 262 | 27 | 9.808 | 0.001649 | 1902.00064,1902.00305,etc |
| morphism | 532 | 48 | 11.149 | 0.001583 | 1902.00064,1902.00305,etc |
| homotopy | 165 | 22 | 7.714 | 0.001201 | 1902.00126,1902.00627,etc |
| matrices | 569 | 77 | 7.434 | 0.00119 | 1902.00376,1902.00404,etc |
| boundedness | 77 | 13 | 5.25 | 0.001101 | 1902.00070,1902.00945,etc |
| diffeomorphism | 155 | 17 | 9.5 | 0.001041 | 1902.01249,1902.01261,etc |
| endpoints | 124 | 20 | 6.105 | 0.001012 | 1902.00051,1902.00158,etc |
| tuple | 84 | 14 | 5.923 | 0.000793 | 1902.00446,1902.00947,etc |
| nabla | 48 | 12 | 3.727 | 0.000692 | 1902.00158,1902.00283,etc |
| parametrization | 71 | 13 | 4.25 | 0.000635 | 1902.00444,1902.00627,etc |
| ll | 157 | 25 | 6.417 | 0.000598 | 1902.00051,1902.00151,etc |
| codimension | 87 | 14 | 6.462 | 0.000557 | 1902.00376,1902.00504,etc |
| minimizers | 69 | 11 | 6.3 | 0.00053 | 1902.00158,1902.00310,etc |
| endpoint | 55 | 12 | 4.727 | 0.000507 | 1902.00051,1902.00492,etc |
| monotonicity | 64 | 12 | 5.364 | 0.000399 | 1902.00731,1902.02094,etc |
| subalgebra | 61 | 12 | 5.091 | 0.000395 | 1902.00143,1902.00502,etc |
| langle | 111 | 14 | 8.231 | 0.000377 | 1902.00394,1902.00880,etc |
| robustness | 57 | 13 | 4.333 | 0.000221 | 1902.00901,1902.01226,etc |