Inventory rows K6
The cards of the rows of the inventory whose ids start with K6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
logical paradox K6019YWFFW
| URI | m2://inv/K6019YWFFW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#RYWR, logical paradox (definition)
History
- 2026-11-02: add by m2/dev
OGM at \(y_N\); Conjecture 4 K60GM4W2NG
| URI | m2://inv/K60GM4W2NG |
|---|---|
| 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.35762#YUYC, OGM at \(y_N\); Conjecture 4 (statement). In C9QEPN1E56/e1, theorem 5.3
History
- 2026-10-30: add by m2/v0.4.12
Ernest William Barnes K612EXWJM2
| URI | m2://inv/K612EXWJM2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#QXNY, Ernest William Barnes (topic)
History
- 2026-11-02: add by m2/dev
Michigan Mathematics Prize Competition K6178WK8M6
| URI | m2://inv/K6178WK8M6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michigan Mathematics Prize Competition, Michigan Mathematics Prize Competition (definition). Also Wikidata Q6837613
History
- 2026-11-02: add by m2/dev
Genetic algorithm in economics K617FCGD0J
| URI | m2://inv/K617FCGD0J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#7H7Z, Genetic algorithm in economics (unknown)
History
- 2026-11-02: add by m2/dev
K618FFEYQK K618FFEYQK
| URI | m2://inv/K618FFEYQK |
|---|---|
| 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.21367#FLPA (statement)
History
- 2026-11-02: add by m2/v0.6.18
Visual inspection K61KCQ6STN
| URI | m2://inv/K61KCQ6STN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Visual inspection, Visual inspection (definition). Also Wikidata Q448889
History
- 2026-11-02: add by m2/dev
Ludmila Bourchtein K61MQDC4PR
| URI | m2://inv/K61MQDC4PR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludmila Bourchtein, Ludmila Bourchtein (topic). Also Wikidata Q135413102
History
- 2026-11-02: add by m2/dev
K61QNGA28S K61QNGA28S
| URI | m2://inv/K61QNGA28S |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
K61SEW077B K61SEW077B
| URI | m2://inv/K61SEW077B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2609.21931#057I (statement)
History
- 2026-11-02: add by m2/v0.6.17
Valter Moretti K61VDW6T8A
| URI | m2://inv/K61VDW6T8A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q74445187, Valter Moretti (unknown). Also nLab Valter Moretti
History
- 2026-10-26: add by m2/dev
K6221CF0KT K6221CF0KT
| URI | m2://inv/K6221CF0KT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#definition-1 (definition). In RZP28ERRZV, definition, section 8.3
History
- 2026-11-01: add by m2/v0.6.13
K626DZ2MS5 K626DZ2MS5
| URI | m2://inv/K626DZ2MS5 |
|---|---|
| Kind | statement |
| 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 2610.08193#88FG (statement). In 8XAKGH8S2D/e1, corollary 4.23
History
- 2026-10-29: add by m2/v0.4.10
compact operator K626G94V1T
| URI | m2://inv/K626G94V1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Compact operator M2NEP1K5AE |
Mentions
- wikidata: Wikidata Q1780743, compact operator (unknown). Also EoM Compact_operator, Mathlib IsCompactOperator, MathWorld CompactOperator, nLab compact operator
- wikipedia: Wikipedia Compact operator, Compact operator (definition). Also Wikidata Q1780743
History
- 2026-10-26: add by m2/dev
Infinite sites model K62NTND9AS
| URI | m2://inv/K62NTND9AS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite sites model, Infinite sites model (definition). Also Wikidata Q25304701
History
- 2026-11-02: add by m2/dev
K62TKFEG1H K62TKFEG1H
| URI | m2://inv/K62TKFEG1H |
|---|---|
| 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 2506.07061#H9K3 (statement). In G2PA4KAGRP/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.6
Generalizations K62YYARCJ8
| URI | m2://inv/K62YYARCJ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cone#R7M6, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
K634X18AEQ K634X18AEQ
| URI | m2://inv/K634X18AEQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#F93D (definition). In M4ZVJWM8YA/e1, definition 5.30
History
- 2026-10-27: add by m2/v0.4.2
K63C6RP0SX K63C6RP0SX
| URI | m2://inv/K63C6RP0SX |
|---|---|
| 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.27524#FMIM (statement)
History
- 2026-11-01: add by m2/v0.6.15
K63D5SM753 K63D5SM753
| URI | m2://inv/K63D5SM753 |
|---|---|
| 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 2210.04075#9HB0 (statement). In C5DZR0TC5E/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
K63RKJB6X5 K63RKJB6X5
| URI | m2://inv/K63RKJB6X5 |
|---|---|
| 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.35558#4HOQ (statement). In HR2TQ292AE/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Ioana Dumitriu K63TV2Q0AQ
| URI | m2://inv/K63TV2Q0AQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XF0I, Ioana Dumitriu (topic)
History
- 2026-11-02: add by m2/dev
Herman Wold K641AA0JR9
| URI | m2://inv/K641AA0JR9 |
|---|---|
| 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#Q42E, Herman Wold (topic)
History
- 2026-11-02: add by m2/dev
K64208TCBA K64208TCBA
| URI | m2://inv/K64208TCBA |
|---|---|
| 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#Z58Q (statement). In BSWNH3NW1M/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.0
K643A1GNB7 K643A1GNB7
| URI | m2://inv/K643A1GNB7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/ordtype.tex#thmOrdinalRepresentation (statement). In PKGMM3P5QY, thm, section 73.1
History
- 2026-11-01: add by m2/v0.6.13
K6450FBS32 K6450FBS32
| URI | m2://inv/K6450FBS32 |
|---|---|
| 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.16514#MBWQ (statement). In 7RSA1AZ4XK/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Applications K64650EXPN
| URI | m2://inv/K64650EXPN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#70TV, Applications (example)
History
- 2026-11-02: add by m2/dev
K6478NEMK8 K6478NEMK8
| URI | m2://inv/K6478NEMK8 |
|---|---|
| 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.13392#V8NV (statement). In 2FVND41HVS/e1, lemma 5.11
History
- 2026-10-28: add by m2/v0.4.2
Modern ICC definitions: simpler formula but positive bias K64M5M0089
| URI | m2://inv/K64M5M0089 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intraclass correlation#LWNK, Modern ICC definitions: simpler formula but positive bias (definition)
History
- 2026-11-02: add by m2/dev
Dirichlet's test K64P5V2K6D
| URI | m2://inv/K64P5V2K6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet's test, Dirichlet's test (definition). Also Wikidata Q1149255
History
- 2026-11-02: add by m2/dev
Atsuko Miyaji K64QQ9R1QV
| URI | m2://inv/K64QQ9R1QV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atsuko Miyaji, Atsuko Miyaji (topic). Also Wikidata Q21702346
History
- 2026-11-02: add by m2/dev
cross product K64RFDAVW0
| URI | m2://inv/K64RFDAVW0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Low dimensions > cross product, cross product (unknown). Also Mathlib crossProduct
History
- 2026-10-26: add by m2/dev
K64RFK6HRM K64RFK6HRM
| URI | m2://inv/K64RFK6HRM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#3KK0 (statement)
History
- 2026-11-02: add by m2/v0.6.18
K64SSRKM28 K64SSRKM28
| URI | m2://inv/K64SSRKM28 |
|---|---|
| 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 2207.07461#JL7C (statement). In GAG532VMPF/e1, proposition 8.2.2
History
- 2026-10-27: add by m2/v0.3.5
K64ZBCWWJG K64ZBCWWJG
| URI | m2://inv/K64ZBCWWJG |
|---|---|
| Kind | definition |
| 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 2603.26376#1PHK (definition). In PJAT9YDX7Y/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.0
In Pursuit of the Unknown: 17 Equations That Changed the World K651R40T7B
| URI | m2://inv/K651R40T7B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30247949, In Pursuit of the Unknown: 17 Equations That Changed the World (unknown). Also ProofWiki Book:Ian_Stewart/17_Equations_that_Changed_the_World
History
- 2026-10-26: add by m2/dev
K65T2JWZD7 K65T2JWZD7
| URI | m2://inv/K65T2JWZD7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06764#2A85 (statement). In MSWV3MJ5CE/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
K65VNB3HJW K65VNB3HJW
| URI | m2://inv/K65VNB3HJW |
|---|---|
| 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.23279#SA7P (statement)
History
- 2026-11-02: add by m2/v0.6.17
Apertures to $G$-zips, Proposition 3.5.5 K667J1SW8V
| URI | m2://inv/K667J1SW8V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33808#3YBS, Apertures to $G$-zips, Proposition 3.5.5 (statement). In 328KGRNN0W/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
flow K66C0APN55
| URI | m2://inv/K66C0APN55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Flow of a vector field 06738GGWWK |
Mentions
- wikidata: Wikidata Q1434290, flow (unknown). Also EoM Continuous_flow
- wikipedia: Wikipedia Flow (mathematics), Flow (definition). Also Wikidata Q1434290
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Pareto distribution K66D3GEVP0
| URI | m2://inv/K66D3GEVP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0C9Z, Pareto distribution (definition)
History
- 2026-11-02: add by m2/dev
Polynomial control of semigroup derivatives K66HQ68742
| URI | m2://inv/K66HQ68742 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.18739#UVV5, Polynomial control of semigroup derivatives (statement). In VGJXQRC44C/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
Circumcenter of mass K66KEFV86Y
| URI | m2://inv/K66KEFV86Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circumcenter of mass, Circumcenter of mass (definition). Also Wikidata Q25303866
History
- 2026-11-02: add by m2/dev
Infinitesimal calculus K66PZCHFA0
| URI | m2://inv/K66PZCHFA0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#62IS, Infinitesimal calculus (topic)
History
- 2026-11-02: add by m2/dev
Censored regression model K66WCNF8HN
| URI | m2://inv/K66WCNF8HN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Censored regression model, Censored regression model (definition). Also Wikidata Q4503892
History
- 2026-11-02: add by m2/dev
K66WYF14EX K66WYF14EX
| URI | m2://inv/K66WYF14EX |
|---|---|
| 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.11383#OTDL (statement). In DJBZ3V8SQ6/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.3
Easy K678BN6V51
| URI | m2://inv/K678BN6V51 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise:infseqlimex, Easy (exercise). In E59CDZA4DP, exercise, section 10.3.5
History
- 2026-11-01: add by m2/v0.6.13
Vector field reconstruction K67GZNH0JS
| URI | m2://inv/K67GZNH0JS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector field reconstruction, Vector field reconstruction (definition). Also Wikidata Q7917823
History
- 2026-11-02: add by m2/dev
Regina Tyshkevich K67JC0J4CT
| URI | m2://inv/K67JC0J4CT |
|---|---|
| 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 Q7308550, Regina Tyshkevich (unknown). Also ProofWiki Mathematician:Regina_Iosifovna_Tyshkevich
- wikipedia: Wikipedia Regina Tyshkevich, Regina Tyshkevich (topic). Also Wikidata Q7308550
History
- 2026-10-26: add by m2/dev
K67M4AA0VM K67M4AA0VM
| URI | m2://inv/K67M4AA0VM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#prop:msconvtopo (statement). In E59CDZA4DP, prop, section 4.3.3
History
- 2026-11-01: add by m2/v0.6.13
System context diagram K67QFASH5R
| URI | m2://inv/K67QFASH5R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#KF81, System context diagram (unknown)
History
- 2026-11-02: add by m2/dev
Hamilton's fourth law: "Infer nothing without ground or reason" K67RCW9Z7T
| URI | m2://inv/K67RCW9Z7T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principle of sufficient reason#UWIF, Hamilton's fourth law: "Infer nothing without ground or reason" (statement)
History
- 2026-11-02: add by m2/dev
Causal diagram K67SDWQSSV
| URI | m2://inv/K67SDWQSSV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal model#XUDA, Causal diagram (unknown)
History
- 2026-11-02: add by m2/dev
Definition K67TSGCJT9
| URI | m2://inv/K67TSGCJT9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adams filtration#6TSS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lakes of Wada K67VZW9Z2T
| URI | m2://inv/K67VZW9Z2T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lakes of Wada 3ENQE05H1H |
Mentions
- wikidata: Wikidata Q1331442, Lakes of Wada (unknown). Also MathWorld WadaBasin
- wikipedia: Wikipedia Lakes of Wada, Lakes of Wada (definition). Also Wikidata Q1331442
History
- 2026-10-26: add by m2/dev
Kishi et al. K6813XJGSQ
| URI | m2://inv/K6813XJGSQ |
|---|---|
| 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.10950#T2M1, Kishi et al. (statement). In P392PEVRAY/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.3
Corollary 3 K685N62YQW
| URI | m2://inv/K685N62YQW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential calculus#W2A7, Corollary 3 (statement)
History
- 2026-11-02: add by m2/dev
Corollary K68A4X2080
| URI | m2://inv/K68A4X2080 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kadison transitivity theorem#2X85, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Application K68BGWQRHH
| URI | m2://inv/K68BGWQRHH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blotto game#BTE9, Application (example)
History
- 2026-11-02: add by m2/dev
Condensed detachment K68EQG8ZVG
| URI | m2://inv/K68EQG8ZVG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Condensed detachment, Condensed detachment (definition). Also Wikidata Q5159183
History
- 2026-11-02: add by m2/dev
K68FK0X1AX K68FK0X1AX
| URI | m2://inv/K68FK0X1AX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 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 2609.28774#4P51 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quasiregular map K68FY5MH96
| URI | m2://inv/K68FY5MH96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasiregular map, Quasiregular map (definition). Also Wikidata Q7269522
History
- 2026-11-02: add by m2/dev
Uniform local sample count K68G9GQFWT
| URI | m2://inv/K68G9GQFWT |
|---|---|
| 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.01050#YX2S, Uniform local sample count (statement). In 48NN33SAH7/e1, lemma F.1
History
- 2026-10-29: add by m2/v0.4.12
Gluing obstruction K68HAJHB6J
| URI | m2://inv/K68HAJHB6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10790#5EQX, Gluing obstruction (statement). In HHQ6P3RRB8/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.3
K68NGAWPS1 K68NGAWPS1
| URI | m2://inv/K68NGAWPS1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-15 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Edmond Laguerre K68Q7W6H8N
| URI | m2://inv/K68Q7W6H8N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edmond Laguerre, Edmond Laguerre (topic). Also Wikidata Q560815
History
- 2026-11-02: add by m2/dev
Contraction K690HGHY37
| URI | m2://inv/K690HGHY37 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contraction (operator theory), Contraction (definition). Also Wikidata Q5165685
History
- 2026-11-02: add by m2/dev
Megarian school K691X9H13J
| URI | m2://inv/K691X9H13J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Megarian school, Megarian school (definition). Also Wikidata Q1145454
History
- 2026-11-02: add by m2/dev
Josip Globevnik K6937YYJAF
| URI | m2://inv/K6937YYJAF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Josip Globevnik, Josip Globevnik (topic). Also Wikidata Q6290870
History
- 2026-11-02: add by m2/dev
Die Lineale Ausdehnungslehre, ein neuer Zweig der Mathematik K694GBJW80
| URI | m2://inv/K694GBJW80 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q42192348, Die Lineale Ausdehnungslehre, ein neuer Zweig der Mathematik (unknown). Also ProofWiki Book:Hermann_Günter_Grassmann/Die_Lineale_Ausdehnungslehre,_ein_neuer_Zweig_der_Mathematik
History
- 2026-10-26: add by m2/dev
K69AQ0PGAQ K69AQ0PGAQ
| URI | m2://inv/K69AQ0PGAQ |
|---|---|
| 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#KLQB (statement). In 2QP93JHYNB/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.2
Special cases K69C3TG539
| URI | m2://inv/K69C3TG539 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gröbner basis#PGRN, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Geodesics in the Euclidean cone K69CARRV9B
| URI | m2://inv/K69CARRV9B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.17909#HWTJ, Geodesics in the Euclidean cone (statement). In YXZX6Z8S6A/e1, proposition A.1
History
- 2026-10-28: add by m2/v0.4.2
Vittorio Nobile K69DX6ZPGX
| URI | m2://inv/K69DX6ZPGX |
|---|---|
| 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#US38, Vittorio Nobile (unknown)
History
- 2026-11-02: add by m2/dev
K69JSEZGD5 K69JSEZGD5
| URI | m2://inv/K69JSEZGD5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#thm:S1-autohtpy (statement). In N54F33XE07, lem, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
Frobenius-König theorem K69N1BS3NY
| URI | m2://inv/K69N1BS3NY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9363233, Frobenius-König theorem (statement). Also MathWorld Frobenius-KoenigTheorem
History
- 2026-10-26: add by m2/dev
Examples K69PDEHH8Z
| URI | m2://inv/K69PDEHH8Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bézout domain#GJLU, Examples (example)
History
- 2026-11-02: add by m2/dev
Darboux formula K69R8REEFS
| URI | m2://inv/K69R8REEFS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi polynomials#WC95, Darboux formula (statement)
History
- 2026-11-02: add by m2/dev
Axioms K6A8E58CD0
| URI | m2://inv/K6A8E58CD0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive set theory#PVTZ, Axioms (statement)
History
- 2026-11-02: add by m2/dev
regular dodecahedron K6AA40ZHMM
| URI | m2://inv/K6AA40ZHMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16629569, regular dodecahedron (definition). Also MathWorld RegularDodecahedron, ProofWiki Definition:Dodecahedron/Regular
- wikipedia: Wikipedia Regular dodecahedron, Regular dodecahedron (definition). Also Wikidata Q16629569
History
- 2026-10-26: add by m2/dev
if and only if K6AF5DQGYX
| URI | m2://inv/K6AF5DQGYX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.1/if-and-only-if, if and only if (concept). In Y91XFCEVHQ, index, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
Method K6AKEE75XM
| URI | m2://inv/K6AKEE75XM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autocrypt#R3QA, Method (definition)
History
- 2026-11-02: add by m2/dev
Moshe Zakai K6AS8THX2R
| URI | m2://inv/K6AS8THX2R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moshe Zakai, Moshe Zakai (topic). Also Wikidata Q6916189
History
- 2026-11-02: add by m2/dev
K6ASAX2NE0 K6ASAX2NE0
| URI | m2://inv/K6ASAX2NE0 |
|---|---|
| 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.30049#PEF3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
K6BCCDAQX6 K6BCCDAQX6
| URI | m2://inv/K6BCCDAQX6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/definitions-and-properties.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 36.1
History
- 2026-11-01: add by m2/v0.6.13
K6BDJ3AQ3Q K6BDJ3AQ3Q
| URI | m2://inv/K6BDJ3AQ3Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2303.09207#DWE7 (definition). In 9DQKY7KGE8/e1, definition 5.16
History
- 2026-10-27: add by m2/v0.3.5
cyclotomic polynomial K6BMA3940W
| URI | m2://inv/K6BMA3940W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Cyclotomic polynomial 08KEYFAH66 |
Mentions
- wikidata: Wikidata Q1051983, cyclotomic polynomial (unknown). Also MathWorld CyclotomicPolynomial
- wikipedia: Wikipedia Cyclotomic polynomial, Cyclotomic polynomial (definition). Also Wikidata Q1051983
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
David Bohm K6BQJAXMCG
| URI | m2://inv/K6BQJAXMCG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3A44, David Bohm (unknown)
History
- 2026-11-02: add by m2/dev
K6BRRBA41F K6BRRBA41F
| URI | m2://inv/K6BRRBA41F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.21365#OR6A (statement). In FCMMB2EVAP/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.2
Laws of trigonometry for the tetrahedron K6BY1NC9YA
| URI | m2://inv/K6BY1NC9YA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometry of a tetrahedron#LP2I, Laws of trigonometry for the tetrahedron (statement)
History
- 2026-11-02: add by m2/dev
K6BY2AP15S K6BY2AP15S
| URI | m2://inv/K6BY2AP15S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21892#3O6X (statement)
History
- 2026-11-02: add by m2/v0.6.17
401 (number) K6BYAZHHND
| URI | m2://inv/K6BYAZHHND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#XT3F, 401 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Kramers' theorem K6C02E76NA
| URI | m2://inv/K6C02E76NA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#FGG9, Kramers' theorem (statement)
History
- 2026-11-02: add by m2/dev
K6C2JTE1T8 K6C2JTE1T8
| URI | m2://inv/K6C2JTE1T8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19214#AF69 (statement). In WZPD7TNNY9/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
K6CETK5SMS K6CETK5SMS
| URI | m2://inv/K6CETK5SMS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#PYYB (statement). In E7BPGPP9Z5/e1, theorem 3.13
History
- 2026-10-29: add by m2/v0.4.10
Characterizations K6CK0QCJVG
| URI | m2://inv/K6CK0QCJVG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobson ring#Y8IR, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Pairs S113--S116 K6CNS8T7WP
| URI | m2://inv/K6CNS8T7WP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08865#R03U, Pairs S113--S116 (statement). In SJ5JKGH94M/e1, theorem 8
History
- 2026-10-29: add by m2/v0.4.10
Fern Hunt K6CPJ5PJ3P
| URI | m2://inv/K6CPJ5PJ3P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fern Hunt, Fern Hunt (topic). Also Wikidata Q16946201
History
- 2026-11-02: add by m2/dev
Grothendieck's Tôhoku paper K6D305XTFY
| URI | m2://inv/K6D305XTFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck's Tôhoku paper, Grothendieck's Tôhoku paper (definition). Also Wikidata Q19930935
History
- 2026-11-02: add by m2/dev
Epidata K6D5BDK1ED
| URI | m2://inv/K6D5BDK1ED |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VHES, Epidata (unknown)
History
- 2026-11-02: add by m2/dev
Exponential stability K6DAXERWW0
| URI | m2://inv/K6DAXERWW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential stability, Exponential stability (definition). Also Wikidata Q17011487
History
- 2026-11-02: add by m2/dev
Presidential Scholars Program K6DJHB3JKT
| URI | m2://inv/K6DJHB3JKT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#JMII, Presidential Scholars Program (unknown)
History
- 2026-11-02: add by m2/dev
(Tuleta #5) K6DSGYS9PR
| URI | m2://inv/K6DSGYS9PR |
|---|---|
| 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#GJJW, (Tuleta #5) (unknown)
History
- 2026-11-02: add by m2/dev
matroid K6DV62VRRG
| URI | m2://inv/K6DV62VRRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Matroid PX31ZNYS3Z |
Mentions
- wikidata: Wikidata Q898572, matroid (unknown). Also EoM Matroid, MathWorld Matroid
- wikipedia: Wikipedia Matroid, Matroid (definition). Also Wikidata Q898572
History
- 2026-10-26: add by m2/dev
Metamaterial cloaking K6DW2NNWRC
| URI | m2://inv/K6DW2NNWRC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metamaterial cloaking, Metamaterial cloaking (definition). Also Wikidata Q6822969
History
- 2026-11-02: add by m2/dev
Anton Setzer K6DYGF46SA
| URI | m2://inv/K6DYGF46SA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q60646026, Anton Setzer (unknown). Also nLab Anton Setzer
History
- 2026-10-26: add by m2/dev
Axiom system K6E7486Q0X
| URI | m2://inv/K6E7486Q0X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicational propositional calculus#Y6KI, Axiom system (statement)
History
- 2026-11-02: add by m2/dev
K6E9MCQDHT K6E9MCQDHT
| URI | m2://inv/K6E9MCQDHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#BUZR (statement)
History
- 2026-11-01: add by m2/v0.6.15
K6EAKEH1HH K6EAKEH1HH
| URI | m2://inv/K6EAKEH1HH |
|---|---|
| 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.31615#GM38 (statement). In TNV6XTEWEG/e1, fact 1.2
History
- 2026-10-31: add by m2/v0.5.6
Best, worst and average case K6EAZ2HKQ7
| URI | m2://inv/K6EAZ2HKQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Best, worst and average case, Best, worst and average case (definition). Also Wikidata Q186094
History
- 2026-11-02: add by m2/dev
Corinne Manogue K6EC95W74C
| URI | m2://inv/K6EC95W74C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19667469, Corinne Manogue (unknown). Also nLab Corinne Manogue
History
- 2026-10-26: add by m2/dev
Cornelia Strong K6EJSJEZ5V
| URI | m2://inv/K6EJSJEZ5V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cornelia Strong, Cornelia Strong (topic). Also Wikidata Q102434871
History
- 2026-11-02: add by m2/dev
List of things named after Issai Schur K6ESHNBE3W
| URI | m2://inv/K6ESHNBE3W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#0TIB, List of things named after Issai Schur (unknown)
History
- 2026-11-02: add by m2/dev
K6EX3H9MC5 K6EX3H9MC5
| URI | m2://inv/K6EX3H9MC5 |
|---|---|
| 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.20042#V7YH (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hodge--Serre duality K6EXRZ5AHK
| URI | m2://inv/K6EXRZ5AHK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#E5WF, Hodge--Serre duality (statement). In KZ71GXT2B0/e1, proposition 6.5
History
- 2026-10-28: add by m2/v0.4.2
Conjugate prior K6EYP3892C
| URI | m2://inv/K6EYP3892C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WUA3, Conjugate prior (definition)
History
- 2026-11-02: add by m2/dev
K6F5KMJY4A K6F5KMJY4A
| URI | m2://inv/K6F5KMJY4A |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22513#UKF9 (unknown)
History
- 2026-11-02: add by m2/v0.6.17
Fujiki-to-K\"ahler reduction K6FD9PW6X6
| URI | m2://inv/K6FD9PW6X6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#5XPF, Fujiki-to-K\"ahler reduction (statement)
History
- 2026-11-01: add by m2/v0.6.15
Saying is believing effect K6FMT66RTD
| URI | m2://inv/K6FMT66RTD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#G8Z7, Saying is believing effect (unknown)
History
- 2026-11-02: add by m2/dev
Local bounds in every selected limit K6FMYTWCZ6
| URI | m2://inv/K6FMYTWCZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#2DD4, Local bounds in every selected limit (statement)
History
- 2026-11-02: add by m2/v0.6.17
K6FQTTM5MR K6FQTTM5MR
| URI | m2://inv/K6FQTTM5MR |
|---|---|
| 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#1A8A (statement). In TWB64HRHWZ/e1, lemma 2
History
- 2026-10-31: add by m2/v0.5.6
Hadamard transform K6FSMWHA42
| URI | m2://inv/K6FSMWHA42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jacques Hadamard#3RS5, Hadamard transform (definition)
History
- 2026-11-02: add by m2/dev
K6FVX94ZYJ K6FVX94ZYJ
| URI | m2://inv/K6FVX94ZYJ |
|---|---|
| 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.21994#9O4J (statement)
History
- 2026-11-02: add by m2/v0.6.17
K6GCDNZADM K6GCDNZADM
| URI | m2://inv/K6GCDNZADM |
|---|---|
| Kind | statement |
| 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 2610.21037#MC5D (statement). In PYB2RFYVVE/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.2
K6GPR4DP87 K6GPR4DP87
| URI | m2://inv/K6GPR4DP87 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-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 1804.05688#QQB8 (statement). In M8F4PDHH3S/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
K6GVGBER2K K6GVGBER2K
| URI | m2://inv/K6GVGBER2K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.25321#45QQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conditional hidden-block criterion K6GVPZ00CK
| URI | m2://inv/K6GVPZ00CK |
|---|---|
| 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.09356#6WJT, Conditional hidden-block criterion (statement). In 3VVGPXWH6R/e1, lemma C.5
History
- 2026-10-29: add by m2/v0.4.10
K6GXZ47MK9 K6GXZ47MK9
| URI | m2://inv/K6GXZ47MK9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#E407 (statement). In S26QVW5613/e1, proposition 3.8.2
History
- 2026-10-30: add by m2/v0.4.12
K6H459709S K6H459709S
| URI | m2://inv/K6H459709S |
|---|---|
| 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.21005#0U7U (statement). In E63NRC7MBE/e1, lemma 2.28
History
- 2026-10-27: add by m2/v0.4.2
Rudolf Lipschitz K6HC92S3S7
| URI | m2://inv/K6HC92S3S7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rudolf Lipschitz, Rudolf Lipschitz (topic). Also Wikidata Q77322
History
- 2026-11-02: add by m2/dev
K6HED16HXF K6HED16HXF
| URI | m2://inv/K6HED16HXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#MO16 (statement). In MRR92GQNZE/e1, theorem 3.12
History
- 2026-10-30: add by m2/v0.4.12
Erdős–Rényi model K6HKZTBG2T
| URI | m2://inv/K6HKZTBG2T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#RI4S, Erdős–Rényi model (definition)
- wikipedia: Wikipedia List of statistics articles#GH6X, Erdős–Rényi model (definition)
History
- 2026-11-02: add by m2/dev
Inverse cosecant K6HN1W5PPG
| URI | m2://inv/K6HN1W5PPG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#604E, Inverse cosecant (definition)
History
- 2026-11-02: add by m2/dev
K6HPV8CPN2 K6HPV8CPN2
| URI | m2://inv/K6HPV8CPN2 |
|---|---|
| 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 2308.05066#QVMN (statement). In 1QSCT53ZED/e1, lemma 7.15
History
- 2026-10-27: add by m2/v0.4.0
Equivalent formulations of locality axiom K6HSYDQ2JQ
| URI | m2://inv/K6HSYDQ2JQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex operator algebra#0M57, Equivalent formulations of locality axiom (statement)
History
- 2026-11-02: add by m2/dev
K6HXCZFDCS K6HXCZFDCS
| URI | m2://inv/K6HXCZFDCS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18226#U7AH (statement). In B3EHT1FRM5/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
Applications K6HYD5W684
| URI | m2://inv/K6HYD5W684 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partially observable Markov decision process#OK26, Applications (example)
History
- 2026-11-02: add by m2/dev
Continuous K6J5HHA55J
| URI | m2://inv/K6J5HHA55J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#EFIJ, Continuous (definition)
History
- 2026-11-02: add by m2/dev
Fredholm kernel K6JHX56PX0
| URI | m2://inv/K6JHX56PX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4691766, Fredholm kernel (statement). Also EoM Fredholm_kernel
- wikipedia: Wikipedia Fredholm kernel, Fredholm kernel (definition). Also Wikidata Q4691766
History
- 2026-10-26: add by m2/dev
Properties K6JQG1AF1G
| URI | m2://inv/K6JQG1AF1G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space-filling curve#VQV0, Properties (statement)
History
- 2026-11-02: add by m2/dev
K6JWFJE0Z7 K6JWFJE0Z7
| URI | m2://inv/K6JWFJE0Z7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#7C61 (statement). In 7V2PVZS04C/e1, lemma 1.9
History
- 2026-10-31: add by m2/v0.5.6
Theorem K6K1CGCZN1
| URI | m2://inv/K6K1CGCZN1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric hypergraph theorem#7KUL, Theorem (statement)
History
- 2026-11-02: add by m2/dev
K6KA5DRNVE K6KA5DRNVE
| URI | m2://inv/K6KA5DRNVE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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.06152#A27V (definition). In HH35K7S17H/e1, definition A.30
History
- 2026-10-29: add by m2/v0.4.10
$\ell_p$ regression K6KCV5SR2N
| URI | m2://inv/K6KCV5SR2N |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32977#Q2ZJ, $\ell_p$ regression (example). In 4KT9TK3MG4/e1, example 2.6
History
- 2026-10-31: add by m2/v0.5.6
idempotent function K6KEAQASMX
| URI | m2://inv/K6KEAQASMX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#WI6R, idempotent function (definition). In GW23NX78SB/e1, definition 2.22
History
- 2026-10-28: add by m2/v0.4.2
Example K6KGNNTWXG
| URI | m2://inv/K6KGNNTWXG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bennett's inequality#TY9Q, Example (example)
History
- 2026-11-02: add by m2/dev
Applications K6KGVGE7BW
| URI | m2://inv/K6KGVGE7BW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional decomposition#C08N, Applications (example)
History
- 2026-11-02: add by m2/dev
Burgers material K6KK14C7VX
| URI | m2://inv/K6KK14C7VX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burgers material, Burgers material (definition). Also Wikidata Q4998565
History
- 2026-11-02: add by m2/dev
Relation of $\psi$ and $\Phi$ K6KP5GCNWP
| URI | m2://inv/K6KP5GCNWP |
|---|---|
| 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.21508#HKAG, Relation of $\psi$ and $\Phi$ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Archimedean Oath K6KWMK9QWJ
| URI | m2://inv/K6KWMK9QWJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes#1V6L, Archimedean Oath (unknown)
History
- 2026-11-02: add by m2/dev
Existential graph K6KZH8GVZ7
| URI | m2://inv/K6KZH8GVZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Existential graph, Existential graph (definition). Also Wikidata Q1383836
History
- 2026-11-02: add by m2/dev
K6M2DPYJ6X K6M2DPYJ6X
| URI | m2://inv/K6M2DPYJ6X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#example-3 (example). In RZP28ERRZV, example, section 32.1
History
- 2026-11-01: add by m2/v0.6.13
Betsy Becker K6M3NVMVRC
| URI | m2://inv/K6M3NVMVRC |
|---|---|
| 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#QPZJ, Betsy Becker (topic)
History
- 2026-11-02: add by m2/dev
Hanumanthu K6M8WTZYVV
| URI | m2://inv/K6M8WTZYVV |
|---|---|
| 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.01783#F67U, Hanumanthu (statement). In 8BKC3PVX9G/e1, theorem 8.1
History
- 2026-10-29: add by m2/v0.4.12
Properties K6MC15DJCK
| URI | m2://inv/K6MC15DJCK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coprime integers#I0EL, Properties (statement)
History
- 2026-11-02: add by m2/dev
K6MG4NGCN5 K6MG4NGCN5
| URI | m2://inv/K6MG4NGCN5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28365#22U3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
K6MHZ6K0EH K6MHZ6K0EH
| URI | m2://inv/K6MHZ6K0EH |
|---|---|
| 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.07909#X1QG (statement). In 6KST0WX37C/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.10
RSA-160 K6MM475BM9
| URI | m2://inv/K6MM475BM9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#JYU1, RSA-160 (unknown)
History
- 2026-11-02: add by m2/dev
Result K6MNBK8GDJ
| URI | m2://inv/K6MNBK8GDJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2022 Bangladeshi census#DJK1, Result (statement)
History
- 2026-11-02: add by m2/dev
Slant height K6MS3H6YDP
| URI | m2://inv/K6MS3H6YDP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cone#ORZN, Slant height (unknown)
History
- 2026-11-02: add by m2/dev
Basin invariance of the oracle GGDPC path K6N3NKXXFH
| URI | m2://inv/K6N3NKXXFH |
|---|---|
| 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.01050#WYK6, Basin invariance of the oracle GGDPC path (statement). In 48NN33SAH7/e1, lemma F.10
History
- 2026-10-29: add by m2/v0.4.12
Jennifer A. Hoeting K6N5RE80XS
| URI | m2://inv/K6N5RE80XS |
|---|---|
| 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#5D6O, Jennifer A. Hoeting (topic)
History
- 2026-11-02: add by m2/dev
K6NCY2NSC1 K6NCY2NSC1
| URI | m2://inv/K6NCY2NSC1 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.10921#XMOU (problem). In PD5PJ0EYG6/e1, problem 6.3
History
- 2026-10-27: add by m2/v0.3.5
K6NDNQS8F0 K6NDNQS8F0
| URI | m2://inv/K6NDNQS8F0 |
|---|---|
| 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.38772#46B4 (statement). In 1C3R5NAQAP/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
K6NKJ66FZG K6NKJ66FZG
| URI | m2://inv/K6NKJ66FZG |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-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.15385#JA7L (problem). In HBZXCMYPME/e1, problem 1
History
- 2026-10-28: add by m2/v0.4.2
K6NSXN2G0B K6NSXN2G0B
| URI | m2://inv/K6NSXN2G0B |
|---|---|
| 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#6YCJ (statement). In 2QF1YG9DD0/e1, corollary 3.24
History
- 2026-10-30: add by m2/v0.4.12
Nine-point hyperbola K6NW1A9E9E
| URI | m2://inv/K6NW1A9E9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#7XZM, Nine-point hyperbola (definition)
History
- 2026-11-02: add by m2/dev
Properties K6NWR70MTB
| URI | m2://inv/K6NWR70MTB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariant derivative#XI70, Properties (statement)
History
- 2026-11-02: add by m2/dev
Formulas K6P2QKHTVE
| URI | m2://inv/K6P2QKHTVE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First-order logic#SPEU, Formulas (statement)
History
- 2026-11-02: add by m2/dev
K6P7ANTM9V K6P7ANTM9V
| URI | m2://inv/K6P7ANTM9V |
|---|---|
| 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.27253#7AJS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uses K6PCHWT121
| URI | m2://inv/K6PCHWT121 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mercator projection#10R2, Uses (example)
History
- 2026-11-02: add by m2/dev
Éléments de géométrie algébrique K6PDZZ9PFN
| URI | m2://inv/K6PDZZ9PFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#NYTQ, Éléments de géométrie algébrique (definition)
History
- 2026-11-02: add by m2/dev
K6PNKYQGST K6PNKYQGST
| URI | m2://inv/K6PNKYQGST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17737#WHEM (statement). In 8SXY7Y68HV/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Strictly non-pretentious function K6PSRHDSKH
| URI | m2://inv/K6PSRHDSKH |
|---|---|
| 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 2610.00843#GTSE, Strictly non-pretentious function (definition). In 1K7M5TD0M2/e1, definition 6.2
History
- 2026-10-29: add by m2/v0.4.12
K6PX0MV81M K6PX0MV81M
| URI | m2://inv/K6PX0MV81M |
|---|---|
| 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.07370#Z9HA (definition). In Q94QXG67CK/e1, definition VI.2
History
- 2026-10-29: add by m2/v0.4.10
K6PXAFMF62 K6PXAFMF62
| URI | m2://inv/K6PXAFMF62 |
|---|---|
| Kind | statement |
| 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 2610.01915#8DXU (statement). In 6HJQXZS0A6/e1, lemma 1.26
History
- 2026-10-29: add by m2/v0.4.12
Contact geometry K6PYQKG2BD
| URI | m2://inv/K6PYQKG2BD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contact geometry, Contact geometry (topic). Also Wikidata Q1783105
History
- 2026-11-02: add by m2/dev
Marc van Kreveld K6Q3HPXX1E
| URI | m2://inv/K6Q3HPXX1E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#00N5, Marc van Kreveld (topic)
History
- 2026-11-02: add by m2/dev
K6Q49Z33EA K6Q49Z33EA
| URI | m2://inv/K6Q49Z33EA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#definition-6 (definition). In RZP28ERRZV, definition, section 63.4
History
- 2026-11-01: add by m2/v0.6.13
Gilbert de la Porrée K6Q5CM3DSD
| URI | m2://inv/K6Q5CM3DSD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gilbert de la Porrée, Gilbert de la Porrée (topic). Also Wikidata Q583119
History
- 2026-11-02: add by m2/dev
Ternary Golay code K6Q63PEC8A
| URI | m2://inv/K6Q63PEC8A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ternary Golay code, Ternary Golay code (definition). Also Wikidata Q7702927
History
- 2026-11-02: add by m2/dev
Calamitic K6Q6Q2VKQM
| URI | m2://inv/K6Q6Q2VKQM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liquid crystal#Y22D, Calamitic (unknown)
History
- 2026-11-02: add by m2/dev
Theorem K6Q6ZN119N
| URI | m2://inv/K6Q6ZN119N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separation principle in stochastic control#BTM2, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples K6QDA0AREV
| URI | m2://inv/K6QDA0AREV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartesian closed category#J8OA, Examples (example)
History
- 2026-11-02: add by m2/dev
K6QJ5D12ME K6QJ5D12ME
| URI | m2://inv/K6QJ5D12ME |
|---|---|
| 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#2G4N (statement). In ZSMAQ666K7/e1, corollary 2.4
History
- 2026-10-28: add by m2/v0.4.2
K6QKRRN1T7 K6QKRRN1T7
| URI | m2://inv/K6QKRRN1T7 |
|---|---|
| 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.32903#XP9K (statement). In S8NB83KQX3/e1, lemma 6
History
- 2026-10-31: add by m2/v0.5.6
empty set K6QYNYQR5C
| URI | m2://inv/K6QYNYQR5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Empty set 0ECVK59Y03 |
Mentions
- wikidata: Wikidata Q226183, empty set (definition). Also EoM Empty_set, MathWorld EmptySet, nLab empty set, ProofWiki Definition:Empty_Set
- wikipedia: Wikipedia Empty set, Empty set (definition). Also Wikidata Q226183
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
\bf Resolvent expansions at elliptic thresholds K6R9R0ZQCT
| URI | m2://inv/K6R9R0ZQCT |
|---|---|
| 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.19845#IW6D, \bf Resolvent expansions at elliptic thresholds (statement). In A8Y7B1MD91/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Anosov flow K6RQ856N77
| URI | m2://inv/K6RQ856N77 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3074356, Anosov flow (unknown). Also MathWorld AnosovFlow
History
- 2026-10-26: add by m2/dev
Reduced product K6RRKGN9PJ
| URI | m2://inv/K6RRKGN9PJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reduced product, Reduced product (definition). Also Wikidata Q7306336
History
- 2026-11-02: add by m2/dev
K6RRMAQKQ6 K6RRMAQKQ6
| URI | m2://inv/K6RRMAQKQ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31127#P6E4 (statement). In NS3RZ26JC7/e1, theorem 4
History
- 2026-10-31: add by m2/v0.5.6
K6RSA9CXYT K6RSA9CXYT
| URI | m2://inv/K6RSA9CXYT |
|---|---|
| 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.21043#GFT7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
K6RT3RTXR7 K6RT3RTXR7
| URI | m2://inv/K6RT3RTXR7 |
|---|---|
| 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.11757#SDUW (statement). In VSJRVTHWWA/e1, lemma 5.9
History
- 2026-10-28: add by m2/v0.4.3
Theorem K6RVDR5CX4
| URI | m2://inv/K6RVDR5CX4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heap (mathematics)#R654, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Sphere K6RWX96D17
| URI | m2://inv/K6RWX96D17 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#N348, Sphere (definition)
- wikipedia: Wikipedia List of complex and algebraic surfaces#CBKQ, Sphere (definition)
- wikipedia: Wikipedia List of surfaces#86LN, Sphere (definition)
History
- 2026-11-02: add by m2/dev
K6RY0E95JT K6RY0E95JT
| URI | m2://inv/K6RY0E95JT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21191#EYJT (statement)
History
- 2026-11-02: add by m2/v0.6.18
K6S0J1TKHF K6S0J1TKHF
| URI | m2://inv/K6S0J1TKHF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.03601#2NY1 (statement). In F7TDYCHCSE/e1, proposition 6.5
History
- 2026-10-27: add by m2/v0.3.5
K6S70Y45J9 K6S70Y45J9
| URI | m2://inv/K6S70Y45J9 |
|---|---|
| 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.07380#XER6 (statement). In XM2CDRKSGE/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
K. Iwasawa K6SHVA35PP
| URI | m2://inv/K6SHVA35PP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#A197, K. Iwasawa (unknown)
History
- 2026-11-02: add by m2/dev
K6SKNW3DKC K6SKNW3DKC
| URI | m2://inv/K6SKNW3DKC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 22.10
History
- 2026-11-01: add by m2/v0.6.13
exponent of a group K6SSVQV3AB
| URI | m2://inv/K6SSVQV3AB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Exponent of a group 0FCCTFA275 |
Mentions
- wikidata: Wikidata Q32998717, exponent of a group (unknown). Also LMFDB knowl group.exponent, nLab exponent of a group
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Slow manifold K6SVN43HRE
| URI | m2://inv/K6SVN43HRE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slow manifold, Slow manifold (definition). Also Wikidata Q7542110
History
- 2026-11-02: add by m2/dev
discrete Morse theory K6SY85N1JW
| URI | m2://inv/K6SY85N1JW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5282039, discrete Morse theory (unknown). Also nLab discrete Morse theory
- wikipedia: Wikipedia Discrete Morse theory, Discrete Morse theory (definition). Also Wikidata Q5282039
History
- 2026-10-26: add by m2/dev
K6SZ3SSHZZ K6SZ3SSHZZ
| URI | m2://inv/K6SZ3SSHZZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16332#6XJL (example). In JJQPFXZQ3D/e1, example 2.1
History
- 2026-10-28: add by m2/v0.4.2
K6SZFF5Z6Z K6SZFF5Z6Z
| URI | m2://inv/K6SZFF5Z6Z |
|---|---|
| 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.05364#VOAY (statement). In TPYRE2ARMD/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.10
K6SZFW4QVH K6SZFW4QVH
| URI | m2://inv/K6SZFW4QVH |
|---|---|
| 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#4VV8 (statement). In R9GRCAWHG0/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.10
Field-independent coordinate formula K6T0YFYWYW
| URI | m2://inv/K6T0YFYWYW |
|---|---|
| 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 2610.20649#RDW5, Field-independent coordinate formula (statement). In XDTM624YPE/e1, lemma 8.1
History
- 2026-10-27: add by m2/v0.4.2
Applications K6T1425YZC
| URI | m2://inv/K6T1425YZC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automatic differentiation#PSQH, Applications (example)
History
- 2026-11-02: add by m2/dev
Determinant of an endomorphism K6TJEMXX9J
| URI | m2://inv/K6TJEMXX9J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Determinant#WIE9, Determinant of an endomorphism (unknown)
History
- 2026-11-02: add by m2/dev
K6TTCB5F24 K6TTCB5F24
| URI | m2://inv/K6TTCB5F24 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#6RCQ (statement). In 7V2PVZS04C/e1, proposition 4.3
History
- 2026-10-31: add by m2/v0.5.6
function, surjective K6V18Q1ZZM
| URI | m2://inv/K6V18Q1ZZM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.5/function-surjective, function, surjective (concept). In N54F33XE07, index, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Structured sparsity regularization K6VGQZYJP2
| URI | m2://inv/K6VGQZYJP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structured sparsity regularization, Structured sparsity regularization (definition). Also Wikidata Q25111890
History
- 2026-11-02: add by m2/dev
mathematics, formalized K6VJVRSRAW
| URI | m2://inv/K6VJVRSRAW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.10/mathematics-formalized, mathematics, formalized (concept). In N54F33XE07, index, section 7.10
History
- 2026-11-01: add by m2/v0.6.13
Examples K6VT73E3ZK
| URI | m2://inv/K6VT73E3ZK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synthetic mathematics#C2KZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Dieudonné determinant K6VWB2SD40
| URI | m2://inv/K6VWB2SD40 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5275226, Dieudonné determinant (concept). Also nLab Dieudonné determinant
- wikipedia: Wikipedia Dieudonné determinant, Dieudonné determinant (definition). Also Wikidata Q5275226
History
- 2026-10-26: add by m2/dev
K6W6KV3Y46 K6W6KV3Y46
| URI | m2://inv/K6W6KV3Y46 |
|---|---|
| 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.15352#EK29 (statement). In R39P7AFXM8/e1, theorem 1.6
History
- 2026-10-28: add by m2/v0.4.2
K6WDRQPDQW K6WDRQPDQW
| URI | m2://inv/K6WDRQPDQW |
|---|---|
| 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.14236#PJ5Q (statement). In XEQD21EBTT/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
List of number prefixes K6WKJT9DED
| URI | m2://inv/K6WKJT9DED |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numeral prefix#C7XK, List of number prefixes (unknown)
History
- 2026-11-02: add by m2/dev
Lower semicontinuity of the maximal Hilbert norm K6WSHZNCVH
| URI | m2://inv/K6WSHZNCVH |
|---|---|
| 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.09278#LI6E, Lower semicontinuity of the maximal Hilbert norm (statement). In XREKHJHAT7/e1, lemma 4.10
History
- 2026-10-29: add by m2/v0.4.10
Pasch's axiom K6WSPW70VK
| URI | m2://inv/K6WSPW70VK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pasch's axiom#BFED, Pasch's axiom (statement)
History
- 2026-11-02: add by m2/dev
Non-local quantum computation K6WWYSJKM7
| URI | m2://inv/K6WWYSJKM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#W287, Non-local quantum computation (definition)
History
- 2026-11-02: add by m2/dev
K6X2D0VTDH K6X2D0VTDH
| URI | m2://inv/K6X2D0VTDH |
|---|---|
| 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.32387#K29P (statement). In 294BQKZEDQ/e1, lemma 2.4
History
- 2026-10-31: add by m2/v0.5.6
K6XCZR5TP4 K6XCZR5TP4
| URI | m2://inv/K6XCZR5TP4 |
|---|---|
| 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.16554#ASND (statement). In GWNT8HEZG1/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.6
K6XG51VSWM K6XG51VSWM
| URI | m2://inv/K6XG51VSWM |
|---|---|
| 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 2609.01324#CT9M (statement). In XKXG49TNXH/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.6
K6XH0GY9Q2 K6XH0GY9Q2
| URI | m2://inv/K6XH0GY9Q2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20542#8V63 (statement). In 8PZXZ8Y9FK/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.4.2
Emulation on Dirichlet spaces K6XJ6AG229
| URI | m2://inv/K6XJ6AG229 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20106#YET7, Emulation on Dirichlet spaces (statement). In 6HMZ36ZBXA/e1, theorem 6.7
History
- 2026-10-27: add by m2/v0.4.2
Sierpiński-Riesel problem K6XJ9BZYEG
| URI | m2://inv/K6XJ9BZYEG |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Wacław Sierpiński#K3MM, Sierpiński-Riesel problem (conjecture)
History
- 2026-11-02: add by m2/dev
K6XVVJH57Y K6XVVJH57Y
| URI | m2://inv/K6XVVJH57Y |
|---|---|
| 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.12912#Q4HV (statement). In PDKBKKJ4BV/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
K6XWEQMKN2 K6XWEQMKN2
| URI | m2://inv/K6XWEQMKN2 |
|---|---|
| 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.31242#XFKU (statement). In 3NPRR9546C/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
K6XZW7T45P K6XZW7T45P
| URI | m2://inv/K6XZW7T45P |
|---|---|
| Kind | definition |
| 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.37893#PH66 (definition). In 8H0KHK7AMN/e1, definition 1.6
History
- 2026-10-30: add by m2/v0.4.12
Bombieri–Vinogradov theorem K6Y3JNK40E
| URI | m2://inv/K6Y3JNK40E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Bombieri–Vinogradov theorem B3JMY54GJF |
Mentions
- wikidata: Wikidata Q2612539, Bombieri–Vinogradov theorem (statement). Also MathWorld BombierisTheorem
- wikipedia: Wikipedia Bombieri–Vinogradov theorem, Bombieri–Vinogradov theorem (statement). Also Wikidata Q2612539
History
- 2026-10-26: add by m2/dev
Little q-Jacobi polynomials K6Y3VYBFS6
| URI | m2://inv/K6Y3VYBFS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Little q-Jacobi polynomials, Little q-Jacobi polynomials (definition). Also Wikidata Q6652769
History
- 2026-11-02: add by m2/dev
K6Y7A5BC4C K6Y7A5BC4C
| URI | m2://inv/K6Y7A5BC4C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 13-XX, 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26127#MY74 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Moore's paradox K6YEJ2P50F
| URI | m2://inv/K6YEJ2P50F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore's paradox, Moore's paradox (statement). Also Wikidata Q588504
History
- 2026-11-02: add by m2/dev
K6YSBCJSZY K6YSBCJSZY
| URI | m2://inv/K6YSBCJSZY |
|---|---|
| Kind | example |
| 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 2609.29918#MC0X (example)
History
- 2026-11-01: add by m2/v0.6.15
Electromagnetic wave equation K6YSRDXHAZ
| URI | m2://inv/K6YSRDXHAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electromagnetic wave equation, Electromagnetic wave equation (definition). Also Wikidata Q533281
History
- 2026-11-02: add by m2/dev
Conventions K6Z94S3YXB
| URI | m2://inv/K6Z94S3YXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hölder's inequality#8WZM, Conventions (definition)
History
- 2026-11-02: add by m2/dev
Nels David Nelson K6Z9SPJWE5
| URI | m2://inv/K6Z9SPJWE5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nels David Nelson, Nels David Nelson (topic). Also Wikidata Q6990282
History
- 2026-11-02: add by m2/dev
K6ZJ2MHQ80 K6ZJ2MHQ80
| URI | m2://inv/K6ZJ2MHQ80 |
|---|---|
| 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 2511.07697#M5NN (statement). In 57P5P33HS3/e1, corollary 6
History
- 2026-10-27: add by m2/v0.3.5
List of things named after Jean-Pierre Serre K6ZMTY5CJJ
| URI | m2://inv/K6ZMTY5CJJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jean-Pierre Serre, List of things named after Jean-Pierre Serre (topic). Also Wikidata Q16964160
History
- 2026-11-02: add by m2/dev
K6ZQ66W248 K6ZQ66W248
| URI | m2://inv/K6ZQ66W248 |
|---|---|
| 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.31478#MD0H (statement). In 56P0XQZZ3D/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6