Inventory rows GW
The cards of the rows of the inventory whose ids start with GW. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Kleene's second recursion theorem GW034QQ6QX
| URI | m2://inv/GW034QQ6QX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene's recursion theorem#M2G9, Kleene's second recursion theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples GW0777C526
| URI | m2://inv/GW0777C526 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parametric model#HZTO, Examples (example)
History
- 2026-11-02: add by m2/dev
Hilbert-space projected-local representation GW0ACGA5EW
| URI | m2://inv/GW0ACGA5EW |
|---|---|
| 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.25026#AT9T, Hilbert-space projected-local representation (statement)
History
- 2026-11-01: add by m2/v0.6.15
GW0EPMRAFV GW0EPMRAFV
| URI | m2://inv/GW0EPMRAFV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-intro.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
The Hoffman–Singleton theorem GW0GFKCB7H
| URI | m2://inv/GW0GFKCB7H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strongly regular graph#S4HA, The Hoffman–Singleton theorem (statement)
History
- 2026-11-02: add by m2/dev
GW0RVYDWX5 GW0RVYDWX5
| URI | m2://inv/GW0RVYDWX5 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-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 2609.36045#98N7 (problem). In F0E8YBV0Z0/e1, problem
History
- 2026-10-30: add by m2/v0.4.12
GW10P8FS5B GW10P8FS5B
| URI | m2://inv/GW10P8FS5B |
|---|---|
| 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.21507#L690 (statement)
History
- 2026-11-02: add by m2/v0.6.18
GW12G8REFS GW12G8REFS
| URI | m2://inv/GW12G8REFS |
|---|---|
| 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.09084#JYVM (statement). In F5VT2K2QYX/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
GW1AF8MJA2 GW1AF8MJA2
| URI | m2://inv/GW1AF8MJA2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-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 2210.17066#5RUE (statement). In X2AEJAQEP8/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.5
GW1KCS9D4P GW1KCS9D4P
| URI | m2://inv/GW1KCS9D4P |
|---|---|
| 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 2210.06318#GDQQ (statement). In KJSSAEYGBP/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
Casimir invariant GW1SNP378A
| URI | m2://inv/GW1SNP378A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#V4WX, Casimir invariant (definition)
History
- 2026-11-02: add by m2/dev
GW1YWM28G9 GW1YWM28G9
| URI | m2://inv/GW1YWM28G9 |
|---|---|
| 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.20915#HHK5 (statement). In 5M1SXP75D9/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.4.2
Algorithm GW23VV94DT
| URI | m2://inv/GW23VV94DT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore neighborhood#KZTU, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Subgradient recovery GW261DR3B0
| URI | m2://inv/GW261DR3B0 |
|---|---|
| Kind | statement |
| 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.38228#07MH, Subgradient recovery (statement). In 9YAE8FNQST/e1, lemma 17.10
History
- 2026-10-30: add by m2/v0.4.12
Shaw-Lefevre, George GW2982N4Q6
| URI | m2://inv/GW2982N4Q6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#I2E8, Shaw-Lefevre, George (unknown)
History
- 2026-11-02: add by m2/dev
Post hoc ergo propter hoc GW2D5JZAM4
| URI | m2://inv/GW2D5JZAM4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Post hoc ergo propter hoc, Post hoc ergo propter hoc (definition). Also Wikidata Q732404
History
- 2026-11-02: add by m2/dev
Ilse Ipsen GW2DWV8509
| URI | m2://inv/GW2DWV8509 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#5PAJ, Ilse Ipsen (topic)
History
- 2026-11-02: add by m2/dev
Queueing Systems GW31YY1AHJ
| URI | m2://inv/GW31YY1AHJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#YCDK, Queueing Systems (unknown)
History
- 2026-11-02: add by m2/dev
Prognostics GW35DBM430
| URI | m2://inv/GW35DBM430 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MHKU, Prognostics (definition)
History
- 2026-11-02: add by m2/dev
Estonia GW3AQ9F1FY
| URI | m2://inv/GW3AQ9F1FY |
|---|---|
| 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 Q191, Estonia (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Estonia
History
- 2026-10-26: add by m2/dev
Combining the outputs GW3CGB8DRQ
| URI | m2://inv/GW3CGB8DRQ |
|---|---|
| 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#FRSE, Combining the outputs (statement). In ZZER8ZBSCR/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.12
Veniamin Levich GW3HY4AA29
| URI | m2://inv/GW3HY4AA29 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#B12A, Veniamin Levich (unknown)
History
- 2026-11-02: add by m2/dev
Fundamental group GW3SQXQEA7
| URI | m2://inv/GW3SQXQEA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#LNHA, Fundamental group (definition)
- wikipedia: Wikipedia List of algebraic topology topics#V5D3, Fundamental group (definition)
- wikipedia: Wikipedia List of abstract algebra topics#FE1B, Fundamental group (definition)
History
- 2026-11-02: add by m2/dev
island of knights and knaves GW406TE0GR
| URI | m2://inv/GW406TE0GR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#VB7T, island of knights and knaves (definition)
History
- 2026-11-02: add by m2/dev
Moti Yung GW43XVZ8B5
| URI | m2://inv/GW43XVZ8B5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NKRT, Moti Yung (unknown)
History
- 2026-11-02: add by m2/dev
Henry John Stephen Smith GW46PP2YYK
| URI | m2://inv/GW46PP2YYK |
|---|---|
| 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 Q742431, Henry John Stephen Smith (unknown). Also ProofWiki Mathematician:Henry_John_Stephen_Smith
- wikipedia: Wikipedia Henry John Stephen Smith, Henry John Stephen Smith (topic). Also Wikidata Q742431
History
- 2026-10-26: add by m2/dev
GW4ARPFF9B GW4ARPFF9B
| URI | m2://inv/GW4ARPFF9B |
|---|---|
| Kind | definition |
| 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 2204.13401#ZWT7 (definition). In B8MJT0GGW8/e1, definition 3.11
History
- 2026-10-27: add by m2/v0.4.0
Anchoring cost GW4BFSENXD
| URI | m2://inv/GW4BFSENXD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.00295#Q6YX, Anchoring cost (statement). In 7HXP270BD0/e1, theorem 5.17
History
- 2026-10-30: add by m2/v0.4.12
Theorem GW4DV9DCDE
| URI | m2://inv/GW4DV9DCDE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L'Huilier's theorem#5VBD, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Betti's theorem GW4FY5T0Q6
| URI | m2://inv/GW4FY5T0Q6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#6TEG, Betti's theorem (statement)
History
- 2026-11-02: add by m2/dev
truncated cuboctahedron GW4TNZMW66
| URI | m2://inv/GW4TNZMW66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q877784, truncated cuboctahedron (object). Also MathWorld GreatRhombicuboctahedron
- wikipedia: Wikipedia Truncated cuboctahedron, Truncated cuboctahedron (definition). Also Wikidata Q877784
History
- 2026-10-26: add by m2/dev
GW4W04D5E0 GW4W04D5E0
| URI | m2://inv/GW4W04D5E0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 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 2208.05276#H93X (definition). In 4C5XHYTRT2/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
GW4W1MQSZ2 GW4W1MQSZ2
| URI | m2://inv/GW4W1MQSZ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#1EN6 (statement). In XYCBKM4WKY/e1, lemma 12
History
- 2026-10-27: add by m2/v0.3.5
Taylor Booth GW4XR4T5P2
| URI | m2://inv/GW4XR4T5P2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor Booth (mathematician), Taylor Booth (topic). Also Wikidata Q7689885
History
- 2026-11-02: add by m2/dev
26 GW53JMP00G
| URI | m2://inv/GW53JMP00G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 26 (number), 26 (definition). Also Wikidata Q83264
History
- 2026-11-02: add by m2/dev
zero sequence GW54BF4NYP
| URI | m2://inv/GW54BF4NYP |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136093966, zero sequence (object). Also OEIS A000004
History
- 2026-10-26: add by m2/dev
Monotone convergence theorem GW5A5CJZYR
| URI | m2://inv/GW5A5CJZYR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#thm:monotoneconv, Monotone convergence theorem (statement). In E59CDZA4DP, thm, section 10.1.1
History
- 2026-11-01: add by m2/v0.6.13
nerve GW5AH910PM
| URI | m2://inv/GW5AH910PM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#UE23, nerve (definition)
History
- 2026-11-02: add by m2/dev
median GW5BHXEZN8
| URI | m2://inv/GW5BHXEZN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#HSU4, median (definition)
History
- 2026-11-02: add by m2/dev
GW5GJ0GDKF GW5GJ0GDKF
| URI | m2://inv/GW5GJ0GDKF |
|---|---|
| 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 2610.09739#FBSV (statement). In ZYNZ95FSFD/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
separable GW5HKEC9R1
| URI | m2://inv/GW5HKEC9R1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/7.4.1/separable, separable (concept). In 907G4C4EJ1, index, section 7.4.1
History
- 2026-11-01: add by m2/v0.6.13
GW5WJ23PR9 GW5WJ23PR9
| URI | m2://inv/GW5WJ23PR9 |
|---|---|
| Kind | statement |
| 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.27366#79WH (statement)
History
- 2026-11-01: add by m2/v0.6.15
GW607KVFFJ GW607KVFFJ
| URI | m2://inv/GW607KVFFJ |
|---|---|
| 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 2311.01874#M25E (statement). In A4TR95VGX2/e1, theorem 5.3.5
History
- 2026-10-27: add by m2/v0.3.5
Theorem 3 GW65BDXQ6H
| URI | m2://inv/GW65BDXQ6H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact operator on Hilbert space#Q834, Theorem 3 (statement)
History
- 2026-11-02: add by m2/dev
Statement GW6C3FZB52
| URI | m2://inv/GW6C3FZB52 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zilber–Pink conjecture#X8HQ, Statement (statement)
History
- 2026-11-02: add by m2/dev
Small dodecicosidodecahedron GW6ESXBMRY
| URI | m2://inv/GW6ESXBMRY |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small dodecicosidodecahedron, Small dodecicosidodecahedron (object). Also Wikidata Q538424
History
- 2026-11-02: add by m2/dev
Mosquera--Shmerkin GW6HCCT0DK
| URI | m2://inv/GW6HCCT0DK |
|---|---|
| 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.21899#73UW, Mosquera--Shmerkin (statement). In YRN5P43B2N/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.2
Reciprocity conjecture GW6SVS7G56
| URI | m2://inv/GW6SVS7G56 |
|---|---|
| Kind | conjecture |
| 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.26196#K49E, Reciprocity conjecture (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Paired column rigidity; original GW6YCV421T
| URI | m2://inv/GW6YCV421T |
|---|---|
| Kind | definition |
| 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.02392#OKIN, Paired column rigidity; original (definition). In W066HQZQBF/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.12
$\omega$- and $H^\infty$-functional calculus GW71YZYF44
| URI | m2://inv/GW71YZYF44 |
|---|---|
| Kind | definition |
| 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 2609.26382#ISE2, $\omega$- and $H^\infty$-functional calculus (definition)
History
- 2026-11-01: add by m2/v0.6.15
The single constant normalization GW77QKNKZF
| URI | m2://inv/GW77QKNKZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-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.18788#AKOB, The single constant normalization (statement). In KFEASG3ZHS/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Tom Ilmanen GW78R0PQFT
| URI | m2://inv/GW78R0PQFT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tom Ilmanen, Tom Ilmanen (topic). Also Wikidata Q102184988
History
- 2026-11-02: add by m2/dev
GW79T0K2GD GW79T0K2GD
| URI | m2://inv/GW79T0K2GD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#thm:mstopocont (statement). In E59CDZA4DP, thm, section 4.5.3
History
- 2026-11-01: add by m2/v0.6.13
Sufficient penalty for binary feasibility GW80Z9SMY7
| URI | m2://inv/GW80Z9SMY7 |
|---|---|
| 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 2610.02528#2UZE, Sufficient penalty for binary feasibility (statement). In 5FQHVY6RXK/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.12
turbulence GW8664MM00
| URI | m2://inv/GW8664MM00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 76Fxx |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q190132, turbulence (topic). Also EoM Turbulence,_mathematical_problems_in
- wikipedia: Wikipedia Turbulence, Turbulence (definition). Also Wikidata Q190132
History
- 2026-10-26: add by m2/dev
Godfrey Harold Hardy GW8AXHN181
| URI | m2://inv/GW8AXHN181 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#X0GP, Godfrey Harold Hardy (topic)
History
- 2026-11-02: add by m2/dev
type theory, formal GW8CTN2J23
| URI | m2://inv/GW8CTN2J23 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u6/type-theory-formal, type theory, formal (concept). In N54F33XE07, index, section u1.u6
History
- 2026-11-01: add by m2/v0.6.13
Campbell formula GW8K6GJ0TA
| URI | m2://inv/GW8K6GJ0TA |
|---|---|
| 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.07637#EHPY, Campbell formula (statement). In ERR2F5FXC3/e1, proposition 9
History
- 2026-10-29: add by m2/v0.4.10
GW8KD4FQEH GW8KD4FQEH
| URI | m2://inv/GW8KD4FQEH |
|---|---|
| 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 2609.29925#L00U (statement)
History
- 2026-11-01: add by m2/v0.6.15
Results GW8MEWCNNF
| URI | m2://inv/GW8MEWCNNF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hereditarily countable set#C4HF, Results (statement)
History
- 2026-11-02: add by m2/dev
GW8W5Z9KDF GW8W5Z9KDF
| URI | m2://inv/GW8W5Z9KDF |
|---|---|
| Kind | definition |
| 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.32338#XUTP (definition). In HVY45JQRNK/e1, definition 2.12
History
- 2026-10-31: add by m2/v0.5.6
Nuclear operator GW8XPW4BNF
| URI | m2://inv/GW8XPW4BNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nuclear operator, Nuclear operator (definition). Also Wikidata Q96396744
History
- 2026-11-02: add by m2/dev
GW9097829M GW9097829M
| URI | m2://inv/GW9097829M |
|---|---|
| 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.28650#5VVM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Regular functions on distinguished open sets GW90A3RGNE
| URI | m2://inv/GW90A3RGNE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/zariski.tex#example-6, Regular functions on distinguished open sets (example). In RZP28ERRZV, example, section 29.6
History
- 2026-11-01: add by m2/v0.6.13
Kakutani's theorem GW933F9V60
| URI | m2://inv/GW933F9V60 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kakutani's theorem (geometry), Kakutani's theorem (statement). Also Wikidata Q1943494
History
- 2026-11-02: add by m2/dev
diagram GW9G6JRYER
| URI | m2://inv/GW9G6JRYER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#DNML, diagram (definition)
History
- 2026-11-02: add by m2/dev
GW9JHC9KVM GW9JHC9KVM
| URI | m2://inv/GW9JHC9KVM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.29393#LA8O (statement)
History
- 2026-11-01: add by m2/v0.6.15
GW9JYR916B GW9JYR916B
| URI | m2://inv/GW9JYR916B |
|---|---|
| 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#G43F (statement). In TN93YFN45W/e1, proposition 8.2
History
- 2026-10-27: add by m2/v0.4.0
Laplace transforms, differential relations, and moments GW9NBWNE9Z
| URI | m2://inv/GW9NBWNE9Z |
|---|---|
| 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.22027#PHJ0, Laplace transforms, differential relations, and moments (statement)
History
- 2026-11-02: add by m2/v0.6.17
Spectroscope redshift GW9SP1M8GR
| URI | m2://inv/GW9SP1M8GR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Redshift#R1VR, Spectroscope redshift (unknown)
History
- 2026-11-02: add by m2/dev
Extensions GW9ZK5968Y
| URI | m2://inv/GW9ZK5968Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominance-based rough set approach#ZDL6, Extensions (statement)
History
- 2026-11-02: add by m2/dev
GWA19N3Z3W GWA19N3Z3W
| URI | m2://inv/GWA19N3Z3W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/pontryagin.tex#example-1 (example). In RZP28ERRZV, example, section 68.1
History
- 2026-11-01: add by m2/v0.6.13
GWA1CC9PBC GWA1CC9PBC
| URI | m2://inv/GWA1CC9PBC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-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 2210.17066#A8JO (statement). In X2AEJAQEP8/e1, theorem 3.11
History
- 2026-10-27: add by m2/v0.3.5
GWA1FDG8T5 GWA1FDG8T5
| URI | m2://inv/GWA1FDG8T5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-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.13100#KQ6O (statement). In CC6S1HVK0T/e1, lemma 8.4
History
- 2026-10-28: add by m2/v0.4.2
Variable-depth $H^2$ Stokes estimate GWA5HQJP5B
| URI | m2://inv/GWA5HQJP5B |
|---|---|
| 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.14555#AITP, Variable-depth $H^2$ Stokes estimate (statement). In NHW0VEJ09F/e1, lemma A.4
History
- 2026-10-28: add by m2/v0.4.2
Proposition GWADG94VVY
| URI | m2://inv/GWADG94VVY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual system#Q66D, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Gallagher Index GWAE9ERBCD
| URI | m2://inv/GWAE9ERBCD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9FV8, Gallagher Index (definition)
History
- 2026-11-02: add by m2/dev
GWAGQAVVR3 GWAGQAVVR3
| URI | m2://inv/GWAGQAVVR3 |
|---|---|
| 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.25472#8ILN (statement)
History
- 2026-11-01: add by m2/v0.6.15
GWAHM5F2SX GWAHM5F2SX
| URI | m2://inv/GWAHM5F2SX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 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.11478#5Y3E (statement). In R81S9R1XNR/e1, theorem 4.7
History
- 2026-10-28: add by m2/v0.4.3
modular system GWAJW0F6KS
| URI | m2://inv/GWAJW0F6KS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#LE6W, modular system (definition)
History
- 2026-11-02: add by m2/dev
Applications GWASRN2MA4
| URI | m2://inv/GWASRN2MA4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heap (data structure)#QB15, Applications (example)
History
- 2026-11-02: add by m2/dev
Plateau–Rayleigh instability GWATXDTVT8
| URI | m2://inv/GWATXDTVT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plateau–Rayleigh instability, Plateau–Rayleigh instability (definition). Also Wikidata Q900862
History
- 2026-11-02: add by m2/dev
GWB9Q5375S GWB9Q5375S
| URI | m2://inv/GWB9Q5375S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-5.xml#activity-5 (exercise). In 649HGZKE96, activity, section 7.5.6
History
- 2026-11-01: add by m2/v0.6.13
Properties GWBDP50MXZ
| URI | m2://inv/GWBDP50MXZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertical and horizontal bundles#1OCF, Properties (statement)
History
- 2026-11-02: add by m2/dev
Cartan's theorem GWBKFF5C4F
| URI | m2://inv/GWBKFF5C4F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#IYIU, Cartan's theorem (statement)
History
- 2026-11-02: add by m2/dev
Lusztig GWBPNT82HX
| URI | m2://inv/GWBPNT82HX |
|---|---|
| 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.15037#CBPU, Lusztig (statement). In 9XCA9T80GJ/e1, theorem 4.3.2
History
- 2026-10-28: add by m2/v0.4.2
Catalan number GWBS24PWD9
| URI | m2://inv/GWBS24PWD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Catalan numbers 0YWZJEABB2 |
Mentions
- wikidata: Wikidata Q270513, Catalan number (definition). Also MathWorld CatalanNumber, nLab Catalan number, OEIS A000108, ProofWiki Definition:Catalan_Number
- wikipedia: Wikipedia Catalan number, Catalan number (object). Also Wikidata Q270513
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Mental health and life expectancy GWC4CMQ09T
| URI | m2://inv/GWC4CMQ09T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Life expectancy#BSLJ, Mental health and life expectancy (unknown)
History
- 2026-11-02: add by m2/dev
GWC5E7BMFV GWC5E7BMFV
| URI | m2://inv/GWC5E7BMFV |
|---|---|
| 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 2501.17009#Y9RM (statement). In PESAKD6SSW/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.6
GWC60W0M85 GWC60W0M85
| URI | m2://inv/GWC60W0M85 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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.35287#YK3B (statement). In BPPBAWGPHJ/e1, corollary 5.2
History
- 2026-10-30: add by m2/v0.4.12
GWC7GA2RJR GWC7GA2RJR
| URI | m2://inv/GWC7GA2RJR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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.22326#9AHG (statement). In EAABRG99V8/e1, proposition 5.9
History
- 2026-10-27: add by m2/v0.4.0
Artin transfer GWCBH0JBXJ
| URI | m2://inv/GWCBH0JBXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory), Artin transfer (definition). Also Wikidata Q18354462
History
- 2026-11-02: add by m2/dev
chain rule GWCBWFYPJ0
| URI | m2://inv/GWCBWFYPJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#06GJ, chain rule (definition)
History
- 2026-11-02: add by m2/dev
GWCDD9YJCM GWCDD9YJCM
| URI | m2://inv/GWCDD9YJCM |
|---|---|
| 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 2610.12908#H5V4 (statement). In TNC658NVMQ/e1, proposition 9.5
History
- 2026-10-28: add by m2/v0.4.2
Density GWCWC049DC
| URI | m2://inv/GWCWC049DC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#W8SA, Density (definition)
History
- 2026-11-02: add by m2/dev
GWCYJF85CC GWCYJF85CC
| URI | m2://inv/GWCYJF85CC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.13817#ARIH (statement). In BMSAXTDV47/e1, theorem 2.14
History
- 2026-10-28: add by m2/v0.4.2
Definition GWDPM8P952
| URI | m2://inv/GWDPM8P952 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally testable code#IOJ5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Function problem GWDPX7A0E1
| URI | m2://inv/GWDPX7A0E1 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#5L5U, Function problem (problem)
History
- 2026-11-02: add by m2/dev
GWDWR28ZRT GWDWR28ZRT
| URI | m2://inv/GWDWR28ZRT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-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 2610.14278#6LLN (definition). In RTE2C0PH4S/e1, definition 6.3
History
- 2026-10-28: add by m2/v0.4.2
The holomorphic-annihilator obstruction GWE0RHHFFN
| URI | m2://inv/GWE0RHHFFN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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.25762#2N2Y, The holomorphic-annihilator obstruction (statement)
History
- 2026-11-01: add by m2/v0.6.15
Eugene Lukacs GWE7BA84YF
| URI | m2://inv/GWE7BA84YF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#QFDH, Eugene Lukacs (unknown)
History
- 2026-11-02: add by m2/dev
Properties GWE9M8M73Q
| URI | m2://inv/GWE9M8M73Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence of random variables#BEU3, Properties (statement)
History
- 2026-11-02: add by m2/dev
GWENRT7QF4 GWENRT7QF4
| URI | m2://inv/GWENRT7QF4 |
|---|---|
| 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 2511.08099#X5H3 (statement). In 5NK801XBGA/e1, proposition 3.8
History
- 2026-10-27: add by m2/v0.3.5
GWEQZ0ZDTG GWEQZ0ZDTG
| URI | m2://inv/GWEQZ0ZDTG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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.15643#X2SS (statement). In 7QFBJCRPW1/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
GWEWHGE5ME GWEWHGE5ME
| URI | m2://inv/GWEWHGE5ME |
|---|---|
| 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.01924#IXXI (statement). In CB89152EQW/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.12
Wolfgang Lück GWEY469ARE
| URI | m2://inv/GWEY469ARE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolfgang Lück, Wolfgang Lück (topic). Also Wikidata Q96672
History
- 2026-11-02: add by m2/dev
pairs of spanning trees GWF8P377JK
| URI | m2://inv/GWF8P377JK |
|---|---|
| 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 2610.18803#HJ4D, pairs of spanning trees (statement). In VG8AF124T3/e1, proposition 6.11
History
- 2026-10-28: add by m2/v0.4.2
Closed formula GWFA7B2ADT
| URI | m2://inv/GWFA7B2ADT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LU decomposition#4RYJ, Closed formula (statement)
History
- 2026-11-02: add by m2/dev
GWFAQA6HSJ GWFAQA6HSJ
| URI | m2://inv/GWFAQA6HSJ |
|---|---|
| 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 2510.12502#RVK8 (statement). In 3A4K47Y9F2/e1, lemma 5.19
History
- 2026-10-27: add by m2/v0.4.0
Harmonic blindness GWFDYMZTTS
| URI | m2://inv/GWFDYMZTTS |
|---|---|
| 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.14012#JIQT, Harmonic blindness (statement). In B8M5XAJASD/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
incomplete gamma function GWFEA90GCJ
| URI | m2://inv/GWFEA90GCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Incomplete gamma function YB7ZV0HG7K |
Mentions
- wikidata: Wikidata Q1319246, incomplete gamma function (unknown). Also MathWorld IncompleteGammaFunction
- wikipedia: Wikipedia Incomplete gamma function, Incomplete gamma function (definition). Also Wikidata Q1319246
History
- 2026-10-26: add by m2/dev
GWFEWFVJDC GWFEWFVJDC
| URI | m2://inv/GWFEWFVJDC |
|---|---|
| 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 2610.15169#S1HU (statement). In V7SN19J84T/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
Christensen's lemma GWFJ2GJ0A6
| URI | m2://inv/GWFJ2GJ0A6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniformly distributed measure#2KMJ, Christensen's lemma (statement)
History
- 2026-11-02: add by m2/dev
Replete ideal GWFJAXR8VJ
| URI | m2://inv/GWFJAXR8VJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#P99V, Replete ideal (definition)
History
- 2026-11-02: add by m2/dev
Simultaneous stationary norms GWFK0M9E2T
| URI | m2://inv/GWFK0M9E2T |
|---|---|
| Kind | statement |
| 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.30301#NVL2, Simultaneous stationary norms (statement). In 7NS75J7HAM/e1, lemma 9.17
History
- 2026-10-31: add by m2/v0.5.6
3D computer graphics GWFQMK1MA8
| URI | m2://inv/GWFQMK1MA8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#WR6M, 3D computer graphics (unknown)
History
- 2026-11-02: add by m2/dev
factorization GWFVKKF3P2
| URI | m2://inv/GWFVKKF3P2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q188804, factorization (unknown). Also EoM Factorization, MathWorld Factorization
- wikipedia: Wikipedia Factorization, Factorization (definition). Also Wikidata Q188804
History
- 2026-10-26: add by m2/dev
GWFWVABRGS GWFWVABRGS
| URI | m2://inv/GWFWVABRGS |
|---|---|
| Kind | definition |
| 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 2609.35027#W4U7 (definition). In MEA7NHMQKB/e1, definition 1.2
History
- 2026-10-30: add by m2/v0.4.12
Kurt Otto Friedrichs GWFWYZRPNV
| URI | m2://inv/GWFWYZRPNV |
|---|---|
| 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 Q72978, Kurt Otto Friedrichs (unknown). Also nLab Kurt Otto Friedrichs
- wikipedia: Wikipedia Kurt Otto Friedrichs, Kurt Otto Friedrichs (topic). Also Wikidata Q72978
History
- 2026-10-26: add by m2/dev
Birkhoff algorithm GWFZVX7EXV
| URI | m2://inv/GWFZVX7EXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birkhoff algorithm, Birkhoff algorithm (definition). Also Wikidata Q98079213
History
- 2026-11-02: add by m2/dev
Unimodal function GWG4YN3J5A
| URI | m2://inv/GWG4YN3J5A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unimodality#VVXU, Unimodal function (unknown)
History
- 2026-11-02: add by m2/dev
David Hestenes GWG6T2CYFH
| URI | m2://inv/GWG6T2CYFH |
|---|---|
| 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 Q1174726, David Hestenes (unknown). Also nLab David Hestenes
History
- 2026-10-26: add by m2/dev
Martin, Margaret P. GWGF535NK0
| URI | m2://inv/GWGF535NK0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#830Y, Martin, Margaret P. (topic)
History
- 2026-11-02: add by m2/dev
GWGFQ4DH2H GWGFQ4DH2H
| URI | m2://inv/GWGFQ4DH2H |
|---|---|
| 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 2609.24860#BUY0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
GWGMF4JP73 GWGMF4JP73
| URI | m2://inv/GWGMF4JP73 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 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.34193#O4LG (definition). In 9XMZTTSF5E/e1, definition 5.2
History
- 2026-10-30: add by m2/v0.4.12
GWGV3ASPRX GWGV3ASPRX
| URI | m2://inv/GWGV3ASPRX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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.28220#0U1J (statement)
History
- 2026-11-01: add by m2/v0.6.15
GWH188Z1NW GWH188Z1NW
| URI | m2://inv/GWH188Z1NW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2610.12619#RK25 (statement). In 7F8KACT5AJ/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Seifert–van Kampen theorem GWH54J7G2Z
| URI | m2://inv/GWH54J7G2Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ZOAL, Seifert–van Kampen theorem (statement)
History
- 2026-11-02: add by m2/dev
André–Oort conjecture GWHPD9AH02
| URI | m2://inv/GWHPD9AH02 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#MG60, André–Oort conjecture (statement)
History
- 2026-11-02: add by m2/dev
Alexandru Dimca GWHWG25S2T
| URI | m2://inv/GWHWG25S2T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexandru Dimca, Alexandru Dimca (topic). Also Wikidata Q22328386
History
- 2026-11-02: add by m2/dev
R. W. Bailey GWJ36N00R9
| URI | m2://inv/GWJ36N00R9 |
|---|---|
| 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#PJJF, R. W. Bailey (unknown)
History
- 2026-11-02: add by m2/dev
Carl Runge GWJ93GDGKE
| URI | m2://inv/GWJ93GDGKE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Runge, Carl Runge (topic). Also Wikidata Q57564
History
- 2026-11-02: add by m2/dev
Binomial coefficient GWJAPS1T1G
| URI | m2://inv/GWJAPS1T1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of integrals#MWMP, Binomial coefficient (definition)
History
- 2026-11-02: add by m2/dev
The first higher-degree generator GWJH8N2T9R
| URI | m2://inv/GWJH8N2T9R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2609.38212#54N0, The first higher-degree generator (example). In 5821K2RD8J/e1, example 5.3
History
- 2026-10-30: add by m2/v0.4.12
Definition GWJSKBPQN4
| URI | m2://inv/GWJSKBPQN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy space#E7IL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Radicality at the $z=0$ extremes GWJZQJ0J28
| URI | m2://inv/GWJZQJ0J28 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX, 14-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.29683#LM0L, Radicality at the $z=0$ extremes (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alternating multilinear map GWK32BXGF1
| URI | m2://inv/GWK32BXGF1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating multilinear map, Alternating multilinear map (definition). Also Wikidata Q4736615
History
- 2026-11-02: add by m2/dev
restate=thmRadInt,label=thm:radical-intersection GWK4JQBN57
| URI | m2://inv/GWK4JQBN57 |
|---|---|
| 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.07927#E1R0, restate=thmRadInt,label=thm:radical-intersection (statement). In GKM19DHQTM/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
S. James Press GWK5MXB60N
| URI | m2://inv/GWK5MXB60N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S. James Press, S. James Press (topic). Also Wikidata Q102164949
History
- 2026-11-02: add by m2/dev
Aryness Joy Wickens GWK772EZ0A
| URI | m2://inv/GWK772EZ0A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aryness Joy Wickens, Aryness Joy Wickens (topic). Also Wikidata Q25930002
History
- 2026-11-02: add by m2/dev
Subsolar point GWKA6XTSJP
| URI | m2://inv/GWKA6XTSJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subsolar point, Subsolar point (definition). Also Wikidata Q1399772
History
- 2026-11-02: add by m2/dev
Algorithms GWKG3R9AFM
| URI | m2://inv/GWKG3R9AFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind–MacNeille completion#QTGU, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
GWKJRAGNEX GWKJRAGNEX
| URI | m2://inv/GWKJRAGNEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 1008.4254#1MDW (statement). In SXTX59QBVT/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
San Luis Obispo Mardi Gras GWKN2Y2YMT
| URI | m2://inv/GWKN2Y2YMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia San Luis Obispo Mardi Gras, San Luis Obispo Mardi Gras (definition). Also Wikidata Q7414751
History
- 2026-11-02: add by m2/dev
The constant $c_p$ GWKWXZB7YC
| URI | m2://inv/GWKWXZB7YC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-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 2609.27766#9W0Y, The constant $c_p$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties GWKZS4Q9QZ
| URI | m2://inv/GWKZS4Q9QZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic signal#4I57, Properties (statement)
History
- 2026-11-02: add by m2/dev
Specific return concentration GWM3ZJFZFB
| URI | m2://inv/GWM3ZJFZFB |
|---|---|
| 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 2609.20550#WB82, Specific return concentration (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties GWM467CDJS
| URI | m2://inv/GWM467CDJS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernstein polynomial#0KJI, Properties (statement)
History
- 2026-11-02: add by m2/dev
Trilobite and cross tiles GWM6MW1DQH
| URI | m2://inv/GWM6MW1DQH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of aperiodic sets of tiles#WCFY, Trilobite and cross tiles (unknown)
History
- 2026-11-02: add by m2/dev
GWM8256NSN GWM8256NSN
| URI | m2://inv/GWM8256NSN |
|---|---|
| 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 2412.14956#9NBW (statement). In T8BQ6HHZYT/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.3.5
Alternative definition GWM97AN731
| URI | m2://inv/GWM97AN731 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coronials#MC7D, Alternative definition (definition)
History
- 2026-11-02: add by m2/dev
Exact mixed weak residual--boundary certificate GWMHPTRT0Q
| URI | m2://inv/GWMHPTRT0Q |
|---|---|
| Kind | example |
| 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.04357#GFX4, Exact mixed weak residual--boundary certificate (example). In 6FY8BVP1F3/e1, example E.10
History
- 2026-10-29: add by m2/v0.4.12
Weight GWMHVRJRFZ
| URI | m2://inv/GWMHVRJRFZ |
|---|---|
| Kind | definition |
| 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 2609.37074#TS3D, Weight (definition). In VTNV72MCVD/e1, definition 4.6
History
- 2026-10-30: add by m2/v0.4.12
GWMJGB3KBD GWMJGB3KBD
| URI | m2://inv/GWMJGB3KBD |
|---|---|
| Kind | statement |
| 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 2609.36509#5HOC (statement). In DPJ15KW23C/e1, theorem B
History
- 2026-10-30: add by m2/v0.4.12
Energy release rate GWMQJP0S8Z
| URI | m2://inv/GWMQJP0S8Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Energy release rate (fracture mechanics), Energy release rate (definition). Also Wikidata Q7621121
History
- 2026-11-02: add by m2/dev
GWMTZ9KXJF GWMTZ9KXJF
| URI | m2://inv/GWMTZ9KXJF |
|---|---|
| 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.07064#558T (statement). In GPK6W5XQM3/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.10
Potential well GWMXFRB4DK
| URI | m2://inv/GWMXFRB4DK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#SIA9, Potential well (unknown)
History
- 2026-11-02: add by m2/dev
GWMZEPGGDY GWMZEPGGDY
| URI | m2://inv/GWMZEPGGDY |
|---|---|
| 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 2011.12496#S2AO (statement). In 1DH15ZJFRZ/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
GWN362M0QF GWN362M0QF
| URI | m2://inv/GWN362M0QF |
|---|---|
| Kind | definition |
| 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.28669#5NT2 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Examples GWN3RFEZW1
| URI | m2://inv/GWN3RFEZW1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chosen-plaintext attack#AJ91, Examples (example)
History
- 2026-11-02: add by m2/dev
GWN3YCG1DG GWN3YCG1DG
| URI | m2://inv/GWN3YCG1DG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-107 (exercise). In E9HS8K3A52, exercise, section 10.9.4
History
- 2026-11-01: add by m2/v0.6.13
Joseph Ehrenfried Hofmann GWN64TMER8
| URI | m2://inv/GWN64TMER8 |
|---|---|
| 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#XJ85, Joseph Ehrenfried Hofmann (topic)
History
- 2026-11-02: add by m2/dev
Ole Jacob Broch GWND5D7CT5
| URI | m2://inv/GWND5D7CT5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#TTDE, Ole Jacob Broch (unknown)
History
- 2026-11-02: add by m2/dev
Strongly minimal theory GWNF43Q08Z
| URI | m2://inv/GWNF43Q08Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strongly minimal theory, Strongly minimal theory (definition). Also Wikidata Q7624689
History
- 2026-11-02: add by m2/dev
Edward Marczewski GWNGR6ADM7
| URI | m2://inv/GWNGR6ADM7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Marczewski, Edward Marczewski (topic). Also Wikidata Q1254680
History
- 2026-11-02: add by m2/dev
Initial and terminal objects GWNPQ8890J
| URI | m2://inv/GWNPQ8890J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Initial and terminal objects, Initial and terminal objects (definition). Also Wikidata Q529752
History
- 2026-11-02: add by m2/dev
Lai-Sang Young GWP4CWJ2R6
| URI | m2://inv/GWP4CWJ2R6 |
|---|---|
| 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#ET4V, Lai-Sang Young (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HL6A, Lai-Sang Young (unknown)
History
- 2026-11-02: add by m2/dev
GWPCD88SGY GWPCD88SGY
| URI | m2://inv/GWPCD88SGY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX, 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.36021#VAAC (statement). In CB68ATPEV9/e1, corollary 4.3
History
- 2026-10-30: add by m2/v0.4.12
GWPFW0RP4Z GWPFW0RP4Z
| URI | m2://inv/GWPFW0RP4Z |
|---|---|
| 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 2610.02692#7E6I (statement). In P482WJSQSN/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Homography GWPGRDC1TT
| URI | m2://inv/GWPGRDC1TT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homography (computer vision), Homography (definition). Also Wikidata Q14830873
History
- 2026-11-02: add by m2/dev
Rectified 5-simplexes GWPRZZX2SG
| URI | m2://inv/GWPRZZX2SG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 5-simplexes, Rectified 5-simplexes (definition). Also Wikidata Q7303158
History
- 2026-11-02: add by m2/dev
DLOGTIME GWPYFDTH15
| URI | m2://inv/GWPYFDTH15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DLOGTIME, DLOGTIME (definition). Also Wikidata Q5205561
History
- 2026-11-02: add by m2/dev
Forgetful functor GWQ3YCDT84
| URI | m2://inv/GWQ3YCDT84 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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 2610.20801#9HBS, Forgetful functor (definition). In A1GWWGRXPA/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.4.2
Ajima Naonobu GWQ5GGQKD2
| URI | m2://inv/GWQ5GGQKD2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ajima Naonobu, Ajima Naonobu (topic). Also Wikidata Q412791
History
- 2026-11-02: add by m2/dev
Bernt Michael Holmboe GWQ7ETZQ8H
| URI | m2://inv/GWQ7ETZQ8H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernt Michael Holmboe, Bernt Michael Holmboe (topic). Also Wikidata Q523127
History
- 2026-11-02: add by m2/dev
GWQBZ3V361 GWQBZ3V361
| URI | m2://inv/GWQBZ3V361 |
|---|---|
| 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.25111#JJJ6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
GWQED7MN7S GWQED7MN7S
| URI | m2://inv/GWQED7MN7S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/z/separation.tex#thm:NoUniversalSet (statement). In PKGMM3P5QY, thm, section 76.8
History
- 2026-11-01: add by m2/v0.6.13
Romanian Master of Mathematics and Sciences GWQHCBMR6K
| URI | m2://inv/GWQHCBMR6K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#QLNC, Romanian Master of Mathematics and Sciences (definition)
History
- 2026-11-02: add by m2/dev
GWQSPHDD3G GWQSPHDD3G
| URI | m2://inv/GWQSPHDD3G |
|---|---|
| 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.12371#MVJ0 (statement). In 8TTFQH19QR/e1, theorem 6
History
- 2026-10-28: add by m2/v0.4.2
Zhouping Xin GWR2PE9H0J
| URI | m2://inv/GWR2PE9H0J |
|---|---|
| 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#D63I, Zhouping Xin (unknown)
History
- 2026-11-02: add by m2/dev
GWR34P568H GWR34P568H
| URI | m2://inv/GWR34P568H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 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 2607.25960#FP4K (statement). In 13GSWBXPCM/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
GWR39KP0QE GWR39KP0QE
| URI | m2://inv/GWR39KP0QE |
|---|---|
| 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.14099#XUVL (definition). In D77GXFTKFH/e1, definition Definition
History
- 2026-10-28: add by m2/v0.4.2
Definition GWR4M4C87K
| URI | m2://inv/GWR4M4C87K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence coefficient#3OI5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Animal study GWR6HP986D
| URI | m2://inv/GWR6HP986D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of psychological research methods#ATAC, Animal study (unknown)
History
- 2026-11-02: add by m2/dev
GWR7AZHJ5S GWR7AZHJ5S
| URI | m2://inv/GWR7AZHJ5S |
|---|---|
| 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.30444#H9MY (statement). In RZWJ0AT8W5/e1, proposition 2.3
History
- 2026-10-31: add by m2/v0.5.6
GWRA22ZFR3 GWRA22ZFR3
| URI | m2://inv/GWRA22ZFR3 |
|---|---|
| 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 2610.09809#YHTT (statement). In 7NKQ6PR78N/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
Theorem GWRMYDHDRK
| URI | m2://inv/GWRMYDHDRK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally convex topological vector space#2A27, Theorem (statement)
History
- 2026-11-02: add by m2/dev
GWRNWH741Z GWRNWH741Z
| URI | m2://inv/GWRNWH741Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2609.20516#FA6X (statement)
History
- 2026-11-02: add by m2/v0.6.18
GWRZG1QD4D GWRZG1QD4D
| URI | m2://inv/GWRZG1QD4D |
|---|---|
| Kind | definition |
| 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 2610.11455#6BOR (definition). In Z1EBVH5SP1/e1, definition 6.2
History
- 2026-10-28: add by m2/v0.4.3
Minimum overlap problem GWS87FKTQV
| URI | m2://inv/GWS87FKTQV |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum overlap problem, Minimum overlap problem (conjecture). Also Wikidata Q6087008
History
- 2026-11-02: add by m2/dev
Bayesian inference in marketing GWS9CVCBGG
| URI | m2://inv/GWS9CVCBGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian inference in marketing, Bayesian inference in marketing (definition). Also Wikidata Q4874478
History
- 2026-11-02: add by m2/dev
GWSF2RCXM7 GWSF2RCXM7
| URI | m2://inv/GWSF2RCXM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/introduction.tex#defn-3 (definition). In PKGMM3P5QY, defn, section 50.4
History
- 2026-11-01: add by m2/v0.6.13
Hyperparameter optimization GWSJWMK29P
| URI | m2://inv/GWSJWMK29P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperparameter optimization, Hyperparameter optimization (definition). Also Wikidata Q48996162
History
- 2026-11-02: add by m2/dev
GWSK73H4VE GWSK73H4VE
| URI | m2://inv/GWSK73H4VE |
|---|---|
| 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 2610.09515#91SB (statement). In N51RDVGNXG/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
GWSQ24V35D GWSQ24V35D
| URI | m2://inv/GWSQ24V35D |
|---|---|
| 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 2610.12479#TAMQ (statement). In WE001PR75Z/e1, proposition 5
History
- 2026-10-28: add by m2/v0.4.2
GWSR6ZRGZD GWSR6ZRGZD
| URI | m2://inv/GWSR6ZRGZD |
|---|---|
| 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.20656#CY8F (statement)
History
- 2026-11-02: add by m2/v0.6.18
GWSRETZ6B7 GWSRETZ6B7
| URI | m2://inv/GWSRETZ6B7 |
|---|---|
| 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.07049#M9Z8 (statement). In GMF552ESG6/e1, fact 2.2
History
- 2026-10-29: add by m2/v0.4.10
Variation ratio GWSXGKWF1N
| URI | m2://inv/GWSXGKWF1N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3QJD, Variation ratio (definition)
History
- 2026-11-02: add by m2/dev
Tatyana Pavlovna Ehrenfest GWSZS40E9T
| URI | m2://inv/GWSZS40E9T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#T79O, Tatyana Pavlovna Ehrenfest (topic)
History
- 2026-11-02: add by m2/dev
GWT8GP4S1C GWT8GP4S1C
| URI | m2://inv/GWT8GP4S1C |
|---|---|
| Kind | definition |
| 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 2503.05873#EZ62 (definition). In 2FY5P3FAS0/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
GWTVQ9NCVD GWTVQ9NCVD
| URI | m2://inv/GWTVQ9NCVD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-27 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
GWTX29BC6P GWTX29BC6P
| URI | m2://inv/GWTX29BC6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 2610.01919#4CUE (statement). In 4H727T2YAS/e1, theorem 8.4
History
- 2026-10-29: add by m2/v0.4.12
GWV1X8MAVY GWV1X8MAVY
| URI | m2://inv/GWV1X8MAVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/normal-modal-logics.tex#defn:normal-modal-logic (definition). In PKGMM3P5QY, defn, section 54.5
History
- 2026-11-01: add by m2/v0.6.13
Example GWV8H7E76B
| URI | m2://inv/GWV8H7E76B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph minor#8L1U, Example (example)
History
- 2026-11-02: add by m2/dev
Nullity under Pauli rotations and conditioning GWV9QWPSJD
| URI | m2://inv/GWV9QWPSJD |
|---|---|
| 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.02166#1MUU, Nullity under Pauli rotations and conditioning (statement). In R6RF3P6D5A/e1, lemma B.4
History
- 2026-10-29: add by m2/v0.4.12
Sufficient Decrease GWW771E848
| URI | m2://inv/GWW771E848 |
|---|---|
| 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.37489#AD7M, Sufficient Decrease (statement). In 5ZC91T5PHQ/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
GWWCGYJKPT GWWCGYJKPT
| URI | m2://inv/GWWCGYJKPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 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 2610.04179#XLA0 (statement). In D64RQ09KBP/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
GWWDKF7NG3 GWWDKF7NG3
| URI | m2://inv/GWWDKF7NG3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.33313#62S5 (statement). In HRCEFY172P/e1, proposition 4.14
History
- 2026-10-30: add by m2/v0.4.12
3600 GWWFCP883F
| URI | m2://inv/GWWFCP883F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3000 (number)#KEKY, 3600 (unknown)
History
- 2026-11-02: add by m2/dev
Condensation lemma GWWRQTE7VF
| URI | m2://inv/GWWRQTE7VF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Condensation lemma, Condensation lemma (statement). Also Wikidata Q5159176
History
- 2026-11-02: add by m2/dev
first-order formula GWX0NNKYAF
| URI | m2://inv/GWX0NNKYAF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#B8FH, first-order formula (statement)
History
- 2026-11-02: add by m2/dev
GWX0X85D62 GWX0X85D62
| URI | m2://inv/GWX0X85D62 |
|---|---|
| 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 2403.15043#52P8 (statement). In QDE21RT0T2/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
GWX1X9WFD1 GWX1X9WFD1
| URI | m2://inv/GWX1X9WFD1 |
|---|---|
| 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 2609.38548#16F9 (statement). In Z7ZFV3HM1S/e1, lemma 5.7
History
- 2026-10-30: add by m2/v0.4.12
Vacuous truth GWXRVEX5K4
| URI | m2://inv/GWXRVEX5K4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#7J38, Vacuous truth (definition)
History
- 2026-11-02: add by m2/dev
GWXVWMXZ14 GWXVWMXZ14
| URI | m2://inv/GWXVWMXZ14 |
|---|---|
| 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.23279#BFWH (statement)
History
- 2026-11-02: add by m2/v0.6.17
GWXZN0NEBF GWXZN0NEBF
| URI | m2://inv/GWXZN0NEBF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.05652#THCJ (statement). In 8BNPFYQDQX/e1, proposition 9.1
History
- 2026-10-29: add by m2/v0.4.10
Directed pseudoforest GWXZZT960R
| URI | m2://inv/GWXZZT960R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudoforest#FJ06, Directed pseudoforest (unknown)
History
- 2026-11-02: add by m2/dev
GWY0F1EYBQ GWY0F1EYBQ
| URI | m2://inv/GWY0F1EYBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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 2201.04174#0JIM (statement). In NVTHDNQQ4Q/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.3.5
GWY4FCCPH7 GWY4FCCPH7
| URI | m2://inv/GWY4FCCPH7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#HBCH (statement). In SBZNH932ZV/e1, theorem 4.9
History
- 2026-10-30: add by m2/v0.4.12
Example GWY8B207W6
| URI | m2://inv/GWY8B207W6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torsion tensor#P1BM, Example (example)
History
- 2026-11-02: add by m2/dev
GWYG78NZ1M GWYG78NZ1M
| URI | m2://inv/GWYG78NZ1M |
|---|---|
| Kind | definition |
| 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 2109.08858#JQJL (definition). In E6795TKR6R/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
GWYXMDQY7R GWYXMDQY7R
| URI | m2://inv/GWYXMDQY7R |
|---|---|
| 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 2609.33406#NU3Q (statement). In B23TX8G4E4/e1, lemma 4.10
History
- 2026-10-30: add by m2/v0.4.12
GWYZC69AP0 GWYZC69AP0
| URI | m2://inv/GWYZC69AP0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2610.19214#F9NX (statement). In WZPD7TNNY9/e1, proposition 2.8
History
- 2026-10-28: add by m2/v0.4.2
Bivector GWZ052DDYM
| URI | m2://inv/GWZ052DDYM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bivector (complex), Bivector (definition). Also Wikidata Q4919230
History
- 2026-11-02: add by m2/dev
Examples GWZ4X6QSJJ
| URI | m2://inv/GWZ4X6QSJJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed set#GTWQ, Examples (example)
History
- 2026-11-02: add by m2/dev
character sum GWZ5AVYZN9
| URI | m2://inv/GWZ5AVYZN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Character sum VTYJ9419C7 |
Mentions
- wikidata: Wikidata Q5073749, character sum (unknown). Also MathWorld Polya-VinogradovInequality
- wikipedia: Wikipedia Character sum, Character sum (definition). Also Wikidata Q5073749
History
- 2026-10-26: add by m2/dev
Daniel Buchanan GWZ8GPTNRA
| URI | m2://inv/GWZ8GPTNRA |
|---|---|
| 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#JVH2, Daniel Buchanan (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K4YC, Daniel Buchanan (unknown)
History
- 2026-11-02: add by m2/dev
GWZRFZTSX6 GWZRFZTSX6
| URI | m2://inv/GWZRFZTSX6 |
|---|---|
| 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.06419#84LC (statement). In JSZRXT3W3E/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
GWZW66XQWB GWZW66XQWB
| URI | m2://inv/GWZW66XQWB |
|---|---|
| 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 1907.01440#U2MM (statement). In QDRYC6WJJ7/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5