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 1701–1800 of 4070.

NameIdKindOutcomeSources
Hellinger–Toeplitz theorem9CVDCG7ZEDstatementopenmathlib_1000 Q1472120, Mathlib LinearMap.IsSymmetric.continuous, Wikidata Q1472120, thousand_plus Q1472120, Wikipedia Hellinger–Toeplitz theorem
Hellman-Feynman formulaH58YPMJQYGstatementrecord (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.17815#CO3C
Hellmann-FeynmanJFARR76XKRstatementrecord (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.17139#53A1
Hellmann–Feynman theoremESH8ZVQDRSstatementopenmathlib_1000 Q906809, Wikidata Q906809, thousand_plus Q906809, Wikipedia Hellmann–Feynman theorem
Hellmut Baumgärtel50Y6HFAGE1unknownout_of_scope (a person, not an item of mathematics)Wikidata Q89022649, nLab Hellmut Baumgärtel
Helly's selection theoremAX5RJR4JMDstatementopenmathlib_1000 Q3984017, Wikidata Q3984017, thousand_plus Q3984017, Wikipedia Helly's selection theorem
Helly's theoremH5KVPPRPZDstatementopenarXiv 2609.37237#Q2ET, mathlib_1000 Q1632433, Mathlib Convex.helly_theorem, Wikidata Q1632433, thousand_plus Q1632433, Wikipedia Helly's theorem, MathWorld HellysTheorem
Helly–Bray theoremXRA4WZ6MV6statementopenmathlib_1000 Q5709171, Wikidata Q5709171, thousand_plus Q5709171, Wikipedia Helly–Bray theorem
Helmholtz decompositionPFPY4T0EG8statementopenWikidata Q1153588, MathWorld HelmholtzsTheorem, ProofWiki Helmholtz's_Theorem
Helmholtz equationZQXBEJE7XRconceptopenWikidata Q860615, EoM Helmholtz_equation, MathWorld HelmholtzDifferentialEquation
Helmholtz theorem (classical mechanics)CWTEG14FJBstatementopenmathlib_1000 Q5709377, Wikidata Q5709377, thousand_plus Q5709377, Wikipedia Helmholtz theorem (classical mechanics)
Helmholtz's theoremsSPJGP8TVV6statementopenmathlib_1000 Q985009, Wikidata Q985009, thousand_plus Q985009, Wikipedia Helmholtz's theorems
Helmut HasseFRC22K8F3Munknownout_of_scope (a person, not an item of mathematics)Wikidata Q61768, nLab Helmut Hasse
Helmut HoferT9NR8V3Y0Gunknownout_of_scope (a person, not an item of mathematics)Wikidata Q91509, nLab Helmut Hofer
HEM9VH6MS2HEM9VH6MS2statementrecord (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 2508.08809#DHY6
hemicompact space15EAGZMX0DunknownopenWikidata Q5711485, nLab hemicompact space
hemiperfect numberZ2053Y34K5objectopenWikidata Q3281256, OEIS A159907
hemisphereV5F78RYJBJunknownopenWikidata Q47091889, MathWorld Hemisphere
HEMSMR9SQJHEMSMR9SQJexerciseopenaustin_ula src/exercises/exercises2-2.xml#exercise-13
HEMWTGZX6XHEMWTGZX6Xstatementrecord (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 2205.09049#9C6P
HEMZQ0Y1D0HEMZQ0Y1D0statementrecord (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 2311.01874#JYNZ
HEN39FR8PTHEN39FR8PTstatementrecord (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.38188#3XZ8
hendecagon7YB5T9NZ73unknownopenWikidata Q214382, MathWorld Hendecagon
hendecagonal numberXZ13YTWNKNobjectopenWikidata Q18450836, OEIS A051682
hendecagram1QM6N93AFPunknownopenWikidata Q3753269, MathWorld Polygram
hendecahedronXMJTH91V09unknownopenWikidata Q10904356, MathWorld Undecahedron
HendricksonFDZW6KFWMRstatementrecord (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.2893#VOOE
Hendrik Casimir6QR03VQVX6unknownout_of_scope (a person, not an item of mathematics)Wikidata Q535748, nLab Hendrik Casimir
Hendrik LenstraDNT3RQRRK1unknownout_of_scope (a person, not an item of mathematics)Wikidata Q173783, nLab Hendrik Lenstra, ProofWiki Mathematician:Hendrik_Willem_Lenstra_Jr.
Hendrik Lorentz6QEZJ9NAY2unknownout_of_scope (a person, not an item of mathematics)Wikidata Q41688, nLab Hendrik Lorentz, ProofWiki Mathematician:Hendrik_Antoon_Lorentz
Hendriks, Friedman-Witt6K66W3PEKHstatementrecord (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 2204.04820#CLDV
HENJ9BE758HENJ9BE758statementrecord (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.05018#B3SF
Henning KrauseCEADGK7ABQunknownout_of_scope (a person, not an item of mathematics)Wikidata Q44374576, nLab Henning Krause
Henning Samtleben31JF8S6MS9unknownout_of_scope (a person, not an item of mathematics)Wikidata Q54323638, nLab Henning Samtleben
HENPJDAM1JHENPJDAM1Jexerciseopenlebl_diffyqs ch-laplace.tex#exercise-56
Henri Cartan5FZMS8AHJFunknownout_of_scope (a person, not an item of mathematics)Wikidata Q164405, nLab Henri Cartan
Henri LebesgueT1EXDH987Yunknownout_of_scope (a person, not an item of mathematics)Wikidata Q206005, nLab Henri Lebesgue
Henri MoscoviciXMGRS44Z1Runknownout_of_scope (a person, not an item of mathematics)Wikidata Q1605949, nLab Henri Moscovici
Henri PoincaréGV9K775XZ4unknownout_of_scope (a person, not an item of mathematics)Wikidata Q81082, nLab Henri Poincaré
Henriot-Nair-TenenbaumNZJ7369V57statementrecord (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.10372#PJYY
henryRRPAR3SGRRdefinitionopenWikidata Q163354, ProofWiki Definition:Henry_(Unit)
Henry Dudeney3QVJ771003unknownout_of_scope (a person, not an item of mathematics)Wikidata Q723598, ProofWiki Mathematician:Henry_Ernest_Dudeney
Henry John Stephen SmithGW46PP2YYKunknownout_of_scope (a person, not an item of mathematics)Wikidata Q742431, ProofWiki Mathematician:Henry_John_Stephen_Smith
Henry M. ShefferSPJGW6B0HAunknownout_of_scope (a person, not an item of mathematics)Wikidata Q1346410, ProofWiki Mathematician:Henry_Maurice_Sheffer
Hensel's lemma1ZZFZF22E1statementnode (a node has the same Wikidata item as the row)Wikidata Q1424496, MathWorld HenselsLemma, nLab Hensel's lemma, ProofWiki Hensel's_Lemma
Hensel's lemma (for $\mathbb{Z}_p$)GYMDAK35ZTunknownopenmathlib_overview General algebra > Number theory > Hensel's lemma (for $\mathbb{Z}_p$), Mathlib hensels_lemma
Hensel's lemma, cf.\ANYMBA8T1Tstatementrecord (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.01273#TZRH
Hensel's lemma, general form6Q85GPYZNAstatementrecord (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.01273#WZDX
Henselian ringNX2TQWWB35conceptopenWikidata Q1607573, nLab Henselian ring
Henstock–Kurzweil integralYMTGWB5ZX2conceptopenWikidata Q82029, MathWorld HKIntegral, nLab Henstock integral
HEP4T3FNKCHEP4T3FNKCstatementrecord (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.03612#6SUE
Heptachotomy675HT8ZS3Qstatementrecord (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.12908#YGCY
heptacontagonKTZ2DZ39VZunknownopenWikidata Q3133320, MathWorld Heptacontagon
heptadecagon3HEWP3S137unknownopenWikidata Q542476, MathWorld Heptadecagon
heptadecagonal number9N8EHSDPSWobjectopenWikidata Q18454706, OEIS A051869
heptagon42KCTS8K3CunknownopenWikidata Q188866, MathWorld Heptagon
heptagonal numberA230ABSPS9unknownopenWikidata Q967999, MathWorld HeptagonalNumber, OEIS A000566
heptagonal pyramidNAEC2J9FPZobjectopenWikidata Q18384347, MathWorld HeptagonalPyramid
heptagonal pyramidal numberK9C4QNG0Q0objectopenWikidata Q606977, OEIS A002413
Heptagonal triangle5418WE2Z4PunknownopenWikidata Q24883336, MathWorld HeptagonalTriangle
heptagramFHHNSNHZ9XunknownopenWikidata Q1887094, MathWorld Heptagram
heptahedron28YXHCJP48unknownopenWikidata Q1151267, MathWorld Heptahedron
heptanacci numberR5XBZS9B2BobjectopenWikidata Q18450843, OEIS A122189
heptominoFNRV52ME8EunknownopenWikidata Q2604489, MathWorld Heptomino
HEPTQEY327HEPTQEY327definitionrecord (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 1911.06467#DAIZ
HEQ37B8RC4HEQ37B8RC4statementrecord (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.18094#3BX1
HER80VRE2RHER80VRE2Rstatementrecord (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#6EIZ
Heraclitus8K5DPFC0YNunknownout_of_scope (a person, not an item of mathematics)Wikidata Q41155, nLab Heraclitus
Herbert Robbins8C21QZR19Dunknownout_of_scope (a person, not an item of mathematics)Wikidata Q951395, ProofWiki Mathematician:Herbert_Ellis_Robbins
Herbert WilfHCZH6AYTZNunknownout_of_scope (a person, not an item of mathematics)Wikidata Q1035425, nLab Herbert Wilf
Herbrand baseKVVXTMXJBYconceptopenWikidata Q9167528, MathWorld HerbrandBase
Herbrand's theorem4YYYYR1R72statementopenmathlib_1000 Q1930577, Wikidata Q1930577, thousand_plus Q1930577, Wikipedia Herbrand's theorem, MathWorld HerbrandsTheorem
Herbrand's TheoremBYA87GAP7Tstatementopenopen_logic content/proof-theory/cut-elimination/midsequent.tex#thm-1
Herbrand–Ribet theoremH2HJPX3M9Gstatementopenmathlib_1000 Q384142, Wikidata Q384142, thousand_plus Q384142, Wikipedia Herbrand–Ribet theorem
HERD674JAGHERD674JAGstatementrecord (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 2607.27272#ERI5
hereditarily finite setSMJ88BDDH7conceptopenWikidata Q5737811, nLab hereditarily finite set
Hereditary $h$-energyYBQ3ASRKT0definitionrecord (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.26619#WAGF
Hereditary energy on good partsM4N49TYRTEstatementrecord (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.26619#XEP7
hereditary property2Y61G6BKRGunknownopenWikidata Q3439792, MathWorld HereditaryProperty, nLab hereditary property
hereditary ring20BWABZ5BHdefinitionopenWikidata Q847887, ProofWiki Definition:Hereditary_Ring
Hereditary structure on almost all cap massPT2R5AHT36statementrecord (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.26619#3D9G
Hereditary variance small ballFMY7AJ3WBCstatementrecord (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#SWXC
HeredityKK9NB9EHGJstatementrecord (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#Y4KC
Heredity of bounds for a short timeZ00EW6JQA4statementrecord (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#ERFH
Hering illusionMS7HH1RNS2unknownopenWikidata Q2035662, MathWorld HeringIllusion
Herman VerlindeZXR8RZJPX5unknownout_of_scope (a person, not an item of mathematics)Wikidata Q794633, nLab Herman Verlinde
Herman's normal form with continuous correction termJ00B8V185Hstatementrecord (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.38013#98FX
Hermann CohenHH8Q2BKTYRunknownout_of_scope (a person, not an item of mathematics)Wikidata Q76709, nLab Hermann Cohen
Hermann Grassmann1AMMPCDZZ6unknownout_of_scope (a person, not an item of mathematics)Wikidata Q77219, nLab Hermann Grassmann, ProofWiki Mathematician:Hermann_Günter_Grassmann
Hermann MinkowskiGT3T6QZ59Cunknownout_of_scope (a person, not an item of mathematics)Wikidata Q57246, nLab Hermann Minkowski, ProofWiki Mathematician:Hermann_Minkowski
Hermann Nicolai6NVNJA7RX3unknownout_of_scope (a person, not an item of mathematics)Wikidata Q1612264, nLab Hermann Nicolai
Hermann von HelmholtzAE5PXAX5C1unknownout_of_scope (a person, not an item of mathematics)Wikidata Q60024, nLab Hermann von Helmholtz, ProofWiki Mathematician:Hermann_Ludwig_Ferdinand_von_Helmholtz
Hermann WeylAX3WTYJPE3unknownout_of_scope (a person, not an item of mathematics)Wikidata Q71029, nLab Hermann Weyl
Hermann–Mauguin notation23K4F3R23MconceptopenWikidata Q903232, MathWorld Hermann-MauguinSymbol
hermeticismGN931WZARXunknownopenWikidata Q192933, nLab hermeticism
Hermite branching lemmaHZM45FRRRYstatementrecord (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.10875#LZW6
Hermite constant2HSN822GMMconceptopenWikidata Q1754097, MathWorld HermiteConstants
Hermite correlationN6TRR2CW3Nstatementrecord (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.39408#RPKP
Hermite decay for ReLU difference and tanh83TF6HDSNEstatementrecord (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.10875#R0XP
Hermite eigenfunctions and the Gaussian power spectrum584PRB4Q5Bstatementrecord (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#CPWS