Inventory rows 7G
The cards of the rows of the inventory whose ids start with 7G. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
7G01CTDBCJ 7G01CTDBCJ
| URI | m2://inv/7G01CTDBCJ |
|---|---|
| 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.22218#WPEB (statement). In 338GKREFVP/e1, lemma 38
History
- 2026-10-27: add by m2/v0.4.0
Statistica 7G04R3YQ0P
| URI | m2://inv/7G04R3YQ0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#BGYV, Statistica (definition)
History
- 2026-11-02: add by m2/dev
7G0B2DJCZP 7G0B2DJCZP
| URI | m2://inv/7G0B2DJCZP |
|---|---|
| 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.35153#WNM4 (statement). In RNDAAR1ER9/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
Milnor K-theory 7G0B69H8NC
| URI | m2://inv/7G0B69H8NC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Milnor K-theory 2YXDQ7Q445 |
Mentions
- wikidata: Wikidata Q6860246, Milnor K-theory (topic). Also nLab Milnor K-theory
- wikipedia: Wikipedia Milnor K-theory, Milnor K-theory (definition). Also Wikidata Q6860246
History
- 2026-10-26: add by m2/dev
Implementations of SM9 7G0GPW6R5V
| URI | m2://inv/7G0GPW6R5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SM9 (cryptography standard)#5Q0O, Implementations of SM9 (definition)
History
- 2026-11-02: add by m2/dev
7G0J0EYJKC 7G0J0EYJKC
| URI | m2://inv/7G0J0EYJKC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#1FU6 (example). In ZPT9XCCAPQ/e1, example 3.3.5
History
- 2026-10-31: add by m2/v0.5.6
Snub order-8 triangular tiling 7G0RN5X44K
| URI | m2://inv/7G0RN5X44K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub order-8 triangular tiling, Snub order-8 triangular tiling (definition). Also Wikidata Q7548811
History
- 2026-11-02: add by m2/dev
Sheffer sequence 7G0SE86QF4
| URI | m2://inv/7G0SE86QF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3503251, Sheffer sequence (unknown). Also MathWorld ShefferSequence
- wikipedia: Wikipedia Sheffer sequence, Sheffer sequence (definition). Also Wikidata Q3503251
History
- 2026-10-26: add by m2/dev
7G0TZBZF64 7G0TZBZF64
| URI | m2://inv/7G0TZBZF64 |
|---|---|
| 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.14741#KBU7 (statement). In RK1VPWWX9E/e1, lemma D.3
History
- 2026-10-28: add by m2/v0.4.2
Statement of the theorem 7G0X1G27PV
| URI | m2://inv/7G0X1G27PV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lefschetz theorem on (1,1)-classes#IYXG, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
characteristic 7G0YBFSJPD
| URI | m2://inv/7G0YBFSJPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#YVT9, characteristic (definition)
History
- 2026-11-02: add by m2/dev
Definition 7G0YPFXWP4
| URI | m2://inv/7G0YPFXWP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HOMFLY polynomial#ZS7M, Definition (definition)
History
- 2026-11-02: add by m2/dev
7G1HJZ1SP3 7G1HJZ1SP3
| URI | m2://inv/7G1HJZ1SP3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.21017#VS4Y (statement). In 8KKYZ4NKT2/e1, corollary 14
History
- 2026-10-27: add by m2/v0.4.2
Pigeon Hole Principle 7G1N9B5400
| URI | m2://inv/7G1N9B5400 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_basics_pigeonhole.ptx#prop_pigeon, Pigeon Hole Principle (statement). In QKM9DD2H56, proposition, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
isolated critical point 7G27J50GGW
| URI | m2://inv/7G27J50GGW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/8.2.1/isolated-critical-point, isolated critical point (concept). In E9HS8K3A52, index, section 8.2.1
History
- 2026-11-01: add by m2/v0.6.13
because 7G2854FR74
| URI | m2://inv/7G2854FR74 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12895196, because (unknown). Also MathWorld Because
History
- 2026-10-26: add by m2/dev
Grothendieck ring of varieties 7G2M1ZBSJN
| URI | m2://inv/7G2M1ZBSJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#ATIO, Grothendieck ring of varieties (definition)
History
- 2026-11-02: add by m2/dev
7G2TD6HETY 7G2TD6HETY
| URI | m2://inv/7G2TD6HETY |
|---|---|
| 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 2501.12834#0II2 (statement). In 25JX9GN5TE/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
7G30MCQT7G 7G30MCQT7G
| URI | m2://inv/7G30MCQT7G |
|---|---|
| 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 2206.05392#4WG1 (example). In 58D1ZC82DW/e1, example 35
History
- 2026-10-27: add by m2/v0.3.5
7G36X329H8 7G36X329H8
| URI | m2://inv/7G36X329H8 |
|---|---|
| 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#U0R0 (statement). In EZZSZ1F071/e1, lemma 2.15
History
- 2026-10-27: add by m2/v0.4.0
Edwin Bailey Elliott 7G3AB12FVH
| URI | m2://inv/7G3AB12FVH |
|---|---|
| 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#WS4D, Edwin Bailey Elliott (unknown)
History
- 2026-11-02: add by m2/dev
Toda's theorem 7G3HMP8TVB
| URI | m2://inv/7G3HMP8TVB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q719966, Toda's theorem (statement). Also Wikidata Q719966
- thousand_plus: thousand_plus Q719966, Toda's theorem (statement). Also Wikidata Q719966, Wikipedia Toda's theorem
- wikipedia: Wikipedia Toda's theorem, Toda's theorem (statement). Also Wikidata Q719966
History
- 2026-10-26: add by m2/dev
7G3JR6S4YZ 7G3JR6S4YZ
| URI | m2://inv/7G3JR6S4YZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#4OOX (definition)
History
- 2026-11-02: add by m2/v0.6.17
National Death Index 7G3M6JYHT7
| URI | m2://inv/7G3M6JYHT7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Death Index, National Death Index (definition). Also Wikidata Q16947724
History
- 2026-11-02: add by m2/dev
Geometric magic square 7G40JPQ8TK
| URI | m2://inv/7G40JPQ8TK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric magic square, Geometric magic square (definition). Also Wikidata Q17016342
History
- 2026-11-02: add by m2/dev
Applications 7G49WXZZ6H
| URI | m2://inv/7G49WXZZ6H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grossone#DBI0, Applications (example)
History
- 2026-11-02: add by m2/dev
7G4GVBZR73 7G4GVBZR73
| URI | m2://inv/7G4GVBZR73 |
|---|---|
| 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.26017#IBSD (statement)
History
- 2026-11-01: add by m2/v0.6.15
7G4T4DD362 7G4T4DD362
| URI | m2://inv/7G4T4DD362 |
|---|---|
| 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.21808#7FPZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
topological quantum computer 7G4TFCH1CT
| URI | m2://inv/7G4TFCH1CT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7825042, topological quantum computer (unknown). Also nLab topological quantum computation
- wikipedia: Wikipedia Topological quantum computer, Topological quantum computer (definition). Also Wikidata Q7825042
History
- 2026-10-26: add by m2/dev
Root recognition 7G4X121N3W
| URI | m2://inv/7G4X121N3W |
|---|---|
| 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.20994#HC4H, Root recognition (statement). In E90KYMVZMR/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.2
Schoenflies 7G50F2Q9V9
| URI | m2://inv/7G50F2Q9V9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#DC0G, Schoenflies (definition)
History
- 2026-11-02: add by m2/dev
Definition 7G5BT10YJM
| URI | m2://inv/7G5BT10YJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P (complexity)#YI0V, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties of the sphere 7G5KKQ6D46
| URI | m2://inv/7G5KKQ6D46 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphere#710D, Properties of the sphere (statement)
History
- 2026-11-02: add by m2/dev
The torus 7G5M4VVQAZ
| URI | m2://inv/7G5M4VVQAZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24777#NLJE, The torus (example)
History
- 2026-11-01: add by m2/v0.6.15
7G5N7FYS2C 7G5N7FYS2C
| URI | m2://inv/7G5N7FYS2C |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#proof-1 (proof). In RZP28ERRZV, proof, section 10.2
History
- 2026-11-01: add by m2/v0.6.13
7G5NAGKZ4H 7G5NAGKZ4H
| URI | m2://inv/7G5NAGKZ4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15472#MS57 (statement). In 5Z3FH46YSY/e1, proposition 3.9
History
- 2026-10-28: add by m2/v0.4.2
7G5NB596JB 7G5NB596JB
| URI | m2://inv/7G5NB596JB |
|---|---|
| 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.26922#1CIV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conditional unbiasedness identity 7G5PANMZ0H
| URI | m2://inv/7G5PANMZ0H |
|---|---|
| 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.16680#K0MX, Conditional unbiasedness identity (statement). In H29YHXQZV6/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Tessellation of the sphere 7G5REM46E6
| URI | m2://inv/7G5REM46E6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tessellation#A2K8, Tessellation of the sphere (unknown)
History
- 2026-11-02: add by m2/dev
7G5XH5AX7M 7G5XH5AX7M
| URI | m2://inv/7G5XH5AX7M |
|---|---|
| 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 1512.06981#KSA7 (statement). In X923ZEY423/e1, lemma 2.0.2
History
- 2026-10-27: add by m2/v0.3.5
Continuous broken power law 7G600QVRXN
| URI | m2://inv/7G600QVRXN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10640#WA5Q, Continuous broken power law (definition). In BAQVK6N0RD/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
Recovering combinatorics 7G61PPNPGG
| URI | m2://inv/7G61PPNPGG |
|---|---|
| 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 2610.08935#63LN, Recovering combinatorics (example). In G02N9D40B9/e1, example 7.3.4
History
- 2026-10-29: add by m2/v0.4.10
7G6F58H339 7G6F58H339
| URI | m2://inv/7G6F58H339 |
|---|---|
| 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 2303.00676#8L54 (statement). In 5351H04TJY/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.4.0
Symmetries 7G6J46VYVA
| URI | m2://inv/7G6J46VYVA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birkhoff polytope#LRKS, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
Properties 7G6TW8CFXS
| URI | m2://inv/7G6TW8CFXS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acylindrically hyperbolic group#QVHD, Properties (statement)
History
- 2026-11-02: add by m2/dev
Theorem (decay of error) 7G6TZJ6HHB
| URI | m2://inv/7G6TZJ6HHB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kosambi–Karhunen–Loève theorem#LOKK, Theorem (decay of error) (statement)
History
- 2026-11-02: add by m2/dev
7G6Z5M9QVS 7G6Z5M9QVS
| URI | m2://inv/7G6Z5M9QVS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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.03756#1EGP (statement). In 2381M4GBTT/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.12
7G7MBRR45K 7G7MBRR45K
| URI | m2://inv/7G7MBRR45K |
|---|---|
| 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 2212.06621#D8G9 (statement). In DB223AABTH/e1, lemma 5.10
History
- 2026-10-27: add by m2/v0.3.5
Hill, Joseph Adna 7G7RQTADKB
| URI | m2://inv/7G7RQTADKB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#R8KT, Hill, Joseph Adna (unknown)
History
- 2026-11-02: add by m2/dev
Analysis of rhythmic variance 7G81J27H43
| URI | m2://inv/7G81J27H43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analysis of rhythmic variance, Analysis of rhythmic variance (definition). Also Wikidata Q4751106
History
- 2026-11-02: add by m2/dev
Example 7G840CX64S
| URI | m2://inv/7G840CX64S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hybrid cryptosystem#53PC, Example (example)
History
- 2026-11-02: add by m2/dev
Construction 7G860MJXKF
| URI | m2://inv/7G860MJXKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub disphenoid#62LN, Construction (definition)
History
- 2026-11-02: add by m2/dev
Dubins–Schwarz theorem 7G8BMP17Z0
| URI | m2://inv/7G8BMP17Z0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dubins–Schwarz theorem, Dubins–Schwarz theorem (statement). Also Wikidata Q113611577
History
- 2026-11-02: add by m2/dev
7G8CYCW0X9 7G8CYCW0X9
| URI | m2://inv/7G8CYCW0X9 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27795#PW4W (problem)
History
- 2026-11-01: add by m2/v0.6.15
7G8D2X13W6 7G8D2X13W6
| URI | m2://inv/7G8D2X13W6 |
|---|---|
| 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.32946#N9RK (statement). In 6AEBXNK614/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
7G8H9KQP4F 7G8H9KQP4F
| URI | m2://inv/7G8H9KQP4F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38030#5FDI (statement). In XYYEJN00D8/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
7G8R0069F7 7G8R0069F7
| URI | m2://inv/7G8R0069F7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02017#6CQD (statement). In F6C80AEXC1/e1, theorem 4.9
History
- 2026-10-29: add by m2/v0.4.12
A moving lemma 7G8W3BX2PV
| URI | m2://inv/7G8W3BX2PV |
|---|---|
| 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.32599#GX61, A moving lemma (statement). In E1Y93JNBJA/e1, lemma 1.22
History
- 2026-10-31: add by m2/v0.5.6
7G8XJHFTXC 7G8XJHFTXC
| URI | m2://inv/7G8XJHFTXC |
|---|---|
| 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 2207.11097#GCMV (statement). In 13H5BTAXHF/e1, proposition 13
History
- 2026-10-27: add by m2/v0.3.5
7G8ZNH8YRR 7G8ZNH8YRR
| URI | m2://inv/7G8ZNH8YRR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25656#MKQQ (example)
History
- 2026-11-01: add by m2/v0.6.15
7G90NAP5QT 7G90NAP5QT
| URI | m2://inv/7G90NAP5QT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27931#K7LE (statement)
History
- 2026-11-01: add by m2/v0.6.15
7G93HQP94N 7G93HQP94N
| URI | m2://inv/7G93HQP94N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09171#96TX (statement). In 5ZPSZFE08Q/e1, corollary 5.14
History
- 2026-10-29: add by m2/v0.4.10
Uniform one-step bounds 7G94BDGBHT
| URI | m2://inv/7G94BDGBHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02531#BCA6, Uniform one-step bounds (statement). In 44EQ0MZE8G/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.12
Properties 7G94CWMZN5
| URI | m2://inv/7G94CWMZN5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levi-Civita symbol#04YU, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties 7G98B3FDY7
| URI | m2://inv/7G98B3FDY7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability generating function#SL9W, Properties (statement)
History
- 2026-11-02: add by m2/dev
Formulation 7G9BWFHN5V
| URI | m2://inv/7G9BWFHN5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect fluid#K6SV, Formulation (definition)
History
- 2026-11-02: add by m2/dev
7G9BY1NDTT 7G9BY1NDTT
| URI | m2://inv/7G9BY1NDTT |
|---|---|
| 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 2610.07285#KQOF (statement). In S284XRA4WK/e1, lemma B.4
History
- 2026-10-29: add by m2/v0.4.10
Simple example 7G9JQ4JXYC
| URI | m2://inv/7G9JQ4JXYC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random effects model#GX4A, Simple example (example)
History
- 2026-11-02: add by m2/dev
Absolutely simple group 7G9MP24FFR
| URI | m2://inv/7G9MP24FFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolutely simple group, Absolutely simple group (definition). Also Wikidata Q4669869
History
- 2026-11-02: add by m2/dev
7G9S7SJNB0 7G9S7SJNB0
| URI | m2://inv/7G9S7SJNB0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11905#ZX5V (statement). In QQFXT31CA5/e1, theorem 5.7
History
- 2026-10-28: add by m2/v0.4.3
Euclidean shortest path 7G9XHRTZ04
| URI | m2://inv/7G9XHRTZ04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean shortest path, Euclidean shortest path (definition). Also Wikidata Q5406126
History
- 2026-11-02: add by m2/dev
7G9ZS1542B 7G9ZS1542B
| URI | m2://inv/7G9ZS1542B |
|---|---|
| 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.26592#2IK2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Small rhombihexahedron 7GA1M7WYG5
| URI | m2://inv/7GA1M7WYG5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#3HBT, Small rhombihexahedron (object)
History
- 2026-11-02: add by m2/dev
$\beta$-complete development 7GA51B8QQ6
| URI | m2://inv/7GA51B8QQ6 |
|---|---|
| Kind | definition |
| 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#defn:bcd, $\beta$-complete development (definition). In PKGMM3P5QY, defn, section 36.3
History
- 2026-11-01: add by m2/v0.6.13
7GAB0W8MX8 7GAB0W8MX8
| URI | m2://inv/7GAB0W8MX8 |
|---|---|
| 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.32207#XM1L (statement). In R94G9XD5AC/e1, theorem 2.1
History
- 2026-10-31: add by m2/v0.5.6
Binary Arithmetic 7GAC0VM20W
| URI | m2://inv/7GAC0VM20W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary number#8MGC, Binary Arithmetic (unknown)
History
- 2026-11-02: add by m2/dev
Picard's little theorem 7GACBJKDQQ
| URI | m2://inv/7GACBJKDQQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/picard-s-little-theorem, Picard's little theorem (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
Reidemeister 7GACZRQ0W3
| URI | m2://inv/7GACZRQ0W3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#JTBH, Reidemeister (definition)
History
- 2026-11-02: add by m2/dev
Second-order coupled bounds 7GAD87TC25
| URI | m2://inv/7GAD87TC25 |
|---|---|
| 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.10408#7SPF, Second-order coupled bounds (statement). In H976NYKBNT/e1, proposition 15
History
- 2026-10-29: add by m2/v0.4.10
7GAGJ0E42N 7GAGJ0E42N
| URI | m2://inv/7GAGJ0E42N |
|---|---|
| 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 2610.14838#WSDO (definition). In J7ZX3WWRQP/e1, definition 2.13
History
- 2026-10-28: add by m2/v0.4.2
Mathematical Excursions 7GAJMC9WDZ
| URI | m2://inv/7GAJMC9WDZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical Excursions, Mathematical Excursions (definition). Also Wikidata Q96392257
History
- 2026-11-02: add by m2/dev
Lectura super figuras Artis demonstrativae 7GAW6EGR6K
| URI | m2://inv/7GAW6EGR6K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramon Llull#FR5W, Lectura super figuras Artis demonstrativae (unknown)
History
- 2026-11-02: add by m2/dev
7GAXAHKFFR 7GAXAHKFFR
| URI | m2://inv/7GAXAHKFFR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-3 (exercise). In E59CDZA4DP, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
7GAY2ENYT0 7GAY2ENYT0
| URI | m2://inv/7GAY2ENYT0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12683#563R (definition). In N5ZFFWV3RX/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
reachability 7GB2Y9V1VN
| URI | m2://inv/7GB2Y9V1VN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#3DOM, reachability (definition)
History
- 2026-11-02: add by m2/dev
Gottfried E. Noether 7GB8FES0PR
| URI | m2://inv/7GB8FES0PR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gottfried E. Noether, Gottfried E. Noether (topic). Also Wikidata Q3111522
History
- 2026-11-02: add by m2/dev
resolution 7GBGXMHY9T
| URI | m2://inv/7GBGXMHY9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#P2DH, resolution (definition)
History
- 2026-11-02: add by m2/dev
Exact boundary controllability 7GBP35RGWH
| URI | m2://inv/7GBP35RGWH |
|---|---|
| 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 2610.11968#UI35, Exact boundary controllability (statement). In X6E7P2ACAS/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
Stratified sampling 7GBVXRGG8X
| URI | m2://inv/7GBVXRGG8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stratified sampling, Stratified sampling (definition). Also Wikidata Q1517706
History
- 2026-11-02: add by m2/dev
7GBWKGAS7Y 7GBWKGAS7Y
| URI | m2://inv/7GBWKGAS7Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20713#ZI1E (statement)
History
- 2026-11-02: add by m2/v0.6.18
7GC1H3A1M5 7GC1H3A1M5
| URI | m2://inv/7GC1H3A1M5 |
|---|---|
| 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 2312.14319#QBCV (statement). In V0S2EZ53GB/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
Notation 7GC3PMH4SC
| URI | m2://inv/7GC3PMH4SC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Germ (mathematics)#JADK, Notation (definition)
History
- 2026-11-02: add by m2/dev
Taylor's theorem 7GC5M664Y9
| URI | m2://inv/7GC5M664Y9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#EU6I, Taylor's theorem (definition)
History
- 2026-11-02: add by m2/dev
Vladimir Mazya 7GC70V7EN1
| URI | m2://inv/7GC70V7EN1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#NRHA, Vladimir Mazya (unknown)
History
- 2026-11-02: add by m2/dev
Tensor product of R-algebras 7GC8TWD9WN
| URI | m2://inv/7GC8TWD9WN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#GIFS, Tensor product of R-algebras (definition)
History
- 2026-11-02: add by m2/dev
Jacques Feldbau 7GCG8F9D3P
| URI | m2://inv/7GCG8F9D3P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacques Feldbau, Jacques Feldbau (topic). Also Wikidata Q1651160
History
- 2026-11-02: add by m2/dev
Ramanujan summation 7GCMKJ3BYF
| URI | m2://inv/7GCMKJ3BYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan summation, Ramanujan summation (definition). Also Wikidata Q3533072
History
- 2026-11-02: add by m2/dev
7GCRQ91F41 7GCRQ91F41
| URI | m2://inv/7GCRQ91F41 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/metatheory/undecidability-and-axiomatizability.tex#cor:sol-not-axiomatizable (statement). In PKGMM3P5QY, thm, section 66.2
History
- 2026-11-01: add by m2/v0.6.13
Gamma function–Legendre formula 7GCS934C5Y
| URI | m2://inv/7GCS934C5Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplication theorem#7FOC, Gamma function–Legendre formula (statement)
History
- 2026-11-02: add by m2/dev
Whitney cubes 7GD4Q1MKPB
| URI | m2://inv/7GD4Q1MKPB |
|---|---|
| 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.24041#NA5E, Whitney cubes (definition)
History
- 2026-11-02: add by m2/v0.6.17
7GD4RA93DT 7GD4RA93DT
| URI | m2://inv/7GD4RA93DT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/quantifiers.tex#lem:subst-regular (statement). In PKGMM3P5QY, lem, section 61.11
History
- 2026-11-01: add by m2/v0.6.13
Full support over the branch configuration space 7GDC5MHE37
| URI | m2://inv/7GDC5MHE37 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#B81Q, Full support over the branch configuration space (statement)
History
- 2026-11-02: add by m2/v0.6.18
7GDE91CFTB 7GDE91CFTB
| URI | m2://inv/7GDE91CFTB |
|---|---|
| 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-2 (definition). In E59CDZA4DP, defn, section 6.2.1
History
- 2026-11-01: add by m2/v0.6.13
Katherine Monti 7GDETFVR9N
| URI | m2://inv/7GDETFVR9N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#3872, Katherine Monti (unknown)
History
- 2026-11-02: add by m2/dev
Commercial Enigma 7GE0Z2F8JT
| URI | m2://inv/7GE0Z2F8JT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enigma machine#68RR, Commercial Enigma (unknown)
History
- 2026-11-02: add by m2/dev
7GE24W0GBT 7GE24W0GBT
| URI | m2://inv/7GE24W0GBT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10570#4LRU (statement). In V0MA250K2P/e1, corollary 3.11
History
- 2026-10-29: add by m2/v0.4.10
Début theorem 7GE7VGNS4C
| URI | m2://inv/7GE7VGNS4C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hitting time#EWGE, Début theorem (statement)
History
- 2026-11-02: add by m2/dev
Designs from $\Ree(q)$ 7GE98YVZMG
| URI | m2://inv/7GE98YVZMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#1BFW, Designs from $\Ree(q)$ (statement). In 9NVKKW8HDH/e1, corollary 2.72
History
- 2026-10-28: add by m2/v0.4.2
Spectral set 7GE9AQ6T7Y
| URI | m2://inv/7GE9AQ6T7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral set, Spectral set (definition). Also Wikidata Q7575206
History
- 2026-11-02: add by m2/dev
7GEH0T5A7S 7GEH0T5A7S
| URI | m2://inv/7GEH0T5A7S |
|---|---|
| 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.13103#VO8P (statement). In GG2ZZV6KEQ/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
7GEM1DT137 7GEM1DT137
| URI | m2://inv/7GEM1DT137 |
|---|---|
| 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 2609.24593#C4WT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Poncelet's closure theorem 7GEQ03649A
| URI | m2://inv/7GEQ03649A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#UHK3, Poncelet's closure theorem (statement)
History
- 2026-11-02: add by m2/dev
7GEVSS2K32 7GEVSS2K32
| URI | m2://inv/7GEVSS2K32 |
|---|---|
| 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.16258#IIJY (statement). In AZ6QMVKFHD/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
minimum weight spanning tree, Kruskal's algorithm for 7GF01AF9GG
| URI | m2://inv/7GF01AF9GG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/12.1.2/minimum-weight-spanning-tree-kruskal-s-algorithm-for, minimum weight spanning tree, Kruskal's algorithm for (concept). In QKM9DD2H56, index, section 12.1.2
History
- 2026-11-01: add by m2/v0.6.13
7GF1Z21A3G 7GF1Z21A3G
| URI | m2://inv/7GF1Z21A3G |
|---|---|
| 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.33829#H3O4 (statement). In S34H2JTJHH/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
7GF3KFWGY5 7GF3KFWGY5
| URI | m2://inv/7GF3KFWGY5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#P8RK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Compactness and countability axioms 7GF3SWJRMC
| URI | m2://inv/7GF3SWJRMC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological manifold#HOW2, Compactness and countability axioms (statement)
History
- 2026-11-02: add by m2/dev
7GF4KABC45 7GF4KABC45
| URI | m2://inv/7GF4KABC45 |
|---|---|
| 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 2110.08714#KT3I (statement). In A3RAXBSWA5/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
7GF7CY3TSM 7GF7CY3TSM
| URI | m2://inv/7GF7CY3TSM |
|---|---|
| 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 2606.00589#B4NZ (statement). In C8JAGP8VCQ/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
7GF7F6F4JJ 7GF7F6F4JJ
| URI | m2://inv/7GF7F6F4JJ |
|---|---|
| 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#LJLU (statement). In B366ACYB37/e1, theorem 2.9
History
- 2026-10-27: add by m2/v0.3.5
Sato–Tate conjecture 7GF8B9RJMH
| URI | m2://inv/7GF8B9RJMH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#SLPJ, Sato–Tate conjecture (unknown)
History
- 2026-11-02: add by m2/dev
7GFATG3ZFJ 7GFATG3ZFJ
| URI | m2://inv/7GFATG3ZFJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#J4U0 (example). In V97F4YZ8B0/e1, example 3.5
History
- 2026-10-28: add by m2/v0.4.2
Thévenin's theorem 7GFJK68GVE
| URI | m2://inv/7GFJK68GVE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#16XA, Thévenin's theorem (statement)
History
- 2026-11-02: add by m2/dev
7GFRGMQNTY 7GFRGMQNTY
| URI | m2://inv/7GFRGMQNTY |
|---|---|
| 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.07596#393F (statement). In 4SFRNADV8F/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Asymptotic Normality of Posterior 7GG6HW9QS0
| URI | m2://inv/7GG6HW9QS0 |
|---|---|
| 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 2212.14457#ON1Z, Asymptotic Normality of Posterior (statement). In PNRHHWGHM2/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.6
7GGAT6PX90 7GGAT6PX90
| URI | m2://inv/7GGAT6PX90 |
|---|---|
| Kind | conjecture |
| 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.15188#IE6P (conjecture). In J05DJNDXJE/e1, conjecture 2.2
History
- 2026-10-28: add by m2/v0.4.2
7GGVCPG4HG 7GGVCPG4HG
| URI | m2://inv/7GGVCPG4HG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.23972#TBZE (statement)
History
- 2026-11-02: add by m2/v0.6.17
7GGYXBH7P6 7GGYXBH7P6
| URI | m2://inv/7GGYXBH7P6 |
|---|---|
| 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 2312.14319#NEF9 (statement). In V0S2EZ53GB/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.3.5
The path $P_4$ 7GH3WR95CW
| URI | m2://inv/7GH3WR95CW |
|---|---|
| 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 2610.21454#ZB4U, The path $P_4$ (example). In ZP2RJFZ3V2/e1, example 4.12
History
- 2026-10-27: add by m2/v0.4.2
epimorphism 7GHENFSS9S
| URI | m2://inv/7GHENFSS9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#P5CM, epimorphism (definition)
History
- 2026-11-02: add by m2/dev
Weak order of permutations 7GHNRFR2Q8
| URI | m2://inv/7GHNRFR2Q8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#L105, Weak order of permutations (definition)
- wikipedia: Wikipedia List of permutation topics#NHH4, Weak order of permutations (definition)
History
- 2026-11-02: add by m2/dev
Willem de Sitter 7GHQCPY7FR
| URI | m2://inv/7GHQCPY7FR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#SE3Q, Willem de Sitter (unknown)
History
- 2026-11-02: add by m2/dev
7GHQEKRAC6 7GHQEKRAC6
| URI | m2://inv/7GHQEKRAC6 |
|---|---|
| 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.37739#G1WN (statement). In F5XF5VXTXY/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Implementation of mathematics in set theory 7GHR3VN00V
| URI | m2://inv/7GHR3VN00V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implementation of mathematics in set theory, Implementation of mathematics in set theory (definition). Also Wikidata Q17101506
History
- 2026-11-02: add by m2/dev
Definitions 7GHSHJ0BSK
| URI | m2://inv/7GHSHJ0BSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramp function#PT7D, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Acoustic cryptanalysis 7GHY0HAY6J
| URI | m2://inv/7GHY0HAY6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acoustic cryptanalysis, Acoustic cryptanalysis (definition). Also Wikidata Q955164
History
- 2026-11-02: add by m2/dev
Applications 7GHYY6M1S1
| URI | m2://inv/7GHYY6M1S1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cutting stock problem#0A13, Applications (example)
History
- 2026-11-02: add by m2/dev
sieve of Eratosthenes 7GJ078N1FX
| URI | m2://inv/7GJ078N1FX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#YOC3, sieve of Eratosthenes (definition)
History
- 2026-11-02: add by m2/dev
7GJ0E7JCBK 7GJ0E7JCBK
| URI | m2://inv/7GJ0E7JCBK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#ctb-uniformly-continuous-sup (statement). In N54F33XE07, thm, section B.5
History
- 2026-11-01: add by m2/v0.6.13
7GJ4VZ762B 7GJ4VZ762B
| URI | m2://inv/7GJ4VZ762B |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/holomorphic.tex#proof-2 (proof). In RZP28ERRZV, proof, section 39.5
History
- 2026-11-01: add by m2/v0.6.13
Isaak Yaglom 7GJ62A0SAW
| URI | m2://inv/7GJ62A0SAW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#YJMA, Isaak Yaglom (topic)
History
- 2026-11-02: add by m2/dev
Comparison function via the quotient transformation 7GJ7QJQ82T
| URI | m2://inv/7GJ7QJQ82T |
|---|---|
| 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.28024#XWDZ, Comparison function via the quotient transformation (statement)
History
- 2026-11-01: add by m2/v0.6.15
7GJG69YV4R 7GJG69YV4R
| URI | m2://inv/7GJG69YV4R |
|---|---|
| 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 2204.13401#DZWC (statement). In B8MJT0GGW8/e1, theorem 2.11
History
- 2026-10-27: add by m2/v0.4.0
Duration neglect 7GJPMWKQTF
| URI | m2://inv/7GJPMWKQTF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#UX9Z, Duration neglect (unknown)
History
- 2026-11-02: add by m2/dev
Corollary 7GJRHAEMTK
| URI | m2://inv/7GJRHAEMTK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inscribed angle#7WXR, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Poincaré recurrence theorem 7GJWZKS5JJ
| URI | m2://inv/7GJWZKS5JJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second law of thermodynamics#4WFK, Poincaré recurrence theorem (statement)
History
- 2026-11-02: add by m2/dev
7GJXC6RRYW 7GJXC6RRYW
| URI | m2://inv/7GJXC6RRYW |
|---|---|
| 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.35442#ROW8 (definition). In C6R0DAA279/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
7GJZVKRNN3 7GJZVKRNN3
| URI | m2://inv/7GJZVKRNN3 |
|---|---|
| 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.20285#DKDP (statement). In RQA728RB77/e1, theorem 27
History
- 2026-10-27: add by m2/v0.4.2
Displacement thickness 7GK6Q636WV
| URI | m2://inv/7GK6Q636WV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boundary layer thickness#J2YR, Displacement thickness (unknown)
History
- 2026-11-02: add by m2/dev
Trefethen 7GK8V9QAV3
| URI | m2://inv/7GK8V9QAV3 |
|---|---|
| Kind | conjecture |
| 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.06785#D9S9, Trefethen (conjecture). In PG6AEWX25E/e1, conjecture 1.1
History
- 2026-10-29: add by m2/v0.4.10
7GKEG3N4MH 7GKEG3N4MH
| URI | m2://inv/7GKEG3N4MH |
|---|---|
| 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.13741#4UTO (statement). In Q43F8N7XDE/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
Matrix geometric method 7GKR5C9388
| URI | m2://inv/7GKR5C9388 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix geometric method, Matrix geometric method (definition). Also Wikidata Q17097309
History
- 2026-11-02: add by m2/dev
Gauss--Manin equations for the lensing normal function 7GKREHGHVD
| URI | m2://inv/7GKREHGHVD |
|---|---|
| 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.30730#CQS2, Gauss--Manin equations for the lensing normal function (statement). In 7R7ANDMWG4/e1, proposition 6.2
History
- 2026-10-31: add by m2/v0.5.6
centralizer 7GKTAN904Y
| URI | m2://inv/7GKTAN904Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#G6RY, centralizer (definition)
History
- 2026-11-02: add by m2/dev
7GKVWXSND8 7GKVWXSND8
| URI | m2://inv/7GKVWXSND8 |
|---|---|
| Kind | statement |
| 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 2610.20178#6UO0 (statement). In Z53NCTCEXE/e1, corollary 3.1
History
- 2026-10-27: add by m2/v0.3.5
Circular points at infinity 7GKZKMNP7J
| URI | m2://inv/7GKZKMNP7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular points at infinity, Circular points at infinity (definition). Also Wikidata Q2121952
History
- 2026-11-02: add by m2/dev
Example 7GM2JRDPCJ
| URI | m2://inv/7GM2JRDPCJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Kronrod quadrature formula#YUSU, Example (example)
History
- 2026-11-02: add by m2/dev
7GM427ZPKE 7GM427ZPKE
| URI | m2://inv/7GM427ZPKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0902.4012#UVKJ (statement). In 6FH16YESRH/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.3.5
7GM6T2215D 7GM6T2215D
| URI | m2://inv/7GM6T2215D |
|---|---|
| Kind | example |
| 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.12489#PRHZ (example). In FDWFVD08SE/e1, example 2.9
History
- 2026-10-28: add by m2/v0.4.2
Adam Marcus 7GMPYPVTTA
| URI | m2://inv/7GMPYPVTTA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adam Marcus (mathematician), Adam Marcus (topic). Also Wikidata Q14492049
History
- 2026-11-02: add by m2/dev
Claudia Zaslavsky 7GN1QW0811
| URI | m2://inv/7GN1QW0811 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claudia Zaslavsky, Claudia Zaslavsky (topic). Also Wikidata Q5129285
History
- 2026-11-02: add by m2/dev
7GN3RF2C4W 7GN3RF2C4W
| URI | m2://inv/7GN3RF2C4W |
|---|---|
| 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.37920#VHFW (statement). In GZPF8R6BBF/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
Terminology 7GN5PPZJSB
| URI | m2://inv/7GN5PPZJSB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perspective (geometry)#SJJU, Terminology (definition)
History
- 2026-11-02: add by m2/dev
The $3+4$ incidence correspondence 7GNA8E2DF0
| URI | m2://inv/7GNA8E2DF0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2501.09848#HU6E, The $3+4$ incidence correspondence (statement). In HF7YNMW39N/e1, theorem 16.2
History
- 2026-10-27: add by m2/v0.4.0
Strukturbericht designation 7GND8G7HQW
| URI | m2://inv/7GND8G7HQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space group#AZHD, Strukturbericht designation (definition)
History
- 2026-11-02: add by m2/dev
Ridder's method 7GNEAJ1YD9
| URI | m2://inv/7GNEAJ1YD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#5W45, Ridder's method (definition)
History
- 2026-11-02: add by m2/dev
incidence matrix 7GNQYH7WK1
| URI | m2://inv/7GNQYH7WK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#ZZCC, incidence matrix (definition)
History
- 2026-11-02: add by m2/dev
Nakai conjecture 7GP57TBHC9
| URI | m2://inv/7GP57TBHC9 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nakai conjecture, Nakai conjecture (conjecture). Also Wikidata Q6960163
History
- 2026-11-02: add by m2/dev
7GP6BY6Z2C 7GP6BY6Z2C
| URI | m2://inv/7GP6BY6Z2C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/zariski.tex#thm:reg_func_distinguish_open (statement). In RZP28ERRZV, theorem, section 29.6
History
- 2026-11-01: add by m2/v0.6.13
Möbius strip 7GP79JSMD9
| URI | m2://inv/7GP79JSMD9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Möbius strip 04AJE0M271 |
Mentions
- wikidata: Wikidata Q226843, Möbius strip (concept). Also EoM Möbius_strip, MathWorld MoebiusStrip
- wikipedia: Wikipedia Möbius strip, Möbius strip (definition). Also Wikidata Q226843
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Conductors and leading classes in a minimal norm-character orbit 7GPCMADHAQ
| URI | m2://inv/7GPCMADHAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#998I, Conductors and leading classes in a minimal norm-character orbit (statement). In 5BZQS1KY9A/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.10
Gustav S. Christensen 7GPD2P4QDN
| URI | m2://inv/7GPD2P4QDN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gustav S. Christensen, Gustav S. Christensen (topic). Also Wikidata Q29877559
History
- 2026-11-02: add by m2/dev
Rattleback 7GPJFWJ32X
| URI | m2://inv/7GPJFWJ32X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rattleback, Rattleback (definition). Also Wikidata Q1738399
History
- 2026-11-02: add by m2/dev
Markov's principle 7GPP4AV739
| URI | m2://inv/7GPP4AV739 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3922074, Markov's principle (unknown). Also nLab Markov's principle
- wikipedia: Wikipedia Markov's principle, Markov's principle (statement). Also Wikidata Q3922074
History
- 2026-10-26: add by m2/dev
7GPXMGWSST 7GPXMGWSST
| URI | m2://inv/7GPXMGWSST |
|---|---|
| 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.28669#OW08 (statement)
History
- 2026-11-01: add by m2/v0.6.15
homogeneous linear differential equation 7GQ8C8E6WG
| URI | m2://inv/7GQ8C8E6WG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#WKDD, homogeneous linear differential equation (definition)
History
- 2026-11-02: add by m2/dev
7GQBKR99VQ 7GQBKR99VQ
| URI | m2://inv/7GQBKR99VQ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smoothed octagon#QDH1 (problem)
History
- 2026-11-02: add by m2/dev
Implementation 7GQFEEP144
| URI | m2://inv/7GQFEEP144 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract data type#VXE4, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Methoden der mathematischen Physik 7GQKNJPSY0
| URI | m2://inv/7GQKNJPSY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Methoden der mathematischen Physik, Methoden der mathematischen Physik (definition). Also Wikidata Q6823732
History
- 2026-11-02: add by m2/dev
7GQPY0204M 7GQPY0204M
| URI | m2://inv/7GQPY0204M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-17 (exercise). In Y91XFCEVHQ, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Census of agriculture 7GQPYK8R9K
| URI | m2://inv/7GQPYK8R9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Census of agriculture, Census of agriculture (definition). Also Wikidata Q25506055
History
- 2026-11-02: add by m2/dev
decidable theory 7GQQAWX8XE
| URI | m2://inv/7GQQAWX8XE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#AR4D, decidable theory (definition)
History
- 2026-11-02: add by m2/dev
7GQT3JVHW0 7GQT3JVHW0
| URI | m2://inv/7GQT3JVHW0 |
|---|---|
| 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.35307#MZ5T (statement). In FT5TKY10T8/e1, corollary 9.5
History
- 2026-10-30: add by m2/v0.4.12
7GQW4YYXQ8 7GQW4YYXQ8
| URI | m2://inv/7GQW4YYXQ8 |
|---|---|
| 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 2112.14455#IS38 (definition). In VDE5R8HBS1/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Hermann Hankel 7GQW7P5HJK
| URI | m2://inv/7GQW7P5HJK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#V6LW, Hermann Hankel (topic)
History
- 2026-11-02: add by m2/dev
7GQY1Q01T6 7GQY1Q01T6
| URI | m2://inv/7GQY1Q01T6 |
|---|---|
| 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 2202.07274#YEKV (statement). In V5WGBGKYXN/e1, proposition 2.10
History
- 2026-10-27: add by m2/v0.3.6
7GR30JEGJB 7GR30JEGJB
| URI | m2://inv/7GR30JEGJB |
|---|---|
| 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.40260#AKOU (statement). In 524FZAC6NB/e1, theorem 10
History
- 2026-10-30: add by m2/v0.4.12
Example 7GR4KKRJ2C
| URI | m2://inv/7GR4KKRJ2C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Three-twist knot#KC87, Example (example)
History
- 2026-11-02: add by m2/dev
Don Page 7GR84H8NN0
| URI | m2://inv/7GR84H8NN0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RA6G, Don Page (unknown)
History
- 2026-11-02: add by m2/dev
linear algebra 7GRAS58WAF
| URI | m2://inv/7GRAS58WAF |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 15Axx |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q82571, linear algebra (topic). Also EoM Linear_algebra, MathWorld LinearAlgebra, nLab linear algebra
- wikipedia: Wikipedia Linear algebra, Linear algebra (topic). Also Wikidata Q82571
History
- 2026-10-26: add by m2/dev
Peter Bouwknegt 7GRPEZF0CA
| URI | m2://inv/7GRPEZF0CA |
|---|---|
| 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 Q16193968, Peter Bouwknegt (unknown). Also nLab Peter Bouwknegt
History
- 2026-10-26: add by m2/dev
Clock patience 7GRV4JXCA1
| URI | m2://inv/7GRV4JXCA1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5134805, Clock patience (unknown). Also MathWorld ClockSolitaire
History
- 2026-10-26: add by m2/dev
Rape in Burundi 7GRVKDH27F
| URI | m2://inv/7GRVKDH27F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rape statistics#6C36, Rape in Burundi (unknown)
History
- 2026-11-02: add by m2/dev
7GRXFKSNZW 7GRXFKSNZW
| URI | m2://inv/7GRXFKSNZW |
|---|---|
| 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 2211.16099#YU1W (statement). In 91RRFW0K5D/e1, theorem 35
History
- 2026-10-27: add by m2/v0.3.5
7GS239QPS6 7GS239QPS6
| URI | m2://inv/7GS239QPS6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13699#5S9B (statement). In ZSMAQ666K7/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
Uses 7GS595KZVP
| URI | m2://inv/7GS595KZVP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compass (drawing tool)#F3K5, Uses (example)
History
- 2026-11-02: add by m2/dev
Experiment 7GS8RVF0D3
| URI | m2://inv/7GS8RVF0D3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of psychological research methods#LS5R, Experiment (definition)
History
- 2026-11-02: add by m2/dev
7GSK58B068 7GSK58B068
| URI | m2://inv/7GSK58B068 |
|---|---|
| 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.16193#IHZ7 (statement). In 1Q0A9HSTVP/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Example 7GSR5T1KW5
| URI | m2://inv/7GSR5T1KW5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pocklington primality test#3JYX, Example (example)
History
- 2026-11-02: add by m2/dev
Main principles 7GST2Y1VGN
| URI | m2://inv/7GST2Y1VGN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kriging#JQSW, Main principles (statement)
History
- 2026-11-02: add by m2/dev
7GSTKN01R7 7GSTKN01R7
| URI | m2://inv/7GSTKN01R7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/soundness.tex#cor:consistency-soundness (statement). In PKGMM3P5QY, cor, section 22.15
History
- 2026-11-01: add by m2/v0.6.13
Ranking 7GT1XCMHWJ
| URI | m2://inv/7GT1XCMHWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ranking (statistics), Ranking (definition). Also Wikidata Q9303985
History
- 2026-11-02: add by m2/dev
Demetrios Magiros 7GTBMX2DM2
| URI | m2://inv/7GTBMX2DM2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demetrios Magiros, Demetrios Magiros (topic). Also Wikidata Q37735745
History
- 2026-11-02: add by m2/dev
7GTD215K8E 7GTD215K8E
| URI | m2://inv/7GTD215K8E |
|---|---|
| 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#VJ6M (statement)
History
- 2026-11-02: add by m2/v0.6.17
7GTPXEN7PF 7GTPXEN7PF
| URI | m2://inv/7GTPXEN7PF |
|---|---|
| Kind | definition |
| 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#0Q1V (definition)
History
- 2026-11-02: add by m2/v0.6.18
7GTSAP0V8Z 7GTSAP0V8Z
| URI | m2://inv/7GTSAP0V8Z |
|---|---|
| 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 2111.08123#1XQF (statement). In TAAB0QAKAG/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
7GV2M59BGX 7GV2M59BGX
| URI | m2://inv/7GV2M59BGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#I1YI (statement). In 9DQKY7KGE8/e1, corollary 1.12
History
- 2026-10-27: add by m2/v0.3.5
Statement 7GV76BG37V
| URI | m2://inv/7GV76BG37V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higman–Sims asymptotic formula#3GMW, Statement (statement)
History
- 2026-11-02: add by m2/dev
7GVC2Q2W5T 7GVC2Q2W5T
| URI | m2://inv/7GVC2Q2W5T |
|---|---|
| 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 2610.15720#N1MO (definition). In VNN52G3BRE/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
General simulation 7GVC4HC9J0
| URI | m2://inv/7GVC4HC9J0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#W37P, General simulation (definition). In WD2NCBV9F0/e1, definition 4.23
History
- 2026-10-27: add by m2/v0.3.5
Formal definition 7GVF2EAEWF
| URI | m2://inv/7GVF2EAEWF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connection (fibered manifold)#BCOQ, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
basis 7GVPPJ4H3Q
| URI | m2://inv/7GVPPJ4H3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#HLV4, basis (definition)
History
- 2026-11-02: add by m2/dev
7GVR5AQ9TJ 7GVR5AQ9TJ
| URI | m2://inv/7GVR5AQ9TJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.10178#ASUL (statement). In 8T90H89HNB/e1, proposition 1.5
History
- 2026-10-27: add by m2/v0.3.5
Stokesian dynamics 7GVTTCRRG6
| URI | m2://inv/7GVTTCRRG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokesian dynamics, Stokesian dynamics (definition). Also Wikidata Q7618559
History
- 2026-11-02: add by m2/dev
7GW7A9VHGW 7GW7A9VHGW
| URI | m2://inv/7GW7A9VHGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24355#U12E (statement)
History
- 2026-11-01: add by m2/v0.6.15
defect 7GW7CD8QDW
| URI | m2://inv/7GW7CD8QDW |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2533936, Descartes's theorem on total angular defect (statement). Also Wikidata Q2533936
- thousand_plus: thousand_plus Q2533936, Descartes's theorem on total angular defect (statement). Also Wikidata Q2533936
- wikidata: Wikidata Q2533936, defect (unknown). Also MathWorld AngularDefect
- wikipedia: Wikipedia Angular defect, Angular defect (definition). Also Wikidata Q2533936
History
- 2026-10-26: add by m2/dev
Leopold Infeld 7GW7T9H2B9
| URI | m2://inv/7GW7T9H2B9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#POTI, Leopold Infeld (unknown)
History
- 2026-11-02: add by m2/dev
Free half-line convergence 7GWFEMKMSW
| URI | m2://inv/7GWFEMKMSW |
|---|---|
| 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.24568#JB4F, Free half-line convergence (statement)
History
- 2026-11-01: add by m2/v0.6.15
Albert Cohen 7GWR9KN6D1
| URI | m2://inv/7GWR9KN6D1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albert Cohen (mathematician), Albert Cohen (topic). Also Wikidata Q15454516
History
- 2026-11-02: add by m2/dev
Spectral minimax formula 7GWRBHPJ9S
| URI | m2://inv/7GWRBHPJ9S |
|---|---|
| Kind | conjecture |
| 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.21363#1X67, Spectral minimax formula (conjecture). In YPH7NS5AAQ/e1, conjecture 6.4
History
- 2026-10-27: add by m2/v0.4.2
7GWSJ6DD0Y 7GWSJ6DD0Y
| URI | m2://inv/7GWSJ6DD0Y |
|---|---|
| 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.27168#H8B1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
computability theory 7GWXPK8Q6S
| URI | m2://inv/7GWXPK8Q6S |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 03Dxx |
| Sources | 2 |
| Outcome | open |
| Node | Computability theory X14Y880PN5 |
Mentions
- wikidata: Wikidata Q818930, computability theory (topic). Also ProofWiki Definition:Computability_Theory
- wikipedia: Wikipedia Computability theory, Computability theory (topic). Also Wikidata Q818930
History
- 2026-10-26: add by m2/dev
Simon Motot 7GWZ6F6TXE
| URI | m2://inv/7GWZ6F6TXE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#D2KO, Simon Motot (unknown)
History
- 2026-11-02: add by m2/dev
7GX23AVQ5X 7GX23AVQ5X
| URI | m2://inv/7GX23AVQ5X |
|---|---|
| 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 2609.24041#FIDF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications 7GX2VNZ65A
| URI | m2://inv/7GX2VNZ65A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipolar coordinates#PN0R, Applications (example)
History
- 2026-11-02: add by m2/dev
Cemal Yıldırım 7GX63PT642
| URI | m2://inv/7GX63PT642 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cemal Yıldırım, Cemal Yıldırım (topic). Also Wikidata Q5058631
History
- 2026-11-02: add by m2/dev
Dov Jarden 7GXG6B70KB
| URI | m2://inv/7GXG6B70KB |
|---|---|
| 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 Q12405644, Dov Jarden (unknown). Also ProofWiki Mathematician:Dov_Jarden
History
- 2026-10-26: add by m2/dev
Definition 7GXN7D71VH
| URI | m2://inv/7GXN7D71VH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie group action#MTSU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Scurfield, Hugh Hedley 7GXYAXQA4Q
| URI | m2://inv/7GXYAXQA4Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#LUYD, Scurfield, Hugh Hedley (unknown)
History
- 2026-11-02: add by m2/dev
Centillion 7GXYRAMS52
| URI | m2://inv/7GXYRAMS52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#CWGA, Centillion (definition)
History
- 2026-11-02: add by m2/dev
Hyperelliptic curve cryptography 7GXZMG82C5
| URI | m2://inv/7GXZMG82C5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperelliptic curve cryptography, Hyperelliptic curve cryptography (definition). Also Wikidata Q3005926
History
- 2026-11-02: add by m2/dev
7GXZY4P8ZK 7GXZY4P8ZK
| URI | m2://inv/7GXZY4P8ZK |
|---|---|
| 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.10660#KLL4 (statement). In 1T12A2H411/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.3
Nicholas A. M. Monk 7GY0YHHB25
| URI | m2://inv/7GY0YHHB25 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicholas A. M. Monk, Nicholas A. M. Monk (topic). Also Wikidata Q102267438
History
- 2026-11-02: add by m2/dev
parity-check rows for $\code{18}{4}{4}$ 7GY49KJPJW
| URI | m2://inv/7GY49KJPJW |
|---|---|
| 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.39395#F5TX, parity-check rows for $\code{18}{4}{4}$ (example). In ZDVPJ1XX5Z/e1, example 1
History
- 2026-10-30: add by m2/v0.4.12
7GYFFX1W7F 7GYFFX1W7F
| URI | m2://inv/7GYFFX1W7F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#G7VO (statement). In BVAWVRS3R9/e1, theorem 2.14
History
- 2026-10-28: add by m2/v0.4.2
Riemann hypothesis 7GYPJ61VWE
| URI | m2://inv/7GYPJ61VWE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's totient function#AJWZ, Riemann hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Rational consequence relation 7GYXR099C4
| URI | m2://inv/7GYXR099C4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational consequence relation, Rational consequence relation (definition). Also Wikidata Q7295758
History
- 2026-11-02: add by m2/dev
incompleteness theorem 7GZEWPQ0CZ
| URI | m2://inv/7GZEWPQ0CZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#Y3JW, incompleteness theorem (definition)
History
- 2026-11-02: add by m2/dev
Applications 7GZMR6QE2Q
| URI | m2://inv/7GZMR6QE2Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transcendental extension#42WI, Applications (example)
History
- 2026-11-02: add by m2/dev
Juan de Ortega 7GZRRRD9RE
| URI | m2://inv/7GZRRRD9RE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Juan de Ortega (mathematician), Juan de Ortega (topic). Also Wikidata Q3187835
History
- 2026-11-02: add by m2/dev
Cahen–Mellin integral 7GZS46KGY8
| URI | m2://inv/7GZS46KGY8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mellin transform#AYDV, Cahen–Mellin integral (unknown)
History
- 2026-11-02: add by m2/dev
Symmetry 7GZYVW28CE
| URI | m2://inv/7GZYVW28CE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runcinated 5-cell#NRLL, Symmetry (statement)
History
- 2026-11-02: add by m2/dev