Inventory rows 6M
The cards of the rows of the inventory whose ids start with 6M. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Cromwell's rule 6M0781CT86
| URI | m2://inv/6M0781CT86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MQYI, Cromwell's rule (definition)
History
- 2026-11-02: add by m2/dev
6M0FT4FQAF 6M0FT4FQAF
| URI | m2://inv/6M0FT4FQAF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27136#4DX0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
6M0J5794XC 6M0J5794XC
| URI | m2://inv/6M0J5794XC |
|---|---|
| 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.20077#WEIN (statement). In W5XRKWDADE/e1, lemma 3.9
History
- 2026-10-27: add by m2/v0.4.2
interpolation theorem 6M0K4D8R0G
| URI | m2://inv/6M0K4D8R0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#I951, interpolation theorem (definition)
History
- 2026-11-02: add by m2/dev
Carnot's theorem 6M0Q6JWW6A
| URI | m2://inv/6M0Q6JWW6A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second law of thermodynamics#CN4T, Carnot's theorem (statement)
History
- 2026-11-02: add by m2/dev
6M0T23G23P 6M0T23G23P
| URI | m2://inv/6M0T23G23P |
|---|---|
| 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 0904.2051#3JRQ (statement). In JYRVG8P8KC/e1, corollary 0
History
- 2026-10-27: add by m2/v0.3.5
Mihai Paun 6M0YQD8YYV
| URI | m2://inv/6M0YQD8YYV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3S5E, Mihai Paun (unknown)
History
- 2026-11-02: add by m2/dev
6M104GPZZV 6M104GPZZV
| URI | m2://inv/6M104GPZZV |
|---|---|
| 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.21975#7DLI (statement)
History
- 2026-11-02: add by m2/v0.6.17
Beta prime distribution 6M1K4C8DR9
| URI | m2://inv/6M1K4C8DR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#875Q, Beta prime distribution (definition)
History
- 2026-11-02: add by m2/dev
Results 6M1P4XS28Y
| URI | m2://inv/6M1P4XS28Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biclique attack#UQAX, Results (statement)
History
- 2026-11-02: add by m2/dev
Albert Joseph McConnell 6M1QXNYS8H
| URI | m2://inv/6M1QXNYS8H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albert Joseph McConnell, Albert Joseph McConnell (topic). Also Wikidata Q24004722
History
- 2026-11-02: add by m2/dev
Maxterms 6M1W214JE7
| URI | m2://inv/6M1W214JE7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical normal form#66O8, Maxterms (unknown)
History
- 2026-11-02: add by m2/dev
Hyperrational number 6M1XGRJFQ5
| URI | m2://inv/6M1XGRJFQ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Construction of the real numbers#U9YD, Hyperrational number (unknown)
History
- 2026-11-02: add by m2/dev
6M1YHPRB27 6M1YHPRB27
| URI | m2://inv/6M1YHPRB27 |
|---|---|
| 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.31910#6ROH (statement). In E4EK1XXPY4/e1, proposition 6.6
History
- 2026-10-31: add by m2/v0.5.6
Boundary-support criterion 6M1ZHBCBHB
| URI | m2://inv/6M1ZHBCBHB |
|---|---|
| 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.07404#S2V6, Boundary-support criterion (statement). In VAJ9MBT3SJ/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
Montserrat Teixidor i Bigas 6M25GN3M8Q
| URI | m2://inv/6M25GN3M8Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Montserrat Teixidor i Bigas, Montserrat Teixidor i Bigas (topic). Also Wikidata Q10537046
History
- 2026-11-02: add by m2/dev
Platonic solid 6M2BWD2304
| URI | m2://inv/6M2BWD2304 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#70CW, Platonic solid (definition)
History
- 2026-11-02: add by m2/dev
vertex-transitive graph 6M2DR8XT7K
| URI | m2://inv/6M2DR8XT7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q220997, vertex-transitive graph (unknown). Also MathWorld Vertex-TransitiveGraph
- wikipedia: Wikipedia Vertex-transitive graph, Vertex-transitive graph (definition). Also Wikidata Q220997
History
- 2026-10-26: add by m2/dev
Cryptomator 6M2DYPVKDR
| URI | m2://inv/6M2DYPVKDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptomator, Cryptomator (definition). Also Wikidata Q64024537
History
- 2026-11-02: add by m2/dev
Gallagher 1962 6M2KGA31CZ
| URI | m2://inv/6M2KGA31CZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15809#3GTN, Gallagher 1962 (statement). In 6GBT11XKAF/e1, theorem 1.7
History
- 2026-10-28: add by m2/v0.4.2
6M2PR843PN 6M2PR843PN
| URI | m2://inv/6M2PR843PN |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 16-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.39745#LTZ5 (problem). In V276PQS61M/e1, problem 4.2
History
- 2026-10-30: add by m2/v0.4.12
Properties 6M31GPYPCQ
| URI | m2://inv/6M31GPYPCQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darboux integral#YML1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Filter soundness 6M31WMQ10W
| URI | m2://inv/6M31WMQ10W |
|---|---|
| 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.20492#I2ZN, Filter soundness (statement)
History
- 2026-11-02: add by m2/v0.6.18
6M34C742AS 6M34C742AS
| URI | m2://inv/6M34C742AS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.06310#Y91H (definition). In 9YR0E0T9XA/e1, definition 3.15
History
- 2026-10-27: add by m2/v0.3.5
Annette Imhausen 6M36T840K8
| URI | m2://inv/6M36T840K8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annette Imhausen, Annette Imhausen (topic). Also Wikidata Q566715
History
- 2026-11-02: add by m2/dev
Anytime \CROWD 6M3R701VZR
| URI | m2://inv/6M3R701VZR |
|---|---|
| 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.04671#N867, Anytime \CROWD (statement). In BYP65TRGDT/e1, theorem 5.12
History
- 2026-10-29: add by m2/v0.4.12
6M3WSRK713 6M3WSRK713
| URI | m2://inv/6M3WSRK713 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02158#K8W6 (statement). In PCV12VAD47/e1, lemma 14
History
- 2026-10-29: add by m2/v0.4.12
6M3Y3K1AWY 6M3Y3K1AWY
| URI | m2://inv/6M3Y3K1AWY |
|---|---|
| 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.07673#G6MQ (statement). In 37B1MPV8GX/e1, theorem 9.4
History
- 2026-10-29: add by m2/v0.4.10
6M3YT3X4MW 6M3YT3X4MW
| URI | m2://inv/6M3YT3X4MW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28143#JEFB (definition)
History
- 2026-11-01: add by m2/v0.6.15
6M3Z9BCXCH 6M3Z9BCXCH
| URI | m2://inv/6M3Z9BCXCH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18281#9S12 (statement). In QYD0EJM85G/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
National Institute of Statistics 6M41K6QPBF
| URI | m2://inv/6M41K6QPBF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Institute of Statistics (Mozambique), National Institute of Statistics (definition). Also Wikidata Q17322443
History
- 2026-11-02: add by m2/dev
Haiyan Huang 6M481YFBVG
| URI | m2://inv/6M481YFBVG |
|---|---|
| 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#KFV8, Haiyan Huang (unknown)
History
- 2026-11-02: add by m2/dev
6M4WSHPNGN 6M4WSHPNGN
| URI | m2://inv/6M4WSHPNGN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.06806#W3TM (statement). In ZZQT0GFMT2/e1, corollary 2.8
History
- 2026-10-29: add by m2/v0.4.10
6M54Y2BRJ0 6M54Y2BRJ0
| URI | m2://inv/6M54Y2BRJ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 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.25168#EYF7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Franz Alt 6M55GVFDPX
| URI | m2://inv/6M55GVFDPX |
|---|---|
| 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#1FJG, Franz Alt (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#USBP, Franz Alt (topic)
History
- 2026-11-02: add by m2/dev
adic 6M58M5RR5D
| URI | m2://inv/6M58M5RR5D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#E6Z9, adic (definition)
History
- 2026-11-02: add by m2/dev
6M5ED6T4XM 6M5ED6T4XM
| URI | m2://inv/6M5ED6T4XM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08334#XC22 (definition). In FQ3DS8B3H1/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Square root 6M5FM5NR2J
| URI | m2://inv/6M5FM5NR2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#2FGV, Square root (definition)
History
- 2026-11-02: add by m2/dev
6M5J3WEZ15 6M5J3WEZ15
| URI | m2://inv/6M5J3WEZ15 |
|---|---|
| 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 2506.07061#XSBG (statement). In G2PA4KAGRP/e1, theorem 2.19
History
- 2026-10-27: add by m2/v0.3.6
Construction 6M5KYEVNQX
| URI | m2://inv/6M5KYEVNQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated 8-orthoplexes#DW3Q, Construction (definition)
History
- 2026-11-02: add by m2/dev
Friedberg–Muchnik theorem 6M61882M3X
| URI | m2://inv/6M61882M3X |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q111982312, Friedberg–Muchnik theorem (statement). Also Wikidata Q111982312
- thousand_plus: thousand_plus Q111982312, Friedberg–Muchnik theorem (statement). Also Wikidata Q111982312, Wikipedia Friedberg–Muchnik theorem
- wikipedia: Wikipedia Friedberg–Muchnik theorem, Friedberg–Muchnik theorem (statement). Also Wikidata Q111982312
History
- 2026-10-26: add by m2/dev
Applications 6M61KEST49
| URI | m2://inv/6M61KEST49 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conoid#5A1O, Applications (example)
History
- 2026-11-02: add by m2/dev
Locally metrizable/Locally metrisable 6M64ZD7KVC
| URI | m2://inv/6M64ZD7KVC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#988I, Locally metrizable/Locally metrisable (definition)
History
- 2026-11-02: add by m2/dev
Bonferroni, Carlo Emilio 6M668EB858
| URI | m2://inv/6M668EB858 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#8OI9, Bonferroni, Carlo Emilio (topic)
History
- 2026-11-02: add by m2/dev
Theorem 6M67Q3E9FR
| URI | m2://inv/6M67Q3E9FR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nim#ILBE, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples 6M67Y84CMB
| URI | m2://inv/6M67Y84CMB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological rigidity#2GW0, Examples (example)
History
- 2026-11-02: add by m2/dev
6M68M37HPM 6M68M37HPM
| URI | m2://inv/6M68M37HPM |
|---|---|
| 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.14318#75OB (statement). In HA4SZZJ831/e1, corollary 3.2
History
- 2026-10-28: add by m2/v0.4.2
Example 6M6M8YMHYV
| URI | m2://inv/6M6M8YMHYV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Well-behaved statistic#5DGG, Example (example)
History
- 2026-11-02: add by m2/dev
Least number principle 6M6PQT7P9Z
| URI | m2://inv/6M6PQT7P9Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epsilon-induction#J5M4, Least number principle (statement)
History
- 2026-11-02: add by m2/dev
6M74MZW350 6M74MZW350
| URI | m2://inv/6M74MZW350 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16514#X2EB (statement). In 7RSA1AZ4XK/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
6M75HFGWC6 6M75HFGWC6
| URI | m2://inv/6M75HFGWC6 |
|---|---|
| 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 2601.22681#X47F (statement). In 68VEQQX68G/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.4.0
Mary Cartwright 6M76FMFVSE
| URI | m2://inv/6M76FMFVSE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Cartwright, Mary Cartwright (topic). Also Wikidata Q452158
History
- 2026-11-02: add by m2/dev
6M76HBEQFD 6M76HBEQFD
| URI | m2://inv/6M76HBEQFD |
|---|---|
| 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.14086#MXD5 (statement). In J6EZ2RQW2F/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
6M76JCNNQC 6M76JCNNQC
| URI | m2://inv/6M76JCNNQC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08039#1GKS (statement). In Y1K8WE4MDP/e1, lemma A.5
History
- 2026-10-29: add by m2/v0.4.10
Schur's theorem 6M7A3YES1D
| URI | m2://inv/6M7A3YES1D |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1786292, Schur's theorem (statement). Also Wikidata Q1786292
- thousand_plus: thousand_plus Q1786292, Schur's theorem (statement). Also Wikidata Q1786292, Wikipedia Schur's theorem
- wikipedia: Wikipedia Schur's theorem, Schur's theorem (statement). Also Wikidata Q1786292
History
- 2026-10-26: add by m2/dev
Oblique asymptote 6M7E4H78VY
| URI | m2://inv/6M7E4H78VY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptote#SBP8, Oblique asymptote (unknown)
History
- 2026-11-02: add by m2/dev
Linear estimates 6M7FSSY3EV
| URI | m2://inv/6M7FSSY3EV |
|---|---|
| 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.18797#BJOA, Linear estimates (statement). In HVZW77G66Z/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Vertex arrangement 6M7GH55YDR
| URI | m2://inv/6M7GH55YDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex arrangement, Vertex arrangement (definition). Also Wikidata Q3893244
History
- 2026-11-02: add by m2/dev
diagram 6M7J045R3M
| URI | m2://inv/6M7J045R3M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/diagram, diagram (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Free commutative monoid 6M7ZYYBG1G
| URI | m2://inv/6M7ZYYBG1G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free monoid#I7W5, Free commutative monoid (unknown)
History
- 2026-11-02: add by m2/dev
Edwin E. Floyd 6M8C1Y6BZE
| URI | m2://inv/6M8C1Y6BZE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edwin E. Floyd, Edwin E. Floyd (topic). Also Wikidata Q1294503
History
- 2026-11-02: add by m2/dev
Maura Stokes 6M8WFKD2G6
| URI | m2://inv/6M8WFKD2G6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maura Stokes, Maura Stokes (topic). Also Wikidata Q96339194
History
- 2026-11-02: add by m2/dev
Gustav Ferdinand Mehler 6M96KJGQ0Q
| URI | m2://inv/6M96KJGQ0Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gustav Ferdinand Mehler, Gustav Ferdinand Mehler (topic). Also Wikidata Q100821
History
- 2026-11-02: add by m2/dev
Definition 6M97N59HFP
| URI | m2://inv/6M97N59HFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basic hypergeometric series#AXQT, Definition (definition)
History
- 2026-11-02: add by m2/dev
6M9C11SPYS 6M9C11SPYS
| URI | m2://inv/6M9C11SPYS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#GQUN (statement). In 9ZD87293QS/e1, lemma 3.26
History
- 2026-10-27: add by m2/v0.4.0
Spin tensor (mechanics) 6M9G8Y78QB
| URI | m2://inv/6M9G8Y78QB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite strain theory#L98D, Spin tensor (mechanics) (unknown)
History
- 2026-11-02: add by m2/dev
Anderson's theorem 6M9N5PYEDM
| URI | m2://inv/6M9N5PYEDM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#I7T2, Anderson's theorem (statement)
History
- 2026-11-02: add by m2/dev
Factorial prime 6M9S51H6W8
| URI | m2://inv/6M9S51H6W8 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#KLN7, Factorial prime (object)
- wikipedia: Wikipedia List of factorial and binomial topics#1J9Z, Factorial prime (object)
History
- 2026-11-02: add by m2/dev
6M9X8H2V0H 6M9X8H2V0H
| URI | m2://inv/6M9X8H2V0H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 55-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.30262#FSI0 (definition). In FWA5QW6FCF/e1, definition 3.2
History
- 2026-10-31: add by m2/v0.5.6
6M9YFQ4D9M 6M9YFQ4D9M
| URI | m2://inv/6M9YFQ4D9M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-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.08426#VMMR (definition). In YG2DPMNZ1N/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
6MA50AT55S 6MA50AT55S
| URI | m2://inv/6MA50AT55S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/opps.tex#lem:SizePowerset2Exp (statement). In PKGMM3P5QY, lem, section 69.4
History
- 2026-11-01: add by m2/v0.6.13
6MA7C69746 6MA7C69746
| URI | m2://inv/6MA7C69746 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05354#8ZSN (statement). In TZ5BMDXRQZ/e1, theorem 4.12
History
- 2026-10-29: add by m2/v0.4.10
A spine with equally long pendant paths 6MAM0Z1E9Q
| URI | m2://inv/6MAM0Z1E9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.34025#IEDK, A spine with equally long pendant paths (statement). In VCG579E7MM/e1, proposition 5
History
- 2026-10-30: add by m2/v0.4.12
6MAMGC5JDN 6MAMGC5JDN
| URI | m2://inv/6MAMGC5JDN |
|---|---|
| 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.04809#NVDV (statement). In 2VHV0RNTNV/e1, corollary 7.20
History
- 2026-10-29: add by m2/v0.4.12
Brianchon's theorem 6MANPNMPZQ
| URI | m2://inv/6MANPNMPZQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | Brianchon's theorem 3THE3Q96KK |
Mentions
- mathlib_1000: mathlib_1000 Q119450, Brianchon's theorem (statement). Also Wikidata Q119450
- thousand_plus: thousand_plus Q119450, Brianchon's theorem (statement). Also Wikidata Q119450, Wikipedia Brianchon's theorem
- wikidata: Wikidata Q119450, Brianchon's theorem (statement). Also MathWorld BrianchonsTheorem
- wikipedia: Wikipedia Brianchon's theorem, Brianchon's theorem (statement). Also Wikidata Q119450
History
- 2026-10-26: add by m2/dev
6MAQNNAZ4T 6MAQNNAZ4T
| URI | m2://inv/6MAQNNAZ4T |
|---|---|
| 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.08288#5UBH (statement). In CHVWYJM7RM/e1, lemma 4.20
History
- 2026-10-29: add by m2/v0.4.10
6MAW0ZCCEH 6MAW0ZCCEH
| URI | m2://inv/6MAW0ZCCEH |
|---|---|
| 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.37489#P7QM (statement). In 5ZC91T5PHQ/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
6MB4Q3D65A 6MB4Q3D65A
| URI | m2://inv/6MB4Q3D65A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#LAGU (statement). In B9EX6K51RD/e1, corollary 4.23
History
- 2026-10-28: add by m2/v0.4.2
Example 6MBCJFPNRQ
| URI | m2://inv/6MBCJFPNRQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Merkle–Hellman knapsack cryptosystem#3CHA, Example (example)
History
- 2026-11-02: add by m2/dev
Ambar Sengupta 6MBMXW4J8N
| URI | m2://inv/6MBMXW4J8N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ambar Sengupta, Ambar Sengupta (topic). Also Wikidata Q102167000
History
- 2026-11-02: add by m2/dev
6MBPM1JQCP 6MBPM1JQCP
| URI | m2://inv/6MBPM1JQCP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-60 (exercise). In E59CDZA4DP, exercise, section 10.4.1
History
- 2026-11-01: add by m2/v0.6.13
6MCCB4F0F6 6MCCB4F0F6
| URI | m2://inv/6MCCB4F0F6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 55-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.31919#SD6S (definition). In RHN12PW9P9/e1, definition 4.2
History
- 2026-10-31: add by m2/v0.5.6
AMPL 6MCCJ6H1ZE
| URI | m2://inv/6MCCJ6H1ZE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#VNVT, AMPL (unknown)
History
- 2026-11-02: add by m2/dev
Taylor's theorem with integral form for remainder 6MCDG33Q7C
| URI | m2://inv/6MCDG33Q7C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Taylor-like theorems > Taylor's theorem with integral form for remainder, Taylor's theorem with integral form for remainder (unknown). Also Mathlib taylor_integral_remainder_of_absolutelyContinuous
History
- 2026-10-26: add by m2/dev
6MCF4QCGZK 6MCF4QCGZK
| URI | m2://inv/6MCF4QCGZK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12683#HKXS (definition). In N5ZFFWV3RX/e1, definition 5.7
History
- 2026-10-28: add by m2/v0.4.2
Mina Teicher 6MCFN8JFXQ
| URI | m2://inv/6MCFN8JFXQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mina Teicher, Mina Teicher (topic). Also Wikidata Q528791
History
- 2026-11-02: add by m2/dev
6MCHP14YX8 6MCHP14YX8
| URI | m2://inv/6MCHP14YX8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.20891#8I7F (statement). In WH55XAE8E2/e1, corollary 5.15
History
- 2026-10-27: add by m2/v0.4.2
Angel number 6MCP48XWYE
| URI | m2://inv/6MCP48XWYE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerology#X0PK, Angel number (unknown)
History
- 2026-11-02: add by m2/dev
6MCSK335D0 6MCSK335D0
| URI | m2://inv/6MCSK335D0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 66.5
History
- 2026-11-01: add by m2/v0.6.13
6MCYKJ7RVM 6MCYKJ7RVM
| URI | m2://inv/6MCYKJ7RVM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25957#2GF0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
6MCZ1XXS78 6MCZ1XXS78
| URI | m2://inv/6MCZ1XXS78 |
|---|---|
| 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 2609.30105#Y41S (definition)
History
- 2026-11-01: add by m2/v0.6.15
Non-standard model 6MD9845ER0
| URI | m2://inv/6MD9845ER0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-standard model, Non-standard model (definition). Also Wikidata Q3318128
History
- 2026-11-02: add by m2/dev
Affine manifold 6MDAMB2S43
| URI | m2://inv/6MDAMB2S43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#SN3A, Affine manifold (definition)
History
- 2026-11-02: add by m2/dev
6MDE3Q0H34 6MDE3Q0H34
| URI | m2://inv/6MDE3Q0H34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.31090#XABA (statement). In SMTJDX0Q6R/e1, lemma 8.5
History
- 2026-10-31: add by m2/v0.5.6
Sketch 6MDKBXWSM5
| URI | m2://inv/6MDKBXWSM5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#J82E, Sketch (definition). In 9DQKY7KGE8/e1, definition B.2
History
- 2026-10-31: add by m2/v0.5.6
6MDTM7H4A1 6MDTM7H4A1
| URI | m2://inv/6MDTM7H4A1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17258#F5WA (statement). In F4M67ZVBF2/e1, corollary 2.5
History
- 2026-10-28: add by m2/v0.4.2
Perturbation estimate adapted to the exact-input comparison 6MDTT6S5W0
| URI | m2://inv/6MDTT6S5W0 |
|---|---|
| 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.10484#DI3Z, Perturbation estimate adapted to the exact-input comparison (statement). In 5B4AX4SF88/e1, corollary 4.18
History
- 2026-10-29: add by m2/v0.4.10
Caesar problem 6MDY9ET637
| URI | m2://inv/6MDY9ET637 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#ZM31, Caesar problem (definition)
History
- 2026-11-02: add by m2/dev
One in ten rule 6MDZ5FD1JE
| URI | m2://inv/6MDZ5FD1JE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One in ten rule, One in ten rule (definition). Also Wikidata Q17104887
History
- 2026-11-02: add by m2/dev
6ME8TQD8HB 6ME8TQD8HB
| URI | m2://inv/6ME8TQD8HB |
|---|---|
| Kind | definition |
| 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 1903.07030#ZF1P (definition). In 9H45HQE7AZ/e1, definition 2.23
History
- 2026-10-27: add by m2/v0.3.5
Odd degree 6MEBMK36P4
| URI | m2://inv/6MEBMK36P4 |
|---|---|
| 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 2105.03715#5XU7, Odd degree (statement). In H3FWT3Z0J4/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
6MED62SPD6 6MED62SPD6
| URI | m2://inv/6MED62SPD6 |
|---|---|
| Kind | example |
| 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.03517#F2NH (example). In 3CGS9GSKTQ/e1, example
History
- 2026-10-29: add by m2/v0.4.12
6MEG8J8E1J 6MEG8J8E1J
| URI | m2://inv/6MEG8J8E1J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#C9B0 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Definition 6MES12JWG5
| URI | m2://inv/6MES12JWG5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Majumdar–Ghosh model#CM98, Definition (definition)
History
- 2026-11-02: add by m2/dev
6MEVDCD5JZ 6MEVDCD5JZ
| URI | m2://inv/6MEVDCD5JZ |
|---|---|
| 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.03835#9RNN (statement). In KAYGQMQPGS/e1, corollary 4.7
History
- 2026-10-29: add by m2/v0.4.12
Global low-entropy region 6MF1AXZJX4
| URI | m2://inv/6MF1AXZJX4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#N80W, Global low-entropy region (statement)
History
- 2026-11-01: add by m2/v0.6.15
Antonio Sangiovanni 6MF9EA9QQV
| URI | m2://inv/6MF9EA9QQV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antonio Sangiovanni, Antonio Sangiovanni (topic). Also Wikidata Q21209022
History
- 2026-11-02: add by m2/dev
Formal definition 6MF9X9ZNTC
| URI | m2://inv/6MF9X9ZNTC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supermodule#LFIE, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Shortest vector problem 6MFG3XCJ5V
| URI | m2://inv/6MFG3XCJ5V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice problem#3NJP, Shortest vector problem (unknown)
History
- 2026-11-02: add by m2/dev
Kelly criterion 6MFJVG56JM
| URI | m2://inv/6MFJVG56JM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#TV4H, Kelly criterion (statement)
History
- 2026-11-02: add by m2/dev
Exponential convergence 6MFN0GV6PK
| URI | m2://inv/6MFN0GV6PK |
|---|---|
| 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 2303.10636#O234, Exponential convergence (statement). In 9SV2RAEPXM/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.6
Uniform quasiconformality 6MFTXDSAJY
| URI | m2://inv/6MFTXDSAJY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2411.17227#3490, Uniform quasiconformality (statement). In DDNP38CHQJ/e1, proposition 5.16
History
- 2026-10-27: add by m2/v0.3.5
6MG6D13V4N 6MG6D13V4N
| URI | m2://inv/6MG6D13V4N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_induction_exercises.ptx#exercise-19 (exercise). In QKM9DD2H56, exercise, section 3
History
- 2026-11-01: add by m2/v0.6.13
Bang--Zsigmondy 6MGFH8J0QH
| URI | m2://inv/6MGFH8J0QH |
|---|---|
| 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 2504.04729#9LB9, Bang--Zsigmondy (statement). In DCDJ82120R/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.6
6MGNSEKW9M 6MGNSEKW9M
| URI | m2://inv/6MGNSEKW9M |
|---|---|
| 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.14189#2STU (statement). In 39VAB08YDJ/e1, theorem 6.4
History
- 2026-10-28: add by m2/v0.4.2
Necker cube 6MGT9PZY5P
| URI | m2://inv/6MGT9PZY5P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1850636, Necker cube (unknown). Also MathWorld NeckerCube
History
- 2026-10-26: add by m2/dev
Monotonicity in dimension 6MGV16B5Y4
| URI | m2://inv/6MGV16B5Y4 |
|---|---|
| Kind | definition |
| 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 1905.02785#OGV2, Monotonicity in dimension (definition). In PF9KV74Q02/e1, definition B.1
History
- 2026-10-27: add by m2/v0.3.5
Applications 6MGZDHV01W
| URI | m2://inv/6MGZDHV01W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diesel cycle#8WJY, Applications (example)
History
- 2026-11-02: add by m2/dev
6MH3FNXG2R 6MH3FNXG2R
| URI | m2://inv/6MH3FNXG2R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#E32P (definition). In V42PPD7SWH/e1, definition
History
- 2026-10-31: add by m2/v0.5.6
Kato's conjecture 6MH6WXQDF7
| URI | m2://inv/6MH6WXQDF7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kato's conjecture, Kato's conjecture (statement). Also Wikidata Q6377720
History
- 2026-11-02: add by m2/dev
Completeness for windowed records 6MHB9M1SDQ
| URI | m2://inv/6MHB9M1SDQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37375#PRJW, Completeness for windowed records (statement). In PV4Z2FRXRZ/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
Admissible chain 6MHDGQZS2W
| URI | m2://inv/6MHDGQZS2W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33360#EBEO, Admissible chain (definition). In GH6FSDK4YB/e1, definition 3.6
History
- 2026-10-30: add by m2/v0.4.12
inverse function theorem 6MHFTJQR6M
| URI | m2://inv/6MHFTJQR6M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/11.5/inverse-function-theorem, inverse function theorem (concept). In E59CDZA4DP, index, section 11.5
History
- 2026-11-01: add by m2/v0.6.13
Definition and properties 6MHGA5GV5E
| URI | m2://inv/6MHGA5GV5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anti-de Sitter space#DA7U, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
great icosihemidodecahedron 6MHJ59XSDA
| URI | m2://inv/6MHJ59XSDA |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2718509, great icosihemidodecahedron (unknown). Also MathWorld GreatIcosihemidodecahedron
- wikipedia: Wikipedia Great icosihemidodecahedron, Great icosihemidodecahedron (object). Also Wikidata Q2718509
History
- 2026-10-26: add by m2/dev
6MHK11GYXD 6MHK11GYXD
| URI | m2://inv/6MHK11GYXD |
|---|---|
| Kind | problem |
| 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.21274#NVQ5 (problem)
History
- 2026-11-02: add by m2/v0.6.18
Barabási, Albert-László 6MHKN7EZ5K
| URI | m2://inv/6MHKN7EZ5K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#0LJJ, Barabási, Albert-László (unknown)
History
- 2026-11-02: add by m2/dev
6MHNENTV31 6MHNENTV31
| URI | m2://inv/6MHNENTV31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16362#1V6H (statement). In 4NJ4T3DEQB/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
6MHQX21DA6 6MHQX21DA6
| URI | m2://inv/6MHQX21DA6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18226#EXU3 (statement). In B3EHT1FRM5/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
6MHRAD6BRW 6MHRAD6BRW
| URI | m2://inv/6MHRAD6BRW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40028#WLAU (statement). In N8TDKGGC7S/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Cartesian fibration 6MHRT0ATRH
| URI | m2://inv/6MHRT0ATRH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartesian fibration, Cartesian fibration (definition). Also Wikidata Q133933701
History
- 2026-11-02: add by m2/dev
Leslie McClure 6MHSHTJHFK
| URI | m2://inv/6MHSHTJHFK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#PCEL, Leslie McClure (topic)
History
- 2026-11-02: add by m2/dev
Archimedean place 6MJ12BA4S0
| URI | m2://inv/6MJ12BA4S0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic number theory#S8VO, Archimedean place (unknown)
History
- 2026-11-02: add by m2/dev
Data-processing inequality 6MJ2HDK2C8
| URI | m2://inv/6MJ2HDK2C8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evidence lower bound#H0CB, Data-processing inequality (statement)
History
- 2026-11-02: add by m2/dev
6MJ7QYDPME 6MJ7QYDPME
| URI | m2://inv/6MJ7QYDPME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.11143#DMZQ (statement). In VTVC0TCWSB/e1, lemma 6.10
History
- 2026-10-27: add by m2/v0.3.5
Algorithm 6MJ8SXKAZK
| URI | m2://inv/6MJ8SXKAZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopcroft–Karp algorithm#KKII, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Values at the selected data 6MJB5D70TP
| URI | m2://inv/6MJB5D70TP |
|---|---|
| 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.06490#KRAG, Values at the selected data (statement). In NKXTXH59P1/e1, lemma E.11
History
- 2026-10-29: add by m2/v0.4.10
6MJD2TMV0C 6MJD2TMV0C
| URI | m2://inv/6MJD2TMV0C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31212#19TD (statement). In FHE30V0M03/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
G2 6MJH9WD9NE
| URI | m2://inv/6MJH9WD9NE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q869338, G2 (unknown). Also nLab G2
- wikipedia: Wikipedia G2 (mathematics), G2 (definition). Also Wikidata Q869338
History
- 2026-10-26: add by m2/dev
6MKAFV95QG 6MKAFV95QG
| URI | m2://inv/6MKAFV95QG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.07398#AN3N (definition). In JS5FKV1S9T/e1, definition A.2
History
- 2026-10-27: add by m2/v0.3.5
Edward Neuman 6MKBPAJAG7
| URI | m2://inv/6MKBPAJAG7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Neuman, Edward Neuman (topic). Also Wikidata Q27861834
History
- 2026-11-02: add by m2/dev
Material nonimplication 6MKFXKP9PS
| URI | m2://inv/6MKFXKP9PS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of rules of inference#UT03, Material nonimplication (definition)
History
- 2026-11-02: add by m2/dev
6MKGHHKHC5 6MKGHHKHC5
| URI | m2://inv/6MKGHHKHC5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16241#UGIY (definition). In WNDHZVY4WK/e1, definition A.13
History
- 2026-10-28: add by m2/v0.4.2
Perturbation function 6MKJY5RJY5
| URI | m2://inv/6MKJY5RJY5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perturbation function, Perturbation function (definition). Also Wikidata Q7170952
History
- 2026-11-02: add by m2/dev
George Adomian 6MKK7JFCYZ
| URI | m2://inv/6MKK7JFCYZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Adomian, George Adomian (topic). Also Wikidata Q1009429
History
- 2026-11-02: add by m2/dev
Pedro Felipe Felzenszwalb 6MKTYBVZKT
| URI | m2://inv/6MKTYBVZKT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VHGK, Pedro Felipe Felzenszwalb (unknown)
History
- 2026-11-02: add by m2/dev
$g=1$, node and cusp 6MKXWK87FV
| URI | m2://inv/6MKXWK87FV |
|---|---|
| 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.22557#1TS7, $g=1$, node and cusp (example)
History
- 2026-11-02: add by m2/v0.6.17
Modular lattices as a universal target 6MMCR6KM2N
| URI | m2://inv/6MMCR6KM2N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#GETG, Modular lattices as a universal target (statement). In TC5QA4AB4Z/e1, corollary 3.25
History
- 2026-10-30: add by m2/v0.4.12
6MMJVGWC6D 6MMJVGWC6D
| URI | m2://inv/6MMJVGWC6D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#XUYH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Category of finite abelian group 6MMNJ31QPM
| URI | m2://inv/6MMNJ31QPM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the kind of the item is unknown) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian group#33GS, Category of finite abelian group (unknown)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
6MMQK20YV2 6MMQK20YV2
| URI | m2://inv/6MMQK20YV2 |
|---|---|
| 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.11619#9GJT (statement). In HT2K76Y9WS/e1, theorem C.6
History
- 2026-10-28: add by m2/v0.4.3
Menger's theorem 6MMQN2JPWZ
| URI | m2://inv/6MMQN2JPWZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#RC0L, Menger's theorem (statement)
History
- 2026-11-02: add by m2/dev
Richard Delamaine 6MMSHXA3EB
| URI | m2://inv/6MMSHXA3EB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Delamaine, Richard Delamaine (topic). Also Wikidata Q4157022
History
- 2026-11-02: add by m2/dev
Definition 6MMVPTME7G
| URI | m2://inv/6MMVPTME7G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dehornoy order#LLT4, Definition (definition)
History
- 2026-11-02: add by m2/dev
6MN4BEPZZ2 6MN4BEPZZ2
| URI | m2://inv/6MN4BEPZZ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14377#F3QO (statement). In WEZPNET90D/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
6MN62FYFZH 6MN62FYFZH
| URI | m2://inv/6MN62FYFZH |
|---|---|
| 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#88QU (statement). In KS30K5JXGB/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Affine Volterra jump processes and CBI-type processes 6MN74TG1CJ
| URI | m2://inv/6MN74TG1CJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31102#O8IR, Affine Volterra jump processes and CBI-type processes (example). In 7CADATJMAA/e1, example 4.2
History
- 2026-10-31: add by m2/v0.5.6
The g Factor: General Intelligence and Its Implications 6MN84271FP
| URI | m2://inv/6MN84271FP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The g Factor: General Intelligence and Its Implications, The g Factor: General Intelligence and Its Implications (definition). Also Wikidata Q7777007
History
- 2026-11-02: add by m2/dev
Computation 6MNCR8X8ST
| URI | m2://inv/6MNCR8X8ST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplication#FDPI, Computation (definition)
History
- 2026-11-02: add by m2/dev
Per-pixel lighting 6MNECVXBM5
| URI | m2://inv/6MNECVXBM5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#5U89, Per-pixel lighting (unknown)
History
- 2026-11-02: add by m2/dev
6MNT1BW7DM 6MNT1BW7DM
| URI | m2://inv/6MNT1BW7DM |
|---|---|
| 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.39531#G60C (statement). In SN9RSTHQ07/e1, lemma F.7
History
- 2026-10-30: add by m2/v0.4.12
Finiteness of the shell log-Laplace transform 6MNV0ZK0XS
| URI | m2://inv/6MNV0ZK0XS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00453#6FXY, Finiteness of the shell log-Laplace transform (statement). In ESPJMBH2R2/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Umberto Bottazzini 6MNZ5DQ5DH
| URI | m2://inv/6MNZ5DQ5DH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#E6EB, Umberto Bottazzini (unknown)
History
- 2026-11-02: add by m2/dev
6MP3J6PEH7 6MP3J6PEH7
| URI | m2://inv/6MP3J6PEH7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2512.16003#KWWB (statement). In BJGS6ZCQ12/e1, lemma 7.6
History
- 2026-10-27: add by m2/v0.3.6
6MP507MBXR 6MP507MBXR
| URI | m2://inv/6MP507MBXR |
|---|---|
| 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.01501#5TBV (statement). In 8Q2PXZDGB5/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
Cristina Ballantine 6MPBA4WNVB
| URI | m2://inv/6MPBA4WNVB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cristina Ballantine, Cristina Ballantine (topic). Also Wikidata Q102203770
History
- 2026-11-02: add by m2/dev
6MPDK1S5VF 6MPDK1S5VF
| URI | m2://inv/6MPDK1S5VF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26665#8AR3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition 6MPG3NRW5H
| URI | m2://inv/6MPG3NRW5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spread of a matrix#5KNY, Definition (definition)
History
- 2026-11-02: add by m2/dev
Symmetry 6MPGB33B5F
| URI | m2://inv/6MPGB33B5F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapley value#E2QL, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
6MPGY15AP4 6MPGY15AP4
| URI | m2://inv/6MPGY15AP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38735#CJOL (statement). In XZ71J0DQSE/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
6MPQSKDFAS 6MPQSKDFAS
| URI | m2://inv/6MPQSKDFAS |
|---|---|
| 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 2610.08052#31JG (statement). In 672XAVEQ34/e1, lemma 5.14
History
- 2026-10-29: add by m2/v0.4.10
Computation 6MPQYNZRBX
| URI | m2://inv/6MPQYNZRBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical correlation#5RY7, Computation (definition)
History
- 2026-11-02: add by m2/dev
6MPRTFFSPK 6MPRTFFSPK
| URI | m2://inv/6MPRTFFSPK |
|---|---|
| Kind | conjecture |
| 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 1008.4946#77HP (conjecture). In R4ZM6Q4SHH/e1, conjecture 1
History
- 2026-10-27: add by m2/v0.3.5
6MPWXVQJAC 6MPWXVQJAC
| URI | m2://inv/6MPWXVQJAC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#WOGZ (statement). In 2QF1YG9DD0/e1, theorem 3.25
History
- 2026-10-30: add by m2/v0.4.12
Cistercian numerals 6MPWZ80VGM
| URI | m2://inv/6MPWZ80VGM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cistercian numerals, Cistercian numerals (definition). Also Wikidata Q102174833
History
- 2026-11-02: add by m2/dev
simplicial polyhedron 6MQ9BNKB8V
| URI | m2://inv/6MQ9BNKB8V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91079947, simplicial polyhedron (unknown). Also MathWorld SimplicialPolyhedron
History
- 2026-10-26: add by m2/dev
WAVEWATCH 6MQKM5N203
| URI | m2://inv/6MQKM5N203 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wind wave model#H3W3, WAVEWATCH (unknown)
History
- 2026-11-02: add by m2/dev
Integral mixed normal form 6MR2EM4N2W
| URI | m2://inv/6MR2EM4N2W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.27970#SDXN, Integral mixed normal form (statement)
History
- 2026-11-01: add by m2/v0.6.15
mechanical system 6MR5C3J5TG
| URI | m2://inv/6MR5C3J5TG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15297198, mechanical system (unknown). Also nLab mechanical system
History
- 2026-10-26: add by m2/dev
Evidence quality 6MR926WKHD
| URI | m2://inv/6MR926WKHD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evidence-based medicine#YX9C, Evidence quality (unknown)
History
- 2026-11-02: add by m2/dev
Short exact $\implies$ long exact 6MRGAQDS4S
| URI | m2://inv/6MRGAQDS4S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/long-exact.tex#thm:long_exact, Short exact $\implies$ long exact (statement). In RZP28ERRZV, theorem, section 54.2
History
- 2026-11-01: add by m2/v0.6.13
Non-Ward defect formula 6MRJPXP1QP
| URI | m2://inv/6MRJPXP1QP |
|---|---|
| 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.20593#O1VE, Non-Ward defect formula (statement). In 7GMD8J4200/e1, proposition 14
History
- 2026-10-27: add by m2/v0.4.2
6MRSVHZKB6 6MRSVHZKB6
| URI | m2://inv/6MRSVHZKB6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-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 1204.5958#FYMC (example). In XYCBKM4WKY/e1, example 50
History
- 2026-10-27: add by m2/v0.3.5
6MS0YRZZS7 6MS0YRZZS7
| URI | m2://inv/6MS0YRZZS7 |
|---|---|
| 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.10474#XXFL (statement). In MB29RAAQMG/e1, lemma 6.6
History
- 2026-10-29: add by m2/v0.4.10
Counting lemma 6MSDBYDB6V
| URI | m2://inv/6MSDBYDB6V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Counting lemma, Counting lemma (statement). Also Wikidata Q111950818
History
- 2026-11-02: add by m2/dev
Conservative character of the ideal test 6MSJ1YEPYC
| URI | m2://inv/6MSJ1YEPYC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.27966#RP7I, Conservative character of the ideal test (statement)
History
- 2026-11-01: add by m2/v0.6.15
6MSJQHW73N 6MSJQHW73N
| URI | m2://inv/6MSJQHW73N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#WDQF (statement). In GAG532VMPF/e1, theorem 4.1.6
History
- 2026-10-27: add by m2/v0.3.5
Brunn–Minkowski theorem 6MSM6HW5JS
| URI | m2://inv/6MSM6HW5JS |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3915398, Brunn–Minkowski theorem (statement). Also Wikidata Q3915398
- thousand_plus: thousand_plus Q3915398, Brunn–Minkowski theorem (statement). Also Wikidata Q3915398, Wikipedia Brunn–Minkowski theorem
- wikipedia: Wikipedia Brunn–Minkowski theorem, Brunn–Minkowski theorem (statement). Also Wikidata Q3915398
History
- 2026-10-26: add by m2/dev
Properties 6MSN5N0CEH
| URI | m2://inv/6MSN5N0CEH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal complement#T9SR, Properties (statement)
History
- 2026-11-02: add by m2/dev
6MST5RHJB6 6MST5RHJB6
| URI | m2://inv/6MST5RHJB6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2202.10920#SO9F (statement). In 6TTFGK6ZV0/e1, corollary 3.7
History
- 2026-10-27: add by m2/v0.3.5
Data transformation 6MSZV8TTGZ
| URI | m2://inv/6MSZV8TTGZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data transformation (statistics), Data transformation (definition). Also Wikidata Q603944
History
- 2026-11-02: add by m2/dev
6MT17JA2KD 6MT17JA2KD
| URI | m2://inv/6MT17JA2KD |
|---|---|
| Kind | example |
| 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 2610.18219#6KXG (example). In X1AGBB90EH/e1, example 5.6
History
- 2026-10-28: add by m2/v0.4.2
Aruoba-Diebold-Scotti Index 6MT3SS6WP7
| URI | m2://inv/6MT3SS6WP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aruoba-Diebold-Scotti Index, Aruoba-Diebold-Scotti Index (definition). Also Wikidata Q109637936
History
- 2026-11-02: add by m2/dev
Stochastic rounding 6MT4P97XF8
| URI | m2://inv/6MT4P97XF8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JOLH, Stochastic rounding (definition)
History
- 2026-11-02: add by m2/dev
$q=3$, $\gon(C)=4$ 6MT5QQJJVJ
| URI | m2://inv/6MT5QQJJVJ |
|---|---|
| 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.22557#3A8B, $q=3$, $\gon(C)=4$ (example)
History
- 2026-11-02: add by m2/v0.6.17
Thomassen graph 34 6MT5R8TJZ7
| URI | m2://inv/6MT5R8TJZ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2816238, Thomassen graph 34 (unknown). Also House of Graphs 1353
History
- 2026-10-26: add by m2/dev
Barnard's test 6MT7QPJJBJ
| URI | m2://inv/6MT7QPJJBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YSL6, Barnard's test (definition)
History
- 2026-11-02: add by m2/dev
6MTB6WNQ3G 6MTB6WNQ3G
| URI | m2://inv/6MTB6WNQ3G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 49.1
History
- 2026-11-01: add by m2/v0.6.13
6MTCZBYPKV 6MTCZBYPKV
| URI | m2://inv/6MTCZBYPKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/proj-var.tex#definition-8 (definition). In RZP28ERRZV, definition, section 23.4
History
- 2026-11-01: add by m2/v0.6.13
6MTGECPNWR 6MTGECPNWR
| URI | m2://inv/6MTGECPNWR |
|---|---|
| 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.08664#4AYJ (statement). In 1YY0P4ZS0T/e1, theorem 48
History
- 2026-10-29: add by m2/v0.4.10
Square root of 7 6MTMK4JPR0
| URI | m2://inv/6MTMK4JPR0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root of 7, Square root of 7 (definition). Also Wikidata Q111951213
History
- 2026-11-02: add by m2/dev
Lin Fanghua 6MTPMNSDR6
| URI | m2://inv/6MTPMNSDR6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EDRF, Lin Fanghua (topic)
History
- 2026-11-02: add by m2/dev
transpose of a linear map 6MTZSH63FV
| URI | m2://inv/6MTZSH63FV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Duality > transpose of a linear map, transpose of a linear map (unknown). Also Mathlib Module.Dual.transpose
History
- 2026-10-26: add by m2/dev
Entropy/entropy-flux pairs 6MV0SYFNBF
| URI | m2://inv/6MV0SYFNBF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02059#N5ZU, Entropy/entropy-flux pairs (statement). In 630RJSKBPW/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
6MV367Z6TS 6MV367Z6TS
| URI | m2://inv/6MV367Z6TS |
|---|---|
| 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.36909#CQK1 (statement). In S5SKFZB5WH/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
-ic 6MV51KWTB6
| URI | m2://inv/6MV51KWTB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#VBDC, -ic (definition)
History
- 2026-11-02: add by m2/dev
6MVBKT4HQN 6MVBKT4HQN
| URI | m2://inv/6MVBKT4HQN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25269#CPJH (statement)
History
- 2026-11-01: add by m2/v0.6.15
6MVC3Z01R6 6MVC3Z01R6
| URI | m2://inv/6MVC3Z01R6 |
|---|---|
| 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.26675#8KRX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conoid 6MVM1K0N19
| URI | m2://inv/6MVM1K0N19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conoid, Conoid (definition). Also Wikidata Q1638628
History
- 2026-11-02: add by m2/dev
Construction 6MVQYGQR4P
| URI | m2://inv/6MVQYGQR4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runcinated tesseracts#4S3C, Construction (definition)
History
- 2026-11-02: add by m2/dev
Francis William Lawvere 6MVT9REVM5
| URI | m2://inv/6MVT9REVM5 |
|---|---|
| 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#6LX4, Francis William Lawvere (topic)
History
- 2026-11-02: add by m2/dev
path space 6MVWJR9P6W
| URI | m2://inv/6MVWJR9P6W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#SIKP, path space (definition)
History
- 2026-11-02: add by m2/dev
Theorem 6MVY2H9H4B
| URI | m2://inv/6MVY2H9H4B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaplansky's theorem on projective modules#S532, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Complexity of the block encoding of the Scrooge $k$-th moment; informal 6MWEXQ2NEJ
| URI | m2://inv/6MWEXQ2NEJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39992#HNPL, Complexity of the block encoding of the Scrooge $k$-th moment; informal (statement). In WF64CGYVK1/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
Bioinformatics 6MWEYVB803
| URI | m2://inv/6MWEYVB803 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#3S0A, Bioinformatics (definition)
History
- 2026-11-02: add by m2/dev
Noise and covariance correctors 6MWH19FXSX
| URI | m2://inv/6MWH19FXSX |
|---|---|
| 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.39144#RWYD, Noise and covariance correctors (statement). In 814ZF5WMMF/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Albert I Land 6MWKQC8140
| URI | m2://inv/6MWKQC8140 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WU7N, Albert I Land (unknown)
History
- 2026-11-02: add by m2/dev
6MWRTQE5CA 6MWRTQE5CA
| URI | m2://inv/6MWRTQE5CA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-5 (exercise). In E59CDZA4DP, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
6MWS8EEWND 6MWS8EEWND
| URI | m2://inv/6MWS8EEWND |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-263 (exercise). In VNMV985MXX, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
6MX19W65AH 6MX19W65AH
| URI | m2://inv/6MX19W65AH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#SB8R (statement). In F71MS1F637/e1, lemma 5.12
History
- 2026-10-30: add by m2/v0.4.12
6MX3ENYDWE 6MX3ENYDWE
| URI | m2://inv/6MX3ENYDWE |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.05010#HO81 (statement). In 4SZNPS3Z00/e1, lemma 18
History
- 2026-10-27: add by m2/v0.3.6
Radonifying operator 6MX4B0RC38
| URI | m2://inv/6MX4B0RC38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radonifying operator, Radonifying operator (definition). Also Wikidata Q7281574
History
- 2026-11-02: add by m2/dev
Time-use survey 6MX5T7DM6A
| URI | m2://inv/6MX5T7DM6A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time-use survey, Time-use survey (definition). Also Wikidata Q7805494
History
- 2026-11-02: add by m2/dev
6MX83DS2Q6 6MX83DS2Q6
| URI | m2://inv/6MX83DS2Q6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#B9YE (definition)
History
- 2026-11-02: add by m2/v0.6.18
Courcelle's theorem 6MXAWD71TH
| URI | m2://inv/6MXAWD71TH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Treewidth#XJP3, Courcelle's theorem (statement)
History
- 2026-11-02: add by m2/dev
Short- and long-memory regimes 6MXBGPFK58
| URI | m2://inv/6MXBGPFK58 |
|---|---|
| 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.19421#C5JM, Short- and long-memory regimes (statement). In 3S1VFGYWQE/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
Ribbon error basis 6MXJ6AQTZN
| URI | m2://inv/6MXJ6AQTZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03677#SYXQ, Ribbon error basis (statement). In J1Y06VVYRG/e1, proposition 10
History
- 2026-10-29: add by m2/v0.4.12
matrix, rank 6MXK4Z00FD
| URI | m2://inv/6MXK4Z00FD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/3.5.3/matrix-rank, matrix, rank (concept). In 649HGZKE96, index, section 3.5.3
History
- 2026-11-01: add by m2/v0.6.13
Conic 6MXMGM9PJF
| URI | m2://inv/6MXMGM9PJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#ZAWL, Conic (definition)
History
- 2026-11-02: add by m2/dev
Quantum circuit 6MY40A2E11
| URI | m2://inv/6MY40A2E11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum circuit, Quantum circuit (definition). Also Wikidata Q2122210
History
- 2026-11-02: add by m2/dev
6MY4MAKQ8Y 6MY4MAKQ8Y
| URI | m2://inv/6MY4MAKQ8Y |
|---|---|
| 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.11829#8E76 (statement). In 76DK6SPN88/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.3
6MYEX02P3T 6MYEX02P3T
| URI | m2://inv/6MYEX02P3T |
|---|---|
| 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 1903.07030#P3FN (statement). In 9H45HQE7AZ/e1, proposition 7.5
History
- 2026-10-27: add by m2/v0.3.5
Savitch's theorem 6MYGJ1XNSA
| URI | m2://inv/6MYGJ1XNSA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SL (complexity)#8OB0, Savitch's theorem (statement)
History
- 2026-11-02: add by m2/dev
Amari distance 6MYRS3AGP4
| URI | m2://inv/6MYRS3AGP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amari distance, Amari distance (definition). Also Wikidata Q19595860
History
- 2026-11-02: add by m2/dev
6MYT65RRZG 6MYT65RRZG
| URI | m2://inv/6MYT65RRZG |
|---|---|
| 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.18709#XBL8 (statement). In K7VY50VFK6/e1, proposition 15.1
History
- 2026-10-28: add by m2/v0.4.2
Generalizations 6MYTZE7RYS
| URI | m2://inv/6MYTZE7RYS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilson prime#SUMX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Properties 6MZ0PE0Z6V
| URI | m2://inv/6MZ0PE0Z6V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Identity function#10WP, Properties (statement)
History
- 2026-11-02: add by m2/dev
6MZ3A9QM5M 6MZ3A9QM5M
| URI | m2://inv/6MZ3A9QM5M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09945#TAQK (definition). In V7VCEA0VAA/e1, definition 3.9
History
- 2026-10-29: add by m2/v0.4.10
6MZ74GRRZT 6MZ74GRRZT
| URI | m2://inv/6MZ74GRRZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16541#SL3J (statement). In D0XH7W96T3/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
6MZ9YB6FS2 6MZ9YB6FS2
| URI | m2://inv/6MZ9YB6FS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38243#OOFB (statement). In R03K2N7FRF/e1, lemma C.1
History
- 2026-10-30: add by m2/v0.4.12
6MZCC1Y6YW 6MZCC1Y6YW
| URI | m2://inv/6MZCC1Y6YW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39531#ZFA3 (definition). In SN9RSTHQ07/e1, definition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Albrecht Dold 6MZD3VNEHQ
| URI | m2://inv/6MZD3VNEHQ |
|---|---|
| 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 Q109854, Albrecht Dold (unknown). Also nLab Albrecht Dold
- wikipedia: Wikipedia Albrecht Dold, Albrecht Dold (topic). Also Wikidata Q109854
History
- 2026-10-26: add by m2/dev
6MZFP9F53K 6MZFP9F53K
| URI | m2://inv/6MZFP9F53K |
|---|---|
| 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 2609.33283#UHZK (statement). In CXPFSDMEPB/e1, lemma 5.5
History
- 2026-10-30: add by m2/v0.4.12
6MZJS6JECB 6MZJS6JECB
| URI | m2://inv/6MZJS6JECB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric cone#B1DY (definition)
History
- 2026-11-02: add by m2/dev
6MZPRX8T0K 6MZPRX8T0K
| URI | m2://inv/6MZPRX8T0K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#example-3 (example). In RZP28ERRZV, example, section 33.3.5
History
- 2026-11-01: add by m2/v0.6.13