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 1501–1600 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| HDH1C3JBHY | HDH1C3JBHY | 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.02407#CG6K |
| HDH8HMS3JK | HDH8HMS3JK | 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.02019#S8PH |
| HDHH1AWKRK | HDHH1AWKRK | 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 2601.01000#MV8G |
| HDHSS consistency of QML-breakpoint estimation in pervasive factor models | K3RTPVQS7D | 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.12271#FBIF |
| HDJ5CQM4M1 | HDJ5CQM4M1 | definition | open | lebl_ra ch-seq-ser.tex#defn-8 |
| HDJS18FGYX | HDJS18FGYX | 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.27886#PLYW |
| HDJWVYARHB | HDJWVYARHB | 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.26386#1C0O |
| HDK0C652JT | HDK0C652JT | 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 2005.03073#Z304 |
| HDK3YW4G69 | HDK3YW4G69 | 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.01411#613C |
| HDK5SX5KGP | HDK5SX5KGP | 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 2202.07274#U0V8 |
| HDK60CF63D | HDK60CF63D | 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#N28F |
| HDK6ESEH01 | HDK6ESEH01 | 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.14562#QV8N |
| HDK91WAC4T | HDK91WAC4T | 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.17325#PSIC |
| HDK9EPDAFC | HDK9EPDAFC | 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 2406.01036#45HT |
| HDME2V8S81 | HDME2V8S81 | 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.13100#VW2F |
| HDMJVNW436 | HDMJVNW436 | 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.18358#WZWE |
| HDMN90FTVH | HDMN90FTVH | 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.33766#HTPT |
| HDMY81ZN5T | HDMY81ZN5T | example | open | applied_combinatorics source/s_inclusion-exclusion_euler-phi.ptx#example-2 |
| HDNZ8CPKQV | HDNZ8CPKQV | proof | open | lebl_ra ch-contfunc.tex#proof-3 |
| HDP6JJSEWC | HDP6JJSEWC | 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 1802.02910#EM04 |
| HDPRJFPW46 | HDPRJFPW46 | 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.33263#X5EL |
| HDQ565CHHZ | HDQ565CHHZ | 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.39505#7MLS |
| HDQYH0R75Y | HDQYH0R75Y | 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.35691#SU3R |
| HDR0HHH85P | HDR0HHH85P | 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 2601.18223#2TQK |
| HDR2D2HF39 | HDR2D2HF39 | 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.18219#ZHPU |
| HDRFG7FM3G | HDRFG7FM3G | exercise | open | austin_ula src/section3-1.xml#activity-1 |
| HDRRN1H4R3 | HDRRN1H4R3 | proof | open | open_logic content/lambda-calculus/church-rosser/beta-eta-reduction.tex#proof-1 |
| HDS2YS1CZR | HDS2YS1CZR | 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.05320#V11C |
| HDSETTYXAJ | HDSETTYXAJ | example | open | napkin tex/calculus/taylor.tex#example-1 |
| HDSM3M41CE | HDSM3M41CE | 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.01599#GAVM |
| HDSMY02YRS | HDSMY02YRS | 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.10107#NIJD |
| HDTBKMVQRP | HDTBKMVQRP | 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.14582#JSEB |
| HDTRRAR4WT | HDTRRAR4WT | 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.05391#ZPLA |
| HDTWJZK472 | HDTWJZK472 | 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.01197#LJ2Y |
| HDVP8QBGDW | HDVP8QBGDW | 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#U9EO |
| HDW1KYPT50 | HDW1KYPT50 | 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.08655#V7MO |
| HDW2S9YNAK | HDW2S9YNAK | 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.26896#4WFF |
| HDW5QMGT5A | HDW5QMGT5A | statement | open | hott_book homotopy.tex#thm:whitehead0 |
| HDWR8AB3BP | HDWR8AB3BP | proof | open | open_logic content/lambda-calculus/syntax/alpha.tex#proof-5 |
| HDWS4GRR1V | HDWS4GRR1V | unknown | open | arXiv 1805.04646#ZDG4 |
| HDWWJ590TA | HDWWJ590TA | 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.09672#LO8M |
| HDX0FJFD0T | HDX0FJFD0T | 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.03336#DE5W |
| HDX36ET1CA | HDX36ET1CA | example | open | applied_combinatorics source/s_probability_conditional.ptx#exa_twodie |
| HDX4JPZ764 | HDX4JPZ764 | 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.29653#2FR6 |
| HDXJW579J9 | HDXJW579J9 | 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.26366#8JJR |
| HDXRF1Z1Y1 | HDXRF1Z1Y1 | 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 2506.16491#3FGK |
| HDXYRFB3QF | HDXYRFB3QF | 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 2108.00412#6VXO |
| HDYNJ86MP4 | HDYNJ86MP4 | 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.17677#7890 |
| HDYQ6B49ZN | HDYQ6B49ZN | exercise | open | lebl_ra ch-metric.tex#exercise-20 |
| HDZ0XT98Z3 | HDZ0XT98Z3 | 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.15974#WWMA |
| HDZR507HFJ | HDZR507HFJ | 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.01837#CSMZ |
| He and Ottolini | ZZ59F6T739 | 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#RUBG |
| HE1BZ8TSHA | HE1BZ8TSHA | 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#2OF5 |
| HE1NV3GCFK | HE1NV3GCFK | 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.35605#DUSO |
| HE1RESYJXP | HE1RESYJXP | 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 2205.09049#N7AB |
| HE1RZ6X9VN | HE1RZ6X9VN | 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.36509#N8CR |
| HE2HRJF3DW | HE2HRJF3DW | 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.14458#I2N5 |
| HE3053AAGX | HE3053AAGX | 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 2303.09207#Z54D |
| HE32T9ZVHC | HE32T9ZVHC | 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.18084#DWYS |
| HE36MPYTWM | HE36MPYTWM | 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.01267#P1SP |
| HE391JCSPE | HE391JCSPE | 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.17476#7WNF |
| HE3JP8K75A | HE3JP8K75A | 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 2502.08738#XDA6 |
| HE3JXC9696 | HE3JXC9696 | 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#9PG7 |
| HE3ZF42ZZ6 | HE3ZF42ZZ6 | 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.32478#UC1X |
| HE4J1WCR9N | HE4J1WCR9N | 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 2504.01057#1F1X |
| HE51A66HAS | HE51A66HAS | 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.26851#ILN1 |
| HE5QH9QXNB | HE5QH9QXNB | 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.07541#6A8I |
| HE627J7QQD | HE627J7QQD | 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.14803#5C36 |
| HE69NJX5E1 | HE69NJX5E1 | 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 2504.13328#VSOO |
| HE6CV5WAJK | HE6CV5WAJK | 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.05611#D0R8 |
| HE6QX26A97 | HE6QX26A97 | proof | open | napkin tex/set-theory/zfc.tex#proof-1 |
| HE727QMW93 | HE727QMW93 | 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 1009.2047#GWIQ |
| HE7C85X1DA | HE7C85X1DA | 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 0904.2051#0U14 |
| HE7D7ZQNSG | HE7D7ZQNSG | 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.20077#GUTX |
| HE7Y756KSY | HE7Y756KSY | 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.18992#2ZQT |
| HE84SQWF09 | HE84SQWF09 | 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 2308.09645#O7KV |
| HE8PJ9AX26 | HE8PJ9AX26 | 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.13741#UTQQ |
| HE960XTKCT | HE960XTKCT | definition | open | open_logic content/model-theory/basics/reducts-and-expansions.tex#defn:reduct |
| HE9WVE996N | HE9WVE996N | 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.37897#CCA8 |
| HEA9MR14FD | HEA9MR14FD | 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.11545#TWMJ |
| head | YVQAFDAQYW | unknown | open | Wikidata Q140092320, MathWorld Head |
| HEAD6N7A1K | HEAD6N7A1K | 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.03081#HF1D |
| Healing | WG098NH1TG | 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/0003117#TOR0 |
| Healing Cause | EBFZR666CV | 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/0003117#7VYW |
| Healing field | QTAEA7CYNS | 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#RUFZ |
| HEANCQX14K | HEANCQX14K | 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.29023#WYR6 |
| heap | VRKCR0RPZ7 | unknown | open | Wikidata Q274089, MathWorld Heap, Wikidata Q803847 |
| heapsort | S5KT5DA0GV | unknown | open | Wikidata Q474095, MathWorld Heapsort |
| HEAR9SQ3XB | HEAR9SQ3XB | definition | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#definition-1 |
| hearing the shape of a drum | K5M2ZDH5R4 | problem | open | Wikidata Q5691670, MathWorld IsospectralManifolds, nLab hearing the shape of a drum |
| heat | 5AZ5SCN50S | definition | open | Wikidata Q44432, ProofWiki Definition:Heat |
| Heat characterisation of $\DotF^s_{p,q}$ | RQ9FZHEXCP | 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.29712#1QPZ |
| heat equation | GQTDNPESSX | definition | open | Wikidata Q6510488, MathWorld HeatConductionEquation, nLab heat equation, ProofWiki Definition:Heat_Equation |
| heat equation | SCCCBYW709 | concept | open | lebl_diffyqs index/5.6.1/heat-equation |
| heat equation | YW7T6HK5CY | concept | open | lebl_diffyqs index/6.9/heat-equation |
| Heat equation, Neumann control | V9TRF65V8T | 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.25431#LL8T |
| heat equations | 4DK1Z4W86K | unknown | open | mathlib_undergrad Distribution calculus > Applications > heat equations |
| Heat extension is an isomorphism | ZPEPQY94KF | 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.29712#W3S8 |
| heat kernel | 1ACB28DQWV | topic | open | Wikidata Q3345669, nLab heat kernel |
| Heat kernel estimates | CEVV748R2A | 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.19285#GN8N |