Inventory rows 57
The cards of the rows of the inventory whose ids start with 57. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
AAS Theorem 570115SMRF
| URI | m2://inv/570115SMRF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122897542, AAS Theorem (statement). Also MathWorld AASTheorem
History
- 2026-10-26: add by m2/dev
Zeta function 5701DDFXCM
| URI | m2://inv/5701DDFXCM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeta function (operator), Zeta function (definition). Also Wikidata Q11315066
History
- 2026-11-02: add by m2/dev
5702P6VXF8 5702P6VXF8
| URI | m2://inv/5702P6VXF8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-50 (exercise). In E9HS8K3A52, exercise, section 2.4.3
History
- 2026-11-01: add by m2/v0.6.13
Spherical region 5702SAWQX5
| URI | m2://inv/5702SAWQX5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphere#8TBW, Spherical region (unknown)
History
- 2026-11-02: add by m2/dev
Extension formula for every field quotient 57066HT4XR
| URI | m2://inv/57066HT4XR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#T8E4, Extension formula for every field quotient (statement). In 9NVKKW8HDH/e1, proposition 2.77
History
- 2026-10-28: add by m2/v0.4.2
Computable measure theory 5707DJEHWP
| URI | m2://inv/5707DJEHWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#TD0P, Computable measure theory (definition)
History
- 2026-11-02: add by m2/dev
Bridging to the Standard Pesin Formula 5709MGK0RN
| URI | m2://inv/5709MGK0RN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pesin Entropy Formula#VVGH, Bridging to the Standard Pesin Formula (statement)
History
- 2026-11-02: add by m2/dev
570Q5C7QJR 570Q5C7QJR
| URI | m2://inv/570Q5C7QJR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#2UM4 (definition). In VD4JP4HVBX/e1, definition 3.15
History
- 2026-10-28: add by m2/v0.4.2
Alexander's theorem 5715XSAVSJ
| URI | m2://inv/5715XSAVSJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HEJJ, Alexander's theorem (statement)
History
- 2026-11-02: add by m2/dev
571BB2YYK8 571BB2YYK8
| URI | m2://inv/571BB2YYK8 |
|---|---|
| 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.09341#XA60 (definition). In DSXBMRYE0V/e1, definition A.7
History
- 2026-10-29: add by m2/v0.4.10
571BKF3ANH 571BKF3ANH
| URI | m2://inv/571BKF3ANH |
|---|---|
| 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.12481#3WAH (statement). In TD288AK3EJ/e1, theorem 10
History
- 2026-10-28: add by m2/v0.4.2
Misleading graph methods 571C8Z7Z13
| URI | m2://inv/571C8Z7Z13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Misleading graph#QUFT, Misleading graph methods (definition)
History
- 2026-11-02: add by m2/dev
Square principle 571CDCP236
| URI | m2://inv/571CDCP236 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square principle, Square principle (statement). Also Wikidata Q5570898
History
- 2026-11-02: add by m2/dev
Slice-torus bound on the weak slice genus 571MQQPHNA
| URI | m2://inv/571MQQPHNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10206#WB6G, Slice-torus bound on the weak slice genus (statement). In 8TRCP1482Q/e1, theorem B.20
History
- 2026-10-29: add by m2/v0.4.10
571Q881DFH 571Q881DFH
| URI | m2://inv/571Q881DFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.11143#NJBL (statement). In VTVC0TCWSB/e1, lemma 6.16
History
- 2026-10-27: add by m2/v0.3.5
571RDJ6NAM 571RDJ6NAM
| URI | m2://inv/571RDJ6NAM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 01-XX, 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.06338#ITSV (example). In F1CYVYK7YB/e1, example 6.2
History
- 2026-10-29: add by m2/v0.4.10
Dynamic Markov compression 571WD57F5B
| URI | m2://inv/571WD57F5B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#2R8T, Dynamic Markov compression (unknown)
History
- 2026-11-02: add by m2/dev
Basic formula 571X7MFV0N
| URI | m2://inv/571X7MFV0N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index of dissimilarity#VJWQ, Basic formula (statement)
History
- 2026-11-02: add by m2/dev
Results 571YRSY6QK
| URI | m2://inv/571YRSY6QK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicity-one theorem#GGG4, Results (statement)
History
- 2026-11-02: add by m2/dev
5720R4VA4D 5720R4VA4D
| URI | m2://inv/5720R4VA4D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#9V7E (example). In CY1FE8W1ZW/e1, example 0.282
History
- 2026-10-27: add by m2/v0.4.0
similar 572EV7W2E8
| URI | m2://inv/572EV7W2E8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalues and eigenvectors#B3H7, similar (definition)
History
- 2026-11-02: add by m2/dev
572K56SVV3 572K56SVV3
| URI | m2://inv/572K56SVV3 |
|---|---|
| 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 1903.11969#I1ML (statement). In 9N4EV3GRM7/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
572RS1F2NM 572RS1F2NM
| URI | m2://inv/572RS1F2NM |
|---|---|
| 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.28649#R8OI (statement)
History
- 2026-11-01: add by m2/v0.6.15
572V2R8JJD 572V2R8JJD
| URI | m2://inv/572V2R8JJD |
|---|---|
| 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.03353#MHKG (example). In 8W61T5CSRB/e1, example 6.1
History
- 2026-10-29: add by m2/v0.4.12
Hotelling, Harold 572XWM8718
| URI | m2://inv/572XWM8718 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#MAWK, Hotelling, Harold (topic)
History
- 2026-11-02: add by m2/dev
Unified neutral theory of biodiversity 57358NXTAP
| URI | m2://inv/57358NXTAP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unified neutral theory of biodiversity, Unified neutral theory of biodiversity (topic). Also Wikidata Q7884982
History
- 2026-11-02: add by m2/dev
Co-commutative 573GQHRRYK
| URI | m2://inv/573GQHRRYK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coalgebra#DDIY, Co-commutative (unknown)
History
- 2026-11-02: add by m2/dev
Ray casting algorithm 573N1RKAFB
| URI | m2://inv/573N1RKAFB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point in polygon#O5LH, Ray casting algorithm (unknown)
History
- 2026-11-02: add by m2/dev
One stage of the construction 573TVM3Y2W
| URI | m2://inv/573TVM3Y2W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18709#YYY2, One stage of the construction (statement). In K7VY50VFK6/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Rational irrationality 573W2T19Z5
| URI | m2://inv/573W2T19Z5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational irrationality, Rational irrationality (definition). Also Wikidata Q7295766
History
- 2026-11-02: add by m2/dev
Index of dispersion 57404GNF93
| URI | m2://inv/57404GNF93 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#72EC, Index of dispersion (topic)
History
- 2026-11-02: add by m2/dev
Dual code 5743YG7314
| URI | m2://inv/5743YG7314 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#IRNJ, Dual code (definition)
History
- 2026-11-02: add by m2/dev
Definition 57441SQQHZ
| URI | m2://inv/57441SQQHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal-gamma distribution#2K6Z, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications 574832AXWD
| URI | m2://inv/574832AXWD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cavity perturbation theory#CNQV, Applications (example)
History
- 2026-11-02: add by m2/dev
Example 5749XJ0GF3
| URI | m2://inv/5749XJ0GF3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Condorcet paradox#HIWG, Example (example)
History
- 2026-11-02: add by m2/dev
Fedor Nazarov 574EDMRBGE
| URI | m2://inv/574EDMRBGE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fedor Nazarov, Fedor Nazarov (topic). Also Wikidata Q5441115
History
- 2026-11-02: add by m2/dev
574HTTJRG9 574HTTJRG9
| URI | m2://inv/574HTTJRG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30203#C1TH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition 574MM6M6ZP
| URI | m2://inv/574MM6M6ZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite regress#L23O, Definition (definition)
History
- 2026-11-02: add by m2/dev
Igor Shafarevich 574VKKNXM1
| URI | m2://inv/574VKKNXM1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#QNMR, Igor Shafarevich (topic)
History
- 2026-11-02: add by m2/dev
574WPVXY9R 574WPVXY9R
| URI | m2://inv/574WPVXY9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/semantic-notions.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 62.7
History
- 2026-11-01: add by m2/v0.6.13
5750ZGMF4P 5750ZGMF4P
| URI | m2://inv/5750ZGMF4P |
|---|---|
| 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 2609.39517#UE1B (definition). In TWP8T68ABF/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
5752ZHQJP5 5752ZHQJP5
| URI | m2://inv/5752ZHQJP5 |
|---|---|
| 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.03814#DI7L (statement). In STPNP83RJS/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
5753JBEB7X 5753JBEB7X
| URI | m2://inv/5753JBEB7X |
|---|---|
| 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.13850#7WJ4 (statement). In KJY735KSMF/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Discrete frequency domain 5757KX6KZW
| URI | m2://inv/5757KX6KZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZSW1, Discrete frequency domain (definition)
History
- 2026-11-02: add by m2/dev
Hilbert plane 575HHKH3A4
| URI | m2://inv/575HHKH3A4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute geometry#JT0I, Hilbert plane (unknown)
History
- 2026-11-02: add by m2/dev
575VMKCEXD 575VMKCEXD
| URI | m2://inv/575VMKCEXD |
|---|---|
| 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.38548#9FK5 (statement). In Z7ZFV3HM1S/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
575WEGEF58 575WEGEF58
| URI | m2://inv/575WEGEF58 |
|---|---|
| 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 2602.03909#KEYB (statement). In WWFAVFGPQQ/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.0
575WGBW3W8 575WGBW3W8
| URI | m2://inv/575WGBW3W8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#JMBY (definition). In X9WFC1D9ZS/e1, definition 23
History
- 2026-10-27: add by m2/v0.4.2
5765K4S0KS 5765K4S0KS
| URI | m2://inv/5765K4S0KS |
|---|---|
| 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.04398#1494 (statement). In DFZWC9HY0T/e1, corollary 3.2
History
- 2026-10-29: add by m2/v0.4.12
576CFA5JFN 576CFA5JFN
| URI | m2://inv/576CFA5JFN |
|---|---|
| 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 2509.21121#FLMM (definition). In MTDABJF9AP/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
weakly connected 576FM2YJ5G
| URI | m2://inv/576FM2YJ5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#I812, weakly connected (definition)
History
- 2026-11-02: add by m2/dev
by inspection 576NX8GZM2
| URI | m2://inv/576NX8GZM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#3L7I, by inspection (definition)
History
- 2026-11-02: add by m2/dev
576TRF2N48 576TRF2N48
| URI | m2://inv/576TRF2N48 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-15 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
conchoid 576Z9YARTK
| URI | m2://inv/576Z9YARTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q543242, conchoid (unknown). Also MathWorld Conchoid
- wikipedia: Wikipedia Conchoid (mathematics), Conchoid (definition). Also Wikidata Q543242
History
- 2026-10-26: add by m2/dev
576ZE2B1DN 576ZE2B1DN
| URI | m2://inv/576ZE2B1DN |
|---|---|
| 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-33 (exercise). In E9HS8K3A52, exercise, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
Construction 5776XPAZEV
| URI | m2://inv/5776XPAZEV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Profinite integer#7RRH, Construction (definition)
History
- 2026-11-02: add by m2/dev
Hartogs--Bochner again 57771J7WFY
| URI | m2://inv/57771J7WFY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:HartogsBochnerSPCVX, Hartogs--Bochner again (exercise). In VNMV985MXX, exercise, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
Example 577A1NEEFR
| URI | m2://inv/577A1NEEFR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebra extension#DCXG, Example (example)
History
- 2026-11-02: add by m2/dev
Holomorphic invariant gauge 577JB7S7XX
| URI | m2://inv/577JB7S7XX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-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 2609.27774#H4JJ, Holomorphic invariant gauge (statement)
History
- 2026-11-01: add by m2/v0.6.15
Religious views of Omar Khayyam 577NET93SE
| URI | m2://inv/577NET93SE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omar Khayyam#JP3F, Religious views of Omar Khayyam (unknown)
History
- 2026-11-02: add by m2/dev
577PQM88WQ 577PQM88WQ
| URI | m2://inv/577PQM88WQ |
|---|---|
| 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.05299#NOAO (statement). In 68AE571S4P/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
Definition 577SVTKFNP
| URI | m2://inv/577SVTKFNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sesquilinear form#8W6Y, Definition (definition)
History
- 2026-11-02: add by m2/dev
dalton 578B3AXBF0
| URI | m2://inv/578B3AXBF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q483261, dalton (definition). Also ProofWiki Definition:Dalton_(Unit)
History
- 2026-10-26: add by m2/dev
Convex hull 578BA1GS9K
| URI | m2://inv/578BA1GS9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VACP, Convex hull (definition)
- wikipedia: Wikipedia List of combinatorial computational geometry topics#ZG1C, Convex hull (definition)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#HREL, Convex hull (definition)
History
- 2026-11-02: add by m2/dev
Geometric convergence to the Cayley retraction 578BMRZS6F
| URI | m2://inv/578BMRZS6F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21039#L4MZ, Geometric convergence to the Cayley retraction (statement)
History
- 2026-11-02: add by m2/v0.6.18
Systems theory in archaeology 578CGC4DEN
| URI | m2://inv/578CGC4DEN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#64NT, Systems theory in archaeology (unknown)
History
- 2026-11-02: add by m2/dev
Volker Halbach 578D4RQBA4
| URI | m2://inv/578D4RQBA4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volker Halbach, Volker Halbach (topic). Also Wikidata Q7940236
History
- 2026-11-02: add by m2/dev
Joanne Moldenhauer 578E4Z45PG
| URI | m2://inv/578E4Z45PG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#P5A0, Joanne Moldenhauer (topic)
History
- 2026-11-02: add by m2/dev
Cauchy–Schwarz inequality 578EBRNZB3
| URI | m2://inv/578EBRNZB3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy–Schwarz inequality#JGE1, Cauchy–Schwarz inequality (statement)
History
- 2026-11-02: add by m2/dev
578KJMFZ86 578KJMFZ86
| URI | m2://inv/578KJMFZ86 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#theorem-4 (statement). In E9HS8K3A52, theorem, section 5.4.2
History
- 2026-11-01: add by m2/v0.6.13
578KSDD2K9 578KSDD2K9
| URI | m2://inv/578KSDD2K9 |
|---|---|
| Kind | problem |
| 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.36068#I2SE (problem). In CKNAB8QY5B/e1, problem 18
History
- 2026-10-30: add by m2/v0.4.12
Posidonius 578MRJFAAC
| URI | m2://inv/578MRJFAAC |
|---|---|
| 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 Q185770, Posidonius (unknown). Also ProofWiki Mathematician:Posidonius
History
- 2026-10-26: add by m2/dev
578P5HPE75 578P5HPE75
| URI | m2://inv/578P5HPE75 |
|---|---|
| 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.09483#W84V (statement). In N1MQ8F9JN6/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Pietro Boselli 578QQMKRH3
| URI | m2://inv/578QQMKRH3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pietro Boselli, Pietro Boselli (topic). Also Wikidata Q20630602
History
- 2026-11-02: add by m2/dev
Spin Model Subfactor 578SKET4PB
| URI | m2://inv/578SKET4PB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#5IMF, Spin Model Subfactor (definition). In MRR92GQNZE/e1, definition 3.8
History
- 2026-10-30: add by m2/v0.4.12
Teaching evidence-based medicine 578TXYKRFF
| URI | m2://inv/578TXYKRFF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evidence-based medicine#WW3I, Teaching evidence-based medicine (unknown)
History
- 2026-11-02: add by m2/dev
Wonowon, British Columbia 5790FC7X7T
| URI | m2://inv/5790FC7X7T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#QEEU, Wonowon, British Columbia (unknown)
History
- 2026-11-02: add by m2/dev
One measure for all filters 5792KJDA1W
| URI | m2://inv/5792KJDA1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#65S8, One measure for all filters (statement). In JY6RYSNXMJ/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
Local desingularisation of the sine cone 579FZQBV23
| URI | m2://inv/579FZQBV23 |
|---|---|
| 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.37265#JDQC, Local desingularisation of the sine cone (statement). In BKYAWEC5XH/e1, theorem 6.7
History
- 2026-10-30: add by m2/v0.4.12
Properties 579NFASNA4
| URI | m2://inv/579NFASNA4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Z-transform#Y3LC, Properties (statement)
History
- 2026-11-02: add by m2/dev
fixed points 579V41N7EB
| URI | m2://inv/579V41N7EB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Dynamics > General theory > fixed points, fixed points (unknown). Also Mathlib Function.fixedPoints
History
- 2026-10-26: add by m2/dev
hitting time 57A7Y20C7V
| URI | m2://inv/57A7Y20C7V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Stochastic Processes > hitting time, hitting time (unknown). Also Mathlib MeasureTheory.hittingBtwn
History
- 2026-10-26: add by m2/dev
Paul Koebe 57AC1BPPY2
| URI | m2://inv/57AC1BPPY2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Koebe, Paul Koebe (topic). Also Wikidata Q72117
History
- 2026-11-02: add by m2/dev
Examples 57ADA0DVRM
| URI | m2://inv/57ADA0DVRM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delzant's theorem#3AKJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Success exponent for ordinary Gaussian draws 57AJFZN2AB
| URI | m2://inv/57AJFZN2AB |
|---|---|
| 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.30808#LSW2, Success exponent for ordinary Gaussian draws (statement). In 4JCFPV48VG/e1, theorem 4.5
History
- 2026-10-31: add by m2/v0.5.6
57ASGX4ZW4 57ASGX4ZW4
| URI | m2://inv/57ASGX4ZW4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.22514#GQ78 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Simple examples 57AV12G6KE
| URI | m2://inv/57AV12G6KE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FKG inequality#AIGI, Simple examples (example)
History
- 2026-11-02: add by m2/dev
Coordinate frame 57AX71DVD0
| URI | m2://inv/57AX71DVD0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basis (linear algebra)#DU4J, Coordinate frame (unknown)
History
- 2026-11-02: add by m2/dev
Józef Maria Bocheński 57AYC4AXBT
| URI | m2://inv/57AYC4AXBT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#FFNI, Józef Maria Bocheński (topic)
History
- 2026-11-02: add by m2/dev
57B1K90VEH 57B1K90VEH
| URI | m2://inv/57B1K90VEH |
|---|---|
| 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 2608.24424#OC6P (statement). In RQHGZ4AA5T/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.6
Nearest-neighbor interpolation 57B9NHYRPJ
| URI | m2://inv/57B9NHYRPJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#51HA, Nearest-neighbor interpolation (unknown)
History
- 2026-11-02: add by m2/dev
57BB6P9SY4 57BB6P9SY4
| URI | m2://inv/57BB6P9SY4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06909#IZOM (statement). In F1EF8XE30A/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
torque 57BE5XX74T
| URI | m2://inv/57BE5XX74T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q48103, torque (definition). Also ProofWiki Definition:Torque
- wikipedia: Wikipedia Torque, Torque (definition). Also Wikidata Q48103
History
- 2026-10-26: add by m2/dev
YoungJu Choie 57BGBQY58A
| URI | m2://inv/57BGBQY58A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia YoungJu Choie, YoungJu Choie (topic). Also Wikidata Q19519312
History
- 2026-11-02: add by m2/dev
Impossible event 57BKRNJJFB
| URI | m2://inv/57BKRNJJFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#VUOO, Impossible event (definition)
History
- 2026-11-02: add by m2/dev
Properties 57BP10YVJ4
| URI | m2://inv/57BP10YVJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Killing spinor#2SY7, Properties (statement)
History
- 2026-11-02: add by m2/dev
Hasse–Schmidt derivation 57BVX7YCN8
| URI | m2://inv/57BVX7YCN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hasse–Schmidt derivation, Hasse–Schmidt derivation (definition). Also Wikidata Q65042670
History
- 2026-11-02: add by m2/dev
Herschel enneahedron 57BXTX3TSQ
| URI | m2://inv/57BXTX3TSQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herschel graph#88TX, Herschel enneahedron (unknown)
History
- 2026-11-02: add by m2/dev
57CE35CMZK 57CE35CMZK
| URI | m2://inv/57CE35CMZK |
|---|---|
| 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 2610.13908#5NWB (statement). In 9C684206F0/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
57CEFHADPC 57CEFHADPC
| URI | m2://inv/57CEFHADPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12014#4BXM (statement). In DR7BK4CQ0V/e1, corollary 4.7
History
- 2026-10-28: add by m2/v0.4.3
Godfried Toussaint 57CGSPGMBK
| URI | m2://inv/57CGSPGMBK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8RRN, Godfried Toussaint (unknown)
History
- 2026-11-02: add by m2/dev
57CKTV5HC1 57CKTV5HC1
| URI | m2://inv/57CKTV5HC1 |
|---|---|
| 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.28540#G8EE (statement)
History
- 2026-11-01: add by m2/v0.6.15
57CRAM1259 57CRAM1259
| URI | m2://inv/57CRAM1259 |
|---|---|
| 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.27393#WTXJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Benjamini-Hochberg false positive rate correction test 57CS66NGSY
| URI | m2://inv/57CS66NGSY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia False discovery rate#5NE0, Benjamini-Hochberg false positive rate correction test (unknown)
History
- 2026-11-02: add by m2/dev
First-order resolution 57CYZ8C3FS
| URI | m2://inv/57CYZ8C3FS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#4XJU, First-order resolution (definition)
History
- 2026-11-02: add by m2/dev
57CZ6J845W 57CZ6J845W
| URI | m2://inv/57CZ6J845W |
|---|---|
| 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 2110.06338#029M (statement). In W1VVK7WDPK/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.4.0
57CZCGNP71 57CZCGNP71
| URI | m2://inv/57CZCGNP71 |
|---|---|
| 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.38014#OPF1 (statement). In F3X5W4E0AJ/e1, theorem 5.2
History
- 2026-10-30: add by m2/v0.4.12
Examples 57D0J9G2BE
| URI | m2://inv/57D0J9G2BE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixture distribution#DXJ3, Examples (example)
History
- 2026-11-02: add by m2/dev
57DKP88GRW 57DKP88GRW
| URI | m2://inv/57DKP88GRW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#63EM (statement). In 47WN78VDDF/e1, theorem 3.4
History
- 2026-10-30: add by m2/v0.4.12
Applications 57DMG9TYG3
| URI | m2://inv/57DMG9TYG3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commognition#BFYX, Applications (example)
History
- 2026-11-02: add by m2/dev
Characterizations 57DV6DTPCY
| URI | m2://inv/57DV6DTPCY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bicentric quadrilateral#TOSU, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Total variation distance 57DZM4KG1G
| URI | m2://inv/57DZM4KG1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#6A4C, Total variation distance (definition)
History
- 2026-11-02: add by m2/dev
refutation 57EB8FPABW
| URI | m2://inv/57EB8FPABW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#D7X5, refutation (definition)
History
- 2026-11-02: add by m2/dev
57ECD4QXHT 57ECD4QXHT
| URI | m2://inv/57ECD4QXHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 0902.4479#0J01 (statement). In Q6HKX2FCFG/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Definition 57ENCZHF85
| URI | m2://inv/57ENCZHF85 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superadditive set function#E2BH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Karl Christian von Langsdorf 57EX6TCSGY
| URI | m2://inv/57EX6TCSGY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#5QUZ, Karl Christian von Langsdorf (topic)
History
- 2026-11-02: add by m2/dev
Level set method 57EZJFZTAK
| URI | m2://inv/57EZJFZTAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#RCPB, Level set method (definition)
History
- 2026-11-02: add by m2/dev
Alternative definition 57F2EGBJ2Q
| URI | m2://inv/57F2EGBJ2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cotangent space#E8N4, Alternative definition (definition)
History
- 2026-11-02: add by m2/dev
Properties 57F5ACEARN
| URI | m2://inv/57F5ACEARN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lanczos resampling#AUW5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Padovan polynomials 57FCGMA25G
| URI | m2://inv/57FCGMA25G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Padovan polynomials, Padovan polynomials (definition). Also Wikidata Q7123899
History
- 2026-11-02: add by m2/dev
A060294 57FDZPZZN6
| URI | m2://inv/57FDZPZZN6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pi#T61Q, A060294 (unknown)
History
- 2026-11-02: add by m2/dev
convective operator 57FF3TT4FB
| URI | m2://inv/57FF3TT4FB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4230387, convective operator (unknown). Also MathWorld ConvectiveOperator
History
- 2026-10-26: add by m2/dev
Parameter bounds 57FGTXGFPJ
| URI | m2://inv/57FGTXGFPJ |
|---|---|
| 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.13365#AQWL, Parameter bounds (statement). In YMBTSX10FF/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Timeline of cryptography 57FVW3MDH1
| URI | m2://inv/57FVW3MDH1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Timeline of cryptography, Timeline of cryptography (topic). Also Wikidata Q3137197
History
- 2026-11-02: add by m2/dev
Statistical assembly 57G4HFGAHA
| URI | m2://inv/57G4HFGAHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical assembly, Statistical assembly (definition). Also Wikidata Q7604381
History
- 2026-11-02: add by m2/dev
Application: the Hahn–Banach theorem 57GA6Z4S4G
| URI | m2://inv/57GA6Z4S4G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tychonoff's theorem#56LF, Application: the Hahn–Banach theorem (statement)
History
- 2026-11-02: add by m2/dev
List of formulas 57GKAR3XCM
| URI | m2://inv/57GKAR3XCM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Area#PZ54, List of formulas (statement)
History
- 2026-11-02: add by m2/dev
One-sided location-aware contraction 57GM1VB0VG
| URI | m2://inv/57GM1VB0VG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.00501#QIYR, One-sided location-aware contraction (statement). In FTPW1SZ8D3/e1, lemma B.6
History
- 2026-10-30: add by m2/v0.4.12
57GMCTWTZP 57GMCTWTZP
| URI | m2://inv/57GMCTWTZP |
|---|---|
| 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.12846#13FW (statement). In GG9P59PJS2/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
57GPQHDGEJ 57GPQHDGEJ
| URI | m2://inv/57GPQHDGEJ |
|---|---|
| Kind | problem |
| 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 2605.24355#J5Y4 (problem). In VV3AJMWWCR/e1, problem 3
History
- 2026-10-27: add by m2/v0.3.6
57GVF3JKMH 57GVF3JKMH
| URI | m2://inv/57GVF3JKMH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.22514#0LQB (statement)
History
- 2026-11-02: add by m2/v0.6.17
number of combinations with repetition 57GXCT50ES
| URI | m2://inv/57GXCT50ES |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109490960, number of combinations with repetition (unknown). Also MathWorld Multichoose
History
- 2026-10-26: add by m2/dev
Mauro Picone 57GXE5RE81
| URI | m2://inv/57GXE5RE81 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mauro Picone, Mauro Picone (topic). Also Wikidata Q1862580
History
- 2026-11-02: add by m2/dev
57H0Z93C3C 57H0Z93C3C
| URI | m2://inv/57H0Z93C3C |
|---|---|
| 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 1006.3331#1FMU (statement). In AY6WYB9RR3/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.3.5
Transcritical bifurcation 57H1DC25ZX
| URI | m2://inv/57H1DC25ZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transcritical bifurcation, Transcritical bifurcation (definition). Also Wikidata Q1502581
History
- 2026-11-02: add by m2/dev
Geometry of Gabor frames 57H2MB791X
| URI | m2://inv/57H2MB791X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1204.5958#D7XJ, Geometry of Gabor frames (statement). In XYCBKM4WKY/e1, theorem 53
History
- 2026-10-27: add by m2/v0.3.5
Waveguide mode 57HB4Z7R2G
| URI | m2://inv/57HB4Z7R2G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transverse mode#BYUZ, Waveguide mode (unknown)
History
- 2026-11-02: add by m2/dev
cubic 57HCVJ58VE
| URI | m2://inv/57HCVJ58VE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#TT2Z, cubic (definition)
History
- 2026-11-02: add by m2/dev
symmetric function 57HGQ38AAW
| URI | m2://inv/57HGQ38AAW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q981351, symmetric function (unknown). Also EoM Symmetric_function, MathWorld SymmetricFunction, nLab symmetric function
- wikipedia: Wikipedia Symmetric function, Symmetric function (definition). Also Wikidata Q981351
History
- 2026-10-26: add by m2/dev
57HXPXPS8F 57HXPXPS8F
| URI | m2://inv/57HXPXPS8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#UHW3 (statement). In 9ZSNSJRJ5N/e1, proposition 7
History
- 2026-10-27: add by m2/v0.4.2
Example 57J5WD31ZS
| URI | m2://inv/57J5WD31ZS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Responsive set extension#H0TH, Example (example)
History
- 2026-11-02: add by m2/dev
category of representations 57JDDC8VSS
| URI | m2://inv/57JDDC8VSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#ZA0A, category of representations (definition)
History
- 2026-11-02: add by m2/dev
Pierre Alphonse Laurent 57JDN8C5M4
| URI | m2://inv/57JDN8C5M4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#YX8S, Pierre Alphonse Laurent (unknown)
History
- 2026-11-02: add by m2/dev
57JFSMM712 57JFSMM712
| URI | m2://inv/57JFSMM712 |
|---|---|
| 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.23873#AAIL (statement)
History
- 2026-11-02: add by m2/v0.6.17
The lag-one cubic 57JGAGCWPN
| URI | m2://inv/57JGAGCWPN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#IKHY, The lag-one cubic (statement). In 65TJENWK7X/e1, lemma 67
History
- 2026-10-29: add by m2/v0.4.10
57JHQXQ2GV 57JHQXQ2GV
| URI | m2://inv/57JHQXQ2GV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#39T6 (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
decic 57JSK8B143
| URI | m2://inv/57JSK8B143 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#OR65, decic (definition)
- wikipedia: Wikipedia Glossary of invariant theory#AS2W, decic (definition)
History
- 2026-11-02: add by m2/dev
Formula 57JXJYZ4SM
| URI | m2://inv/57JXJYZ4SM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Machin#HOTQ, Formula (statement)
History
- 2026-11-02: add by m2/dev
57JYGJ7V64 57JYGJ7V64
| URI | m2://inv/57JYGJ7V64 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-2-3-prod-quot.xml#example-2 (example). In 907G4C4EJ1, example, section 2.3.2
History
- 2026-11-01: add by m2/v0.6.13
Congruent isoscelizers point 57KFEPVZDQ
| URI | m2://inv/57KFEPVZDQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#EYUI, Congruent isoscelizers point (definition)
History
- 2026-11-02: add by m2/dev
57KHKTZ8XM 57KHKTZ8XM
| URI | m2://inv/57KHKTZ8XM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#prop-9 (statement). In E59CDZA4DP, prop, section 4.4.2
History
- 2026-11-01: add by m2/v0.6.13
Jakow Trachtenberg 57KWE02YGD
| URI | m2://inv/57KWE02YGD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#V3OA, Jakow Trachtenberg (topic)
History
- 2026-11-02: add by m2/dev
Tai-Ping Liu 57M5QCG6F1
| URI | m2://inv/57M5QCG6F1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Taiwanese mathematicians#RXK1, Tai-Ping Liu (unknown)
History
- 2026-11-02: add by m2/dev
57M8E5PCKX 57M8E5PCKX
| URI | m2://inv/57M8E5PCKX |
|---|---|
| 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.27168#EA1F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Eilenberg–MacLane spaces 57M9QW6R62
| URI | m2://inv/57M9QW6R62 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#QIL9, Eilenberg–MacLane spaces (definition)
History
- 2026-11-02: add by m2/dev
Seven Springs, Florida 57MJ85FBKF
| URI | m2://inv/57MJ85FBKF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#TKKW, Seven Springs, Florida (unknown)
History
- 2026-11-02: add by m2/dev
Stream cipher 57MKG04DNJ
| URI | m2://inv/57MKG04DNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of random number generators#QT11, Stream cipher (definition)
History
- 2026-11-02: add by m2/dev
57MP2XTCBR 57MP2XTCBR
| URI | m2://inv/57MP2XTCBR |
|---|---|
| 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.11199#KX1B (statement). In RQ51P6W9C0/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.3
categorical logic 57MW1Z6PK0
| URI | m2://inv/57MW1Z6PK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#Z9C7, categorical logic (definition)
History
- 2026-11-02: add by m2/dev
57MZE7FS0D 57MZE7FS0D
| URI | m2://inv/57MZE7FS0D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#UJV9 (statement). In CY1FE8W1ZW/e1, lemma 0.173
History
- 2026-10-27: add by m2/v0.3.5
Examples 57N2BP7ZTM
| URI | m2://inv/57N2BP7ZTM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Motivic zeta function#7RDJ, Examples (example)
History
- 2026-11-02: add by m2/dev
57NA56S2HJ 57NA56S2HJ
| URI | m2://inv/57NA56S2HJ |
|---|---|
| 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#RCMX (statement). In V6EPE8XHAD/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.10
triality 57NFT28FNM
| URI | m2://inv/57NFT28FNM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17104294, triality (unknown). Also nLab triality
- wikipedia: Wikipedia Triality, Triality (definition). Also Wikidata Q17104294
History
- 2026-10-26: add by m2/dev
Polynomial radial vector fields 57NQM41A68
| URI | m2://inv/57NQM41A68 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-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.15887#H4LP, Polynomial radial vector fields (example). In 87QYNZZ67Z/e1, example 7.2
History
- 2026-10-28: add by m2/v0.4.2
57NSVZY5CV 57NSVZY5CV
| URI | m2://inv/57NSVZY5CV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-29 (proof). In N54F33XE07, proof, section B.4
History
- 2026-11-01: add by m2/v0.6.13
Ergodicity 57NTPD6PXK
| URI | m2://inv/57NTPD6PXK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QG7M, Ergodicity (definition)
History
- 2026-11-02: add by m2/dev
Walk and pulled-back key 57NYWDBXYG
| URI | m2://inv/57NYWDBXYG |
|---|---|
| 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.38668#2N75, Walk and pulled-back key (definition). In VB1EZ9K6YW/e1, definition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Kleene–Brouwer ordering 57P1Y1YPM7
| URI | m2://inv/57P1Y1YPM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#MJPT, Kleene–Brouwer ordering (definition)
History
- 2026-11-02: add by m2/dev
57P5Z19JNE 57P5Z19JNE
| URI | m2://inv/57P5Z19JNE |
|---|---|
| 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.04466#H6PB (statement). In EHW82CK883/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
change of coordinates 57PAEKRJ8P
| URI | m2://inv/57PAEKRJ8P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Bilinear forms > change of coordinates, change of coordinates (unknown). Also Mathlib LinearMap.BilinForm.toMatrix_comp
History
- 2026-10-26: add by m2/dev
Masato Wakayama 57PJKK6CF0
| URI | m2://inv/57PJKK6CF0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Masato Wakayama, Masato Wakayama (topic). Also Wikidata Q28690993
History
- 2026-11-02: add by m2/dev
Bergman metric 57PMGTDVRD
| URI | m2://inv/57PMGTDVRD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bergman metric, Bergman metric (definition). Also Wikidata Q4891698
History
- 2026-11-02: add by m2/dev
Quantum capacity 57PPXDSWES
| URI | m2://inv/57PPXDSWES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum capacity, Quantum capacity (definition). Also Wikidata Q7269015
History
- 2026-11-02: add by m2/dev
Generalizations 57PQPJMDHK
| URI | m2://inv/57PQPJMDHK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epstein profile#N4UU, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
57PTHRAPRJ 57PTHRAPRJ
| URI | m2://inv/57PTHRAPRJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-conc.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
Statement of the theorem 57PVZ5VWN5
| URI | m2://inv/57PVZ5VWN5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planar separator theorem#R90A, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
57PXQ88BR2 57PXQ88BR2
| URI | m2://inv/57PXQ88BR2 |
|---|---|
| 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.21528#JFPJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Michael Ovitz 57Q4C30S8R
| URI | m2://inv/57Q4C30S8R |
|---|---|
| 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#4NFP, Michael Ovitz (unknown)
History
- 2026-11-02: add by m2/dev
The Lie product formula 57Q5WMNEFQ
| URI | m2://inv/57Q5WMNEFQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix exponential#V9Y1, The Lie product formula (statement)
History
- 2026-11-02: add by m2/dev
The central symbol 57Q9WVE6G0
| URI | m2://inv/57Q9WVE6G0 |
|---|---|
| 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.00490#WOD6, The central symbol (statement). In PZJDV6SJ9E/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
57QK0WAAZM 57QK0WAAZM
| URI | m2://inv/57QK0WAAZM |
|---|---|
| Kind | definition |
| 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.30675#I5YB (definition). In RQ0K0A6PQA/e1, definition
History
- 2026-10-31: add by m2/v0.5.6
57QN64MAZ9 57QN64MAZ9
| URI | m2://inv/57QN64MAZ9 |
|---|---|
| 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.03255#7O8W (statement). In DCC0Y18670/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
Synthesized Teaching Dimension 57QNTWYY8F
| URI | m2://inv/57QNTWYY8F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27241#77J0, Synthesized Teaching Dimension (definition)
History
- 2026-11-01: add by m2/v0.6.15
57QQPKR781 57QQPKR781
| URI | m2://inv/57QQPKR781 |
|---|---|
| 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.28597#8OVA (statement)
History
- 2026-11-01: add by m2/v0.6.15
57QVXCTX8W 57QVXCTX8W
| URI | m2://inv/57QVXCTX8W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#7G5B (statement)
History
- 2026-11-01: add by m2/v0.6.15
57QXJQJFCV 57QXJQJFCV
| URI | m2://inv/57QXJQJFCV |
|---|---|
| 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.24463#RCAP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Francesco Brioschi 57R0WGJA14
| URI | m2://inv/57R0WGJA14 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francesco Brioschi, Francesco Brioschi (topic). Also Wikidata Q737414
History
- 2026-11-02: add by m2/dev
Simple example 57R9HDA156
| URI | m2://inv/57R9HDA156 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohen's kappa#E8O4, Simple example (example)
History
- 2026-11-02: add by m2/dev
57RAS8RS0F 57RAS8RS0F
| URI | m2://inv/57RAS8RS0F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2012.11507#IS8L (statement). In DZA5P853H9/e1, corollary 8
History
- 2026-10-27: add by m2/v0.3.5
Extension problem 57RMVTWBZP
| URI | m2://inv/57RMVTWBZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#KA8C, Extension problem (definition)
History
- 2026-11-02: add by m2/dev
57S4XHFA3Y 57S4XHFA3Y
| URI | m2://inv/57S4XHFA3Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35600#NWOI (statement). In ET8GYMMDQM/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
trilinear coordinates 57S6QMPR9W
| URI | m2://inv/57S6QMPR9W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1888119, trilinear coordinates (unknown). Also MathWorld TrilinearCoordinates
- wikipedia: Wikipedia Trilinear coordinates, Trilinear coordinates (definition). Also Wikidata Q1888119
History
- 2026-10-26: add by m2/dev
Coloured Petri net 57SD2BQ8XE
| URI | m2://inv/57SD2BQ8XE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coloured Petri net, Coloured Petri net (definition). Also Wikidata Q5149232
History
- 2026-11-02: add by m2/dev
Claude Chabauty 57SDBFBJ7M
| URI | m2://inv/57SDBFBJ7M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claude Chabauty, Claude Chabauty (topic). Also Wikidata Q1096561
History
- 2026-11-02: add by m2/dev
anharmonic ratio 57SFBFK8T4
| URI | m2://inv/57SFBFK8T4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#A9YN, anharmonic ratio (definition)
History
- 2026-11-02: add by m2/dev
Kingman's formula 57SGSR0X12
| URI | m2://inv/57SGSR0X12 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kingman's formula, Kingman's formula (statement). Also Wikidata Q6412804
History
- 2026-11-02: add by m2/dev
57SJFME199 57SJFME199
| URI | m2://inv/57SJFME199 |
|---|---|
| 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.40282#KXKG (statement). In P86RWY99S2/e1, lemma 2.1.4
History
- 2026-10-30: add by m2/v0.4.12
57SN8K2YBC 57SN8K2YBC
| URI | m2://inv/57SN8K2YBC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#XGEA (statement). In VN084GGZGK/e1, theorem 5.27
History
- 2026-10-28: add by m2/v0.4.3
Backwards stability 57SNV24PCR
| URI | m2://inv/57SNV24PCR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical stability#XRGC, Backwards stability (unknown)
History
- 2026-11-02: add by m2/dev
Potential recursion 57SWQ1FQD1
| URI | m2://inv/57SWQ1FQD1 |
|---|---|
| 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.39837#WLNN, Potential recursion (statement). In MDQXTBEK0F/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Josiah Willard Gibbs 57T4BRJ3E4
| URI | m2://inv/57T4BRJ3E4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Josiah Willard Gibbs, Josiah Willard Gibbs (topic). Also Wikidata Q153243
History
- 2026-11-02: add by m2/dev
Caird, James 57T8GVQTBQ
| URI | m2://inv/57T8GVQTBQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#N26B, Caird, James (unknown)
History
- 2026-11-02: add by m2/dev
57TA17KNN0 57TA17KNN0
| URI | m2://inv/57TA17KNN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#J2VG (statement). In HX63A1PH1W/e1, lemma 3.39
History
- 2026-10-28: add by m2/v0.4.3
57TCW7KQTV 57TCW7KQTV
| URI | m2://inv/57TCW7KQTV |
|---|---|
| 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 2610.09171#GO6L (statement). In 5ZPSZFE08Q/e1, theorem 7.1
History
- 2026-10-29: add by m2/v0.4.10
57TKMCC0YX 57TKMCC0YX
| URI | m2://inv/57TKMCC0YX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#prob:endomorphism_eventual_lemma (exercise). In RZP28ERRZV, sproblem, section 62.11
History
- 2026-11-01: add by m2/v0.6.13
Brauer–Suzuki theorem 57TR41ZCFG
| URI | m2://inv/57TR41ZCFG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TS3Z, Brauer–Suzuki theorem (statement)
History
- 2026-11-02: add by m2/dev
57TRK914SS 57TRK914SS
| URI | m2://inv/57TRK914SS |
|---|---|
| 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.13884#FL5A (statement). In N2NQ3QJYTW/e1, corollary 6.1
History
- 2026-10-28: add by m2/v0.4.2
57TTHYR84Y 57TTHYR84Y
| URI | m2://inv/57TTHYR84Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#E7L3 (statement). In VN084GGZGK/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.3
57TX651VXM 57TX651VXM
| URI | m2://inv/57TX651VXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/iso.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 72.5
History
- 2026-11-01: add by m2/v0.6.13
Rebecca Nugent 57V0R9KB8W
| URI | m2://inv/57V0R9KB8W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#DP8Q, Rebecca Nugent (unknown)
History
- 2026-11-02: add by m2/dev
57V2R80A2F 57V2R80A2F
| URI | m2://inv/57V2R80A2F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05142#VU89 (statement). In 8A0HVCGRR8/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
57V7RZBT0H 57V7RZBT0H
| URI | m2://inv/57V7RZBT0H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#LA52 (statement). In 9H45HQE7AZ/e1, proposition 3.44
History
- 2026-10-27: add by m2/v0.3.5
Iterated forcing 57VCCQ84K2
| URI | m2://inv/57VCCQ84K2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterated forcing, Iterated forcing (definition). Also Wikidata Q18352463
History
- 2026-11-02: add by m2/dev
Interactive data visualization 57VMFPMFS5
| URI | m2://inv/57VMFPMFS5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data and information visualization#LTU9, Interactive data visualization (unknown)
History
- 2026-11-02: add by m2/dev
Null preimages 57VQHJBY5E
| URI | m2://inv/57VQHJBY5E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19953#EYQG, Null preimages (statement). In CHPJWBREES/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
The divisibility lemma 57VYD7R9PJ
| URI | m2://inv/57VYD7R9PJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2607.25960#GXBX, The divisibility lemma (statement). In 13GSWBXPCM/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
lead-208 57VZBVEDAB
| URI | m2://inv/57VZBVEDAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16670466, lead-208 (definition). Also ProofWiki Definition:Lead_(Chemical_Element)/208
History
- 2026-10-26: add by m2/dev
57W5XGEV71 57W5XGEV71
| URI | m2://inv/57W5XGEV71 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2610.01498#FLNG (statement). In 75GDSC8460/e1, lemma 4.10
History
- 2026-10-29: add by m2/v0.4.12
Examples 57W9CRWZKY
| URI | m2://inv/57W9CRWZKY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group stack#NBXU, Examples (example)
History
- 2026-11-02: add by m2/dev
57WD75G4N6 57WD75G4N6
| URI | m2://inv/57WD75G4N6 |
|---|---|
| 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.12565#CU3K (statement). In 9RYQ164FWA/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
Rectified 5-cubes 57WEXAH15N
| URI | m2://inv/57WEXAH15N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 5-cubes, Rectified 5-cubes (definition). Also Wikidata Q7303155
History
- 2026-11-02: add by m2/dev
Complex projection and geometric estimates 57WMDGT1G1
| URI | m2://inv/57WMDGT1G1 |
|---|---|
| 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.05498#ZIN2, Complex projection and geometric estimates (statement). In TJT32RQ9GC/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.10
prime 57WS2D3Y24
| URI | m2://inv/57WS2D3Y24 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#45O7, prime (definition)
History
- 2026-11-02: add by m2/dev
Annalisa Buffa 57WSFEG67W
| URI | m2://inv/57WSFEG67W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annalisa Buffa, Annalisa Buffa (topic). Also Wikidata Q22691484
History
- 2026-11-02: add by m2/dev
curly bracket 57WT339VBG
| URI | m2://inv/57WT339VBG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12052378, curly bracket (unknown). Also MathWorld Brace, ProofWiki Symbols:Brackets/Braces
History
- 2026-10-26: add by m2/dev
Weierstrass's elliptic function 57WTZ9EQW8
| URI | m2://inv/57WTZ9EQW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of periodic functions#CGEQ, Weierstrass's elliptic function (definition)
History
- 2026-11-02: add by m2/dev
Tongue map 57X1Z40WYQ
| URI | m2://inv/57X1Z40WYQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#IAY8, Tongue map (unknown)
History
- 2026-11-02: add by m2/dev
57XNNPWTVM 57XNNPWTVM
| URI | m2://inv/57XNNPWTVM |
|---|---|
| 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.26386#TPWT (statement)
History
- 2026-11-01: add by m2/v0.6.15
linkage 57XQ13JYXT
| URI | m2://inv/57XQ13JYXT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1153014, linkage (unknown). Also MathWorld Linkage
History
- 2026-10-26: add by m2/dev
Consistency for $p_0$-rough paths 57XZ2H5M4T
| URI | m2://inv/57XZ2H5M4T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.05457#VWNE, Consistency for $p_0$-rough paths (statement). In SV36P5P5Z3/e1, corollary 4.6
History
- 2026-10-29: add by m2/v0.4.10
Algorithms 57Y3FDSBSK
| URI | m2://inv/57Y3FDSBSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chromatic polynomial#F2A1, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
57Y4MFTER2 57Y4MFTER2
| URI | m2://inv/57Y4MFTER2 |
|---|---|
| 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 2303.14022#PQZW (statement). In NSYR6W27FP/e1, lemma 6.11
History
- 2026-10-27: add by m2/v0.3.5
Illicit major 57Y4NDVTH2
| URI | m2://inv/57Y4NDVTH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#YBQV, Illicit major (definition)
History
- 2026-11-02: add by m2/dev
57Y7A050WM 57Y7A050WM
| URI | m2://inv/57Y7A050WM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15593#DIC0 (statement). In PREJREM4BB/e1, theorem 3.7
History
- 2026-10-28: add by m2/v0.4.2
solenoidal vector field 57YAC40TGH
| URI | m2://inv/57YAC40TGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1265039, solenoidal vector field (unknown). Also MathWorld SolenoidalField
- wikipedia: Wikipedia Solenoidal vector field, Solenoidal vector field (definition). Also Wikidata Q1265039
History
- 2026-10-26: add by m2/dev
Braid group 57YDMMZZRS
| URI | m2://inv/57YDMMZZRS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#J10Q, Braid group (definition)
History
- 2026-11-02: add by m2/dev
57YNNVJ1XP 57YNNVJ1XP
| URI | m2://inv/57YNNVJ1XP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21768#V4KV (statement). In VD53W58DS1/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.4.2
57YQMZPP72 57YQMZPP72
| URI | m2://inv/57YQMZPP72 |
|---|---|
| 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.36088#2Q5B (statement). In QJD3MZMJHW/e1, theorem 5.3
History
- 2026-10-30: add by m2/v0.4.12
57YS7M4KRB 57YS7M4KRB
| URI | m2://inv/57YS7M4KRB |
|---|---|
| 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 2610.18544#30WA (statement). In HT5MC1SPD9/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Shortest seek first 57YY1QWZCB
| URI | m2://inv/57YY1QWZCB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#F9CV, Shortest seek first (unknown)
History
- 2026-11-02: add by m2/dev
57YY6T41SJ 57YY6T41SJ
| URI | m2://inv/57YY6T41SJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 26-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.13532#WUNI (definition). In 9B0X8YPF3P/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
Point-set triangulation 57Z1G5ACSP
| URI | m2://inv/57Z1G5ACSP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point-set triangulation, Point-set triangulation (definition). Also Wikidata Q17078161
History
- 2026-11-02: add by m2/dev
57Z1Z0AX9D 57Z1Z0AX9D
| URI | m2://inv/57Z1Z0AX9D |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anyon#2TFV (problem)
History
- 2026-11-02: add by m2/dev
compatibility with a relation 57Z2XCVQW0
| URI | m2://inv/57Z2XCVQW0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#P75K, compatibility with a relation (definition). In GW23NX78SB/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.2
List of anonymous P2P networks and clients 57Z4A31N7G
| URI | m2://inv/57Z4A31N7G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anonymous P2P#398L, List of anonymous P2P networks and clients (unknown)
History
- 2026-11-02: add by m2/dev
57Z4VG80Q6 57Z4VG80Q6
| URI | m2://inv/57Z4VG80Q6 |
|---|---|
| Kind | problem |
| 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.20702#FW8N (problem)
History
- 2026-11-02: add by m2/v0.6.18
Method of moments (statistics) 57Z4YX18DE
| URI | m2://inv/57Z4YX18DE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#80OF, Method of moments (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Law enforcement in British Columbia, 2005 57Z6PGCPV8
| URI | m2://inv/57Z6PGCPV8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law enforcement in British Columbia, 2005, Law enforcement in British Columbia, 2005 (statement). Also Wikidata Q6503212
History
- 2026-11-02: add by m2/dev
Immanuel Bonfils 57ZETFRR2H
| URI | m2://inv/57ZETFRR2H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#DSX8, Immanuel Bonfils (unknown)
History
- 2026-11-02: add by m2/dev
Igor Shafarevich 57ZFRF23FW
| URI | m2://inv/57ZFRF23FW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#BFLH, Igor Shafarevich (topic)
History
- 2026-11-02: add by m2/dev
Example 57ZH4CPFZG
| URI | m2://inv/57ZH4CPFZG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smn theorem#XABT, Example (example)
History
- 2026-11-02: add by m2/dev
dual 57ZKDJ7NZF
| URI | m2://inv/57ZKDJ7NZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#95VA, dual (definition)
History
- 2026-11-02: add by m2/dev
57ZMXDKVVV 57ZMXDKVVV
| URI | m2://inv/57ZMXDKVVV |
|---|---|
| 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 2108.09548#A5AZ (definition). In 6D6C14KFGJ/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.0
57ZQASQYGY 57ZQASQYGY
| URI | m2://inv/57ZQASQYGY |
|---|---|
| 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#RN32 (statement). In E7W2HDNEKJ/e1, theorem 8.9
History
- 2026-10-30: add by m2/v0.4.12
Formal definition 57ZQEW0PBN
| URI | m2://inv/57ZQEW0PBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extensive-form game#QOI2, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
57ZTEHXPEW 57ZTEHXPEW
| URI | m2://inv/57ZTEHXPEW |
|---|---|
| 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 2608.24424#V45T (statement). In RQHGZ4AA5T/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.3.6