Inventory rows 7D
The cards of the rows of the inventory whose ids start with 7D. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
One step 7D00Q9EJD5
| URI | m2://inv/7D00Q9EJD5 |
|---|---|
| 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.35418#JTB7, One step (statement). In JHD3TW67QT/e1, lemma 14
History
- 2026-10-30: add by m2/v0.4.12
Weakly normal subgroup 7D0241S1Y9
| URI | m2://inv/7D0241S1Y9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weakly normal subgroup, Weakly normal subgroup (definition). Also Wikidata Q7977983
History
- 2026-11-02: add by m2/dev
Uniform torus bound in dimensions seven to nine 7D0RFME95C
| URI | m2://inv/7D0RFME95C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#62VH, Uniform torus bound in dimensions seven to nine (statement)
History
- 2026-11-02: add by m2/v0.6.17
Generalizations 7D0X13RPMK
| URI | m2://inv/7D0X13RPMK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pick's theorem#M8R1, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Religious formalism 7D0Z3C1MHV
| URI | m2://inv/7D0Z3C1MHV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formalism (philosophy)#YE31, Religious formalism (unknown)
History
- 2026-11-02: add by m2/dev
Nonequilibrium linear response formula 7D165CB1XN
| URI | m2://inv/7D165CB1XN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear response function#P5NI, Nonequilibrium linear response formula (statement)
History
- 2026-11-02: add by m2/dev
modulus 7D19376X7P
| URI | m2://inv/7D19376X7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#NU52, modulus (definition)
History
- 2026-11-02: add by m2/dev
First order kinetics 7D1AQF1ATT
| URI | m2://inv/7D1AQF1ATT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate equation#ORYA, First order kinetics (unknown)
History
- 2026-11-02: add by m2/dev
7D1EP4TE3V 7D1EP4TE3V
| URI | m2://inv/7D1EP4TE3V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18562#VAHC (statement). In 793KXAR957/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
7D1KKB58CM 7D1KKB58CM
| URI | m2://inv/7D1KKB58CM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-26 (proof). In VNMV985MXX, proof, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
George E. Nicholson Jr. 7D1NV5NJ4D
| URI | m2://inv/7D1NV5NJ4D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George E. Nicholson Jr., George E. Nicholson Jr. (topic). Also Wikidata Q41751708
History
- 2026-11-02: add by m2/dev
7D1TGE0FTP 7D1TGE0FTP
| URI | m2://inv/7D1TGE0FTP |
|---|---|
| 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.11481#FJRI (statement). In 8XHK5ZCX7H/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.3
Paradox of fiction 7D1W0N2Y80
| URI | m2://inv/7D1W0N2Y80 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic philosophy#D5QW, Paradox of fiction (statement)
History
- 2026-11-02: add by m2/dev
Definition 7D22QFFYRM
| URI | m2://inv/7D22QFFYRM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wess–Zumino–Witten model#NBXY, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cross-correlation modular constancy; original 7D25VCBZCC
| URI | m2://inv/7D25VCBZCC |
|---|---|
| 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.02392#4VNU, Cross-correlation modular constancy; original (statement). In W066HQZQBF/e1, theorem 13
History
- 2026-10-29: add by m2/v0.4.12
Statement of Cauchy's residue theorem 7D2ET5S9B7
| URI | m2://inv/7D2ET5S9B7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residue theorem#FFXW, Statement of Cauchy's residue theorem (statement)
History
- 2026-11-02: add by m2/dev
Foldy–Wouthuysen transformation 7D2HFQR2YB
| URI | m2://inv/7D2HFQR2YB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Foldy–Wouthuysen transformation, Foldy–Wouthuysen transformation (definition). Also Wikidata Q5464310
History
- 2026-11-02: add by m2/dev
Questionnaire construction 7D2V8J8EG5
| URI | m2://inv/7D2V8J8EG5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Questionnaire#AAGQ, Questionnaire construction (definition)
History
- 2026-11-02: add by m2/dev
Noneism 7D2Y7DDN3K
| URI | m2://inv/7D2Y7DDN3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noneism, Noneism (definition). Also Wikidata Q17117998
History
- 2026-11-02: add by m2/dev
7D2ZB4ZX36 7D2ZB4ZX36
| URI | m2://inv/7D2ZB4ZX36 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#NW8P (statement). In X38P26DK6S/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.0
Construction 7D301KN33P
| URI | m2://inv/7D301KN33P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 25 great circles of the spherical octahedron#7MN2, Construction (definition)
History
- 2026-11-02: add by m2/dev
7D30FFPVCJ 7D30FFPVCJ
| URI | m2://inv/7D30FFPVCJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.16606#E7HW (statement). In A798V7TX99/e1, lemma 5.11
History
- 2026-10-28: add by m2/v0.4.2
Examples 7D33QPP3F9
| URI | m2://inv/7D33QPP3F9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surface of constant width#03RU, Examples (example)
History
- 2026-11-02: add by m2/dev
Stochastic gradient boosting 7D36GGPNVF
| URI | m2://inv/7D36GGPNVF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gradient boosting#G4TQ, Stochastic gradient boosting (unknown)
History
- 2026-11-02: add by m2/dev
7D3C7GZT4M 7D3C7GZT4M
| URI | m2://inv/7D3C7GZT4M |
|---|---|
| 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.14803#ILE3 (statement). In VAEVDTBD3B/e1, theorem 4.13
History
- 2026-10-28: add by m2/v0.4.2
Eduardo D. Sontag 7D3F8EMYQW
| URI | m2://inv/7D3F8EMYQW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5N5C, Eduardo D. Sontag (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UQKJ, Eduardo D. Sontag (unknown)
History
- 2026-11-02: add by m2/dev
7D3SE77YCZ 7D3SE77YCZ
| URI | m2://inv/7D3SE77YCZ |
|---|---|
| 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.09599#5LB0 (statement). In 4JYGH9XNA9/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Ascending node 7D3YD13789
| URI | m2://inv/7D3YD13789 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbital node#1T7M, Ascending node (unknown)
History
- 2026-11-02: add by m2/dev
Natural exponential family 7D4C2ERG9C
| URI | m2://inv/7D4C2ERG9C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural exponential family, Natural exponential family (definition). Also Wikidata Q17099337
History
- 2026-11-02: add by m2/dev
Karl W. Broman 7D4PE0N9NC
| URI | m2://inv/7D4PE0N9NC |
|---|---|
| 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#XRW0, Karl W. Broman (unknown)
History
- 2026-11-02: add by m2/dev
Notations 7D4V73V9AX
| URI | m2://inv/7D4V73V9AX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mereology#4PDJ, Notations (definition)
History
- 2026-11-02: add by m2/dev
Maximum-entropy Markov model 7D53GC4KJB
| URI | m2://inv/7D53GC4KJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum-entropy Markov model, Maximum-entropy Markov model (definition). Also Wikidata Q6795829
History
- 2026-11-02: add by m2/dev
Alternative definitions 7D53H6BDTQ
| URI | m2://inv/7D53H6BDTQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski–Bouligand dimension#C2TE, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
7D543PYV8K 7D543PYV8K
| URI | m2://inv/7D543PYV8K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27800#BHPK (definition)
History
- 2026-11-01: add by m2/v0.6.15
Six-value recovery 7D554TPVXH
| URI | m2://inv/7D554TPVXH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#D69N, Six-value recovery (statement)
History
- 2026-11-01: add by m2/v0.6.15
7D55M2XMFY 7D55M2XMFY
| URI | m2://inv/7D55M2XMFY |
|---|---|
| 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.07927#6YNP (statement). In GKM19DHQTM/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
Rivers flow downhill 7D5GY01A5R
| URI | m2://inv/7D5GY01A5R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#UB70, Rivers flow downhill (unknown)
History
- 2026-11-02: add by m2/dev
Axiom of constructibility 7D5J2VGNHH
| URI | m2://inv/7D5J2VGNHH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#KG9A, Axiom of constructibility (statement)
History
- 2026-11-02: add by m2/dev
Yukio Mimura 7D5JJA30HH
| URI | m2://inv/7D5JJA30HH |
|---|---|
| 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#T1P9, Yukio Mimura (unknown)
History
- 2026-11-02: add by m2/dev
Applications 7D5P537H4H
| URI | m2://inv/7D5P537H4H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nested sampling algorithm#7AJB, Applications (example)
History
- 2026-11-02: add by m2/dev
7D5PHC1RRB 7D5PHC1RRB
| URI | m2://inv/7D5PHC1RRB |
|---|---|
| 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.35398#QXTW (statement). In NAJCCHYXR6/e1, corollary 3.6
History
- 2026-10-30: add by m2/v0.4.12
7D5RVJRZNZ 7D5RVJRZNZ
| URI | m2://inv/7D5RVJRZNZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36088#K0SF (example). In QJD3MZMJHW/e1, example 6.3
History
- 2026-10-30: add by m2/v0.4.12
weights 7D5WMKNP7M
| URI | m2://inv/7D5WMKNP7M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/2.1.2/weights, weights (concept). In 649HGZKE96, index, section 2.1.2
History
- 2026-11-01: add by m2/v0.6.13
7D5XGJCE3Z 7D5XGJCE3Z
| URI | m2://inv/7D5XGJCE3Z |
|---|---|
| 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 1802.02910#QQ2J (statement). In AY2MA29921/e1, lemma 015
History
- 2026-10-27: add by m2/v0.3.5
442 (number) 7D5XP52C7E
| URI | m2://inv/7D5XP52C7E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#XCR9, 442 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Exact all-query improvement phase 7D62GQX9RA
| URI | m2://inv/7D62GQX9RA |
|---|---|
| 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.07721#5PYQ, Exact all-query improvement phase (statement). In QMJDN66F5N/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.10
Definitions 7D65K3MRSP
| URI | m2://inv/7D65K3MRSP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplicial map#NPEF, Definitions (definition)
History
- 2026-11-02: add by m2/dev
7D6FZ73KEF 7D6FZ73KEF
| URI | m2://inv/7D6FZ73KEF |
|---|---|
| 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 math/0411039#I986 (statement). In ZTBDXSKFFW/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.3.5
Properties 7D6GSJE7NP
| URI | m2://inv/7D6GSJE7NP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solvable group#QBZU, Properties (statement)
History
- 2026-11-02: add by m2/dev
7D6J9N7H01 7D6J9N7H01
| URI | m2://inv/7D6J9N7H01 |
|---|---|
| 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.15405#XNJW (statement). In 9QCYCXVF5W/e1, lemma 6.5
History
- 2026-10-28: add by m2/v0.4.2
Area rule 7D6RQHYV09
| URI | m2://inv/7D6RQHYV09 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15265#7UUW, Area rule (statement). In TCQ1JBR84Y/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
Jelani Nelson 7D6S4GWZFJ
| URI | m2://inv/7D6S4GWZFJ |
|---|---|
| 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#5A4S, Jelani Nelson (unknown)
History
- 2026-11-02: add by m2/dev
Postage stamp problem 7D6SEFBXTD
| URI | m2://inv/7D6SEFBXTD |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7233768, Postage stamp problem (problem). Also MathWorld PostageStampProblem
- wikipedia: Wikipedia Postage stamp problem, Postage stamp problem (problem). Also Wikidata Q7233768
History
- 2026-10-26: add by m2/dev
7D6SETJWWG 7D6SETJWWG
| URI | m2://inv/7D6SETJWWG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-11 (exercise). In Y91XFCEVHQ, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
7D6Y9MFBRV 7D6Y9MFBRV
| URI | m2://inv/7D6Y9MFBRV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#SSJK (statement)
History
- 2026-11-01: add by m2/v0.6.15
topos theory 7D75HTZAZD
| URI | m2://inv/7D75HTZAZD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q113355041, topos theory (topic). Also nLab sheaf and topos theory
History
- 2026-10-26: add by m2/dev
Glaisher's theorem 7D75S4402F
| URI | m2://inv/7D75S4402F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#33CB, Glaisher's theorem (statement)
History
- 2026-11-02: add by m2/dev
7D76EKH4EZ 7D76EKH4EZ
| URI | m2://inv/7D76EKH4EZ |
|---|---|
| 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.20097#EJL1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Colin P. Rourke 7D7K7R57AS
| URI | m2://inv/7D7K7R57AS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Colin P. Rourke, Colin P. Rourke (topic). Also Wikidata Q21027088
History
- 2026-11-02: add by m2/dev
7D7KGFKRMC 7D7KGFKRMC
| URI | m2://inv/7D7KGFKRMC |
|---|---|
| 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.06381#IQDW (statement). In X9JKBDHACW/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Eddington number 7D7PJ9V3C1
| URI | m2://inv/7D7PJ9V3C1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eddington number, Eddington number (definition). Also Wikidata Q24434
History
- 2026-11-02: add by m2/dev
Definitions 7D7SEXAK6J
| URI | m2://inv/7D7SEXAK6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent sheaf#JLBW, Definitions (definition)
History
- 2026-11-02: add by m2/dev
7D82T2GYNJ 7D82T2GYNJ
| URI | m2://inv/7D82T2GYNJ |
|---|---|
| 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 2011.08789#ZUPP (statement). In 43AGRMP7T3/e1, corollary 3.1
History
- 2026-10-27: add by m2/v0.3.5
Applications 7D83G7VZ68
| URI | m2://inv/7D83G7VZ68 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambert W function#RQLQ, Applications (example)
History
- 2026-11-02: add by m2/dev
Angle formulas 7D84KZ32Z4
| URI | m2://inv/7D84KZ32Z4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic quadrilateral#EREW, Angle formulas (statement)
History
- 2026-11-02: add by m2/dev
7D8E080F80 7D8E080F80
| URI | m2://inv/7D8E080F80 |
|---|---|
| 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 2610.22074#329B (statement). In F3BKXXPR3K/e1, lemma 3.44
History
- 2026-10-27: add by m2/v0.4.2
chain homotopy equivalence 7D8J4SXWN0
| URI | m2://inv/7D8J4SXWN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#JRAX, chain homotopy equivalence (definition)
History
- 2026-11-02: add by m2/dev
HOMFLY polynomial 7D8QSZF9J0
| URI | m2://inv/7D8QSZF9J0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | HOMFLY polynomial QBQ0BH589C |
Mentions
- wikidata: Wikidata Q996437, HOMFLY polynomial (unknown). Also MathWorld HOMFLYPolynomial, nLab HOMFLY-PT polynomial
- wikipedia: Wikipedia HOMFLY polynomial, HOMFLY polynomial (definition). Also Wikidata Q996437
History
- 2026-10-26: add by m2/dev
7D904GV8A8 7D904GV8A8
| URI | m2://inv/7D904GV8A8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#0L9N (statement). In 47WN78VDDF/e1, theorem 3.18
History
- 2026-10-30: add by m2/v0.4.12
Koebe quarter theorem 7D9B4KK9RC
| URI | m2://inv/7D9B4KK9RC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-41, Koebe quarter theorem (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
7D9HT7T1AW 7D9HT7T1AW
| URI | m2://inv/7D9HT7T1AW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 13-XX, 14-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.26127#VNF1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Exponential Foster--Lyapunov condition on $\mathbb{R}^d$ 7D9M3W8QT1
| URI | m2://inv/7D9M3W8QT1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30274#9EXJ, Exponential Foster--Lyapunov condition on $\mathbb{R}^d$ (statement). In 6ASPPVJP5M/e1, proposition 14
History
- 2026-10-31: add by m2/v0.5.6
margin of error 7D9P35S8NC
| URI | m2://inv/7D9P35S8NC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1352827, margin of error (concept). Also MathWorld MarginofError
- wikipedia: Wikipedia Margin of error, Margin of error (definition). Also Wikidata Q1352827
History
- 2026-10-26: add by m2/dev
Lagrangian submanifold 7DACSFGTTK
| URI | m2://inv/7DACSFGTTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#WO84, Lagrangian submanifold (definition)
History
- 2026-11-02: add by m2/dev
1 E -10 m 7DAMBVG7RK
| URI | m2://inv/7DAMBVG7RK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (length)#ZKD7, 1 E -10 m (unknown)
History
- 2026-11-02: add by m2/dev
7DAMMESMRE 7DAMMESMRE
| URI | m2://inv/7DAMMESMRE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-statements.ptx#proof-1 (proof). In Y91XFCEVHQ, proof, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
7DANYC4CSC 7DANYC4CSC
| URI | m2://inv/7DANYC4CSC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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 2208.13855#QCRW (statement). In GJKRVZ5YN5/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
local maximum 7DATAQKNGF
| URI | m2://inv/7DATAQKNGF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Local maximum 00999TYPXB |
Mentions
- wikidata: Wikidata Q91052280, local maximum (unknown). Also MathWorld LocalMaximum
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Wright omega function 7DB7DD0D0M
| URI | m2://inv/7DB7DD0D0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wright omega function, Wright omega function (definition). Also Wikidata Q8038235
History
- 2026-11-02: add by m2/dev
7DBNFA2Y72 7DBNFA2Y72
| URI | m2://inv/7DBNFA2Y72 |
|---|---|
| Kind | problem |
| 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.02790#XORK (problem). In NB7HZ8W2K2/e1, problem 4
History
- 2026-10-29: add by m2/v0.4.12
7DBR4NZHH7 7DBR4NZHH7
| URI | m2://inv/7DBR4NZHH7 |
|---|---|
| Kind | statement |
| 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.37893#EZK4 (statement). In 8H0KHK7AMN/e1, lemma 2.16
History
- 2026-10-30: add by m2/v0.4.12
Examples 7DBRM0S7WV
| URI | m2://inv/7DBRM0S7WV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jarzynski equality#SDYX, Examples (example)
History
- 2026-11-02: add by m2/dev
7DBTV0D8ZX 7DBTV0D8ZX
| URI | m2://inv/7DBTV0D8ZX |
|---|---|
| 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#41AI (definition)
History
- 2026-11-02: add by m2/v0.6.18
7DBV1R2P6M 7DBV1R2P6M
| URI | m2://inv/7DBV1R2P6M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17045#XBAZ (definition). In PA6JQDSKQT/e1, definition 7.1
History
- 2026-10-28: add by m2/v0.4.2
7DBZ6A18JB 7DBZ6A18JB
| URI | m2://inv/7DBZ6A18JB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-1-4-2.xml#act-1-4-2 (exercise). In 907G4C4EJ1, activity, section 1.4.2
History
- 2026-11-01: add by m2/v0.6.13
7DC1XZGBTH 7DC1XZGBTH
| URI | m2://inv/7DC1XZGBTH |
|---|---|
| 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.16028#9TK0 (statement). In D6MQYXVQEW/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
524 (number) 7DC28T1W03
| URI | m2://inv/7DC28T1W03 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#VQ1L, 524 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Geometric group theory 7DCFSV2EGX
| URI | m2://inv/7DCFSV2EGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#MP3D, Geometric group theory (definition)
History
- 2026-11-02: add by m2/dev
7DCNXQEZ9S 7DCNXQEZ9S
| URI | m2://inv/7DCNXQEZ9S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-246 (exercise). In VNMV985MXX, exercise, section 4.6
History
- 2026-11-01: add by m2/v0.6.13
7DCVNRK37Q 7DCVNRK37Q
| URI | m2://inv/7DCVNRK37Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#EXHP (statement). In 1QSCT53ZED/e1, lemma 2.25
History
- 2026-10-27: add by m2/v0.4.0
Riemann Xi function 7DCWSJ60D6
| URI | m2://inv/7DCWSJ60D6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#IVJX, Riemann Xi function (definition)
History
- 2026-11-02: add by m2/dev
7DD6Z4MQQK 7DD6Z4MQQK
| URI | m2://inv/7DD6Z4MQQK |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadrisecant#VRM6 (problem)
History
- 2026-11-02: add by m2/dev
Continuous probability distribution 7DD911GZQG
| URI | m2://inv/7DD911GZQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BEFC, Continuous probability distribution (definition)
History
- 2026-11-02: add by m2/dev
7DDA3YTN4B 7DDA3YTN4B
| URI | m2://inv/7DDA3YTN4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#U4C9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Finite-versus-infinite parameter sets 7DDA9ZKN1J
| URI | m2://inv/7DDA9ZKN1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#ADEL, Finite-versus-infinite parameter sets (statement)
History
- 2026-11-01: add by m2/v0.6.15
Michel Rolle 7DDD1SAGB9
| URI | m2://inv/7DDD1SAGB9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#UXY6, Michel Rolle (unknown)
History
- 2026-11-02: add by m2/dev
Quantum decoherence 7DDGDJCAM4
| URI | m2://inv/7DDGDJCAM4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#PN7N, Quantum decoherence (definition)
History
- 2026-11-02: add by m2/dev
7DDK2YRVBM 7DDK2YRVBM
| URI | m2://inv/7DDK2YRVBM |
|---|---|
| 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.26769#SPZX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formal definition 7DDMFWAAKR
| URI | m2://inv/7DDMFWAAKR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pfaffian function#QZWU, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Friedrich Karl Schmidt 7DDVR2NBMY
| URI | m2://inv/7DDVR2NBMY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedrich Karl Schmidt, Friedrich Karl Schmidt (topic). Also Wikidata Q89075
History
- 2026-11-02: add by m2/dev
7DDZ9V218A 7DDZ9V218A
| URI | m2://inv/7DDZ9V218A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18503#A726 (statement). In RW315W172S/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Rousseeuw Prize for Statistics 7DE4X89246
| URI | m2://inv/7DE4X89246 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rousseeuw Prize for Statistics, Rousseeuw Prize for Statistics (definition). Also Wikidata Q116205376
History
- 2026-11-02: add by m2/dev
7DEB1T9DPP 7DEB1T9DPP
| URI | m2://inv/7DEB1T9DPP |
|---|---|
| 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.04349#2UGQ (statement). In GWF7VKMY61/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.12
congruence 7DEBDCTRVM
| URI | m2://inv/7DEBDCTRVM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/6.2.2/congruence, congruence (concept). In Y91XFCEVHQ, index, section 6.2.2
History
- 2026-11-01: add by m2/v0.6.13
The next-order Jacobian is a constant 7DEC4Q8Q0Q
| URI | m2://inv/7DEC4Q8Q0Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#IDE6, The next-order Jacobian is a constant (statement). In 11JNM66Z09/e1, proposition F.3
History
- 2026-10-28: add by m2/v0.4.2
7DEHJ1T596 7DEHJ1T596
| URI | m2://inv/7DEHJ1T596 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/ch.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 69.1
History
- 2026-11-01: add by m2/v0.6.13
Deming System 7DEK8T4FNA
| URI | m2://inv/7DEK8T4FNA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia W. Edwards Deming#4K3V, Deming System (unknown)
History
- 2026-11-02: add by m2/dev
Transitivity 7DENJ7ETBW
| URI | m2://inv/7DENJ7ETBW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#prop:transitivity, Transitivity (statement). In PKGMM3P5QY, prop, section 17.5
History
- 2026-11-01: add by m2/v0.6.13
7DEP4S5VHA 7DEP4S5VHA
| URI | m2://inv/7DEP4S5VHA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03292#R2WE (statement). In SN2PBM95HT/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Language model 7DEPGQXP50
| URI | m2://inv/7DEPGQXP50 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#C5P3, Language model (definition)
History
- 2026-11-02: add by m2/dev
Real Nullstellensatz 7DEYMHM602
| URI | m2://inv/7DEYMHM602 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33313#IVQ9, Real Nullstellensatz (statement). In HRCEFY172P/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
7DEZYXDPJV 7DEZYXDPJV
| URI | m2://inv/7DEZYXDPJV |
|---|---|
| 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.35467#POYO (statement). In FK89DQ9J4S/e1, proposition 3.4
History
- 2026-10-30: add by m2/v0.4.12
Examples 7DF44V037F
| URI | m2://inv/7DF44V037F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact solutions in general relativity#R64D, Examples (example)
History
- 2026-11-02: add by m2/dev
7DFF6964XR 7DFF6964XR
| URI | m2://inv/7DFF6964XR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#40YC (statement). In XX1J2REXY2/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Katalin Vesztergombi 7DFN6AA6VB
| URI | m2://inv/7DFN6AA6VB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FH6F, Katalin Vesztergombi (topic)
History
- 2026-11-02: add by m2/dev
Trapezoidal rule 7DFQ5J1PQD
| URI | m2://inv/7DFQ5J1PQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#YOPK, Trapezoidal rule (definition)
History
- 2026-11-02: add by m2/dev
7DFQ5KA9WX 7DFQ5KA9WX
| URI | m2://inv/7DFQ5KA9WX |
|---|---|
| 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.08357#6NOY (statement). In R9GRCAWHG0/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
7DG17A006Z 7DG17A006Z
| URI | m2://inv/7DG17A006Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12108#R6QG (statement). In JQH3FHYPW3/e1, lemma 3.12
History
- 2026-10-28: add by m2/v0.4.2
7DG23DDNJV 7DG23DDNJV
| URI | m2://inv/7DG23DDNJV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#KMI5 (statement). In M0SQY5EZN5/e1, theorem 1.5.4
History
- 2026-10-27: add by m2/v0.3.5
Formal definition 7DG2X0NVC9
| URI | m2://inv/7DG2X0NVC9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plural quantification#O90U, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Decision field theory 7DG4E9CTYC
| URI | m2://inv/7DG4E9CTYC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decision field theory, Decision field theory (definition). Also Wikidata Q5249235
History
- 2026-11-02: add by m2/dev
7DG7XKTZV4 7DG7XKTZV4
| URI | m2://inv/7DG7XKTZV4 |
|---|---|
| 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.22263#ZCJJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
7DGBNR4632 7DGBNR4632
| URI | m2://inv/7DGBNR4632 |
|---|---|
| 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.02893#HFX4 (statement). In DQ9TAGM5XP/e1, corollary 3
History
- 2026-10-29: add by m2/v0.4.12
Chevalley 7DGM98FKXA
| URI | m2://inv/7DGM98FKXA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#HTQZ, Chevalley (definition)
History
- 2026-11-02: add by m2/dev
7DGZMVMPY5 7DGZMVMPY5
| URI | m2://inv/7DGZMVMPY5 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25703#TSFN (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Katrin Wehrheim 7DH2N7F6NZ
| URI | m2://inv/7DH2N7F6NZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#8YY7, Katrin Wehrheim (topic)
History
- 2026-11-02: add by m2/dev
Susan Murray 7DH5XQT8M5
| URI | m2://inv/7DH5XQT8M5 |
|---|---|
| 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#240P, Susan Murray (unknown)
History
- 2026-11-02: add by m2/dev
Chandrashekhar Khare 7DHJNT94ZP
| URI | m2://inv/7DHJNT94ZP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chandrashekhar Khare, Chandrashekhar Khare (topic). Also Wikidata Q983321
History
- 2026-11-02: add by m2/dev
Galilean transformation 7DHKXW125A
| URI | m2://inv/7DHKXW125A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q219207, Galilean transformation (unknown). Also EoM Galilean_transformation, MathWorld GalileanTransformation, nLab Galilean group
- wikipedia: Wikipedia Galilean transformation, Galilean transformation (definition). Also Wikidata Q219207
History
- 2026-10-26: add by m2/dev
Least trimmed squares 7DHSWRNZ1C
| URI | m2://inv/7DHSWRNZ1C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least trimmed squares, Least trimmed squares (definition). Also Wikidata Q6510410
History
- 2026-11-02: add by m2/dev
Algorithms 7DHXDXM500
| URI | m2://inv/7DHXDXM500 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid oracle#994I, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Erika McEntarfer 7DHY6C5Q0B
| URI | m2://inv/7DHY6C5Q0B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erika McEntarfer, Erika McEntarfer (topic). Also Wikidata Q124401973
History
- 2026-11-02: add by m2/dev
Gaussian quadrature 7DJA2GQT5F
| URI | m2://inv/7DJA2GQT5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#59BR, Gaussian quadrature (definition)
History
- 2026-11-02: add by m2/dev
Existence, uniqueness and properties of gradient flows 7DJJXD79WP
| URI | m2://inv/7DJJXD79WP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#ZK21, Existence, uniqueness and properties of gradient flows (statement). In KM3Q791JY0/e1, theorem 4.16
History
- 2026-10-27: add by m2/v0.4.2
7DJJZWNVYG 7DJJZWNVYG
| URI | m2://inv/7DJJZWNVYG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#UP54 (definition). In V5PVKDKGGG/e1, definition 4.4
History
- 2026-10-28: add by m2/v0.4.2
7DJPEGSXGD 7DJPEGSXGD
| URI | m2://inv/7DJPEGSXGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17717#Q1MK (statement). In YXRKS451PK/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
7DJYVMX31Q 7DJYVMX31Q
| URI | m2://inv/7DJYVMX31Q |
|---|---|
| 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 2505.08839#RBMB (statement). In HJPDS53MX4/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.4.0
Examples 7DK2E07QC3
| URI | m2://inv/7DK2E07QC3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zernike polynomials#3I3Y, Examples (example)
History
- 2026-11-02: add by m2/dev
Legendre–Clebsch condition 7DK3169TCF
| URI | m2://inv/7DK3169TCF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#GIK0, Legendre–Clebsch condition (definition)
History
- 2026-11-02: add by m2/dev
Heron's formula 7DKEQE9M1B
| URI | m2://inv/7DKEQE9M1B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Heron's formula 0FRBZ2X4HJ |
Mentions
- wikidata: Wikidata Q182714, Heron's formula (statement). Also MathWorld HeronsFormula
- wikipedia: Wikipedia Heron's formula, Heron's formula (statement). Also Wikidata Q182714
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
7DKN7XV3RK 7DKN7XV3RK
| URI | m2://inv/7DKN7XV3RK |
|---|---|
| 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 2412.20238#QXUA (statement). In V8CA0STSPB/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
7DKNQ3RTSS 7DKNQ3RTSS
| URI | m2://inv/7DKNQ3RTSS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 1001.1196#NK2N (statement). In BCB418GV9C/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Alexander A. Ivanov 7DKPPRYQ71
| URI | m2://inv/7DKPPRYQ71 |
|---|---|
| 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#QH1L, Alexander A. Ivanov (unknown)
History
- 2026-11-02: add by m2/dev
7DKQ5V6X5F 7DKQ5V6X5F
| URI | m2://inv/7DKQ5V6X5F |
|---|---|
| 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 2303.04321#9YYR (statement). In TE54S4QFW1/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.5
Crane of physics 7DKRQ0DSTF
| URI | m2://inv/7DKRQ0DSTF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultimate Boeing 747 gambit#VO08, Crane of physics (unknown)
History
- 2026-11-02: add by m2/dev
7DKWFBTEWX 7DKWFBTEWX
| URI | m2://inv/7DKWFBTEWX |
|---|---|
| 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.26948#JANK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formal definition 7DKYKWZRAJ
| URI | m2://inv/7DKYKWZRAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block matrix#IDPJ, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Commutative anisotropic convolution 7DKYNFGBPD
| URI | m2://inv/7DKYNFGBPD |
|---|---|
| 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 2610.13892#5PV7, Commutative anisotropic convolution (definition). In HV9KKEBBDD/e1, definition III.8
History
- 2026-10-28: add by m2/v0.4.2
Replicas of $T_k^{\left(b^d\right)}$ in $\Gamma_{\mathbf{n}}^{(b)}$ 7DKZHXHBQ2
| URI | m2://inv/7DKZHXHBQ2 |
|---|---|
| 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.28898#F0YQ, Replicas of $T_k^{\left(b^d\right)}$ in $\Gamma_{\mathbf{n}}^{(b)}$ (definition)
History
- 2026-11-01: add by m2/v0.6.15
univalence axiom 7DM24N7TMC
| URI | m2://inv/7DM24N7TMC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.14.1/univalence-axiom, univalence axiom (concept). In N54F33XE07, index, section 1.14.1
History
- 2026-11-01: add by m2/v0.6.13
Calder\'on--Zygmund iteration 7DM7Y4C9CV
| URI | m2://inv/7DM7Y4C9CV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05320#W0FC, Calder\'on--Zygmund iteration (statement). In MVXZWHKEX8/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
Dirac string 7DMAK0M95F
| URI | m2://inv/7DMAK0M95F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#FG0I, Dirac string (unknown)
History
- 2026-11-02: add by m2/dev
7DMK9P29Q5 7DMK9P29Q5
| URI | m2://inv/7DMK9P29Q5 |
|---|---|
| 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.17698#WRAF (statement). In DAH99JEYHF/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
7DMNK9J3JA 7DMNK9J3JA
| URI | m2://inv/7DMNK9J3JA |
|---|---|
| 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.23833#W4MA (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition 7DN61562D5
| URI | m2://inv/7DN61562D5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empirical distribution function#UJJV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Byers–Yang theorem 7DNJT1S6W0
| URI | m2://inv/7DNJT1S6W0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q18205730, Byers–Yang theorem (statement). Also Wikidata Q18205730
- thousand_plus: thousand_plus Q18205730, Byers–Yang theorem (statement). Also Wikidata Q18205730, Wikipedia Byers–Yang theorem
- wikipedia: Wikipedia Byers–Yang theorem, Byers–Yang theorem (statement). Also Wikidata Q18205730
History
- 2026-10-26: add by m2/dev
Association 7DNP5Q41NF
| URI | m2://inv/7DNP5Q41NF |
|---|---|
| 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#2DXL, Association (statement). In 3S1VFGYWQE/e1, lemma 15
History
- 2026-10-28: add by m2/v0.4.2
7DP3NX5F5A 7DP3NX5F5A
| URI | m2://inv/7DP3NX5F5A |
|---|---|
| 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.21501#J1OC (statement). In 1H64QT301C/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.4.2
Condition-specific affine flows give Gaussian Jeffreys divergence 7DP4SGB21Q
| URI | m2://inv/7DP4SGB21Q |
|---|---|
| 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.31544#5JY1, Condition-specific affine flows give Gaussian Jeffreys divergence (statement). In TX449S1VZV/e1, proposition A.6
History
- 2026-10-31: add by m2/v0.5.6
7DPC0DRKGT 7DPC0DRKGT
| URI | m2://inv/7DPC0DRKGT |
|---|---|
| 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.28893#OUNN (statement)
History
- 2026-11-01: add by m2/v0.6.15
7DPH74J7XE 7DPH74J7XE
| URI | m2://inv/7DPH74J7XE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#I24W (statement). In S26QVW5613/e1, lemma 4.6.1
History
- 2026-10-30: add by m2/v0.4.12
7DPQGEQ0E7 7DPQGEQ0E7
| URI | m2://inv/7DPQGEQ0E7 |
|---|---|
| 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.24206#Y4OA (statement)
History
- 2026-11-01: add by m2/v0.6.15
7DPXK2HNGS 7DPXK2HNGS
| URI | m2://inv/7DPXK2HNGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28020#L24B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Midy's theorem 7DPZT28QHR
| URI | m2://inv/7DPZT28QHR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#3L2T, Midy's theorem (statement)
History
- 2026-11-02: add by m2/dev
Compound of two inverted snub dodecadodecahedra 7DQJ5R2969
| URI | m2://inv/7DQJ5R2969 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#IN23, Compound of two inverted snub dodecadodecahedra (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#3M0Q, Compound of two inverted snub dodecadodecahedra (definition)
History
- 2026-11-02: add by m2/dev
7DQMWQK5Y9 7DQMWQK5Y9
| URI | m2://inv/7DQMWQK5Y9 |
|---|---|
| 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.26769#U8EG (statement)
History
- 2026-11-01: add by m2/v0.6.15
7DQV9224TA 7DQV9224TA
| URI | m2://inv/7DQV9224TA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28794#U8KQ (example)
History
- 2026-11-01: add by m2/v0.6.15
Casson 7DQVXF2QB0
| URI | m2://inv/7DQVXF2QB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#S482, Casson (definition)
History
- 2026-11-02: add by m2/dev
Function approximation 7DQZVPHWSR
| URI | m2://inv/7DQZVPHWSR |
|---|---|
| Kind | problem |
| 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.30750#5AED, Function approximation (problem). In DACV7NTAAK/e1, problem
History
- 2026-10-31: add by m2/v0.5.6
Properties 7DR0DH9NF4
| URI | m2://inv/7DR0DH9NF4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probable prime#W2R8, Properties (statement)
History
- 2026-11-02: add by m2/dev
supercompact cardinal 7DR3RCAHSW
| URI | m2://inv/7DR3RCAHSW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Supercompact cardinal 91GE4C1BC5 |
Mentions
- wikidata: Wikidata Q7643154, supercompact cardinal (unknown). Also nLab supercompact cardinal
- wikipedia: Wikipedia Supercompact cardinal, Supercompact cardinal (definition). Also Wikidata Q7643154
History
- 2026-10-26: add by m2/dev
7DR9GBHXF1 7DR9GBHXF1
| URI | m2://inv/7DR9GBHXF1 |
|---|---|
| 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.22296#2SKZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
History of data visualization 7DRA3RBP9E
| URI | m2://inv/7DRA3RBP9E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data and information visualization#ZBND, History of data visualization (unknown)
History
- 2026-11-02: add by m2/dev
7DRKQGAWP5 7DRKQGAWP5
| URI | m2://inv/7DRKQGAWP5 |
|---|---|
| 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.00144#7BNO (statement). In HAZGBX88B3/e1, theorem 9
History
- 2026-10-30: add by m2/v0.4.12
Elementary ratio identities for the normaliser 7DRNP3AHK3
| URI | m2://inv/7DRNP3AHK3 |
|---|---|
| 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.25060#UBPP, Elementary ratio identities for the normaliser (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mackey's irreducibility criterion 7DRXZTSZPZ
| URI | m2://inv/7DRXZTSZPZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of finite groups#4549, Mackey's irreducibility criterion (statement)
History
- 2026-11-02: add by m2/dev
BBGKY hierarchy 7DRZSP8AHF
| URI | m2://inv/7DRZSP8AHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BBGKY hierarchy, BBGKY hierarchy (definition). Also Wikidata Q653679
History
- 2026-11-02: add by m2/dev
Nyquist plot 7DS9T8Y1RX
| URI | m2://inv/7DS9T8Y1RX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#9R7Q, Nyquist plot (statement)
History
- 2026-11-02: add by m2/dev
7DSARPWJ94 7DSARPWJ94
| URI | m2://inv/7DSARPWJ94 |
|---|---|
| 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 2108.05533#4ZTO (statement). In 14DZA4M2C6/e1, lemma B.4
History
- 2026-10-27: add by m2/v0.3.5
7DSFGQPY2W 7DSFGQPY2W
| URI | m2://inv/7DSFGQPY2W |
|---|---|
| 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#RMXI (statement). In CHVWYJM7RM/e1, lemma B.2
History
- 2026-10-29: add by m2/v0.4.10
7DSFSWY9J9 7DSFSWY9J9
| URI | m2://inv/7DSFSWY9J9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-40 (exercise). In E9HS8K3A52, exercise, section 2.3.6
History
- 2026-11-01: add by m2/v0.6.13
7DSK4CVZT0 7DSK4CVZT0
| URI | m2://inv/7DSK4CVZT0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34020#FBTK (statement). In DAMYG8BFAK/e1, theorem 4.23
History
- 2026-10-30: add by m2/v0.4.12
7DSK8Q4EZ3 7DSK8Q4EZ3
| URI | m2://inv/7DSK8Q4EZ3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#MUC9 (definition)
History
- 2026-11-02: add by m2/v0.6.17
7DSRPZ560Y 7DSRPZ560Y
| URI | m2://inv/7DSRPZ560Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-4.xml#thm-four-subspaces (statement). In 649HGZKE96, theorem, section 7.4.3
History
- 2026-11-01: add by m2/v0.6.13
proper 7DSTYYWS0B
| URI | m2://inv/7DSTYYWS0B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#QEQX, proper (definition)
History
- 2026-11-02: add by m2/dev
7DSV6QEJH3 7DSV6QEJH3
| URI | m2://inv/7DSV6QEJH3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#1PW0 (definition). In HX63A1PH1W/e1, definition 7.9
History
- 2026-10-28: add by m2/v0.4.3
7DSXK33Z7R 7DSXK33Z7R
| URI | m2://inv/7DSXK33Z7R |
|---|---|
| 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#32ML (statement). In GAG532VMPF/e1, proposition 7.1.1
History
- 2026-10-27: add by m2/v0.3.5
Etale Lie groupoid 7DT285EDTV
| URI | m2://inv/7DT285EDTV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie groupoid#0D9M, Etale Lie groupoid (unknown)
History
- 2026-11-02: add by m2/dev
7DT5SPWKQ7 7DT5SPWKQ7
| URI | m2://inv/7DT5SPWKQ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16332#1GIU (statement). In JJQPFXZQ3D/e1, lemma 1.2
History
- 2026-10-28: add by m2/v0.4.2
Goldstone's theorem 7DT99F9QMM
| URI | m2://inv/7DT99F9QMM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldstone boson#ZIF2, Goldstone's theorem (statement)
History
- 2026-11-02: add by m2/dev
Lloyd Monserratt 7DTQYRNF8T
| URI | m2://inv/7DTQYRNF8T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#PJ42, Lloyd Monserratt (unknown)
History
- 2026-11-02: add by m2/dev
Ralph Louis Cohen 7DTSE93PMD
| URI | m2://inv/7DTSE93PMD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ralph Louis Cohen, Ralph Louis Cohen (topic). Also Wikidata Q20798853
History
- 2026-11-02: add by m2/dev
7DTT63G44T 7DTT63G44T
| URI | m2://inv/7DTT63G44T |
|---|---|
| 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.15631#GAWH (statement). In AF465QFRGQ/e1, lemma II.6
History
- 2026-10-28: add by m2/v0.4.2
Properties 7DTVCVQHBC
| URI | m2://inv/7DTVCVQHBC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enveloping von Neumann algebra#0POY, Properties (statement)
History
- 2026-11-02: add by m2/dev
prime power conjecture 7DTWF8P26K
| URI | m2://inv/7DTWF8P26K |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131465796, prime power conjecture (conjecture). Also MathWorld PrimePowerConjecture
History
- 2026-10-26: add by m2/dev
Level of analysis 7DV4EHE27H
| URI | m2://inv/7DV4EHE27H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Level of analysis, Level of analysis (definition). Also Wikidata Q3398715
History
- 2026-11-02: add by m2/dev
7DV4PMJZ05 7DV4PMJZ05
| URI | m2://inv/7DV4PMJZ05 |
|---|---|
| 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.32614#IW0Y (statement). In SG8GT73ZNH/e1, theorem 2.7
History
- 2026-10-31: add by m2/v0.5.6
7DVBWAJDVQ 7DVBWAJDVQ
| URI | m2://inv/7DVBWAJDVQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-3.xml#prop-proj-orthonormal (statement). In 649HGZKE96, proposition, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
7DVN2H4TJX 7DVN2H4TJX
| URI | m2://inv/7DVN2H4TJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#6JFP (statement)
History
- 2026-11-02: add by m2/v0.6.18
Alexander Bogomolny 7DVT1XQ1SJ
| URI | m2://inv/7DVT1XQ1SJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Bogomolny, Alexander Bogomolny (topic). Also Wikidata Q56811887
History
- 2026-11-02: add by m2/dev
Example 2 7DVVXH8ACN
| URI | m2://inv/7DVVXH8ACN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Repeated game#S1RZ, Example 2 (example)
History
- 2026-11-02: add by m2/dev
7DVXYXAPZE 7DVXYXAPZE
| URI | m2://inv/7DVXYXAPZE |
|---|---|
| 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 2503.01563#2C7Y (statement). In H96Q47E9E1/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.3.5
Mead's 7DVYZJTNNA
| URI | m2://inv/7DVYZJTNNA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sample size determination#R32O, Mead's (unknown)
History
- 2026-11-02: add by m2/dev
7DW0EJZBBY 7DW0EJZBBY
| URI | m2://inv/7DW0EJZBBY |
|---|---|
| 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.05194#MPWA (statement). In 77R8YQ16JH/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
1864 Costa Rican census 7DW0R1F4KH
| URI | m2://inv/7DW0R1F4KH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1864 Costa Rican census, 1864 Costa Rican census (definition). Also Wikidata Q100151924
History
- 2026-11-02: add by m2/dev
7DW41VZY62 7DW41VZY62
| URI | m2://inv/7DW41VZY62 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#8DCK (statement). In JW8HH6EPG2/e1, lemma 3.47
History
- 2026-10-29: add by m2/v0.4.10
computation rule, for function types 7DW5GZABFA
| URI | m2://inv/7DW5GZABFA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.4/computation-rule-for-function-types, computation rule, for function types (concept). In N54F33XE07, index, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Telecommunications network 7DWAWMJY0J
| URI | m2://inv/7DWAWMJY0J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#41ZB, Telecommunications network (unknown)
History
- 2026-11-02: add by m2/dev
F\o lner criterion for a discrete group 7DWE5PBTCP
| URI | m2://inv/7DWE5PBTCP |
|---|---|
| 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.18907#Q717, F\o lner criterion for a discrete group (statement). In 4SSZ4PF2P2/e1, theorem theorem
History
- 2026-10-28: add by m2/v0.4.2
Eduard Čech 7DWGNPEN8T
| URI | m2://inv/7DWGNPEN8T |
|---|---|
| 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#IQD5, Eduard Čech (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SZBK, Eduard Čech (topic)
History
- 2026-11-02: add by m2/dev
Foata's transition lemma 7DWSKZDARR
| URI | m2://inv/7DWSKZDARR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation#63QH, Foata's transition lemma (statement)
History
- 2026-11-02: add by m2/dev
7DWT00XJF7 7DWT00XJF7
| URI | m2://inv/7DWT00XJF7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36135#FB7L (example). In H96A235409/e1, example 1
History
- 2026-10-30: add by m2/v0.4.12
7DWTCX2V3R 7DWTCX2V3R
| URI | m2://inv/7DWTCX2V3R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07214#DB5L (definition). In 669PBFJX0Z/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
7DWTQF5C9C 7DWTQF5C9C
| URI | m2://inv/7DWTQF5C9C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.4587#AFKO (definition). In KQ8JPHDKKE/e1, definition 9.2.1
History
- 2026-10-27: add by m2/v0.3.5
7DX3NK6QG5 7DX3NK6QG5
| URI | m2://inv/7DX3NK6QG5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#ex:lem-brck (exercise). In N54F33XE07, ex, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Associate elements 7DX8V15C68
| URI | m2://inv/7DX8V15C68 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral domain#Z72U, Associate elements (unknown)
History
- 2026-11-02: add by m2/dev
7DX9XRX04B 7DX9XRX04B
| URI | m2://inv/7DX9XRX04B |
|---|---|
| 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.25656#7I5N (definition)
History
- 2026-11-01: add by m2/v0.6.15
7DXFPRV1NK 7DXFPRV1NK
| URI | m2://inv/7DXFPRV1NK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#BXM4 (statement). In 4WPYBTARS2/e1, proposition 2.8
History
- 2026-10-29: add by m2/v0.4.12
Centered RKHS realization 7DXK3VS9NF
| URI | m2://inv/7DXK3VS9NF |
|---|---|
| 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.05388#UC2W, Centered RKHS realization (statement). In 4HJK1986EJ/e1, proposition B.1
History
- 2026-10-29: add by m2/v0.4.10
Norm improvement from an approximable extension 7DXKRA2JAJ
| URI | m2://inv/7DXKRA2JAJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#LZAS, Norm improvement from an approximable extension (statement)
History
- 2026-11-01: add by m2/v0.6.15
Law of conservation in the kinematic wave model of traffic flow theory 7DY2BSX8ZN
| URI | m2://inv/7DY2BSX8ZN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#DS0W, Law of conservation in the kinematic wave model of traffic flow theory (unknown)
History
- 2026-11-02: add by m2/dev
7DY7PN90BQ 7DY7PN90BQ
| URI | m2://inv/7DY7PN90BQ |
|---|---|
| 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 1806.00752#CEM4 (statement). In GGW2N4JHXM/e1, proposition 17
History
- 2026-10-27: add by m2/v0.3.5
7DY86TJKQK 7DY86TJKQK
| URI | m2://inv/7DY86TJKQK |
|---|---|
| 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 2301.04933#4E24 (definition). In Q70CTMCJTP/e1, definition 3.6
History
- 2026-10-27: add by m2/v0.3.5
7DYHFK9MX5 7DYHFK9MX5
| URI | m2://inv/7DYHFK9MX5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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.12352#T8X3 (statement). In EXASSFT73P/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
affine space 7DYKMEJQAE
| URI | m2://inv/7DYKMEJQAE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Affine and Euclidean geometry > affine space, affine space (unknown). Also Mathlib AddTorsor
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > General definitions > affine space, affine space (unknown). Also Mathlib AddTorsor
History
- 2026-10-26: add by m2/dev
Susan Hinkins 7DYQTG7M7W
| URI | m2://inv/7DYQTG7M7W |
|---|---|
| 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#H0PZ, Susan Hinkins (topic)
History
- 2026-11-02: add by m2/dev
Proof by assertion 7DYYPZZHSV
| URI | m2://inv/7DYYPZZHSV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#H6D4, Proof by assertion (definition)
History
- 2026-11-02: add by m2/dev
hypercomplex number 7DZ5BZVZGN
| URI | m2://inv/7DZ5BZVZGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q837414, hypercomplex number (unknown). Also EoM Hypercomplex_number, MathWorld HypercomplexNumber, nLab hypercomplex number
- wikipedia: Wikipedia Hypercomplex number, Hypercomplex number (definition). Also Wikidata Q837414
History
- 2026-10-26: add by m2/dev
7DZ991T4DQ 7DZ991T4DQ
| URI | m2://inv/7DZ991T4DQ |
|---|---|
| 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 2610.00934#B4NH (problem). In SHCQDPCF2J/e1, problem 2.14
History
- 2026-10-29: add by m2/v0.4.12
7DZQ8Y8FNQ 7DZQ8Y8FNQ
| URI | m2://inv/7DZQ8Y8FNQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-11 (exercise). In E59CDZA4DP, exercise, section 1.2.4
History
- 2026-11-01: add by m2/v0.6.13
Barlet classification and fundamental cycles 7DZQNA2KE7
| URI | m2://inv/7DZQNA2KE7 |
|---|---|
| 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 2407.02022#91P7, Barlet classification and fundamental cycles (statement). In RZDNWV9E29/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.6
Bézout's identity 7DZQZYGZCT
| URI | m2://inv/7DZQZYGZCT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bézout's identity#4E3A, Bézout's identity (statement)
History
- 2026-11-02: add by m2/dev
Computer-assisted survey information collection 7DZWT8YF5Q
| URI | m2://inv/7DZWT8YF5Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computer-assisted survey information collection, Computer-assisted survey information collection (definition). Also Wikidata Q5157389
History
- 2026-11-02: add by m2/dev