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 3901–4000 of 4385.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Guaranteed goal-oriented bound | KM42GF7MPW | 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.12088#4G34 |
| Guaranteed upper bound | T6F1H9MSWZ | 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.12088#ZAE5 |
| Guarded coordinates of arbitrary terms | TJ9PZGKQ6R | 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.27641#39M9 |
| Guarded identity | H915BC4EES | 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.27641#NAR5 |
| Guarded lifting through arbitrary contexts | EXHMQ1CDC3 | 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.27641#S68X |
| Gudermannian function | J4CXNJR373 | concept | open | Wikidata Q1328149, MathWorld Gudermannian, MathWorld GudermannianFunction |
| Guerra's bound for fractional moments | 6RRGJHV95V | 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#JI94 |
| Guerra's bound for fractional moments | Z39NS39XHF | 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.06490#76E8 |
| Guidance rate | NKF6FH00RY | 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.39531#TMG3 |
| Guifré Vidal | TB17YKFJ2K | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q5615682, nLab Guifre Vidal |
| guilloche | WHWFHKYZ4M | unknown | open | Wikidata Q55416098, MathWorld GuillochePattern |
| Gundy--Varopoulos representation on the upper half space | GD2NR2YE99 | 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.39919#IV3V |
| Gunter's chain | VT9N7NHHR0 | definition | open | Wikidata Q2961801, ProofWiki Definition:Gunter's_Chain |
| Guo Chuan Thiang | RQYXBTMQGD | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q62606853, nLab Guo Chuan Thiang |
| Guo--Jian--Shi--Song | 96VK9AC6RK | 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.21934#4FQ0 |
| Guo--Phong--Song--Sturm | KSYS32EJA0 | 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.21934#I1IZ |
| Guo--Wang--Wang 2025 | ZH0Q4XGSQB | 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#SG25 |
| Guo-Phong | MN45R0591F | 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.39726#5R23 |
| Guralnick | XN9NJG8QHA | 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.13464#IPRN |
| Guralnick--Malmskog--Pries | G1C811S9MP | 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.33185#E6WP |
| Guralnick--Tiep | ECTEETWAX1 | 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.04099#TJLX |
| Gurvits | VWC12FBF4M | 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.29262#SPNR |
| Gustave Choquet | M7RGSJAEPV | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q476198, ProofWiki Mathematician:Gustave_Alfred_Arthur_Choquet |
| GV07W9DPJ6 | GV07W9DPJ6 | 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 2608.24190#3EGD |
| GV0M6QB0ZR | GV0M6QB0ZR | 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.39103#W01P |
| GV0QVBWKE3 | GV0QVBWKE3 | 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.30203#NIFX |
| GV0V92WCP3 | GV0V92WCP3 | 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 2101.07846#PVBA |
| GV0ZW4ZWP0 | GV0ZW4ZWP0 | 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 2502.16151#MI9S |
| GV2BDM526F | GV2BDM526F | 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 2212.06621#53ND |
| GV3JGS8F83 | GV3JGS8F83 | 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.00856#1WX0 |
| GV3TZ04XE4 | GV3TZ04XE4 | 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#FGZF |
| GV4D0H72J9 | GV4D0H72J9 | 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.33512#Z7IG |
| GV4FZQF16C | GV4FZQF16C | 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 0910.5574#K7RE |
| GV4HMRVCYA | GV4HMRVCYA | 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.07164#JD21 |
| GV4Q3YN391 | GV4Q3YN391 | 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.03612#S99S |
| GV4V9KTHR5 | GV4V9KTHR5 | 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 1407.0548#WFU6 |
| GV5G2BK01J | GV5G2BK01J | 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.04772#XF9M |
| GV5YCFKHKP | GV5YCFKHKP | 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.13585#0Y6U |
| GV6DYXMFGR | GV6DYXMFGR | example | open | levin_dmoi ptx/sec_logic-proofs.ptx#example-8 |
| GV6QCCG1QC | GV6QCCG1QC | 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 1004.4564#VA95 |
| GV737ZAVFS | GV737ZAVFS | 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 2601.15010#JHBK |
| GV79BNC8NQ | GV79BNC8NQ | 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 2207.07461#30U7 |
| GV7AWYXQZ4 | GV7AWYXQZ4 | 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.11652#L7VP |
| GV7ESPQAF8 | GV7ESPQAF8 | 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.20849#K25P |
| GV7PTFZFXK | GV7PTFZFXK | 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.09945#MDCT |
| GV831RFGCH | GV831RFGCH | 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.03086#OF1F |
| GV91XDD38W | GV91XDD38W | 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.25973#MBVP |
| GV95GR8SDH | GV95GR8SDH | 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.03756#FF7B |
| GVA3AGK9XY | GVA3AGK9XY | 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.05320#7Z9Q |
| GVAE89RPE6 | GVAE89RPE6 | 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 0809.0068#IL5H |
| GVAEC53CR2 | GVAEC53CR2 | 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.36181#X6I1 |
| GVB1XM5KE5 | GVB1XM5KE5 | 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.00786#L7K9 |
| GVB7EAJ1D1 | GVB7EAJ1D1 | exercise | open | open_logic content/computability/recursive-functions/notation-pr-functions.tex#prob-1 |
| GVBC4VPBH4 | GVBC4VPBH4 | 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.13864#RXGX |
| GVBH4XKY75 | GVBH4XKY75 | 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.28141#9610 |
| GVBHSAWN0J | GVBHSAWN0J | 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.04503#WUMK |
| GVC24N8KCJ | GVC24N8KCJ | 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.03559#BUQ7 |
| GVCE3WG0HR | GVCE3WG0HR | 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.29158#IYWB |
| GVCXZ9RABP | GVCXZ9RABP | 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.37593#G1NC |
| GVD95CRBSW | GVD95CRBSW | exercise | open | napkin tex/calculus/p-adic.tex#exercise-1 |
| GVDDECGQY0 | GVDDECGQY0 | 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#I1TU |
| GVDQB5XB0J | GVDQB5XB0J | 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.16875#DIQX |
| GVE8GQ631Q | GVE8GQ631Q | 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 2411.16022#X080 |
| GVEBEHQJK8 | GVEBEHQJK8 | 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.05299#NRCR |
| GVFHDQ90AY | GVFHDQ90AY | 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.09735#2U4A |
| GVGAT89P68 | GVGAT89P68 | statement | open | open_logic content/computability/computability-theory/equiv-ce-defs.tex#thm:exists-char |
| GVH58NDWG0 | GVH58NDWG0 | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-26 |
| GVH5NJGPCG | GVH5NJGPCG | statement | open | lebl_ra ch-one-dim-ints-sv.tex#prop-1 |
| GVHED52Q7B | GVHED52Q7B | 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.16779#GADZ |
| GVJBHKHJ5Z | GVJBHKHJ5Z | 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 2008.10035#OCG4 |
| GVJBXV84H7 | GVJBXV84H7 | 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.01276#JCLF |
| GVJKX9NJ7X | GVJKX9NJ7X | 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#707T |
| GVJNP1Y5PD | GVJNP1Y5PD | 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.17817#IBMG |
| GVJXJRD3Z9 | GVJXJRD3Z9 | 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.28650#6VH9 |
| GVKE4Z7197 | GVKE4Z7197 | 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.15877#XVGD |
| GVKGYFR246 | GVKGYFR246 | exercise | open | lebl_diffyqs ch-first-order-ode.tex#exercise-88 |
| GVMG7WW3H2 | GVMG7WW3H2 | 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.19854#JN9K |
| GVMQ9Y2H1X | GVMQ9Y2H1X | 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#ZA11 |
| GVMYWRBD5Z | GVMYWRBD5Z | 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 2102.09374#34LO |
| GVMZMXAR50 | GVMZMXAR50 | 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.17411#8EP7 |
| GVN4JFCWN2 | GVN4JFCWN2 | 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.10233#1G62 |
| GVN8W09TAR | GVN8W09TAR | 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.12295#SK0X |
| GVNC93AFGM | GVNC93AFGM | 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#W8S4 |
| GVNHJF7E3J | GVNHJF7E3J | 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 2508.21045#PW0S |
| GVNJ5TWXBQ | GVNJ5TWXBQ | 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.20368#EKK1 |
| GVNSH53G02 | GVNSH53G02 | 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.01433#57XF |
| GVP4JH70VR | GVP4JH70VR | 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.25960#F8X1 |
| GVPADZJ9PS | GVPADZJ9PS | 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.18152#XUA0 |
| GVQ8EKRQ4E | GVQ8EKRQ4E | 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.00657#8302 |
| GVQHAH8ZTV | GVQHAH8ZTV | 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.26600#4NKY |
| GVQPFE15AR | GVQPFE15AR | 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.18223#1QYZ |
| GVQPJWYM61 | GVQPJWYM61 | 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.36321#5GQE |
| GVQT5JCBQD | GVQT5JCBQD | 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.18673#PYFK |
| GVR4M0GWQT | GVR4M0GWQT | 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.00875#FFO3 |
| GVR7922JQK | GVR7922JQK | 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 2211.04758#49MY |
| GVR9JHE5S0 | GVR9JHE5S0 | example | open | lebl_diffyqs ch-fourier-and-pde.tex#example-17 |
| GVS20NMW3F | GVS20NMW3F | 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.05056#7GEU |
| GVS5Q0X71S | GVS5Q0X71S | 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 1804.05688#AGKX |
| GVS8G0MZ5P | GVS8G0MZ5P | 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.20466#XXC5 |
| GVSD0S0A1Z | GVSD0S0A1Z | 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 2208.05288#5TME |