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 801–900 of 2142.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 reverse logarithmic-Lipschitz estimates | B7KFYDZ2TD | statement | record (an 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#DUOS |
| Uniform Riccati and closed-loop estimates | VN6C3HT1K8 | statement | record (an 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#SJKR |
| 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 | EXNC8RYK0R | definition | open | Wikipedia Glossary of general topology#X648 |
| uniform space | F7K2JFG7NB | definition | open | mathlib_overview Topology > Uniform notions > uniform space, Mathlib UniformSpace, Wikidata Q652446, EoM Uniform_space, nLab uniform space, Wikipedia 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 star polyhedron | B67MSYSMJ5 | object | open | Wikipedia List of mathematical shapes#FWI9 |
| Uniform star polyhedron | G10VKBJR68 | object | open | Wikipedia Uniform star polyhedron, Wikidata Q2878957 |
| 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 | B91X6G85AX | definition | open | Wikipedia Glossary of general topology#6NRF |
| 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 theory of diffraction | NAV4FJW0XC | definition | open | Wikipedia Uniform theory of diffraction, Wikidata Q7885118 |
| 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 | object | open | Wikidata Q7885119, MathWorld UniformTessellation, Wikipedia Uniform tiling |
| Uniform tiling symmetry mutations | BFHAA6MDF0 | definition | open | Wikipedia Uniform tiling symmetry mutations, Wikidata Q25220546 |
| Uniform tilings in hyperbolic plane | V018W5AHYZ | definition | open | Wikipedia Uniform tilings in hyperbolic plane, Wikidata Q7885120 |
| Uniform tilings in hyperbolic plane | Z19602N2XY | definition | open | Wikipedia List of mathematical shapes#FUGF |
| 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 torus bound | A2QM77CA2C | statement | record (an 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.22301#CU1T |
| Uniform torus bound in dimensions seven to nine | 7D0RFME95C | statement | record (an 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.22301#62VH |
| Uniform tracking-error lower bound | 2Q9GM08WSV | statement | record (an 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#PI56 |
| 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 tree | 7ASE2SNWG2 | definition | open | Wikipedia Uniform tree, Wikidata Q7885123 |
| 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 lower bounds on the unstable covariance | 364GZ9ZCFB | statement | record (an 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#5MKP |
| 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-cost search | DQY9RVZEK9 | definition | open | Wikipedia List of algorithms#I5KM |
| 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 |
| Uniform-topology dissipative Lieb--Robinson bound | 8372X1ZVXC | statement | record (an 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.01669#90NK |
| Uniformiser | JN3BZGNTAD | unknown | open | Wikipedia Discrete valuation ring#57BI |
| uniformitarianism | 6TNS4SBHHB | statement | open | Wikidata Q208650, ProofWiki Principle_of_Uniformity_of_Nature |
| uniformity | BF77BJ5068 | definition | open | Wikipedia Glossary of set theory#Z212 |
| Uniformity and independence in the affine case | M5YEHSSGPV | statement | record (an 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.37482#MEDU |
| Uniformity and independence of the output list | PWAZTV7PP3 | statement | record (an 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.37482#MEZF |
| Uniformity and independence with exhaustive pair search | EE06C75XEE | statement | record (an 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.37482#B0MP |
| Uniformity conjecture | GVA96HXNYX | definition | open | Wikipedia Glossary of arithmetic and diophantine geometry#4ZVI |
| Uniformity in $q$ | R70CJQ49JA | statement | record (an 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.04099#Y727 |
| Uniformity in the torus size | CYMWRH96BN | statement | record (an 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.22301#ZR5T |
| Uniformity is free, once the constants are uniform | FG0VWXDZ32 | statement | record (an 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.27766#EYGM |
| Uniformity of the cubicization | D8GAE41XA0 | statement | record (an 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#UGW5 |
| Uniformity of the Hole | ZDPG19MDXV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.16304#5JU8 |
| Uniformity under bounded tilts | ADFQWGREAE | statement | record (an 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#8U7A |
| Uniformizable space | 8PH1M9Y1QQ | definition | open | Wikipedia Uniformizable space, Wikidata Q7885139 |
| Uniformizable/Uniformisable | WRX6J1V338 | definition | open | Wikipedia Glossary of general topology#ZS86 |
| Uniformization | 1QSCV0BT7K | definition | open | Wikipedia Uniformization (probability theory), Wikidata Q7885142 |
| Uniformization | 6JPDBTQGYW | statement | record (an 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.16059#KF6Y |
| Uniformization | 8KT4TTMRYQ | statement | record (an 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#SLMN |
| Uniformization | MNS103H016 | definition | open | Wikipedia Uniformization (set theory), Wikidata Q7885143 |