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 1201–1300 of 4385.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Gaussian integer | 8Z4E1KGC4H | definition | node (a node has the same name as the row) | Wikidata Q724975, EoM Gauss_number, MathWorld GaussianInteger, ProofWiki Definition:Gaussian_Integer |
| Gaussian integers {$\ZZ[i]$} form a UFD | 9VPS1SFJZ3 | statement | open | napkin tex/alg-NT/classgrp.tex#theorem-4 |
| Gaussian integral | GHHRSFD0WY | statement | node (a node has the same Wikidata item as the row) | Wikidata Q1060321, MathWorld GaussianIntegral, nLab Gaussian integral |
| Gaussian integral | Q23RPQVENX | 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.18803#C693 |
| Gaussian integral for the normalization | SNZKG4R39V | 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.06810#JY99 |
| Gaussian inverse moments for conjugate-paired values | WHXD57BPFK | 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.05498#G31C |
| Gaussian isoperimetry and transportation for the whole future path | FMA8SGFG4S | 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#YBJX |
| Gaussian jets | 1RCAC0RYGW | 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.06480#HV2J |
| Gaussian Kernel | J73D2ARCB0 | 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#IRJU |
| Gaussian law | NYXZ6X68AC | unknown | open | mathlib_overview Probability Theory > Random variables and their laws > Gaussian law, Mathlib ProbabilityTheory.gaussianReal, mathlib_undergrad Probability Theory > Random variables and their laws > Gaussian law |
| Gaussian limit | HRP09F97GX | 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.17946#VANK |
| Gaussian location | 2E0QFMA2TT | 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.27765#UL0H |
| Gaussian lower bound for Heun | NCBDQSFRTK | 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.06308#2LN8 |
| Gaussian marginals of the OU process | ABMC4ZNX8D | 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#RTRM |
| Gaussian measure | KJ10N4QB5J | unknown | open | Wikidata Q5527840, MathWorld GaussMeasure, nLab Gaussian measure |
| Gaussian measures | 8KH2YGEAZ6 | unknown | open | mathlib_overview Probability Theory > Random variables and their laws > Gaussian measures, Mathlib ProbabilityTheory.IsGaussian |
| Gaussian measures: $\gamma$-radonifying operator norms | D3V665MPB0 | 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.19151#2Y0F |
| Gaussian mixability gap | H9KPV74ERJ | 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.20187#3V03 |
| Gaussian moat | W7FK1S2S5D | problem | open | Wikidata Q5527841, MathWorld Moat-CrossingProblem |
| Gaussian mobility information capacity | WHEWHA00HE | 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.10436#519X |
| Gaussian moment bound | J631W8R80M | 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.25348#PLAJ |
| Gaussian moments of an odd profile | RWJ52TAXW1 | 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.06480#5XBV |
| Gaussian observations and adaptive transcripts | D18X1389W1 | 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#CSGA |
| Gaussian optimal couplings | Q9APKCR0V3 | 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.01855#BYQQ |
| Gaussian optimality for the quadratic coefficient | BV8950EY66 | 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#KRTG |
| Gaussian overlap estimates | 76DDHKEK9E | 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.14085#B3XF |
| Gaussian power-moment asymptotics | PNAESAXHXR | 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.05498#YR9P |
| Gaussian prime | X88FVWVQFZ | definition | node (a node has the same name as the row) | Wikidata Q3343089, MathWorld GaussianPrime, ProofWiki Definition:Gaussian_Prime |
| Gaussian private releases with no common upper bound | JGFSGB614K | 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#8NUD |
| Gaussian processes | S7PJCAHWXB | unknown | open | mathlib_overview Probability Theory > Stochastic Processes > Gaussian processes, Mathlib ProbabilityTheory.IsGaussianProcess |
| Gaussian projection | 98M5P022G4 | 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#GICY |
| Gaussian projection | HRDP63E00A | 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.01855#PXS3 |
| Gaussian projection decreases the $2$-QW cost | 597J5374QZ | 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.01855#CLDX |
| Gaussian projection of barycenters and optimal couplings | ZW52Z13ADF | 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.01855#ZBWV |
| Gaussian quadrature | N3REWJ80HN | definition | open | Wikidata Q767680, MathWorld GaussianQuadrature, MathWorld Legendre-GaussQuadrature, ProofWiki Definition:Gaussian_Integration_Rule |
| Gaussian ratio integral | 9CJP32QS6B | 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.27200#QMT4 |
| Gaussian rational | CG7G0V3CJ8 | unknown | open | Wikidata Q7888828, nLab Gaussian number |
| Gaussian reduction for $2$-QW barycenters | 5HT47389AE | 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.01855#IN3A |
| Gaussian reference perturbation | R3WSGJ9283 | 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#F70K |
| Gaussian relative-entropy projection | KF48X1AKR6 | 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.09472#AP2P |
| Gaussian rounding on an integral base polyhedron | 75RZ2ZQJB3 | 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#ZJLS |
| Gaussian sample covariance concentration | 76CW0DBWT4 | 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.10640#1TYW |
| Gaussian simplex frontier to second order | 8YXA5NADXJ | 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#Z17S |
| Gaussian smoothing at numerical grid points | KPK9EJWKZT | 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.28611#IZDJ |
| Gaussian smoothing coefficient condition | F0VRCCS7DV | 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.09522#SSBZ |
| Gaussian state evolution | 2G9AYBP4R6 | 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.05327#X66W |
| Gaussian states | TTSZSAH11W | 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.01855#OMVU |
| Gaussian third moments and a random variance sum | RMTQG6ZMJG | 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.05498#A66I |
| Gaussian two-point high-probability lower bound | VSP2Q2PGP6 | 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#ESH6 |
| Gaussian unitary | X03C7SP28D | 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.01855#E7KH |
| Gaussian universality for regularized ERM | TJSM5QMSXM | 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#OMS5 |
| Gaussian velocity in $\R$ | E6CQ4NTHQX | 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.15086#OFBZ |
| Gaussian velocity in $\R^2$: the logarithmic regime to second order | 20XJEVJ41D | 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.15086#ZXQJ |
| Gaussian velocity in $\R^3$: boundedness in $L^2$, blowup in $\dH^{-1/2}$ | KCES11P8RF | 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.15086#36XD |
| Gaussian width | YZVDVSXXB2 | 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.11869#KXQW |
| Gaussian--chi Funk horocone pyramid | HKAKDFCEZN | 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.27752#7NQM |
| Gaussian-binomial determinant for the local upper slice | F39BBB2B90 | 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.24541#NWAR |
| Gaussian-binomial endpoint decomposition | 93JE5GMZHK | 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.24541#3G6W |
| Gaussian-copula score vector | 1YC7NJW49N | 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.29658#UOSD |
| Gaussian-Gaussian conjugate pair with known variance | P725VYM8QE | 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.19573#HWLQ |
| Gaussian-subcritical heat representation | WK1ZS43NMR | 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.05204#OM5Q |
| Gaussian-tail bounds for the selected radii | KN8ZPAB87J | 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.05333#9VCU |
| Gaussification and Gaussian channels | 7F32CDN8JY | 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.22308#GSN1 |
| Gauss–Bonnet theorem | 8WFJ1Y0AZV | statement | open | mathlib_1000 Q742833, Wikidata Q742833, thousand_plus Q742833, Wikipedia Gauss–Bonnet theorem, MathWorld Gauss-BonnetFormula |
| Gauss–Codazzi equations | N8TFWEFMRZ | concept | open | Wikidata Q3589432, MathWorld Peterson-Mainardi-CodazziEquations |
| Gauss–Hermite quadrature | QZR426XRC8 | concept | open | Wikidata Q5527850, MathWorld Hermite-GaussQuadrature |
| Gauss–Kuzmin distribution | Z3356V92PB | unknown | open | Wikidata Q3258320, MathWorld Gauss-KuzminDistribution |
| Gauss–Kuzmin–Wirsing operator | M45SYGDPR2 | concept | open | Wikidata Q3354602, MathWorld Gauss-Kuzmin-WirsingConstant |
| Gauss–Legendre algorithm | TZ802G11KY | unknown | open | Wikidata Q2448949, MathWorld PiFormulas |
| Gauss–Lucas theorem | D1MSBF2TSD | statement | open | mathlib_1000 Q1008566, Mathlib Polynomial.rootSet_derivative_subset_convexHull_rootSet, Mathlib Polynomial.eq_centerMass_of_eval_derivative_eq_zero, Wikidata Q1008566, thousand_plus Q1008566, Wikipedia Gauss–Lucas theorem, MathWorld LucasGaussTheorem |
| Gauss–Markov theorem | SXX41J2XKN | statement | open | mathlib_1000 Q428134, Wikidata Q428134, thousand_plus Q428134, Wikipedia Gauss–Markov theorem |
| Gauss–Seidel method | G41GP4NZCP | unknown | open | Wikidata Q1069090, MathWorld Gauss-SeidelMethod |
| Gauss–Wantzel theorem | 4HP6Y7ZDMV | statement | open | mathlib_1000 Q268132, Wikidata Q268132, thousand_plus Q268132, Wikipedia Gauss–Wantzel theorem |
| Gauss’s pivot | 8MF1A7RAMY | unknown | open | mathlib_undergrad Numerical Analysis > Solving systems of linear inequalities > Gauss’s pivot |
| Gau{\ss}--Legendre | W6GQTNZ11X | 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 2503.19729#C0X8 |
| GAV05BKGR1 | GAV05BKGR1 | 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.28009#QG5H |
| GAV5E8WQAH | GAV5E8WQAH | 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 2503.19729#7EIA |
| GAVDFMR0K7 | GAVDFMR0K7 | 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.09206#FTDX |
| GAVEPYRZT0 | GAVEPYRZT0 | 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.29022#3GC0 |
| GAVPZTEBFA | GAVPZTEBFA | 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.38014#ABIF |
| GAVY1NY3BK | GAVY1NY3BK | definition | open | open_logic content/first-order-logic/syntax-and-semantics/substitution.tex#defn-2 |
| GAW2KVDHST | GAW2KVDHST | 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#EPHT |
| GAW7CXGCS0 | GAW7CXGCS0 | 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.18016#BN3M |
| GAWX1F9VVA | GAWX1F9VVA | example | open | lebl_scv scv.tex#example:bergmankerneldisc |
| GAXBNABYMX | GAXBNABYMX | 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.12543#CXIS |
| GAXET4N0NX | GAXET4N0NX | 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.14267#OM5X |
| GAXH4EBGK6 | GAXH4EBGK6 | 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.28669#42LV |
| GAYA7FJ044 | GAYA7FJ044 | 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 2607.27272#EI09 |
| GAYHY35RNT | GAYHY35RNT | 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 2610.16475#05SS |
| GAYSKP0FJE | GAYSKP0FJE | 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 2606.02312#B7I7 |
| GAZ52FDQZE | GAZ52FDQZE | 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.08791#AM5R |
| GAZDXQZKQP | GAZDXQZKQP | 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.33162#KAR5 |
| GAZX26W9K6 | GAZX26W9K6 | 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.15403#4QWI, arXiv 2610.04833#V7XT |
| GB0R9HKPD2 | GB0R9HKPD2 | 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.28076#W118 |
| GB0RA87TA4 | GB0RA87TA4 | 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.04694#LXDY |
| GB0S6ZGS2J | GB0S6ZGS2J | 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.11047#HOOU |
| GB19SJW803 | GB19SJW803 | 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.10928#2YXV |
| GB1EW547EV | GB1EW547EV | 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.21935#PT4C |
| GB1GPGENBY | GB1GPGENBY | 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.04000#KVR6 |
| GB1GYX824E | GB1GYX824E | 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.10804#D4YQ |