Inventory rows 6S
The cards of the rows of the inventory whose ids start with 6S. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Grundzüge der Mengenlehre 6S0D1M90MX
| URI | m2://inv/6S0D1M90MX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grundzüge der Mengenlehre, Grundzüge der Mengenlehre (definition). Also Wikidata Q1550801
History
- 2026-11-02: add by m2/dev
senary 6S0F573DBJ
| URI | m2://inv/6S0F573DBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#XYWU, senary (definition)
History
- 2026-11-02: add by m2/dev
Sun-Yung Alice Chang 6S0G9F8ABT
| URI | m2://inv/6S0G9F8ABT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#D1F8, Sun-Yung Alice Chang (topic)
History
- 2026-11-02: add by m2/dev
The First Moderns 6S0QDYBSE1
| URI | m2://inv/6S0QDYBSE1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The First Moderns, The First Moderns (definition). Also Wikidata Q39054854
History
- 2026-11-02: add by m2/dev
6S0VJ5NA01 6S0VJ5NA01
| URI | m2://inv/6S0VJ5NA01 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreQuantification.tex#problem-5 (exercise). In P1C114YBXG, problem, section F
History
- 2026-11-01: add by m2/v0.6.13
6S0XRXZA23 6S0XRXZA23
| URI | m2://inv/6S0XRXZA23 |
|---|---|
| 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.01561#L5IL (statement). In W4G7BCHYEW/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
6S12RJSDVX 6S12RJSDVX
| URI | m2://inv/6S12RJSDVX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_rubots.ptx#thm_catalan-genfunction (statement). In QKM9DD2H56, theorem, section 9.7
History
- 2026-11-01: add by m2/v0.6.13
Dirichlet's theorem on arithmetic progressions 6S13KA59AY
| URI | m2://inv/6S13KA59AY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#B8CV, Dirichlet's theorem on arithmetic progressions (statement)
History
- 2026-11-02: add by m2/dev
6S1BY71WPZ 6S1BY71WPZ
| URI | m2://inv/6S1BY71WPZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13850#C71F (statement). In KJY735KSMF/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
The homogeneous space construction theorem 6S1DFTJW4B
| URI | m2://inv/6S1DFTJW4B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed-subgroup theorem#1YXB, The homogeneous space construction theorem (statement)
History
- 2026-11-02: add by m2/dev
Alternating $d$-Codes 6S1DP24C09
| URI | m2://inv/6S1DP24C09 |
|---|---|
| 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 2202.03009#273D, Alternating $d$-Codes (example). In GYEQJ534W1/e1, example 2
History
- 2026-10-27: add by m2/v0.3.5
Três Arroios 6S1EEE4Q9G
| URI | m2://inv/6S1EEE4Q9G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#F6FU, Três Arroios (unknown)
History
- 2026-11-02: add by m2/dev
Examples 6S1NSQR4QP
| URI | m2://inv/6S1NSQR4QP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicit function#MYQJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Strict affine cardinality defect 6S1SSHGGJ6
| URI | m2://inv/6S1SSHGGJ6 |
|---|---|
| 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.26019#P6OU, Strict affine cardinality defect (statement)
History
- 2026-11-01: add by m2/v0.6.15
6S212PGDEJ 6S212PGDEJ
| URI | m2://inv/6S212PGDEJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#PTMI (statement). In SBZNH932ZV/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
S-box 6S21V64PPE
| URI | m2://inv/6S21V64PPE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S-box, S-box (definition). Also Wikidata Q748364
History
- 2026-11-02: add by m2/dev
6S27E4WW4K 6S27E4WW4K
| URI | m2://inv/6S27E4WW4K |
|---|---|
| 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#JJXE (statement). In BDN507RN7J/e1, proposition 4.2.11
History
- 2026-10-30: add by m2/v0.4.12
Special cases 6S2GEY3QEM
| URI | m2://inv/6S2GEY3QEM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projectile motion#TQHQ, Special cases (statement)
History
- 2026-11-02: add by m2/dev
6S2H9Z5CRE 6S2H9Z5CRE
| URI | m2://inv/6S2H9Z5CRE |
|---|---|
| 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.28674#8X5A (statement)
History
- 2026-11-01: add by m2/v0.6.15
6S2KNVQ6NY 6S2KNVQ6NY
| URI | m2://inv/6S2KNVQ6NY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/zariski.tex#example-1 (example). In RZP28ERRZV, example, section 29.2
History
- 2026-11-01: add by m2/v0.6.13
Social Networking Potential 6S2NQFYHS3
| URI | m2://inv/6S2NQFYHS3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Social network analysis#ZBOL, Social Networking Potential (unknown)
History
- 2026-11-02: add by m2/dev
Schur-type theorem in the squares 6S2PSD9VQ5
| URI | m2://inv/6S2PSD9VQ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#AO7G, Schur-type theorem in the squares (statement). In JBAQ7DTW7B/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
6S2SKWX6D0 6S2SKWX6D0
| URI | m2://inv/6S2SKWX6D0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.22986#NPJT (statement). In GFP8TEKFBC/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
6S3CDJPS5D 6S3CDJPS5D
| URI | m2://inv/6S3CDJPS5D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/sylow.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
Closed graph theorem 6S3GWS8G91
| URI | m2://inv/6S3GWS8G91 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional analysis#F4PM, Closed graph theorem (statement)
History
- 2026-11-02: add by m2/dev
string, ternary 6S410TJWFS
| URI | m2://inv/6S410TJWFS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/9.4.1/string-ternary, string, ternary (concept). In QKM9DD2H56, index, section 9.4.1
History
- 2026-11-01: add by m2/v0.6.13
Binary Erasure Channel 6S45BCX40D
| URI | m2://inv/6S45BCX40D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#NVI2, Binary Erasure Channel (example). In EVFX1R7ZDD/e1, example 2
History
- 2026-10-30: add by m2/v0.4.12
Various statements of the law for closed systems 6S4CHDGCWH
| URI | m2://inv/6S4CHDGCWH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First law of thermodynamics#5EZS, Various statements of the law for closed systems (statement)
History
- 2026-11-02: add by m2/dev
Werner Romberg 6S4FCSDVX3
| URI | m2://inv/6S4FCSDVX3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ZZBG, Werner Romberg (topic)
History
- 2026-11-02: add by m2/dev
Gosper's algorithm 6S4T33JZSS
| URI | m2://inv/6S4T33JZSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#ZRN7, Gosper's algorithm (definition)
History
- 2026-11-02: add by m2/dev
\theoremcite{Theorem 3.2}{aliprantis1974} and \theoremcite{Theorem 5.1}{aliprantis1974 6S4W9H01VW
| URI | m2://inv/6S4W9H01VW |
|---|---|
| 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.29498#7TH0, \theoremcite{Theorem 3.2}{aliprantis1974} and \theoremcite{Theorem 5.1}{aliprantis1974 (statement)
History
- 2026-11-01: add by m2/v0.6.15
6S4WSGQKJD 6S4WSGQKJD
| URI | m2://inv/6S4WSGQKJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#WTAZ (statement). In GYMGDQS25R/e1, proposition 4.9
History
- 2026-10-29: add by m2/v0.4.10
6S52Z3EEH0 6S52Z3EEH0
| URI | m2://inv/6S52Z3EEH0 |
|---|---|
| Kind | problem |
| 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.23804#X5VF (problem)
History
- 2026-11-02: add by m2/v0.6.17
6S63Q0TCE0 6S63Q0TCE0
| URI | m2://inv/6S63Q0TCE0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06719#Q0JE (statement). In CBSA058Y53/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
6S67ZGW5D1 6S67ZGW5D1
| URI | m2://inv/6S67ZGW5D1 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08193#4NX5 (problem). In 8XAKGH8S2D/e1, problem 1
History
- 2026-10-29: add by m2/v0.4.10
6S6AB9JC0N 6S6AB9JC0N
| URI | m2://inv/6S6AB9JC0N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22040#1V41 (statement). In 2QP93JHYNB/e1, proposition 8.23
History
- 2026-10-27: add by m2/v0.4.2
name binding 6S6WYNZPAR
| URI | m2://inv/6S6WYNZPAR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16928028, name binding (unknown). Also nLab name binding
History
- 2026-10-26: add by m2/dev
Existence of the elementary blocks 6S6YBRW73X
| URI | m2://inv/6S6YBRW73X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05364#U2D3, Existence of the elementary blocks (statement). In TPYRE2ARMD/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.10
6S71CR22KF 6S71CR22KF
| URI | m2://inv/6S71CR22KF |
|---|---|
| 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#RFLI (statement). In 6DZPR52HRP/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
merging two nodes 6S71Z98YCY
| URI | m2://inv/6S71Z98YCY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18803#OUKS, merging two nodes (statement). In VG8AF124T3/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
Clifford Clogg 6S72YBZYWD
| URI | m2://inv/6S72YBZYWD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford Clogg, Clifford Clogg (topic). Also Wikidata Q20675496
History
- 2026-11-02: add by m2/dev
Yan Rachinsky 6S7881VA75
| URI | m2://inv/6S7881VA75 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yan Rachinsky, Yan Rachinsky (topic). Also Wikidata Q55102841
History
- 2026-11-02: add by m2/dev
6S7BSWDWE1 6S7BSWDWE1
| URI | m2://inv/6S7BSWDWE1 |
|---|---|
| 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.14450#R5CQ (definition). In ZHTGQT07PE/e1, definition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Asymptotic high-rate optimality of GRM 6S7FH98KHC
| URI | m2://inv/6S7FH98KHC |
|---|---|
| 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.15549#SWP4, Asymptotic high-rate optimality of GRM (statement). In S96K5CR1B7/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
Corrected diagonal interaction 6S7NYYEFP5
| URI | m2://inv/6S7NYYEFP5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#SJXU, Corrected diagonal interaction (statement). In RYWAX33Z51/e1, lemma 9.7
History
- 2026-10-31: add by m2/v0.5.6
6S7ZRMHTEG 6S7ZRMHTEG
| URI | m2://inv/6S7ZRMHTEG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04498#R68E (statement). In HHF08X70P6/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
6S8022CJ4K 6S8022CJ4K
| URI | m2://inv/6S8022CJ4K |
|---|---|
| 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.20013#GZFE (statement). In SC5JZQKZH6/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.4.2
6S8321PB0B 6S8321PB0B
| URI | m2://inv/6S8321PB0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28295#F4Y6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
judgment 6S87G8KSQC
| URI | m2://inv/6S87G8KSQC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.1/judgment, judgment (concept). In N54F33XE07, index, section A.1
History
- 2026-11-01: add by m2/v0.6.13
6S8A4HQW8D 6S8A4HQW8D
| URI | m2://inv/6S8A4HQW8D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21191#HLDA (definition)
History
- 2026-11-02: add by m2/v0.6.18
Properties 6S8AV7QFZ6
| URI | m2://inv/6S8AV7QFZ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gyroelongated pentagonal pyramid#PUQE, Properties (statement)
History
- 2026-11-02: add by m2/dev
6S8B313BAM 6S8B313BAM
| URI | m2://inv/6S8B313BAM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33584#J9O0 (statement). In 3HFBAWQCA1/e1, theorem 5.4
History
- 2026-10-30: add by m2/v0.4.12
Alan Guth 6S8B4X65RS
| URI | m2://inv/6S8B4X65RS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#LUBA, Alan Guth (unknown)
History
- 2026-11-02: add by m2/dev
Katzarkov--Kontsevich--Pantev--Yu 6S8FN9SCQT
| URI | m2://inv/6S8FN9SCQT |
|---|---|
| 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 2609.21914#AU5D, Katzarkov--Kontsevich--Pantev--Yu (statement)
History
- 2026-11-02: add by m2/v0.6.17
6S8QCWCC9A 6S8QCWCC9A
| URI | m2://inv/6S8QCWCC9A |
|---|---|
| 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 2411.07061#HDN8 (statement). In S988ZVA1QE/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.6
Fundamental --- \textsc{Var 6S8QK80TDH
| URI | m2://inv/6S8QK80TDH |
|---|---|
| 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.21131#USRU, Fundamental --- \textsc{Var (statement). In CPYWHRTPKC/e1, lemma 6.56
History
- 2026-10-27: add by m2/v0.4.2
6S8RYAJB7E 6S8RYAJB7E
| URI | m2://inv/6S8RYAJB7E |
|---|---|
| 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.24577#5INP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Elston, Robert C. 6S8TPZDFGV
| URI | m2://inv/6S8TPZDFGV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#A18S, Elston, Robert C. (topic)
History
- 2026-11-02: add by m2/dev
6S8WMJ5DNJ 6S8WMJ5DNJ
| URI | m2://inv/6S8WMJ5DNJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#5AAP (definition). In X765ZXXVC3/e1, definition 2.24
History
- 2026-10-29: add by m2/v0.4.12
6S8X349B6V 6S8X349B6V
| URI | m2://inv/6S8X349B6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05867#C2MW (statement). In E2TP3AKTNV/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
6S8YKH8ZMX 6S8YKH8ZMX
| URI | m2://inv/6S8YKH8ZMX |
|---|---|
| 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.14377#1JNL (statement). In WEZPNET90D/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
Existence of ground state 6S9BX6FW2Z
| URI | m2://inv/6S9BX6FW2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28454#E7MI, Existence of ground state (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications 6S9FFE0VHG
| URI | m2://inv/6S9FFE0VHG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian model reduction#NUWF, Applications (example)
History
- 2026-11-02: add by m2/dev
6S9FN8ZZ41 6S9FN8ZZ41
| URI | m2://inv/6S9FN8ZZ41 |
|---|---|
| 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.11693#KIUC (statement). In F8QNPNTBTZ/e1, lemma C.3
History
- 2026-10-28: add by m2/v0.4.3
Matrix model for a transitive groupoid 6S9NMKY22N
| URI | m2://inv/6S9NMKY22N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#INQ9, Matrix model for a transitive groupoid (statement). In 4WPYBTARS2/e1, lemma 4.20
History
- 2026-10-29: add by m2/v0.4.12
Tor 6S9QWHCAVF
| URI | m2://inv/6S9QWHCAVF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#BSWA, Tor (definition)
History
- 2026-11-02: add by m2/dev
Sonya Christian 6S9S2EEN8X
| URI | m2://inv/6S9S2EEN8X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sonya Christian, Sonya Christian (topic). Also Wikidata Q118358869
History
- 2026-11-02: add by m2/dev
Theorem 2 6S9VTH6HZC
| URI | m2://inv/6S9VTH6HZC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heavy traffic approximation#MF4X, Theorem 2 (statement)
History
- 2026-11-02: add by m2/dev
Wilson prime 6SA3KQZVFE
| URI | m2://inv/6SA3KQZVFE |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#I395, Wilson prime (conjecture)
History
- 2026-11-02: add by m2/dev
Krylov subspace 6SAAPCYTXJ
| URI | m2://inv/6SAAPCYTXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#WS87, Krylov subspace (definition)
History
- 2026-11-02: add by m2/dev
6SAKQ8HEK5 6SAKQ8HEK5
| URI | m2://inv/6SAKQ8HEK5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-12 (exercise). In E59CDZA4DP, exercise, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
6SAMFC8JEB 6SAMFC8JEB
| URI | m2://inv/6SAMFC8JEB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#AM4V (statement). In WAXS6FS388/e1, proposition 4.12
History
- 2026-10-30: add by m2/v0.4.12
apolar 6SAMYVBCKJ
| URI | m2://inv/6SAMYVBCKJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#K18I, apolar (definition)
History
- 2026-11-02: add by m2/dev
6SASYM2SNN 6SASYM2SNN
| URI | m2://inv/6SASYM2SNN |
|---|---|
| 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 2011.08789#MCHM (statement). In 43AGRMP7T3/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Dovid Gottlieb 6SAZAC96BT
| URI | m2://inv/6SAZAC96BT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#LZJK, Dovid Gottlieb (unknown)
History
- 2026-11-02: add by m2/dev
Principal subalgebra 6SB685MD68
| URI | m2://inv/6SB685MD68 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal subalgebra, Principal subalgebra (definition). Also Wikidata Q7245093
History
- 2026-11-02: add by m2/dev
The offset-controller potential 6SB693DBG4
| URI | m2://inv/6SB693DBG4 |
|---|---|
| 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.15202#GSCK, The offset-controller potential (statement). In X1FPG0KYBM/e1, lemma Q.1
History
- 2026-10-28: add by m2/v0.4.2
6SBFTX1P7Y 6SBFTX1P7Y
| URI | m2://inv/6SBFTX1P7Y |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19357#3HKK (conjecture). In RGXQ50RWXV/e1, conjecture 4
History
- 2026-10-28: add by m2/v0.4.2
Using Hölder's inequality 6SBSEQCFBW
| URI | m2://inv/6SBSEQCFBW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometrical properties of polynomial roots#H3AX, Using Hölder's inequality (statement)
History
- 2026-11-02: add by m2/dev
6SC15S12S8 6SC15S12S8
| URI | m2://inv/6SC15S12S8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12612#KB9V (statement). In 8A0VZV8PBN/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Obstacle problem 6SC2P4E9QW
| URI | m2://inv/6SC2P4E9QW |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Obstacle problem, Obstacle problem (problem). Also Wikidata Q3406250
History
- 2026-11-02: add by m2/dev
6SC31GK4D9 6SC31GK4D9
| URI | m2://inv/6SC31GK4D9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2107.00792#Q7EZ (definition). In TD16A541ZN/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
Properties 6SCADN1FMG
| URI | m2://inv/6SCADN1FMG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal cone (algebraic geometry)#050S, Properties (statement)
History
- 2026-11-02: add by m2/dev
Bruguières modularity theorem 6SCADQJVRQ
| URI | m2://inv/6SCADQJVRQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8GH3, Bruguières modularity theorem (statement)
History
- 2026-11-02: add by m2/dev
alternating series 6SCBMXZARR
| URI | m2://inv/6SCBMXZARR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#STZ9, alternating series (definition)
History
- 2026-11-02: add by m2/dev
Definition 6SCK7VQJXB
| URI | m2://inv/6SCK7VQJXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized conic#24YM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties 6SCV8NT0YH
| URI | m2://inv/6SCV8NT0YH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laver table#BVF8, Properties (statement)
History
- 2026-11-02: add by m2/dev
Kialo 6SCX047EG5
| URI | m2://inv/6SCX047EG5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kialo, Kialo (definition). Also Wikidata Q43256019
History
- 2026-11-02: add by m2/dev
index of a subgroup 6SD0E1EDT6
| URI | m2://inv/6SD0E1EDT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 230581) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#CYO8, index of a subgroup (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
6SD26HQGY6 6SD26HQGY6
| URI | m2://inv/6SD26HQGY6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25742#9D3Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rhetoric 6SD3R5CN0V
| URI | m2://inv/6SD3R5CN0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#UDVM, Rhetoric (definition)
History
- 2026-11-02: add by m2/dev
Abu al-Wafa' Buzjani 6SD9YQ1YVD
| URI | m2://inv/6SD9YQ1YVD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#FHJA, Abu al-Wafa' Buzjani (topic)
History
- 2026-11-02: add by m2/dev
initial, field 6SDEC5QJP8
| URI | m2://inv/6SDEC5QJP8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/initial-field, initial, field (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
6SDFETRYM4 6SDFETRYM4
| URI | m2://inv/6SDFETRYM4 |
|---|---|
| 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.11395#FL7V (statement). In T3W7SMWQ73/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.3
relation, open 6SDG5Q6F4D
| URI | m2://inv/6SDG5Q6F4D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.2/relation-open, relation, open (concept). In N54F33XE07, index, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
6SDK62BDZY 6SDK62BDZY
| URI | m2://inv/6SDK62BDZY |
|---|---|
| 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.13229#TZ5P (statement). In 4WN20N5Z57/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
6SDMH1KQ27 6SDMH1KQ27
| URI | m2://inv/6SDMH1KQ27 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-14 (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
6SDPFJEP17 6SDPFJEP17
| URI | m2://inv/6SDPFJEP17 |
|---|---|
| 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 2011.06637#UGKV (statement). In KFCJ5CFP3G/e1, theorem 1.9
History
- 2026-10-27: add by m2/v0.3.5
Unprovable classical principles 6SDZCWG2AQ
| URI | m2://inv/6SDZCWG2AQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heyting arithmetic#B17H, Unprovable classical principles (statement)
History
- 2026-11-02: add by m2/dev
Ulam spiral 6SE04FDEAC
| URI | m2://inv/6SE04FDEAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#7VQ3, Ulam spiral (definition)
History
- 2026-11-02: add by m2/dev
Small characteristic 6SE1JSCR80
| URI | m2://inv/6SE1JSCR80 |
|---|---|
| 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 1308.2487#1H2T, Small characteristic (statement). In 322XSWF4EA/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Examples 6SE2JTA8CA
| URI | m2://inv/6SE2JTA8CA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector space#LS22, Examples (example)
History
- 2026-11-02: add by m2/dev
6SE7EQXT2C 6SE7EQXT2C
| URI | m2://inv/6SE7EQXT2C |
|---|---|
| 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.07598#YFS6 (statement). In V57RPDNR8H/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.10
6SEEFXSDNB 6SEEFXSDNB
| URI | m2://inv/6SEEFXSDNB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.02065#MO1H (definition). In 60CK7P5F36/e1, definition 5.6
History
- 2026-10-27: add by m2/v0.3.5
Initial error bound 6SEFN9AN2F
| URI | m2://inv/6SEFN9AN2F |
|---|---|
| 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.04357#L8M3, Initial error bound (statement). In 6FY8BVP1F3/e1, lemma H.1
History
- 2026-10-29: add by m2/v0.4.12
Euler product 6SES37TZ4X
| URI | m2://inv/6SES37TZ4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#VX50, Euler product (definition)
History
- 2026-11-02: add by m2/dev
6SET170ZA9 6SET170ZA9
| URI | m2://inv/6SET170ZA9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20568#Q3D9 (example). In BCD0ATARNZ/e1, example 3.28
History
- 2026-10-27: add by m2/v0.4.2
6SEVRP0BZK 6SEVRP0BZK
| URI | m2://inv/6SEVRP0BZK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#ex_color (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
6SEYECBZQN 6SEYECBZQN
| URI | m2://inv/6SEYECBZQN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_ramsey_exercises.ptx#exercise-5 (exercise). In QKM9DD2H56, exercise, section 11
History
- 2026-11-01: add by m2/v0.6.13
Applications 6SEZDPN80X
| URI | m2://inv/6SEZDPN80X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiclass classification#1DBS, Applications (example)
History
- 2026-11-02: add by m2/dev
Grothendieck topology 6SF4DB36H5
| URI | m2://inv/6SF4DB36H5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#X6DZ, Grothendieck topology (definition)
- wikipedia: Wikipedia List of algebraic geometry topics#X5PD, Grothendieck topology (definition)
History
- 2026-11-02: add by m2/dev
The Nevanlinna–Pick theorem 6SF5GHV3K5
| URI | m2://inv/6SF5GHV3K5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nevanlinna–Pick interpolation#0ZCL, The Nevanlinna–Pick theorem (statement)
History
- 2026-11-02: add by m2/dev
6SF9TWJ13Q 6SF9TWJ13Q
| URI | m2://inv/6SF9TWJ13Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#MZCC (statement). In G1RP4JY5PE/e1, theorem 1.5.1
History
- 2026-10-31: add by m2/v0.5.6
Helmert, Friedrich Robert 6SFBTK2VEF
| URI | m2://inv/6SFBTK2VEF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#YXHL, Helmert, Friedrich Robert (unknown)
History
- 2026-11-02: add by m2/dev
6SFCH5WJSB 6SFCH5WJSB
| URI | m2://inv/6SFCH5WJSB |
|---|---|
| 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.26324#6014 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bitruncation 6SFD838NA4
| URI | m2://inv/6SFD838NA4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#0UQX, Bitruncation (definition)
History
- 2026-11-02: add by m2/dev
Definition 6SFWEB86VD
| URI | m2://inv/6SFWEB86VD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial (polynomial)#NVRE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Novikov 6SG223QMAT
| URI | m2://inv/6SG223QMAT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#JPLQ, Novikov (definition)
History
- 2026-11-02: add by m2/dev
6SGGKN2GV3 6SGGKN2GV3
| URI | m2://inv/6SGGKN2GV3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#3XIZ (definition). In VD4JP4HVBX/e1, definition 7.1
History
- 2026-10-28: add by m2/v0.4.2
George Pólya 6SGXASZ4K6
| URI | m2://inv/6SGXASZ4K6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#DL39, George Pólya (unknown)
History
- 2026-11-02: add by m2/dev
Infinitude and stabilization 6SH3AENZAN
| URI | m2://inv/6SH3AENZAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33794#DZIE, Infinitude and stabilization (statement). In W0PQMW25VY/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
ETLS 6SHCBS0TVC
| URI | m2://inv/6SHCBS0TVC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transport Layer Security#4XG4, ETLS (unknown)
History
- 2026-11-02: add by m2/dev
Main theorem 6SHPPXNAAF
| URI | m2://inv/6SHPPXNAAF |
|---|---|
| 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.20489#R5ID, Main theorem (statement). In BJ8JJZ0ZWT/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
Infinite divisibility (probability) 6SHRHEZERH
| URI | m2://inv/6SHRHEZERH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UWBY, Infinite divisibility (probability) (definition)
History
- 2026-11-02: add by m2/dev
Brocard triangle 6SHRJ4H7GC
| URI | m2://inv/6SHRJ4H7GC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3071718, Brocard triangle (unknown). Also MathWorld FirstBrocardTriangle
- wikipedia: Wikipedia Brocard triangle, Brocard triangle (definition). Also Wikidata Q3071718
History
- 2026-10-26: add by m2/dev
Hurwitz algebra 6SHX44MRRX
| URI | m2://inv/6SHX44MRRX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#USA7, Hurwitz algebra (statement)
History
- 2026-11-02: add by m2/dev
Contact geometry 6SJ39R0XPZ
| URI | m2://inv/6SJ39R0XPZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#8G7D, Contact geometry (topic)
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#8YBA, Contact geometry (topic)
History
- 2026-11-02: add by m2/dev
6SJ48NZRA2 6SJ48NZRA2
| URI | m2://inv/6SJ48NZRA2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-273 (exercise). In VNMV985MXX, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Local–global principle 6SJ5MDVNN4
| URI | m2://inv/6SJ5MDVNN4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adic number#Z84Y, Local–global principle (statement)
History
- 2026-11-02: add by m2/dev
Joyce; Argüz--Joyce 6SJEZ636B1
| URI | m2://inv/6SJEZ636B1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#MLXV, Joyce; Argüz--Joyce (statement)
History
- 2026-11-01: add by m2/v0.6.15
6SJGKTVC8J 6SJGKTVC8J
| URI | m2://inv/6SJGKTVC8J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#ex:rational_piecewise (example). In RZP28ERRZV, example, section 32.6
History
- 2026-11-01: add by m2/v0.6.13
Method 6SJK72FG3Z
| URI | m2://inv/6SJK72FG3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tridiagonal matrix algorithm#CC1N, Method (definition)
History
- 2026-11-02: add by m2/dev
symmetric tensor 6SJP7AKYCB
| URI | m2://inv/6SJP7AKYCB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2204117, symmetric tensor (unknown). Also EoM Symmetrization_(of_tensors), MathWorld SymmetricTensor
- wikipedia: Wikipedia Symmetric tensor, Symmetric tensor (definition). Also Wikidata Q2204117
History
- 2026-10-26: add by m2/dev
56-bit encryption 6SJPCF1CSR
| URI | m2://inv/6SJPCF1CSR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 56-bit encryption, 56-bit encryption (definition). Also Wikidata Q4640678
History
- 2026-11-02: add by m2/dev
6SJSCJY5EN 6SJSCJY5EN
| URI | m2://inv/6SJSCJY5EN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#SO8V (statement). In 6HJQXZS0A6/e1, proposition 6.13
History
- 2026-10-29: add by m2/v0.4.12
Unit cells 6SJWE38VFJ
| URI | m2://inv/6SJWE38VFJ |
|---|---|
| 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.18154#L6HI, Unit cells (statement). In 4W7ARR1DAR/e1, lemma G.3
History
- 2026-10-28: add by m2/v0.4.2
6SK5XBB6TR 6SK5XBB6TR
| URI | m2://inv/6SK5XBB6TR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#Z7RL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Strobogrammatic prime 6SK65896TF
| URI | m2://inv/6SK65896TF |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7624216, Strobogrammatic prime (object). Also OEIS A007597
History
- 2026-10-26: add by m2/dev
inductive 6SK74SZ1N1
| URI | m2://inv/6SK74SZ1N1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#32ML, inductive (definition)
History
- 2026-11-02: add by m2/dev
6SK7KS5Q8W 6SK7KS5Q8W
| URI | m2://inv/6SK7KS5Q8W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.27103#D8BP (statement)
History
- 2026-11-01: add by m2/v0.6.15
6SKHY370GM 6SKHY370GM
| URI | m2://inv/6SKHY370GM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2607.11319#LLI9 (statement). In ACH209QM39/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
George Varghese 6SKNQ7Q08A
| URI | m2://inv/6SKNQ7Q08A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LK31, George Varghese (unknown)
History
- 2026-11-02: add by m2/dev
6SKRR0YC02 6SKRR0YC02
| URI | m2://inv/6SKRR0YC02 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#U923 (statement)
History
- 2026-11-02: add by m2/v0.6.17
6SKWFPG7D2 6SKWFPG7D2
| URI | m2://inv/6SKWFPG7D2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22825#56TE (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications 6SKXFEY9J0
| URI | m2://inv/6SKXFEY9J0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SHA-1#IZ61, Applications (example)
History
- 2026-11-02: add by m2/dev
6SM2RFCE34 6SM2RFCE34
| URI | m2://inv/6SM2RFCE34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27751#643R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Image file format 6SM98NCFD3
| URI | m2://inv/6SM98NCFD3 |
|---|---|
| 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#IZEB, Image file format (unknown)
History
- 2026-11-02: add by m2/dev
Volume of a polyhedron 6SMGT5TPRC
| URI | m2://inv/6SMGT5TPRC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyhedron#T64V, Volume of a polyhedron (unknown)
History
- 2026-11-02: add by m2/dev
List 6SMRES7Z3J
| URI | m2://inv/6SMRES7Z3J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List, List (definition). Also Wikidata Q12139612
History
- 2026-11-02: add by m2/dev
cyclocevian triangle 6SMTQYEXKB
| URI | m2://inv/6SMTQYEXKB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q132533693, cyclocevian triangle (concept). Also MathWorld CyclocevianTriangle
History
- 2026-10-26: add by m2/dev
6SMWG6EFPQ 6SMWG6EFPQ
| URI | m2://inv/6SMWG6EFPQ |
|---|---|
| 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.03336#WMO3 (statement). In 4ZD20W8BVF/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.12
6SN6MB9YKZ 6SN6MB9YKZ
| URI | m2://inv/6SN6MB9YKZ |
|---|---|
| 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.30444#T454 (statement). In RZWJ0AT8W5/e1, corollary 3.10
History
- 2026-10-31: add by m2/v0.5.6
Enumeration 6SNAAH4KVF
| URI | m2://inv/6SNAAH4KVF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central configuration#YVI3, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
free edge 6SNAFHG6SX
| URI | m2://inv/6SNAFHG6SX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#OMN0, free edge (definition)
History
- 2026-11-02: add by m2/dev
Georgios Remoundos 6SNCKGR46C
| URI | m2://inv/6SNCKGR46C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#MD4J, Georgios Remoundos (topic)
History
- 2026-11-02: add by m2/dev
Lebesgue's number lemma 6SNHZG9DYM
| URI | m2://inv/6SNHZG9DYM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lebesgue's number lemma, Lebesgue's number lemma (statement). Also Wikidata Q1049869
History
- 2026-11-02: add by m2/dev
length, of arithmetic progression 6SNNR8B614
| URI | m2://inv/6SNNR8B614 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/16.6/length-of-arithmetic-progression, length, of arithmetic progression (concept). In QKM9DD2H56, index, section 16.6
History
- 2026-11-01: add by m2/v0.6.13
Tom Crawford 6SNP7Q087Z
| URI | m2://inv/6SNP7Q087Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tom Crawford (mathematician), Tom Crawford (topic). Also Wikidata Q103284475
History
- 2026-11-02: add by m2/dev
6SNR3MJSQH 6SNR3MJSQH
| URI | m2://inv/6SNR3MJSQH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18929#F4H7 (statement). In ZRJ2DZT6P1/e1, proposition 5.8
History
- 2026-10-28: add by m2/v0.4.2
Multi-odd signatures; Stachowiak {\rm}, as recorded by Verhoeff {\rm 6SNVZA8C2C
| URI | m2://inv/6SNVZA8C2C |
|---|---|
| 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.01240#GBIN, Multi-odd signatures; Stachowiak {\rm}, as recorded by Verhoeff {\rm (statement). In XD5HCP8DHF/e1, theorem 14
History
- 2026-10-29: add by m2/v0.4.12
6SNZSS1NVQ 6SNZSS1NVQ
| URI | m2://inv/6SNZSS1NVQ |
|---|---|
| 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.32816#T76O (statement). In 10YV2P9E8W/e1, lemma 4.12
History
- 2026-10-31: add by m2/v0.5.6
Adam-step and signal stability 6SP508VZ19
| URI | m2://inv/6SP508VZ19 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11309#JXNJ, Adam-step and signal stability (statement). In TTEAQA1XXR/e1, lemma E.2
History
- 2026-10-28: add by m2/v0.4.3
6SP9KC0H3V 6SP9KC0H3V
| URI | m2://inv/6SP9KC0H3V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10074#RH0L (statement). In BYAANB1NG0/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
Applications 6SPD6SZ56C
| URI | m2://inv/6SPD6SZ56C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-estimator#80WE, Applications (example)
History
- 2026-11-02: add by m2/dev
$C^{(k,l),\alpha}$ Finsler spacetimes 6SPNXFQHEK
| URI | m2://inv/6SPNXFQHEK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11911#GINI, $C^{(k,l),\alpha}$ Finsler spacetimes (definition). In 5BYE5NYB89/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.3
Mixed logit 6SPR8BPD1Z
| URI | m2://inv/6SPR8BPD1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XMCQ, Mixed logit (definition)
History
- 2026-11-02: add by m2/dev
6SPVBYF3F0 6SPVBYF3F0
| URI | m2://inv/6SPVBYF3F0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#TXV8 (statement). In 7NS75J7HAM/e1, proposition 9.21
History
- 2026-10-31: add by m2/v0.5.6
6SPVN0JKZH 6SPVN0JKZH
| URI | m2://inv/6SPVN0JKZH |
|---|---|
| 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 2508.02432#BMFB (statement). In B366ACYB37/e1, theorem 4.12
History
- 2026-10-27: add by m2/v0.3.5
Thomas Sowell 6SQAWDYVWB
| URI | m2://inv/6SQAWDYVWB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#9EW1, Thomas Sowell (unknown)
History
- 2026-11-02: add by m2/dev
6SQG65S4N9 6SQG65S4N9
| URI | m2://inv/6SQG65S4N9 |
|---|---|
| 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.31127#M0GM (statement). In NS3RZ26JC7/e1, theorem 3
History
- 2026-10-31: add by m2/v0.5.6
Calkin–Wilf tree 6SQMQPR7ZW
| URI | m2://inv/6SQMQPR7ZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4158811, Calkin–Wilf tree (unknown). Also MathWorld Calkin-WilfTree
- wikipedia: Wikipedia Calkin–Wilf tree, Calkin–Wilf tree (definition). Also Wikidata Q4158811
History
- 2026-10-26: add by m2/dev
6SQQVRB31B 6SQQVRB31B
| URI | m2://inv/6SQQVRB31B |
|---|---|
| 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 2403.16814#X73C (statement). In MN03Z3PRFT/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Applications 6SR1CSQ82X
| URI | m2://inv/6SR1CSQ82X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theil index#0YXA, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition 6SR300N4FT
| URI | m2://inv/6SR300N4FT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit of a sequence#QI8D, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition 6SR795NT23
| URI | m2://inv/6SR795NT23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflected Brownian motion#QJCN, Definition (definition)
History
- 2026-11-02: add by m2/dev
6SRA7YZ7YH 6SRA7YZ7YH
| URI | m2://inv/6SRA7YZ7YH |
|---|---|
| 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.18358#6V0A (statement). In SPZ446XNDW/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
LITS 6SRB5BJDWZ
| URI | m2://inv/6SRB5BJDWZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LITS, LITS (definition). Also Wikidata Q6458834
History
- 2026-11-02: add by m2/dev
Comparison of Bellman and pure-gap inequalities 6SRBVGFCGD
| URI | m2://inv/6SRBVGFCGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#LQ3W, Comparison of Bellman and pure-gap inequalities (statement)
History
- 2026-11-01: add by m2/v0.6.15
Landau's algorithm 6SRCNNAC6J
| URI | m2://inv/6SRCNNAC6J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nested radical#SC3T, Landau's algorithm (unknown)
History
- 2026-11-02: add by m2/dev
∅ 6SRTPXER58
| URI | m2://inv/6SRTPXER58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#LEPK, ∅ (definition)
History
- 2026-11-02: add by m2/dev
Item response theory 6SRW330RWM
| URI | m2://inv/6SRW330RWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Item response theory, Item response theory (definition). Also Wikidata Q1207340
History
- 2026-11-02: add by m2/dev
6SS6AQ5XK9 6SS6AQ5XK9
| URI | m2://inv/6SS6AQ5XK9 |
|---|---|
| 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.17547#7L5E (statement). In XJ59TDP4HA/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Continuous-time strong \(A_p\)--\(A_\infty\) estimate 6SS97FHPVJ
| URI | m2://inv/6SS97FHPVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.20531#L29Z, Continuous-time strong \(A_p\)--\(A_\infty\) estimate (statement)
History
- 2026-11-02: add by m2/v0.6.18
FitzHugh–Nagumo model 6SSBHTRWJE
| URI | m2://inv/6SSBHTRWJE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FitzHugh–Nagumo model, FitzHugh–Nagumo model (definition). Also Wikidata Q502563
History
- 2026-11-02: add by m2/dev
6SSBPGMVX1 6SSBPGMVX1
| URI | m2://inv/6SSBPGMVX1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21255#WGST (statement). In FB4DAYJJ5F/e1, theorem G
History
- 2026-10-27: add by m2/v0.4.2
6SSCN0WJ4Y 6SSCN0WJ4Y
| URI | m2://inv/6SSCN0WJ4Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03050#1VDF (statement). In WXBRJN9PHQ/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
Gasper Grima 6SSEMKCSK6
| URI | m2://inv/6SSEMKCSK6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gasper Grima, Gasper Grima (topic). Also Wikidata Q5526615
History
- 2026-11-02: add by m2/dev
Smarandache–Wellin prime 6SSQRD7T0B
| URI | m2://inv/6SSQRD7T0B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smarandache–Wellin number#XQZI, Smarandache–Wellin prime (unknown)
History
- 2026-11-02: add by m2/dev
graph, hamiltonian 6SSRK1GNGH
| URI | m2://inv/6SSRK1GNGH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.3/graph-hamiltonian, graph, hamiltonian (concept). In QKM9DD2H56, index, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
Penrose process 6SSVNKM7F1
| URI | m2://inv/6SSVNKM7F1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Penrose process, Penrose process (definition). Also Wikidata Q616172
History
- 2026-11-02: add by m2/dev
Stirling permutation 6SSWGBTS3C
| URI | m2://inv/6SSWGBTS3C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#I75Q, Stirling permutation (definition)
History
- 2026-11-02: add by m2/dev
6SSWRSKBEM 6SSWRSKBEM
| URI | m2://inv/6SSWRSKBEM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21080#A8EL (statement). In DGE917KQSQ/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.4.2
6ST2QH33HR 6ST2QH33HR
| URI | m2://inv/6ST2QH33HR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31365#BH4B (definition). In 19GENJ3NCP/e1, definition 2.5
History
- 2026-10-31: add by m2/v0.5.6
6ST922E9ZK 6ST922E9ZK
| URI | m2://inv/6ST922E9ZK |
|---|---|
| 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.21231#E8BY (statement). In 4RH9PS7MN1/e1, lemma 7
History
- 2026-10-27: add by m2/v0.4.2
6STC754GRY 6STC754GRY
| URI | m2://inv/6STC754GRY |
|---|---|
| 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 2405.10580#5WHG (statement). In FXEJE0PWEP/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
6STSFVY2A1 6STSFVY2A1
| URI | m2://inv/6STSFVY2A1 |
|---|---|
| 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.18632#5XV1 (statement). In PTM5MVD4M0/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
6SV296JAD1 6SV296JAD1
| URI | m2://inv/6SV296JAD1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/parallel-beta-reduction.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 36.3
History
- 2026-11-01: add by m2/v0.6.13
6SV5R0WX96 6SV5R0WX96
| URI | m2://inv/6SV5R0WX96 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.13523#Y7EJ (statement). In DDA62XQTWW/e1, corollary 4.5
History
- 2026-10-27: add by m2/v0.3.5
Windowed separation 6SVB6G7TBZ
| URI | m2://inv/6SVB6G7TBZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07214#4MOV, Windowed separation (statement). In 669PBFJX0Z/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.10
6SVFMXYZVW 6SVFMXYZVW
| URI | m2://inv/6SVFMXYZVW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12908#7XKJ (statement). In TNC658NVMQ/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
6SVR9R93ZE 6SVR9R93ZE
| URI | m2://inv/6SVR9R93ZE |
|---|---|
| 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.33932#SERN (statement). In YPVF3ET43M/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
Stuart Hameroff 6SVS2VKWK2
| URI | m2://inv/6SVS2VKWK2 |
|---|---|
| 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 Q516774, Stuart Hameroff (unknown). Also nLab Stuart Hameroff
History
- 2026-10-26: add by m2/dev
6SVTY7NT3V 6SVTY7NT3V
| URI | m2://inv/6SVTY7NT3V |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.08738#2ZUF (example). In 9GMTVSTAVN/e1, example 10
History
- 2026-10-27: add by m2/v0.3.5
decomposition 6SVX74XM6T
| URI | m2://inv/6SVX74XM6T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q139677780, decomposition (unknown). Also MathWorld Decomposition
History
- 2026-10-26: add by m2/dev
6SW0KS3E62 6SW0KS3E62
| URI | m2://inv/6SW0KS3E62 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#proof-3 (proof). In RZP28ERRZV, proof, section 95.2
History
- 2026-11-01: add by m2/v0.6.13
6SW2DT559B 6SW2DT559B
| URI | m2://inv/6SW2DT559B |
|---|---|
| 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 2502.08738#F0N9 (definition). In 9GMTVSTAVN/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
6SWCPYQPJ1 6SWCPYQPJ1
| URI | m2://inv/6SWCPYQPJ1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-100 (exercise). In E9HS8K3A52, exercise, section 4.7.1
History
- 2026-11-01: add by m2/v0.6.13
6SWSGNQ5F1 6SWSGNQ5F1
| URI | m2://inv/6SWSGNQ5F1 |
|---|---|
| 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 2207.07461#JJJ4 (statement). In GAG532VMPF/e1, lemma 7.2.3
History
- 2026-10-27: add by m2/v0.3.5
Truncation lemma 6SWTRVYS30
| URI | m2://inv/6SWTRVYS30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25301#EYLV, Truncation lemma (statement)
History
- 2026-11-01: add by m2/v0.6.15
6SWWE3BZBW 6SWWE3BZBW
| URI | m2://inv/6SWWE3BZBW |
|---|---|
| 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 2412.14956#3IIP (statement). In T8BQ6HHZYT/e1, proposition 6.29
History
- 2026-10-27: add by m2/v0.3.5
Initial Sequent 6SWXF0KBQ6
| URI | m2://inv/6SWXF0KBQ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/rules-and-proofs.tex#defn-2, Initial Sequent (definition). In PKGMM3P5QY, defn, section 17.13
History
- 2026-11-01: add by m2/v0.6.13
Bateman–Horn conjecture 6SX36XBPDE
| URI | m2://inv/6SX36XBPDE |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#B98T, Bateman–Horn conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Conformal symplectic isotropy 6SX58DNA17
| URI | m2://inv/6SX58DNA17 |
|---|---|
| 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.09356#L3TI, Conformal symplectic isotropy (definition). In 3VVGPXWH6R/e1, definition E.4
History
- 2026-10-29: add by m2/v0.4.10
Riemann operator 6SXDEWG36B
| URI | m2://inv/6SXDEWG36B |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#EPYN, Riemann operator (conjecture)
History
- 2026-11-02: add by m2/dev
Only three patterns are possible 6SXNRW4JBE
| URI | m2://inv/6SXNRW4JBE |
|---|---|
| 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.23781#I1ES, Only three patterns are possible (statement)
History
- 2026-11-02: add by m2/v0.6.17
antiderivative 6SXW97AEG8
| URI | m2://inv/6SXW97AEG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#336U, antiderivative (definition)
History
- 2026-11-02: add by m2/dev
Lucas–Lehmer test for Mersenne numbers 6SY2XK955D
| URI | m2://inv/6SY2XK955D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#35OB, Lucas–Lehmer test for Mersenne numbers (definition)
History
- 2026-11-02: add by m2/dev
Parity game 6SYFFWZ3Q4
| URI | m2://inv/6SYFFWZ3Q4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#KJZN, Parity game (unknown)
History
- 2026-11-02: add by m2/dev
Ville's inequality 6SYJK8KMCA
| URI | m2://inv/6SYJK8KMCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08210#JWUW, Ville's inequality (statement). In 7452X8HQ21/e1, theorem A.1
History
- 2026-10-29: add by m2/v0.4.10
6SYQ1W06WA 6SYQ1W06WA
| URI | m2://inv/6SYQ1W06WA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 51.4
History
- 2026-11-01: add by m2/v0.6.13
6SYR1Y552K 6SYR1Y552K
| URI | m2://inv/6SYR1Y552K |
|---|---|
| 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.23128#U5O4 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Algorithms 6SYTNSGPDF
| URI | m2://inv/6SYTNSGPDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CEILIDH#ZHF3, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Uses 6SZ28S0932
| URI | m2://inv/6SZ28S0932 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squircle#957I, Uses (example)
History
- 2026-11-02: add by m2/dev
6SZ80XNP86 6SZ80XNP86
| URI | m2://inv/6SZ80XNP86 |
|---|---|
| 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.00292#1G8X (statement). In NX3EFW0D0X/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Clark Kimberling 6SZAW3TNSS
| URI | m2://inv/6SZAW3TNSS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JIYE, Clark Kimberling (topic)
History
- 2026-11-02: add by m2/dev
Maximum entropy probability distribution 6SZC87CPCK
| URI | m2://inv/6SZC87CPCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WRU9, Maximum entropy probability distribution (definition)
History
- 2026-11-02: add by m2/dev
Examples 6SZEPJEJY4
| URI | m2://inv/6SZEPJEJY4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nevanlinna function#SN48, Examples (example)
History
- 2026-11-02: add by m2/dev
Truncation error 6SZP0CS19M
| URI | m2://inv/6SZP0CS19M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncation error (numerical integration), Truncation error (definition). Also Wikidata Q1868494
History
- 2026-11-02: add by m2/dev
6SZRSC8ZNB 6SZRSC8ZNB
| URI | m2://inv/6SZRSC8ZNB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#7FSY (statement)
History
- 2026-11-02: add by m2/v0.6.18