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 2901–3000 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| homotopy | CSKDDMYDSG | definition | open | Wikidata Q746083, Mathlib ContinuousMap.Homotopy, MathWorld Homotopy, nLab homotopy, ProofWiki Definition:Homotopy |
| Homotopy | D44SWJ5X55 | 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.09912#B93I |
| homotopy | JHBJMSJC8Z | concept | open | hott_book index/1.9/homotopy |
| homotopy | YMSY1MDHB7 | concept | open | hott_book index/1.4/homotopy |
| homotopy associative algebra | V1M8978H9B | unknown | open | Wikidata Q97165845, nLab A-infinity-algebra |
| homotopy category | FHRJA907ZB | unknown | open | Wikidata Q14775269, nLab homotopy category |
| homotopy class | AAC3M13FWF | definition | open | Wikidata Q91773244, MathWorld HomotopyClass, nLab homotopy class, ProofWiki Definition:Homotopy_Class |
| homotopy equivalence | WSAKRF0VK5 | unknown | open | Wikidata Q1626409, MathWorld HomotopyEquivalence, nLab homotopy equivalence |
| Homotopy equivalent spaces have isomorphic fundamental groups | PWKMZ1QRGM | statement | open | napkin tex/topology/fundamental-group.tex#thm:fundgrp_homotopy_invariant |
| Homotopy extension property | 70QBDB5CW4 | 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.04516#KAZT |
| homotopy extension property | E10Z49YQPJ | unknown | open | Wikidata Q9382514, nLab homotopy extension property |
| Homotopy fixed points of the reduced sequence | A3GW047Y5J | 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.03865#QL65 |
| Homotopy Gluing Theorem | K4YMTF4NQM | 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.15099#QCBO |
| homotopy group | JTHEB5E8TW | definition | open | Wikidata Q1626416, EoM Homotopy_group, MathWorld HomotopyGroup, nLab homotopy group, ProofWiki Definition:Homotopy_Group |
| homotopy group of a sphere | 51NVXRZ57A | unknown | open | Wikidata Q3118090, EoM Spheres,_homotopy_groups_of_the, nLab homotopy groups of spheres |
| Homotopy Groups | A6KS3XQRMK | definition | open | hott_book homotopy.tex#def-of-homotopy-groups |
| homotopy hypothesis | 6R7G0CSVDA | unknown | open | Wikidata Q16879377, nLab homotopy hypothesis |
| Homotopy induction | 2WXH51TZ3F | statement | open | hott_book induction.tex#thm:htpy-induction |
| Homotopy invariance of radial blow-up | PHXTV6N2CB | 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.27799#JFN1 |
| Homotopy invariants | 97YPMY0A5S | 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 1303.4328#SFN9 |
| homotopy lifting property | H1GHCQXVNT | unknown | open | Wikidata Q3983973, nLab homotopy lifting property |
| Homotopy of hypergraph morphisms | MRTJQG62XG | 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.08196#ONOB |
| Homotopy quotients of group actions in $\textbf{H}$ | GRTZBWK9CS | 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.03865#AK8V |
| homotopy sphere | 4V680RNEC0 | unknown | open | Wikidata Q5891833, MathWorld HomotopySphere, nLab homotopy sphere |
| homotopy theory | TP1A9981E1 | topic | open | Wikidata Q9357062, MathWorld HomotopyTheory, nLab homotopy theory |
| homotopy type | 2NK467HC7C | unknown | open | Wikidata Q91772173, EoM Homotopy_type, MathWorld HomotopyType, nLab homotopy type |
| homotopy type theory | ECZGRSXZF7 | unknown | open | Wikidata Q5891840, nLab homotopy type theory |
| homotopy, (pre)category of types | 3K406SFB0H | concept | open | hott_book index/2.9/homotopy-pre-category-of-types |
| homotopy, (pre)category of types | E1NXVTDMRB | concept | open | hott_book index/2.1/homotopy-pre-category-of-types |
| homotopy, equivalence, topological | 86NBZSZSRK | concept | open | hott_book index/u1.u1/homotopy-equivalence-topological |
| homotopy, equivalence, topological | ECK2NT4V15 | concept | open | hott_book index/7/homotopy-equivalence-topological |
| homotopy, group | 1N4JBQZNCP | concept | open | hott_book index/5.11/homotopy-group |
| homotopy, group | A4Y4MZNPAA | concept | open | hott_book index/7/homotopy-group |
| homotopy, group, of sphere | 5QDQ22Y324 | concept | open | hott_book index/7.10/homotopy-group-of-sphere |
| homotopy, group, of sphere | JGF6BX7DFV | concept | open | hott_book index/7.6/homotopy-group-of-sphere |
| homotopy, group, of sphere | P7A1CQTNT9 | concept | open | hott_book index/7/homotopy-group-of-sphere |
| homotopy, group, of sphere | VJGVT78XXQ | concept | open | hott_book index/7.5/homotopy-group-of-sphere |
| homotopy, hypothesis | D4F265CYJP | concept | open | hott_book index/1/homotopy-hypothesis |
| homotopy, induction | KM83Z15503 | concept | open | hott_book index/8.8/homotopy-induction |
| homotopy, topological | T45RXKV8ZS | concept | open | hott_book index/1/homotopy-topological |
| homotopy, topological | V05C0V4SS4 | concept | open | hott_book index/u1.u1/homotopy-topological |
| homotopy, type | XXHHEH5X9E | concept | open | hott_book index/u1.u2/homotopy-type |
| homotopy-inductive type | 9KHHW69R8E | concept | open | hott_book index/8.5/homotopy-inductive-type |
| Honda–Tate theorem | 8RREWNNVY8 | statement | open | Wikidata Q5892839, LMFDB knowl av.fq.honda_tate |
| Honest confidence intervals | R2F1FE1QJ4 | 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.38267#X5HQ |
| Honest postselection regret certificate | NA11S16FB3 | 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.19207#DC86 |
| honeycomb | C6QKJSMEYE | unknown | open | Wikidata Q1189295, MathWorld Honeycomb |
| honeycomb conjecture | N8KMP590XK | conjecture | open | Wikidata Q3527261, MathWorld HoneycombConjecture |
| Hong Kong | 7FPKESX5QZ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q8646, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Hong_Kong |
| Hong--Feng | CT3KQ8ET5Y | 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.29878#ID4U |
| Hong--Saturnino | VKCEWAHBF1 | 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.29723#I5MN |
| hook length formula | V90CYG1T51 | statement | open | Wikidata Q17163411, MathWorld HookLengthFormula |
| Hook-length representation | J3G0EG2CFX | 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.00396#V5EL |
| Hooke's Law | GFG7S4QVH4 | concept | open | active_calculus index/6.4.2/hooke-s-law |
| Hooper, Hubert \& Weiss | CJPHAEC7EV | 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.33590#NSWD |
| Hooper, Hubert \& Weiss | RGKKYCEBQ6 | 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.33590#YDLJ |
| Hopf algebra | CHRKQ15PPP | concept | open | Wikidata Q1627597, EoM Hopf_algebra, MathWorld HopfAlgebra, nLab Hopf algebra |
| Hopf algebra of motivic cotangent differences | DMV5XNYSJB | 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.04214#9RLY |
| Hopf algebroid | QRFB2PPQTX | concept | open | Wikidata Q18207846, nLab Hopf algebroid |
| Hopf bifurcation | 5FX42WG7C8 | concept | open | Wikidata Q531126, MathWorld HopfBifurcation |
| Hopf construction | Z31E7HKTRX | concept | open | Wikidata Q18350004, nLab Hopf construction |
| Hopf fibration | 12JGG4XKJF | concept | open | Wikidata Q1627604, MathWorld HopfMap, nLab Hopf fibration |
| Hopf Fibration | XJ5HTKC4KD | statement | open | hott_book homotopy.tex#thm:hopf-fibration |
| Hopf fibration | Z5TCH94R2B | concept | open | hott_book index/7.5.3/hopf-fibration |
| Hopf invariant | CT17G4JGWJ | unknown | open | Wikidata Q5900509, nLab Hopf invariant |
| Hopf link | BR08PCHTN9 | concept | open | Wikidata Q864313, MathWorld HopfLink, nLab Hopf link |
| Hopf link | RTSX0VPDFJ | 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.18803#SC5G |
| Hopf-balanced compact domains | E7D61132DR | 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.19837#6N3K |
| Hopf–Rinow theorem | CCMK0Y6HE9 | statement | open | mathlib_1000 Q2094241, Wikidata Q2094241, thousand_plus Q2094241, Wikipedia Hopf–Rinow theorem, EoM Hopf-Rinow_theorem, MathWorld Hopf-RinowTheorem |
| Hopping truncation error | 642W9NVAWF | 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.01669#3QZD |
| Horace Lamb | J6P0PWMXJM | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1627897, ProofWiki Mathematician:Horace_Lamb |
| Horadam | QM00P6R0S6 | 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.17850#KU34 |
| Horațiu Năstase | G4MQFZA2AM | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q5902878, nLab Horatiu Nastase |
| Horizon bias and model-based planning | S6YDT222BA | 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.14988#3XYF |
| Horizon bias and planning depth | 137G69A20J | 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.14988#T94T |
| Horizon-optimal flattening | YDRZ78C8XN | 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.27765#JE42 |
| horizontal and $x_i$-based strategy | P5KEHK5G09 | 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 2312.01517#DZS5 |
| Horizontal and isotropic trace leaves | AMJMAPBA3F | 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.26269#RBSB |
| horizontal bundle | 8WANMF62QP | definition | open | Wikidata Q5903551, ProofWiki Definition:Horizontal_Tangent_Space |
| horizontal composition, of natural transformations | 6WB6CJ5G0R | concept | open | hott_book index/2.2/horizontal-composition-of-natural-transformations |
| Horizontal conformality for $m=3$ | 5Z0VGTMXW2 | 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.13214#ZXOY |
| Horizontal derivatives of the shifts | 9BKMS67C77 | 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.32829#KZ0Z |
| horizontal orientation | ZAMNW7QDJR | unknown | open | Wikidata Q20749305, MathWorld Horizontal |
| Horizontal zonoid retained by every stage | RD6X0TEB1P | 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#U9PJ |
| Horn angle | SX3JQD3DPW | concept | open | Wikidata Q5903975, MathWorld HornAngle |
| Horn clause | C4S1M5F94K | unknown | open | Wikidata Q933932, EoM Quasi-identity, MathWorld HornClause |
| Horn decomposition | 7ARPAMD1JS | 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.31189#8A20 |
| Horn function | 8TXEEWMQDV | unknown | open | Wikidata Q17027577, MathWorld HornFunction |
| Horner's method | 9Z894BAB04 | definition | open | Wikidata Q944658, MathWorld HornersMethod, MathWorld HornersRule, ProofWiki Definition:Horner's_Rule |
| Horocone limit for general radial laws | 45PE7HRJJH | 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.27752#4INE |
| horocycle | 3RTYDCAEMY | unknown | open | Wikidata Q2246795, MathWorld Horocycle |
| Horologium Oscillatorium | 7NC4MGC58V | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q17055395, ProofWiki Book:Christiaan_Huygens/Horologium_Oscillatorium_sive_de_Motu_Pendularium |
| Horospherical geodesic rough density | EA3PD39XQ3 | 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 2009.11127#PMN8 |
| horseshoe lemma | MPNFX36GP0 | statement | open | Wikidata Q5906080, MathWorld HorseshoeLemma, nLab horseshoe lemma |
| horseshoe map | WJJQHEMH8Y | unknown | open | Wikidata Q557781, MathWorld SmaleHorseshoeMap |
| Horst Herrlich | SFPBQ88WVC | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q20180377, nLab Horst Herrlich |
| Horton 92-graph | 2GFRMK2C50 | unknown | open | Wikidata Q2818688, House of Graphs 1179 |
| Horton 96-graph | 8R61TQM6EM | unknown | open | Wikidata Q3115508, House of Graphs 1181 |
| Horton graphs | 8WK1ZQGECF | concept | open | Wikidata Q78088914, MathWorld HortonGraphs |
| hosohedron | DMMY8FDT6C | unknown | open | Wikidata Q869874, MathWorld Hosohedron, nLab hosohedron |