Inventory rows G5
The cards of the rows of the inventory whose ids start with G5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Symplectomorphism G504RE2VR7
| URI | m2://inv/G504RE2VR7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#BJ3U, Symplectomorphism (definition)
History
- 2026-11-02: add by m2/dev
G50FBKTF5M G50FBKTF5M
| URI | m2://inv/G50FBKTF5M |
|---|---|
| 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 2610.01433#WN0X (definition). In 160PQ7F1AS/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.12
G50P5CJ27S G50P5CJ27S
| URI | m2://inv/G50P5CJ27S |
|---|---|
| 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.25291#8SF5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
G50SW91V4T G50SW91V4T
| URI | m2://inv/G50SW91V4T |
|---|---|
| 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.27301#GHK1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
period G50X773A6C
| URI | m2://inv/G50X773A6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#I1IX, period (definition)
History
- 2026-11-02: add by m2/dev
American Institute of Mathematics G50ZEXA9BF
| URI | m2://inv/G50ZEXA9BF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia American Institute of Mathematics, American Institute of Mathematics (definition). Also Wikidata Q604635
History
- 2026-11-02: add by m2/dev
G510T6SF0V G510T6SF0V
| URI | m2://inv/G510T6SF0V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.00562#R4QB (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
Eddy diffusion G51BN09BQP
| URI | m2://inv/G51BN09BQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eddy diffusion, Eddy diffusion (definition). Also Wikidata Q1283046
History
- 2026-11-02: add by m2/dev
David Rindskopf G51J0PQKJ9
| URI | m2://inv/G51J0PQKJ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#QYDK, David Rindskopf (topic)
History
- 2026-11-02: add by m2/dev
G51Q44H834 G51Q44H834
| URI | m2://inv/G51Q44H834 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 65-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.13629#F66U (statement). In PQNYA0C510/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
G51SZWPRNM G51SZWPRNM
| URI | m2://inv/G51SZWPRNM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.39951#6K3O (statement). In H343T48ZWE/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Multiclass perceptron G527JP5VVR
| URI | m2://inv/G527JP5VVR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perceptron#5XCZ, Multiclass perceptron (unknown)
History
- 2026-11-02: add by m2/dev
G52G27AC1S G52G27AC1S
| URI | m2://inv/G52G27AC1S |
|---|---|
| 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 2605.29624#FJFO (statement). In TAD5A4R089/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
G52GWKES8N G52GWKES8N
| URI | m2://inv/G52GWKES8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/models-theories/introduction.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 12.10
History
- 2026-11-01: add by m2/v0.6.13
Jacques Tits G52KYNACVT
| URI | m2://inv/G52KYNACVT |
|---|---|
| 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#361V, Jacques Tits (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#A2SD, Jacques Tits (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OAN7, Jacques Tits (topic)
History
- 2026-11-02: add by m2/dev
Contexts G52XQTAJSQ
| URI | m2://inv/G52XQTAJSQ |
|---|---|
| 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 2610.21131#W3JJ, Contexts (definition). In CPYWHRTPKC/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.2
Bijaganita G530QCK13B
| URI | m2://inv/G530QCK13B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3632925, Bijaganita (unknown). Also ProofWiki Book:Bhaskara_II_Acharya/Bijaganita
History
- 2026-10-26: add by m2/dev
G535M2CWYK G535M2CWYK
| URI | m2://inv/G535M2CWYK |
|---|---|
| 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 2409.20170#AQ7P (definition). In QXJP79APHN/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
Keith Conrad G538MF46AJ
| URI | m2://inv/G538MF46AJ |
|---|---|
| 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 Q6384220, Keith Conrad (unknown). Also nLab Keith Conrad
History
- 2026-10-26: add by m2/dev
Fatou conjecture G53D62MRT3
| URI | m2://inv/G53D62MRT3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#T4YS, Fatou conjecture (statement)
History
- 2026-11-02: add by m2/dev
Formal definition G53KJ50P4S
| URI | m2://inv/G53KJ50P4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caccioppoli set#ISTY, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Peano kernel theorem G53W234P3D
| URI | m2://inv/G53W234P3D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peano kernel theorem, Peano kernel theorem (statement). Also Wikidata Q60741336
History
- 2026-11-02: add by m2/dev
Area sampling frame G53W884AXK
| URI | m2://inv/G53W884AXK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Area sampling frame, Area sampling frame (definition). Also Wikidata Q124040280
History
- 2026-11-02: add by m2/dev
equinumerous G53WEWX3CA
| URI | m2://inv/G53WEWX3CA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#F2V1, equinumerous (definition)
History
- 2026-11-02: add by m2/dev
L'Huilier's theorem G540T9JKB6
| URI | m2://inv/G540T9JKB6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L'Huilier's theorem, L'Huilier's theorem (statement). Also Wikidata Q61056848
History
- 2026-11-02: add by m2/dev
Zeno of Elea G546XSEG1A
| URI | m2://inv/G546XSEG1A |
|---|---|
| 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 Q132157, Zeno of Elea (unknown). Also ProofWiki Mathematician:Zeno_of_Elea
- wikipedia: Wikipedia Zeno of Elea, Zeno of Elea (topic). Also Wikidata Q132157
History
- 2026-10-26: add by m2/dev
Alain Chenciner G54935AT64
| URI | m2://inv/G54935AT64 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alain Chenciner, Alain Chenciner (topic). Also Wikidata Q15455980
History
- 2026-11-02: add by m2/dev
G54DMHGNZP G54DMHGNZP
| URI | m2://inv/G54DMHGNZP |
|---|---|
| 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 0904.3493#7PVU (statement). In 1ARY7220P4/e1, proposition 6.4
History
- 2026-10-27: add by m2/v0.3.5
G54MN2R8T3 G54MN2R8T3
| URI | m2://inv/G54MN2R8T3 |
|---|---|
| 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 2609.27518#P2F5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gamma-limit for a noncommuting rotating \(C^{1,1}\) ray family G55BDMA57G
| URI | m2://inv/G55BDMA57G |
|---|---|
| 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 2609.20215#0VXN, Gamma-limit for a noncommuting rotating \(C^{1,1}\) ray family (statement)
History
- 2026-11-02: add by m2/v0.6.18
LIMDEP G55KSV2ZTQ
| URI | m2://inv/G55KSV2ZTQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#PGOM, LIMDEP (definition)
History
- 2026-11-02: add by m2/dev
Leray–Schauder degree G55P1TK2ES
| URI | m2://inv/G55P1TK2ES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leray–Schauder degree, Leray–Schauder degree (definition). Also Wikidata Q111912958
History
- 2026-11-02: add by m2/dev
Algorithms for semidefinite programming G55QP3QGDG
| URI | m2://inv/G55QP3QGDG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semidefinite programming#7Q1W, Algorithms for semidefinite programming (unknown)
History
- 2026-11-02: add by m2/dev
G55WHFR354 G55WHFR354
| URI | m2://inv/G55WHFR354 |
|---|---|
| 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.20881#8JV8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
type, unit G55WSX4WSD
| URI | m2://inv/G55WSX4WSD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.8/type-unit, type, unit (concept). In N54F33XE07, index, section 4.2.8
History
- 2026-11-01: add by m2/v0.6.13
Mathcad G55XEWKDCF
| URI | m2://inv/G55XEWKDCF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#DX1U, Mathcad (unknown)
History
- 2026-11-02: add by m2/dev
G55XHA1B4H G55XHA1B4H
| URI | m2://inv/G55XHA1B4H |
|---|---|
| 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.33941#54IX (statement). In 64YCRQCKZN/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
Totient summatory function G560BXM6EG
| URI | m2://inv/G560BXM6EG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Totient summatory function, Totient summatory function (definition). Also Wikidata Q66074211
History
- 2026-11-02: add by m2/dev
G560JYM6C4 G560JYM6C4
| URI | m2://inv/G560JYM6C4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 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 2511.15212#TJTV (statement). In W99XBH6X5N/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.4.0
Anna Nevius G562P1N40F
| URI | m2://inv/G562P1N40F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anna Nevius, Anna Nevius (topic). Also Wikidata Q107488110
History
- 2026-11-02: add by m2/dev
Nicola Fusco G564K1D9Y2
| URI | m2://inv/G564K1D9Y2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicola Fusco, Nicola Fusco (topic). Also Wikidata Q1477114
History
- 2026-11-02: add by m2/dev
G56562E7KH G56562E7KH
| URI | m2://inv/G56562E7KH |
|---|---|
| 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#9GOD (statement). In 3A4K47Y9F2/e1, lemma 5.24
History
- 2026-10-27: add by m2/v0.4.0
G56AKSK6PA G56AKSK6PA
| URI | m2://inv/G56AKSK6PA |
|---|---|
| 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 2105.08875#BV12 (statement). In QT8HPDAYPX/e1, lemma A.6
History
- 2026-10-27: add by m2/v0.3.5
G56BZA2Y88 G56BZA2Y88
| URI | m2://inv/G56BZA2Y88 |
|---|---|
| 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.19273#XR44 (statement). In T3BY4TXYT4/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
noncototient G56DM89Z5N
| URI | m2://inv/G56DM89Z5N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1172925, noncototient (unknown). Also MathWorld Noncototient, OEIS A005278
- wikipedia: Wikipedia Noncototient, Noncototient (definition). Also Wikidata Q1172925
History
- 2026-10-26: add by m2/dev
G56E27GWQ9 G56E27GWQ9
| URI | m2://inv/G56E27GWQ9 |
|---|---|
| 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.14803#GUQB (statement). In VAEVDTBD3B/e1, proposition 4.11
History
- 2026-10-28: add by m2/v0.4.2
G56F14NMR9 G56F14NMR9
| URI | m2://inv/G56F14NMR9 |
|---|---|
| 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.08956#9IQV (statement). In DEE631KR3A/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
G56F15BPPZ G56F15BPPZ
| URI | m2://inv/G56F15BPPZ |
|---|---|
| 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.10796#OKHL (statement). In 9YDW0QJZ6K/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.3
G56H3N2Z7H G56H3N2Z7H
| URI | m2://inv/G56H3N2Z7H |
|---|---|
| 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.24355#WLBK (statement)
History
- 2026-11-01: add by m2/v0.6.15
G56H4E38DZ G56H4E38DZ
| URI | m2://inv/G56H4E38DZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#proof-2 (proof). In E59CDZA4DP, proof, section 9.1.3
History
- 2026-11-01: add by m2/v0.6.13
Sylvester's determinant identity G56J1H2HXS
| URI | m2://inv/G56J1H2HXS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvester's determinant identity, Sylvester's determinant identity (statement). Also Wikidata Q65050391
History
- 2026-11-02: add by m2/dev
jet bundle G56KP0R4S6
| URI | m2://inv/G56KP0R4S6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Jet bundle HC3VBBCJQP |
Mentions
- wikidata: Wikidata Q6188933, jet bundle (definition). Also nLab jet bundle, ProofWiki Definition:Jet_Bundle
- wikipedia: Wikipedia Jet bundle, Jet bundle (definition). Also Wikidata Q6188933
History
- 2026-10-26: add by m2/dev
G56M23NB2S G56M23NB2S
| URI | m2://inv/G56M23NB2S |
|---|---|
| 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 2610.06529#7W2B (statement). In JFQY4CYHKP/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
G56PN1KNDP G56PN1KNDP
| URI | m2://inv/G56PN1KNDP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-induction.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 3.5.1
History
- 2026-11-01: add by m2/v0.6.13
Cudmore, Sedley G571Z5VF1Z
| URI | m2://inv/G571Z5VF1Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#7SWM, Cudmore, Sedley (unknown)
History
- 2026-11-02: add by m2/dev
Scholz's reciprocity law G573T4NKTX
| URI | m2://inv/G573T4NKTX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reciprocity law#D1SZ, Scholz's reciprocity law (statement)
History
- 2026-11-02: add by m2/dev
G577E8XTN1 G577E8XTN1
| URI | m2://inv/G577E8XTN1 |
|---|---|
| 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.05193#UJWL (statement). In XDMM0KNNZ9/e1, proposition 68
History
- 2026-10-29: add by m2/v0.4.10
G57PTVBCX9 G57PTVBCX9
| URI | m2://inv/G57PTVBCX9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#M3RX (definition). In JS5FKV1S9T/e1, definition D.3
History
- 2026-10-27: add by m2/v0.3.5
induction principle, for $\w$-types G57R3F6TR8
| URI | m2://inv/G57R3F6TR8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.3/induction-principle-for-w-types, induction principle, for $\w$-types (concept). In N54F33XE07, index, section 8.3
History
- 2026-11-01: add by m2/v0.6.13
G58B6HCNES G58B6HCNES
| URI | m2://inv/G58B6HCNES |
|---|---|
| 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.07164#MGEH (statement). In Q1XJ5VWE1N/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Moving averages G58D204ACF
| URI | m2://inv/G58D204ACF |
|---|---|
| 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.20772#9K89, Moving averages (statement)
History
- 2026-11-02: add by m2/v0.6.18
Cauchy wavelet G58H5JJPNQ
| URI | m2://inv/G58H5JJPNQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy wavelet, Cauchy wavelet (definition). Also Wikidata Q127217729
History
- 2026-11-02: add by m2/dev
Mikhail V. Safonov G58RS95Q5B
| URI | m2://inv/G58RS95Q5B |
|---|---|
| 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#YNQ9, Mikhail V. Safonov (unknown)
History
- 2026-11-02: add by m2/dev
Hartley's test G58Z52E71T
| URI | m2://inv/G58Z52E71T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hartley's test, Hartley's test (definition). Also Wikidata Q3985054
History
- 2026-11-02: add by m2/dev
Ira Longini G592MJFP6B
| URI | m2://inv/G592MJFP6B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#2ZE9, Ira Longini (unknown)
History
- 2026-11-02: add by m2/dev
G5957ZG4YM G5957ZG4YM
| URI | m2://inv/G5957ZG4YM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#defn:metric-space (definition). In N54F33XE07, defn, section B.5
History
- 2026-11-01: add by m2/v0.6.13
G59J8W1GT3 G59J8W1GT3
| URI | m2://inv/G59J8W1GT3 |
|---|---|
| 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 2208.06310#GOW0 (statement). In 9YR0E0T9XA/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.3.5
Dan Freed G59QTYEKRY
| URI | m2://inv/G59QTYEKRY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CGYZ, Dan Freed (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NKUE, Dan Freed (topic)
History
- 2026-11-02: add by m2/dev
G59SM42DSY G59SM42DSY
| URI | m2://inv/G59SM42DSY |
|---|---|
| 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.12169#FNQF (statement). In 645GF9SFWM/e1, lemma 23
History
- 2026-10-28: add by m2/v0.4.2
Level set G59YT0PAE2
| URI | m2://inv/G59YT0PAE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Level set, Level set (definition). Also Wikidata Q126955
History
- 2026-11-02: add by m2/dev
G5AN375A1E G5AN375A1E
| URI | m2://inv/G5AN375A1E |
|---|---|
| Kind | statement |
| 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 0808.1331#RKIH (statement). In RB2B1N73P0/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
G5APYWB44N G5APYWB44N
| URI | m2://inv/G5APYWB44N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-13 (exercise). In E9HS8K3A52, exercise, section 10.1.6
History
- 2026-11-01: add by m2/v0.6.13
G5ASZ332AF G5ASZ332AF
| URI | m2://inv/G5ASZ332AF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/beta-reduction.tex#lem:par-red (statement). In PKGMM3P5QY, lem, section 35.2
History
- 2026-11-01: add by m2/v0.6.13
Discretization of Bounded-Parameter Gaussians G5BDBW36ZT
| URI | m2://inv/G5BDBW36ZT |
|---|---|
| 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.21033#KIGW, Discretization of Bounded-Parameter Gaussians (statement). In A8C1M9BSWH/e1, lemma F.3
History
- 2026-10-27: add by m2/v0.4.2
Table of prime factors G5BETZKNRN
| URI | m2://inv/G5BETZKNRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics reference tables#A24S, Table of prime factors (definition)
History
- 2026-11-02: add by m2/dev
G5BKVFRVX4 G5BKVFRVX4
| URI | m2://inv/G5BKVFRVX4 |
|---|---|
| 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 0809.0068#4VL3 (statement). In MBKYGM01FK/e1, proposition 1.5
History
- 2026-10-27: add by m2/v0.3.5
G5BS9J33D4 G5BS9J33D4
| URI | m2://inv/G5BS9J33D4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#9QNW (statement). In PA6JQDSKQT/e1, theorem H
History
- 2026-10-28: add by m2/v0.4.2
antisymmetry of the second eigenfunction in a ball G5BTZMMN0S
| URI | m2://inv/G5BTZMMN0S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.24892#806U, antisymmetry of the second eigenfunction in a ball (statement)
History
- 2026-11-01: add by m2/v0.6.15
Piece-wise polynomial approximation of Gaussians, Lemma 36 G5C0T36894
| URI | m2://inv/G5C0T36894 |
|---|---|
| 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.21033#ZWKT, Piece-wise polynomial approximation of Gaussians, Lemma 36 (statement). In A8C1M9BSWH/e1, lemma F.4
History
- 2026-10-27: add by m2/v0.4.2
G5C0V8NXX0 G5C0V8NXX0
| URI | m2://inv/G5C0V8NXX0 |
|---|---|
| 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 1004.4564#86HG (statement). In BZ54C9SKYS/e1, lemma 6.13
History
- 2026-10-27: add by m2/v0.3.5
Enclosure G5C60NVDD9
| URI | m2://inv/G5C60NVDD9 |
|---|---|
| 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.25120#SSTH, Enclosure (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ronald Coifman G5C8TC0PX8
| URI | m2://inv/G5C8TC0PX8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#L2U4, Ronald Coifman (topic)
History
- 2026-11-02: add by m2/dev
Example 1 G5CAKXBQ9N
| URI | m2://inv/G5CAKXBQ9N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generic-case complexity#EWKD, Example 1 (example)
History
- 2026-11-02: add by m2/dev
master equation G5CATNXPB7
| URI | m2://inv/G5CATNXPB7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q722878, master equation (unknown). Also nLab master equation
- wikipedia: Wikipedia Master equation, Master equation (definition). Also Wikidata Q722878
History
- 2026-10-26: add by m2/dev
G5CJSG7NTN G5CJSG7NTN
| URI | m2://inv/G5CJSG7NTN |
|---|---|
| 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/preliminaries.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 62.6
History
- 2026-11-01: add by m2/v0.6.13
Fulton–MacPherson compactification G5CR3B171E
| URI | m2://inv/G5CR3B171E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#ZIF4, Fulton–MacPherson compactification (definition)
History
- 2026-11-02: add by m2/dev
Weighted Paley--Zygmund bound G5CRB5T4FR
| URI | m2://inv/G5CRB5T4FR |
|---|---|
| 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.22301#HB89, Weighted Paley--Zygmund bound (statement)
History
- 2026-11-02: add by m2/v0.6.17
Unit of observation G5CS0FTVG9
| URI | m2://inv/G5CS0FTVG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2RAU, Unit of observation (definition)
History
- 2026-11-02: add by m2/dev
Lagrange polynomial G5CXPZT69C
| URI | m2://inv/G5CXPZT69C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lagrange polynomial Y7KSGE97GK |
Mentions
- wikidata: Wikidata Q861606, Lagrange polynomial (unknown). Also MathWorld LagrangeInterpolatingPolynomial
- wikipedia: Wikipedia Lagrange polynomial, Lagrange polynomial (definition). Also Wikidata Q861606
History
- 2026-10-26: add by m2/dev
variance G5D1FK1K6D
| URI | m2://inv/G5D1FK1K6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal distribution#OWEO, variance (definition)
- wikipedia: Wikipedia Normal distribution#QRR9, relation (definition)
History
- 2026-11-02: add by m2/dev
Implementation G5D1QTE1DZ
| URI | m2://inv/G5D1QTE1DZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel methods for vector output#0E9S, Implementation (definition)
History
- 2026-11-02: add by m2/dev
G5D5ENFFHT G5D5ENFFHT
| URI | m2://inv/G5D5ENFFHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.19945#R48A (statement)
History
- 2026-11-02: add by m2/v0.6.18
G5DMBPDYPV G5DMBPDYPV
| URI | m2://inv/G5DMBPDYPV |
|---|---|
| Kind | example |
| 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 1002.0879#PBHU (example). In M0SQY5EZN5/e1, example 4.3.4
History
- 2026-10-27: add by m2/v0.3.5
G5DQ4CDM5X G5DQ4CDM5X
| URI | m2://inv/G5DQ4CDM5X |
|---|---|
| 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.28350#H2FQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
ACE model G5E388CH98
| URI | m2://inv/G5E388CH98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ACE model, ACE model (definition). Also Wikidata Q56274997
History
- 2026-11-02: add by m2/dev
Riesz's lemma G5E4EF934J
| URI | m2://inv/G5E4EF934J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz's lemma#M2NU, Riesz's lemma (statement)
History
- 2026-11-02: add by m2/dev
improper integral, unbounded integrand G5E5VPXQB4
| URI | m2://inv/G5E5VPXQB4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/6.5.4/improper-integral-unbounded-integrand, improper integral, unbounded integrand (concept). In 907G4C4EJ1, index, section 6.5.4
History
- 2026-11-01: add by m2/v0.6.13
G5EJEM0777 G5EJEM0777
| URI | m2://inv/G5EJEM0777 |
|---|---|
| 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 2610.16834#YJ5I (statement). In Q0DTV6PJJW/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
Definition G5F8702J80
| URI | m2://inv/G5F8702J80 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy mathematics#T14M, Definition (definition)
History
- 2026-11-02: add by m2/dev
Related Theorems G5F99920YQ
| URI | m2://inv/G5F99920YQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic samples#T70B, Related Theorems (statement)
History
- 2026-11-02: add by m2/dev
Hypothesis definition G5FB6ERVVM
| URI | m2://inv/G5FB6ERVVM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biostatistics#Z574, Hypothesis definition (statement)
History
- 2026-11-02: add by m2/dev
Lickorish–Wallace theorem G5FJ67F9ZH
| URI | m2://inv/G5FJ67F9ZH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17125544, Lickorish–Wallace theorem (statement). Also Wikidata Q17125544
- thousand_plus: thousand_plus Q17125544, Lickorish–Wallace theorem (statement). Also Wikidata Q17125544, Wikipedia Lickorish–Wallace theorem
- wikipedia: Wikipedia Lickorish–Wallace theorem, Lickorish–Wallace theorem (statement). Also Wikidata Q17125544
History
- 2026-10-26: add by m2/dev
Euler's partition theorem G5FJKPNHN6
| URI | m2://inv/G5FJKPNHN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#JL0S, Euler's partition theorem (definition)
History
- 2026-11-02: add by m2/dev
G5FNVQKTQ9 G5FNVQKTQ9
| URI | m2://inv/G5FNVQKTQ9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-5.xml#activity-3 (exercise). In 649HGZKE96, activity, section 2.5.4
History
- 2026-11-01: add by m2/v0.6.13
G5FP3EAHGC G5FP3EAHGC
| URI | m2://inv/G5FP3EAHGC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 57-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 2111.14699#W9LN (statement). In ES1CVGG59Y/e1, corollary 2.5
History
- 2026-10-27: add by m2/v0.3.5
Augustus Edward Hough Love G5FS1RHXQT
| URI | m2://inv/G5FS1RHXQT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Augustus Edward Hough Love, Augustus Edward Hough Love (topic). Also Wikidata Q770329
History
- 2026-11-02: add by m2/dev
G5FSXHRJFP G5FSXHRJFP
| URI | m2://inv/G5FSXHRJFP |
|---|---|
| Kind | statement |
| 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 2610.15454#2JLF (statement). In RGQZVNXWM5/e1, theorem 2.8
History
- 2026-10-28: add by m2/v0.4.2
Bernstein–Kushnirenko theorem G5FV7T4KY1
| URI | m2://inv/G5FV7T4KY1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernstein–Kushnirenko theorem, Bernstein–Kushnirenko theorem (statement). Also Wikidata Q19596039
History
- 2026-11-02: add by m2/dev
Stoyan, Dietrich G5G3QBY36G
| URI | m2://inv/G5G3QBY36G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#FG8H, Stoyan, Dietrich (topic)
History
- 2026-11-02: add by m2/dev
G5GCSXF8NC G5GCSXF8NC
| URI | m2://inv/G5GCSXF8NC |
|---|---|
| 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 2610.10365#B08E (conjecture). In PRVQPSBVHK/e1, conjecture 1
History
- 2026-10-29: add by m2/v0.4.10
Conflation G5GPFFB16K
| URI | m2://inv/G5GPFFB16K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conflation, Conflation (definition). Also Wikidata Q14946528
History
- 2026-11-02: add by m2/dev
George F. Swain G5GTJXQ8KZ
| URI | m2://inv/G5GTJXQ8KZ |
|---|---|
| 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#2T8P, George F. Swain (unknown)
History
- 2026-11-02: add by m2/dev
Michael Dine G5GVKXBY8P
| URI | m2://inv/G5GVKXBY8P |
|---|---|
| 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 Q1927280, Michael Dine (unknown). Also nLab Michael Dine
History
- 2026-10-26: add by m2/dev
G5GX375PGE G5GX375PGE
| URI | m2://inv/G5GX375PGE |
|---|---|
| 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 2503.22636#8XL1 (statement). In 2X2A6MT0QD/e1, theorem 5.13
History
- 2026-10-27: add by m2/v0.3.5
G5H0EV2983 G5H0EV2983
| URI | m2://inv/G5H0EV2983 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 17-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.21860#LY8H (definition)
History
- 2026-11-02: add by m2/v0.6.18
System LK G5H4CSWMYR
| URI | m2://inv/G5H4CSWMYR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequent calculus#VOFY, System LK (unknown)
History
- 2026-11-02: add by m2/dev
G5HJ9TK7EF G5HJ9TK7EF
| URI | m2://inv/G5HJ9TK7EF |
|---|---|
| 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 2405.10580#KCBA (statement). In FXEJE0PWEP/e1, corollary 3.6
History
- 2026-10-27: add by m2/v0.3.5
General population spectrum; Gaussian case G5HJRSQH2Q
| URI | m2://inv/G5HJRSQH2Q |
|---|---|
| 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.16680#F181, General population spectrum; Gaussian case (statement). In H29YHXQZV6/e1, theorem 12
History
- 2026-10-28: add by m2/v0.4.2
G5HSC4WQ90 G5HSC4WQ90
| URI | m2://inv/G5HSC4WQ90 |
|---|---|
| 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.39539#YNSP (statement). In GVR218P3ZR/e1, theorem 8.2.2
History
- 2026-10-30: add by m2/v0.4.12
G5HVPX0P1T G5HVPX0P1T
| URI | m2://inv/G5HVPX0P1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 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 2603.29838#PEX4 (statement). In KP0X1RKKKB/e1, lemma 4.11
History
- 2026-10-27: add by m2/v0.4.0
Fourier integral operator G5J0H00PS9
| URI | m2://inv/G5J0H00PS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#SJCW, Fourier integral operator (definition)
History
- 2026-11-02: add by m2/dev
Ross Anderson G5J0VDHBAF
| URI | m2://inv/G5J0VDHBAF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#3EWT, Ross Anderson (topic)
History
- 2026-11-02: add by m2/dev
G5J12DMACR G5J12DMACR
| URI | m2://inv/G5J12DMACR |
|---|---|
| Kind | statement |
| 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 1011.4141#MI19 (statement). In YQ4JYF18NH/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
Vizing's Theorem G5J2Q5BSP3
| URI | m2://inv/G5J2Q5BSP3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-coloring.ptx#theorem-4, Vizing's Theorem (statement). In Y91XFCEVHQ, theorem, section 5.4.2
History
- 2026-11-01: add by m2/v0.6.13
List of number theory topics G5J5EV6WP4
| URI | m2://inv/G5J5EV6WP4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics, List of number theory topics (topic). Also Wikidata Q3251674
History
- 2026-11-02: add by m2/dev
G5J6X5A8YP G5J6X5A8YP
| URI | m2://inv/G5J6X5A8YP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.20178#92SH (statement). In Z53NCTCEXE/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
G5J8JYEPR7 G5J8JYEPR7
| URI | m2://inv/G5J8JYEPR7 |
|---|---|
| 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.28323#6MRW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties G5JH8M43HJ
| URI | m2://inv/G5JH8M43HJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermitian adjoint#EY45, Properties (statement)
History
- 2026-11-02: add by m2/dev
Hermite G5JHH9E7YR
| URI | m2://inv/G5JHH9E7YR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#KXSK, Hermite (definition)
History
- 2026-11-02: add by m2/dev
G5JHMV9V83 G5JHMV9V83
| URI | m2://inv/G5JHMV9V83 |
|---|---|
| Kind | example |
| 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#3ZWK (example). In 2HSB99DW4M/e1, example 7.4
History
- 2026-10-27: add by m2/v0.3.6
Blossom tree G5JS4WQTXM
| URI | m2://inv/G5JS4WQTXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blossom tree (graph theory), Blossom tree (definition). Also Wikidata Q25345923
History
- 2026-11-02: add by m2/dev
Permeability G5K0X70FJX
| URI | m2://inv/G5K0X70FJX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permeability (electromagnetism), Permeability (definition). Also Wikidata Q28352
History
- 2026-11-02: add by m2/dev
G5K7RY4RZY G5K7RY4RZY
| URI | m2://inv/G5K7RY4RZY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-conc.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 3.6
History
- 2026-11-01: add by m2/v0.6.13
G5K8HKMG3P G5K8HKMG3P
| URI | m2://inv/G5K8HKMG3P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#cor-1 (statement). In VNMV985MXX, cor, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
Bring's curve G5K95Y8T96
| URI | m2://inv/G5K95Y8T96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#VPHH, Bring's curve (definition)
History
- 2026-11-02: add by m2/dev
Definition of an ovoid G5KC9G2ZTD
| URI | m2://inv/G5KC9G2ZTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ovoid (projective geometry)#AB6I, Definition of an ovoid (definition)
History
- 2026-11-02: add by m2/dev
mathematics, classical G5KD3AQ4TE
| URI | m2://inv/G5KD3AQ4TE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.7/mathematics-classical, mathematics, classical (concept). In N54F33XE07, index, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
Example G5KDR56QCN
| URI | m2://inv/G5KDR56QCN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McKelvey–Schofield chaos theorem#OY5O, Example (example)
History
- 2026-11-02: add by m2/dev
Top G5KFX3D5H4
| URI | m2://inv/G5KFX3D5H4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#L339, Top (definition)
History
- 2026-11-02: add by m2/dev
Definition G5KQBC8XZE
| URI | m2://inv/G5KQBC8XZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empirical likelihood#6QDO, Definition (definition)
History
- 2026-11-02: add by m2/dev
G5KR6BTH8E G5KR6BTH8E
| URI | m2://inv/G5KR6BTH8E |
|---|---|
| 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#RRWP (statement). In Y1K8WE4MDP/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.10
Properties G5M1SVZGVW
| URI | m2://inv/G5M1SVZGVW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wedge (geometry)#OB69, Properties (statement)
History
- 2026-11-02: add by m2/dev
G5M5ACYVYQ G5M5ACYVYQ
| URI | m2://inv/G5M5ACYVYQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.11301#KAII (statement). In YH1W5A0JTS/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
G5M5C1FFEA G5M5C1FFEA
| URI | m2://inv/G5M5C1FFEA |
|---|---|
| Kind | example |
| 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.06045#S2X7 (example). In SVKM0852RJ/e1, example 1
History
- 2026-10-29: add by m2/v0.4.10
G5MAXSFPC7 G5MAXSFPC7
| URI | m2://inv/G5MAXSFPC7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/localization.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 21.5
History
- 2026-11-01: add by m2/v0.6.13
Probabilistically checkable proof G5MF7K7HX7
| URI | m2://inv/G5MF7K7HX7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistically checkable proof, Probabilistically checkable proof (definition). Also Wikidata Q841495
History
- 2026-11-02: add by m2/dev
Edward B. Saff G5MMRKTM80
| URI | m2://inv/G5MMRKTM80 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DD66, Edward B. Saff (unknown)
History
- 2026-11-02: add by m2/dev
G5MRAVJE2K G5MRAVJE2K
| URI | m2://inv/G5MRAVJE2K |
|---|---|
| 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.02628#381D (statement). In G4S9C5M1A4/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.12
G5N1RDGPPC G5N1RDGPPC
| URI | m2://inv/G5N1RDGPPC |
|---|---|
| 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 2210.02261#RP9X (statement). In TT74R659T0/e1, lemma 0.19
History
- 2026-10-27: add by m2/v0.3.5
G5NDEHS63P G5NDEHS63P
| URI | m2://inv/G5NDEHS63P |
|---|---|
| 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.12683#4P7Q (statement). In N5ZFFWV3RX/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
G5NF8966FQ G5NF8966FQ
| URI | m2://inv/G5NF8966FQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-examples.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 26.19
History
- 2026-11-01: add by m2/v0.6.13
Generalizations G5NMZCG0M6
| URI | m2://inv/G5NMZCG0M6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial transform#I331, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Related results G5NW2T3QHN
| URI | m2://inv/G5NW2T3QHN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tutte embedding#QBB7, Related results (statement)
History
- 2026-11-02: add by m2/dev
G5NXMX728C G5NXMX728C
| URI | m2://inv/G5NXMX728C |
|---|---|
| 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.15770#7UE3 (statement). In DXFR0BNE47/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Abram Ioffe G5P0MES3TB
| URI | m2://inv/G5P0MES3TB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#GOHK, Abram Ioffe (unknown)
History
- 2026-11-02: add by m2/dev
FK-AK space G5P572VDJF
| URI | m2://inv/G5P572VDJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FK-AK space, FK-AK space (definition). Also Wikidata Q5426007
History
- 2026-11-02: add by m2/dev
G5P5N9CNVG G5P5N9CNVG
| URI | m2://inv/G5P5N9CNVG |
|---|---|
| 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.06764#DDO2 (statement). In MSWV3MJ5CE/e1, corollary 2.13
History
- 2026-10-29: add by m2/v0.4.10
G5P7VFNR8D G5P7VFNR8D
| URI | m2://inv/G5P7VFNR8D |
|---|---|
| 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.33231#NPDN (statement). In WPDRT63QNW/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Age adjustment G5P8NX828V
| URI | m2://inv/G5P8NX828V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Age adjustment, Age adjustment (definition). Also Wikidata Q4691855
History
- 2026-11-02: add by m2/dev
wave equations G5PE64KTCP
| URI | m2://inv/G5PE64KTCP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Applications > wave equations, wave equations (unknown)
History
- 2026-10-26: add by m2/dev
univariate G5PFXKCWA8
| URI | m2://inv/G5PFXKCWA8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#MNRY, univariate (definition)
History
- 2026-11-02: add by m2/dev
surjection G5PQXZXEGJ
| URI | m2://inv/G5PQXZXEGJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.4.2/surjection, surjection (concept). In Y91XFCEVHQ, index, section 1.4.2
History
- 2026-11-01: add by m2/v0.6.13
G5PV0ZFASR G5PV0ZFASR
| URI | m2://inv/G5PV0ZFASR |
|---|---|
| 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.15160#IW6D (statement). In 6FV4CCY1NX/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
G5PX7FV06G G5PX7FV06G
| URI | m2://inv/G5PX7FV06G |
|---|---|
| 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.13618#TL9X (statement). In XDQAEGH345/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
G5Q4638GC0 G5Q4638GC0
| URI | m2://inv/G5Q4638GC0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 60-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.17626#T7WM (definition). In 54ATJS74DT/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
G5Q5582WN9 G5Q5582WN9
| URI | m2://inv/G5Q5582WN9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-307 (exercise). In VNMV985MXX, exercise, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
G5Q6S1HPKH G5Q6S1HPKH
| URI | m2://inv/G5Q6S1HPKH |
|---|---|
| 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#CPO9 (statement). In CY1FE8W1ZW/e1, lemma 0.13
History
- 2026-10-27: add by m2/v0.3.5
G5Q7CM905W G5Q7CM905W
| URI | m2://inv/G5Q7CM905W |
|---|---|
| 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.15402#0A4G (statement). In WSE8SEHVXG/e1, lemma 19
History
- 2026-10-28: add by m2/v0.4.2
Rigidity theorems in geometry G5Q8XH4JZY
| URI | m2://inv/G5Q8XH4JZY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological rigidity#0KMB, Rigidity theorems in geometry (statement)
History
- 2026-11-02: add by m2/dev
G5QC58VB51 G5QC58VB51
| URI | m2://inv/G5QC58VB51 |
|---|---|
| Kind | problem |
| 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.18061#EJNE (problem). In Y8A35AV31M/e1, problem 7.1
History
- 2026-10-28: add by m2/v0.4.2
Nizam al-Din Nishapuri G5QP001KD6
| URI | m2://inv/G5QP001KD6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#81VW, Nizam al-Din Nishapuri (topic)
History
- 2026-11-02: add by m2/dev
symmetric G5QSSJ2C2S
| URI | m2://inv/G5QSSJ2C2S |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.13/symmetric, symmetric (concept). In QKM9DD2H56, index, section B.13
History
- 2026-11-01: add by m2/v0.6.13
G5QXAQKX1X G5QXAQKX1X
| URI | m2://inv/G5QXAQKX1X |
|---|---|
| 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.15610#MN1O (statement). In HENAFHBDQS/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
G5QXXVKCCD G5QXXVKCCD
| URI | m2://inv/G5QXXVKCCD |
|---|---|
| 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 2203.00606#SLAI (statement). In 3WBQFVX65D/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
G5R63RA3XK G5R63RA3XK
| URI | m2://inv/G5R63RA3XK |
|---|---|
| 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.13295#Y08G (statement). In 8Q7QXTWD0S/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
geodesic dome G5RAH0MTGR
| URI | m2://inv/G5RAH0MTGR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1135180, geodesic dome (unknown). Also MathWorld GeodesicDome
History
- 2026-10-26: add by m2/dev
diamond G5RCAAY0Z3
| URI | m2://inv/G5RCAAY0Z3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#YCMY, diamond (definition)
History
- 2026-11-02: add by m2/dev
Relative risk G5RKJXP9JS
| URI | m2://inv/G5RKJXP9JS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#3U7G, Relative risk (definition)
- wikipedia: Wikipedia List of analyses of categorical data#HP30, Relative risk (definition)
- wikipedia: Wikipedia List of statistics articles#401C, Relative risk (definition)
History
- 2026-11-02: add by m2/dev
Laplacian-preconditioned operator $=$ multiplication $+$ smoothing G5RTYJVSCR
| URI | m2://inv/G5RTYJVSCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.20106#3AY8, Laplacian-preconditioned operator $=$ multiplication $+$ smoothing (statement). In 6HMZ36ZBXA/e1, theorem 2.12
History
- 2026-10-27: add by m2/v0.4.2
G5RW6P5YF5 G5RW6P5YF5
| URI | m2://inv/G5RW6P5YF5 |
|---|---|
| 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 2609.38206#XTK2 (statement). In F71MS1F637/e1, proposition 4.4
History
- 2026-10-30: add by m2/v0.4.12
Formulation G5RX6MHPCV
| URI | m2://inv/G5RX6MHPCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limiting amplitude principle#QN9B, Formulation (definition)
History
- 2026-11-02: add by m2/dev
G5RXZHD04T G5RXZHD04T
| URI | m2://inv/G5RXZHD04T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-starsbars.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Homersham Cox G5SEQ6D77N
| URI | m2://inv/G5SEQ6D77N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homersham Cox (mathematician), Homersham Cox (topic). Also Wikidata Q42326126
History
- 2026-11-02: add by m2/dev
G5SFWB3RR5 G5SFWB3RR5
| URI | m2://inv/G5SFWB3RR5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.18483#R7KR (statement). In FF4HDVF1DC/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
G5SG8VNQSQ G5SG8VNQSQ
| URI | m2://inv/G5SG8VNQSQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/rank.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 74.4
History
- 2026-11-01: add by m2/v0.6.13
G5SM3BTA03 G5SM3BTA03
| URI | m2://inv/G5SM3BTA03 |
|---|---|
| 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.07876#3WQX (statement). In DEP0CXZAST/e1, lemma 0.2
History
- 2026-10-29: add by m2/v0.4.10
Quadric (projective geometry) G5SQ91K961
| URI | m2://inv/G5SQ91K961 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadric#O2XQ, Quadric (projective geometry) (unknown)
History
- 2026-11-02: add by m2/dev
Dragan Marušič G5SS8M2VSR
| URI | m2://inv/G5SS8M2VSR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#R2W3, Dragan Marušič (unknown)
History
- 2026-11-02: add by m2/dev
G5STBX93AH G5STBX93AH
| URI | m2://inv/G5STBX93AH |
|---|---|
| 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.16399#H4TI (statement). In 2N87D4KTSY/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
G5STV1YE26 G5STV1YE26
| URI | m2://inv/G5STV1YE26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-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.04694#IKLO (statement). In W9A0Z2NBMA/e1, lemma 22
History
- 2026-10-29: add by m2/v0.4.12
Localized Pinelis--Bernstein inequality G5T14E0M98
| URI | m2://inv/G5T14E0M98 |
|---|---|
| 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.13916#8D02, Localized Pinelis--Bernstein inequality (statement). In JS2JSD0507/e1, theorem A.3
History
- 2026-10-28: add by m2/v0.4.2
Examples G5T24ARMM3
| URI | m2://inv/G5T24ARMM3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-dimensional polyhedron#V811, Examples (example)
History
- 2026-11-02: add by m2/dev
G5T3H4SQHE G5T3H4SQHE
| URI | m2://inv/G5T3H4SQHE |
|---|---|
| Kind | example |
| 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.20568#UPQ2 (example). In BCD0ATARNZ/e1, example 3.26
History
- 2026-10-27: add by m2/v0.4.2
G5T3YA272C G5T3YA272C
| URI | m2://inv/G5T3YA272C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CartesianProducts.tex#problem-6 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Habash al-Hasib al-Marwazi G5T46C2Q62
| URI | m2://inv/G5T46C2Q62 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#NVL4, Habash al-Hasib al-Marwazi (unknown)
History
- 2026-11-02: add by m2/dev
Hadamard factorization theorem G5TAMHDT0D
| URI | m2://inv/G5TAMHDT0D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jacques Hadamard#UXXB, Hadamard factorization theorem (statement)
History
- 2026-11-02: add by m2/dev
Pseudoalgebra G5TC01AB2N
| URI | m2://inv/G5TC01AB2N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudoalgebra, Pseudoalgebra (definition). Also Wikidata Q97359768
History
- 2026-11-02: add by m2/dev
G5TCHQNYR5 G5TCHQNYR5
| URI | m2://inv/G5TCHQNYR5 |
|---|---|
| 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.17585#PSOO (statement). In FBWDPA01XY/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Serafino Raffaele Minich G5TNQ1MJKY
| URI | m2://inv/G5TNQ1MJKY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serafino Raffaele Minich, Serafino Raffaele Minich (topic). Also Wikidata Q3955752
History
- 2026-11-02: add by m2/dev
Local-conditions principle over finite fields G5TQTW344B
| URI | m2://inv/G5TQTW344B |
|---|---|
| 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 2610.07092#9LWS, Local-conditions principle over finite fields (statement). In JWNYJVH8XG/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
Plücker matrix G5TSEYAZW6
| URI | m2://inv/G5TSEYAZW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plücker matrix, Plücker matrix (definition). Also Wikidata Q1383744
History
- 2026-11-02: add by m2/dev
G5TVG7X221 G5TVG7X221
| URI | m2://inv/G5TVG7X221 |
|---|---|
| Kind | definition |
| 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 2609.01473#CT3B (definition). In ABS9M47F4K/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.6
G5TX6M5NNY G5TX6M5NNY
| URI | m2://inv/G5TX6M5NNY |
|---|---|
| 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.21414#BXEP (statement)
History
- 2026-11-02: add by m2/v0.6.18
G5TXERF1P8 G5TXERF1P8
| URI | m2://inv/G5TXERF1P8 |
|---|---|
| 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#7X3G (statement). In CY1FE8W1ZW/e1, proposition 0.156
History
- 2026-10-27: add by m2/v0.4.0
Example G5TZY9ZV7R
| URI | m2://inv/G5TZY9ZV7R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Core (game theory)#KT41, Example (example)
History
- 2026-11-02: add by m2/dev
Generalization G5V0BNK5AR
| URI | m2://inv/G5V0BNK5AR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nine-point circle#8AUO, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Frontiers in Applied Mathematics G5V5VTVPBA
| URI | m2://inv/G5V5VTVPBA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Society for Industrial and Applied Mathematics#F6V8, Frontiers in Applied Mathematics (unknown)
History
- 2026-11-02: add by m2/dev
G5V8E5GECK G5V8E5GECK
| URI | m2://inv/G5V8E5GECK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-4 (proof). In N54F33XE07, proof, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
G5VEY89XY4 G5VEY89XY4
| URI | m2://inv/G5VEY89XY4 |
|---|---|
| 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.19921#BVFQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Eastern equine encephalitis G5VFH722PQ
| URI | m2://inv/G5VFH722PQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eastern equine encephalitis, Eastern equine encephalitis (definition). Also Wikidata Q18553951
History
- 2026-11-02: add by m2/dev
G5VJ1FTB00 G5VJ1FTB00
| URI | m2://inv/G5VJ1FTB00 |
|---|---|
| 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.01329#HDEX (statement). In 7XEVYJKJ5C/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.12
G5VXX1HQZH G5VXX1HQZH
| URI | m2://inv/G5VXX1HQZH |
|---|---|
| Kind | definition |
| 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 1707.06795#7UM5 (definition). In 32MMSEVHYN/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Sophie Germain's theorem G5VYK159EE
| URI | m2://inv/G5VYK159EE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#10DL, Sophie Germain's theorem (statement)
History
- 2026-11-02: add by m2/dev
G5W2R4TMHY G5W2R4TMHY
| URI | m2://inv/G5W2R4TMHY |
|---|---|
| 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.27056#NU8K (statement)
History
- 2026-11-01: add by m2/v0.6.15
Euler–Tricomi equation G5W6QDCBC4
| URI | m2://inv/G5W6QDCBC4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Tricomi equation 21DD2334NR |
Mentions
- wikidata: Wikidata Q5409013, Euler–Tricomi equation (concept). Also EoM Tricomi_equation, MathWorld TricomiEquation
- wikipedia: Wikipedia Euler–Tricomi equation, Euler–Tricomi equation (definition). Also Wikidata Q5409013
History
- 2026-10-26: add by m2/dev
Semiprimitive ring G5WCS73X88
| URI | m2://inv/G5WCS73X88 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiprimitive ring, Semiprimitive ring (definition). Also Wikidata Q7449622
History
- 2026-11-02: add by m2/dev
G5WKGBG6V4 G5WKGBG6V4
| URI | m2://inv/G5WKGBG6V4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.16203#8RG9 (statement). In 43TBS9P2PX/e1, lemma 9.7
History
- 2026-10-28: add by m2/v0.4.2
Oscar II Land G5WMZH2KCE
| URI | m2://inv/G5WMZH2KCE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#EK7F, Oscar II Land (unknown)
History
- 2026-11-02: add by m2/dev
G5WWYMXVNK G5WWYMXVNK
| URI | m2://inv/G5WWYMXVNK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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.18618#429U (statement). In C8VC86B6H8/e1, lemma A.8
History
- 2026-10-28: add by m2/v0.4.2
G5X5B6DQHA G5X5B6DQHA
| URI | m2://inv/G5X5B6DQHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/syntax-and-semantics/semantic-notions.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 41.6
History
- 2026-11-01: add by m2/v0.6.13
List of mathematics-based methods G5XKVM7K5P
| URI | m2://inv/G5XKVM7K5P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#I60V, List of mathematics-based methods (topic)
History
- 2026-11-02: add by m2/dev
G5XP77J9J1 G5XP77J9J1
| URI | m2://inv/G5XP77J9J1 |
|---|---|
| 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.13972#TL3W (statement). In S1KHNS8XQM/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Tetrad G5XSHE90BD
| URI | m2://inv/G5XSHE90BD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrad (geometry puzzle), Tetrad (definition). Also Wikidata Q106795748
History
- 2026-11-02: add by m2/dev
David Rivault de Fleurance G5Y4CQXZ3A
| URI | m2://inv/G5Y4CQXZ3A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Rivault de Fleurance, David Rivault de Fleurance (topic). Also Wikidata Q3018699
History
- 2026-11-02: add by m2/dev
G5Y73HPXT0 G5Y73HPXT0
| URI | m2://inv/G5Y73HPXT0 |
|---|---|
| Kind | definition |
| Layer | research |
| 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#Y6HM (definition). In CY1FE8W1ZW/e1, definition 0.53
History
- 2026-10-27: add by m2/v0.3.5
G5Y8W9B75C G5Y8W9B75C
| URI | m2://inv/G5Y8W9B75C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/swapsum.tex#corollary-3 (statement). In RZP28ERRZV, corollary, section 70.4
History
- 2026-11-01: add by m2/v0.6.13
Olivier Verdier G5YCJQTWTF
| URI | m2://inv/G5YCJQTWTF |
|---|---|
| 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 Q87394918, Olivier Verdier (unknown). Also nLab Olivier Verdier
History
- 2026-10-26: add by m2/dev
Applications G5YF3RFH2X
| URI | m2://inv/G5YF3RFH2X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur decomposition#QO2L, Applications (example)
History
- 2026-11-02: add by m2/dev
G5YJ3VDB6S G5YJ3VDB6S
| URI | m2://inv/G5YJ3VDB6S |
|---|---|
| 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.19288#LAOV (definition). In 1EA6AM9V01/e1, definition 1.8
History
- 2026-10-28: add by m2/v0.4.2
G5YP70YB0H G5YP70YB0H
| URI | m2://inv/G5YP70YB0H |
|---|---|
| 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.39790#719T (statement). In C2C9GTQFYF/e1, lemma 2.7
History
- 2026-10-30: add by m2/v0.4.12
KMS state G5YT12CHVZ
| URI | m2://inv/G5YT12CHVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3591812, KMS state (unknown). Also nLab KMS state
- wikipedia: Wikipedia KMS state, KMS state (definition). Also Wikidata Q3591812
History
- 2026-10-26: add by m2/dev
Four color theorem G5Z4HN3K22
| URI | m2://inv/G5Z4HN3K22 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Errera graph#WD1V, Four color theorem (statement)
History
- 2026-11-02: add by m2/dev
Parabolic maximum principle for semicontinuous functions II G5ZAXEPPG4
| URI | m2://inv/G5ZAXEPPG4 |
|---|---|
| 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.21732#5066, Parabolic maximum principle for semicontinuous functions II (statement). In 6DJDRXDQNB/e1, corollary 2.3
History
- 2026-10-27: add by m2/v0.4.2
Number needed to treat G5ZD2KGJH1
| URI | m2://inv/G5ZD2KGJH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Number needed to treat, Number needed to treat (definition). Also Wikidata Q614132
History
- 2026-11-02: add by m2/dev
G5ZD4SAPQM G5ZD4SAPQM
| URI | m2://inv/G5ZD4SAPQM |
|---|---|
| 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 2503.22636#S7DJ (statement). In 2X2A6MT0QD/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
G5ZEPGN005 G5ZEPGN005
| URI | m2://inv/G5ZEPGN005 |
|---|---|
| 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.12481#GAV3 (statement). In TD288AK3EJ/e1, corollary 13
History
- 2026-10-28: add by m2/v0.4.2
Keith mirror G5ZGE7T39Y
| URI | m2://inv/G5ZGE7T39Y |
|---|---|
| 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 2610.10557#O86F, Keith mirror (definition). In D2MXWDTHWS/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
G5ZMFA53Q3 G5ZMFA53Q3
| URI | m2://inv/G5ZMFA53Q3 |
|---|---|
| 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.39269#P8TH (statement). In HS4X20TX33/e1, corollary 0.36
History
- 2026-10-30: add by m2/v0.4.12
étale topos G5ZMYA6CNX
| URI | m2://inv/G5ZMYA6CNX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17011044, étale topos (unknown). Also nLab étale topos
History
- 2026-10-26: add by m2/dev
G5ZRC432QG G5ZRC432QG
| URI | m2://inv/G5ZRC432QG |
|---|---|
| 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.21976#5SBL (statement)
History
- 2026-11-02: add by m2/v0.6.17
Just another Gibbs sampler G5ZRJT5BM6
| URI | m2://inv/G5ZRJT5BM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#OEV0, Just another Gibbs sampler (definition)
History
- 2026-11-02: add by m2/dev
G5ZVN8EDMV G5ZVN8EDMV
| URI | m2://inv/G5ZVN8EDMV |
|---|---|
| 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.08753#1UXI (statement). In J9P361Z1CX/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Properties G5ZWPZN3CD
| URI | m2://inv/G5ZWPZN3CD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Most-perfect magic square#2ZVP, Properties (statement)
History
- 2026-11-02: add by m2/dev
G5ZY1BJVWQ G5ZY1BJVWQ
| URI | m2://inv/G5ZY1BJVWQ |
|---|---|
| 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.15847#69AI (statement). In BTV3DAMX28/e1, corollary 5
History
- 2026-10-28: add by m2/v0.4.2