Inventory: U
The rows of the inventory whose names start with U. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 301–400 of 1014.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Uniform form of the cover limit | PVHDTFWAW8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.11143#QCWA |
| Uniform formula and error bound | 285C0MSVB6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05457#13S7 |
| Uniform Fourier decay along a continuous path | W1E76PKGRS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.06788#FZL3 |
| Uniform fractional Grushin-Poincar\'e inequality | 2FS2JCS32D | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.09001#G247 |
| Uniform fractional-source truncation | K3Q2J1KC8W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05388#OVEE |
| Uniform front localization | 2M7TSDCGXX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21328#GIWF |
| Uniform frontier split | CY34M29T09 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.01843#B4PB |
| Uniform Gamma polynomial | FVGAD71HMZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10828#ZJUK |
| Uniform Gaussian hierarchical cover | 8NRTF4D23C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.09472#5ALW |
| Uniform Gaussian reference coefficient bounds | ZTDVFWGFMZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.09522#KW84 |
| Uniform Gaussian success exponent | B37VCKMS0H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30808#6RW4 |
| Uniform Gaussian-channel representation under covariance slackness | DB38VZYR6P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.01855#7WMQ |
| Uniform gradient bound | H8DHGA8F3T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.11077#6HT1 |
| Uniform gradient bound on positive-time slabs | XNWVDZK298 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02106#AVEW |
| Uniform graph witnesses | 1K5VVSYFBM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12014#FQ7M |
| Uniform growth of matrix ranks | 92WRQ1GFZW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.11143#OJ4X |
| Uniform half density | PEJWQ7RJJ6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05442#QPRW |
| Uniform half-space advancement | X24KCHTXFF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24568#KZBG |
| Uniform handoff event for bounded templates | 2ANWFBPCPW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20414#8MOP |
| Uniform head amplitudes | K1ZKJ9700A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.37164#D9RE |
| Uniform Hessian conditioning | C5HA3YP98C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27181#X47T |
| Uniform high-bias edge; analytic\ plus a finite coefficient certificate | B2HGN6FYG7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24931#XDLZ |
| Uniform high-side remainder | FGBQ42A24X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15291#D6JF |
| Uniform horospherical approximation | 56T0HH27YZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27752#7JXV |
| Uniform incompressibility | A0B26EJ99T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26984#N8IS |
| Uniform index-one product tail | KZX69E53BP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.29658#PLO7 |
| uniform integrability | 75FWMG6CQK | unknown | open | mathlib_overview Analysis > Measures and integral calculus > uniform integrability, Mathlib MeasureTheory.UniformIntegrable |
| uniform integrability | Q8YR2DH2C6 | statement | open | mathlib_1000 Q1530275, Wikidata Q1530275, thousand_plus Q1530275, Wikipedia Dunford–Pettis theorem, EoM De_la_Vallée-Poussin_theorem |
| uniform integrability | X6ZGS1YJZE | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26645#Q0NO |
| Uniform integrability with fixed marginals | A206P0565X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38228#9HTV |
| Uniform interface inverse | R65WWEK2YP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.11077#GS5A |
| Uniform interior separation | ZCKQHRCA0T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18252#J45L |
| Uniform inverse for the auxiliary Laplacian | ZMJR5XCXWV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12238#NXZ3 |
| Uniform inverse in the direction $n$ | H8ZDF0D2P2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12238#1MNJ |
| Uniform inverse-$\ell$ gap | 5YHMMEJNP3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24931#S43B |
| Uniform inverse-moment bound | JBC21H286B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05864#WIJH |
| Uniform invertibility of the candidate mean recursion | GXVTRH3NGK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.19421#K8WW |
| Uniform invertibility of the Newton transfer function | BYD5Q2P2VP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03242#3HPI |
| Uniform inward collar | C3YF0EV1CV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26665#0UWU |
| Uniform inward drift | S2FVT7SSG9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38228#6URR |
| Uniform joint-low-entropy collar | AVHZPDG9RT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24931#20CX |
| Uniform kernel transfer | D6FP10B761 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38871#A742 |
| Uniform large-shift estimate | MM0JZMERQV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30274#GEHK |
| Uniform last-iterate rate | A1JESRQ2PF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.17127#7XXJ |
| uniform law | 98RTY5ZXRC | unknown | open | mathlib_undergrad Probability Theory > Random variables and their laws > uniform law |
| uniform limit theorem | V68R5TQ9D5 | statement | node (a node has the same Wikidata item as the row) | Wikidata Q7885107, ProofWiki Uniform_Limit_Theorem |
| Uniform linear anti-concentration | MQH8Z8FBJ0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39855#XPX2 |
| Uniform linear escape | 7F9A544P1S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05388#MS91 |
| Uniform linear spaces | W31WGV7C56 | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.34382#9SY7 |
| Uniform local bounds | ZK114N02DJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.00137#CW7Z |
| Uniform local excursion rate | 6Q3ETDP53F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39633#JPQI |
| Uniform local extension | VZ1FBHWVF0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26665#LGDP |
| Uniform local flip | JDECVP3R5H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10002#ER2B |
| Uniform local length comparison | 21Z4HCK4QF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10192#6NXQ |
| Uniform local metric deficit under pullbacks | J9KVK5702J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30103#GXCS |
| Uniform local pressure estimate away from the initial time | A6HBQ5CX39 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.13613#1UJR |
| Uniform local quadratic expansion | 7Z309S4Q11 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10080#ZLP0 |
| Uniform local robustness | AFEG2S5VWP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.28028#9DKO |
| Uniform local sample count | K68G9GQFWT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.01050#YX2S |
| Uniform local strong convexity along $\{m_t\}_{0\le t \le T(\beta)}$ | A8PMNE3XXC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30590#2WDE |
| Uniform log-approximation bound | JNASBAAXCG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.19715#JP1U |
| Uniform logarithmic deficit--energy law | D9AZVB6MPV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.33154#XCZT |
| Uniform logarithmic law for the resolution time | MQCP04EYCW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03629#HR7Y |
| Uniform low-information region | 60CGPRZGT3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24931#HZ0U |
| Uniform low-mode inverse | 3X2JEMZ476 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.11077#ECQ0 |
| Uniform lower bound on accepted step sizes | M5AXAKGBDM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18428#GCC1 |
| Uniform lower volume | JAYTDARQVQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.25762#CMS6 |
| Uniform lowest-band domination | Q0XET9KVNX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.37164#48H9 |
| Uniform margin accuracy | MM4G0FY5MH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21363#0TXQ |
| Uniform mean depth | 493DDMDGY7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06742#3MNA |
| Uniform merit descent on the stabilized tail | CWT5PMBQPQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18428#6FWJ |
| Uniform mixing | ZW6SG2D5ZZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04117#GAJV |
| uniform module | 19BYYTGFT5 | unknown | open | Wikidata Q7885110, nLab uniform module |
| Uniform moment bounds, informal | QJ4Y2K7WKH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02158#EG71 |
| Uniform moment convergence on the closed receiving hemisphere | WTB9ANH7PE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21328#0758 |
| Uniform moment estimate | MEZJ53P82J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15421#TQT4 |
| Uniform moments of the cavity coordinates | MTHM0BW42T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.32710#LF71 |
| Uniform momentum bound | XC44G625KP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30957#XOQH |
| Uniform multiplicative relations | S4BC4WS7TM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.31689#6V2D |
| Uniform multiplicity for a fixed winding label | MA5HXV5TYV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14065#7DCS |
| Uniform multiplier bound for sectorial operators | 6TBAK6XAH5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06308#10R6 |
| Uniform negative blocks | 2WJ84AZWTH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12434#L4D6 |
| Uniform nested ensemble | 5NAAEQMPKA | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.40252#TIF7 |
| Uniform neuron distribution in the unit ball $B_1(\mathbf{0})$ | KAJN37H7AA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02891#YC3S |
| Uniform non-clipping | A760KQ9HC0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.37917#3B0G |
| Uniform Nonvanishing in Unit Cubes | W4NWC5VCC4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.28993#7O0Y |
| uniform norm | 581JBERAYY | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q1202673, MathWorld SupremumNorm |
| uniform norm convergence | 33G5GAVKS9 | concept | open | lebl_ra index/9.1.3/uniform-norm-convergence |
| Uniform Normalization and Tails | 2RQV3DTNPG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12239#ETHT |
| Uniform NTK and ReLU remainder | J3DTHBES7K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03306#KLOE |
| Uniform on unit circle | Y2WSJBS93X | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.10801#UTBF |
| Uniform one-dimensional \(L^\infty\) estimate | 54XVMXGT1S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.07259#PM6H |
| Uniform one-saddle asymptotic | REM6GXKNQ9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.09602#NXX5 |
| Uniform one-step bounds | 7G94BDGBHT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02531#BCA6 |
| Uniform one-step supersolution estimate | R3QAW58KVV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02531#3VBL |
| Uniform oracle equivalence | XZDCX75654 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.36594#8XLE |
| Uniform orbitwise $(C,\lambda)$-structure | XY5NMZ1NNY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2510.05499#FS2N |
| Uniform order-$p$ regularity | NNVYCB7V4Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.01843#4OK6 |
| Uniform OT expansion under small reweightings | ZM7569G3VA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.07162#JBLA |
| Uniform output mass and the half-input endpoint | MTC31J2M78 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38228#UB8K |