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 1201–1300 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Hasse principle | 54SKMMKNKC | concept | open | Wikidata Q2115578, MathWorld HassePrinciple |
| Hasse's theorem on elliptic curves | JG226VWAYY | statement | open | mathlib_1000 Q3502015, Wikidata Q3502015, thousand_plus Q3502015, Wikipedia Hasse's theorem on elliptic curves |
| Hasse--Davenport lift | G0J1QZW1VT | 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#F6GM |
| Hasse--Davenport multiplication formula | 9E73JX06TJ | 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#UBAH |
| Hasse--Weil | 6GSVQ9P9MZ | 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.32834#ERI7 |
| Hasse-function lift | G28A8ZB5QA | 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#HI6L |
| Hasse–Arf theorem | KW048YTKPP | statement | open | mathlib_1000 Q5680041, Wikidata Q5680041, thousand_plus Q5680041, Wikipedia Hasse–Arf theorem |
| Hasse–Davenport relation | ZMYXWAR5PD | concept | open | Wikidata Q16997822, MathWorld Hasse-DavenportRelation |
| Hasse–Minkowski theorem | XSMZYEFJZA | statement | open | mathlib_1000 Q1938251, Wikidata Q1938251, thousand_plus Q1938251, Wikipedia Hasse–Minkowski theorem, MathWorld Hasse-MinkowskiTheorem |
| Hassler Whitney | KJHA14K7RN | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q742072, nLab Hassler Whitney |
| HASZ6XZN20 | HASZ6XZN20 | 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#AX1D |
| hat check problem | HXMX40DRC8 | concept | open | applied_combinatorics index/7.4/hat-check-problem |
| hat matrix | 7KB2YZ992C | unknown | open | Wikidata Q5680845, MathWorld ProjectionMatrix |
| Hat operator | VY8PY8CSEK | concept | open | Wikidata Q5680848, MathWorld Hat |
| HATBTCQE0N | HATBTCQE0N | 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.14278#DIUG |
| Hatcher \S2.1 exercise 18 | KMQ9GDAVEM | exercise | open | napkin tex/homology/excision.tex#problem-2 |
| HATDCR3KZ9 | HATDCR3KZ9 | proof | open | open_logic content/set-theory/choice/vitali.tex#proof-2 |
| HATPTJRGRF | HATPTJRGRF | 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.35398#65X1 |
| Hatted basis | AXYTW4C69B | 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.12326#9AIU |
| Hatzel graph | 6ERNJC90MM | unknown | open | Wikidata Q3115502, House of Graphs 1150, MathWorld HatzelGraph |
| Hausdorff | Q4FBJW335G | 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.00344#3HAW |
| Hausdorff continuity and uniform convergence | 86ZCP3BYNG | 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.09602#JW9I |
| Hausdorff convergence over all orders | VSN3VBFAMF | 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.09602#D7XE |
| Hausdorff dimension | 67QSVTZKCA | unknown | open | Wikidata Q565186, MathWorld CapacityDimension, nLab Hausdorff dimension |
| Hausdorff dimension | R5FKH9Z5K2 | unknown | open | mathlib_overview Analysis > Measures and integral calculus > Hausdorff dimension, Mathlib dimH |
| Hausdorff distance | AXCV26PM49 | unknown | open | mathlib_overview Topology > Metric spaces > Hausdorff distance, Mathlib Metric.hausdorffEDist |
| Hausdorff maximal principle | FMCX33BWZZ | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q738328, nLab Hausdorff maximal principle |
| Hausdorff measure | 27TG1HQFD5 | 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.17519#3B70 |
| Hausdorff measure | KJ8WX5C27K | unknown | open | mathlib_overview Analysis > Measures and integral calculus > Hausdorff measure, Mathlib MeasureTheory.Measure.hausdorffMeasure |
| Hausdorff metric | MH8VQD5ZVZ | 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#JOJU |
| Hausdorff paradox | 23R2TSJ2EN | statement | open | Wikidata Q1959890, ProofWiki Hausdorff_Paradox |
| Hausdorff space | D4FKCK28GS | definition | node (a node has the same Wikidata item as the row) | Wikidata Q326908, MathWorld T2-Space, nLab Hausdorff space, ProofWiki Definition:Hausdorff_Space |
| Hausdorff space | GT65C6XAHE | unknown | open | mathlib_overview Topology > General topology > Hausdorff space, Mathlib T2Space |
| Hausdorff's Paradox (in $\ZFC$) | J3EVPVM6FC | statement | open | open_logic content/set-theory/choice/vitali.tex#thm-1 |
| HAV19VWGAH | HAV19VWGAH | proof | open | open_logic content/computability/computability-theory/ce-closed-cup-cap.tex#proof-1 |
| haversine | A8AVCRGYDC | unknown | open | Wikidata Q2528380, MathWorld Haversine |
| HAVGHFDEGH | HAVGHFDEGH | 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#WVOU |
| HAW0PV8MBR | HAW0PV8MBR | 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.08050#JNBI |
| HAW0XMVKBB | HAW0XMVKBB | 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.24232#MXIT |
| HAWAHRGYJH | HAWAHRGYJH | 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.30519#9G49 |
| HAWG0XV03G | HAWG0XV03G | 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.03814#67D5 |
| Hawkes process | S3PHDXAVKZ | unknown | open | Wikidata Q55595015, MathWorld HawkesProcess |
| Hawking radiation | 7VB51CW9TQ | unknown | open | Wikidata Q497396, nLab black hole radiation |
| HAX2Y82Y8Z | HAX2Y82Y8Z | 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 2111.07717#I3JW |
| HAXC03YZEH | HAXC03YZEH | 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.04809#M7QS |
| Haxell | 1BYHXC4458 | 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.35766#ZTQT |
| HAXM0NA1MH | HAXM0NA1MH | definition | open | lebl_ra ch-multivar-int.tex#defn-4 |
| HAXNZKMBQE | HAXNZKMBQE | 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 2312.00752#122P |
| HAY2HV4P96 | HAY2HV4P96 | 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.12087#OGC0 |
| HAYCX4WW78 | HAYCX4WW78 | 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 2502.08738#A63Z |
| Haynes Miller | NC9EQ67CW1 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1591972, nLab Haynes Miller |
| HAYTW8ZRX9 | HAYTW8ZRX9 | 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.35542#FI4E |
| Hayut | 55MF3AMPK3 | 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 2608.24190#BJUX |
| HAYX4VKRB1 | HAYX4VKRB1 | 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.01656#I00I |
| HAZ8TG2S42 | HAZ8TG2S42 | 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 2411.17412#7Z76 |
| HAZTPVEGDC | HAZTPVEGDC | 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.01073#4D30 |
| HAZXETCC8D | HAZXETCC8D | proof | open | open_logic content/first-order-logic/tableaux/provability-propositional.tex#proof-3 |
| HB03JC6Q99 | HB03JC6Q99 | 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 1008.4946#HNVP |
| HB0D6V16Q7 | HB0D6V16Q7 | unknown | open | arXiv 2610.13680#KA9B |
| HB0KSCFMN3 | HB0KSCFMN3 | 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.16669#OMGZ |
| HB10RZCFQA | HB10RZCFQA | 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.36423#W1XN |
| HB1J1YX16P | HB1J1YX16P | 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 2409.03461#5YK8 |
| HB1NJTMZN9 | HB1NJTMZN9 | 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.29683#478D |
| HB1SYH1XRS | HB1SYH1XRS | 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 0810.0962#RDP1 |
| HB1TTJBXB6 | HB1TTJBXB6 | example | open | lebl_ra ch-seq-funcs.tex#example-6 |
| HB257T7P4N | HB257T7P4N | definition | open | napkin tex/homology/cohomology.tex#definition-5 |
| HB2ABZH27W | HB2ABZH27W | 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.06152#IL0T |
| HB2WE0EPKX | HB2WE0EPKX | 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.03520#EGHB |
| HB2X4QSTWC | HB2X4QSTWC | 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#Y2GI |
| HB36FV262Z | HB36FV262Z | 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.24878#FWOY |
| HB3A02MVNH | HB3A02MVNH | 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 math/9902147#E59T |
| HB3B9G4M03 | HB3B9G4M03 | 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.30018#4DMC |
| HB3G56B8YH | HB3G56B8YH | 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.25801#WCGP |
| HB3Q4T6KDT | HB3Q4T6KDT | 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 2604.23212#MF2I |
| HB3VXSE2Y2 | HB3VXSE2Y2 | 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.10029#4BPY |
| HB470M882K | HB470M882K | 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 2409.00806#OBBD |
| HB4HFV53VW | HB4HFV53VW | 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 math/0003117#L8MB |
| HB4MP4RH11 | HB4MP4RH11 | 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.02993#Z41U |
| HB4MQYEDX5 | HB4MQYEDX5 | 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.19311#4L8K |
| HB4Z0VGNR9 | HB4Z0VGNR9 | 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 2412.01742#MOTL |
| HB52Z8SX63 | HB52Z8SX63 | definition | open | napkin tex/alg-geom/proj-var.tex#definition-10 |
| HB6E933X9E | HB6E933X9E | 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.12736#D9LI |
| HB7095CWDZ | HB7095CWDZ | 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 2609.28010#YQTC |
| HB71EVNR7V | HB71EVNR7V | 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.37520#PDYY |
| HB76W1B6NX | HB76W1B6NX | 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 2012.05048#AXD2 |
| HB7KZGTBZ3 | HB7KZGTBZ3 | 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.08935#5NSV |
| HB7MDQAYHA | HB7MDQAYHA | 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 1912.02769#7UUZ |
| HB8FQEF575 | HB8FQEF575 | 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 2112.14455#8TJ8 |
| HB8GCWE46J | HB8GCWE46J | 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.03272#WGM0 |
| HB8T9D04Z6 | HB8T9D04Z6 | 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#EBK3 |
| HB9NDP6S78 | HB9NDP6S78 | 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.14956#L6GS |
| HBA6Y4KT5C | HBA6Y4KT5C | 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#BL1Q |
| HBA7AG95YZ | HBA7AG95YZ | 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 2510.12502#H5GU |
| HBA8N9MCQY | HBA8N9MCQY | definition | open | napkin tex/diffgeo/forms.tex#definition-6 |
| HBAW1KKSEH | HBAW1KKSEH | 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 2401.15490#3SPR |
| HBB93CJBYM | HBB93CJBYM | 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.32104#3W24 |
| HBBC026EHH | HBBC026EHH | 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.21929#P0MT |
| HBCFD52B9B | HBCFD52B9B | definition | open | ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#definition-2 |
| HBCYTMCT8H | HBCYTMCT8H | exercise | open | lebl_ra ch-metric.tex#exercise-57 |
| HBDMCB6D5Y | HBDMCB6D5Y | 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 2411.00562#JJID |