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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 601–700 of 2142.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Uniform enumeration of matchings | 9V4KW1PGTC | 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.26133#JS49 |
| Uniform equicoercivity and Gamma-convergence in time | JG67HCG3Z6 | 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.20215#2M77 |
| Uniform equivalence of direct and regular detectors | AZBQPEC342 | 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.20215#REHN |
| uniform escape | 2X0GS57FXZ | 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.27458#FH22 |
| Uniform escape bound for local block updates | Y9152XVMBH | 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#G5P0 |
| Uniform escape radius | 6HV01PD5A1 | 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.11793#SHEG |
| Uniform estimate from the measurement | WG4D030MAQ | 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.26743#KLZO |
| Uniform estimates following Proposition 7.1 | KFW7P7Q2PR | 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#CHKZ |
| Uniform estimates for $G_a$ | JFW5CYZMAH | 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#QNI1 |
| Uniform estimates for the extended-time equation | 8JYFA3NW4C | 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.20302#CCYC |
| Uniform event-time and phase bookkeeping | 6AGT5RKEJK | 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.15686#72VP |
| uniform exactness | ZCTCVFCVC3 | 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 2610.18106#2VZP |
| Uniform existence of local inverse functions | Q8S9QNK4MN | 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.22513#BJTO |
| Uniform expansion under a finite second moment | 14ZRPMJ8GM | 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.25084#S4F5 |
| Uniform exponent of the saturation quotient | 5JPW23NMS2 | 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.22082#P62X |
| Uniform exponential crossing law | CHWPN3KX5C | 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.21268#T6H5 |
| Uniform exponential stability | DDSMWTK682 | 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.00048#J83B |
| Uniform exposure of one candidate type | FC75CDDFQ6 | 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#HCC5 |
| Uniform extension | 1VKWQB0EMF | 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.19908#GDGW |
| Uniform exterior concentrating functions | 4M56KCHAYQ | 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.10484#ZDM9 |
| Uniform factorial-power envelope | 9JBNCB0J5J | 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 2610.03638#8N9M |
| Uniform factorisation | PFT96VFSZ9 | 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.29671#LI1L |
| Uniform field, loss, and AGOP expansions | 84CBABF1PY | 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.39408#310Z |
| Uniform finite point gluing | FPV8E18AET | 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.21963#YJYK |
| uniform finite-basis criterion | K43BFH76SE | 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.22667#5IAM |
| Uniform finite-channel probability-$\varpi$ zero-chain | RA5813GE0Z | 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 2610.01843#GUN2 |
| Uniform finite-prefix existence | 95KHXTY6EX | 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.28791#SBDJ |
| Uniform finite-ring evaluation comparison | C995WAV8PS | 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.22485#4PDA |
| Uniform finite-scale non-SoS test | K5ZEWHZFVR | 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.08980#YSPZ |
| Uniform first correction at large Euclidean momentum | VS8B3JR7Y8 | 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#IQG4 |
| Uniform first- and second-derivative bounds | FBBMVBKGHH | 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#LL2T |
| Uniform Fixed-Parameter Higher-Order Family | 4EKDQEFVKS | 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#DQ4U |
| 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 small balls | SJQK9K76JV | 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.23558#K360 |
| 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 Hessian lower bound | F2C7G39NYS | 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.22659#1JVI |
| 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 honeycombs in hyperbolic space | D0F9NFSRC2 | object | open | Wikipedia Uniform honeycombs in hyperbolic space, Wikidata Q5166523 |
| 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, Wikipedia Uniform integrability |
| 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 isomorphism | D7ANHT5S0P | definition | open | Wikipedia Glossary of general topology#5O6X |
| Uniform isomorphism | ESNSHVB13C | definition | open | Wikipedia List of general topology topics#10FJ |
| Uniform isomorphism | ZBRCFCRJDJ | definition | open | Wikipedia Uniform isomorphism, Wikidata Q2789884 |
| 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 junction and time-seam estimates | 750HDJA1KM | 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.20215#0YNB |
| Uniform k 21 polytope | 4CK5B7WYBP | definition | open | Wikipedia Uniform k 21 polytope, Wikidata Q7885104 |
| Uniform k21 polytope | V10SA400FS | definition | open | Wikipedia List of mathematical shapes#JCUD, Wikipedia List of polygons, polyhedra and polytopes#Q959 |
| 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 Law of Large Numbers | MQPBDD5S7G | 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.20041#UZRK |
| Uniform laws of large numbers | H82KHVD121 | statement | open | Wikipedia Law of large numbers#653S |
| Uniform limit theorem | TN555T85RX | statement | open | Wikipedia Uniform convergence#TOIE |
| uniform limit theorem | V68R5TQ9D5 | statement | node (a node has the same Wikidata item as the row) | Wikidata Q7885107, ProofWiki Uniform_Limit_Theorem, Wikipedia Uniform limit theorem |
| Uniform limit theorem in complex analysis | 5KR0F2WWB7 | statement | open | Wikipedia Uniform limit theorem#3KGZ |
| 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 estimate | GFGC2KQ4V2 | 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.20647#Z2AY |
| 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 Lipschitz continuity in $\alpha$ | XCWW3PNP15 | 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.20274#4YOJ |
| Uniform local algebraic Riccati solutions | J9EM55XPAE | 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.23927#US3N |
| 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 |