Inventory rows B6
The cards of the rows of the inventory whose ids start with B6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
B6023XK286 B6023XK286
| URI | m2://inv/B6023XK286 |
|---|---|
| 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.09596#3WJ9 (statement). In HXFA55BREZ/e1, lemma 5.8
History
- 2026-10-29: add by m2/v0.4.10
B607JS146D B607JS146D
| URI | m2://inv/B607JS146D |
|---|---|
| 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#7IM7 (statement). In 2X2A6MT0QD/e1, proposition 2.20
History
- 2026-10-27: add by m2/v0.3.5
Batalin–Vilkovisky algebra B60BNMT66K
| URI | m2://inv/B60BNMT66K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4868564, Batalin–Vilkovisky algebra (unknown). Also nLab BV-algebra
- wikipedia: Wikipedia Batalin–Vilkovisky formalism, Batalin–Vilkovisky formalism (definition). Also Wikidata Q4868564
History
- 2026-10-26: add by m2/dev
B60CXM702Q B60CXM702Q
| URI | m2://inv/B60CXM702Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#RRVM (definition). In 7V2PVZS04C/e1, definition 5.1
History
- 2026-10-31: add by m2/v0.5.6
Properties B60KFN7V2H
| URI | m2://inv/B60KFN7V2H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix norm#WB8V, Properties (statement)
History
- 2026-11-02: add by m2/dev
Jet (mathematics) B60ND1S6ZW
| URI | m2://inv/B60ND1S6ZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#LM21, Jet (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
B60P0YDTGV B60P0YDTGV
| URI | m2://inv/B60P0YDTGV |
|---|---|
| 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.12736#LQRY (statement). In 5350Q52F6P/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Robert J. Lang B60P34MXF0
| URI | m2://inv/B60P34MXF0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5RYH, Robert J. Lang (unknown)
History
- 2026-11-02: add by m2/dev
Discriminant of $\QQ(i)$ B60PH6MQWC
| URI | m2://inv/B60PH6MQWC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#example-3, Discriminant of $\QQ(i)$ (example). In RZP28ERRZV, example, section 9.2
History
- 2026-11-01: add by m2/v0.6.13
Orbit stratification B60TEM35N4
| URI | m2://inv/B60TEM35N4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24807#FQG4, Orbit stratification (statement)
History
- 2026-11-01: add by m2/v0.6.15
Other formulas B612KSVSZH
| URI | m2://inv/B612KSVSZH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shoelace formula#YTFP, Other formulas (statement)
History
- 2026-11-02: add by m2/dev
B615SD4BEE B615SD4BEE
| URI | m2://inv/B615SD4BEE |
|---|---|
| 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.09404#IRP3 (statement). In D7CZZ48FRN/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
NAG Numerical Libraries B619M3RP4Y
| URI | m2://inv/B619M3RP4Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#4B0G, NAG Numerical Libraries (unknown)
History
- 2026-11-02: add by m2/dev
B61D9CAQPZ B61D9CAQPZ
| URI | m2://inv/B61D9CAQPZ |
|---|---|
| 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 2603.26376#6O09 (statement). In PJAT9YDX7Y/e1, proposition 5.7
History
- 2026-10-27: add by m2/v0.4.0
Reduction to almost-periodic solutions B61J10BW7E
| URI | m2://inv/B61J10BW7E |
|---|---|
| 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 2609.28454#EULR, Reduction to almost-periodic solutions (statement)
History
- 2026-11-01: add by m2/v0.6.15
B61JWHDE0Y B61JWHDE0Y
| URI | m2://inv/B61JWHDE0Y |
|---|---|
| Kind | problem |
| 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.00021#4JSN (problem). In EX42AVA7CV/e1, problem 10.1
History
- 2026-10-30: add by m2/v0.4.12
$A_5^{(1)}$-type B61JXDQ8YM
| URI | m2://inv/B61JXDQ8YM |
|---|---|
| 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 2104.11433#2LAX, $A_5^{(1)}$-type (statement). In X3TYD6TMCE/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Abuse of notation B61KKJ6X0D
| URI | m2://inv/B61KKJ6X0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abuse of notation, Abuse of notation (definition). Also Wikidata Q842159
History
- 2026-11-02: add by m2/dev
B61MK6EJ75 B61MK6EJ75
| URI | m2://inv/B61MK6EJ75 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06081#EUVF (statement). In 7Z3KQRFEVG/e1, corollary B.3
History
- 2026-10-29: add by m2/v0.4.10
B61QBB6EEM B61QBB6EEM
| URI | m2://inv/B61QBB6EEM |
|---|---|
| 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.01354#JJ05 (statement). In BWD76W20W8/e1, lemma 5.11
History
- 2026-10-29: add by m2/v0.4.12
B61TCRTM63 B61TCRTM63
| URI | m2://inv/B61TCRTM63 |
|---|---|
| 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.31365#5CYY (statement). In 19GENJ3NCP/e1, proposition 5.2
History
- 2026-10-31: add by m2/v0.5.6
Dekker's algorithm B624JZSK66
| URI | m2://inv/B624JZSK66 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#EA3R, Dekker's algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Gene H. Golub B62AMJ6KD2
| URI | m2://inv/B62AMJ6KD2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#G1H5, Gene H. Golub (topic)
- wikipedia: Wikipedia List of numerical analysis topics#43R4, Gene H. Golub (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4YE1, Gene H. Golub (topic)
History
- 2026-11-02: add by m2/dev
Spherical wave transformation B62AWRC4SP
| URI | m2://inv/B62AWRC4SP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical wave transformation, Spherical wave transformation (definition). Also Wikidata Q16320247
History
- 2026-11-02: add by m2/dev
spanning tree B62FGDTWP5
| URI | m2://inv/B62FGDTWP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Spanning tree 0FQ5B8S1ZC |
Mentions
- wikidata: Wikidata Q831672, spanning tree (unknown). Also MathWorld SpanningTree
- wikipedia: Wikipedia Spanning tree, Spanning tree (definition). Also Wikidata Q831672
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
B62FKKQ4F6 B62FKKQ4F6
| URI | m2://inv/B62FKKQ4F6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.31294#ZAQU (statement). In 6GK9EJMWY4/e1, theorem 5.6
History
- 2026-10-31: add by m2/v0.5.6
Bondareva–Shapley theorem B62FVM01TG
| URI | m2://inv/B62FVM01TG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4941364, Bondareva–Shapley theorem (statement). Also Wikidata Q4941364
- thousand_plus: thousand_plus Q4941364, Bondareva–Shapley theorem (statement). Also Wikidata Q4941364, Wikipedia Bondareva–Shapley theorem
- wikipedia: Wikipedia Bondareva–Shapley theorem, Bondareva–Shapley theorem (statement). Also Wikidata Q4941364
History
- 2026-10-26: add by m2/dev
Construction B62GWSCKQ4
| URI | m2://inv/B62GWSCKQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grünbaum–Rigby configuration#EITP, Construction (definition)
History
- 2026-11-02: add by m2/dev
Limiting ESJD B62K078FZ8
| URI | m2://inv/B62K078FZ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17946#NEZ3, Limiting ESJD (statement). In A7HTYWJNCX/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
James Eells B62N4HNMBX
| URI | m2://inv/B62N4HNMBX |
|---|---|
| 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#US7U, James Eells (topic)
History
- 2026-11-02: add by m2/dev
Definition (Quasisupermodular function) B62PM2FPBN
| URI | m2://inv/B62PM2FPBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone comparative statics#8DP9, Definition (Quasisupermodular function) (definition)
History
- 2026-11-02: add by m2/dev
Bruno Finzi B63861H5JW
| URI | m2://inv/B63861H5JW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bruno Finzi, Bruno Finzi (topic). Also Wikidata Q3645756
History
- 2026-11-02: add by m2/dev
Leinster group B638PBR4SP
| URI | m2://inv/B638PBR4SP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#CIZD, Leinster group (unknown)
History
- 2026-11-02: add by m2/dev
B639P5Y410 B639P5Y410
| URI | m2://inv/B639P5Y410 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 46-XX, 47-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.11785#ZCXR (definition). In 2XSZDXZ52E/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.3
Parent-offspring regression B63B0Y798E
| URI | m2://inv/B63B0Y798E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heritability#FFYB, Parent-offspring regression (unknown)
History
- 2026-11-02: add by m2/dev
Jean Bertoin B63J2VKE1P
| URI | m2://inv/B63J2VKE1P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#IUQ7, Jean Bertoin (topic)
History
- 2026-11-02: add by m2/dev
B63KM5PM1T B63KM5PM1T
| URI | m2://inv/B63KM5PM1T |
|---|---|
| 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.39700#W96Z (statement). In E7W2HDNEKJ/e1, theorem 5.3
History
- 2026-10-30: add by m2/v0.4.12
.ipynb B63QJDX783
| URI | m2://inv/B63QJDX783 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Project Jupyter#0TWG, .ipynb (unknown)
History
- 2026-11-02: add by m2/dev
B63QVVQZZ8 B63QVVQZZ8
| URI | m2://inv/B63QVVQZZ8 |
|---|---|
| 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 2609.29170#VSMW (statement)
History
- 2026-11-01: add by m2/v0.6.15
*{Theorem 2.3 B63VFZQH8P
| URI | m2://inv/B63VFZQH8P |
|---|---|
| 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.04876#N4D3, *{Theorem 2.3 (statement). In 2TNAKVC0YP/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
B641RC1R4W B641RC1R4W
| URI | m2://inv/B641RC1R4W |
|---|---|
| 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 2603.21971#J9ZH (statement). In R6KSZ9H8CY/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Regular Lagrangian Flow B64751AV3N
| URI | m2://inv/B64751AV3N |
|---|---|
| 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.17129#WR8D, Regular Lagrangian Flow (definition). In TCZWAMNYCV/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
B64BHP5A12 B64BHP5A12
| URI | m2://inv/B64BHP5A12 |
|---|---|
| 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 2111.07409#A5CV (statement). In KWH4QJDPWC/e1, theorem 4.9
History
- 2026-10-27: add by m2/v0.4.0
flat vector bundle B64CPTATJP
| URI | m2://inv/B64CPTATJP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5457856, flat vector bundle (unknown). Also nLab flat vector bundle
History
- 2026-10-26: add by m2/dev
Lotka–Volterra equations B64DHX86YW
| URI | m2://inv/B64DHX86YW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#ZT9S, Lotka–Volterra equations (definition)
History
- 2026-11-02: add by m2/dev
B64JYF5Y94 B64JYF5Y94
| URI | m2://inv/B64JYF5Y94 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31212#TL7U (statement). In FHE30V0M03/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Theorem B64KCHYVEC
| URI | m2://inv/B64KCHYVEC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpolation space#Q71E, Theorem (statement)
History
- 2026-11-02: add by m2/dev
B64S4ZWC87 B64S4ZWC87
| URI | m2://inv/B64S4ZWC87 |
|---|---|
| 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 2210.12291#TUFR (statement). In PHPNFMYPPE/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
Walrasian economics B64SWMMWN6
| URI | m2://inv/B64SWMMWN6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Léon Walras#NS44, Walrasian economics (unknown)
History
- 2026-11-02: add by m2/dev
B64WYA65YB B64WYA65YB
| URI | m2://inv/B64WYA65YB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-polyfit.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
B64XYBD1C4 B64XYBD1C4
| URI | m2://inv/B64XYBD1C4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-37 (exercise). In E59CDZA4DP, exercise, section 1.4.4
History
- 2026-11-01: add by m2/v0.6.13
Fourier–Mukai transform B6568JSQ7T
| URI | m2://inv/B6568JSQ7T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier–Mukai transform, Fourier–Mukai transform (definition). Also Wikidata Q3537566
History
- 2026-11-02: add by m2/dev
Brualdi B65BK4NW2S
| URI | m2://inv/B65BK4NW2S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16785#VCMO, Brualdi (statement). In SXQQZ2MYKV/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
B65F6YXE2M B65F6YXE2M
| URI | m2://inv/B65F6YXE2M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10029#QKUL (statement). In K7EAM152B0/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Raymond McLenaghan B65G2WPRG4
| URI | m2://inv/B65G2WPRG4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KVBP, Raymond McLenaghan (unknown)
History
- 2026-11-02: add by m2/dev
B65T8994VT B65T8994VT
| URI | m2://inv/B65T8994VT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34311#ICXK (statement). In YYV9SHAPCZ/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
Vivette Girault B664BEAW2W
| URI | m2://inv/B664BEAW2W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vivette Girault, Vivette Girault (topic). Also Wikidata Q64686675
History
- 2026-11-02: add by m2/dev
Anna Barbara Reinhart B66728EWK6
| URI | m2://inv/B66728EWK6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anna Barbara Reinhart, Anna Barbara Reinhart (topic). Also Wikidata Q559636
History
- 2026-11-02: add by m2/dev
B66CS2Q7C9 B66CS2Q7C9
| URI | m2://inv/B66CS2Q7C9 |
|---|---|
| Kind | definition |
| 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.01915#IPWN (definition). In 6HJQXZS0A6/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.12
Absence of light segments B66F1A2N12
| URI | m2://inv/B66F1A2N12 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#0MPW, Absence of light segments (statement). In 9JHMTYGWFQ/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.6
B66KMEYP6F B66KMEYP6F
| URI | m2://inv/B66KMEYP6F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27366#Q37S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Row-wise regularization consistency B66VSZNZRG
| URI | m2://inv/B66VSZNZRG |
|---|---|
| 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.10484#66O4, Row-wise regularization consistency (statement). In 5B4AX4SF88/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.10
Reductive dual pair B66Z2NNYXW
| URI | m2://inv/B66Z2NNYXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reductive dual pair, Reductive dual pair (definition). Also Wikidata Q7306388
History
- 2026-11-02: add by m2/dev
B670XYEP35 B670XYEP35
| URI | m2://inv/B670XYEP35 |
|---|---|
| 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.15787#YUGX (statement). In BPY9RM0VK7/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
B673GBCE01 B673GBCE01
| URI | m2://inv/B673GBCE01 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.10460#EBSU (statement). In 3N20HKKXTJ/e1, proposition 2.10
History
- 2026-10-27: add by m2/v0.3.5
Properties B673K5J42T
| URI | m2://inv/B673K5J42T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basis expansion time-frequency analysis#LM33, Properties (statement)
History
- 2026-11-02: add by m2/dev
Abstract cell complex B675RXF35R
| URI | m2://inv/B675RXF35R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract cell complex, Abstract cell complex (definition). Also Wikidata Q4669939
History
- 2026-11-02: add by m2/dev
absorbing, state of a Markov chain B67926NKQP
| URI | m2://inv/B67926NKQP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/16.3.1/absorbing-state-of-a-markov-chain, absorbing, state of a Markov chain (concept). In QKM9DD2H56, index, section 16.3.1
History
- 2026-11-01: add by m2/v0.6.13
Scale-free network B679EECRDS
| URI | m2://inv/B679EECRDS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#IW4R, Scale-free network (definition)
History
- 2026-11-02: add by m2/dev
B67AAM7WHQ B67AAM7WHQ
| URI | m2://inv/B67AAM7WHQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02484#6N67 (statement). In D1V0MQZTFQ/e1, corollary 4.9
History
- 2026-10-29: add by m2/v0.4.12
B67E8KYQGG B67E8KYQGG
| URI | m2://inv/B67E8KYQGG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.24465#QPC8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Novikov's condition, , Theorem 5.13, Chapter 3 B67HK9DKJ3
| URI | m2://inv/B67HK9DKJ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32446#PKTH, Novikov's condition, , Theorem 5.13, Chapter 3 (statement). In W1KVJEGJ1W/e1, theorem B.2
History
- 2026-10-31: add by m2/v0.5.6
Uniform star polyhedron B67MSYSMJ5
| URI | m2://inv/B67MSYSMJ5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#FWI9, Uniform star polyhedron (object)
History
- 2026-11-02: add by m2/dev
Transfer coercivity to arbitrary functions B67PB95YZT
| URI | m2://inv/B67PB95YZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2608.19483#ZSHX, Transfer coercivity to arbitrary functions (statement). In M2PEDAF7AX/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
B67QTWEP2R B67QTWEP2R
| URI | m2://inv/B67QTWEP2R |
|---|---|
| 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.05672#0APO (statement). In BQGX0XE2A6/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
False coverage rate B67QVQXE24
| URI | m2://inv/B67QVQXE24 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia False coverage rate, False coverage rate (definition). Also Wikidata Q5432687
History
- 2026-11-02: add by m2/dev
partial B67W5T2A6W
| URI | m2://inv/B67W5T2A6W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#TXYO, partial (definition)
History
- 2026-11-02: add by m2/dev
Finitely cogenerated module B67XKDEJV0
| URI | m2://inv/B67XKDEJV0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finitely generated module#UVDI, Finitely cogenerated module (unknown)
History
- 2026-11-02: add by m2/dev
Four exponentials conjecture B685B31N9D
| URI | m2://inv/B685B31N9D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schanuel's conjecture#XL5V, Four exponentials conjecture (statement)
History
- 2026-11-02: add by m2/dev
B686FNZMDE B686FNZMDE
| URI | m2://inv/B686FNZMDE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-22 (exercise). In E59CDZA4DP, exercise, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
method of stationary phase B68B81D56D
| URI | m2://inv/B68B81D56D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#UITO, method of stationary phase (definition)
History
- 2026-11-02: add by m2/dev
Properties B68JD935HH
| URI | m2://inv/B68JD935HH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CW complex#5E5W, Properties (statement)
History
- 2026-11-02: add by m2/dev
quantum operation B68SX5FB0J
| URI | m2://inv/B68SX5FB0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7269080, quantum operation (unknown). Also nLab quantum operation
- wikipedia: Wikipedia Quantum operation, Quantum operation (definition). Also Wikidata Q7269080
History
- 2026-10-26: add by m2/dev
B69KTM3Z73 B69KTM3Z73
| URI | m2://inv/B69KTM3Z73 |
|---|---|
| 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#2E78 (statement). In XDQAEGH345/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.2
B69Q9CHX1V B69Q9CHX1V
| URI | m2://inv/B69Q9CHX1V |
|---|---|
| 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.15982#3HCT (statement). In KB50SHR229/e1, proposition C.1
History
- 2026-10-28: add by m2/v0.4.2
blossom algorithm B69S6BPS9A
| URI | m2://inv/B69S6BPS9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1030529, blossom algorithm (unknown). Also MathWorld BlossomAlgorithm
- wikipedia: Wikipedia Blossom algorithm, Blossom algorithm (definition). Also Wikidata Q1030529
History
- 2026-10-26: add by m2/dev
Likert scale B69WZMPZ87
| URI | m2://inv/B69WZMPZ87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#J6DK, Likert scale (definition)
History
- 2026-11-02: add by m2/dev
Inversion formulas B69Z79NABH
| URI | m2://inv/B69Z79NABH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radon transform#UL8E, Inversion formulas (statement)
History
- 2026-11-02: add by m2/dev
Sweden B69ZTW2F39
| URI | m2://inv/B69ZTW2F39 |
|---|---|
| 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 Q34, Sweden (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Sweden
History
- 2026-10-26: add by m2/dev
B6A7YP9K65 B6A7YP9K65
| URI | m2://inv/B6A7YP9K65 |
|---|---|
| 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.03856#3QMV (statement). In HTBRYNPHSJ/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
generalized linear model B6A95SZS8W
| URI | m2://inv/B6A95SZS8W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#0C97, generalized linear model (definition)
History
- 2026-11-02: add by m2/dev
B6A96H9HDD B6A96H9HDD
| URI | m2://inv/B6A96H9HDD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07240#C9LH (statement). In D0F1GK5AHW/e1, proposition
History
- 2026-10-29: add by m2/v0.4.10
Definition B6ABXN4V82
| URI | m2://inv/B6ABXN4V82 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subadditive set function#CVQE, Definition (definition)
History
- 2026-11-02: add by m2/dev
B6ADXEQHQB B6ADXEQHQB
| URI | m2://inv/B6ADXEQHQB |
|---|---|
| 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.37337#A390 (statement). In 813JGZV08G/e1, lemma C.2
History
- 2026-10-30: add by m2/v0.4.12
Examples B6AF1V8QMM
| URI | m2://inv/B6AF1V8QMM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gravitational instanton#TCJZ, Examples (example)
History
- 2026-11-02: add by m2/dev
constructive dilemma B6AGR1X87X
| URI | m2://inv/B6AGR1X87X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#0SPR, constructive dilemma (definition)
History
- 2026-11-02: add by m2/dev
Theorem B6AGR41T9X
| URI | m2://inv/B6AGR41T9X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Countable set#DUSS, Theorem (statement)
History
- 2026-11-02: add by m2/dev
B6AMR7V3VK B6AMR7V3VK
| URI | m2://inv/B6AMR7V3VK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#NAIX (definition). In X765ZXXVC3/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.12
B6ANZZ5G6Q B6ANZZ5G6Q
| URI | m2://inv/B6ANZZ5G6Q |
|---|---|
| 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#ZQKD (statement). In 64YCRQCKZN/e1, lemma 4.7
History
- 2026-10-30: add by m2/v0.4.12
B6ATDFMQP0 B6ATDFMQP0
| URI | m2://inv/B6ATDFMQP0 |
|---|---|
| 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 1009.2043#YVG7 (statement). In 7DCNHRBK5A/e1, corollary 5.4
History
- 2026-10-27: add by m2/v0.3.5
Standard pass@$k$ upper bound B6AVZ9572R
| URI | m2://inv/B6AVZ9572R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33291#U75A, Standard pass@$k$ upper bound (statement). In HQN1Y9RP53/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
Applications B6AZEKQZYQ
| URI | m2://inv/B6AZEKQZYQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reider's theorem#4CQU, Applications (example)
History
- 2026-11-02: add by m2/dev
Karol J. Krótki B6B35JBJ8Q
| URI | m2://inv/B6B35JBJ8Q |
|---|---|
| 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#UD5F, Karol J. Krótki (unknown)
History
- 2026-11-02: add by m2/dev
B6B3N1B1NX B6B3N1B1NX
| URI | m2://inv/B6B3N1B1NX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-295 (exercise). In VNMV985MXX, exercise, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Concave-boundary transfer B6BA045CDG
| URI | m2://inv/B6BA045CDG |
|---|---|
| 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.33794#44DJ, Concave-boundary transfer (statement). In W0PQMW25VY/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Statistical syllogism B6BANBE264
| URI | m2://inv/B6BANBE264 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PPYN, Statistical syllogism (definition)
History
- 2026-11-02: add by m2/dev
Chasles' theorem B6BC45RSPY
| URI | m2://inv/B6BC45RSPY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chasles' theorem (gravity), Chasles' theorem (statement). Also Wikidata Q3527038
History
- 2026-11-02: add by m2/dev
B6BC4F1041 B6BC4F1041
| URI | m2://inv/B6BC4F1041 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05314#9LJH (statement). In PA3B6C0WY7/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.10
B6BCY84V8A B6BCY84V8A
| URI | m2://inv/B6BCY84V8A |
|---|---|
| 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 2111.01197#I1Z5 (statement). In Z36XFKVTS0/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
B6BGGXWP81 B6BGGXWP81
| URI | m2://inv/B6BGGXWP81 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#16W2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
B6BKMYZ6JA B6BKMYZ6JA
| URI | m2://inv/B6BKMYZ6JA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04317#PV8K (statement). In 49V3ANDZTY/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
Formal definition B6BSDAW5GJ
| URI | m2://inv/B6BSDAW5GJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lemoine's conjecture#2OGV, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Zuckerman number B6BV90AGMM
| URI | m2://inv/B6BV90AGMM |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4516291, Zuckerman number (object). Also OEIS A007602
History
- 2026-10-26: add by m2/dev
B6C289HG9C B6C289HG9C
| URI | m2://inv/B6C289HG9C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1612.08394#NF70 (definition). In 1P8D88DKG5/e1, definition 7.1
History
- 2026-10-27: add by m2/v0.3.5
Grigori Perelman B6C4CGTYQY
| URI | m2://inv/B6C4CGTYQY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#8FB8, Grigori Perelman (topic)
History
- 2026-11-02: add by m2/dev
B6C6YEES06 B6C6YEES06
| URI | m2://inv/B6C6YEES06 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16060#7YKU (statement). In X0BTF9HPGM/e1, lemma 3.17
History
- 2026-10-28: add by m2/v0.4.2
Definition B6C9QVMTS3
| URI | m2://inv/B6C9QVMTS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mackey topology#AX58, Definition (definition)
History
- 2026-11-02: add by m2/dev
Weyl dimension formula B6CFTKG1N8
| URI | m2://inv/B6CFTKG1N8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#H3EQ, Weyl dimension formula (statement)
History
- 2026-11-02: add by m2/dev
Ackermann's formula B6CGQTJ0CP
| URI | m2://inv/B6CGQTJ0CP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ackermann's formula, Ackermann's formula (statement). Also Wikidata Q42417197
History
- 2026-11-02: add by m2/dev
Fermat's Last Theorem B6CK8GAPQ0
| URI | m2://inv/B6CK8GAPQ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat's Last Theorem (book), Fermat's Last Theorem (statement). Also Wikidata Q3819909
History
- 2026-11-02: add by m2/dev
Bojańczyk-Pilipczuk's theorem B6CNEC3SHD
| URI | m2://inv/B6CNEC3SHD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Courcelle's theorem#7GGX, Bojańczyk-Pilipczuk's theorem (statement)
History
- 2026-11-02: add by m2/dev
Divsha Amirà B6CRMRH39V
| URI | m2://inv/B6CRMRH39V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divsha Amirà, Divsha Amirà (topic). Also Wikidata Q6830050
History
- 2026-11-02: add by m2/dev
B6CX8MRPF6 B6CX8MRPF6
| URI | m2://inv/B6CX8MRPF6 |
|---|---|
| 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#2055 (statement)
History
- 2026-11-02: add by m2/v0.6.18
B6D21XNPZ9 B6D21XNPZ9
| URI | m2://inv/B6D21XNPZ9 |
|---|---|
| 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.20679#63V9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Local channel approximation B6D79Y61MX
| URI | m2://inv/B6D79Y61MX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01669#GCJM, Local channel approximation (statement). In 41AVNP6DJ9/e1, corollary 5.1
History
- 2026-10-29: add by m2/v0.4.12
fan graph B6D7EPKFA7
| URI | m2://inv/B6D7EPKFA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q128818074, fan graph (unknown). Also MathWorld FanGraph
- wikipedia: Wikipedia Fan graph, Fan graph (definition). Also Wikidata Q128818074
History
- 2026-10-26: add by m2/dev
B6D7ZZ7TGW B6D7ZZ7TGW
| URI | m2://inv/B6D7ZZ7TGW |
|---|---|
| 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.21972#C0A8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Marsha Berger B6DCGH8M08
| URI | m2://inv/B6DCGH8M08 |
|---|---|
| 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#64JH, Marsha Berger (unknown)
History
- 2026-11-02: add by m2/dev
A measurable family of bounded closing paths B6DHCHRAFQ
| URI | m2://inv/B6DHCHRAFQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.27851#AD1R, A measurable family of bounded closing paths (statement)
History
- 2026-11-01: add by m2/v0.6.15
Computations B6DJC6HJZ6
| URI | m2://inv/B6DJC6HJZ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithm#BE0S, Computations (definition)
History
- 2026-11-02: add by m2/dev
Risk perception B6DPMGZ1A7
| URI | m2://inv/B6DPMGZ1A7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Risk perception, Risk perception (definition). Also Wikidata Q2154783
History
- 2026-11-02: add by m2/dev
B6DQ82ABX7 B6DQ82ABX7
| URI | m2://inv/B6DQ82ABX7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-79 (exercise). In VNMV985MXX, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Properties B6E07RAHMM
| URI | m2://inv/B6E07RAHMM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric signature#E9J1, Properties (statement)
History
- 2026-11-02: add by m2/dev
B6E6EPZFZ3 B6E6EPZFZ3
| URI | m2://inv/B6E6EPZFZ3 |
|---|---|
| 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#C8VV (statement). In C8VC86B6H8/e1, lemma 8.4
History
- 2026-10-28: add by m2/v0.4.2
B6EE0PSWES B6EE0PSWES
| URI | m2://inv/B6EE0PSWES |
|---|---|
| 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#VOA5 (statement). In 6DJDRXDQNB/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.2
Hidden linear function problem B6EFBV581M
| URI | m2://inv/B6EFBV581M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#DK7Q, Hidden linear function problem (unknown)
History
- 2026-11-02: add by m2/dev
B6EGY676HY B6EGY676HY
| URI | m2://inv/B6EGY676HY |
|---|---|
| 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.01737#FCBD (statement). In M4JGP708F4/e1, lemma 4.16
History
- 2026-10-29: add by m2/v0.4.12
Relationship to ideal gas law B6ERASP391
| URI | m2://inv/B6ERASP391 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermodynamic temperature#BHTB, Relationship to ideal gas law (statement)
History
- 2026-11-02: add by m2/dev
B6ERCSMDTM B6ERCSMDTM
| URI | m2://inv/B6ERCSMDTM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07299#4ISA (definition). In M70KP0BZ99/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
B6EWVCGHCZ B6EWVCGHCZ
| URI | m2://inv/B6EWVCGHCZ |
|---|---|
| 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#8SRK (statement). In CY1FE8W1ZW/e1, proposition 0.26
History
- 2026-10-27: add by m2/v0.4.0
Frédérique Oggier B6EYHJEE27
| URI | m2://inv/B6EYHJEE27 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frédérique Oggier, Frédérique Oggier (topic). Also Wikidata Q59668438
History
- 2026-11-02: add by m2/dev
B6F3Y020G1 B6F3Y020G1
| URI | m2://inv/B6F3Y020G1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#UWLB (statement). In X9WFC1D9ZS/e1, lemma 17
History
- 2026-10-27: add by m2/v0.4.2
B6FDB64XS5 B6FDB64XS5
| URI | m2://inv/B6FDB64XS5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#prop:endpointderivative (statement). In E59CDZA4DP, prop, section 3.2.4
History
- 2026-11-01: add by m2/v0.6.13
Cabibbo–Kobayashi–Maskawa matrix B6FG6E4SD1
| URI | m2://inv/B6FG6E4SD1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#YW05, Cabibbo–Kobayashi–Maskawa matrix (definition)
History
- 2026-11-02: add by m2/dev
Applications B6FQW26YZB
| URI | m2://inv/B6FQW26YZB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cellular approximation theorem#TCXY, Applications (example)
History
- 2026-11-02: add by m2/dev
Karl Stein B6FVPWK3YV
| URI | m2://inv/B6FVPWK3YV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#YSNN, Karl Stein (topic)
History
- 2026-11-02: add by m2/dev
semisimple B6FWATQ8AH
| URI | m2://inv/B6FWATQ8AH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#V9O3, semisimple (definition)
History
- 2026-11-02: add by m2/dev
B6G156FHVC B6G156FHVC
| URI | m2://inv/B6G156FHVC |
|---|---|
| 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.04809#JMBZ (statement). In 2VHV0RNTNV/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.12
Lewis Bowen B6G33X8ZHB
| URI | m2://inv/B6G33X8ZHB |
|---|---|
| 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#WKQ2, Lewis Bowen (topic)
History
- 2026-11-02: add by m2/dev
B6G8Z0D1RG B6G8Z0D1RG
| URI | m2://inv/B6G8Z0D1RG |
|---|---|
| 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 2409.20170#FGJK (statement). In QXJP79APHN/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.5
Thomas Hawkins B6GAE52AH7
| URI | m2://inv/B6GAE52AH7 |
|---|---|
| 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#H6T5, Thomas Hawkins (unknown)
History
- 2026-11-02: add by m2/dev
B6GE026JZP B6GE026JZP
| URI | m2://inv/B6GE026JZP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/fixed-point-thm.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Special cases B6GER6CYSN
| URI | m2://inv/B6GER6CYSN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kite (geometry)#WW83, Special cases (statement)
History
- 2026-11-02: add by m2/dev
simultaneous diagonalization of two real quadratic forms, with one positive-definite B6GX20SY73
| URI | m2://inv/B6GX20SY73 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > simultaneous diagonalization of two real quadratic forms, with one positive-definite, simultaneous diagonalization of two real quadratic forms, with one positive-definite (unknown)
History
- 2026-10-26: add by m2/dev
Twentyfive.7 B6GYC4FS58
| URI | m2://inv/B6GYC4FS58 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#3X9V, Twentyfive.7 (unknown)
History
- 2026-11-02: add by m2/dev
B6H197VHW6 B6H197VHW6
| URI | m2://inv/B6H197VHW6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38742#BM70 (statement). In TSXBJB0EXK/e1, theorem 2.8
History
- 2026-10-30: add by m2/v0.4.12
Riemann form B6HGKBMWS7
| URI | m2://inv/B6HGKBMWS7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann form, Riemann form (definition). Also Wikidata Q5985807
History
- 2026-11-02: add by m2/dev
Means on $C^*$-algebras B6HKMMF942
| URI | m2://inv/B6HKMMF942 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30410#YUBR, Means on $C^*$-algebras (definition). In 5HZX3JVJWF/e1, definition 2.4
History
- 2026-10-31: add by m2/v0.5.6
example B6HQ3SVYVZ
| URI | m2://inv/B6HQ3SVYVZ |
|---|---|
| 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.09390#4I4N, example (statement). In 7SSKW778T8/e1, theorem 11
History
- 2026-10-29: add by m2/v0.4.10
B6HQBQP1M6 B6HQBQP1M6
| URI | m2://inv/B6HQBQP1M6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36313#NITO (definition). In Z5SP3NW41S/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
Rona Gurkewitz B6J418QMDM
| URI | m2://inv/B6J418QMDM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rona Gurkewitz, Rona Gurkewitz (topic). Also Wikidata Q98690972
History
- 2026-11-02: add by m2/dev
Resolvent formalism B6JDWX6R7A
| URI | m2://inv/B6JDWX6R7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolvent formalism, Resolvent formalism (definition). Also Wikidata Q1426722
History
- 2026-11-02: add by m2/dev
Bracket B6JPSC1J6A
| URI | m2://inv/B6JPSC1J6A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bracket (mathematics), Bracket (definition). Also Wikidata Q4953686
History
- 2026-11-02: add by m2/dev
Applications B6KAC33CY9
| URI | m2://inv/B6KAC33CY9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic homology#7Z2M, Applications (example)
History
- 2026-11-02: add by m2/dev
B6KER94PJJ B6KER94PJJ
| URI | m2://inv/B6KER94PJJ |
|---|---|
| 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.07828#PIHT (statement). In TWGMVT1N1G/e1, corollary 7.1
History
- 2026-10-29: add by m2/v0.4.10
B6KJYF5F6T B6KJYF5F6T
| URI | m2://inv/B6KJYF5F6T |
|---|---|
| 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.35323#SWLT (statement). In 5CKPXBWSCX/e1, theorem 3.7
History
- 2026-10-30: add by m2/v0.4.12
Dvoretzky's theorem B6KP4BJ0WP
| URI | m2://inv/B6KP4BJ0WP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#KDD2, Dvoretzky's theorem (statement)
History
- 2026-11-02: add by m2/dev
Self-shrinking generator B6KRCAD48N
| URI | m2://inv/B6KRCAD48N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-shrinking generator, Self-shrinking generator (definition). Also Wikidata Q17084187
History
- 2026-11-02: add by m2/dev
B6M2DQTHTD B6M2DQTHTD
| URI | m2://inv/B6M2DQTHTD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1008.4946#IQQK (definition). In R4ZM6Q4SHH/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.5
Circular convolution B6M8R9Z36B
| URI | m2://inv/B6M8R9Z36B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular convolution, Circular convolution (definition). Also Wikidata Q245450
History
- 2026-11-02: add by m2/dev
B6MCJDZ8JH B6MCJDZ8JH
| URI | m2://inv/B6MCJDZ8JH |
|---|---|
| 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.12736#VKZ2 (statement). In 5350Q52F6P/e1, lemma 9.5
History
- 2026-10-28: add by m2/v0.4.2
Properties B6MCX28H3B
| URI | m2://inv/B6MCX28H3B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit of a function#KF0C, Properties (statement)
History
- 2026-11-02: add by m2/dev
Cartesian square B6MKVZJRR4
| URI | m2://inv/B6MKVZJRR4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#0XRJ, Cartesian square (definition)
History
- 2026-11-02: add by m2/dev
Minoru Wakimoto B6MNAMF5T6
| URI | m2://inv/B6MNAMF5T6 |
|---|---|
| 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#M529, Minoru Wakimoto (unknown)
History
- 2026-11-02: add by m2/dev
B6MQ449DMG B6MQ449DMG
| URI | m2://inv/B6MQ449DMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20344#FUZ1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
B6MW8K83J4 B6MW8K83J4
| URI | m2://inv/B6MW8K83J4 |
|---|---|
| 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 2011.14561#UP8X (statement). In V2XJJJX1Z8/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
B6MZTM8FKD B6MZTM8FKD
| URI | m2://inv/B6MZTM8FKD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15405#LYNF (statement). In 9QCYCXVF5W/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Escape rate into a Markov hole B6N1R5P3VV
| URI | m2://inv/B6N1R5P3VV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.05118#D7LQ, Escape rate into a Markov hole (definition). In BT0T0QS2TN/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.4.0
B6N3TVQWD1 B6N3TVQWD1
| URI | m2://inv/B6N3TVQWD1 |
|---|---|
| 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.17698#L9KO (statement). In DAH99JEYHF/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
The $\alpha$-divergence regularizer B6NDMD7VN2
| URI | m2://inv/B6NDMD7VN2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14988#7AI4, The $\alpha$-divergence regularizer (statement). In B29M4E6KGC/e1, theorem K.1
History
- 2026-10-28: add by m2/v0.4.2
Warnaar B6NFFT96HQ
| URI | m2://inv/B6NFFT96HQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#B98P, Warnaar (statement). In 9S7HGSEX6Q/e1, proposition 7.3
History
- 2026-10-28: add by m2/v0.4.2
Oswald Jacoby B6NMKMY83Z
| URI | m2://inv/B6NMKMY83Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#1P7T, Oswald Jacoby (unknown)
History
- 2026-11-02: add by m2/dev
irreducible fraction B6NTP8GM93
| URI | m2://inv/B6NTP8GM93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q263865, irreducible fraction (unknown). Also MathWorld IrreducibleFraction, MathWorld ReducedFraction
- wikipedia: Wikipedia Irreducible fraction, Irreducible fraction (definition). Also Wikidata Q263865
History
- 2026-10-26: add by m2/dev
Nalini Anantharaman B6NVB0FFMJ
| URI | m2://inv/B6NVB0FFMJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nalini Anantharaman, Nalini Anantharaman (topic). Also Wikidata Q1964081
History
- 2026-11-02: add by m2/dev
Expansion of $\Delta_2$ B6NWEH7QJ6
| URI | m2://inv/B6NWEH7QJ6 |
|---|---|
| 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.15805#3RPN, Expansion of $\Delta_2$ (statement). In 2XVWG0Z18V/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
B6NXR3YNT1 B6NXR3YNT1
| URI | m2://inv/B6NXR3YNT1 |
|---|---|
| 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.37562#0M4R (statement). In PYY8DFK2JS/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
B6NY3XK1GF B6NY3XK1GF
| URI | m2://inv/B6NY3XK1GF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/subsets.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 83.1
History
- 2026-11-01: add by m2/v0.6.13
B6P3GGDPVW B6P3GGDPVW
| URI | m2://inv/B6P3GGDPVW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35600#65BW (statement). In ET8GYMMDQM/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
B6P7AX4DDG B6P7AX4DDG
| URI | m2://inv/B6P7AX4DDG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#RUG6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
B6PA2KG5JB B6PA2KG5JB
| URI | m2://inv/B6PA2KG5JB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/euclidean-filtrations.tex#thm:modal-closed-filt (statement). In PKGMM3P5QY, thm, section 51.8
History
- 2026-11-01: add by m2/v0.6.13
Cyclic unitary Galois conjecture B6PADEK70Q
| URI | m2://inv/B6PADEK70Q |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11652#ATW0, Cyclic unitary Galois conjecture (conjecture). In VEXM27M8Q1/e1, conjecture 6.8
History
- 2026-10-28: add by m2/v0.4.3
B6PBAFZSXP B6PBAFZSXP
| URI | m2://inv/B6PBAFZSXP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18246#K6TG (statement). In SN6F0MPPVF/e1, proposition 5.6
History
- 2026-10-28: add by m2/v0.4.2
B6PC1YC1Q3 B6PC1YC1Q3
| URI | m2://inv/B6PC1YC1Q3 |
|---|---|
| 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#RBZP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Feature engineering B6PPQ5P8S5
| URI | m2://inv/B6PPQ5P8S5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feature engineering, Feature engineering (definition). Also Wikidata Q22245680
History
- 2026-11-02: add by m2/dev
Applications B6PPVXBND8
| URI | m2://inv/B6PPVXBND8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statgraphics#IOBI, Applications (example)
History
- 2026-11-02: add by m2/dev
B6PV2CJ34W B6PV2CJ34W
| URI | m2://inv/B6PV2CJ34W |
|---|---|
| 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.22040#0TLK (statement). In 2QP93JHYNB/e1, proposition 8.19
History
- 2026-10-27: add by m2/v0.4.2
Additional axioms B6Q3343W7R
| URI | m2://inv/B6Q3343W7R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective geometry#5737, Additional axioms (statement)
History
- 2026-11-02: add by m2/dev
Statement B6Q86C99XZ
| URI | m2://inv/B6Q86C99XZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landweber exact functor theorem#4LTA, Statement (statement)
History
- 2026-11-02: add by m2/dev
B6QD2JG3P1 B6QD2JG3P1
| URI | m2://inv/B6QD2JG3P1 |
|---|---|
| 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.24185#R6IE (statement)
History
- 2026-11-01: add by m2/v0.6.15
B6QGB7P396 B6QGB7P396
| URI | m2://inv/B6QGB7P396 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17116#YNCJ (statement). In A02X6MX28Y/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
B6QK3T6292 B6QK3T6292
| URI | m2://inv/B6QK3T6292 |
|---|---|
| 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 2609.25896#LZTK (statement)
History
- 2026-11-01: add by m2/v0.6.15
B6QPXCGG9N B6QPXCGG9N
| URI | m2://inv/B6QPXCGG9N |
|---|---|
| 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 2303.10963#YHJO (statement). In F32XWYWG8E/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Inequity aversion B6QWFZJ7SX
| URI | m2://inv/B6QWFZJ7SX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inequity aversion, Inequity aversion (definition). Also Wikidata Q17056235
History
- 2026-11-02: add by m2/dev
Finite-resolution regret does not control infinitesimal ordinal regret B6QYGPVVZF
| URI | m2://inv/B6QYGPVVZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05428#2R29, Finite-resolution regret does not control infinitesimal ordinal regret (statement). In 31MQPCA8SH/e1, proposition E.1
History
- 2026-10-29: add by m2/v0.4.10
B6R9YQEN21 B6R9YQEN21
| URI | m2://inv/B6R9YQEN21 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-170 (exercise). In VNMV985MXX, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Georg Landsberg B6RBH616CZ
| URI | m2://inv/B6RBH616CZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#YOFS, Georg Landsberg (topic)
History
- 2026-11-02: add by m2/dev
Roger Apéry B6RBRZ02HK
| URI | m2://inv/B6RBRZ02HK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#H682, Roger Apéry (topic)
History
- 2026-11-02: add by m2/dev
Definition B6RJ5E39R9
| URI | m2://inv/B6RJ5E39R9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ore extension#UI0M, Definition (definition)
History
- 2026-11-02: add by m2/dev
Statement B6RJGYF48G
| URI | m2://inv/B6RJGYF48G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roth's theorem on arithmetic progressions#H6S2, Statement (statement)
History
- 2026-11-02: add by m2/dev
Isoperimetric inequality B6S3HPB08F
| URI | m2://inv/B6S3HPB08F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher information#OBFL, Isoperimetric inequality (statement)
History
- 2026-11-02: add by m2/dev
B6SMQ28RH1 B6SMQ28RH1
| URI | m2://inv/B6SMQ28RH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39855#R028 (statement). In E1KFX0NW51/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
B6SQ7E6M2T B6SQ7E6M2T
| URI | m2://inv/B6SQ7E6M2T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#59BU (example). In BDN507RN7J/e1, example 3.7.6
History
- 2026-10-30: add by m2/v0.4.12
B6SRM962EX B6SRM962EX
| URI | m2://inv/B6SRM962EX |
|---|---|
| Kind | definition |
| 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.28495#D7XR (definition)
History
- 2026-11-01: add by m2/v0.6.15
Converse B6SWDY2SD6
| URI | m2://inv/B6SWDY2SD6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inequality (mathematics)#20X9, Converse (statement)
History
- 2026-11-02: add by m2/dev
B6T1X7JD4J B6T1X7JD4J
| URI | m2://inv/B6T1X7JD4J |
|---|---|
| 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.31556#2XLY (statement). In 1VBEMR0JXH/e1, proposition 3.2
History
- 2026-10-31: add by m2/v0.5.6
Nonexistence on compact real hypersurfaces B6TAEWS6YQ
| URI | m2://inv/B6TAEWS6YQ |
|---|---|
| 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.00077#OLHN, Nonexistence on compact real hypersurfaces (statement). In C04B15GH1T/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
B6TECH4PW1 B6TECH4PW1
| URI | m2://inv/B6TECH4PW1 |
|---|---|
| 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.11271#LAY8 (statement). In HF7J38T8Y6/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.3
Value function polynomial coefficients B6TP127MBX
| URI | m2://inv/B6TP127MBX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15942#SKQL, Value function polynomial coefficients (statement). In E1X1SEPNJZ/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
Comparison in the stable range B6V0FNWAJJ
| URI | m2://inv/B6V0FNWAJJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#7JO2, Comparison in the stable range (statement). In 7NS75J7HAM/e1, proposition 7.7
History
- 2026-10-31: add by m2/v0.5.6
frequently B6V1SY38HA
| URI | m2://inv/B6V1SY38HA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#5HSN, frequently (definition)
History
- 2026-11-02: add by m2/dev
differential Poincaré conjecture B6VC24DGYJ
| URI | m2://inv/B6VC24DGYJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#X4BB, differential Poincaré conjecture (statement)
History
- 2026-11-02: add by m2/dev
Example B6VEJV013R
| URI | m2://inv/B6VEJV013R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Betti's theorem#GPG5, Example (example)
History
- 2026-11-02: add by m2/dev
Multinomial multibox discrepancy B6VTJC19GP
| URI | m2://inv/B6VTJC19GP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20520#1SFO, Multinomial multibox discrepancy (statement)
History
- 2026-11-02: add by m2/v0.6.18
B6VVXBXSKH B6VVXBXSKH
| URI | m2://inv/B6VVXBXSKH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2507.20176#AJVG (definition). In CX4WDA2KAR/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Infinite-time existence theory for parabolic problems B6VX0JT3WD
| URI | m2://inv/B6VX0JT3WD |
|---|---|
| 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.34923#XBQU, Infinite-time existence theory for parabolic problems (statement). In 7WKVFJEZQT/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
B6VYJJWKTQ B6VYJJWKTQ
| URI | m2://inv/B6VYJJWKTQ |
|---|---|
| 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.34013#XXJE (statement). In 3TA3P3CWSJ/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Basic properties and theorems B6VYQVA057
| URI | m2://inv/B6VYQVA057 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caputo fractional derivative#9G9O, Basic properties and theorems (statement)
History
- 2026-11-02: add by m2/dev
Principle B6W3BXAJXM
| URI | m2://inv/B6W3BXAJXM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Missing square puzzle#L8VJ, Principle (statement)
History
- 2026-11-02: add by m2/dev
Equivalences. B6WBJZJM6Q
| URI | m2://inv/B6WBJZJM6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjoint functors#9LPC, Equivalences. (definition)
History
- 2026-11-02: add by m2/dev
Exponential-Golomb coding B6WJCPA285
| URI | m2://inv/B6WJCPA285 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#45DW, Exponential-Golomb coding (unknown)
History
- 2026-11-02: add by m2/dev
Correlation sum B6WKESM486
| URI | m2://inv/B6WKESM486 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation sum, Correlation sum (definition). Also Wikidata Q5172858
History
- 2026-11-02: add by m2/dev
W. V. D. Hodge B6WKG3J245
| URI | m2://inv/B6WKG3J245 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#5FN2, W. V. D. Hodge (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#40ZF, W. V. D. Hodge (topic)
History
- 2026-11-02: add by m2/dev
Thompson transport B6WRDFVBG7
| URI | m2://inv/B6WRDFVBG7 |
|---|---|
| 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.04271#GC58, Thompson transport (statement). In WBXAW9G4JB/e1, proposition 8.3
History
- 2026-10-29: add by m2/v0.4.12
Area formula B6WTC9YCDD
| URI | m2://inv/B6WTC9YCDD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallelogram#EH75, Area formula (statement)
History
- 2026-11-02: add by m2/dev
Contact process (mathematics) B6WYQMJCXY
| URI | m2://inv/B6WYQMJCXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9E4H, Contact process (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
B6WZ0WK62Z B6WZ0WK62Z
| URI | m2://inv/B6WZ0WK62Z |
|---|---|
| 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 2203.07710#KERC (conjecture). In NESGAWA54K/e1, conjecture 2.1
History
- 2026-10-27: add by m2/v0.3.5
Cassini oval B6X3CD58XM
| URI | m2://inv/B6X3CD58XM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q728699, Cassini oval (concept). Also MathWorld CassiniOvals
- wikipedia: Wikipedia Cassini oval, Cassini oval (definition). Also Wikidata Q728699
History
- 2026-10-26: add by m2/dev
B6X8MEJEHM B6X8MEJEHM
| URI | m2://inv/B6X8MEJEHM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22281#P6QW (statement). In G7MBQFYR81/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.0
Tucker circle B6X9WRWAH9
| URI | m2://inv/B6X9WRWAH9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1928064, Tucker circle (concept). Also MathWorld TuckerCircles
History
- 2026-10-26: add by m2/dev
B6XHYEGMA4 B6XHYEGMA4
| URI | m2://inv/B6XHYEGMA4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/infinite/dedekind-algebra.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 79.6
History
- 2026-11-01: add by m2/v0.6.13
The - theorem B6XKPBG73G
| URI | m2://inv/B6XKPBG73G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pi-system#GUFQ, The - theorem (statement)
History
- 2026-11-02: add by m2/dev
Analogies in linguistics B6XMWHR03M
| URI | m2://inv/B6XMWHR03M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analogy#752B, Analogies in linguistics (unknown)
History
- 2026-11-02: add by m2/dev
B6XNTWYJMB B6XNTWYJMB
| URI | m2://inv/B6XNTWYJMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05403#X7RV (statement). In PQGGCD09KP/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Alexander Yu. Olshanskii B6XNYWDN60
| URI | m2://inv/B6XNYWDN60 |
|---|---|
| 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#3JJM, Alexander Yu. Olshanskii (topic)
History
- 2026-11-02: add by m2/dev
robust statistics B6XR09SY79
| URI | m2://inv/B6XR09SY79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Robust statistics J7410PG2DR |
Mentions
- wikidata: Wikidata Q1665389, robust statistics (unknown). Also MathWorld RobustEstimation
- wikipedia: Wikipedia Robust statistics, Robust statistics (definition). Also Wikidata Q1665389
History
- 2026-10-26: add by m2/dev
B6XTFNW6FZ B6XTFNW6FZ
| URI | m2://inv/B6XTFNW6FZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.06645#CMN1 (statement). In 79H1DEK4M9/e1, corollary 7.6
History
- 2026-10-29: add by m2/v0.4.10
B6Y0EBRA6S B6Y0EBRA6S
| URI | m2://inv/B6Y0EBRA6S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#9XE3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Andrey Nikolayevich Tikhonov B6Y1B9755A
| URI | m2://inv/B6Y1B9755A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5G14, Andrey Nikolayevich Tikhonov (topic)
History
- 2026-11-02: add by m2/dev
Dodd–Bullough–Mikhailov equation B6Y1XPWNTJ
| URI | m2://inv/B6Y1XPWNTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dodd–Bullough–Mikhailov equation, Dodd–Bullough–Mikhailov equation (definition). Also Wikidata Q15838174
History
- 2026-11-02: add by m2/dev
History of mathematics education in the United Kingdom B6Y20DHPE3
| URI | m2://inv/B6Y20DHPE3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics education in the United Kingdom#OP7B, History of mathematics education in the United Kingdom (unknown)
History
- 2026-11-02: add by m2/dev
B6Y31HSEDP B6Y31HSEDP
| URI | m2://inv/B6Y31HSEDP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#proof-31 (proof). In E59CDZA4DP, proof, section 4.6.2
History
- 2026-11-01: add by m2/v0.6.13
Theorem (general case) B6YN5KJS95
| URI | m2://inv/B6YN5KJS95 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic equipartition property#4F1Q, Theorem (general case) (statement)
History
- 2026-11-02: add by m2/dev
Joshua Guerrero B6YVK21XTF
| URI | m2://inv/B6YVK21XTF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#OOGR, Joshua Guerrero (unknown)
History
- 2026-11-02: add by m2/dev
B6YVQTJ9YR B6YVQTJ9YR
| URI | m2://inv/B6YVQTJ9YR |
|---|---|
| Kind | counterexample |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#N4UE (counterexample). In HX63A1PH1W/e1, counterexample 6.3
History
- 2026-10-28: add by m2/v0.4.3
B6YX0Y6SG6 B6YX0Y6SG6
| URI | m2://inv/B6YX0Y6SG6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02833#4PPT (statement). In TNREX5GDK2/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.12
\hspace{1pt B6Z114FV13
| URI | m2://inv/B6Z114FV13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20583#32ZT, \hspace{1pt (statement). In 5YEEPDPAQE/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.4.2
B6Z3RDX322 B6Z3RDX322
| URI | m2://inv/B6Z3RDX322 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04046#6VES (example). In 3THDT8WNF7/e1, example 15
History
- 2026-10-29: add by m2/v0.4.12
B6Z4YSTFF9 B6Z4YSTFF9
| URI | m2://inv/B6Z4YSTFF9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21981#BI02 (example). In H3M2QSKN43/e1, example 1.6
History
- 2026-10-27: add by m2/v0.4.2
Fourier inversion theorem B6ZMM17BYH
| URI | m2://inv/B6ZMM17BYH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph Fourier#JF2O, Fourier inversion theorem (statement)
- wikipedia: Wikipedia List of harmonic analysis topics#R3VD, Fourier inversion theorem (statement)
- wikipedia: Wikipedia List of Fourier analysis topics#VVEF, Fourier inversion theorem (statement)
History
- 2026-11-02: add by m2/dev
B6ZXDYBNPR B6ZXDYBNPR
| URI | m2://inv/B6ZXDYBNPR |
|---|---|
| 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.31126#WTD9 (statement). In GK1V5GEHTK/e1, theorem 5.2
History
- 2026-10-31: add by m2/v0.5.6