Inventory: G
The rows of the inventory whose names start with G. 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 1601–1700 of 4385.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| GEFRT8FMH9 | GEFRT8FMH9 | statement | open | hott_book hlevels.tex#reflectcommutespushout |
| Gegenbauer polynomials | NTB7VCMK1X | concept | open | Wikidata Q1498246, MathWorld GegenbauerPolynomial |
| GEGF1XVN0P | GEGF1XVN0P | 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 2108.03672#EU9C |
| GEGM6VTXE7 | GEGM6VTXE7 | 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.30444#SGD4 |
| GEGW5XF8H4 | GEGW5XF8H4 | 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.25094#XUJD |
| GEGYRVZTWM | GEGYRVZTWM | 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.25275#C73T |
| GEH5DF1CZK | GEH5DF1CZK | 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.18246#6L6C |
| Gehring's Lemma | 4C45D2PBQW | 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 2512.08487#TU2P |
| Gehring-type Lemma | 7S9Y8RH4FW | 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#T4X8 |
| GEJ1W8ATA8 | GEJ1W8ATA8 | 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.28336#9B5Y |
| GEJ6CQBE59 | GEJ6CQBE59 | 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.25307#08Z0 |
| GEJBGZ5Y2N | GEJBGZ5Y2N | 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.01873#HSXI |
| GEJPEZPMHQ | GEJPEZPMHQ | 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.09897#4JZM |
| GEJPEZZ5R6 | GEJPEZZ5R6 | statement | open | open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#prop:Dual-valid |
| GEK2WM4ME3 | GEK2WM4ME3 | 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.14060#T7XR |
| GEKF4W4ETC | GEKF4W4ETC | 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.04434#KQBU |
| GEKHTR54Y1 | GEKHTR54Y1 | example | open | napkin tex/topology/metric-top.tex#example-17 |
| Gelfand formula, Corollary 5.6.14 | TFX9P559FN | 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 2410.10337#UY9L |
| Gelfand pair | A7N5695J4W | 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 2503.01567#RUGQ |
| Gelfand representation | CFW7JYE2S5 | statement | open | Wikidata Q1499675, MathWorld GelfandTransform |
| Gelfand–Fuks cohomology | D7J2R7CS47 | unknown | open | Wikidata Q96379141, nLab Gelfand-Fuks cohomology |
| Gelfand–Mazur theorem | 9WANF3NNRQ | statement | open | mathlib_1000 Q2226677, Mathlib NormedRing.algEquivComplexOfComplete, Mathlib NormedAlgebra.Complex.algEquivOfNormMul, Mathlib NormedAlgebra.Real.nonempty_algEquiv_or, Wikidata Q2226677, thousand_plus Q2226677, Wikipedia Gelfand–Mazur theorem |
| Gelfand–Naimark theorem | XHX63DCM3E | statement | open | mathlib_1000 Q2226682, Wikidata Q2226682, thousand_plus Q2226682, Wikipedia Gelfand–Naimark theorem, MathWorld Gelfand-NaimarkTheorem, nLab Gelfand-Naimark theorem |
| Gelfand–Raikov theorem | D0233WC2BD | statement | open | Wikidata Q18207320, nLab Gelfand-Raikov theorem |
| Gelfond's constant | 8QY3S5Z93K | object | open | Wikidata Q306375, MathWorld GelfondsConstant, OEIS A039661 |
| Gelfond–Schneider constant | BPKQ33ZZWP | concept | open | Wikidata Q307889, OEIS A007507, ProofWiki Definition:Gelfond-Schneider_Constant |
| Gelfond–Schneider theorem | 3J09MMPM5Q | statement | open | mathlib_1000 Q976033, Wikidata Q976033, thousand_plus Q976033, Wikipedia Gelfond–Schneider theorem, MathWorld GelfondsTheorem |
| Gell-Mann and Low theorem | Z167JJZ6P4 | statement | open | mathlib_1000 Q5530454, Wikidata Q5530454, thousand_plus Q5530454, Wikipedia Gell-Mann and Low theorem |
| Geller and Stahl | 34GAP6Z53E | 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 2407.05730#67RW |
| gem graph | 9P0EQJK73N | unknown | open | Wikidata Q128818482, House of Graphs 1094, MathWorld GemGraph |
| GEM9VRFA24 | GEM9VRFA24 | 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#98IK |
| Geminus of Rhodos | AJJJARD5C0 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q379987, ProofWiki Mathematician:Geminus_of_Rhodes |
| GEN1NP7E08 | GEN1NP7E08 | 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.00021#3ZJ7 |
| GEN5V1X0YH | GEN5V1X0YH | 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 2507.05417#OXQN |
| Genaille–Lucas rulers | SNWK389VWR | unknown | open | Wikidata Q3455860, MathWorld GenailleRods |
| General acceptance sets | H0AXQ2W7T6 | 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.12211#DNTI |
| General antichain formula | ZSCNKW4RQ9 | 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.03579#GB8Y |
| General block residual finite window transfer | F9W2TY12H4 | 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.18739#D5B2 |
| General Comparison Principle | Y002QCZ0F9 | 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.08484#UUSE |
| General composite lower bound | Z1SAC7E5CB | 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.12641#0FGX |
| General consequence for samplers with logarithmic state | G2GM8Q36WW | 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.14615#XA1G |
| General converse | 7C96EZ83MQ | 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.05364#N6IG |
| general covariance | YQHCQ7AGKW | unknown | open | Wikidata Q2638561, nLab general covariance |
| General covariance coordinates | VD3K5VD4D6 | 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#MQNX |
| General density bound | A9YCQEAYBN | 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.25120#EZEL |
| General endpoint moment | GATJJHXJVM | 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.18884#NQMP |
| General energy bound | ET7RMVRCNR | 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.01035#8WVJ |
| General form of the mechanism | 5HSEFC7EV7 | 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.27966#4EA9 |
| General FRS inner approximation with changed dynamics | 8JHBXZ2D13 | 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 2203.10220#I1UV |
| General Gram normal form for the corner-supported Toeplitz BW form | K1ZKWD8G5P | 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.08980#ZZF1 |
| General large value bound | 9P5QPHD54J | 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.01035#VQKW |
| general Leibniz rule | 3HGW4QVC8T | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q2586745, MathWorld LeibnizIdentity |
| General lifting criterion | A5DZ01DC23 | statement | open | napkin tex/topology/cover-project.tex#thm:lifting |
| general linear group | 6AK0N4CE2A | unknown | open | mathlib_overview Linear algebra > Fundamentals > general linear group, Mathlib LinearMap.GeneralLinearGroup, mathlib_undergrad Linear algebra > Fundamentals > general linear group |
| general linear group | GKP3QXWKH1 | definition | node (a node has the same Wikidata item as the row) | Wikidata Q524607, MathWorld GeneralLinearGroup, nLab general linear group, ProofWiki Definition:General_Linear_Group |
| general linear group | HXW27VJ7VS | unknown | open | mathlib_undergrad Group Theory > Classical automorphism groups > general linear group, Mathlib Matrix.GeneralLinearGroup |
| general linear group as a Lie group | HA4QTT7N2Y | unknown | open | mathlib_overview Geometry > Differentiable manifolds > general linear group as a Lie group, Mathlib Units.instLieGroupModelWithCornersSelf |
| General linear kernel | SH9EGZS3CE | 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.33805#SPMU |
| general linear Lie algebra | 4VT0HSM3BA | unknown | open | Wikidata Q17521172, nLab general linear Lie algebra |
| General local bound | Y2AJ7VJARJ | 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.25120#YKKY |
| General moment bound | FT4Y6H6T6K | 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.01035#3B8N |
| General multichannel version | 3735W5YBF4 | 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.27335#XAS2 |
| general number field sieve | 8X8KWFNVMS | unknown | open | Wikidata Q140770, MathWorld NumberFieldSieve |
| General periodic-clock anti-concentration | 68XJBX9SC9 | 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.16351#FEUT |
| General periodic-clock every-window relaxation | JM43XQQMWE | 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.16351#IUHE |
| General Perturbations of ERP | HGB0C6SB6F | 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.34154#RYW6 |
| General PGM exponent | 2ZGCNA955T | 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#RBGA |
| General picture of the monopole | G46AH6KTB5 | 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.14045#9E8F |
| General polynomial values | M2TZTV3CSC | 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.33327#OV3M |
| General population approximation | 3T2WFT06F4 | 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.32026#P6JH |
| General population spectrum; Gaussian case | G5HJRSQH2Q | 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.16680#F181 |
| General position | NBWCB4SSPJ | 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.24901#XEBW |
| General position | VMPM7VSRNN | concept | open | Wikidata Q591310, MathWorld GeneralPosition |
| General quadratic lower bound | D070YNPBWN | 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.09044#USLN |
| General quotient rule | ZQTQSVX7RX | 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.20593#ZNZU |
| General Recursion | 9HJRJMS88W | statement | open | open_logic content/set-theory/spine/recursion.tex#transrecursionschema |
| general relativity | ZN2K3VV4ZT | topic | open | Wikidata Q11452, ProofWiki Definition:Relativity_Theory/General |
| General sampling is stronger than insertional sampling | NWY3CS79SY | 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.14615#QF1Q |
| General second-order algorithm | SW562V8DXA | 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.03222#4A12 |
| General simulation | 7GVC4HC9J0 | 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#W37P |
| General solution | F10G5VZZDM | 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.12434#SZRC |
| general solution to a system | R9GX452XKK | concept | open | lebl_diffyqs index/10.1.1/general-solution-to-a-system |
| General switching dynamics | AQ8S9T2DGE | 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.32585#DQZM |
| general topology | ZK9H6VV6NW | topic | open | Wikidata Q621550, EoM General_topology, MathWorld Point-SetTopology, nLab general topology |
| General Uniqueness of the Median | NBB7XQ8MQ8 | 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.08484#7J3Y |
| General warmness budget | F3F7EVHMTQ | 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.16248#ZLHD |
| General zero-defect criterion | 7YCT66BC8Y | 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.20593#M4OX |
| General-$d$ $q=2$ ceiling | FECQVGW8ZY | 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.02392#OQ5M |
| General-reference existence | HEVDM9TKFK | 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#PCUL |
| Generalisation of the Hambly--Kumagai theorem | RV8W6VFW6V | 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.10469#0J6P |
| Generalised inverse | N633W5THPN | 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.08074#KPX6 |
| Generalised lifted convolution | HXBQ4RZ0DT | 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.13892#TBLL |
| Generalised Mertens' estimate | Y1VPZ8N8D1 | 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.29748#DFFY |
| Generalised von Neumann | 28A2V2HS7V | 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.05002#75JT |
| Generalised von Neumann theorem | ZQPD4XVH6Q | 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.05002#WERV |
| Generalization | AN0RBW8KAP | statement | open | open_logic content/first-order-logic/axiomatic-deduction/provability.tex#thm:Generalization |
| Generalization | PP135EFAXX | 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.06108#CUDK |
| Generalization bound for the Sinkhorn divergence coreset | 9ANK4J5DVY | 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.01199#XTZ6 |
| Generalization error bound | 3G4738SETQ | 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#NJNE |
| Generalization error of ERM estimator | 6VQXDSRTEK | 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.07637#PORN |