Inventory rows 1Q
The cards of the rows of the inventory whose ids start with 1Q. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Math-O-Vision 1Q00491QNJ
| URI | m2://inv/1Q00491QNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Math-O-Vision, Math-O-Vision (definition). Also Wikidata Q6786736
History
- 2026-11-02: add by m2/dev
A. Mary Tropper 1Q00GKE0KG
| URI | m2://inv/1Q00GKE0KG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A. Mary Tropper, A. Mary Tropper (topic). Also Wikidata Q102197940
History
- 2026-11-02: add by m2/dev
Semiprime 1Q01NGJQDN
| URI | m2://inv/1Q01NGJQDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#IMGU, Semiprime (definition)
History
- 2026-11-02: add by m2/dev
1Q02BHEZJY 1Q02BHEZJY
| URI | m2://inv/1Q02BHEZJY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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.19357#HM00 (statement). In RGXQ50RWXV/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Applications 1Q038MDQEK
| URI | m2://inv/1Q038MDQEK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia All-or-nothing transform#AQNV, Applications (example)
History
- 2026-11-02: add by m2/dev
rook 1Q05S6BHHZ
| URI | m2://inv/1Q05S6BHHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137, rook (definition). Also ProofWiki Definition:Chess/Piece/Rook
History
- 2026-10-26: add by m2/dev
Formal definition 1Q08FZB5XC
| URI | m2://inv/1Q08FZB5XC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moulton plane#A6BI, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
1Q0ADM846F 1Q0ADM846F
| URI | m2://inv/1Q0ADM846F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-2.xml#prop-matrix-eq-solution (statement). In 649HGZKE96, proposition, section 2.2.3
History
- 2026-11-01: add by m2/v0.6.13
Counterexample, piecewise linear classifier. 1Q0C4ZQ63S
| URI | m2://inv/1Q0C4ZQ63S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27241#2KC0, Counterexample, piecewise linear classifier. (statement)
History
- 2026-11-01: add by m2/v0.6.15
1Q0K8W8B37 1Q0K8W8B37
| URI | m2://inv/1Q0K8W8B37 |
|---|---|
| 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.26401#82RB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uriah Fuller 1Q0R8BN4VE
| URI | m2://inv/1Q0R8BN4VE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin Gardner#PR4O, Uriah Fuller (unknown)
History
- 2026-11-02: add by m2/dev
1Q0V27TKJM 1Q0V27TKJM
| URI | m2://inv/1Q0V27TKJM |
|---|---|
| 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.08424#L301 (statement). In BVD2HAAKD5/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
Kenneth Kunen 1Q0Y3NPQ8T
| URI | m2://inv/1Q0Y3NPQ8T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q782431, Kenneth Kunen (unknown). Also nLab Kenneth Kunen
History
- 2026-10-26: add by m2/dev
Good-target bounds 1Q107EN2YZ
| URI | m2://inv/1Q107EN2YZ |
|---|---|
| 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#920W, Good-target bounds (statement)
History
- 2026-11-02: add by m2/v0.6.17
Paul Zeitz 1Q113V82AX
| URI | m2://inv/1Q113V82AX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Zeitz, Paul Zeitz (topic). Also Wikidata Q7154543
History
- 2026-11-02: add by m2/dev
Institut français d'opinion publique 1Q13YNSKPX
| URI | m2://inv/1Q13YNSKPX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#C1DV, Institut français d'opinion publique (unknown)
History
- 2026-11-02: add by m2/dev
1Q17PEQ7HA 1Q17PEQ7HA
| URI | m2://inv/1Q17PEQ7HA |
|---|---|
| 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 2608.24190#VK83 (statement). In DW7FVA587C/e1, theorem 3.21
History
- 2026-10-27: add by m2/v0.3.5
Expected cost of direct enumeration 1Q180PEVM7
| URI | m2://inv/1Q180PEVM7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18698#1OW0, Expected cost of direct enumeration (statement). In AVDZGC7976/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
Elliptical distribution 1Q1D262RHF
| URI | m2://inv/1Q1D262RHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptical distribution, Elliptical distribution (definition). Also Wikidata Q5365806
History
- 2026-11-02: add by m2/dev
1Q1E0Y8R3B 1Q1E0Y8R3B
| URI | m2://inv/1Q1E0Y8R3B |
|---|---|
| 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.01225#PJA8 (statement). In MFR807V4YG/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
Definition 1Q1MCPSRB2
| URI | m2://inv/1Q1MCPSRB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scott domain#C0ZG, Definition (definition)
History
- 2026-11-02: add by m2/dev
1Q1PQJVR2V 1Q1PQJVR2V
| URI | m2://inv/1Q1PQJVR2V |
|---|---|
| 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.36884#30V2 (definition). In Z7E16PFFCP/e1, definition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Hossein Zakeri 1Q1Q5JPDJK
| URI | m2://inv/1Q1Q5JPDJK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hossein Zakeri, Hossein Zakeri (topic). Also Wikidata Q16106148
History
- 2026-11-02: add by m2/dev
1Q1TYB9GHY 1Q1TYB9GHY
| URI | m2://inv/1Q1TYB9GHY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_products.ptx#example-1 (example). In QKM9DD2H56, example, section B.3
History
- 2026-11-01: add by m2/v0.6.13
Rooted product of graphs 1Q1WSS2WRC
| URI | m2://inv/1Q1WSS2WRC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rooted product of graphs, Rooted product of graphs (definition). Also Wikidata Q7366596
History
- 2026-11-02: add by m2/dev
1Q1YBKZBCW 1Q1YBKZBCW
| URI | m2://inv/1Q1YBKZBCW |
|---|---|
| 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 2610.09314#VTVF (definition). In Z04N0B3R0V/e1, definition 2.8
History
- 2026-10-29: add by m2/v0.4.10
1Q202TJZE5 1Q202TJZE5
| URI | m2://inv/1Q202TJZE5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35191#NZER (statement). In W9Z6S1PDTP/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
Statement 1Q29943DR0
| URI | m2://inv/1Q29943DR0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Bonnet theorem#JCIT, Statement (statement)
History
- 2026-11-02: add by m2/dev
Volume strain 1Q2C1TXVE9
| URI | m2://inv/1Q2C1TXVE9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strain (mechanics)#BMSV, Volume strain (unknown)
History
- 2026-11-02: add by m2/dev
1Q2EQNYW96 1Q2EQNYW96
| URI | m2://inv/1Q2EQNYW96 |
|---|---|
| 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.13799#XPLB (statement). In HECT28CM5V/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
1Q2P5W8JF7 1Q2P5W8JF7
| URI | m2://inv/1Q2P5W8JF7 |
|---|---|
| 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.24541#YC9M (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions 1Q2RGHCHVS
| URI | m2://inv/1Q2RGHCHVS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Induction, bounding and least number principles#ZDYC, Definitions (definition)
History
- 2026-11-02: add by m2/dev
1Q2W4NS0PA 1Q2W4NS0PA
| URI | m2://inv/1Q2W4NS0PA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#H881 (statement). In 43TBS9P2PX/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.2
1Q2X8TVYVG 1Q2X8TVYVG
| URI | m2://inv/1Q2X8TVYVG |
|---|---|
| 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#MQEN (statement). In M0SQY5EZN5/e1, lemma 2.8.4
History
- 2026-10-27: add by m2/v0.3.5
List of psychological research methods 1Q32WGHEJ0
| URI | m2://inv/1Q32WGHEJ0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of psychological research methods, List of psychological research methods (topic). Also Wikidata Q3566020
History
- 2026-11-02: add by m2/dev
1Q3AC16TPB 1Q3AC16TPB
| URI | m2://inv/1Q3AC16TPB |
|---|---|
| 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 2211.14214#509V (statement). In SY85Y9E45A/e1, theorem 18
History
- 2026-10-27: add by m2/v0.3.5
Srinivasacharya Raghavan 1Q3V5ZTH79
| URI | m2://inv/1Q3V5ZTH79 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#HUII, Srinivasacharya Raghavan (topic)
History
- 2026-11-02: add by m2/dev
Partition topology 1Q3Y1B7ZPW
| URI | m2://inv/1Q3Y1B7ZPW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition topology, Partition topology (definition). Also Wikidata Q17127067
History
- 2026-11-02: add by m2/dev
Input--output tests for approximate controllability 1Q45GN8KMR
| URI | m2://inv/1Q45GN8KMR |
|---|---|
| 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.25431#8J55, Input--output tests for approximate controllability (statement)
History
- 2026-11-01: add by m2/v0.6.15
1Q4ENP96B2 1Q4ENP96B2
| URI | m2://inv/1Q4ENP96B2 |
|---|---|
| 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.06556#Y5V4 (statement). In KW8C7VE9XR/e1, theorem 26
History
- 2026-10-29: add by m2/v0.4.10
initial, segment 1Q4KDB5PTJ
| URI | m2://inv/1Q4KDB5PTJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.3/initial-segment, initial, segment (concept). In N54F33XE07, index, section C.3
History
- 2026-11-01: add by m2/v0.6.13
Stars 1Q4QB3B683
| URI | m2://inv/1Q4QB3B683 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stars (M. C. Escher), Stars (definition). Also Wikidata Q7602298
History
- 2026-11-02: add by m2/dev
Type equivalence 1Q51W0X53X
| URI | m2://inv/1Q51W0X53X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type system#8P0E, Type equivalence (unknown)
History
- 2026-11-02: add by m2/dev
1Q55BEG7FE 1Q55BEG7FE
| URI | m2://inv/1Q55BEG7FE |
|---|---|
| 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 math/9602216#TR22 (definition). In SD43497T8C/e1, definition 1.18
History
- 2026-10-27: add by m2/v0.3.5
Frenet–Serret formulas 1Q5AQZQ6VS
| URI | m2://inv/1Q5AQZQ6VS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Frenet–Serret formulas ZM6W89YNS7 |
Mentions
- wikidata: Wikidata Q947922, Frenet–Serret formulas (unknown). Also MathWorld FrenetFormulas
- wikipedia: Wikipedia Frenet–Serret formulas, Frenet–Serret formulas (statement). Also Wikidata Q947922
History
- 2026-10-26: add by m2/dev
Gadadhar Misra 1Q5F65TSZG
| URI | m2://inv/1Q5F65TSZG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#ODVI, Gadadhar Misra (unknown)
History
- 2026-11-02: add by m2/dev
1Q5F7C3M1R 1Q5F7C3M1R
| URI | m2://inv/1Q5F7C3M1R |
|---|---|
| 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.01796#OAQS (statement). In JC3PAB5DRC/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
1Q5QMAWMF8 1Q5QMAWMF8
| URI | m2://inv/1Q5QMAWMF8 |
|---|---|
| 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 2603.21971#ROIU (statement). In R6KSZ9H8CY/e1, theorem 1.8
History
- 2026-10-27: add by m2/v0.3.5
induction principle, for equivalences 1Q5QWWA7CY
| URI | m2://inv/1Q5QWWA7CY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.8/induction-principle-for-equivalences, induction principle, for equivalences (concept). In N54F33XE07, index, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
1Q5RZHBSWD 1Q5RZHBSWD
| URI | m2://inv/1Q5RZHBSWD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#exercise-4 (exercise). In RZP28ERRZV, exercise, section 9.9.1
History
- 2026-11-01: add by m2/v0.6.13
Antilimit 1Q5YCV3QYJ
| URI | m2://inv/1Q5YCV3QYJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antilimit, Antilimit (definition). Also Wikidata Q97365943
History
- 2026-11-02: add by m2/dev
square grid graph 1Q61096FYS
| URI | m2://inv/1Q61096FYS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135995842, square grid graph (unknown). Also MathWorld GridGraph
History
- 2026-10-26: add by m2/dev
Manfred Einsiedler 1Q68B6AHSZ
| URI | m2://inv/1Q68B6AHSZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manfred Einsiedler, Manfred Einsiedler (topic). Also Wikidata Q1664562
History
- 2026-11-02: add by m2/dev
Deterministic HKZ prefix bound 1Q68XE67S4
| URI | m2://inv/1Q68XE67S4 |
|---|---|
| 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#Q92R, Deterministic HKZ prefix bound (statement). In TCQ1JBR84Y/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
Mikhail Potapov 1Q69F5KFXY
| URI | m2://inv/1Q69F5KFXY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mikhail Potapov (mathematician), Mikhail Potapov (topic). Also Wikidata Q52987164
History
- 2026-11-02: add by m2/dev
1Q69RTN4XX 1Q69RTN4XX
| URI | m2://inv/1Q69RTN4XX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34845#871L (statement). In SBZNH932ZV/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
1Q6H28S4F9 1Q6H28S4F9
| URI | m2://inv/1Q6H28S4F9 |
|---|---|
| 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.05973#JTMV (statement). In APGTNJ233H/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Regenerative process 1Q6HE0VDEE
| URI | m2://inv/1Q6HE0VDEE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6ONV, Regenerative process (definition)
History
- 2026-11-02: add by m2/dev
Transport operator 1Q6HXYTDEK
| URI | m2://inv/1Q6HXYTDEK |
|---|---|
| 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.25987#Z0KA, Transport operator (definition)
History
- 2026-11-01: add by m2/v0.6.15
1Q6PGJ7MZH 1Q6PGJ7MZH
| URI | m2://inv/1Q6PGJ7MZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2503.01567#RGAA (statement). In GB0V23Q6C5/e1, proposition A.7
History
- 2026-10-27: add by m2/v0.3.5
Fundamental --- \textsc{Tm-Trans 1Q6YW3CCMM
| URI | m2://inv/1Q6YW3CCMM |
|---|---|
| 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.21131#M8DG, Fundamental --- \textsc{Tm-Trans (statement). In CPYWHRTPKC/e1, lemma 6.49
History
- 2026-10-27: add by m2/v0.4.2
Worldly cardinal 1Q72ESVM87
| URI | m2://inv/1Q72ESVM87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Worldly cardinal, Worldly cardinal (definition). Also Wikidata Q25305094
History
- 2026-11-02: add by m2/dev
Romberg's method 1Q75T0SGX1
| URI | m2://inv/1Q75T0SGX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#GATC, Romberg's method (definition)
History
- 2026-11-02: add by m2/dev
1Q77P111G0 1Q77P111G0
| URI | m2://inv/1Q77P111G0 |
|---|---|
| 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.31102#54EM (statement). In 7CADATJMAA/e1, lemma C.1
History
- 2026-10-31: add by m2/v0.5.6
Strong approximation 1Q7APFGGKV
| URI | m2://inv/1Q7APFGGKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01501#O7F2, Strong approximation (statement). In 8Q2PXZDGB5/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
universal, cover 1Q7AXTD6NF
| URI | m2://inv/1Q7AXTD6NF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.1.3/universal-cover, universal, cover (concept). In N54F33XE07, index, section 7.1.3
History
- 2026-11-01: add by m2/v0.6.13
1Q7GERYZEX 1Q7GERYZEX
| URI | m2://inv/1Q7GERYZEX |
|---|---|
| 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.18483#YYBH (statement). In FF4HDVF1DC/e1, lemma 7.4
History
- 2026-10-28: add by m2/v0.4.2
Capelli identity for m = 1 1Q7RY41WHZ
| URI | m2://inv/1Q7RY41WHZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capelli's identity#LTZU, Capelli identity for m = 1 (statement)
History
- 2026-11-02: add by m2/dev
Opinion polling for the 2018 Mexican general election 1Q82V2KD08
| URI | m2://inv/1Q82V2KD08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opinion polling for the 2018 Mexican general election, Opinion polling for the 2018 Mexican general election (definition). Also Wikidata Q47109851
History
- 2026-11-02: add by m2/dev
1Q84JSRSK4 1Q84JSRSK4
| URI | m2://inv/1Q84JSRSK4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#definition-4 (definition). In RZP28ERRZV, definition, section 25.3
History
- 2026-11-01: add by m2/v0.6.13
1Q8APXRND3 1Q8APXRND3
| URI | m2://inv/1Q8APXRND3 |
|---|---|
| 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#YCQI (statement). In X1AGBB90EH/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Set (mathematics) 1Q8CCVDJN1
| URI | m2://inv/1Q8CCVDJN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#EM7C, Set (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
1Q8JTT09WM 1Q8JTT09WM
| URI | m2://inv/1Q8JTT09WM |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20911#VFXA (unknown). In FF3MV70E7Z/e1, unknown 4.4
History
- 2026-10-27: add by m2/v0.4.2
Imaginary exponent 1Q8KJ2FRDD
| URI | m2://inv/1Q8KJ2FRDD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponentiation#KWQV, Imaginary exponent (unknown)
History
- 2026-11-02: add by m2/dev
Cartesian product 1Q8ZQ0ZC9C
| URI | m2://inv/1Q8ZQ0ZC9C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/pairs-and-products.tex#defn-1, Cartesian product (definition). In PKGMM3P5QY, defn, section 82.5
History
- 2026-11-01: add by m2/v0.6.13
Examples 1Q8ZY6893P
| URI | m2://inv/1Q8ZY6893P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local diffeomorphism#P0PJ, Examples (example)
History
- 2026-11-02: add by m2/dev
1Q9748PMB7 1Q9748PMB7
| URI | m2://inv/1Q9748PMB7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10469#8GA0 (statement). In Q39BEKW6D9/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.10
1Q97Y2VZGR 1Q97Y2VZGR
| URI | m2://inv/1Q97Y2VZGR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#4RXZ (statement). In KZ71GXT2B0/e1, proposition 2.15
History
- 2026-10-28: add by m2/v0.4.2
quintinvariant 1Q994JP8ZY
| URI | m2://inv/1Q994JP8ZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#5FLW, quintinvariant (definition)
History
- 2026-11-02: add by m2/dev
Júlia Volaufová 1Q9P01RGGW
| URI | m2://inv/1Q9P01RGGW |
|---|---|
| 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#8P6C, Júlia Volaufová (topic)
History
- 2026-11-02: add by m2/dev
Example 8 1Q9WC3NE6S
| URI | m2://inv/1Q9WC3NE6S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean algebras canonically defined#XYSB, Example 8 (example)
History
- 2026-11-02: add by m2/dev
1Q9XS6JGM1 1Q9XS6JGM1
| URI | m2://inv/1Q9XS6JGM1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#thm:equiv-biinv-isequiv (statement). In N54F33XE07, cor, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
Definition 1Q9ZQEETZ4
| URI | m2://inv/1Q9ZQEETZ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jackson integral#NWJW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Baroclinity 1QA0G44Z8Q
| URI | m2://inv/1QA0G44Z8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baroclinity, Baroclinity (definition). Also Wikidata Q1548585
History
- 2026-11-02: add by m2/dev
Achievability in the idealized induced DMC model 1QAAB8CK6M
| URI | m2://inv/1QAAB8CK6M |
|---|---|
| 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.05712#BATW, Achievability in the idealized induced DMC model (statement). In 44Q2H3DWNW/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
Oleksii Bychenko 1QADZCNRGQ
| URI | m2://inv/1QADZCNRGQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#ORQD, Oleksii Bychenko (unknown)
History
- 2026-11-02: add by m2/dev
Dual control theory 1QAHB4792D
| URI | m2://inv/1QAHB4792D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual control theory, Dual control theory (definition). Also Wikidata Q5310194
History
- 2026-11-02: add by m2/dev
CMA-ES 1QAQZCATG2
| URI | m2://inv/1QAQZCATG2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KF8K, CMA-ES (definition)
History
- 2026-11-02: add by m2/dev
Geocentric universe 1QAZWK4YD8
| URI | m2://inv/1QAZWK4YD8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#K5XD, Geocentric universe (unknown)
History
- 2026-11-02: add by m2/dev
1QB2CT8DE4 1QB2CT8DE4
| URI | m2://inv/1QB2CT8DE4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16640#9IDE (statement). In DEVX71G2ZK/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
1QB83SGS56 1QB83SGS56
| URI | m2://inv/1QB83SGS56 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#HEXW (statement). In 13H5BTAXHF/e1, proposition 15
History
- 2026-10-27: add by m2/v0.3.5
Generalized trigonometry 1QBGW92R3X
| URI | m2://inv/1QBGW92R3X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized trigonometry, Generalized trigonometry (topic). Also Wikidata Q2102848
History
- 2026-11-02: add by m2/dev
Index of information theory articles 1QBNQS4A10
| URI | m2://inv/1QBNQS4A10 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index of information theory articles, Index of information theory articles (topic). Also Wikidata Q6018911
History
- 2026-11-02: add by m2/dev
1QBQ1NJ04P 1QBQ1NJ04P
| URI | m2://inv/1QBQ1NJ04P |
|---|---|
| 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.02963#U6FS (statement). In FN8MJK3C6K/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Winograd schema challenge 1QBSY8SD75
| URI | m2://inv/1QBSY8SD75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Winograd schema challenge, Winograd schema challenge (definition). Also Wikidata Q23679940
History
- 2026-11-02: add by m2/dev
Definition 1QBVZRV06W
| URI | m2://inv/1QBVZRV06W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Countably barrelled space#J8WW, Definition (definition)
History
- 2026-11-02: add by m2/dev
1QC05WAYB1 1QC05WAYB1
| URI | m2://inv/1QC05WAYB1 |
|---|---|
| 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 2308.09645#5JRP (statement). In HVDSC1GQRD/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
Enrico Pistolesi 1QC11TGGQJ
| URI | m2://inv/1QC11TGGQJ |
|---|---|
| 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#Z5N4, Enrico Pistolesi (unknown)
History
- 2026-11-02: add by m2/dev
Pieter Hendrik Schoute 1QC377SCS5
| URI | m2://inv/1QC377SCS5 |
|---|---|
| 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#WZOV, Pieter Hendrik Schoute (topic)
History
- 2026-11-02: add by m2/dev
Generalizations 1QC3P9A5GW
| URI | m2://inv/1QC3P9A5GW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneous function#9RNK, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
1QC4DT10WW 1QC4DT10WW
| URI | m2://inv/1QC4DT10WW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2310.01868#KMYA (statement). In MQ8S73F6X7/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.6
keratoid 1QCG98B1TS
| URI | m2://inv/1QCG98B1TS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#J2UQ, keratoid (definition)
History
- 2026-11-02: add by m2/dev
1QCGC9V320 1QCGC9V320
| URI | m2://inv/1QCGC9V320 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36403#ML51 (statement). In A4XGTS3QXQ/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
asymptotic freedom 1QCQ4FDT8X
| URI | m2://inv/1QCQ4FDT8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q752732, asymptotic freedom (unknown). Also nLab asymptotic freedom
- wikipedia: Wikipedia Asymptotic freedom, Asymptotic freedom (definition). Also Wikidata Q752732
History
- 2026-10-26: add by m2/dev
Tagged matching bound 1QCZ1JJ3P7
| URI | m2://inv/1QCZ1JJ3P7 |
|---|---|
| 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.02407#EGXJ, Tagged matching bound (statement). In ZZER8ZBSCR/e1, theorem 6.13
History
- 2026-10-29: add by m2/v0.4.12
1QDA95R3FT 1QDA95R3FT
| URI | m2://inv/1QDA95R3FT |
|---|---|
| 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.11047#57JS (statement). In MNQAZ70XTH/e1, lemma 11.5
History
- 2026-10-28: add by m2/v0.4.3
Modified Sainte-Laguë method 1QDJT2BMA6
| URI | m2://inv/1QDJT2BMA6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sainte-Laguë method#OWZ3, Modified Sainte-Laguë method (unknown)
History
- 2026-11-02: add by m2/dev
1QDPEK4GK9 1QDPEK4GK9
| URI | m2://inv/1QDPEK4GK9 |
|---|---|
| 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 2406.19866#LDPS (statement). In 9F94CEQ1ZM/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
Paul Scriptoris 1QE1B48VXA
| URI | m2://inv/1QE1B48VXA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#HDS9, Paul Scriptoris (unknown)
History
- 2026-11-02: add by m2/dev
1QE38RMFSN 1QE38RMFSN
| URI | m2://inv/1QE38RMFSN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39491#JHC0 (statement). In 9R00V9TGVT/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
Approach to infinite-period orbits 1QE59R23CX
| URI | m2://inv/1QE59R23CX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34168#MB4B, Approach to infinite-period orbits (example). In 30YQV8N04M/e1, example 8.3
History
- 2026-10-30: add by m2/v0.4.12
Application 1QE5VZV02N
| URI | m2://inv/1QE5VZV02N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sherman–Morrison formula#HX51, Application (example)
History
- 2026-11-02: add by m2/dev
1QE6EZBW6C 1QE6EZBW6C
| URI | m2://inv/1QE6EZBW6C |
|---|---|
| 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.29723#8M7G (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ubiratan D'Ambrosio 1QE8037Z3D
| URI | m2://inv/1QE8037Z3D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ubiratan D'Ambrosio, Ubiratan D'Ambrosio (topic). Also Wikidata Q2472797
History
- 2026-11-02: add by m2/dev
Polyiamond tiling 1QEDV2AQV3
| URI | m2://inv/1QEDV2AQV3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyiamond#4ARH, Polyiamond tiling (unknown)
History
- 2026-11-02: add by m2/dev
Stahl 1QEPFG3YWA
| URI | m2://inv/1QEPFG3YWA |
|---|---|
| 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 2407.05730#ESI9, Stahl (conjecture). In VQ7STN4KDC/e1, conjecture 1.3
History
- 2026-10-27: add by m2/v0.3.5
1QEQYZC2F0 1QEQYZC2F0
| URI | m2://inv/1QEQYZC2F0 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-30: add by m2/v0.4.12
Definition 1QETKRHFSD
| URI | m2://inv/1QETKRHFSD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valuation (geometry)#13ER, Definition (definition)
History
- 2026-11-02: add by m2/dev
Jacobson–Bourbaki theorem 1QF1F60FP8
| URI | m2://inv/1QF1F60FP8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 12-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6119825, Jacobson–Bourbaki theorem (statement). Also Wikidata Q6119825
- thousand_plus: thousand_plus Q6119825, Jacobson–Bourbaki theorem (statement). Also Wikidata Q6119825, Wikipedia Jacobson–Bourbaki theorem
- wikipedia: Wikipedia Jacobson–Bourbaki theorem, Jacobson–Bourbaki theorem (statement). Also Wikidata Q6119825
History
- 2026-10-26: add by m2/dev
1QF5S8BH5R 1QF5S8BH5R
| URI | m2://inv/1QF5S8BH5R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.08723#EKUF (statement). In HGE2NCQW29/e1, theorem 7.2
History
- 2026-10-27: add by m2/v0.3.5
Relation to the Fenchel–Moreau theorem 1QFAM3XD8V
| URI | m2://inv/1QFAM3XD8V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipolar theorem#8VIS, Relation to the Fenchel–Moreau theorem (statement)
History
- 2026-11-02: add by m2/dev
1QFFNJW1PP 1QFFNJW1PP
| URI | m2://inv/1QFFNJW1PP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.39593#ZURR (statement). In BF0RYHPMS1/e1, lemma 4.10
History
- 2026-10-30: add by m2/v0.4.12
Berkson's paradox 1QFGT7W4SD
| URI | m2://inv/1QFGT7W4SD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1BD7, Berkson's paradox (statement)
History
- 2026-11-02: add by m2/dev
Bob Hale 1QFP1BB00G
| URI | m2://inv/1QFP1BB00G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bob Hale (philosopher), Bob Hale (topic). Also Wikidata Q290859
History
- 2026-11-02: add by m2/dev
Definition 1QG2DEZ8T0
| URI | m2://inv/1QG2DEZ8T0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplier (Fourier analysis)#YXZD, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lagrangian Grassmannian 1QG40NDFH1
| URI | m2://inv/1QG40NDFH1 |
|---|---|
| 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#MO7N, Lagrangian Grassmannian (definition)
History
- 2026-11-02: add by m2/dev
Normalized three-loop expansion ($n=4$ case 1QG6BDHB9X
| URI | m2://inv/1QG6BDHB9X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10821#GL1J, Normalized three-loop expansion ($n=4$ case (statement). In RWNP4FEE65/e1, theorem 3.13
History
- 2026-10-28: add by m2/v0.4.3
$\mathcal{L}$-general model 1QG7GHQ62M
| URI | m2://inv/1QG7GHQ62M |
|---|---|
| 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 2609.36279#VCS7, $\mathcal{L}$-general model (definition). In HX1QA0MJYV/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
Divisors 1QGCJEXM1P
| URI | m2://inv/1QGCJEXM1P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/riemann-roch.tex#definition-2, Divisors (definition). In RZP28ERRZV, definition, section 87.2
History
- 2026-11-01: add by m2/v0.6.13
1QGDEHYKT7 1QGDEHYKT7
| URI | m2://inv/1QGDEHYKT7 |
|---|---|
| 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.04172#CREG (statement). In 9Q1D1NMTTS/e1, corollary 3
History
- 2026-10-29: add by m2/v0.4.12
1QGTAJDB9F 1QGTAJDB9F
| URI | m2://inv/1QGTAJDB9F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18302#SL4U (example). In VJTRH1S4JA/e1, example 3.3
History
- 2026-10-28: add by m2/v0.4.2
Sinc numerical methods 1QGVNCHH4R
| URI | m2://inv/1QGVNCHH4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sinc numerical methods, Sinc numerical methods (definition). Also Wikidata Q7521883
History
- 2026-11-02: add by m2/dev
Outcome 1QH2PGKMDG
| URI | m2://inv/1QH2PGKMDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outcome (game theory), Outcome (definition). Also Wikidata Q7111912
History
- 2026-11-02: add by m2/dev
1QH4KE03BJ 1QH4KE03BJ
| URI | m2://inv/1QH4KE03BJ |
|---|---|
| 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.36321#OLZ6 (statement). In 3KTZ6Z615H/e1, lemma 2.8
History
- 2026-10-30: add by m2/v0.4.12
1QH6DE0SKP 1QH6DE0SKP
| URI | m2://inv/1QH6DE0SKP |
|---|---|
| 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 2504.02065#H0LC (statement). In 60CK7P5F36/e1, corollary 2.5
History
- 2026-10-27: add by m2/v0.3.5
1QHBZA68HS 1QHBZA68HS
| URI | m2://inv/1QHBZA68HS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-3-1-rel-rates.xml#Ex-3-5-FallingSand (example). In 907G4C4EJ1, example, section 3.1.2
History
- 2026-11-01: add by m2/v0.6.13
Seven Sisters Falls, Manitoba 1QHMDEFDSA
| URI | m2://inv/1QHMDEFDSA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#4FUZ, Seven Sisters Falls, Manitoba (unknown)
History
- 2026-11-02: add by m2/dev
1QHN30H7F1 1QHN30H7F1
| URI | m2://inv/1QHN30H7F1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-51 (exercise). In VNMV985MXX, exercise, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Statement 1QHWP4N250
| URI | m2://inv/1QHWP4N250 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Łoś–Tarski preservation theorem#IDZL, Statement (statement)
History
- 2026-11-02: add by m2/dev
Essential manifold 1QHXNXTEB6
| URI | m2://inv/1QHXNXTEB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essential manifold, Essential manifold (definition). Also Wikidata Q5399573
History
- 2026-11-02: add by m2/dev
Connelly 1QJ2VH3FBD
| URI | m2://inv/1QJ2VH3FBD |
|---|---|
| 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 0909.2893#4HJJ, Connelly (statement). In JQ4JYAXCMK/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
1QJ33DW51C 1QJ33DW51C
| URI | m2://inv/1QJ33DW51C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 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.37520#301G (definition). In BDN507RN7J/e1, definition 3.1.14
History
- 2026-10-30: add by m2/v0.4.12
McVean, Gilean 1QJ4AEZAEQ
| URI | m2://inv/1QJ4AEZAEQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#QUYS, McVean, Gilean (unknown)
History
- 2026-11-02: add by m2/dev
Pseudodifferential operator 1QJ4YJ7GN6
| URI | m2://inv/1QJ4YJ7GN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#VJXJ, Pseudodifferential operator (definition)
History
- 2026-11-02: add by m2/dev
1QJ5H4CR8P 1QJ5H4CR8P
| URI | m2://inv/1QJ5H4CR8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#3FIT (statement). In PCAS8S14J6/e1, corollary 2.9
History
- 2026-10-31: add by m2/v0.5.6
Lila Knudsen Randolph 1QJ88GECGH
| URI | m2://inv/1QJ88GECGH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lila Knudsen Randolph, Lila Knudsen Randolph (topic). Also Wikidata Q42878949
History
- 2026-11-02: add by m2/dev
Herbert Ellsworth Slaught 1QJEPYAWQA
| URI | m2://inv/1QJEPYAWQA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbert Ellsworth Slaught, Herbert Ellsworth Slaught (topic). Also Wikidata Q37631847
History
- 2026-11-02: add by m2/dev
Magnus Wenninger 1QJJZASK3V
| URI | m2://inv/1QJJZASK3V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnus Wenninger, Magnus Wenninger (topic). Also Wikidata Q3276056
History
- 2026-11-02: add by m2/dev
1QJPWFG29F 1QJPWFG29F
| URI | m2://inv/1QJPWFG29F |
|---|---|
| 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.10790#G38M (statement). In HHQ6P3RRB8/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.3
Mathematika 1QK0QBTKQF
| URI | m2://inv/1QK0QBTKQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematika, Mathematika (definition). Also Wikidata Q15761027
History
- 2026-11-02: add by m2/dev
1QK8QPVBWR 1QK8QPVBWR
| URI | m2://inv/1QK8QPVBWR |
|---|---|
| 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 2610.17875#9GRK (statement). In AQX7DGD360/e1, corollary 4.8
History
- 2026-10-28: add by m2/v0.4.2
1QK90CRT6M 1QK90CRT6M
| URI | m2://inv/1QK90CRT6M |
|---|---|
| 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.18777#X2O7 (statement). In TFZDPHDF7V/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.6
Parabolic maximum principle for semicontinuous functions I 1QK9RCXT13
| URI | m2://inv/1QK9RCXT13 |
|---|---|
| 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.21732#PV6Y, Parabolic maximum principle for semicontinuous functions I (statement). In 6DJDRXDQNB/e1, corollary 2.2
History
- 2026-10-27: add by m2/v0.4.2
1QKQE03JES 1QKQE03JES
| URI | m2://inv/1QKQE03JES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40028#8KZR (statement). In N8TDKGGC7S/e1, lemma 3.11
History
- 2026-10-30: add by m2/v0.4.12
Change of variables formula for Borel functions 1QKRX8WJ0T
| URI | m2://inv/1QKRX8WJ0T |
|---|---|
| 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.17519#G485, Change of variables formula for Borel functions (statement). In H2DNTQ5MKV/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
1QKV3EDAK6 1QKV3EDAK6
| URI | m2://inv/1QKV3EDAK6 |
|---|---|
| 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.26980#A4XD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement of the theorem 1QKX7VMZXQ
| URI | m2://inv/1QKX7VMZXQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory's existence theorem#THNE, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Traffic Safety 1QKZ31H72C
| URI | m2://inv/1QKZ31H72C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Traffic Safety (book), Traffic Safety (definition). Also Wikidata Q7832466
History
- 2026-11-02: add by m2/dev
6-cube 1QM0S86Q1Y
| URI | m2://inv/1QM0S86Q1Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#BUCR, 6-cube (definition)
History
- 2026-11-02: add by m2/dev
1QM5YR7K3X 1QM5YR7K3X
| URI | m2://inv/1QM5YR7K3X |
|---|---|
| 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.10233#S080 (statement). In QR9WE79ERQ/e1, lemma 7.4
History
- 2026-10-29: add by m2/v0.4.10
Signed $K_4$ alternatives 1QM6B1QWFR
| URI | m2://inv/1QM6B1QWFR |
|---|---|
| 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.10002#0I0G, Signed $K_4$ alternatives (statement). In 5ZYWF6HAXJ/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.10
double bubble theorem 1QM6BV9RE1
| URI | m2://inv/1QM6BV9RE1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Double bubble theorem 6QG8QNHBF4 |
Mentions
- wikidata: Wikidata Q5299978, double bubble theorem (statement). Also MathWorld DoubleBubble
- wikipedia: Wikipedia Double bubble theorem, Double bubble theorem (statement). Also Wikidata Q5299978
History
- 2026-10-26: add by m2/dev
hendecagram 1QM6N93AFP
| URI | m2://inv/1QM6N93AFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3753269, hendecagram (unknown). Also MathWorld Polygram
- wikipedia: Wikipedia Hendecagram, Hendecagram (definition). Also Wikidata Q3753269
History
- 2026-10-26: add by m2/dev
plurigenus 1QM6WVSARP
| URI | m2://inv/1QM6WVSARP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#G7IC, plurigenus (definition)
History
- 2026-11-02: add by m2/dev
1QM6YVPJAD 1QM6YVPJAD
| URI | m2://inv/1QM6YVPJAD |
|---|---|
| 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.38844#VINW (statement). In PX8D91DQCX/e1, proposition 2.7
History
- 2026-10-30: add by m2/v0.4.12
Bharata Muni 1QM8PZEDW8
| URI | m2://inv/1QM8PZEDW8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#XSIG, Bharata Muni (unknown)
History
- 2026-11-02: add by m2/dev
1QN7B6W82M 1QN7B6W82M
| URI | m2://inv/1QN7B6W82M |
|---|---|
| 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.11440#GCYS (statement). In KBV6TD64F1/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.3
Orbital elements 1QN8PWP92H
| URI | m2://inv/1QN8PWP92H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#1YRV, Orbital elements (definition)
History
- 2026-11-02: add by m2/dev
Separation 1QN919ADBH
| URI | m2://inv/1QN919ADBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32140#JJ0C, Separation (statement). In 96Z8GEEFH4/e1, lemma 8.3
History
- 2026-10-31: add by m2/v0.5.6
1QNBSHEV86 1QNBSHEV86
| URI | m2://inv/1QNBSHEV86 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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 2401.13523#EVWN (definition). In DDA62XQTWW/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
1QNCGFH0KP 1QNCGFH0KP
| URI | m2://inv/1QNCGFH0KP |
|---|---|
| Kind | definition |
| 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.21005#UK6H (definition). In E63NRC7MBE/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.2
Cubic crystal system 1QNHW4XSD0
| URI | m2://inv/1QNHW4XSD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic crystal system, Cubic crystal system (definition). Also Wikidata Q473227
History
- 2026-11-02: add by m2/dev
Abraham Fletcher 1QNHWW4HNJ
| URI | m2://inv/1QNHWW4HNJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abraham Fletcher, Abraham Fletcher (topic). Also Wikidata Q4668855
History
- 2026-11-02: add by m2/dev
1QNJ8221ZM 1QNJ8221ZM
| URI | m2://inv/1QNJ8221ZM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#ex-3 (example). In PKGMM3P5QY, ex, section 83.5
History
- 2026-11-01: add by m2/v0.6.13
1QNVDGKVKE 1QNVDGKVKE
| URI | m2://inv/1QNVDGKVKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.08944#XVGC (statement). In D8QFZG5R1D/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.6
Clifford C. Clogg 1QNW8EK8Q4
| URI | m2://inv/1QNW8EK8Q4 |
|---|---|
| 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#9H1E, Clifford C. Clogg (topic)
History
- 2026-11-02: add by m2/dev
Pregeometry 1QP7CN5WC8
| URI | m2://inv/1QP7CN5WC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pregeometry (model theory), Pregeometry (definition). Also Wikidata Q7239878
History
- 2026-11-02: add by m2/dev
Power object 1QPF5ZHAJG
| URI | m2://inv/1QPF5ZHAJG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power object, Power object (definition)
History
- 2026-11-02: add by m2/dev
multiple 1QPH0E46ST
| URI | m2://inv/1QPH0E46ST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#VLN5, multiple (definition)
History
- 2026-11-02: add by m2/dev
1QPQFJZ3JC 1QPQFJZ3JC
| URI | m2://inv/1QPQFJZ3JC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10093#O6K7 (statement). In NJDN112PFS/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
1QPQTZ4CNG 1QPQTZ4CNG
| URI | m2://inv/1QPQTZ4CNG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29574#NAOJ (definition)
History
- 2026-11-01: add by m2/v0.6.15
1QPT1HH8MS 1QPT1HH8MS
| URI | m2://inv/1QPT1HH8MS |
|---|---|
| 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.03661#G1HN (statement). In ESDKTYDHC8/e1, corollary 16
History
- 2026-10-29: add by m2/v0.4.12
1QPVHAR45K 1QPVHAR45K
| URI | m2://inv/1QPVHAR45K |
|---|---|
| Kind | statement |
| 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#NXWT (statement)
History
- 2026-11-02: add by m2/v0.6.18
Natural representation 1QPWSSWPTE
| URI | m2://inv/1QPWSSWPTE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#YOYN, Natural representation (unknown)
History
- 2026-11-02: add by m2/dev
order and index 1QQA4JB5YW
| URI | m2://inv/1QQA4JB5YW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.05914#SCMQ, order and index (definition). In V8MYP6MBAZ/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.10
1QQBTRPNY1 1QQBTRPNY1
| URI | m2://inv/1QQBTRPNY1 |
|---|---|
| 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.15094#DQ64 (statement). In 5AA8PPK2CC/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
Ring homomorphism 1QQGTJ29FP
| URI | m2://inv/1QQGTJ29FP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#77EQ, Ring homomorphism (definition)
History
- 2026-11-02: add by m2/dev
Bonnet's theorem 1QQQ2155YG
| URI | m2://inv/1QQQ2155YG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bonnet's theorem, Bonnet's theorem (statement). Also Wikidata Q16844382
History
- 2026-11-02: add by m2/dev
1QQT1ESFM3 1QQT1ESFM3
| URI | m2://inv/1QQT1ESFM3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.03601#O4GA (definition). In F7TDYCHCSE/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Properties 1QR38DASJ4
| URI | m2://inv/1QR38DASJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Procesi bundle#V72I, Properties (statement)
History
- 2026-11-02: add by m2/dev
subdifferential of the modular 1QRDRS9RP8
| URI | m2://inv/1QRDRS9RP8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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 2609.26645#ZKNU, subdifferential of the modular (statement)
History
- 2026-11-01: add by m2/v0.6.15
Katherine Halvorsen 1QRE6HP46E
| URI | m2://inv/1QRE6HP46E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Katherine Halvorsen, Katherine Halvorsen (topic). Also Wikidata Q102300239
History
- 2026-11-02: add by m2/dev
IMSI-catcher 1QRGWWTZ9B
| URI | m2://inv/1QRGWWTZ9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia IMSI-catcher, IMSI-catcher (definition). Also Wikidata Q1423310
History
- 2026-11-02: add by m2/dev
1QRMXYA5Q1 1QRMXYA5Q1
| URI | m2://inv/1QRMXYA5Q1 |
|---|---|
| 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.21972#YDEO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Day convolution 1QRPJ58QVR
| URI | m2://inv/1QRPJ58QVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#7R66, Day convolution (definition)
History
- 2026-11-02: add by m2/dev
1QRX0EXW68 1QRX0EXW68
| URI | m2://inv/1QRX0EXW68 |
|---|---|
| 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.39539#U47V (statement). In GVR218P3ZR/e1, lemma 4.7.3
History
- 2026-10-30: add by m2/v0.4.12
Alyce Frank 1QS3GA0ZYA
| URI | m2://inv/1QS3GA0ZYA |
|---|---|
| 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#5I0R, Alyce Frank (unknown)
History
- 2026-11-02: add by m2/dev
Vector notation 1QS7JTZWAZ
| URI | m2://inv/1QS7JTZWAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector notation, Vector notation (definition). Also Wikidata Q7917835
History
- 2026-11-02: add by m2/dev
1QS8CXXEGD 1QS8CXXEGD
| URI | m2://inv/1QS8CXXEGD |
|---|---|
| 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.31549#UYXB (statement). In CVB7NA2N10/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
proof, assistant 1QS9Y2F640
| URI | m2://inv/1QS9Y2F640 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4/proof-assistant, proof, assistant (concept). In N54F33XE07, index, section 4
History
- 2026-11-01: add by m2/v0.6.13
great dodecahemicosahedron 1QSCS49PRR
| URI | m2://inv/1QSCS49PRR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2717676, great dodecahemicosahedron (unknown). Also MathWorld GreatDodecahemicosahedron
- wikipedia: Wikipedia Great dodecahemicosahedron, Great dodecahemicosahedron (object). Also Wikidata Q2717676
History
- 2026-10-26: add by m2/dev
Applications 1QSCT3KBW5
| URI | m2://inv/1QSCT3KBW5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ingrid Daubechies#2E7A, Applications (example)
History
- 2026-11-02: add by m2/dev
Uniformization 1QSCV0BT7K
| URI | m2://inv/1QSCV0BT7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniformization (probability theory), Uniformization (definition). Also Wikidata Q7885142
History
- 2026-11-02: add by m2/dev
1QSEBXSAFR 1QSEBXSAFR
| URI | m2://inv/1QSEBXSAFR |
|---|---|
| Kind | definition |
| 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 1001.0174#POCE (definition). In 4P97F3GPJC/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
590 (number) 1QSR46B16B
| URI | m2://inv/1QSR46B16B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#4OU2, 590 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Mayer-Vietoris long exact sequence 1QSTJEK2QF
| URI | m2://inv/1QSTJEK2QF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/long-exact.tex#theorem-1, Mayer-Vietoris long exact sequence (statement). In RZP28ERRZV, theorem, section 54.3
History
- 2026-11-01: add by m2/v0.6.13
MedCalc 1QT07GVGGC
| URI | m2://inv/1QT07GVGGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JTQ2, MedCalc (definition)
History
- 2026-11-02: add by m2/dev
Pairs S117--S124 1QT1QJTEVP
| URI | m2://inv/1QT1QJTEVP |
|---|---|
| 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.08865#UWZH, Pairs S117--S124 (statement). In SJ5JKGH94M/e1, theorem 9
History
- 2026-10-29: add by m2/v0.4.10
1QT651AN1P 1QT651AN1P
| URI | m2://inv/1QT651AN1P |
|---|---|
| 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.05486#EQU5 (statement). In 5Z46AK2XTC/e1, theorem C.2
History
- 2026-10-29: add by m2/v0.4.10
1QTFK3FY9B 1QTFK3FY9B
| URI | m2://inv/1QTFK3FY9B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#mv:exwt1 (exercise). In E9HS8K3A52, exercise, section 6.4.4
History
- 2026-11-01: add by m2/v0.6.13
One--loop confinement; perturbative renormalisation--group time 1QTM8RB6NF
| URI | m2://inv/1QTM8RB6NF |
|---|---|
| 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.29605#SZ2X, One--loop confinement; perturbative renormalisation--group time (statement)
History
- 2026-11-01: add by m2/v0.6.15
Higher category theory 1QTRD7MVHJ
| URI | m2://inv/1QTRD7MVHJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#9PUQ, Higher category theory (definition)
History
- 2026-11-02: add by m2/dev
Henry C. Wente 1QTZJPCEAY
| URI | m2://inv/1QTZJPCEAY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry C. Wente, Henry C. Wente (topic). Also Wikidata Q15995579
History
- 2026-11-02: add by m2/dev
Radius-dependent bounds 1QV8MBVTCB
| URI | m2://inv/1QV8MBVTCB |
|---|---|
| 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.19250#TBR9, Radius-dependent bounds (statement). In FRJPR9GBCH/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
Quaternion 1QVAEE26EP
| URI | m2://inv/1QVAEE26EP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#QGEX, Quaternion (definition)
History
- 2026-11-02: add by m2/dev
Haar's Tauberian theorem 1QVEZ5HRJY
| URI | m2://inv/1QVEZ5HRJY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haar's Tauberian theorem, Haar's Tauberian theorem (statement). Also Wikidata Q96380201
History
- 2026-11-02: add by m2/dev
The Ladies' Diary 1QVNFTSRWZ
| URI | m2://inv/1QVNFTSRWZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7745092, The Ladies' Diary (unknown). Also ProofWiki Book:Journal/The_Ladies'_Diary
History
- 2026-10-26: add by m2/dev
Edna Grossman 1QVRP66881
| URI | m2://inv/1QVRP66881 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edna Grossman, Edna Grossman (topic). Also Wikidata Q3710072
History
- 2026-11-02: add by m2/dev
1QVWHPYJ28 1QVWHPYJ28
| URI | m2://inv/1QVWHPYJ28 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-16 (proof). In N54F33XE07, proof, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Enumerations 1QW209H13S
| URI | m2://inv/1QW209H13S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bracket#ONQQ, Enumerations (definition)
History
- 2026-11-02: add by m2/dev
Clara Latimer Bacon 1QW4JRTJWD
| URI | m2://inv/1QW4JRTJWD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clara Latimer Bacon, Clara Latimer Bacon (topic). Also Wikidata Q57418951
History
- 2026-11-02: add by m2/dev
1QWAX38HSJ 1QWAX38HSJ
| URI | m2://inv/1QWAX38HSJ |
|---|---|
| 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 2404.05451#9GME (statement). In 5YMFYAFFJ7/e1, theorem D
History
- 2026-10-27: add by m2/v0.3.5
Cornelius Greither 1QWDT338EZ
| URI | m2://inv/1QWDT338EZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cornelius Greither, Cornelius Greither (topic). Also Wikidata Q62512651
History
- 2026-11-02: add by m2/dev
Strong $L^2$ small-dispersion asymptotics, \protect 1QWKT0CA12
| URI | m2://inv/1QWKT0CA12 |
|---|---|
| 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.00770#9FXR, Strong $L^2$ small-dispersion asymptotics, \protect (statement). In AYGRJSRG1M/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
1QWVP5Z21Y 1QWVP5Z21Y
| URI | m2://inv/1QWVP5Z21Y |
|---|---|
| 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.20368#0ZFS (statement)
History
- 2026-11-02: add by m2/v0.6.18
1QX63B4C4S 1QX63B4C4S
| URI | m2://inv/1QX63B4C4S |
|---|---|
| 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 1805.04646#3T2O (definition). In WDDY7P9T66/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
1QX714Q270 1QX714Q270
| URI | m2://inv/1QX714Q270 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#ZOBE (statement). In M4ZVJWM8YA/e1, proposition A.21
History
- 2026-10-27: add by m2/v0.4.2
Kempthorne, Oscar 1QXBN9GAZ3
| URI | m2://inv/1QXBN9GAZ3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#EHHB, Kempthorne, Oscar (topic)
History
- 2026-11-02: add by m2/dev
1QXCZSB7BN 1QXCZSB7BN
| URI | m2://inv/1QXCZSB7BN |
|---|---|
| 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 2601.18223#E7FH (statement). In ZRXE7EJA93/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
1QXFJS99X9 1QXFJS99X9
| URI | m2://inv/1QXFJS99X9 |
|---|---|
| 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.22272#ICFI (statement). In 4VZV5V0YD6/e1, lemma 5
History
- 2026-10-27: add by m2/v0.4.0
Classification at the ground-state mass 1QXJZV7EE8
| URI | m2://inv/1QXJZV7EE8 |
|---|---|
| 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.15460#M4B2, Classification at the ground-state mass (statement). In T2Z3D2VQ9B/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
1QXKWD836M 1QXKWD836M
| URI | m2://inv/1QXKWD836M |
|---|---|
| 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.16386#EVBB (statement). In RAF0BFY3Z3/e1, lemma 6.6
History
- 2026-10-28: add by m2/v0.4.2
Examples 1QXN0DCGTD
| URI | m2://inv/1QXN0DCGTD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipartite double cover#LLF5, Examples (example)
History
- 2026-11-02: add by m2/dev
Two exact symmetries 1QXVS71B6Y
| URI | m2://inv/1QXVS71B6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#FNQ1, Two exact symmetries (statement)
History
- 2026-11-01: add by m2/v0.6.15
Clarity test 1QY1XW2CSF
| URI | m2://inv/1QY1XW2CSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clarity test, Clarity test (definition). Also Wikidata Q5127097
History
- 2026-11-02: add by m2/dev
Delaram Kahrobaei 1QY83M3VNW
| URI | m2://inv/1QY83M3VNW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delaram Kahrobaei, Delaram Kahrobaei (topic). Also Wikidata Q89710351
History
- 2026-11-02: add by m2/dev
Fourier representation 1QY9AZGS3E
| URI | m2://inv/1QY9AZGS3E |
|---|---|
| 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.25912#EJ94, Fourier representation (statement)
History
- 2026-11-01: add by m2/v0.6.15
central charge 1QYA9063KR
| URI | m2://inv/1QYA9063KR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3658596, central charge (unknown). Also nLab central charge
History
- 2026-10-26: add by m2/dev
1QYD28ZDF7 1QYD28ZDF7
| URI | m2://inv/1QYD28ZDF7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#definition-4 (definition). In RZP28ERRZV, definition, section 33.3.2
History
- 2026-11-01: add by m2/v0.6.13
Heinrich Brandt 1QYJP8Q935
| URI | m2://inv/1QYJP8Q935 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heinrich Brandt, Heinrich Brandt (topic). Also Wikidata Q73010
History
- 2026-11-02: add by m2/dev
1QYKC3G7FP 1QYKC3G7FP
| URI | m2://inv/1QYKC3G7FP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03373#9M6H (definition). In ZA7DBT3NWR/e1, definition 3.5
History
- 2026-10-29: add by m2/v0.4.12
Example 1QYKXWBQAZ
| URI | m2://inv/1QYKXWBQAZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat's theorem on sums of two squares#A7SM, Example (example)
History
- 2026-11-02: add by m2/dev
Balanced Target Ensemble 1QYMX5HZQ5
| URI | m2://inv/1QYMX5HZQ5 |
|---|---|
| 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.12357#8VN4, Balanced Target Ensemble (definition). In 1F26AF81XP/e1, definition 7.5
History
- 2026-10-28: add by m2/v0.4.2
plus construction 1QYPCJNX02
| URI | m2://inv/1QYPCJNX02 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7205616, plus construction (unknown). Also nLab plus construction
- wikipedia: Wikipedia Plus construction, Plus construction (definition). Also Wikidata Q7205616
History
- 2026-10-26: add by m2/dev
Error Carried Forward 1QZ05NN9KE
| URI | m2://inv/1QZ05NN9KE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Error Carried Forward, Error Carried Forward (definition). Also Wikidata Q115804407
History
- 2026-11-02: add by m2/dev
Exact CRT formula 1QZ5V14RFD
| URI | m2://inv/1QZ5V14RFD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22305#7U9R, Exact CRT formula (statement). In P6FTXTV09Q/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.4.0
1QZ95E6YX2 1QZ95E6YX2
| URI | m2://inv/1QZ95E6YX2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#1L9W (statement). In V42PPD7SWH/e1, lemma 2.4
History
- 2026-10-31: add by m2/v0.5.6
Instrumental variables 1QZEX2NW1M
| URI | m2://inv/1QZEX2NW1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Instrumental variables, Instrumental variables (definition). Also Wikidata Q1665305
History
- 2026-11-02: add by m2/dev