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 401–500 of 1014.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Uniform overlap of the segment transition kernels | DXEF2Q8QHS | 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.37944#CT3W |
| Uniform partial stability | X8QKA3HD68 | 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.05652#AI9F |
| Uniform particle displacements | P130S70355 | 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.28503#9Y09 |
| Uniform partition estimate | Y0PWVJMW7Y | 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#2D90 |
| Uniform per-key $\varepsilon$-TV distortion | C2CSKRWQH3 | 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.05712#7U6X |
| Uniform per-key distortion-freeness | KFX4ES330D | 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.05712#LGNS |
| Uniform periodic band velocity | VHE2FG37F1 | 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.19416#R7XW |
| Uniform photon cutoff | X4QAP17W2C | 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.06810#N26Y |
| Uniform plug-in risk expansion | KT1EWVYAQ5 | 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.29348#I13Y |
| uniform polyhedron | 7MG9WN8ZCZ | unknown | open | Wikidata Q2471563, MathWorld UniformPolyhedron |
| Uniform polynomial geodesic counting | 3632VKJ41Q | 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#2J1D |
| Uniform posterior-energy approximation | 661YN6WKEN | 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.33008#MY0Y |
| Uniform product-fibre bound | WXF2TTHKQP | 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.26019#VLC0 |
| Uniform profile estimates | FYKP1P414Y | 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#V43W |
| Uniform program | Q0R5YXA98M | 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 math/0003117#NL6P |
| Uniform properties of the auxiliary family | J7WW40F4MC | 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.37615#KV8L |
| uniform property | 1XNT8BGBFQ | unknown | open | Wikidata Q2281389, nLab uniform property |
| Uniform quantitative concentration | RJNV1M51Q7 | 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#HNVU |
| Uniform quasiconformality | 6MFTXDSAJY | 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 2411.17227#3490 |
| Uniform radial kernel summation | BHQH2P1AGJ | 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.37704#JO3T |
| Uniform Radius for Majorants | AYGW49N2XR | 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#0Y22 |
| Uniform radius-to-margin ratios | 3MY01BJKNS | 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.11309#KOGS |
| Uniform rank three | FEQYXH5Y1H | 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.20649#5AJ2 |
| Uniform rapid mixing | 107YX4T3S8 | 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.36016#7ST5 |
| Uniform rapid mixing with constant decay rate under uniform dissipation | ZAY4M3P1C4 | 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.36016#P9B5 |
| Uniform rate bound from a strict cycle separator | TPHEF7JHYC | 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.15125#2PGN |
| Uniform recursive tree benchmark | 2TEGDFEP3N | 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.00614#79LC |
| Uniform reduced-operator equivalence | K0B5ZS6569 | 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#H0SF |
| Uniform regression stability | 3S4E5KJHMF | 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.31458#DLNE |
| Uniform regularized stability | 6ZN26QTRS5 | 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.08152#U765 |
| Uniform relative separation of branch points | 7CAXC4DPYC | 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.14236#T8VE |
| Uniform relative speed | PWX68AX0KT | 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.05204#6UA4 |
| Uniform relative-interior modulus | KHYG23F0XV | 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.20270#HMY5 |
| Uniform remainder | 6ZXYE4WYKY | 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.13685#090G |
| Uniform residual-second-moment upper bounds | 9MQ52QAYKJ | 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.19207#07LU |
| uniform return domination | 74G2WJVHJK | 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 2608.08190#LAQ6 |
| Uniform return-map expansion | Z83S0H06BD | 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#EH7G |
| Uniform Ricci-disc bound | 1CMJCYGGTV | 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#UGX6 |
| Uniform rigidity near a Clifford orbit | 7FFDBZED98 | 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.33552#YZHI |
| Uniform risk bound | G8CWZ6H54E | 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.21103#M66B |
| Uniform row-norm alignment | HVDA850G89 | 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.11309#WHZL |
| Uniform sample coverage | X2FT2EX8CY | 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#2FWB |
| Uniform sampling | 5H4WWHABHN | 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.16605#APS5 |
| Uniform scalar estimate | P48FQK6QH8 | 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.18884#6GG2 |
| Uniform scalar estimates | ZH4K8G2EE7 | 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#PHPY |
| Uniform second variation | XQTZH7348P | 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#U02I |
| Uniform second-order common-factor expansions | QAWBS15MXP | conjecture | 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#EGSD |
| Uniform separation of the spherical mode | 47FMG884X7 | 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#S1ZP |
| Uniform sequence-level TV guarantee | BBB399X8DE | 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.05712#Q63R |
| Uniform shifted products | M8NNE8QR9J | 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.06544#5F5C |
| Uniform short-time bound | YR3PAB9QPT | 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.24481#OT6G |
| Uniform size of the differentiation weights | D801Y6C9KJ | 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.03638#IKP3 |
| Uniform smoothing | 2RJ6RBAX52 | 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#EP01 |
| uniform space | F7K2JFG7NB | unknown | open | mathlib_overview Topology > Uniform notions > uniform space, Mathlib UniformSpace, Wikidata Q652446, EoM Uniform_space, nLab uniform space |
| Uniform specialized inverse-tail asymptotic | W7NYTNESQ9 | 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.28198#PKR5 |
| Uniform spectral estimate | AZ1656B978 | 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.06490#KX9M |
| Uniform spectral gap | CVF9VJMRQD | 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#PDMW |
| Uniform spectral transfer | AZX82BSJ86 | 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.05164#G1GQ |
| Uniform square hard-edge scaling | MVEHRADV8F | 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.28198#5ZF8 |
| Uniform square-root increments | WP91ZPSZXW | 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#RNXU |
| Uniform stability | S95N7BF252 | 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.11002#H022 |
| Uniform stability of the centered-difference generator | 5DH1VYVCEH | 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.16094#AV6G |
| Uniform stationary policy bound | 96BYBEE1JE | 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.37380#IKAR |
| Uniform stochastic near-margin geometry | CHJGM23073 | 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.11309#X5L7 |
| Uniform stopped occupation | GY2XWJ9JWR | 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#YHQ9 |
| Uniform strict mean-fiber convexity | 10JT901JEX | 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#JTQQ |
| Uniform structure of $H_k$ | 2Q4NG1MGDK | 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.25120#WBT7 |
| Uniform Substitution | 92JQ92MRFX | definition | open | open_logic content/propositional-logic/syntax-and-semantics/preliminaries.tex#defn-1 |
| Uniform tail estimate | K04TZHXE9C | 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.00396#OZPG |
| Uniform threshold up to the Hardy endpoint | 9GK4K5JVZ8 | 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.02933#D1OS |
| uniform tiling | GXAVPRRFFG | unknown | open | Wikidata Q7885119, MathWorld UniformTessellation |
| uniform time existence | XRQ774V4J5 | unknown | open | mathlib_overview Geometry > Differentiable manifolds > uniform time existence, Mathlib exists_isMIntegralCurve_of_isMIntegralCurveOn |
| Uniform Torsion Rank Proposition | B1ST751C99 | 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.12831#4XUK |
| Uniform transformed gradient bound | 2AC38HA1C9 | 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.31782#W3XY |
| Uniform transverse formal smoothing | 101X9YZ9QR | 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.00490#KU1A |
| Uniform truncation bounds | PJ0ZYQ7NK4 | 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.37615#HAV2 |
| Uniform truncation principle | M3GG8N1M6W | 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.00396#7YFB |
| Uniform twisted first moment | 377B6DEN80 | 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.15316#JUBS |
| Uniform twisted first moments | PPY75HM556 | 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.15316#T26N |
| Uniform two-orbit reduction | 72KPXPX6Z2 | 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.33185#ZC4T |
| Uniform upper and matching lower bounds for finite-prompt task uncertainty | 4P82JHSKZN | 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.05333#DM1F |
| Uniform upper bound | D3T68G904E | 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.02216#BPC9 |
| Uniform upper bound for the density | FN11SRZWPQ | 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.13248#9BE4 |
| Uniform upper bound for the total number of fixed points | NSWJF6SR3W | 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.40207#5R1O |
| Uniform upper bounds on correlations and probabilities | PZ074KM6QM | 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#VYN4 |
| Uniform upper radial trace | 97E5X0705K | 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.18788#KST3 |
| Uniform upper tail bound | XY740K9C8M | 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.10840#HSJ6 |
| Uniform values for every original lower-boundary chain | 1WWJPGCNFF | 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.18788#1XEQ |
| Uniform vanishing | ZWXR56RA31 | 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.39262#AQ0G |
| Uniform vanishing of the Gram-dependent part | J31F3V8MZ3 | 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#PC2E |
| Uniform variational principle | ECKA1FQ3WB | 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 2403.16840#EXCT |
| Uniform velocity bound with norm safeguard | F9WEMQ93GW | 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.32981#PHQ1 |
| Uniform Volterra propagation | BAZ3JTP30F | 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.14323#SAW6 |
| Uniform weight bounds | S0RHBFFJR5 | 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#9A9K |
| Uniform weighted-prefix transfer | R9MY4MY7MP | 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.18214#U6YI |
| Uniform window estimates | B1JQV09TNZ | 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#NJFE |
| Uniform Young concentration | 6NF3J4HMHV | 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.35986#9HPE |
| Uniform Young local limit | 7QK2WYZJZB | 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.35986#PGMN |
| Uniform-in-time propagation of chaos | DE9BJXHFH4 | 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.21828#GMTL |
| Uniform-order minimax complexity | HSJTWJ5CY7 | 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.03638#8K3H |