Inventory rows 3Q
The cards of the rows of the inventory whose ids start with 3Q. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Instrumental variable 3Q09QSE9ZE
| URI | m2://inv/3Q09QSE9ZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#10XL, Instrumental variable (definition)
History
- 2026-11-02: add by m2/dev
Hyperplane coalescence 3Q0QYDSCRJ
| URI | m2://inv/3Q0QYDSCRJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#HN29, Hyperplane coalescence (definition). In XX1J2REXY2/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Selberg sieve 3Q0XA9DTT0
| URI | m2://inv/3Q0XA9DTT0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#O949, Selberg sieve (definition)
History
- 2026-11-02: add by m2/dev
Leslie Kish 3Q0Z6PJJH8
| URI | m2://inv/3Q0Z6PJJH8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leslie Kish, Leslie Kish (topic). Also Wikidata Q1111892
History
- 2026-11-02: add by m2/dev
Symmetry 3Q18N8AD4X
| URI | m2://inv/3Q18N8AD4X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetradecagon#1DVP, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
3Q1TW26599 3Q1TW26599
| URI | m2://inv/3Q1TW26599 |
|---|---|
| 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 2610.14380#HZ55 (statement). In 2ZRQP063HP/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
3Q1V1JXT8D 3Q1V1JXT8D
| URI | m2://inv/3Q1V1JXT8D |
|---|---|
| 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#T4Y6 (statement). In XYYEJN00D8/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
3Q1Z2Y0789 3Q1Z2Y0789
| URI | m2://inv/3Q1Z2Y0789 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01273#KFKF (statement). In RAT41DDR51/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.12
Projectively unique polytope 3Q20FQV0EQ
| URI | m2://inv/3Q20FQV0EQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projectively unique polytope, Projectively unique polytope (definition). Also Wikidata Q135654578
History
- 2026-11-02: add by m2/dev
Finite termination at the global optimum 3Q21HHST1V
| URI | m2://inv/3Q21HHST1V |
|---|---|
| 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.14656#KFVX, Finite termination at the global optimum (statement). In Y7DE925N01/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Ayad 3Q269BGV5P
| URI | m2://inv/3Q269BGV5P |
|---|---|
| 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.20273#YZLR, Ayad (statement). In AEGHDSD5S7/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
3Q279M9DVW 3Q279M9DVW
| URI | m2://inv/3Q279M9DVW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11946#6M57 (statement). In VQ96F8CY5M/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.3
3Q2MQE3HFS 3Q2MQE3HFS
| URI | m2://inv/3Q2MQE3HFS |
|---|---|
| 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 2610.17717#QDAR (statement). In YXRKS451PK/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Examples 3Q2S0E14HF
| URI | m2://inv/3Q2S0E14HF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evil number#37Y8, Examples (example)
History
- 2026-11-02: add by m2/dev
Persistence of the two graphs 3Q2TWVBWE3
| URI | m2://inv/3Q2TWVBWE3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38013#687S, Persistence of the two graphs (statement). In DQ6P0P6N78/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
3Q2V2F0FX7 3Q2V2F0FX7
| URI | m2://inv/3Q2V2F0FX7 |
|---|---|
| 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.13833#LQSE (statement). In VD4JP4HVBX/e1, theorem 8.14
History
- 2026-10-28: add by m2/v0.4.2
Picard's big theorem 3Q3AD2BSJ3
| URI | m2://inv/3Q3AD2BSJ3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/picard-s-big-theorem, Picard's big theorem (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
Noise-based logic 3Q3AXTF52Q
| URI | m2://inv/3Q3AXTF52Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noise-based logic, Noise-based logic (definition). Also Wikidata Q7047648
History
- 2026-11-02: add by m2/dev
Generalizations 3Q3MA37REG
| URI | m2://inv/3Q3MA37REG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré–Miranda theorem#SNLM, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
3Q3PHXDGD3 3Q3PHXDGD3
| URI | m2://inv/3Q3PHXDGD3 |
|---|---|
| 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#0O6Z (statement). In SBZNH932ZV/e1, theorem 7.1
History
- 2026-10-30: add by m2/v0.4.12
Mass-constrained dichotomy 3Q443VNTYM
| URI | m2://inv/3Q443VNTYM |
|---|---|
| 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.02933#1V8X, Mass-constrained dichotomy (statement). In QSYZKPFRAN/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Frank Hawking 3Q46754Q03
| URI | m2://inv/3Q46754Q03 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen Hawking#GO9C, Frank Hawking (unknown)
History
- 2026-11-02: add by m2/dev
Random closed set 3Q46EKW7AJ
| URI | m2://inv/3Q46EKW7AJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random closed set, Random closed set (definition). Also Wikidata Q136345534
History
- 2026-11-02: add by m2/dev
3Q4DA10R9F 3Q4DA10R9F
| URI | m2://inv/3Q4DA10R9F |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/lindenbaums-lemma.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 11.6
History
- 2026-11-01: add by m2/v0.6.13
3Q4HJFY2PA 3Q4HJFY2PA
| URI | m2://inv/3Q4HJFY2PA |
|---|---|
| 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.24845#KYB1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
3Q4M4EXX2N 3Q4M4EXX2N
| URI | m2://inv/3Q4M4EXX2N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2608.19483#FF2S (statement). In M2PEDAF7AX/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Parallel even-block marginalization 3Q4QNHVR4H
| URI | m2://inv/3Q4QNHVR4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00448#CP56, Parallel even-block marginalization (statement). In N06J7GC05Q/e1, lemma 6.4
History
- 2026-10-30: add by m2/v0.4.12
Lundberg, Filip 3Q4SGZM4R4
| URI | m2://inv/3Q4SGZM4R4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#P3DT, Lundberg, Filip (topic)
History
- 2026-11-02: add by m2/dev
Finite comparison 3Q4VMXFZD3
| URI | m2://inv/3Q4VMXFZD3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#HENC, Finite comparison (statement). In TBFPBPQV3G/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
cut, Dedekind 3Q4XBY91HM
| URI | m2://inv/3Q4XBY91HM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2/cut-dedekind, cut, Dedekind (concept). In N54F33XE07, index, section B.2
History
- 2026-11-01: add by m2/v0.6.13
Fyodor Shcherbatskoy 3Q4Y1730AT
| URI | m2://inv/3Q4Y1730AT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#K29I, Fyodor Shcherbatskoy (topic)
History
- 2026-11-02: add by m2/dev
3Q52SWN5ZS 3Q52SWN5ZS
| URI | m2://inv/3Q52SWN5ZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#KS55 (statement). In W4TYN4PGE8/e1, lemma 5.11
History
- 2026-10-27: add by m2/v0.3.5
Cylindrical σ-algebra 3Q56NJCQ31
| URI | m2://inv/3Q56NJCQ31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylindrical σ-algebra, Cylindrical σ-algebra (definition). Also Wikidata Q5199287
History
- 2026-11-02: add by m2/dev
3Q5EJFPA1Y 3Q5EJFPA1Y
| URI | m2://inv/3Q5EJFPA1Y |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#9NZX (unknown). In R2XC1SC9NZ/e1, unknown 4
History
- 2026-10-27: add by m2/v0.3.5
3Q5EQJ746C 3Q5EQJ746C
| URI | m2://inv/3Q5EQJ746C |
|---|---|
| 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.00021#2PVH (statement). In EX42AVA7CV/e1, proposition 6.1
History
- 2026-10-30: add by m2/v0.4.12
Minimum Hamming weight 3Q5YZQD1YD
| URI | m2://inv/3Q5YZQD1YD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamming weight#LAHT, Minimum Hamming weight (unknown)
History
- 2026-11-02: add by m2/dev
3Q6206NZ3Z 3Q6206NZ3Z
| URI | m2://inv/3Q6206NZ3Z |
|---|---|
| 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.09084#ECXD (statement). In F5VT2K2QYX/e1, fact 12
History
- 2026-10-29: add by m2/v0.4.10
3Q6A5M5X16 3Q6A5M5X16
| URI | m2://inv/3Q6A5M5X16 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1705.01594#ZK8W (example). In BR3N3GSY2C/e1, example 4.5
History
- 2026-10-27: add by m2/v0.3.5
3Q6C5JZMX1 3Q6C5JZMX1
| URI | m2://inv/3Q6C5JZMX1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23544#NXLZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
3Q6DB12ERG 3Q6DB12ERG
| URI | m2://inv/3Q6DB12ERG |
|---|---|
| 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.25367#6SYR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Upper weak submodularity 3Q6E9J25JQ
| URI | m2://inv/3Q6E9J25JQ |
|---|---|
| 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 2609.24569#H641, Upper weak submodularity (definition)
History
- 2026-11-01: add by m2/v0.6.15
3Q6EH66662 3Q6EH66662
| URI | m2://inv/3Q6EH66662 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14446#NITC (statement). In AWRXXZR673/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Examples 3Q6KR0ZMAC
| URI | m2://inv/3Q6KR0ZMAC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Large set (combinatorics)#50IF, Examples (example)
History
- 2026-11-02: add by m2/dev
Statement of the lemma 3Q6M7094E3
| URI | m2://inv/3Q6M7094E3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krull's separation lemma#9ANX, Statement of the lemma (statement)
History
- 2026-11-02: add by m2/dev
Finite-width positive definiteness at initialization 3Q6PEQ6SFB
| URI | m2://inv/3Q6PEQ6SFB |
|---|---|
| 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#R8YH, Finite-width positive definiteness at initialization (statement). In 6FY8BVP1F3/e1, proposition C.11
History
- 2026-10-29: add by m2/v0.4.12
Example 3Q6PQR8GMH
| URI | m2://inv/3Q6PQR8GMH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barycentric-sum problem#2K0T, Example (example)
History
- 2026-11-02: add by m2/dev
3Q6QC8JPVE 3Q6QC8JPVE
| URI | m2://inv/3Q6QC8JPVE |
|---|---|
| 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.16069#NTR6 (statement). In MBJA03ES8N/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Target-ensemble representation 3Q6R5V85QP
| URI | m2://inv/3Q6R5V85QP |
|---|---|
| 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.11038#CHBV, Target-ensemble representation (statement). In RY8QBYR4SE/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.3
Cillies 3Q6XW0PC8R
| URI | m2://inv/3Q6XW0PC8R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptanalysis of the Enigma#2BU4, Cillies (unknown)
History
- 2026-11-02: add by m2/dev
Example 3Q71GTJ7VP
| URI | m2://inv/3Q71GTJ7VP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Panel data#ZE7Y, Example (example)
History
- 2026-11-02: add by m2/dev
Definition 3Q755JK0GC
| URI | m2://inv/3Q755JK0GC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planar ternary ring#6AJN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Maud Dewitt Pearl 3Q763AF76E
| URI | m2://inv/3Q763AF76E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raymond Pearl#QIVO, Maud Dewitt Pearl (unknown)
History
- 2026-11-02: add by m2/dev
Pauli matrices 3Q7DW6NN7V
| URI | m2://inv/3Q7DW6NN7V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q336233, Pauli matrices (concept). Also MathWorld PauliMatrices
- wikipedia: Wikipedia Pauli matrices, Pauli matrices (definition). Also Wikidata Q336233
History
- 2026-10-26: add by m2/dev
maximum, absolute 3Q7KXVSE35
| URI | m2://inv/3Q7KXVSE35 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/3.3.1/maximum-absolute, maximum, absolute (concept). In 907G4C4EJ1, index, section 3.3.1
History
- 2026-11-01: add by m2/v0.6.13
Sierpiński space 3Q7NSFT94R
| URI | m2://inv/3Q7NSFT94R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#MTJ5, Sierpiński space (definition)
History
- 2026-11-02: add by m2/dev
multigraph 3Q7PQ698AW
| URI | m2://inv/3Q7PQ698AW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#4CA2, multigraph (definition)
History
- 2026-11-02: add by m2/dev
3Q7Q4E4JWN 3Q7Q4E4JWN
| URI | m2://inv/3Q7Q4E4JWN |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-33 (proof). In N54F33XE07, proof, section 5.12
History
- 2026-11-01: add by m2/v0.6.13
disphenoid 3Q7VSR8A5B
| URI | m2://inv/3Q7VSR8A5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q909847, disphenoid (unknown). Also MathWorld Disphenoid
- wikipedia: Wikipedia Disphenoid, Disphenoid (definition). Also Wikidata Q909847
History
- 2026-10-26: add by m2/dev
Tychonoff's theorem and relation to the axiom of choice 3Q82CGKC0P
| URI | m2://inv/3Q82CGKC0P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Net (mathematics)#J32I, Tychonoff's theorem and relation to the axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
Relation to the weak perfect graph theorem 3Q830JWM73
| URI | m2://inv/3Q830JWM73 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong perfect graph theorem#9XG2, Relation to the weak perfect graph theorem (statement)
History
- 2026-11-02: add by m2/dev
Conservative system 3Q882MBYMP
| URI | m2://inv/3Q882MBYMP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conservative system, Conservative system (topic). Also Wikidata Q9077988
History
- 2026-11-02: add by m2/dev
Cavalieri's principle 3Q89TKSMYY
| URI | m2://inv/3Q89TKSMYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Cavalieri's principle 0GTZ2F3PQY |
Mentions
- wikidata: Wikidata Q586686, Cavalieri's principle (topic). Also MathWorld CavalierisPrinciple
- wikipedia: Wikipedia Cavalieri's principle, Cavalieri's principle (statement). Also Wikidata Q586686
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Using recursive formula 3Q8EGCEJDG
| URI | m2://inv/3Q8EGCEJDG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial correlation#BEQO, Using recursive formula (statement)
History
- 2026-11-02: add by m2/dev
Schmidt-Samoa cryptosystem 3Q9HBZNR8R
| URI | m2://inv/3Q9HBZNR8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schmidt-Samoa cryptosystem, Schmidt-Samoa cryptosystem (definition). Also Wikidata Q7431798
History
- 2026-11-02: add by m2/dev
$\Delta^k$-constant 3Q9JM83B3Q
| URI | m2://inv/3Q9JM83B3Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.3/delta-k-constant, $\Delta^k$-constant (concept). In Y91XFCEVHQ, index, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
3Q9T69G8R8 3Q9T69G8R8
| URI | m2://inv/3Q9T69G8R8 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#J3HP (unknown). In QNBFHFZ3H0/e1, unknown 41
History
- 2026-10-28: add by m2/v0.4.2
3QA4VS9YTP 3QA4VS9YTP
| URI | m2://inv/3QA4VS9YTP |
|---|---|
| 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 2509.21121#810F (statement). In MTDABJF9AP/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
Argument from authority 3QA6BJF32W
| URI | m2://inv/3QA6BJF32W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from authority, Argument from authority (definition). Also Wikidata Q310669
History
- 2026-11-02: add by m2/dev
necessitation rule 3QAB4ACFEF
| URI | m2://inv/3QAB4ACFEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#18J4, necessitation rule (definition)
History
- 2026-11-02: add by m2/dev
3QAB9WCJN1 3QAB9WCJN1
| URI | m2://inv/3QAB9WCJN1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35577#VFBP (definition). In 4F8QRV05BV/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
modular 3QACHJDSKM
| URI | m2://inv/3QACHJDSKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#XBQF, modular (definition)
History
- 2026-11-02: add by m2/dev
counterfactual conditional 3QAEV971KB
| URI | m2://inv/3QAEV971KB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#519T, counterfactual conditional (definition)
History
- 2026-11-02: add by m2/dev
3QAMDEGZFN 3QAMDEGZFN
| URI | m2://inv/3QAMDEGZFN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39593#N61Q (example). In BF0RYHPMS1/e1, example 6.1
History
- 2026-10-30: add by m2/v0.4.12
3QAQC6NQXX 3QAQC6NQXX
| URI | m2://inv/3QAQC6NQXX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35636#R8GC (statement). In GKZTXVA43Z/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
3QAZNRT6JD 3QAZNRT6JD
| URI | m2://inv/3QAZNRT6JD |
|---|---|
| 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.09140#80W9 (statement). In 9934P5E5AM/e1, corollary 5.6
History
- 2026-10-29: add by m2/v0.4.10
George David Birkhoff 3QB4H4FZF7
| URI | m2://inv/3QB4H4FZF7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4MBQ, George David Birkhoff (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NHTK, George David Birkhoff (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XB61, George David Birkhoff (topic)
History
- 2026-11-02: add by m2/dev
Lie ring 3QB6JKSHQW
| URI | m2://inv/3QB6JKSHQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#1BE9, Lie ring (definition)
History
- 2026-11-02: add by m2/dev
3QBH0617ZE 3QBH0617ZE
| URI | m2://inv/3QBH0617ZE |
|---|---|
| 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#H71P (statement). In ZRJ2DZT6P1/e1, theorem 6.6
History
- 2026-10-28: add by m2/v0.4.2
Allocation of goods 3QBQ1P6MKQ
| URI | m2://inv/3QBQ1P6MKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#07KK, Allocation of goods (definition)
History
- 2026-11-02: add by m2/dev
Josiah Royce 3QBQJBP2EV
| URI | m2://inv/3QBQJBP2EV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Josiah Royce, Josiah Royce (topic). Also Wikidata Q471260
History
- 2026-11-02: add by m2/dev
Algorithms 3QBZDEB8XD
| URI | m2://inv/3QBZDEB8XD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biconnected component#Z0AL, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
3QC2DB0E5C 3QC2DB0E5C
| URI | m2://inv/3QC2DB0E5C |
|---|---|
| Kind | example |
| 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#DAWL (example). In WD2NCBV9F0/e1, example 7.14
History
- 2026-10-27: add by m2/v0.3.5
Boundary correction to the marginal logarithm 3QC2HGJ5EG
| URI | m2://inv/3QC2HGJ5EG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03683#C6C4, Boundary correction to the marginal logarithm (statement). In 14AMXF6X2V/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.12
Generalizations 3QCA3BBBHC
| URI | m2://inv/3QCA3BBBHC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hessian matrix#A4AE, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Spherical formula 3QCFYA71AJ
| URI | m2://inv/3QCFYA71AJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mandelbulb#6TFR, Spherical formula (statement)
History
- 2026-11-02: add by m2/dev
3QCPPQ7PCN 3QCPPQ7PCN
| URI | m2://inv/3QCPPQ7PCN |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38417#2C49 (unknown). In PQ0BN5S97Q/e1, unknown
History
- 2026-10-30: add by m2/v0.4.12
Examples 3QCR5EV9B5
| URI | m2://inv/3QCR5EV9B5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delay differential equation#R6L4, Examples (example)
History
- 2026-11-02: add by m2/dev
Self-defeating prophecy 3QCY1P7PYM
| URI | m2://inv/3QCY1P7PYM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-defeating prophecy, Self-defeating prophecy (definition). Also Wikidata Q10860491
History
- 2026-11-02: add by m2/dev
Negacyclic convolution 3QDPC0570A
| URI | m2://inv/3QDPC0570A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negacyclic convolution, Negacyclic convolution (definition). Also Wikidata Q6987082
History
- 2026-11-02: add by m2/dev
3QDVK9B1QR 3QDVK9B1QR
| URI | m2://inv/3QDVK9B1QR |
|---|---|
| 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.14742#W638 (statement). In GZYZ9FQHVC/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Time use survey 3QE3WEQNJM
| URI | m2://inv/3QE3WEQNJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#J2YR, Time use survey (definition)
History
- 2026-11-02: add by m2/dev
3QE4AJVRK7 3QE4AJVRK7
| URI | m2://inv/3QE4AJVRK7 |
|---|---|
| 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 2111.00832#2R10 (statement). In KM0XEAXFMF/e1, proposition B.2
History
- 2026-10-27: add by m2/v0.3.5
Jacquelien Scherpen 3QE6CTD97Y
| URI | m2://inv/3QE6CTD97Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacquelien Scherpen, Jacquelien Scherpen (topic). Also Wikidata Q21552421
History
- 2026-11-02: add by m2/dev
3QEBK555JW 3QEBK555JW
| URI | m2://inv/3QEBK555JW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2201.10697#RDLN (statement). In WN2Z20ZV49/e1, theorem
History
- 2026-10-27: add by m2/v0.3.6
Xavier Fernique 3QEBNQ7HYY
| URI | m2://inv/3QEBNQ7HYY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xavier Fernique, Xavier Fernique (topic). Also Wikidata Q8043239
History
- 2026-11-02: add by m2/dev
John Rogers Musselman 3QEWSWS6VC
| URI | m2://inv/3QEWSWS6VC |
|---|---|
| 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#70FZ, John Rogers Musselman (unknown)
History
- 2026-11-02: add by m2/dev
Definition 3QF0B14GJH
| URI | m2://inv/3QF0B14GJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phi coefficient#QAT8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition 3QF1HKRA4B
| URI | m2://inv/3QF1HKRA4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov random field#KT91, Definition (definition)
History
- 2026-11-02: add by m2/dev
3QF1YR2JKJ 3QF1YR2JKJ
| URI | m2://inv/3QF1YR2JKJ |
|---|---|
| Kind | problem |
| 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.14373#SNCO (problem). In 77TK7M3B9Y/e1, problem 3
History
- 2026-10-28: add by m2/v0.4.2
lepton 3QF4TGTN1G
| URI | m2://inv/3QF4TGTN1G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q82586, lepton (unknown). Also nLab lepton
History
- 2026-10-26: add by m2/dev
Character 3QF4XZCNXZ
| URI | m2://inv/3QF4XZCNXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Character (mathematics), Character (definition). Also Wikidata Q1062934
History
- 2026-11-02: add by m2/dev
differential form 3QF7NZAEM9
| URI | m2://inv/3QF7NZAEM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Differential form 0E3G0GRPZ6 |
Mentions
- wikidata: Wikidata Q1047080, differential form (definition). Also EoM Differential_form, MathWorld Differentialk-Form, nLab differential form, ProofWiki Definition:Differential_Form
- wikipedia: Wikipedia Differential form, Differential form (definition). Also Wikidata Q1047080
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Basic feasible solution 3QFK0FKY5M
| URI | m2://inv/3QFK0FKY5M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basic feasible solution, Basic feasible solution (definition). Also Wikidata Q60790890
History
- 2026-11-02: add by m2/dev
3QFP3KV2NJ 3QFP3KV2NJ
| URI | m2://inv/3QFP3KV2NJ |
|---|---|
| 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.19086#OUJ0 (statement). In RDW99P4ZZJ/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Tau-leaping 3QFQ5V8YNG
| URI | m2://inv/3QFQ5V8YNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tau-leaping, Tau-leaping (definition). Also Wikidata Q17085534
History
- 2026-11-02: add by m2/dev
3QFV2W1YCJ 3QFV2W1YCJ
| URI | m2://inv/3QFV2W1YCJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20909#XS8L (statement). In 7ZBX5WVEZP/e1, corollary 1.5
History
- 2026-10-27: add by m2/v0.4.2
Theorem 3QG6VQ2VJA
| URI | m2://inv/3QG6VQ2VJA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#2WIS, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Heckscher–Ohlin theorem 3QG81QT27W
| URI | m2://inv/3QG81QT27W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#BVVL, Heckscher–Ohlin theorem (statement)
History
- 2026-11-02: add by m2/dev
Zero mode averaging 3QGA6BF18J
| URI | m2://inv/3QGA6BF18J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2608.16453#BLWZ, Zero mode averaging (statement). In BG3X7ZAEK1/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Peter West 3QGAJQ03QA
| URI | m2://inv/3QGAJQ03QA |
|---|---|
| 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 Q21165121, Peter West (unknown). Also nLab Peter West
History
- 2026-10-26: add by m2/dev
3QGH177Y9A 3QGH177Y9A
| URI | m2://inv/3QGH177Y9A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#8A7Y (definition). In 2W5Z97BBW4/e1, definition 2.42
History
- 2026-10-27: add by m2/v0.4.0
Algorithms 3QGP6TC79N
| URI | m2://inv/3QGP6TC79N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum degree spanning tree#1JGZ, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
3QGY4QCX64 3QGY4QCX64
| URI | m2://inv/3QGY4QCX64 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23559#L14W (statement)
History
- 2026-11-02: add by m2/v0.6.17
3QH7MNYAN9 3QH7MNYAN9
| URI | m2://inv/3QH7MNYAN9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22218#1VIL (definition). In 338GKREFVP/e1, definition 12
History
- 2026-10-27: add by m2/v0.4.0
3QHFPAHPKT 3QHFPAHPKT
| URI | m2://inv/3QHFPAHPKT |
|---|---|
| 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#4OQE (statement). In R94G9XD5AC/e1, lemma 6.1
History
- 2026-10-31: add by m2/v0.5.6
3QHHS00A4A 3QHHS00A4A
| URI | m2://inv/3QHHS00A4A |
|---|---|
| Kind | example |
| 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 2610.14502#131G (example). In 6BVBMTYXNZ/e1, example 5.5
History
- 2026-10-28: add by m2/v0.4.2
Dirichlet conditions 3QHHZFVCJS
| URI | m2://inv/3QHHZFVCJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#TOU5, Dirichlet conditions (definition)
History
- 2026-11-02: add by m2/dev
Smith number 3QHMC98AKA
| URI | m2://inv/3QHMC98AKA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#S1JH, Smith number (definition)
History
- 2026-11-02: add by m2/dev
Corollary 3QHPG3JSSN
| URI | m2://inv/3QHPG3JSSN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moser's trick#0MUF, Corollary (statement)
History
- 2026-11-02: add by m2/dev
3QHZ8W2Y75 3QHZ8W2Y75
| URI | m2://inv/3QHZ8W2Y75 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_exponential.ptx#example-3 (example). In QKM9DD2H56, example, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
3QJ1CRVK4V 3QJ1CRVK4V
| URI | m2://inv/3QJ1CRVK4V |
|---|---|
| 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.16399#JIJH (statement). In 2N87D4KTSY/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Max Tegmark 3QJ1XCA8ZV
| URI | m2://inv/3QJ1XCA8ZV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CV74, Max Tegmark (unknown)
History
- 2026-11-02: add by m2/dev
3QJ2EJ4ZCF 3QJ2EJ4ZCF
| URI | m2://inv/3QJ2EJ4ZCF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.17737#6ZKD (statement). In 8SXY7Y68HV/e1, corollary 7.3
History
- 2026-10-28: add by m2/v0.4.2
3QJ3626S6W 3QJ3626S6W
| URI | m2://inv/3QJ3626S6W |
|---|---|
| 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.13137#4M9O (statement). In NH77XVB03X/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
3QJ63GS5VK 3QJ63GS5VK
| URI | m2://inv/3QJ63GS5VK |
|---|---|
| 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.05327#SXDW (statement). In ZD7BWDKT84/e1, lemma 8.5
History
- 2026-10-29: add by m2/v0.4.10
3QJ73HK1HN 3QJ73HK1HN
| URI | m2://inv/3QJ73HK1HN |
|---|---|
| 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.01899#NQO6 (statement). In 638TEFBFGP/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
3QJ748CJD3 3QJ748CJD3
| URI | m2://inv/3QJ748CJD3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0909.2893#W3TY (statement). In JQ4JYAXCMK/e1, corollary 15
History
- 2026-10-27: add by m2/v0.3.5
David Makinson 3QJ8YG35E2
| URI | m2://inv/3QJ8YG35E2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Makinson, David Makinson (topic). Also Wikidata Q5237062
History
- 2026-11-02: add by m2/dev
3QJKGDGRAG 3QJKGDGRAG
| URI | m2://inv/3QJKGDGRAG |
|---|---|
| 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 2609.37706#PY4H (statement). In 6YY27KRJFN/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
3QJWM4DYD3 3QJWM4DYD3
| URI | m2://inv/3QJWM4DYD3 |
|---|---|
| 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.08581#VWOD (statement). In VCSPPW15BE/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
\bf Constant Holomorphic Sectional Curvature Conjecture 3QK6Q6JAQ3
| URI | m2://inv/3QK6Q6JAQ3 |
|---|---|
| Kind | conjecture |
| 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.26089#O3Q8, \bf Constant Holomorphic Sectional Curvature Conjecture (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
3QKCBQA229 3QKCBQA229
| URI | m2://inv/3QKCBQA229 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-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 2511.06555#XXDK (statement). In 5GDDS20Q3D/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.4.0
Statement 3QKCQ5AC1T
| URI | m2://inv/3QKCQ5AC1T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cochran's theorem#C86O, Statement (statement)
History
- 2026-11-02: add by m2/dev
Richard Hamming 3QKDPQN000
| URI | m2://inv/3QKDPQN000 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Hamming, Richard Hamming (topic). Also Wikidata Q92619
History
- 2026-11-02: add by m2/dev
3QKRBNMQYW 3QKRBNMQYW
| URI | m2://inv/3QKRBNMQYW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37606#Q0D9 (statement). In WNFW6GY38C/e1, corollary 9.5
History
- 2026-10-30: add by m2/v0.4.12
Eventual SQP selection 3QKSZGMKYV
| URI | m2://inv/3QKSZGMKYV |
|---|---|
| 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.18428#YPNB, Eventual SQP selection (statement). In 6BGSQT7SV8/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
3QKWFYQ0MC 3QKWFYQ0MC
| URI | m2://inv/3QKWFYQ0MC |
|---|---|
| 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.16323#8UAL (definition). In E215DFNY09/e1, definition Definition
History
- 2026-10-28: add by m2/v0.4.2
3QKYEWE3EB 3QKYEWE3EB
| URI | m2://inv/3QKYEWE3EB |
|---|---|
| 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.21388#6XAZ (statement). In 3X4E9KSVWV/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.4.2
Bilinear transform 3QKZXXKHBQ
| URI | m2://inv/3QKZXXKHBQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#EQS0, Bilinear transform (unknown)
History
- 2026-11-02: add by m2/dev
Properties 3QM231FNAA
| URI | m2://inv/3QM231FNAA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Character table#3W01, Properties (statement)
History
- 2026-11-02: add by m2/dev
3QM5SET7T3 3QM5SET7T3
| URI | m2://inv/3QM5SET7T3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#example-6 (example). In E59CDZA4DP, example, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
3QM65Q6X34 3QM65Q6X34
| URI | m2://inv/3QM65Q6X34 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20170#G8AZ (example)
History
- 2026-11-02: add by m2/v0.6.18
3QM97C96HW 3QM97C96HW
| URI | m2://inv/3QM97C96HW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#XJIY (statement). In 6KR7Z5ETRY/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
Nikolai Andreev 3QMAM8E3X5
| URI | m2://inv/3QMAM8E3X5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolai Andreev, Nikolai Andreev (topic). Also Wikidata Q4065502
History
- 2026-11-02: add by m2/dev
3QMS9FJMCF 3QMS9FJMCF
| URI | m2://inv/3QMS9FJMCF |
|---|---|
| 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 2011.06637#KHVG (example). In KFCJ5CFP3G/e1, example 5.2
History
- 2026-10-27: add by m2/v0.3.5
Jacqueline Lelong-Ferrand 3QMTNKC5SJ
| URI | m2://inv/3QMTNKC5SJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UU4C, Jacqueline Lelong-Ferrand (topic)
History
- 2026-11-02: add by m2/dev
Private measure on a finite subset of the interval 3QMVQ7KT08
| URI | m2://inv/3QMVQ7KT08 |
|---|---|
| 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 2204.09167#H2MN, Private measure on a finite subset of the interval (statement). In S1MENYEAG5/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
3QMW1F1QS1 3QMW1F1QS1
| URI | m2://inv/3QMW1F1QS1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#N0CR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lambda-connectedness 3QN9QFSFBS
| URI | m2://inv/3QN9QFSFBS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambda-connectedness, Lambda-connectedness (definition). Also Wikidata Q6481089
History
- 2026-11-02: add by m2/dev
3QNCMJC2WY 3QNCMJC2WY
| URI | m2://inv/3QNCMJC2WY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#eg:idequiv (example). In N54F33XE07, eg, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Quillen–Lichtenbaum conjecture 3QNJ91YCWH
| URI | m2://inv/3QNJ91YCWH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quillen–Lichtenbaum conjecture, Quillen–Lichtenbaum conjecture (statement). Also Wikidata Q7271997
History
- 2026-11-02: add by m2/dev
3QNS23M2EH 3QNS23M2EH
| URI | m2://inv/3QNS23M2EH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/inverses.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 79.1
History
- 2026-11-01: add by m2/v0.6.13
Bhatt--Schnell--Scholze 3QNSZS0T9V
| URI | m2://inv/3QNSZS0T9V |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35404#OI1I, Bhatt--Schnell--Scholze (problem). In DH84PYVRCF/e1, problem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Definition 3QP0WTYZ6V
| URI | m2://inv/3QP0WTYZ6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frequentist inference#3GXE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Amoeba 3QP45ZA1N9
| URI | m2://inv/3QP45ZA1N9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amoeba (mathematics), Amoeba (definition). Also Wikidata Q2328765
History
- 2026-11-02: add by m2/dev
The main selection principles 3QPC3FNN93
| URI | m2://inv/3QPC3FNN93 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selection principle#4A4X, The main selection principles (statement)
History
- 2026-11-02: add by m2/dev
3QPGW12SBS 3QPGW12SBS
| URI | m2://inv/3QPGW12SBS |
|---|---|
| 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 2407.20385#G8T8 (statement). In PZRSZ19KAH/e1, theorem 2.9
History
- 2026-10-27: add by m2/v0.3.5
Lie algebra representation 3QPMTTQ210
| URI | m2://inv/3QPMTTQ210 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#BKXE, Lie algebra representation (definition)
History
- 2026-11-02: add by m2/dev
Examples 3QPNMP59SW
| URI | m2://inv/3QPNMP59SW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mask generation function#3DHU, Examples (example)
History
- 2026-11-02: add by m2/dev
Overlap and projection estimates 3QPQ0XRSV1
| URI | m2://inv/3QPQ0XRSV1 |
|---|---|
| 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#OTFA, Overlap and projection estimates (statement). In RYWAX33Z51/e1, lemma 9.5
History
- 2026-10-31: add by m2/v0.5.6
Implementations 3QPTFYWWCK
| URI | m2://inv/3QPTFYWWCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pure type system#L44D, Implementations (definition)
History
- 2026-11-02: add by m2/dev
3QPTG2398T 3QPTG2398T
| URI | m2://inv/3QPTG2398T |
|---|---|
| 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 0903.1504#W5DP (statement). In D5YZ438QTY/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
Enigma machine 3QPWF19C3Q
| URI | m2://inv/3QPWF19C3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enigma machine, Enigma machine (definition). Also Wikidata Q150758
History
- 2026-11-02: add by m2/dev
tomographic reconstruction 3QQ2R8B6E1
| URI | m2://inv/3QQ2R8B6E1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Tomographic reconstruction HK1TJFXNG9 |
Mentions
- wikidata: Wikidata Q7820109, tomographic reconstruction (unknown). Also MathWorld Tomography
- wikipedia: Wikipedia Tomographic reconstruction, Tomographic reconstruction (definition). Also Wikidata Q7820109
History
- 2026-10-26: add by m2/dev
Examples 3QQ43V7P51
| URI | m2://inv/3QQ43V7P51 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exp algebra#LSCW, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples 3QQ71R8B3J
| URI | m2://inv/3QQ71R8B3J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Instantaneous phase and frequency#Y04L, Examples (example)
History
- 2026-11-02: add by m2/dev
principal components 3QQF7P00Z2
| URI | m2://inv/3QQF7P00Z2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/7.3.2/principal-components, principal components (concept). In 649HGZKE96, index, section 7.3.2
History
- 2026-11-01: add by m2/v0.6.13
Feature selection 3QQG7WS0VG
| URI | m2://inv/3QQG7WS0VG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feature selection, Feature selection (definition). Also Wikidata Q446488
History
- 2026-11-02: add by m2/dev
Definition 3QQK7YAMK6
| URI | m2://inv/3QQK7YAMK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cone (category theory)#E79G, Definition (definition)
History
- 2026-11-02: add by m2/dev
Method 3QQPZJFKFY
| URI | m2://inv/3QQPZJFKFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Assumed mean#HB37, Method (definition)
History
- 2026-11-02: add by m2/dev
3QQY3X4KS5 3QQY3X4KS5
| URI | m2://inv/3QQY3X4KS5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/integrate.tex#prob:improper (exercise). In RZP28ERRZV, sproblem, section 31.5
History
- 2026-11-01: add by m2/v0.6.13
Hans-Christian Hege 3QR18RBPNJ
| URI | m2://inv/3QR18RBPNJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OE75, Hans-Christian Hege (unknown)
History
- 2026-11-02: add by m2/dev
3QR6MD7KKE 3QR6MD7KKE
| URI | m2://inv/3QR6MD7KKE |
|---|---|
| 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.08753#F5O9 (statement). In J9P361Z1CX/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
3QR6MGJSVY 3QR6MGJSVY
| URI | m2://inv/3QR6MGJSVY |
|---|---|
| Kind | problem |
| 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 2605.24355#ADSH (problem). In VV3AJMWWCR/e1, problem 2
History
- 2026-10-27: add by m2/v0.3.6
Great icosahedral 120-cell 3QR9BC237J
| URI | m2://inv/3QR9BC237J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great icosahedral 120-cell, Great icosahedral 120-cell (definition). Also Wikidata Q5600369
History
- 2026-11-02: add by m2/dev
3QRHG5838R 3QRHG5838R
| URI | m2://inv/3QRHG5838R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_counting-trees.ptx#ex_prufer-code (example). In QKM9DD2H56, example, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
Tarlok Nath Shorey 3QRKK80JGX
| URI | m2://inv/3QRKK80JGX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Y7RH, Tarlok Nath Shorey (topic)
History
- 2026-11-02: add by m2/dev
Davis-Kahan subspace perturbation 3QRM66VFNV
| URI | m2://inv/3QRM66VFNV |
|---|---|
| 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.10640#3AB2, Davis-Kahan subspace perturbation (statement). In BAQVK6N0RD/e1, lemma 13
History
- 2026-10-29: add by m2/v0.4.10
3QRN45JZPZ 3QRN45JZPZ
| URI | m2://inv/3QRN45JZPZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-51 (exercise). In E59CDZA4DP, exercise, section 10.3.5
History
- 2026-11-01: add by m2/v0.6.13
Action axiom 3QRWYA5GMC
| URI | m2://inv/3QRWYA5GMC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#7C4O, Action axiom (unknown)
History
- 2026-11-02: add by m2/dev
3QRZYK6VZX 3QRZYK6VZX
| URI | m2://inv/3QRZYK6VZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#ANHF (statement). In JWNYJVH8XG/e1, corollary 6.8
History
- 2026-10-29: add by m2/v0.4.10
Type inference in Scala 3QS0DMAKFX
| URI | m2://inv/3QS0DMAKFX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scala (programming language)#PH9X, Type inference in Scala (unknown)
History
- 2026-11-02: add by m2/dev
Scientific control 3QS38TAA5V
| URI | m2://inv/3QS38TAA5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific control, Scientific control (definition). Also Wikidata Q367359
History
- 2026-11-02: add by m2/dev
perspective 3QS8E8PXW1
| URI | m2://inv/3QS8E8PXW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q188968, perspective (unknown). Also MathWorld Perspective
- wikidata: Wikidata Q1900281, perspective (unknown). Also MathWorld Perspective
- wikipedia: Wikipedia Perspective (graphical), Perspective (definition). Also Wikidata Q1900281
History
- 2026-10-26: add by m2/dev
Lynne Billard 3QSBTV8R53
| URI | m2://inv/3QSBTV8R53 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lynne Billard, Lynne Billard (topic). Also Wikidata Q15428905
History
- 2026-11-02: add by m2/dev
NTRUEncrypt 3QSCNK6M14
| URI | m2://inv/3QSCNK6M14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NTRUEncrypt, NTRUEncrypt (definition). Also Wikidata Q1859242
History
- 2026-11-02: add by m2/dev
Gamma matrices 3QSDXB19JD
| URI | m2://inv/3QSDXB19JD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#6BCE, Gamma matrices (definition)
History
- 2026-11-02: add by m2/dev
3QSVXHAY0Q 3QSVXHAY0Q
| URI | m2://inv/3QSVXHAY0Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23202#T62Q (statement)
History
- 2026-11-02: add by m2/v0.6.17
Henri Cohen 3QT7TK5A9S
| URI | m2://inv/3QT7TK5A9S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#D1WH, Henri Cohen (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6UK8, Henri Cohen (unknown)
History
- 2026-11-02: add by m2/dev
Raymond Edward Alan Christopher Paley 3QTC8R5RYV
| URI | m2://inv/3QTC8R5RYV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1101, Raymond Edward Alan Christopher Paley (topic)
History
- 2026-11-02: add by m2/dev
3QTCWBT39M 3QTCWBT39M
| URI | m2://inv/3QTCWBT39M |
|---|---|
| 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.31274#HEVN (statement). In RK0ZMDJ23T/e1, lemma 3.3.3
History
- 2026-10-31: add by m2/v0.5.6
Applications 3QTHDKY0ZM
| URI | m2://inv/3QTHDKY0ZM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abel's theorem#IBXV, Applications (example)
History
- 2026-11-02: add by m2/dev
András Frank 3QTT6B95QQ
| URI | m2://inv/3QTT6B95QQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MK63, András Frank (topic)
History
- 2026-11-02: add by m2/dev
Gaussian probability space 3QTWNF04P7
| URI | m2://inv/3QTWNF04P7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian probability space, Gaussian probability space (definition). Also Wikidata Q120969227
History
- 2026-11-02: add by m2/dev
3QTZJGMS5E 3QTZJGMS5E
| URI | m2://inv/3QTZJGMS5E |
|---|---|
| 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#Z3RH (definition). In VD4JP4HVBX/e1, definition 8.11
History
- 2026-10-28: add by m2/v0.4.2
Ω-complete theory 3QV4169EQH
| URI | m2://inv/3QV4169EQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ω-complete theory, Ω-complete theory (definition). Also Wikidata Q139760388
History
- 2026-11-02: add by m2/dev
3QV48EK6FZ 3QV48EK6FZ
| URI | m2://inv/3QV48EK6FZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-2.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
Li Chunfeng 3QVJ5VSX13
| URI | m2://inv/3QVJ5VSX13 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#NJMT, Li Chunfeng (unknown)
History
- 2026-11-02: add by m2/dev
Klein geometry 3QVJ62C456
| URI | m2://inv/3QVJ62C456 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#7HX0, Klein geometry (definition)
History
- 2026-11-02: add by m2/dev
Henry Dudeney 3QVJ771003
| URI | m2://inv/3QVJ771003 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q723598, Henry Dudeney (unknown). Also ProofWiki Mathematician:Henry_Ernest_Dudeney
- wikipedia: Wikipedia Henry Dudeney, Henry Dudeney (topic). Also Wikidata Q723598
History
- 2026-10-26: add by m2/dev
Filtration 3QVKZZB86H
| URI | m2://inv/3QVKZZB86H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filtration (probability theory), Filtration (definition). Also Wikidata Q55647796
History
- 2026-11-02: add by m2/dev
3QVMXGS2R7 3QVMXGS2R7
| URI | m2://inv/3QVMXGS2R7 |
|---|---|
| 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.30097#S1U9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Naive string search 3QW1NJHSP3
| URI | m2://inv/3QW1NJHSP3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia String-searching algorithm#2G48, Naive string search (unknown)
History
- 2026-11-02: add by m2/dev
Genetic algebra 3QW665XGRQ
| URI | m2://inv/3QW665XGRQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#BBSL, Genetic algebra (definition)
History
- 2026-11-02: add by m2/dev
Configurations of copycat 3QW6WEF7Q9
| URI | m2://inv/3QW6WEF7Q9 |
|---|---|
| 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.37815#L9KR, Configurations of copycat (statement). In SVJYA0171G/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
3QWFDBWHTQ 3QWFDBWHTQ
| URI | m2://inv/3QWFDBWHTQ |
|---|---|
| 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.23446#WYVL (statement)
History
- 2026-11-02: add by m2/v0.6.17
3QWNQDYTF4 3QWNQDYTF4
| URI | m2://inv/3QWNQDYTF4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#VD4C (definition). In HX63A1PH1W/e1, definition 4.16
History
- 2026-10-28: add by m2/v0.4.3
Torus bundle 3QWR809D6Q
| URI | m2://inv/3QWR809D6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torus bundle, Torus bundle (definition). Also Wikidata Q7827451
History
- 2026-11-02: add by m2/dev
Approximation under low R\'enyi entropy 3QWR9PF9F5
| URI | m2://inv/3QWR9PF9F5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12544#XBG0, Approximation under low R\'enyi entropy (statement). In XXV36V6CK8/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Ramsey class 3QWTAT3GSS
| URI | m2://inv/3QWTAT3GSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramsey class, Ramsey class (definition). Also Wikidata Q17037794
History
- 2026-11-02: add by m2/dev
Non-total imprisonment 3QWVEQ21PA
| URI | m2://inv/3QWVEQ21PA |
|---|---|
| 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#ZB73, Non-total imprisonment (definition). In 5BYE5NYB89/e1, definition 3.11
History
- 2026-10-28: add by m2/v0.4.3
3QX27XJ458 3QX27XJ458
| URI | m2://inv/3QX27XJ458 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#proof-5 (proof). In E59CDZA4DP, proof, section 1.3.4
History
- 2026-11-01: add by m2/v0.6.13
Carlitz exponential 3QX3798A5A
| URI | m2://inv/3QX3798A5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carlitz exponential, Carlitz exponential (definition). Also Wikidata Q5041425
History
- 2026-11-02: add by m2/dev
Bulk abelian BF cochain invariance 3QX3N18QBW
| URI | m2://inv/3QX3N18QBW |
|---|---|
| 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#XBCQ, Bulk abelian BF cochain invariance (statement)
History
- 2026-11-01: add by m2/v0.6.15
rectifying plane 3QX8W22XY7
| URI | m2://inv/3QX8W22XY7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q132321173, rectifying plane (unknown). Also MathWorld RectifyingPlane
History
- 2026-10-26: add by m2/dev
3QXF5TVNWG 3QXF5TVNWG
| URI | m2://inv/3QXF5TVNWG |
|---|---|
| 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.14841#CFYJ (statement). In 6V5HP8W1ZG/e1, proposition 16
History
- 2026-10-28: add by m2/v0.4.2
Definition 3QXJS3YQBP
| URI | m2://inv/3QXJS3YQBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse image functor#LQ3V, Definition (definition)
History
- 2026-11-02: add by m2/dev
Maximality under entry-time compatibility 3QXMM4SADG
| URI | m2://inv/3QXMM4SADG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01937#7CAP, Maximality under entry-time compatibility (definition). In BAEDMM7YM5/e1, definition 49
History
- 2026-10-29: add by m2/v0.4.12
Bochner measurable function 3QXRGSJ6WJ
| URI | m2://inv/3QXRGSJ6WJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bochner measurable function, Bochner measurable function (definition). Also Wikidata Q9392172
History
- 2026-11-02: add by m2/dev
3QXS54JXHW 3QXS54JXHW
| URI | m2://inv/3QXS54JXHW |
|---|---|
| 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.12357#E24O (statement). In 1F26AF81XP/e1, lemma A.4
History
- 2026-10-28: add by m2/v0.4.2
3QXV31098D 3QXV31098D
| URI | m2://inv/3QXV31098D |
|---|---|
| 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.19249#YTJY (statement). In 2X586J6KQ1/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
shogi 3QXZZW9JFC
| URI | m2://inv/3QXZZW9JFC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131375, shogi (unknown). Also MathWorld Shogi
History
- 2026-10-26: add by m2/dev
Bochner space 3QY0WKJJPP
| URI | m2://inv/3QY0WKJJPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of vector spaces in mathematics#SI4N, Bochner space (definition)
History
- 2026-11-02: add by m2/dev
3QYCF37PGM 3QYCF37PGM
| URI | m2://inv/3QYCF37PGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.30285#DW5V (statement). In YMY0NNSM27/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.6
3QYCRGBWPT 3QYCRGBWPT
| URI | m2://inv/3QYCRGBWPT |
|---|---|
| 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.09086#JXEL (statement). In JPC86V77CH/e1, corollary 5.5
History
- 2026-10-29: add by m2/v0.4.10
Definition 3QYFV45BZ8
| URI | m2://inv/3QYFV45BZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Precision and recall#O2IT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Oskar Klein 3QYH2CJ10Z
| URI | m2://inv/3QYH2CJ10Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#LUCX, Oskar Klein (unknown)
History
- 2026-11-02: add by m2/dev
Constance Jones 3QYK6CB77G
| URI | m2://inv/3QYK6CB77G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#QC05, Constance Jones (topic)
History
- 2026-11-02: add by m2/dev
3QYPAM4ZX6 3QYPAM4ZX6
| URI | m2://inv/3QYPAM4ZX6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-2.xml#prop-col-row-rank (statement). In 649HGZKE96, proposition, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
3QZ5CPMEJN 3QZ5CPMEJN
| URI | m2://inv/3QZ5CPMEJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04434#1SJ3 (statement). In EY0QS456EC/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.12
3QZ5FJ2FGV 3QZ5FJ2FGV
| URI | m2://inv/3QZ5FJ2FGV |
|---|---|
| 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 2103.12669#7DPP (statement). In ZA6XNBA90V/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.3.5
3QZ5KYY4R8 3QZ5KYY4R8
| URI | m2://inv/3QZ5KYY4R8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/zariski.tex#dproblem-2 (exercise). In RZP28ERRZV, dproblem, section 29.7
History
- 2026-11-01: add by m2/v0.6.13
Twin-width 3QZB6N04HH
| URI | m2://inv/3QZB6N04HH |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14681#UOV8, Twin-width (problem). In 459W0NBS5Q/e1, problem 6
History
- 2026-10-28: add by m2/v0.4.2
Shepard tone 3QZB9GZRBA
| URI | m2://inv/3QZB9GZRBA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#J2XG, Shepard tone (unknown)
History
- 2026-11-02: add by m2/dev
Large diffeomorphism 3QZF6PGNPG
| URI | m2://inv/3QZF6PGNPG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Large diffeomorphism, Large diffeomorphism (definition). Also Wikidata Q6489122
History
- 2026-11-02: add by m2/dev
Hyperbolic isotropy 3QZFZCB9K4
| URI | m2://inv/3QZFZCB9K4 |
|---|---|
| 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#SMLF, Hyperbolic isotropy (definition). In 3VVGPXWH6R/e1, definition E.1
History
- 2026-10-29: add by m2/v0.4.10
3QZPJBYVDC 3QZPJBYVDC
| URI | m2://inv/3QZPJBYVDC |
|---|---|
| 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#YIAS (statement). In 338GKREFVP/e1, lemma 6
History
- 2026-10-27: add by m2/v0.4.0
Projective scheme 3QZXD8Y3SJ
| URI | m2://inv/3QZXD8Y3SJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective variety#H2C7, Projective scheme (unknown)
History
- 2026-11-02: add by m2/dev