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 1101–1200 of 4070.

NameIdKindOutcomeSources
Hardt-Simon (1979BN349P64MAstatementrecord (an 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.26701#29MF
Hardy spaceXM2T5TJYFEconceptopenWikidata Q1585233, EoM Hardy_classes, MathWorld HardySpace
Hardy's conjectureCPKJ9X561Rconjecturerecord (an 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.21730#UO8O
Hardy's inequalityS7K2MYA6FYstatementopenWikidata Q944228, MathWorld HardysInequality
Hardy's theoremYMQ6MC13V9statementopenmathlib_1000 Q4455037, Wikidata Q4455037, thousand_plus Q4455037, Wikipedia Hardy's theorem
Hardy--Littlewood--ChowlaBHZ7W4HJRGconjecturerecord (an 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.20242#17MV
Hardy–Littlewood circle method2JZ96RKW2QunknownopenWikidata Q2543359, MathWorld CircleMethod
Hardy–Littlewood maximal theorem4JN04PRS2Fstatementopenmathlib_1000 Q3075250, Wikidata Q3075250, thousand_plus Q3075250, Wikipedia Hardy–Littlewood maximal theorem
Hardy–Littlewood tauberian theoremDTDS187NSSstatementopenmathlib_1000 Q5656673, Wikidata Q5656673, thousand_plus Q5656673, Wikipedia Hardy–Littlewood tauberian theorem, MathWorld Hardy-LittlewoodTauberianTheorem
Hardy–Ramanujan theorem2D8HM5GEVTstatementopenmathlib_1000 Q5656674, Wikidata Q5656674, thousand_plus Q5656674, Wikipedia Hardy–Ramanujan theorem, MathWorld Hardy-RamanujanTheorem
Hardy–Weinberg principleC25D8X5VA9statementopenWikidata Q49974, ProofWiki Hardy-Weinberg_Law
Harer stabilityK5TVKA39JZstatementrecord (an 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.36509#2J46
Harish-Chandra moduleFYC4ZNGSXZconceptopenWikidata Q5657841, nLab Harish-Chandra module
Harish–Chandra theorem7V902TDGJRstatementopenmathlib_1000 Q5282059, Wikidata Q5282059, thousand_plus Q5282059, Wikipedia Discrete series representation
Harish–Chandra's regularity theoremAN514XRRHVstatementopenmathlib_1000 Q5657833, Wikidata Q5657833, thousand_plus Q5657833, Wikipedia Harish–Chandra's regularity theorem
harmonic analysisS0D8JR2KDXtopicopenWikidata Q876215, EoM Harmonic_analysis, MathWorld HarmonicAnalysis, nLab harmonic analysis, ProofWiki Definition:Harmonic_Analysis
Harmonic and Hermite coefficients2XQ1HWSHK5statementrecord (an 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.09044#D0L1
Harmonic blindnessGWFDYMZTTSstatementrecord (an 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.14012#JIQT
Harmonic boundS75QGETCT0statementrecord (an 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.38375#R8RE
harmonic coordinates47RPY358Q9unknownopenWikidata Q2996688, MathWorld HarmonicCoordinates
harmonic divisionARHMYB2T95unknownopenWikidata Q1101140, MathWorld HarmonicConjugate
harmonic divisor numberY78PZXV0SGconceptopenWikidata Q60679, MathWorld HarmonicDivisorNumber, OEIS A001599
Harmonic extensionY0FN9ZEW7Sdefinitionrecord (an 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.13063#BHFA
Harmonic extension with seam matchingK7R8Q5H28Gstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2501.09848#AL2M
Harmonic fan2YS1P0A4H2exerciseopennapkin tex/topology/fundamental-group.tex#problem-1
Harmonic form81GMXCCAYMstatementrecord (an 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.13892#SPEK
harmonic function1RRM250VSAunknownnode (a node has the same name as the row)Wikidata Q599027, MathWorld HarmonicFunction
harmonic functionZER2Q6TESNconceptopenlebl_diffyqs index/5.9/harmonic-function
harmonic mapFB91X69BXBunknownopenWikidata Q5659257, MathWorld HarmonicMap, nLab harmonic map
harmonic mean3TB6MFTAASunknownopenWikidata Q188347, MathWorld HarmonicMean
Harmonic multiplication and sifting1X6ZMVW6WTstatementrecord (an 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.13892#013I
Harmonic multiplication and sifting convolutionJY3CPRQQ9Edefinitionrecord (an 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.13892#HIB2
harmonic numberKWVHW50KVDunknownnode (a node has the same name as the row)Wikidata Q13407133, EoM Harmonic_number, MathWorld HarmonicNumber
harmonic oscillatorNDTA24VJMFdefinitionnode (a node has the same Wikidata item as the row)Wikidata Q190070, nLab Harmonic oscillator, ProofWiki Definition:Harmonic_Oscillator
harmonic polynomialTY5YQ30D22unknownopenWikidata Q4133834, EoM Harmonic_polynomial
Harmonic polynomialsKDS96SEV3Edefinitionrecord (an 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.28282#17BA
harmonic seriesXPQACBAP9Qdefinitionnode (a node has the same Wikidata item as the row)Wikidata Q464100, EoM Harmonic_Series, EoM Harmonic_series, MathWorld HarmonicSeries, ProofWiki Definition:Harmonic_Series
Harmonic signalHDJZWRDA2Kdefinitionrecord (an 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.25431#90VI
Harmonic spinor parameterisation83ARWGGRTAstatementrecord (an 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#RTES
Harmonic superadditivity3S7XESWJYSstatementrecord (an 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.04671#33SO
Harmonic upper boundDQ8SD104XCstatementrecord (an 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.28282#4JGE
harmonic weight as a momentQ82B09GVCXstatementrecord (an 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.20775#TCCZ
Harmonic-decomposition Crandall representationWZX4R0WQ7Tstatementrecord (an 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.28282#HE94
Harmonic-decomposition Crandall representation of the regularized anisotropic Epstein zeta functionEPWA30VKV4statementrecord (an 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.28282#7YRU
Harmonic-measure limit for quenched growth9YEJ9P24M9statementrecord (an 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.03912#UVNN
Harmonic-measure limit of the orbital band4MT8RFPQRJstatementrecord (an 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.03912#KA1V
Harmonically persistently excitingFP3GFWK0YRdefinitionrecord (an 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.25431#7VOL
Harmonices MundiHTXJJ8A89Vunknownout_of_scope (a book, not an item of mathematics)Wikidata Q1066757, ProofWiki Book:Johannes_Kepler/Harmonices_Mundi
Harmonicity and its weak formEGWVP3HC5Qstatementrecord (an 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.39531#3321
Harmonie universelleVVCDG0CZENunknownout_of_scope (a book, not an item of mathematics)Wikidata Q18857163, ProofWiki Book:Marin_Mersenne/Harmonie_Universelle
harmonographXSXT90HH49unknownopenWikidata Q240559, MathWorld Harmonograph
Harnack estimate for small timesFHT7YTYBKFstatementrecord (an 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.08434#YSO3
Harnack inequalities44CS6KFT7Ystatementrecord (an 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.12430#9UAY
Harnack's curve theoremPSKQ09V5S4statementopenmathlib_1000 Q5659675, Wikidata Q5659675, thousand_plus Q5659675, Wikipedia Harnack's curve theorem, MathWorld HarnacksTheorems
Harnack's inequalityP4W1WW222PstatementopenWikidata Q868279, MathWorld HarnacksInequality
Harnack's principleX4AFEGCJ08statementopenmathlib_1000 Q1135706, Wikidata Q1135706, thousand_plus Q1135706, Wikipedia Harnack's theorem, MathWorld HarnacksPrinciple
Harnack-type inequalityKQ6E1N6G93statementrecord (an 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.27957#RZ97
Harold S. ShapiroXG9RBM74M6unknownout_of_scope (a person, not an item of mathematics)Wikidata Q3127636, MathWorld Rudin-ShapiroSequence
Harper39382NBMKSstatementrecord (an 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.28552#YB2V
HarperPF5CV1EAM7statementrecord (an 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.28552#EO70
Harries graph1YZ68FHF9RunknownopenWikidata Q3115500, House of Graphs 1146, MathWorld HarriesGraph
Harries–Wong graphT726GKNP13unknownopenWikidata Q3115503, House of Graphs 1148, MathWorld Harries-WongGraph
Harrington’s lemmaBFXZ4GWS87statementrecord (an 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.11002#HQ2B
Harris's inequality2ZEK01SBCQstatementrecord (an 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.38772#AJCA
Harris-Kleitman inequalityJF13H02AQ7unknownopenmathlib_overview Combinatorics > Set families > Harris-Kleitman inequality, Mathlib IsLowerSet.le_card_inter_finset
Harrison-Trainor9K6FXRDQ8Cdefinitionrecord (an 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.05611#OVHF
Harrison-TrainorE2QTG5QZF7statementrecord (an 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.05611#XQ9P
Harry LehmannZ2D1NTCG0Qunknownout_of_scope (a person, not an item of mathematics)Wikidata Q71575, nLab Harry Lehmann
Harry ReuterAWMTXS6TVWunknownout_of_scope (a person, not an item of mathematics)Wikidata Q1586720, ProofWiki Proof:Gerd_Edzard_Harry_Reuter
harshad numberKR2T0GCH18unknownopenWikidata Q375355, MathWorld HarshadNumber
Hart circleAWTJ9W8AMRstatementopenWikidata Q111913746, MathWorld HartCircle
Hart's inversor7YDD65DBKGconceptopenWikidata Q16983650, MathWorld HartsInversor
Hartman–Grobman theoremMABB0816E0statementnode (a node has the same name as the row)mathlib_1000 Q211981, Wikidata Q211981, thousand_plus Q211981, Wikipedia Hartman–Grobman theorem
Hartogs extension from a boundary neighborhoodYG26Y1K7JRstatementrecord (an 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.12497#UEM0
Hartogs numberMS1AABYPY3definitionopenWikidata Q1186007, nLab Hartogs number, ProofWiki Definition:Hartogs_Number
Hartogs phenomenonARFFY5ZFHMstatementopenlebl_scv scv.tex#thm-17
Hartogs phenomenonW6VG47BBZBconceptopenlebl_scv index/4.3/hartogs-phenomenon
Hartogs's extension theorem5MK1H62N1Pstatementopenmathlib_1000 Q383238, Wikidata Q383238, thousand_plus Q383238, Wikipedia Hartogs's extension theorem
Hartogs's theoremW2A2GN99X3statementopenmathlib_1000 Q1050932, Wikidata Q1050932, thousand_plus Q1050932, Wikipedia Hartogs's theorem
Hartogs--Bochner again57771J7WFYexerciseopenlebl_scv scv.tex#exercise:HartogsBochnerSPCVX
Hartogs–Rosenthal theoremB3BPHXY779statementopenmathlib_1000 Q5675112, Wikidata Q5675112, thousand_plus Q5675112, Wikipedia Hartogs–Rosenthal theorem
Hartree remainderA6NX8HHVX4statementrecord (an 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.00339#CO4L
Haruki's TheoremAVHKKWTWK0statementopenWikidata Q25304094, MathWorld HarukisTheorem
harvestingDYEB43RQJ9conceptopenlebl_diffyqs index/4.6/harvesting
hash functionHVM7B8W5FRunknownopenWikidata Q183427, MathWorld HashFunction
hash mapS9P1XTGVJ0unknownopenmathlib_overview Data structures > Maps > hash map, Mathlib Std.HashMap
Hash modelsE874FJMTXWstatementrecord (an 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.04271#Q15E
hash tableZPF4SA92DYunknownopenWikidata Q207440, MathWorld HashTable
Hashing-bound positioningS9KJ8H1CS9statementrecord (an 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#H75T
HaskellV7A86YSJQ8conceptopenhott_book index/6.7/haskell
HaskellXDSQGVZ9WHunknownopenWikidata Q34010, nLab Haskell
Haskell Curry55430GZEDFunknownout_of_scope (a person, not an item of mathematics)Wikidata Q92611, nLab Haskell Curry
HASM34M9BTHASM34M9BTdefinitionrecord (an 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.26398#GU7B
HASP2G30ZHHASP2G30ZHstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2203.06854#9KTL
HASPVZ9XWCHASPVZ9XWCstatementrecord (an 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.14841#RWD3
HASR8Z0V2THASR8Z0V2Tdefinitionrecord (an 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.09812#PHKD
Hasse diagramRH1DW22543conceptnode (a node has the same Wikidata item as the row)Wikidata Q901446, LMFDB knowl combin.hasse_diagram, MathWorld HasseDiagram, nLab Hasse diagram, ProofWiki Definition:Hasse_Diagram
Hasse diagramsZJ5TTZMG2Tconceptopenapplied_combinatorics index/6.1/hasse-diagrams
Hasse Invariant, Definition 5.1.3DS2JFKE4AJdefinitionrecord (an 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#Z9OE
Hasse norm theoremJMQRYMY4VQstatementopenmathlib_1000 Q3527209, Wikidata Q3527209, thousand_plus Q3527209, Wikipedia Hasse norm theorem