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 2201–2300 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| High Probability Bound on Excess Risk | BCC1502XC2 | 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.15111#8CJP |
| High probability bounds for empirical barycenters | TSNJKWB991 | 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.17909#IFKO |
| High probability events in $H$ | 3YTV15GP1C | 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 2102.11076#8EF7 |
| High probability events in $H$ | E5CWDQXTE9 | 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 2102.11076#3UVZ |
| High-conductor stationary-class table | Z6A6PT1ZS6 | 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#TFW3 |
| High-Dimensional Hidden Direction Distribution | AG0BBSGFN7 | 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.15723#6Q4N |
| High-dimensional nonuniqueness | H38WCCSG31 | 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.02790#81OG |
| High-frequency small-noise scheme | BB59RPXWBR | unknown | open | arXiv 2610.05864#QGOT |
| High-horocone tangent theorem | D5XZ39P9F4 | 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#2S2F |
| High-momentum Row near-set control | Y2Q46PPEQ2 | 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.11309#PW0D |
| High-order estimate for \(\beta>2\ | G0ETV0XJQP | 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.05312#2YD8 |
| High-parameter discrete Gaussian sampling | VGM1KH3QS7 | 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.37482#DBOY |
| High-probability bound for iterated barycenters | A4XEHNM15K | 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.17909#RJRS |
| High-probability convergence guarantee of budgeted certification | AJ97J49MEP | 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.21139#GD94 |
| High-probability exact rate, sub-Gaussian noise | 7B3N7FCBZD | 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.00295#NU7H |
| High-probability finite-width convergence | MC0ZKH0G8M | 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.09356#GF3Y |
| High-probability Gaussian instability | 6AQ91TRJAZ | 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.28198#WYIC |
| High-probability Jacobian bounds | HMKM1VMDD1 | 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.05953#SS2R |
| High-probability product-empirical transfer | EF30QZPV2N | 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.37380#Q490 |
| High-probability version | WWHG4AHQPZ | 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.00295#Z4UH |
| High-rate optimality of GRM for GMMs | HNW2C638AD | 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.15549#KBCY |
| High-rate optimality of GRM for scalar GMMs | EZAE0BMDKV | 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.15549#8R25 |
| higher category theory | A1249BDYTS | concept | open | hott_book index/1/higher-category-theory |
| higher category theory | RNAETC8ZCG | topic | open | Wikidata Q5758318, nLab higher category theory |
| Higher conductors: trivial critical sums | YK79D1J20Q | 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.30301#E2XA |
| Higher descent | BY1NBV0GVX | 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#MA59 |
| Higher dimensions | CS6GQHE2Q6 | 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.35360#N8Q6 |
| Higher homotopy after compactification | 73AH94CAGH | 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.24807#6X61 |
| Higher hydrostatic Stokes estimate at orthogonal junctions | TTSTMQ3Z6K | 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.14555#3ZOQ |
| Higher integrability $\partial_t f, \nabla^2_\xi f$ | HBTJ4SYZQZ | 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.08434#CA47 |
| Higher interior regularity | Z2SCQST8EZ | 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.32561#FLIE |
| higher local field | 16DBNCHGBK | unknown | open | Wikidata Q5758403, nLab higher local field |
| Higher moments | 53QDJTGC7X | 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.29784#L51F |
| Higher moments | MWSF2G8E8Q | 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#HI4T |
| Higher moments explode in the extraspecial case | PGHAHGDPP6 | 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.04099#7YGM |
| Higher moments for list prediction | MERH7TSATD | 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#HEYY |
| Higher moments with independent uniform auxiliary variables | FA4WTYQGF4 | 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#TOB4 |
| Higher order uniformity of $\Lambda$ | QWFEDXK96P | 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.09567#YMX1 |
| Higher purity for local degree | FCQWK5R3AQ | 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.07092#9E06 |
| Higher Regularity Theory for Linear Parabolic PDEs | 9E8B9009EE | 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.15111#2ZPI |
| Higher spatial regularity of the velocity | MDT8HSW4TZ | 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.14555#EI9B |
| Higher torsionfreeness criterion | EK5BKN3WPH | 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.36444#AHOK |
| Higher-derivative test | 8HV42T4Z2V | 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.22107#JDU1 |
| higher-dimensional equivalent formulation | Q424FB2690 | 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 2210.06147#ITEA |
| higher-dimensional polyhedral monotiles | 22VNYDP8HC | 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.00916#T7AK |
| Higher-factor reduction | TS8370TD55 | 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.17675#8BLL |
| Higher-order control of the first remainder | VFHDVFFE6C | 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.11077#KS4P |
| Higher-order convexity | V63Q6N7D50 | 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.34918#8KTH |
| Higher-order count | HSCJMRDA77 | 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.10557#6R4A |
| higher-order derivatives of functions | 2AQ9RZEX3B | unknown | open | mathlib_undergrad Single Variable Real Analysis > Differentiability > higher-order derivatives of functions, Mathlib iteratedDeriv |
| Higher-order Fej\'er identity | BGR7QM847X | 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.12853#ELUV |
| Higher-order Godbersen's conjecture | 11QV5NESJT | 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.04527#SUN8 |
| higher-order logic | SGB0TZ7CQA | topic | open | Wikidata Q1644136, nLab higher-order logic |
| higher-order operad | GE7XK23HSK | unknown | open | Wikidata Q55643078, nLab (infinity,1)-operad |
| Higher-rank quaternionic Poincar\'e problem | FJ69YQVFBB | 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.26269#2J5E |
| Highest Derivative Away from Sites | DAKDDYE13D | 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.12239#1YXU |
| Highest-degree comparison | 8Q36QF499C | 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.27320#GGRV |
| Highest-term ratio | 3HA1QSCGMV | 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.04189#18DG |
| Highest-weight projection | 9VM3W1FTYR | 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.40271#U4EM |
| Highest-weight subspace perturbation | PTCFJX7Q43 | 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.06742#N2PA |
| highly abundant number | GT5SXVNQVK | object | open | Wikidata Q3205712, OEIS A002093 |
| highly composite number | 3XKPS9NGED | object | open | Wikidata Q629958, MathWorld HighlyCompositeNumber, OEIS A002182 |
| highly cototient number | QEPBJTNBP9 | unknown | open | Wikidata Q3879385, MathWorld HighlyCototientNumber, OEIS A100827 |
| highly irregular graph | QAKWV37NCF | unknown | open | Wikidata Q17029695, MathWorld HighlyIrregularGraph |
| Highly totient number | NRDY5BCA70 | object | open | Wikidata Q2071769, OEIS A097942 |
| highly touchable number | QRDJ9QJC67 | object | open | Wikidata Q23296480, OEIS A238895 |
| Higman's embedding theorem | 1NYS37BFMR | statement | open | mathlib_1000 Q17029787, Wikidata Q17029787, thousand_plus Q17029787, Wikipedia Higman's embedding theorem, nLab Higman's embedding theorem |
| Higman's lower-bound construction | 4GPYA0MDS0 | 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.14509#G4L1 |
| Higman–Sims graph | KE2YYE4ZQ8 | concept | open | Wikidata Q3115511, House of Graphs 1165, MathWorld Higman-SimsGraph |
| Higman–Sims group | 2S53EBS66A | unknown | open | Wikidata Q3117686, MathWorld Higman-SimsGroup |
| Hilary Putnam | V7CW6XZ5F3 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q221697, ProofWiki Mathematician:Hilary_Whitehall_Putnam |
| Hilbert bases | 2Y39ZYSGP2 | unknown | open | mathlib_undergrad Topology > Hilbert spaces > Hilbert bases, Mathlib HilbertBasis |
| Hilbert basis | EV6SPMFS52 | unknown | open | Wikidata Q91040691, MathWorld HilbertBasis |
| Hilbert basis theorem | 2Z0EF2YABJ | statement | open | lebl_scv scv.tex#thm:hilbertbasis |
| Hilbert basis theorem | SDGZK31K5Q | concept | open | lebl_scv index/D/hilbert-basis-theorem |
| Hilbert basis theorem | Z0XF0N89K2 | statement | open | napkin tex/H113/ring-intro.tex#thm:hilbert_basis |
| Hilbert C*-module | ZWTKV7WE3J | unknown | open | Wikidata Q5761182, MathWorld HilbertC-Star-Module |
| Hilbert class field | GPN4NMARYJ | concept | open | Wikidata Q2916820, MathWorld HilbertClassField |
| Hilbert class polynomial criterion | BESSKT80F1 | 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.26196#AR5A |
| Hilbert continuity | 7RK44NZJE5 | 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.25026#6T66 |
| Hilbert cube | BBYZ3JMA3J | definition | open | Wikidata Q1618171, MathWorld HilbertCube, nLab Hilbert cube, ProofWiki Definition:Hilbert_Cube |
| Hilbert curve | FSCT77QBG7 | unknown | open | Wikidata Q1366592, MathWorld HilbertCurve |
| Hilbert function through degree two | NMDZYZB10N | 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.31689#PR3B |
| Hilbert irreducibility on a twisted curve | WJ165Q8J7W | 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.09298#OY0H |
| Hilbert manifold | QJW4EZK3E1 | unknown | open | Wikidata Q3554824, nLab Hilbert manifold |
| Hilbert matrix | 8HHDDKA8WD | unknown | open | Wikidata Q612991, MathWorld HilbertMatrix |
| Hilbert modular form | YF4E4HJMDJ | unknown | open | Wikidata Q5761218, nLab Hilbert modular form |
| Hilbert Morrey--Gagliardo--Nirenberg form | PDBT0029G8 | 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.00292#8MPL |
| Hilbert number | Z5342D1EGG | unknown | open | Wikidata Q1440989, MathWorld HilbertNumber, OEIS A016813 |
| Hilbert polynomial | 3M8N7YEBDM | unknown | open | Wikidata Q5761236, MathWorld HilbertPolynomial |
| Hilbert projection theorem | RJGNG2YHCY | statement | open | mathlib_1000 Q3527215, Mathlib exists_norm_eq_iInf_of_complete_convex, Wikidata Q3527215, mathlib_undergrad Topology > Hilbert spaces > Hilbert projection theorem, thousand_plus Q3527215, Wikipedia Hilbert projection theorem, MathWorld ProjectionTheorem |
| Hilbert responses: fractional source and noise | 5Y1M1B7S0E | 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.05388#ZY5E |
| Hilbert scheme | WHY6K0DRYX | unknown | open | Wikidata Q5761225, nLab Hilbert scheme |
| Hilbert series | DNH76GYT3E | 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.38212#ZB0M |
| Hilbert space | 8NG9ZETM5H | 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.19861#ZVY1 |
| Hilbert space | GCT8KHPC8N | concept | open | Wikidata Q190056, EoM Hilbert_space, MathWorld HilbertSpace, nLab Hilbert space, ProofWiki Definition:Hilbert_Space |
| Hilbert space | ZYZZSS88QJ | 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.05388#WYNW |
| Hilbert symbol | 2XYH1TY0YV | unknown | open | Wikidata Q740060, EoM Norm-residue_symbol, MathWorld HilbertSymbol |
| Hilbert system | WSRMKGBYT9 | unknown | open | Wikidata Q910361, nLab Hilbert system |
| Hilbert transform | VJTAE5K626 | statement | open | mathlib_1000 Q685437, Wikidata Q685437, thousand_plus Q685437, MathWorld HilbertTransform |