Inventory rows 25
The cards of the rows of the inventory whose ids start with 25. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Lemma 2 2503F80SYR
| URI | m2://inv/2503F80SYR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proofs of Fermat's little theorem#CXX3, Lemma 2 (statement)
History
- 2026-11-02: add by m2/dev
250JJHKW44 250JJHKW44
| URI | m2://inv/250JJHKW44 |
|---|---|
| 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.32946#6MMH (statement). In 6AEBXNK614/e1, theorem 4.6
History
- 2026-10-31: add by m2/v0.5.6
Properties 250K535C6N
| URI | m2://inv/250K535C6N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite measure#0HA8, Properties (statement)
History
- 2026-11-02: add by m2/dev
250MQ4QQVK 250MQ4QQVK
| URI | m2://inv/250MQ4QQVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16877#0UO2 (statement). In YY4KFNMPC0/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
250P7VV4E1 250P7VV4E1
| URI | m2://inv/250P7VV4E1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-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.14278#SOHC (statement). In RTE2C0PH4S/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
2513ZGX5VC 2513ZGX5VC
| URI | m2://inv/2513ZGX5VC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.24320#DCDD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Optimal matching 2516FZQQ0C
| URI | m2://inv/2516FZQQ0C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XFY0, Optimal matching (definition)
History
- 2026-11-02: add by m2/dev
AMP and TAP conditions 2519JM46BF
| URI | m2://inv/2519JM46BF |
|---|---|
| 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 2610.09882#3K9C, AMP and TAP conditions (definition). In 7XV6T4N79V/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Dirac-comb identity 251EV590DZ
| URI | m2://inv/251EV590DZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirac comb#9P5U, Dirac-comb identity (statement)
History
- 2026-11-02: add by m2/dev
Jackson integral 252290K4WV
| URI | m2://inv/252290K4WV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs#9A30, Jackson integral (definition)
History
- 2026-11-02: add by m2/dev
Surrey Maths School 25229AGJ2Y
| URI | m2://inv/25229AGJ2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surrey Maths School, Surrey Maths School (definition). Also Wikidata Q139751486
History
- 2026-11-02: add by m2/dev
Distance of qubitized stabilizer codes 2523E2AJ52
| URI | m2://inv/2523E2AJ52 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04834#88UJ, Distance of qubitized stabilizer codes (statement). In YZNK67K060/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.12
unitary group 252919GDDQ
| URI | m2://inv/252919GDDQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Unitary group 0R9R0Y1HDK |
Mentions
- wikidata: Wikidata Q1500617, unitary group (definition). Also EoM Unitary_group, MathWorld UnitaryGroup, nLab unitary group, ProofWiki Definition:Unitary_Group
- wikipedia: Wikipedia Unitary group, Unitary group (definition). Also Wikidata Q1500617
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
dual 252CAESJSD
| URI | m2://inv/252CAESJSD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.2/dual, dual (concept). In QKM9DD2H56, index, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
252CYEQS84 252CYEQS84
| URI | m2://inv/252CYEQS84 |
|---|---|
| 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.30817#RZL9 (statement). In DP5KJ7AATM/e1, proposition B.1
History
- 2026-10-31: add by m2/v0.5.6
252HPHH87B 252HPHH87B
| URI | m2://inv/252HPHH87B |
|---|---|
| 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.37920#4TXX (statement). In GZPF8R6BBF/e1, theorem 3.4
History
- 2026-10-30: add by m2/v0.4.12
252JJ3N6SN 252JJ3N6SN
| URI | m2://inv/252JJ3N6SN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20663#2VWG (statement). In AZMX0CY5NE/e1, corollary 29
History
- 2026-10-27: add by m2/v0.4.2
Applications 252RR8Y5BA
| URI | m2://inv/252RR8Y5BA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss's lemma (polynomials)#YBU9, Applications (example)
History
- 2026-11-02: add by m2/dev
252S9HDJPY 252S9HDJPY
| URI | m2://inv/252S9HDJPY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#RD-archimedean-ordered-field (statement). In N54F33XE07, thm, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
252TGGQ790 252TGGQ790
| URI | m2://inv/252TGGQ790 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-28 (exercise). In E9HS8K3A52, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
252XQ6CX52 252XQ6CX52
| URI | m2://inv/252XQ6CX52 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20542#4TL7 (statement). In 8PZXZ8Y9FK/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.4.2
253084CK58 253084CK58
| URI | m2://inv/253084CK58 |
|---|---|
| Kind | definition |
| 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.01473#7Z7F (definition). In ABS9M47F4K/e1, definition 4.7
History
- 2026-10-27: add by m2/v0.3.6
George Boolos 25385M9WJR
| URI | m2://inv/25385M9WJR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Boolos, George Boolos (topic). Also Wikidata Q1392740
History
- 2026-11-02: add by m2/dev
Coercivity of $-\mathcal{K}$ 253M6WQAMK
| URI | m2://inv/253M6WQAMK |
|---|---|
| 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.20145#45XH, Coercivity of $-\mathcal{K}$ (statement). In HXKJ4MT1CX/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.4.2
253QGPE8C7 253QGPE8C7
| URI | m2://inv/253QGPE8C7 |
|---|---|
| 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.26496#R0OI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Agnes Bell Collier 253SYACC8X
| URI | m2://inv/253SYACC8X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Agnes Bell Collier, Agnes Bell Collier (topic). Also Wikidata Q15989920
History
- 2026-11-02: add by m2/dev
25449FQ7TZ 25449FQ7TZ
| URI | m2://inv/25449FQ7TZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#TO1S (statement). In 6NVP3YRWVA/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
Radha Laha 2548SZ0ACK
| URI | m2://inv/2548SZ0ACK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QEKG, Radha Laha (unknown)
History
- 2026-11-02: add by m2/dev
Examples 25495QHY8M
| URI | m2://inv/25495QHY8M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of finite groups#9RTB, Examples (example)
History
- 2026-11-02: add by m2/dev
25499HTR4E 25499HTR4E
| URI | m2://inv/25499HTR4E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-5.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Clausius–Mossotti relation 254A6EEND0
| URI | m2://inv/254A6EEND0 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clausius–Mossotti relation, Clausius–Mossotti relation (object). Also Wikidata Q899023
History
- 2026-11-02: add by m2/dev
254ASZFZZQ 254ASZFZZQ
| URI | m2://inv/254ASZFZZQ |
|---|---|
| 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 1902.04230#7TFH (statement). In 22JZ68FGCW/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Theorem 254BS1F834
| URI | m2://inv/254BS1F834 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schmidt decomposition#B1DY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Parity conjugacy 254DQT2DCG
| URI | m2://inv/254DQT2DCG |
|---|---|
| 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.20242#1AAJ, Parity conjugacy (statement). In TAX627CRH2/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.4.2
254E7WB6X0 254E7WB6X0
| URI | m2://inv/254E7WB6X0 |
|---|---|
| Kind | example |
| 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#A5JD (example). In H3FWT3Z0J4/e1, example 2.1
History
- 2026-10-27: add by m2/v0.3.5
Definitions 254FGBPF5E
| URI | m2://inv/254FGBPF5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type theory#LJFA, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Quantum group 254JFMBC17
| URI | m2://inv/254JFMBC17 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#2PA5, Quantum group (definition)
- wikipedia: Wikipedia List of q-analogs#297M, Quantum group (definition)
- wikipedia: Wikipedia List of mathematical topics in quantum theory#2TL7, Quantum group (definition)
History
- 2026-11-02: add by m2/dev
Euclidean Algorithm 254XZZ3XZJ
| URI | m2://inv/254XZZ3XZJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_induction_recursion.ptx#thm_euclideanalg, Euclidean Algorithm (statement). In QKM9DD2H56, theorem, section 3.5.1
History
- 2026-11-01: add by m2/v0.6.13
Definition 254Y75Y21X
| URI | m2://inv/254Y75Y21X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic function#D302, Definition (definition)
History
- 2026-11-02: add by m2/dev
2552FTHFG0 2552FTHFG0
| URI | m2://inv/2552FTHFG0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section5-1.xml#ula-preview-5-1 (exercise). In 649HGZKE96, exploration, section 5.1.1
History
- 2026-11-01: add by m2/v0.6.13
Definition 2555PD96MD
| URI | m2://inv/2555PD96MD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter matroid#OCS4, Definition (definition)
History
- 2026-11-02: add by m2/dev
255AMRA0P1 255AMRA0P1
| URI | m2://inv/255AMRA0P1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-20 (exercise). In E59CDZA4DP, exercise, section 9.2.5
History
- 2026-11-01: add by m2/v0.6.13
255ATW1AEA 255ATW1AEA
| URI | m2://inv/255ATW1AEA |
|---|---|
| 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.16941#ZVPU (statement). In T96MPYB0KT/e1, corollary 3.9.1
History
- 2026-10-28: add by m2/v0.4.2
255GTDKNJT 255GTDKNJT
| URI | m2://inv/255GTDKNJT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 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 2505.05539#V3E5 (statement). In 8SVVEVGMNE/e1, lemma 2.15
History
- 2026-10-27: add by m2/v0.3.5
individual variable 255PGKDY43
| URI | m2://inv/255PGKDY43 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1661660, individual variable (unknown). Also EoM Individual_variable
History
- 2026-10-26: add by m2/dev
Definitions and description of the Krohn–Rhodes theorem 255S0BJGA0
| URI | m2://inv/255S0BJGA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krohn–Rhodes theory#D1V5, Definitions and description of the Krohn–Rhodes theorem (definition)
History
- 2026-11-02: add by m2/dev
255TT400MH 255TT400MH
| URI | m2://inv/255TT400MH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#014N (example). In ZPT9XCCAPQ/e1, example A.0.10
History
- 2026-10-31: add by m2/v0.5.6
255XERY74G 255XERY74G
| URI | m2://inv/255XERY74G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02106#T6PH (statement). In NGKK8ZB29J/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
Properties 255YPJD5HE
| URI | m2://inv/255YPJD5HE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Motzkin number#Q29I, Properties (statement)
History
- 2026-11-02: add by m2/dev
Richard Arratia 2560NEFBPW
| URI | m2://inv/2560NEFBPW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Arratia, Richard Arratia (topic). Also Wikidata Q14492057
History
- 2026-11-02: add by m2/dev
2564DGM0CW 2564DGM0CW
| URI | m2://inv/2564DGM0CW |
|---|---|
| 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.18329#YJY1 (statement). In 3VWEPEFHN3/e1, theorem 3.9
History
- 2026-10-28: add by m2/v0.4.2
Definition and notation 25651QRQXA
| URI | m2://inv/25651QRQXA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Actuarial present value#WJUT, Definition and notation (definition)
History
- 2026-11-02: add by m2/dev
Coxeter notation 2568NVJB29
| URI | m2://inv/2568NVJB29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter notation, Coxeter notation (definition). Also Wikidata Q5179942
History
- 2026-11-02: add by m2/dev
Ground states 256E1F1DB7
| URI | m2://inv/256E1F1DB7 |
|---|---|
| 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.30544#QE2H, Ground states (statement). In CB35ZBBBPT/e1, theorem D
History
- 2026-10-31: add by m2/v0.5.6
statics 256E4XEH35
| URI | m2://inv/256E4XEH35 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 70C20, 70Cxx |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q169019, statics (topic)
- wikipedia: Wikipedia Statics, Statics (topic). Also Wikidata Q169019
History
- 2026-10-26: add by m2/dev
Leo Deutsch 256H5JZTG4
| URI | m2://inv/256H5JZTG4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#JX1R, Leo Deutsch (unknown)
History
- 2026-11-02: add by m2/dev
256JWRJZ12 256JWRJZ12
| URI | m2://inv/256JWRJZ12 |
|---|---|
| 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.14374#YUBP (statement). In YPTC532FEG/e1, corollary 31
History
- 2026-10-28: add by m2/v0.4.2
minion core 2571GWF3TN
| URI | m2://inv/2571GWF3TN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#50B5, minion core (definition). In GW23NX78SB/e1, definition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Moritz Cantor 25729EMQ15
| URI | m2://inv/25729EMQ15 |
|---|---|
| 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#4DJ7, Moritz Cantor (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#W2GL, Moritz Cantor (topic)
History
- 2026-11-02: add by m2/dev
2572GF29AP 2572GF29AP
| URI | m2://inv/2572GF29AP |
|---|---|
| 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 2610.07812#57JR (statement). In PVX8WBBXW5/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Division algorithm 257GW5W70V
| URI | m2://inv/257GW5W70V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Division algorithm, Division algorithm (definition). Also Wikidata Q3526714
History
- 2026-11-02: add by m2/dev
Hopf decomposition 257T8AKQS4
| URI | m2://inv/257T8AKQS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf decomposition, Hopf decomposition (definition). Also Wikidata Q30098176
History
- 2026-11-02: add by m2/dev
257TJ9RJ5M 257TJ9RJ5M
| URI | m2://inv/257TJ9RJ5M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#prop-20 (statement). In E59CDZA4DP, prop, section 10.6.5
History
- 2026-11-01: add by m2/v0.6.13
Fractional ideal 257V2ED25P
| URI | m2://inv/257V2ED25P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#BQ2M, Fractional ideal (definition)
History
- 2026-11-02: add by m2/dev
Maciej Zworski 257YEH21V2
| URI | m2://inv/257YEH21V2 |
|---|---|
| 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#XDMU, Maciej Zworski (topic)
History
- 2026-11-02: add by m2/dev
⇒ 25813JKD1R
| URI | m2://inv/25813JKD1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#SRVT, ⇒ (definition)
History
- 2026-11-02: add by m2/dev
Odlyzko–Schönhage algorithm 2581M0B8AB
| URI | m2://inv/2581M0B8AB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#R3SL, Odlyzko–Schönhage algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Fermat's right triangle theorem 2585JHJ73T
| URI | m2://inv/2585JHJ73T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Fermat's right triangle theorem 086BE0J3FZ |
Mentions
- wikidata: Wikidata Q18640217, Fermat's right triangle theorem (statement). Also MathWorld FermatsRightTriangleTheorem
- wikipedia: Wikipedia Fermat's right triangle theorem, Fermat's right triangle theorem (statement). Also Wikidata Q18640217
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Quasi-interior point 25860ENJGN
| URI | m2://inv/25860ENJGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-interior point, Quasi-interior point (definition). Also Wikidata Q96400621
History
- 2026-11-02: add by m2/dev
Direct sum 2586KV80FH
| URI | m2://inv/2586KV80FH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Splitting lemma#OX2S, Direct sum (definition)
History
- 2026-11-02: add by m2/dev
258DTEBQDG 258DTEBQDG
| URI | m2://inv/258DTEBQDG |
|---|---|
| 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 1606.05058#SFWL (statement). In V6392C0ANF/e1, theorem F.1
History
- 2026-10-27: add by m2/v0.3.5
elongated pentagonal bipyramid 258E6VFR6G
| URI | m2://inv/258E6VFR6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q196593, elongated pentagonal bipyramid (object). Also MathWorld ElongatedPentagonalDipyramid
- wikipedia: Wikipedia Elongated pentagonal bipyramid, Elongated pentagonal bipyramid (definition). Also Wikidata Q196593
History
- 2026-10-26: add by m2/dev
List of Chinese provincial-level divisions by GDP 258KSEYPJV
| URI | m2://inv/258KSEYPJV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese provincial-level divisions by GDP, List of Chinese provincial-level divisions by GDP (topic). Also Wikidata Q169938
History
- 2026-11-02: add by m2/dev
2591BE2PSK 2591BE2PSK
| URI | m2://inv/2591BE2PSK |
|---|---|
| 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.00113#23XJ (statement). In R9PP1Y2EP4/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Odd–even sort 2593XMCM15
| URI | m2://inv/2593XMCM15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odd–even sort, Odd–even sort (definition). Also Wikidata Q578580
History
- 2026-11-02: add by m2/dev
259EA5RFNK 259EA5RFNK
| URI | m2://inv/259EA5RFNK |
|---|---|
| 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.20675#BIRD (statement)
History
- 2026-11-02: add by m2/v0.6.18
Global Curvature Equality 259JCKBNGW
| URI | m2://inv/259JCKBNGW |
|---|---|
| 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.34154#12WQ, Global Curvature Equality (statement). In VPET0W9RFS/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
259VYDSKPD 259VYDSKPD
| URI | m2://inv/259VYDSKPD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25129#QT7S (statement)
History
- 2026-11-01: add by m2/v0.6.15
F. Burton Jones 259Z02FRRX
| URI | m2://inv/259Z02FRRX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QFQH, F. Burton Jones (unknown)
History
- 2026-11-02: add by m2/dev
Definition 25A3M838Z2
| URI | m2://inv/25A3M838Z2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory function#G2E6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cartesian product 25A9DRSQ0Y
| URI | m2://inv/25A9DRSQ0Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.3.3/cartesian-product, Cartesian product (concept). In Y91XFCEVHQ, index, section 1.3.3
History
- 2026-11-01: add by m2/v0.6.13
Antibiotics 25AA88AWYM
| URI | m2://inv/25AA88AWYM |
|---|---|
| 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#3WN2, Antibiotics (unknown)
History
- 2026-11-02: add by m2/dev
25ABS74TV5 25ABS74TV5
| URI | m2://inv/25ABS74TV5 |
|---|---|
| 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 2109.11684#LP49 (statement). In CHE1JCV3EK/e1, theorem C.2
History
- 2026-10-27: add by m2/v0.3.5
Line-bundle vanishing 25AG6GKGV9
| URI | m2://inv/25AG6GKGV9 |
|---|---|
| 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.28028#YEGB, Line-bundle vanishing (statement)
History
- 2026-11-01: add by m2/v0.6.15
Preradical 25AJ5E58CF
| URI | m2://inv/25AJ5E58CF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preradical, Preradical (definition). Also Wikidata Q28401220
History
- 2026-11-02: add by m2/dev
Comparator paths 25APW9XYFM
| URI | m2://inv/25APW9XYFM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20416#OFR2, Comparator paths (definition). In P603M3M91A/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.4.2
Mean absolute error 25AQ2RR1D4
| URI | m2://inv/25AQ2RR1D4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean absolute error, Mean absolute error (definition). Also Wikidata Q6803609
History
- 2026-11-02: add by m2/dev
25AQSAW20M 25AQSAW20M
| URI | m2://inv/25AQSAW20M |
|---|---|
| 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.26357#6FDI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Robin Gandy Buildings 25AS81ZWE2
| URI | m2://inv/25AS81ZWE2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robin Gandy#34KW, Robin Gandy Buildings (unknown)
History
- 2026-11-02: add by m2/dev
mutual independence 25ATEFCN0H
| URI | m2://inv/25ATEFCN0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#0V3I, mutual independence (definition)
History
- 2026-11-02: add by m2/dev
Subresultant 25ATX6WJ5K
| URI | m2://inv/25ATX6WJ5K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial greatest common divisor#SOCV, Subresultant (unknown)
History
- 2026-11-02: add by m2/dev
25AXS3VHBJ 25AXS3VHBJ
| URI | m2://inv/25AXS3VHBJ |
|---|---|
| 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.19171#N6Y3 (statement). In SJWP1EE3T8/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Berlin workshops on Babylonian mathematics 25B1MQ1XW8
| URI | m2://inv/25B1MQ1XW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berlin workshops on Babylonian mathematics, Berlin workshops on Babylonian mathematics (definition). Also Wikidata Q97177637
History
- 2026-11-02: add by m2/dev
calibrated geometry 25B3HM2V8R
| URI | m2://inv/25B3HM2V8R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5019833, calibrated geometry (concept). Also MathWorld CalibrationForm, nLab calibration
- wikipedia: Wikipedia Calibrated geometry, Calibrated geometry (definition). Also Wikidata Q5019833
History
- 2026-10-26: add by m2/dev
Examples 25BCRTPWSE
| URI | m2://inv/25BCRTPWSE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hertz vector#RYJL, Examples (example)
History
- 2026-11-02: add by m2/dev
Certified Holley line 25BJ2T3DJS
| URI | m2://inv/25BJ2T3DJS |
|---|---|
| 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#L7AE, Certified Holley line (statement)
History
- 2026-11-02: add by m2/v0.6.17
Menon's identity 25BM4KP0BF
| URI | m2://inv/25BM4KP0BF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic function#3CO8, Menon's identity (statement)
History
- 2026-11-02: add by m2/dev
Bergman's diamond lemma 25BMPF4XN1
| URI | m2://inv/25BMPF4XN1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#FH27, Bergman's diamond lemma (statement)
History
- 2026-11-02: add by m2/dev
Definition 25BWG3R8FA
| URI | m2://inv/25BWG3R8FA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiclass classification#RM6K, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition 25BWSARBXH
| URI | m2://inv/25BWSARBXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruzsa triangle inequality#Q8J4, Definition (definition)
History
- 2026-11-02: add by m2/dev
25C3QZVNW9 25C3QZVNW9
| URI | m2://inv/25C3QZVNW9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.21034#FELD (definition)
History
- 2026-11-02: add by m2/v0.6.18
Examples 25C4HTR10C
| URI | m2://inv/25C4HTR10C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Splitting field#VFYM, Examples (example)
History
- 2026-11-02: add by m2/dev
fiber sequence 25CEWC18X7
| URI | m2://inv/25CEWC18X7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.4/fiber-sequence, fiber sequence (concept). In N54F33XE07, index, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
Time-series regression 25CHGS8TEE
| URI | m2://inv/25CHGS8TEE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7G57, Time-series regression (definition)
History
- 2026-11-02: add by m2/dev
25CKBAA7KA 25CKBAA7KA
| URI | m2://inv/25CKBAA7KA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_central-tendency.ptx#example-2 (example). In QKM9DD2H56, example, section 10.5.1
History
- 2026-11-01: add by m2/v0.6.13
Conformal radius 25CP74BGSY
| URI | m2://inv/25CP74BGSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conformal radius, Conformal radius (definition). Also Wikidata Q5160255
History
- 2026-11-02: add by m2/dev
Hκ 25CWBCVZ7X
| URI | m2://inv/25CWBCVZ7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#S3XP, Hκ (definition)
History
- 2026-11-02: add by m2/dev
25D3BT5YCA 25D3BT5YCA
| URI | m2://inv/25D3BT5YCA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39539#UGUL (definition). In GVR218P3ZR/e1, definition 2.1.2
History
- 2026-10-30: add by m2/v0.4.12
Artin map 25D5V3HWQG
| URI | m2://inv/25D5V3HWQG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q128657469, Artin map (unknown). Also MathWorld ArtinMap
History
- 2026-10-26: add by m2/dev
Alessandra Buonanno 25D7H8V539
| URI | m2://inv/25D7H8V539 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#JQVJ, Alessandra Buonanno (unknown)
History
- 2026-11-02: add by m2/dev
Pseudocount 25D8GDA736
| URI | m2://inv/25D8GDA736 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive smoothing#HE0V, Pseudocount (unknown)
History
- 2026-11-02: add by m2/dev
Predicate transformer semantics 25DG1J0493
| URI | m2://inv/25DG1J0493 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predicate transformer semantics, Predicate transformer semantics (definition). Also Wikidata Q291929
History
- 2026-11-02: add by m2/dev
Frank Natterer 25DMN2QSMB
| URI | m2://inv/25DMN2QSMB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#R5AN, Frank Natterer (topic)
- wikipedia: Wikipedia List of German mathematicians#3WZ1, Frank Natterer (topic)
History
- 2026-11-02: add by m2/dev
25DMXAX1CG 25DMXAX1CG
| URI | m2://inv/25DMXAX1CG |
|---|---|
| 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.25564#0LC3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
25DNC7JA6E 25DNC7JA6E
| URI | m2://inv/25DNC7JA6E |
|---|---|
| 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.13846#STJL (statement). In DN3HGHGRYJ/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
Closed Hodge heat evolution 25DY2H1HNC
| URI | m2://inv/25DY2H1HNC |
|---|---|
| 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.16563#18BD, Closed Hodge heat evolution (statement). In V51HCA9ZAA/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
25DZNFYNWS 25DZNFYNWS
| URI | m2://inv/25DZNFYNWS |
|---|---|
| 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.01998#AGYZ (statement). In 71YD1PGG8E/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Ricci curvature 25E1FVK4DW
| URI | m2://inv/25E1FVK4DW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#YCGN, Ricci curvature (definition)
History
- 2026-11-02: add by m2/dev
Re-parametrization and equivalence relation 25E3FPGD5C
| URI | m2://inv/25E3FPGD5C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiable curve#7GWO, Re-parametrization and equivalence relation (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 25ED40J0Y4
| URI | m2://inv/25ED40J0Y4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert–Samuel function#Y6MH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications 25EMD0T0ZS
| URI | m2://inv/25EMD0T0ZS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson summation formula#OK30, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties 25F0PS4VSX
| URI | m2://inv/25F0PS4VSX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rule 90#0KZ7, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition 25F1AV4X7P
| URI | m2://inv/25F1AV4X7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation attack#1IQY, Definition (definition)
History
- 2026-11-02: add by m2/dev
Stephan Körner 25F9QWS347
| URI | m2://inv/25F9QWS347 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephan Körner, Stephan Körner (topic). Also Wikidata Q2343513
History
- 2026-11-02: add by m2/dev
25FAJN5DAA 25FAJN5DAA
| URI | m2://inv/25FAJN5DAA |
|---|---|
| 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 2609.29450#DTX4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Spin manifold 25FJF0RR9E
| URI | m2://inv/25FJF0RR9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#ELP2, Spin manifold (definition)
History
- 2026-11-02: add by m2/dev
25FQH65ZP3 25FQH65ZP3
| URI | m2://inv/25FQH65ZP3 |
|---|---|
| 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.19533#P5HE (statement). In RG4Z9C6ANS/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Daniel R. Jeske 25FT5SN8G8
| URI | m2://inv/25FT5SN8G8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel R. Jeske, Daniel R. Jeske (topic). Also Wikidata Q57017055
History
- 2026-11-02: add by m2/dev
Resolution proof reduction via local context rewriting 25FYHZWXSG
| URI | m2://inv/25FYHZWXSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolution proof reduction via local context rewriting, Resolution proof reduction via local context rewriting (definition). Also Wikidata Q7315700
History
- 2026-11-02: add by m2/dev
25G6J5G73R 25G6J5G73R
| URI | m2://inv/25G6J5G73R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#CQLY (example). In VN084GGZGK/e1, example 2.26
History
- 2026-10-28: add by m2/v0.4.3
25G9BEWEKV 25G9BEWEKV
| URI | m2://inv/25G9BEWEKV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 1209.3562#Y9C6 (definition). In KZH1DCS18C/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
25GGGBRFW1 25GGGBRFW1
| URI | m2://inv/25GGGBRFW1 |
|---|---|
| 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.12295#4VOK (statement). In 6DZPR52HRP/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
25GHK9XSZ2 25GHK9XSZ2
| URI | m2://inv/25GHK9XSZ2 |
|---|---|
| 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.03298#QOGF (statement). In 9SBZP218SM/e1, corollary 9.5
History
- 2026-10-29: add by m2/v0.4.12
KLR 25GK8KGD58
| URI | m2://inv/25GK8KGD58 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13585#4AJ8, KLR (definition). In VM1H86JNN7/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
Applications 25GM3YGS6R
| URI | m2://inv/25GM3YGS6R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latent semantic analysis#7TVV, Applications (example)
History
- 2026-11-02: add by m2/dev
25GRVPKKHM 25GRVPKKHM
| URI | m2://inv/25GRVPKKHM |
|---|---|
| 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.18219#D5FG (statement). In X1AGBB90EH/e1, lemma 5.10
History
- 2026-10-28: add by m2/v0.4.2
Typical complement properties 25GW7G4XA3
| URI | m2://inv/25GW7G4XA3 |
|---|---|
| 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.23362#2UC9, Typical complement properties (statement)
History
- 2026-11-02: add by m2/v0.6.17
falsum 25H1C2YERX
| URI | m2://inv/25H1C2YERX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#ZLKP, falsum (definition)
History
- 2026-11-02: add by m2/dev
25HAVW1W0S 25HAVW1W0S
| URI | m2://inv/25HAVW1W0S |
|---|---|
| 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.17518#54L3 (statement). In YA4JEWTVS4/e1, corollary 6.7
History
- 2026-10-28: add by m2/v0.4.2
Isoparametric function 25HFE0GVFF
| URI | m2://inv/25HFE0GVFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isoparametric function, Isoparametric function (definition). Also Wikidata Q16910818
History
- 2026-11-02: add by m2/dev
Bayesian probability 25HPXXDSZM
| URI | m2://inv/25HPXXDSZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian probability, Bayesian probability (definition). Also Wikidata Q812534
History
- 2026-11-02: add by m2/dev
Tail-sum formula 25HRSBCTPZ
| URI | m2://inv/25HRSBCTPZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expected value#SOG6, Tail-sum formula (statement)
History
- 2026-11-02: add by m2/dev
Properties 25HV440Y9X
| URI | m2://inv/25HV440Y9X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clebsch graph#4NHY, Properties (statement)
History
- 2026-11-02: add by m2/dev
25J0ZM95AM 25J0ZM95AM
| URI | m2://inv/25J0ZM95AM |
|---|---|
| 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.21408#WMHY (statement). In 3XBEGXNPXZ/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.2
25J1E2HNX0 25J1E2HNX0
| URI | m2://inv/25J1E2HNX0 |
|---|---|
| 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.01828#4UOQ (statement). In RQMJY73C8Q/e1, corollary V.2
History
- 2026-10-29: add by m2/v0.4.12
25JH9GXRSS 25JH9GXRSS
| URI | m2://inv/25JH9GXRSS |
|---|---|
| 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#SKTE (statement). In 672XAVEQ34/e1, corollary 5.2
History
- 2026-10-29: add by m2/v0.4.10
second 25JN49DFTE
| URI | m2://inv/25JN49DFTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#7OST, second (definition)
History
- 2026-11-02: add by m2/dev
25JNTVV2TZ 25JNTVV2TZ
| URI | m2://inv/25JNTVV2TZ |
|---|---|
| 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.18270#ZONR (statement). In CPDMYJ0NJV/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
25JNVFWKN0 25JNVFWKN0
| URI | m2://inv/25JNVFWKN0 |
|---|---|
| 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.30203#GQO2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
25JP4304VP 25JP4304VP
| URI | m2://inv/25JP4304VP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#3CPL (statement)
History
- 2026-11-01: add by m2/v0.6.15
25JWDP21HY 25JWDP21HY
| URI | m2://inv/25JWDP21HY |
|---|---|
| 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.21937#YDIE (statement)
History
- 2026-11-02: add by m2/v0.6.17
25K6SFKA79 25K6SFKA79
| URI | m2://inv/25K6SFKA79 |
|---|---|
| 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.08135#VCDV (statement). In D4PE6R0BT3/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
25K7R6T4JM 25K7R6T4JM
| URI | m2://inv/25K7R6T4JM |
|---|---|
| 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 2311.16205#Z14N (statement). In 3GE9PS9AH0/e1, proposition 1.3.1
History
- 2026-10-27: add by m2/v0.3.5
Vasili Yakovlevich Zinger 25KAGMC584
| URI | m2://inv/25KAGMC584 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vasili Yakovlevich Zinger, Vasili Yakovlevich Zinger (topic). Also Wikidata Q2079434
History
- 2026-11-02: add by m2/dev
25KCN3FKNT 25KCN3FKNT
| URI | m2://inv/25KCN3FKNT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#ex:lem-mereprop (exercise). In N54F33XE07, ex, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
25KE5JYVHB 25KE5JYVHB
| URI | m2://inv/25KE5JYVHB |
|---|---|
| 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 2610.15352#QXWD (definition). In R39P7AFXM8/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
25KJY1894Z 25KJY1894Z
| URI | m2://inv/25KJY1894Z |
|---|---|
| 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.06441#G29C (statement). In YFJ62HWHVK/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.10
Properties 25KK9N5FRC
| URI | m2://inv/25KK9N5FRC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lyndon–Hochschild–Serre spectral sequence#7HYN, Properties (statement)
History
- 2026-11-02: add by m2/dev
25KM54V25B 25KM54V25B
| URI | m2://inv/25KM54V25B |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/applications.tex#proof-1 (proof). In RZP28ERRZV, proof, section 78.1
History
- 2026-11-01: add by m2/v0.6.13
Definition 25KTHJFWNW
| URI | m2://inv/25KTHJFWNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reynolds number#DHZT, Definition (definition)
History
- 2026-11-02: add by m2/dev
25KZPSQ4V1 25KZPSQ4V1
| URI | m2://inv/25KZPSQ4V1 |
|---|---|
| Kind | definition |
| 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 2609.39254#I6L1 (definition). In A59MZ9H284/e1, definition 2.10
History
- 2026-10-30: add by m2/v0.4.12
25M0VGT6EG 25M0VGT6EG
| URI | m2://inv/25M0VGT6EG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#Q6YD (statement). In VN084GGZGK/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.3
25M9GKP73Q 25M9GKP73Q
| URI | m2://inv/25M9GKP73Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.07280#3TFZ (definition). In 1FJKW4WGEN/e1, definition 1.7
History
- 2026-10-29: add by m2/v0.4.10
25MFAVS3B4 25MFAVS3B4
| URI | m2://inv/25MFAVS3B4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13953#XD7V (statement). In D8258MF12E/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
quinary 25MFYZEF6C
| URI | m2://inv/25MFYZEF6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#2NV4, quinary (definition)
History
- 2026-11-02: add by m2/dev
25MG1MN25H 25MG1MN25H
| URI | m2://inv/25MG1MN25H |
|---|---|
| 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.27301#U3KU (statement)
History
- 2026-11-01: add by m2/v0.6.15
25MMTV9YA6 25MMTV9YA6
| URI | m2://inv/25MMTV9YA6 |
|---|---|
| Kind | example |
| 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.05623#8VSA (example). In 7PFNKZYB7D/e1, example 2
History
- 2026-10-29: add by m2/v0.4.10
25MWAVQ0XS 25MWAVQ0XS
| URI | m2://inv/25MWAVQ0XS |
|---|---|
| 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 2502.05771#3S79 (statement). In 958KKGH89J/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.6
Definition 25MY1DNBN0
| URI | m2://inv/25MY1DNBN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ribbon graph#5NR0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Elementary consequences of the group axioms 25N1C0FZB0
| URI | m2://inv/25N1C0FZB0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (a person holds the item: the section has a number of facts, and each fact needs its own node) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group (mathematics)#XH8E, Elementary consequences of the group axioms (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
\textbf{Surjectivity of $T_\tau$ 25N7GQ6Q50
| URI | m2://inv/25N7GQ6Q50 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14266#5MTP, \textbf{Surjectivity of $T_\tau$ (statement). In 7R33E8515R/e1, lemma 2.14
History
- 2026-10-28: add by m2/v0.4.2
Statistical package 25NGSWSD37
| URI | m2://inv/25NGSWSD37 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DF1M, Statistical package (topic)
History
- 2026-11-02: add by m2/dev
Properties 25NJD8EETS
| URI | m2://inv/25NJD8EETS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperfinite type II factor#1U9J, Properties (statement)
History
- 2026-11-02: add by m2/dev
Skorokhod's representation theorem 25NSBSM6CX
| URI | m2://inv/25NSBSM6CX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#INZX, Skorokhod's representation theorem (statement)
History
- 2026-11-02: add by m2/dev
25NYHJSM0J 25NYHJSM0J
| URI | m2://inv/25NYHJSM0J |
|---|---|
| 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.09672#FWDY (statement). In TXBXCPP0QH/e1, lemma 45
History
- 2026-10-29: add by m2/v0.4.10
Examples 25P1K1Y1CB
| URI | m2://inv/25P1K1Y1CB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simply connected space#O2SJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Schoch circles 25PMXCR7R6
| URI | m2://inv/25PMXCR7R6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schoch circles, Schoch circles (definition). Also Wikidata Q7431930
History
- 2026-11-02: add by m2/dev
Examples 25PYWH6XPC
| URI | m2://inv/25PYWH6XPC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optical transfer function#B8MV, Examples (example)
History
- 2026-11-02: add by m2/dev
25Q1GPKRTW 25Q1GPKRTW
| URI | m2://inv/25Q1GPKRTW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-76 (exercise). In E9HS8K3A52, exercise, section 6.6.3
History
- 2026-11-01: add by m2/v0.6.13
Truncated pentakis dodecahedron 25Q3W67ZV2
| URI | m2://inv/25Q3W67ZV2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated pentakis dodecahedron, Truncated pentakis dodecahedron (definition). Also Wikidata Q18354754
History
- 2026-11-02: add by m2/dev
Banff International Research Station 25QGQRCYEZ
| URI | m2://inv/25QGQRCYEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banff International Research Station, Banff International Research Station (definition). Also Wikidata Q14357863
History
- 2026-11-02: add by m2/dev
25R4GH761T 25R4GH761T
| URI | m2://inv/25R4GH761T |
|---|---|
| Kind | example |
| 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 1712.02437#EC5A (example). In GZDFK652T9/e1, example 4.3
History
- 2026-10-27: add by m2/v0.3.5
Properties 25R4WP277T
| URI | m2://inv/25R4WP277T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point reflection#LPEQ, Properties (statement)
History
- 2026-11-02: add by m2/dev
25R5C6GY4W 25R5C6GY4W
| URI | m2://inv/25R5C6GY4W |
|---|---|
| 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.18922#GJPG (statement). In 6FKDYENQ8M/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Pentagonal rotunda 25RADRR4ES
| URI | m2://inv/25RADRR4ES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#FEVG, Pentagonal rotunda (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#MNZF, Pentagonal rotunda (definition)
History
- 2026-11-02: add by m2/dev
Rank n quality 25RB8XKZVH
| URI | m2://inv/25RB8XKZVH |
|---|---|
| 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.32936#U86H, Rank n quality (statement). In QDBYK125AB/e1, proposition 4
History
- 2026-10-31: add by m2/v0.5.6
Equivalence of the optimality system 25RBK205N2
| URI | m2://inv/25RBK205N2 |
|---|---|
| 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.00033#61D1, Equivalence of the optimality system (statement). In SHMMW4JXZ1/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
Color under 25RCEMW7H7
| URI | m2://inv/25RCEMW7H7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heterodyne#32XQ, Color under (unknown)
History
- 2026-11-02: add by m2/dev
25RD24BE53 25RD24BE53
| URI | m2://inv/25RD24BE53 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv alg-geom/9506022#IFEY (unknown). In AQGEM4XAKD/e1, unknown 3.1
History
- 2026-10-27: add by m2/v0.3.5
25RDZT300T 25RDZT300T
| URI | m2://inv/25RDZT300T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.03672#PNKB (statement). In EZZSZ1F071/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.4.0
25REW0RFNM 25REW0RFNM
| URI | m2://inv/25REW0RFNM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#DMM3 (statement). In 7V2PVZS04C/e1, proposition 2.5
History
- 2026-10-31: add by m2/v0.5.6
Donald S. Ornstein 25RGP84MF7
| URI | m2://inv/25RGP84MF7 |
|---|---|
| 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#HYS8, Donald S. Ornstein (topic)
History
- 2026-11-02: add by m2/dev
Biadjacency matrix 25RNKXNQJ6
| URI | m2://inv/25RNKXNQJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#4RY0, Biadjacency matrix (definition)
History
- 2026-11-02: add by m2/dev
queen's graph 25RQC1KRQ8
| URI | m2://inv/25RQC1KRQ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q29554872, queen's graph (unknown). Also MathWorld QueenGraph
- wikipedia: Wikipedia Queen's graph, Queen's graph (definition). Also Wikidata Q29554872
History
- 2026-10-26: add by m2/dev
Examples 25RXVJC5QM
| URI | m2://inv/25RXVJC5QM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebroid#MN0R, Examples (example)
History
- 2026-11-02: add by m2/dev
25RY8VPV0N 25RY8VPV0N
| URI | m2://inv/25RY8VPV0N |
|---|---|
| Kind | conjecture |
| 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#CKTH (conjecture). In 3CGS9GSKTQ/e1, conjecture 1.9
History
- 2026-10-29: add by m2/v0.4.12
25S6ZM8HXF 25S6ZM8HXF
| URI | m2://inv/25S6ZM8HXF |
|---|---|
| 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.21752#DX5G (statement). In E4DJTPKHAX/e1, theorem 5.7
History
- 2026-10-27: add by m2/v0.4.2
Example 25SDM5GZCH
| URI | m2://inv/25SDM5GZCH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calibration (statistics)#RKAM, Example (example)
History
- 2026-11-02: add by m2/dev
Missing heritability problem 25SMZFPJ6Q
| URI | m2://inv/25SMZFPJ6Q |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Missing heritability problem, Missing heritability problem (conjecture). Also Wikidata Q3083720
History
- 2026-11-02: add by m2/dev
Discrete fixed point and continuum limit 25SR6TPC45
| URI | m2://inv/25SR6TPC45 |
|---|---|
| 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.35894#OTPN, Discrete fixed point and continuum limit (statement). In 2BFQZJ0CNM/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Saturation of the anticanonical open 25SSJ890YF
| URI | m2://inv/25SSJ890YF |
|---|---|
| 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.33808#SKB5, Saturation of the anticanonical open (statement). In 328KGRNN0W/e1, proposition 7.2
History
- 2026-10-30: add by m2/v0.4.12
Applications 25SVNX7TGR
| URI | m2://inv/25SVNX7TGR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pointwise mutual information#5IWL, Applications (example)
History
- 2026-11-02: add by m2/dev
A singular source with infinite source mutual information 25SW9P6JCA
| URI | m2://inv/25SW9P6JCA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#3TFM, A singular source with infinite source mutual information (example). In 9YAE8FNQST/e1, example 28.26
History
- 2026-10-30: add by m2/v0.4.12
Compiled flow graph 25T0XE67Z7
| URI | m2://inv/25T0XE67Z7 |
|---|---|
| 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 2609.20478#W4SK, Compiled flow graph (definition)
History
- 2026-11-02: add by m2/v0.6.18
25T7HY4HNP 25T7HY4HNP
| URI | m2://inv/25T7HY4HNP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26600#62ZN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quantum cohomology 25TC0AS1YV
| URI | m2://inv/25TC0AS1YV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum cohomology, Quantum cohomology (definition). Also Wikidata Q7269022
History
- 2026-11-02: add by m2/dev
Restriction of the scalar field 25TCK1PF4A
| URI | m2://inv/25TCK1PF4A |
|---|---|
| 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.32651#XI1Y, Restriction of the scalar field (statement). In WFJXSE3VDT/e1, proposition 4.6
History
- 2026-10-31: add by m2/v0.5.6
Definition 25TJ44WH3M
| URI | m2://inv/25TJ44WH3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central line (geometry)#5ZZ5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Information distance 25TKK5CGZW
| URI | m2://inv/25TKK5CGZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information distance, Information distance (definition). Also Wikidata Q17092445
History
- 2026-11-02: add by m2/dev
25TKKNYQ3S 25TKKNYQ3S
| URI | m2://inv/25TKKNYQ3S |
|---|---|
| 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 2606.16311#FLLB (statement). In 3G0HCK0DVA/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
Conway's 99-graph problem 25TKS5BBKF
| URI | m2://inv/25TKS5BBKF |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after John Horton Conway#ZGV9, Conway's 99-graph problem (conjecture)
History
- 2026-11-02: add by m2/dev
uniform convergence on compact subsets 25TY4GD4RX
| URI | m2://inv/25TY4GD4RX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/9.2.5/uniform-convergence-on-compact-subsets, uniform convergence on compact subsets (concept). In E59CDZA4DP, index, section 9.2.5
History
- 2026-11-01: add by m2/v0.6.13
25V4Z4BEA1 25V4Z4BEA1
| URI | m2://inv/25V4Z4BEA1 |
|---|---|
| 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.05396#7XMM (statement). In WMVRX5GV9P/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.10
25V7H18ZSK 25V7H18ZSK
| URI | m2://inv/25V7H18ZSK |
|---|---|
| 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.33162#SPAN (statement). In RPC7VG3KHQ/e1, lemma 3.10
History
- 2026-10-30: add by m2/v0.4.12
Definition 25V8FQ1NSS
| URI | m2://inv/25V8FQ1NSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorization system#99N9, Definition (definition)
History
- 2026-11-02: add by m2/dev
25VX3YCQP3 25VX3YCQP3
| URI | m2://inv/25VX3YCQP3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20567#JCHC (statement)
History
- 2026-11-02: add by m2/v0.6.18
25W0T37Q9F 25W0T37Q9F
| URI | m2://inv/25W0T37Q9F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.00617#D1BK (statement). In K7505G10SS/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
Allyn Abbott Young 25W8P7AG6J
| URI | m2://inv/25W8P7AG6J |
|---|---|
| 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#RLAQ, Allyn Abbott Young (unknown)
History
- 2026-11-02: add by m2/dev
Definition 25WE6F7X26
| URI | m2://inv/25WE6F7X26 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Initial value problem#LOU2, Definition (definition)
History
- 2026-11-02: add by m2/dev
25WJRJS4XQ 25WJRJS4XQ
| URI | m2://inv/25WJRJS4XQ |
|---|---|
| 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 2504.00267#5FVG (definition). In 38XJWDZ2PH/e1, definition 4.14
History
- 2026-10-27: add by m2/v0.3.5
25WJW5DFRM 25WJW5DFRM
| URI | m2://inv/25WJW5DFRM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#V6H3 (definition). In 13H5BTAXHF/e1, definition 14
History
- 2026-10-27: add by m2/v0.3.5
25X0MSYEAV 25X0MSYEAV
| URI | m2://inv/25X0MSYEAV |
|---|---|
| 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#Q25F (statement). In 8H0KHK7AMN/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
power method 25XADTA1AN
| URI | m2://inv/25XADTA1AN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/5.2.2/power-method, power method (concept). In 649HGZKE96, index, section 5.2.2
History
- 2026-11-01: add by m2/v0.6.13
25XCE4JMCZ 25XCE4JMCZ
| URI | m2://inv/25XCE4JMCZ |
|---|---|
| Kind | conjecture |
| 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 2002.01498#YQ3U (conjecture). In 2H7TQ695XW/e1, conjecture 5.4
History
- 2026-10-27: add by m2/v0.3.5
25XDXTBVJ4 25XDXTBVJ4
| URI | m2://inv/25XDXTBVJ4 |
|---|---|
| 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 2311.04609#8N8T (statement). In 66W1NPE62D/e1, theorem 0.1
History
- 2026-10-27: add by m2/v0.3.5
25XFXHPSEZ 25XFXHPSEZ
| URI | m2://inv/25XFXHPSEZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-2.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Supergroup 25XGNPWG02
| URI | m2://inv/25XGNPWG02 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#HI3Z, Supergroup (definition)
History
- 2026-11-02: add by m2/dev
25XKMB51CJ 25XKMB51CJ
| URI | m2://inv/25XKMB51CJ |
|---|---|
| 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 2210.12291#GFHW (statement). In PHPNFMYPPE/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Notation 25XN32RB2Z
| URI | m2://inv/25XN32RB2Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum complex network#R2VR, Notation (definition)
History
- 2026-11-02: add by m2/dev
25XNXXQC84 25XNXXQC84
| URI | m2://inv/25XNXXQC84 |
|---|---|
| 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.15771#X50X (statement). In F2243YZX7A/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Ronald Fisher bibliography 25Y9XY9MAY
| URI | m2://inv/25Y9XY9MAY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ronald Fisher bibliography, Ronald Fisher bibliography (definition). Also Wikidata Q15989760
History
- 2026-11-02: add by m2/dev
25YCX6T16B 25YCX6T16B
| URI | m2://inv/25YCX6T16B |
|---|---|
| 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 2204.10840#GX2L (statement). In EMS1MAJZ4X/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.6
Bootstrap aggregating 25YWFH4W43
| URI | m2://inv/25YWFH4W43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bootstrap aggregating, Bootstrap aggregating (definition). Also Wikidata Q799897
History
- 2026-11-02: add by m2/dev
25Z2E3HA42 25Z2E3HA42
| URI | m2://inv/25Z2E3HA42 |
|---|---|
| Kind | statement |
| 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#JD0R (statement). In 9DQKY7KGE8/e1, proposition 6.22
History
- 2026-10-27: add by m2/v0.3.5
Yuri Smirnov 25Z2JEK4MF
| URI | m2://inv/25Z2JEK4MF |
|---|---|
| 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 Q1713916, Yuri Smirnov (unknown). Also ProofWiki Mathematician:Yurii_Mikhailovich_Smirnov
- wikipedia: Wikipedia Yuri Mikhailovich Smirnov, Yuri Mikhailovich Smirnov (topic). Also Wikidata Q1713916
History
- 2026-10-26: add by m2/dev
Zolotarev's lemma 25Z3C5QYCK
| URI | m2://inv/25Z3C5QYCK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zolotarev's lemma, Zolotarev's lemma (statement). Also Wikidata Q3229349
History
- 2026-11-02: add by m2/dev
Emma Benn 25Z4XBBHH4
| URI | m2://inv/25Z4XBBHH4 |
|---|---|
| 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#998Q, Emma Benn (unknown)
History
- 2026-11-02: add by m2/dev
25ZBF4M97B 25ZBF4M97B
| URI | m2://inv/25ZBF4M97B |
|---|---|
| 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 2510.12502#3CZF (definition). In 3A4K47Y9F2/e1, definition 2.56
History
- 2026-10-27: add by m2/v0.4.0
Fatou's lemma 25ZERGHS29
| URI | m2://inv/25ZERGHS29 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#EK6W, Fatou's lemma (statement)
- wikipedia: Wikipedia List of integration and measure theory topics#AA6C, Fatou's lemma (statement)
History
- 2026-11-02: add by m2/dev
25ZGWTPQ2D 25ZGWTPQ2D
| URI | m2://inv/25ZGWTPQ2D |
|---|---|
| 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.10525#6Q2J (statement). In N3K26VPX0R/e1, corollary 3.8
History
- 2026-10-29: add by m2/v0.4.10
cluster analysis 25ZKA1FE3Y
| URI | m2://inv/25ZKA1FE3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#XKJH, cluster analysis (definition)
History
- 2026-11-02: add by m2/dev
Ellen Charlotte Higgins 25ZME56VX1
| URI | m2://inv/25ZME56VX1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellen Charlotte Higgins, Ellen Charlotte Higgins (topic). Also Wikidata Q5364781
History
- 2026-11-02: add by m2/dev