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 3401–3500 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| HTD0EC4PX8 | HTD0EC4PX8 | 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.12810#NDXU |
| HTDDGAN0NV | HTDDGAN0NV | 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.27360#UQKW |
| HTDSJYBKDA | HTDSJYBKDA | proof | open | hott_book homotopy.tex#proof-41 |
| HTEVBA8JYD | HTEVBA8JYD | 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.36884#WJOD |
| HTF8SNFXYX | HTF8SNFXYX | 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.05184#CK57 |
| HTG8PCAF7G | HTG8PCAF7G | 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.35631#FNTW |
| HTG8PTYMHZ | HTG8PTYMHZ | 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.15344#GE5P |
| HTGE1HVX9V | HTGE1HVX9V | 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.25321#70U6 |
| HTGEW6FETM | HTGEW6FETM | 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.33512#33X3 |
| HTGQMPK97E | HTGQMPK97E | 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#G0CX |
| HTH7CCGYB0 | HTH7CCGYB0 | 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.19088#G35F |
| HTHA4A8R0W | HTHA4A8R0W | 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.12425#FSQ5 |
| HTHBJWJX0J | HTHBJWJX0J | 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 2309.15424#KQIY |
| HTHWPA5JP4 | HTHWPA5JP4 | 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.28143#X7ZL |
| HTJH74R8BC | HTJH74R8BC | 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.35597#X1M8 |
| HTJXS0V0V0 | HTJXS0V0V0 | 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.20126#7GJ6 |
| HTK2CG1EX7 | HTK2CG1EX7 | 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.16267#JYPM |
| HTKDARPEPV | HTKDARPEPV | 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#PKU0 |
| HTKK51DN63 | HTKK51DN63 | 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.19086#S1ZG |
| HTKTVCN753 | HTKTVCN753 | 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.08873#W3QB |
| HTKXCG9HFP | HTKXCG9HFP | 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 1705.04310#U0AL |
| HTM2RMPCEY | HTM2RMPCEY | 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.31783#ZYJ0 |
| HTMM5NZ1NW | HTMM5NZ1NW | 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 2412.12141#H9BC |
| HTN5R1K6FP | HTN5R1K6FP | 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.17139#SU5J |
| HTNS029HV3 | HTNS029HV3 | statement | open | hott_book hlevels.tex#thm:isaprop-isofhlevel |
| HTNVV2S9BJ | HTNVV2S9BJ | 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.21759#8WKE |
| HTNWP3P09D | HTNWP3P09D | 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 1902.04230#JK1V |
| HTPQHYBZRR | HTPQHYBZRR | 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.13833#ZCLN |
| HTQ1MSZ4XK | HTQ1MSZ4XK | 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.05179#SNTU |
| HTQ833S1AV | HTQ833S1AV | unknown | open | arXiv 1509.00950#8FX1 |
| HTQF8FW2BN | HTQF8FW2BN | 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.27078#ZU43 |
| HTQQKSTA2T | HTQQKSTA2T | 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 1503.05744#VLVG |
| HTR111JHR7 | HTR111JHR7 | 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.37815#SOOK |
| HTR30KAA0Y | HTR30KAA0Y | 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.20583#X2A3 |
| HTRCCNXY00 | HTRCCNXY00 | exercise | open | ernst_ibl MAAPressVersion/Partitions.tex#problem-13 |
| HTRQA3W3K1 | HTRQA3W3K1 | 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.06739#OYK4 |
| HTRXFZKBJ1 | HTRXFZKBJ1 | 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 2204.05019#F2JC |
| HTS8174P9F | HTS8174P9F | exercise | open | lebl_scv scv.tex#exercise-224 |
| HTSDSNN8SN | HTSDSNN8SN | 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.15344#OUXC |
| HTSSKEAEJV | HTSSKEAEJV | 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.36334#U8M1 |
| HTSY5A23A3 | HTSY5A23A3 | 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.10452#X7R5 |
| HTSYANAZET | HTSYANAZET | 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.28898#KZD4 |
| HTT5CGMY1R | HTT5CGMY1R | 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 1903.07030#0CG9 |
| HTT72JMCW3 | HTT72JMCW3 | 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 2605.24355#6PDL |
| HTTDW3W73Z | HTTDW3W73Z | 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#T5RZ |
| HTTKHB7R4Z | HTTKHB7R4Z | 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.17139#UIJ9 |
| HTV16ZYT41 | HTV16ZYT41 | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-47 |
| HTV27E2G8A | HTV27E2G8A | 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.12105#VU0E |
| HTWGTFFDZC | HTWGTFFDZC | statement | open | hott_book hlevels.tex#thm:connected-pointed |
| HTWNP5VQHJ | HTWNP5VQHJ | 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.00116#48X5 |
| HTX3JGP4TA | HTX3JGP4TA | 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.01970#L4UQ |
| HTXHR1M6CY | HTXHR1M6CY | 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.29712#136K |
| HTXNF67GYM | HTXNF67GYM | 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.15869#645V |
| HTXNP5QYBY | HTXNP5QYBY | 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.12413#ZCSO |
| HTY82W8EX5 | HTY82W8EX5 | 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.25973#GV0S |
| HTYDKWP8E5 | HTYDKWP8E5 | proof | open | lebl_ra ch-multivar-int.tex#proof-12 |
| HTYYEG3G6T | HTYYEG3G6T | 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.16203#7TOT |
| HTZ1J9QFCZ | HTZ1J9QFCZ | 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.02042#B9L5 |
| HTZ5Y5R531 | HTZ5Y5R531 | 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.07890#I63K |
| HTZBQDB48K | HTZBQDB48K | 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.16875#D724 |
| HTZG1VJHZ2 | HTZG1VJHZ2 | 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.09900#DPQL |
| HTZQ2D44GF | HTZQ2D44GF | 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.37271#U4T8 |
| Hua Luogeng | D5JX3H75P8 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q590111, ProofWiki Mathematician:Hua_Luogeng |
| Hua--Song--Tudose | 82FFMRFT9P | 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#DVOV |
| Huang[5 | 6QTP2JYMQW | 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 0807.1652#KWCS |
| hub and spoke | 5E4NT8HHV3 | concept | open | hott_book index/5.7/hub-and-spoke |
| hub and spoke | R6JR71GT9G | concept | open | hott_book index/6.3/hub-and-spoke |
| hub and spoke | RVNR3ENW5C | concept | open | hott_book index/7.7.2/hub-and-spoke |
| Hub transition asymptotic | V77K0ZKVGZ | 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.27335#35FX |
| Hubbard's conjecture | CA6GSCXP4A | 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 2609.24449#3ZVY |
| Hubble–Lemaître law | PP41BBZ8N1 | unknown | open | Wikidata Q179916, nLab Hubble's law |
| Huffman coding | 9HHH1W2D8A | unknown | open | Wikidata Q2647, MathWorld HuffmanCoding |
| Hugh Osborn | 5NQGY1WBF2 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q47006433, nLab Hugh Osborn |
| Hugo Steinhaus | KAX8YXWEYE | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q226072, ProofWiki Mathematician:Władysław_Hugo_Dionizy_Steinhaus |
| Huh--Stevens | XN5HRGMF1T | 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.17135#ME9N |
| Huh–Jeon | BV0QDWZPTR | 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.24860#E89I |
| hull of a Hartogs figure | J433WCJ9EZ | concept | open | lebl_scv index/2.1/hull-of-a-hartogs-figure |
| Hundred-dollar, Hundred-digit Challenge problems | QB8R5Y6S0H | concept | open | Wikidata Q5942174, MathWorld Hundred-DollarHundred-DigitChallengeProblems |
| Hungarian graphs | RC1WY26WHV | 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.01919#6GZM |
| Hungary | 1KPAXHSQ6J | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q28, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Hungary |
| Hunt-Stein reduction for displacement nuisance | EX868452EN | 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.29348#5KNC |
| Hurewicz theorem | K1QYSFWWBY | statement | open | mathlib_1000 Q2394548, Wikidata Q2394548, thousand_plus Q2394548, Wikipedia Hurewicz theorem, nLab Hurewicz theorem |
| Hurewicz theorem | Q72PJBC4DA | statement | open | napkin tex/homology/singular.tex#thm:hurewicz |
| Hurst exponent | B80W8NM9EK | unknown | open | Wikidata Q1638718, MathWorld HurstExponent |
| Hurwitz | 5D2R2EBBV3 | statement | open | lebl_scv scv.tex#thm:onevarhurwitz |
| Hurwitz | KHWQZ74901 | 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.06521#MJ0C |
| Hurwitz matrix | XK4QV9RAEW | unknown | open | Wikidata Q2610096, EoM Routh-Hurwitz_criterion |
| Hurwitz polynomial | 9SPTEB1D3J | unknown | open | Wikidata Q1414214, MathWorld HurwitzPolynomial |
| Hurwitz zeta function | FE1205ZPMD | unknown | open | Wikidata Q1638777, MathWorld HurwitzZetaFunction |
| Hurwitz's automorphisms theorem | D549ETBMRZ | statement | open | mathlib_1000 Q2226695, Wikidata Q2226695, thousand_plus Q2226695, Wikipedia Hurwitz's automorphisms theorem |
| Hurwitz's theorem | HGG1XBH48E | concept | open | lebl_scv index/B/hurwitz-s-theorem |
| Hurwitz's theorem | KHAX2SK40F | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q1136043, Wikidata Q1136043, thousand_plus Q1136043, Wikipedia Hurwitz's theorem (complex analysis), MathWorld HurwitzsRootTheorem |
| Hurwitz's theorem (normed division algebras) | W7X5188KBX | statement | open | mathlib_1000 Q1139430, Wikidata Q1139430, thousand_plus Q1139430, Wikipedia Hurwitz's theorem (normed division algebras) |
| Hurwitz's theorem (number theory) | MX1C43HSH2 | statement | open | mathlib_1000 Q1630588, Wikidata Q1630588, thousand_plus Q1630588, Wikipedia Hurwitz's theorem (number theory) |
| Hurwitz-type rank bound | 8PV0ER34Z6 | 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.14373#09NQ |
| Huzihiro Araki | 9VCN9GBCTD | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1639493, nLab Huzihiro Araki |
| HV0NYQZXV6 | HV0NYQZXV6 | exercise | open | applied_combinatorics source/s_graphalgorithms_exercises.ptx#exercise-14 |
| HV0VG3PFYA | HV0VG3PFYA | 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.30730#X42T |
| HV0XGGABT0 | HV0XGGABT0 | 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.00752#CS7U |
| HV124N6E8Q | HV124N6E8Q | 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.39700#Y0XF |