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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 8201–8300 of 9280.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Grunewald--Jaikin-Zapirain--Pinto--Zalesskii | B31GBDGZHF | 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.20915#UMXO |
| Grunsky inequality | PV85470JAE | 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.20675#SEEI |
| Grunsky matrix | SYZMN5SK4Y | definition | open | Wikipedia Grunsky matrix, Wikidata Q5612135 |
| Grunsky's inequalities | 18KEFWZ7SE | statement | open | Wikipedia List of inequalities#PFJZ |
| Grunsky's theorem | 6Z5PG94XBG | statement | open | Wikipedia List of theorems#PTBV |
| Grunsky's theorem | BZ4S4DFSPH | statement | open | mathlib_1000 Q5612131, Wikidata Q5612131, thousand_plus Q5612131, Wikipedia Grunsky's theorem |
| Grunwald–Wang theorem | 3B66F3CC5E | statement | open | mathlib_1000 Q5612159, Wikidata Q5612159, thousand_plus Q5612159, Wikipedia Grunwald–Wang theorem |
| Grunwald–Wang theorem | JHPETF1YWJ | statement | open | Wikipedia List of theorems#APWH |
| Grunwald–Wang theorem | TNPRGZHDRG | statement | open | Wikipedia List of incomplete proofs#TPB7 |
| Grunwald–Winstein equation | Z9QWXTS6V8 | definition | open | Wikipedia Grunwald–Winstein equation, Wikidata Q5612160 |
| Grushin space $G_2^\alpha$ | CP042JC0MQ | 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.25801#6Z59 |
| Grushko decomposition theorem | H6AM49KD42 | statement | open | Wikipedia Grushko theorem#FD4K |
| Grushko theorem | D1SG6MY401 | statement | open | mathlib_1000 Q17019684, Wikidata Q17019684, thousand_plus Q17019684, Wikipedia Grushko theorem |
| Grushko theorem | ZGQ83M0FJC | statement | open | Wikipedia List of theorems#HOV4 |
| GRV05J483Y | GRV05J483Y | 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.01912#87S0 |
| GRVCGSF424 | GRVCGSF424 | 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.28993#T6HF |
| GRVDE6QX85 | GRVDE6QX85 | 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.17691#KBES |
| GRVRCD2EVA | GRVRCD2EVA | 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 2605.16669#V0CL |
| GRWFE4D9RB | GRWFE4D9RB | statement | open | ernst_ibl MAAPressVersion/TasteNumberTheory.tex#thm:divides negative |
| GRWHANBSTG | GRWHANBSTG | 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#U0G0 |
| GRWK3WWAZQ | GRWK3WWAZQ | 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.00877#4869 |
| GRWS9WHVG8 | GRWS9WHVG8 | 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#2PD6 |
| GRX9ZAJ184 | GRX9ZAJ184 | 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.17240#YIPN |
| GRXCRWDFZB | GRXCRWDFZB | 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 1903.07030#4QWG |
| GRYF0PF5QK | GRYF0PF5QK | 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.06529#MARQ |
| GRYGWXWMR6 | GRYGWXWMR6 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-69 |
| GRYNNANMD7 | GRYNNANMD7 | 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.10558#XIU6 |
| Grytczuk--Pawlik--Ruci\'nski , Lemma 1 | SPEHTK42C0 | 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.07828#ZJNM |
| GRYXJ5ZGWV | GRYXJ5ZGWV | 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.20344#GJ8C |
| GRZB2BJ710 | GRZB2BJ710 | 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 2404.13734#CBTE |
| Grzegorczyk hierarchy | 43D9TTF81V | definition | open | Wikipedia Grzegorczyk hierarchy, Wikidata Q5612503 |
| Grzegorz Rempala | 1B5WK3BC4S | topic | open | Wikipedia Grzegorz Rempala, Wikidata Q29646721 |
| Grzegorz Rozenberg | 4X0XWQAK15 | unknown | open | Wikipedia List of people by Erdős number#FPLH, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GEJH |
| Grzegorz Świątek | 7P46QCHJQF | topic | open | Wikipedia Grzegorz Świątek, Wikidata Q102205671 |
| GRZK9DQVTQ | GRZK9DQVTQ | 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.02870#GI1L |
| GRZWFN0XPF | GRZWFN0XPF | 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.11596#WFD3 |
| Grégoire de Saint-Vincent | ZY4HG2JD4D | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1394819, ProofWiki Mathematician:Grégoire_de_Saint-Vincent |
| Grégory Miermont | BWJ6RXS92N | topic | open | Wikipedia Grégory Miermont, Wikidata Q1551559 |
| Gröbner Basis | 8GD8R46V2Y | 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.12489#H2DM |
| Gröbner basis | C31MCHFARD | definition | open | Wikidata Q1551631, EoM Gröbner_basis, MathWorld GroebnerBasis, ProofWiki Gröbner_Basis, Wikipedia Gröbner basis |
| Gröbner basis | J5XK1NJJ7C | definition | open | Wikipedia Glossary of invariant theory#4TRG |
| Gröbner basis | TK2DXVESRB | definition | open | Wikipedia Glossary of commutative algebra#7IEK |
| Gröbner basis | ZSKQMQKZMV | definition | open | Wikipedia List of commutative algebra topics#IZYI |
| Grönwall lemma | R9WS3VGSYW | unknown | open | mathlib_undergrad Multivariable calculus > Differential equations > Grönwall lemma, Mathlib norm_le_gronwallBound_of_norm_deriv_right_le |
| Grönwall's area theorem | RRR27TNBEA | statement | open | Wikipedia Koebe quarter theorem#0N96 |
| Grönwall's inequality | FKRC810VRN | statement | open | Wikipedia List of inequalities#XEKR |
| Grönwall's inequality | X4EB2YGARW | statement | open | Wikipedia Grönwall's inequality, Wikidata Q510733 |
| Grönwall's lemma | MDJK8TH7SB | statement | open | Wikipedia List of lemmas#E94I |
| Grötzsch | BC9BT4BZDS | definition | open | Wikipedia Glossary of graph theory#5EMV |
| Grötzsch graph | 30ZXAQ0BYB | definition | open | Wikidata Q3115494, House of Graphs 1132, MathWorld GroetzschGraph, Wikipedia Grötzsch graph |
| Grötzsch's theorem | J50M82P7X1 | statement | open | mathlib_1000 Q5612871, Wikidata Q5612871, thousand_plus Q5612871, Wikipedia Grötzsch's theorem |
| Grötzsch's theorem | ZKEHBXJDB6 | statement | open | Wikipedia List of theorems#T7UZ |
| Grøstl | 3FXQ898T78 | definition | open | Wikipedia Grøstl, Wikidata Q1551743 |
| Grün's lemma | NNR3G70M9Y | statement | open | Wikipedia Perfect group#QHK9 |
| Grünbaum's conjecture, solved by Ackerman et al. | WHHXEYF60R | 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.06300#N9T1 |
| Grünbaum-Dress polyhedron | MZBG4J3MQF | unknown | open | Wikipedia Regular skew apeirohedron#QKXG |
| Grünbaum–Nash-Williams conjecture | KADA6JY1CQ | conjecture | open | Wikipedia List of unsolved problems in mathematics#LZC8 |
| Grünbaum–Nash-Williams conjecture | ZNQ6SYS1DR | conjecture | open | Wikipedia Grünbaum–Nash-Williams conjecture, Wikidata Q135397353 |
| Grünbaum–Rigby configuration | 846KW7JAF0 | definition | open | Wikipedia Grünbaum–Rigby configuration, Wikidata Q63993355 |
| Grünwald–Letnikov derivative | 4NEBXXEMVX | definition | open | Wikipedia Grünwald–Letnikov derivative, Wikidata Q4162531 |
| GS0TWXGEWE | GS0TWXGEWE | proof | open | open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#proof-1 |
| GS0VQQN6ZN | GS0VQQN6ZN | 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.05471#JN8L |
| GS103YQ12C | GS103YQ12C | 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.24001#VKY2 |
| GS17HZSQP4 | GS17HZSQP4 | exercise | open | open_logic content/incompleteness/arithmetization-syntax/proofs-in-ax.tex#prob-1 |
| GS1A0231P4 | GS1A0231P4 | 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#6WVW |
| GS1EFBAABS | GS1EFBAABS | 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.03661#670E |
| GS1HJQHEKZ | GS1HJQHEKZ | 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 2405.14678#CGTW |
| GS1VXR478Q | GS1VXR478Q | 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.01273#IS92 |
| GS237FX97G | GS237FX97G | 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.24795#PZM5 |
| GS2PVT50ZJ | GS2PVT50ZJ | statement | open | napkin tex/alg-geom/spec-sheaf.tex#theorem-4 |
| GS2Y5JNEDN | GS2Y5JNEDN | 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.20190#G60X |
| GS3AKDWY51 | GS3AKDWY51 | example | open | applied_combinatorics source/s_strings_comb-proof.ptx#ex_strings_comb-proof_sum-ints |
| GS3D1H0KTR | GS3D1H0KTR | 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 2110.08714#95LD |
| GS3W0RYXJD | GS3W0RYXJD | 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.21892#NVI0 |
| GS47E0NBXA | GS47E0NBXA | 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 2204.01073#KY2J |
| GS4PTEG5F1 | GS4PTEG5F1 | 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.21322#IUYK |
| GS51FRQY2M | GS51FRQY2M | 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#DGIE |
| GS5GNGACQ2 | GS5GNGACQ2 | 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 0805.4273#CMB4 |
| GS5K53FESX | GS5K53FESX | 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 2308.05066#NQSG |
| GS5SHRXCD7 | GS5SHRXCD7 | 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.16203#LSEO |
| GS6174RK11 | GS6174RK11 | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-118 |
| GS6XS4M7R5 | GS6XS4M7R5 | 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.16931#UD1C |
| GS72RJ1SZS | GS72RJ1SZS | 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/9201244#OLYT |
| GS7B78ZZA5 | GS7B78ZZA5 | 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 2501.15680#WZAB |
| GS7BRRGBDY | GS7BRRGBDY | 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 2204.01073#NLGH |
| GS7PZ9V94J | GS7PZ9V94J | 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.25062#XUK4 |
| GS7S6JTG1T | GS7S6JTG1T | 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.36113#G4RF |
| GS80DRZN56 | GS80DRZN56 | 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.23779#7DIB |
| GS86R3QHJQ | GS86R3QHJQ | 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.12731#YF2Z |
| GS92AX2XHX | GS92AX2XHX | 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 2505.05539#R5Q3 |
| GS93DA6NYF | GS93DA6NYF | 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.18324#2RMO |
| GS9YVV6N8K | GS9YVV6N8K | 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 2205.15365#0OMZ |
| GSA0RZXZNX | GSA0RZXZNX | 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 2608.24190#W4NX |
| GSA51MV5ZW | GSA51MV5ZW | 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.04870#MYFO |
| GSAC922WXQ | GSAC922WXQ | 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.20665#6D4L |
| GSATSJ58F3 | GSATSJ58F3 | 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.26922#VWJ2 |
| GSAVX15VXV | GSAVX15VXV | 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.23469#03MO |
| GSB9KH3Q4A | GSB9KH3Q4A | 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.04694#C5ZV |
| GSBDCKPVDP | GSBDCKPVDP | 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.07340#ITOB |
| GSBEZN854H | GSBEZN854H | 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.15223#Q4AZ |