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 601–700 of 1014.

NameIdKindOutcomeSources
Uniqueness for the coupled vertex problemTB9A5E9M9Mstatementrecord (an 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.06631#DY9P
Uniqueness for the exterior problemTG6ZRGW8P1statementrecord (an 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.06631#BOWK
Uniqueness from the squareA793XD9NADstatementrecord (an 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.20994#QKYK
uniqueness implies continuityGTRD29QNVZstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2409.03461#R328
uniqueness implies piecewise linear23FDP2JW8Estatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2409.03461#TODR
Uniqueness in $L^1$ for fixed Robin parameterGNAV8970TZstatementrecord (an 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#3431
Uniqueness in the natural bounded observation-adapted classS4GHS0N7P5statementrecord (an 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.09278#6A7X
Uniqueness of $Q^*_\Omega$ up to an additive constant4PMWVVT6M7statementrecord (an 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#CKB6
Uniqueness of Arthur rows56TEGVVFWJstatementrecord (an 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#RJQF
Uniqueness of Canonical RepresentationC31X3QH6QHstatementrecord (an 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.25091#7MJW
Uniqueness of flat tangent conesTHMDR5A4P9statementrecord (an 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.09596#19C4
Uniqueness of geodesics5YDRG0VKQCstatementrecord (an 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#0I62
Uniqueness of graded asymptotic expansionsKDHF0N8EQRstatementrecord (an 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.29605#WJFP
uniqueness of integral curvesXBR9Z2CTHAunknownopenmathlib_overview Geometry > Differentiable manifolds > uniqueness of integral curves, Mathlib isMIntegralCurveOn_Ioo_eqOn_of_contMDiff_boundaryless
Uniqueness of productsVMMWK73N07statementopennapkin tex/cats/categories.tex#proposition-1
Uniqueness of solutionsC9296S33QNstatementrecord (an 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.06529#9FVO
Uniqueness of solutions with bounded $\pa_xu$ZEA1Y9BT5Ystatementrecord (an 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.13753#GKF8
Uniqueness of the barycenter covariance and faithful-input cross-covariancesMVYV62VM51statementrecord (an 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#B6AX
Uniqueness of the first MoveJHADT9934Estatementrecord (an 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.17677#EISU
Uniqueness of the form of the limitQ08FQDCMDGstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2201.04174#S8SM
Uniqueness of the gainC6RYM55HWHstatementrecord (an 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#X5PO
Uniqueness of the minimal partition via characteristicsPQFQBXPE6Dstatementrecord (an 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#0XIW
Uniqueness of the normalized $k$-optimal weightCBSFCPZKZWstatementrecord (an 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.21454#KQI2
Uniqueness of the optimal blended gradient3GXCNDVPZZstatementrecord (an 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.13773#XGON
Uniqueness of the projective $8$-divisible $[48,6]$ codeB2ZHJ7GAMRstatementrecord (an 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.09341#X9FN
Uniqueness of the stepQQZRGNNWH3statementrecord (an 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.17006#RE73
Uniqueness of the very weak solution, case $V\geq 0$YRVWNF6Z91definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2110.12380#58RT
Uniqueness of the very weak solution, case I: $V \geq 0$FM6GQ5RY8Zstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2110.12380#GL2N
Uniqueness of type I blow-ups2ZFR3GQ2Y3statementrecord (an 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.18270#P51Q
uniqueness quantificationJNACNVQHC8unknownnode (a node has the same Wikidata item as the row)Wikidata Q2502253, MathWorld Unique, nLab uniqueness quantifier
uniqueness theoremTPYT3GNJQWdefinitionopenWikidata Q26261907, MathWorld UniquenessTheorem, ProofWiki Definition:Uniqueness_Theorem
Uniqueness under curvature domination3WPQZYSBD5statementrecord (an 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.14562#VEQC
Uniqueness under noiseNC1KF17114statementrecord (an 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#JU4U
uniqueness, of identity proofsJYTDFWNR0Yconceptopenhott_book index/A.12.3/uniqueness-of-identity-proofs
uniqueness, of identity types135Z9NKE4Econceptopenhott_book index/8.2/uniqueness-of-identity-types
uniqueness, principle1PEZM58M8Bconceptopenhott_book index/A.12.3/uniqueness-principle
uniqueness, principleHX8EGD6ZTMconceptopenhott_book index/4.2.4/uniqueness-principle
uniqueness, principle, for dependent function types26KBMTTWFJconceptopenhott_book index/A.4/uniqueness-principle-for-dependent-function-types
uniqueness, principle, for function typesBX3NVRE27Qconceptopenhott_book index/A.12.3/uniqueness-principle-for-function-types
uniqueness, principle, for identities between functionsAXEF604N6Fconceptopenhott_book index/1.9/uniqueness-principle-for-identities-between-functions
uniqueness, principle, for product typesJE88BDYD5Yconceptopenhott_book index/A.12.3/uniqueness-principle-for-product-types
uniqueness, principle, propositional, for a modalityWJWDVR46M9conceptopenhott_book index/6.7/uniqueness-principle-propositional-for-a-modality
uniqueness, principle, propositional, for dependent pair typesJ74KSN121Bconceptopenhott_book index/1.7/uniqueness-principle-propositional-for-dependent-pair-types
uniqueness, principle, propositional, for functions on $\nat$QJWCGBBBBQconceptopenhott_book index/8.1/uniqueness-principle-propositional-for-functions-on-nat
uniqueness, principle, propositional, for functions on $\w$-typesQWPQF411QXconceptopenhott_book index/8.3/uniqueness-principle-propositional-for-functions-on-w-types
uniqueness, principle, propositional, for functions on a pushoutV22HCXPHX4conceptopenhott_book index/5.8/uniqueness-principle-propositional-for-functions-on-a-pushout
uniqueness, principle, propositional, for functions on a truncationK8M0RGKXRJconceptopenhott_book index/6.3/uniqueness-principle-propositional-for-functions-on-a-truncation
uniqueness, principle, propositional, for functions on the circle40FQYC7Z37conceptopenhott_book index/5.2/uniqueness-principle-propositional-for-functions-on-the-circle
uniqueness, principle, propositional, for homotopy $\w$-typesN82ETPTTVAconceptopenhott_book index/8.5/uniqueness-principle-propositional-for-homotopy-w-types
uniqueness, principle, propositional, for identities between pairs7KA1J0NCDMconceptopenhott_book index/1.6/uniqueness-principle-propositional-for-identities-between-pairs
uniqueness, principle, propositional, for product types2GRH1BFP17conceptopenhott_book index/A.5/uniqueness-principle-propositional-for-product-types
uniqueness, principle, propositional, for product typesWN4HJPQRB1conceptopenhott_book index/1.6/uniqueness-principle-propositional-for-product-types
uniqueness, principle, propositional, for univalenceR5RZ94YNYNconceptopenhott_book index/1.10/uniqueness-principle-propositional-for-univalence
Unisolvence Criterion for the Poisson OperatorC7EJG9MFVTstatementrecord (an 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#J3QF
Unisolvence for the Poisson OperatorT7SXVRS1DQstatementrecord (an 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#S3MP
Unisolvence in the Trial FrameMPF0MCFA8Pstatementrecord (an 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#E932
unit8P5QQDZK6Zconceptopenlebl_scv index/D/unit
unitA1RWYB5XHCconceptnode (a node has the same Wikidata item as the row)Wikidata Q118084, LMFDB knowl ring.unit, MathWorld RingUnit, MathWorld Unit, nLab unit
unit ball2JF2SZY02QunknownopenWikidata Q105332556, MathWorld UnitBall, nLab unit ball
Unit ball and norm comparison4E7T37QPJBstatementrecord (an 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#VEZ5
unit cellWHY1DVR7YEunknownopenWikidata Q11878049, MathWorld UnitCell
Unit cells6SJWE38VFJstatementrecord (an 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.18154#L6HI
unit circleJ6WN0BY43NunknownopenWikidata Q203425, MathWorld UnitCircle
Unit cofactorsCHRR81PTA2statementrecord (an 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.15262#XVSK
unit cube8BBSYCA7AYunknownopenWikidata Q2072112, MathWorld UnitCube
unit disk8ZBM3Y3NH5unknownopenWikidata Q2390323, MathWorld UnitDisk
unit distance graphF6NY4NW54GunknownopenWikidata Q745378, MathWorld Unit-DistanceGraph
unit fraction7Y0VPG60TVdefinitionopenWikidata Q255388, EoM Aliquot_ratio, MathWorld UnitFraction, ProofWiki Definition:Unit_Fraction
Unit groupoidsYWPMVEY93Nexamplerecord (an 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.00789#P122
Unit in the last placeANY49KW92Bdefinitionrecord (an 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.10819#YR9L
unit intervalFW0B04RJMBunknownopenWikidata Q1987578, MathWorld UnitInterval
Unit necklaceH5HHH4CM1Fdefinitionrecord (an 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.30637#XHZK
Unit Necklace TheoremSKPP5KH9FGstatementrecord (an 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.30637#HF76
unit of forceC5Q4A3A0DBdefinitionopenWikidata Q15976022, ProofWiki Definition:SI/Force
unit of measurementFG6H2M3T2SdefinitionopenWikidata Q47574, ProofWiki Definition:Unit_of_Measurement
unit of pressure4F4YYBRNGMdefinitionopenWikidata Q4173969, ProofWiki Definition:Pressure/Unit
unit of speedSTPAF1D3X5definitionopenWikidata Q15222637, ProofWiki Definition:Velocity/Unit
Unit residues at an arbitrary primeBRRPWE6NQMstatementrecord (an 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.15262#12EB
unit sphereP0Z9GE0VMRunknownopenWikidata Q1307800, MathWorld UnitSphere, nLab unit sphere
unit squareZ0NA8ERR13unknownopenWikidata Q1307838, MathWorld UnitSquare
unit type4GDDB3E4J3unknownopenWikidata Q1307872, nLab unit type
unit vectorBFEGPAW28Dconceptopenaustin_ula index/6.3.2/unit-vector
unit vectorH5J392GZNHdefinitionopenWikidata Q36255, MathWorld UnitVector, nLab unit vector, ProofWiki Definition:Unit_Vector
unit, intervalBQG050VWNAconceptopenhott_book index/u1.u2/unit-interval
unit, law for path concatenationTVEXZQCV2Aconceptopenhott_book index/1.1/unit-law-for-path-concatenation
unit, of a ring171QPV1GRKconceptopenhott_book index/B.2.1/unit-of-a-ring
Unit-circle bound implies geometric decayX7WWS510N4statementrecord (an 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.16248#XPL3
Unit-circle resolvent boundJMD88V2557statementrecord (an 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.16248#O8CG
Unit-group boundVMAR89J3PVstatementrecord (an 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.39121#KMEK
Unit-span continuationSVAP16E8YZstatementrecord (an 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#IGWD
Unital *-algebraFW62FPY1WDdefinitionrecord (an 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.37074#F83R
unital magma406YZA61A4definitionopenWikidata Q111485852, ProofWiki Definition:Unital_Magma
Unitarily invariant normZNV62X1F6Hdefinitionrecord (an 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.24522#BA3Y
Unitarity and invariant Hermitian forms40R7NBX3QXdefinitionrecord (an 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.25805#BQQ1
Unitarizable projective monodromyA9CJ8ZNVDAdefinitionrecord (an 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.17116#2EDC
unitary characterZSSD4NYEMQunknownopenWikidata Q77982137, MathWorld UnitaryMultiplicativeCharacter
unitary divisor6DTV591B6BconceptopenWikidata Q1704865, MathWorld UnitaryDivisor
Unitary Eisenstein transformA5KN1KEPPQstatementrecord (an 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.25925#K00C
unitary elementZBY6CAMDS8conceptopenWikidata Q104841236, MathWorld UnitaryElement
Unitary equivalence of the $\tau$-CCR and standard CCR representations7TH1FERP4Sstatementrecord (an 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#Z4T0