Inventory rows 5T
The cards of the rows of the inventory whose ids start with 5T. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
5T0A8APXEJ 5T0A8APXEJ
| URI | m2://inv/5T0A8APXEJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#problem-4 (exercise). In P1C114YBXG, problem, section C
History
- 2026-11-01: add by m2/v0.6.13
5T0BY58KAR 5T0BY58KAR
| URI | m2://inv/5T0BY58KAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#4963 (statement). In GWNT8HEZG1/e1, proposition 2.16
History
- 2026-10-27: add by m2/v0.3.6
Kentarō Hori 5T0D3KADKE
| URI | m2://inv/5T0D3KADKE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18603796, Kentarō Hori (unknown). Also nLab Kentaro Hori
History
- 2026-10-26: add by m2/dev
5T0F16J3MM 5T0F16J3MM
| URI | m2://inv/5T0F16J3MM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/zariski.tex#example-5 (example). In RZP28ERRZV, example, section 29.5
History
- 2026-11-01: add by m2/v0.6.13
Swirl and helicity operators 5T0FT60DPR
| URI | m2://inv/5T0FT60DPR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22513#63GB, Swirl and helicity operators (definition)
History
- 2026-11-02: add by m2/v0.6.17
Linear-quadratic regulator 5T0KY957SZ
| URI | m2://inv/5T0KY957SZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#ZVQN, Linear-quadratic regulator (definition)
History
- 2026-11-02: add by m2/dev
5T0NNKC0Q2 5T0NNKC0Q2
| URI | m2://inv/5T0NNKC0Q2 |
|---|---|
| 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.12691#QJZ0 (statement). In YVQKT91MYN/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
George Mark Bergman 5T11KBBRJM
| URI | m2://inv/5T11KBBRJM |
|---|---|
| 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#DS2M, George Mark Bergman (topic)
History
- 2026-11-02: add by m2/dev
5T13KXE4TY 5T13KXE4TY
| URI | m2://inv/5T13KXE4TY |
|---|---|
| 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.14135#NNYG (statement). In C304J64Q79/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.2
Herman Verlinde 5T152YKAVB
| URI | m2://inv/5T152YKAVB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#WORS, Herman Verlinde (unknown)
History
- 2026-11-02: add by m2/dev
5T17PGJ4DK 5T17PGJ4DK
| URI | m2://inv/5T17PGJ4DK |
|---|---|
| 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 2601.15880#LBL4 (statement). In E20H67N439/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
5T18JR0VD0 5T18JR0VD0
| URI | m2://inv/5T18JR0VD0 |
|---|---|
| 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.10840#4CHV (statement). In JSJQEPY71E/e1, lemma B.2
History
- 2026-10-28: add by m2/v0.4.3
Fake projective plane 5T1A5VBH3Y
| URI | m2://inv/5T1A5VBH3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fake projective plane, Fake projective plane (definition). Also Wikidata Q5431490
History
- 2026-11-02: add by m2/dev
Linda A. Jacobsen 5T1CH6F9V7
| URI | m2://inv/5T1CH6F9V7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#RK7G, Linda A. Jacobsen (unknown)
History
- 2026-11-02: add by m2/dev
Examples 5T1RE6293D
| URI | m2://inv/5T1RE6293D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleptography#FSVF, Examples (example)
History
- 2026-11-02: add by m2/dev
5T1RJXAYWN 5T1RJXAYWN
| URI | m2://inv/5T1RJXAYWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26001#8LNT (statement)
History
- 2026-11-01: add by m2/v0.6.15
p-adic logarithm 5T1S50W22R
| URI | m2://inv/5T1S50W22R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25449293, p-adic logarithm (unknown). Also LMFDB knowl lf.log
History
- 2026-10-26: add by m2/dev
5T1YBYXGPG 5T1YBYXGPG
| URI | m2://inv/5T1YBYXGPG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17411#SJ3N (statement). In 73QW05MWQB/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
5T216JHZA3 5T216JHZA3
| URI | m2://inv/5T216JHZA3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.02017#0CJQ (statement). In F6C80AEXC1/e1, theorem 5.15
History
- 2026-10-29: add by m2/v0.4.12
Integration by substitution 5T21CMBMPM
| URI | m2://inv/5T21CMBMPM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#S5DP, Integration by substitution (definition)
History
- 2026-11-02: add by m2/dev
David W. McLaughlin 5T28121D0X
| URI | m2://inv/5T28121D0X |
|---|---|
| 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#5Z8R, David W. McLaughlin (topic)
History
- 2026-11-02: add by m2/dev
Example 1 5T28ZC3FQ1
| URI | m2://inv/5T28ZC3FQ1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chain (algebraic topology)#0MZ7, Example 1 (example)
History
- 2026-11-02: add by m2/dev
Example 5T2DMEGV7A
| URI | m2://inv/5T2DMEGV7A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan's sum#KPF8, Example (example)
History
- 2026-11-02: add by m2/dev
5T2RMW7JQC 5T2RMW7JQC
| URI | m2://inv/5T2RMW7JQC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_flowapplications_exercises.ptx#exercise-5 (exercise). In QKM9DD2H56, exercise, section 14
History
- 2026-11-01: add by m2/v0.6.13
5T2SADP4P0 5T2SADP4P0
| URI | m2://inv/5T2SADP4P0 |
|---|---|
| Kind | definition |
| 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 1903.07030#UQII (definition). In 9H45HQE7AZ/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
5T2YQYBRD5 5T2YQYBRD5
| URI | m2://inv/5T2YQYBRD5 |
|---|---|
| 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.07259#WJO6 (statement). In XMR1TTDSPG/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
Construction 5T32RNDWKH
| URI | m2://inv/5T32RNDWKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bagplot#6YWQ, Construction (definition)
History
- 2026-11-02: add by m2/dev
Theorems 5T33TVD6WA
| URI | m2://inv/5T33TVD6WA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planar graph#NUU7, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Sampling theory 5T341JNN8E
| URI | m2://inv/5T341JNN8E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#TWAM, Sampling theory (definition)
History
- 2026-11-02: add by m2/dev
Definition 5T3AEJG3YX
| URI | m2://inv/5T3AEJG3YX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pure type system#BG40, Definition (definition)
History
- 2026-11-02: add by m2/dev
coherent sheaf 5T3M00T9PQ
| URI | m2://inv/5T3M00T9PQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Coherent sheaf 56RXEJ8Z6S |
Mentions
- wikidata: Wikidata Q906907, coherent sheaf (unknown). Also EoM Coherent_sheaf, nLab coherent sheaf
- wikipedia: Wikipedia Coherent sheaf, Coherent sheaf (definition). Also Wikidata Q906907
History
- 2026-10-26: add by m2/dev
Weighted paths 5T3RPHM5ZK
| URI | m2://inv/5T3RPHM5ZK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10993#V4FJ, Weighted paths (statement). In 1JCPN0K7DB/e1, corollary 5.6
History
- 2026-10-28: add by m2/v0.4.3
Properties 5T3T3T1NY8
| URI | m2://inv/5T3T3T1NY8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Fourier transform over a ring#O1JD, Properties (statement)
History
- 2026-11-02: add by m2/dev
Free independence 5T3WAT6CWV
| URI | m2://inv/5T3WAT6CWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free independence, Free independence (definition). Also Wikidata Q5500249
History
- 2026-11-02: add by m2/dev
5T3WQMCE0H 5T3WQMCE0H
| URI | m2://inv/5T3WQMCE0H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20489#ER1Y (definition). In BJ8JJZ0ZWT/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.2
5T3XCS1SST 5T3XCS1SST
| URI | m2://inv/5T3XCS1SST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24448#QTR3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Witt ring 5T3ZC1VFA4
| URI | m2://inv/5T3ZC1VFA4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ernst Witt#VG5R, Witt ring (definition)
History
- 2026-11-02: add by m2/dev
complete graph K7 5T3ZJB87YK
| URI | m2://inv/5T3ZJB87YK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131173546, complete graph K7 (unknown). Also House of Graphs 58
History
- 2026-10-26: add by m2/dev
Kähler identities 5T40BE3FV4
| URI | m2://inv/5T40BE3FV4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kähler identities#884N, Kähler identities (statement)
History
- 2026-11-02: add by m2/dev
5T412DC0EE 5T412DC0EE
| URI | m2://inv/5T412DC0EE |
|---|---|
| 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.20119#EKL3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Abraham Robertson 5T41WH4QSQ
| URI | m2://inv/5T41WH4QSQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abraham Robertson, Abraham Robertson (topic). Also Wikidata Q4669154
History
- 2026-11-02: add by m2/dev
5T43HJ056B 5T43HJ056B
| URI | m2://inv/5T43HJ056B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-128 (exercise). In VNMV985MXX, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
L'Intermédiaire des mathématiciens 5T448Z9TP8
| URI | m2://inv/5T448Z9TP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L'Intermédiaire des mathématiciens, L'Intermédiaire des mathématiciens (definition). Also Wikidata Q15734027
History
- 2026-11-02: add by m2/dev
5T47CSAYZB 5T47CSAYZB
| URI | m2://inv/5T47CSAYZB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10051#7JPY (statement). In VCHH2AC34R/e1, corollary 3.21
History
- 2026-10-29: add by m2/v0.4.10
Três Barras do Paraná 5T47GR718N
| URI | m2://inv/5T47GR718N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#J350, Três Barras do Paraná (unknown)
History
- 2026-11-02: add by m2/dev
5T4J5VPTQ7 5T4J5VPTQ7
| URI | m2://inv/5T4J5VPTQ7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#O1HC (definition). In VD4JP4HVBX/e1, definition 7.8
History
- 2026-10-28: add by m2/v0.4.2
5T4JV1G702 5T4JV1G702
| URI | m2://inv/5T4JV1G702 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.11778#6BDA (statement). In PPAJZ2JBCE/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.5
5T4R9ND1NF 5T4R9ND1NF
| URI | m2://inv/5T4R9ND1NF |
|---|---|
| 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 2609.34613#ON7J (definition). In JPR86T9Y78/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
5T4XNQQ6X5 5T4XNQQ6X5
| URI | m2://inv/5T4XNQQ6X5 |
|---|---|
| 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.28824#0UVI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nested metalanguage 5T4ZJ1DM7K
| URI | m2://inv/5T4ZJ1DM7K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metalanguage#KUCE, Nested metalanguage (unknown)
History
- 2026-11-02: add by m2/dev
Bell number 5T50E9EHQH
| URI | m2://inv/5T50E9EHQH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Bell numbers 0TKP3TDD02 |
Mentions
- wikidata: Wikidata Q816063, Bell number (concept). Also MathWorld BellNumber, OEIS A000110
- wikipedia: Wikipedia Bell number, Bell number (definition). Also Wikidata Q816063
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
5T54M2Z6D4 5T54M2Z6D4
| URI | m2://inv/5T54M2Z6D4 |
|---|---|
| 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.34876#SGWX (statement). In XXQAW3ZBDF/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Irrational fraction 5T5893RPN3
| URI | m2://inv/5T5893RPN3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic fraction#20XG, Irrational fraction (unknown)
History
- 2026-11-02: add by m2/dev
Co-)slice categories 5T5C7FT2HF
| URI | m2://inv/5T5C7FT2HF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.03865#29FM, Co-)slice categories (definition). In G3D1YR20BJ/e1, definition A.2
History
- 2026-10-29: add by m2/v0.4.12
Johannes Marquart 5T5DFZZBB8
| URI | m2://inv/5T5DFZZBB8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johannes Marquart, Johannes Marquart (topic). Also Wikidata Q41944946
History
- 2026-11-02: add by m2/dev
consequent 5T5F8NA7WA
| URI | m2://inv/5T5F8NA7WA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q261155, consequent (unknown). Also nLab consequent
- wikipedia: Wikipedia Consequent, Consequent (definition). Also Wikidata Q261155
History
- 2026-10-26: add by m2/dev
5T5N21BNAS 5T5N21BNAS
| URI | m2://inv/5T5N21BNAS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05142#VYTB (statement). In 8A0HVCGRR8/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.10
5T5QW66E9G 5T5QW66E9G
| URI | m2://inv/5T5QW66E9G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#YH5S (statement). In 6KR7Z5ETRY/e1, lemma 2.21
History
- 2026-10-27: add by m2/v0.3.5
5T5RQY8DYK 5T5RQY8DYK
| URI | m2://inv/5T5RQY8DYK |
|---|---|
| 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.10840#T8S1 (statement). In JSJQEPY71E/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.3
5T5RYBPMCS 5T5RYBPMCS
| URI | m2://inv/5T5RYBPMCS |
|---|---|
| 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.34295#HDF8 (statement). In A93R925Z24/e1, proposition 4.4
History
- 2026-10-30: add by m2/v0.4.12
5T61GXYHH0 5T61GXYHH0
| URI | m2://inv/5T61GXYHH0 |
|---|---|
| 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 math/9802134#JYLB (statement). In 235B1J1ETB/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.5
Autumn Kent 5T6FW2N30R
| URI | m2://inv/5T6FW2N30R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autumn Kent, Autumn Kent (topic). Also Wikidata Q60056205
History
- 2026-11-02: add by m2/dev
5T6GMSAKWY 5T6GMSAKWY
| URI | m2://inv/5T6GMSAKWY |
|---|---|
| Kind | conjecture |
| 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.16245#WPIP (conjecture). In 60CQJN845D/e1, conjecture 6
History
- 2026-10-28: add by m2/v0.4.2
Alan Edelman 5T6PMBKMBN
| URI | m2://inv/5T6PMBKMBN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alan Edelman, Alan Edelman (topic). Also Wikidata Q14491910
History
- 2026-11-02: add by m2/dev
Impredicative 5T6QQPKY63
| URI | m2://inv/5T6QQPKY63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#1P4I, Impredicative (definition)
History
- 2026-11-02: add by m2/dev
5T6RANQKXJ 5T6RANQKXJ
| URI | m2://inv/5T6RANQKXJ |
|---|---|
| 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.03517#UYWW (statement). In 3CGS9GSKTQ/e1, lemma 9.2
History
- 2026-10-29: add by m2/v0.4.12
Elongated triangular cupola 5T6T1AP5JK
| URI | m2://inv/5T6T1AP5JK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#A09S, Elongated triangular cupola (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#6DCY, Elongated triangular cupola (definition)
History
- 2026-11-02: add by m2/dev
5T6T8NRYKV 5T6T8NRYKV
| URI | m2://inv/5T6T8NRYKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.33590#WVY1 (statement). In WRE0P7V6Z3/e1, lemma 11.8
History
- 2026-10-30: add by m2/v0.4.12
T-closeness 5T6TFZ73WF
| URI | m2://inv/5T6TFZ73WF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T-closeness, T-closeness (definition). Also Wikidata Q17084365
History
- 2026-11-02: add by m2/dev
Even part of a function 5T6W9VB3XK
| URI | m2://inv/5T6W9VB3XK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Even and odd functions#3FZY, Even part of a function (unknown)
History
- 2026-11-02: add by m2/dev
Beta Kappa Chi 5T71JPB777
| URI | m2://inv/5T71JPB777 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta Kappa Chi, Beta Kappa Chi (definition). Also Wikidata Q19604363
History
- 2026-11-02: add by m2/dev
5T7ASWZZ5D 5T7ASWZZ5D
| URI | m2://inv/5T7ASWZZ5D |
|---|---|
| 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 2506.16491#2X14 (statement). In P9J6P06Y40/e1, lemma 6.6
History
- 2026-10-27: add by m2/v0.3.5
Blue Shift 5T7CQM14EX
| URI | m2://inv/5T7CQM14EX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Redshift#GHR8, Blue Shift (unknown)
History
- 2026-11-02: add by m2/dev
Koshmanenko, Volodymyr Dmytrovych 5T7D0WZ70Z
| URI | m2://inv/5T7D0WZ70Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#EXF8, Koshmanenko, Volodymyr Dmytrovych (topic)
History
- 2026-11-02: add by m2/dev
Kaiser–Meyer–Olkin test 5T7F1V28ZQ
| URI | m2://inv/5T7F1V28ZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaiser–Meyer–Olkin test, Kaiser–Meyer–Olkin test (definition). Also Wikidata Q1721532
History
- 2026-11-02: add by m2/dev
5T7F5610K6 5T7F5610K6
| URI | m2://inv/5T7F5610K6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#cor-1 (statement). In N54F33XE07, cor, section 3.6
History
- 2026-11-01: add by m2/v0.6.13
Definitions 5T7K70QKPY
| URI | m2://inv/5T7K70QKPY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjunction and existence properties#YNRZ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Multi-cap inequality, by direct means 5T7KEZCA1W
| URI | m2://inv/5T7KEZCA1W |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#RVRA, Multi-cap inequality, by direct means (problem)
History
- 2026-11-01: add by m2/v0.6.15
5T7M6H51P5 5T7M6H51P5
| URI | m2://inv/5T7M6H51P5 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#SNKK (unknown). In 1QSCT53ZED/e1, unknown 2.2
History
- 2026-10-27: add by m2/v0.4.0
5T7S6ZDJ6J 5T7S6ZDJ6J
| URI | m2://inv/5T7S6ZDJ6J |
|---|---|
| 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 1310.6698#KWVS (statement). In 7AQ7DMNZEY/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
5T7TVGPN19 5T7TVGPN19
| URI | m2://inv/5T7TVGPN19 |
|---|---|
| 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.11905#O60R (statement). In QQFXT31CA5/e1, theorem 4.9
History
- 2026-10-28: add by m2/v0.4.3
alethic modal logic 5T7TZECP2N
| URI | m2://inv/5T7TZECP2N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#5ER3, alethic modal logic (definition)
History
- 2026-11-02: add by m2/dev
Generalization 5T7XBFER96
| URI | m2://inv/5T7XBFER96 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star of David theorem#J0L2, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Albertus Cornelis Tuijnman 5T80CNR4QV
| URI | m2://inv/5T80CNR4QV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albertus Cornelis Tuijnman, Albertus Cornelis Tuijnman (topic). Also Wikidata Q137756796
History
- 2026-11-02: add by m2/dev
Riemann–Silberstein vector 5T81EETV0H
| URI | m2://inv/5T81EETV0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Silberstein vector, Riemann–Silberstein vector (definition). Also Wikidata Q7333128
History
- 2026-11-02: add by m2/dev
Subspace polymatroid 5T83BF8YVZ
| URI | m2://inv/5T83BF8YVZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#T0D7, Subspace polymatroid (definition)
History
- 2026-11-02: add by m2/v0.6.17
5T83X0CA36 5T83X0CA36
| URI | m2://inv/5T83X0CA36 |
|---|---|
| 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.06707#KN1U (statement). In 9TR5E527P5/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Properties 5T84M8ATWG
| URI | m2://inv/5T84M8ATWG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mosaic plot#2AVB, Properties (statement)
History
- 2026-11-02: add by m2/dev
Yvonne Choquet-Bruhat 5T86NSC810
| URI | m2://inv/5T86NSC810 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#FTP3, Yvonne Choquet-Bruhat (topic)
History
- 2026-11-02: add by m2/dev
5T89PMM1Q9 5T89PMM1Q9
| URI | m2://inv/5T89PMM1Q9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31126#8L9U (statement). In GK1V5GEHTK/e1, corollary 3.5
History
- 2026-10-31: add by m2/v0.5.6
Opus Palatinum de triangulis 5T8A1GXC6X
| URI | m2://inv/5T8A1GXC6X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20952766, Opus Palatinum de triangulis (unknown). Also ProofWiki Book:Georg_Joachim_Rhaeticus/Opus_Palatinum_de_Triangulis
History
- 2026-10-26: add by m2/dev
5T8FTDSZ5Z 5T8FTDSZ5Z
| URI | m2://inv/5T8FTDSZ5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01888#ZPJT (statement). In A89G9GMPC9/e1, corollary 4.5
History
- 2026-10-29: add by m2/v0.4.12
5T8HNRPV64 5T8HNRPV64
| URI | m2://inv/5T8HNRPV64 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#example-1 (example). In RZP28ERRZV, example, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
5T8RWAY2N7 5T8RWAY2N7
| URI | m2://inv/5T8RWAY2N7 |
|---|---|
| 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.37265#1AYL (statement). In BKYAWEC5XH/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Shared secret 5T8W3W8B83
| URI | m2://inv/5T8W3W8B83 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shared secret, Shared secret (definition). Also Wikidata Q462624
History
- 2026-11-02: add by m2/dev
Local language 5T8ZXM8NNE
| URI | m2://inv/5T8ZXM8NNE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local language (formal language), Local language (definition). Also Wikidata Q6664444
History
- 2026-11-02: add by m2/dev
Lemma 5T990AZAZF
| URI | m2://inv/5T990AZAZF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz–Thorin theorem#PYWJ, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Jessie Forbes Cameron 5T9DDCK2P1
| URI | m2://inv/5T9DDCK2P1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jessie Forbes Cameron, Jessie Forbes Cameron (topic). Also Wikidata Q25069360
History
- 2026-11-02: add by m2/dev
Pareto principle 5T9EBN5SM5
| URI | m2://inv/5T9EBN5SM5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JY78, Pareto principle (statement)
History
- 2026-11-02: add by m2/dev
5T9KMFZYPN 5T9KMFZYPN
| URI | m2://inv/5T9KMFZYPN |
|---|---|
| Kind | example |
| 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.19260#IF6W (example). In PWXT7J9JX3/e1, example 2.4
History
- 2026-10-28: add by m2/v0.4.2
5T9PRPM64P 5T9PRPM64P
| URI | m2://inv/5T9PRPM64P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01346#APLC (statement). In 44DQ7W1NW9/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Lillian Rosanoff Lieber 5T9VYJQVZQ
| URI | m2://inv/5T9VYJQVZQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lillian Rosanoff Lieber, Lillian Rosanoff Lieber (topic). Also Wikidata Q6548196
History
- 2026-11-02: add by m2/dev
Isaak Yaglom 5T9XHSW7WR
| URI | m2://inv/5T9XHSW7WR |
|---|---|
| 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 Q1565305, Isaak Yaglom (unknown). Also ProofWiki Mathematician:Isaak_Moiseyevich_Yaglom
- wikipedia: Wikipedia Isaak Yaglom, Isaak Yaglom (topic). Also Wikidata Q1565305
History
- 2026-10-26: add by m2/dev
Resolution theorem 5T9Y3X5TQP
| URI | m2://inv/5T9Y3X5TQP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolution theorem (algebraic K-theory), Resolution theorem (statement). Also Wikidata Q139499837
History
- 2026-11-02: add by m2/dev
5TA27Z6128 5TA27Z6128
| URI | m2://inv/5TA27Z6128 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 19.8
History
- 2026-11-01: add by m2/v0.6.13
Crossing 5TA3E6Q2GH
| URI | m2://inv/5TA3E6Q2GH |
|---|---|
| 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.38220#HJ70, Crossing (statement). In 1AC4S19925/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
Constructions 5TAH0AASRF
| URI | m2://inv/5TAH0AASRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tesseractic honeycomb#4030, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Quasigeodesics and the Morse lemma 5TAHSQ3B2R
| URI | m2://inv/5TAHSQ3B2R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-isometry#MJ4C, Quasigeodesics and the Morse lemma (statement)
History
- 2026-11-02: add by m2/dev
Steven Gubser 5TAXVR0X1X
| URI | m2://inv/5TAXVR0X1X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#CQ8E, Steven Gubser (unknown)
History
- 2026-11-02: add by m2/dev
Cantor's intersection theorem 5TB164QEYV
| URI | m2://inv/5TB164QEYV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#RN2B, Cantor's intersection theorem (statement)
History
- 2026-11-02: add by m2/dev
Lipschitz continuous, in a metric space 5TB42YTABB
| URI | m2://inv/5TB42YTABB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/4.5.4/lipschitz-continuous-in-a-metric-space, Lipschitz continuous, in a metric space (concept). In E59CDZA4DP, index, section 4.5.4
History
- 2026-11-01: add by m2/v0.6.13
Norm characters in cyclic prime degree 5TB481MX8V
| URI | m2://inv/5TB481MX8V |
|---|---|
| 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.10583#CE7W, Norm characters in cyclic prime degree (statement). In 5BZQS1KY9A/e1, corollary 3.11
History
- 2026-10-29: add by m2/v0.4.10
5TB487NXJY 5TB487NXJY
| URI | m2://inv/5TB487NXJY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#UF58 (statement). In 8SVVEVGMNE/e1, proposition 5.8
History
- 2026-10-27: add by m2/v0.3.5
5TB7ERWN7F 5TB7ERWN7F
| URI | m2://inv/5TB7ERWN7F |
|---|---|
| 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#GWN0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Binary relation 5TBBK47MJ9
| URI | m2://inv/5TBBK47MJ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/relations-as-sets.tex#defn-1, Binary relation (definition). In PKGMM3P5QY, defn, section 80.6
History
- 2026-11-01: add by m2/v0.6.13
Universe Term Predicate $\textsf{Univ}_{i,j}^{\El}$ 5TBFAKJW2B
| URI | m2://inv/5TBFAKJW2B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#VC4X, Universe Term Predicate $\textsf{Univ}_{i,j}^{\El}$ (definition). In CPYWHRTPKC/e1, definition 7.12
History
- 2026-10-27: add by m2/v0.4.2
Formal definition 5TBH001KRF
| URI | m2://inv/5TBH001KRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fiber bundle#T9IJ, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Federico Commandino 5TBJ9HF8J6
| URI | m2://inv/5TBJ9HF8J6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#3QED, Federico Commandino (topic)
History
- 2026-11-02: add by m2/dev
5TC4D47DCF 5TC4D47DCF
| URI | m2://inv/5TC4D47DCF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00934#MXS8 (definition). In SHCQDPCF2J/e1, definition 2.11
History
- 2026-10-29: add by m2/v0.4.12
almost periodic function 5TC6PT44RT
| URI | m2://inv/5TC6PT44RT |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 42A75 |
| Sources | 2 |
| Outcome | open |
| Node | Almost periodic function GZBSV8DYGS |
Mentions
- wikidata: Wikidata Q1066983, almost periodic function (topic). Also MathWorld AlmostPeriodicFunction
- wikipedia: Wikipedia Almost periodic function, Almost periodic function (definition). Also Wikidata Q1066983
History
- 2026-10-26: add by m2/dev
Birth process 5TC83Z4K5J
| URI | m2://inv/5TC83Z4K5J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birth process, Birth process (definition). Also Wikidata Q97401994
History
- 2026-11-02: add by m2/dev
5TCDACPQZM 5TCDACPQZM
| URI | m2://inv/5TCDACPQZM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16875#PSVE (definition). In KS30K5JXGB/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Chebyshev polynomials 5TCQ25Z97E
| URI | m2://inv/5TCQ25Z97E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev polynomials, Chebyshev polynomials (definition). Also Wikidata Q619511
History
- 2026-11-02: add by m2/dev
One-dimensional semi-concavity estimate 5TCVYA6KSG
| URI | m2://inv/5TCVYA6KSG |
|---|---|
| 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.32710#6XFU, One-dimensional semi-concavity estimate (statement). In KVYG6R7CGJ/e1, lemma 4.3
History
- 2026-10-31: add by m2/v0.5.6
Invalidity of the lemma converse 5TCXSY00XV
| URI | m2://inv/5TCXSY00XV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pumping lemma for regular languages#S3RD, Invalidity of the lemma converse (statement)
History
- 2026-11-02: add by m2/dev
Chihara–Ismail polynomials 5TD1XY508E
| URI | m2://inv/5TD1XY508E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chihara–Ismail polynomials, Chihara–Ismail polynomials (definition). Also Wikidata Q5097271
History
- 2026-11-02: add by m2/dev
Definition 5TD6ZWN2JF
| URI | m2://inv/5TD6ZWN2JF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence of measures#8KUL, Definition (definition)
History
- 2026-11-02: add by m2/dev
5TD8EZE85H 5TD8EZE85H
| URI | m2://inv/5TD8EZE85H |
|---|---|
| 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.10205#RDTM (statement). In PQGS7NDMDQ/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.10
Rationalization 5TDABS1PBV
| URI | m2://inv/5TDABS1PBV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rationalization (psychology), Rationalization (definition). Also Wikidata Q948144
History
- 2026-11-02: add by m2/dev
Max Karoubi 5TDDSRPPVG
| URI | m2://inv/5TDDSRPPVG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LUU7, Max Karoubi (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JON5, Max Karoubi (topic)
History
- 2026-11-02: add by m2/dev
5TDEMNC6HN 5TDEMNC6HN
| URI | m2://inv/5TDEMNC6HN |
|---|---|
| Kind | problem |
| 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.28075#Q7BB (problem)
History
- 2026-11-01: add by m2/v0.6.15
5TDFRQF813 5TDFRQF813
| URI | m2://inv/5TDFRQF813 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#defn-6 (definition). In N54F33XE07, defn, section C.3
History
- 2026-11-01: add by m2/v0.6.13
5TDJD4994F 5TDJD4994F
| URI | m2://inv/5TDJD4994F |
|---|---|
| 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.32903#KBN7 (statement). In S8NB83KQX3/e1, lemma 18
History
- 2026-10-31: add by m2/v0.5.6
Aimee Johnson 5TDJMEJXV0
| URI | m2://inv/5TDJMEJXV0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Y0QY, Aimee Johnson (topic)
History
- 2026-11-02: add by m2/dev
5TDKQD0ZQ5 5TDKQD0ZQ5
| URI | m2://inv/5TDKQD0ZQ5 |
|---|---|
| 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 1002.0879#1UPZ (statement). In M0SQY5EZN5/e1, lemma 2.8.11
History
- 2026-10-27: add by m2/v0.3.5
Definition and properties 5TDPNNFX81
| URI | m2://inv/5TDPNNFX81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipyramid#FH48, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
5TDS5KK15T 5TDS5KK15T
| URI | m2://inv/5TDS5KK15T |
|---|---|
| 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.06724#8V9T (statement). In W5XG3PGVF1/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
Amplitude death 5TEAGN7082
| URI | m2://inv/5TEAGN7082 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amplitude death, Amplitude death (definition). Also Wikidata Q4748514
History
- 2026-11-02: add by m2/dev
5TEF0BR8N2 5TEF0BR8N2
| URI | m2://inv/5TEF0BR8N2 |
|---|---|
| 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 2512.22986#JF4C (statement). In GFP8TEKFBC/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.5
5TF63812NV 5TF63812NV
| URI | m2://inv/5TF63812NV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.07471#30V6 (statement). In 7DHCS5SEHT/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
Quasireversibility 5TFDDXE66C
| URI | m2://inv/5TFDDXE66C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#E31J, Quasireversibility (definition)
History
- 2026-11-02: add by m2/dev
Applications 5TFE6479H6
| URI | m2://inv/5TFE6479H6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Read-only Turing machine#SKF8, Applications (example)
History
- 2026-11-02: add by m2/dev
Hasse–Witt matrix 5TFETV0R6W
| URI | m2://inv/5TFETV0R6W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hasse–Witt matrix, Hasse–Witt matrix (definition). Also Wikidata Q5680044
History
- 2026-11-02: add by m2/dev
5TFSZM0PB6 5TFSZM0PB6
| URI | m2://inv/5TFSZM0PB6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#PEUF (statement). In 48QX0QD0XR/e1, proposition 7.2
History
- 2026-10-28: add by m2/v0.4.3
5TFWT0KDR8 5TFWT0KDR8
| URI | m2://inv/5TFWT0KDR8 |
|---|---|
| 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.07963#G780 (statement). In HAGJKEZ1CK/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.10
Planning fallacy 5TG2G4TW5S
| URI | m2://inv/5TG2G4TW5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#0CEI, Planning fallacy (definition)
History
- 2026-11-02: add by m2/dev
Bonnie Litwiller 5TGAK5C7KZ
| URI | m2://inv/5TGAK5C7KZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bonnie Litwiller, Bonnie Litwiller (topic). Also Wikidata Q108120588
History
- 2026-11-02: add by m2/dev
Detrital food web 5TGQZWYZK6
| URI | m2://inv/5TGQZWYZK6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Food web#M4YP, Detrital food web (unknown)
History
- 2026-11-02: add by m2/dev
5TGRET71KQ 5TGRET71KQ
| URI | m2://inv/5TGRET71KQ |
|---|---|
| Kind | definition |
| 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 1809.06512#W4SU (definition). In RY2X22P6XW/e1, definition 38
History
- 2026-10-27: add by m2/v0.3.5
Tangent 5TGVGH5BB3
| URI | m2://inv/5TGVGH5BB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#OU66, Tangent (definition)
History
- 2026-11-02: add by m2/dev
Lomax ideas give a Gamma explosion time 5TGVJ168VF
| URI | m2://inv/5TGVJ168VF |
|---|---|
| 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.18445#BQQ4, Lomax ideas give a Gamma explosion time (statement). In X63FGXZP4F/e1, corollary 3.9
History
- 2026-10-28: add by m2/v0.4.2
5TGX5CGKP7 5TGX5CGKP7
| URI | m2://inv/5TGX5CGKP7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-55 (exercise). In E59CDZA4DP, exercise, section 1.7.3
History
- 2026-11-01: add by m2/v0.6.13
5TGY8Q2REY 5TGY8Q2REY
| URI | m2://inv/5TGY8Q2REY |
|---|---|
| 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.35418#CGAR (statement). In JHD3TW67QT/e1, proposition 11
History
- 2026-10-30: add by m2/v0.4.12
Gauss's inequality 5TH17PEFSP
| URI | m2://inv/5TH17PEFSP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5527816, Gauss's inequality (statement). Also MathWorld GausssInequality
- wikipedia: Wikipedia Gauss's inequality, Gauss's inequality (statement). Also Wikidata Q5527816
History
- 2026-10-26: add by m2/dev
Fourier decay 5TH20CGXBQ
| URI | m2://inv/5TH20CGXBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#IPH6, Fourier decay (statement). In JBAQ7DTW7B/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.3.5
5THHK47R2K 5THHK47R2K
| URI | m2://inv/5THHK47R2K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#HXPS (example). In 2W5Z97BBW4/e1, example 2.27
History
- 2026-10-27: add by m2/v0.4.0
Nils Baas 5THKDHN345
| URI | m2://inv/5THKDHN345 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15733623, Nils Baas (unknown). Also nLab Nils Baas
History
- 2026-10-26: add by m2/dev
Proposition 5THWDN6Y3Y
| URI | m2://inv/5THWDN6Y3Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded set (topological vector space)#KWV8, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Karl A. Fox 5TJ6B10JNX
| URI | m2://inv/5TJ6B10JNX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#SDBV, Karl A. Fox (unknown)
History
- 2026-11-02: add by m2/dev
5TJBEBKPTK 5TJBEBKPTK
| URI | m2://inv/5TJBEBKPTK |
|---|---|
| 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.08052#PUGW (statement). In 672XAVEQ34/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
5TJHB6NB5A 5TJHB6NB5A
| URI | m2://inv/5TJHB6NB5A |
|---|---|
| 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 2504.00267#LA0X (statement). In 38XJWDZ2PH/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.5
5TJKSAEMDX 5TJKSAEMDX
| URI | m2://inv/5TJKSAEMDX |
|---|---|
| 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 2506.16491#YS83 (statement). In P9J6P06Y40/e1, lemma 6.7
History
- 2026-10-27: add by m2/v0.3.5
5TJNYYMS4X 5TJNYYMS4X
| URI | m2://inv/5TJNYYMS4X |
|---|---|
| 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.11047#3WNR (statement). In MNQAZ70XTH/e1, proposition 13.3
History
- 2026-10-28: add by m2/v0.4.3
5TJRPX8CZT 5TJRPX8CZT
| URI | m2://inv/5TJRPX8CZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24185#YWSE (statement)
History
- 2026-11-01: add by m2/v0.6.15
5TJTH8XCVM 5TJTH8XCVM
| URI | m2://inv/5TJTH8XCVM |
|---|---|
| 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.12105#4CJY (statement). In 289HM2RXT3/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.3
Optical space 5TJVR8TFAB
| URI | m2://inv/5TJVR8TFAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optical space, Optical space (definition). Also Wikidata Q4381573
History
- 2026-11-02: add by m2/dev
5TJZCHQDVW 5TJZCHQDVW
| URI | m2://inv/5TJZCHQDVW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/trakhtenbrot.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 86.10
History
- 2026-11-01: add by m2/v0.6.13
Weierstrass ring 5TK788SX5W
| URI | m2://inv/5TK788SX5W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#OVUV, Weierstrass ring (definition)
History
- 2026-11-02: add by m2/dev
Orientable manifold 5TKATKGVSM
| URI | m2://inv/5TKATKGVSM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orientability#BP02, Orientable manifold (unknown)
History
- 2026-11-02: add by m2/dev
Legal argument 5TKE8FTG7N
| URI | m2://inv/5TKE8FTG7N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argumentation theory#7QTT, Legal argument (unknown)
History
- 2026-11-02: add by m2/dev
5TKFJTSZES 5TKFJTSZES
| URI | m2://inv/5TKFJTSZES |
|---|---|
| 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.16233#8WAS (statement). In RNXMADQ33J/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
5TKK2GKDNF 5TKK2GKDNF
| URI | m2://inv/5TKK2GKDNF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#BTB6 (statement). In E7W2HDNEKJ/e1, theorem 5.34
History
- 2026-10-30: add by m2/v0.4.12
5TKS62KV1A 5TKS62KV1A
| URI | m2://inv/5TKS62KV1A |
|---|---|
| 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#SAEE (conjecture). In KYJJMC50SJ/e1, conjecture 1.2
History
- 2026-10-28: add by m2/v0.4.2
Singularity theory 5TKS93DNHN
| URI | m2://inv/5TKS93DNHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#SNR2, Singularity theory (definition)
History
- 2026-11-02: add by m2/dev
Generalizations 5TKX100F6V
| URI | m2://inv/5TKX100F6V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphere#QM5V, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Definition 5TKYGF1T8V
| URI | m2://inv/5TKYGF1T8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann solver#9QG7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Salsa20 5TM882CKZF
| URI | m2://inv/5TM882CKZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptosystems#G5SN, Salsa20 (definition)
History
- 2026-11-02: add by m2/dev
5TM88VYNQZ 5TM88VYNQZ
| URI | m2://inv/5TM88VYNQZ |
|---|---|
| Kind | statement |
| 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 2610.08010#AFFG (statement). In 2S89BG5WPH/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.10
Thomas Fincke 5TMBNERTPQ
| URI | m2://inv/5TMBNERTPQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Fincke, Thomas Fincke (topic). Also Wikidata Q77520
History
- 2026-11-02: add by m2/dev
Subgame perfect equilibrium 5TMDMHGK4G
| URI | m2://inv/5TMDMHGK4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subgame perfect equilibrium, Subgame perfect equilibrium (definition). Also Wikidata Q1615834
History
- 2026-11-02: add by m2/dev
$H^1$ estimate for $\p$, $L^4$ bound on $\nabla \rho$ 5TMJEC2H04
| URI | m2://inv/5TMJEC2H04 |
|---|---|
| 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.08434#ZYIK, $H^1$ estimate for $\p$, $L^4$ bound on $\nabla \rho$ (statement). In VN8087G2FC/e1, lemma 8.2
History
- 2026-10-29: add by m2/v0.4.10
Basic theorems 5TMKRPA211
| URI | m2://inv/5TMKRPA211 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order of integration (calculus)#C3M1, Basic theorems (statement)
History
- 2026-11-02: add by m2/dev
Jacob Lurie 5TMMWN156Y
| URI | m2://inv/5TMMWN156Y |
|---|---|
| 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 Q6333335, Jacob Lurie (unknown). Also nLab Jacob Lurie
- wikipedia: Wikipedia Jacob Lurie, Jacob Lurie (topic). Also Wikidata Q6333335
History
- 2026-10-26: add by m2/dev
Cepstrum 5TMNBT8D3B
| URI | m2://inv/5TMNBT8D3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cepstrum, Cepstrum (definition). Also Wikidata Q1054571
History
- 2026-11-02: add by m2/dev
Quantitative psychological research 5TMW9Z64A2
| URI | m2://inv/5TMW9Z64A2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HIY2, Quantitative psychological research (definition)
History
- 2026-11-02: add by m2/dev
Martha B. Briggs 5TN23V0BG2
| URI | m2://inv/5TN23V0BG2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martha B. Briggs, Martha B. Briggs (topic). Also Wikidata Q51751996
History
- 2026-11-02: add by m2/dev
5TN3N885G5 5TN3N885G5
| URI | m2://inv/5TN3N885G5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39890#OJ12 (statement). In GGVQ3B9KJ6/e1, fact 4
History
- 2026-10-30: add by m2/v0.4.12
5TN7WG6FDC 5TN7WG6FDC
| URI | m2://inv/5TN7WG6FDC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#7M9Q (statement). In NSP90G5XCQ/e1, lemma 2.27
History
- 2026-10-29: add by m2/v0.4.12
(Nigeria #4) 5TN8M4YKGB
| URI | m2://inv/5TN8M4YKGB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#BJ2C, (Nigeria #4) (unknown)
History
- 2026-11-02: add by m2/dev
5TN99NT5MY 5TN99NT5MY
| URI | m2://inv/5TN99NT5MY |
|---|---|
| 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.08226#DE3I (statement). In V6EPE8XHAD/e1, proposition A.10
History
- 2026-10-29: add by m2/v0.4.10
Order and additivity on a fixed partition 5TNA5JWK5N
| URI | m2://inv/5TNA5JWK5N |
|---|---|
| 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.08821#RNC9, Order and additivity on a fixed partition (statement). In KP1THB2C09/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Dependency graph 5TNFHEQJDP
| URI | m2://inv/5TNFHEQJDP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dependency graph, Dependency graph (definition). Also Wikidata Q4148050
History
- 2026-11-02: add by m2/dev
Michael Kosorok 5TNGNV9B9C
| URI | m2://inv/5TNGNV9B9C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#GAPJ, Michael Kosorok (unknown)
History
- 2026-11-02: add by m2/dev
Algorithms 5TNNDCQG95
| URI | m2://inv/5TNNDCQG95 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylow theorems#JFLC, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
5TNVNS4MT1 5TNVNS4MT1
| URI | m2://inv/5TNVNS4MT1 |
|---|---|
| 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.11836#0534 (statement). In 1X68TCGB9E/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.3
5TP14VK4RF 5TP14VK4RF
| URI | m2://inv/5TP14VK4RF |
|---|---|
| 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.31458#VBEO (statement). In SNWC76WKWT/e1, corollary I.1
History
- 2026-10-31: add by m2/v0.5.6
Polydivisible number 5TP4B9P3D2
| URI | m2://inv/5TP4B9P3D2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#X4Z6, Polydivisible number (definition)
History
- 2026-11-02: add by m2/dev
5TPCVXBF6Y 5TPCVXBF6Y
| URI | m2://inv/5TPCVXBF6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26762#DCGU (statement)
History
- 2026-11-01: add by m2/v0.6.15
5TPF0VSKD5 5TPF0VSKD5
| URI | m2://inv/5TPF0VSKD5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.04623#DRJ3 (statement). In 6CK4CTQWQH/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Disk algebra 5TPN3ACH9F
| URI | m2://inv/5TPN3ACH9F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disk algebra, Disk algebra (definition). Also Wikidata Q2676720
History
- 2026-11-02: add by m2/dev
Werner Hildbert Greub 5TPSHPEPGA
| URI | m2://inv/5TPSHPEPGA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15434747, Werner Hildbert Greub (unknown). Also nLab Werner Greub
History
- 2026-10-26: add by m2/dev
Vopěnka's principle 5TPSQYD8XC
| URI | m2://inv/5TPSQYD8XC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7941745, Vopěnka's principle (unknown). Also nLab Vopěnka's principle
- wikipedia: Wikipedia Vopěnka's principle, Vopěnka's principle (statement). Also Wikidata Q7941745
History
- 2026-10-26: add by m2/dev
5TPVH4TG6W 5TPVH4TG6W
| URI | m2://inv/5TPVH4TG6W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14837#8RFT (statement). In J4P6HXMJCH/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
Fundamental Theorem of Calculus, First 5TPWZ6DX6B
| URI | m2://inv/5TPWZ6DX6B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/5.2.1/fundamental-theorem-of-calculus-first, Fundamental Theorem of Calculus, First (concept). In 907G4C4EJ1, index, section 5.2.1
History
- 2026-11-01: add by m2/v0.6.13
5TQ2TQ4VT7 5TQ2TQ4VT7
| URI | m2://inv/5TQ2TQ4VT7 |
|---|---|
| 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.36412#N3OB (statement). In 6HKGGCMBCK/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Ajit Iqbal Singh 5TQ85RZWAM
| URI | m2://inv/5TQ85RZWAM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ajit Iqbal Singh, Ajit Iqbal Singh (topic). Also Wikidata Q18249276
History
- 2026-11-02: add by m2/dev
Characterization 5TQAA6ZDT8
| URI | m2://inv/5TQAA6ZDT8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal-Wishart distribution#B7WH, Characterization (statement)
History
- 2026-11-02: add by m2/dev
5TQFSBMZMF 5TQFSBMZMF
| URI | m2://inv/5TQFSBMZMF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#MGFZ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Nikita Karpenko 5TQGT67DAK
| URI | m2://inv/5TQGT67DAK |
|---|---|
| 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#02WP, Nikita Karpenko (unknown)
History
- 2026-11-02: add by m2/dev
Row basis at a unique hollowing matrix 5TQYVQK0V3
| URI | m2://inv/5TQYVQK0V3 |
|---|---|
| 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.14509#MVXP, Row basis at a unique hollowing matrix (statement). In N6GD8392QB/e1, lemma 11.7
History
- 2026-10-28: add by m2/v0.4.2
Magnetic polarization 5TQZEY2W3E
| URI | m2://inv/5TQZEY2W3E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetization#P6IE, Magnetic polarization (unknown)
History
- 2026-11-02: add by m2/dev
Definitions 5TR43VBTB0
| URI | m2://inv/5TR43VBTB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal ideal#CIZ5, Definitions (definition)
History
- 2026-11-02: add by m2/dev
5TR98CYQ66 5TR98CYQ66
| URI | m2://inv/5TR98CYQ66 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#4859 (example). In F3BKXXPR3K/e1, example 2.21
History
- 2026-10-27: add by m2/v0.4.2
Northern Hemisphere 5TRBZS0P3C
| URI | m2://inv/5TRBZS0P3C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q39061, Northern Hemisphere (definition). Also ProofWiki Definition:Northern_Hemisphere
History
- 2026-10-26: add by m2/dev
5TREYHCW1S 5TREYHCW1S
| URI | m2://inv/5TREYHCW1S |
|---|---|
| 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 2609.33162#ZPWV (definition). In RPC7VG3KHQ/e1, definition 3.9
History
- 2026-10-30: add by m2/v0.4.12
5TRJX7DWBB 5TRJX7DWBB
| URI | m2://inv/5TRJX7DWBB |
|---|---|
| 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.24051#0CKR (statement)
History
- 2026-11-02: add by m2/v0.6.17
Questionnaire 5TRPXHA00N
| URI | m2://inv/5TRPXHA00N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GTN9, Questionnaire (definition)
History
- 2026-11-02: add by m2/dev
5TRSFKDM4B 5TRSFKDM4B
| URI | m2://inv/5TRSFKDM4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15720#LRH0 (statement). In VNN52G3BRE/e1, lemma A.2
History
- 2026-10-28: add by m2/v0.4.2
5TS1253B2A 5TS1253B2A
| URI | m2://inv/5TS1253B2A |
|---|---|
| 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.35678#LUGO (statement). In 4X4ZS7CEKD/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Shape holomorphy of the Helmholtz Calder\'on projector 5TS7MSX6X4
| URI | m2://inv/5TS7MSX6X4 |
|---|---|
| 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.14888#BA9K, Shape holomorphy of the Helmholtz Calder\'on projector (statement). In GN3ZT9DAD9/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Albert Girard 5TSCVC4GBC
| URI | m2://inv/5TSCVC4GBC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albert Girard, Albert Girard (topic). Also Wikidata Q548301
History
- 2026-11-02: add by m2/dev
5TSKBWGNVQ 5TSKBWGNVQ
| URI | m2://inv/5TSKBWGNVQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.06455#V902 (statement). In N6GB5J5BAY/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
Cadae 5TSKN7QSV5
| URI | m2://inv/5TSKN7QSV5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pilish#3BMQ, Cadae (unknown)
History
- 2026-11-02: add by m2/dev
Examples 5TSM9T7TKT
| URI | m2://inv/5TSM9T7TKT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monoid#6O5Z, Examples (example)
History
- 2026-11-02: add by m2/dev
Hitoshi Ishii 5TSS4M6E3M
| URI | m2://inv/5TSS4M6E3M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hitoshi Ishii, Hitoshi Ishii (topic). Also Wikidata Q11584859
History
- 2026-11-02: add by m2/dev
Ky Fan inequality 5TSX8Y34N9
| URI | m2://inv/5TSX8Y34N9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ky Fan inequality (game theory), Ky Fan inequality (statement). Also Wikidata Q56291550
History
- 2026-11-02: add by m2/dev
Evdokimov-Ponomarenko 5TT0QH5Q22
| URI | m2://inv/5TT0QH5Q22 |
|---|---|
| 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.33050#OS28, Evdokimov-Ponomarenko (statement). In VDSBMQ0G9W/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
5TT37FE38R 5TT37FE38R
| URI | m2://inv/5TT37FE38R |
|---|---|
| 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.32977#PTRF (statement). In 4KT9TK3MG4/e1, lemma D.19
History
- 2026-10-31: add by m2/v0.5.6
Fiedler--Jurkat--K\"orner 5TT77MS6Z6
| URI | m2://inv/5TT77MS6Z6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-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.14160#YT95, Fiedler--Jurkat--K\"orner (statement). In Y4TP36M0C7/e1, lemma 16
History
- 2026-10-28: add by m2/v0.4.2
Heat-flow two-body estimate 5TTHJ18XY6
| URI | m2://inv/5TTHJ18XY6 |
|---|---|
| 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.02721#GUW2, Heat-flow two-body estimate (statement). In XXFYVDVPPE/e1, proposition 3.9
History
- 2026-10-29: add by m2/v0.4.12
5TTMNYR42H 5TTMNYR42H
| URI | m2://inv/5TTMNYR42H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#10QA (statement). In BDN507RN7J/e1, corollary 6.2.7
History
- 2026-10-30: add by m2/v0.4.12
5TTS4KTNYC 5TTS4KTNYC
| URI | m2://inv/5TTS4KTNYC |
|---|---|
| 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.03420#G7JZ (statement). In TG11SZZQCR/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.12
5TTV24CCKS 5TTV24CCKS
| URI | m2://inv/5TTV24CCKS |
|---|---|
| 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.05486#0PYG (statement). In 5Z46AK2XTC/e1, theorem C.1
History
- 2026-10-29: add by m2/v0.4.10
Adolphe d'Assier 5TTXPG9BYK
| URI | m2://inv/5TTXPG9BYK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adolphe d'Assier, Adolphe d'Assier (topic). Also Wikidata Q18002918
History
- 2026-11-02: add by m2/dev
Hubert A. Newton 5TTYHEWPDF
| URI | m2://inv/5TTYHEWPDF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hubert A. Newton, Hubert A. Newton (topic). Also Wikidata Q3300213
History
- 2026-11-02: add by m2/dev
path, constant 5TV7D8VP63
| URI | m2://inv/5TV7D8VP63 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12.1/path-constant, path, constant (concept). In N54F33XE07, index, section A.12.1
History
- 2026-11-01: add by m2/v0.6.13
The Politics of Modelling, Numbers Between Science and Policy 5TVDBS16MR
| URI | m2://inv/5TVDBS16MR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Politics of Modelling, Numbers Between Science and Policy, The Politics of Modelling, Numbers Between Science and Policy (definition). Also Wikidata Q125880840
History
- 2026-11-02: add by m2/dev
Legendre’s identity 5TVEFSZW3Z
| URI | m2://inv/5TVEFSZW3Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Legendre algorithm#GK61, Legendre’s identity (statement)
History
- 2026-11-02: add by m2/dev
5TVPKSABZH 5TVPKSABZH
| URI | m2://inv/5TVPKSABZH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/zariski.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 29.2
History
- 2026-11-01: add by m2/v0.6.13
5TVRYXMGW1 5TVRYXMGW1
| URI | m2://inv/5TVRYXMGW1 |
|---|---|
| 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.05459#8EPB (statement). In VYW16D089Y/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
Quadratic assignment problem 5TVSTJZAQD
| URI | m2://inv/5TVSTJZAQD |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#DO68, Quadratic assignment problem (problem)
History
- 2026-11-02: add by m2/dev
Township 7, Washington County, Nebraska 5TVTCTPSGJ
| URI | m2://inv/5TVTCTPSGJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#25DU, Township 7, Washington County, Nebraska (unknown)
History
- 2026-11-02: add by m2/dev
Lubell–Yamamoto–Meshalkin inequality 5TVVAQASVV
| URI | m2://inv/5TVVAQASVV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#PUKM, Lubell–Yamamoto–Meshalkin inequality (statement)
History
- 2026-11-02: add by m2/dev
Both marginals and the driving law 5TVWQP5XJR
| URI | m2://inv/5TVWQP5XJR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#HTXC, Both marginals and the driving law (statement). In 9YAE8FNQST/e1, corollary 1.11
History
- 2026-10-30: add by m2/v0.4.12
5TW6HFR91F 5TW6HFR91F
| URI | m2://inv/5TW6HFR91F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.21921#5G10 (statement). In CM2YEK9T4F/e1, theorem B
History
- 2026-10-27: add by m2/v0.4.2
5TW6W44Z0S 5TW6W44Z0S
| URI | m2://inv/5TW6W44Z0S |
|---|---|
| Kind | definition |
| 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 2404.14312#1PM1 (definition). In SEPBZN2DRH/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
IAPM 5TW8RQMGYX
| URI | m2://inv/5TW8RQMGYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia IAPM (mode), IAPM (definition). Also Wikidata Q5968377
History
- 2026-11-02: add by m2/dev
5TW921GCTK 5TW921GCTK
| URI | m2://inv/5TW921GCTK |
|---|---|
| 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 2404.05451#87ET (statement). In 5YMFYAFFJ7/e1, theorem E
History
- 2026-10-27: add by m2/v0.3.5
5TWA6ZCJF6 5TWA6ZCJF6
| URI | m2://inv/5TWA6ZCJF6 |
|---|---|
| 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 2211.04758#548R (statement). In DRWDJG2G3S/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
5TWA7J5VJF 5TWA7J5VJF
| URI | m2://inv/5TWA7J5VJF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-3-2-3.xml#act-3-2-3 (exercise). In 907G4C4EJ1, activity, section 3.2.3
History
- 2026-11-01: add by m2/v0.6.13
5TWAKRD4JQ 5TWAKRD4JQ
| URI | m2://inv/5TWAKRD4JQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#7HN9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jamshidian's trick 5TWGJJBPRZ
| URI | m2://inv/5TWGJJBPRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jamshidian's trick, Jamshidian's trick (definition). Also Wikidata Q6148253
History
- 2026-11-02: add by m2/dev
5TWGVCS992 5TWGVCS992
| URI | m2://inv/5TWGVCS992 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06488#V0O0 (statement). In XG3BJ2QXXP/e1, corollary 5.5
History
- 2026-10-29: add by m2/v0.4.10
5TWMG5B736 5TWMG5B736
| URI | m2://inv/5TWMG5B736 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16834#RBON (problem). In Q0DTV6PJJW/e1, problem 6.1
History
- 2026-10-28: add by m2/v0.4.2
5TWNVJAR6D 5TWNVJAR6D
| URI | m2://inv/5TWNVJAR6D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15472#UHXJ (statement). In 5Z3FH46YSY/e1, proposition 3.15
History
- 2026-10-28: add by m2/v0.4.2
Cid-Ruiz--Polini--Ulrich 5TWQKAD34P
| URI | m2://inv/5TWQKAD34P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.07528#WB5P, Cid-Ruiz--Polini--Ulrich (statement). In WVX0T502A1/e1, theorem 2.7
History
- 2026-10-29: add by m2/v0.4.10
5TX3XRWMPH 5TX3XRWMPH
| URI | m2://inv/5TX3XRWMPH |
|---|---|
| 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 2102.12931#KL0J (statement). In PQHTR84RAJ/e1, proposition 6.6
History
- 2026-10-27: add by m2/v0.4.0
Scalar dephasing with no Hilbert-space or patch-count prefactor 5TXAW46R1M
| URI | m2://inv/5TXAW46R1M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#ATAL, Scalar dephasing with no Hilbert-space or patch-count prefactor (statement). In 1QSV7EQE3T/e1, theorem S88
History
- 2026-10-28: add by m2/v0.4.2
Johannes Hjelmslev 5TXP1D5FRJ
| URI | m2://inv/5TXP1D5FRJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johannes Hjelmslev, Johannes Hjelmslev (topic). Also Wikidata Q936255
History
- 2026-11-02: add by m2/dev
refinement of a partition 5TXPG2RN8J
| URI | m2://inv/5TXPG2RN8J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/5.1.2/refinement-of-a-partition, refinement of a partition (concept). In E59CDZA4DP, index, section 5.1.2
History
- 2026-11-01: add by m2/v0.6.13
Proposition 5TXQAQ4QX5
| URI | m2://inv/5TXQAQ4QX5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rokhlin lemma#WR3T, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Examples 5TXXG0YCFW
| URI | m2://inv/5TXXG0YCFW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection theory#GC8E, Examples (example)
History
- 2026-11-02: add by m2/dev
real numbers, Cauchy 5TY2RN6NQ7
| URI | m2://inv/5TY2RN6NQ7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3/real-numbers-cauchy, real numbers, Cauchy (concept). In N54F33XE07, index, section B.3
History
- 2026-11-01: add by m2/v0.6.13
Poincaré lemma 5TZ10FW5K8
| URI | m2://inv/5TZ10FW5K8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential forms on a Riemann surface#AYS9, Poincaré lemma (statement)
History
- 2026-11-02: add by m2/dev
⋄ 5TZ6NT3DRE
| URI | m2://inv/5TZ6NT3DRE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diamond operator#MCEH, ⋄ (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations 5TZ6YPHKSV
| URI | m2://inv/5TZ6YPHKSV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free module#ZXTZ, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Definition 5TZCEB7NJ2
| URI | m2://inv/5TZCEB7NJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Full entropy#L1JI, Definition (definition)
History
- 2026-11-02: add by m2/dev
negation consistency 5TZGFKSMBZ
| URI | m2://inv/5TZGFKSMBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#MXPP, negation consistency (definition)
History
- 2026-11-02: add by m2/dev
Daniela De Angelis 5TZSYMRVNW
| URI | m2://inv/5TZSYMRVNW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniela De Angelis, Daniela De Angelis (topic). Also Wikidata Q89163886
History
- 2026-11-02: add by m2/dev
Construction 5TZTD5G899
| URI | m2://inv/5TZTD5G899 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cleaver (geometry)#08VR, Construction (definition)
History
- 2026-11-02: add by m2/dev
Embeddings and quotients 5TZYK3M6PS
| URI | m2://inv/5TZYK3M6PS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26270#GQ54, Embeddings and quotients (definition)
History
- 2026-11-01: add by m2/v0.6.15