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 901–1000 of 1014.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Untwisted orbifold divisor formula | NZ03RJ23QT | statement | record (an 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.03520#VMPW |
| unusual number | EX45NAGXXC | unknown | open | Wikidata Q1755492, MathWorld UnusualNumber, OEIS A064052 |
| Unweighted $C^{(1,3)}$ Hawking singularity theorem, version 1 | C0KQK4RCNQ | statement | record (an 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.11911#ATTJ |
| Unweighted $C^{(1,3)}$ Hawking singularity theorem, version 2 | GX16JDJVJ3 | statement | record (an 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.11911#LUC0 |
| Unweighted $C^{(1,3)}$ Penrose singularity theorem | FP4FF9X4JA | statement | record (an 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.11911#3XT7 |
| Unwrapped covers are non-collapsed | N5WZPPQJN9 | statement | record (an 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.18219#Z691 |
| up quark | PQFB82T4TK | unknown | open | Wikidata Q6732, nLab up quark |
| up set | PFGDG9A4N9 | concept | open | applied_combinatorics index/6.3/up-set |
| up-cone | AVCRE4GAR5 | 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 2610.15099#SKFI |
| Update interval | DWXDVJ0956 | statement | record (an 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.10393#TXR3 |
| Update operator | 8EGQT4NQHC | 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.02669#WXCF |
| Update set | KTJ9H71YRP | 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#6JY3 |
| Upgrading an ambient comparison | Y9KNB5SV93 | statement | record (an 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#F9HN |
| Upgrading the oracle | H58GQ5ZX24 | statement | record (an 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.35418#GNYX |
| Upper Alexandrov curvature bound | 6CAG16JR3S | 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.24610#QSS6 |
| upper and lower topology | JXGYMM0JYK | concept | open | Wikidata Q120358757, nLab semicontinuous topology |
| Upper Asymptotics | E38A1VC3BS | statement | record (an 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#4BKC |
| Upper asymptotics in terms of Ahlfors dimensions | VB9KD7ENRP | statement | record (an 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#KTYR |
| Upper asymptotics in terms of box dimensions | EHYVDKB3ES | statement | record (an 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#RT1J |
| Upper band | 76CJ5677KP | statement | record (an 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#4LRX |
| Upper Bound | 1ZFM0MAG77 | statement | record (an 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.04600#GPY9 |
| upper bound | 2SH3G397TB | unknown | node (a node has the same name as the row) | Wikidata Q42866132, MathWorld UpperBound, nLab upper bound |
| upper bound | 4SG9HQDS16 | statement | record (an 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.26134#N0F2 |
| Upper bound | 69F2QDBDAR | statement | record (an 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.13670#MS5C |
| Upper Bound | 96K4J13156 | statement | record (an 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.33590#4X3W |
| Upper bound | Q2XY5P5K5F | statement | record (an 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.05038#VRWZ |
| Upper Bound | SH7H9C9NC0 | statement | record (an 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.36421#3VV7 |
| Upper Bound Along the Tail by Lagrange Interpolation | ZJC3FEQYMJ | statement | record (an 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.13222#0TO5 |
| Upper bound and recovery | RMREZ60X3M | statement | record (an 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.04027#19M8 |
| Upper bound at a critical path | 4SQJQP92J0 | statement | record (an 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#B4XO |
| Upper bound for $E(P_{\leq k_0+4}u)$ | 7WYY2Y1V4M | statement | record (an 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.15460#2VGE |
| Upper bound for an arbitrary \etm | 9GZRM86521 | statement | record (an 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.27765#0JYY |
| Upper bound for KRRR | T28428Z414 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.11076#NUBJ |
| Upper bound for Legendre--Hahn series estimator | EVVCSDJ5KN | statement | record (an 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.04135#LCBR |
| Upper bound for the distance between points on the same vertical line | CFAAE5ZMVG | statement | record (an 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.40138#1GO1 |
| Upper bound for the numerator complement | 6ZDM2VQCN2 | statement | record (an 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.33027#GTAS |
| Upper bound for the radius-only class | 3KFB20HNVB | statement | record (an 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.21461#7AJD |
| Upper bound from Seifert surfaces | F0D35TQG8J | statement | record (an 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.10206#T7S8 |
| Upper bound on $\gamma_r(\kappa)$ | XT8W8CXXWJ | statement | record (an 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.38453#73ED |
| Upper bound on $K(r)$ | XWN7RJ517V | statement | record (an 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.33557#163G |
| Upper Bound on Minimal Tubes | P7K7H21Q3T | statement | record (an 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.05056#VVZ4 |
| Upper bound on the $L^1$-bias for anisotropic Nikol'skii classes | V99CAXCZXZ | statement | record (an 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.11760#LUK2 |
| Upper bound on the $L^1$-risk of $\widehat F_{n,\mathbf{h}}^\ast$ | 1A873SZCS0 | statement | record (an 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.11760#AETT |
| Upper bound on the mixing time | KVBGZJZHA3 | statement | record (an 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.31187#SQ0V |
| Upper bound on the number of $n$-bond LAs | 9GSBYWFZXF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1905.02785#RLQE |
| Upper bound on the stochastic error | 1646YTA5R9 | statement | record (an 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.11760#0N3S |
| Upper Bound on the Sum | JCA2C31XQG | statement | record (an 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.07671#IG05 |
| Upper bound sieve | E01QHWAE8T | statement | record (an 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.00109#KWJ1 |
| Upper Bound Theorem for polytopes | 9N3DDAYT35 | statement | record (an 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.24878#TH0D |
| Upper bound under mixed noise | QTZ2B7CMYG | statement | record (an 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.12641#6OX3 |
| Upper bound under trial heterogeneity | 1W0MMJSYNQ | statement | record (an 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.04135#S65T |
| Upper bound: one application of H\"older | Y3FF35PG35 | statement | record (an 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.27765#DOXZ |
| Upper bound: one conditional application of H\"older | 809K3HK4YC | statement | record (an 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.27765#4KKJ |
| upper bounds of $B$ and its variants | XVK4CPBWX4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.14912#E21E |
| Upper bounds on a box | ECXC3DAYN1 | statement | record (an 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#RQIJ |
| Upper bounds on one-step prediction error | RV5BPVFQSF | statement | record (an 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.32652#41HA |
| Upper bounds under a bounded initial optimality gap | 22PCQD0C97 | statement | record (an 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.21461#6724 |
| Upper break and conductor conventions | 100W1BNDD3 | 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.05652#LFCL |
| Upper coefficient | BK0JKV53MD | statement | record (an 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#IJ4Z |
| Upper Crandall function | CPH9A3WKAF | 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.28282#OBTT |
| Upper deviations of the free energy | KVB0CDHQ7V | statement | record (an 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.06480#R6AU |
| upper dimension of realised parameters | 3TKTBF6DE5 | statement | record (an 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.04000#SO67 |
| upper domination number | 7NFNBQG9R2 | unknown | open | Wikidata Q130405721, MathWorld UpperDominationNumber |
| Upper endpoint | KX2CEPPH8C | statement | record (an 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.08568#17FE |
| upper estimate for the kernel ratio | NQDRZN56G7 | statement | record (an 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.26134#J1UR |
| upper half-plane | FJF15JH537 | unknown | open | Wikidata Q3258885, LMFDB knowl mf.upper_half_plane, MathWorld UpperHalf-Plane, nLab upper half-plane |
| upper irredundance number | PNW372RZMS | unknown | open | Wikidata Q130486997, MathWorld UpperIrredundanceNumber |
| Upper leading-edge barrier | VV7RZBERVK | statement | record (an 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.33805#K7C0 |
| Upper semicontinuity of algebraic dimension | T74GANMHAN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.02022#7N6S |
| Upper semicontinuity of the distance function | HARM6BFXGV | statement | record (an 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.15460#FHKE |
| upper set | VPPP3A9W66 | unknown | open | Wikidata Q2528262, nLab upper set |
| Upper stationary-flow truncation energy | MSQA1XMTJY | statement | record (an 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.09030#Q9UA |
| upper triangular matrix | 1W8C1QV0S3 | unknown | node (a node has the same name as the row) | Wikidata Q77968835, MathWorld UpperTriangularMatrix |
| upper triangular matrix | 6G82VYGQY8 | concept | open | austin_ula index/3.1.4/upper-triangular-matrix |
| Upper weak submodularity | 3Q6E9J25JQ | 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.24569#H641 |
| Upper {Hausdorff dimension} estimate | FG1QYDTVMP | statement | record (an 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.36412#89A1 |
| Upper-antidiagonal attack criterion | 5SVBP59R3S | statement | record (an 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.31336#K10R |
| Upper-bound | EKK9D07N7P | statement | record (an 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.21781#RVNL |
| Upper-bound | YRENSSY7SQ | statement | record (an 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.21781#G2FT |
| Upper-bound density | RYDRB7FX6V | statement | record (an 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.21781#KY0H |
| Upper-bound invariance | HZT7G4TE98 | statement | record (an 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.17441#IAYM |
| Upper-degree slice of a nonbottom interval | PD0794YH7D | statement | record (an 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.24541#ZQB9 |
| Upper-quantile submeasure | AXXQPNJG14 | statement | record (an 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#4BE9 |
| Upper-row counting formula | ZS81YM7DJ6 | statement | record (an 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.31336#E4QA |
| Upstream expansion rate estimate for $\mathrm{md}^{-\delta} \circ F$ | QMREXPHCD4 | statement | record (an 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.10051#A66B |
| Upward) $\kappa$-Spectral Curvature | ZJ4N2XGA6T | 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.06724#6NDI |
| uranium | AWFYN1K7T5 | definition | open | Wikidata Q1098, ProofWiki Definition:Uranium |
| uranium-238 | WVJN70G8JP | definition | open | Wikidata Q1148503, ProofWiki Definition:Uranium/238 |
| Uranus | ZG0MTQSEM7 | definition | open | Wikidata Q324, ProofWiki Definition:Uranus |
| urelement | 4DRPCTKHQB | unknown | open | Wikidata Q1896657, MathWorld Urelement, nLab urelement |
| urn problem | A1FHD0K17C | problem | open | Wikidata Q36938, MathWorld BallPicking |
| URP lower bound and URP/COS equality | RA9R6NRKGN | statement | record (an 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#M03V |
| Urs Schreiber | DQGTF4YFMX | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q16875354, nLab Urs Schreiber |
| Urtzi Buijs | ES2FJW5TGJ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102292256, nLab Urtzi Buijs |
| Uruguay | 754ZZV1DE1 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q77, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Uruguay |
| Urysohn space | JYJ15AS7ED | concept | open | Wikidata Q1629844, ProofWiki Definition:Completely_Hausdorff_Space |
| Urysohn's lemma | 9WSFAS4Q12 | statement | node (a node has the same Wikidata item as the row) | mathlib_overview Topology > General topology > Urysohn's lemma, Mathlib exists_continuous_zero_one_of_isClosed, Wikidata Q1816967, EoM Urysohn_lemma, MathWorld UrysohnsLemma, nLab Urysohn's lemma |
| Useful characterizations | JDFKVF5GZY | statement | record (an 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.08821#DIOD |
| Useful Constants | 3CPB7R1N2N | statement | record (an 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.10840#KJ4J |
| Useful update and calibration | KEV7M56TA5 | 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.33499#FLDK |