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 2801–2900 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| HOL Light | ZNDNM864ZX | unknown | open | Wikidata Q5635438, nLab HOL Light |
| Holditch's theorem | 9D4MF8R1YG | statement | open | mathlib_1000 Q1888583, Wikidata Q1888583, thousand_plus Q1888583, Wikipedia Holditch's theorem, MathWorld HolditchsTheorem |
| hole argument | ER71ES2QQY | unknown | open | Wikidata Q13636406, nLab hole argument |
| Hole filling | HW8P3CWZTW | 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.00339#44FI |
| Hole Probability | N84F1B3YPR | 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 2603.16304#8101 |
| Hole Recurrence Relations | P1SGXPAXK6 | 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 2603.16304#QPG2 |
| Holes among visible lattice points in the plane | WVMWGKP8QF | 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.25457#9431 |
| Holland's schema theorem | 34GF5S162Q | statement | open | mathlib_1000 Q357192, Wikidata Q357192, thousand_plus Q357192, Wikipedia Holland's schema theorem |
| Hollowization of a traceless matrix | 9XH7W2RZV5 | 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.40355#D5FI |
| Holmström's theorem | S2R0RFVRQW | statement | open | mathlib_1000 Q3984020, Wikidata Q3984020, thousand_plus Q3984020, Wikipedia Holmström's theorem |
| holographic principle | 1NQ5ZXE2MJ | unknown | open | Wikidata Q911473, nLab holographic principle |
| Holomorphic $1$-forms on the complex plane | 2S238YRBWS | definition | open | napkin tex/riemann-surface/forms.tex#definition-2 |
| Holomorphic approximation of order $N$ | TRWJP2CGP4 | 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.17276#00IR |
| Holomorphic extension of the anisotropic Epstein zeta function | JC3P1BB2QZ | 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.28282#5DUU |
| Holomorphic extension of the regularized anisotropic Epstein zeta function | C09BETSYX9 | 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.28282#6866 |
| Holomorphic extension; real--analyticity | K4AEVXHN4Z | 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.29605#QV5A |
| holomorphic function | YK42V4DXDT | unknown | node (a node has the same name as the row) | Wikidata Q207476, EoM Analytic_function, MathWorld HolomorphicFunction, nLab holomorphic function |
| holomorphic implicit function theorem | DR6HQ20PG9 | concept | open | lebl_scv index/1.3/holomorphic-implicit-function-theorem |
| Holomorphic invariant gauge | 577JB7S7XX | 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.27774#H4JJ |
| holomorphic Jacobian determinant | B2T9X4T9DK | concept | open | lebl_scv index/1.3/holomorphic-jacobian-determinant |
| holomorphic Jacobian matrix | WW1Q69DEMC | concept | open | lebl_scv index/1.3/holomorphic-jacobian-matrix |
| Holomorphic localization | 544BETKDS2 | 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.09295#7UI1 |
| holomorphic mapping | 9SQQX0CW9E | concept | open | lebl_scv index/1.3/holomorphic-mapping |
| Holomorphic maps of controlled degree | BHFNSP6VDW | 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.32001#2E7D |
| Holomorphic moment map | 4GBMWJ1P5H | 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.03384#SQA4 |
| Holomorphic multiplier removal | PXJ1C30BYD | 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.27774#VMEZ |
| Holomorphic restriction | XP07QTS2PX | 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.09295#UB2Q |
| holomorphic stability under uniform convergence | D4413YK98N | unknown | open | mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > holomorphic stability under uniform convergence, Mathlib TendstoLocallyUniformlyOn.differentiableOn |
| Holomorphic Symplectic Length Independence | A97E576WXK | 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.03384#BTAI |
| holomorphic vector bundle | 9VHPBGXF42 | unknown | open | Wikidata Q9289328, EoM Vector_bundle,_analytic, MathWorld HolomorphicVectorBundle, nLab holomorphic vector bundle |
| Holomorphic Zak data imply $\cS_1^1$ | PAXJXD0QT8 | 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.27774#8HYF |
| Holomorphicity of the dual kernel line | 9536XGGJ9D | 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.25762#OWRF |
| Holomorphy of the kernels off the diagonal | 6YXXGGP56F | 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.08011#QKNS |
| holonomic function | R0GV8FNZXF | unknown | open | Wikidata Q5884209, MathWorld HolonomicFunction |
| holonomy | 3JEG0B8EEQ | definition | open | Wikidata Q907926, MathWorld Holonomy, nLab holonomy, ProofWiki Definition:Holonomy |
| Holonomy and trace maps | JVFJJ1VM0Z | 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.17116#08RG |
| holonomy group | PRY21VMR1W | unknown | open | Wikidata Q91488726, EoM Holonomy_group, MathWorld HolonomyGroup, nLab holonomy group |
| Holonomy quantization | 8RAACEPJZP | 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#22A9 |
| Holt graph | KW0RERNE7A | unknown | open | Wikidata Q3115479, House of Graphs 1051, MathWorld DoyleGraph |
| holyhedron | NNPXCDYXEV | unknown | open | Wikidata Q17030523, MathWorld Holyhedron |
| Hom functor | 3AY1DT3GK1 | definition | open | Wikidata Q5887297, MathWorld Hom, nLab hom-functor, ProofWiki Definition:Hom_Functor |
| hom-category | 8GV5CQCFWN | unknown | open | Wikidata Q99604697, nLab hom-category |
| homeomorphic | 47XGBH27ER | concept | open | applied_combinatorics index/5.5/homeomorphic |
| homeomorphism | WQMCNCT7PV | topic | node (a node has the same Wikidata item as the row) | Wikidata Q202906, EoM Homeomorphism, EoM Topological_equivalence, MathWorld Homeomorphic, MathWorld Homeomorphism, nLab homeomorphism, ProofWiki Definition:Homeomorphism |
| homeomorphism | ZN0GSYJX33 | unknown | open | Wikidata Q584521, MathWorld EdgeSplitting |
| homeomorphism group | 9MMX7S1KA4 | unknown | open | Wikidata Q13509874, EoM Homeomorphism_group |
| homeomorphisms | 70BVQD2TBH | unknown | open | mathlib_undergrad Topology > Topology and Metric Spaces > homeomorphisms, Mathlib Homeomorph |
| HOMFLY polynomial | 7D8QSZF9J0 | unknown | open | Wikidata Q996437, MathWorld HOMFLYPolynomial, nLab HOMFLY-PT polynomial |
| Homogeneity | CMP2Q95XDC | 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 2608.24190#7610 |
| Homogeneity | Y7NFJW5HTH | 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.19416#7620 |
| Homogeneity index and admissible domain. | AG6G8SP2G7 | 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.05354#F5P2 |
| Homogeneity of the exponential class | CFPWCCMFA0 | 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.19416#KMVV |
| Homogeneous affine-pencil quotient | H1G4RW1VM4 | 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.10583#QU6X |
| Homogeneous amalgamation of component seeds | EVDNP216BD | 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.30637#7U52 |
| Homogeneous amalgamation of two rank-one seeds | 66WJSDK0PF | 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.30637#J6WC |
| Homogeneous Bergelson--Leibman | 429E2DKJ44 | 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 1806.05002#1BPH |
| homogeneous coordinates | 8Q8YV7BGRP | unknown | open | Wikidata Q528525, MathWorld HomogeneousCoordinates |
| Homogeneous counting lemma | NEXEKJ323Q | 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 1806.05002#JH0Z |
| homogeneous equation | 8A2G6BFH44 | concept | open | lebl_diffyqs index/4.5.3/homogeneous-equation |
| homogeneous function | TC7EGYHY9H | statement | open | thousand_plus Q1132952, Wikidata Q1132952, Wikipedia Euler's theorem on homogeneous functions, EoM Homogeneous_function, MathWorld HomogeneousFunction, nLab homogeneous function |
| homogeneous linear equation | RREQB5B728 | concept | open | lebl_diffyqs index/6.1/homogeneous-linear-equation |
| homogeneous part | 7H0SHAXK9V | concept | open | lebl_scv index/1.5/homogeneous-part |
| homogeneous part | KEPWVR3BKV | concept | open | lebl_scv index/3.1/homogeneous-part |
| homogeneous polynomial | 6PN9JTAM11 | unknown | open | Wikidata Q1474074, MathWorld HomogeneousPolynomial, nLab homogeneous polynomial |
| Homogeneous polynomial values | SV5BRXK2BG | 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.33327#EC7H |
| Homogeneous power converts the common radial index to one | 5R8DQDNNZ6 | 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.29658#3TQT |
| Homogeneous profiles and the exponent $q_c$ | 6AFWF0WVX3 | 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.02751#ZBY2 |
| Homogeneous set | 94KDHHDC7E | 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 1806.05002#34WP |
| Homogeneous sets are dense | G0EKCA9KRR | 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 1806.05002#EXRP |
| homogeneous side conditions | CJ44B7EVET | concept | open | lebl_diffyqs index/5.6.1/homogeneous-side-conditions |
| homogeneous space | KEB16FS5W8 | unknown | open | Wikidata Q1324364, nLab homogeneous space |
| homogeneous system | Y06GBV0M02 | concept | open | lebl_diffyqs index/10.3/homogeneous-system |
| Homogeneous test functions for symmetric planar distributions | P43CNMW5SD | 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.07404#TVO1 |
| Homogenization limit | A9GPZY97B0 | 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.20302#VDUF |
| Homogenization of a polynomial | XKS4HV4GSJ | 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.30821#1TOU |
| Homogenized Maz'ya--Shaposhnikova | G2RP6AV4BF | 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.10935#WMI4 |
| homography | P4A4FZ91G6 | topic | open | Wikidata Q2112539 |
| homoiconicity | 1N7CCY5SZQ | unknown | open | Wikidata Q925488, nLab homoiconicity |
| homological algebra | 3W55XGDG98 | topic | open | Wikidata Q579978, MathWorld HomologicalAlgebra, nLab homological algebra, ProofWiki Definition:Homological_Algebra |
| Homological mirror symmetry | 7Y679ZEMMQ | conjecture | 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.21960#ORLE |
| homology | JZBVP8FMVD | unknown | open | Wikidata Q1144780, MathWorld Homology |
| homology | YAPC856BGK | concept | open | hott_book index/7/homology |
| Homology groups split into path-connected components | NFXAVQWZ5H | statement | open | napkin tex/homology/singular.tex#proposition-1 |
| Homology is a functor $\catname{hTop} \to \catname{Ab}$ | FFBAKR5QP6 | statement | open | napkin tex/homology/singular.tex#thm:Hn_functor |
| Homology of wedge sums | EXYN8TTS1V | statement | open | napkin tex/homology/excision.tex#theorem-2 |
| homology sphere | T6XW1CPWKG | unknown | open | Wikidata Q1502277, nLab homology sphere |
| homomorphic sensing of a single subspace | XV8VGSGJJD | 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 2006.05158#DC6L |
| homomorphic sensing of a subspace arrangement | GTZ71RD2K2 | 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 2006.05158#XXSE |
| homomorphic sensing property | PG9Z8KCKNS | 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 2006.05158#IBOT |
| homomorphism | PTQWVC3SJ7 | concept | open | Wikidata Q215111, EoM Homomorphism, MathWorld Homomorphism, nLab homomorphism, ProofWiki Definition:Homomorphism_(Abstract_Algebra) |
| homomorphism | YDQ0KSBTGP | concept | open | lebl_scv index/D/homomorphism |
| homomorphism, field | 6BWZGDCXGD | concept | open | hott_book index/B.2.3/homomorphism-field |
| homomorphism, field | 7FG50D6N2B | concept | open | hott_book index/2.6/homomorphism-field |
| homomorphism, semigroup | D4D8NNZX04 | concept | open | hott_book index/1.14.2/homomorphism-semigroup |
| Homomorphisms fixing the frame | JMQVPEFSJ6 | 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.20994#HVNZ |
| homoscedasticity | 13QDRVZJ3W | unknown | open | Wikidata Q1054836, MathWorld Homoscedastic |
| homothetic center | 3BQ8PGNPGS | unknown | open | Wikidata Q5891804, MathWorld HomotheticCenter |
| homothetic copies | 94K0HE79QC | 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.04000#4OZ1 |
| homothetic transformation | SQ3B8WD8DX | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q583960, MathWorld Homothecy |
| homotopical algebra | JM5ZZZ7RS7 | topic | open | Wikidata Q5891810, nLab homotopical algebra |