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 201–300 of 1014.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Uniform classical stability bounds | 74XBSBDFY4 | statement | record (an 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#ML2K |
| Uniform Clayton coefficient bounds | K9TVM685S9 | statement | record (an 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#ZRWY |
| Uniform clipped-Gaussian angular barrier | 7E6H9TJV4K | statement | record (an 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#DZC8 |
| Uniform closed-set frequency | BNSC0K52CZ | statement | record (an 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#2MPE |
| Uniform coarse-table inequality | 3SZJAG0614 | statement | record (an 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#13NV |
| Uniform coefficient bound | HK0WAZ83FA | statement | record (an 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#3YMQ |
| Uniform coefficient bounds | 66M6QXV9JE | statement | record (an 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#4RD0 |
| Uniform collision-graph geometry | K2HHFA9DRB | statement | record (an 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#LC3T |
| uniform coloring | 5QXPFTR99A | unknown | open | Wikidata Q7885098, MathWorld PolyhedronColoring |
| Uniform commutative witnesses | 2R26AZTN9B | statement | record (an 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#W8IW |
| Uniform compactness after Gaussian smoothing | 54395DKJAZ | statement | record (an 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#DD1A |
| Uniform comparison | WRWD3RFQS3 | statement | record (an 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.27851#W6LF |
| Uniform comparison after a restart | 63QQ8CKBD3 | statement | record (an 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.28611#A4NI |
| Uniform Concentration along the Null Trajectory | F1MF9JHNWM | statement | record (an 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.16705#O5AH |
| Uniform concentration for the untruncated criterion | CQ80JW1ZV8 | statement | record (an 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#EK0U |
| Uniform Concentration of Cuts in Dense $\gnp$ | S2DPFE9DJB | statement | record (an 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.08766#UACT |
| Uniform concentration of empirical rooted signatures | 5R5BR7SPCG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.01358#UMOC |
| Uniform concentration of frozen exponential averages | 1XT3QH1ZRQ | statement | record (an 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#T0W9 |
| Uniform concentration over $g$ | S8X88A6BAX | statement | record (an 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.03303#YD89 |
| Uniform concentration over a searched subspace | FXN8W160EG | statement | record (an 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#QGJ0 |
| Uniform conditional gap | 70FS00K6GD | statement | record (an 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.03683#3BF3 |
| Uniform conditional variance | XQB0BN34TE | statement | record (an 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#R0WX |
| Uniform conjugate-slice bound | MA676P7109 | statement | record (an 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#8SJW |
| Uniform consistency of signature distances | 1BRNE87ZHS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2607.01358#D3M1 |
| Uniform constrained coercivity | W0C82CV6S7 | statement | record (an 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.00241#LXHI |
| Uniform continuation of the ordinary chains | 1S93S0JP9G | statement | record (an 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.33808#9XRN |
| uniform continuity | 7ZJYA8EKE9 | concept | node (a node has the same name as the row) | Wikidata Q741865, EoM Uniform_continuity, MathWorld UniformlyContinuous |
| Uniform continuity | KCH6P4CAXP | example | open | napkin tex/topology/compactness.tex#example-7 |
| Uniform continuity at exact privacy | AAKM42AQSZ | statement | record (an 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#SJM1 |
| Uniform control on bounded normalized sets | 4B1Z0DG894 | statement | record (an 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.28014#YVF9 |
| uniform convergence | 4XBS8HN3ZY | concept | open | lebl_ra index/1.2.1/uniform-convergence |
| uniform convergence | KYNMF0N33A | unknown | node (a node has the same name as the row) | mathlib_overview Topology > Uniform notions > uniform convergence, Mathlib TendstoUniformly, mathlib_undergrad Single Variable Real Analysis > Sequences and series of functions > uniform convergence, Wikidata Q1411887, EoM Uniform_convergence, MathWorld UniformConvergence, nLab uniform convergence |
| uniform convergence | NYBRG7A4RR | concept | open | lebl_ra index/9.1.2/uniform-convergence |
| Uniform Convergence | TYG7N91P3K | statement | record (an 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.37489#IJNZ |
| Uniform Convergence | ZP4X9TBWRQ | statement | record (an 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.37489#SBBD |
| uniform convergence norm (sup-norm) | TCYZK4H861 | unknown | open | mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > uniform convergence norm (sup-norm), Mathlib EMetric.tendstoUniformlyOn_iff |
| Uniform convergence of $\Ric$ | FGW46F0MJ1 | statement | record (an 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#PUHI |
| Uniform convergence of clean threshold risks | QAKC8956J6 | statement | record (an 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#EU6F |
| Uniform convergence of convex functions | 8FS850DTG7 | statement | record (an 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.12165#WZPU |
| Uniform convergence of finite prefixes to the full shadow | 3KGKWRFTSQ | statement | record (an 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#GLTO |
| uniform convergence on compact subsets | 25TY4GD4RX | concept | open | lebl_ra index/9.2.5/uniform-convergence-on-compact-subsets |
| Uniform convergence under sub-Gaussian increments | 92N2EH84Y1 | statement | record (an 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.10873#YP3Y |
| Uniform convexity | CXJ820A58H | statement | record (an 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.00453#01IU |
| uniform convexity does not imply polynomial norm gaps | 9R4C4265XC | 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.27458#NDRM |
| Uniform corank-one obstruction | PXW4QSD3R3 | statement | record (an 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#7M2Q |
| Uniform correction for nonnegative slopes | PD7KX3KJRX | statement | record (an 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.25380#GYEL |
| Uniform correction tail | S0ZR4WJ912 | statement | record (an 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#NMIC |
| Uniform correctors on boundary caps | 7SHCC8HSK7 | statement | record (an 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.25449#BZ1L |
| Uniform cost of a conditioning budget | RPBGS0B2PV | statement | record (an 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.02166#O9QM |
| Uniform covariance bound | HRKXC9GDM9 | statement | record (an 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.02436#ZWYV |
| Uniform covering from relative highness, Jockusch | RDYH7PYZS1 | statement | record (an 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.14548#OFK8 |
| Uniform cube completion and its coefficient energy | CTGMX10GRW | statement | record (an 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#4QYP |
| Uniform de Jonqui\`eres transformation | HE1H3Y9Q71 | statement | record (an 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.01783#NDO0 |
| Uniform decay of centered observables | 8XAXFVEE5N | statement | record (an 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.39144#4ZTS |
| Uniform decidability | CHG8V4Q5SC | statement | record (an 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.00099#0X74 |
| Uniform degree-gap criterion | E6GTY5R238 | statement | record (an 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#QHLS |
| Uniform degree-moment bounds | V75TRDZDFP | statement | record (an 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.40077#KYYE |
| Uniform density gain after removal of density viscosity | X574BHWY72 | statement | record (an 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.24960#UP97 |
| Uniform descendant extraction | N69AP3X6KV | statement | record (an 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#CKJL |
| Uniform deterministic small-noise limit | 28ZNWWYS4D | statement | record (an 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#QSH0 |
| Uniform deviation of a sampled affine cut | 44FMGQSQAC | statement | record (an 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.12713#WDTH |
| Uniform diagonal control | KW5PJPY62V | statement | record (an 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#LVBS |
| Uniform diameter decay | F593S4RHGE | statement | record (an 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.29153#V4H4 |
| uniform disc-algebra gaps for powers of Ritt operators | RZ27RSRE1T | statement | record (an 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#VE46 |
| Uniform discretization | 7VH26MP98C | 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.21033#NLK0 |
| Uniform displacement for a family of circle paths | 65VYBW3BPA | statement | record (an 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#BVS7 |
| Uniform divisor comparison | YFXNQ76CMD | statement | record (an 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.03811#UDLT |
| Uniform domination of polynomial factors by the scales | MAH539FX3N | statement | record (an 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#1VSZ |
| Uniform dyadic-simplex asymptotic | RDVFAF7ESA | statement | record (an 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#YVWX |
| Uniform empirical-moment and tensor CUSUM bounds | 6KS6YHNESE | statement | record (an 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#0RMS |
| Uniform energy continuity of the CDF lifts | YV8JTZJWFK | statement | record (an 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#627P |
| Uniform ENNAMCQ margin | D0FDDE3NWZ | statement | record (an 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.39736#JVSA |
| Uniform entropy-energy estimate with explicit time dependence | FJXCBZR8EZ | statement | record (an 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#4GZQ |
| 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 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 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-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-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 |