Inventory rows 8M
The cards of the rows of the inventory whose ids start with 8M. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Fixed points 8M0337G8F5
| URI | m2://inv/8M0337G8F5 |
|---|---|
| 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.29524#AIV3, Fixed points (statement)
History
- 2026-11-01: add by m2/v0.6.15
8M05HDBPT6 8M05HDBPT6
| URI | m2://inv/8M05HDBPT6 |
|---|---|
| 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.23230#Z0YB (statement)
History
- 2026-11-02: add by m2/v0.6.17
Diameter 8M07NYSQ7M
| URI | m2://inv/8M07NYSQ7M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#H65Q, Diameter (definition)
History
- 2026-11-02: add by m2/dev
8M08BPRVT7 8M08BPRVT7
| URI | m2://inv/8M08BPRVT7 |
|---|---|
| Kind | definition |
| 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.04774#NDKE (definition). In DED1CA3JCB/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.12
Levinson's inequality 8M08EXGEBP
| URI | m2://inv/8M08EXGEBP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#8ON5, Levinson's inequality (statement)
History
- 2026-11-02: add by m2/dev
An asymptotic branch 8M0D71WPTW
| URI | m2://inv/8M0D71WPTW |
|---|---|
| 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 2610.01216#LWY0, An asymptotic branch (statement). In 59016RQTW6/e1, proposition 10.3
History
- 2026-10-29: add by m2/v0.4.12
Applications 8M0FA2JAMZ
| URI | m2://inv/8M0FA2JAMZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Farsightedness (game theory)#1O3X, Applications (example)
History
- 2026-11-02: add by m2/dev
Carl August von Steinheil 8M0JM0P539
| URI | m2://inv/8M0JM0P539 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#MIGD, Carl August von Steinheil (unknown)
History
- 2026-11-02: add by m2/dev
8M0N7J54R8 8M0N7J54R8
| URI | m2://inv/8M0N7J54R8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.08487#I5B7 (definition). In 77TVQVYN0Z/e1, definition Definition
History
- 2026-10-27: add by m2/v0.3.6
Poincar\'e inequality 8M0PJWDK5E
| URI | m2://inv/8M0PJWDK5E |
|---|---|
| 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#N9CD, Poincar\'e inequality (statement). In PZRSZ19KAH/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
8M0R3QDHKN 8M0R3QDHKN
| URI | m2://inv/8M0R3QDHKN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31484#EJAW (example). In 1RDQ10G87W/e1, example 3.7
History
- 2026-10-31: add by m2/v0.5.6
Eugenio Beltrami 8M0VPKEVRS
| URI | m2://inv/8M0VPKEVRS |
|---|---|
| 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 Q371918, Eugenio Beltrami (unknown). Also ProofWiki Mathematician:Eugenio_Beltrami
- wikipedia: Wikipedia Eugenio Beltrami, Eugenio Beltrami (topic). Also Wikidata Q371918
History
- 2026-10-26: add by m2/dev
8M16GPBFXX 8M16GPBFXX
| URI | m2://inv/8M16GPBFXX |
|---|---|
| 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.33313#3N2T (definition). In HRCEFY172P/e1, definition 3.5
History
- 2026-10-30: add by m2/v0.4.12
Alexander Ivanovich Chuprov 8M1EMVXNMF
| URI | m2://inv/8M1EMVXNMF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Ivanovich Chuprov, Alexander Ivanovich Chuprov (topic). Also Wikidata Q4518138
History
- 2026-11-02: add by m2/dev
8M1FHRE1AZ 8M1FHRE1AZ
| URI | m2://inv/8M1FHRE1AZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-basics.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Hermann Vetter 8M1M7XW5PG
| URI | m2://inv/8M1M7XW5PG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermann Vetter, Hermann Vetter (topic). Also Wikidata Q5741029
History
- 2026-11-02: add by m2/dev
Extensions 8M1R261HKY
| URI | m2://inv/8M1R261HKY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mie scattering#XI0Q, Extensions (statement)
History
- 2026-11-02: add by m2/dev
8M1VY29TQ5 8M1VY29TQ5
| URI | m2://inv/8M1VY29TQ5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/localization.tex#example-8 (example). In RZP28ERRZV, example, section 21.4
History
- 2026-11-01: add by m2/v0.6.13
Carl Benjamin Boyer 8M1XNACW5A
| URI | m2://inv/8M1XNACW5A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Benjamin Boyer, Carl Benjamin Boyer (topic). Also Wikidata Q983561
History
- 2026-11-02: add by m2/dev
Koszul formula 8M25RGZH6P
| URI | m2://inv/8M25RGZH6P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorem of Riemannian geometry#TAPU, Koszul formula (unknown)
History
- 2026-11-02: add by m2/dev
Kaplansky density theorem 8M26GBHQVN
| URI | m2://inv/8M26GBHQVN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1209546, Kaplansky density theorem (statement). Also Wikidata Q1209546
- thousand_plus: thousand_plus Q1209546, Kaplansky density theorem (statement). Also Wikidata Q1209546, Wikipedia Kaplansky density theorem
- wikipedia: Wikipedia Kaplansky density theorem, Kaplansky density theorem (statement). Also Wikidata Q1209546
History
- 2026-10-26: add by m2/dev
8M2FDRF2A3 8M2FDRF2A3
| URI | m2://inv/8M2FDRF2A3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.06621#MXUI (statement). In DB223AABTH/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
8M2M357WQ0 8M2M357WQ0
| URI | m2://inv/8M2M357WQ0 |
|---|---|
| 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.30237#714Z (statement). In AC2VX701GX/e1, proposition 2.2
History
- 2026-10-31: add by m2/v0.5.6
8M2MEP79C3 8M2MEP79C3
| URI | m2://inv/8M2MEP79C3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02174#YR8J (statement). In 7JPHSV4NXW/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
Positivity on the full range 8M2R4WAEKK
| URI | m2://inv/8M2R4WAEKK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#NLSW, Positivity on the full range (statement)
History
- 2026-11-01: add by m2/v0.6.15
Connected-cut expansion of the multipartite defect 8M307GYADQ
| URI | m2://inv/8M307GYADQ |
|---|---|
| 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#DIMO, Connected-cut expansion of the multipartite defect (statement). In 14AMXF6X2V/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.12
Darboux sum 8M32EW4KZ2
| URI | m2://inv/8M32EW4KZ2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/5.1.1/darboux-sum, Darboux sum (concept). In E59CDZA4DP, index, section 5.1.1
History
- 2026-11-01: add by m2/v0.6.13
8M33NHSCS5 8M33NHSCS5
| URI | m2://inv/8M33NHSCS5 |
|---|---|
| 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.23994#CHYA (statement)
History
- 2026-11-02: add by m2/v0.6.17
Angles between flats 8M35NDNXHE
| URI | m2://inv/8M35NDNXHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angles between flats, Angles between flats (definition). Also Wikidata Q17099657
History
- 2026-11-02: add by m2/dev
8M36ZWAYPP 8M36ZWAYPP
| URI | m2://inv/8M36ZWAYPP |
|---|---|
| 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.21477#92BT (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition 8M3EDB7XPB
| URI | m2://inv/8M3EDB7XPB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BCMP network#3IE2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Centered-occurrence property --- preview 8M3H6DS0W0
| URI | m2://inv/8M3H6DS0W0 |
|---|---|
| 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.10950#M8KS, Centered-occurrence property --- preview (statement). In P392PEVRAY/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.3
8M3R7WSZX7 8M3R7WSZX7
| URI | m2://inv/8M3R7WSZX7 |
|---|---|
| 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 2407.12231#DMQC (statement). In W44N3VEC6H/e1, proposition 8
History
- 2026-10-27: add by m2/v0.3.6
Hard objective and comparison oracle 8M40X6PC6E
| URI | m2://inv/8M40X6PC6E |
|---|---|
| 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.01843#MTYQ, Hard objective and comparison oracle (statement). In EDG9ZFDSWK/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Commercial code 8M41Q6GHZD
| URI | m2://inv/8M41Q6GHZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commercial code (communications), Commercial code (definition). Also Wikidata Q5152551
History
- 2026-11-02: add by m2/dev
Basic properties 8M48W48WNR
| URI | m2://inv/8M48W48WNR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smoothness#WZQT, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Infinite regress 8M4CEPH1R1
| URI | m2://inv/8M4CEPH1R1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite regress, Infinite regress (definition). Also Wikidata Q1662395
History
- 2026-11-02: add by m2/dev
Tarski's plank problem 8M4N19Z3FM
| URI | m2://inv/8M4N19Z3FM |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alfred Tarski#1607, Tarski's plank problem (problem)
History
- 2026-11-02: add by m2/dev
8M4QQ9GCR7 8M4QQ9GCR7
| URI | m2://inv/8M4QQ9GCR7 |
|---|---|
| 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 2605.00407#20I3 (statement). In TVFD0G3F2W/e1, lemma D.2
History
- 2026-10-27: add by m2/v0.3.5
Felipe Cucker 8M51ASFEZS
| URI | m2://inv/8M51ASFEZS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Felipe Cucker, Felipe Cucker (topic). Also Wikidata Q37029316
History
- 2026-11-02: add by m2/dev
8M55PTFVZE 8M55PTFVZE
| URI | m2://inv/8M55PTFVZE |
|---|---|
| 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 2610.20568#YHND (definition). In BCD0ATARNZ/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.2
8M5C33CMGG 8M5C33CMGG
| URI | m2://inv/8M5C33CMGG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20018#Q1VW (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mean value problem 8M5D04RQC1
| URI | m2://inv/8M5D04RQC1 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean value problem, Mean value problem (conjecture). Also Wikidata Q28126647
History
- 2026-11-02: add by m2/dev
8M5K23ZK22 8M5K23ZK22
| URI | m2://inv/8M5K23ZK22 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-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.04314#H1RZ (statement). In AKWTE0M6PE/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.12
Spectral one-step descent 8M5PTQHQZQ
| URI | m2://inv/8M5PTQHQZQ |
|---|---|
| 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#JX8U, Spectral one-step descent (statement). In 6FY8BVP1F3/e1, lemma I.8
History
- 2026-10-29: add by m2/v0.4.12
8M5QBSR1V3 8M5QBSR1V3
| URI | m2://inv/8M5QBSR1V3 |
|---|---|
| Kind | example |
| 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.18078#4NPB (example). In YVK8EFSYNJ/e1, example 3
History
- 2026-10-28: add by m2/v0.4.2
Hardy space conjugate function 8M5T1HDY29
| URI | m2://inv/8M5T1HDY29 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy space#FFHW, Hardy space conjugate function (unknown)
History
- 2026-11-02: add by m2/dev
8M5WFS9RDV 8M5WFS9RDV
| URI | m2://inv/8M5WFS9RDV |
|---|---|
| Kind | conjecture |
| 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.33068#DWPW (conjecture). In V9Z9Z0V5Y0/e1, conjecture
History
- 2026-10-30: add by m2/v0.4.12
Superfluidity 8M5Y47HTH5
| URI | m2://inv/8M5Y47HTH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superfluidity, Superfluidity (definition). Also Wikidata Q106667
History
- 2026-11-02: add by m2/dev
8M65H8CNDS 8M65H8CNDS
| URI | m2://inv/8M65H8CNDS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#P263 (statement). In X923ZEY423/e1, lemma 1.8.4
History
- 2026-10-27: add by m2/v0.3.5
8M6AEZRQZ4 8M6AEZRQZ4
| URI | m2://inv/8M6AEZRQZ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/propositions-as-types/types.tex#defn:type (definition). In PKGMM3P5QY, defn, section 61.5
History
- 2026-11-01: add by m2/v0.6.13
8M6EKCNWJ3 8M6EKCNWJ3
| URI | m2://inv/8M6EKCNWJ3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-8 (exercise). In E59CDZA4DP, exercise, section 8.1.4
History
- 2026-11-01: add by m2/v0.6.13
8M6F5SD0JZ 8M6F5SD0JZ
| URI | m2://inv/8M6F5SD0JZ |
|---|---|
| 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.07608#C2T5 (statement). In X8FQD4TEVG/e1, lemma 3.12
History
- 2026-10-29: add by m2/v0.4.10
Jorge Mateu 8M6VCZ1F45
| URI | m2://inv/8M6VCZ1F45 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jorge Mateu, Jorge Mateu (topic). Also Wikidata Q64857092
History
- 2026-11-02: add by m2/dev
8M6WQ7RMA5 8M6WQ7RMA5
| URI | m2://inv/8M6WQ7RMA5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22560#YSZQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
8M75C27HYK 8M75C27HYK
| URI | m2://inv/8M75C27HYK |
|---|---|
| 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 2610.08776#0UWV (statement). In ZQ4M778EA7/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.10
8M76SRYQ9Q 8M76SRYQ9Q
| URI | m2://inv/8M76SRYQ9Q |
|---|---|
| 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.19637#G8H1 (statement). In VNQ25PZMBT/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Properties 8M7B6BXNYZ
| URI | m2://inv/8M7B6BXNYZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Totally disconnected space#XNJ9, Properties (statement)
History
- 2026-11-02: add by m2/dev
8M7TBD051A 8M7TBD051A
| URI | m2://inv/8M7TBD051A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.16041#ZJQK (statement). In 2GD6NWJVRM/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.3.5
q-Meixner polynomials 8M7TV3XZX5
| URI | m2://inv/8M7TV3XZX5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs#ETBN, q-Meixner polynomials (definition)
History
- 2026-11-02: add by m2/dev
8M80EXJGAA 8M80EXJGAA
| URI | m2://inv/8M80EXJGAA |
|---|---|
| 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 2610.01737#EUWA (definition). In M4JGP708F4/e1, definition 3.32
History
- 2026-10-29: add by m2/v0.4.12
8M8CQ42F0T 8M8CQ42F0T
| URI | m2://inv/8M8CQ42F0T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.35102#TL2N (example). In XK6H7F2F13/e1, example 4.15
History
- 2026-10-30: add by m2/v0.4.12
Chern–Gauss–Bonnet theorem 8M8EX9FV01
| URI | m2://inv/8M8EX9FV01 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q11704319, Chern–Gauss–Bonnet theorem (statement). Also Wikidata Q11704319
- thousand_plus: thousand_plus Q11704319, Chern–Gauss–Bonnet theorem (statement). Also Wikidata Q11704319, Wikipedia Chern–Gauss–Bonnet theorem
- wikipedia: Wikipedia Chern–Gauss–Bonnet theorem, Chern–Gauss–Bonnet theorem (statement). Also Wikidata Q11704319
History
- 2026-10-26: add by m2/dev
8M8GY74X0K 8M8GY74X0K
| URI | m2://inv/8M8GY74X0K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34168#MQJH (statement). In 30YQV8N04M/e1, theorem 1.7
History
- 2026-10-30: add by m2/v0.4.12
Zhiwei Yun 8M8MWK6J46
| URI | m2://inv/8M8MWK6J46 |
|---|---|
| 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#DF38, Zhiwei Yun (topic)
History
- 2026-11-02: add by m2/dev
Hamilton O. Smith 8M8N5A28KG
| URI | m2://inv/8M8N5A28KG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BMMJ, Hamilton O. Smith (unknown)
History
- 2026-11-02: add by m2/dev
Aequationes Mathematicae 8M8R8RW2N6
| URI | m2://inv/8M8R8RW2N6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aequationes Mathematicae, Aequationes Mathematicae (definition). Also Wikidata Q13363328
History
- 2026-11-02: add by m2/dev
8M8SFQVQXN 8M8SFQVQXN
| URI | m2://inv/8M8SFQVQXN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-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.18070#W62B (example). In RASQS0FG8A/e1, example 1.2
History
- 2026-10-28: add by m2/v0.4.2
polarization 8M8SXFDYBV
| URI | m2://inv/8M8SXFDYBV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#FAAU, polarization (definition)
History
- 2026-11-02: add by m2/dev
8M92GG6H6E 8M92GG6H6E
| URI | m2://inv/8M92GG6H6E |
|---|---|
| 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.18562#592Y (statement). In 793KXAR957/e1, corollary 3.12
History
- 2026-10-28: add by m2/v0.4.2
Certificate, second arc, band \texorpdfstring{$\mathsf C$}{C}-sub-part 8M94ZA85TK
| URI | m2://inv/8M94ZA85TK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#BCS6, Certificate, second arc, band \texorpdfstring{$\mathsf C$}{C}-sub-part (statement)
History
- 2026-11-01: add by m2/v0.6.15
8M9ASSJP1Q 8M9ASSJP1Q
| URI | m2://inv/8M9ASSJP1Q |
|---|---|
| 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.22374#B9DX (statement)
History
- 2026-11-02: add by m2/v0.6.17
Vector analysis 8M9BCGZJ06
| URI | m2://inv/8M9BCGZJ06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#91MV, Vector analysis (definition)
History
- 2026-11-02: add by m2/dev
Shape dissection 8M9VS01T00
| URI | m2://inv/8M9VS01T00 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of combinatorial computational geometry topics#1UQP, Shape dissection (problem)
History
- 2026-11-02: add by m2/dev
8M9WP59C5M 8M9WP59C5M
| URI | m2://inv/8M9WP59C5M |
|---|---|
| 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.21540#E1J4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
8MACZ26BDA 8MACZ26BDA
| URI | m2://inv/8MACZ26BDA |
|---|---|
| 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.00584#0PUQ (statement). In 3CRSR95BNA/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
Parallel Transport 8MACZG35CA
| URI | m2://inv/8MACZG35CA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17004#3Y6S, Parallel Transport (definition). In XNJGNMS6H0/e1, definition B.9
History
- 2026-10-28: add by m2/v0.4.2
A weak law of large numbers for mixing sequences 8MAG00J0AZ
| URI | m2://inv/8MAG00J0AZ |
|---|---|
| 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.20772#P1EH, A weak law of large numbers for mixing sequences (statement)
History
- 2026-11-02: add by m2/v0.6.18
Scytale 8MAGPZYXBW
| URI | m2://inv/8MAGPZYXBW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scytale, Scytale (definition). Also Wikidata Q869360
History
- 2026-11-02: add by m2/dev
8MANHTH6RW 8MANHTH6RW
| URI | m2://inv/8MANHTH6RW |
|---|---|
| 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.05804#6DZA (statement). In 8CBVCXJ17A/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
Janko group 8MASZTY8AX
| URI | m2://inv/8MASZTY8AX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#L049, Janko group (definition)
History
- 2026-11-02: add by m2/dev
8MAX3N6RVN 8MAX3N6RVN
| URI | m2://inv/8MAX3N6RVN |
|---|---|
| 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.26033#ZT4Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
8MAXE26DGK 8MAXE26DGK
| URI | m2://inv/8MAXE26DGK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20489#1PY8 (statement). In BJ8JJZ0ZWT/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
8MAYSXR207 8MAYSXR207
| URI | m2://inv/8MAYSXR207 |
|---|---|
| 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 0903.1504#UMDJ (example). In D5YZ438QTY/e1, example 3.3
History
- 2026-10-27: add by m2/v0.3.5
8MBFHEMA67 8MBFHEMA67
| URI | m2://inv/8MBFHEMA67 |
|---|---|
| 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 2209.01576#2GL9 (statement). In EF0X4TKTR4/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.3.5
8MBHZ5KE7E 8MBHZ5KE7E
| URI | m2://inv/8MBHZ5KE7E |
|---|---|
| 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.22769#9S2Y (statement)
History
- 2026-11-02: add by m2/v0.6.17
The isolated $n=0$ term 8MBKAP1ZFA
| URI | m2://inv/8MBKAP1ZFA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34016#FI6D, The isolated $n=0$ term (statement). In 1E4AJ49FWV/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
8MBNB3PHJN 8MBNB3PHJN
| URI | m2://inv/8MBNB3PHJN |
|---|---|
| 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.21403#ASVA (statement)
History
- 2026-11-02: add by m2/v0.6.18
Charles W. Misner 8MBPEVBKM7
| URI | m2://inv/8MBPEVBKM7 |
|---|---|
| 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 Q364238, Charles W. Misner (unknown). Also nLab Charles Misner
History
- 2026-10-26: add by m2/dev
8MBV3Q21M0 8MBV3Q21M0
| URI | m2://inv/8MBV3Q21M0 |
|---|---|
| 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.27152#UKPX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Donsker--Varadhan variational formula 8MC1B9H33R
| URI | m2://inv/8MC1B9H33R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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 2609.27766#O1D5, Donsker--Varadhan variational formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
Darwin, John 8MC2TFP4GC
| URI | m2://inv/8MC2TFP4GC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#221W, Darwin, John (topic)
History
- 2026-11-02: add by m2/dev
8MC9ZG1H0S 8MC9ZG1H0S
| URI | m2://inv/8MC9ZG1H0S |
|---|---|
| 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 2609.23847#Q8MB (definition)
History
- 2026-11-02: add by m2/v0.6.17
\lean{V\_model 8MCS4CMXTW
| URI | m2://inv/8MCS4CMXTW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23143#48SZ, \lean{V\_model (statement)
History
- 2026-11-02: add by m2/v0.6.17
Naomi Jochnowitz 8MCZFEKZN8
| URI | m2://inv/8MCZFEKZN8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Naomi Jochnowitz, Naomi Jochnowitz (topic). Also Wikidata Q66934738
History
- 2026-11-02: add by m2/dev
Full entropy 8MD03QM1KM
| URI | m2://inv/8MD03QM1KM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Full entropy, Full entropy (definition). Also Wikidata Q123450832
History
- 2026-11-02: add by m2/dev
8MD6B6TMPA 8MD6B6TMPA
| URI | m2://inv/8MD6B6TMPA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39430#1KXV (statement). In 6FH24CYAMW/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
Consistency of global main effect factor and refitted loading estimators 8MDCKDGMQY
| URI | m2://inv/8MDCKDGMQY |
|---|---|
| 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.18335#JDAY, Consistency of global main effect factor and refitted loading estimators (statement). In XKN1C8Y9SD/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
Teiji Takagi 8MDFN62Z3S
| URI | m2://inv/8MDFN62Z3S |
|---|---|
| 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#FACF, Teiji Takagi (topic)
History
- 2026-11-02: add by m2/dev
Lemma 1 8MDN9SNRPJ
| URI | m2://inv/8MDN9SNRPJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McNaughton's theorem#UXID, Lemma 1 (statement)
History
- 2026-11-02: add by m2/dev
8MDSDQ3C22 8MDSDQ3C22
| URI | m2://inv/8MDSDQ3C22 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.24545#DGUA (statement)
History
- 2026-11-01: add by m2/v0.6.15
8MDVDNDYY3 8MDVDNDYY3
| URI | m2://inv/8MDVDNDYY3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-22 (exercise). In E9HS8K3A52, exercise, section 2.2.8
History
- 2026-11-01: add by m2/v0.6.13
Angela Dean 8MDVKT0006
| URI | m2://inv/8MDVKT0006 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angela Dean, Angela Dean (topic). Also Wikidata Q43784046
History
- 2026-11-02: add by m2/dev
Stretched exponential function 8MDZFD4824
| URI | m2://inv/8MDZFD4824 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stretched exponential function, Stretched exponential function (definition). Also Wikidata Q849591
History
- 2026-11-02: add by m2/dev
Measurability of the every-window functionals 8ME153Q9A6
| URI | m2://inv/8ME153Q9A6 |
|---|---|
| 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.16351#LXFM, Measurability of the every-window functionals (statement). In 1QSV7EQE3T/e1, lemma S23
History
- 2026-10-28: add by m2/v0.4.2
Colonies 8ME4BRDVPC
| URI | m2://inv/8ME4BRDVPC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#O1R1, Colonies (definition). In WD2NCBV9F0/e1, definition 12.3
History
- 2026-10-27: add by m2/v0.3.5
Bidiakis cube 8ME8CHQ4QD
| URI | m2://inv/8ME8CHQ4QD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q970994, Bidiakis cube (unknown). Also House of Graphs 6632, MathWorld BidiakisCube
- wikipedia: Wikipedia Bidiakis cube, Bidiakis cube (definition). Also Wikidata Q970994
History
- 2026-10-26: add by m2/dev
8MECQS0NME 8MECQS0NME
| URI | m2://inv/8MECQS0NME |
|---|---|
| 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 2609.29107#80XM (definition)
History
- 2026-11-01: add by m2/v0.6.15
Zvyozdny, Perm Krai 8MEEE9Q4R9
| URI | m2://inv/8MEEE9Q4R9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#6YH1, Zvyozdny, Perm Krai (unknown)
History
- 2026-11-02: add by m2/dev
Wolfgang A. Tomé 8MEQHXFS4A
| URI | m2://inv/8MEQHXFS4A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#H459, Wolfgang A. Tomé (unknown)
History
- 2026-11-02: add by m2/dev
Bhattacharyya distance 8MEX8DPKSK
| URI | m2://inv/8MEX8DPKSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bhattacharyya distance, Bhattacharyya distance (definition). Also Wikidata Q2901249
History
- 2026-11-02: add by m2/dev
Flat 8MEY7Y85JW
| URI | m2://inv/8MEY7Y85JW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flat (geometry), Flat (definition). Also Wikidata Q2024397
History
- 2026-11-02: add by m2/dev
8MEZEW69MB 8MEZEW69MB
| URI | m2://inv/8MEZEW69MB |
|---|---|
| Kind | definition |
| 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 2311.16205#EY14 (definition). In 3GE9PS9AH0/e1, definition 3.0.2
History
- 2026-10-27: add by m2/v0.3.5
Variations 8MEZYHEVYZ
| URI | m2://inv/8MEZYHEVYZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagonal trapezohedron#X5HT, Variations (statement)
History
- 2026-11-02: add by m2/dev
Gauss’s pivot 8MF1A7RAMY
| URI | m2://inv/8MF1A7RAMY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Solving systems of linear inequalities > Gauss’s pivot, Gauss’s pivot (unknown)
History
- 2026-10-26: add by m2/dev
8MF4BCTMBS 8MF4BCTMBS
| URI | m2://inv/8MF4BCTMBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#H9UD (statement). In 13H5BTAXHF/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.5
Frédéric Riesz 8MF5H4B6NB
| URI | m2://inv/8MF5H4B6NB |
|---|---|
| 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#G7HL, Frédéric Riesz (topic)
History
- 2026-11-02: add by m2/dev
monotonic function 8MFDY4G2EH
| URI | m2://inv/8MFDY4G2EH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Monotone function 0A7KV2WB7A |
Mentions
- wikidata: Wikidata Q194404, monotonic function (unknown). Also MathWorld MonotonicFunction
- wikipedia: Wikipedia Monotonic function, Monotonic function (definition). Also Wikidata Q194404
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
René Goormaghtigh 8MFKN614GK
| URI | m2://inv/8MFKN614GK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia René Goormaghtigh, René Goormaghtigh (topic). Also Wikidata Q7313719
History
- 2026-11-02: add by m2/dev
angle bisector 8MFMRD1XM4
| URI | m2://inv/8MFMRD1XM4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q27809, angle bisector (unknown). Also MathWorld AngleBisector
History
- 2026-10-26: add by m2/dev
Definitions 8MFRKDC684
| URI | m2://inv/8MFRKDC684 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Groupoid#ETKT, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Statement 8MFSF23ZQH
| URI | m2://inv/8MFSF23ZQH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sato–Tate conjecture#HV8I, Statement (statement)
History
- 2026-11-02: add by m2/dev
Method 8MFXCMQSYG
| URI | m2://inv/8MFXCMQSYG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flow-based generative model#MC71, Method (definition)
History
- 2026-11-02: add by m2/dev
Frobenius theorem 8MG0SHJFAF
| URI | m2://inv/8MG0SHJFAF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear control#0CRJ, Frobenius theorem (statement)
History
- 2026-11-02: add by m2/dev
Mrs. Miniver's problem 8MG3DX2ACV
| URI | m2://inv/8MG3DX2ACV |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mrs. Miniver's problem, Mrs. Miniver's problem (problem). Also Wikidata Q6929825
History
- 2026-11-02: add by m2/dev
David Kent Harrison 8MG991HBDQ
| URI | m2://inv/8MG991HBDQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Kent Harrison, David Kent Harrison (topic). Also Wikidata Q56163369
History
- 2026-11-02: add by m2/dev
Cumulative remainders for general learning rates 8MGA1KQHZX
| URI | m2://inv/8MGA1KQHZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11309#V8T9, Cumulative remainders for general learning rates (statement). In TTEAQA1XXR/e1, lemma B.3
History
- 2026-10-28: add by m2/v0.4.3
Krumbein, William C. 8MGBZ1136Z
| URI | m2://inv/8MGBZ1136Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#H2VO, Krumbein, William C. (unknown)
History
- 2026-11-02: add by m2/dev
Definition 8MGDWHBVVW
| URI | m2://inv/8MGDWHBVVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stirling numbers of the second kind#WDG2, Definition (definition)
History
- 2026-11-02: add by m2/dev
8MGGVAZDAA 8MGGVAZDAA
| URI | m2://inv/8MGGVAZDAA |
|---|---|
| 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.06724#XAHI (statement). In W5XG3PGVF1/e1, corollary C.23
History
- 2026-10-29: add by m2/v0.4.10
8MGMJASJ75 8MGMJASJ75
| URI | m2://inv/8MGMJASJ75 |
|---|---|
| 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.21403#B9IX (statement)
History
- 2026-11-02: add by m2/v0.6.18
8MGPKPQRQJ 8MGPKPQRQJ
| URI | m2://inv/8MGPKPQRQJ |
|---|---|
| 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#U7VK (statement). In CVESAPNMCQ/e1, corollary 5.16
History
- 2026-10-28: add by m2/v0.4.2
Frank Anscombe 8MGQ5C75HR
| URI | m2://inv/8MGQ5C75HR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank Anscombe, Frank Anscombe (topic). Also Wikidata Q3896195
History
- 2026-11-02: add by m2/dev
Lah number 8MGZXFW8BV
| URI | m2://inv/8MGZXFW8BV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#9YA5, Lah number (definition)
History
- 2026-11-02: add by m2/dev
Randomization 8MH0WYKYE1
| URI | m2://inv/8MH0WYKYE1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomization, Randomization (definition). Also Wikidata Q1363085
History
- 2026-11-02: add by m2/dev
List of alternative set theories 8MH15Z7NAR
| URI | m2://inv/8MH15Z7NAR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of alternative set theories, List of alternative set theories (topic). Also Wikidata Q681771
History
- 2026-11-02: add by m2/dev
8MH56ABZWG 8MH56ABZWG
| URI | m2://inv/8MH56ABZWG |
|---|---|
| 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.37747#51WF (statement). In GEYDNVZEP7/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
8MHC5BE7ES 8MHC5BE7ES
| URI | m2://inv/8MHC5BE7ES |
|---|---|
| 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#1G53 (statement). In WNFW6GY38C/e1, corollary 5.7
History
- 2026-10-30: add by m2/v0.4.12
Varying-coefficient rare-refresh checkerboard 8MHCWJ669Y
| URI | m2://inv/8MHCWJ669Y |
|---|---|
| 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.10860#KG15, Varying-coefficient rare-refresh checkerboard (statement). In PBYNV2WF2H/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.3
long division 8MJ1TZGMXJ
| URI | m2://inv/8MJ1TZGMXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1854385, long division (unknown). Also MathWorld LongDivision
- wikipedia: Wikipedia Long division, Long division (definition). Also Wikidata Q1854385
History
- 2026-10-26: add by m2/dev
8MJ6604EVR 8MJ6604EVR
| URI | m2://inv/8MJ6604EVR |
|---|---|
| Kind | example |
| 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.38014#EOB8 (example). In F3X5W4E0AJ/e1, example 1
History
- 2026-10-30: add by m2/v0.4.12
8MJ94DTC3J 8MJ94DTC3J
| URI | m2://inv/8MJ94DTC3J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#P2M1 (definition). In X47RYAZF8P/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Compression Wins by Saving More Tax Than It Loses 8MJM5EX8MZ
| URI | m2://inv/8MJM5EX8MZ |
|---|---|
| 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.03769#DFWR, Compression Wins by Saving More Tax Than It Loses (statement). In 35DNCV14M4/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
8MJNRAY44Y 8MJNRAY44Y
| URI | m2://inv/8MJNRAY44Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/reducts-and-expansions.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 46.6
History
- 2026-11-01: add by m2/v0.6.13
8MJSRGY9FS 8MJSRGY9FS
| URI | m2://inv/8MJSRGY9FS |
|---|---|
| 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.16875#FOOT (statement). In KS30K5JXGB/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.2
8MJT2WJG5Y 8MJT2WJG5Y
| URI | m2://inv/8MJT2WJG5Y |
|---|---|
| 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.12736#7D82 (statement). In 5350Q52F6P/e1, proposition 9.2
History
- 2026-10-28: add by m2/v0.4.2
Margaret Rock 8MKAJKXKVE
| URI | m2://inv/8MKAJKXKVE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Margaret Rock, Margaret Rock (topic). Also Wikidata Q15994711
History
- 2026-11-02: add by m2/dev
Per Martin-Löf 8MKBS213M7
| URI | m2://inv/8MKBS213M7 |
|---|---|
| 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 Q2067227, Per Martin-Löf (unknown). Also nLab Per Martin-Löf
- wikipedia: Wikipedia Per Martin-Löf, Per Martin-Löf (topic). Also Wikidata Q2067227
History
- 2026-10-26: add by m2/dev
Prescribed-phase obstruction 8MKEP766AD
| URI | m2://inv/8MKEP766AD |
|---|---|
| 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.01329#LAVQ, Prescribed-phase obstruction (statement). In 7XEVYJKJ5C/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.12
q-Pochhammer symbol 8MKPCWJDEX
| URI | m2://inv/8MKPCWJDEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | q-Pochhammer symbol Y1X8ZZQ7VM |
Mentions
- wikidata: Wikidata Q518706, q-Pochhammer symbol (unknown). Also MathWorld q-PochhammerSymbol
- wikipedia: Wikipedia Q-Pochhammer symbol, Q-Pochhammer symbol (definition). Also Wikidata Q518706
History
- 2026-10-26: add by m2/dev
Tricky 8MKR82BXA4
| URI | m2://inv/8MKR82BXA4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-16, Tricky (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13
face 8MKRB8Z3NJ
| URI | m2://inv/8MKRB8Z3NJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#ZKR0, face (definition)
History
- 2026-11-02: add by m2/dev
Limiting weak-type behavior 8MKTQ0MEHJ
| URI | m2://inv/8MKTQ0MEHJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32387#H2XP, Limiting weak-type behavior (statement). In 294BQKZEDQ/e1, theorem 1.4
History
- 2026-10-31: add by m2/v0.5.6
Definitions 8MKVA88J7E
| URI | m2://inv/8MKVA88J7E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cederbaum's maximum flow theorem#ZJQS, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Properties 8MKXANQ77B
| URI | m2://inv/8MKXANQ77B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volterra operator#ZPQE, Properties (statement)
History
- 2026-11-02: add by m2/dev
Jonathan Pila 8MM1XA97N9
| URI | m2://inv/8MM1XA97N9 |
|---|---|
| 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#U4Z4, Jonathan Pila (topic)
History
- 2026-11-02: add by m2/dev
8MM78DA4XW 8MM78DA4XW
| URI | m2://inv/8MM78DA4XW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2411.00562#STAJ (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
Nonhomogeneous (or inhomogeneous) 8MM7JEV44P
| URI | m2://inv/8MM7JEV44P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinary differential equation#MYVE, Nonhomogeneous (or inhomogeneous) (definition)
History
- 2026-11-02: add by m2/dev
Plane equation 8MMCXJHF9P
| URI | m2://inv/8MMCXJHF9P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean planes in three-dimensional space#4DTE, Plane equation (unknown)
History
- 2026-11-02: add by m2/dev
8MMJ95V1EP 8MMJ95V1EP
| URI | m2://inv/8MMJ95V1EP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.36403#L2PZ (statement). In A4XGTS3QXQ/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
B4 polytope 8MMPS7H49A
| URI | m2://inv/8MMPS7H49A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia B4 polytope, B4 polytope (definition). Also Wikidata Q21067803
History
- 2026-11-02: add by m2/dev
Infinity 8MMXGJNJF8
| URI | m2://inv/8MMXGJNJF8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/z/infinity-again.tex#axiom-1, Infinity (statement). In PKGMM3P5QY, axiom, section 76.3
History
- 2026-11-01: add by m2/v0.6.13
Normal-basis induction 8MN6S7SP6W
| URI | m2://inv/8MN6S7SP6W |
|---|---|
| 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.00364#D9TF, Normal-basis induction (statement). In ANR3DHYQPQ/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
Rational reciprocity laws 8MNMV6CG0R
| URI | m2://inv/8MNMV6CG0R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reciprocity law#FRF8, Rational reciprocity laws (statement)
History
- 2026-11-02: add by m2/dev
8MNPTG0XQA 8MNPTG0XQA
| URI | m2://inv/8MNPTG0XQA |
|---|---|
| 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 1002.0879#P23X (statement). In M0SQY5EZN5/e1, theorem 2.8.14
History
- 2026-10-27: add by m2/v0.3.5
8MNQJYVBKE 8MNQJYVBKE
| URI | m2://inv/8MNQJYVBKE |
|---|---|
| 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.31242#AHMI (statement). In 3NPRR9546C/e1, lemma 3.8
History
- 2026-10-31: add by m2/v0.5.6
Donald A. Martin 8MNZ40NQAM
| URI | m2://inv/8MNZ40NQAM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5DAT, Donald A. Martin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DJV3, Donald A. Martin (topic)
History
- 2026-11-02: add by m2/dev
Coverage probability 8MP4K6YZHZ
| URI | m2://inv/8MP4K6YZHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coverage probability, Coverage probability (definition). Also Wikidata Q5179217
History
- 2026-11-02: add by m2/dev
8MPBEW7E1E 8MPBEW7E1E
| URI | m2://inv/8MPBEW7E1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19658#T8B3 (statement). In G00EYA9DXG/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
P1 8MPDBRXXNH
| URI | m2://inv/8MPDBRXXNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P1 (space group), P1 (definition). Also Wikidata Q138299527
History
- 2026-11-02: add by m2/dev
Statement 8MPGBZ9HRP
| URI | m2://inv/8MPGBZ9HRP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernstein's problem#YR4T, Statement (statement)
History
- 2026-11-02: add by m2/dev
8MPP1STQP5 8MPP1STQP5
| URI | m2://inv/8MPP1STQP5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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 1904.08413#N55S (example). In X88HPQ0W8C/e1, example 2.38
History
- 2026-10-27: add by m2/v0.3.5
Predictor dynamics 8MPVWC6CPA
| URI | m2://inv/8MPVWC6CPA |
|---|---|
| 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.34938#DA9Z, Predictor dynamics (statement). In N57GZ5N6E1/e1, proposition 5
History
- 2026-10-30: add by m2/v0.4.12
Paul R. Rosenbaum 8MQ10779AT
| URI | m2://inv/8MQ10779AT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#HOX9, Paul R. Rosenbaum (unknown)
History
- 2026-11-02: add by m2/dev
Interpolation formula 8MQ1D89V0X
| URI | m2://inv/8MQ1D89V0X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brahmagupta#SAO3, Interpolation formula (statement)
History
- 2026-11-02: add by m2/dev
8MQ4ESV6R6 8MQ4ESV6R6
| URI | m2://inv/8MQ4ESV6R6 |
|---|---|
| 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.21963#ZK7U (statement). In HR9R8RPKN8/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.4.2
Bôcher's theorem 8MQ5RZR4NR
| URI | m2://inv/8MQ5RZR4NR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5005143, Bôcher's theorem (statement). Also Wikidata Q5005143
- thousand_plus: thousand_plus Q5005143, Bôcher's theorem (statement). Also Wikidata Q5005143, Wikipedia Bôcher's theorem
- wikipedia: Wikipedia Bôcher's theorem, Bôcher's theorem (statement). Also Wikidata Q5005143
History
- 2026-10-26: add by m2/dev
Examples 8MQ7KJ174W
| URI | m2://inv/8MQ7KJ174W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributive property#9BAS, Examples (example)
History
- 2026-11-02: add by m2/dev
Procrustes transformation 8MQBD070MH
| URI | m2://inv/8MQBD070MH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Procrustes transformation, Procrustes transformation (definition). Also Wikidata Q7247490
History
- 2026-11-02: add by m2/dev
$\bot$ Inversion 8MQJFQYJT2
| URI | m2://inv/8MQJFQYJT2 |
|---|---|
| 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 2506.16491#5VL1, $\bot$ Inversion (statement). In P9J6P06Y40/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.5
Hypothesis testing 8MQME05FRK
| URI | m2://inv/8MQME05FRK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinary least squares#6ERP, Hypothesis testing (statement)
History
- 2026-11-02: add by m2/dev
Terminology 8MQMX80AK5
| URI | m2://inv/8MQMX80AK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Temporal fair division#TCWM, Terminology (definition)
History
- 2026-11-02: add by m2/dev
evectant 8MQN6GG8WT
| URI | m2://inv/8MQN6GG8WT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#8D12, evectant (definition)
History
- 2026-11-02: add by m2/dev
Applications 8MQTHDPAM3
| URI | m2://inv/8MQTHDPAM3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qubit#37ZM, Applications (example)
History
- 2026-11-02: add by m2/dev
8MQWM6FKEN 8MQWM6FKEN
| URI | m2://inv/8MQWM6FKEN |
|---|---|
| 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.16704#2B4E (statement). In Q7CWPC7PXY/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Doléans-Dade exponential 8MQY0F53S0
| URI | m2://inv/8MQY0F53S0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#9RQQ, Doléans-Dade exponential (definition)
History
- 2026-11-02: add by m2/dev
Erdős–Rényi model 8MQYH7TY0J
| URI | m2://inv/8MQYH7TY0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Rényi model, Erdős–Rényi model (definition). Also Wikidata Q605807
History
- 2026-11-02: add by m2/dev
Examples 8MQZ539XDR
| URI | m2://inv/8MQZ539XDR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surface of class VII#33D2, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples 8MR3TSJ853
| URI | m2://inv/8MR3TSJ853 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal polytope#7VLO, Examples (example)
History
- 2026-11-02: add by m2/dev
8MR6GV0FW1 8MR6GV0FW1
| URI | m2://inv/8MR6GV0FW1 |
|---|---|
| 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.19251#1O10 (statement). In CSW6NG0FRN/e1, theorem 4.15
History
- 2026-10-28: add by m2/v0.4.2
Polynomial evaluation 8MR9KTWN3D
| URI | m2://inv/8MR9KTWN3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial evaluation, Polynomial evaluation (definition). Also Wikidata Q107058149
History
- 2026-11-02: add by m2/dev
8MRC4SBJ86 8MRC4SBJ86
| URI | m2://inv/8MRC4SBJ86 |
|---|---|
| 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.26500#2DHO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Topology 8MRDBWX49V
| URI | m2://inv/8MRDBWX49V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#TGTN, Topology (definition)
History
- 2026-11-02: add by m2/dev
Definition 8MREXHD8Q0
| URI | m2://inv/8MREXHD8Q0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounding point#E4DL, Definition (definition)
History
- 2026-11-02: add by m2/dev
8MRGGXV2TF 8MRGGXV2TF
| URI | m2://inv/8MRGGXV2TF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26592#YLH5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Methods Used in teaching Grammar 8MRJ61P4T6
| URI | m2://inv/8MRJ61P4T6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grammar#4PAW, Methods Used in teaching Grammar (unknown)
History
- 2026-11-02: add by m2/dev
8MRN741VDD 8MRN741VDD
| URI | m2://inv/8MRN741VDD |
|---|---|
| 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 2308.05066#M6Y2 (statement). In 1QSCT53ZED/e1, theorem 8.7
History
- 2026-10-27: add by m2/v0.4.0
Weierstrass eta function 8MRPG7AZV3
| URI | m2://inv/8MRPG7AZV3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weierstrass sigma, zeta, and eta functions#9AAH, Weierstrass eta function (unknown)
History
- 2026-11-02: add by m2/dev
8MRQM7RFPQ 8MRQM7RFPQ
| URI | m2://inv/8MRQM7RFPQ |
|---|---|
| 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#HA06 (definition). In VD4JP4HVBX/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Lemma 8MRSHSFB8X
| URI | m2://inv/8MRSHSFB8X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omega-regular language#I5K6, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Kolmogorov's criterion 8MRYSWXYTG
| URI | m2://inv/8MRYSWXYTG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov's criterion, Kolmogorov's criterion (statement). Also Wikidata Q5638293
History
- 2026-11-02: add by m2/dev
8MS3V6XKYY 8MS3V6XKYY
| URI | m2://inv/8MS3V6XKYY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-trees.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
8MS4457M78 8MS4457M78
| URI | m2://inv/8MS4457M78 |
|---|---|
| Kind | conjecture |
| 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.20028#5K6N (conjecture)
History
- 2026-11-02: add by m2/v0.6.18
Applications 8MS6TWTJ27
| URI | m2://inv/8MS6TWTJ27 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan–Hadamard conjecture#96HH, Applications (example)
History
- 2026-11-02: add by m2/dev
8MSBFE8SSP 8MSBFE8SSP
| URI | m2://inv/8MSBFE8SSP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.11021#IGJN (statement). In B2ZK4DF2PM/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.0
Thomas Ludlum 8MSDW2R7CH
| URI | m2://inv/8MSDW2R7CH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Ludlam#4NYI, Thomas Ludlum (unknown)
History
- 2026-11-02: add by m2/dev
8MSJ3YYMD8 8MSJ3YYMD8
| URI | m2://inv/8MSJ3YYMD8 |
|---|---|
| Kind | definition |
| 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 2604.10080#PMJN (definition). In KM2FWKP93A/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.0
8MSNTCMT0G 8MSNTCMT0G
| URI | m2://inv/8MSNTCMT0G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#VOEU (statement). In X923ZEY423/e1, lemma 1.4.1
History
- 2026-10-27: add by m2/v0.3.5
Structural proof theory 8MSQBKMACY
| URI | m2://inv/8MSQBKMACY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structural proof theory, Structural proof theory (definition). Also Wikidata Q7625047
History
- 2026-11-02: add by m2/dev
8MSWZNR7E5 8MSWZNR7E5
| URI | m2://inv/8MSWZNR7E5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36714#TNPV (example). In Z2BKQBEMTQ/e1, example 3.4
History
- 2026-10-30: add by m2/v0.4.12
8MSZXR2WR6 8MSZXR2WR6
| URI | m2://inv/8MSZXR2WR6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15942#O3W6 (statement). In E1X1SEPNJZ/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
You are either with us, or against us 8MT1V0CAST
| URI | m2://inv/8MT1V0CAST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia You are either with us, or against us, You are either with us, or against us (definition). Also Wikidata Q3357888
History
- 2026-11-02: add by m2/dev
Reduced (Truncated) Group Rings 8MT6GE03AV
| URI | m2://inv/8MT6GE03AV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22560#7F0L, Reduced (Truncated) Group Rings (definition)
History
- 2026-11-02: add by m2/v0.6.17
Joseph L. Walsh 8MTG27HX7Y
| URI | m2://inv/8MTG27HX7Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5FJY, Joseph L. Walsh (topic)
History
- 2026-11-02: add by m2/dev
Second-generation wavelet transform 8MTGX73TYR
| URI | m2://inv/8MTGX73TYR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second-generation wavelet transform, Second-generation wavelet transform (definition). Also Wikidata Q7443700
History
- 2026-11-02: add by m2/dev
Truncated 6-cubes 8MTK4QQR54
| URI | m2://inv/8MTK4QQR54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated 6-cubes, Truncated 6-cubes (definition). Also Wikidata Q7847859
History
- 2026-11-02: add by m2/dev
8MV315SV8X 8MV315SV8X
| URI | m2://inv/8MV315SV8X |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#5R0Y (conjecture). In XGPZ0G9E1Q/e1, conjecture 7.18
History
- 2026-10-29: add by m2/v0.4.12
8MV3NAGMC0 8MV3NAGMC0
| URI | m2://inv/8MV3NAGMC0 |
|---|---|
| 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.34236#F9QM (statement). In 203FGMHAE9/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
8MV5ER6NK4 8MV5ER6NK4
| URI | m2://inv/8MV5ER6NK4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#1XTI (statement). In 6HJQXZS0A6/e1, lemma 6.7
History
- 2026-10-29: add by m2/v0.4.12
Local multiplicities 8MVB7ZXGD8
| URI | m2://inv/8MVB7ZXGD8 |
|---|---|
| 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 2610.02806#J99C, Local multiplicities (statement). In F4A354Y5NC/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
Artin--Schreier coordinate and norm estimates 8MVD630Y6Z
| URI | m2://inv/8MVD630Y6Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#8JTQ, Artin--Schreier coordinate and norm estimates (statement). In 7NS75J7HAM/e1, lemma 7.12
History
- 2026-10-31: add by m2/v0.5.6
John Wesley Young 8MVDBXFZPV
| URI | m2://inv/8MVDBXFZPV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Wesley Young, John Wesley Young (topic). Also Wikidata Q3956787
History
- 2026-11-02: add by m2/dev
Principle of Inclusion-Exclusion 8MVKRJ3PQ4
| URI | m2://inv/8MVKRJ3PQ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_statement.ptx#thm_inclusion-exclusion, Principle of Inclusion-Exclusion (statement). In QKM9DD2H56, theorem, section 7.2
History
- 2026-11-01: add by m2/v0.6.13
Tropical analysis 8MVWQQTTTZ
| URI | m2://inv/8MVWQQTTTZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tropical analysis, Tropical analysis (topic). Also Wikidata Q60791881
History
- 2026-11-02: add by m2/dev
8MVXCQWJ38 8MVXCQWJ38
| URI | m2://inv/8MVXCQWJ38 |
|---|---|
| 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.24845#5GRO (example)
History
- 2026-11-01: add by m2/v0.6.15
Example 8MVYKC4515
| URI | m2://inv/8MVYKC4515 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logistic regression#8K0M, Example (example)
History
- 2026-11-02: add by m2/dev
isoperimetric inequality 8MW4N210P3
| URI | m2://inv/8MW4N210P3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | Isoperimetric inequality KBX8RBZ626 |
Mentions
- mathlib_1000: mathlib_1000 Q617417, Isoperimetric theorem (statement). Also Wikidata Q617417
- thousand_plus: thousand_plus Q617417, Isoperimetric theorem (statement). Also Wikidata Q617417, Wikipedia Isoperimetric theorem
- wikidata: Wikidata Q617417, isoperimetric inequality (statement). Also MathWorld IsoperimetricInequality
- wikipedia: Wikipedia Isoperimetric inequality, Isoperimetric inequality (statement). Also Wikidata Q617417
History
- 2026-10-26: add by m2/dev
8MW8CWQ5KC 8MW8CWQ5KC
| URI | m2://inv/8MW8CWQ5KC |
|---|---|
| Kind | example |
| 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#9ZLS (example). In 6KR7Z5ETRY/e1, example 2.18
History
- 2026-10-27: add by m2/v0.3.5
Florian Pop 8MWNGG6MQE
| URI | m2://inv/8MWNGG6MQE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Florian Pop, Florian Pop (topic). Also Wikidata Q325131
History
- 2026-11-02: add by m2/dev
8MWR5T095M 8MWR5T095M
| URI | m2://inv/8MWR5T095M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1004.4564#SBS7 (statement). In BZ54C9SKYS/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Key finding attacks 8MWSAK0GWT
| URI | m2://inv/8MWSAK0GWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Key finding attacks, Key finding attacks (definition). Also Wikidata Q28455945
History
- 2026-11-02: add by m2/dev
8MWT3EXDGC 8MWT3EXDGC
| URI | m2://inv/8MWT3EXDGC |
|---|---|
| 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.10205#4MQM (statement). In PQGS7NDMDQ/e1, theorem 9
History
- 2026-10-29: add by m2/v0.4.10
8MWWKBE7SZ 8MWWKBE7SZ
| URI | m2://inv/8MWWKBE7SZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25348#EDUG (statement)
History
- 2026-11-01: add by m2/v0.6.15
David Alexander Vogan 8MWZ1VF1CG
| URI | m2://inv/8MWZ1VF1CG |
|---|---|
| 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#SF96, David Alexander Vogan (topic)
History
- 2026-11-02: add by m2/dev
8MX8GPZYY8 8MX8GPZYY8
| URI | m2://inv/8MX8GPZYY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#Z5YV (statement). In CY1FE8W1ZW/e1, corollary 0.130
History
- 2026-10-27: add by m2/v0.4.0
8MXF0FQ3R0 8MXF0FQ3R0
| URI | m2://inv/8MXF0FQ3R0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09506#8ENH (statement). In AQC7E6RAT4/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
8MXF129WHX 8MXF129WHX
| URI | m2://inv/8MXF129WHX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10581#U0KQ (statement). In 6V42A71SPC/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
8MXQAS3GMY 8MXQAS3GMY
| URI | m2://inv/8MXQAS3GMY |
|---|---|
| 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.13888#79H0 (statement). In 2G5K2GZTX7/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.4.0
Federal University of Rio Grande do Sul 8MXSY0GRKB
| URI | m2://inv/8MXSY0GRKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Federal University of Rio Grande do Sul, Federal University of Rio Grande do Sul (definition). Also Wikidata Q766447
History
- 2026-11-02: add by m2/dev
8MY00TWJKK 8MY00TWJKK
| URI | m2://inv/8MY00TWJKK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.03672#83EC (statement). In EZZSZ1F071/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.4.0
8MY2MG13QG 8MY2MG13QG
| URI | m2://inv/8MY2MG13QG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#18DU (statement)
History
- 2026-11-01: add by m2/v0.6.15
8MY3DG0272 8MY3DG0272
| URI | m2://inv/8MY3DG0272 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreInduction.tex#theorem-2 (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
Construction 8MY4JJ96ZD
| URI | m2://inv/8MY4JJ96ZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphericon#1UNX, Construction (definition)
History
- 2026-11-02: add by m2/dev
8MY58G6252 8MY58G6252
| URI | m2://inv/8MY58G6252 |
|---|---|
| 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.30165#3JIQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
8MY7EXNZBZ 8MY7EXNZBZ
| URI | m2://inv/8MY7EXNZBZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-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.39990#HVZD (example). In SH78APY2T8/e1, example
History
- 2026-10-30: add by m2/v0.4.12
Coase theorem 8MY95RFQV8
| URI | m2://inv/8MY95RFQV8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1050037, Coase theorem (statement). Also Wikidata Q1050037
- thousand_plus: thousand_plus Q1050037, Coase theorem (statement). Also Wikidata Q1050037, Wikipedia Coase theorem
- wikipedia: Wikipedia Coase theorem, Coase theorem (statement). Also Wikidata Q1050037
History
- 2026-10-26: add by m2/dev
Reiersøl, Olav 8MYCG44WNZ
| URI | m2://inv/8MYCG44WNZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#FAD7, Reiersøl, Olav (unknown)
History
- 2026-11-02: add by m2/dev
Blitz++ 8MYFKYVTEY
| URI | m2://inv/8MYFKYVTEY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#NC34, Blitz++ (unknown)
History
- 2026-11-02: add by m2/dev
8MZ0343JX0 8MZ0343JX0
| URI | m2://inv/8MZ0343JX0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.08272#D390 (example). In H72E12TYHA/e1, example 1.6
History
- 2026-10-27: add by m2/v0.4.0
Morishima's Theorem on FLT 8MZ2PF4WW2
| URI | m2://inv/8MZ2PF4WW2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taro Morishima#8ANI, Morishima's Theorem on FLT (statement)
History
- 2026-11-02: add by m2/dev
8MZ5A39NQB 8MZ5A39NQB
| URI | m2://inv/8MZ5A39NQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30779#GVMT (statement). In 64V4DXGBKB/e1, lemma 5.2
History
- 2026-10-31: add by m2/v0.5.6
Corollary 2 8MZWRBERSY
| URI | m2://inv/8MZWRBERSY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robinson–Schensted–Knuth correspondence#QL7F, Corollary 2 (statement)
History
- 2026-11-02: add by m2/dev
Theorem 8MZXHYT018
| URI | m2://inv/8MZXHYT018 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cheap talk#TGPP, Theorem (statement)
History
- 2026-11-02: add by m2/dev
8MZY7VWXTB 8MZY7VWXTB
| URI | m2://inv/8MZY7VWXTB |
|---|---|
| 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.38548#8CJS (statement). In Z7ZFV3HM1S/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12