Inventory rows S2
The cards of the rows of the inventory whose ids start with S2. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
S200ER8AB7 S200ER8AB7
| URI | m2://inv/S200ER8AB7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#48PW (statement). In HVY45JQRNK/e1, theorem 1.9
History
- 2026-10-31: add by m2/v0.5.6
Mixmaster universe S202B1TJ51
| URI | m2://inv/S202B1TJ51 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixmaster universe, Mixmaster universe (definition). Also Wikidata Q3551264
History
- 2026-11-02: add by m2/dev
Definition S20BECVZHZ
| URI | m2://inv/S20BECVZHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional Laplacian#0D3K, Definition (definition)
History
- 2026-11-02: add by m2/dev
Forbidding $H_3$ S20E4RXMSV
| URI | m2://inv/S20E4RXMSV |
|---|---|
| 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 2609.31331#W5IP, Forbidding $H_3$ (statement). In TWB64HRHWZ/e1, lemma 4
History
- 2026-10-31: add by m2/v0.5.6
S20FDFZ4HD S20FDFZ4HD
| URI | m2://inv/S20FDFZ4HD |
|---|---|
| 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.07530#EALB (statement). In C7QZ0VPBC8/e1, proposition A.1
History
- 2026-10-29: add by m2/v0.4.10
krypton-82 S20KRS3KJG
| URI | m2://inv/S20KRS3KJG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2558547, krypton-82 (definition). Also ProofWiki Definition:Krypton/82
History
- 2026-10-26: add by m2/dev
S2132ZQACJ S2132ZQACJ
| URI | m2://inv/S2132ZQACJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10973#59YH (statement). In H8NGNDP0XT/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.3
Unactuated tail is uniformly exponentially stable S217GZCMQ7
| URI | m2://inv/S217GZCMQ7 |
|---|---|
| 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.22384#5C6Y, Unactuated tail is uniformly exponentially stable (statement)
History
- 2026-11-02: add by m2/v0.6.17
Dual topology S21F9DZX2V
| URI | m2://inv/S21F9DZX2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual topology, Dual topology (definition). Also Wikidata Q5310243
History
- 2026-11-02: add by m2/dev
S21G9YP8FP S21G9YP8FP
| URI | m2://inv/S21G9YP8FP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#ECIX (statement). In CY1FE8W1ZW/e1, lemma 0.182
History
- 2026-10-27: add by m2/v0.3.5
S223WXGTTY S223WXGTTY
| URI | m2://inv/S223WXGTTY |
|---|---|
| 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.39675#EFYA (statement). In VM16G3PPH3/e1, theorem 4.7
History
- 2026-10-30: add by m2/v0.4.12
S22EE064AS S22EE064AS
| URI | m2://inv/S22EE064AS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.19455#GC3U (statement). In CBF6TQS4DW/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
S22H6017D7 S22H6017D7
| URI | m2://inv/S22H6017D7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.00162#UZX0 (definition). In HVGT9D84WV/e1, definition 1.23
History
- 2026-10-27: add by m2/v0.3.5
Critical-corner calibration relative to independence S22HEHWWTZ
| URI | m2://inv/S22HEHWWTZ |
|---|---|
| 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 2609.29658#03SP, Critical-corner calibration relative to independence (statement)
History
- 2026-11-01: add by m2/v0.6.15
S22HFX232G S22HFX232G
| URI | m2://inv/S22HFX232G |
|---|---|
| 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.02570#2MLA (statement). In 6JK30RQ1SX/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.12
Karsten Grove S22J2Y1ZTX
| URI | m2://inv/S22J2Y1ZTX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karsten Grove, Karsten Grove (topic). Also Wikidata Q15067163
History
- 2026-11-02: add by m2/dev
S22YAAC2XP S22YAAC2XP
| URI | m2://inv/S22YAAC2XP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29008#LT8V (statement)
History
- 2026-11-01: add by m2/v0.6.15
Massimo Porrati S23BM6V571
| URI | m2://inv/S23BM6V571 |
|---|---|
| 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 Q3851416, Massimo Porrati (unknown). Also nLab Massimo Porrati
History
- 2026-10-26: add by m2/dev
hypercomputation S23DCERQYD
| URI | m2://inv/S23DCERQYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2661997, hypercomputation (unknown). Also nLab hypercomputation
- wikipedia: Wikipedia Hypercomputation, Hypercomputation (definition). Also Wikidata Q2661997
History
- 2026-10-26: add by m2/dev
R. M. Wilson S23GA6WWSK
| URI | m2://inv/S23GA6WWSK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#N5TS, R. M. Wilson (topic)
History
- 2026-11-02: add by m2/dev
S23MV6NBAA S23MV6NBAA
| URI | m2://inv/S23MV6NBAA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0301148#J55D (statement). In 5RE15848Z0/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
Francisco Miró Quesada Cantuarias S23P149QV9
| URI | m2://inv/S23P149QV9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francisco Miró Quesada Cantuarias, Francisco Miró Quesada Cantuarias (topic). Also Wikidata Q5483714
History
- 2026-11-02: add by m2/dev
S23RMY4MJ5 S23RMY4MJ5
| URI | m2://inv/S23RMY4MJ5 |
|---|---|
| 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.21781#RXVR (statement). In FEQ72D1AX6/e1, corollary 4.5
History
- 2026-10-27: add by m2/v0.4.2
Definitions S23VXSYFYD
| URI | m2://inv/S23VXSYFYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal (order theory)#MA2D, Definitions (definition)
History
- 2026-11-02: add by m2/dev
S23X3DNHHP S23X3DNHHP
| URI | m2://inv/S23X3DNHHP |
|---|---|
| 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 2108.03672#MTMC (statement). In EZZSZ1F071/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.0
S2408QWMM6 S2408QWMM6
| URI | m2://inv/S2408QWMM6 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18600#JCYZ (problem). In 31D6TQVCNZ/e1, problem 4.2
History
- 2026-10-28: add by m2/v0.4.2
S2462DX9CG S2462DX9CG
| URI | m2://inv/S2462DX9CG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:monicpolyunique (exercise). In VNMV985MXX, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
S246DRE3WK S246DRE3WK
| URI | m2://inv/S246DRE3WK |
|---|---|
| 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.12131#JK8S (definition). In NYT07WF46A/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
S24JFJ1QBJ S24JFJ1QBJ
| URI | m2://inv/S24JFJ1QBJ |
|---|---|
| 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 2404.06445#9PDU (statement). In 12JKZ8EN52/e1, corollary 8.4
History
- 2026-10-27: add by m2/v0.3.5
adjoint endomorphism S24QP5CN29
| URI | m2://inv/S24QP5CN29 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Orthogonality > adjoint endomorphism, adjoint endomorphism (unknown). Also Mathlib LinearMap.BilinForm.leftAdjointOfNondegenerate
History
- 2026-10-26: add by m2/dev
SOS certificate for the fitted quartic at $A_{18}$ S251W0TTT3
| URI | m2://inv/S251W0TTT3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#WY9C, SOS certificate for the fitted quartic at $A_{18}$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Many-one completeness in one fixed dimension and degree S253YZ3MBJ
| URI | m2://inv/S253YZ3MBJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12434#X6T8, Many-one completeness in one fixed dimension and degree (statement). In YCRZC9SDCE/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
S2549TF3N5 S2549TF3N5
| URI | m2://inv/S2549TF3N5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/bezout.tex#definition-4 (definition). In RZP28ERRZV, definition, section 20.4
History
- 2026-11-01: add by m2/v0.6.13
Zhenghan Wang S256D8TR60
| URI | m2://inv/S256D8TR60 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zhenghan Wang, Zhenghan Wang (topic). Also Wikidata Q125179778
History
- 2026-11-02: add by m2/dev
Harish-Chandra's Plancherel theorem S25CCD745M
| URI | m2://inv/S25CCD745M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plancherel theorem for spherical functions#SP9Q, Harish-Chandra's Plancherel theorem (statement)
History
- 2026-11-02: add by m2/dev
John Mighton S25QE2ZF5M
| URI | m2://inv/S25QE2ZF5M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Mighton, John Mighton (topic). Also Wikidata Q10966284
History
- 2026-11-02: add by m2/dev
S25RPVCVQZ S25RPVCVQZ
| URI | m2://inv/S25RPVCVQZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10804#M0CR (statement). In 6M5WR7KB80/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.3
Mimic function S25X3TKJ6Z
| URI | m2://inv/S25X3TKJ6Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of steganography techniques#FSKM, Mimic function (unknown)
History
- 2026-11-02: add by m2/dev
Prokhorov distance S25XMC1VZK
| URI | m2://inv/S25XMC1VZK |
|---|---|
| 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 2609.40338#ZJPB, Prokhorov distance (definition). In K5H6GS0SGQ/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
S25YHTZJ2H S25YHTZJ2H
| URI | m2://inv/S25YHTZJ2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/manifolds.tex#def:smooth_manif (definition). In RZP28ERRZV, definition, section 44.2
History
- 2026-11-01: add by m2/v0.6.13
Jacob Loewenberg S268XHEFZ1
| URI | m2://inv/S268XHEFZ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacob Loewenberg, Jacob Loewenberg (topic). Also Wikidata Q6118952
History
- 2026-11-02: add by m2/dev
S269CWFN1D S269CWFN1D
| URI | m2://inv/S269CWFN1D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/basics.tex#ex-2 (example). In PKGMM3P5QY, ex, section 82.3
History
- 2026-11-01: add by m2/v0.6.13
Sergey Fomin S269Q9XD6A
| URI | m2://inv/S269Q9XD6A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergey Fomin, Sergey Fomin (topic). Also Wikidata Q7453973
History
- 2026-11-02: add by m2/dev
S26C9M4A2Q S26C9M4A2Q
| URI | m2://inv/S26C9M4A2Q |
|---|---|
| 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.06108#R05L (statement). In D3WKY1PW64/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.10
Paul-André Meyer S26E9T3CJE
| URI | m2://inv/S26E9T3CJE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul-André Meyer, Paul-André Meyer (topic). Also Wikidata Q574603
History
- 2026-11-02: add by m2/dev
S26G00DY1N S26G00DY1N
| URI | m2://inv/S26G00DY1N |
|---|---|
| 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.08658#3BY7 (statement). In 7PK5WS7246/e1, corollary 3.1
History
- 2026-10-29: add by m2/v0.4.10
S26GB54XK8 S26GB54XK8
| URI | m2://inv/S26GB54XK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.09889#ESV2 (statement). In BMNZKPSC48/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Active Directory S26JWD1GXT
| URI | m2://inv/S26JWD1GXT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Active Directory, Active Directory (definition). Also Wikidata Q55692
History
- 2026-11-02: add by m2/dev
S26R2GCDGD S26R2GCDGD
| URI | m2://inv/S26R2GCDGD |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof complexity#ZB6N (problem)
History
- 2026-11-02: add by m2/dev
S26S9SKPKQ S26S9SKPKQ
| URI | m2://inv/S26S9SKPKQ |
|---|---|
| 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.01295#H9SR (statement). In EHGJX4ETBN/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.12
Proving too much S26XDQ5CB5
| URI | m2://inv/S26XDQ5CB5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#U7RY, Proving too much (definition)
History
- 2026-11-02: add by m2/dev
Split tally S26YVTJK6C
| URI | m2://inv/S26YVTJK6C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tally stick#EIYL, Split tally (unknown)
History
- 2026-11-02: add by m2/dev
S2740ADZDW S2740ADZDW
| URI | m2://inv/S2740ADZDW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2609.25151#9B7B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uriel Feige S275N86CGC
| URI | m2://inv/S275N86CGC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OPSO, Uriel Feige (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#24E0, Uriel Feige (topic)
History
- 2026-11-02: add by m2/dev
5-UCO S275VEGZ3D
| URI | m2://inv/S275VEGZ3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5-UCO, 5-UCO (definition). Also Wikidata Q4639641
History
- 2026-11-02: add by m2/dev
S27899ZXAA S27899ZXAA
| URI | m2://inv/S27899ZXAA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#example-2 (example). In E59CDZA4DP, example, section 8.1.2
History
- 2026-11-01: add by m2/v0.6.13
S27C2X4V53 S27C2X4V53
| URI | m2://inv/S27C2X4V53 |
|---|---|
| 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.16886#PLGF (statement). In Y8QQAH7VCF/e1, theorem E.4
History
- 2026-10-28: add by m2/v0.4.2
Käte Fenchel S27GT01BXG
| URI | m2://inv/S27GT01BXG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#1RTJ, Käte Fenchel (unknown)
History
- 2026-11-02: add by m2/dev
S27N7XJHK0 S27N7XJHK0
| URI | m2://inv/S27N7XJHK0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-19 (exercise). In E59CDZA4DP, exercise, section 3.2.6
History
- 2026-11-01: add by m2/v0.6.13
Miroslav Fiedler S27NM72P8E
| URI | m2://inv/S27NM72P8E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miroslav Fiedler, Miroslav Fiedler (topic). Also Wikidata Q6873928
History
- 2026-11-02: add by m2/dev
exterior product S27R4ZJ1HN
| URI | m2://inv/S27R4ZJ1HN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13408581, exterior product (definition). Also MathWorld WedgeProduct, ProofWiki Definition:Wedge_Product
History
- 2026-10-26: add by m2/dev
S27RFNWA55 S27RFNWA55
| URI | m2://inv/S27RFNWA55 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#VZ8N (statement). In PG0B4PH9YH/e1, proposition 2.18
History
- 2026-10-27: add by m2/v0.4.2
S27S742632 S27S742632
| URI | m2://inv/S27S742632 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18600#RB84 (statement). In 31D6TQVCNZ/e1, theorem 1.8
History
- 2026-10-28: add by m2/v0.4.2
Item tree analysis S27TTHAXFE
| URI | m2://inv/S27TTHAXFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Item tree analysis, Item tree analysis (definition). Also Wikidata Q6094363
History
- 2026-11-02: add by m2/dev
S27YPV050J S27YPV050J
| URI | m2://inv/S27YPV050J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33231#3XGB (statement). In WPDRT63QNW/e1, lemma 5.9
History
- 2026-10-30: add by m2/v0.4.12
Affine manifold S282S0E1AN
| URI | m2://inv/S282S0E1AN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine manifold, Affine manifold (definition). Also Wikidata Q4688942
History
- 2026-11-02: add by m2/dev
S283C57CW8 S283C57CW8
| URI | m2://inv/S283C57CW8 |
|---|---|
| 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.21085#JZQ0 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Formal definition S2859V2TJ6
| URI | m2://inv/S2859V2TJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eilenberg–Steenrod axioms#JJ18, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
S285ZYK8TN S285ZYK8TN
| URI | m2://inv/S285ZYK8TN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#N2PH (statement). In 68AE571S4P/e1, lemma 4.10
History
- 2026-10-29: add by m2/v0.4.10
Crescent S289034Q0G
| URI | m2://inv/S289034Q0G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#2F17, Crescent (unknown)
- wikipedia: Wikipedia List of mathematical shapes#U3OV, Crescent (unknown)
History
- 2026-11-02: add by m2/dev
Second stage S28R769WVA
| URI | m2://inv/S28R769WVA |
|---|---|
| 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.21461#HRM8, Second stage (statement). In DWQANBV7B7/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.4.2
S292GYA012 S292GYA012
| URI | m2://inv/S292GYA012 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15525#MANF (definition). In EFDRME13PT/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Hilbert series S292HMEJ66
| URI | m2://inv/S292HMEJ66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of finite-dimensional Nichols algebras#1MGT, Hilbert series (definition)
History
- 2026-11-02: add by m2/dev
S2979192TP S2979192TP
| URI | m2://inv/S2979192TP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-272 (exercise). In VNMV985MXX, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Inverse gambler's fallacy S297TD6R44
| URI | m2://inv/S297TD6R44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse gambler's fallacy, Inverse gambler's fallacy (definition). Also Wikidata Q769775
History
- 2026-11-02: add by m2/dev
McKay's approximation for the coefficient of variation S299Q7NMNG
| URI | m2://inv/S299Q7NMNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HXP0, McKay's approximation for the coefficient of variation (definition)
History
- 2026-11-02: add by m2/dev
S29M1C3VT1 S29M1C3VT1
| URI | m2://inv/S29M1C3VT1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22825#IU8I (definition)
History
- 2026-11-02: add by m2/v0.6.17
Graph partition S2A2VYAX39
| URI | m2://inv/S2A2VYAX39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph partition, Graph partition (definition). Also Wikidata Q491370
History
- 2026-11-02: add by m2/dev
Ladder rung graph S2A5954546
| URI | m2://inv/S2A5954546 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ladder graph#AARN, Ladder rung graph (unknown)
History
- 2026-11-02: add by m2/dev
S2A8BGR32H S2A8BGR32H
| URI | m2://inv/S2A8BGR32H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39104#YRSA (example). In V2NTW27MSJ/e1, example 1.3
History
- 2026-10-30: add by m2/v0.4.12
compound of dodecahedron and icosahedron S2ACTCJVAP
| URI | m2://inv/S2ACTCJVAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5156847, compound of dodecahedron and icosahedron (unknown). Also MathWorld Dodecahedron-IcosahedronCompound
- wikipedia: Wikipedia Compound of dodecahedron and icosahedron, Compound of dodecahedron and icosahedron (definition). Also Wikidata Q5156847
History
- 2026-10-26: add by m2/dev
⊗ S2AFD8X68N
| URI | m2://inv/S2AFD8X68N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#8CC1, ⊗ (definition)
History
- 2026-11-02: add by m2/dev
S2ANT8BN1R S2ANT8BN1R
| URI | m2://inv/S2ANT8BN1R |
|---|---|
| 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.24325#735D (statement)
History
- 2026-11-01: add by m2/v0.6.15
S2AV8Q25BP S2AV8Q25BP
| URI | m2://inv/S2AV8Q25BP |
|---|---|
| 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.11823#U9C1 (statement). In YNQHA63Z2B/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.3
Hosmer–Lemeshow test S2AYW6RM1K
| URI | m2://inv/S2AYW6RM1K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EY6F, Hosmer–Lemeshow test (definition)
History
- 2026-11-02: add by m2/dev
Annals of the Institute of Statistical Mathematics S2B6N3YKJC
| URI | m2://inv/S2B6N3YKJC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#DQSS, Annals of the Institute of Statistical Mathematics (unknown)
History
- 2026-11-02: add by m2/dev
Generalized Boman's Theorem S2BCAVFATX
| URI | m2://inv/S2BCAVFATX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#2JXJ, Generalized Boman's Theorem (statement). In X38P26DK6S/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.0
Borel fixed-point theorem S2BHNWHNCD
| URI | m2://inv/S2BHNWHNCD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#C5GL, Borel fixed-point theorem (statement)
History
- 2026-11-02: add by m2/dev
S2BKBJPD2W S2BKBJPD2W
| URI | m2://inv/S2BKBJPD2W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21355#0YRM (definition). In XKJ7VKN4P0/e1, definition
History
- 2026-10-27: add by m2/v0.4.2
Hill cipher S2BX2QKWNF
| URI | m2://inv/S2BX2QKWNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hill cipher, Hill cipher (definition). Also Wikidata Q2454939
History
- 2026-11-02: add by m2/dev
S2BY4XZ5AT S2BY4XZ5AT
| URI | m2://inv/S2BY4XZ5AT |
|---|---|
| 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.27524#LRD8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
S2BZWPDGE1 S2BZWPDGE1
| URI | m2://inv/S2BZWPDGE1 |
|---|---|
| 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.35398#Z82Y (statement). In NAJCCHYXR6/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
S2CNZA7DEY S2CNZA7DEY
| URI | m2://inv/S2CNZA7DEY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#OCF8 (definition). In X1AGBB90EH/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
S2CRFVJK42 S2CRFVJK42
| URI | m2://inv/S2CRFVJK42 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38548#NEC5 (definition). In Z7ZFV3HM1S/e1, definition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Edward Arthur Milne S2CRKHS5SR
| URI | m2://inv/S2CRKHS5SR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#A6YI, Edward Arthur Milne (unknown)
History
- 2026-11-02: add by m2/dev
S2CXVMCG6Q S2CXVMCG6Q
| URI | m2://inv/S2CXVMCG6Q |
|---|---|
| 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.09171#B293 (definition). In 5ZPSZFE08Q/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Runcinated 5-cell S2DHT640PG
| URI | m2://inv/S2DHT640PG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runcinated 5-cell, Runcinated 5-cell (definition). Also Wikidata Q7379705
History
- 2026-11-02: add by m2/dev
Theorem S2DKYV3J8Y
| URI | m2://inv/S2DKYV3J8Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Substitution (logic)#5KKS, Theorem (statement)
History
- 2026-11-02: add by m2/dev
S2DM8XVC61 S2DM8XVC61
| URI | m2://inv/S2DM8XVC61 |
|---|---|
| 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 2610.20391#4E0I (definition). In CTAS41TRM2/e1, definition 7.7
History
- 2026-10-27: add by m2/v0.4.2
S2DMCTRFQW S2DMCTRFQW
| URI | m2://inv/S2DMCTRFQW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05193#ALDS (statement). In XDMM0KNNZ9/e1, lemma 16
History
- 2026-10-29: add by m2/v0.4.10
Generalized Final Value Theorem S2DP5536SD
| URI | m2://inv/S2DP5536SD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Final value theorem#KZC3, Generalized Final Value Theorem (statement)
History
- 2026-11-02: add by m2/dev
Uniform Concentration of Cuts in Dense $\gnp$ S2DPFE9DJB
| URI | m2://inv/S2DPFE9DJB |
|---|---|
| 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.08766#UACT, Uniform Concentration of Cuts in Dense $\gnp$ (statement). In QA4JM9SHPA/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.10
S2DQY3HPZ2 S2DQY3HPZ2
| URI | m2://inv/S2DQY3HPZ2 |
|---|---|
| Kind | problem |
| 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 2608.24190#AOZI (problem). In DW7FVA587C/e1, problem 5.4
History
- 2026-10-27: add by m2/v0.3.5
Theorem S2DR0N0Q0D
| URI | m2://inv/S2DR0N0Q0D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric rigidity#L9D4, Theorem (statement)
History
- 2026-11-02: add by m2/dev
S2DTDAEN5R S2DTDAEN5R
| URI | m2://inv/S2DTDAEN5R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2609.20375#AKCL (statement)
History
- 2026-11-02: add by m2/v0.6.18
S2DYHJHHYD S2DYHJHHYD
| URI | m2://inv/S2DYHJHHYD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise:extendboundedder (exercise). In E59CDZA4DP, exercise, section 3.2.6
History
- 2026-11-01: add by m2/v0.6.13
S2DZJJSARD S2DZJJSARD
| URI | m2://inv/S2DZJJSARD |
|---|---|
| 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.37846#1JQB (statement). In DCA0M1EE4A/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
S2E3B2XJ23 S2E3B2XJ23
| URI | m2://inv/S2E3B2XJ23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08202#JTMS (statement). In N7XJ16700B/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
Isaac Argyros S2E4T6RVSH
| URI | m2://inv/S2E4T6RVSH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#XB8Y, Isaac Argyros (unknown)
History
- 2026-11-02: add by m2/dev
Construction S2EFP201N5
| URI | m2://inv/S2EFP201N5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-arc#6C7A, Construction (definition)
History
- 2026-11-02: add by m2/dev
First differential S2EG2Y5645
| URI | m2://inv/S2EG2Y5645 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#3X89, First differential (statement). In TBFPBPQV3G/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
essentially selfadjoint S2EMZQDF4M
| URI | m2://inv/S2EMZQDF4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#Y82C, essentially selfadjoint (definition)
History
- 2026-11-02: add by m2/dev
Collaborative bandit S2EW45ZNHF
| URI | m2://inv/S2EW45ZNHF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multi-armed bandit#A645, Collaborative bandit (unknown)
History
- 2026-11-02: add by m2/dev
Tanner sheaf codes and their duals S2F4JRDQ7D
| URI | m2://inv/S2F4JRDQ7D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28028#4XG7, Tanner sheaf codes and their duals (example)
History
- 2026-11-01: add by m2/v0.6.15
matching number S2F4WY4XWM
| URI | m2://inv/S2F4WY4XWM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93638909, matching number (unknown). Also MathWorld MatchingNumber
History
- 2026-10-26: add by m2/dev
function minion S2F5MCDC37
| URI | m2://inv/S2F5MCDC37 |
|---|---|
| Kind | definition |
| 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#MW8A, function minion (definition). In GW23NX78SB/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
S2FPZ4WVC8 S2FPZ4WVC8
| URI | m2://inv/S2FPZ4WVC8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-45 (exercise). In E9HS8K3A52, exercise, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
Applications S2FR5G12B1
| URI | m2://inv/S2FR5G12B1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Large deviations theory#4EG7, Applications (example)
History
- 2026-11-02: add by m2/dev
S2FRHZE285 S2FRHZE285
| URI | m2://inv/S2FRHZE285 |
|---|---|
| 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.33697#YSZX (statement). In Q6GGQ29TRC/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Uniform inward drift S2FVT7SSG9
| URI | m2://inv/S2FVT7SSG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#6URR, Uniform inward drift (statement). In 9YAE8FNQST/e1, lemma 18.17
History
- 2026-10-30: add by m2/v0.4.12
S2FWFAJJWS S2FWFAJJWS
| URI | m2://inv/S2FWFAJJWS |
|---|---|
| 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.00625#GXUD (statement). In BGA625B7W1/e1, corollary 3.10
History
- 2026-10-30: add by m2/v0.4.12
Computational synthetic geometry S2G29G26QD
| URI | m2://inv/S2G29G26QD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synthetic geometry#HZ89, Computational synthetic geometry (unknown)
History
- 2026-11-02: add by m2/dev
S2G34222PA S2G34222PA
| URI | m2://inv/S2G34222PA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23941#93HR (statement)
History
- 2026-11-02: add by m2/v0.6.17
History of social network analysis S2G49FG3AD
| URI | m2://inv/S2G49FG3AD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Social network analysis#DX4A, History of social network analysis (unknown)
History
- 2026-11-02: add by m2/dev
S2G8EEA50Z S2G8EEA50Z
| URI | m2://inv/S2G8EEA50Z |
|---|---|
| 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.12295#3N45 (statement). In 6DZPR52HRP/e1, lemma 4.25
History
- 2026-10-28: add by m2/v0.4.2
linear equation S2GKR3BFGX
| URI | m2://inv/S2GKR3BFGX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.9/linear-equation, linear equation (concept). In E9HS8K3A52, index, section 6.9
History
- 2026-11-01: add by m2/v0.6.13
S2GNVGFRKH S2GNVGFRKH
| URI | m2://inv/S2GNVGFRKH |
|---|---|
| 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.21781#SBIJ (statement). In FEQ72D1AX6/e1, proposition 7.5
History
- 2026-10-27: add by m2/v0.4.2
Population balance equation S2GRA3AS46
| URI | m2://inv/S2GRA3AS46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Population balance equation, Population balance equation (definition). Also Wikidata Q7229796
History
- 2026-11-02: add by m2/dev
Examples S2GT4QXFG6
| URI | m2://inv/S2GT4QXFG6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia String diagram#N4CX, Examples (example)
History
- 2026-11-02: add by m2/dev
S2GZM440GN S2GZM440GN
| URI | m2://inv/S2GZM440GN |
|---|---|
| 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.02481#VYWH (statement). In 5HACFNFY0P/e1, corollary 1.3
History
- 2026-10-29: add by m2/v0.4.12
Operator product algebra S2H4B4P5T3
| URI | m2://inv/S2H4B4P5T3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operator product expansion#12BP, Operator product algebra (unknown)
History
- 2026-11-02: add by m2/dev
S2H6ER13VJ S2H6ER13VJ
| URI | m2://inv/S2H6ER13VJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15805#PN65 (statement). In 2XVWG0Z18V/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Original model S2HF0P1XF6
| URI | m2://inv/S2HF0P1XF6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09882#Q5H2, Original model (definition). In 7XV6T4N79V/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Examples S2HH1Q66BP
| URI | m2://inv/S2HH1Q66BP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Timing attack#VREO, Examples (example)
History
- 2026-11-02: add by m2/dev
S2HM45NCFJ S2HM45NCFJ
| URI | m2://inv/S2HM45NCFJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30999#ZXG4 (definition). In J1BWCKW2QK/e1, definition 4.2
History
- 2026-10-31: add by m2/v0.5.6
S2J6AN6KS5 S2J6AN6KS5
| URI | m2://inv/S2J6AN6KS5 |
|---|---|
| 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.28898#VHYX (statement)
History
- 2026-11-01: add by m2/v0.6.15
S2J6SVYKPN S2J6SVYKPN
| URI | m2://inv/S2J6SVYKPN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-90 (exercise). In VNMV985MXX, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Relative Poincaré lemma S2JA53CAHA
| URI | m2://inv/S2JA53CAHA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré lemma#O0VP, Relative Poincaré lemma (statement)
History
- 2026-11-02: add by m2/dev
Observation during movement S2JCY4GC9T
| URI | m2://inv/S2JCY4GC9T |
|---|---|
| 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.17677#PPD5, Observation during movement (statement). In 5E9G06XJKC/e1, lemma E.7
History
- 2026-10-28: add by m2/v0.4.2
S2JPXWVY9J S2JPXWVY9J
| URI | m2://inv/S2JPXWVY9J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/semisimple.tex#theorem-4 (statement). In RZP28ERRZV, theorem, section 81.4
History
- 2026-11-01: add by m2/v0.6.13
Separable Cyclic Procrustes S2JR5EBJ0E
| URI | m2://inv/S2JR5EBJ0E |
|---|---|
| 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 2410.12994#5E01, Separable Cyclic Procrustes (statement). In DF7NRQSDH9/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
D0L system S2JVZ3CM7F
| URI | m2://inv/S2JVZ3CM7F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphic word#0H1X, D0L system (unknown)
History
- 2026-11-02: add by m2/dev
Dais--Henk--Ziegler S2JZMQCBH1
| URI | m2://inv/S2JZMQCBH1 |
|---|---|
| Kind | conjecture |
| 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.16962#ZNB6, Dais--Henk--Ziegler (conjecture). In KJC9FRS3C2/e1, conjecture 2.1
History
- 2026-10-28: add by m2/v0.4.2
Definition S2JZXJ2QPJ
| URI | m2://inv/S2JZXJ2QPJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blum axioms#SVDG, Definition (definition)
History
- 2026-11-02: add by m2/dev
Andreas Dress S2K69J87BD
| URI | m2://inv/S2K69J87BD |
|---|---|
| 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#QLEI, Andreas Dress (topic)
- wikipedia: Wikipedia List of German mathematicians#X2HS, Andreas Dress (topic)
History
- 2026-11-02: add by m2/dev
Existence and Uniqueness S2K9ZDE03D
| URI | m2://inv/S2K9ZDE03D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25507#C11C, Existence and Uniqueness (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bilateral filter S2KBAWVQ99
| URI | m2://inv/S2KBAWVQ99 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#D6IY, Bilateral filter (unknown)
History
- 2026-11-02: add by m2/dev
Central kernel and quotient genus S2KJ96X6EX
| URI | m2://inv/S2KJ96X6EX |
|---|---|
| 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.33185#WD6C, Central kernel and quotient genus (statement). In QX30H2WNA7/e1, theorem 4.6
History
- 2026-10-30: add by m2/v0.4.12
S2KS7DYD7R S2KS7DYD7R
| URI | m2://inv/S2KS7DYD7R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25468#TYFR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Euler's theorem S2KT0RXQ1Y
| URI | m2://inv/S2KT0RXQ1Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3526990, Euler's theorem (statement). Also Wikidata Q3526990
- thousand_plus: thousand_plus Q3526990, Euler's theorem (statement). Also Wikidata Q3526990, Wikipedia Euler's theorem (differential geometry)
- wikipedia: Wikipedia Euler's theorem (differential geometry), Euler's theorem (statement). Also Wikidata Q3526990
History
- 2026-10-26: add by m2/dev
Peter B. Kronheimer S2KX9VTH1J
| URI | m2://inv/S2KX9VTH1J |
|---|---|
| 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#0T9C, Peter B. Kronheimer (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#26B6, Peter B. Kronheimer (topic)
History
- 2026-11-02: add by m2/dev
S2M1ANZSZ1 S2M1ANZSZ1
| URI | m2://inv/S2M1ANZSZ1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.16491#JIK9 (definition). In P9J6P06Y40/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Complete Classification S2M1X5QSV2
| URI | m2://inv/S2M1X5QSV2 |
|---|---|
| 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#ERK6, Complete Classification (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ditope S2M6FTNS4R
| URI | m2://inv/S2M6FTNS4R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dihedron#QPFI, Ditope (unknown)
History
- 2026-11-02: add by m2/dev
completely Hausdorff space S2MC118N38
| URI | m2://inv/S2MC118N38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1135782, completely Hausdorff space (definition). Also ProofWiki Definition:Urysohn_Space
- wikipedia: Wikipedia Urysohn and completely Hausdorff spaces, Urysohn and completely Hausdorff spaces (definition). Also Wikidata Q1135782
History
- 2026-10-26: add by m2/dev
S2MC2HPKY4 S2MC2HPKY4
| URI | m2://inv/S2MC2HPKY4 |
|---|---|
| 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 2303.11021#SBHP (statement). In B2ZK4DF2PM/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.0
S2MFDHFP4C S2MFDHFP4C
| URI | m2://inv/S2MFDHFP4C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 98.2
History
- 2026-11-01: add by m2/v0.6.13
S2MH0G41DY S2MH0G41DY
| URI | m2://inv/S2MH0G41DY |
|---|---|
| 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.36186#A4LM (definition). In 30PQN6JP7W/e1, definition 8
History
- 2026-10-27: add by m2/v0.3.5
Masaki Izumi S2MTKPWGY5
| URI | m2://inv/S2MTKPWGY5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JG5R, Masaki Izumi (unknown)
History
- 2026-11-02: add by m2/dev
Sleeping Beauty problem S2MWY7F2JX
| URI | m2://inv/S2MWY7F2JX |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sleeping Beauty problem, Sleeping Beauty problem (problem). Also Wikidata Q768939
History
- 2026-11-02: add by m2/dev
Adaptive control S2MXRGP9EJ
| URI | m2://inv/S2MXRGP9EJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adaptive control, Adaptive control (definition). Also Wikidata Q235781
History
- 2026-11-02: add by m2/dev
Proposition S2N1RBQ8SS
| URI | m2://inv/S2N1RBQ8SS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classifying space for U(n)#UJW5, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Examples S2N51Q623E
| URI | m2://inv/S2N51Q623E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural transformation#L4OG, Examples (example)
History
- 2026-11-02: add by m2/dev
S2N5PQM062 S2N5PQM062
| URI | m2://inv/S2N5PQM062 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#example-4 (example). In P1C114YBXG, example, section H
History
- 2026-11-01: add by m2/v0.6.13
Jean-Michel Salanskis S2N9DYES26
| URI | m2://inv/S2N9DYES26 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Michel Salanskis, Jean-Michel Salanskis (topic). Also Wikidata Q3168142
History
- 2026-11-02: add by m2/dev
Nataša Šešum S2NH2M60XG
| URI | m2://inv/S2NH2M60XG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nataša Šešum, Nataša Šešum (topic). Also Wikidata Q21822523
History
- 2026-11-02: add by m2/dev
S2NJ0PVBDW S2NJ0PVBDW
| URI | m2://inv/S2NJ0PVBDW |
|---|---|
| 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.08638#5CCE (statement). In 113VZ5XX7J/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.10
Wozencraft ensemble S2NQD3DQNG
| URI | m2://inv/S2NQD3DQNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wozencraft ensemble, Wozencraft ensemble (definition). Also Wikidata Q8037487
History
- 2026-11-02: add by m2/dev
S2NRDSY0T3 S2NRDSY0T3
| URI | m2://inv/S2NRDSY0T3 |
|---|---|
| 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.23634#41XA (definition)
History
- 2026-11-02: add by m2/v0.6.17
S2NVRRWHXQ S2NVRRWHXQ
| URI | m2://inv/S2NVRRWHXQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.22882#EHWY (statement). In YNE0Q2X61Y/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Cauchy's functional equation S2PJYJ1HXF
| URI | m2://inv/S2PJYJ1HXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#C3XO, Cauchy's functional equation (definition)
History
- 2026-11-02: add by m2/dev
Torricelli's principle S2PKGF3TS8
| URI | m2://inv/S2PKGF3TS8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evangelista Torricelli#I2VX, Torricelli's principle (statement)
History
- 2026-11-02: add by m2/dev
S2PMZEJHJ2 S2PMZEJHJ2
| URI | m2://inv/S2PMZEJHJ2 |
|---|---|
| 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.24584#YOJ0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
S2PQ0YX4TN S2PQ0YX4TN
| URI | m2://inv/S2PQ0YX4TN |
|---|---|
| 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.07927#TKHT (statement). In GKM19DHQTM/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.10
Hausdorff gap S2PRSMR2WK
| URI | m2://inv/S2PRSMR2WK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff gap, Hausdorff gap (definition). Also Wikidata Q18348716
History
- 2026-11-02: add by m2/dev
S2PT62ERF4 S2PT62ERF4
| URI | m2://inv/S2PT62ERF4 |
|---|---|
| Kind | example |
| 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.16779#34JC (example). In 1R7H0ZAHWA/e1, example 2
History
- 2026-10-28: add by m2/v0.4.2
S2Q40WCFHJ S2Q40WCFHJ
| URI | m2://inv/S2Q40WCFHJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#lemma:polyalwaysgetssmaller (statement). In E59CDZA4DP, lemma, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
Sybilla Beckmann S2Q4XAZWHN
| URI | m2://inv/S2Q4XAZWHN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sybilla Beckmann, Sybilla Beckmann (topic). Also Wikidata Q27730319
History
- 2026-11-02: add by m2/dev
Dorothée Normand-Cyrot S2Q5M6AADG
| URI | m2://inv/S2Q5M6AADG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dorothée Normand-Cyrot, Dorothée Normand-Cyrot (topic). Also Wikidata Q97899874
History
- 2026-11-02: add by m2/dev
Scheutzian calculation engine S2Q6Q2FN66
| URI | m2://inv/S2Q6Q2FN66 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Difference engine#3GKB, Scheutzian calculation engine (unknown)
History
- 2026-11-02: add by m2/dev
Two separate losses S2Q7R73T5K
| URI | m2://inv/S2Q7R73T5K |
|---|---|
| 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.18884#1OTU, Two separate losses (statement). In 8WM10QMA9E/e1, lemma D.2
History
- 2026-10-28: add by m2/v0.4.2
S2Q930YF6N S2Q930YF6N
| URI | m2://inv/S2Q930YF6N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 52.8
History
- 2026-11-01: add by m2/v0.6.13
S2QAK2JECY S2QAK2JECY
| URI | m2://inv/S2QAK2JECY |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1509.00950#7OTT (proof). In MDZFW5GACV/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
S2QBYZ9CFS S2QBYZ9CFS
| URI | m2://inv/S2QBYZ9CFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.14143#EFDN (statement). In QSKV7N0T89/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
S2QCYTV997 S2QCYTV997
| URI | m2://inv/S2QCYTV997 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CartesianProducts.tex#definition-1 (definition). In P1C114YBXG, definition, section 1
History
- 2026-11-01: add by m2/v0.6.13
S2QFCATYR7 S2QFCATYR7
| URI | m2://inv/S2QFCATYR7 |
|---|---|
| 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.33383#YDWC (statement). In 8AHWRHTP5G/e1, corollary 28
History
- 2026-10-30: add by m2/v0.4.12
S2QG8KTZ1K S2QG8KTZ1K
| URI | m2://inv/S2QG8KTZ1K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02495#523O (statement). In T4S7XVAJJC/e1, lemma 9.5
History
- 2026-10-29: add by m2/v0.4.12
S2QGAZ4YS0 S2QGAZ4YS0
| URI | m2://inv/S2QGAZ4YS0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#YXEW (statement). In BDN507RN7J/e1, proposition 4.2.9
History
- 2026-10-30: add by m2/v0.4.12
Applications S2QHG1HDGR
| URI | m2://inv/S2QHG1HDGR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irrational base discrete weighted transform#BONE, Applications (example)
History
- 2026-11-02: add by m2/dev
Localized converse of the strong Rees theorem S2QHZRJ28X
| URI | m2://inv/S2QHZRJ28X |
|---|---|
| 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.23202#6W7Y, Localized converse of the strong Rees theorem (statement)
History
- 2026-11-02: add by m2/v0.6.17
Transversality condition S2QSQ27KM8
| URI | m2://inv/S2QSQ27KM8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.05499#6C39, Transversality condition (definition). In WRMNCC8VBC/e1, definition 28
History
- 2026-10-27: add by m2/v0.3.6
Statement S2QVE59AF6
| URI | m2://inv/S2QVE59AF6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's twenty-first problem#H0O1, Statement (statement)
History
- 2026-11-02: add by m2/dev
Néron differential S2QZQPR023
| URI | m2://inv/S2QZQPR023 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Néron differential, Néron differential (definition). Also Wikidata Q7071447
History
- 2026-11-02: add by m2/dev
Sete Lagoas S2R0GZE1ZY
| URI | m2://inv/S2R0GZE1ZY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#41US, Sete Lagoas (unknown)
History
- 2026-11-02: add by m2/dev
Holmström's theorem S2R0RFVRQW
| URI | m2://inv/S2R0RFVRQW |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3984020, Holmström's theorem (statement). Also Wikidata Q3984020
- thousand_plus: thousand_plus Q3984020, Holmström's theorem (statement). Also Wikidata Q3984020, Wikipedia Holmström's theorem
- wikipedia: Wikipedia Holmström's theorem, Holmström's theorem (statement). Also Wikidata Q3984020
History
- 2026-10-26: add by m2/dev
Lemoine's problem S2R41E6AXN
| URI | m2://inv/S2R41E6AXN |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lemoine's problem, Lemoine's problem (problem). Also Wikidata Q6521259
History
- 2026-11-02: add by m2/dev
Examples S2R4PPBTSG
| URI | m2://inv/S2R4PPBTSG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantifier elimination#XV0X, Examples (example)
History
- 2026-11-02: add by m2/dev
Finite-defect structure S2R50ZWJEF
| URI | m2://inv/S2R50ZWJEF |
|---|---|
| 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 2609.31689#NIDL, Finite-defect structure (statement). In Z7M2JSF6HA/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
bipolar coordinates S2R758T2QV
| URI | m2://inv/S2R758T2QV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2383591, bipolar coordinates (unknown). Also MathWorld BipolarCoordinates
- wikidata: Wikidata Q4087586, two-center bipolar coordinates (unknown). Also MathWorld BipolarCoordinates
- wikipedia: Wikipedia Bipolar coordinates, Bipolar coordinates (definition). Also Wikidata Q2383591
- wikipedia: Wikipedia Two-center bipolar coordinates, Two-center bipolar coordinates (definition). Also Wikidata Q4087586
History
- 2026-10-26: add by m2/dev
S2RATS7HMT S2RATS7HMT
| URI | m2://inv/S2RATS7HMT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36904#ZOPR (definition). In R9E569AVRG/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Theorem 2 S2RJ7B3Z8T
| URI | m2://inv/S2RJ7B3Z8T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone comparative statics#LDNJ, Theorem 2 (statement)
History
- 2026-11-02: add by m2/dev
Ramon Llull S2RN2VAJE4
| URI | m2://inv/S2RN2VAJE4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#C8LN, Ramon Llull (topic)
History
- 2026-11-02: add by m2/dev
Maximal information coefficient S2RTD81N5X
| URI | m2://inv/S2RTD81N5X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal information coefficient, Maximal information coefficient (definition). Also Wikidata Q6795640
History
- 2026-11-02: add by m2/dev
Recursive feasibility S2S9C5ZT5F
| URI | m2://inv/S2S9C5ZT5F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.11021#I6OG, Recursive feasibility (definition). In B2ZK4DF2PM/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.0
Properties S2SFF7251S
| URI | m2://inv/S2SFF7251S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tuple#XQHM, Properties (statement)
History
- 2026-11-02: add by m2/dev
S2SGSNJNWD S2SGSNJNWD
| URI | m2://inv/S2SGSNJNWD |
|---|---|
| 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 2609.28803#OCO3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Non-Cartesian dualism S2SMMR70P8
| URI | m2://inv/S2SMMR70P8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E. J. Lowe (philosopher)#8ZG4, Non-Cartesian dualism (unknown)
History
- 2026-11-02: add by m2/dev
locally cartesian closed category S2SQ1H1Y62
| URI | m2://inv/S2SQ1H1Y62 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.4/locally-cartesian-closed-category, locally cartesian closed category (concept). In N54F33XE07, index, section C.1.4
History
- 2026-11-01: add by m2/v0.6.13
Regularization S2SRDQZPEY
| URI | m2://inv/S2SRDQZPEY |
|---|---|
| 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.11292#N10P, Regularization (statement). In Y35XMETFV7/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.3
Edward James McShane S2SWAMKEPJ
| URI | m2://inv/S2SWAMKEPJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#E1ZT, Edward James McShane (unknown)
History
- 2026-11-02: add by m2/dev
Township 6, Washington County, Nebraska S2T07XXT2J
| URI | m2://inv/S2T07XXT2J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#16KD, Township 6, Washington County, Nebraska (unknown)
History
- 2026-11-02: add by m2/dev
A spectral gap with an infinite-dimensional kernel S2T1D3MJA9
| URI | m2://inv/S2T1D3MJA9 |
|---|---|
| Kind | example |
| 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.13358#1LEN, A spectral gap with an infinite-dimensional kernel (example). In QHT28GABDG/e1, example 5.4
History
- 2026-10-28: add by m2/v0.4.2
Annalisa Crannell S2T48MSC0F
| URI | m2://inv/S2T48MSC0F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annalisa Crannell, Annalisa Crannell (topic). Also Wikidata Q48824543
History
- 2026-11-02: add by m2/dev
S2T8X8NAR5 S2T8X8NAR5
| URI | m2://inv/S2T8X8NAR5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.39593#7KQI (statement). In BF0RYHPMS1/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
S2TBHX08H0 S2TBHX08H0
| URI | m2://inv/S2TBHX08H0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33250#40CZ (definition). In JCTD510XJ0/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
XSL attack S2TMXGV7DZ
| URI | m2://inv/S2TMXGV7DZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia XSL attack, XSL attack (definition). Also Wikidata Q2443442
History
- 2026-11-02: add by m2/dev
Hermitian form S2TPGTJT8P
| URI | m2://inv/S2TPGTJT8P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sesquilinear form#HU1E, Hermitian form (unknown)
History
- 2026-11-02: add by m2/dev
S2TX1NRSQ9 S2TX1NRSQ9
| URI | m2://inv/S2TX1NRSQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#definition-8 (definition). In RZP28ERRZV, definition, section 62.7
History
- 2026-11-01: add by m2/v0.6.13
S2V7BXS71Y S2V7BXS71Y
| URI | m2://inv/S2V7BXS71Y |
|---|---|
| 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.17541#D0ZE (statement). In 9PHDBFMHH6/e1, proposition 5.8
History
- 2026-10-28: add by m2/v0.4.2
S2VCFVM0Y9 S2VCFVM0Y9
| URI | m2://inv/S2VCFVM0Y9 |
|---|---|
| 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.06876#NW0Y (statement). In BPCHEMS4RK/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Eliminating unknown source strength S2VD8ZKCRM
| URI | m2://inv/S2VD8ZKCRM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21301#IEU9, Eliminating unknown source strength (statement). In W7GCDXAK1K/e1, proposition 5
History
- 2026-10-27: add by m2/v0.4.2
Goddard–Thorn theorem S2VFH6WF5A
| URI | m2://inv/S2VFH6WF5A |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 17-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5576268, Goddard–Thorn theorem (statement). Also Wikidata Q5576268
- thousand_plus: thousand_plus Q5576268, Goddard–Thorn theorem (statement). Also Wikidata Q5576268, Wikipedia Goddard–Thorn theorem
- wikipedia: Wikipedia Goddard–Thorn theorem, Goddard–Thorn theorem (statement). Also Wikidata Q5576268
History
- 2026-10-26: add by m2/dev
S2VP8CT77R S2VP8CT77R
| URI | m2://inv/S2VP8CT77R |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 46-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 2609.37271#HF0K (problem). In 9WP2QGKMG8/e1, problem 4.4
History
- 2026-10-30: add by m2/v0.4.12
reduction to scalar approximation S2VVPVMSTT
| URI | m2://inv/S2VVPVMSTT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08016#FF5K, reduction to scalar approximation (statement). In YR3CSTYEJW/e1, corollary 7.5
History
- 2026-10-29: add by m2/v0.4.10
S2VWMA0VNZ S2VWMA0VNZ
| URI | m2://inv/S2VWMA0VNZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31604#CHRZ (example). In GSN5YTQS2K/e1, example 3.1
History
- 2026-10-31: add by m2/v0.5.6
S2WA40YCFS S2WA40YCFS
| URI | m2://inv/S2WA40YCFS |
|---|---|
| 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.04709#6GR1 (statement). In 9J260W15RY/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
Blastocyst biopsy S2WG56RPQW
| URI | m2://inv/S2WG56RPQW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preimplantation genetic diagnosis#KXK1, Blastocyst biopsy (unknown)
History
- 2026-11-02: add by m2/dev
polyabolo S2WPTR8TY8
| URI | m2://inv/S2WPTR8TY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2391057, polyabolo (unknown). Also MathWorld Polyabolo
- wikipedia: Wikipedia Polyabolo, Polyabolo (definition). Also Wikidata Q2391057
History
- 2026-10-26: add by m2/dev
Properties S2WT7TBSSE
| URI | m2://inv/S2WT7TBSSE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real projective line#TEIU, Properties (statement)
History
- 2026-11-02: add by m2/dev
Parameshvara Nambudiri S2WVGJ733D
| URI | m2://inv/S2WVGJ733D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parameshvara Nambudiri, Parameshvara Nambudiri (topic). Also Wikidata Q891045
History
- 2026-11-02: add by m2/dev
S2WW8ZGDEX S2WW8ZGDEX
| URI | m2://inv/S2WW8ZGDEX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#example-2 (example). In E9HS8K3A52, example, section 9.1.2
History
- 2026-11-01: add by m2/v0.6.13
Guttman scale S2WXJ5C736
| URI | m2://inv/S2WXJ5C736 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8U3Q, Guttman scale (definition)
History
- 2026-11-02: add by m2/dev
S2WZAABSCE S2WZAABSCE
| URI | m2://inv/S2WZAABSCE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08357#TXNV (statement). In R9GRCAWHG0/e1, lemma 5.7
History
- 2026-10-29: add by m2/v0.4.10
Mizar Language S2X397Q4MR
| URI | m2://inv/S2X397Q4MR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mizar system#HVPD, Mizar Language (unknown)
History
- 2026-11-02: add by m2/dev
Examples S2X4RV91AS
| URI | m2://inv/S2X4RV91AS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorial moment measure#WNJ3, Examples (example)
History
- 2026-11-02: add by m2/dev
S2X70GYJ34 S2X70GYJ34
| URI | m2://inv/S2X70GYJ34 |
|---|---|
| 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 1303.4328#CEG6 (statement). In HCTYW6VH87/e1, lemma 8.16
History
- 2026-10-27: add by m2/v0.3.5
Mathematics of apportionment S2XETDGE3B
| URI | m2://inv/S2XETDGE3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics of apportionment, Mathematics of apportionment (definition). Also Wikidata Q65252224
History
- 2026-11-02: add by m2/dev
Applications S2XFH9BMRT
| URI | m2://inv/S2XFH9BMRT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lloyd's algorithm#UJCQ, Applications (example)
History
- 2026-11-02: add by m2/dev
ARX cipher S2XQM0GDVB
| URI | m2://inv/S2XQM0GDVB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block cipher#66FN, ARX cipher (unknown)
History
- 2026-11-02: add by m2/dev
Applications S2XVR2DXK4
| URI | m2://inv/S2XVR2DXK4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commitment scheme#F5AY, Applications (example)
History
- 2026-11-02: add by m2/dev
S2Y0ABNBKJ S2Y0ABNBKJ
| URI | m2://inv/S2Y0ABNBKJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#defn-7 (definition). In E59CDZA4DP, defn, section 6.3.1
History
- 2026-11-01: add by m2/v0.6.13
Definition S2Y6HXFHZT
| URI | m2://inv/S2Y6HXFHZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Codensity monad#IS4H, Definition (definition)
History
- 2026-11-02: add by m2/dev
S2YCPDR2P8 S2YCPDR2P8
| URI | m2://inv/S2YCPDR2P8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#2444 (statement). In GMRT5GHBZS/e1, theorem D
History
- 2026-10-29: add by m2/v0.4.10
the $3\times5$ chart S2YCXV7NK2
| URI | m2://inv/S2YCXV7NK2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13291#FJ2C, the $3\times5$ chart (example). In D16PSAVVWV/e1, example 5.4
History
- 2026-10-28: add by m2/v0.4.2
Cyclically reduced word S2YFC6PE9M
| URI | m2://inv/S2YFC6PE9M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclically reduced word, Cyclically reduced word (definition). Also Wikidata Q5198243
History
- 2026-11-02: add by m2/dev
S2YJXVG83Q S2YJXVG83Q
| URI | m2://inv/S2YJXVG83Q |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-induction.ptx#proof-2 (proof). In Y91XFCEVHQ, proof, section 3.5.3
History
- 2026-11-01: add by m2/v0.6.13
Karhunen–Loève theorem S2YK55F10D
| URI | m2://inv/S2YK55F10D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#IBLN, Karhunen–Loève theorem (unknown)
History
- 2026-11-02: add by m2/dev
S2YM35AT8H S2YM35AT8H
| URI | m2://inv/S2YM35AT8H |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29943#3SO1 (problem)
History
- 2026-11-01: add by m2/v0.6.15
S2Z1CQDNN2 S2Z1CQDNN2
| URI | m2://inv/S2Z1CQDNN2 |
|---|---|
| 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#IZBR (statement). In ZPT9XCCAPQ/e1, lemma 1.4.7
History
- 2026-10-31: add by m2/v0.5.6
Orthogonal design S2Z56BFCMX
| URI | m2://inv/S2Z56BFCMX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighing matrix#FM5B, Orthogonal design (unknown)
History
- 2026-11-02: add by m2/dev
S2Z9FJS41T S2Z9FJS41T
| URI | m2://inv/S2Z9FJS41T |
|---|---|
| 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 2405.05684#XM6I (statement). In 1PR73ECTZB/e1, proposition 28
History
- 2026-10-27: add by m2/v0.3.5
FPT (class) S2ZDXFY2JH
| URI | m2://inv/S2ZDXFY2JH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parameterized complexity#DG8E, FPT (class) (unknown)
History
- 2026-11-02: add by m2/dev
Examples S2ZPDCJCD5
| URI | m2://inv/S2ZPDCJCD5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star height#X6E4, Examples (example)
History
- 2026-11-02: add by m2/dev
S2ZPHFC8RK S2ZPHFC8RK
| URI | m2://inv/S2ZPHFC8RK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#NZPV (statement). In E7W2HDNEKJ/e1, theorem 9.30
History
- 2026-10-30: add by m2/v0.4.12