| 1 | case | 102250 | 9322 | 10.158 | 0.001185 | 2001.00001,2001.00013,etc |
| 2 | result | 84341 | 9297 | 8.367 | 0.001013 | 2001.00001,2001.00036,etc |
| 3 | proof | 85703 | 7677 | 10.422 | 0.001189 | 2001.00037,2001.00042,etc |
| 4 | note | 66909 | 7500 | 8.265 | 0.000832 | 2001.00001,2001.00036,etc |
| 5 | paper | 46139 | 7394 | 5.979 | 0.000768 | 2001.00001,2001.00037,etc |
| 6 | section | 53784 | 7355 | 7.161 | 0.000747 | 2001.00001,2001.00037,etc |
| 7 | use | 42435 | 6271 | 6.718 | 0.000608 | 2001.00001,2001.00037,etc |
| 8 | function | 62213 | 6159 | 9.584 | 0.001656 | 2001.00001,2001.00036,etc |
| 9 | order | 46689 | 5913 | 8.391 | 0.001079 | 2001.00037,2001.00045,etc |
| 10 | fact | 38983 | 5680 | 6.606 | 0.00059 | 2001.00001,2001.00037,etc |
| 11 | example | 37832 | 5591 | 6.831 | 0.000758 | 2001.00001,2001.00036,etc |
| 12 | number | 52532 | 5496 | 9.467 | 0.001572 | 2001.00001,2001.00042,etc |
| 13 | point | 61446 | 5288 | 10.573 | 0.002036 | 2001.00001,2001.00036,etc |
| 14 | term | 40151 | 5204 | 7.369 | 0.00085 | 2001.00001,2001.00045,etc |
| 15 | definition | 39272 | 5132 | 7.536 | 0.000705 | 2001.00001,2001.00037,etc |
| 16 | form | 33144 | 4690 | 6.98 | 0.000875 | 2001.00001,2001.00037,etc |
| 17 | work | 25213 | 4467 | 5.663 | 0.000607 | 2001.00001,2001.00045,etc |
| 18 | problem | 39830 | 4384 | 9.72 | 0.001472 | 2001.00001,2001.00063,etc |
| 19 | solution | 51531 | 4285 | 12.448 | 0.001807 | 2001.00013,2001.00063,etc |
| 20 | respect | 28508 | 4095 | 6.578 | 0.000858 | 2001.00036,2001.00037,etc |
| 21 | value | 28151 | 3957 | 7.178 | 0.001008 | 2001.00001,2001.00036,etc |
| 22 | condition | 28393 | 3921 | 6.85 | 0.000978 | 2001.00036,2001.00037,etc |
| 23 | item | 38497 | 3897 | 9.007 | 0.001765 | 2001.00037,2001.00042,etc |
| 24 | theorem | 22422 | 3680 | 6.15 | 0.000816 | 2001.00042,2001.00045,etc |
| 25 | time | 35339 | 3626 | 10.657 | 0.001348 | 2001.00001,2001.00046,etc |
| 26 | study | 19584 | 3571 | 5.692 | 0.000674 | 2001.00001,2001.00045,etc |
| 27 | element | 34587 | 3541 | 9.321 | 0.001446 | 2001.00001,2001.00036,etc |
| 28 | need | 19533 | 3538 | 5.593 | 0.000466 | 2001.00001,2001.00037,etc |
| 29 | sequence | 30170 | 3479 | 8.462 | 0.001625 | 2001.00001,2001.00037,etc |
| 30 | property | 21118 | 3434 | 5.893 | 0.000756 | 2001.00037,2001.00042,etc |
| 31 | equation | 31615 | 3370 | 9.287 | 0.001532 | 2001.00013,2001.00092,etc |
| 32 | assumption | 20689 | 3250 | 6.302 | 0.000647 | 2001.00037,2001.00042,etc |
| 33 | right | 30541 | 3222 | 8.591 | 0.001597 | 2001.00001,2001.00045,etc |
| 34 | system | 33138 | 3105 | 9.716 | 0.002044 | 2001.00045,2001.00073,etc |
| 35 | space | 26392 | 3023 | 8.398 | 0.001304 | 2001.00001,2001.00013,etc |
| 36 | method | 24878 | 2959 | 8.203 | 0.001434 | 2001.00001,2001.00045,etc |
| 37 | notation | 14878 | 2800 | 5.522 | 0.000384 | 2001.00001,2001.00042,etc |
| 38 | map | 34364 | 2750 | 10.976 | 0.001675 | 2001.00001,2001.00036,etc |
| 39 | parameter | 18986 | 2691 | 6.667 | 0.000987 | 2001.00013,2001.00036,etc |
| 40 | lemma | 16011 | 2589 | 5.736 | 0.000668 | 2001.00037,2001.00042,etc |
| 41 | model | 23293 | 2506 | 9.25 | 0.001464 | 2001.00036,2001.00045,etc |
| 42 | construction | 16563 | 2484 | 6.337 | 0.000728 | 2001.00037,2001.00045,etc |
| 43 | equivalent | 13622 | 2468 | 5.011 | 0.00061 | 2001.00001,2001.00045,etc |
| 44 | estimate | 22737 | 2420 | 8.975 | 0.001123 | 2001.00093,2001.00152,etc |
| 45 | part | 13470 | 2266 | 6.734 | 0.000736 | 2001.00001,2001.00037,etc |
| 46 | dimension | 16066 | 2257 | 6.906 | 0.000993 | 2001.00001,2001.00036,etc |
| 47 | existence | 13884 | 2253 | 5.175 | 0.001015 | 2001.00001,2001.00045,etc |
| 48 | choice | 12604 | 2252 | 5.417 | 0.000522 | 2001.00001,2001.00037,etc |
| 49 | pair | 15687 | 2246 | 6.05 | 0.001135 | 2001.00001,2001.00037,etc |
| 50 | algorithm | 23437 | 2225 | 9.753 | 0.001669 | 2001.00046,2001.00073,etc |
| 51 | approach | 12187 | 2205 | 5.531 | 0.000762 | 2001.00001,2001.00036,etc |
| 52 | class | 16727 | 2186 | 8.026 | 0.001614 | 2001.00037,2001.00042,etc |
| 53 | way | 10615 | 2152 | 4.843 | 0.000508 | 2001.00001,2001.00046,etc |
| 54 | matrix | 17884 | 2146 | 7.374 | 0.001461 | 2001.00046,2001.00073,etc |
| 55 | vector | 14437 | 2137 | 6.829 | 0.001011 | 2001.00001,2001.00045,etc |
| 56 | state | 14926 | 2063 | 8.018 | 0.001221 | 2001.00001,2001.00037,etc |
| 57 | convergence | 15074 | 2025 | 8.11 | 0.001001 | 2001.00152,2001.00169,etc |
| 58 | degree | 17081 | 1972 | 8.797 | 0.00152 | 2001.00001,2001.00013,etc |
| 59 | component | 17165 | 1955 | 8.711 | 0.001502 | 2001.00037,2001.00042,etc |
| 60 | subset | 12485 | 1952 | 6.914 | 0.000995 | 2001.00001,2001.00037,etc |
| 61 | detail | 8694 | 1940 | 4.305 | 0.000349 | 2001.00036,2001.00045,etc |
| 62 | edge | 34183 | 1920 | 17.752 | 0.003069 | 2001.00037,2001.00042,etc |
| 63 | sum | 12054 | 1872 | 6.755 | 0.001033 | 2001.00001,2001.00046,etc |
| 64 | claim | 11992 | 1869 | 5.214 | 0.00058 | 2001.00037,2001.00042,etc |
| 65 | graph | 34691 | 1850 | 18.137 | 0.003958 | 2001.00037,2001.00042,etc |
| 66 | sense | 9469 | 1841 | 5.142 | 0.000441 | 2001.00001,2001.00045,etc |
| 67 | family | 13062 | 1823 | 6.095 | 0.001201 | 2001.00013,2001.00045,etc |
| 68 | boundary | 15656 | 1816 | 7.962 | 0.001199 | 2001.00176,2001.00298,etc |
| 69 | application | 8648 | 1816 | 5.038 | 0.000496 | 2001.00001,2001.00036,etc |
| 70 | inequality | 11997 | 1808 | 6.364 | 0.001144 | 2001.00042,2001.00134,etc |
| 71 | instance | 10517 | 1778 | 6.146 | 0.000787 | 2001.00073,2001.00134,etc |
| 72 | end | 10349 | 1767 | 6.023 | 0.00078 | 2001.00077,2001.00083,etc |
| 73 | vertices | 24911 | 1727 | 16.55 | 0.002551 | 2001.00037,2001.00042,etc |
| 74 | limit | 12110 | 1715 | 7.894 | 0.000773 | 2001.00001,2001.00045,etc |
| 75 | argument | 9230 | 1699 | 5.25 | 0.000508 | 2001.00037,2001.00042,etc |
| 76 | coefficient | 12143 | 1680 | 8.305 | 0.001043 | 2001.00001,2001.00045,etc |
| 77 | size | 12185 | 1675 | 6.756 | 0.001215 | 2001.00001,2001.00042,etc |
| 78 | analysis | 8746 | 1621 | 4.963 | 0.000517 | 2001.00001,2001.00077,etc |
| 79 | addition | 8324 | 1613 | 5.241 | 0.000534 | 2001.00042,2001.00083,etc |
| 80 | norm | 11177 | 1599 | 6.042 | 0.001036 | 2001.00045,2001.00093,etc |
| 81 | domain | 11640 | 1583 | 7.024 | 0.001209 | 2001.00001,2001.00046,etc |
| 82 | probability | 14289 | 1573 | 8.805 | 0.001367 | 2001.00001,2001.00407,etc |
| 83 | group | 19273 | 1569 | 12.709 | 0.002696 | 2001.00001,2001.00045,etc |
| 84 | operator | 15335 | 1545 | 10.015 | 0.001613 | 2001.00001,2001.00045,etc |
| 85 | length | 12856 | 1539 | 7.177 | 0.001565 | 2001.00046,2001.00073,etc |
| 86 | action | 17291 | 1533 | 11.66 | 0.001587 | 2001.00045,2001.00077,etc |
| 87 | relation | 10695 | 1533 | 7.838 | 0.001077 | 2001.00073,2001.00077,etc |
| 88 | statement | 8569 | 1519 | 5.371 | 0.000494 | 2001.00045,2001.00077,etc |
| 89 | notice | 10316 | 1503 | 7.731 | 0.000639 | 2001.00073,2001.00077,etc |
| 90 | vertex | 20240 | 1502 | 15.239 | 0.002231 | 2001.00037,2001.00042,etc |
| 91 | notion | 8868 | 1492 | 5.343 | 0.000686 | 2001.00037,2001.00046,etc |
| 92 | type | 12960 | 1491 | 7.955 | 0.001481 | 2001.00073,2001.00077,etc |
| 93 | set | 9664 | 1490 | 6.303 | 0.001119 | 2001.00037,2001.00077,etc |
| 94 | distribution | 12792 | 1481 | 8.409 | 0.001562 | 2001.00013,2001.00250,etc |
| 95 | node | 36938 | 1471 | 33.288 | 0.003746 | 2001.00077,2001.00126,etc |
| 96 | integer | 9365 | 1471 | 5.608 | 0.001091 | 2001.00045,2001.00073,etc |
| 97 | proposition | 8293 | 1470 | 5.483 | 0.000587 | 2001.00042,2001.00143,etc |
| 98 | datum | 11259 | 1438 | 8.348 | 0.001184 | 2001.00045,2001.00046,etc |
| 99 | image | 11101 | 1438 | 7.899 | 0.00097 | 2001.00001,2001.00045,etc |
| 100 | step | 9048 | 1425 | 7.624 | 0.001025 | 2001.00001,2001.00073,etc |
|