Inventory rows FK
The cards of the rows of the inventory whose ids start with FK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
FK08EAKPG3 FK08EAKPG3
| URI | m2://inv/FK08EAKPG3 |
|---|---|
| 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.30097#0VV4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
FK0AT7ZDY0 FK0AT7ZDY0
| URI | m2://inv/FK0AT7ZDY0 |
|---|---|
| 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.00625#OBKX (statement). In BGA625B7W1/e1, proposition 1.6
History
- 2026-10-30: add by m2/v0.4.12
self-adjoint FK0AWCA6J1
| URI | m2://inv/FK0AWCA6J1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7448009, self-adjoint (unknown). Also MathWorld Self-AdjointElement
- wikipedia: Wikipedia Self-adjoint element, Self-adjoint element (definition). Also Wikidata Q7448009
History
- 2026-10-26: add by m2/dev
FK0GE8TZ9N FK0GE8TZ9N
| URI | m2://inv/FK0GE8TZ9N |
|---|---|
| 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 2304.03611#KFVB (statement). In 75E8ZB1CBV/e1, proposition 5.3.3
History
- 2026-10-27: add by m2/v0.4.0
Scoring rule FK0H6M1Q7Q
| URI | m2://inv/FK0H6M1Q7Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scoring rule, Scoring rule (definition). Also Wikidata Q2260590
History
- 2026-11-02: add by m2/dev
FK0Q9ECY4T FK0Q9ECY4T
| URI | m2://inv/FK0Q9ECY4T |
|---|---|
| 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.30648#K0JW (statement). In 2P83KYQCMA/e1, lemma 10
History
- 2026-10-31: add by m2/v0.5.6
Donald McQuillan FK0W6KMKWZ
| URI | m2://inv/FK0W6KMKWZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald McQuillan, Donald McQuillan (topic). Also Wikidata Q102115466
History
- 2026-11-02: add by m2/dev
FK0WTPPXMN FK0WTPPXMN
| URI | m2://inv/FK0WTPPXMN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18270#W0M8 (definition). In CPDMYJ0NJV/e1, definition 3.6
History
- 2026-10-28: add by m2/v0.4.2
Finite-rank moment identity FK100AS56Z
| URI | m2://inv/FK100AS56Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03912#433E, Finite-rank moment identity (statement). In RJ553C7NJM/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.12
FK10EZMQP5 FK10EZMQP5
| URI | m2://inv/FK10EZMQP5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-4 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
FK131BP6RS FK131BP6RS
| URI | m2://inv/FK131BP6RS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35340#GNNV (statement). In WCY07D1CJG/e1, corollary 4.5
History
- 2026-10-30: add by m2/v0.4.12
FK1EM8GWHE FK1EM8GWHE
| URI | m2://inv/FK1EM8GWHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11478#TK7H (statement). In R81S9R1XNR/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.3
FK1Q2SJ6CP FK1Q2SJ6CP
| URI | m2://inv/FK1Q2SJ6CP |
|---|---|
| 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.22040#G3A3 (statement). In 2QP93JHYNB/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.4.2
Pilar Ibarrola FK1V9SHRZD
| URI | m2://inv/FK1V9SHRZD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pilar Ibarrola, Pilar Ibarrola (topic). Also Wikidata Q106543772
History
- 2026-11-02: add by m2/dev
Alpha mapping FK1VX4ABP7
| URI | m2://inv/FK1VX4ABP7 |
|---|---|
| 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#56AB, Alpha mapping (unknown)
History
- 2026-11-02: add by m2/dev
Definition FK23NCS50S
| URI | m2://inv/FK23NCS50S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Splicing language#U03C, Definition (definition)
History
- 2026-11-02: add by m2/dev
Refinement (topology) FK2DA5GM64
| URI | m2://inv/FK2DA5GM64 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cover (topology)#03DM, Refinement (topology) (unknown)
History
- 2026-11-02: add by m2/dev
S-cobordism theorem FK2GX1X1MT
| URI | m2://inv/FK2GX1X1MT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometric topology topics#36OS, S-cobordism theorem (definition)
History
- 2026-11-02: add by m2/dev
$D^L$ eigenvalue-free interval FK2YJY1FEX
| URI | m2://inv/FK2YJY1FEX |
|---|---|
| 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.13429#F7CW, $D^L$ eigenvalue-free interval (statement). In B2VB5T5WQD/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
Abundance estimation FK30YJZ4S4
| URI | m2://inv/FK30YJZ4S4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abundance estimation, Abundance estimation (definition). Also Wikidata Q16245026
History
- 2026-11-02: add by m2/dev
FK32028BJ5 FK32028BJ5
| URI | m2://inv/FK32028BJ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#FLWL (statement). In 2QF1YG9DD0/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
p-divisible group FK3AVTHGV4
| URI | m2://inv/FK3AVTHGV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#YKKV, p-divisible group (definition)
History
- 2026-11-02: add by m2/dev
Properties FK3EE0FJN4
| URI | m2://inv/FK3EE0FJN4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated triangular cupola#089B, Properties (statement)
History
- 2026-11-02: add by m2/dev
integral domain FK3G31ST3Z
| URI | m2://inv/FK3G31ST3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#S6D2, integral domain (definition)
History
- 2026-11-02: add by m2/dev
FK3QYS3QV8 FK3QYS3QV8
| URI | m2://inv/FK3QYS3QV8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#88EA (statement). In 6G1KBA0SXV/e1, lemma 3.27
History
- 2026-10-31: add by m2/v0.5.6
Five circles theorem FK40HFZMQK
| URI | m2://inv/FK40HFZMQK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#LXL5, Five circles theorem (statement)
History
- 2026-11-02: add by m2/dev
FK444G439E FK444G439E
| URI | m2://inv/FK444G439E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#cor-1 (statement). In E59CDZA4DP, cor, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
FK45S3BD17 FK45S3BD17
| URI | m2://inv/FK45S3BD17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.00312#CNWF (statement). In 41NFABHFXH/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
FK4APFG40W FK4APFG40W
| URI | m2://inv/FK4APFG40W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 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 2609.31523#4M4A (definition). In 2BET1RE1F6/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
FK4GNWA28A FK4GNWA28A
| URI | m2://inv/FK4GNWA28A |
|---|---|
| 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 2405.10580#EWG9 (statement). In FXEJE0PWEP/e1, theorem 7.3
History
- 2026-10-27: add by m2/v0.3.5
FK4HGWXZ8F FK4HGWXZ8F
| URI | m2://inv/FK4HGWXZ8F |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/equinumerous-sets.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 83.6
History
- 2026-11-01: add by m2/v0.6.13
Bella Subbotovskaya FK4NGZR8KJ
| URI | m2://inv/FK4NGZR8KJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bella Subbotovskaya, Bella Subbotovskaya (topic). Also Wikidata Q815757
History
- 2026-11-02: add by m2/dev
FK4YK7NXAZ FK4YK7NXAZ
| URI | m2://inv/FK4YK7NXAZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-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.23527#EDR7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Multitree FK504Q0SP0
| URI | m2://inv/FK504Q0SP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multitree, Multitree (definition). Also Wikidata Q6935120
History
- 2026-11-02: add by m2/dev
Gluing the slices FK5D63EJ2Q
| URI | m2://inv/FK5D63EJ2Q |
|---|---|
| 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.18350#7JA2, Gluing the slices (statement). In A20E8FZS21/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
FK5SFFEFGK FK5SFFEFGK
| URI | m2://inv/FK5SFFEFGK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2508.21045#GQ6K (statement). In CGA36VE1C5/e1, lemma 3.8.2
History
- 2026-10-27: add by m2/v0.3.6
FK64M4S41S FK64M4S41S
| URI | m2://inv/FK64M4S41S |
|---|---|
| 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#6G28 (statement). In XYCBKM4WKY/e1, lemma 21
History
- 2026-10-27: add by m2/v0.3.5
FK6E592WHZ FK6E592WHZ
| URI | m2://inv/FK6E592WHZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20607#RXU8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
FK6EDJGCMK FK6EDJGCMK
| URI | m2://inv/FK6EDJGCMK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2508.21045#NB5D (statement). In CGA36VE1C5/e1, fact 2.3.1
History
- 2026-10-27: add by m2/v0.3.6
Cophenetic correlation FK6EF9BQAD
| URI | m2://inv/FK6EF9BQAD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cophenetic correlation, Cophenetic correlation (definition). Also Wikidata Q5168561
History
- 2026-11-02: add by m2/dev
Partial fractions in complex analysis FK6G26DSET
| URI | m2://inv/FK6G26DSET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial fractions in complex analysis, Partial fractions in complex analysis (definition). Also Wikidata Q4312356
History
- 2026-11-02: add by m2/dev
FK6MP0EVSR FK6MP0EVSR
| URI | m2://inv/FK6MP0EVSR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17875#93LK (statement). In AQX7DGD360/e1, corollary 6.20
History
- 2026-10-28: add by m2/v0.4.2
FK6NWF7VKP FK6NWF7VKP
| URI | m2://inv/FK6NWF7VKP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/beta-reduction.tex#lem:one-par (statement). In PKGMM3P5QY, lem, section 35.2
History
- 2026-11-01: add by m2/v0.6.13
FK6WZXPETV FK6WZXPETV
| URI | m2://inv/FK6WZXPETV |
|---|---|
| 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.06206#ZOSO (statement). In A7611PTXVQ/e1, theorem 4.7
History
- 2026-10-29: add by m2/v0.4.10
nonic FK72BV3YG9
| URI | m2://inv/FK72BV3YG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#4MBV, nonic (definition)
History
- 2026-11-02: add by m2/dev
FK797H3W0Q FK797H3W0Q
| URI | m2://inv/FK797H3W0Q |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#proof-1 (proof). In Y91XFCEVHQ, proof, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Essential form of the inequality FK7BC435RY
| URI | m2://inv/FK7BC435RY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prékopa–Leindler inequality#EIAF, Essential form of the inequality (statement)
History
- 2026-11-02: add by m2/dev
cover, universal FK7ECP6Z8A
| URI | m2://inv/FK7ECP6Z8A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.1.2/cover-universal, cover, universal (concept). In N54F33XE07, index, section 7.1.2
History
- 2026-11-01: add by m2/v0.6.13
FK81CVRGFC FK81CVRGFC
| URI | m2://inv/FK81CVRGFC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-6 (exercise). In VNMV985MXX, exercise, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Theorem 3 FK81GZBZJ4
| URI | m2://inv/FK81GZBZJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coiflet#I8PY, Theorem 3 (statement)
History
- 2026-11-02: add by m2/dev
Canonical characterization of an Arthur distribution FK86QD19VV
| URI | m2://inv/FK86QD19VV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16931#0DQ9, Canonical characterization of an Arthur distribution (statement). In H7DMRWBBJN/e1, theorem 5.10
History
- 2026-10-28: add by m2/v0.4.2
Examples FK86T15AN4
| URI | m2://inv/FK86T15AN4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic progression (mathematics)#H9YX, Examples (example)
History
- 2026-11-02: add by m2/dev
Jakob Levitzki FK89G3N9QF
| URI | m2://inv/FK89G3N9QF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jakob Levitzki, Jakob Levitzki (topic). Also Wikidata Q452467
History
- 2026-11-02: add by m2/dev
Applications FK8FCF0GS6
| URI | m2://inv/FK8FCF0GS6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of harmonic analysis topics#DWKS, Applications (example)
History
- 2026-11-02: add by m2/dev
Unrestricted feasibility FK8HHZ6XVC
| URI | m2://inv/FK8HHZ6XVC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#KDIT, Unrestricted feasibility (statement)
History
- 2026-11-01: add by m2/v0.6.15
Philip Candelas FK8JA1HA6Z
| URI | m2://inv/FK8JA1HA6Z |
|---|---|
| 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 Q2086091, Philip Candelas (unknown). Also nLab Philip Candelas
- wikipedia: Wikipedia Philip Candelas, Philip Candelas (topic). Also Wikidata Q2086091
History
- 2026-10-26: add by m2/dev
nth root FK8QVG00Y4
| URI | m2://inv/FK8QVG00Y4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q601053, nth root (unknown). Also MathWorld Surd, MathWorld nthRoot
- wikipedia: Wikipedia Nth root, Nth root (definition). Also Wikidata Q601053
History
- 2026-10-26: add by m2/dev
FK8TKPJ8B5 FK8TKPJ8B5
| URI | m2://inv/FK8TKPJ8B5 |
|---|---|
| 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.11481#VAMH (statement). In 8XHK5ZCX7H/e1, corollary 4.7
History
- 2026-10-28: add by m2/v0.4.3
variable FK8Y4212MA
| URI | m2://inv/FK8Y4212MA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.1/variable, variable (concept). In N54F33XE07, index, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Theodorus of Cyrene FK93KWHTA6
| URI | m2://inv/FK93KWHTA6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#N6S8, Theodorus of Cyrene (unknown)
History
- 2026-11-02: add by m2/dev
Material-derivative inequalities FK95HAPCEP
| URI | m2://inv/FK95HAPCEP |
|---|---|
| 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.04894#LCX2, Material-derivative inequalities (statement). In AZZ35SDENN/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Relative standard deviation FK976ZBJX8
| URI | m2://inv/FK976ZBJX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HHMH, Relative standard deviation (definition)
History
- 2026-11-02: add by m2/dev
Second moment bounds FK9FYWAG0H
| URI | m2://inv/FK9FYWAG0H |
|---|---|
| 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.03555#DUI7, Second moment bounds (statement). In 9JZJTRRVR1/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.12
FK9GZBQQW4 FK9GZBQQW4
| URI | m2://inv/FK9GZBQQW4 |
|---|---|
| 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 2308.02672#YM51 (statement). In ETRT1R1CQ8/e1, theorem 9.4
History
- 2026-10-27: add by m2/v0.4.0
Derivative root count FK9N6Y51XR
| URI | m2://inv/FK9N6Y51XR |
|---|---|
| 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.33327#X5VS, Derivative root count (statement). In A5R31P82BK/e1, lemma 2.11
History
- 2026-10-30: add by m2/v0.4.12
Walter Rudin FK9NNDBXNJ
| URI | m2://inv/FK9NNDBXNJ |
|---|---|
| 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 Q470503, Walter Rudin (unknown). Also nLab Walter Rudin
- wikipedia: Wikipedia Walter Rudin, Walter Rudin (topic). Also Wikidata Q470503
History
- 2026-10-26: add by m2/dev
FK9Q4V95VN FK9Q4V95VN
| URI | m2://inv/FK9Q4V95VN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.07240#ZS8Y (statement). In D0F1GK5AHW/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
FK9TBRR25R FK9TBRR25R
| URI | m2://inv/FK9TBRR25R |
|---|---|
| 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.18205#P58W (statement). In Y37VAPDKE4/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
Fixed-$p$ asymptotics FKA4MEPN7G
| URI | m2://inv/FKA4MEPN7G |
|---|---|
| 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#GLOK, Fixed-$p$ asymptotics (statement). In DFZWC9HY0T/e1, corollary 1.1
History
- 2026-10-29: add by m2/v0.4.12
An adjacent-scale paired diagnostic FKA9WNJEXP
| URI | m2://inv/FKA9WNJEXP |
|---|---|
| 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.15202#1JOM, An adjacent-scale paired diagnostic (statement). In X1FPG0KYBM/e1, proposition B.4
History
- 2026-10-28: add by m2/v0.4.2
FKAFBKTQV0 FKAFBKTQV0
| URI | m2://inv/FKAFBKTQV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-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 2609.38243#L9L9 (statement). In R03K2N7FRF/e1, lemma C.10
History
- 2026-10-30: add by m2/v0.4.12
Ingrid Daubechies FKAQN8XJ6R
| URI | m2://inv/FKAQN8XJ6R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ingrid Daubechies, Ingrid Daubechies (topic). Also Wikidata Q275604
History
- 2026-11-02: add by m2/dev
Ludwig Sylow FKAVZV0D5F
| URI | m2://inv/FKAVZV0D5F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#NUEP, Ludwig Sylow (topic)
History
- 2026-11-02: add by m2/dev
Jurassic Park FKB435KCB1
| URI | m2://inv/FKB435KCB1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#32MJ, Jurassic Park (unknown)
History
- 2026-11-02: add by m2/dev
covering an edit region FKB4SMEXR4
| URI | m2://inv/FKB4SMEXR4 |
|---|---|
| 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.05696#NPTC, covering an edit region (definition). In MG81A9XJTQ/e1, definition II.4
History
- 2026-10-29: add by m2/v0.4.10
FKB9TSW09Q FKB9TSW09Q
| URI | m2://inv/FKB9TSW09Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11210#G7TB (definition). In CRFDGFZHBF/e1, definition 8.1
History
- 2026-10-28: add by m2/v0.4.3
Applications FKBBTEXAQQ
| URI | m2://inv/FKBBTEXAQQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur multiplier#KBXH, Applications (example)
History
- 2026-11-02: add by m2/dev
FKBMM55P1N FKBMM55P1N
| URI | m2://inv/FKBMM55P1N |
|---|---|
| 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.21723#1384 (definition)
History
- 2026-11-02: add by m2/v0.6.18
FKBMVS77F2 FKBMVS77F2
| URI | m2://inv/FKBMVS77F2 |
|---|---|
| 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 2605.30285#JLA4 (statement). In YMY0NNSM27/e1, lemma 5.14
History
- 2026-10-27: add by m2/v0.3.6
GNU TeXmacs FKBP5G7VZ1
| URI | m2://inv/FKBP5G7VZ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#A0QI, GNU TeXmacs (unknown)
History
- 2026-11-02: add by m2/dev
strong epimorphism FKBPQF2QFC
| URI | m2://inv/FKBPQF2QFC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q49000648, strong epimorphism (unknown). Also nLab strong epimorphism
History
- 2026-10-26: add by m2/dev
Results FKBQY93680
| URI | m2://inv/FKBQY93680 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexey Ivakhnenko#BJJ6, Results (statement)
History
- 2026-11-02: add by m2/dev
Unattainable Optimal Policy FKBZNY2GJR
| URI | m2://inv/FKBZNY2GJR |
|---|---|
| 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.10167#FLKL, Unattainable Optimal Policy (statement). In SVMDSE7PKG/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Order bound dual FKC7EJWD2R
| URI | m2://inv/FKC7EJWD2R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order bound dual, Order bound dual (definition). Also Wikidata Q96397657
History
- 2026-11-02: add by m2/dev
Ihaka, Ross FKC7EQQ4J5
| URI | m2://inv/FKC7EQQ4J5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#JR7K, Ihaka, Ross (topic)
History
- 2026-11-02: add by m2/dev
Definition FKC9S59SWJ
| URI | m2://inv/FKC9S59SWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-Archimedean ordered field#TNAU, Definition (definition)
History
- 2026-11-02: add by m2/dev
chain homotopy FKCMB9GKBT
| URI | m2://inv/FKCMB9GKBT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Homotopy category of chain complexes 9Y5Y92R4D5 |
Mentions
- wikidata: Wikidata Q1430845, chain homotopy (unknown). Also MathWorld ChainHomotopy, nLab chain homotopy
- wikipedia: Wikipedia Homotopy category of chain complexes, Homotopy category of chain complexes (definition). Also Wikidata Q1430845
History
- 2026-10-26: add by m2/dev
FKD0AMBZND FKD0AMBZND
| URI | m2://inv/FKD0AMBZND |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-25 (statement). In VNMV985MXX, prop, section B
History
- 2026-11-01: add by m2/v0.6.13
Semi-differentiability FKD1KN3AAM
| URI | m2://inv/FKD1KN3AAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-differentiability, Semi-differentiability (definition). Also Wikidata Q4370927
History
- 2026-11-02: add by m2/dev
FKDB51E6FZ FKDB51E6FZ
| URI | m2://inv/FKDB51E6FZ |
|---|---|
| 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.05193#5DK2 (statement). In XDMM0KNNZ9/e1, lemma 36
History
- 2026-10-29: add by m2/v0.4.10
Excursion probability FKDF6BQH63
| URI | m2://inv/FKDF6BQH63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Excursion probability, Excursion probability (definition). Also Wikidata Q5419724
History
- 2026-11-02: add by m2/dev
Folklore FKDNR39P8M
| URI | m2://inv/FKDNR39P8M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31331#VHAX, Folklore (statement). In TWB64HRHWZ/e1, lemma 1
History
- 2026-10-31: add by m2/v0.5.6
Axiom of choice in type theory FKDX1K9M8D
| URI | m2://inv/FKDX1K9M8D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of choice#TVQV, Axiom of choice in type theory (statement)
History
- 2026-11-02: add by m2/dev
FKE1T8R9RA FKE1T8R9RA
| URI | m2://inv/FKE1T8R9RA |
|---|---|
| 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.36811#X7EB (statement). In ZQDX8E43SQ/e1, proposition 2.5
History
- 2026-10-30: add by m2/v0.4.12
FKE89T48K8 FKE89T48K8
| URI | m2://inv/FKE89T48K8 |
|---|---|
| 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.16505#WWN7 (statement). In P9V43TXCJ3/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Special cases FKEFYK4DZ0
| URI | m2://inv/FKEFYK4DZ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central triangle#382B, Special cases (statement)
History
- 2026-11-02: add by m2/dev
FKEHJFKEB3 FKEHJFKEB3
| URI | m2://inv/FKEHJFKEB3 |
|---|---|
| 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#DYM6 (statement). In 57PQWSSZMY/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
Formulas FKEJ18HXHM
| URI | m2://inv/FKEJ18HXHM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial theorem#97OZ, Formulas (statement)
History
- 2026-11-02: add by m2/dev
Reflexive operator algebra FKEN4T1STC
| URI | m2://inv/FKEN4T1STC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflexive operator algebra, Reflexive operator algebra (definition). Also Wikidata Q7307359
History
- 2026-11-02: add by m2/dev
FKEQC11D1J FKEQC11D1J
| URI | m2://inv/FKEQC11D1J |
|---|---|
| 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.17479#OQSW (statement). In 4FWAY748N7/e1, lemma 4.10
History
- 2026-10-28: add by m2/v0.4.2
Huygens–Fresnel principle FKER0STTAZ
| URI | m2://inv/FKER0STTAZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Huygens–Fresnel principle, Huygens–Fresnel principle (statement). Also Wikidata Q188321
History
- 2026-11-02: add by m2/dev
FKESQV55RG FKESQV55RG
| URI | m2://inv/FKESQV55RG |
|---|---|
| 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 2609.25157#40FX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Finite global dimension FKEWRQSPZ7
| URI | m2://inv/FKEWRQSPZ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#0V5J, Finite global dimension (statement). In 6G1KBA0SXV/e1, lemma 4.17
History
- 2026-10-31: add by m2/v0.5.6
FKF0CE9MVE FKF0CE9MVE
| URI | m2://inv/FKF0CE9MVE |
|---|---|
| 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#5LOJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
FKF27R4FDR FKF27R4FDR
| URI | m2://inv/FKF27R4FDR |
|---|---|
| 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 2609.28664#6Z32 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Capture criterion FKF3TFS566
| URI | m2://inv/FKF3TFS566 |
|---|---|
| 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#I0LJ, Capture criterion (statement). In DR7BK4CQ0V/e1, lemma 3.12
History
- 2026-10-28: add by m2/v0.4.3
FKF8AR48P0 FKF8AR48P0
| URI | m2://inv/FKF8AR48P0 |
|---|---|
| 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 2512.22986#3KY8 (definition). In GFP8TEKFBC/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
FKFJA8ST94 FKFJA8ST94
| URI | m2://inv/FKFJA8ST94 |
|---|---|
| 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.12810#8DZ6 (statement). In DR35633CPN/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
FKFMS3Y3H4 FKFMS3Y3H4
| URI | m2://inv/FKFMS3Y3H4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#HM4F (statement)
History
- 2026-11-02: add by m2/v0.6.17
Area theorem FKFPNJYPPY
| URI | m2://inv/FKFPNJYPPY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4788680, Area theorem (conformal mapping) (statement). Also Wikidata Q4788680
- thousand_plus: thousand_plus Q4788680, Area theorem (conformal mapping) (statement). Also Wikidata Q4788680, Wikipedia Area theorem (conformal mapping)
- wikipedia: Wikipedia Area theorem (conformal mapping), Area theorem (statement). Also Wikidata Q4788680
History
- 2026-10-26: add by m2/dev
FKFVD5FR2X FKFVD5FR2X
| URI | m2://inv/FKFVD5FR2X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.16580#97FU (statement). In MQPBZX4DR6/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
FKG239CAD1 FKG239CAD1
| URI | m2://inv/FKG239CAD1 |
|---|---|
| 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 2609.36423#PIXL (definition). In Q5Z178SAHP/e1, definition 4.2
History
- 2026-10-30: add by m2/v0.4.12
FKG27R63XW FKG27R63XW
| URI | m2://inv/FKG27R63XW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06321#0SRQ (statement). In PGV1116XX4/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
Steric 6-cubes FKG4XFBRGH
| URI | m2://inv/FKG4XFBRGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steric 6-cubes, Steric 6-cubes (definition). Also Wikidata Q7379707
History
- 2026-11-02: add by m2/dev
FKGADARY0H FKGADARY0H
| URI | m2://inv/FKGADARY0H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27689#KAT3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
FKGETTQ6JQ FKGETTQ6JQ
| URI | m2://inv/FKGETTQ6JQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-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.20522#BHG4 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Fekete problem FKGH3AYE02
| URI | m2://inv/FKGH3AYE02 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#JEGH, Fekete problem (problem)
History
- 2026-11-02: add by m2/dev
FKGHWZP82C FKGHWZP82C
| URI | m2://inv/FKGHWZP82C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#UAB1 (statement). In X1AGBB90EH/e1, proposition 7.22
History
- 2026-10-28: add by m2/v0.4.2
FKGJHKJYX8 FKGJHKJYX8
| URI | m2://inv/FKGJHKJYX8 |
|---|---|
| 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#DLA1 (statement). In 13GSWBXPCM/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
Technical description of the null hypothesis FKGTERT6F7
| URI | m2://inv/FKGTERT6F7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical hypothesis test#0MK6, Technical description of the null hypothesis (statement)
History
- 2026-11-02: add by m2/dev
kernel FKGW2QH2JD
| URI | m2://inv/FKGW2QH2JD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#A4DK, kernel (definition)
History
- 2026-11-02: add by m2/dev
Related conjectures FKGZ426T7H
| URI | m2://inv/FKGZ426T7H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harborth's conjecture#SQNV, Related conjectures (statement)
History
- 2026-11-02: add by m2/dev
FKH0Q9K8VE FKH0Q9K8VE
| URI | m2://inv/FKH0Q9K8VE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25100#5ZRK (definition)
History
- 2026-11-01: add by m2/v0.6.15
FKH2GFSCMJ FKH2GFSCMJ
| URI | m2://inv/FKH2GFSCMJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.01612#VUMC (statement). In A5KESSK05N/e1, theorem 2.9
History
- 2026-10-27: add by m2/v0.3.5
FKH3YSQSRT FKH3YSQSRT
| URI | m2://inv/FKH3YSQSRT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#3A2L (definition). In JS5FKV1S9T/e1, definition A.1
History
- 2026-10-27: add by m2/v0.3.5
FKH60H1570 FKH60H1570
| URI | m2://inv/FKH60H1570 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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.28742#FPR3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
FKH7XJC14Q FKH7XJC14Q
| URI | m2://inv/FKH7XJC14Q |
|---|---|
| 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.25457#AOY1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
positive, type FKH8A2E6J7
| URI | m2://inv/FKH8A2E6J7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.12/positive-type, positive, type (concept). In N54F33XE07, index, section 1.12
History
- 2026-11-01: add by m2/v0.6.13
FKHCHG4F4E FKHCHG4F4E
| URI | m2://inv/FKHCHG4F4E |
|---|---|
| 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.28501#VDPB (statement)
History
- 2026-11-01: add by m2/v0.6.15
history of quantum mechanics FKHDDD2JTD
| URI | m2://inv/FKHDDD2JTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2358974, history of quantum mechanics (definition). Also ProofWiki Definition:Quantum_Mechanics/Historical_Note
History
- 2026-10-26: add by m2/dev
FKHFAZ91Q8 FKHFAZ91Q8
| URI | m2://inv/FKHFAZ91Q8 |
|---|---|
| Kind | definition |
| 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 2609.20514#ICGK (definition)
History
- 2026-11-02: add by m2/v0.6.18
FKHH9DQ5BJ FKHH9DQ5BJ
| URI | m2://inv/FKHH9DQ5BJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#UE0F (definition). In A1GWWGRXPA/e1, definition 5.6
History
- 2026-10-27: add by m2/v0.4.2
Weighted Young's inequality FKHK1SZMZC
| URI | m2://inv/FKHK1SZMZC |
|---|---|
| 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 2106.09062#7FRS, Weighted Young's inequality (statement). In 8HAH8QVKDF/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.6
Blondel's theorem FKHKCYR7K4
| URI | m2://inv/FKHKCYR7K4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WT1S, Blondel's theorem (statement)
History
- 2026-11-02: add by m2/dev
FKHR9ZCYTR FKHR9ZCYTR
| URI | m2://inv/FKHR9ZCYTR |
|---|---|
| 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.22345#F1OC (statement). In 7JATJ4VG9G/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.4.0
Properties FKHSV78BZV
| URI | m2://inv/FKHSV78BZV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite difference#74WG, Properties (statement)
History
- 2026-11-02: add by m2/dev
FKHV4W7T8N FKHV4W7T8N
| URI | m2://inv/FKHV4W7T8N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08202#50K4 (statement). In N7XJ16700B/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.10
FKJ63FEW87 FKJ63FEW87
| URI | m2://inv/FKJ63FEW87 |
|---|---|
| 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.02535#7XRF (statement). In S26PXDSWM9/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Ariane Mézard FKJ8TPA3Y3
| URI | m2://inv/FKJ8TPA3Y3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ariane Mézard, Ariane Mézard (topic). Also Wikidata Q102230367
History
- 2026-11-02: add by m2/dev
FKJECJ8GYN FKJECJ8GYN
| URI | m2://inv/FKJECJ8GYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#2DD9 (statement). In GXHKRV5BPY/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
FKJJM5W13A FKJJM5W13A
| URI | m2://inv/FKJJM5W13A |
|---|---|
| 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.12732#IHAV (statement). In 5E91Y3VY9E/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
FKJNPRVCJ8 FKJNPRVCJ8
| URI | m2://inv/FKJNPRVCJ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.19866#MWXZ (statement). In 9F94CEQ1ZM/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
FKJRS80B60 FKJRS80B60
| URI | m2://inv/FKJRS80B60 |
|---|---|
| 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.08357#9EEU (statement). In R9GRCAWHG0/e1, proposition 5.9
History
- 2026-10-29: add by m2/v0.4.10
great snub dodecicosidodecahedron FKJVMKA6B3
| URI | m2://inv/FKJVMKA6B3 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47689, great snub dodecicosidodecahedron (unknown). Also MathWorld GreatSnubDodecicosidodecahedron
- wikipedia: Wikipedia Great snub dodecicosidodecahedron, Great snub dodecicosidodecahedron (object). Also Wikidata Q47689
History
- 2026-10-26: add by m2/dev
FKJWA65ANN FKJWA65ANN
| URI | m2://inv/FKJWA65ANN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27114#AB8M (statement)
History
- 2026-11-01: add by m2/v0.6.15
FKK1CMKRKN FKK1CMKRKN
| URI | m2://inv/FKK1CMKRKN |
|---|---|
| Kind | example |
| 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.08935#ZGOD (example). In G02N9D40B9/e1, example 1.5.2
History
- 2026-10-29: add by m2/v0.4.10
All horses are the same color FKK1Y4BVR4
| URI | m2://inv/FKK1Y4BVR4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#S3X5, All horses are the same color (definition)
History
- 2026-11-02: add by m2/dev
Littlewood conjecture FKK7T77XNF
| URI | m2://inv/FKK7T77XNF |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littlewood conjecture, Littlewood conjecture (conjecture). Also Wikidata Q6653177
History
- 2026-11-02: add by m2/dev
Rectified 600-cell FKK9ES1SBS
| URI | m2://inv/FKK9ES1SBS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#L08I, Rectified 600-cell (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#SJQ2, Rectified 600-cell (definition)
History
- 2026-11-02: add by m2/dev
FKKFE5GD18 FKKFE5GD18
| URI | m2://inv/FKKFE5GD18 |
|---|---|
| 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.22374#3YYU (statement)
History
- 2026-11-02: add by m2/v0.6.17
Mean Embedding FKKHG4J152
| URI | m2://inv/FKKHG4J152 |
|---|---|
| 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.19861#9PMT, Mean Embedding (definition). In 5ZPQ60TM6J/e1, definition 20
History
- 2026-10-28: add by m2/v0.4.2
FKKWKGTRXD FKKWKGTRXD
| URI | m2://inv/FKKWKGTRXD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/constructions.tex#definition-3 (definition). In RZP28ERRZV, definition, section 96.3
History
- 2026-11-01: add by m2/v0.6.13
Linked field FKKY0CRHPF
| URI | m2://inv/FKKY0CRHPF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#DA8Z, Linked field (definition)
History
- 2026-11-02: add by m2/dev
FKKZRQ2Z6J FKKZRQ2Z6J
| URI | m2://inv/FKKZRQ2Z6J |
|---|---|
| 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#76Q5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mitofsky, Warren FKM0ZPWK8N
| URI | m2://inv/FKM0ZPWK8N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#LBRL, Mitofsky, Warren (unknown)
History
- 2026-11-02: add by m2/dev
FKM8Y69ES8 FKM8Y69ES8
| URI | m2://inv/FKM8Y69ES8 |
|---|---|
| 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 2609.32524#GHPY (statement). In XGCND7R0B0/e1, lemma 2.7
History
- 2026-10-31: add by m2/v0.5.6
ball FKMBS7PEG5
| URI | m2://inv/FKMBS7PEG5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#5HTP, ball (definition)
History
- 2026-11-02: add by m2/dev
Theorem FKMMK94NMW
| URI | m2://inv/FKMMK94NMW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn–Banach theorem#UB6I, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Antithetic variates FKMVKQQ3KM
| URI | m2://inv/FKMVKQQ3KM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antithetic variates, Antithetic variates (definition). Also Wikidata Q3554719
History
- 2026-11-02: add by m2/dev
critical value FKMXCV1MC8
| URI | m2://inv/FKMXCV1MC8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/3.3.2/critical-value, critical value (concept). In 907G4C4EJ1, index, section 3.3.2
History
- 2026-11-01: add by m2/v0.6.13
Sichere Inter-Netzwerk Architektur FKMXK818YK
| URI | m2://inv/FKMXK818YK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sichere Inter-Netzwerk Architektur, Sichere Inter-Netzwerk Architektur (definition). Also Wikidata Q1679504
History
- 2026-11-02: add by m2/dev
Definition FKMXRVTV0D
| URI | m2://inv/FKMXRVTV0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trapdoor function#M35Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
A Course in Arithmetic FKN0PEHQGE
| URI | m2://inv/FKN0PEHQGE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#EP71, A Course in Arithmetic (topic)
History
- 2026-11-02: add by m2/dev
Lower bound under SGC FKN1H5WB4F
| URI | m2://inv/FKN1H5WB4F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#RQXS, Lower bound under SGC (statement). In X5BYGZZHPF/e1, lemma G.2
History
- 2026-10-28: add by m2/v0.4.2
Examples FKN4444151
| URI | m2://inv/FKN4444151 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-adjoint element#UNMJ, Examples (example)
History
- 2026-11-02: add by m2/dev
FKNJ5R6Z05 FKNJ5R6Z05
| URI | m2://inv/FKNJ5R6Z05 |
|---|---|
| Kind | example |
| 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#8UCU (example). In 5ZPSZFE08Q/e1, example 5.11
History
- 2026-10-29: add by m2/v0.4.10
FKNM5MEGH3 FKNM5MEGH3
| URI | m2://inv/FKNM5MEGH3 |
|---|---|
| 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.01924#5FMO (statement). In CB89152EQW/e1, lemma 27
History
- 2026-10-29: add by m2/v0.4.12
Statement FKNNYP8F4N
| URI | m2://inv/FKNNYP8F4N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birkhoff–Grothendieck theorem#PIV5, Statement (statement)
History
- 2026-11-02: add by m2/dev
FKNQ7DB3KJ FKNQ7DB3KJ
| URI | m2://inv/FKNQ7DB3KJ |
|---|---|
| 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.00241#XLX7 (statement). In VBRQTN2RXN/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
⋉ FKNSBZAR42
| URI | m2://inv/FKNSBZAR42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#F90T, ⋉ (definition)
History
- 2026-11-02: add by m2/dev
FKNSK4R3ZD FKNSK4R3ZD
| URI | m2://inv/FKNSK4R3ZD |
|---|---|
| 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.08028#66M2 (statement). In Z19XDA8QY9/e1, corollary 9
History
- 2026-10-29: add by m2/v0.4.10
Applications FKNVY3BF3Y
| URI | m2://inv/FKNVY3BF3Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean minimum spanning tree#PWLO, Applications (example)
History
- 2026-11-02: add by m2/dev
FKNX3200V8 FKNX3200V8
| URI | m2://inv/FKNX3200V8 |
|---|---|
| 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 1607.01095#3MAQ (statement). In W3T1ZAT3GC/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
FKNYAX5MA3 FKNYAX5MA3
| URI | m2://inv/FKNYAX5MA3 |
|---|---|
| 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.17547#N5RE (statement). In XJ59TDP4HA/e1, fact 2.7
History
- 2026-10-28: add by m2/v0.4.2
FKNZ5RPZ3H FKNZ5RPZ3H
| URI | m2://inv/FKNZ5RPZ3H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12357#OH69 (statement). In 1F26AF81XP/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
Example FKPA754C49
| URI | m2://inv/FKPA754C49 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Econometrics#GMUD, Example (example)
History
- 2026-11-02: add by m2/dev
Equivalent statements of the theorem FKPDHSJR5J
| URI | m2://inv/FKPDHSJR5J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat's Last Theorem#UYQQ, Equivalent statements of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Metric composition law FKPJKWKM90
| URI | m2://inv/FKPJKWKM90 |
|---|---|
| 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.14154#2FJT, Metric composition law (statement). In 8X6PXX2TRA/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Examples FKPKHADAF0
| URI | m2://inv/FKPKHADAF0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudometric space#G8R4, Examples (example)
History
- 2026-11-02: add by m2/dev
Lie algebra cohomology FKPMJ42N7Y
| URI | m2://inv/FKPMJ42N7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of homological algebra topics#3FET, Lie algebra cohomology (definition)
History
- 2026-11-02: add by m2/dev
FKPNCCZAMQ FKPNCCZAMQ
| URI | m2://inv/FKPNCCZAMQ |
|---|---|
| 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.30018#YUM8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
MMX FKPXKMQD54
| URI | m2://inv/FKPXKMQD54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MMX (instruction set), MMX (definition). Also Wikidata Q904336
History
- 2026-11-02: add by m2/dev
470 (number) FKPXNMTWKE
| URI | m2://inv/FKPXNMTWKE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#PQ5K, 470 (number) (unknown)
History
- 2026-11-02: add by m2/dev
FKQ66826T7 FKQ66826T7
| URI | m2://inv/FKQ66826T7 |
|---|---|
| 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 2311.16795#Y62B (definition). In P6AM09F3S8/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.3.6
Definition FKQ677D5EA
| URI | m2://inv/FKQ677D5EA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher information metric#0HTL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Shogun (toolbox) FKQ75HT7JX
| URI | m2://inv/FKQ75HT7JX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#GMMG, Shogun (toolbox) (unknown)
History
- 2026-11-02: add by m2/dev
FKQBYGT1N7 FKQBYGT1N7
| URI | m2://inv/FKQBYGT1N7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_genfunction.ptx#ex_recurrence_gf-nonhomog (example). In QKM9DD2H56, example, section 9.6
History
- 2026-11-01: add by m2/v0.6.13
Raj Pathria FKQN9WGN7S
| URI | m2://inv/FKQN9WGN7S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XYF7, Raj Pathria (unknown)
History
- 2026-11-02: add by m2/dev
FKQQ96EP5N FKQQ96EP5N
| URI | m2://inv/FKQQ96EP5N |
|---|---|
| Kind | example |
| 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 2610.09133#JRK9 (example). In E7BPGPP9Z5/e1, example 3.7
History
- 2026-10-29: add by m2/v0.4.10
Recursive consistency of maximal decompositions FKQXZ9QP1M
| URI | m2://inv/FKQXZ9QP1M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20922#D7R9, Recursive consistency of maximal decompositions (statement). In BYG6MRRYA1/e1, theorem 3
History
- 2026-10-27: add by m2/v0.4.2
antisymmetry FKR4K39JAR
| URI | m2://inv/FKR4K39JAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#VNE3, antisymmetry (definition)
History
- 2026-11-02: add by m2/dev
FEA-M FKR5JF32A9
| URI | m2://inv/FKR5JF32A9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FEA-M, FEA-M (definition). Also Wikidata Q5425305
History
- 2026-11-02: add by m2/dev
FKR6DZ014P FKR6DZ014P
| URI | m2://inv/FKR6DZ014P |
|---|---|
| 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.24363#ZORO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Keith Donnellan FKR6JSGKDC
| URI | m2://inv/FKR6JSGKDC |
|---|---|
| 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#G5BJ, Keith Donnellan (unknown)
History
- 2026-11-02: add by m2/dev
Grönwall's inequality FKRC810VRN
| URI | m2://inv/FKRC810VRN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#XEKR, Grönwall's inequality (statement)
History
- 2026-11-02: add by m2/dev
FKRQP89S15 FKRQP89S15
| URI | m2://inv/FKRQP89S15 |
|---|---|
| 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 2405.04958#XYVM (statement). In 5HQJSF6458/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
FKRZKBPHWP FKRZKBPHWP
| URI | m2://inv/FKRZKBPHWP |
|---|---|
| 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.31811#CF1O (statement). In A8ZBZW9RNA/e1, corollary 4.2
History
- 2026-10-31: add by m2/v0.5.6
typical ambiguity FKRZZNFMC1
| URI | m2://inv/FKRZZNFMC1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.11/typical-ambiguity, typical ambiguity (concept). In N54F33XE07, index, section 4.2.11
History
- 2026-11-01: add by m2/v0.6.13
A bounded transition layer FKS0QXF2JB
| URI | m2://inv/FKS0QXF2JB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20910#4D6I, A bounded transition layer (statement). In CETHKW9EBV/e1, lemma 4.11
History
- 2026-10-27: add by m2/v0.4.2
FKS38QQEQ6 FKS38QQEQ6
| URI | m2://inv/FKS38QQEQ6 |
|---|---|
| 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.07855#NNBC (statement). In 1VT8CVVCM7/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
Examples FKS6PZBPT9
| URI | m2://inv/FKS6PZBPT9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential-algebraic system of equations#J704, Examples (example)
History
- 2026-11-02: add by m2/dev
FKSC5GGX6C FKSC5GGX6C
| URI | m2://inv/FKSC5GGX6C |
|---|---|
| Kind | example |
| 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.31556#8XU9 (example). In 1VBEMR0JXH/e1, example 5.3
History
- 2026-10-31: add by m2/v0.5.6
FKSR23SQN8 FKSR23SQN8
| URI | m2://inv/FKSR23SQN8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#ex:gaussian_rationals (example). In RZP28ERRZV, example, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
Code-based cryptography FKT30QKNSH
| URI | m2://inv/FKT30QKNSH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Post-quantum cryptography#S4S4, Code-based cryptography (unknown)
History
- 2026-11-02: add by m2/dev
Henry Lewis Rietz FKT47YF440
| URI | m2://inv/FKT47YF440 |
|---|---|
| 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#VKUZ, Henry Lewis Rietz (topic)
History
- 2026-11-02: add by m2/dev
Sergey Kislitsyn FKT99TKWZ3
| URI | m2://inv/FKT99TKWZ3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergey Kislitsyn, Sergey Kislitsyn (topic). Also Wikidata Q19904496
History
- 2026-11-02: add by m2/dev
40320 (number) FKTDC9C24A
| URI | m2://inv/FKTDC9C24A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 40,000#RG8D, 40320 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Emanuele Foà FKTH0CZW8J
| URI | m2://inv/FKTH0CZW8J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emanuele Foà, Emanuele Foà (topic). Also Wikidata Q21176681
History
- 2026-11-02: add by m2/dev
FKTHA089KN FKTHA089KN
| URI | m2://inv/FKTHA089KN |
|---|---|
| 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.28046#16KK (statement)
History
- 2026-11-01: add by m2/v0.6.15
John Wrench FKTS62WHPW
| URI | m2://inv/FKTS62WHPW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Wrench, John Wrench (topic). Also Wikidata Q6264951
History
- 2026-11-02: add by m2/dev
Red Cliff FKV35S2N3K
| URI | m2://inv/FKV35S2N3K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#W8A4, Red Cliff (unknown)
History
- 2026-11-02: add by m2/dev
FKV8QW8KG1 FKV8QW8KG1
| URI | m2://inv/FKV8QW8KG1 |
|---|---|
| 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.21762#NQ65 (statement). In CYDJ6JGD4A/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.4.2
Global boundedness and input-to-state stability (ISS) of the PDE variables FKVB30F53Y
| URI | m2://inv/FKVB30F53Y |
|---|---|
| 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.22189#OMSX, Global boundedness and input-to-state stability (ISS) of the PDE variables (statement). In PKS0M89ZRT/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.4.0
FKVNMP156H FKVNMP156H
| URI | m2://inv/FKVNMP156H |
|---|---|
| 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#E5D9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
FKVPEWGAKR FKVPEWGAKR
| URI | m2://inv/FKVPEWGAKR |
|---|---|
| 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.03288#HPG0 (statement). In ZHP1MFSACN/e1, corollary 2.4
History
- 2026-10-29: add by m2/v0.4.12
Symmetry FKVX8GJS9B
| URI | m2://inv/FKVX8GJS9B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexomino#YJP5, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Noether charge FKW664XFQ7
| URI | m2://inv/FKW664XFQ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#CKLT, Noether charge (statement)
History
- 2026-11-02: add by m2/dev
List of circle topics FKW9YYBEBR
| URI | m2://inv/FKW9YYBEBR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of circle topics, List of circle topics (topic). Also Wikidata Q6609507
History
- 2026-11-02: add by m2/dev
FKWF0SQBGK FKWF0SQBGK
| URI | m2://inv/FKWF0SQBGK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.28141#ZB1X (statement)
History
- 2026-11-01: add by m2/v0.6.15
FKWRSWD944 FKWRSWD944
| URI | m2://inv/FKWRSWD944 |
|---|---|
| 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 2609.33283#SOP2 (statement). In CXPFSDMEPB/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
FKXAM4JHVG FKXAM4JHVG
| URI | m2://inv/FKXAM4JHVG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#definition-2 (definition). In RZP28ERRZV, definition, section 14.4
History
- 2026-11-01: add by m2/v0.6.13
FKXBGFBXJ1 FKXBGFBXJ1
| URI | m2://inv/FKXBGFBXJ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19463#EOQF (statement). In Q4HWFFK0R9/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
Casimir effect FKXQBH3K1V
| URI | m2://inv/FKXQBH3K1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 81T55 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q275393, Casimir effect (topic). Also nLab Casimir effect
- wikipedia: Wikipedia Casimir effect, Casimir effect (definition). Also Wikidata Q275393
History
- 2026-10-26: add by m2/dev
FKXQTJSJ1F FKXQTJSJ1F
| URI | m2://inv/FKXQTJSJ1F |
|---|---|
| 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 2609.29759#XKMI (definition)
History
- 2026-11-01: add by m2/v0.6.15
Cicely Ridley FKXR33SPCJ
| URI | m2://inv/FKXR33SPCJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cicely Ridley, Cicely Ridley (topic). Also Wikidata Q102357617
History
- 2026-11-02: add by m2/dev
FKXX6D5MGZ FKXX6D5MGZ
| URI | m2://inv/FKXX6D5MGZ |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26134#0GWV (unknown)
History
- 2026-11-01: add by m2/v0.6.15
monoid, free FKXZMAEW9R
| URI | m2://inv/FKXZMAEW9R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.13/monoid-free, monoid, free (concept). In N54F33XE07, index, section 5.13
History
- 2026-11-01: add by m2/v0.6.13
Von Neumann stability analysis FKYM667VH0
| URI | m2://inv/FKYM667VH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann stability analysis, Von Neumann stability analysis (definition). Also Wikidata Q458556
History
- 2026-11-02: add by m2/dev
Shearer's inequality FKYNAMBA0N
| URI | m2://inv/FKYNAMBA0N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shearer's inequality, Shearer's inequality (statement). Also Wikidata Q7492190
History
- 2026-11-02: add by m2/dev
FKYRQCCQ56 FKYRQCCQ56
| URI | m2://inv/FKYRQCCQ56 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2503.19528#SXCB (statement). In EM5955MDHN/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Octav Onicescu FKYX0HCVQ2
| URI | m2://inv/FKYX0HCVQ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5T7X, Octav Onicescu (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#U0Q2, Octav Onicescu (unknown)
History
- 2026-11-02: add by m2/dev
FKYXYBFXQ3 FKYXYBFXQ3
| URI | m2://inv/FKYXYBFXQ3 |
|---|---|
| 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.20915#PJUN (statement). In 5M1SXP75D9/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.4.2
Power reciprocity laws FKZ1V7DH06
| URI | m2://inv/FKZ1V7DH06 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reciprocity law#SWH3, Power reciprocity laws (statement)
History
- 2026-11-02: add by m2/dev
Witold Hurewicz FKZ6WWA78A
| URI | m2://inv/FKZ6WWA78A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#OTZY, Witold Hurewicz (topic)
History
- 2026-11-02: add by m2/dev
Generalizations FKZ8TV9EJK
| URI | m2://inv/FKZ8TV9EJK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pólya–Szegő inequality#Z191, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
first fundamental theorem of calculus FKZDJPCKC5
| URI | m2://inv/FKZDJPCKC5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | First fundamental theorem of calculus 063H5KJC69 |
Mentions
- wikidata: Wikidata Q116450161, first fundamental theorem of calculus (unknown). Also MathWorld FirstFundamentalTheoremofCalculus
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Sign sequence FKZM8JXPQT
| URI | m2://inv/FKZM8JXPQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sign sequence, Sign sequence (definition). Also Wikidata Q8076416
History
- 2026-11-02: add by m2/dev
Variants FKZN6177W0
| URI | m2://inv/FKZN6177W0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia St. Petersburg paradox#OZDW, Variants (statement)
History
- 2026-11-02: add by m2/dev