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 3701–3800 of 4385.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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ö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 | statement | open | Wikidata Q1551631, EoM Gröbner_basis, MathWorld GroebnerBasis, ProofWiki Gröbner_Basis |
| 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ötzsch graph | 30ZXAQ0BYB | unknown | open | Wikidata Q3115494, House of Graphs 1132, MathWorld GroetzschGraph |
| Grötzsch's theorem | J50M82P7X1 | statement | open | mathlib_1000 Q5612871, Wikidata Q5612871, thousand_plus Q5612871, Wikipedia Grötzsch's theorem |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| GSCF6RJPV9 | GSCF6RJPV9 | 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.19260#GOD0 |
| GSCMGWS2MZ | GSCMGWS2MZ | 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.11969#7X52 |
| GSE2F52ZY5 | GSE2F52ZY5 | 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#FCHM |
| GSEKK600ZB | GSEKK600ZB | 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#C8B0 |
| GSF5YEQ1RQ | GSF5YEQ1RQ | 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.11301#KGXC |
| GSG2X56D7W | GSG2X56D7W | example | open | lebl_scv scv.tex#example-5 |
| GSGBAX056R | GSGBAX056R | 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.29489#DO5A |
| GSGEPJQ041 | GSGEPJQ041 | 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.37026#7CIG |
| GSGM82MKSG | GSGM82MKSG | 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 2504.07573#CIKO |
| GSGVPDJH1R | GSGVPDJH1R | 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 2211.13105#8753 |
| GSGWMP00FC | GSGWMP00FC | 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#UA8W |
| GSGZ9S56CK | GSGZ9S56CK | exercise | open | hott_book hlevels.tex#ex:connectivity-inductively |
| GSH6SYPC59 | GSH6SYPC59 | 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.37208#N5BK |
| GSK7NS9A1P | GSK7NS9A1P | example | open | lebl_diffyqs ch-first-order-ode.tex#example-20 |
| GSK8HBSQTA | GSK8HBSQTA | 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.33278#63JX |
| GSKJ7M8N8P | GSKJ7M8N8P | 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.16381#NZSP |
| GSKJB157BF | GSKJB157BF | 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.07401#LTQ3 |
| GSM2020TD5 | GSM2020TD5 | 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.27516#YAFW |
| GSMFVHZWPY | GSMFVHZWPY | 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.28011#JGZV |
| GSMMAQWB5G | GSMMAQWB5G | exercise | open | lebl_scv scv.tex#exercise-161 |
| GSMMF33JXN | GSMMF33JXN | 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.07608#R31Y |
| GSMMZ1JKEN | GSMMZ1JKEN | 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.18544#E8JS |
| GSMP9314ZD | GSMP9314ZD | 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 2004.12552#AR9U |
| GSMQM74822 | GSMQM74822 | 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#LQE5 |
| GSND1ZMBT4 | GSND1ZMBT4 | 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.11210#HECC |
| GSNVENTTSD | GSNVENTTSD | 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.01247#C612 |
| GSO projection | PWA8X9S89A | unknown | open | Wikidata Q611375, nLab GSO projection |
| GSPR9GKF41 | GSPR9GKF41 | definition | open | napkin tex/alg-NT/artin.tex#definition-3 |
| GSPSM1VZKS | GSPSM1VZKS | 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.15935#YQ4S |
| GSPZ8CPWNA | GSPZ8CPWNA | 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.00135#QIJO |
| GSRXQBZQG7 | GSRXQBZQG7 | 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.13745#ESDN |
| GSS01ZRMYG | GSS01ZRMYG | 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 2305.10202#SF2D |
| GSSCWABA20 | GSSCWABA20 | 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 2406.06762#OU5Z |
| GSSWXWM9AT | GSSWXWM9AT | 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.25129#42K1 |
| GSSXZXSJ5B | GSSXZXSJ5B | 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.14050#IRNN |
| GST6M34F9P | GST6M34F9P | 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.06899#QB25 |
| GSTHNCY9X8 | GSTHNCY9X8 | 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.25656#M9J8 |
| GSTZ925HE7 | GSTZ925HE7 | 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.40290#WB7H |
| GSVCVMCKXJ | GSVCVMCKXJ | 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.00358#D6QE |
| GSW0DSD8KH | GSW0DSD8KH | 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.10452#Z7VQ |
| GSWNSSH2WE | GSWNSSH2WE | exercise | open | ernst_ibl MAAPressVersion/Counting.tex#exercise-11 |
| GSWQD9N68J | GSWQD9N68J | 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.10813#TK6Y |
| GSX9HGJW62 | GSX9HGJW62 | 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.18562#VC85 |
| GSXBB848KB | GSXBB848KB | 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.08050#D13N |
| GSXE2JV551 | GSXE2JV551 | 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.29227#E3SS |
| GSXFMV17SW | GSXFMV17SW | 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.10243#5YGD |
| GSXGNMGCHC | GSXGNMGCHC | 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.01803#74G5 |
| GSXKMQZVD4 | GSXKMQZVD4 | 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.04874#I8TL |
| GSY5DAABY4 | GSY5DAABY4 | 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.21092#9CCX |
| GSYKPJRVBN | GSYKPJRVBN | 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.19669#OBY2 |
| GSZFHSE9V0 | GSZFHSE9V0 | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-47 |
| GSZR78HMNQ | GSZR78HMNQ | 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.14458#GO1Z |
| GSZT3QTE1B | GSZT3QTE1B | exercise | open | napkin tex/linalg/vector-space.tex#prob:equal_dimension |
| GSZT4JJJ1T | GSZT4JJJ1T | 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 2302.04566#DCKN |
| GT0F10C686 | GT0F10C686 | 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.14455#VJWF |
| GT0PD7JEHR | GT0PD7JEHR | 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.15472#N4LS |
| GT0SBMRZ0J | GT0SBMRZ0J | 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 1002.0879#HL1L |
| GT0TWXJKQE | GT0TWXJKQE | 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#KAG6 |