Inventory rows M3
The cards of the rows of the inventory whose ids start with M3. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Canonical thresholds M302XD5FBV
| URI | m2://inv/M302XD5FBV |
|---|---|
| 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 2610.10519#XYOH, Canonical thresholds (example). In 83MMH8VF1X/e1, example 2
History
- 2026-10-29: add by m2/v0.4.10
M30D99QPEB M30D99QPEB
| URI | m2://inv/M30D99QPEB |
|---|---|
| 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.07790#YKJ6 (statement). In A5YJDDM0NX/e1, proposition 1.5
History
- 2026-10-29: add by m2/v0.4.10
Focal point M30N0THB1N
| URI | m2://inv/M30N0THB1N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#DGQW, Focal point (unknown)
History
- 2026-11-02: add by m2/dev
Example M30QP92F2G
| URI | m2://inv/M30QP92F2G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idempotent matrix#RIO8, Example (example)
History
- 2026-11-02: add by m2/dev
Compressed sensing M30WQG0P8K
| URI | m2://inv/M30WQG0P8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#QDD0, Compressed sensing (definition)
History
- 2026-11-02: add by m2/dev
M30X6459MB M30X6459MB
| URI | m2://inv/M30X6459MB |
|---|---|
| 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.16883#H82K (statement). In TYS9N30M63/e1, lemma A.5
History
- 2026-10-28: add by m2/v0.4.2
M30YNB5A1A M30YNB5A1A
| URI | m2://inv/M30YNB5A1A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22847#E659 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Henrik Petrini M30ZB1EV9N
| URI | m2://inv/M30ZB1EV9N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henrik Petrini, Henrik Petrini (topic). Also Wikidata Q6046096
History
- 2026-11-02: add by m2/dev
Reverse-search algorithm M30ZBWNAYH
| URI | m2://inv/M30ZBWNAYH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reverse-search algorithm, Reverse-search algorithm (definition). Also Wikidata Q113570670
History
- 2026-11-02: add by m2/dev
Hilbert's axioms M3149CA959
| URI | m2://inv/M3149CA959 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hilbert's axioms KM1FB8XZ2R |
Mentions
- wikidata: Wikidata Q840243, Hilbert's axioms (unknown). Also MathWorld HilbertsAxioms
- wikipedia: Wikipedia Hilbert's axioms, Hilbert's axioms (statement). Also Wikidata Q840243
History
- 2026-10-26: add by m2/dev
Definition M31DYMFV0V
| URI | m2://inv/M31DYMFV0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-manifold#8X7H, Definition (definition)
History
- 2026-11-02: add by m2/dev
Dunce hat (topology) M322DDYT0G
| URI | m2://inv/M322DDYT0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#E5TF, Dunce hat (topology) (definition)
History
- 2026-11-02: add by m2/dev
M3241Q5TTT M3241Q5TTT
| URI | m2://inv/M3241Q5TTT |
|---|---|
| Kind | definition |
| 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 2610.18302#RF4H (definition). In VJTRH1S4JA/e1, definition 4.13
History
- 2026-10-28: add by m2/v0.4.2
M32CP9HGV4 M32CP9HGV4
| URI | m2://inv/M32CP9HGV4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39347#OMFU (statement). In KBBA2FKDBH/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
M32D7BHGKG M32D7BHGKG
| URI | m2://inv/M32D7BHGKG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#TFH7 (statement). In JS5FKV1S9T/e1, lemma B.1
History
- 2026-10-27: add by m2/v0.3.5
Statement of the theorem M32QPW60SH
| URI | m2://inv/M32QPW60SH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kachurovskii's theorem#VBQN, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
M331S1GDQW M331S1GDQW
| URI | m2://inv/M331S1GDQW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/applications.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 78.3
History
- 2026-11-01: add by m2/v0.6.13
Ya-xiang Yuan M3334T74EV
| URI | m2://inv/M3334T74EV |
|---|---|
| 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#T1GF, Ya-xiang Yuan (unknown)
History
- 2026-11-02: add by m2/dev
Analytical Dynamics of Particles and Rigid Bodies M3382YBB8K
| URI | m2://inv/M3382YBB8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytical Dynamics of Particles and Rigid Bodies, Analytical Dynamics of Particles and Rigid Bodies (definition). Also Wikidata Q100233719
History
- 2026-11-02: add by m2/dev
Generalized conversational implicature M339HYZ4RG
| URI | m2://inv/M339HYZ4RG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicature#M0T3, Generalized conversational implicature (unknown)
History
- 2026-11-02: add by m2/dev
M33BQTFFJ8 M33BQTFFJ8
| URI | m2://inv/M33BQTFFJ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31523#GNX8 (statement). In 2BET1RE1F6/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
Examples M33C73S83G
| URI | m2://inv/M33C73S83G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GIT quotient#Y3ME, Examples (example)
History
- 2026-11-02: add by m2/dev
M33P3EERJB M33P3EERJB
| URI | m2://inv/M33P3EERJB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.16580#901U (statement). In MQPBZX4DR6/e1, theorem 5.9
History
- 2026-10-28: add by m2/v0.4.2
M33PBRHQSX M33PBRHQSX
| URI | m2://inv/M33PBRHQSX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-6-4-physics.xml#example-2 (example). In 907G4C4EJ1, example, section 6.4.4
History
- 2026-11-01: add by m2/v0.6.13
Applications M33TMC0WX8
| URI | m2://inv/M33TMC0WX8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Urey–Bigeleisen–Mayer equation#A153, Applications (example)
History
- 2026-11-02: add by m2/dev
Interpolation attack M33ZY46KN4
| URI | m2://inv/M33ZY46KN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpolation attack, Interpolation attack (definition). Also Wikidata Q11078257
History
- 2026-11-02: add by m2/dev
Galileo's law of odd numbers M349PJVBD8
| URI | m2://inv/M349PJVBD8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galileo's law of odd numbers, Galileo's law of odd numbers (statement). Also Wikidata Q105626124
History
- 2026-11-02: add by m2/dev
M34A3F3XEE M34A3F3XEE
| URI | m2://inv/M34A3F3XEE |
|---|---|
| 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.30323#ILZ7 (statement). In HDJ6N25XVT/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
Jacob Tsimerman M34MC9G5XP
| URI | m2://inv/M34MC9G5XP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacob Tsimerman, Jacob Tsimerman (topic). Also Wikidata Q21823077
History
- 2026-11-02: add by m2/dev
Charlotte Mayorkas M353VZN14X
| URI | m2://inv/M353VZN14X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#E3AF, Charlotte Mayorkas (unknown)
History
- 2026-11-02: add by m2/dev
M357RZ18H6 M357RZ18H6
| URI | m2://inv/M357RZ18H6 |
|---|---|
| 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.03292#FNW9 (statement). In SN2PBM95HT/e1, proposition 3.9
History
- 2026-10-29: add by m2/v0.4.12
M35ASPRARB M35ASPRARB
| URI | m2://inv/M35ASPRARB |
|---|---|
| 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.07180#L0QM (statement). In TM4H1RV0BQ/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
M35DNCZ5G1 M35DNCZ5G1
| URI | m2://inv/M35DNCZ5G1 |
|---|---|
| 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.28020#L06E (statement)
History
- 2026-11-01: add by m2/v0.6.15
M35K1GAVZQ M35K1GAVZQ
| URI | m2://inv/M35K1GAVZQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/examples-of-filtrations.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 51.9
History
- 2026-11-01: add by m2/v0.6.13
superconductivity M35QNR5SDK
| URI | m2://inv/M35QNR5SDK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124131, superconductivity (unknown). Also nLab superconductivity
History
- 2026-10-26: add by m2/dev
M35R5W188J M35R5W188J
| URI | m2://inv/M35R5W188J |
|---|---|
| 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.05459#B6SA (statement). In VYW16D089Y/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.10
Proximal gradient method M35R800MQZ
| URI | m2://inv/M35R800MQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#LC3F, Proximal gradient method (definition)
History
- 2026-11-02: add by m2/dev
Sexual dimorphism measures M360DF78M0
| URI | m2://inv/M360DF78M0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sexual dimorphism measures, Sexual dimorphism measures (definition). Also Wikidata Q17011765
History
- 2026-11-02: add by m2/dev
M361FAAQZN M361FAAQZN
| URI | m2://inv/M361FAAQZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#R1F8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Observational study M361TS2KBC
| URI | m2://inv/M361TS2KBC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of psychological research methods#0SRL, Observational study (topic)
History
- 2026-11-02: add by m2/dev
Legal state M36345SF4E
| URI | m2://inv/M36345SF4E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22465#GEDZ, Legal state (definition)
History
- 2026-11-02: add by m2/v0.6.17
Variations M368VEK3GG
| URI | m2://inv/M368VEK3GG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McNemar's test#JOYC, Variations (statement)
History
- 2026-11-02: add by m2/dev
M36EYM2RAS M36EYM2RAS
| URI | m2://inv/M36EYM2RAS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27694#HI7S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Arbitrarily small reference inflation M36JQ0JD0N
| URI | m2://inv/M36JQ0JD0N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#3XBS, Arbitrarily small reference inflation (statement). In 9YAE8FNQST/e1, corollary 18.10
History
- 2026-10-30: add by m2/v0.4.12
Unique-root characterization of the radius constant M36KZVAXPX
| URI | m2://inv/M36KZVAXPX |
|---|---|
| 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.00501#TW4I, Unique-root characterization of the radius constant (statement). In FTPW1SZ8D3/e1, lemma A.6
History
- 2026-10-30: add by m2/v0.4.12
M36QDEQPMV M36QDEQPMV
| URI | m2://inv/M36QDEQPMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21017#RLER (statement)
History
- 2026-11-02: add by m2/v0.6.18
Wigner's theorem M36R9BMBW6
| URI | m2://inv/M36R9BMBW6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wigner's theorem, Wigner's theorem (statement). Also Wikidata Q1135224
History
- 2026-11-02: add by m2/dev
Examples M36RPDAZ4V
| URI | m2://inv/M36RPDAZ4V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler summation#T6TZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Theorem (Abramson's bounds) M36VA4W9TY
| URI | m2://inv/M36VA4W9TY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burst error-correcting code#ANH2, Theorem (Abramson's bounds) (statement)
History
- 2026-11-02: add by m2/dev
M36VT6592V M36VT6592V
| URI | m2://inv/M36VT6592V |
|---|---|
| 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.26713#9T1N (statement)
History
- 2026-11-01: add by m2/v0.6.15
M374PFVDG1 M374PFVDG1
| URI | m2://inv/M374PFVDG1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-8 (exercise). In E59CDZA4DP, exercise, section 1.1.4
History
- 2026-11-01: add by m2/v0.6.13
Euler's theorem for the escribed circle M3754EZ1FD
| URI | m2://inv/M3754EZ1FD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's theorem in geometry#6PC8, Euler's theorem for the escribed circle (statement)
History
- 2026-11-02: add by m2/dev
Formal definition M375EDMF8G
| URI | m2://inv/M375EDMF8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solution concept#DQNA, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Solitary number M37AHYR307
| URI | m2://inv/M37AHYR307 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friendly number#SYIH, Solitary number (unknown)
History
- 2026-11-02: add by m2/dev
M37E5C51A3 M37E5C51A3
| URI | m2://inv/M37E5C51A3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-3.xml#definition-1 (definition). In 649HGZKE96, definition, section 4.3.2
History
- 2026-11-01: add by m2/v0.6.13
Choi--Frobenius isometry M37EEBVBP2
| URI | m2://inv/M37EEBVBP2 |
|---|---|
| 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 2609.27908#AXVQ, Choi--Frobenius isometry (statement)
History
- 2026-11-01: add by m2/v0.6.15
Riemann zeta function M37G8NSK43
| URI | m2://inv/M37G8NSK43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#8L88, Riemann zeta function (definition)
- wikipedia: Wikipedia List of complex analysis topics#UUKJ, Riemann zeta function (definition)
- wikipedia: Wikipedia List of number theory topics#2LTP, Riemann zeta function (definition)
History
- 2026-11-02: add by m2/dev
M37PC5KK4H M37PC5KK4H
| URI | m2://inv/M37PC5KK4H |
|---|---|
| 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#O8SY (statement). In Z53NCTCEXE/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
M37RC96J1D M37RC96J1D
| URI | m2://inv/M37RC96J1D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#L5ME (statement). In V6EPE8XHAD/e1, lemma 11.2
History
- 2026-10-29: add by m2/v0.4.10
M37XKR1M68 M37XKR1M68
| URI | m2://inv/M37XKR1M68 |
|---|---|
| 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.09324#AUL0 (statement). In SFNYZXKBNW/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
finite M385NEMCN6
| URI | m2://inv/M385NEMCN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#6PY3, finite (definition)
History
- 2026-11-02: add by m2/dev
Plancherel theorem M388PT9ENA
| URI | m2://inv/M388PT9ENA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heisenberg group#SX3R, Plancherel theorem (statement)
History
- 2026-11-02: add by m2/dev
M38A1T80FG M38A1T80FG
| URI | m2://inv/M38A1T80FG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#2MH6 (statement). In E7BPGPP9Z5/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
M38FN6VVKB M38FN6VVKB
| URI | m2://inv/M38FN6VVKB |
|---|---|
| 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 2304.13811#K1OD (definition). In HGKYMFSDEM/e1, definition 5
History
- 2026-10-27: add by m2/v0.4.0
Proposition 8 M38N1Y9Y8F
| URI | m2://inv/M38N1Y9Y8F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geiringer–Laman theorem#H7QP, Proposition 8 (statement)
History
- 2026-11-02: add by m2/dev
Tomita's theorem M390E2TQMF
| URI | m2://inv/M390E2TQMF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#W8D3, Tomita's theorem (definition)
History
- 2026-11-02: add by m2/dev
Example 5 M396DDRJGH
| URI | m2://inv/M396DDRJGH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation does not imply causation#W90G, Example 5 (example)
History
- 2026-11-02: add by m2/dev
Basic properties M39JNVT69X
| URI | m2://inv/M39JNVT69X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel summation#VGIG, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
M39R0G3SC3 M39R0G3SC3
| URI | m2://inv/M39R0G3SC3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#WMQY (definition)
History
- 2026-11-01: add by m2/v0.6.15
M39ZNR5Q8F M39ZNR5Q8F
| URI | m2://inv/M39ZNR5Q8F |
|---|---|
| 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 math/9602216#BTKU (statement). In SD43497T8C/e1, fact 1.38
History
- 2026-10-27: add by m2/v0.3.5
Feigenbaum attractor M3A41DVRPH
| URI | m2://inv/M3A41DVRPH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3UQZ, Feigenbaum attractor (definition)
History
- 2026-11-02: add by m2/dev
M3A7A2QCWF M3A7A2QCWF
| URI | m2://inv/M3A7A2QCWF |
|---|---|
| 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.10469#YKU7 (statement). In Q39BEKW6D9/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
M3AB4Z481W M3AB4Z481W
| URI | m2://inv/M3AB4Z481W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02570#CUSX (statement). In 6JK30RQ1SX/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
Sajnovics, János M3AE16YBNQ
| URI | m2://inv/M3AE16YBNQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#B71M, Sajnovics, János (unknown)
History
- 2026-11-02: add by m2/dev
Degree six M3ANFCTJNF
| URI | m2://inv/M3ANFCTJNF |
|---|---|
| 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.26152#T7V5, Degree six (statement)
History
- 2026-11-01: add by m2/v0.6.15
numerical analysis M3ANRNA1Q1
| URI | m2://inv/M3ANRNA1Q1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 65-XX |
| Sources | 2 |
| Outcome | open |
| Node | Numerical analysis B6E54YTR64 |
Mentions
- wikidata: Wikidata Q11216, numerical analysis (topic). Also nLab numerical analysis
- wikipedia: Wikipedia Numerical analysis, Numerical analysis (definition). Also Wikidata Q11216
History
- 2026-10-26: add by m2/dev
Heinrich Friedrich Gretschel M3AQC6S583
| URI | m2://inv/M3AQC6S583 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#XT6Z, Heinrich Friedrich Gretschel (topic)
History
- 2026-11-02: add by m2/dev
Robert Oppenheimer M3AQVWF3P8
| URI | m2://inv/M3AQVWF3P8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#XQXH, Robert Oppenheimer (unknown)
History
- 2026-11-02: add by m2/dev
Turing recognizable set M3ASH1ARA3
| URI | m2://inv/M3ASH1ARA3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#64E0, Turing recognizable set (definition)
History
- 2026-11-02: add by m2/dev
Floyd's cycle-finding algorithm M3AT2KXJAE
| URI | m2://inv/M3AT2KXJAE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#FFD7, Floyd's cycle-finding algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Softplus M3B12DGAF3
| URI | m2://inv/M3B12DGAF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Softplus, Softplus (definition). Also Wikidata Q126934643
History
- 2026-11-02: add by m2/dev
M3BKEK1F9S M3BKEK1F9S
| URI | m2://inv/M3BKEK1F9S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.06445#ZKX1 (statement). In 12JKZ8EN52/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.5
Known characteristic M3BR9TKGPP
| URI | m2://inv/M3BR9TKGPP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1308.2487#YIZK, Known characteristic (statement). In 322XSWF4EA/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
right section M3C1FYDT19
| URI | m2://inv/M3C1FYDT19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylinder#Y1NR, right section (definition)
History
- 2026-11-02: add by m2/dev
M3CEDJ2CSZ M3CEDJ2CSZ
| URI | m2://inv/M3CEDJ2CSZ |
|---|---|
| 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.25656#VGXV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Logic redundancy M3CEZEXW0A
| URI | m2://inv/M3CEZEXW0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic redundancy, Logic redundancy (definition). Also Wikidata Q3381287
History
- 2026-11-02: add by m2/dev
Examples M3CRA92F0M
| URI | m2://inv/M3CRA92F0M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unary function#SHK1, Examples (example)
History
- 2026-11-02: add by m2/dev
M3CWV7DENF M3CWV7DENF
| URI | m2://inv/M3CWV7DENF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/functions-relations.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 78.11
History
- 2026-11-01: add by m2/v0.6.13
M3D8RBGCH6 M3D8RBGCH6
| URI | m2://inv/M3D8RBGCH6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19461#ZWIV (statement). In D5X5P2QD6A/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Nick Katz M3DCDDK3JR
| URI | m2://inv/M3DCDDK3JR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ON36, Nick Katz (topic)
History
- 2026-11-02: add by m2/dev
Pseudolikelihood M3DF06D506
| URI | m2://inv/M3DF06D506 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#X2ZO, Pseudolikelihood (definition)
History
- 2026-11-02: add by m2/dev
Moment stability M3DF5NQ4GR
| URI | m2://inv/M3DF5NQ4GR |
|---|---|
| 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.00453#9T5Z, Moment stability (statement). In ESPJMBH2R2/e1, theorem 6.3
History
- 2026-10-30: add by m2/v0.4.12
General equilibrium theory M3E011B5T5
| URI | m2://inv/M3E011B5T5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General equilibrium theory, General equilibrium theory (topic). Also Wikidata Q282640
History
- 2026-11-02: add by m2/dev
De Bruijn index M3EKVDXC8A
| URI | m2://inv/M3EKVDXC8A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Bruijn index, De Bruijn index (definition). Also Wikidata Q5244288
History
- 2026-11-02: add by m2/dev
support of a distribution M3F0MC1P41
| URI | m2://inv/M3F0MC1P41 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > support of a distribution, support of a distribution (unknown)
History
- 2026-10-26: add by m2/dev
Rectangle method M3F2BJGT1F
| URI | m2://inv/M3F2BJGT1F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#2JNS, Rectangle method (definition)
History
- 2026-11-02: add by m2/dev
Triangular bifrustum M3F3SCAVNT
| URI | m2://inv/M3F3SCAVNT |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular bifrustum, Triangular bifrustum (object). Also Wikidata Q7840131
History
- 2026-11-02: add by m2/dev
M3F5XG7492 M3F5XG7492
| URI | m2://inv/M3F5XG7492 |
|---|---|
| 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 2109.12716#U7TG (statement). In 6X76XBE3HV/e1, corollary 3.11
History
- 2026-10-27: add by m2/v0.3.5
The stability spectrum theorem for countable theories M3FAS197C7
| URI | m2://inv/M3FAS197C7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stability spectrum#VHSS, The stability spectrum theorem for countable theories (statement)
History
- 2026-11-02: add by m2/dev
M3FMS2SC8Y M3FMS2SC8Y
| URI | m2://inv/M3FMS2SC8Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2508.21045#8PXM (statement). In CGA36VE1C5/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.6
Lisp M3FMVWD548
| URI | m2://inv/M3FMVWD548 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q132874, Lisp (unknown). Also EoM Lisp
History
- 2026-10-26: add by m2/dev
Barbara MacCluer M3FYVZ3Y3R
| URI | m2://inv/M3FYVZ3Y3R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barbara MacCluer, Barbara MacCluer (topic). Also Wikidata Q47542043
History
- 2026-11-02: add by m2/dev
Prismatic uniform polyhedron M3G0D5H2VR
| URI | m2://inv/M3G0D5H2VR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#1009, Prismatic uniform polyhedron (object)
History
- 2026-11-02: add by m2/dev
The complement of $\Gm^n$, all moments M3G3DJPY6D
| URI | m2://inv/M3G3DJPY6D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2610.04099#4L9D, The complement of $\Gm^n$, all moments (statement). In QPJ6FWG5HD/e1, lemma 2.64
History
- 2026-10-29: add by m2/v0.4.12
Parity plot M3G7PF7KRY
| URI | m2://inv/M3G7PF7KRY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parity plot, Parity plot (definition). Also Wikidata Q16919215
History
- 2026-11-02: add by m2/dev
liminf M3GAJ4DMN7
| URI | m2://inv/M3GAJ4DMN7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.3.4/liminf, liminf (concept). In E59CDZA4DP, index, section 10.3.4
History
- 2026-11-01: add by m2/v0.6.13
Uniform truncation principle M3GG8N1M6W
| URI | m2://inv/M3GG8N1M6W |
|---|---|
| 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.00396#7YFB, Uniform truncation principle (statement). In V13TE1RWT9/e1, theorem 10.3
History
- 2026-10-30: add by m2/v0.4.12
M3GR523VAT M3GR523VAT
| URI | m2://inv/M3GR523VAT |
|---|---|
| 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 2604.23212#RCB1 (statement). In 4X12V9RS0D/e1, proposition F.4
History
- 2026-10-27: add by m2/v0.3.5
Isaac Newton M3GTB6XC4E
| URI | m2://inv/M3GTB6XC4E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#M74B, Isaac Newton (topic)
History
- 2026-11-02: add by m2/dev
Molloy--Reed M3GVD2BQ8Z
| URI | m2://inv/M3GVD2BQ8Z |
|---|---|
| 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 2609.26133#LZSR, Molloy--Reed (statement)
History
- 2026-11-01: add by m2/v0.6.15
M3GVJ4DJF5 M3GVJ4DJF5
| URI | m2://inv/M3GVJ4DJF5 |
|---|---|
| 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 0809.4587#T0O0 (statement). In KQ8JPHDKKE/e1, proposition 9.8.9
History
- 2026-10-27: add by m2/v0.3.5
Tullio Levi-Civita M3HAA6JCQD
| URI | m2://inv/M3HAA6JCQD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tullio Levi-Civita, Tullio Levi-Civita (topic). Also Wikidata Q353438
History
- 2026-11-02: add by m2/dev
Low-ratio completion; computer-assisted M3HGW6A3VM
| URI | m2://inv/M3HGW6A3VM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#P0RY, Low-ratio completion; computer-assisted (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition M3HKHQENHG
| URI | m2://inv/M3HKHQENHG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H-derivative#2N63, Definition (definition)
History
- 2026-11-02: add by m2/dev
M3HWPQJ93X M3HWPQJ93X
| URI | m2://inv/M3HWPQJ93X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-functions.ptx#example-6 (example). In Y91XFCEVHQ, example, section 1.4.2
History
- 2026-11-01: add by m2/v0.6.13
Statement M3HXCYMDVH
| URI | m2://inv/M3HXCYMDVH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kruskal's tree theorem#X96S, Statement (statement)
History
- 2026-11-02: add by m2/dev
M3HY5CDW5X M3HY5CDW5X
| URI | m2://inv/M3HY5CDW5X |
|---|---|
| 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.23682#CVZA (statement)
History
- 2026-11-02: add by m2/v0.6.17
Nearly open M3J05MC80H
| URI | m2://inv/M3J05MC80H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#DRN2, Nearly open (definition)
History
- 2026-11-02: add by m2/dev
M3JDWQVB3A M3JDWQVB3A
| URI | m2://inv/M3JDWQVB3A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#XZSY (statement). In M4ZVJWM8YA/e1, lemma 6.6
History
- 2026-10-27: add by m2/v0.4.2
M3JNZYF4X0 M3JNZYF4X0
| URI | m2://inv/M3JNZYF4X0 |
|---|---|
| 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.01916#20S7 (statement). In XTGB5Z08YH/e1, theorem 3.14
History
- 2026-10-27: add by m2/v0.4.0
M3JSYQPA7X M3JSYQPA7X
| URI | m2://inv/M3JSYQPA7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-XX, 20-XX, 22-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 2406.13841#K4U4 (statement). In AB2EMMXC7X/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
M3JTHRKJC9 M3JTHRKJC9
| URI | m2://inv/M3JTHRKJC9 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.11439#9BR5 (proof). In 9Z8RSQ36JC/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Rare disease assumption M3JTK37976
| URI | m2://inv/M3JTK37976 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rare disease assumption, Rare disease assumption (definition). Also Wikidata Q7294539
History
- 2026-11-02: add by m2/dev
Definition M3K1AN8KMQ
| URI | m2://inv/M3K1AN8KMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf invariant#TDCC, Definition (definition)
History
- 2026-11-02: add by m2/dev
M3K3V0Y3JE M3K3V0Y3JE
| URI | m2://inv/M3K3V0Y3JE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#EZME (statement). In MRR92GQNZE/e1, theorem 4.4
History
- 2026-10-30: add by m2/v0.4.12
M3K9CEKNVB M3K9CEKNVB
| URI | m2://inv/M3K9CEKNVB |
|---|---|
| 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 2102.09374#U0L5 (definition). In TGAHH1F8K5/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.6
M3KBY8H80J M3KBY8H80J
| URI | m2://inv/M3KBY8H80J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/sequent-calculus/proofs-in-K.tex#ex-2 (example). In PKGMM3P5QY, ex, section 53.7
History
- 2026-11-01: add by m2/v0.6.13
M3KFM6Y29Y M3KFM6Y29Y
| URI | m2://inv/M3KFM6Y29Y |
|---|---|
| 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.15770#W1N5 (statement). In DXFR0BNE47/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
M3KKR5H30Y M3KKR5H30Y
| URI | m2://inv/M3KKR5H30Y |
|---|---|
| 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 0809.4587#0XD7 (statement). In KQ8JPHDKKE/e1, proposition 9.5.2
History
- 2026-10-27: add by m2/v0.3.5
Li Zhi M3KN8SYKTA
| URI | m2://inv/M3KN8SYKTA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#3A2C, Li Zhi (topic)
History
- 2026-11-02: add by m2/dev
David Borwein M3KW3NTW7Q
| URI | m2://inv/M3KW3NTW7Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#QIHX, David Borwein (topic)
History
- 2026-11-02: add by m2/dev
M3KX1ENH5T M3KX1ENH5T
| URI | m2://inv/M3KX1ENH5T |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#LD4K (unknown). In R2XC1SC9NZ/e1, unknown 21
History
- 2026-10-27: add by m2/v0.3.5
Implementation M3M51B01A4
| URI | m2://inv/M3M51B01A4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier amplitude sensitivity testing#O41G, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Measure-valued stochastic product formula M3MARQ37GB
| URI | m2://inv/M3MARQ37GB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28985#9ZR7, Measure-valued stochastic product formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
M3MJN2CX2K M3MJN2CX2K
| URI | m2://inv/M3MJN2CX2K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-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.04694#DB1C (statement). In W9A0Z2NBMA/e1, lemma 26
History
- 2026-10-29: add by m2/v0.4.12
Zurkowski's theorem M3MQ8MBVMP
| URI | m2://inv/M3MQ8MBVMP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally nilpotent derivation#D2WK, Zurkowski's theorem (statement)
History
- 2026-11-02: add by m2/dev
M3MXQB8MP3 M3MXQB8MP3
| URI | m2://inv/M3MXQB8MP3 |
|---|---|
| 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.29759#WM5C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Symbolic data analysis M3N2D4WE2Y
| URI | m2://inv/M3N2D4WE2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbolic data analysis, Symbolic data analysis (definition). Also Wikidata Q7661176
History
- 2026-11-02: add by m2/dev
M3N8DB83G8 M3N8DB83G8
| URI | m2://inv/M3N8DB83G8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.35209#9Q12 (statement). In YEERR7F4NW/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
M3NC5DTEJY M3NC5DTEJY
| URI | m2://inv/M3NC5DTEJY |
|---|---|
| Kind | conjecture |
| 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.36300#CN9G (conjecture). In MNWD3Y6W56/e1, conjecture 1.1
History
- 2026-10-30: add by m2/v0.4.12
M3NFGHZ1K1 M3NFGHZ1K1
| URI | m2://inv/M3NFGHZ1K1 |
|---|---|
| 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.14154#EXU6 (statement). In 8X6PXX2TRA/e1, theorem 9.1
History
- 2026-10-28: add by m2/v0.4.2
Reed–Muller code M3P139KCY7
| URI | m2://inv/M3P139KCY7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reed–Muller code, Reed–Muller code (definition). Also Wikidata Q201972
History
- 2026-11-02: add by m2/dev
Serre functor M3P2HJAWPK
| URI | m2://inv/M3P2HJAWPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#YNHW, Serre functor (definition)
History
- 2026-11-02: add by m2/dev
Viviani's curve M3P48JRBKY
| URI | m2://inv/M3P48JRBKY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2396808, Viviani's curve (concept). Also MathWorld VivianisCurve
- wikipedia: Wikipedia Viviani's curve, Viviani's curve (definition). Also Wikidata Q2396808
History
- 2026-10-26: add by m2/dev
Na'im ibn Musa M3P7X40A6B
| URI | m2://inv/M3P7X40A6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Na'im ibn Musa, Na'im ibn Musa (definition). Also Wikidata Q6956330
History
- 2026-11-02: add by m2/dev
M3PABK0YZQ M3PABK0YZQ
| URI | m2://inv/M3PABK0YZQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-15 (exercise). In E9HS8K3A52, exercise, section 6.8.5
History
- 2026-11-01: add by m2/v0.6.13
Roger Maddux M3PBYDRSK1
| URI | m2://inv/M3PBYDRSK1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roger Maddux, Roger Maddux (topic). Also Wikidata Q7358572
History
- 2026-11-02: add by m2/dev
Generalized Kac–Moody algebra M3PPZTJFSH
| URI | m2://inv/M3PPZTJFSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Kac–Moody algebra, Generalized Kac–Moody algebra (definition). Also Wikidata Q5532440
History
- 2026-11-02: add by m2/dev
disc M3PYMHZ7J4
| URI | m2://inv/M3PYMHZ7J4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.7/disc, disc (concept). In N54F33XE07, index, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
M3Q1R3F181 M3Q1R3F181
| URI | m2://inv/M3Q1R3F181 |
|---|---|
| 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.14121#VQZT (statement). In MRKCK4QYZN/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
M3Q3SD8CRN M3Q3SD8CRN
| URI | m2://inv/M3Q3SD8CRN |
|---|---|
| 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 2507.12309#P2BN (statement). In ZR53K3E0FR/e1, lemma 29
History
- 2026-10-27: add by m2/v0.3.6
M3QDBKM1QP M3QDBKM1QP
| URI | m2://inv/M3QDBKM1QP |
|---|---|
| Kind | definition |
| 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 2402.17852#HVC6 (definition). In 1WCXV5PVZA/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.0
Homological nerve theorem M3QHZCQ7XR
| URI | m2://inv/M3QHZCQ7XR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nerve complex#JJQS, Homological nerve theorem (statement)
History
- 2026-11-02: add by m2/dev
Alexiewicz norm M3QXMRZ131
| URI | m2://inv/M3QXMRZ131 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexiewicz norm, Alexiewicz norm (definition). Also Wikidata Q4721378
History
- 2026-11-02: add by m2/dev
M3R2X75AN0 M3R2X75AN0
| URI | m2://inv/M3R2X75AN0 |
|---|---|
| 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.20190#3DP1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
M3R4GBA887 M3R4GBA887
| URI | m2://inv/M3R4GBA887 |
|---|---|
| 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.21692#DUMY (statement). In CT4N0JGDP4/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.4.2
M3RCGXCZZ3 M3RCGXCZZ3
| URI | m2://inv/M3RCGXCZZ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22708#GP3M (statement)
History
- 2026-11-02: add by m2/v0.6.17
Three Mile Bay, New York M3RGNZVA5Y
| URI | m2://inv/M3RGNZVA5Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#0K2R, Three Mile Bay, New York (unknown)
History
- 2026-11-02: add by m2/dev
M3RKMNX1VZ M3RKMNX1VZ
| URI | m2://inv/M3RKMNX1VZ |
|---|---|
| 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.32977#7PH7 (statement). In 4KT9TK3MG4/e1, theorem C.11
History
- 2026-10-31: add by m2/v0.5.6
cuspidal M3RN3AYACZ
| URI | m2://inv/M3RN3AYACZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#IZPO, cuspidal (definition)
History
- 2026-11-02: add by m2/dev
Example M3RT3JHJMK
| URI | m2://inv/M3RT3JHJMK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derangement#7N86, Example (example)
History
- 2026-11-02: add by m2/dev
cut elimination M3RTVB7XKN
| URI | m2://inv/M3RTVB7XKN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#YJET, cut elimination (definition)
History
- 2026-11-02: add by m2/dev
M3S0VPYJCD M3S0VPYJCD
| URI | m2://inv/M3S0VPYJCD |
|---|---|
| Kind | definition |
| 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 2610.11545#CFFE (definition). In VN084GGZGK/e1, definition 2.18
History
- 2026-10-28: add by m2/v0.4.3
M3S2TT2BJW M3S2TT2BJW
| URI | m2://inv/M3S2TT2BJW |
|---|---|
| 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.10527#SOEH (definition). In 9AXPPWBA9R/e1, definition
History
- 2026-10-29: add by m2/v0.4.10
Challenging M3S6C4VX9S
| URI | m2://inv/M3S6C4VX9S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-55, Challenging (exercise). In E59CDZA4DP, exercise, section 10.4.1
History
- 2026-11-01: add by m2/v0.6.13
Example M3SBN7KEP2
| URI | m2://inv/M3SBN7KEP2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Segmented regression#Q84N, Example (example)
History
- 2026-11-02: add by m2/dev
M3SDKJAH2J M3SDKJAH2J
| URI | m2://inv/M3SDKJAH2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#defn-5 (definition). In N54F33XE07, defn, section 6.4
History
- 2026-11-01: add by m2/v0.6.13
M3SF7ZT4QX M3SF7ZT4QX
| URI | m2://inv/M3SF7ZT4QX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26600#Q6XM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Truncation M3T0A7KZ2T
| URI | m2://inv/M3T0A7KZ2T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12713#W7ZY, Truncation (statement). In F14A5HX20Q/e1, theorem D.7.1
History
- 2026-10-28: add by m2/v0.4.2
Compound angle formula M3T4MDX5XA
| URI | m2://inv/M3T4MDX5XA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of trigonometric identities#ULER, Compound angle formula (unknown)
History
- 2026-11-02: add by m2/dev
M3T5MQ7NWY M3T5MQ7NWY
| URI | m2://inv/M3T5MQ7NWY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#thm:modular add comm assoc (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
Sylvester's law of inertia M3T887PNQF
| URI | m2://inv/M3T887PNQF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#S5T9, Sylvester's law of inertia (statement)
History
- 2026-11-02: add by m2/dev
Gitta Kutyniok M3TDKN45FB
| URI | m2://inv/M3TDKN45FB |
|---|---|
| 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#GNE5, Gitta Kutyniok (topic)
History
- 2026-11-02: add by m2/dev
M3TEMCDCCY M3TEMCDCCY
| URI | m2://inv/M3TEMCDCCY |
|---|---|
| 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 2303.10963#F3XE (definition). In F32XWYWG8E/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
M3THVD74XX M3THVD74XX
| URI | m2://inv/M3THVD74XX |
|---|---|
| Kind | definition |
| 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 2609.36321#IYUA (definition). In 3KTZ6Z615H/e1, definition 3.17
History
- 2026-10-30: add by m2/v0.4.12
M3TK8WE103 M3TK8WE103
| URI | m2://inv/M3TK8WE103 |
|---|---|
| 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 2610.12319#ARIB (statement). In FH8GB1C17K/e1, proposition 8
History
- 2026-10-28: add by m2/v0.4.2
Local functional inequalities M3TV4K9QQH
| URI | m2://inv/M3TV4K9QQH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05204#ZS3I, Local functional inequalities (statement). In ET0TQ8YF7Z/e1, proposition 7.3
History
- 2026-10-29: add by m2/v0.4.10
Definition M3TVEQEPC7
| URI | m2://inv/M3TVEQEPC7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rogers–Ramanujan continued fraction#83WF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Jean-Benoît Bost M3TVG3DVGA
| URI | m2://inv/M3TVG3DVGA |
|---|---|
| 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#R3MH, Jean-Benoît Bost (topic)
History
- 2026-11-02: add by m2/dev
M3TWW6G300 M3TWW6G300
| URI | m2://inv/M3TWW6G300 |
|---|---|
| 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.19088#GD9P (statement). In 90QTB4CC31/e1, lemma 3.25
History
- 2026-10-28: add by m2/v0.4.2
honeycombs M3TYVH94G2
| URI | m2://inv/M3TYVH94G2 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of regular polytopes#G9O2, honeycombs (object)
History
- 2026-11-02: add by m2/dev
M3V38J3B8Q M3V38J3B8Q
| URI | m2://inv/M3V38J3B8Q |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-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.10925#6TSN (example). In 9604WYX0BW/e1, example 3.3
History
- 2026-10-28: add by m2/v0.4.3
Definition M3V3HPRHX4
| URI | m2://inv/M3V3HPRHX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cluster analysis#G73I, Definition (definition)
History
- 2026-11-02: add by m2/dev
Metric compactness theorem M3V4NZ6XTH
| URI | m2://inv/M3V4NZ6XTH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gromov's compactness theorem (geometry)#HZ3N, Metric compactness theorem (statement)
History
- 2026-11-02: add by m2/dev
Representation M3V5SYV3M4
| URI | m2://inv/M3V5SYV3M4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary quadratic form#YHWG, Representation (definition)
History
- 2026-11-02: add by m2/dev
M3V5VWFYCH M3V5VWFYCH
| URI | m2://inv/M3V5VWFYCH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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.20522#TH22 (statement)
History
- 2026-11-02: add by m2/v0.6.18
M3V6N0PSJ1 M3V6N0PSJ1
| URI | m2://inv/M3V6N0PSJ1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#9RQO (definition). In 7V2PVZS04C/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
M3V949GEZN M3V949GEZN
| URI | m2://inv/M3V949GEZN |
|---|---|
| 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.26896#WT9I (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alexander of Aphrodisias M3VC085BCW
| URI | m2://inv/M3VC085BCW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander of Aphrodisias, Alexander of Aphrodisias (topic). Also Wikidata Q317146
History
- 2026-11-02: add by m2/dev
M3VXJ6XMRN M3VXJ6XMRN
| URI | m2://inv/M3VXJ6XMRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15831#90TV (statement). In CVESAPNMCQ/e1, theorem 4.10
History
- 2026-10-28: add by m2/v0.4.2
Function field family with many degree-$d$ places M3W1NC72P6
| URI | m2://inv/M3W1NC72P6 |
|---|---|
| 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.32834#ZO4B, Function field family with many degree-$d$ places (statement). In N4M6B8EMCW/e1, proposition 4.5
History
- 2026-10-31: add by m2/v0.5.6
Variants M3W4ZGN83F
| URI | m2://inv/M3W4ZGN83F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schinzel's hypothesis H#ARP4, Variants (statement)
History
- 2026-11-02: add by m2/dev
Elimination of the displacement M3W7TWBS92
| URI | m2://inv/M3W7TWBS92 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2610.12203#378B, Elimination of the displacement (statement). In F4YTAZSCS2/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Engineered language M3W99024WZ
| URI | m2://inv/M3W99024WZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Engineered language, Engineered language (definition). Also Wikidata Q2519134
History
- 2026-11-02: add by m2/dev
Heine definition of continuity M3WAYYDS11
| URI | m2://inv/M3WAYYDS11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Eduard Heine#ILQX, Heine definition of continuity (definition)
History
- 2026-11-02: add by m2/dev
Algorithm M3WGXPAM58
| URI | m2://inv/M3WGXPAM58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synthetic minority oversampling technique#WMHV, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Energy Dissipation M3WS6XNK6F
| URI | m2://inv/M3WS6XNK6F |
|---|---|
| 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.25489#YOK8, Energy Dissipation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties M3X615PVZ5
| URI | m2://inv/M3X615PVZ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pauli group#WZBF, Properties (statement)
History
- 2026-11-02: add by m2/dev
Fermat M3X6PASA6K
| URI | m2://inv/M3X6PASA6K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#N35A, Fermat (topic)
History
- 2026-11-02: add by m2/dev
Non-examples M3XB6QBGH2
| URI | m2://inv/M3XB6QBGH2 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homeomorphism#VGTD, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
conchoid of de Sluze M3XSBCNHE6
| URI | m2://inv/M3XSBCNHE6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1509478, conchoid of de Sluze (concept). Also MathWorld ConchoidofdeSluze
- wikipedia: Wikipedia Conchoid of de Sluze, Conchoid of de Sluze (definition). Also Wikidata Q1509478
History
- 2026-10-26: add by m2/dev
M3XXQACCX4 M3XXQACCX4
| URI | m2://inv/M3XXQACCX4 |
|---|---|
| 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.31304#7KLI (statement). In 3YK9MDW1D2/e1, corollary 2.6
History
- 2026-10-31: add by m2/v0.5.6
Distribution function M3XXVE8T9V
| URI | m2://inv/M3XXVE8T9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distribution function (measure theory), Distribution function (definition). Also Wikidata Q20850796
History
- 2026-11-02: add by m2/dev
M3Y3GE0EV0 M3Y3GE0EV0
| URI | m2://inv/M3Y3GE0EV0 |
|---|---|
| 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 2512.11346#UOB4 (statement). In ZW58VE9XE3/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
M3Y75Q72PJ M3Y75Q72PJ
| URI | m2://inv/M3Y75Q72PJ |
|---|---|
| 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.32505#7FHL (statement). In N8MYP1Z659/e1, theorem 5.1
History
- 2026-10-31: add by m2/v0.5.6
M3YGRGFPCT M3YGRGFPCT
| URI | m2://inv/M3YGRGFPCT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-34 (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
Pic M3YKVTD20Q
| URI | m2://inv/M3YKVTD20Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#N1SA, Pic (definition)
History
- 2026-11-02: add by m2/dev
M3YM2ZTRHG M3YM2ZTRHG
| URI | m2://inv/M3YM2ZTRHG |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-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 2404.00077#0PNX (problem). In 25WX007DJ1/e1, problem 3
History
- 2026-10-27: add by m2/v0.3.5
M3YNMV9CX5 M3YNMV9CX5
| URI | m2://inv/M3YNMV9CX5 |
|---|---|
| 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.20225#TFY2 (example)
History
- 2026-11-02: add by m2/v0.6.18
M3YSVVF731 M3YSVVF731
| URI | m2://inv/M3YSVVF731 |
|---|---|
| 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.12810#92AN (statement). In DR35633CPN/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Examples M3YVB74855
| URI | m2://inv/M3YVB74855 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antilinear map#N7YY, Examples (example)
History
- 2026-11-02: add by m2/dev
M3Z49Q12E8 M3Z49Q12E8
| URI | m2://inv/M3Z49Q12E8 |
|---|---|
| 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 2501.00810#VHM3 (statement). In H0MY884WNF/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.6
M3Z7ZSBD0K M3Z7ZSBD0K
| URI | m2://inv/M3Z7ZSBD0K |
|---|---|
| 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.07099#QZHA (statement). In 9GNAHRCYFT/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.10
M3ZCY5WMA6 M3ZCY5WMA6
| URI | m2://inv/M3ZCY5WMA6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2110.11143#70VK (statement). In VTVC0TCWSB/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
M3ZJWN54MY M3ZJWN54MY
| URI | m2://inv/M3ZJWN54MY |
|---|---|
| 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.17442#OE3G (statement). In 6ADGJ51W1P/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Multiplicativity of partitioned cumulants M3ZMHPV7NZ
| URI | m2://inv/M3ZMHPV7NZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#SRCO, Multiplicativity of partitioned cumulants (statement). In 7V3HG30ZGW/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.4.0
Helmut H. Schaefer M3ZQACZ9T1
| URI | m2://inv/M3ZQACZ9T1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helmut H. Schaefer, Helmut H. Schaefer (topic). Also Wikidata Q89354
History
- 2026-11-02: add by m2/dev
Definition M3ZSKSXXKX
| URI | m2://inv/M3ZSKSXXKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laurent polynomial#CRIW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Double exponential function M3ZSST608K
| URI | m2://inv/M3ZSST608K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double exponential function, Double exponential function (definition). Also Wikidata Q3075235
History
- 2026-11-02: add by m2/dev
M3ZXG42443 M3ZXG42443
| URI | m2://inv/M3ZXG42443 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04466#IHTP (statement). In EHW82CK883/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.12