Inventory rows G3
The cards of the rows of the inventory whose ids start with G3. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
G3022REP7Y G3022REP7Y
| URI | m2://inv/G3022REP7Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20385#JKZ1 (statement). In 54HS9AHWPE/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.2
N-slit interferometric equation G3063KC0CD
| URI | m2://inv/G3063KC0CD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-slit interferometric equation, N-slit interferometric equation (definition). Also Wikidata Q6951506
History
- 2026-11-02: add by m2/dev
Definition and properties G3070Z8WTN
| URI | m2://inv/G3070Z8WTN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Branching quantifier#V1S8, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
ML decoding G30C75ZF0F
| URI | m2://inv/G30C75ZF0F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decoding methods#9P4H, ML decoding (unknown)
History
- 2026-11-02: add by m2/dev
Non-malleable affine extractors for jointly affine inputs G30FN81AN3
| URI | m2://inv/G30FN81AN3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#P4C4, Non-malleable affine extractors for jointly affine inputs (statement). In ZZER8ZBSCR/e1, theorem 3.14
History
- 2026-10-29: add by m2/v0.4.12
G30GJNB678 G30GJNB678
| URI | m2://inv/G30GJNB678 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.20229#2VJ9 (statement). In 1B85G2QJC2/e1, lemma 8.4
History
- 2026-10-27: add by m2/v0.3.6
G30MV1ST2Z G30MV1ST2Z
| URI | m2://inv/G30MV1ST2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04069#1XMR (statement). In ZA7WXGZYWC/e1, proposition 2.13
History
- 2026-10-29: add by m2/v0.4.12
G30QY6V2WG G30QY6V2WG
| URI | m2://inv/G30QY6V2WG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27646#5PHC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Niels Erik Norlund G30TCJZBHB
| URI | m2://inv/G30TCJZBHB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UH0T, Niels Erik Norlund (topic)
History
- 2026-11-02: add by m2/dev
Fox n-coloring G30VHB67NN
| URI | m2://inv/G30VHB67NN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#KWI8, Fox n-coloring (definition)
History
- 2026-11-02: add by m2/dev
G30YEZ6D42 G30YEZ6D42
| URI | m2://inv/G30YEZ6D42 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21255#RMUB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Torsten Carleman G3196693XF
| URI | m2://inv/G3196693XF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PCEP, Torsten Carleman (topic)
History
- 2026-11-02: add by m2/dev
The Boundary Layer G319FMWMM9
| URI | m2://inv/G319FMWMM9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#JMJY, The Boundary Layer (statement). In Z6WA2R0J50/e1, lemma E.1
History
- 2026-10-28: add by m2/v0.4.2
G31D5C50AS G31D5C50AS
| URI | m2://inv/G31D5C50AS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.26376#059T (definition). In PJAT9YDX7Y/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
G31DDZZ2BX G31DDZZ2BX
| URI | m2://inv/G31DDZZ2BX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#KZT3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Extradimensional G31G4S5HYH
| URI | m2://inv/G31G4S5HYH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension#VVTN, Extradimensional (unknown)
History
- 2026-11-02: add by m2/dev
Formal definitions G31G9WFX6N
| URI | m2://inv/G31G9WFX6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strategyproofness#D1P8, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Global relative reflection/preservation of smallness G31GFRGZ0M
| URI | m2://inv/G31GFRGZ0M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#BXYP, Global relative reflection/preservation of smallness (statement). In HX63A1PH1W/e1, proposition 5.24
History
- 2026-10-28: add by m2/v0.4.3
Chaotic attractor G31H57WPYC
| URI | m2://inv/G31H57WPYC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Attractor#JVH1, Chaotic attractor (unknown)
History
- 2026-11-02: add by m2/dev
G31J5CX4HG G31J5CX4HG
| URI | m2://inv/G31J5CX4HG |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-28: add by m2/v0.4.2
G31ZTN1NQB G31ZTN1NQB
| URI | m2://inv/G31ZTN1NQB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28143#IHWR (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition G325KQ2AEB
| URI | m2://inv/G325KQ2AEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straight-line program#RQK8, Definition (definition)
History
- 2026-11-02: add by m2/dev
G327036Z9H G327036Z9H
| URI | m2://inv/G327036Z9H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21739#HMVG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties G32EM7CRFC
| URI | m2://inv/G32EM7CRFC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisor function#685V, Properties (statement)
History
- 2026-11-02: add by m2/dev
Sequence G32JAN29AW
| URI | m2://inv/G32JAN29AW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#Q4HB, Sequence (definition)
History
- 2026-11-02: add by m2/dev
Paul of Venice G32NWJNMYW
| URI | m2://inv/G32NWJNMYW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul of Venice, Paul of Venice (topic). Also Wikidata Q2064265
History
- 2026-11-02: add by m2/dev
homomorphism G32P03NRB6
| URI | m2://inv/G32P03NRB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#R3XF, homomorphism (definition)
History
- 2026-11-02: add by m2/dev
G32RRHY74J G32RRHY74J
| URI | m2://inv/G32RRHY74J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11395#NZ18 (statement). In T3W7SMWQ73/e1, theorem 12
History
- 2026-10-28: add by m2/v0.4.3
Arg min G32SZQB00K
| URI | m2://inv/G32SZQB00K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arg max#G1XQ, Arg min (unknown)
History
- 2026-11-02: add by m2/dev
George Pirie G32WR46VHX
| URI | m2://inv/G32WR46VHX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Pirie (mathematician), George Pirie (topic). Also Wikidata Q68170681
History
- 2026-11-02: add by m2/dev
Node influence metric G331Q54PH0
| URI | m2://inv/G331Q54PH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Node influence metric, Node influence metric (definition). Also Wikidata Q25303676
History
- 2026-11-02: add by m2/dev
Richard Meyer G339M7B15W
| URI | m2://inv/G339M7B15W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#JKL3, Richard Meyer (topic)
History
- 2026-11-02: add by m2/dev
G346V24NB2 G346V24NB2
| URI | m2://inv/G346V24NB2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_exercises.ptx#exercise-9 (exercise). In QKM9DD2H56, exercise, section 6
History
- 2026-11-01: add by m2/v0.6.13
G34DT62SWP G34DT62SWP
| URI | m2://inv/G34DT62SWP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#G8L4 (example)
History
- 2026-11-02: add by m2/v0.6.18
Bondy–Chvátal theorem G34HV4TWEV
| URI | m2://inv/G34HV4TWEV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian path#HUD2, Bondy–Chvátal theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples G34TJF3GVS
| URI | m2://inv/G34TJF3GVS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basis function#MWNS, Examples (example)
History
- 2026-11-02: add by m2/dev
Implementations G354DMZD76
| URI | m2://inv/G354DMZD76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superposition calculus#8NYN, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Darcy's law for short time scales G3592MW6P5
| URI | m2://inv/G3592MW6P5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darcy's law#F62V, Darcy's law for short time scales (statement)
History
- 2026-11-02: add by m2/dev
G35DRAWEBD G35DRAWEBD
| URI | m2://inv/G35DRAWEBD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.08018#CPAQ (statement). In TN93YFN45W/e1, lemma 3.15
History
- 2026-10-27: add by m2/v0.4.0
An example G35GX2YW44
| URI | m2://inv/G35GX2YW44 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphical game theory#HP93, An example (example)
History
- 2026-11-02: add by m2/dev
Vertex splitting G35KFJTGXF
| URI | m2://inv/G35KFJTGXF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edge contraction#W2RM, Vertex splitting (unknown)
History
- 2026-11-02: add by m2/dev
Example G35RVG8M55
| URI | m2://inv/G35RVG8M55 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical matrix#IUCU, Example (example)
History
- 2026-11-02: add by m2/dev
circle inversion G35XTEFBM0
| URI | m2://inv/G35XTEFBM0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20973027, circle inversion (unknown). Also MathWorld Inversion
- wikidata: Wikidata Q512397, inversion (unknown). Also MathWorld Inversion
History
- 2026-10-26: add by m2/dev
Gregory coefficients G363SVWAE0
| URI | m2://inv/G363SVWAE0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gregory coefficients, Gregory coefficients (definition). Also Wikidata Q25305412
History
- 2026-11-02: add by m2/dev
The reiteration theorem G366CSHZNC
| URI | m2://inv/G366CSHZNC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpolation space#VPFK, The reiteration theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples G3688MYM83
| URI | m2://inv/G3688MYM83 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moment generating function#VCYP, Examples (example)
History
- 2026-11-02: add by m2/dev
G36CSPA35T G36CSPA35T
| URI | m2://inv/G36CSPA35T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19959#VDGW (statement)
History
- 2026-11-02: add by m2/v0.6.18
G36F73BFPY G36F73BFPY
| URI | m2://inv/G36F73BFPY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29943#DL50 (statement)
History
- 2026-11-01: add by m2/v0.6.15
component G36NFXSQJH
| URI | m2://inv/G36NFXSQJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#P2KL, component (definition)
History
- 2026-11-02: add by m2/dev
Symmetric Boolean function G36PN0078R
| URI | m2://inv/G36PN0078R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric Boolean function, Symmetric Boolean function (definition). Also Wikidata Q2343145
History
- 2026-11-02: add by m2/dev
Ching-Li Chai G36SWYF9JM
| URI | m2://inv/G36SWYF9JM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0SVU, Ching-Li Chai (unknown)
History
- 2026-11-02: add by m2/dev
Wilf equivalence G372P51KG4
| URI | m2://inv/G372P51KG4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q48995837, Wilf equivalence (concept). Also MathWorld WilfEquivalent
- wikipedia: Wikipedia Wilf equivalence, Wilf equivalence (definition). Also Wikidata Q48995837
History
- 2026-10-26: add by m2/dev
G379VNYSNR G379VNYSNR
| URI | m2://inv/G379VNYSNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01669#78KK (statement). In 41AVNP6DJ9/e1, lemma A.4
History
- 2026-10-29: add by m2/v0.4.12
Bimatrix game G37QH5HBW8
| URI | m2://inv/G37QH5HBW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bimatrix game, Bimatrix game (definition). Also Wikidata Q3640076
History
- 2026-11-02: add by m2/dev
Normal form of a scenario G37V3WE79W
| URI | m2://inv/G37V3WE79W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20478#TKX0, Normal form of a scenario (statement)
History
- 2026-11-02: add by m2/v0.6.18
Egg balancing G37XEPV9B9
| URI | m2://inv/G37XEPV9B9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#78KM, Egg balancing (unknown)
History
- 2026-11-02: add by m2/dev
Second moment in short intervals G37Z57PCE9
| URI | m2://inv/G37Z57PCE9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11487#MQOA, Second moment in short intervals (statement). In 8S0K3Y25HM/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.3
G37ZQGHPXW G37ZQGHPXW
| URI | m2://inv/G37ZQGHPXW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#JJCL (statement). In 702AF3E4AF/e1, theorem 7.9
History
- 2026-10-30: add by m2/v0.4.12
Néron–Tate height G380SZJK9G
| URI | m2://inv/G380SZJK9G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Néron–Tate height, Néron–Tate height (definition). Also Wikidata Q7071452
History
- 2026-11-02: add by m2/dev
Screened projected-image comparison G383JG6PR1
| URI | m2://inv/G383JG6PR1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09472#UFGN, Screened projected-image comparison (statement). In 35925M9GJW/e1, theorem 8
History
- 2026-10-29: add by m2/v0.4.10
G386A8XV3E G386A8XV3E
| URI | m2://inv/G386A8XV3E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38188#L0HV (statement). In 7615KVXDB5/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
G387FXF4BJ G387FXF4BJ
| URI | m2://inv/G387FXF4BJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#0NLP (statement)
History
- 2026-11-02: add by m2/v0.6.18
cross product G38KB2PYMD
| URI | m2://inv/G38KB2PYMD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Cross product 0N5N15HWZ7 |
Mentions
- wikidata: Wikidata Q178192, cross product (unknown). Also EoM Cross_product, MathWorld CrossProduct, nLab cross product
- wikipedia: Wikipedia Cross product, Cross product (definition). Also Wikidata Q178192
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
G39C2G9CN1 G39C2G9CN1
| URI | m2://inv/G39C2G9CN1 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lehmer's totient problem#Y5YP (problem)
History
- 2026-11-02: add by m2/dev
G39DD0MQG2 G39DD0MQG2
| URI | m2://inv/G39DD0MQG2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#6HSB (example). In 9ZSNSJRJ5N/e1, example 23
History
- 2026-10-27: add by m2/v0.4.2
G39EPQ2E06 G39EPQ2E06
| URI | m2://inv/G39EPQ2E06 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/pairing-alt.tex#ex-2 (example). In PKGMM3P5QY, ex, section 83.10
History
- 2026-11-01: add by m2/v0.6.13
G39HVD1D5W G39HVD1D5W
| URI | m2://inv/G39HVD1D5W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32651#JLCB (statement). In WFJXSE3VDT/e1, lemma 2.8
History
- 2026-10-31: add by m2/v0.5.6
Commutative algebra G39HZFHF7B
| URI | m2://inv/G39HZFHF7B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#9085, Commutative algebra (topic)
History
- 2026-11-02: add by m2/dev
Riesz decomposition G39QVY2PCC
| URI | m2://inv/G39QVY2PCC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#BGEI, Riesz decomposition (definition)
History
- 2026-11-02: add by m2/dev
G3A3Z5NRQF G3A3Z5NRQF
| URI | m2://inv/G3A3Z5NRQF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18324#FBKQ (statement). In C0EG2EY0M4/e1, corollary 4.6
History
- 2026-10-28: add by m2/v0.4.2
Importance sampling G3A4X1T8BN
| URI | m2://inv/G3A4X1T8BN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Importance sampling, Importance sampling (definition). Also Wikidata Q1539564
History
- 2026-11-02: add by m2/dev
G3A8E3FQXH G3A8E3FQXH
| URI | m2://inv/G3A8E3FQXH |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16359#N8PJ (unknown). In NY1DBAW7CG/e1, unknown
History
- 2026-10-28: add by m2/v0.4.2
G3A91KVZBY G3A91KVZBY
| URI | m2://inv/G3A91KVZBY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05142#4WWP (statement). In 8A0HVCGRR8/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
Carl Friedrich Gauss G3AGT5TS1E
| URI | m2://inv/G3AGT5TS1E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6722, Carl Friedrich Gauss (unknown). Also EoM Gauss,_Carl_Friedrich, ProofWiki Mathematician:Carl_Friedrich_Gauss
- wikipedia: Wikipedia Carl Friedrich Gauss, Carl Friedrich Gauss (topic). Also Wikidata Q6722
History
- 2026-10-26: add by m2/dev
G3AH7RDG6V G3AH7RDG6V
| URI | m2://inv/G3AH7RDG6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32680#TKRN (statement). In XVJGVCZA7V/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
Hidden service G3AMPPJZ61
| URI | m2://inv/G3AMPPJZ61 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tor (network)#PETS, Hidden service (unknown)
History
- 2026-11-02: add by m2/dev
G3ARRCEGMY G3ARRCEGMY
| URI | m2://inv/G3ARRCEGMY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15535#FG2V (statement). In 73A9KWZJRD/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
G3AWDB8FZ9 G3AWDB8FZ9
| URI | m2://inv/G3AWDB8FZ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10736#4Y2I (statement). In NCYKB4QG5P/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.3
G3AWDJYFER G3AWDJYFER
| URI | m2://inv/G3AWDJYFER |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
generalized eigenvector G3AYYSBNQT
| URI | m2://inv/G3AYYSBNQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Generalised eigenvector 01H6QKWGDH |
Mentions
- wikidata: Wikidata Q970767, generalized eigenvector (unknown). Also MathWorld GeneralizedEigenvector
- wikipedia: Wikipedia Generalized eigenvector, Generalized eigenvector (definition). Also Wikidata Q970767
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
G3B877GGXX G3B877GGXX
| URI | m2://inv/G3B877GGXX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36158#ZCCI (statement). In CVGHFQ6XGW/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
G3BG57XFRA G3BG57XFRA
| URI | m2://inv/G3BG57XFRA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/dlo.tex#thm:cantorQ (statement). In PKGMM3P5QY, thm, section 46.1
History
- 2026-11-01: add by m2/v0.6.13
Winpepi G3BHDVQQHQ
| URI | m2://inv/G3BHDVQQHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#VVXQ, Winpepi (definition)
History
- 2026-11-02: add by m2/dev
sample covariance G3BKX84WFE
| URI | m2://inv/G3BKX84WFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#SID2, sample covariance (definition)
History
- 2026-11-02: add by m2/dev
Coherent module G3BN5J9S26
| URI | m2://inv/G3BN5J9S26 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#BO9K, Coherent module (definition)
History
- 2026-11-02: add by m2/dev
Euclidean G3BPXYBJFH
| URI | m2://inv/G3BPXYBJFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#X80C, Euclidean (definition)
History
- 2026-11-02: add by m2/dev
Electromagnetic metamaterials G3BZ7PG7MJ
| URI | m2://inv/G3BZ7PG7MJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metamaterial#0FV1, Electromagnetic metamaterials (unknown)
History
- 2026-11-02: add by m2/dev
Eugenia Cheng G3C1S0CF8S
| URI | m2://inv/G3C1S0CF8S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#E9RY, Eugenia Cheng (topic)
History
- 2026-11-02: add by m2/dev
G3C4GRATKJ G3C4GRATKJ
| URI | m2://inv/G3C4GRATKJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#TBTQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Weakly hereditary G3C50EXPJV
| URI | m2://inv/G3C50EXPJV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#8NMC, Weakly hereditary (definition)
History
- 2026-11-02: add by m2/dev
type, identity G3C5CF8C9A
| URI | m2://inv/G3C5CF8C9A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.11/type-identity, type, identity (concept). In N54F33XE07, index, section 1.11
History
- 2026-11-01: add by m2/v0.6.13
Maximal size of the terminal cutoff G3C7D86KFY
| URI | m2://inv/G3C7D86KFY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20643#CFL9, Maximal size of the terminal cutoff (statement)
History
- 2026-11-02: add by m2/v0.6.18
Chhattisgarh G3CBYYB47P
| URI | m2://inv/G3CBYYB47P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#X3WM, Chhattisgarh (unknown)
History
- 2026-11-02: add by m2/dev
Properties G3CD607YAB
| URI | m2://inv/G3CD607YAB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent topology#CWTG, Properties (statement)
History
- 2026-11-02: add by m2/dev
G3CJYDBSNE G3CJYDBSNE
| URI | m2://inv/G3CJYDBSNE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/soundness.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 62.8
History
- 2026-11-01: add by m2/v0.6.13
Feza Gürsey G3CP033HCW
| URI | m2://inv/G3CP033HCW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1136035, Feza Gürsey (unknown). Also nLab Feza Gürsey
History
- 2026-10-26: add by m2/dev
G3CR1Z8E29 G3CR1Z8E29
| URI | m2://inv/G3CR1Z8E29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25967#WIH9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pink, Brian G3D9X87M1J
| URI | m2://inv/G3D9X87M1J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#R3LQ, Pink, Brian (topic)
History
- 2026-11-02: add by m2/dev
G3DBT4N5AT G3DBT4N5AT
| URI | m2://inv/G3DBT4N5AT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#FMCQ (definition). In 8SVVEVGMNE/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
ReLU approximation to multiplication G3DFP43ZE1
| URI | m2://inv/G3DFP43ZE1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11120#KZK3, ReLU approximation to multiplication (statement). In KCY80F2YGP/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.3
G3DJKP15XH G3DJKP15XH
| URI | m2://inv/G3DJKP15XH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/sol-and-set-theory/power-of-continuum.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 66.6
History
- 2026-11-01: add by m2/v0.6.13
G3DKWDBQQD G3DKWDBQQD
| URI | m2://inv/G3DKWDBQQD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20606#4IFF (example)
History
- 2026-11-02: add by m2/v0.6.18
G3DR4MXX0P G3DR4MXX0P
| URI | m2://inv/G3DR4MXX0P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10233#PE1F (statement). In QR9WE79ERQ/e1, theorem 1.15
History
- 2026-10-29: add by m2/v0.4.10
G3DW4F8MCK G3DW4F8MCK
| URI | m2://inv/G3DW4F8MCK |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#6I4F (unknown). In QNBFHFZ3H0/e1, unknown
History
- 2026-10-28: add by m2/v0.4.2
G3E2ZDP4KT G3E2ZDP4KT
| URI | m2://inv/G3E2ZDP4KT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24569#JWF9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Beatty sequence G3E3HH0BY1
| URI | m2://inv/G3E3HH0BY1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q791663, Beatty's theorem (statement). Also Mathlib Irrational.beattySeq_symmDiff_beattySeq_pos, Mathlib compl_beattySeq, Wikidata Q791663
- thousand_plus: thousand_plus Q791663, Beatty's theorem (statement). Also Mathlib Irrational.beattySeq_symmDiff_beattySeq_pos, Mathlib compl_beattySeq, Wikidata Q791663, Wikipedia Beatty's theorem
- wikidata: Wikidata Q791663, Beatty sequence (unknown). Also MathWorld BeattySequence
- wikipedia: Wikipedia Beatty sequence, Beatty sequence (object). Also Wikidata Q791663
History
- 2026-10-26: add by m2/dev
Absence of a root G3E4GKKP6Z
| URI | m2://inv/G3E4GKKP6Z |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05457#D7NN, Absence of a root (example). In SV36P5P5Z3/e1, example 3.2
History
- 2026-10-29: add by m2/v0.4.10
G3E6BWR3KD G3E6BWR3KD
| URI | m2://inv/G3E6BWR3KD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37425#2PYE (statement). In E02TSC01RN/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
G3E9RKX31K G3E9RKX31K
| URI | m2://inv/G3E9RKX31K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.09464#GR9P (statement). In RN1XRCS2CH/e1, corollary 14
History
- 2026-10-27: add by m2/v0.3.6
G3EFA17153 G3EFA17153
| URI | m2://inv/G3EFA17153 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33557#79EH (statement). In 95YZVAPGJA/e1, lemma 6.4
History
- 2026-10-30: add by m2/v0.4.12
G3EHRN784B G3EHRN784B
| URI | m2://inv/G3EHRN784B |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35631#BK1X (problem). In 9NCX0S6MTP/e1, problem 2
History
- 2026-10-30: add by m2/v0.4.12
Kőnig, Gyula G3EKGAF82R
| URI | m2://inv/G3EKGAF82R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#7UG5, Kőnig, Gyula (unknown)
History
- 2026-11-02: add by m2/dev
Local correlators and the local $J$-function G3F8AW151X
| URI | m2://inv/G3F8AW151X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10821#QK4H, Local correlators and the local $J$-function (definition). In RWNP4FEE65/e1, definition 3.5
History
- 2026-10-28: add by m2/v0.4.3
column vector G3FBB53RZV
| URI | m2://inv/G3FBB53RZV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/2.1.1/column-vector, column vector (concept). In E9HS8K3A52, index, section 2.1.1
History
- 2026-11-01: add by m2/v0.6.13
G3FMF84NH4 G3FMF84NH4
| URI | m2://inv/G3FMF84NH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30648#YSOZ (statement). In 2P83KYQCMA/e1, lemma 12
History
- 2026-10-31: add by m2/v0.5.6
S-equivalence G3FWQSVKRZ
| URI | m2://inv/G3FWQSVKRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S-equivalence, S-equivalence (definition). Also Wikidata Q7387105
History
- 2026-11-02: add by m2/dev
Generalizations G3G2XAXC1B
| URI | m2://inv/G3G2XAXC1B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitary group#GMVN, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
G3G3WK05TJ G3G3WK05TJ
| URI | m2://inv/G3G3WK05TJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.16388#WZPL (definition). In HH4ADHZ8XD/e1, definition 4.7
History
- 2026-10-27: add by m2/v0.4.0
Generalizations G3G4AXGTJ6
| URI | m2://inv/G3G4AXGTJ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory#IVHW, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Shephard, Neil G3G4XNP6BY
| URI | m2://inv/G3G4XNP6BY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#73EQ, Shephard, Neil (unknown)
History
- 2026-11-02: add by m2/dev
Construction G3G5TQE1HA
| URI | m2://inv/G3G5TQE1HA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conley index theory#Y3US, Construction (definition)
History
- 2026-11-02: add by m2/dev
G3G6EAN1VC G3G6EAN1VC
| URI | m2://inv/G3G6EAN1VC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#HMVH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Clough Center for the Study of Constitutional Democracy G3G8AWQVHP
| URI | m2://inv/G3G8AWQVHP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#206O, Clough Center for the Study of Constitutional Democracy (unknown)
History
- 2026-11-02: add by m2/dev
Definitions G3GGR13NGX
| URI | m2://inv/G3GGR13NGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Range of a function#FT32, Definitions (definition)
History
- 2026-11-02: add by m2/dev
G3GHCP4AJ5 G3GHCP4AJ5
| URI | m2://inv/G3GHCP4AJ5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 54.7
History
- 2026-11-01: add by m2/v0.6.13
Mei-Chi Shaw G3GQ9HA9RK
| URI | m2://inv/G3GQ9HA9RK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Taiwanese mathematicians#7X37, Mei-Chi Shaw (topic)
History
- 2026-11-02: add by m2/dev
G3GTXCJW3K G3GTXCJW3K
| URI | m2://inv/G3GTXCJW3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20488#2AHG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Gentzen's consistency proof G3GY8FRJ1S
| URI | m2://inv/G3GY8FRJ1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#6J0I, Gentzen's consistency proof (definition)
History
- 2026-11-02: add by m2/dev
Vittorio Fossombroni G3HBEKYPVN
| URI | m2://inv/G3HBEKYPVN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vittorio Fossombroni, Vittorio Fossombroni (topic). Also Wikidata Q454758
History
- 2026-11-02: add by m2/dev
G3HFD184ZW G3HFD184ZW
| URI | m2://inv/G3HFD184ZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15405#OQM8 (statement). In 9QCYCXVF5W/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
negation G3HGJ6H05H
| URI | m2://inv/G3HGJ6H05H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#FRU3, negation (definition)
History
- 2026-11-02: add by m2/dev
G3HR3JMMJ7 G3HR3JMMJ7
| URI | m2://inv/G3HR3JMMJ7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#proof-6 (proof). In E59CDZA4DP, proof, section 9.2.4
History
- 2026-11-01: add by m2/v0.6.13
Takai G3HTFMAWV6
| URI | m2://inv/G3HTFMAWV6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23847#Y4UQ, Takai (statement)
History
- 2026-11-02: add by m2/v0.6.17
Further examples G3HVEGRCWW
| URI | m2://inv/G3HVEGRCWW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherency (homotopy theory)#S838, Further examples (example)
History
- 2026-11-02: add by m2/dev
G3J1ER8Q8B G3J1ER8Q8B
| URI | m2://inv/G3J1ER8Q8B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#problem-7 (exercise). In RZP28ERRZV, problem, section 2.8
History
- 2026-11-01: add by m2/v0.6.13
G3JAPDBKBM G3JAPDBKBM
| URI | m2://inv/G3JAPDBKBM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07122#81PZ (statement). In W0ZHX9DHPV/e1, proposition 17
History
- 2026-10-29: add by m2/v0.4.10
Rational reconstruction G3JCFSG2TW
| URI | m2://inv/G3JCFSG2TW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational reconstruction (mathematics), Rational reconstruction (definition). Also Wikidata Q7295779
History
- 2026-11-02: add by m2/dev
G3JEVJB8AE G3JEVJB8AE
| URI | m2://inv/G3JEVJB8AE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#example-6 (example). In Y91XFCEVHQ, example, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
G3JGVQ3934 G3JGVQ3934
| URI | m2://inv/G3JGVQ3934 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19455#FGK0 (statement). In CBF6TQS4DW/e1, proposition 1.10
History
- 2026-10-28: add by m2/v0.4.2
Applications G3JK8WRZ7T
| URI | m2://inv/G3JK8WRZ7T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth completion#0CR1, Applications (example)
History
- 2026-11-02: add by m2/dev
G3JWMTZYV4 G3JWMTZYV4
| URI | m2://inv/G3JWMTZYV4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33018#8E88 (definition). In 8XVS0QJ2AH/e1, definition 40
History
- 2026-10-31: add by m2/v0.5.6
Planted model G3JWSXHXVM
| URI | m2://inv/G3JWSXHXVM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09882#IOE1, Planted model (definition). In 7XV6T4N79V/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
G3JZ33KB9B G3JZ33KB9B
| URI | m2://inv/G3JZ33KB9B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-14 (statement). In VNMV985MXX, prop, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
curve G3K1RH9YTD
| URI | m2://inv/G3K1RH9YTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#CKT5, curve (definition)
History
- 2026-11-02: add by m2/dev
relational structure G3K6JCGE0F
| URI | m2://inv/G3K6JCGE0F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q134487654, relational structure (unknown). Also nLab relational structure
History
- 2026-10-26: add by m2/dev
the diagonal G3K95AREQA
| URI | m2://inv/G3K95AREQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01753#BT4P, the diagonal (statement). In JY50YXMH5N/e1, proposition 40
History
- 2026-10-29: add by m2/v0.4.12
vacuum expectation value G3KEVWWBYK
| URI | m2://inv/G3KEVWWBYK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1137397, vacuum expectation value (unknown). Also nLab vacuum expectation value
History
- 2026-10-26: add by m2/dev
G3KVJYTQN0 G3KVJYTQN0
| URI | m2://inv/G3KVJYTQN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.06445#ZS4B (statement). In 12JKZ8EN52/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
G3KWTC1474 G3KWTC1474
| URI | m2://inv/G3KWTC1474 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#5RYR (statement). In DDNP38CHQJ/e1, corollary 2.11
History
- 2026-10-27: add by m2/v0.3.5
G3KX1Q9E6K G3KX1Q9E6K
| URI | m2://inv/G3KX1Q9E6K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#IR9X (definition). In HX63A1PH1W/e1, definition 6.9
History
- 2026-10-28: add by m2/v0.4.3
Homotopy colimit and limit G3M283DEET
| URI | m2://inv/G3M283DEET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy colimit and limit, Homotopy colimit and limit (definition). Also Wikidata Q17030678
History
- 2026-11-02: add by m2/dev
G3M92JRS18 G3M92JRS18
| URI | m2://inv/G3M92JRS18 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25897#W3MT (definition)
History
- 2026-11-01: add by m2/v0.6.15
G3M9XCQQY0 G3M9XCQQY0
| URI | m2://inv/G3M9XCQQY0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1311.6044#AETY (statement). In W4FFB6SVZD/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
G3MG5RH7ZR G3MG5RH7ZR
| URI | m2://inv/G3MG5RH7ZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20153#NKAH (statement). In EYB107TM4Q/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
Definition G3MN7BMCEM
| URI | m2://inv/G3MN7BMCEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic sieving#JMHB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Hawking radiation G3N2VMR80B
| URI | m2://inv/G3N2VMR80B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hawking radiation#IO3U, Hawking radiation (definition)
History
- 2026-11-02: add by m2/dev
The bound from the smallest heap G3N98BARRG
| URI | m2://inv/G3N98BARRG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06925#EIXM, The bound from the smallest heap (statement). In P0NV7337EK/e1, corollary 2.5
History
- 2026-10-29: add by m2/v0.4.10
G3ND1330PC G3ND1330PC
| URI | m2://inv/G3ND1330PC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33476#1972 (statement). In DAQW640R25/e1, proposition 3.4
History
- 2026-10-30: add by m2/v0.4.12
G3NWPRSVQK G3NWPRSVQK
| URI | m2://inv/G3NWPRSVQK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.16706#UUZV (statement). In JSRVKPT87E/e1, fact
History
- 2026-10-27: add by m2/v0.4.0
well-formed formula G3P1KAWZAH
| URI | m2://inv/G3P1KAWZAH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#2UK8, well-formed formula (definition)
History
- 2026-11-02: add by m2/dev
Algorithm G3P2GNSPQZ
| URI | m2://inv/G3P2GNSPQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal matching#JUGR, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Sungai Tujoh G3P3XQQMZR
| URI | m2://inv/G3P3XQQMZR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#SFHD, Sungai Tujoh (unknown)
History
- 2026-11-02: add by m2/dev
G3P4QWEM0G G3P4QWEM0G
| URI | m2://inv/G3P4QWEM0G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19023#QS9N (statement). In QFA8TMJPHZ/e1, theorem 4.7
History
- 2026-10-28: add by m2/v0.4.2
Pointwise bounds G3P9E0GJNC
| URI | m2://inv/G3P9E0GJNC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22090#7ACY, Pointwise bounds (statement). In NKJWGF050C/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.4.0
Application G3PGJAMFA4
| URI | m2://inv/G3PGJAMFA4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trinomial tree#5H9E, Application (example)
History
- 2026-11-02: add by m2/dev
Decision boundary G3PP7P9JP4
| URI | m2://inv/G3PP7P9JP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decision boundary, Decision boundary (definition). Also Wikidata Q5249231
History
- 2026-11-02: add by m2/dev
First Chern classes G3PS2FNERS
| URI | m2://inv/G3PS2FNERS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.14727#KMQG, First Chern classes (example). In EZTB8NZGVT/e1, example 3.4
History
- 2026-10-27: add by m2/v0.4.0
Statistics Online Computational Resource G3Q11SA5Q9
| URI | m2://inv/G3Q11SA5Q9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KFN5, Statistics Online Computational Resource (definition)
History
- 2026-11-02: add by m2/dev
Properties G3Q7F47P1Y
| URI | m2://inv/G3Q7F47P1Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie group action#WENH, Properties (statement)
History
- 2026-11-02: add by m2/dev
G3Q7PFRHH5 G3Q7PFRHH5
| URI | m2://inv/G3Q7PFRHH5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38017#M1N1 (statement). In SYFKJC9X5M/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
G3Q86BGY47 G3Q86BGY47
| URI | m2://inv/G3Q86BGY47 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30771#3AO7 (statement). In PQ5117EYN3/e1, lemma 1
History
- 2026-10-31: add by m2/v0.5.6
G3QHGGHFA5 G3QHGGHFA5
| URI | m2://inv/G3QHGGHFA5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14914#C26V (statement). In CHC3T113Y4/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
likelihood function G3QP212QKG
| URI | m2://inv/G3QP212QKG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#NS6R, likelihood function (definition)
History
- 2026-11-02: add by m2/dev
G3QQS83E8Q G3QQS83E8Q
| URI | m2://inv/G3QQS83E8Q |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.01586#624R (proof). In P39MF3ZJC0/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Kirchhoff's diffraction formula G3R3Z41YPR
| URI | m2://inv/G3R3Z41YPR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirchhoff's diffraction formula, Kirchhoff's diffraction formula (statement). Also Wikidata Q7408338
History
- 2026-11-02: add by m2/dev
G3RFKXE15H G3RFKXE15H
| URI | m2://inv/G3RFKXE15H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08028#77UN (definition). In Z19XDA8QY9/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
Generalized G3RJE8B5MH
| URI | m2://inv/G3RJE8B5MH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#509E, Generalized (definition)
History
- 2026-11-02: add by m2/dev
Heun's differential equation G3RQSAAJQ2
| URI | m2://inv/G3RQSAAJQ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q115204867, Heun's differential equation (unknown). Also MathWorld HeunsDifferentialEquation
History
- 2026-10-26: add by m2/dev
G3RWWJTAG4 G3RWWJTAG4
| URI | m2://inv/G3RWWJTAG4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.07340#9F62 (statement). In 2HSB99DW4M/e1, proposition 6.4
History
- 2026-10-27: add by m2/v0.3.6
G3RZKF96RD G3RZKF96RD
| URI | m2://inv/G3RZKF96RD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22002#CDH9 (statement). In JTND2BM263/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.4.2
G3S2961D9E G3S2961D9E
| URI | m2://inv/G3S2961D9E |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37967#XI8R (example). In BR2E3CXQE0/e1, example 4.1
History
- 2026-10-30: add by m2/v0.4.12
Catherine Greenhill G3SFC6YVZ5
| URI | m2://inv/G3SFC6YVZ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VM9K, Catherine Greenhill (topic)
History
- 2026-11-02: add by m2/dev
The conjecture G3SGAGKPB2
| URI | m2://inv/G3SGAGKPB2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometrization conjecture#T2RG, The conjecture (statement)
History
- 2026-11-02: add by m2/dev
Olaf Storaasli G3SR6P85EY
| URI | m2://inv/G3SR6P85EY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olaf Storaasli, Olaf Storaasli (topic). Also Wikidata Q7083000
History
- 2026-11-02: add by m2/dev
Finite Legendre transform G3SSZMVY8R
| URI | m2://inv/G3SSZMVY8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite Legendre transform, Finite Legendre transform (definition). Also Wikidata Q18355355
History
- 2026-11-02: add by m2/dev
Positivity of the edge speeds G3ST6K9H7Z
| URI | m2://inv/G3ST6K9H7Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18312#X970, Positivity of the edge speeds (statement). In NPEVE32HFP/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Chaining the lengths G3T1RP3D8W
| URI | m2://inv/G3T1RP3D8W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22927#YCIW, Chaining the lengths (statement)
History
- 2026-11-02: add by m2/v0.6.17
Turbo code G3T7B2613N
| URI | m2://inv/G3T7B2613N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turbo code, Turbo code (definition). Also Wikidata Q2164281
History
- 2026-11-02: add by m2/dev
Hen3ry G3T7ZN2TTS
| URI | m2://inv/G3T7ZN2TTS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tom Lehrer#1GJW, Hen3ry (unknown)
History
- 2026-11-02: add by m2/dev
Proof of \Cref{thm:uniqueness_primary_form_one_prime_torsion_module} G3TBSYARQG
| URI | m2://inv/G3TBSYARQG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#proof-6, Proof of \Cref{thm:uniqueness_primary_form_one_prime_torsion_module} (proof). In RZP28ERRZV, proof, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Halting probability G3TRSJAERQ
| URI | m2://inv/G3TRSJAERQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#ZVPO, Halting probability (definition)
History
- 2026-11-02: add by m2/dev
Toby Gee G3V1WB3SZ2
| URI | m2://inv/G3V1WB3SZ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toby Gee, Toby Gee (topic). Also Wikidata Q57422447
History
- 2026-11-02: add by m2/dev
Examples G3V1YHXH8T
| URI | m2://inv/G3V1YHXH8T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contact geometry#DL3W, Examples (example)
History
- 2026-11-02: add by m2/dev
milliwatt-hour G3V2RX2YVW
| URI | m2://inv/G3V2RX2YVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2221356, milliwatt-hour (definition). Also ProofWiki Definition:SI/Energy/Milliwatt-Hour
History
- 2026-10-26: add by m2/dev
Consistency of GGDPC modes G3V6603J6F
| URI | m2://inv/G3V6603J6F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01050#UZNG, Consistency of GGDPC modes (statement). In 48NN33SAH7/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
Quarter order-6 square tiling G3V89MQ2TH
| URI | m2://inv/G3V89MQ2TH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quarter order-6 square tiling, Quarter order-6 square tiling (definition). Also Wikidata Q17264527
History
- 2026-11-02: add by m2/dev
Applications G3VEMHZY4R
| URI | m2://inv/G3VEMHZY4R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Vaucouleurs's law#DPRI, Applications (example)
History
- 2026-11-02: add by m2/dev
Formulation G3VH1TCX4V
| URI | m2://inv/G3VH1TCX4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski's theorem#MRNK, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Fabry gap theorem G3VJH4089J
| URI | m2://inv/G3VJH4089J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fabry gap theorem, Fabry gap theorem (statement). Also Wikidata Q17011576
History
- 2026-11-02: add by m2/dev
G3VZDBNVC3 G3VZDBNVC3
| URI | m2://inv/G3VZDBNVC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24484#0N9N (statement)
History
- 2026-11-01: add by m2/v0.6.15
geometrization conjecture G3W3ZM745H
| URI | m2://inv/G3W3ZM745H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#L3JN, geometrization conjecture (definition)
History
- 2026-11-02: add by m2/dev
G3WD8RQG9X G3WD8RQG9X
| URI | m2://inv/G3WD8RQG9X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15106#K7O2 (statement). In N3ZQJ2G8SS/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
G3WDJKY8DZ G3WDJKY8DZ
| URI | m2://inv/G3WDJKY8DZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#3RBI (definition). In X9WFC1D9ZS/e1, definition 16
History
- 2026-10-27: add by m2/v0.4.2
G3WG39WQDT G3WG39WQDT
| URI | m2://inv/G3WG39WQDT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.08976#VBWE (statement). In ZVNM9X4NNG/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.5
G3WJ6A6GAB G3WJ6A6GAB
| URI | m2://inv/G3WJ6A6GAB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30933#77V5 (statement). In KXWYE4SJY3/e1, lemma 6
History
- 2026-10-31: add by m2/v0.5.6
G3X02FES3K G3X02FES3K
| URI | m2://inv/G3X02FES3K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06556#PZBH (definition). In KW8C7VE9XR/e1, definition 19
History
- 2026-10-29: add by m2/v0.4.10
Properties G3X1EVHTM3
| URI | m2://inv/G3X1EVHTM3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scalar multiplication#7WMO, Properties (statement)
History
- 2026-11-02: add by m2/dev
408 (number) G3X79AEW22
| URI | m2://inv/G3X79AEW22 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#Q81Z, 408 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Davis, Kingsley G3XAVGE7TR
| URI | m2://inv/G3XAVGE7TR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#6HRS, Davis, Kingsley (unknown)
History
- 2026-11-02: add by m2/dev
G3XD92V95P G3XD92V95P
| URI | m2://inv/G3XD92V95P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#PRSJ (definition)
History
- 2026-11-01: add by m2/v0.6.15
G3XDW3TTWG G3XDW3TTWG
| URI | m2://inv/G3XDW3TTWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21080#9VYU (statement). In DGE917KQSQ/e1, corollary 8.2
History
- 2026-10-27: add by m2/v0.4.2
G3XTG950VW G3XTG950VW
| URI | m2://inv/G3XTG950VW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07828#B8MF (definition). In TWGMVT1N1G/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.10
G3XVX3VQNF G3XVX3VQNF
| URI | m2://inv/G3XVX3VQNF |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01783#BD8H (problem). In 8BKC3PVX9G/e1, problem 9.1
History
- 2026-10-29: add by m2/v0.4.12
Aristarchus's inequality G3Y0KKDFJQ
| URI | m2://inv/G3Y0KKDFJQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aristarchus's inequality, Aristarchus's inequality (statement). Also Wikidata Q4790949
History
- 2026-11-02: add by m2/dev
Notation G3Y8T4W5Z1
| URI | m2://inv/G3Y8T4W5Z1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic process#27GU, Notation (definition)
History
- 2026-11-02: add by m2/dev
Principle G3Y9MWHQDX
| URI | m2://inv/G3Y9MWHQDX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density matrix renormalization group#7D00, Principle (statement)
History
- 2026-11-02: add by m2/dev
Heinz Hopf G3YMHJ7N4B
| URI | m2://inv/G3YMHJ7N4B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0E3X, Heinz Hopf (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#428N, Heinz Hopf (topic)
- wikipedia: Wikipedia List of German mathematicians#4Z4B, Heinz Hopf (topic)
History
- 2026-11-02: add by m2/dev
Bayes' theorem G3YWCNG275
| URI | m2://inv/G3YWCNG275 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian inference in marketing#STLN, Bayes' theorem (statement)
History
- 2026-11-02: add by m2/dev
G3Z0JCSYB5 G3Z0JCSYB5
| URI | m2://inv/G3Z0JCSYB5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.13533#99N6 (statement). In DK9GQ8G0T4/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
G3Z1HXCPSV G3Z1HXCPSV
| URI | m2://inv/G3Z1HXCPSV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1004.4564#78G3 (definition). In BZ54C9SKYS/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Signed comparisons G3Z3CDZ13F
| URI | m2://inv/G3Z3CDZ13F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05164#O4J5, Signed comparisons (statement). In JY6RYSNXMJ/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
Marcos Moshinsky G3Z3Y3ZQKX
| URI | m2://inv/G3Z3Y3ZQKX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Q1GT, Marcos Moshinsky (unknown)
History
- 2026-11-02: add by m2/dev
Extensions G3Z43MTTN5
| URI | m2://inv/G3Z43MTTN5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev's inequality#A5Y8, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Tupper's number G3Z4JFBTKE
| URI | m2://inv/G3Z4JFBTKE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#MKUO, Tupper's number (statement)
History
- 2026-11-02: add by m2/dev
G3Z87KE5ZM G3Z87KE5ZM
| URI | m2://inv/G3Z87KE5ZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#QKBZ (statement). In CY1FE8W1ZW/e1, lemma 0.35
History
- 2026-10-27: add by m2/v0.4.0
George Newland G3Z8Q8VJXT
| URI | m2://inv/G3Z8Q8VJXT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Newland, George Newland (topic). Also Wikidata Q36623817
History
- 2026-11-02: add by m2/dev
Snow plow routing problem G3ZC0SGCSR
| URI | m2://inv/G3ZC0SGCSR |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snow plow routing problem, Snow plow routing problem (problem). Also Wikidata Q112114690
History
- 2026-11-02: add by m2/dev
G3ZC8RNPRQ G3ZC8RNPRQ
| URI | m2://inv/G3ZC8RNPRQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08039#N80O (statement). In Y1K8WE4MDP/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
G3ZE2Y98R2 G3ZE2Y98R2
| URI | m2://inv/G3ZE2Y98R2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.00589#V5W0 (statement). In C8JAGP8VCQ/e1, lemma 8.13
History
- 2026-10-27: add by m2/v0.3.5
The Criterion G3ZSXV6MYH
| URI | m2://inv/G3ZSXV6MYH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral element#A31N, The Criterion (statement)
- wikipedia: Wikipedia Integral element#HHGN, The Criterion (statement)
History
- 2026-11-02: add by m2/dev
bilateral Z-transform G3ZX2797V5
| URI | m2://inv/G3ZX2797V5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109905826, bilateral Z-transform (unknown). Also MathWorld BilateralZ-Transform
History
- 2026-10-26: add by m2/dev
perfect magic cube G3ZYD8GTE6
| URI | m2://inv/G3ZYD8GTE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q616703, perfect magic cube (unknown). Also MathWorld PerfectMagicCube
- wikipedia: Wikipedia Perfect magic cube, Perfect magic cube (definition). Also Wikidata Q616703
History
- 2026-10-26: add by m2/dev