Inventory rows VF
The cards of the rows of the inventory whose ids start with VF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
2707 (number) VF0168403Q
| URI | m2://inv/VF0168403Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2000 (number)#8BQ5, 2707 (number) (unknown)
History
- 2026-11-02: add by m2/dev
VF02V0M52F VF02V0M52F
| URI | m2://inv/VF02V0M52F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38548#D87Q (statement). In Z7ZFV3HM1S/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
requires \sectionref{sec:taylor} VF08JSSXZ5
| URI | m2://inv/VF08JSSXZ5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-35, requires \sectionref{sec:taylor} (exercise). In E59CDZA4DP, exercise, section 8.4.3
History
- 2026-11-01: add by m2/v0.6.13
VF0AG2XQYY VF0AG2XQYY
| URI | m2://inv/VF0AG2XQYY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.16003#3TND (example). In BJGS6ZCQ12/e1, example 4.7
History
- 2026-10-27: add by m2/v0.3.6
VF0DSP2E3C VF0DSP2E3C
| URI | m2://inv/VF0DSP2E3C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15454#5LBZ (statement). In RGQZVNXWM5/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Metalogic VF0EEZTRX9
| URI | m2://inv/VF0EEZTRX9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metalogic, Metalogic (topic). Also Wikidata Q1366730
History
- 2026-11-02: add by m2/dev
VF0F01WJHW VF0F01WJHW
| URI | m2://inv/VF0F01WJHW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23834#0O8V (statement)
History
- 2026-11-02: add by m2/v0.6.17
Richard Brauer VF194PM1XC
| URI | m2://inv/VF194PM1XC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q65201, Richard Brauer (unknown). Also nLab Richard Brauer
- wikipedia: Wikipedia Richard Brauer, Richard Brauer (topic). Also Wikidata Q65201
History
- 2026-10-26: add by m2/dev
Spencer Bloch VF19AZ75H6
| URI | m2://inv/VF19AZ75H6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#YKTM, Spencer Bloch (topic)
History
- 2026-11-02: add by m2/dev
Line of greatest slope VF1F65MGZ0
| URI | m2://inv/VF1F65MGZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line of greatest slope, Line of greatest slope (definition). Also Wikidata Q1394648
History
- 2026-11-02: add by m2/dev
Compound of five tetrahedra VF1J25YP50
| URI | m2://inv/VF1J25YP50 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#S5TX, Compound of five tetrahedra (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#3RKO, Compound of five tetrahedra (object)
History
- 2026-11-02: add by m2/dev
VF1NCFEVAH VF1NCFEVAH
| URI | m2://inv/VF1NCFEVAH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_distributions.ptx#exa_genfunction_apples (example). In QKM9DD2H56, example, section 8.2
History
- 2026-11-01: add by m2/v0.6.13
Identity / neutral elements VF1W49P9KE
| URI | m2://inv/VF1W49P9KE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-ary group#5WCX, Identity / neutral elements (statement)
History
- 2026-11-02: add by m2/dev
VF1YJ753D7 VF1YJ753D7
| URI | m2://inv/VF1YJ753D7 |
|---|---|
| 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 2409.19687#JB5O (statement). In GWP0HYMDE3/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.6
VF21DFAPE6 VF21DFAPE6
| URI | m2://inv/VF21DFAPE6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#8VHP (statement). In VNE8N0D2FB/e1, lemma 5.3
History
- 2026-10-31: add by m2/v0.5.6
Characterizations VF21YF8FBM
| URI | m2://inv/VF21YF8FBM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solvable Lie algebra#25SV, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
VF22HVTS16 VF22HVTS16
| URI | m2://inv/VF22HVTS16 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#lem:delta0-completeness (statement). In PKGMM3P5QY, lem, section 30.3
History
- 2026-11-01: add by m2/v0.6.13
Power enhancement VF2559JJ5X
| URI | m2://inv/VF2559JJ5X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27200#QFDF, Power enhancement (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rödl nibble VF27RD4ES8
| URI | m2://inv/VF27RD4ES8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Packing in a hypergraph#45TK, Rödl nibble (unknown)
History
- 2026-11-02: add by m2/dev
LCI distance of configurations VF29NJ1FV8
| URI | m2://inv/VF29NJ1FV8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.13855#KSC5, LCI distance of configurations (definition). In GJKRVZ5YN5/e1, definition Definition
History
- 2026-10-27: add by m2/v0.3.5
VF2B5KBYZV VF2B5KBYZV
| URI | m2://inv/VF2B5KBYZV |
|---|---|
| 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.07770#JVB4 (statement). In 6GHT4P7E8X/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
VF2CBM0GHD VF2CBM0GHD
| URI | m2://inv/VF2CBM0GHD |
|---|---|
| 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.25843#F9FD (statement)
History
- 2026-11-01: add by m2/v0.6.15
VF2J8BX1P0 VF2J8BX1P0
| URI | m2://inv/VF2J8BX1P0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#IY3B (statement)
History
- 2026-11-02: add by m2/v0.6.18
A: realization at an infinite orbit VF2Q036CPQ
| URI | m2://inv/VF2Q036CPQ |
|---|---|
| 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.40251#2XT1, A: realization at an infinite orbit (statement). In 9J7TJYKGYX/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
VF2T96CC3T VF2T96CC3T
| URI | m2://inv/VF2T96CC3T |
|---|---|
| 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.00103#VXVE (statement). In S7RDXJWP1A/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
VF2XNJ3AN1 VF2XNJ3AN1
| URI | m2://inv/VF2XNJ3AN1 |
|---|---|
| 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 math/9201244#36UV (definition). In 7D3HCN21MK/e1, definition 1.5
History
- 2026-10-27: add by m2/v0.3.5
James A. Isenberg VF2YC9VBES
| URI | m2://inv/VF2YC9VBES |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#JYB3, James A. Isenberg (unknown)
History
- 2026-11-02: add by m2/dev
VF31RF46MW VF31RF46MW
| URI | m2://inv/VF31RF46MW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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.10377#M6SS (statement). In 6HP7BR9WZM/e1, corollary 3.18
History
- 2026-10-29: add by m2/v0.4.10
VF38DXSVXC VF38DXSVXC
| URI | m2://inv/VF38DXSVXC |
|---|---|
| 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.20911#6RTT (statement). In FF3MV70E7Z/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.2
Existence of solutions for nonlocal problem VF3BC7WQA6
| URI | m2://inv/VF3BC7WQA6 |
|---|---|
| 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.27414#RUNE, Existence of solutions for nonlocal problem (statement)
History
- 2026-11-01: add by m2/v0.6.15
Samkhyakarika VF3DG8QCG2
| URI | m2://inv/VF3DG8QCG2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Samkhyakarika, Samkhyakarika (definition). Also Wikidata Q2088920
History
- 2026-11-02: add by m2/dev
VF3FPCZFQF VF3FPCZFQF
| URI | m2://inv/VF3FPCZFQF |
|---|---|
| Kind | problem |
| 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.15086#GUKC (problem). In V60MVF3KQ1/e1, problem 1.2
History
- 2026-10-28: add by m2/v0.4.2
VF3HPCAMQK VF3HPCAMQK
| URI | m2://inv/VF3HPCAMQK |
|---|---|
| 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.06438#MP58 (statement). In Z633BH3HER/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Decipherment of proto-cuneiform numerals VF3JH7NERE
| URI | m2://inv/VF3JH7NERE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proto-cuneiform#G415, Decipherment of proto-cuneiform numerals (unknown)
History
- 2026-11-02: add by m2/dev
VF3TVKQ9JK VF3TVKQ9JK
| URI | m2://inv/VF3TVKQ9JK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/frobenius.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 13.8
History
- 2026-11-01: add by m2/v0.6.13
Misinformation effect VF3XXYC3BD
| URI | m2://inv/VF3XXYC3BD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#VN7U, Misinformation effect (unknown)
History
- 2026-11-02: add by m2/dev
VF3ZACWX7H VF3ZACWX7H
| URI | m2://inv/VF3ZACWX7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19882#A740 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Leonard Carlitz VF45QP1XBK
| URI | m2://inv/VF45QP1XBK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#Y6CW, Leonard Carlitz (topic)
History
- 2026-11-02: add by m2/dev
Applications VF45QZ4772
| URI | m2://inv/VF45QZ4772 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Energy distance#KH3G, Applications (example)
History
- 2026-11-02: add by m2/dev
VF47QZG71K VF47QZG71K
| URI | m2://inv/VF47QZG71K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28893#ZDEM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Natasha Dobrinen VF4F1YCAC9
| URI | m2://inv/VF4F1YCAC9 |
|---|---|
| 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#IR57, Natasha Dobrinen (topic)
History
- 2026-11-02: add by m2/dev
Statement VF4HSRPD8C
| URI | m2://inv/VF4HSRPD8C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second neighborhood problem#VYSQ, Statement (statement)
History
- 2026-11-02: add by m2/dev
VF4KEH8V15 VF4KEH8V15
| URI | m2://inv/VF4KEH8V15 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-73 (exercise). In E9HS8K3A52, exercise, section 4.4.1
History
- 2026-11-01: add by m2/v0.6.13
Implication graph VF4QQQ1XDW
| URI | m2://inv/VF4QQQ1XDW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implication graph, Implication graph (definition). Also Wikidata Q17098063
History
- 2026-11-02: add by m2/dev
Two-point rigidity VF4VW1P2SV
| URI | m2://inv/VF4VW1P2SV |
|---|---|
| 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.19243#2KQR, Two-point rigidity (statement). In 8CSXBTYKDT/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
VF52SEJVDK VF52SEJVDK
| URI | m2://inv/VF52SEJVDK |
|---|---|
| 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.35030#MIL8 (statement). In DPT4P2BTEW/e1, lemma 7.6
History
- 2026-10-30: add by m2/v0.4.12
The $A_+$ sector constructs Evans--Gannon's $(H,\beta)$ VF57H7Q49T
| URI | m2://inv/VF57H7Q49T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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.18512#PEB0, The $A_+$ sector constructs Evans--Gannon's $(H,\beta)$ (statement). In 11JNM66Z09/e1, fact 3.5
History
- 2026-10-28: add by m2/v0.4.2
spherical shell VF57N8K57W
| URI | m2://inv/VF57N8K57W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12137, spherical shell (unknown). Also MathWorld SphericalShell
- wikipedia: Wikipedia Spherical shell, Spherical shell (definition). Also Wikidata Q12137
History
- 2026-10-26: add by m2/dev
VF5BZVGAMQ VF5BZVGAMQ
| URI | m2://inv/VF5BZVGAMQ |
|---|---|
| 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.20077#JNIS (statement). In W5XRKWDADE/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.4.2
Ewain Gwynne VF5CBNJ9XG
| URI | m2://inv/VF5CBNJ9XG |
|---|---|
| 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#QQX6, Ewain Gwynne (unknown)
History
- 2026-11-02: add by m2/dev
Constructions VF5M5TBZJY
| URI | m2://inv/VF5M5TBZJY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexaoctagonal tiling#45I8, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Fixed-domain energy identity VF5P4VFWB7
| URI | m2://inv/VF5P4VFWB7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-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.20966#6SHN, Fixed-domain energy identity (statement). In TXDVZT65Q0/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.4.2
Nguyen-Dang--Wang VF5Q9D5NFX
| URI | m2://inv/VF5Q9D5NFX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30675#RV5V, Nguyen-Dang--Wang (statement). In RQ0K0A6PQA/e1, theorem 5.1
History
- 2026-10-31: add by m2/v0.5.6
Nine Mile Falls, Washington VF5SGYNHZX
| URI | m2://inv/VF5SGYNHZX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MQ7K, Nine Mile Falls, Washington (unknown)
History
- 2026-11-02: add by m2/dev
Butson-type Hadamard matrix VF5TXT39SZ
| URI | m2://inv/VF5TXT39SZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Butson-type Hadamard matrix, Butson-type Hadamard matrix (definition). Also Wikidata Q5002751
History
- 2026-11-02: add by m2/dev
VF64TZNZBP VF64TZNZBP
| URI | m2://inv/VF64TZNZBP |
|---|---|
| Kind | conjecture |
| 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.18377#PGHA (conjecture). In KYJJMC50SJ/e1, conjecture 1.1
History
- 2026-10-28: add by m2/v0.4.2
VF6GY379CF VF6GY379CF
| URI | m2://inv/VF6GY379CF |
|---|---|
| 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 2610.18894#BTKU (statement). In TJ8B49K7F1/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
A. A. Suslin VF6HPS7NKD
| URI | m2://inv/VF6HPS7NKD |
|---|---|
| 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#9TEW, A. A. Suslin (topic)
History
- 2026-11-02: add by m2/dev
Canonical cospan-algebra presentation of typed Petri nets VF6PFFE9XB
| URI | m2://inv/VF6PFFE9XB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20478#A2NE, Canonical cospan-algebra presentation of typed Petri nets (statement)
History
- 2026-11-02: add by m2/v0.6.18
multipartite graph VF6RBQ8ZHQ
| URI | m2://inv/VF6RBQ8ZHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1718082, multipartite graph (unknown). Also MathWorld k-PartiteGraph
- wikipedia: Wikipedia Multipartite graph, Multipartite graph (definition). Also Wikidata Q1718082
History
- 2026-10-26: add by m2/dev
VF6WDMQS1T VF6WDMQS1T
| URI | m2://inv/VF6WDMQS1T |
|---|---|
| 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.22764#EZEG (statement)
History
- 2026-11-02: add by m2/v0.6.17
Poly-Weibull distribution VF708EA8SZ
| URI | m2://inv/VF708EA8SZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poly-Weibull distribution, Poly-Weibull distribution (definition). Also Wikidata Q7226097
History
- 2026-11-02: add by m2/dev
isometric inclusion in double dual VF7GR5KCP6
| URI | m2://inv/VF7GR5KCP6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Normed vector spaces/Banach spaces > isometric inclusion in double dual, isometric inclusion in double dual (unknown). Also Mathlib NormedSpace.inclusionInDoubleDualLi
History
- 2026-10-26: add by m2/dev
VF7HA59MHS VF7HA59MHS
| URI | m2://inv/VF7HA59MHS |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#HYRS (unknown). In QNBFHFZ3H0/e1, unknown 9
History
- 2026-10-28: add by m2/v0.4.2
Minimal energies VF7M3ZFD7T
| URI | m2://inv/VF7M3ZFD7T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17026#JGGC, Minimal energies (statement). In 76G7J23DNZ/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
smooth embedding VF7M8DBBPD
| URI | m2://inv/VF7M8DBBPD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > smooth embedding, smooth embedding (unknown). Also Mathlib Manifold.IsSmoothEmbedding
History
- 2026-10-26: add by m2/dev
Siegel's lemma VF7M97TT0G
| URI | m2://inv/VF7M97TT0G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel's lemma, Siegel's lemma (statement). Also Wikidata Q2036267
History
- 2026-11-02: add by m2/dev
Gram matrix VF7MC1QWJF
| URI | m2://inv/VF7MC1QWJF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37074#K7H8, Gram matrix (definition). In VTNV72MCVD/e1, definition 3.3
History
- 2026-10-30: add by m2/v0.4.12
VF85F9BAY1 VF85F9BAY1
| URI | m2://inv/VF85F9BAY1 |
|---|---|
| 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 2610.08935#19IB (definition). In G02N9D40B9/e1, definition 2.2.1
History
- 2026-10-29: add by m2/v0.4.10
Probabilistic color control VF88G2QSV0
| URI | m2://inv/VF88G2QSV0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#4BNI, Probabilistic color control (definition). In WD2NCBV9F0/e1, definition 21.13
History
- 2026-10-27: add by m2/v0.3.5
Information theory and measure theory VF8AD73DPZ
| URI | m2://inv/VF8AD73DPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information theory and measure theory, Information theory and measure theory (definition). Also Wikidata Q6031263
History
- 2026-11-02: add by m2/dev
Sharp antipode--neighbor estimate VF8C30P9Z3
| URI | m2://inv/VF8C30P9Z3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14037#26CL, Sharp antipode--neighbor estimate (statement). In E7QSF9NXBG/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
VF8DQVDZNF VF8DQVDZNF
| URI | m2://inv/VF8DQVDZNF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06521#XL8A (statement). In NVXWD513NM/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Extensions of the Bhatia–Davis inequality VF8VQEK5H3
| URI | m2://inv/VF8VQEK5H3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bhatia–Davis inequality#4X43, Extensions of the Bhatia–Davis inequality (statement)
History
- 2026-11-02: add by m2/dev
VF8WBCACYF VF8WBCACYF
| URI | m2://inv/VF8WBCACYF |
|---|---|
| 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.29326#WN1J (statement). In 3F83V6VKKA/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.3.6
VF8YZDR02B VF8YZDR02B
| URI | m2://inv/VF8YZDR02B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-8 (exercise). In E9HS8K3A52, exercise, section 9.1.6
History
- 2026-11-01: add by m2/v0.6.13
Triangle mesh VF90QF9QKT
| URI | m2://inv/VF90QF9QKT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#C0EF, Triangle mesh (unknown)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#VJRD, Triangle mesh (unknown)
History
- 2026-11-02: add by m2/dev
VF92VFK964 VF92VFK964
| URI | m2://inv/VF92VFK964 |
|---|---|
| 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.03520#089N (statement). In CSRZ9CWK69/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
Thomas David Spearman VF96RC3KM3
| URI | m2://inv/VF96RC3KM3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas David Spearman, Thomas David Spearman (topic). Also Wikidata Q61901623
History
- 2026-11-02: add by m2/dev
line segment VF9EYVZXSK
| URI | m2://inv/VF9EYVZXSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Line segment VQ4Q2V45RP |
Mentions
- wikidata: Wikidata Q166154, line segment (unknown). Also EoM Segment, MathWorld LineSegment
- wikipedia: Wikipedia Line segment, Line segment (definition). Also Wikidata Q166154
History
- 2026-10-26: add by m2/dev
Convolution of probability distributions VF9NGNNZ0K
| URI | m2://inv/VF9NGNNZ0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convolution of probability distributions, Convolution of probability distributions (definition). Also Wikidata Q5166603
History
- 2026-11-02: add by m2/dev
Example VFA2P836F5
| URI | m2://inv/VFA2P836F5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reed–Solomon error correction#QR84, Example (example)
History
- 2026-11-02: add by m2/dev
Fictitious account of the battle of Hastings VFA49P7EGX
| URI | m2://inv/VFA49P7EGX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/pell.tex#problem-1, Fictitious account of the battle of Hastings (exercise). In RZP28ERRZV, problem, section 17.4
History
- 2026-11-01: add by m2/v0.6.13
VFA6HPWS2H VFA6HPWS2H
| URI | m2://inv/VFA6HPWS2H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#WQFB (statement). In ESDKTYDHC8/e1, theorem 9
History
- 2026-10-29: add by m2/v0.4.12
Quasi-regular estimate VFA7AP3FQH
| URI | m2://inv/VFA7AP3FQH |
|---|---|
| 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.36098#JYZC, Quasi-regular estimate (statement). In NRP62VNE58/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Exotic R4 VFABQGXFN7
| URI | m2://inv/VFABQGXFN7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exotic R4, Exotic R4 (definition). Also Wikidata Q2436606
History
- 2026-11-02: add by m2/dev
gravity VFAC95BHZX
| URI | m2://inv/VFAC95BHZX |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 81V17, 83F05 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11412, gravity (topic). Also ProofWiki Definition:Gravity
History
- 2026-10-26: add by m2/dev
Properties VFAF42TTPH
| URI | m2://inv/VFAF42TTPH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy distribution#0YCX, Properties (statement)
History
- 2026-11-02: add by m2/dev
VFAGKRAPM4 VFAGKRAPM4
| URI | m2://inv/VFAGKRAPM4 |
|---|---|
| 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.29152#H474 (statement)
History
- 2026-11-01: add by m2/v0.6.15
VFAK63CK6D VFAK63CK6D
| URI | m2://inv/VFAK63CK6D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.09700#ULIC (statement). In XCSQ27P0XW/e1, proposition 7.3
History
- 2026-10-27: add by m2/v0.4.0
$x_1x_2x_3$, $\Pol(1,2)$ VFAQFJJ6MB
| URI | m2://inv/VFAQFJJ6MB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#S5LP, $x_1x_2x_3$, $\Pol(1,2)$ (example). In 9B0X8YPF3P/e1, example 9.12
History
- 2026-10-28: add by m2/v0.4.2
Jessamine S. Whitney VFARE77EN4
| URI | m2://inv/VFARE77EN4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jessamine S. Whitney, Jessamine S. Whitney (topic). Also Wikidata Q65018385
History
- 2026-11-02: add by m2/dev
VFASEFX130 VFASEFX130
| URI | m2://inv/VFASEFX130 |
|---|---|
| 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 2609.31445#K6SX (statement). In 7V2PVZS04C/e1, proposition 2.19
History
- 2026-10-31: add by m2/v0.5.6
VFAVZ19DAR VFAVZ19DAR
| URI | m2://inv/VFAVZ19DAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16332#9XNX (statement). In JJQPFXZQ3D/e1, theorem 0.1
History
- 2026-10-28: add by m2/v0.4.2
Friedlander-Iwaniec, 2003 VFAW11MWRH
| URI | m2://inv/VFAW11MWRH |
|---|---|
| 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.35950#755P, Friedlander-Iwaniec, 2003 (statement). In BZN1G5W5FX/e1, theorem 6.4
History
- 2026-10-30: add by m2/v0.4.12
Self-dual polygon VFB1EG0H30
| URI | m2://inv/VFB1EG0H30 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular polygon#AW0W, Self-dual polygon (unknown)
History
- 2026-11-02: add by m2/dev
Examples VFB7SY87WW
| URI | m2://inv/VFB7SY87WW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetradecahedron#EJDA, Examples (example)
History
- 2026-11-02: add by m2/dev
Divisia monetary aggregates index VFBAG9B3DX
| URI | m2://inv/VFBAG9B3DX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisia monetary aggregates index, Divisia monetary aggregates index (definition). Also Wikidata Q5284414
History
- 2026-11-02: add by m2/dev
Multivariate Pólya distribution VFBW0PFGH1
| URI | m2://inv/VFBW0PFGH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UY38, Multivariate Pólya distribution (definition)
History
- 2026-11-02: add by m2/dev
VFC022DJSX VFC022DJSX
| URI | m2://inv/VFC022DJSX |
|---|---|
| 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.29152#UQC6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
VFC3TH4R0S VFC3TH4R0S
| URI | m2://inv/VFC3TH4R0S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05232#MNDM (statement). In DA3VN96YX2/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.10
VFC5GBFJD7 VFC5GBFJD7
| URI | m2://inv/VFC5GBFJD7 |
|---|---|
| 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.04574#H7B9 (statement). In XVPGDDE7WA/e1, lemma
History
- 2026-10-29: add by m2/v0.4.12
Deltoidal pentapentagonal tiling VFCC1VQXP0
| URI | m2://inv/VFCC1VQXP0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrapentagonal tiling#S455, Deltoidal pentapentagonal tiling (unknown)
History
- 2026-11-02: add by m2/dev
Blow-up and upper lifespan bounds VFCPVKN7JB
| URI | m2://inv/VFCPVKN7JB |
|---|---|
| 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.21256#IGKY, Blow-up and upper lifespan bounds (statement)
History
- 2026-11-02: add by m2/v0.6.18
traceable graph VFCSE0704Q
| URI | m2://inv/VFCSE0704Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q128796627, traceable graph (unknown). Also MathWorld TraceableGraph
History
- 2026-10-26: add by m2/dev
Formal definition VFCX99GS2C
| URI | m2://inv/VFCX99GS2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decision Linear assumption#U6BL, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
VFCYW3DMC2 VFCYW3DMC2
| URI | m2://inv/VFCYW3DMC2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34382#9FI7 (statement). In MEF2VCAYXS/e1, theorem 2.13
History
- 2026-10-30: add by m2/v0.4.12
VFD01RAZS0 VFD01RAZS0
| URI | m2://inv/VFD01RAZS0 |
|---|---|
| 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 2609.21668#2JC1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties VFD22MNNXB
| URI | m2://inv/VFD22MNNXB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable distribution#NX42, Properties (statement)
History
- 2026-11-02: add by m2/dev
VFD38V6KYP VFD38V6KYP
| URI | m2://inv/VFD38V6KYP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.02261#LVNX (statement). In TT74R659T0/e1, lemma 0.27
History
- 2026-10-27: add by m2/v0.3.5
Block-triangular matrices VFD3MC74Q7
| URI | m2://inv/VFD3MC74Q7 |
|---|---|
| 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.17476#849U, Block-triangular matrices (statement). In 6HXD74FA4S/e1, lemma 2.10
History
- 2026-10-28: add by m2/v0.4.2
Examples VFD3SK4RXW
| URI | m2://inv/VFD3SK4RXW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Accessible category#6Y8S, Examples (example)
History
- 2026-11-02: add by m2/dev
Formal statements VFD4PBS0WR
| URI | m2://inv/VFD4PBS0WR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive energy theorem#5MDA, Formal statements (statement)
History
- 2026-11-02: add by m2/dev
VFD646N6A7 VFD646N6A7
| URI | m2://inv/VFD646N6A7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10233#7OWW (statement). In QR9WE79ERQ/e1, theorem 1.12
History
- 2026-10-29: add by m2/v0.4.10
$1-e^{-\gamma}$ barrier VFDP09KGM1
| URI | m2://inv/VFDP09KGM1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24569#UNNA, $1-e^{-\gamma}$ barrier (statement)
History
- 2026-11-01: add by m2/v0.6.15
nine-point circle VFDQ4ZWN3E
| URI | m2://inv/VFDQ4ZWN3E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Nine-point circle 033H8MQRC3 |
Mentions
- wikidata: Wikidata Q214533, nine-point circle (concept). Also MathWorld Nine-PointCircle, ProofWiki Nine_Point_Circle_Theorem
- wikipedia: Wikipedia Nine-point circle, Nine-point circle (definition). Also Wikidata Q214533
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Definition VFDYMT6M2V
| URI | m2://inv/VFDYMT6M2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel (statistics)#651J, Definition (definition)
History
- 2026-11-02: add by m2/dev
Next-block pseudoentropy implies conditional sampling hardness VFE8RSDZTY
| URI | m2://inv/VFE8RSDZTY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14615#6TYI, Next-block pseudoentropy implies conditional sampling hardness (statement). In 7D5MMP8XB5/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
SXAL/MBAL VFEAR9YHK5
| URI | m2://inv/VFEAR9YHK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SXAL/MBAL, SXAL/MBAL (definition). Also Wikidata Q7395234
History
- 2026-11-02: add by m2/dev
VFEXFG2ATG VFEXFG2ATG
| URI | m2://inv/VFEXFG2ATG |
|---|---|
| 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.26896#R2DC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fold catastrophe VFFDGY3MR5
| URI | m2://inv/VFFDGY3MR5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catastrophe theory#LJOD, Fold catastrophe (unknown)
History
- 2026-11-02: add by m2/dev
Properties VFFGVM00KT
| URI | m2://inv/VFFGVM00KT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spin structure#DARW, Properties (statement)
History
- 2026-11-02: add by m2/dev
classical mechanics VFFJNYW5SG
| URI | m2://inv/VFFJNYW5SG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11397, classical mechanics (definition). Also nLab classical mechanics, ProofWiki Definition:Classical_Mechanics
- wikipedia: Wikipedia Classical mechanics, Classical mechanics (definition). Also Wikidata Q11397
History
- 2026-10-26: add by m2/dev
VFFPFN6ZH5 VFFPFN6ZH5
| URI | m2://inv/VFFPFN6ZH5 |
|---|---|
| Kind | example |
| 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.36181#HK22 (example). In 1KSE33PVS6/e1, example 34
History
- 2026-10-30: add by m2/v0.4.12
VFFW47F4WP VFFW47F4WP
| URI | m2://inv/VFFW47F4WP |
|---|---|
| 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.12576#7J57 (statement). In BVAWVRS3R9/e1, lemma 2.24
History
- 2026-10-28: add by m2/v0.4.2
Finite propagation VFG23TQDKM
| URI | m2://inv/VFG23TQDKM |
|---|---|
| Kind | definition |
| 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.25987#CO9B, Finite propagation (definition)
History
- 2026-11-01: add by m2/v0.6.15
VFG60R4EQP VFG60R4EQP
| URI | m2://inv/VFG60R4EQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#defn-11 (definition). In E59CDZA4DP, defn, section 10.5.4
History
- 2026-11-01: add by m2/v0.6.13
theory of entire functions VFGDCTN2WM
| URI | m2://inv/VFGDCTN2WM |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 30D20 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114703799, theory of entire functions (topic)
History
- 2026-10-26: add by m2/dev
VFGHWQ8JQ7 VFGHWQ8JQ7
| URI | m2://inv/VFGHWQ8JQ7 |
|---|---|
| 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 2308.07021#RBID (statement). In H4CM84JVPC/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.3.5
Generalizations VFGJR8EVNC
| URI | m2://inv/VFGJR8EVNC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faltings' theorem#TWSC, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Mean-flow rate limit VFGPYZV4DJ
| URI | m2://inv/VFGPYZV4DJ |
|---|---|
| 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 2609.22384#J4O2, Mean-flow rate limit (definition)
History
- 2026-11-02: add by m2/v0.6.17
Early-stopping error, ${\operatorname{KL}}$ VFGR02RJ9A
| URI | m2://inv/VFGR02RJ9A |
|---|---|
| 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.10875#CT9K, Early-stopping error, ${\operatorname{KL}}$ (statement). In N91F15MHW1/e1, lemma 26
History
- 2026-10-28: add by m2/v0.4.3
In contract law VFGT6RKKNP
| URI | m2://inv/VFGT6RKKNP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electronic signature#4F5N, In contract law (statement)
History
- 2026-11-02: add by m2/dev
Artur d'Avila Garcez VFGV9BD3AG
| URI | m2://inv/VFGV9BD3AG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#S9VR, Artur d'Avila Garcez (unknown)
History
- 2026-11-02: add by m2/dev
VFGXBTRV00 VFGXBTRV00
| URI | m2://inv/VFGXBTRV00 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#N0FQ (definition). In 3KTZ6Z615H/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
VFGZFC1FW6 VFGZFC1FW6
| URI | m2://inv/VFGZFC1FW6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32138#563X (statement). In ZG0GNHTCWB/e1, proposition 3.1
History
- 2026-10-31: add by m2/v0.5.6
simplicial homotopy VFH25MNZXJ
| URI | m2://inv/VFH25MNZXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25098928, simplicial homotopy (unknown). Also nLab simplicial homotopy
- wikipedia: Wikipedia Simplicial homotopy, Simplicial homotopy (definition). Also Wikidata Q25098928
History
- 2026-10-26: add by m2/dev
Point-vector distinction VFH7M8YTG7
| URI | m2://inv/VFH7M8YTG7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine space#3UZW, Point-vector distinction (unknown)
History
- 2026-11-02: add by m2/dev
Higher-order control of the first remainder VFHDVFFE6C
| URI | m2://inv/VFHDVFFE6C |
|---|---|
| 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.11077#KS4P, Higher-order control of the first remainder (statement). In 4333A6G5K5/e1, proposition 5.5
History
- 2026-10-28: add by m2/v0.4.3
barrel VFHEANBRKB
| URI | m2://inv/VFHEANBRKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#R2MC, barrel (definition)
History
- 2026-11-02: add by m2/dev
Delayed onset muscle soreness VFHEE390DY
| URI | m2://inv/VFHEE390DY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#0GV8, Delayed onset muscle soreness (unknown)
History
- 2026-11-02: add by m2/dev
Kerr effect VFHJ375TFP
| URI | m2://inv/VFHJ375TFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kerr effect, Kerr effect (definition). Also Wikidata Q883038
History
- 2026-11-02: add by m2/dev
Variants VFHJ8175PM
| URI | m2://inv/VFHJ8175PM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dialectica interpretation#8HBG, Variants (statement)
History
- 2026-11-02: add by m2/dev
VFHSEX8BNZ VFHSEX8BNZ
| URI | m2://inv/VFHSEX8BNZ |
|---|---|
| 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.04355#1TY7 (statement). In 99AHANMS2H/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
VFJ2BB8VWE VFJ2BB8VWE
| URI | m2://inv/VFJ2BB8VWE |
|---|---|
| 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.20925#IHBR (definition). In 1KV9SABQC9/e1, definition
History
- 2026-10-27: add by m2/v0.4.2
Frobenius VFJ2VKPWZ1
| URI | m2://inv/VFJ2VKPWZ1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37931#TYBC, Frobenius (definition). In J8C1EXQW86/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
A homogenized Maz'ya--Shaposhnikova theorem VFJABHSW4D
| URI | m2://inv/VFJABHSW4D |
|---|---|
| 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.10935#QYH9, A homogenized Maz'ya--Shaposhnikova theorem (statement). In 7X27KRAHCE/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
VFJGXRHEHY VFJGXRHEHY
| URI | m2://inv/VFJGXRHEHY |
|---|---|
| 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 2509.10268#QXER (statement). In YR15TN4V4F/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
VFJHGD81TG VFJHGD81TG
| URI | m2://inv/VFJHGD81TG |
|---|---|
| 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.06875#SFU8 (statement). In ZDT5J9KQVQ/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.10
retraction VFJHSJCEA5
| URI | m2://inv/VFJHSJCEA5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q57605839, retraction (unknown). Also MathWorld LeftInverse
History
- 2026-10-26: add by m2/dev
Lloyd Lyne Dines VFJNNWTX7S
| URI | m2://inv/VFJNNWTX7S |
|---|---|
| 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#CNW6, Lloyd Lyne Dines (topic)
History
- 2026-11-02: add by m2/dev
VFJPG7W0JS VFJPG7W0JS
| URI | m2://inv/VFJPG7W0JS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0811.0544#8HRR (statement). In RKPZ3SC956/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.5
Maximally matchable edge VFJSFFC2VY
| URI | m2://inv/VFJSFFC2VY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximally matchable edge, Maximally matchable edge (definition). Also Wikidata Q97359764
History
- 2026-11-02: add by m2/dev
VFK8CRCW07 VFK8CRCW07
| URI | m2://inv/VFK8CRCW07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25314#IFRX (statement)
History
- 2026-11-01: add by m2/v0.6.15
VFK9GEF50R VFK9GEF50R
| URI | m2://inv/VFK9GEF50R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05696#RB2T (statement). In MG81A9XJTQ/e1, lemma IV.2
History
- 2026-10-29: add by m2/v0.4.10
Example VFKJZHB5ET
| URI | m2://inv/VFKJZHB5ET |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concolic testing#Y3ZL, Example (example)
History
- 2026-11-02: add by m2/dev
Coupled vector rows require joint rank VFMAPXYY7M
| URI | m2://inv/VFMAPXYY7M |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#VGO4, Coupled vector rows require joint rank (example). In 6FY8BVP1F3/e1, example B.3
History
- 2026-10-29: add by m2/v0.4.12
submodule VFME13HSKV
| URI | m2://inv/VFME13HSKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#3VVC, submodule (definition)
History
- 2026-11-02: add by m2/dev
Semi-differentiability of the envelope in the Hadamard and Penot sense VFMGN2EJ30
| URI | m2://inv/VFMGN2EJ30 |
|---|---|
| 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.27918#IUDZ, Semi-differentiability of the envelope in the Hadamard and Penot sense (statement)
History
- 2026-11-01: add by m2/v0.6.15
Herbert A. David VFMJQMSCY0
| URI | m2://inv/VFMJQMSCY0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbert A. David, Herbert A. David (topic). Also Wikidata Q59630332
History
- 2026-11-02: add by m2/dev
VFMPQA07A7 VFMPQA07A7
| URI | m2://inv/VFMPQA07A7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.34946#G9FI (statement). In Y27BAB2BB4/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Definitions VFMZ2HKERQ
| URI | m2://inv/VFMZ2HKERQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giuga number#2HOQ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
VFMZHXGYCV VFMZHXGYCV
| URI | m2://inv/VFMZHXGYCV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14450#DOG0 (statement). In ZHTGQT07PE/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
VFN70Z22F5 VFN70Z22F5
| URI | m2://inv/VFN70Z22F5 |
|---|---|
| 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.05631#S43I (statement). In M7NEWDTM32/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
VFNH2E9668 VFNH2E9668
| URI | m2://inv/VFNH2E9668 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.20229#B18M (statement). In 1B85G2QJC2/e1, theorem 9.1
History
- 2026-10-27: add by m2/v0.3.6
Bazemore v. Friday VFNK9KE4DX
| URI | m2://inv/VFNK9KE4DX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bazemore v. Friday, Bazemore v. Friday (definition). Also Wikidata Q120824233
History
- 2026-11-02: add by m2/dev
density functional theory VFNNJ18Q1B
| URI | m2://inv/VFNNJ18Q1B |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1048589, Hohenberg–Kohn theorems (statement). Also Wikidata Q1048589
- thousand_plus: thousand_plus Q1048589, Hohenberg–Kohn theorems (statement). Also Wikidata Q1048589, Wikipedia Hohenberg–Kohn theorems
- wikidata: Wikidata Q1048589, density functional theory (unknown). Also nLab density functional theory
- wikipedia: Wikipedia Density functional theory, Density functional theory (definition). Also Wikidata Q1048589
History
- 2026-10-26: add by m2/dev
VFNR8HH5EJ VFNR8HH5EJ
| URI | m2://inv/VFNR8HH5EJ |
|---|---|
| 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.02535#VJ7A (statement). In S26PXDSWM9/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.12
Helena Chmura Kraemer VFNYAK2R9W
| URI | m2://inv/VFNYAK2R9W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helena Chmura Kraemer, Helena Chmura Kraemer (topic). Also Wikidata Q56677294
History
- 2026-11-02: add by m2/dev
VFP1F4X9Z7 VFP1F4X9Z7
| URI | m2://inv/VFP1F4X9Z7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 55-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.21365#DYFM (definition). In FCMMB2EVAP/e1, definition 4.6
History
- 2026-10-27: add by m2/v0.4.2
VFP3XEGX8K VFP3XEGX8K
| URI | m2://inv/VFP3XEGX8K |
|---|---|
| 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.29478#22G9 (statement). In XAFYHH8G7X/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Exact penalty for interpolation VFP83CA6YW
| URI | m2://inv/VFP83CA6YW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38453#7MXW, Exact penalty for interpolation (statement). In DWKWF242Y0/e1, lemma 21
History
- 2026-10-30: add by m2/v0.4.12
VFPBMEKEQ7 VFPBMEKEQ7
| URI | m2://inv/VFPBMEKEQ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.12141#1OJ4 (statement). In V980ZMH759/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.4.0
VFPDYRPP32 VFPDYRPP32
| URI | m2://inv/VFPDYRPP32 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.39317#CWYZ (definition). In QM1T8JDK4A/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Klein graph on 56 vertices VFPEHAABN8
| URI | m2://inv/VFPEHAABN8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8152814, Klein graph on 56 vertices (unknown). Also House of Graphs 36660
History
- 2026-10-26: add by m2/dev
VFPFB37XJN VFPFB37XJN
| URI | m2://inv/VFPFB37XJN |
|---|---|
| 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 2610.10152#Z081 (statement). In KCJ53C7AXY/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
VFPGF86SBW VFPGF86SBW
| URI | m2://inv/VFPGF86SBW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.00810#AH19 (example). In H0MY884WNF/e1, example Example
History
- 2026-10-27: add by m2/v0.3.6
VFQ21SWEXC VFQ21SWEXC
| URI | m2://inv/VFQ21SWEXC |
|---|---|
| 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.22469#5WQ3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
VFQ3TQXH80 VFQ3TQXH80
| URI | m2://inv/VFQ3TQXH80 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10804#UVGM (definition). In 6M5WR7KB80/e1, definition 2.10
History
- 2026-10-28: add by m2/v0.4.3
USS Pueblo VFQ495SPG6
| URI | m2://inv/VFQ495SPG6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of steganography techniques#CIHS, USS Pueblo (unknown)
History
- 2026-11-02: add by m2/dev
VFQ58CJWNY VFQ58CJWNY
| URI | m2://inv/VFQ58CJWNY |
|---|---|
| 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.10949#EF6Z (statement). In ANP2XNAH91/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.3
Carl-Erik Quensel VFQB41QWAR
| URI | m2://inv/VFQB41QWAR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl-Erik Quensel, Carl-Erik Quensel (topic). Also Wikidata Q6163056
History
- 2026-11-02: add by m2/dev
VFQC4PAB7M VFQC4PAB7M
| URI | m2://inv/VFQC4PAB7M |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05259#HDD3 (example). In X1J5HKPS3R/e1, example 1.8
History
- 2026-10-29: add by m2/v0.4.10
Noncommutative measure and integration VFQEMGTFPK
| URI | m2://inv/VFQEMGTFPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncommutative measure and integration, Noncommutative measure and integration (definition). Also Wikidata Q7049220
History
- 2026-11-02: add by m2/dev
General form of the theorem VFQHTBK0WT
| URI | m2://inv/VFQHTBK0WT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov extension theorem#ANDG, General form of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Sturm–Liouville theory VFQR4R3JZW
| URI | m2://inv/VFQR4R3JZW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Sturm–Liouville theory 7WV6B2502K |
Mentions
- wikidata: Wikidata Q1154082, Sturm–Liouville theory (concept). Also nLab Sturm-Liouville theory, ProofWiki Definition:Sturm-Liouville_Theory
- wikipedia: Wikipedia Sturm–Liouville theory, Sturm–Liouville theory (definition). Also Wikidata Q1154082
History
- 2026-10-26: add by m2/dev
VFQRJ6H3PN VFQRJ6H3PN
| URI | m2://inv/VFQRJ6H3PN |
|---|---|
| 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#OL6P (statement)
History
- 2026-11-01: add by m2/v0.6.15
VFR7FWXHX1 VFR7FWXHX1
| URI | m2://inv/VFR7FWXHX1 |
|---|---|
| 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.22263#FERM (statement)
History
- 2026-11-02: add by m2/v0.6.17
aleph number VFRD3ZFPPP
| URI | m2://inv/VFRD3ZFPPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Aleph-null 0V2H5PGJ9B |
Mentions
- wikidata: Wikidata Q908627, aleph number (definition). Also MathWorld Aleph, nLab aleph, ProofWiki Definition:Aleph_Number
- wikipedia: Wikipedia Aleph number, Aleph number (definition). Also Wikidata Q908627
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
first-degree polynomial VFRKNEV1VE
| URI | m2://inv/VFRKNEV1VE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#80A2, first-degree polynomial (definition)
History
- 2026-11-02: add by m2/dev
Properties VFRP17662M
| URI | m2://inv/VFRP17662M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cofiniteness#3EVO, Properties (statement)
History
- 2026-11-02: add by m2/dev
Mathematics in India VFRQFDWBD9
| URI | m2://inv/VFRQFDWBD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics in India (book), Mathematics in India (definition). Also Wikidata Q104829795
History
- 2026-11-02: add by m2/dev
Examples VFRXZ1E22A
| URI | m2://inv/VFRXZ1E22A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Population viability analysis#4OUV, Examples (example)
History
- 2026-11-02: add by m2/dev
VFRYAEADH5 VFRYAEADH5
| URI | m2://inv/VFRYAEADH5 |
|---|---|
| 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 2209.08186#RD09 (statement). In X6VGVPQH8V/e1, corollary 4.7
History
- 2026-10-27: add by m2/v0.3.5
Path space fibration VFS0P3RD0S
| URI | m2://inv/VFS0P3RD0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Path space fibration, Path space fibration (definition). Also Wikidata Q25100552
History
- 2026-11-02: add by m2/dev
VFS1H4WVGA VFS1H4WVGA
| URI | m2://inv/VFS1H4WVGA |
|---|---|
| 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.12329#Z6ML (statement). In ZJQB9W60T6/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Definition VFS2V4KPVP
| URI | m2://inv/VFS2V4KPVP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact object (mathematics)#Y4FC, Definition (definition)
History
- 2026-11-02: add by m2/dev
VFS983HTJ9 VFS983HTJ9
| URI | m2://inv/VFS983HTJ9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#problem-8 (exercise). In P1C114YBXG, problem, section C
History
- 2026-11-01: add by m2/v0.6.13
VFSMA70MVD VFSMA70MVD
| URI | m2://inv/VFSMA70MVD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/functors.tex#exercise-4 (exercise). In RZP28ERRZV, exercise, section 37.7
History
- 2026-11-01: add by m2/v0.6.13
Definition VFSW5W8N3T
| URI | m2://inv/VFSW5W8N3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barker code#JC45, Definition (definition)
History
- 2026-11-02: add by m2/dev
function, embedding VFSX57RYCJ
| URI | m2://inv/VFSX57RYCJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.1/function-embedding, function, embedding (concept). In N54F33XE07, index, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Benjamin Pulleyne VFT6FVQ285
| URI | m2://inv/VFT6FVQ285 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benjamin Pulleyne, Benjamin Pulleyne (topic). Also Wikidata Q103605029
History
- 2026-11-02: add by m2/dev
VFT7RZX2Q2 VFT7RZX2Q2
| URI | m2://inv/VFT7RZX2Q2 |
|---|---|
| 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 2604.05177#IQU9 (statement). In G04BKQV6YM/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
VFT958S649 VFT958S649
| URI | m2://inv/VFT958S649 |
|---|---|
| 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.05621#P1IM (statement). In ADE39RC6C0/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
Infinite dimensional Lie group VFTA7GE6ZW
| URI | m2://inv/VFTA7GE6ZW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie group#ARN2, Infinite dimensional Lie group (unknown)
History
- 2026-11-02: add by m2/dev
Full Macdonald Lax operator VFTACBXZ9C
| URI | m2://inv/VFTACBXZ9C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.01586#OUIH (definition). In P39MF3ZJC0/e1, definition 1.1
- arxiv: arXiv 2610.12326#RFQY, Full Macdonald Lax operator (definition). In 9S7HGSEX6Q/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Examples VFTDH44XRV
| URI | m2://inv/VFTDH44XRV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equicontinuity#GF0E, Examples (example)
History
- 2026-11-02: add by m2/dev
Mixing VFTM77KZ86
| URI | m2://inv/VFTM77KZ86 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#P1GO, Mixing (definition). In KR7WXN4EWR/e1, definition 8.3
History
- 2026-10-29: add by m2/v0.4.12
Reciprocal recurrence formulas VFTP10H0WH
| URI | m2://inv/VFTP10H0WH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pell number#1GW3, Reciprocal recurrence formulas (statement)
History
- 2026-11-02: add by m2/dev
Marinus of Neapolis VFTZTQXK36
| URI | m2://inv/VFTZTQXK36 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marinus of Neapolis, Marinus of Neapolis (topic). Also Wikidata Q581833
History
- 2026-11-02: add by m2/dev
VFV02XAFKR VFV02XAFKR
| URI | m2://inv/VFV02XAFKR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#HT7D (statement). In 6NVP3YRWVA/e1, lemma 2.21
History
- 2026-10-29: add by m2/v0.4.10
modality, identity VFV0NHTR4J
| URI | m2://inv/VFV0NHTR4J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/modality-identity, modality, identity (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
VFV2P8K3VB VFV2P8K3VB
| URI | m2://inv/VFV2P8K3VB |
|---|---|
| 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.05396#PDK6 (statement). In WMVRX5GV9P/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
Permutive function VFV3C50Y7Q
| URI | m2://inv/VFV3C50Y7Q |
|---|---|
| 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 2609.24449#T8RG, Permutive function (definition)
History
- 2026-11-01: add by m2/v0.6.15
VFVBH1RXKZ VFVBH1RXKZ
| URI | m2://inv/VFVBH1RXKZ |
|---|---|
| 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.28297#1FY6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
norm VFVC4PV0TD
| URI | m2://inv/VFVC4PV0TD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Norm 0V2WP9B1MF |
Mentions
- wikidata: Wikidata Q956437, norm (unknown). Also EoM norm, MathWorld Norm
- wikipedia: Wikipedia Norm (mathematics), Norm (definition). Also Wikidata Q956437
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
VFVJQY6WS9 VFVJQY6WS9
| URI | m2://inv/VFVJQY6WS9 |
|---|---|
| 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 0904.0817#PUN8 (definition). In 569FZDANV3/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.5
Theorem VFVKNFRG2H
| URI | m2://inv/VFVKNFRG2H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integration by substitution#M8AR, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Indicator function VFVREJPEF4
| URI | m2://inv/VFVREJPEF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indicator function, Indicator function (definition). Also Wikidata Q371983
History
- 2026-11-02: add by m2/dev
Alice and Bob VFVVVX91D7
| URI | m2://inv/VFVVVX91D7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alice and Bob, Alice and Bob (definition). Also Wikidata Q649676
History
- 2026-11-02: add by m2/dev
Ethics and law VFW9AK5JHJ
| URI | m2://inv/VFW9AK5JHJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy concept#SBOV, Ethics and law (statement)
History
- 2026-11-02: add by m2/dev
VFW9SKBZB7 VFW9SKBZB7
| URI | m2://inv/VFW9SKBZB7 |
|---|---|
| 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.03288#UO6T (statement). In ZHP1MFSACN/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Trapezoid graph VFWC1EAED9
| URI | m2://inv/VFWC1EAED9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trapezoid graph, Trapezoid graph (definition). Also Wikidata Q7835582
History
- 2026-11-02: add by m2/dev
Examples VFWHE0GM1X
| URI | m2://inv/VFWHE0GM1X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helly family#9UXZ, Examples (example)
History
- 2026-11-02: add by m2/dev
VFWK13YRN9 VFWK13YRN9
| URI | m2://inv/VFWK13YRN9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:harmonicrealimag (exercise). In VNMV985MXX, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Alexander VFWKAYD0TD
| URI | m2://inv/VFWKAYD0TD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1209.3562#MC60, Alexander (statement). In KZH1DCS18C/e1, theorem 6.14
History
- 2026-10-27: add by m2/v0.3.5
Strong solution VFWMANHRYC
| URI | m2://inv/VFWMANHRYC |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 35Q35 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q54290810, Strong solution (topic)
History
- 2026-10-26: add by m2/dev
Angle formulas VFWSF7FBGS
| URI | m2://inv/VFWSF7FBGS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bicentric quadrilateral#436L, Angle formulas (statement)
History
- 2026-11-02: add by m2/dev
VFWX9N38M6 VFWX9N38M6
| URI | m2://inv/VFWX9N38M6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32138#SQ2F (statement). In ZG0GNHTCWB/e1, corollary 4.6
History
- 2026-10-31: add by m2/v0.5.6
prime geodesic VFWZ6CM6QC
| URI | m2://inv/VFWZ6CM6QC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7243371, prime geodesic (unknown). Also nLab prime geodesic
- wikipedia: Wikipedia Prime geodesic, Prime geodesic (definition). Also Wikidata Q7243371
History
- 2026-10-26: add by m2/dev
Remark 4 VFX3A0HCB3
| URI | m2://inv/VFX3A0HCB3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominated convergence theorem#KJAA, Remark 4 (unknown)
History
- 2026-11-02: add by m2/dev
VFXC6N9TKZ VFXC6N9TKZ
| URI | m2://inv/VFXC6N9TKZ |
|---|---|
| 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.32834#4L6K (statement). In N4M6B8EMCW/e1, proposition 3.6
History
- 2026-10-31: add by m2/v0.5.6
VFXNAQ68GA VFXNAQ68GA
| URI | m2://inv/VFXNAQ68GA |
|---|---|
| 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 2610.03520#04IL (definition). In CSRZ9CWK69/e1, definition 9.8
History
- 2026-10-29: add by m2/v0.4.12
Characteristic blocks at level \texorpdfstring{$n$}{n VFXRP4M219
| URI | m2://inv/VFXRP4M219 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#2CJJ, Characteristic blocks at level \texorpdfstring{$n$}{n (definition). In 8BNPFYQDQX/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.10
VFXSXEPBRM VFXSXEPBRM
| URI | m2://inv/VFXSXEPBRM |
|---|---|
| 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.36423#DV84 (statement). In Q5Z178SAHP/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
List of logicians VFXWSWX1YV
| URI | m2://inv/VFXWSWX1YV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#VAC8, List of logicians (topic)
- wikipedia: Wikipedia Lists of mathematicians#TPGH, List of logicians (topic)
History
- 2026-11-02: add by m2/dev
VFXZ2DKX7X VFXZ2DKX7X
| URI | m2://inv/VFXZ2DKX7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#XGUX (statement). In 5KR3MHYVV6/e1, theorem 3.16
History
- 2026-10-28: add by m2/v0.4.2
Gunther Schmidt VFXZ9XVH9Q
| URI | m2://inv/VFXZ9XVH9Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gunther Schmidt, Gunther Schmidt (topic). Also Wikidata Q18752214
History
- 2026-11-02: add by m2/dev
VFXZZ8EBP5 VFXZZ8EBP5
| URI | m2://inv/VFXZZ8EBP5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/swapsum.tex#ex:failure_interchange_lim_int (example). In RZP28ERRZV, example, section 70.1
History
- 2026-11-01: add by m2/v0.6.13
Ronald Cramer VFY61ZYSF2
| URI | m2://inv/VFY61ZYSF2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OBVD, Ronald Cramer (topic)
History
- 2026-11-02: add by m2/dev
VFY7PDMERM VFY7PDMERM
| URI | m2://inv/VFY7PDMERM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#GCR8 (statement). In JWNYJVH8XG/e1, corollary 2.38
History
- 2026-10-29: add by m2/v0.4.10
Newton's Rules for Science VFYBQ2Z67E
| URI | m2://inv/VFYBQ2Z67E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philosophiæ Naturalis Principia Mathematica#560W, Newton's Rules for Science (unknown)
History
- 2026-11-02: add by m2/dev
Specialization below the valuation of $p$ VFYENWWTCX
| URI | m2://inv/VFYENWWTCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#IFTR, Specialization below the valuation of $p$ (statement). In 8BNPFYQDQX/e1, lemma 4.11
History
- 2026-10-29: add by m2/v0.4.10
VFYH7H2K3G VFYH7H2K3G
| URI | m2://inv/VFYH7H2K3G |
|---|---|
| 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.18600#R45I (statement). In 31D6TQVCNZ/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.2
VFYN2KJ36X VFYN2KJ36X
| URI | m2://inv/VFYN2KJ36X |
|---|---|
| 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.32233#PALI (statement). In V42PPD7SWH/e1, lemma 4.5
History
- 2026-10-31: add by m2/v0.5.6
Examples VFYRR2GZJD
| URI | m2://inv/VFYRR2GZJD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse element#ISGW, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition VFYVZ41Z4P
| URI | m2://inv/VFYVZ41Z4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connected space#2RR1, Definition (definition)
History
- 2026-11-02: add by m2/dev
separable space VFYY4MJ9Q6
| URI | m2://inv/VFYY4MJ9Q6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Separable space 0GKJ78948V |
Mentions
- wikidata: Wikidata Q680081, separable space (definition). Also MathWorld SeparableSpace, nLab separable space, ProofWiki Definition:Separable_Space
- wikipedia: Wikipedia Separable space, Separable space (definition). Also Wikidata Q680081
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
VFZBGW2MRA VFZBGW2MRA
| URI | m2://inv/VFZBGW2MRA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02743#06D3 (statement). In GQH4ZPDWET/e1, lemma 10.2
History
- 2026-10-29: add by m2/v0.4.12
VFZJKT1GVZ VFZJKT1GVZ
| URI | m2://inv/VFZJKT1GVZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16225#LTL1 (statement). In H3DJV9YQW1/e1, lemma A.4
History
- 2026-10-28: add by m2/v0.4.2
VFZM62KRMH VFZM62KRMH
| URI | m2://inv/VFZM62KRMH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-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 2504.00596#64NM (statement). In F8RC6AENB0/e1, theorem 6.12
History
- 2026-10-27: add by m2/v0.3.5
Frederick F. Stephan VFZM8R334E
| URI | m2://inv/VFZM8R334E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frederick F. Stephan, Frederick F. Stephan (topic). Also Wikidata Q106939485
History
- 2026-11-02: add by m2/dev
Applications VFZR8QPE1Z
| URI | m2://inv/VFZR8QPE1Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vflo#7W4J, Applications (example)
History
- 2026-11-02: add by m2/dev
VFZS64D1S4 VFZS64D1S4
| URI | m2://inv/VFZS64D1S4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16580#E0HI (statement). In MQPBZX4DR6/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
VFZZSD8FB7 VFZZSD8FB7
| URI | m2://inv/VFZZSD8FB7 |
|---|---|
| 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 2212.05398#1EEH (statement). In WQKQ8438M7/e1, corollary 4.2.1
History
- 2026-10-27: add by m2/v0.3.5