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 701–800 of 1014.

NameIdKindOutcomeSources
Unitary Galois criterion and sufficient boundsGYKA3DGJSQstatementrecord (an 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.11652#VAIM
unitary group252919GDDQdefinitionnode (a node has the same Wikidata item as the row)Wikidata Q1500617, EoM Unitary_group, MathWorld UnitaryGroup, nLab unitary group, ProofWiki Definition:Unitary_Group
unitary group6JDTY9QCJ8unknownopenmathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > unitary group, Mathlib Matrix.unitaryGroup, mathlib_undergrad Group Theory > Classical automorphism groups > unitary group
Unitary Invariance of Distance3WTY3GVR5Wstatementrecord (an 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.38206#I44T
Unitary Invariance of Interior Angle5E10KYV2H5statementrecord (an 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.38206#SKDU
Unitary invariance of the weak Schur distributionHXN4PQM8V5statementrecord (an 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.29348#VV30
Unitary isometry obstructionE2XBPRC7HNstatementrecord (an 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.14081#B8XB
unitary matrixYNRSTBKDN5unknownnode (a node has the same name as the row)Wikidata Q727103, EoM Unitary_matrix, MathWorld UnitaryMatrix, nLab unitary matrix
Unitary normal formE605M3AW1Vstatementrecord (an 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#7KJ2
unitary normalization7EV6HM1KB5statementrecord (an 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.26286#M3ME
Unitary normalization and strict feasibilityDT1TVE49GSstatementrecord (an 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.15180#F69T
Unitary normalizer4CXX2EKZ2Rdefinitionrecord (an 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.15180#K1K0
unitary operatorNK2S60NT68unknownopenWikidata Q1972470, EoM Unitary_operator, MathWorld Unitary
unitary perfect numberAJZ14GMQ7MunknownopenWikidata Q2370031, MathWorld UnitaryPerfectNumber, OEIS A002827
Unitary reconstructionZNFQ82CJFXstatementrecord (an 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.11652#O7SK
unitary representationJDS06W78JRtopicopenWikidata Q10359539, nLab unitary representation
Unitary scattering transformBTHQN57B7Zstatementrecord (an 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#NG46
unitary transformation6YBPK7243EunknownopenWikidata Q2495534, MathWorld UnitaryTransformation
Unitary two-point suborbits and the three-point orbit numberPPZYN9WVKHstatementrecord (an 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#IJCW
Unitary units modulo all powers of $2$72TW351TA4statementrecord (an 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.29273#DD04
Unitary version of HardimanV9WTGZFDZ3statementrecord (an 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.08787#3KGW
Unitary--orthosymplectic identificationDBCN1P9D5Dstatementrecord (an 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#RZAI
United Kingdom16MM0D8RZ7unknownout_of_scope (a person, not an item of mathematics)Wikidata Q145, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Britain
United StatesC3NAD916J0unknownout_of_scope (a person, not an item of mathematics)Wikidata Q30, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/United_States
Unitriangular subgroups and varying Jordan typeEHQK0WRENBexamplerecord (an 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#9HVQ
Units and line bundles on infinitesimal neighborhoodsZ22K3HZYDTstatementrecord (an 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.21093#3CVH
Units fixing $B$R2V95HARF8statementrecord (an 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.03763#ACJ4
UnivalenceD5DHHJCT71statementopenhott_book basics.tex#axiom:univalence
univalence axiom7DM24N7TMCconceptopenhott_book index/1.14.1/univalence-axiom
univalence axiomBABME0W5D2conceptopenhott_book index/u1.u7/univalence-axiom
univalence axiomCJ3C3X70CVconceptopenhott_book index/1.5/univalence-axiom
univalence axiomCXYV4XNYG4conceptopenhott_book index/7/univalence-axiom
univalence axiomDNS2335RP4conceptopenhott_book index/9.2/univalence-axiom
univalence axiomM2851PKK38conceptopenhott_book index/3.9/univalence-axiom
univalence axiomNN28B764PTconceptopenhott_book index/4.3.1/univalence-axiom
univalence axiomPX0N4C3Z5Yconceptopenhott_book index/1.15/univalence-axiom
univalence axiomRYEXBRD50Bconceptopenhott_book index/u1/univalence-axiom
univalence axiomT4V95ZBTP1conceptopenhott_book index/2.1/univalence-axiom
univalence axiomW2EV2VBZJNconceptopenhott_book index/u1.u3/univalence-axiom
univalence axiomY7FCN4PQPJconceptopenhott_book index/8.2/univalence-axiom
univalence axiomZBC7BR1AGWconceptopenhott_book index/8.8/univalence-axiom
univalence axiom, constructivity of72KH3TV62Qconceptopenhott_book index/u1.u8/univalence-axiom-constructivity-of
univalent functionKWYMECV6MYunknownopenWikidata Q2608535, MathWorld UnivalentFunction
univariateC26RAD6GY8unknownopenWikidata Q1681619, MathWorld Univariate
Univariate normal approximationBVS5CGAEJ8statementrecord (an 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.06372#T9VH
univariate polynomialZDF7J61TDEunknownopenWikidata Q91031942, MathWorld UnivariatePolynomial
Universal $\varepsilon$-approximate samplingX5EVZDNWYSdefinitionrecord (an 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.31607#EDO6
universal algebraG6NVAYV9ADtopicopenWikidata Q1636734, EoM Universal_algebra, MathWorld UniversalAlgebra
Universal anchor floorE24PHC72TGstatementrecord (an 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#PJGZ
Universal ApproximationAG21GPZ63Nstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2502.17203#6Y5C
Universal approximation of DeepONet for parametric $p$-Poisson problemsN148WKSH76statementrecord (an 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.30809#K4OV
Universal approximation theoremF04TDP508Pstatementopenmathlib_1000 Q7894110, Wikidata Q7894110, thousand_plus Q7894110, Wikipedia Universal approximation theorem
Universal base changeT8D2XB5KDAstatementrecord (an 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#S1BO
Universal boundary factorizationNY9P541RYAconjecturerecord (an 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.31189#T8RU
Universal boundary formulaQ7MXQ6FVNBstatementrecord (an 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.04305#W0PN
universal bundle1XP2HQB72QunknownopenWikidata Q7894108, nLab universal bundle
Universal centered source estimatesBJGKNW42YPstatementrecord (an 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.10188#10KK
universal central extensionASJ91Z6VQEunknownopenWikidata Q114145346, nLab universal central extension
Universal change of cutRMM2D22DTEstatementrecord (an 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.08787#T093
universal classTXPJ5BJW7BdefinitionopenWikidata Q2649292, ProofWiki Definition:Universal_Class
universal closure71K9EQ3GGQdefinitionopenWikidata Q9209930, ProofWiki Definition:Universal_Closure_of_Well-Formed_Formula
universal coefficient theoremJMAFH6MN0XstatementopenarXiv 2610.17817#429H, mathlib_1000 Q2495664, Wikidata Q2495664, thousand_plus Q2495664, Wikipedia Universal coefficient theorem, nLab universal coefficient theorem
universal coverK1R7AYJWYGunknownopenWikidata Q4475749, MathWorld UniversalCover, nLab universal covering space
Universal Cover and Schur Multiplier88SD4GX0P8definitionrecord (an 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.27042#EHKE
Universal cover from the peel dataNHKZ3GDMEYstatementrecord (an 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.26196#WAQH
Universal Cover of $\Sn^1$CGNCGPFSGJdefinitionopenhott_book homotopy.tex#S1-universal-cover
Universal Cycles for Odd $n$SAVZP432R3statementrecord (an 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.13717#IM9E
Universal depth of a simplicial truncationGA518XG9DSstatementrecord (an 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.37589#5HUE
Universal discriminantRN3CQ86BC2conjecturerecord (an 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.31189#ICN0
Universal entanglement distillationJZX83AA42Dstatementrecord (an 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.40080#OBI7
universal enveloping algebraXDECH5ZGS6conceptopenWikidata Q1673406, EoM Universal_enveloping_algebra, nLab universal enveloping algebra
Universal exactnessDZC373K5M6definitionrecord (an 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.31607#VKAU
Universal expected M-cost lower boundD3ZD0TSJ96statementrecord (an 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.31607#O1SU
Universal failure of last-iterate convergence for single-step primal methods on monotone problemsF59NZRRQ4Fstatementrecord (an 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#9XV7
Universal finite potentials and the $q$-Bass existence criterion8550DACYNWstatementrecord (an 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#3EQQ
Universal finite-field estimatesJYWWEXBDM3statementrecord (an 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#5OI0
Universal first-order harmonic-mean and Half-Cauchy tailsTBSWZGG4PGstatementrecord (an 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#H426
Universal first-order tails under lower MDAC55PRT5SZPstatementrecord (an 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#5FP0
Universal hyp-affinesSGAH9G5424statementrecord (an 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.28220#ZXOM
Universal hyperplane-graph formula8QQBH4G6GGstatementrecord (an 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#TLP6
Universal Hölder rate for \LLMOH3PMW43RT9statementrecord (an 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.33383#NZ7S
Universal Hölder rate on the deep-cut bandBWSR2ZMRC7statementrecord (an 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.33383#MPHZ
Universal Information HydrodynamicsDJ65ZRVZKFtopicopenWikidata Q136913087
Universal interpolation664F9YPQRJstatementrecord (an 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.06081#TGN6
Universal lower bound for upper deviationsRGKRM1JG5Qstatementrecord (an 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.05498#WVZE
Universal Maximal Evidence Posterior8SQKKVP5KTstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2212.14457#WF8H
Universal measurability of infimaPDA7YRAZCBstatementrecord (an 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.21775#VXY6
universal measuringXHQMVJ4CS1definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2405.14678#S0A9
universal measuring coalgebraMW8Z6ZRKKPdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2405.14678#Z0PZ
universal parabolic constantK8K9H4SKGKobjectopenWikidata Q7894145, MathWorld UniversalParabolicConstant, OEIS A103710
Universal parametric lower boundEH43YY0508statementrecord (an 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.33008#GV3K
Universal Product Code9RS9C2JHNZunknownopenWikidata Q1193047, MathWorld UPC
universal propertyKZ24Z55T6Yconceptopenhott_book index/8.2/universal-property
Universal propertyWQ2G5XRMCRstatementrecord (an 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.28489#SUYZ
universal propertyXDHJEX0R2EunknownopenWikidata Q1417809, EoM Universal_property
Universal propertyYN7N66925Vstatementrecord (an 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.02019#5BHJ
Universal property of the limit operator systemWB8R71B7YBstatementrecord (an 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.02019#JKPC
Universal property of the quotient operator systemSX60MV9CAEstatementrecord (an 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.02019#OTFA
Universal property of truncationsZ6Y4JSE0ACstatementopenhott_book hlevels.tex#thm:trunc-reflective
Universal property, presented formBF4PECF4CVstatementrecord (an 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.28489#F09K