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.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 1601–1700 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Heat martingale of a Lipschitz transport | G2XSS3SYJX | statement | record (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#WU3D |
| Heat potentials in mixed norms | HQM5YRRV87 | statement | record (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.13613#JKI1 |
| Heat smoothing | MWR4A07G1J | statement | record (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.02721#P16P |
| Heat trace and normalization | TCABP42FC4 | statement | record (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#IL1Q |
| Heat-bath and regularised heat-bath samplers | PHT3M1DPGF | definition | record (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.03683#TOKX |
| Heat-flow decay | EFBJ0MR45T | statement | record (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.02721#8V2H |
| Heat-flow two-body estimate | 5TTHJ18XY6 | statement | record (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.02721#GUW2 |
| Heat-weight gain | W4V77WMAK1 | statement | record (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.12803#FQTA |
| Heath, McCourt, Parker, Schwieder, Zerbib | JJ87B9WYNH | statement | record (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.27157#IISG |
| Heath-Brown reduction | RBENDM8WT4 | statement | record (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.09567#R3NM |
| Heath-Brown--Iwaniec trilinear estimates | 8GKYEXJM17 | statement | record (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.09567#Z1Q4 |
| Heath-Brown–Moroz constant | T8JDEQ7K8D | object | open | Wikidata Q5693407, MathWorld Heath-Brown-MorozConstant, OEIS A118228 |
| Heaviside step function | TP5BMK8N6K | definition | node (a node has the same Wikidata item as the row) | Wikidata Q322339, MathWorld HeavisideStepFunction, ProofWiki Definition:Heaviside_Step_Function |
| Heavy--light structure of a flip | MH258GF5V3 | statement | record (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#EMTQ |
| Heavy-mass propagation | YDE4102WXS | statement | record (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.00525#IITZ |
| Heavy-row enumeration | QC8KJQT8J4 | statement | record (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.31641#O8FV |
| Heavy-set alignment | CBDKX3SC2F | statement | record (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.37208#56ZS |
| Heavy-tail universality for regularized ERM | 5ED6EXHXJA | statement | record (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.07637#K23K |
| Heavy-Traffic Conditions | F65ZV27RZN | definition | record (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.12716#7IVT |
| Heawood 4-color graph | 1SVN2KA7G6 | unknown | open | Wikidata Q3115450, House of Graphs 1152, MathWorld HeawoodFour-ColorGraph |
| Heawood graph | M69TPK9CEB | unknown | open | Wikidata Q3046737, House of Graphs 1154, MathWorld HeawoodGraph |
| HEB8RGQHN5 | HEB8RGQHN5 | statement | record (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.29699#VP2U |
| Hebbian rule | 4NR6579BHV | unknown | open | Wikidata Q1277874, EoM Hebb_rule |
| hebesphenomegacorona | D654D1EFM3 | object | open | Wikidata Q680011, MathWorld Hebesphenomegacorona |
| HEBEZ66JSN | HEBEZ66JSN | statement | record (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.05520#QUEV |
| Hebrew alphabet | 3CPQ01W03A | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q33513, ProofWiki Symbols:Hebrew_Alphabet |
| Hebrew calendar | 11DSZJBRZC | definition | open | Wikidata Q44722, ProofWiki Definition:Calendar/Jewish |
| HEC933550P | HEC933550P | statement | record (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.20760#PL5S |
| HECBXEBQR5 | HECBXEBQR5 | statement | record (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.17479#UFQ7 |
| Hecke operator | EA790R4FR3 | concept | open | Wikidata Q1592959, MathWorld HeckeOperator |
| Heckscher–Ohlin theorem | QAXRAN9TV8 | statement | open | mathlib_1000 Q1143540, Wikidata Q1143540, thousand_plus Q1143540, Wikipedia Heckscher–Ohlin theorem |
| hectad | QEPTF1W9D1 | definition | open | Wikidata Q5696515, ProofWiki Definition:Hectad |
| hectare | ARYFEJK6CN | definition | open | Wikidata Q35852, ProofWiki Definition:Hectare |
| hecto | NQ4H055KTE | definition | open | Wikidata Q152512, ProofWiki Definition:Metric_System/Scaling_Prefixes/hecto- |
| hectobar | W0GHHZ0TYW | definition | open | Wikidata Q106886632, ProofWiki Definition:Hectobar |
| hectogon | V8P192ME32 | unknown | open | Wikidata Q3129199, MathWorld Hectogon |
| hectometre | HAZSH679GT | definition | open | Wikidata Q844338, ProofWiki Definition:Metric_System/Length/Hectometre |
| Hector Zenil | T98N3M9TZR | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q63660773, nLab Hector Zenil |
| HEDA8NNMEB | HEDA8NNMEB | example | record (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.13241#EQQE |
| Hedberg | 1VG7BR1S4A | statement | open | hott_book hlevels.tex#thm:hedberg |
| Hedberg's theorem | HRNYTAFKXH | concept | open | hott_book index/6.2/hedberg-s-theorem |
| Hedberg's theorem | HS8FXY6HQ0 | concept | open | hott_book index/9.11/hedberg-s-theorem |
| hedgehog | Z4061X8BQE | unknown | open | Wikidata Q104868325, MathWorld Hedgehog |
| Hee Sik Kim | 90X2PNK0XD | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q87518273, ProofWiki Mathematician:Hee_Sik_Kim |
| HEE08EFRPJ | HEE08EFRPJ | example | record (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.27414#XEK3 |
| HEE2GC6757 | HEE2GC6757 | definition | record (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.10262#DJ8J |
| HEE4SA2DVA | HEE4SA2DVA | statement | record (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.05506#QTVD |
| Heegaard splitting | MMFXTVGR2V | statement | open | mathlib_1000 Q5697916A, Wikidata Q5697916, mathlib_1000 Q5697916B, thousand_plus Q5697916A, Wikipedia Heegaard splitting, thousand_plus Q5697916B, MathWorld HeegaardSplitting |
| Heegner number | 8PEYYMZV5B | unknown | open | Wikidata Q1322644, MathWorld HeegnerNumber, OEIS A003173 |
| HEEJAMQF2Q | HEEJAMQF2Q | statement | record (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.39353#BMU4 |
| Heesch's problem | ZMPY911D3T | problem | open | Wikidata Q17022147, MathWorld HeeschNumber, MathWorld HeeschsProblem |
| Heesch's tiling problem | 1V4DR2NJ8E | problem | record (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.02579#HKNB |
| HEF3ZTWBZJ | HEF3ZTWBZJ | definition | record (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.13792#VB42 |
| HEFBV1Z7BJ | HEFBV1Z7BJ | statement | record (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#X7E9 |
| HEFVG3JA9H | HEFVG3JA9H | exercise | open | ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-1 |
| HEGYV9TNKZ | HEGYV9TNKZ | statement | record (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.22082#7UUR |
| HEGZMS9E1B | HEGZMS9E1B | definition | record (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.27799#WW98 |
| HEH10P3RDX | HEH10P3RDX | statement | record (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.17411#CGRU |
| HEH7FAP6XF | HEH7FAP6XF | statement | record (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.00364#XMWF |
| HEHG4VZ2HN | HEHG4VZ2HN | definition | record (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 2303.10636#3IYO |
| height | 2ZKYYSMKNV | concept | open | applied_combinatorics index/6.1/height |
| height | GKPBHWZHNT | topic | open | Wikidata Q208826, MathWorld Height, ProofWiki Definition:Linear_Measure/Height |
| Height coordinates away from the neck waists | E8J7Z1GT93 | statement | record (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.12238#S9EW |
| Height dichotomy | 5SK26VMX7S | statement | record (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.37368#61OO |
| Height formula | TXWDCECK4F | statement | record (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#QP3K |
| height of a polynomial | WXAWNWVWKS | concept | open | Wikidata Q5699084, MathWorld PolynomialHeight |
| Height ordering used in the proof | 5FMBV7XS6N | definition | record (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.26066#CK2K |
| Height-dependent approximation of regularized mixture logits | XVGJACJ1TW | statement | record (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.12544#LCVT |
| Height-dominating root | XMRXCNE3ME | statement | record (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.31811#4HEQ |
| Height-preserving admissibility of weakening and contraction | 3HSZ7NP213 | statement | record (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.08293#62BF |
| Height-preserving invertibility | DY3H1A72WW | statement | record (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.08293#7XNM |
| Heil's Conjecture 9.2 | R140QTPRPB | statement | record (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.27970#BJGU |
| Heilbronn triangle problem | QBV3NDNW53 | problem | open | Wikidata Q5699425, MathWorld HeilbronnTriangleProblem |
| Heine--Borel \footnote{Named after the German mathematician \href{https://en.wikipedia.org/wiki/Eduard_Heine}{Heinrich Eduard Heine} (1821--1881), and the French mathematician \href{https://en.wikipedia.org/wiki/\%C3\%89mile_Borel}{F\'elix \'Edouard Justin \'Emile Borel} (1871--1956).} | 5XNMMGG7QA | statement | open | lebl_ra ch-metric.tex#thm:msbw |
| Heine--Borel theorem | NAH4FW8TJV | concept | open | lebl_ra index/4.4.2/heine-borel-theorem |
| Heine–Borel theorem | XBXQS34AZ1 | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q253214, Mathlib Metric.isCompact_iff_isClosed_bounded, Mathlib FiniteDimensional.proper, Wikidata Q253214, mathlib_overview Analysis > Normed vector spaces/Banach spaces > Heine-Borel theorem (finite-dimensional normed spaces are proper), mathlib_overview Topology > Metric spaces > Heine-Borel theorem (proper metric space version), mathlib_undergrad Single Variable Real Analysis > Topology of R > compact subsets of $\R$, mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > Heine-Borel theorem (closed bounded subsets are compact in finite dimension), thousand_plus Q253214, Wikipedia Heine–Borel theorem, EoM Borel-Lebesgue_covering_theorem, MathWorld Heine-BorelTheorem, ProofWiki Heine-Borel_Theorem |
| Heine–Cantor theorem | 5AN7AXJXZ8 | statement | node (a node has the same name as the row) | mathlib_1000 Q765987, Mathlib CompactSpace.uniformContinuous_of_continuous, Wikidata Q765987, mathlib_overview Topology > Uniform notions > Heine-Cantor theorem, mathlib_undergrad Topology > Topology and Metric Spaces > Heine-Cantor theorem, thousand_plus Q765987, Wikipedia Heine–Cantor theorem |
| Heinrich Franz Friedrich Tietze | VGM00P5XEQ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q84554, ProofWiki Mathematician:Heinrich_Franz_Friedrich_Tietze |
| Heinrich Hertz | 4X92ZS2WZG | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q41257, ProofWiki Mathematician:Heinrich_Rudolf_Hertz |
| Heinrich Jung | PBC11BP8ST | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q92329, ProofWiki Mathematician:Heinrich_Wilhelm_Ewald_Jung |
| Heinrich Leutwyler | M0VDR53X1R | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1598182, nLab Heinrich Leutwyler |
| Heinz Hopf | SXGXCKDRQ6 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q78448, nLab Heinz Hopf, ProofWiki Mathematician:Heinz_Hopf |
| Heinz Prüfer | 2FBKJZZC0N | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q65216, ProofWiki Mathematician:Ernst_Paul_Heinz_Prüfer |
| Heisenberg group | JTNN1GWVJP | unknown | open | Wikidata Q1601337, MathWorld HeisenbergGroup, nLab Heisenberg group |
| Heisenberg groups and direct powers | 3B5W5FWCXG | statement | record (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.06909#TDCL |
| Heisuke Hironaka | 754VYYGY0G | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q183373, nLab Heisuke Hironaka |
| HEJEW8BYF9 | HEJEW8BYF9 | statement | record (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.16114#VDTY |
| HEJPBX9CNR | HEJPBX9CNR | statement | record (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.26769#DVNV |
| HEKBF6Y9N8 | HEKBF6Y9N8 | statement | record (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.37124#8C9M |
| HEKN51K0HY | HEKN51K0HY | statement | record (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.25038#NSKC |
| HEKQTSBJPE | HEKQTSBJPE | statement | record (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.13877#XRD0 |
| Held group | RNZC6FPJR4 | unknown | open | Wikidata Q3117685, MathWorld HeldGroup |
| Helffer–Sjöstrand formula | 610NNQT1H3 | statement | record (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.25301#5OP0 |
| Helga Baum | 4ZY4YZAFC1 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1602142, nLab Helga Baum |
| Helical repetition code $H(a,-b)$ | SVE4AS6A8Z | definition | record (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.04834#V9S7 |
| helicoid | 8FYMZK3KRM | unknown | open | Wikidata Q1072483, MathWorld Helicoid |
| heliocentrism | 87KR3Q7SWD | definition | open | Wikidata Q103983, ProofWiki Definition:Heliocentric_Model |
| helix | 1JDRKDTJ6K | concept | open | hott_book index/7.1.2/helix |
| helix | N5BKZTQPJ4 | unknown | open | Wikidata Q201717, MathWorld Helix |
| Hellinger integrals and the flattening profile | NZPMZX71H7 | definition | record (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.27765#L5XT |