Math 2.0

Inventory: H

The rows of the inventory whose names start with H. 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 901–1000 of 4070.

NameIdKindOutcomeSources
Hadamard three-circle theoremX3Y9SEZD47statementopenmathlib_1000 Q729359, Wikidata Q729359, thousand_plus Q729359, Wikipedia Hadamard three-circle theorem
Hadamard three-lines theorem133S878V3Mstatementopenmathlib_1000 Q3527250, Mathlib Complex.HadamardThreeLines.norm_le_interpStrip_of_mem_verticalClosedStrip, Wikidata Q3527250, thousand_plus Q3527250, Wikipedia Hadamard three-lines theorem
Hadamard transformHZ6EVNDTWBunknownopenWikidata Q1014065, MathWorld HadamardTransform
Hadamard Unitary60EHBPD95Edefinitionrecord (an 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#PN61
Hadamard's inequalityNS940N4DNHstatementopenWikidata Q1365087, MathWorld HadamardsInequality
HADHESGF03HADHESGF03statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1303.4328#1MAL
Hadjicostas's formulaZHTMABJBS5unknownopenWikidata Q5637922, MathWorld HadjicostassFormula
HADR3C585KHADR3C585Kstatementopenopen_logic content/many-valued-logic/three-valued-logics/multiple-designation.tex#prop:gl-udes
hadronQMY8X83P0SunknownopenWikidata Q101667, nLab hadron
Hadwiger 19434YH5GCK0C6conjecturerecord (an 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.35361#6Z3H
Hadwiger conjecture8TXBHSC5NCconjectureopenWikidata Q1128435, MathWorld HadwigerConjecture
Hadwiger numberR04C181XXQunknownopenWikidata Q5638117, MathWorld HadwigerNumber
Hadwiger's theorem4464J9Q5KVstatementopenmathlib_1000 Q5638112, Wikidata Q5638112, thousand_plus Q5638112, Wikipedia Hadwiger's theorem, nLab Hadwiger's theorem
Hadwiger–Nelson problemFQMPDR79PPproblemopenWikidata Q1383936, MathWorld Hadwiger-NelsonProblem
HADYYPAE06HADYYPAE06statementrecord (an 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.32614#X02O
Haefliger structurePR1QJF86NDunknownopenWikidata Q5638159, nLab Haefliger structure
HAFFMCC5WVHAFFMCC5WVdefinitionrecord (an 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.06338#OG37
Hafner–Sarnak–McCurley constantCWRFPAX91FobjectopenWikidata Q5638401, MathWorld Hafner-Sarnak-McCurleyConstant, OEIS A085849
hafnian9ATZZEC4K0unknownopenWikidata Q25101392, nLab hafnian
HAGA7Q4CEKHAGA7Q4CEKstatementrecord (an 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.26307#ZGLT
HAGBSQ38AVHAGBSQ38AVstatementrecord (an 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.10591#9KTX
Hagen KleinertYPNP2DCX5Wunknownout_of_scope (a person, not an item of mathematics)Wikidata Q76757, nLab Hagen Kleinert
HAGFD65W3QHAGFD65W3Qproofopenopen_logic content/normal-modal-logic/tableaux/more-soundness.tex#proof-3
HAGX8Z5WX5HAGX8Z5WX5statementrecord (an 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.01473#SUB9
Hahn constructionXHXHGA9SBWstatementrecord (an 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.15421#D2QL
Hahn decomposition theoremGQXRW68XRRstatementopenmathlib_1000 Q1568811, Mathlib MeasureTheory.SignedMeasure.exists_isCompl_positive_negative, Wikidata Q1568811, thousand_plus Q1568811, Wikipedia Hahn decomposition theorem, EoM Hahn_decomposition
Hahn embedding theorem5ZJJZA06SYstatementopenmathlib_1000 Q5638886, Mathlib hahnEmbedding_isOrderedAddMonoid, Wikidata Q5638886, thousand_plus Q5638886, Wikipedia Hahn embedding theorem
Hahn polynomialsKJCGKM8ZS2conceptopenWikidata Q1568814, MathWorld HahnPolynomial
Hahn series5J66Q8MVFSunknownopenWikidata Q5638887, nLab Hahn series
Hahn–Banach theorem88WHNVG41Hstatementopenmathlib_1000 Q866116, Mathlib exists_extension_norm_eq, Wikidata Q866116, mathlib_overview Analysis > Normed vector spaces/Banach spaces > Hahn-Banach theorem, thousand_plus Q866116, Wikipedia Hahn–Banach theorem, EoM Hahn-Banach_theorem, MathWorld Hahn-BanachTheorem
Hai-Reuven, 2013AHSRW242AQstatementrecord (an 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.03151#50J4
Hain1DE3EJPAFFstatementrecord (an 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.09694#T6C3
Hain and MorganG6C4H3DT5Sstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 0909.0714#W54M
Hain, Prop 1.38FBXZPEBAYstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 0909.0714#LFPC
Hain, Prop 2.10, Prop 2.13PZSAXARB1Mstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 0909.0714#1Q98
Hain, Proposition 2.9VZMRH66Z3Fstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 0909.0714#W86P
hairy ball theorem8AXWVBK3AFstatementopenmathlib_1000 Q1077741, Wikidata Q1077741, thousand_plus Q1077741, Wikipedia Hairy ball theorem, MathWorld HairyBallTheorem
HAJHVWGCE1HAJHVWGCE1definitionrecord (an 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.08935#OVXD
Hajnal–Szemerédi theoremX12DR2DCFWstatementopenmathlib_1000 Q2984415, Wikidata Q2984415, thousand_plus Q2984415, Wikipedia Hajnal–Szemerédi theorem
HAJREKS3AXHAJREKS3AXexerciseopenopen_logic content/turing-machines/machines-computations/representing-tms.tex#prob-5
Hajós graphSJ8G44QKVPunknownopenWikidata Q30747987, House of Graphs 36261, MathWorld HajosGraph
HAKAVD9XN4HAKAVD9XN4problemrecord (an 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.07608#ZNSM
Haken manifoldCDJPAXKQJCunknownopenWikidata Q2589609, nLab Haken manifold
Hakimi3JXNAV7RJYstatementrecord (an 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.30315#P3US
HAKYXR885SHAKYXR885Sstatementrecord (an 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.07049#WLUE
Hal\'asz--Montgomery--Tenenbaum, \HMTTheoremCitationYDPY9AX7CNstatementrecord (an 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.11965#8LBT
HalayudhaVMKYKJK2CPunknownout_of_scope (a person, not an item of mathematics)Wikidata Q3635178, ProofWiki Mathematician:Halayudha
Hales–Jewett theorem4MPFNH4AFWstatementopenmathlib_1000 Q1032886, Mathlib Combinatorics.Line.exists_mono_in_high_dimension, Wikidata Q1032886, mathlib_overview Combinatorics > Ramsey theory > Hales-Jewett theorem, thousand_plus Q1032886, Wikipedia Hales–Jewett theorem
half adjoint equivalenceMQY4J8Z3DPconceptopenhott_book index/3.2/half-adjoint-equivalence
Half rank log-bound74MX38MSEWstatementrecord (an 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.30561#WRIB
half-closed intervalWC2D4SDV2GdefinitionopenWikidata Q16708615, MathWorld Half-ClosedInterval, ProofWiki Definition:Real_Interval/Half-Open
Half-flip $H$-set decompositionVYSWX0D1F8statementrecord (an 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.25543#WQKP
Half-integral pointsKBY4C59SPRstatementrecord (an 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#7KAC
Half-Laplacian UCP for bounded functionsEHNVYF8RW0statementrecord (an 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#6FQF
Half-line reduction (recalled4NCSMEDAKGstatementrecord (an 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#FU3Z
Half-mean gateSC8D6HADXBstatementrecord (an 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.24931#L4PB
Half-mean scalar certificateCEA4BSEBXHstatementrecord (an 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.24931#8YWB
Half-normal distributionK7ESJA5RGBunknownopenWikidata Q3258414, MathWorld Half-NormalDistribution
half-open interval9N46AYFXC6conceptopenlebl_ra index/7.4/half-open-interval
Half-period identityZXT3R6G9GAstatementrecord (an 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.22305#5C9Q
Half-period positivityVKQFPG2S3Rstatementrecord (an 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.22305#P21Y
Half-period ratio27TV9T0CCNunknownopenWikidata Q5641621, MathWorld Half-PeriodRatio
half-plane8PDAP665BWunknownopenWikidata Q37025, EoM Half-plane, MathWorld Half-Plane
Half-rank log boundN5K7NSY5C4statementrecord (an 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.30561#EDYE
Half-sizeBVMJDAWFZ9statementrecord (an 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.07905#QOX8
half-spaceMCC9S2YH07unknownopenWikidata Q644719, MathWorld Half-Space
Half-space as an S-free set5WQ6H9MRQ9statementrecord (an 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.33946#WZHQ
Halin graphXVVB40B0RSunknownopenWikidata Q2913731, EoM Halin_graph, MathWorld HalinGraph
Hall6V2EQ60BVGstatementrecord (an 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.04870#88X2
HallT758BRCE9Cstatementrecord (an 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.15024#TG0P
HallTY3PVE82HQstatementrecord (an 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.04870#QWH0
HallVZRFB4GQNDstatementrecord (an 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.16258#ZS49
Hall algebraTEMM13TWSQconceptopenWikidata Q5642657, nLab Hall algebra
Hall deficiency with prescribed coveragePS4XGW8VYGstatementrecord (an 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.15024#6787
Hall formulationEM1GC7QJSBstatementrecord (an 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.38993#VJFY
Hall GraphMDDE7BW6YDunknownopenWikidata Q3115497, House of Graphs 51397, MathWorld HallGraph
Hall subgroupF73V4DGX4ZconceptopenWikidata Q1571916, EoM Hall_subgroup, LMFDB knowl group.subgroup.hall, ProofWiki Definition:Hall_Subgroup
Hall's Marriage Theorem8VGYNNAP8Wconceptopenlevin_dmoi index/5.6/hall-s-marriage-theorem
Hall's marriage theoremDYF4S6E1FJstatementnode (a node has the same Wikidata item as the row)mathlib_1000 Q536640, Mathlib Finset.all_card_le_biUnion_card_iff_exists_injective, Mathlib SimpleGraph.exists_isPerfectMatching_of_forall_ncard_le, Wikidata Q536640, mathlib_overview Combinatorics > Transversals > Hall's marriage theorem, thousand_plus Q536640, Wikipedia Hall's marriage theorem, MathWorld HallsTheorem, ProofWiki Hall's_Marriage_Theorem
Hall's Marriage TheoremSRGH3VCS0Hstatementopenlevin_dmoi ptx/sec_gt-matchings.ptx#theorem-1
Hall's Theorem749JFSCHYDstatementopenapplied_combinatorics source/s_flowapplications_bip-match.ptx#thm_flowapplications_hall
Halley's methodSWRS4BBTQNunknownopenWikidata Q1476051, MathWorld HalleysMethod
Hall–Janko graphE8E39MR8QFconceptopenWikidata Q260174, House of Graphs 1140, MathWorld Hall-JankoGraph
Hall–Janko groupXG18VRVKAYunknownopenWikidata Q5643249, MathWorld Hall-JankoGroup
Hall–Littlewood polynomialsRPDPWSGJZ5conceptopenWikidata Q5643248, MathWorld Hall-LittlewoodPolynomial
Halpern–Läuchli theoremJ5X10M34D2statementopenmathlib_1000 Q5643485, Wikidata Q5643485, thousand_plus Q5643485, Wikipedia Halpern–Läuchli theorem
Halting functionQG3K4YQCCFdefinitionopenopen_logic content/turing-machines/undecidability/halting-problem.tex#defn-1
halting problem69Z9SC24HSunknownopenWikidata Q622849, MathWorld HaltingProblem
Halting problemBYA0DN7ZRBdefinitionopenopen_logic content/turing-machines/undecidability/halting-problem.tex#defn-2
halting problemSJXSP8RY03unknownopenmathlib_overview Logic and computation > Computability > halting problem, Mathlib ComputablePred.halting_problem
halved cube graphJPK1J5J4APunknownopenWikidata Q13077214, MathWorld HalvedCubeGraph
ham sandwich theorem4TYQB67TH3statementopenmathlib_1000 Q730222, Wikidata Q730222, thousand_plus Q730222, Wikipedia Ham sandwich theorem, Wikipedia Stone–Tukey theorem, MathWorld HamSandwichTheorem
HAM4VFZ6S8HAM4VFZ6S8statementrecord (an 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.39700#103A
HAM8KYYQ5ZHAM8KYYQ5Zstatementrecord (an 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.25468#ZNEC
Hamada--Smith rank specialisation; verified closed form329DAYZ2THstatementrecord (an 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.02392#FJQH
Hamburger moment problemWETC6H0A49problemopenWikidata Q5644349, MathWorld HamburgerMomentProblem
Hamilton path60XQX78K0Xconceptopenlevin_dmoi index/5.5.1/hamilton-path
Hamilton routerAF908C0RYTdefinitionrecord (an 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.35766#NGK4
Hamilton's equationsGX0GT54XKCunknownopenWikidata Q1115699, MathWorld HamiltonsEquations, nLab Hamilton's equations
Hamilton--Jacobi inequality with maximal relaxed subslopeN061Z2JHM8statementrecord (an 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#75Y5