Math 2.0

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.

Rows 501–600 of 1014.

NameIdKindOutcomeSources
Uniform-topology dissipative Lieb--Robinson bound8372X1ZVXCstatementrecord (an 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
uniformitarianism6TNS4SBHHBstatementopenWikidata Q208650, ProofWiki Principle_of_Uniformity_of_Nature
Uniformity and independence in the affine caseM5YEHSSGPVstatementrecord (an 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 listPWAZTV7PP3statementrecord (an 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 searchEE06C75XEEstatementrecord (an 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 in $q$R70CJQ49JAstatementrecord (an 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 is free, once the constants are uniformFG0VWXDZ32statementrecord (an 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 cubicizationD8GAE41XA0statementrecord (an 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 HoleZDPG19MDXVstatementrecord (an 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 tiltsADFQWGREAEstatementrecord (an 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
Uniformization6JPDBTQGYWstatementrecord (an 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
Uniformization8KT4TTMRYQstatementrecord (an 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 theorem310G3FM3SNstatementopenmathlib_1000 Q2109761, Wikidata Q2109761, thousand_plus Q2109761, Wikipedia Uniformization theorem
Uniformized KL inequalityXFVTP7RRZ9statementrecord (an 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.28306#MYX3
Uniformly bounded absorption timeR9A12E7DRKstatementrecord (an 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.14988#H4MH
Uniformly bounded normal decompositionsVK9AA2MSX7statementrecord (an 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#3H7O
Uniformly bounded relevance errorsPQ5NX5KQF1statementrecord (an 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#ICPD
uniformly Cauchy sequenceKAT64SBSMVconceptopenWikidata Q7885144, MathWorld UniformlyCauchy
uniformly continuous functionT4FG4FN954unknownopenmathlib_overview Topology > Uniform notions > uniformly continuous function, Mathlib Metric.uniformContinuous_iff, mathlib_undergrad Topology > Topology and Metric Spaces > uniformly continuous functions
uniformly continuous, in a metric spaceKR5V91B6TRconceptopenlebl_ra index/4.5.4/uniformly-continuous-in-a-metric-space
uniformly convergent seriesZ920VSR23BunknownopenWikidata Q91257411, EoM Uniformly-convergent_series
Uniformly convex Gibbs laws930FHS9S4Dstatementrecord (an 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.22109#ZVDA
uniformly convex space5KW7DPC3WZunknownopenWikidata Q847535, MathWorld UniformlyConvex
Uniformly gapped product-state pathHQ2ZN2E17Bstatementrecord (an 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.15199#HKY4
uniformly hyperfinite algebra8YF8MZ3ZABunknownopenWikidata Q2467095, nLab uniformly hyperfinite algebra
Uniformly local box calculusGV922X8R5Xstatementrecord (an 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.29147#0ZAD
Uniformly local functional calculusBVNNA2G50Kstatementrecord (an 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.29147#96YE
Uniformly separated set orbits1C7ZZH4RCXstatementrecord (an 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.16510#HPXH
Uniformly StableZAN7NJ5FQ0definitionrecord (an 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.12716#E949
unigraphPPR8RWD6XWunknownopenWikidata Q130473407, MathWorld UnigraphicGraph
unimodal distribution4W0M03NYYZunknownopenWikidata Q124178356, EoM Unimodal_distribution, MathWorld UnimodalDistribution
unimodal sequenceFNJW1J0CFEunknownopenWikidata Q110277478, MathWorld UnimodalSequence
unimodalityJXTE3334MZunknownopenWikidata Q2896771, MathWorld Unimodal
unimodular groupRV32YZYA7VunknownopenWikidata Q124178631, EoM Unimodular_group, MathWorld UnimodularGroup
unimodular latticeVVNZGX5TW9unknownopenWikidata Q2794475, LMFDB knowl lattice.unimodular
unimodular matrixFA6MN9VDZ1unknownopenWikidata Q1367055, MathWorld UnimodularMatrix
Unimodular zerosA0BF885GT0statementrecord (an 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.22132#DNUS
Unimodularity and absence of bad primesP9FKQ45WD6statementrecord (an 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#PKRJ
union8G145Z7R51conceptopenlevin_dmoi index/1.3.1/union
union9E7ZBXH45Fconceptopenlevin_dmoi index/1.3.3/union
unionE768EJCYWCunknownnode (a node has the same Wikidata item as the row)Wikidata Q185359, MathWorld Union
UnionFBZX1PPT7Edefinitionopenopen_logic content/sets-functions-relations/sets/unions-and-intersections.tex#defn-1
unionKN144CKMBSconceptopenapplied_combinatorics index/B.2.1/union
UnionW5GW4HHFJNstatementopenopen_logic content/set-theory/z/union.tex#axiom-1
Union bound for a sum of random variablesDCRFGPX3Y8statementrecord (an 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.39992#OQKT
Union graphBKSGYQQS4Gdefinitionrecord (an 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.14988#MNSU
Union ruleZDE0MGA225statementrecord (an 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.02833#IDH3
Union-class separation9BNNTZ7Z3Wstatementrecord (an 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.00295#WERO
Union-closed sets conjecture7MPQRGDZHXconjectureopenWikidata Q2993338, MathWorld Union-ClosedSetsConjecture
Unions and separationX6FA1QTG0Sstatementrecord (an 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.28028#6MUG
Unions from a fixed collection of classes5AZRZ8YX1Jstatementrecord (an 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.25101#GWDO
Unions of orbits are triple systemsQVXCT3TGHFstatementrecord (an 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.15340#XTDN
Unipotence on the fibres at the boundary2SDCJ9X480statementrecord (an 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#05W6
Unipotent cosets in characteristic zero16J5Z7DQB1statementrecord (an 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.27204#JBHH
unipotent matrixT100K0P91BunknownopenWikidata Q2494911, MathWorld Unipotent
Unipotent reductionK5K68HKAFQstatementrecord (an 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.16931#AG4Q
Unique $2$-QW barycenters for isotropic thermal statesSB21Z3R59Kstatementrecord (an 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#W7WU
Unique continuation from a set of positive measureTGT02W8S9Bstatementrecord (an 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#AV0P
Unique continuation in Bessel potential spaces458AJ2N25Vstatementrecord (an 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.17524#F654
unique existence of strong solutionW00CH1TRH7statementrecord (an 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.35001#IJEB
Unique extremizer and stabilityQCJ6NSDVVAstatementrecord (an 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#KS0O
unique factorization domainXAMX9JNA4Mstatementnode (a node has the same Wikidata item as the row)mathlib_100 80, Mathlib Nat.primeFactorsList_unique, Mathlib Int.euclideanDomain, Mathlib EuclideanDomain.instIsPrincipalIdealRing, Mathlib UniqueFactorizationMonoid, Mathlib UniqueFactorizationMonoid.factors_unique, mathlib_1000 Q670235, Wikidata Q670235, mathlib_overview General algebra > Divisibility in integral domains > unique factorisation domain, mathlib_undergrad Ring Theory > Divisibility in integral domains > $\Z$ is a Euclidean ring, mathlib_undergrad Ring Theory > Divisibility in integral domains > unique factorisation domain (UFD), thousand_plus Q670235, Mathlib EuclideanDomain.to_principal_ideal_domain, Wikipedia Fundamental theorem of arithmetic, Wikidata Q1052579, LMFDB knowl ring.unique_factorization_domain, MathWorld UniqueFactorizationDomain, ProofWiki Definition:Unique_Factorization_Domain, MathWorld FundamentalTheoremofArithmetic, nLab fundamental theorem of arithmetic
Unique finite partition and quantitative complementarity766TYXTXW1statementrecord (an 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#T86F
Unique hollowing forms of minimally hollowing spacesWYVJQCX4VFstatementrecord (an 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.14509#B7ZT
Unique information5GYBV360KHdefinitionrecord (an 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.00571#YLSO
Unique maximum for first momentEADP4CFVSAstatementrecord (an 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.14085#UGSX
Unique minimum cyclic-variety generatorsXS111R3YGAstatementrecord (an 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#OEP9
unique primeTXXZ8B57YBunknownopenWikidata Q2654418, MathWorld UniquePrime, OEIS A040017
unique prime decompositionHNW0P8ZEQYstatementrecord (an 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.05617#PPTO
Unique Readability7X0WYQJYJXstatementopenopen_logic content/propositional-logic/syntax-and-semantics/preliminaries.tex#prop-1
Unique ReadabilityM7ZV35ZWK9statementopenopen_logic content/lambda-calculus/syntax/unique-readability.tex#prop:unq
Unique ReadabilityTH7DFVF90Zstatementopenopen_logic content/first-order-logic/syntax-and-semantics/unique-readability.tex#prop-1
Unique root property92MZKKHDEYdefinitionrecord (an 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.20131#MX5C
Unique subgradientsNSMQDA9H4Dstatementrecord (an 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.17519#HGOC
unique, choice3M76PHHRB3conceptopenhott_book index/9.9/unique-choice
unique, factorization systemC5WWQ0HWY3conceptopenhott_book index/6.6/unique-factorization-system
unique, factorization systemP9YB4Y74H7conceptopenhott_book index/6.7/unique-factorization-system
Unique-root characterization of the radius constantM36KZVAXPXstatementrecord (an 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.00501#TW4I
uniquely colorable graph8H61EQJH7VunknownopenWikidata Q7886960, MathWorld UniquelyColorableGraph
uniquely embeddable graphQE5C1PPSCQunknownopenWikidata Q130323039, MathWorld UniquelyEmbeddableGraph, OEIS A372853
uniquely Hamiltonian graph6PF6CEV9JFunknownopenWikidata Q130598732, MathWorld UniquelyHamiltonianGraph
uniquely pancyclic graphBQVVSD3ZT7unknownopenWikidata Q130598728, MathWorld UniquelyPancyclicGraph
Uniqueness3CDFZMYCXEstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1311.6044#5QJV
Uniqueness484265AS40statementrecord (an 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.37479#66DJ
Uniqueness4MA9BX95GWstatementrecord (an 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.17129#VBRU
Uniqueness6Q9ASJNXFPstatementrecord (an 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.18078#L0PT
uniquenessCDM163KTRGstatementrecord (an 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.01753#4JVT
uniquenessFCE1QW85T4topicopenWikidata Q17548110
UniquenessMVQPF0HX3Kstatementrecord (an 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#UV13
UniquenessNFZM0F16T7statementrecord (an 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.35030#UN46
UniquenessPQ3S1JK2PKstatementopenlebl_diffyqs ch-laplace.tex#lt:uniqthm
Uniqueness after patching the stopped equations81ANEF94KYstatementrecord (an 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.28985#SXL7
Uniqueness among Gaussian barycentersYW3NMGW3B1statementrecord (an 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#MQBP
Uniqueness and continuous dependenceYCBSTY597Mstatementrecord (an 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.14555#WU2I
Uniqueness and mixing in the strict region4P7GNEWVGPstatementrecord (an 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#WS68
Uniqueness at zero pressure2JX36ZXJ92statementrecord (an 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.28024#KIEE
Uniqueness for $L^\infty$ conductivitiesX7B0NAYS1Vstatementrecord (an 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.17524#P09W
Uniqueness for $L^\infty$ conductivities when $n=1$, $s=1/2$SSVVP99M5Wstatementrecord (an 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.17524#VH0O
Uniqueness for (CEY7H07JVKSWstatementrecord (an 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.17129#8R4Q
Uniqueness for displaced thermal inputsH47TYJKFBPstatementrecord (an 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#6S53