Inventory rows FT
The cards of the rows of the inventory whose ids start with FT. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
$\sigma$-algebra FT00Q1888G
| URI | m2://inv/FT00Q1888G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/E.1/sigma-algebra, $\sigma$-algebra (concept). In VNMV985MXX, index, section E.1
History
- 2026-11-01: add by m2/v0.6.13
FT0GQASKZT FT0GQASKZT
| URI | m2://inv/FT0GQASKZT |
|---|---|
| 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 2609.20531#WNCC (statement)
History
- 2026-11-02: add by m2/v0.6.18
FT0KNFVF0N FT0KNFVF0N
| URI | m2://inv/FT0KNFVF0N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06645#UXO2 (statement). In 79H1DEK4M9/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Gottfried Leibniz FT12WVYXXV
| URI | m2://inv/FT12WVYXXV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#6N1Y, Gottfried Leibniz (topic)
History
- 2026-11-02: add by m2/dev
FT17MEGT53 FT17MEGT53
| URI | m2://inv/FT17MEGT53 |
|---|---|
| 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.28075#5VLO (problem)
History
- 2026-11-01: add by m2/v0.6.15
Chih-Ling Tsai FT19HHRBYG
| URI | m2://inv/FT19HHRBYG |
|---|---|
| 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#5OTE, Chih-Ling Tsai (unknown)
History
- 2026-11-02: add by m2/dev
Stanislav Vydra FT19VYVCG4
| URI | m2://inv/FT19VYVCG4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanislav Vydra, Stanislav Vydra (topic). Also Wikidata Q2331154
History
- 2026-11-02: add by m2/dev
FT1C58ADEB FT1C58ADEB
| URI | m2://inv/FT1C58ADEB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#AOEW (statement). In V42PPD7SWH/e1, lemma 7.7
History
- 2026-10-31: add by m2/v0.5.6
Hahn–Banach dominated extension theorem FT1D0D008W
| URI | m2://inv/FT1D0D008W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear form#ZINI, Hahn–Banach dominated extension theorem (statement)
History
- 2026-11-02: add by m2/dev
Correlation does not imply causation FT1K5DVZXB
| URI | m2://inv/FT1K5DVZXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#P4RE, Correlation does not imply causation (definition)
History
- 2026-11-02: add by m2/dev
intensional logic FT1VQE23DD
| URI | m2://inv/FT1VQE23DD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#Y9DI, intensional logic (definition)
History
- 2026-11-02: add by m2/dev
FT210VG4E7 FT210VG4E7
| URI | m2://inv/FT210VG4E7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21274#T8K6 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Irvin Cohen FT2F051H4N
| URI | m2://inv/FT2F051H4N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irvin Cohen, Irvin Cohen (topic). Also Wikidata Q1673262
History
- 2026-11-02: add by m2/dev
Coordinatization theorem FT2J291P53
| URI | m2://inv/FT2J291P53 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous geometry#SKAI, Coordinatization theorem (statement)
History
- 2026-11-02: add by m2/dev
Phase generated by a localized cluster FT2VJ552HG
| URI | m2://inv/FT2VJ552HG |
|---|---|
| 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.34402#XFOR, Phase generated by a localized cluster (statement). In FTTMZWSCMW/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Rational fraction FT2YZWNNVM
| URI | m2://inv/FT2YZWNNVM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic fraction#8UK1, Rational fraction (unknown)
History
- 2026-11-02: add by m2/dev
FT3206GJF9 FT3206GJF9
| URI | m2://inv/FT3206GJF9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 35-XX, 47-XX, 53-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.16157#DEQX (statement). In GV251MW5RP/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
V. K. Patodi FT35DZNYFX
| URI | m2://inv/FT35DZNYFX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6T4M, V. K. Patodi (topic)
History
- 2026-11-02: add by m2/dev
Geoffrey H. Moore FT371H064T
| URI | m2://inv/FT371H064T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#GSHN, Geoffrey H. Moore (topic)
History
- 2026-11-02: add by m2/dev
Advanced Vector Extensions FT38JJ6T0X
| URI | m2://inv/FT38JJ6T0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Advanced Vector Extensions, Advanced Vector Extensions (definition). Also Wikidata Q17600
History
- 2026-11-02: add by m2/dev
Balanced Boolean function FT399WEEX6
| URI | m2://inv/FT399WEEX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#B3PF, Balanced Boolean function (definition)
History
- 2026-11-02: add by m2/dev
FT3CK4P55F FT3CK4P55F
| URI | m2://inv/FT3CK4P55F |
|---|---|
| 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 2609.24325#PW0O (statement)
History
- 2026-11-01: add by m2/v0.6.15
FT3HA4HRPH FT3HA4HRPH
| URI | m2://inv/FT3HA4HRPH |
|---|---|
| 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.19360#ZTLO (statement). In MFCW5CY96C/e1, lemma 15
History
- 2026-10-28: add by m2/v0.4.2
classical, category theory FT3HD7V6JE
| URI | m2://inv/FT3HD7V6JE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.7/classical-category-theory, classical, category theory (concept). In N54F33XE07, index, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
FT3RGZFKT4 FT3RGZFKT4
| URI | m2://inv/FT3RGZFKT4 |
|---|---|
| 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.30336#WS2Y (statement). In CCWHTB3911/e1, lemma 3.4
History
- 2026-10-31: add by m2/v0.5.6
Construction FT3S0B7R2M
| URI | m2://inv/FT3S0B7R2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beauville surface#11XY, Construction (definition)
History
- 2026-11-02: add by m2/dev
Construction FT3YK1TVRV
| URI | m2://inv/FT3YK1TVRV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace operator#HZFY, Construction (definition)
History
- 2026-11-02: add by m2/dev
Sections of a line bundle FT44CF1ZR3
| URI | m2://inv/FT44CF1ZR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/line-bundles.tex#definition-2, Sections of a line bundle (definition). In RZP28ERRZV, definition, section 85.2
History
- 2026-11-01: add by m2/v0.6.13
Gerhard Haenzel FT45DQQYJR
| URI | m2://inv/FT45DQQYJR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GZNY, Gerhard Haenzel (topic)
History
- 2026-11-02: add by m2/dev
Keysigning FT4K6Y351P
| URI | m2://inv/FT4K6Y351P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Keysigning, Keysigning (definition). Also Wikidata Q6398413
History
- 2026-11-02: add by m2/dev
No-hair theorem FT4XGHNMBW
| URI | m2://inv/FT4XGHNMBW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#Y5UX, No-hair theorem (statement)
History
- 2026-11-02: add by m2/dev
General moment bound FT4Y6H6T6K
| URI | m2://inv/FT4Y6H6T6K |
|---|---|
| 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.01035#3B8N, General moment bound (statement). In MVQWXFXWM7/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
FT51PVTX8K FT51PVTX8K
| URI | m2://inv/FT51PVTX8K |
|---|---|
| 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.29597#NKNM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Transformation optics FT55A65SJQ
| URI | m2://inv/FT55A65SJQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transformation optics, Transformation optics (topic). Also Wikidata Q7834091
History
- 2026-11-02: add by m2/dev
Definition FT5G2XTRZ1
| URI | m2://inv/FT5G2XTRZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics on stamps#4CJM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Poncelet point FT62QNN4DD
| URI | m2://inv/FT62QNN4DD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poncelet point, Poncelet point (definition). Also Wikidata Q4461560
History
- 2026-11-02: add by m2/dev
FT64AW7SNP FT64AW7SNP
| URI | m2://inv/FT64AW7SNP |
|---|---|
| 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.06340#JHI2 (statement). In PKNZPECH82/e1, theorem 10.5
History
- 2026-10-29: add by m2/v0.4.10
List of number fields with class number one FT6C0XB17E
| URI | m2://inv/FT6C0XB17E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number fields with class number one, List of number fields with class number one (topic). Also Wikidata Q6631473
History
- 2026-11-02: add by m2/dev
Covariance support margins and gap FT6CK8Q3WP
| URI | m2://inv/FT6CK8Q3WP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09356#XLAZ, Covariance support margins and gap (definition). In 3VVGPXWH6R/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
FT6EXDTXBY FT6EXDTXBY
| URI | m2://inv/FT6EXDTXBY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10937#CC5W (statement). In 6VVK3YTABP/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.3
Small resolution FT6GHRMZXE
| URI | m2://inv/FT6GHRMZXE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection homology#QBYW, Small resolution (unknown)
History
- 2026-11-02: add by m2/dev
FT6JRS965Y FT6JRS965Y
| URI | m2://inv/FT6JRS965Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22077#6POI (statement)
History
- 2026-11-02: add by m2/v0.6.17
FT6MQ5EMG3 FT6MQ5EMG3
| URI | m2://inv/FT6MQ5EMG3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02642#ZFGO (statement). In VMWV58VWKN/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.12
interpolation between locking states FT6ZNYVZ0Y
| URI | m2://inv/FT6ZNYVZ0Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#J5VV, interpolation between locking states (statement). In 94RBNQA07A/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
FT73CDGWYR FT73CDGWYR
| URI | m2://inv/FT73CDGWYR |
|---|---|
| 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.20385#WOH9 (statement). In 54HS9AHWPE/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.4.2
Curve FT775BNWZR
| URI | m2://inv/FT775BNWZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#QOK5, Curve (definition)
History
- 2026-11-02: add by m2/dev
Statement FT7B47211S
| URI | m2://inv/FT7B47211S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bohr–Mollerup theorem#BKVJ, Statement (statement)
History
- 2026-11-02: add by m2/dev
FT7KGSR8GK FT7KGSR8GK
| URI | m2://inv/FT7KGSR8GK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#problem-2 (exercise). In P1C114YBXG, problem, section u1
History
- 2026-11-01: add by m2/v0.6.13
Noether's theorem FT7M6FRHTM
| URI | m2://inv/FT7M6FRHTM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#9DVG, Noether's theorem (statement)
History
- 2026-11-02: add by m2/dev
Philip Kutzko FT7NAXGR4K
| URI | m2://inv/FT7NAXGR4K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philip Kutzko, Philip Kutzko (topic). Also Wikidata Q7183921
History
- 2026-11-02: add by m2/dev
Genericity of minimal kernel FT7Q2B93GY
| URI | m2://inv/FT7Q2B93GY |
|---|---|
| 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.07341#1HMQ, Genericity of minimal kernel (statement). In 6KFS1X0MZR/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
Turing completeness FT7R5TXHAY
| URI | m2://inv/FT7R5TXHAY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#YDWG, Turing completeness (definition)
History
- 2026-11-02: add by m2/dev
Differentially closed field FT7XQPFYNH
| URI | m2://inv/FT7XQPFYNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#PW6O, Differentially closed field (definition)
History
- 2026-11-02: add by m2/dev
FT82DMEC7J FT82DMEC7J
| URI | m2://inv/FT82DMEC7J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10546#6C76 (statement). In K5R5RRPMQ5/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
FT839H90KS FT839H90KS
| URI | m2://inv/FT839H90KS |
|---|---|
| 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#YK9Z (definition). In VD4JP4HVBX/e1, definition 10.13
History
- 2026-10-28: add by m2/v0.4.2
FT83DH3XCF FT83DH3XCF
| URI | m2://inv/FT83DH3XCF |
|---|---|
| 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.21403#50WZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Restatement of Corollary 1 FT84D21M4T
| URI | m2://inv/FT84D21M4T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.23212#LRAH, Restatement of Corollary 1 (statement). In 4X12V9RS0D/e1, proposition B.3
History
- 2026-10-27: add by m2/v0.3.5
FT8H1MGA06 FT8H1MGA06
| URI | m2://inv/FT8H1MGA06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#def:loopspace (definition). In N54F33XE07, defn, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Ky Fan FT8SP7WHC9
| URI | m2://inv/FT8SP7WHC9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0IQS, Ky Fan (unknown)
History
- 2026-11-02: add by m2/dev
FT8YYWMNAF FT8YYWMNAF
| URI | m2://inv/FT8YYWMNAF |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 01-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33529#OU11 (unknown). In RQZGQG3PBR/e1, unknown II.12.7
History
- 2026-10-30: add by m2/v0.4.12
FT93GNEZY5 FT93GNEZY5
| URI | m2://inv/FT93GNEZY5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20798#7WY8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Feller compactness and invariant limits FT94QZZHN9
| URI | m2://inv/FT94QZZHN9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19421#ADE0, Feller compactness and invariant limits (statement). In 3S1VFGYWQE/e1, lemma 14
History
- 2026-10-28: add by m2/v0.4.2
FT95RZGM52 FT95RZGM52
| URI | m2://inv/FT95RZGM52 |
|---|---|
| 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 2508.19709#Q32I (statement). In 57PQWSSZMY/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
FT976N0SGM FT976N0SGM
| URI | m2://inv/FT976N0SGM |
|---|---|
| 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.03449#6C7U (statement). In 3XM05SYQ8D/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
Formula FT9B3XTPRC
| URI | m2://inv/FT9B3XTPRC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tupper's self-referential formula#ZVEP, Formula (statement)
History
- 2026-11-02: add by m2/dev
Definition FT9G7DMBYT
| URI | m2://inv/FT9G7DMBYT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radical extension#8B6G, Definition (definition)
History
- 2026-11-02: add by m2/dev
Mathematical Contest in Modeling FT9JQBHREK
| URI | m2://inv/FT9JQBHREK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#3J3B, Mathematical Contest in Modeling (unknown)
History
- 2026-11-02: add by m2/dev
FT9P6C5C4A FT9P6C5C4A
| URI | m2://inv/FT9P6C5C4A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11652#H1ZB (definition). In VEXM27M8Q1/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.3
Cellular decomposition FT9ZWXDMQ4
| URI | m2://inv/FT9ZWXDMQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cellular decomposition, Cellular decomposition (definition). Also Wikidata Q5058358
History
- 2026-11-02: add by m2/dev
Akṣapāda Gautama FTA03TPVQX
| URI | m2://inv/FTA03TPVQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of teachers of Nyaya#WOJ7, Akṣapāda Gautama (definition)
History
- 2026-11-02: add by m2/dev
Variational Movement Scheme FTAB3AC7MH
| URI | m2://inv/FTAB3AC7MH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#UA0G, Variational Movement Scheme (definition)
History
- 2026-11-02: add by m2/v0.6.18
Hessian estimate for $\Phi^4_3$ FTADE852JJ
| URI | m2://inv/FTADE852JJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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 2610.17815#OOCD, Hessian estimate for $\Phi^4_3$ (statement). In GJ7N2EWACX/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
Tychonoff cube FTAETCXENH
| URI | m2://inv/FTAETCXENH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tychonoff cube, Tychonoff cube (definition). Also Wikidata Q2337810
History
- 2026-11-02: add by m2/dev
Definition FTB5BK46CY
| URI | m2://inv/FTB5BK46CY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confidence distribution#7ILS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sieve B FTBAN4NGC6
| URI | m2://inv/FTBAN4NGC6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16962#PXDJ, Sieve B (statement). In KJC9FRS3C2/e1, corollary 5.5
History
- 2026-10-28: add by m2/v0.4.2
FTBN60BBZH FTBN60BBZH
| URI | m2://inv/FTBN60BBZH |
|---|---|
| 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.36389#9BTO (statement). In N1S169J2MV/e1, theorem 0.3
History
- 2026-10-30: add by m2/v0.4.12
Erdős's theorems FTBSN5E59P
| URI | m2://inv/FTBSN5E59P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bertrand's postulate#30D7, Erdős's theorems (statement)
History
- 2026-11-02: add by m2/dev
FTBTW9AR42 FTBTW9AR42
| URI | m2://inv/FTBTW9AR42 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02079#SITA (definition). In CNS2J2E4T2/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.12
Principle of interaction (SABI: I = ƒ[A, B, S]) FTC3WRMJMR
| URI | m2://inv/FTC3WRMJMR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interdependence theory#77PQ, Principle of interaction (SABI: I = ƒ[A, B, S]) (statement)
History
- 2026-11-02: add by m2/dev
FTC668XR4V FTC668XR4V
| URI | m2://inv/FTC668XR4V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.05005#5BRS (statement). In SMJMAQ2S3J/e1, proposition 17
History
- 2026-10-27: add by m2/v0.4.0
Klara Löbenstein FTCCJ1XY13
| URI | m2://inv/FTCCJ1XY13 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klara Löbenstein, Klara Löbenstein (topic). Also Wikidata Q15641430
History
- 2026-11-02: add by m2/dev
FTCCQQ1HK4 FTCCQQ1HK4
| URI | m2://inv/FTCCQQ1HK4 |
|---|---|
| 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 2303.10963#JDNA (statement). In F32XWYWG8E/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
FTCCVXAVQJ FTCCVXAVQJ
| URI | m2://inv/FTCCVXAVQJ |
|---|---|
| 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 2103.12669#7CKD (statement). In ZA6XNBA90V/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.5
FTCGQPZKED FTCGQPZKED
| URI | m2://inv/FTCGQPZKED |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09298#HF5W (definition). In 1SPQ4J3AWY/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.10
Waldhausen category FTCHB8SJ8C
| URI | m2://inv/FTCHB8SJ8C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#3XUY, Waldhausen category (definition)
History
- 2026-11-02: add by m2/dev
Density matrix embedding theory FTD0KXJVDG
| URI | m2://inv/FTD0KXJVDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density matrix embedding theory, Density matrix embedding theory (definition). Also Wikidata Q18351215
History
- 2026-11-02: add by m2/dev
Equitable partition FTD19MR6YK
| URI | m2://inv/FTD19MR6YK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equitable partition, Equitable partition (definition). Also Wikidata Q139963147
History
- 2026-11-02: add by m2/dev
FTD2BJPZQ9 FTD2BJPZQ9
| URI | m2://inv/FTD2BJPZQ9 |
|---|---|
| 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.04330#M714 (statement). In 17H0HEM54D/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Piecewise isometry FTD5VTP5DC
| URI | m2://inv/FTD5VTP5DC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Piecewise isometry, Piecewise isometry (definition). Also Wikidata Q139760720
History
- 2026-11-02: add by m2/dev
Hankel function of the first kind FTD7JRFZHA
| URI | m2://inv/FTD7JRFZHA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109558815, Hankel function of the first kind (unknown). Also MathWorld HankelFunctionoftheFirstKind
History
- 2026-10-26: add by m2/dev
Properties FTDCRYMXJ8
| URI | m2://inv/FTDCRYMXJ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjoint filter#51BW, Properties (statement)
History
- 2026-11-02: add by m2/dev
Green's second identity FTDQ6XNKK9
| URI | m2://inv/FTDQ6XNKK9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's identities#1PWE, Green's second identity (statement)
History
- 2026-11-02: add by m2/dev
(Weeting #23) FTDR6BJGJ5
| URI | m2://inv/FTDR6BJGJ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#4ZD9, (Weeting #23) (unknown)
History
- 2026-11-02: add by m2/dev
Definition FTDRG3NWFD
| URI | m2://inv/FTDRG3NWFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel metric#C03R, Definition (definition)
History
- 2026-11-02: add by m2/dev
Obstruction set FTDZ323RXE
| URI | m2://inv/FTDZ323RXE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robertson–Seymour theorem#O6JA, Obstruction set (unknown)
History
- 2026-11-02: add by m2/dev
Co-)slice categories of the terminal object and pointed stacks FTE2MFRV5W
| URI | m2://inv/FTE2MFRV5W |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#CIKV, Co-)slice categories of the terminal object and pointed stacks (example). In G3D1YR20BJ/e1, example A.3
History
- 2026-10-29: add by m2/v0.4.12
Bohnenblust–Hille inequality FTE76WT5D9
| URI | m2://inv/FTE76WT5D9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#Q5Y5, Bohnenblust–Hille inequality (statement)
History
- 2026-11-02: add by m2/dev
Applications FTEGJRMH05
| URI | m2://inv/FTEGJRMH05 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive smoothing#VIMB, Applications (example)
History
- 2026-11-02: add by m2/dev
Karen Uhlenbeck FTEHA40PAS
| URI | m2://inv/FTEHA40PAS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q38636, Karen Uhlenbeck (unknown). Also nLab Karen Uhlenbeck
- wikipedia: Wikipedia Karen Uhlenbeck, Karen Uhlenbeck (topic). Also Wikidata Q38636
History
- 2026-10-26: add by m2/dev
FTEHK70524 FTEHK70524
| URI | m2://inv/FTEHK70524 |
|---|---|
| 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.13699#MYJ9 (statement). In ZSMAQ666K7/e1, corollary 2.1
History
- 2026-10-28: add by m2/v0.4.2
FTEJX4CJAX FTEJX4CJAX
| URI | m2://inv/FTEJX4CJAX |
|---|---|
| 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.29903#EW7D (statement)
History
- 2026-11-01: add by m2/v0.6.15
FTF164A3HZ FTF164A3HZ
| URI | m2://inv/FTF164A3HZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-14 (exercise). In E9HS8K3A52, exercise, section 7.1.4
History
- 2026-11-01: add by m2/v0.6.13
Pillai's conjecture FTF3NNKP6Y
| URI | m2://inv/FTF3NNKP6Y |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3023699, Pillai's conjecture (conjecture). Also MathWorld PillaisConjecture
History
- 2026-10-26: add by m2/dev
Compound of ten hexagonal prisms FTFAVFJHRK
| URI | m2://inv/FTFAVFJHRK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of ten hexagonal prisms, Compound of ten hexagonal prisms (definition). Also Wikidata Q5156889
History
- 2026-11-02: add by m2/dev
Vanishing of the harmonic coefficients FTFBB5CSR2
| URI | m2://inv/FTFBB5CSR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25431#6V34, Vanishing of the harmonic coefficients (statement)
History
- 2026-11-01: add by m2/v0.6.15
Erdős–Mordell inequality FTFP98D8B2
| URI | m2://inv/FTFP98D8B2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Erdős–Mordell inequality 3CJEWF0Y3F |
Mentions
- wikidata: Wikidata Q990530, Erdős–Mordell inequality (statement). Also MathWorld Erdos-MordellTheorem
- wikipedia: Wikipedia Erdős–Mordell inequality, Erdős–Mordell inequality (statement). Also Wikidata Q990530
History
- 2026-10-26: add by m2/dev
FTFSKPMJFV FTFSKPMJFV
| URI | m2://inv/FTFSKPMJFV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06806#276I (statement). In ZZQT0GFMT2/e1, lemma 5.9
History
- 2026-10-29: add by m2/v0.4.10
Susan Paddock FTFYK11GZK
| URI | m2://inv/FTFYK11GZK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susan Paddock, Susan Paddock (topic). Also Wikidata Q102209083
History
- 2026-11-02: add by m2/dev
FTGAFER60T FTGAFER60T
| URI | m2://inv/FTGAFER60T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32651#U821 (statement). In WFJXSE3VDT/e1, theorem 5.3
History
- 2026-10-31: add by m2/v0.5.6
Definition FTGCW83EEA
| URI | m2://inv/FTGCW83EEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Todd class#UJFN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Epigenetic landscapes FTGCWEY7XN
| URI | m2://inv/FTGCWEY7XN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32585#L5J7, Epigenetic landscapes (statement). In FJFJ3WR1SS/e1, corollary A.1
History
- 2026-10-31: add by m2/v0.5.6
FTGNTAN2F8 FTGNTAN2F8
| URI | m2://inv/FTGNTAN2F8 |
|---|---|
| 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 2609.29148#FGM7 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Homicide statistics by gender FTGRVHXRKD
| URI | m2://inv/FTGRVHXRKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homicide statistics by gender, Homicide statistics by gender (definition). Also Wikidata Q25326619
History
- 2026-11-02: add by m2/dev
FTGYF7VCJW FTGYF7VCJW
| URI | m2://inv/FTGYF7VCJW |
|---|---|
| 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.03672#KUUE (definition). In EZZSZ1F071/e1, definition 3.25
History
- 2026-10-27: add by m2/v0.4.0
Definition FTH577KAV3
| URI | m2://inv/FTH577KAV3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harish-Chandra character#GBLS, Definition (definition)
History
- 2026-11-02: add by m2/dev
FTHEJBYX8X FTHEJBYX8X
| URI | m2://inv/FTHEJBYX8X |
|---|---|
| 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.18464#LKDS (statement). In VSTFM3ME25/e1, corollary B
History
- 2026-10-28: add by m2/v0.4.2
FTHM3HCBT2 FTHM3HCBT2
| URI | m2://inv/FTHM3HCBT2 |
|---|---|
| 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.21258#MEXE (statement). In PN98BKSKZP/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Axiom of extensionality - 1 FTHTZMA51X
| URI | m2://inv/FTHTZMA51X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zermelo–Fraenkel set theory#QWOI, Axiom of extensionality - 1 (statement)
History
- 2026-11-02: add by m2/dev
FTHX8C44AC FTHX8C44AC
| URI | m2://inv/FTHX8C44AC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-conc.ptx#exercise-11 (exercise). In Y91XFCEVHQ, exercise, section 3.6
History
- 2026-11-01: add by m2/v0.6.13
Applications FTHYADXS74
| URI | m2://inv/FTHYADXS74 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphon#1C93, Applications (example)
History
- 2026-11-02: add by m2/dev
Hyperarithmetical set FTHZDAYA5H
| URI | m2://inv/FTHZDAYA5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of sets#YT8R, Hyperarithmetical set (definition)
History
- 2026-11-02: add by m2/dev
Spector FTJ5TKXVRF
| URI | m2://inv/FTJ5TKXVRF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#3255, Spector (statement). In 90QTB4CC31/e1, theorem 2.7
History
- 2026-10-28: add by m2/v0.4.2
Basic properties FTJ939N29C
| URI | m2://inv/FTJ939N29C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gδ set#3HYB, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Ornstein isomorphism theorem FTJBAW37PE
| URI | m2://inv/FTJBAW37PE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 37-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7103669, Ornstein theorem (statement). Also Wikidata Q7103669
- thousand_plus: thousand_plus Q7103669, Ornstein theorem (statement). Also Wikidata Q7103669, Wikipedia Ornstein theorem
- wikipedia: Wikipedia Ornstein isomorphism theorem, Ornstein isomorphism theorem (statement). Also Wikidata Q7103669
History
- 2026-10-26: add by m2/dev
FTJCP3J19F FTJCP3J19F
| URI | m2://inv/FTJCP3J19F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.09645#DO1E (statement). In HVDSC1GQRD/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
FTJE2GQG8J FTJE2GQG8J
| URI | m2://inv/FTJE2GQG8J |
|---|---|
| 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.23526#DETD (statement)
History
- 2026-11-02: add by m2/v0.6.17
FTJH1KP9J2 FTJH1KP9J2
| URI | m2://inv/FTJH1KP9J2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20860#4MCS (statement)
History
- 2026-11-02: add by m2/v0.6.18
Cancer cluster FTJJYM8EHZ
| URI | m2://inv/FTJJYM8EHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2DS5, Cancer cluster (definition)
History
- 2026-11-02: add by m2/dev
FTJV7BZNMJ FTJV7BZNMJ
| URI | m2://inv/FTJV7BZNMJ |
|---|---|
| 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.25880#QM5F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Philodemus FTJZGBA8MK
| URI | m2://inv/FTJZGBA8MK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philodemus, Philodemus (topic). Also Wikidata Q451550
History
- 2026-11-02: add by m2/dev
FTK196W8G6 FTK196W8G6
| URI | m2://inv/FTK196W8G6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#sps:sinforceexr (exercise). In E9HS8K3A52, exercise, section 3.3.3
History
- 2026-11-01: add by m2/v0.6.13
FTK38MMGBB FTK38MMGBB
| URI | m2://inv/FTK38MMGBB |
|---|---|
| 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 2310.14879#UGSK (statement). In 3VZ55B2N0D/e1, lemma 5.25
History
- 2026-10-27: add by m2/v0.4.0
Meaning of a feasible LP point FTK7QYBZ1P
| URI | m2://inv/FTK7QYBZ1P |
|---|---|
| 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.24569#7NRC, Meaning of a feasible LP point (statement)
History
- 2026-11-01: add by m2/v0.6.15
Günther Frei FTKE84VGXX
| URI | m2://inv/FTKE84VGXX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Günther Frei, Günther Frei (topic). Also Wikidata Q1561446
History
- 2026-11-02: add by m2/dev
FTKPB0VT04 FTKPB0VT04
| URI | m2://inv/FTKPB0VT04 |
|---|---|
| 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.14783#KAO2 (statement). In Y3X5XY2J65/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2
FTKT2FJ1AT FTKT2FJ1AT
| URI | m2://inv/FTKT2FJ1AT |
|---|---|
| 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.30771#U1SC (statement). In PQ5117EYN3/e1, lemma 2
History
- 2026-10-31: add by m2/v0.5.6
Cycling FTKY558KCS
| URI | m2://inv/FTKY558KCS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2601.15403#2XUB, Cycling (statement). In BSWNH3NW1M/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.4.0
FTM0G96XEG FTM0G96XEG
| URI | m2://inv/FTM0G96XEG |
|---|---|
| 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.04809#PXXR (statement). In 2VHV0RNTNV/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
FTM1P01VCW FTM1P01VCW
| URI | m2://inv/FTM1P01VCW |
|---|---|
| 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 2610.12612#JSE2 (statement). In 8A0VZV8PBN/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Constantine Gatsonis FTM2TG1854
| URI | m2://inv/FTM2TG1854 |
|---|---|
| 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#L90J, Constantine Gatsonis (unknown)
History
- 2026-11-02: add by m2/dev
Spontaneous emission FTM5FCYRQC
| URI | m2://inv/FTM5FCYRQC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#M4ZI, Spontaneous emission (unknown)
History
- 2026-11-02: add by m2/dev
Construction FTM6A5D5JW
| URI | m2://inv/FTM6A5D5JW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lebedev quadrature#VMBQ, Construction (definition)
History
- 2026-11-02: add by m2/dev
(Weeting #5) FTMAX0Q118
| URI | m2://inv/FTMAX0Q118 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#2538, (Weeting #5) (unknown)
History
- 2026-11-02: add by m2/dev
Lucasian Professor of Mathematics FTMC8BE1HR
| URI | m2://inv/FTMC8BE1HR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucasian Professor of Mathematics, Lucasian Professor of Mathematics (definition). Also Wikidata Q865664
History
- 2026-11-02: add by m2/dev
Bubbling FTMC9JJV1D
| URI | m2://inv/FTMC9JJV1D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#EGIM, Bubbling (statement). In EAABRG99V8/e1, theorem C
History
- 2026-10-27: add by m2/v0.4.0
Gillies' conjecture FTMRRVYJSS
| URI | m2://inv/FTMRRVYJSS |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gillies' conjecture, Gillies' conjecture (conjecture). Also Wikidata Q17017065
History
- 2026-11-02: add by m2/dev
Applications FTMW91MZ8R
| URI | m2://inv/FTMW91MZ8R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular motion#LSGU, Applications (example)
History
- 2026-11-02: add by m2/dev
Whitney covering lemma FTMX4D6BT1
| URI | m2://inv/FTMX4D6BT1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitney covering lemma, Whitney covering lemma (statement). Also Wikidata Q7996763
History
- 2026-11-02: add by m2/dev
0/1-polytope FTMZJX4CSQ
| URI | m2://inv/FTMZJX4CSQ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 0/1-polytope, 0/1-polytope (object). Also Wikidata Q116980226
History
- 2026-11-02: add by m2/dev
FTN146RRAH FTN146RRAH
| URI | m2://inv/FTN146RRAH |
|---|---|
| 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.26813#R6D7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Besov spaces FTNBRNWJ2X
| URI | m2://inv/FTNBRNWJ2X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21552#EJ8I, Besov spaces (definition)
History
- 2026-11-02: add by m2/v0.6.18
FTNGY6EDTC FTNGY6EDTC
| URI | m2://inv/FTNGY6EDTC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05259#IQ13 (statement). In X1J5HKPS3R/e1, theorem 2.15
History
- 2026-10-29: add by m2/v0.4.10
Exact single-episode boundary FTNH0P80RN
| URI | m2://inv/FTNH0P80RN |
|---|---|
| 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.33154#KTAG, Exact single-episode boundary (statement). In N28DEYRBW7/e1, theorem 3.12
History
- 2026-10-30: add by m2/v0.4.12
Pierre Gabriel FTNPF060ZY
| URI | m2://inv/FTNPF060ZY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1343092, Pierre Gabriel (unknown). Also nLab Pierre Gabriel
- wikipedia: Wikipedia Pierre Gabriel, Pierre Gabriel (topic). Also Wikidata Q1343092
History
- 2026-10-26: add by m2/dev
FTNPWYERZX FTNPWYERZX
| URI | m2://inv/FTNPWYERZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.13734#ITTG (statement). In 7AXKHR4YB3/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.6
cf.\ FTP0MMAZ6Z
| URI | m2://inv/FTP0MMAZ6Z |
|---|---|
| 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.25524#MYHB, cf.\ (statement)
History
- 2026-11-01: add by m2/v0.6.15
FTP2E1J31J FTP2E1J31J
| URI | m2://inv/FTP2E1J31J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29699#2091 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Discrete maximum principle FTP6FWDHCR
| URI | m2://inv/FTP6FWDHCR |
|---|---|
| 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.29524#ZSV2, Discrete maximum principle (statement)
History
- 2026-11-01: add by m2/v0.6.15
Khrushchev FTPFC9M2AC
| URI | m2://inv/FTPFC9M2AC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.24307#8TPS, Khrushchev (statement)
History
- 2026-11-01: add by m2/v0.6.15
Photon number splitting FTPG6R6DK7
| URI | m2://inv/FTPG6R6DK7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum key distribution#P3GF, Photon number splitting (unknown)
History
- 2026-11-02: add by m2/dev
FTPQBVT74F FTPQBVT74F
| URI | m2://inv/FTPQBVT74F |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#QPO6 (unknown). In QNBFHFZ3H0/e1, unknown 75
History
- 2026-10-28: add by m2/v0.4.2
Definition 4 FTPS1RD8F8
| URI | m2://inv/FTPS1RD8F8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perron–Frobenius theorem#HYXB, Definition 4 (definition)
History
- 2026-11-02: add by m2/dev
FTPSAZMQFH FTPSAZMQFH
| URI | m2://inv/FTPSAZMQFH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16386#WVP1 (definition). In RAF0BFY3Z3/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
conditional equation FTPSQMQYGH
| URI | m2://inv/FTPSQMQYGH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141500183, conditional equation (unknown). Also MathWorld ConditionalEquation
History
- 2026-10-26: add by m2/dev
Fixed-offset algebraic generating functions FTPVTY26Y6
| URI | m2://inv/FTPVTY26Y6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24541#O4C3, Fixed-offset algebraic generating functions (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications FTPWS3TBQT
| URI | m2://inv/FTPWS3TBQT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted correlation network analysis#13TX, Applications (example)
History
- 2026-11-02: add by m2/dev
Corollary 4 FTPXQYWCZD
| URI | m2://inv/FTPXQYWCZD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space hierarchy theorem#EFSG, Corollary 4 (statement)
History
- 2026-11-02: add by m2/dev
NSA cryptography FTPXT4X7X8
| URI | m2://inv/FTPXT4X7X8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NSA cryptography, NSA cryptography (definition). Also Wikidata Q30587610
History
- 2026-11-02: add by m2/dev
conditional composition FTQ713TZQA
| URI | m2://inv/FTQ713TZQA |
|---|---|
| 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.16715#PIM7, conditional composition (statement). In RA1Z6BV25A/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
R. R. Bahadur FTQA0VKTDS
| URI | m2://inv/FTQA0VKTDS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#1H67, R. R. Bahadur (unknown)
History
- 2026-11-02: add by m2/dev
Simultaneous SC at every uniquely rank-one exact order FTQA6T8KAJ
| URI | m2://inv/FTQA6T8KAJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20270#WNKM, Simultaneous SC at every uniquely rank-one exact order (statement). In GV0QGZH67P/e1, proposition G.1
History
- 2026-10-27: add by m2/v0.4.2
Chordal completion FTQAG0SK6W
| URI | m2://inv/FTQAG0SK6W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chordal completion, Chordal completion (definition). Also Wikidata Q25304222
History
- 2026-11-02: add by m2/dev
snake-in-the-box FTQNKRCPFS
| URI | m2://inv/FTQNKRCPFS |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15995476, snake-in-the-box (unknown). Also MathWorld Snake
- wikipedia: Wikipedia Snake-in-the-box, Snake-in-the-box (conjecture). Also Wikidata Q15995476
History
- 2026-10-26: add by m2/dev
Example FTQWMZBWKW
| URI | m2://inv/FTQWMZBWKW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Active and passive transformation#JSBW, Example (example)
History
- 2026-11-02: add by m2/dev
S and p polarizations FTQWQ200CM
| URI | m2://inv/FTQWQ200CM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane of incidence#HGME, S and p polarizations (unknown)
History
- 2026-11-02: add by m2/dev
The algorithm FTQXCTFSP6
| URI | m2://inv/FTQXCTFSP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schoof's algorithm#BCD0, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
FTQYT4Y6X4 FTQYT4Y6X4
| URI | m2://inv/FTQYT4Y6X4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#G0GH (statement). In PG0B4PH9YH/e1, fact 2.5
History
- 2026-10-27: add by m2/v0.4.2
Examples FTQZACYSDA
| URI | m2://inv/FTQZACYSDA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Public-key cryptography#6T9I, Examples (example)
History
- 2026-11-02: add by m2/dev
FTR4XY4KKR FTR4XY4KKR
| URI | m2://inv/FTR4XY4KKR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20002#GVT6 (example)
History
- 2026-11-02: add by m2/v0.6.18
Reduction lemma FTR5ZAN7WY
| URI | m2://inv/FTR5ZAN7WY |
|---|---|
| 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.17240#X4VF, Reduction lemma (statement). In 59BZ4V9RQW/e1, lemma 9.5
History
- 2026-10-28: add by m2/v0.4.2
Immigrant crime in Europe FTR8Q8KTQ8
| URI | m2://inv/FTR8Q8KTQ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Immigration and crime#Z061, Immigrant crime in Europe (unknown)
History
- 2026-11-02: add by m2/dev
Properties FTRB7R9W4G
| URI | m2://inv/FTRB7R9W4G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple (mathematics)#JER4, Properties (statement)
History
- 2026-11-02: add by m2/dev
limits of integration FTRJGXBNFY
| URI | m2://inv/FTRJGXBNFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#ESKO, limits of integration (definition)
History
- 2026-11-02: add by m2/dev
FTRN0V30SE FTRN0V30SE
| URI | m2://inv/FTRN0V30SE |
|---|---|
| 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 2406.07116#F91J (statement). In 5B030CB2RK/e1, lemma 9.4
History
- 2026-10-27: add by m2/v0.3.6
FTS659M49X FTS659M49X
| URI | m2://inv/FTS659M49X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13214#1RCK (statement). In 4GRNWWH88J/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Engelking-Karlowicz Theorem FTS6WYWPPW
| URI | m2://inv/FTS6WYWPPW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ryszard Engelking#BI51, Engelking-Karlowicz Theorem (unknown)
History
- 2026-11-02: add by m2/dev
FTS8DTB81S FTS8DTB81S
| URI | m2://inv/FTS8DTB81S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/more-filtrations.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 52.3
History
- 2026-11-01: add by m2/v0.6.13
Target decays at rate $q$ with strain-rate dissipation FTS97TXJCZ
| URI | m2://inv/FTS97TXJCZ |
|---|---|
| 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.22384#3NGB, Target decays at rate $q$ with strain-rate dissipation (statement)
History
- 2026-11-02: add by m2/v0.6.17
Problems in loop theory and quasigroup theory FTSA55RB7J
| URI | m2://inv/FTSA55RB7J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#19CG, Problems in loop theory and quasigroup theory (topic)
History
- 2026-11-02: add by m2/dev
Topic model FTSBB9TCH7
| URI | m2://inv/FTSBB9TCH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0MHF, Topic model (definition)
History
- 2026-11-02: add by m2/dev
Ramanujan machine FTSEX0G1EE
| URI | m2://inv/FTSEX0G1EE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan machine, Ramanujan machine (definition). Also Wikidata Q108444510
History
- 2026-11-02: add by m2/dev
FTSFXF5ADE FTSFXF5ADE
| URI | m2://inv/FTSFXF5ADE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.14306#FK6H (statement). In ZNBQD5WH1M/e1, corollary 5.12
History
- 2026-10-27: add by m2/v0.3.5
FTSKCTP9D0 FTSKCTP9D0
| URI | m2://inv/FTSKCTP9D0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-67 (exercise). In E59CDZA4DP, exercise, section 11.6.1
History
- 2026-11-01: add by m2/v0.6.13
Applications FTSP70JG1T
| URI | m2://inv/FTSP70JG1T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pointed set#K4AS, Applications (example)
History
- 2026-11-02: add by m2/dev
Conic Bezier curve FTSXXZ0CEP
| URI | m2://inv/FTSXXZ0CEP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bézier curve#19F4, Conic Bezier curve (unknown)
History
- 2026-11-02: add by m2/dev
Compound of two snub icosidodecadodecahedra FTT10JD402
| URI | m2://inv/FTT10JD402 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#VJOE, Compound of two snub icosidodecadodecahedra (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#Q4OT, Compound of two snub icosidodecadodecahedra (definition)
History
- 2026-11-02: add by m2/dev
FTTCB2FE03 FTTCB2FE03
| URI | m2://inv/FTTCB2FE03 |
|---|---|
| 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.05459#JURM (statement). In VYW16D089Y/e1, corollary 5.12
History
- 2026-10-29: add by m2/v0.4.10
oxygen-16 FTTCPDPKK6
| URI | m2://inv/FTTCPDPKK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2309203, oxygen-16 (definition). Also ProofWiki Definition:Oxygen/16
History
- 2026-10-26: add by m2/dev
FTTGG5C3F4 FTTGG5C3F4
| URI | m2://inv/FTTGG5C3F4 |
|---|---|
| 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.29023#31KX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples FTTGK0VVDG
| URI | m2://inv/FTTGK0VVDG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Excellent ring#0SKW, Examples (example)
History
- 2026-11-02: add by m2/dev
Ferdinand von Lindemann FTTVPRN016
| URI | m2://inv/FTTVPRN016 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#CZIL, Ferdinand von Lindemann (topic)
History
- 2026-11-02: add by m2/dev
Greta Panova FTV1Y0KNYT
| URI | m2://inv/FTV1Y0KNYT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VN0E, Greta Panova (topic)
History
- 2026-11-02: add by m2/dev
the basis FTV715Q2WS
| URI | m2://inv/FTV715Q2WS |
|---|---|
| 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.18803#FJI9, the basis (statement). In VG8AF124T3/e1, corollary 4.4
History
- 2026-10-28: add by m2/v0.4.2
Kodaira–Spencer map FTVA700JMY
| URI | m2://inv/FTVA700JMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kodaira–Spencer map, Kodaira–Spencer map (definition). Also Wikidata Q6425091
History
- 2026-11-02: add by m2/dev
FTVKA93G19 FTVKA93G19
| URI | m2://inv/FTVKA93G19 |
|---|---|
| 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.37450#OOID (statement). In FP05Z6EBV4/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
Infinite information and the Gaussian innovation FTVKNC3001
| URI | m2://inv/FTVKNC3001 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#6TWY, Infinite information and the Gaussian innovation (statement). In 9YAE8FNQST/e1, corollary 29.5
History
- 2026-10-30: add by m2/v0.4.12
Lossless 3D compression FTVMJNV88M
| URI | m2://inv/FTVMJNV88M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lossless compression#6N0C, Lossless 3D compression (unknown)
History
- 2026-11-02: add by m2/dev
FTVNKAYY80 FTVNKAYY80
| URI | m2://inv/FTVNKAYY80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06455#TTX9 (statement). In N6GB5J5BAY/e1, proposition 4.8
History
- 2026-10-29: add by m2/v0.4.10
FTVNRW40SM FTVNRW40SM
| URI | m2://inv/FTVNRW40SM |
|---|---|
| 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.36389#VZ4U (statement). In N1S169J2MV/e1, proposition 4
History
- 2026-10-30: add by m2/v0.4.12
Applications FTVP67YWJA
| URI | m2://inv/FTVP67YWJA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fine and Wilf's theorem#1ZLL, Applications (example)
History
- 2026-11-02: add by m2/dev
Quillen–Suslin theorem FTVY1Z9QDF
| URI | m2://inv/FTVY1Z9QDF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#7HCW, Quillen–Suslin theorem (statement)
History
- 2026-11-02: add by m2/dev
Sergey Stechkin FTW0ZHH785
| URI | m2://inv/FTW0ZHH785 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#45Q8, Sergey Stechkin (unknown)
History
- 2026-11-02: add by m2/dev
Probability-proportional-to-size sampling FTW1K8801D
| URI | m2://inv/FTW1K8801D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability-proportional-to-size sampling, Probability-proportional-to-size sampling (definition). Also Wikidata Q108695702
History
- 2026-11-02: add by m2/dev
Law enforcement FTWF2J9ZMG
| URI | m2://inv/FTWF2J9ZMG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predictive analytics#8PWW, Law enforcement (statement)
History
- 2026-11-02: add by m2/dev
FTWGVZEVP5 FTWGVZEVP5
| URI | m2://inv/FTWGVZEVP5 |
|---|---|
| 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#MJQR (statement). In HT5MC1SPD9/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Examples FTWGWF27VN
| URI | m2://inv/FTWGWF27VN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Augmented Backus–Naur form#WX6S, Examples (example)
History
- 2026-11-02: add by m2/dev
zeroes of sine FTWHM634G4
| URI | m2://inv/FTWHM634G4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141458308, zeroes of sine (statement). Also ProofWiki Zeroes_of_Sine_and_Cosine/Sine
History
- 2026-10-26: add by m2/dev
FTWKN04J5D FTWKN04J5D
| URI | m2://inv/FTWKN04J5D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31604#AQ2O (statement). In GSN5YTQS2K/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
$Y$-seed mutation FTWRKRHTGT
| URI | m2://inv/FTWRKRHTGT |
|---|---|
| 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.03612#65K1, $Y$-seed mutation (definition). In REDG6QVHM3/e1, definition 10.3
History
- 2026-10-29: add by m2/v0.4.12
Experimental research FTWXCJTD9M
| URI | m2://inv/FTWXCJTD9M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of psychological research methods#OROZ, Experimental research (unknown)
History
- 2026-11-02: add by m2/dev
integral FTX0VFREMZ
| URI | m2://inv/FTX0VFREMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#6KSF, integral (definition)
History
- 2026-11-02: add by m2/dev
Convolution theorems FTX1D675V2
| URI | m2://inv/FTX1D675V2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier series#21YI, Convolution theorems (statement)
History
- 2026-11-02: add by m2/dev
matrix-vector multiplication FTX38V8Z2C
| URI | m2://inv/FTX38V8Z2C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/2.2.2/matrix-vector-multiplication, matrix-vector multiplication (concept). In 649HGZKE96, index, section 2.2.2
History
- 2026-11-01: add by m2/v0.6.13
Dini's surface FTX4HG2T4G
| URI | m2://inv/FTX4HG2T4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dini's surface, Dini's surface (definition). Also Wikidata Q1172451
History
- 2026-11-02: add by m2/dev
FTX930M746 FTX930M746
| URI | m2://inv/FTX930M746 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example-7 (example). In VNMV985MXX, example, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
the first prime-to-$p$ jump degree FTXBZ3M7JB
| URI | m2://inv/FTXBZ3M7JB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09298#6UT2, the first prime-to-$p$ jump degree (statement). In 1SPQ4J3AWY/e1, theorem 5.11
History
- 2026-10-29: add by m2/v0.4.10
Mathematical Contest in Modeling FTXCG8ZGM0
| URI | m2://inv/FTXCG8ZGM0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#YB4N, Mathematical Contest in Modeling (unknown)
History
- 2026-11-02: add by m2/dev
FTXPX67NN8 FTXPX67NN8
| URI | m2://inv/FTXPX67NN8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05646#T1Q8 (statement). In K7Z6TZDFYK/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
FTXXBQHFTW FTXXBQHFTW
| URI | m2://inv/FTXXBQHFTW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20798#VHQL (statement)
History
- 2026-11-02: add by m2/v0.6.18
The Ancient Tradition of Geometric Problems FTXYK2BHGY
| URI | m2://inv/FTXYK2BHGY |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Ancient Tradition of Geometric Problems, The Ancient Tradition of Geometric Problems (problem). Also Wikidata Q96408399
History
- 2026-11-02: add by m2/dev
Leo Rosen FTY8XNNSN4
| URI | m2://inv/FTY8XNNSN4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#AHTX, Leo Rosen (topic)
History
- 2026-11-02: add by m2/dev
FTYCKXBS8W FTYCKXBS8W
| URI | m2://inv/FTYCKXBS8W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07114#9ELZ (statement). In HP3TM356J6/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
FTYFNKB0YB FTYFNKB0YB
| URI | m2://inv/FTYFNKB0YB |
|---|---|
| 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.02709#G6IW (statement). In TSM48CSQV8/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
FTYK3W478Q FTYK3W478Q
| URI | m2://inv/FTYK3W478Q |
|---|---|
| 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.08370#35Q4 (statement). In EQN3EZRZYQ/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Definition FTYK6QZPW7
| URI | m2://inv/FTYK6QZPW7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-algebra#LTL8, Definition (definition)
History
- 2026-11-02: add by m2/dev
FTYKZWMCRQ FTYKZWMCRQ
| URI | m2://inv/FTYKZWMCRQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-20 (exercise). In E9HS8K3A52, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
FTYTE5ZTGP FTYTE5ZTGP
| URI | m2://inv/FTYTE5ZTGP |
|---|---|
| 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 1011.5443#SIE7 (statement). In VQ0K2GV62A/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
FTYZ4MD03G FTYZ4MD03G
| URI | m2://inv/FTYZ4MD03G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07064#SMH2 (statement). In GPK6W5XQM3/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.10
Factorion FTYZTBTBRV
| URI | m2://inv/FTYZTBTBRV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#9DLV, Factorion (definition)
History
- 2026-11-02: add by m2/dev
Examples FTZ4AGSGF0
| URI | m2://inv/FTZ4AGSGF0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical contact distribution function#I2B7, Examples (example)
History
- 2026-11-02: add by m2/dev
Hélène Frankowska FTZ6RM3YV3
| URI | m2://inv/FTZ6RM3YV3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LPPC, Hélène Frankowska (topic)
History
- 2026-11-02: add by m2/dev
The nonsensitive-block criterion for \(Q_{6,1}\ FTZA6V29ZC
| URI | m2://inv/FTZA6V29ZC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17100#F1NF, The nonsensitive-block criterion for \(Q_{6,1}\ (example). In 4TSS52DMB2/e1, example 2.11
History
- 2026-10-28: add by m2/v0.4.2
Grimmett, Geoffrey FTZJVEFFCD
| URI | m2://inv/FTZJVEFFCD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#R2FE, Grimmett, Geoffrey (topic)
History
- 2026-11-02: add by m2/dev
FTZTHEK92A FTZTHEK92A
| URI | m2://inv/FTZTHEK92A |
|---|---|
| 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.05146#KOAY (statement). In 63MJS935N4/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10