| 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 embedding theorem | XH6P6KT6YV | statement | open | Wikipedia List of theorems#1QCY |
| Higman's lemma | 1V3M97E50F | statement | open | Wikipedia List of lemmas#TKSA |
| Higman's lemma | J04E0GZF7S | statement | open | Wikipedia Higman's lemma, Wikidata Q3229340 |
| 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 asymptotic formula | V89SF9MMSZ | statement | open | Wikipedia Higman–Sims asymptotic formula, Wikidata Q61409656 |
| Higman–Sims graph | KE2YYE4ZQ8 | concept | open | Wikidata Q3115511, House of Graphs 1165, MathWorld Higman-SimsGraph |
| Higman–Sims graph | MZPZ0DSMPB | unknown | open | Wikipedia List of mathematical examples#TJ14 |
| Higman–Sims group | 2S53EBS66A | object | open | Wikidata Q3117686, MathWorld Higman-SimsGroup, Wikipedia Higman–Sims group |
| Higman–Sims group | 76GQRYGDCZ | object | open | Wikipedia List of mathematical examples#8CKF |
| Higraph | S3JQ2JBMAT | definition | open | Wikipedia Higraph, Wikidata Q16969020 |
| Higuchi dimension | 9AJ6QRH4FD | definition | open | Wikipedia Higuchi dimension, Wikidata Q105081315 |
| Hilary Finucane | 1CJ6T5H9NP | unknown | open | Wikipedia List of people by Erdős number#O2UX |
| Hilary Ockendon | GB9YBBWVGE | topic | open | Wikipedia Hilary Ockendon, Wikidata Q63789264 |
| Hilary Parker | E8DFCZV0KY | topic | open | Wikipedia Hilary Parker, Wikidata Q97936245 |
| Hilary Priestley | FE2K0VB7H2 | topic | open | Wikipedia Hilary Priestley, Wikidata Q17180849 |
| Hilary Putnam | 5WK0HSPGXZ | topic | open | Wikipedia List of logicians#6P2T |
| Hilary Putnam | BTPH07XSS4 | topic | open | Wikipedia List of people by Erdős number#8OAR |
| Hilary Putnam | CCRGVJHH1W | topic | open | Wikipedia List of Jewish mathematicians#L69S |
| Hilary Putnam | V7CW6XZ5F3 | topic | out_of_scope (a person, not an item of mathematics) | Wikidata Q221697, ProofWiki Mathematician:Hilary_Whitehall_Putnam, Wikipedia Hilary Putnam |
| Hilary Shuard | 6VQ43T4YE4 | topic | open | Wikipedia Hilary Shuard, Wikidata Q5761059 |
| Hilb's type formula | 7CQT144QKH | statement | open | Wikipedia Jacobi polynomials#AXPF |
| Hilbe, Joseph | 7WBCR0M387 | unknown | open | Wikipedia List of statisticians#4PJS |
| Hilberg's hypothesis | S67D4CCMAR | statement | open | Wikipedia Hilberg's hypothesis, Wikidata Q137324456 |
| Hilbert | 41188A14TR | definition | open | Wikipedia Glossary of commutative algebra#JDYZ |
| Hilbert | 4S31BS7J17 | definition | open | Wikipedia Glossary of invariant theory#GJLL |
| Hilbert | 538RK8EWSH | definition | open | Wikipedia Glossary of set theory#F4K6 |
| Hilbert | 9MV3FH4F8A | definition | open | Wikipedia Glossary of functional analysis#HIWD |
| Hilbert | CK6ZKGZ5RY | definition | open | Wikipedia Glossary of module theory#MYN1 |
| 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 | RHNJP0TW9H | definition | open | Wikipedia Hilbert basis (linear programming), Wikidata Q5761207 |
| Hilbert basis (linear programming) | 1V01S58PJZ | definition | open | Wikipedia List of numerical analysis topics#7K16 |
| 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 | definition | open | Wikidata Q5761182, MathWorld HilbertC-Star-Module, Wikipedia Hilbert C*-module |
| Hilbert class field | 4VAD726MH9 | topic | open | Wikipedia List of algebraic number theory topics#K8DX |
| Hilbert class field | GPN4NMARYJ | concept | open | Wikidata Q2916820, MathWorld HilbertClassField, Wikipedia Hilbert class field |
| 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 | 88YFEVQK2Z | definition | open | Wikipedia List of general topology topics#H4TM, Wikipedia List of examples in general topology#35HS |
| Hilbert cube | BBYZ3JMA3J | definition | open | Wikidata Q1618171, MathWorld HilbertCube, nLab Hilbert cube, ProofWiki Definition:Hilbert_Cube, Wikipedia Hilbert cube |
| Hilbert cube | TMB2N901ZB | definition | open | Wikipedia List of topologies#HXVE |
| Hilbert curve | F6CMYAF506 | unknown | open | Wikipedia List of mathematical shapes#JY3R |
| 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 | 5V2WD0R0FJ | definition | open | Wikipedia List of manifolds#98QX |
| Hilbert manifold | QJW4EZK3E1 | definition | open | Wikidata Q3554824, nLab Hilbert manifold, Wikipedia Hilbert manifold |
| Hilbert matrix | 8HHDDKA8WD | definition | open | Wikidata Q612991, MathWorld HilbertMatrix, Wikipedia Hilbert matrix |
| Hilbert matrix | Z3ZEREEXPC | definition | open | Wikipedia List of mathematical examples#8IYH |
| Hilbert metric | C6WX15A4P0 | definition | open | Wikipedia Hilbert metric, Wikidata Q5761213 |
| Hilbert modular form | YF4E4HJMDJ | definition | open | Wikidata Q5761218, nLab Hilbert modular form, Wikipedia Hilbert modular form |
| Hilbert modular variety | C6BM4FP2N7 | definition | open | Wikipedia Hilbert modular variety, Wikidata Q4360731 |
| 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 plane | 575HHKH3A4 | unknown | open | Wikipedia Absolute geometry#JT0I |
| Hilbert polynomial | 3M8N7YEBDM | definition | open | Wikidata Q5761236, MathWorld HilbertPolynomial, Wikipedia Hilbert series and Hilbert polynomial |
| Hilbert polynomial | P51GJWCEFQ | definition | open | Wikipedia Glossary of algebraic geometry#1V2Q |
| Hilbert polynomial | RSH90SFQ8C | definition | open | Wikipedia List of commutative algebra topics#L1AS |
| Hilbert projection theorem | MKKVF931P7 | statement | open | Wikipedia Hilbert projection theorem#8SX0 |
| 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 projection theorem | Y3ZRBW5Y0F | statement | open | Wikipedia List of theorems#V5DG |
| Hilbert projection theorem (case x = 0) | SECYMP9PSF | statement | open | Wikipedia Hilbert projection theorem#RJ52 |
| 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 | A4N83Y5R47 | definition | open | Wikipedia List of algebraic geometry topics#A575 |
| Hilbert scheme | WHY6K0DRYX | definition | open | Wikidata Q5761225, nLab Hilbert scheme, Wikipedia 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 series | S292HMEJ66 | definition | open | Wikipedia List of finite-dimensional Nichols algebras#1MGT |
| Hilbert space | 5S1NDSP3AF | definition | open | Wikipedia List of group theory topics#TEY9, Wikipedia List of vector spaces in mathematics#QEI1, Wikipedia List of mathematical topics in quantum theory#V9H3 |
| 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, Wikipedia Hilbert space |
| Hilbert space | ZPC1C01J30 | definition | open | Wikipedia Glossary of real and complex analysis#OBMM |
| 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 space dimension | E1JFTKYE0W | unknown | open | Wikipedia Hilbert space#BCNC |
| Hilbert Spaces and Fourier analysis | ZD9GT7K09X | unknown | open | Wikipedia Hilbert space#OWGQ |
| Hilbert spectral analysis | WRVR75YBSJ | definition | open | Wikipedia Hilbert spectral analysis, Wikidata Q5761228 |
| Hilbert stress-energy tensor | CJV2YG22J5 | unknown | open | Wikipedia Stress–energy tensor#1CP0 |
| Hilbert symbol | 2XYH1TY0YV | definition | open | Wikidata Q740060, EoM Norm-residue_symbol, MathWorld HilbertSymbol, Wikipedia Hilbert symbol |
| Hilbert symbol | 7AR32DVTP5 | definition | open | Wikipedia List of algebraic constructions#6IST |
| Hilbert system | WSRMKGBYT9 | definition | open | Wikidata Q910361, nLab Hilbert system, Wikipedia Hilbert system |
| Hilbert transform | 6WSMM61KZE | definition | open | Wikipedia List of real analysis topics#7NUM, Wikipedia List of transforms#RCAY |
| Hilbert transform | VJTAE5K626 | statement | open | mathlib_1000 Q685437, Wikidata Q685437, thousand_plus Q685437, MathWorld HilbertTransform, Wikipedia Hilbert transform |
| Hilbert weak order | Y6QW8N7B4C | 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#FKK9 |
| Hilbert's 12th problem | 582A8HD2X8 | conjecture | open | Wikipedia List of unsolved problems in mathematics#RBJV |
| Hilbert's 9th problem | Y4DEBX0K57 | conjecture | open | Wikipedia List of unsolved problems in mathematics#1DQ2 |
| Hilbert's arithmetic of ends | Q3D0A1HDFH | unknown | open | Wikipedia List of algebraic constructions#ZM8M |
| Hilbert's axioms | HV9H5MWPVV | statement | open | Wikipedia List of axioms#D629 |
| Hilbert's axioms | M3149CA959 | statement | open | Wikidata Q840243, MathWorld HilbertsAxioms, Wikipedia Hilbert's axioms |
| Hilbert's axioms | S8N5XBR61P | statement | open | Wikipedia Foundations of geometry#2CSR |
| Hilbert's basis theorem | 51CM28VW8T | statement | open | Wikipedia List of theorems#4J7K |
| Hilbert's basis theorem | BTBNG3SEHX | statement | node (a node has the same Wikidata item as the row) | arXiv 2610.12489#2QOK, mathlib_1000 Q656645, Mathlib Polynomial.isNoetherianRing, Wikidata Q656645, mathlib_overview General algebra > Polynomials and power series > Hilbert basis theorem, thousand_plus Q656645, Wikipedia Hilbert's basis theorem, MathWorld HilbertBasisTheorem, nLab Hilbert's basis theorem |
| Hilbert's Basis Theorem | N544ZN98Q7 | statement | open | Wikipedia Hilbert's basis theorem#2XGX |
| Hilbert's basis theorem | V6A1J3AD4X | statement | open | Wikipedia List of abstract algebra topics#ZZMG, Wikipedia List of commutative algebra topics#H1CY |
| Hilbert's discarded axiom | 13QWD6CCVN | statement | open | Wikipedia Hilbert's axioms#0VF4 |
| Hilbert's eighteenth problem | E1DGVGY7TS | problem | open | Wikipedia Hilbert's eighteenth problem, Wikidata Q11059889 |
| Hilbert's eighth problem | F5E1M8NQ37 | problem | open | Wikipedia Hilbert's eighth problem, Wikidata Q11059886 |
| Hilbert's eleventh problem | RE4KTQAE1P | problem | open | Wikipedia Hilbert's eleventh problem, Wikidata Q5761146 |
| Hilbert's fifteenth problem | G99AQ9ZJZJ | conjecture | open | Wikipedia Hilbert's fifteenth problem, Wikidata Q5761149 |