Inventory rows 2N
The cards of the rows of the inventory whose ids start with 2N. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
ARPACK 2N0298A6ZJ
| URI | m2://inv/2N0298A6ZJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#186F, ARPACK (unknown)
History
- 2026-11-02: add by m2/dev
Term logic 2N02TS2WEV
| URI | m2://inv/2N02TS2WEV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Term logic, Term logic (definition). Also Wikidata Q237125
History
- 2026-11-02: add by m2/dev
Statement 2N07998C6X
| URI | m2://inv/2N07998C6X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shafarevich–Weil theorem#N04K, Statement (statement)
History
- 2026-11-02: add by m2/dev
2N0C5ZMN0M 2N0C5ZMN0M
| URI | m2://inv/2N0C5ZMN0M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33957#60WY (statement). In KG6V5AN3PK/e1, proposition 4.4
History
- 2026-10-30: add by m2/v0.4.12
2N0H834TX6 2N0H834TX6
| URI | m2://inv/2N0H834TX6 |
|---|---|
| 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.01273#0BQO (statement). In RAT41DDR51/e1, theorem A.1
History
- 2026-10-29: add by m2/v0.4.12
analytic function 2N0MCVT2NY
| URI | m2://inv/2N0MCVT2NY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Differentiability > analytic function, analytic function (unknown). Also Mathlib AnalyticAt
History
- 2026-10-26: add by m2/dev
2N0RN5J3R6 2N0RN5J3R6
| URI | m2://inv/2N0RN5J3R6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 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 math/0009023#FYI7 (statement). In S937GXH9AS/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
2N0V9V0A69 2N0V9V0A69
| URI | m2://inv/2N0V9V0A69 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18562#I3WT (problem). In 793KXAR957/e1, problem 1.4
History
- 2026-10-28: add by m2/v0.4.2
normal 2N0YBV2E22
| URI | m2://inv/2N0YBV2E22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#T5J4, normal (definition)
History
- 2026-11-02: add by m2/dev
Examples 2N17EJBZEZ
| URI | m2://inv/2N17EJBZEZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross section (geometry)#M9IP, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition 2N1975G7G0
| URI | m2://inv/2N1975G7G0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sigmoid function#A0RT, Definition (definition)
History
- 2026-11-02: add by m2/dev
depth 2N1A3Z20AY
| URI | m2://inv/2N1A3Z20AY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#K7DS, depth (definition)
History
- 2026-11-02: add by m2/dev
Square Isomorphism 2 2N1BN6MNQW
| URI | m2://inv/2N1BN6MNQW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#E0MW, Square Isomorphism 2 (statement). In 46370P3Y9S/e1, lemma 6.9
History
- 2026-10-27: add by m2/v0.4.2
Theorems 2N1DDTSEE7
| URI | m2://inv/2N1DDTSEE7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum graph#IE02, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Adam Ries 2N1G4WMR48
| URI | m2://inv/2N1G4WMR48 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#PK2V, Adam Ries (unknown)
History
- 2026-11-02: add by m2/dev
Computation tree logic 2N1W9E2GBZ
| URI | m2://inv/2N1W9E2GBZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computation tree logic, Computation tree logic (topic). Also Wikidata Q1040040
History
- 2026-11-02: add by m2/dev
Definition and examples 2N1WP2J168
| URI | m2://inv/2N1WP2J168 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stirling polynomials#UBYT, Definition and examples (definition)
History
- 2026-11-02: add by m2/dev
Três Forquilhas 2N24Y0M9HD
| URI | m2://inv/2N24Y0M9HD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#1UGT, Três Forquilhas (unknown)
History
- 2026-11-02: add by m2/dev
First-order theory 2N2CFKVEHY
| URI | m2://inv/2N2CFKVEHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#F3AF, First-order theory (definition)
History
- 2026-11-02: add by m2/dev
algebraic integer 2N2KEK9617
| URI | m2://inv/2N2KEK9617 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q646245, algebraic integer (unknown). Also EoM Algebraic_integer, MathWorld AlgebraicInteger, nLab algebraic integer
- wikipedia: Wikipedia Algebraic integer, Algebraic integer (definition). Also Wikidata Q646245
History
- 2026-10-26: add by m2/dev
Example 2N2MMFEW5N
| URI | m2://inv/2N2MMFEW5N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic inference#5TYX, Example (example)
History
- 2026-11-02: add by m2/dev
regular point 2N2SPEYWDW
| URI | m2://inv/2N2SPEYWDW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.6/regular-point, regular point (concept). In VNMV985MXX, index, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Definitions 2N2TG9P0WS
| URI | m2://inv/2N2TG9P0WS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tropical geometry#W4Z0, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Radon's theorem 2N2V41WNVT
| URI | m2://inv/2N2V41WNVT |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 52-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1471282, Radon's theorem (statement). Also Mathlib Convex.radon_partition, Wikidata Q1471282
- thousand_plus: thousand_plus Q1471282, Radon's theorem (statement). Also Mathlib Convex.radon_partition, Wikidata Q1471282, Wikipedia Radon's theorem
- wikipedia: Wikipedia Radon's theorem, Radon's theorem (statement). Also Wikidata Q1471282
History
- 2026-10-26: add by m2/dev
Kleene's T predicate 2N2VSZ0G4Y
| URI | m2://inv/2N2VSZ0G4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene's T predicate, Kleene's T predicate (definition). Also Wikidata Q6420085
History
- 2026-11-02: add by m2/dev
2N2WZYMZTD 2N2WZYMZTD
| URI | m2://inv/2N2WZYMZTD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30544#Y3UG (statement). In CB35ZBBBPT/e1, proposition 4.3
History
- 2026-10-31: add by m2/v0.5.6
2N2XZCWWG5 2N2XZCWWG5
| URI | m2://inv/2N2XZCWWG5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_exercises.ptx#exercise-16 (exercise). In QKM9DD2H56, exercise, section 6
History
- 2026-11-01: add by m2/v0.6.13
2N34YZR6WH 2N34YZR6WH
| URI | m2://inv/2N34YZR6WH |
|---|---|
| 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.01753#ML0M (statement). In JY50YXMH5N/e1, proposition 12
History
- 2026-10-29: add by m2/v0.4.12
Definition 2N35JK3AFP
| URI | m2://inv/2N35JK3AFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Term (logic)#V3OT, Definition (definition)
History
- 2026-11-02: add by m2/dev
H\"older's Inequality 2N39SHNJ1N
| URI | m2://inv/2N39SHNJ1N |
|---|---|
| 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.24522#KQVI, H\"older's Inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
an earlier block to the last point 2N3AW70W4K
| URI | m2://inv/2N3AW70W4K |
|---|---|
| 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.01599#H7MO, an earlier block to the last point (statement). In K2KYNCWER3/e1, lemma 16
History
- 2026-10-29: add by m2/v0.4.12
Absolute continuity 2N3HGM4FX9
| URI | m2://inv/2N3HGM4FX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#ZNHF, Absolute continuity (definition)
History
- 2026-11-02: add by m2/dev
2N3Q4DET5N 2N3Q4DET5N
| URI | m2://inv/2N3Q4DET5N |
|---|---|
| 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 2609.35636#FFP6 (definition). In GKZTXVA43Z/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Eaton's inequality 2N3WQ4GD4W
| URI | m2://inv/2N3WQ4GD4W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#QXJI, Eaton's inequality (statement)
History
- 2026-11-02: add by m2/dev
Drinfeld–Sokolov–Wilson equation 2N3XTASCSK
| URI | m2://inv/2N3XTASCSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Drinfeld–Sokolov–Wilson equation, Drinfeld–Sokolov–Wilson equation (definition). Also Wikidata Q15838928
History
- 2026-11-02: add by m2/dev
Refinement calculus 2N4A0N8TKF
| URI | m2://inv/2N4A0N8TKF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formal systems#MWAI, Refinement calculus (unknown)
History
- 2026-11-02: add by m2/dev
Stanislav George Djorgovski 2N4G5T57HQ
| URI | m2://inv/2N4G5T57HQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3OMC, Stanislav George Djorgovski (unknown)
- wikipedia: Wikipedia List of people by Erdős number#HVBM, Stanislav George Djorgovski (unknown)
History
- 2026-11-02: add by m2/dev
2N4WGKVQZ2 2N4WGKVQZ2
| URI | m2://inv/2N4WGKVQZ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#RXDD (statement). In 3A4K47Y9F2/e1, theorem 4.40
History
- 2026-10-27: add by m2/v0.4.0
2N4Z80KNYQ 2N4Z80KNYQ
| URI | m2://inv/2N4Z80KNYQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#N4E2 (statement). In 4WPYBTARS2/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.12
2N4ZBBQ5TP 2N4ZBBQ5TP
| URI | m2://inv/2N4ZBBQ5TP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09739#75U2 (statement). In ZYNZ95FSFD/e1, corollary 3.3
History
- 2026-10-29: add by m2/v0.4.10
Remark 3 2N50B39EY7
| URI | m2://inv/2N50B39EY7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wigner's theorem#9KMB, Remark 3 (unknown)
History
- 2026-11-02: add by m2/dev
Cartan's theorem 2N519NHWNB
| URI | m2://inv/2N519NHWNB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#SNS8, Cartan's theorem (statement)
History
- 2026-11-02: add by m2/dev
John H. Gray 2N55RPX7XM
| URI | m2://inv/2N55RPX7XM |
|---|---|
| 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#S2BM, John H. Gray (unknown)
History
- 2026-11-02: add by m2/dev
2N58AYD1J3 2N58AYD1J3
| URI | m2://inv/2N58AYD1J3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#cor-3 (statement). In VNMV985MXX, cor, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
Pseudo-Anosov map 2N5CY7AE19
| URI | m2://inv/2N5CY7AE19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-Anosov map, Pseudo-Anosov map (definition). Also Wikidata Q7254395
History
- 2026-11-02: add by m2/dev
modal logic 2N5FW135ED
| URI | m2://inv/2N5FW135ED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#QYW6, modal logic (definition)
History
- 2026-11-02: add by m2/dev
2N5QA12K4J 2N5QA12K4J
| URI | m2://inv/2N5QA12K4J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-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.10591#MQLS (definition). In FTEA0TM35J/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.10
Charles Babbage 2N5SC9R3FH
| URI | m2://inv/2N5SC9R3FH |
|---|---|
| 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 Q46633, Charles Babbage (unknown). Also ProofWiki Mathematician:Charles_Babbage
- wikipedia: Wikipedia Charles Babbage, Charles Babbage (topic). Also Wikidata Q46633
History
- 2026-10-26: add by m2/dev
2N5T01E0QQ 2N5T01E0QQ
| URI | m2://inv/2N5T01E0QQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03310#GMNK (statement). In 2CQ2KPV3CG/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
submonoid 2N5X86FFZY
| URI | m2://inv/2N5X86FFZY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121499459, submonoid (unknown). Also MathWorld Submonoid, nLab submonoid
History
- 2026-10-26: add by m2/dev
2N66M1TFBH 2N66M1TFBH
| URI | m2://inv/2N66M1TFBH |
|---|---|
| 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#YUAR (statement). In V6EPE8XHAD/e1, lemma 7.4
History
- 2026-10-29: add by m2/v0.4.10
2N68B7MBKV 2N68B7MBKV
| URI | m2://inv/2N68B7MBKV |
|---|---|
| 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.09483#VVMN (statement). In N1MQ8F9JN6/e1, corollary 5.3
History
- 2026-10-29: add by m2/v0.4.10
Yuval Flicker 2N6JNE6XF9
| URI | m2://inv/2N6JNE6XF9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yuval Flicker, Yuval Flicker (topic). Also Wikidata Q8062151
History
- 2026-11-02: add by m2/dev
2N6K7SKXRC 2N6K7SKXRC
| URI | m2://inv/2N6K7SKXRC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25957#RLKP (statement)
History
- 2026-11-01: add by m2/v0.6.15
2N6KQGHH2H 2N6KQGHH2H
| URI | m2://inv/2N6KQGHH2H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.22636#6QCT (definition). In 2X2A6MT0QD/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
A quantitative stable tail 2N6NYH7NKE
| URI | m2://inv/2N6NYH7NKE |
|---|---|
| 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.01391#H9IN, A quantitative stable tail (statement). In MAZNVJX5YK/e1, lemma 22
History
- 2026-10-29: add by m2/v0.4.12
2N6VYWF4Y8 2N6VYWF4Y8
| URI | m2://inv/2N6VYWF4Y8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#UAC6 (statement). In BSWNH3NW1M/e1, lemma 9.25
History
- 2026-10-27: add by m2/v0.4.0
2N6WQQC6D1 2N6WQQC6D1
| URI | m2://inv/2N6WQQC6D1 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 16-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.35396#2R1Y (problem). In 51N4SF53EV/e1, problem 4.3
History
- 2026-10-30: add by m2/v0.4.12
2N6XWZHJSY 2N6XWZHJSY
| URI | m2://inv/2N6XWZHJSY |
|---|---|
| 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.26951#SM7M (statement)
History
- 2026-11-01: add by m2/v0.6.15
Line of sight 2N6Y0PRV5H
| URI | m2://inv/2N6Y0PRV5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line of sight, Line of sight (definition). Also Wikidata Q112252070
History
- 2026-11-02: add by m2/dev
2N6YZ0GQXB 2N6YZ0GQXB
| URI | m2://inv/2N6YZ0GQXB |
|---|---|
| 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.19658#GAEL (statement). In G00EYA9DXG/e1, theorem 8.2
History
- 2026-10-28: add by m2/v0.4.2
2N727CWKN6 2N727CWKN6
| URI | m2://inv/2N727CWKN6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1911.06467#BZNV (statement). In G35G1NJKBX/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
2N754EDXVG 2N754EDXVG
| URI | m2://inv/2N754EDXVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30664#5AE9 (statement). In ZZGDNKDVJW/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
Bruhat order 2N7A097XMJ
| URI | m2://inv/2N7A097XMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#N3GN, Bruhat order (definition)
History
- 2026-11-02: add by m2/dev
2N7ETF06Y4 2N7ETF06Y4
| URI | m2://inv/2N7ETF06Y4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00105#68ZZ (statement). In EZXTEXR47M/e1, lemma 2.7
History
- 2026-10-30: add by m2/v0.4.12
Conditionality principle (C) 2N7F4DVGDM
| URI | m2://inv/2N7F4DVGDM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birnbaum's theorem#KI6Y, Conditionality principle (C) (statement)
History
- 2026-11-02: add by m2/dev
Applications 2N7GAYN5VG
| URI | m2://inv/2N7GAYN5VG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automata theory#QO2T, Applications (example)
History
- 2026-11-02: add by m2/dev
Generalizations 2N7J3X5W2T
| URI | m2://inv/2N7J3X5W2T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Hilbert problem#79ET, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
2N80G7WW8A 2N80G7WW8A
| URI | m2://inv/2N80G7WW8A |
|---|---|
| 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.12014#V1IQ (statement). In DR7BK4CQ0V/e1, corollary 5.8
History
- 2026-10-28: add by m2/v0.4.3
2N87KHHTA7 2N87KHHTA7
| URI | m2://inv/2N87KHHTA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#QP3O (statement). In 2VHV0RNTNV/e1, fact 3.15
History
- 2026-10-29: add by m2/v0.4.12
Examples 2N8BC35KXS
| URI | m2://inv/2N8BC35KXS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplier (Fourier analysis)#JHDX, Examples (example)
History
- 2026-11-02: add by m2/dev
$\w$-type, impredicative encoding of 2N8JY5HQSP
| URI | m2://inv/2N8JY5HQSP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.8/w-type-impredicative-encoding-of, $\w$-type, impredicative encoding of (concept). In N54F33XE07, index, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
Pupil function 2N8NT761ZT
| URI | m2://inv/2N8NT761ZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pupil function, Pupil function (definition). Also Wikidata Q17105392
History
- 2026-11-02: add by m2/dev
Examples 2N8Q5FZSEK
| URI | m2://inv/2N8Q5FZSEK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilpotent operator#SIOI, Examples (example)
History
- 2026-11-02: add by m2/dev
2N8S462FQE 2N8S462FQE
| URI | m2://inv/2N8S462FQE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.10921#S8S6 (example). In PD5PJ0EYG6/e1, example 3.3
History
- 2026-10-27: add by m2/v0.3.5
isomorphism with bidual 2N9892CYCB
| URI | m2://inv/2N9892CYCB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Finite-dimensional vector spaces > isomorphism with bidual, isomorphism with bidual (unknown). Also Mathlib Module.evalEquiv
- mathlib_undergrad: mathlib_undergrad Linear algebra > Finite-dimensional vector spaces > isomorphism with bidual, isomorphism with bidual (unknown). Also Mathlib Module.evalEquiv
History
- 2026-10-26: add by m2/dev
Utilitarian cake-cutting 2N9B282FTP
| URI | m2://inv/2N9B282FTP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Utilitarian cake-cutting, Utilitarian cake-cutting (definition). Also Wikidata Q22909588
History
- 2026-11-02: add by m2/dev
Sperner family 2N9BDJ7D11
| URI | m2://inv/2N9BDJ7D11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sperner family, Sperner family (definition). Also Wikidata Q819142
History
- 2026-11-02: add by m2/dev
Iteration complexity 2N9BMBJG3V
| URI | m2://inv/2N9BMBJG3V |
|---|---|
| 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.32997#7F5U, Iteration complexity (statement). In N380GY9A9N/e1, theorem 3.5
History
- 2026-10-31: add by m2/v0.5.6
2N9CX25BJJ 2N9CX25BJJ
| URI | m2://inv/2N9CX25BJJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Fano fibration 2N9D7H3WJ2
| URI | m2://inv/2N9D7H3WJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fano fibration, Fano fibration (definition). Also Wikidata Q5434075
History
- 2026-11-02: add by m2/dev
Entire function 2N9DNYQ056
| URI | m2://inv/2N9DNYQ056 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#VFXE, Entire function (definition)
History
- 2026-11-02: add by m2/dev
2N9EV8M32R 2N9EV8M32R
| URI | m2://inv/2N9EV8M32R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.14143#A7OE (statement). In 7WV4JVGEN1/e1, lemma 6.5
History
- 2026-10-27: add by m2/v0.4.0
2N9GY374ZM 2N9GY374ZM
| URI | m2://inv/2N9GY374ZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#WWKJ (statement). In TC5QA4AB4Z/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
2N9MAHRDPH 2N9MAHRDPH
| URI | m2://inv/2N9MAHRDPH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-79 (exercise). In E9HS8K3A52, exercise, section 10.7.3
History
- 2026-11-01: add by m2/v0.6.13
2N9SCY3QDF 2N9SCY3QDF
| URI | m2://inv/2N9SCY3QDF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.05276#HXFY (statement). In 4C5XHYTRT2/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.3.5
2NA1P0J2RD 2NA1P0J2RD
| URI | m2://inv/2NA1P0J2RD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0008020#BOL5 (statement). In 8K466RA3HH/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
2NA3Z9GH6A 2NA3Z9GH6A
| URI | m2://inv/2NA3Z9GH6A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-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 2609.29399#W3IH (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition 2NA56AN4ED
| URI | m2://inv/2NA56AN4ED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Starlike tree#HLQX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Fisher's equation 2NAFGS7HZC
| URI | m2://inv/2NAFGS7HZC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Fisher's equation AXV2PH7FEZ |
Mentions
- wikidata: Wikidata Q1763840, Fisher's equation (concept). Also MathWorld FishersEquation
- wikipedia: Wikipedia KPP–Fisher equation, KPP–Fisher equation (definition). Also Wikidata Q1763840
History
- 2026-10-26: add by m2/dev
2NAG2HENT8 2NAG2HENT8
| URI | m2://inv/2NAG2HENT8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#82AN (statement). In 7V3HG30ZGW/e1, corollary A.27
History
- 2026-10-27: add by m2/v0.4.0
Proposition 9 2NAKK0J737
| URI | m2://inv/2NAKK0J737 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geiringer–Laman theorem#4OU5, Proposition 9 (statement)
History
- 2026-11-02: add by m2/dev
2NAKRJBYG8 2NAKRJBYG8
| URI | m2://inv/2NAKRJBYG8 |
|---|---|
| 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.29205#GB8G (statement)
History
- 2026-11-01: add by m2/v0.6.15
2NAM772KYP 2NAM772KYP
| URI | m2://inv/2NAM772KYP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2409.01237#IOKA (statement). In M9VHCG48HB/e1, theorem 6.7
History
- 2026-10-27: add by m2/v0.3.5
2NAT10CPBK 2NAT10CPBK
| URI | m2://inv/2NAT10CPBK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.15716#Z2NE (statement). In 7WDA4MEWE2/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.6
2NAXR7Y6W2 2NAXR7Y6W2
| URI | m2://inv/2NAXR7Y6W2 |
|---|---|
| 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.32937#S400 (statement). In RB0SJRQP6X/e1, lemma 5.1
History
- 2026-10-31: add by m2/v0.5.6
2NB0FV0RV9 2NB0FV0RV9
| URI | m2://inv/2NB0FV0RV9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#G5N7 (statement). In ATSYBWEMMP/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
2NB19B3HMK 2NB19B3HMK
| URI | m2://inv/2NB19B3HMK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40191#NUG8 (statement). In F0D8VSM4Z4/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Use 2NB2RWATS1
| URI | m2://inv/2NB2RWATS1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S-matrix#N3ZY, Use (example)
History
- 2026-11-02: add by m2/dev
2NB41Q9P0C 2NB41Q9P0C
| URI | m2://inv/2NB41Q9P0C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25157#PVQ1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
2NBB0V91Q9 2NBB0V91Q9
| URI | m2://inv/2NBB0V91Q9 |
|---|---|
| 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 2610.07292#1K41 (statement). In PZ17NHGAKX/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.10
OptimJ 2NBQK8SBZE
| URI | m2://inv/2NBQK8SBZE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#KDI6, OptimJ (unknown)
History
- 2026-11-02: add by m2/dev
2NBSD11PBF 2NBSD11PBF
| URI | m2://inv/2NBSD11PBF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/eigenvalues.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 58.7
History
- 2026-11-01: add by m2/v0.6.13
2NC2SATMK0 2NC2SATMK0
| URI | m2://inv/2NC2SATMK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#definition-3 (definition). In RZP28ERRZV, definition, section 80.1
History
- 2026-11-01: add by m2/v0.6.13
2NC51SYMX3 2NC51SYMX3
| URI | m2://inv/2NC51SYMX3 |
|---|---|
| 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 0805.4273#TCV8 (statement). In ZX3NV58FRX/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
2NC7WFF9PC 2NC7WFF9PC
| URI | m2://inv/2NC7WFF9PC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.03601#74JL (statement). In F7TDYCHCSE/e1, corollary 5.13
History
- 2026-10-27: add by m2/v0.3.5
2NC9N2C7D0 2NC9N2C7D0
| URI | m2://inv/2NC9N2C7D0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#J6AR (statement)
History
- 2026-11-02: add by m2/v0.6.17
Spectrum and structure of the incidence graph 2NCGRN9QGF
| URI | m2://inv/2NCGRN9QGF |
|---|---|
| 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.15340#VENA, Spectrum and structure of the incidence graph (statement). In 9NVKKW8HDH/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.2
Peter Johnstone 2NCMPM69G4
| URI | m2://inv/2NCMPM69G4 |
|---|---|
| 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 Q3791503, Peter Johnstone (unknown). Also nLab Peter Johnstone
- wikipedia: Wikipedia Peter Johnstone (mathematician), Peter Johnstone (topic). Also Wikidata Q3791503
History
- 2026-10-26: add by m2/dev
low-dimensional topology 2NCPECPWK1
| URI | m2://inv/2NCPECPWK1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12294298, low-dimensional topology (topic). Also EoM Low-dimensional_topology,_problems_in, MathWorld Low-DimensionalTopology, nLab low-dimensional topology
- wikipedia: Wikipedia Low-dimensional topology, Low-dimensional topology (topic). Also Wikidata Q12294298
History
- 2026-10-26: add by m2/dev
enneadecagonal number 2ND9J9SV6W
| URI | m2://inv/2ND9J9SV6W |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18454866, enneadecagonal number (object). Also OEIS A051871
History
- 2026-10-26: add by m2/dev
Profinite integer 2NDJBWCKNK
| URI | m2://inv/2NDJBWCKNK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Profinite integer, Profinite integer (definition). Also Wikidata Q23018462
History
- 2026-11-02: add by m2/dev
Expectation comparison for the reciprocal extension 2NDY11K70Y
| URI | m2://inv/2NDY11K70Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30590#P5V4, Expectation comparison for the reciprocal extension (statement). In WYE2JVEZBT/e1, proposition 5.8
History
- 2026-10-31: add by m2/v0.5.6
2NE3R9AADP 2NE3R9AADP
| URI | m2://inv/2NE3R9AADP |
|---|---|
| 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 2508.19709#A8XU (statement). In 57PQWSSZMY/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Square 2NE5QQZ1NN
| URI | m2://inv/2NE5QQZ1NN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square (cipher), Square (definition). Also Wikidata Q2755328
History
- 2026-11-02: add by m2/dev
2NEA3PZR8Y 2NEA3PZR8Y
| URI | m2://inv/2NEA3PZR8Y |
|---|---|
| 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 2508.01642#O2NI (statement). In CD9T8ZFES1/e1, lemma 3.3.1
History
- 2026-10-27: add by m2/v0.3.6
Statement 2NED2KCH5M
| URI | m2://inv/2NED2KCH5M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ogden's lemma#SWWA, Statement (statement)
History
- 2026-11-02: add by m2/dev
Narrow escape problem 2NEX0TS16M
| URI | m2://inv/2NEX0TS16M |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Narrow escape problem, Narrow escape problem (problem). Also Wikidata Q6966311
History
- 2026-11-02: add by m2/dev
Andrea Bertozzi 2NF1CP0NTG
| URI | m2://inv/2NF1CP0NTG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#O6MH, Andrea Bertozzi (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CC3C, Andrea Bertozzi (topic)
History
- 2026-11-02: add by m2/dev
Rental harmony 2NF6H63H5S
| URI | m2://inv/2NF6H63H5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rental harmony, Rental harmony (definition). Also Wikidata Q24964528
History
- 2026-11-02: add by m2/dev
Methods 2NF95V6SFR
| URI | m2://inv/2NF95V6SFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional data analysis#QF3H, Methods (definition)
History
- 2026-11-02: add by m2/dev
2NFJ6H221J 2NFJ6H221J
| URI | m2://inv/2NFJ6H221J |
|---|---|
| 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 2204.01073#X6O6 (statement). In W4TYN4PGE8/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
2NFM2PFWX6 2NFM2PFWX6
| URI | m2://inv/2NFM2PFWX6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.30285#AMVP (statement). In YMY0NNSM27/e1, proposition 1.2
History
- 2026-10-27: add by m2/v0.3.6
Methods 2NFMJZMFW0
| URI | m2://inv/2NFMJZMFW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Code talker#AOVG, Methods (definition)
History
- 2026-11-02: add by m2/dev
2NFQGY3KYX 2NFQGY3KYX
| URI | m2://inv/2NFQGY3KYX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#34JY (statement)
History
- 2026-11-02: add by m2/v0.6.17
2NG27X2XWZ 2NG27X2XWZ
| URI | m2://inv/2NG27X2XWZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-35 (exercise). In E9HS8K3A52, exercise, section 10.3.1
History
- 2026-11-01: add by m2/v0.6.13
join 2NG54GJPEJ
| URI | m2://inv/2NG54GJPEJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#ML38, join (definition)
History
- 2026-11-02: add by m2/dev
Outer actions and factor systems 2NG5Q5QV5S
| URI | m2://inv/2NG5Q5QV5S |
|---|---|
| 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#557W, Outer actions and factor systems (statement). In N6GD8392QB/e1, lemma 17.4
History
- 2026-10-28: add by m2/v0.4.2
Symmetry 2NGWZ47MBF
| URI | m2://inv/2NGWZ47MBF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octadecagon#NHK3, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
2NGYFA1Z4Q 2NGYFA1Z4Q
| URI | m2://inv/2NGYFA1Z4Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#EB0I (statement)
History
- 2026-11-02: add by m2/v0.6.17
Superaltern 2NH34SCZ25
| URI | m2://inv/2NH34SCZ25 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Immediate inference#GBWG, Superaltern (unknown)
History
- 2026-11-02: add by m2/dev
Applications 2NH3GN9SRF
| URI | m2://inv/2NH3GN9SRF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M-spline#CIZG, Applications (example)
History
- 2026-11-02: add by m2/dev
2NH7EFX467 2NH7EFX467
| URI | m2://inv/2NH7EFX467 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.06695#09P1 (statement). In D6F8XGF5SS/e1, theorem C
History
- 2026-10-27: add by m2/v0.3.6
Replacing area by its value along the characteristic 2NHBRKE9XN
| URI | m2://inv/2NHBRKE9XN |
|---|---|
| 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.02531#DUGX, Replacing area by its value along the characteristic (statement). In 44EQ0MZE8G/e1, lemma 8.7
History
- 2026-10-29: add by m2/v0.4.12
2NHM1TKHPF 2NHM1TKHPF
| URI | m2://inv/2NHM1TKHPF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 1802.02910#ALAG (statement). In AY2MA29921/e1, lemma 09
History
- 2026-10-27: add by m2/v0.3.5
2NHWZN2GAC 2NHWZN2GAC
| URI | m2://inv/2NHWZN2GAC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.21052#ZAEY (definition)
History
- 2026-11-02: add by m2/v0.6.18
Definition 2NHZFYZJ7A
| URI | m2://inv/2NHZFYZJ7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally convex topological vector space#6TN3, Definition (definition)
History
- 2026-11-02: add by m2/dev
2NJ1BMXXQG 2NJ1BMXXQG
| URI | m2://inv/2NJ1BMXXQG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#4SME (definition)
History
- 2026-11-01: add by m2/v0.6.15
System of bilinear equations 2NJ76FTMNC
| URI | m2://inv/2NJ76FTMNC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System of bilinear equations, System of bilinear equations (definition). Also Wikidata Q7663730
History
- 2026-11-02: add by m2/dev
William of Sherwood 2NJQDSS9GV
| URI | m2://inv/2NJQDSS9GV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William of Sherwood, William of Sherwood (topic). Also Wikidata Q325650
History
- 2026-11-02: add by m2/dev
2NJV1M6KQ3 2NJV1M6KQ3
| URI | m2://inv/2NJV1M6KQ3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.01874#GVKG (definition). In A4TR95VGX2/e1, definition 7
History
- 2026-10-27: add by m2/v0.3.5
2NJVQ5P2QN 2NJVQ5P2QN
| URI | m2://inv/2NJVQ5P2QN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.10505#RE84 (statement). In JW8HH6EPG2/e1, lemma 3.35
History
- 2026-10-29: add by m2/v0.4.10
2NJYY9MP8F 2NJYY9MP8F
| URI | m2://inv/2NJYY9MP8F |
|---|---|
| Kind | definition |
| 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 2609.40028#1UNA (definition). In N8TDKGGC7S/e1, definition 2.6
History
- 2026-10-30: add by m2/v0.4.12
Kavli Institute for the Physics and Mathematics of the Universe 2NK0Z0P4BT
| URI | m2://inv/2NK0Z0P4BT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kavli Institute for the Physics and Mathematics of the Universe, Kavli Institute for the Physics and Mathematics of the Universe (definition). Also Wikidata Q5041424
History
- 2026-11-02: add by m2/dev
monoid 2NK1EFZTQC
| URI | m2://inv/2NK1EFZTQC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#EEDY, monoid (definition)
History
- 2026-11-02: add by m2/dev
Place-permutation action 2NK2PTGP7J
| URI | m2://inv/2NK2PTGP7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#2ZQZ, Place-permutation action (definition)
History
- 2026-11-02: add by m2/dev
homotopy type 2NK467HC7C
| URI | m2://inv/2NK467HC7C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91772173, homotopy type (unknown). Also EoM Homotopy_type, MathWorld HomotopyType, nLab homotopy type
History
- 2026-10-26: add by m2/dev
Grigori Mints 2NK74VDTAE
| URI | m2://inv/2NK74VDTAE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#0YDM, Grigori Mints (topic)
History
- 2026-11-02: add by m2/dev
2NKC4ZXWHK 2NKC4ZXWHK
| URI | m2://inv/2NKC4ZXWHK |
|---|---|
| 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#ND1M (statement). In P9J6P06Y40/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.3.5
Deterministic row-norm rigidity 2NKPR44A11
| URI | m2://inv/2NKPR44A11 |
|---|---|
| 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.11309#F1EV, Deterministic row-norm rigidity (statement). In TTEAQA1XXR/e1, proposition C.6
History
- 2026-10-28: add by m2/v0.4.3
Formulation 2NKSABK1QH
| URI | m2://inv/2NKSABK1QH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shanks transformation#E713, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Conservativity of the generic model 2NKT2MNQ36
| URI | m2://inv/2NKT2MNQ36 |
|---|---|
| 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 2104.00162#X3OJ, Conservativity of the generic model (statement). In HVGT9D84WV/e1, fact 1.10
History
- 2026-10-27: add by m2/v0.3.5
Brian McGuinness 2NKWMWHZC5
| URI | m2://inv/2NKWMWHZC5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brian McGuinness, Brian McGuinness (topic). Also Wikidata Q4964714
History
- 2026-11-02: add by m2/dev
Stable and unstable manifolds 2NKX1GA5V1
| URI | m2://inv/2NKX1GA5V1 |
|---|---|
| Kind | definition |
| 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.01050#15GG, Stable and unstable manifolds (definition). In 48NN33SAH7/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.12
Kuratowski's theorem 2NM1YCF8EJ
| URI | m2://inv/2NM1YCF8EJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel equivalence relation#MIO9, Kuratowski's theorem (statement)
History
- 2026-11-02: add by m2/dev
Methods 2NM2NF7P0Y
| URI | m2://inv/2NM2NF7P0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evidence-based medicine#0Y0D, Methods (definition)
History
- 2026-11-02: add by m2/dev
Properties 2NM4CJNZQQ
| URI | m2://inv/2NM4CJNZQQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bishop's graph#XJV4, Properties (statement)
History
- 2026-11-02: add by m2/dev
Averaged rates 2NM658Q0Q8
| URI | m2://inv/2NM658Q0Q8 |
|---|---|
| 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#C59Z, Averaged rates (statement). In 1AC4S19925/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
2NMB08DBZ7 2NMB08DBZ7
| URI | m2://inv/2NMB08DBZ7 |
|---|---|
| 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.20050#SJ15 (statement). In T41GD0Y0GX/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.4.2
Sommerfeld expansion 2NMJ03Y2K3
| URI | m2://inv/2NMJ03Y2K3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sommerfeld expansion, Sommerfeld expansion (definition). Also Wikidata Q7560453
History
- 2026-11-02: add by m2/dev
2NMVNH1FS3 2NMVNH1FS3
| URI | m2://inv/2NMVNH1FS3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16123#LCTQ (statement). In 6VR4TY5BGV/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
Central idempotent 2NMW4NN4S3
| URI | m2://inv/2NMW4NN4S3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idempotent (ring theory)#F042, Central idempotent (unknown)
History
- 2026-11-02: add by m2/dev
Gauss map 2NN2PDCZVJ
| URI | m2://inv/2NN2PDCZVJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#4WOA, Gauss map (definition)
History
- 2026-11-02: add by m2/dev
Einstein's field equation 2NN881TJFY
| URI | m2://inv/2NN881TJFY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formulae involving π#G5N4, Einstein's field equation (topic)
History
- 2026-11-02: add by m2/dev
Bruce Weir 2NNABX4JDB
| URI | m2://inv/2NNABX4JDB |
|---|---|
| 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#WRZE, Bruce Weir (unknown)
History
- 2026-11-02: add by m2/dev
List of Greek mathematicians 2NNDDYZKKY
| URI | m2://inv/2NNDDYZKKY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematicians#XK2Z, List of Greek mathematicians (topic)
History
- 2026-11-02: add by m2/dev
disdyakis dodecahedral graph 2NNHGHVPTQ
| URI | m2://inv/2NNHGHVPTQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115568, disdyakis dodecahedral graph (unknown). Also House of Graphs 1039, MathWorld DisdyakisDodecahedralGraph
History
- 2026-10-26: add by m2/dev
List of k-uniform tilings 2NNSQTDZD7
| URI | m2://inv/2NNSQTDZD7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of k-uniform tilings, List of k-uniform tilings (topic). Also Wikidata Q104879030
History
- 2026-11-02: add by m2/dev
2NNTPCBSGS 2NNTPCBSGS
| URI | m2://inv/2NNTPCBSGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#5XZF (statement). In MS7M2BJS9X/e1, lemma 4.13
History
- 2026-10-29: add by m2/v0.4.10
2NNZTZS7CQ 2NNZTZS7CQ
| URI | m2://inv/2NNZTZS7CQ |
|---|---|
| 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.20466#MZ5J (statement). In M4ZVJWM8YA/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.4.2
Localized Euclidean doubling 2NP0HZDC1G
| URI | m2://inv/2NP0HZDC1G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01324#BO1C, Localized Euclidean doubling (statement). In XKXG49TNXH/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.3.6
piecewise constant function 2NPECJP8AS
| URI | m2://inv/2NPECJP8AS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91306981, piecewise constant function (unknown). Also MathWorld PiecewiseConstantFunction
History
- 2026-10-26: add by m2/dev
2NPFG9DEMG 2NPFG9DEMG
| URI | m2://inv/2NPFG9DEMG |
|---|---|
| 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 2601.15010#7KKU (statement). In K3WJ6ZN184/e1, theorem 14.4
History
- 2026-10-27: add by m2/v0.3.5
Idempotency: no 2NPHF97TC2
| URI | m2://inv/2NPHF97TC2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exclusive or#G2XB, Idempotency: no (definition)
History
- 2026-11-02: add by m2/dev
2NPJ0DW1E5 2NPJ0DW1E5
| URI | m2://inv/2NPJ0DW1E5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/frobenius.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 13.8
History
- 2026-11-01: add by m2/v0.6.13
Alternating sines theorem 2NPP5WQ6DF
| URI | m2://inv/2NPP5WQ6DF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometry of a tetrahedron#SMSV, Alternating sines theorem (statement)
History
- 2026-11-02: add by m2/dev
2NPQ8GR3YJ 2NPQ8GR3YJ
| URI | m2://inv/2NPQ8GR3YJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
Mary C. Meyer 2NPR4QH5PE
| URI | m2://inv/2NPR4QH5PE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary C. Meyer, Mary C. Meyer (topic). Also Wikidata Q102197711
History
- 2026-11-02: add by m2/dev
2NPVF7WVTH 2NPVF7WVTH
| URI | m2://inv/2NPVF7WVTH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23464#247Z (statement)
History
- 2026-11-02: add by m2/v0.6.17
Mubayi--Verstra\"ete 2NPWT4KXBB
| URI | m2://inv/2NPWT4KXBB |
|---|---|
| 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.08567#XTCV, Mubayi--Verstra\"ete (statement). In CMJE9V2BJ0/e1, theorem 4.8
History
- 2026-10-29: add by m2/v0.4.10
2NPX8WWT1W 2NPX8WWT1W
| URI | m2://inv/2NPX8WWT1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27056#TSTE (statement)
History
- 2026-11-01: add by m2/v0.6.15
2NPXRMH9TQ 2NPXRMH9TQ
| URI | m2://inv/2NPXRMH9TQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1011.4141#FUQN (statement). In YQ4JYF18NH/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.5
Properties 2NQ08MS4E1
| URI | m2://inv/2NQ08MS4E1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth scheme#6WZ3, Properties (statement)
History
- 2026-11-02: add by m2/dev
2NQ1R6K8AX 2NQ1R6K8AX
| URI | m2://inv/2NQ1R6K8AX |
|---|---|
| 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.15723#11YG (statement). In A3KXZ2GBHN/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
Gerolamo Cardano 2NQ45RZA8S
| URI | m2://inv/2NQ45RZA8S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerolamo Cardano, Gerolamo Cardano (topic). Also Wikidata Q184530
History
- 2026-11-02: add by m2/dev
2NQ4SEDQE6 2NQ4SEDQE6
| URI | m2://inv/2NQ4SEDQE6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/semantic-notions.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 62.7
History
- 2026-11-01: add by m2/v0.6.13
2NQ5BYJ8VV 2NQ5BYJ8VV
| URI | m2://inv/2NQ5BYJ8VV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#JJ72 (definition). In A1GWWGRXPA/e1, definition 3.8
History
- 2026-10-27: add by m2/v0.4.2
Sector area 2NQ7VC08F8
| URI | m2://inv/2NQ7VC08F8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signed area#GUPA, Sector area (unknown)
History
- 2026-11-02: add by m2/dev
Ernesto Mordecki 2NQA9F5VQS
| URI | m2://inv/2NQA9F5VQS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2TH9, Ernesto Mordecki (unknown)
History
- 2026-11-02: add by m2/dev
2NQGF6HV30 2NQGF6HV30
| URI | m2://inv/2NQGF6HV30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19333#TSKG (statement). In 5Y3HF693YB/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
2NQHNPBK6H 2NQHNPBK6H
| URI | m2://inv/2NQHNPBK6H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20894#X124 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples 2NQQZCVS30
| URI | m2://inv/2NQQZCVS30 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Categorical theory#IH5E, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition 2NR0EXTCE0
| URI | m2://inv/2NR0EXTCE0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Segre class#UOHT, Definition (definition)
History
- 2026-11-02: add by m2/dev
spectral radius 2NRAM6DFS1
| URI | m2://inv/2NRAM6DFS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Spectral radius 9V7YQA85PC |
Mentions
- wikidata: Wikidata Q249748, spectral radius (unknown). Also MathWorld SpectralRadius
- wikipedia: Wikipedia Spectral radius, Spectral radius (definition). Also Wikidata Q249748
History
- 2026-10-26: add by m2/dev
Ordered logit 2NRCBYMNND
| URI | m2://inv/2NRCBYMNND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SZJW, Ordered logit (definition)
History
- 2026-11-02: add by m2/dev
2NS5C478NJ 2NS5C478NJ
| URI | m2://inv/2NS5C478NJ |
|---|---|
| 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#C4UU (statement). In M0SQY5EZN5/e1, theorem 2.5.4
History
- 2026-10-27: add by m2/v0.3.5
2NS6S7T5D0 2NS6S7T5D0
| URI | m2://inv/2NS6S7T5D0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.12484#KO7C (statement). In GW23NX78SB/e1, lemma 4.30
History
- 2026-10-28: add by m2/v0.4.2
volume conjecture 2NS7KTECMV
| URI | m2://inv/2NS7KTECMV |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Volume conjecture ZP4AWD45CE |
Mentions
- wikidata: Wikidata Q7940887, volume conjecture (unknown). Also nLab volume conjecture
- wikipedia: Wikipedia Volume conjecture, Volume conjecture (conjecture). Also Wikidata Q7940887
History
- 2026-10-26: add by m2/dev
Plücker formula 2NSB6MG9F1
| URI | m2://inv/2NSB6MG9F1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete algebraic curve#G296, Plücker formula (statement)
History
- 2026-11-02: add by m2/dev
2NSD35ZGJ8 2NSD35ZGJ8
| URI | m2://inv/2NSD35ZGJ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13745#T197 (statement). In CFJH0Q39FZ/e1, corollary 3.13
History
- 2026-10-28: add by m2/v0.4.2
A moment bound for the cumulative deficit 2NSE4R52A6
| URI | m2://inv/2NSE4R52A6 |
|---|---|
| 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.15265#9M7A, A moment bound for the cumulative deficit (statement). In TCQ1JBR84Y/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
2NSJTTW3NC 2NSJTTW3NC
| URI | m2://inv/2NSJTTW3NC |
|---|---|
| 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.34339#LWQO (statement). In 9WFSTGMQ4E/e1, theorem 5.7
History
- 2026-10-30: add by m2/v0.4.12
Benedikt Ahrens 2NSKJ7X1JM
| URI | m2://inv/2NSKJ7X1JM |
|---|---|
| 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 Q61875707, Benedikt Ahrens (unknown). Also nLab Benedikt Ahrens
History
- 2026-10-26: add by m2/dev
Intrinsic Metric 2NSNT1DYGG
| URI | m2://inv/2NSNT1DYGG |
|---|---|
| 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.28495#2SAM, Intrinsic Metric (statement)
History
- 2026-11-01: add by m2/v0.6.15
2NSSY1YD67 2NSSY1YD67
| URI | m2://inv/2NSSY1YD67 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#DGR7 (definition). In V5PVKDKGGG/e1, definition 1.8
History
- 2026-10-28: add by m2/v0.4.2
Koszul duality functors 2NSWQS6PHB
| URI | m2://inv/2NSWQS6PHB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#J13C, Koszul duality functors (definition). In A1GWWGRXPA/e1, definition 5.8
History
- 2026-10-27: add by m2/v0.4.2
Hurwitz space 2NSZ95YYVC
| URI | m2://inv/2NSZ95YYVC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurwitz space, Hurwitz space (definition). Also Wikidata Q122182042
History
- 2026-11-02: add by m2/dev
2NT4QS3BCX 2NT4QS3BCX
| URI | m2://inv/2NT4QS3BCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#5P7L (statement). In 7CK21JGM5A/e1, lemma 5.11
History
- 2026-10-27: add by m2/v0.4.2
Fractional Ornstein--Uhlenbeck signals 2NT8AYCB69
| URI | m2://inv/2NT8AYCB69 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05457#MWU8, Fractional Ornstein--Uhlenbeck signals (statement). In SV36P5P5Z3/e1, corollary 7.2
History
- 2026-10-29: add by m2/v0.4.10
2NTE9RECAY 2NTE9RECAY
| URI | m2://inv/2NTE9RECAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04466#FFZ9 (statement). In EHW82CK883/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.12
A. F. Leontiev 2NTFDA8VFP
| URI | m2://inv/2NTFDA8VFP |
|---|---|
| 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#E3DX, A. F. Leontiev (topic)
History
- 2026-11-02: add by m2/dev
2NTFE7YT17 2NTFE7YT17
| URI | m2://inv/2NTFE7YT17 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#G361 (unknown). In 4YJH4FPWDA/e1, unknown 3.2
History
- 2026-10-30: add by m2/v0.4.12
Theorem 2NTM45E2R2
| URI | m2://inv/2NTM45E2R2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mordell–Weil group#84B4, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Abraham Manie Adelstein 2NTN73VEF9
| URI | m2://inv/2NTN73VEF9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abraham Manie Adelstein, Abraham Manie Adelstein (topic). Also Wikidata Q4669074
History
- 2026-11-02: add by m2/dev
2NTR4MPE8K 2NTR4MPE8K
| URI | m2://inv/2NTR4MPE8K |
|---|---|
| Kind | statement |
| 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#8Z74 (statement). In 2W5Z97BBW4/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.0
2NTT47A12G 2NTT47A12G
| URI | m2://inv/2NTT47A12G |
|---|---|
| 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.04214#FFF0 (statement). In HWY7AQ4KT2/e1, proposition 1.8
History
- 2026-10-29: add by m2/v0.4.12
Jöreskog, Karl Gustav 2NTXDF6ACY
| URI | m2://inv/2NTXDF6ACY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#THEY, Jöreskog, Karl Gustav (topic)
History
- 2026-11-02: add by m2/dev
2NV4N9DQCF 2NV4N9DQCF
| URI | m2://inv/2NV4N9DQCF |
|---|---|
| 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.15360#DGKI (statement). In DJCXDQQK7Y/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Prismatic uniform 4-polytope 2NV7GYRQQK
| URI | m2://inv/2NV7GYRQQK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prismatic uniform 4-polytope, Prismatic uniform 4-polytope (object). Also Wikidata Q7245698
History
- 2026-11-02: add by m2/dev
Jonathan Rosenhead 2NV9EFJKZ5
| URI | m2://inv/2NV9EFJKZ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jonathan Rosenhead, Jonathan Rosenhead (topic). Also Wikidata Q72306335
History
- 2026-11-02: add by m2/dev
Related results 2NV9T02NV2
| URI | m2://inv/2NV9T02NV2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexandrov's theorem on polyhedra#A7T8, Related results (statement)
History
- 2026-11-02: add by m2/dev
2NVA7DW7FD 2NVA7DW7FD
| URI | m2://inv/2NVA7DW7FD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09162#95J7 (definition). In TAPS8P2VYS/e1, definition 1.2
History
- 2026-10-29: add by m2/v0.4.10
Eduardo Sáenz de Cabezón 2NVAN8TVWA
| URI | m2://inv/2NVAN8TVWA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eduardo Sáenz de Cabezón, Eduardo Sáenz de Cabezón (topic). Also Wikidata Q23769256
History
- 2026-11-02: add by m2/dev
2NVCX1WA5V 2NVCX1WA5V
| URI | m2://inv/2NVCX1WA5V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability-consistency.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
challenging 2NVPV44RJT
| URI | m2://inv/2NVPV44RJT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-122, challenging (exercise). In E9HS8K3A52, exercise, section 5.10.4
History
- 2026-11-01: add by m2/v0.6.13
Divergence-regularized GW stability 2NW1FY1SCY
| URI | m2://inv/2NW1FY1SCY |
|---|---|
| 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.14562#QT34, Divergence-regularized GW stability (statement). In G4XMZ452QE/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.2
versine 2NW7NFW5FH
| URI | m2://inv/2NW7NFW5FH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1364682, versine (unknown). Also MathWorld Versine
- wikipedia: Wikipedia Versine, Versine (definition). Also Wikidata Q1364682
History
- 2026-10-26: add by m2/dev
2NW7ZSVKSJ 2NW7ZSVKSJ
| URI | m2://inv/2NW7ZSVKSJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36377#OKH3 (statement). In M98F6VRPZ2/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Examples 2NW96GHM82
| URI | m2://inv/2NW96GHM82 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idempotent (ring theory)#JAYM, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition 2NWAPYAZNV
| URI | m2://inv/2NWAPYAZNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pfeffer integral#ME47, Definition (definition)
History
- 2026-11-02: add by m2/dev
Algebraic properties 2NWEH2JYC0
| URI | m2://inv/2NWEH2JYC0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramp function#FMK7, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Definition 2NWEJH9E6Y
| URI | m2://inv/2NWEJH9E6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet form#ZHQU, Definition (definition)
History
- 2026-11-02: add by m2/dev
2NWHHDJYBM 2NWHHDJYBM
| URI | m2://inv/2NWHHDJYBM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#JNTM (statement)
History
- 2026-11-02: add by m2/v0.6.18
2NWNPPS4RE 2NWNPPS4RE
| URI | m2://inv/2NWNPPS4RE |
|---|---|
| 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 2601.15010#JR69 (statement). In K3WJ6ZN184/e1, proposition 6.5
History
- 2026-10-27: add by m2/v0.3.5
2NWQG4H3YF 2NWQG4H3YF
| URI | m2://inv/2NWQG4H3YF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09897#P2C4 (statement). In NYA085FW0M/e1, proposition 3.7
History
- 2026-10-29: add by m2/v0.4.10
2NWTPMWB9X 2NWTPMWB9X
| URI | m2://inv/2NWTPMWB9X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19437#ILIF (statement). In 9PXXGQ978Z/e1, proposition 4.7
History
- 2026-10-28: add by m2/v0.4.2
2NX5GNQXQP 2NX5GNQXQP
| URI | m2://inv/2NX5GNQXQP |
|---|---|
| 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.02870#DEN3 (statement). In JJQQJ4KX94/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
Steve Parode 2NXC6JQDF8
| URI | m2://inv/2NXC6JQDF8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#PKF1, Steve Parode (unknown)
History
- 2026-11-02: add by m2/dev
2NXEAHGGCG 2NXEAHGGCG
| URI | m2://inv/2NXEAHGGCG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28143#VLVH (definition)
History
- 2026-11-01: add by m2/v0.6.15
Lipschitz function 2NXSHRSRK6
| URI | m2://inv/2NXSHRSRK6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Lipschitz condition 0AW1E6YTJY |
Mentions
- wikidata: Wikidata Q652707, Lipschitz function (concept). Also EoM Lipschitz_function, MathWorld LipschitzFunction, nLab Lipschitz map
- wikipedia: Wikipedia Lipschitz continuity, Lipschitz continuity (definition). Also Wikidata Q652707
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
2NXT9SM787 2NXT9SM787
| URI | m2://inv/2NXT9SM787 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.20299#N154 (statement). In P7T0W5D3W3/e1, theorem
History
- 2026-10-27: add by m2/v0.4.2
Examples 2NXTB12J4X
| URI | m2://inv/2NXTB12J4X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean algebra (structure)#GV9S, Examples (example)
History
- 2026-11-02: add by m2/dev
Weighted exceptional macro centers 2NYAB77SRB
| URI | m2://inv/2NYAB77SRB |
|---|---|
| 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.11143#903N, Weighted exceptional macro centers (statement). In 9CS15SV662/e1, corollary 12.3
History
- 2026-10-28: add by m2/v0.4.3
Irene Hess 2NYDE6SV37
| URI | m2://inv/2NYDE6SV37 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irene Hess, Irene Hess (topic). Also Wikidata Q42304896
History
- 2026-11-02: add by m2/dev
Morphism of ringed topoi 2NYFBKPK4A
| URI | m2://inv/2NYFBKPK4A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ringed topos#YMSI, Morphism of ringed topoi (unknown)
History
- 2026-11-02: add by m2/dev
2NYNTJ9595 2NYNTJ9595
| URI | m2://inv/2NYNTJ9595 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#U22B (statement). In ZPT9XCCAPQ/e1, lemma 2.2.15
History
- 2026-10-31: add by m2/v0.5.6
Mergelyan's theorem 2NYQF7WDWF
| URI | m2://inv/2NYQF7WDWF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1964537, Mergelyan's theorem (statement). Also Wikidata Q1964537
- thousand_plus: thousand_plus Q1964537, Mergelyan's theorem (statement). Also Wikidata Q1964537, Wikipedia Mergelyan's theorem
- wikipedia: Wikipedia Mergelyan's theorem, Mergelyan's theorem (statement). Also Wikidata Q1964537
History
- 2026-10-26: add by m2/dev
Fisher, Irving 2NYWCZFV1W
| URI | m2://inv/2NYWCZFV1W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TBZ1, Fisher, Irving (unknown)
History
- 2026-11-02: add by m2/dev
Raw sampled cuts can stall SDDP 2NZ1JDSA5E
| URI | m2://inv/2NZ1JDSA5E |
|---|---|
| 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.12713#6KBV, Raw sampled cuts can stall SDDP (statement). In F14A5HX20Q/e1, proposition C.4.3
History
- 2026-10-28: add by m2/v0.4.2
Algorithmic desiderata 2NZ4B986N4
| URI | m2://inv/2NZ4B986N4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30590#F2F8, Algorithmic desiderata (statement). In WYE2JVEZBT/e1, corollary 6.10
History
- 2026-10-31: add by m2/v0.5.6
Derivation of implicit formula 2NZ4JT7079
| URI | m2://inv/2NZ4JT7079 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roman surface#DC7F, Derivation of implicit formula (statement)
History
- 2026-11-02: add by m2/dev
2NZ6MPGW6T 2NZ6MPGW6T
| URI | m2://inv/2NZ6MPGW6T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1204.5958#SFRJ (statement). In XYCBKM4WKY/e1, theorem 13
History
- 2026-10-27: add by m2/v0.3.5
Applications 2NZ79DZX6T
| URI | m2://inv/2NZ79DZX6T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incompressibility method#46J2, Applications (example)
History
- 2026-11-02: add by m2/dev
Gordon Royle 2NZ8R2ZZ47
| URI | m2://inv/2NZ8R2ZZ47 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#93FE, Gordon Royle (unknown)
History
- 2026-11-02: add by m2/dev
Ernst Fiedler 2NZ9K3X83C
| URI | m2://inv/2NZ9K3X83C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernst Fiedler, Ernst Fiedler (topic). Also Wikidata Q37732597
History
- 2026-11-02: add by m2/dev
2NZF61SKQQ 2NZF61SKQQ
| URI | m2://inv/2NZF61SKQQ |
|---|---|
| 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.01855#4RYF (statement). In MM8P5CJR18/e1, proposition D.1
History
- 2026-10-29: add by m2/v0.4.12
Properties 2NZFKSDGYJ
| URI | m2://inv/2NZFKSDGYJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta prime distribution#Q7B5, Properties (statement)
History
- 2026-11-02: add by m2/dev
2NZGVKVHJ1 2NZGVKVHJ1
| URI | m2://inv/2NZGVKVHJ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#FCSG (statement). In HX63A1PH1W/e1, lemma 8.21
History
- 2026-10-28: add by m2/v0.4.3
2NZNMT3E2R 2NZNMT3E2R
| URI | m2://inv/2NZNMT3E2R |
|---|---|
| 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.02436#90PQ (statement). In J9WZBK6KAY/e1, lemma 3.12
History
- 2026-10-29: add by m2/v0.4.12
List of mathematics-based methods 2NZQJQ7X50
| URI | m2://inv/2NZQJQ7X50 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods, List of mathematics-based methods (topic). Also Wikidata Q6627366
History
- 2026-11-02: add by m2/dev
2NZRRQW30C 2NZRRQW30C
| URI | m2://inv/2NZRRQW30C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1010.3284#ILXU (definition). In 7D3VBRZGMY/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
Swan 2NZS8AFWT6
| URI | m2://inv/2NZS8AFWT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#K5OH, Swan (definition)
History
- 2026-11-02: add by m2/dev