Inventory rows C4
The cards of the rows of the inventory whose ids start with C4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Theorem C401AW6RRY
| URI | m2://inv/C401AW6RRY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#009G, Theorem (statement)
History
- 2026-11-02: add by m2/dev
C40CX7AD0N C40CX7AD0N
| URI | m2://inv/C40CX7AD0N |
|---|---|
| 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 2610.16388#FBNO (statement). In Q62MDENP26/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.2
Trace diagram C40JH969ZJ
| URI | m2://inv/C40JH969ZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace diagram, Trace diagram (definition). Also Wikidata Q7831153
History
- 2026-11-02: add by m2/dev
magnitude of a complex number C40WGQNA99
| URI | m2://inv/C40WGQNA99 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3317982, magnitude of a complex number (concept). Also MathWorld ComplexModulus
History
- 2026-10-26: add by m2/dev
isomorphism, natural C40WQ1Z1GQ
| URI | m2://inv/C40WQ1Z1GQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.2/isomorphism-natural, isomorphism, natural (concept). In N54F33XE07, index, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Exeter point C40YP20WT6
| URI | m2://inv/C40YP20WT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2609867, Exeter point (unknown). Also MathWorld ExeterPoint
- wikipedia: Wikipedia Exeter point, Exeter point (definition). Also Wikidata Q2609867
History
- 2026-10-26: add by m2/dev
Computation C414CVSG5Y
| URI | m2://inv/C414CVSG5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#DIW4, Computation (definition)
History
- 2026-11-02: add by m2/dev
equivalence relation C418YB9JVQ
| URI | m2://inv/C418YB9JVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#1725, equivalence relation (definition)
History
- 2026-11-02: add by m2/dev
$\ms{KXO}_\tau \wedge \ms{KOS} \Rightarrow \ms{KSD}$ C41DJ507E8
| URI | m2://inv/C41DJ507E8 |
|---|---|
| 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.36334#KX5X, $\ms{KXO}_\tau \wedge \ms{KOS} \Rightarrow \ms{KSD}$ (statement). In YVB70SBGN1/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
The macrostep engine C41EXEC0MA
| URI | m2://inv/C41EXEC0MA |
|---|---|
| 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#YS93, The macrostep engine (statement)
History
- 2026-11-02: add by m2/v0.6.17
The nine lines C41N6Y921D
| URI | m2://inv/C41N6Y921D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#96C1, The nine lines (statement). In QPJ6FWG5HD/e1, proposition 2.16
History
- 2026-10-29: add by m2/v0.4.12
(αβγ...) C42HVR48AW
| URI | m2://inv/C42HVR48AW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#PUF1, (αβγ...) (definition)
History
- 2026-11-02: add by m2/dev
Invisible ink C42KMRNEQ4
| URI | m2://inv/C42KMRNEQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invisible ink, Invisible ink (definition). Also Wikidata Q1136406
History
- 2026-11-02: add by m2/dev
C42NY6P1R9 C42NY6P1R9
| URI | m2://inv/C42NY6P1R9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-11 (exercise). In E9HS8K3A52, exercise, section 9.1.6
History
- 2026-11-01: add by m2/v0.6.13
Final topology C4327JG7TZ
| URI | m2://inv/C4327JG7TZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Final topology, Final topology (definition). Also Wikidata Q1416138
History
- 2026-11-02: add by m2/dev
Zermelo set theory C433DH6BR8
| URI | m2://inv/C433DH6BR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q191853, Zermelo set theory (unknown). Also MathWorld ZermeloSetTheory
- wikipedia: Wikipedia Zermelo set theory, Zermelo set theory (definition). Also Wikidata Q191853
History
- 2026-10-26: add by m2/dev
C434W84R6D C434W84R6D
| URI | m2://inv/C434W84R6D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#Z66G (statement). In REDG6QVHM3/e1, proposition 9.3
History
- 2026-10-29: add by m2/v0.4.12
The algorithm C435XWWH88
| URI | m2://inv/C435XWWH88 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coffman–Graham algorithm#SWRQ, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
Applications C4377SMTHA
| URI | m2://inv/C4377SMTHA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff distance#TARR, Applications (example)
History
- 2026-11-02: add by m2/dev
Probit C43HPGVB38
| URI | m2://inv/C43HPGVB38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#X0WU, Probit (definition)
History
- 2026-11-02: add by m2/dev
Peak algebra C43HW7ZZEK
| URI | m2://inv/C43HW7ZZEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peak algebra, Peak algebra (definition). Also Wikidata Q16934543
History
- 2026-11-02: add by m2/dev
Cochran's theorem C43MWATBCF
| URI | m2://inv/C43MWATBCF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 62-XX |
| Sources | 4 |
| Outcome | open |
| Node | Cochran's theorem HSBWJSBH0D |
Mentions
- mathlib_1000: mathlib_1000 Q599876, Cochran's theorem (statement). Also Wikidata Q599876
- thousand_plus: thousand_plus Q599876, Cochran's theorem (statement). Also Wikidata Q599876, Wikipedia Cochran's theorem
- wikidata: Wikidata Q599876, Cochran's theorem (statement). Also MathWorld CochransTheorem
- wikipedia: Wikipedia Cochran's theorem, Cochran's theorem (statement). Also Wikidata Q599876
History
- 2026-10-26: add by m2/dev
Clinical biostatistics C43TMNTJ8F
| URI | m2://inv/C43TMNTJ8F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Medical statistics#NI99, Clinical biostatistics (unknown)
History
- 2026-11-02: add by m2/dev
C43Z9VE7BS C43Z9VE7BS
| URI | m2://inv/C43Z9VE7BS |
|---|---|
| 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.12353#PWTS (statement). In 7TSXNR7TC5/e1, proposition II.1
History
- 2026-10-28: add by m2/v0.4.2
Pairing function C443C9SY15
| URI | m2://inv/C443C9SY15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/pairing.tex#defn-1, Pairing function (definition). In PKGMM3P5QY, defn, section 83.11
History
- 2026-11-01: add by m2/v0.6.13
John Watrous C4454NDR7T
| URI | m2://inv/C4454NDR7T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LOKN, John Watrous (topic)
History
- 2026-11-02: add by m2/dev
Formulation C44B2T5ZAP
| URI | m2://inv/C44B2T5ZAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph removal lemma#ZFHS, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Künneth theorem C44C7Q8YMM
| URI | m2://inv/C44C7Q8YMM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#WGIY, Künneth theorem (statement)
History
- 2026-11-02: add by m2/dev
Primeval number C44JEF2XHV
| URI | m2://inv/C44JEF2XHV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#4MXN, Primeval number (unknown)
History
- 2026-11-02: add by m2/dev
Folded LCL pair C44JPF5X6V
| URI | m2://inv/C44JPF5X6V |
|---|---|
| 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 2609.40252#KUFN, Folded LCL pair (definition). In 7MVPNFPRKB/e1, definition 12.7
History
- 2026-10-30: add by m2/v0.4.12
C44SVS9Z2Y C44SVS9Z2Y
| URI | m2://inv/C44SVS9Z2Y |
|---|---|
| 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.20775#5VI9 (statement). In XG27B81T0G/e1, lemma B.2
History
- 2026-10-27: add by m2/v0.4.2
Triangular distribution C44SZMY4P2
| URI | m2://inv/C44SZMY4P2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#LEL3, Triangular distribution (definition)
History
- 2026-11-02: add by m2/dev
Liouville surface C44VNPDGS3
| URI | m2://inv/C44VNPDGS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liouville surface, Liouville surface (definition). Also Wikidata Q284028
History
- 2026-11-02: add by m2/dev
C451PR3J8C C451PR3J8C
| URI | m2://inv/C451PR3J8C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06764#6Y8P (statement). In MSWV3MJ5CE/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
asymmetry C452DJ2T1C
| URI | m2://inv/C452DJ2T1C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#MGFW, asymmetry (definition)
History
- 2026-11-02: add by m2/dev
C45B2MPVHC C45B2MPVHC
| URI | m2://inv/C45B2MPVHC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17408#OFJQ (statement). In QR8H4M1X4N/e1, proposition 7.3
History
- 2026-10-28: add by m2/v0.4.2
C45CWRYSVG C45CWRYSVG
| URI | m2://inv/C45CWRYSVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16381#HPHX (statement). In 304QK565QF/e1, proposition 2.7
History
- 2026-10-28: add by m2/v0.4.2
C45FPB2823 C45FPB2823
| URI | m2://inv/C45FPB2823 |
|---|---|
| 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.04608#Z4H3 (statement). In ZYYMXYK7WJ/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.12
C45PBTAZTC C45PBTAZTC
| URI | m2://inv/C45PBTAZTC |
|---|---|
| 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.23872#MISH (statement)
History
- 2026-11-02: add by m2/v0.6.17
C45RHXHPPW C45RHXHPPW
| URI | m2://inv/C45RHXHPPW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.14383#S6SU (example). In QD0X3XJS6T/e1, example 2.7
History
- 2026-10-27: add by m2/v0.3.5
C45RM4YC8W C45RM4YC8W
| URI | m2://inv/C45RM4YC8W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CountableSets.tex#theorem-5 (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Formal definition C468RFT04K
| URI | m2://inv/C468RFT04K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line graph#7Y2E, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
C46D3BMXHH C46D3BMXHH
| URI | m2://inv/C46D3BMXHH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20991#2R37 (statement). In H98ZC5YBSD/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.2
Yiannis N. Moschovakis C46QR5WWA2
| URI | m2://inv/C46QR5WWA2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q92697, Yiannis N. Moschovakis (unknown). Also ProofWiki Mathematician:Yiannis_Nicholas_Moschovakis
- wikipedia: Wikipedia Yiannis N. Moschovakis, Yiannis N. Moschovakis (topic). Also Wikidata Q92697
History
- 2026-10-26: add by m2/dev
Applications C46R82RQWD
| URI | m2://inv/C46R82RQWD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Householder transformation#64DK, Applications (example)
History
- 2026-11-02: add by m2/dev
C46W73G75S C46W73G75S
| URI | m2://inv/C46W73G75S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20991#PPQT (statement). In H98ZC5YBSD/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
C46XF3KRKM C46XF3KRKM
| URI | m2://inv/C46XF3KRKM |
|---|---|
| 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#MRGG (definition). In SD43497T8C/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
Line graph of a hypergraph C46XQT5VWM
| URI | m2://inv/C46XQT5VWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line graph of a hypergraph, Line graph of a hypergraph (definition). Also Wikidata Q6553253
History
- 2026-11-02: add by m2/dev
Kelly's lemma C46YFR7HNT
| URI | m2://inv/C46YFR7HNT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#GTDB, Kelly's lemma (statement)
History
- 2026-11-02: add by m2/dev
C4713DEWPX C4713DEWPX
| URI | m2://inv/C4713DEWPX |
|---|---|
| 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 2609.24580#MBWR (statement)
History
- 2026-11-01: add by m2/v0.6.15
String (formal languages) C472N22TRR
| URI | m2://inv/C472N22TRR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia String (computer science)#49KL, String (formal languages) (unknown)
History
- 2026-11-02: add by m2/dev
Giorgi Nikoladze C47R3KKZNM
| URI | m2://inv/C47R3KKZNM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giorgi Nikoladze, Giorgi Nikoladze (topic). Also Wikidata Q12863234
History
- 2026-11-02: add by m2/dev
Examples C47WNKTFA4
| URI | m2://inv/C47WNKTFA4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Privacy-enhancing technologies#EOAI, Examples (example)
History
- 2026-11-02: add by m2/dev
Tilings and patterns C47Z2R5NQD
| URI | m2://inv/C47Z2R5NQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tilings and patterns, Tilings and patterns (definition). Also Wikidata Q125701005
History
- 2026-11-02: add by m2/dev
Properties C481Q0B6AM
| URI | m2://inv/C481Q0B6AM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Redheffer star product#SC95, Properties (statement)
History
- 2026-11-02: add by m2/dev
constant C48HA46AES
| URI | m2://inv/C48HA46AES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#20IF, constant (definition)
History
- 2026-11-02: add by m2/dev
Product defect of a heat layer C48P3S4AHA
| URI | m2://inv/C48P3S4AHA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20106#8I0U, Product defect of a heat layer (statement). In 6HMZ36ZBXA/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.4.2
Hermann Weyl C48TFXC8TA
| URI | m2://inv/C48TFXC8TA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#4R4H, Hermann Weyl (topic)
History
- 2026-11-02: add by m2/dev
List of scientific journals in statistics C495MACZCB
| URI | m2://inv/C495MACZCB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5RQI, List of scientific journals in statistics (topic)
History
- 2026-11-02: add by m2/dev
C49BJKD8WM C49BJKD8WM
| URI | m2://inv/C49BJKD8WM |
|---|---|
| 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 1011.1990#LVLS (statement). In GV0JBN5DWQ/e1, theorem B.4
History
- 2026-10-27: add by m2/v0.3.5
C49KX5SDF1 C49KX5SDF1
| URI | m2://inv/C49KX5SDF1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21438#JJG0 (example)
History
- 2026-11-02: add by m2/v0.6.18
C49RBS872G C49RBS872G
| URI | m2://inv/C49RBS872G |
|---|---|
| Kind | definition |
| 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#G4R7 (definition). In VJTRH1S4JA/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
C49V087RED C49V087RED
| URI | m2://inv/C49V087RED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10581#QVXM (statement). In 6V42A71SPC/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
Reduced chi-squared statistic C4A0RPFYN2
| URI | m2://inv/C4A0RPFYN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reduced chi-squared statistic, Reduced chi-squared statistic (definition). Also Wikidata Q6803646
History
- 2026-11-02: add by m2/dev
C4A9WF12GT C4A9WF12GT
| URI | m2://inv/C4A9WF12GT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07164#ZZ8V (statement). In Q1XJ5VWE1N/e1, theorem 3.12
History
- 2026-10-29: add by m2/v0.4.10
C4ACMQNZA6 C4ACMQNZA6
| URI | m2://inv/C4ACMQNZA6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-22 (exercise). In E9HS8K3A52, exercise, section 7.2.7
History
- 2026-11-01: add by m2/v0.6.13
Definition C4AJN2NXAN
| URI | m2://inv/C4AJN2NXAN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central carrier#4Y2I, Definition (definition)
History
- 2026-11-02: add by m2/dev
C4AQG8NPTT C4AQG8NPTT
| URI | m2://inv/C4AQG8NPTT |
|---|---|
| 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.24043#Y9ZR (statement)
History
- 2026-11-02: add by m2/v0.6.17
C4AW748K2V C4AW748K2V
| URI | m2://inv/C4AW748K2V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 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.17032#30KZ (statement). In MXPK9A2HK2/e1, proposition 2.11
History
- 2026-10-28: add by m2/v0.4.2
Inhomogeneous two-body estimate C4AXGB4CMA
| URI | m2://inv/C4AXGB4CMA |
|---|---|
| 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.02721#Y7RX, Inhomogeneous two-body estimate (statement). In XXFYVDVPPE/e1, proposition 3.7
History
- 2026-10-29: add by m2/v0.4.12
Tracking poll C4AYTMAHVD
| URI | m2://inv/C4AYTMAHVD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opinion poll#KU79, Tracking poll (unknown)
History
- 2026-11-02: add by m2/dev
C4B8JFHY49 C4B8JFHY49
| URI | m2://inv/C4B8JFHY49 |
|---|---|
| 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.39981#M3O6 (statement). In PMMV6YAEVR/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Examples C4BAG3MBJ7
| URI | m2://inv/C4BAG3MBJ7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect field#EZ8G, Examples (example)
History
- 2026-11-02: add by m2/dev
Sensitivity for arbitrary even degree C4BAHPGE4M
| URI | m2://inv/C4BAHPGE4M |
|---|---|
| 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.23781#UI9M, Sensitivity for arbitrary even degree (statement)
History
- 2026-11-02: add by m2/v0.6.17
Misleading graph C4BDG182EH
| URI | m2://inv/C4BDG182EH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#L52M, Misleading graph (definition)
History
- 2026-11-02: add by m2/dev
C4BFW6APVZ C4BFW6APVZ
| URI | m2://inv/C4BFW6APVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-3.xml#definition-2 (definition). In 649HGZKE96, definition, section 6.3.2
History
- 2026-11-01: add by m2/v0.6.13
Constructions C4BHMD79YK
| URI | m2://inv/C4BHMD79YK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric space#X5EB, Constructions (definition)
History
- 2026-11-02: add by m2/dev
James–Stein estimator C4BKZ1FSH1
| URI | m2://inv/C4BKZ1FSH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EVSC, James–Stein estimator (definition)
History
- 2026-11-02: add by m2/dev
Ehrenfeucht–Mycielski sequence C4C7S3ZKX2
| URI | m2://inv/C4C7S3ZKX2 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5348613, Ehrenfeucht–Mycielski sequence (object). Also OEIS A038219
History
- 2026-10-26: add by m2/dev
complex multiplication C4CB103EEF
| URI | m2://inv/C4CB103EEF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Complex multiplication D3HEJTVY7G |
Mentions
- wikidata: Wikidata Q2654923, complex multiplication (unknown). Also LMFDB knowl ec.complex_multiplication
- wikipedia: Wikipedia Complex multiplication, Complex multiplication (topic). Also Wikidata Q2654923
History
- 2026-10-26: add by m2/dev
quotient stack C4CB75JG1Q
| URI | m2://inv/C4CB75JG1Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17099701, quotient stack (unknown). Also nLab quotient stack
- wikipedia: Wikipedia Quotient stack, Quotient stack (definition). Also Wikidata Q17099701
History
- 2026-10-26: add by m2/dev
C4CESC0SCE C4CESC0SCE
| URI | m2://inv/C4CESC0SCE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17116#3TAE (statement). In A02X6MX28Y/e1, proposition 3.10
History
- 2026-10-28: add by m2/v0.4.2
Convex function C4D03GA8YV
| URI | m2://inv/C4D03GA8YV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#4Z3M, Convex function (definition)
History
- 2026-11-02: add by m2/dev
Lawrence Rooke C4D0S4TBXR
| URI | m2://inv/C4D0S4TBXR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lawrence Rooke, Lawrence Rooke (topic). Also Wikidata Q965744
History
- 2026-11-02: add by m2/dev
Probability density function C4D66CVXS5
| URI | m2://inv/C4D66CVXS5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RSKI, Probability density function (definition)
- wikipedia: Wikipedia List of probability topics#8WOI, Probability density function (definition)
- wikipedia: Wikipedia List of probability topics#HM14, Probability density function (definition)
History
- 2026-11-02: add by m2/dev
Hyperbola estimates C4D9S1JZED
| URI | m2://inv/C4D9S1JZED |
|---|---|
| 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.30207#S21G, Hyperbola estimates (statement)
History
- 2026-11-01: add by m2/v0.6.15
C4DB622Q6A C4DB622Q6A
| URI | m2://inv/C4DB622Q6A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/forms.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 43.5
History
- 2026-11-01: add by m2/v0.6.13
Wilkinson's polynomial C4DEFY0Z3V
| URI | m2://inv/C4DEFY0Z3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilkinson's polynomial, Wilkinson's polynomial (definition). Also Wikidata Q2613931
History
- 2026-11-02: add by m2/dev
Tarski C4DF5K6FBD
| URI | m2://inv/C4DF5K6FBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#PLMK, Tarski (definition)
History
- 2026-11-02: add by m2/dev
C4DQG3VB37 C4DQG3VB37
| URI | m2://inv/C4DQG3VB37 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#ELD6 (statement). In E7W2HDNEKJ/e1, theorem 7.15
History
- 2026-10-30: add by m2/v0.4.12
Minimal partition by characteristics C4DSGT2KZ0
| URI | m2://inv/C4DSGT2KZ0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17129#O39I, Minimal partition by characteristics (definition). In TCZWAMNYCV/e1, definition 6.8
History
- 2026-10-28: add by m2/v0.4.2
Q-Bessel polynomials C4DVRYWPEN
| URI | m2://inv/C4DVRYWPEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-Bessel polynomials, Q-Bessel polynomials (definition). Also Wikidata Q7265255
History
- 2026-11-02: add by m2/dev
C4DY3B6X2E C4DY3B6X2E
| URI | m2://inv/C4DY3B6X2E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2008.10035#AZGX (statement). In 29EH04FH4B/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Volume C4DZMYC4MZ
| URI | m2://inv/C4DZMYC4MZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formulas in elementary geometry#QOOW, Volume (definition)
History
- 2026-11-02: add by m2/dev
C4DZVTTGFQ C4DZVTTGFQ
| URI | m2://inv/C4DZVTTGFQ |
|---|---|
| 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.32383#Y2R3 (statement). In 94GZYA55Q5/e1, lemma 6
History
- 2026-10-31: add by m2/v0.5.6
C4E0TRQAMS C4E0TRQAMS
| URI | m2://inv/C4E0TRQAMS |
|---|---|
| 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.37897#92VV (statement). In RBQ5FNCVNZ/e1, corollary B.6
History
- 2026-10-30: add by m2/v0.4.12
Calibrated manifold C4E1D9CJD0
| URI | m2://inv/C4E1D9CJD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#YX54, Calibrated manifold (definition)
History
- 2026-11-02: add by m2/dev
Fréchet distribution C4E2N1HHCE
| URI | m2://inv/C4E2N1HHCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#5L0K, Fréchet distribution (definition)
History
- 2026-11-02: add by m2/dev
Artin--Hasse parameters C4E6VDR1M3
| URI | m2://inv/C4E6VDR1M3 |
|---|---|
| Kind | definition |
| 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.05652#TO75, Artin--Hasse parameters (definition). In 8BNPFYQDQX/e1, definition 3.9
History
- 2026-10-29: add by m2/v0.4.10
C4EJ788XXR C4EJ788XXR
| URI | m2://inv/C4EJ788XXR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cohomology.tex#example-2 (example). In RZP28ERRZV, example, section 51.2
History
- 2026-11-01: add by m2/v0.6.13
C4EJSZN4DV C4EJSZN4DV
| URI | m2://inv/C4EJSZN4DV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#ZGST (definition)
History
- 2026-11-02: add by m2/v0.6.18
C4EKWHN9EV C4EKWHN9EV
| URI | m2://inv/C4EKWHN9EV |
|---|---|
| Kind | example |
| 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.20285#1H1Y (example). In RQA728RB77/e1, example 14
History
- 2026-10-27: add by m2/v0.4.2
C4EM2SFG41 C4EM2SFG41
| URI | m2://inv/C4EM2SFG41 |
|---|---|
| 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.29196#062K (statement)
History
- 2026-11-01: add by m2/v0.6.15
C4F4NQMZB2 C4F4NQMZB2
| URI | m2://inv/C4F4NQMZB2 |
|---|---|
| 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.22205#KYZA (statement). In 7REABAAQED/e1, lemma
History
- 2026-10-27: add by m2/v0.4.0
J. W. Hopkins C4FAZ62570
| URI | m2://inv/C4FAZ62570 |
|---|---|
| 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#YJHB, J. W. Hopkins (topic)
History
- 2026-11-02: add by m2/dev
Examples C4FKA01SZ5
| URI | m2://inv/C4FKA01SZ5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chow group of a stack#J1ZQ, Examples (example)
History
- 2026-11-02: add by m2/dev
C4FV08X3WC C4FV08X3WC
| URI | m2://inv/C4FV08X3WC |
|---|---|
| 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.01572#K4VP (statement). In 7BJK23Q7GH/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.12
Lawrence Sklar C4FV8XGKVK
| URI | m2://inv/C4FV8XGKVK |
|---|---|
| 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 Q1809260, Lawrence Sklar (unknown). Also nLab Lawrence Sklar
History
- 2026-10-26: add by m2/dev
suspension C4FVT41XMA
| URI | m2://inv/C4FVT41XMA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Suspension Q7RFNJH76Q |
Mentions
- wikidata: Wikidata Q1307987, suspension (unknown). Also EoM Suspension, nLab suspension
- wikipedia: Wikipedia Suspension (topology), Suspension (definition). Also Wikidata Q1307987
History
- 2026-10-26: add by m2/dev
C4G3YXCKJP C4G3YXCKJP
| URI | m2://inv/C4G3YXCKJP |
|---|---|
| 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.09129#8QXJ (statement). In Z1RZSF68XZ/e1, theorem 1.8
History
- 2026-10-29: add by m2/v0.4.10
Definition C4G5R90TH7
| URI | m2://inv/C4G5R90TH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasitrace#GUHE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Ogive (statistics) C4G8PS70QR
| URI | m2://inv/C4G8PS70QR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#P04V, Ogive (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Example C4GC9YTEAG
| URI | m2://inv/C4GC9YTEAG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory's extension theorem#3ZIL, Example (example)
History
- 2026-11-02: add by m2/dev
C4GD0S0786 C4GD0S0786
| URI | m2://inv/C4GD0S0786 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19469#EPXM (statement). In QK9FT9AKHN/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
C4GDZ6FSXZ C4GDZ6FSXZ
| URI | m2://inv/C4GDZ6FSXZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-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.38068#A00Y (statement). In 67GE5M1GGD/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
C4GJCXAVST C4GJCXAVST
| URI | m2://inv/C4GJCXAVST |
|---|---|
| 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.08226#88R6 (statement). In V6EPE8XHAD/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.10
Definition C4GKRAZKX8
| URI | m2://inv/C4GKRAZKX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid–Mullin sequence#8IIT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Corollary 2 C4GMK1Q43E
| URI | m2://inv/C4GMK1Q43E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential forms on a Riemann surface#HSHO, Corollary 2 (statement)
History
- 2026-11-02: add by m2/dev
Properties C4GMV5G5K6
| URI | m2://inv/C4GMV5G5K6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur-convex function#6M6B, Properties (statement)
History
- 2026-11-02: add by m2/dev
Robert Rosebrugh C4GP5R3Q70
| URI | m2://inv/C4GP5R3Q70 |
|---|---|
| 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 Q95321162, Robert Rosebrugh (unknown). Also nLab Robert Rosebrugh
History
- 2026-10-26: add by m2/dev
C4H2VQ9XE6 C4H2VQ9XE6
| URI | m2://inv/C4H2VQ9XE6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#S7MH (definition). In 13H5BTAXHF/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
C4H6M1V36B C4H6M1V36B
| URI | m2://inv/C4H6M1V36B |
|---|---|
| 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.11886#QO7S (statement). In T0APQY74CA/e1, proposition 9
History
- 2026-10-28: add by m2/v0.4.3
Lower bound on the NTK eigenvalue along training C4HCH6QHGB
| URI | m2://inv/C4HCH6QHGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#ALJD, Lower bound on the NTK eigenvalue along training (statement). In 6FY8BVP1F3/e1, proposition I.4
History
- 2026-10-29: add by m2/v0.4.12
Examples C4HKMA9YYE
| URI | m2://inv/C4HKMA9YYE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curl (mathematics)#ZLBS, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications C4HNT2B7Q9
| URI | m2://inv/C4HNT2B7Q9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cumulative accuracy profile#SL3A, Applications (example)
History
- 2026-11-02: add by m2/dev
Gopal Prasad C4HVX2K6W3
| URI | m2://inv/C4HVX2K6W3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gopal Prasad, Gopal Prasad (topic). Also Wikidata Q5584189
History
- 2026-11-02: add by m2/dev
Combined test C4J59BTYAP
| URI | m2://inv/C4J59BTYAP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10840#6ME2, Combined test (definition). In JSJQEPY71E/e1, definition 3.4
History
- 2026-10-28: add by m2/v0.4.3
C4JA2C1RRT C4JA2C1RRT
| URI | m2://inv/C4JA2C1RRT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#SR6F (example). In WD2NCBV9F0/e1, example 2.7
History
- 2026-10-27: add by m2/v0.3.5
C4JCC7CT3W C4JCC7CT3W
| URI | m2://inv/C4JCC7CT3W |
|---|---|
| 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 Q29583945 (unknown). Also nLab Alex Heller
History
- 2026-10-26: add by m2/dev
Baer group C4JCDVFY10
| URI | m2://inv/C4JCDVFY10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baer group, Baer group (definition). Also Wikidata Q4841293
History
- 2026-11-02: add by m2/dev
Examples C4JGND7QP5
| URI | m2://inv/C4JGND7QP5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ulam number#LU0S, Examples (example)
History
- 2026-11-02: add by m2/dev
C4JJRA156Z C4JJRA156Z
| URI | m2://inv/C4JJRA156Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25656#J851 (definition)
History
- 2026-11-01: add by m2/v0.6.15
equilibrium C4JQFE142J
| URI | m2://inv/C4JQFE142J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/8.1.1/equilibrium, equilibrium (concept). In E9HS8K3A52, index, section 8.1.1
History
- 2026-11-01: add by m2/v0.6.13
Adaptation from Main Theorem C4JRKR0H5D
| URI | m2://inv/C4JRKR0H5D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1911.06467#X8GV, Adaptation from Main Theorem (statement). In G35G1NJKBX/e1, theorem A.1
History
- 2026-10-27: add by m2/v0.3.5
Grauert direct image theorem C4JTJ7G8EM
| URI | m2://inv/C4JTJ7G8EM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17817#19XB, Grauert direct image theorem (statement). In M8TSJ24RC2/e1, theorem 2.15
History
- 2026-10-28: add by m2/v0.4.2
C4JYVW5H3D C4JYVW5H3D
| URI | m2://inv/C4JYVW5H3D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35625#4WBP (statement). In 7N144YJM0R/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
Wallis Professor of Mathematics C4K4V2Z9B2
| URI | m2://inv/C4K4V2Z9B2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wallis Professor of Mathematics, Wallis Professor of Mathematics (definition). Also Wikidata Q19654562
History
- 2026-11-02: add by m2/dev
Index of dissimilarity C4K4YMP9DR
| URI | m2://inv/C4K4YMP9DR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8WRK, Index of dissimilarity (topic)
History
- 2026-11-02: add by m2/dev
Scheme-theoretic intersection C4KC96QW62
| URI | m2://inv/C4KC96QW62 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scheme-theoretic intersection, Scheme-theoretic intersection (definition). Also Wikidata Q28456520
History
- 2026-11-02: add by m2/dev
Locally Hausdorff space C4KENGYMTE
| URI | m2://inv/C4KENGYMTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally Hausdorff space, Locally Hausdorff space (definition). Also Wikidata Q6664659
History
- 2026-11-02: add by m2/dev
David Paget C4KF5AZYSA
| URI | m2://inv/C4KF5AZYSA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FLQN, David Paget (unknown)
History
- 2026-11-02: add by m2/dev
C4KFDSFC9Z C4KFDSFC9Z
| URI | m2://inv/C4KFDSFC9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17565#I4NA (statement). In C422901XCN/e1, theorem 3.9
History
- 2026-10-28: add by m2/v0.4.2
C4KFEPBZF9 C4KFEPBZF9
| URI | m2://inv/C4KFEPBZF9 |
|---|---|
| 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 2609.26922#EEPX (definition)
History
- 2026-11-01: add by m2/v0.6.15
\textbf{Unnormalized continuous graph Laplace operator C4KGNFG8EE
| URI | m2://inv/C4KGNFG8EE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 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.17032#3JEC, \textbf{Unnormalized continuous graph Laplace operator (definition). In MXPK9A2HK2/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Examples C4KK1SKHKG
| URI | m2://inv/C4KK1SKHKG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudocomplement#VA0N, Examples (example)
History
- 2026-11-02: add by m2/dev
Locality of the conditional amplitude C4KTAG83FE
| URI | m2://inv/C4KTAG83FE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03683#C7MD, Locality of the conditional amplitude (statement). In 14AMXF6X2V/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
Logical functor C4KTKKK8ZV
| URI | m2://inv/C4KTKKK8ZV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary topos#AD88, Logical functor (unknown)
History
- 2026-11-02: add by m2/dev
C4M4TYW8KW C4M4TYW8KW
| URI | m2://inv/C4M4TYW8KW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31604#ZI9F (statement). In GSN5YTQS2K/e1, lemma 3.23
History
- 2026-10-31: add by m2/v0.5.6
C4M5YKGEFS C4M5YKGEFS
| URI | m2://inv/C4M5YKGEFS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#theorem-6 (statement). In E9HS8K3A52, theorem, section 10.6.1
History
- 2026-11-01: add by m2/v0.6.13
Corollary 2 C4M8NGRJ1K
| URI | m2://inv/C4M8NGRJ1K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space hierarchy theorem#PNYI, Corollary 2 (statement)
History
- 2026-11-02: add by m2/dev
C4MFG3ZDC4 C4MFG3ZDC4
| URI | m2://inv/C4MFG3ZDC4 |
|---|---|
| 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.14914#6UEM (statement). In CHC3T113Y4/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
growth at a peripheral threshold C4MPWDPJKS
| URI | m2://inv/C4MPWDPJKS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.27458#CTI0, growth at a peripheral threshold (statement)
History
- 2026-11-01: add by m2/v0.6.15
Partial least squares C4MRVG1YS9
| URI | m2://inv/C4MRVG1YS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0XO8, Partial least squares (definition)
History
- 2026-11-02: add by m2/dev
icosahedral graph C4MW0W9BRN
| URI | m2://inv/C4MW0W9BRN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115573, icosahedral graph (unknown). Also House of Graphs 1186, MathWorld IcosahedralGraph
History
- 2026-10-26: add by m2/dev
Mikhail Lavrentieff C4N7H4DYYP
| URI | m2://inv/C4N7H4DYYP |
|---|---|
| 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#JPL8, Mikhail Lavrentieff (topic)
History
- 2026-11-02: add by m2/dev
C4NC42GZH0 C4NC42GZH0
| URI | m2://inv/C4NC42GZH0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-293 (exercise). In VNMV985MXX, exercise, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Wirtinger inequality C4NEXYXV9A
| URI | m2://inv/C4NEXYXV9A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Wirtinger's inequality for functions G0J13SXYTC |
Mentions
- wikidata: Wikidata Q8027030, Wirtinger inequality (unknown). Also MathWorld WirtingersInequality
- wikidata: Wikidata Q947364, Wirtinger's inequality for functions (statement). Also MathWorld WirtingersInequality
- wikipedia: Wikipedia Wirtinger inequality (2-forms), Wirtinger inequality (statement). Also Wikidata Q8027030
- wikipedia: Wikipedia Wirtinger's inequality for functions, Wirtinger's inequality for functions (statement). Also Wikidata Q947364
History
- 2026-10-26: add by m2/dev
Lode coordinates C4NGW6DQV2
| URI | m2://inv/C4NGW6DQV2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lode coordinates, Lode coordinates (definition). Also Wikidata Q20057739
History
- 2026-11-02: add by m2/dev
CG Robustness C4NS00HDAW
| URI | m2://inv/C4NS00HDAW |
|---|---|
| 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 2601.01076#0BBQ, CG Robustness (statement). In 2E8DDPAZN3/e1, proposition 1
History
- 2026-10-27: add by m2/v0.4.2
C4NTJSN40J C4NTJSN40J
| URI | m2://inv/C4NTJSN40J |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.20257#VT94 (conjecture). In 9NDZ6GG9XZ/e1, conjecture Conjecture
History
- 2026-10-27: add by m2/v0.3.5
Discriminant of a point C4NVJQM5A0
| URI | m2://inv/C4NVJQM5A0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#FAD6, Discriminant of a point (definition)
History
- 2026-11-02: add by m2/dev
C4P2VJRZRB C4P2VJRZRB
| URI | m2://inv/C4P2VJRZRB |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/coding-terms.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 27.3
History
- 2026-11-01: add by m2/v0.6.13
Instabilities and energy concentration C4PA36JHSR
| URI | m2://inv/C4PA36JHSR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2603.28861#0BX5, Instabilities and energy concentration (statement). In A3VQ2TNRKK/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.4.0
pursuit curve C4PEQA5XG8
| URI | m2://inv/C4PEQA5XG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1757469, pursuit curve (unknown). Also MathWorld PursuitCurve
- wikipedia: Wikipedia Pursuit curve, Pursuit curve (definition). Also Wikidata Q1757469
History
- 2026-10-26: add by m2/dev
C4PK1B5ANR C4PK1B5ANR
| URI | m2://inv/C4PK1B5ANR |
|---|---|
| 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.27114#YTQF (statement)
History
- 2026-11-01: add by m2/v0.6.15
C4PVH8HH6H C4PVH8HH6H
| URI | m2://inv/C4PVH8HH6H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#defn:contractible (definition). In N54F33XE07, defn, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Abstract vertex figure C4PY5VGQPF
| URI | m2://inv/C4PY5VGQPF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract polytope#LFTX, Abstract vertex figure (unknown)
History
- 2026-11-02: add by m2/dev
Fisher's inequality C4Q80GABMN
| URI | m2://inv/C4Q80GABMN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#D1L0, Fisher's inequality (statement)
- wikipedia: Wikipedia List of inequalities#2A18, Fisher's inequality (statement)
History
- 2026-11-02: add by m2/dev
Examples C4Q83ZANAB
| URI | m2://inv/C4Q83ZANAB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete wavelet transform#B434, Examples (example)
History
- 2026-11-02: add by m2/dev
C4QDTS3PD4 C4QDTS3PD4
| URI | m2://inv/C4QDTS3PD4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35467#PYBI (statement). In FK89DQ9J4S/e1, corollary A.10
History
- 2026-10-30: add by m2/v0.4.12
traversal; the objective C4QGQD0DJQ
| URI | m2://inv/C4QGQD0DJQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14050#PRH7, traversal; the objective (definition). In RENT22YXW3/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
C4QP1NE9CB C4QP1NE9CB
| URI | m2://inv/C4QP1NE9CB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#MAV0 (definition). In MS7M2BJS9X/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Descending central series C4QXFWDN9X
| URI | m2://inv/C4QXFWDN9X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central series#P0WW, Descending central series (unknown)
History
- 2026-11-02: add by m2/dev
truncated octahedral graph C4QYZD5W3Z
| URI | m2://inv/C4QYZD5W3Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115591, truncated octahedral graph (unknown). Also House of Graphs 1391, MathWorld TruncatedOctahedralGraph
History
- 2026-10-26: add by m2/dev
Heat kernel signature C4R0GS0ZPD
| URI | m2://inv/C4R0GS0ZPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heat kernel signature, Heat kernel signature (definition). Also Wikidata Q5693286
History
- 2026-11-02: add by m2/dev
C4R2FS74FA C4R2FS74FA
| URI | m2://inv/C4R2FS74FA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08010#621R (definition). In 2S89BG5WPH/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
C4R2WVY0AC C4R2WVY0AC
| URI | m2://inv/C4R2WVY0AC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.24593#9ZOG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Critical first moment C4RCCZSZ5M
| URI | m2://inv/C4RCCZSZ5M |
|---|---|
| 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.14085#B8BL, Critical first moment (statement). In T8F19ZGHF3/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
simultaneous) $\varphi$-irreducibility C4RJ9AN7ZM
| URI | m2://inv/C4RJ9AN7ZM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29326#UB6E, simultaneous) $\varphi$-irreducibility (definition). In 3F83V6VKKA/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.6
Anthony Greville Shannon C4RM2M5KAP
| URI | m2://inv/C4RM2M5KAP |
|---|---|
| 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 Q102279945, Anthony Greville Shannon (unknown). Also ProofWiki Mathematician:Anthony_Greville_Shannon
History
- 2026-10-26: add by m2/dev
Information gain ratio C4RSP5P0S8
| URI | m2://inv/C4RSP5P0S8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information gain ratio, Information gain ratio (definition). Also Wikidata Q6031086
History
- 2026-11-02: add by m2/dev
C4RSX3J8XM C4RSX3J8XM
| URI | m2://inv/C4RSX3J8XM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07828#2A47 (example). In TWGMVT1N1G/e1, example 9.5
History
- 2026-10-29: add by m2/v0.4.10
Yuri Manin C4RYFV254B
| URI | m2://inv/C4RYFV254B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q65196, Yuri Manin (unknown). Also nLab Yuri Manin, ProofWiki Mathematician:Yuri_Ivanovitch_Manin
- wikipedia: Wikipedia Yuri Manin, Yuri Manin (topic). Also Wikidata Q65196
History
- 2026-10-26: add by m2/dev
Horn clause C4S1M5F94K
| URI | m2://inv/C4S1M5F94K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Horn clause QR92EZDTKF |
Mentions
- wikidata: Wikidata Q933932, Horn clause (unknown). Also EoM Quasi-identity, MathWorld HornClause
- wikipedia: Wikipedia Horn clause, Horn clause (definition). Also Wikidata Q933932
History
- 2026-10-26: add by m2/dev
Exact corank-two identities C4S504HFQ7
| URI | m2://inv/C4S504HFQ7 |
|---|---|
| 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 2609.31689#GVDW, Exact corank-two identities (statement). In Z7M2JSF6HA/e1, theorem 8.4
History
- 2026-10-31: add by m2/v0.5.6
Hartmut Jürgens C4S6V8WRW2
| URI | m2://inv/C4S6V8WRW2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hartmut Jürgens, Hartmut Jürgens (topic). Also Wikidata Q5675071
History
- 2026-11-02: add by m2/dev
C4S722N2ME C4S722N2ME
| URI | m2://inv/C4S722N2ME |
|---|---|
| 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.15316#SEPC (statement). In 3K84E4150C/e1, theorem 6.5
History
- 2026-10-28: add by m2/v0.4.2
C4SAN3M5FD C4SAN3M5FD
| URI | m2://inv/C4SAN3M5FD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32883#BGFW (statement). In 6MVBVC1VNK/e1, theorem 9.2
History
- 2026-10-31: add by m2/v0.5.6
linear mapping C4SRJJ2MWH
| URI | m2://inv/C4SRJJ2MWH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/2.1.2/linear-mapping, linear mapping (concept). In E9HS8K3A52, index, section 2.1.2
History
- 2026-11-01: add by m2/v0.6.13
C4SS9PMAC5 C4SS9PMAC5
| URI | m2://inv/C4SS9PMAC5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#45J3 (statement). In 702AF3E4AF/e1, theorem 3.8
History
- 2026-10-30: add by m2/v0.4.12
octic C4SWKK6VP7
| URI | m2://inv/C4SWKK6VP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#VQJ1, octic (definition)
History
- 2026-11-02: add by m2/dev
Frege C4SY5B1ZZY
| URI | m2://inv/C4SY5B1ZZY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.8/frege, Frege (concept). In N54F33XE07, index, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
C4T562H9BT C4T562H9BT
| URI | m2://inv/C4T562H9BT |
|---|---|
| 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.21969#TCCN (statement)
History
- 2026-11-02: add by m2/v0.6.17
Multi-neuron fully connected linear network of depth 2 C4T8TGDMMB
| URI | m2://inv/C4T8TGDMMB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07040#EDQ2, Multi-neuron fully connected linear network of depth 2 (example). In KMNXNW7FHP/e1, example 1.1
History
- 2026-10-29: add by m2/v0.4.10
C4THPJZSQR C4THPJZSQR
| URI | m2://inv/C4THPJZSQR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#8CBI (statement). In 5KR3MHYVV6/e1, corollary 4.0
History
- 2026-10-28: add by m2/v0.4.2
Chebyshev function C4V1Z6QJJ1
| URI | m2://inv/C4V1Z6QJJ1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Chebyshev functions B8AKSVBE5Z |
Mentions
- wikidata: Wikidata Q1046711, Chebyshev function (concept). Also MathWorld ChebyshevFunctions
- wikipedia: Wikipedia Chebyshev function, Chebyshev function (definition). Also Wikidata Q1046711
History
- 2026-10-26: add by m2/dev
Extension C4V3YWRCJF
| URI | m2://inv/C4V3YWRCJF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computation in the limit#HCG5, Extension (statement)
History
- 2026-11-02: add by m2/dev
Multivariate Laplace distribution C4V8KSCZQZ
| URI | m2://inv/C4V8KSCZQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate Laplace distribution, Multivariate Laplace distribution (definition). Also Wikidata Q30642004
History
- 2026-11-02: add by m2/dev
Robert Arnott Wilson C4VFQ37NTM
| URI | m2://inv/C4VFQ37NTM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IG5Y, Robert Arnott Wilson (topic)
History
- 2026-11-02: add by m2/dev
C4VG8H80DJ C4VG8H80DJ
| URI | m2://inv/C4VG8H80DJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21536#G33P (statement). In NBQK8HJSNY/e1, theorem 4
History
- 2026-10-27: add by m2/v0.4.2
A weighted bound on Chebyshev nodes C4VHMV7CJS
| URI | m2://inv/C4VHMV7CJS |
|---|---|
| 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.12641#8PYA, A weighted bound on Chebyshev nodes (statement). In X5BYGZZHPF/e1, lemma E.3
History
- 2026-10-28: add by m2/v0.4.2
Janet L. Norwood C4VQHXJQQB
| URI | m2://inv/C4VQHXJQQB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Janet L. Norwood, Janet L. Norwood (topic). Also Wikidata Q18602833
History
- 2026-11-02: add by m2/dev
law of total probability C4VSKNP6Y8
| URI | m2://inv/C4VSKNP6Y8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Law of total probability 0E5G5FMT2R |
Mentions
- mathlib_undergrad: mathlib_undergrad Probability Theory > Definitions of a probability space > law of total probability, law of total probability (unknown)
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
C4VXXEXQ93 C4VXXEXQ93
| URI | m2://inv/C4VXXEXQ93 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-24 (exercise). In E9HS8K3A52, exercise, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
C4W7RXCEBT C4W7RXCEBT
| URI | m2://inv/C4W7RXCEBT |
|---|---|
| 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#HDCD (statement). In SBZNH932ZV/e1, theorem 8.2
History
- 2026-10-30: add by m2/v0.4.12
Bounded positive canonical potentials C4WBKRQP4M
| URI | m2://inv/C4WBKRQP4M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#4QDD, Bounded positive canonical potentials (statement)
History
- 2026-11-01: add by m2/v0.6.15
C4WG346R37 C4WG346R37
| URI | m2://inv/C4WG346R37 |
|---|---|
| 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.12034#6MN9 (statement). In 1FRW4N1H90/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.3
EP matrix C4X2N7VDEN
| URI | m2://inv/C4X2N7VDEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia EP matrix, EP matrix (definition). Also Wikidata Q61625231
History
- 2026-11-02: add by m2/dev
ordinal arithmetic C4X3CDJ1HR
| URI | m2://inv/C4X3CDJ1HR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Ordinal arithmetic KAEDCQ8RM6 |
Mentions
- wikidata: Wikidata Q1142215, ordinal arithmetic (unknown). Also nLab ordinal arithmetic
- wikipedia: Wikipedia Ordinal arithmetic, Ordinal arithmetic (definition). Also Wikidata Q1142215
History
- 2026-10-26: add by m2/dev
Coxeter–Todd lattice C4X4XXPWF6
| URI | m2://inv/C4X4XXPWF6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter–Todd lattice, Coxeter–Todd lattice (definition). Also Wikidata Q5179944
History
- 2026-11-02: add by m2/dev
Finitely atomic measures C4X5MK7D29
| URI | m2://inv/C4X5MK7D29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.21391#7DUB, Finitely atomic measures (statement). In J9C7YMKJ33/e1, corollary 4.7
History
- 2026-10-27: add by m2/v0.3.5
Sérsic profile C4X88AR0CY
| URI | m2://inv/C4X88AR0CY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sérsic profile, Sérsic profile (definition). Also Wikidata Q4184811
History
- 2026-11-02: add by m2/dev
Radon distance C4X994SYC1
| URI | m2://inv/C4X994SYC1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radon measure#KZT2, Radon distance (unknown)
History
- 2026-11-02: add by m2/dev
Karl Gustav Jöreskog C4XJXX9PR6
| URI | m2://inv/C4XJXX9PR6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Gustav Jöreskog, Karl Gustav Jöreskog (topic). Also Wikidata Q324077
History
- 2026-11-02: add by m2/dev
Block LU decomposition C4XKJGQASN
| URI | m2://inv/C4XKJGQASN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block LU decomposition, Block LU decomposition (definition). Also Wikidata Q4927151
History
- 2026-11-02: add by m2/dev
Normalization C4Y5HP6DSX
| URI | m2://inv/C4Y5HP6DSX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normalization (statistics), Normalization (definition). Also Wikidata Q249772
History
- 2026-11-02: add by m2/dev
Fourier transform C4Y6FNW9ZD
| URI | m2://inv/C4Y6FNW9ZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph Fourier#AKR5, Fourier transform (definition)
History
- 2026-11-02: add by m2/dev
C4Y6PM0XF5 C4Y6PM0XF5
| URI | m2://inv/C4Y6PM0XF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.23167#MXBL (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties C4Y91S9ZP5
| URI | m2://inv/C4Y91S9ZP5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypercube graph#JU9W, Properties (statement)
History
- 2026-11-02: add by m2/dev
Łukasiewicz-Tarski logic C4Y934SSAM
| URI | m2://inv/C4Y934SSAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alfred Tarski#BISS, Łukasiewicz-Tarski logic (definition)
History
- 2026-11-02: add by m2/dev
Conservatism bias C4YA2AYAQS
| URI | m2://inv/C4YA2AYAQS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#CTVF, Conservatism bias (definition)
History
- 2026-11-02: add by m2/dev
Equivalent definitions C4YM787YP4
| URI | m2://inv/C4YM787YP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Median graph#CVM0, Equivalent definitions (definition)
History
- 2026-11-02: add by m2/dev
C4Z8MT4M8E C4Z8MT4M8E
| URI | m2://inv/C4Z8MT4M8E |
|---|---|
| Kind | definition |
| 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.08226#UXU4 (definition). In V6EPE8XHAD/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Hans Fitting C4ZCRT8XF3
| URI | m2://inv/C4ZCRT8XF3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#D1M4, Hans Fitting (topic)
History
- 2026-11-02: add by m2/dev
Example C4ZG6E68PT
| URI | m2://inv/C4ZG6E68PT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit root#OI1B, Example (example)
History
- 2026-11-02: add by m2/dev
C4ZYVRHDQS C4ZYVRHDQS
| URI | m2://inv/C4ZYVRHDQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-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 2605.02634#9CL9 (statement). In EZ6PAF0MXH/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5