Inventory rows 7K
The cards of the rows of the inventory whose ids start with 7K. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
7K01G97JKD 7K01G97JKD
| URI | m2://inv/7K01G97JKD |
|---|---|
| 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.10840#BULT (statement). In JSJQEPY71E/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.3
General definition 7K0AEHZ611
| URI | m2://inv/7K0AEHZ611 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized map#BFEW, General definition (definition)
History
- 2026-11-02: add by m2/dev
Isaac Israeli 7K0EGPEYRF
| URI | m2://inv/7K0EGPEYRF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#LUAE, Isaac Israeli (unknown)
History
- 2026-11-02: add by m2/dev
Yates analysis 7K0Q991DX3
| URI | m2://inv/7K0Q991DX3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QE0X, Yates analysis (definition)
History
- 2026-11-02: add by m2/dev
7K0QKF3QVY 7K0QKF3QVY
| URI | m2://inv/7K0QKF3QVY |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 18-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 2610.16241#H1NW (problem). In WNDHZVY4WK/e1, problem 2
History
- 2026-10-28: add by m2/v0.4.2
Poncelet–Steiner theorem 7K1BK9QMB9
| URI | m2://inv/7K1BK9QMB9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | Poncelet–Steiner theorem 2P0DP2TK6P |
Mentions
- mathlib_1000: mathlib_1000 Q1186134, Poncelet–Steiner theorem (statement). Also Wikidata Q1186134
- thousand_plus: thousand_plus Q1186134, Poncelet–Steiner theorem (statement). Also Wikidata Q1186134, Wikipedia Poncelet–Steiner theorem
- wikidata: Wikidata Q1186134, Poncelet–Steiner theorem (statement). Also MathWorld Poncelet-SteinerTheorem
- wikipedia: Wikipedia Poncelet–Steiner theorem, Poncelet–Steiner theorem (statement). Also Wikidata Q1186134
History
- 2026-10-26: add by m2/dev
Formula-deleting tableau 7K1CH62DHM
| URI | m2://inv/7K1CH62DHM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of analytic tableaux#T91Q, Formula-deleting tableau (statement)
History
- 2026-11-02: add by m2/dev
7K1FHMPC8E 7K1FHMPC8E
| URI | m2://inv/7K1FHMPC8E |
|---|---|
| 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.01467#1VCT (statement). In 10GZB25WAC/e1, theorem 7.3
History
- 2026-10-29: add by m2/v0.4.12
Gamma test (statistics) 7K1REW3D7C
| URI | m2://inv/7K1REW3D7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OOSC, Gamma test (statistics) (definition)
History
- 2026-11-02: add by m2/dev
7K1Y4Q8MT7 7K1Y4Q8MT7
| URI | m2://inv/7K1Y4Q8MT7 |
|---|---|
| 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.16727#01AM (statement). In Z5QS3MD8HN/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
Reshetnyak gluing theorem 7K1ZGY20YY
| URI | m2://inv/7K1ZGY20YY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reshetnyak gluing theorem, Reshetnyak gluing theorem (statement). Also Wikidata Q16944399
History
- 2026-11-02: add by m2/dev
7K24JSPE0Y 7K24JSPE0Y
| URI | m2://inv/7K24JSPE0Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#M6K9 (statement). In 1A01NFHBGA/e1, lemma 2.16
History
- 2026-10-28: add by m2/v0.4.3
function, linear 7K29Z0WYZX
| URI | m2://inv/7K29Z0WYZX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.7/function-linear, function, linear (concept). In N54F33XE07, index, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
Definition 7K2AP51Q5W
| URI | m2://inv/7K2AP51Q5W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sweedler's Hopf algebra#RE93, Definition (definition)
History
- 2026-11-02: add by m2/dev
7K2BP08CVG 7K2BP08CVG
| URI | m2://inv/7K2BP08CVG |
|---|---|
| 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 0809.4587#TU7X (statement). In KQ8JPHDKKE/e1, lemma 9.8.14
History
- 2026-10-27: add by m2/v0.3.5
\rev{Compact} resolvent 7K2E38Q5DH
| URI | m2://inv/7K2E38Q5DH |
|---|---|
| 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.01855#B32O, \rev{Compact} resolvent (definition). In MM8P5CJR18/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
ideal 7K2V431N0Y
| URI | m2://inv/7K2V431N0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Ideal 096Z9MP2ME |
Mentions
- wikidata: Wikidata Q44649, ideal (definition). Also EoM Ideal, MathWorld Ideal, ProofWiki Definition:Ideal_of_Ring
- wikipedia: Wikipedia Ideal (ring theory), Ideal (definition). Also Wikidata Q44649
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Examples 7K2YAM7XRS
| URI | m2://inv/7K2YAM7XRS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy field#1FH1, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition 7K35BX4PZ4
| URI | m2://inv/7K35BX4PZ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Foliation#8XEY, Definition (definition)
History
- 2026-11-02: add by m2/dev
7K39NGA9JK 7K39NGA9JK
| URI | m2://inv/7K39NGA9JK |
|---|---|
| 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#8PKB (statement). In PDKBKKJ4BV/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
Ricardo Mane 7K3C1VZG2X
| URI | m2://inv/7K3C1VZG2X |
|---|---|
| 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#198A, Ricardo Mane (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Y9JN, Ricardo Mane (unknown)
History
- 2026-11-02: add by m2/dev
7K3Q2V80GJ 7K3Q2V80GJ
| URI | m2://inv/7K3Q2V80GJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#A0RX (statement)
History
- 2026-11-02: add by m2/v0.6.17
7K3XF2EF73 7K3XF2EF73
| URI | m2://inv/7K3XF2EF73 |
|---|---|
| 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.20656#TF2H (statement)
History
- 2026-11-02: add by m2/v0.6.18
Geometric anticanonical tower 7K3XJKRT4H
| URI | m2://inv/7K3XJKRT4H |
|---|---|
| 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#8PGD, Geometric anticanonical tower (statement). In 328KGRNN0W/e1, theorem 6.1
History
- 2026-10-30: add by m2/v0.4.12
7K3XZ9BRVF 7K3XZ9BRVF
| URI | m2://inv/7K3XZ9BRVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#TWZT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nine Mile Burn 7K43N92KNY
| URI | m2://inv/7K43N92KNY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#N5RD, Nine Mile Burn (unknown)
History
- 2026-11-02: add by m2/dev
Kegel-Wielandt for nilpotent subgroups 7K4481DT62
| URI | m2://inv/7K4481DT62 |
|---|---|
| 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 2210.02261#5EU7, Kegel-Wielandt for nilpotent subgroups (statement). In TT74R659T0/e1, lemma 0.10
History
- 2026-10-27: add by m2/v0.3.5
7K48FE38S2 7K48FE38S2
| URI | m2://inv/7K48FE38S2 |
|---|---|
| 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#H03Y (statement). In 8XAKGH8S2D/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.10
Definition 7K4AKC3HJY
| URI | m2://inv/7K4AKC3HJY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangle group#KY62, Definition (definition)
History
- 2026-11-02: add by m2/dev
Viktor Korolev 7K4BYQ7EA8
| URI | m2://inv/7K4BYQ7EA8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viktor Korolev (mathematician), Viktor Korolev (topic). Also Wikidata Q24642587
History
- 2026-11-02: add by m2/dev
Walter Brown 7K4FF77CWG
| URI | m2://inv/7K4FF77CWG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter Brown (mathematician), Walter Brown (topic). Also Wikidata Q7964394
History
- 2026-11-02: add by m2/dev
7K4G3FB694 7K4G3FB694
| URI | m2://inv/7K4G3FB694 |
|---|---|
| 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 0809.0068#WE6Q (statement). In MBKYGM01FK/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Riemannian manifold 7K4MNSH1MJ
| URI | m2://inv/7K4MNSH1MJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.17004#D77Y, Riemannian manifold (definition). In XNJGNMS6H0/e1, definition B.1
History
- 2026-10-28: add by m2/v0.4.2
7K4Y52550Y 7K4Y52550Y
| URI | m2://inv/7K4Y52550Y |
|---|---|
| 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.31304#W85P (statement). In 3YK9MDW1D2/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
FreeS/WAN 7K55930R6Q
| URI | m2://inv/7K55930R6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FreeS/WAN, FreeS/WAN (definition). Also Wikidata Q5499675
History
- 2026-11-02: add by m2/dev
7K55AQ261S 7K55AQ261S
| URI | m2://inv/7K55AQ261S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20376#FLPH (definition). In DGTCGQX6YZ/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.2
7K55ME93E8 7K55ME93E8
| URI | m2://inv/7K55ME93E8 |
|---|---|
| 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.06556#DC6E (statement). In KW8C7VE9XR/e1, proposition 42
History
- 2026-10-29: add by m2/v0.4.10
Jean-Jacques Moreau 7K5AP5E3C2
| URI | m2://inv/7K5AP5E3C2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Jacques Moreau, Jean-Jacques Moreau (topic). Also Wikidata Q6170886
History
- 2026-11-02: add by m2/dev
strong, collection 7K5AVM5BCK
| URI | m2://inv/7K5AVM5BCK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/strong-collection, strong, collection (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
logic, predicate 7K5K23S032
| URI | m2://inv/7K5K23S032 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/logic-predicate, logic, predicate (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
Michael Golomb 7K5PJCY528
| URI | m2://inv/7K5PJCY528 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#8OEW, Michael Golomb (topic)
History
- 2026-11-02: add by m2/dev
desmic mate 7K5R8RADYQ
| URI | m2://inv/7K5R8RADYQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2184737, desmic mate (unknown). Also MathWorld DesmicMate
History
- 2026-10-26: add by m2/dev
7K5TFK4Z4V 7K5TFK4Z4V
| URI | m2://inv/7K5TFK4Z4V |
|---|---|
| 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#9G5Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
7K5ZKW3VBW 7K5ZKW3VBW
| URI | m2://inv/7K5ZKW3VBW |
|---|---|
| Kind | statement |
| 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#DRGS (statement). In HH35K7S17H/e1, lemma 4.20
History
- 2026-10-29: add by m2/v0.4.10
7K603HVGYR 7K603HVGYR
| URI | m2://inv/7K603HVGYR |
|---|---|
| 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.23287#LJRC (statement)
History
- 2026-11-02: add by m2/v0.6.17
Robert C. Elston 7K618VN5S4
| URI | m2://inv/7K618VN5S4 |
|---|---|
| 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#GI01, Robert C. Elston (topic)
History
- 2026-11-02: add by m2/dev
Kaniadakis logistic distribution 7K621NZASY
| URI | m2://inv/7K621NZASY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaniadakis logistic distribution, Kaniadakis logistic distribution (definition). Also Wikidata Q113298080
History
- 2026-11-02: add by m2/dev
Typed lambda calculus 7K63Q9V04S
| URI | m2://inv/7K63Q9V04S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#5P08, Typed lambda calculus (definition)
History
- 2026-11-02: add by m2/dev
Applications 7K64BY796R
| URI | m2://inv/7K64BY796R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex connectivity#7BJO, Applications (example)
History
- 2026-11-02: add by m2/dev
Ladder extraction 7K64ZFVPKD
| URI | m2://inv/7K64ZFVPKD |
|---|---|
| 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.11002#IEP2, Ladder extraction (statement). In P55JSAYR3T/e1, lemma
History
- 2026-10-28: add by m2/v0.4.3
7K6RAHXC47 7K6RAHXC47
| URI | m2://inv/7K6RAHXC47 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#LQH0 (definition). In 7SSKW778T8/e1, definition 9.1
History
- 2026-10-29: add by m2/v0.4.10
Relation to the prime number theorem 7K6VM4R1FV
| URI | m2://inv/7K6VM4R1FV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mertens' theorems#CB4A, Relation to the prime number theorem (statement)
History
- 2026-11-02: add by m2/dev
7K6W13DZEX 7K6W13DZEX
| URI | m2://inv/7K6W13DZEX |
|---|---|
| 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 math/0301148#OI8L (statement). In 5RE15848Z0/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
The Review of Economics and Statistics 7K6ZJA44FV
| URI | m2://inv/7K6ZJA44FV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#WYH1, The Review of Economics and Statistics (definition)
History
- 2026-11-02: add by m2/dev
7K6ZXX28FJ 7K6ZXX28FJ
| URI | m2://inv/7K6ZXX28FJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18503#2TYR (statement). In RW315W172S/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
7K70KQMSM8 7K70KQMSM8
| URI | m2://inv/7K70KQMSM8 |
|---|---|
| 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 2605.14425#BJ40 (statement). In 33KV0D25HW/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
DataDetective 7K71DMTHB6
| URI | m2://inv/7K71DMTHB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JSYE, DataDetective (definition)
History
- 2026-11-02: add by m2/dev
Approximate controllability 7K7459JXDY
| URI | m2://inv/7K7459JXDY |
|---|---|
| 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.28937#6D29, Approximate controllability (definition)
History
- 2026-11-01: add by m2/v0.6.15
Computation 7K7WDQMVGZ
| URI | m2://inv/7K7WDQMVGZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floer homology#YTYF, Computation (definition)
History
- 2026-11-02: add by m2/dev
Karin Melnick 7K8C6T1J6X
| URI | m2://inv/7K8C6T1J6X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karin Melnick, Karin Melnick (topic). Also Wikidata Q97367071
History
- 2026-11-02: add by m2/dev
Definition 7K8D3V0H56
| URI | m2://inv/7K8D3V0H56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic measure#RQSW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Marie-Hélène Schwartz 7K9529V0SH
| URI | m2://inv/7K9529V0SH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marie-Hélène Schwartz, Marie-Hélène Schwartz (topic). Also Wikidata Q20273847
History
- 2026-11-02: add by m2/dev
Graded polarization of the primary obstruction 7K9BX5FQ9V
| URI | m2://inv/7K9BX5FQ9V |
|---|---|
| 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#0R0U, Graded polarization of the primary obstruction (statement). In XDTM624YPE/e1, lemma 8.6
History
- 2026-10-27: add by m2/v0.4.2
7K9D3VZGXN 7K9D3VZGXN
| URI | m2://inv/7K9D3VZGXN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-2.xml#example-3 (example). In 649HGZKE96, example, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
Transition of functional indeterminacy 7K9D4GZW37
| URI | m2://inv/7K9D4GZW37 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.27966#I26P, Transition of functional indeterminacy (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ran space 7K9H5Z4FQD
| URI | m2://inv/7K9H5Z4FQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#4SR6, Ran space (definition)
History
- 2026-11-02: add by m2/dev
Hannah Cairo 7K9HRHANBV
| URI | m2://inv/7K9HRHANBV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hannah Cairo, Hannah Cairo (topic). Also Wikidata Q135186010
History
- 2026-11-02: add by m2/dev
Continuum (topology) 7K9JZPQSX3
| URI | m2://inv/7K9JZPQSX3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of continuity-related mathematical topics#WGPW, Continuum (topology) (definition)
History
- 2026-11-02: add by m2/dev
Population-SOE consistency 7K9RZR45Q2
| URI | m2://inv/7K9RZR45Q2 |
|---|---|
| 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.31470#0CFL, Population-SOE consistency (statement). In 4RS2WKVB7F/e1, theorem 3.5
History
- 2026-10-31: add by m2/v0.5.6
Leibniz’s Series for Pi 7K9XXA0X9W
| URI | m2://inv/7K9XXA0X9W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 26, Leibniz’s Series for Pi (statement). Also Mathlib Real.tendsto_sum_pi_div_four
History
- 2026-10-26: add by m2/dev
7K9YAV83P0 7K9YAV83P0
| URI | m2://inv/7K9YAV83P0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/taylor.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 34.3
History
- 2026-11-01: add by m2/v0.6.13
uniqueness, principle, propositional, for identities between pairs 7KA1J0NCDM
| URI | m2://inv/7KA1J0NCDM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.6/uniqueness-principle-propositional-for-identities-between-pairs, uniqueness, principle, propositional, for identities between pairs (concept). In N54F33XE07, index, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Entropy of the exterior-amplitude subspaces 7KA3K2S5RP
| URI | m2://inv/7KA3K2S5RP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03683#NBYE, Entropy of the exterior-amplitude subspaces (statement). In 14AMXF6X2V/e1, lemma 5.9
History
- 2026-10-29: add by m2/v0.4.12
Gareth W. Peters 7KA7B1JK2H
| URI | m2://inv/7KA7B1JK2H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gareth W. Peters, Gareth W. Peters (topic). Also Wikidata Q57306921
History
- 2026-11-02: add by m2/dev
Weierstrass point 7KAFVYTWZQ
| URI | m2://inv/7KAFVYTWZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7979825, Weierstrass point (unknown). Also MathWorld WeierstrassPoint
- wikipedia: Wikipedia Weierstrass point, Weierstrass point (definition). Also Wikidata Q7979825
History
- 2026-10-26: add by m2/dev
7KAQ6X1NKD 7KAQ6X1NKD
| URI | m2://inv/7KAQ6X1NKD |
|---|---|
| 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.05032#YO2Z (statement). In DDNK8D4359/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
7KAWZHSEX3 7KAWZHSEX3
| URI | m2://inv/7KAWZHSEX3 |
|---|---|
| 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.40355#TRRA (statement). In SBP98GWKC8/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
hat matrix 7KB2YZ992C
| URI | m2://inv/7KB2YZ992C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5680845, hat matrix (unknown). Also MathWorld ProjectionMatrix
- wikipedia: Wikipedia Projection matrix, Projection matrix (definition). Also Wikidata Q5680845
History
- 2026-10-26: add by m2/dev
Yoshio Mikami 7KB4PGY3EC
| URI | m2://inv/7KB4PGY3EC |
|---|---|
| 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 Q251702, Yoshio Mikami (unknown). Also ProofWiki Mathematician:Yoshio_Mikami
History
- 2026-10-26: add by m2/dev
7KB6GCT2RE 7KB6GCT2RE
| URI | m2://inv/7KB6GCT2RE |
|---|---|
| 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.02484#FT63 (statement). In D1V0MQZTFQ/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Subthreshold globality 7KB8ZSBPGW
| URI | m2://inv/7KB8ZSBPGW |
|---|---|
| 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.02714#IU6Z, Subthreshold globality (statement). In R9AXCJWK8F/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
A scalar separation test 7KB9JT2KZB
| URI | m2://inv/7KB9JT2KZB |
|---|---|
| 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.39895#OZWI, A scalar separation test (statement). In B3TZBWZNM4/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Turing machine 7KB9MMSM7E
| URI | m2://inv/7KB9MMSM7E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#IMMX, Turing machine (definition)
- wikipedia: Wikipedia List of things named after Alan Turing#CGUR, Turing machine (definition)
History
- 2026-11-02: add by m2/dev
7KB9ZZWKXV 7KB9ZZWKXV
| URI | m2://inv/7KB9ZZWKXV |
|---|---|
| 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.18562#WY7I (statement). In 793KXAR957/e1, corollary 3.7
History
- 2026-10-28: add by m2/v0.4.2
Joel Kamnitzer 7KBJ9WXSXT
| URI | m2://inv/7KBJ9WXSXT |
|---|---|
| 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 Q17576271, Joel Kamnitzer (unknown). Also nLab Joel Kamnitzer
History
- 2026-10-26: add by m2/dev
elevator paradox 7KBK2WZ2HJ
| URI | m2://inv/7KBK2WZ2HJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1158877, elevator paradox (unknown). Also MathWorld ElevatorParadox
History
- 2026-10-26: add by m2/dev
P-adic exponential function 7KBKY50BJ4
| URI | m2://inv/7KBKY50BJ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#3V8Q, P-adic exponential function (definition)
History
- 2026-11-02: add by m2/dev
Median-unbiased estimator 7KBTBVRVM9
| URI | m2://inv/7KBTBVRVM9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Median#SKQ3, Median-unbiased estimator (unknown)
History
- 2026-11-02: add by m2/dev
Applications 7KBW32WNZR
| URI | m2://inv/7KBW32WNZR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Microscale and macroscale models#DTZG, Applications (example)
History
- 2026-11-02: add by m2/dev
7KC02SQ5YS 7KC02SQ5YS
| URI | m2://inv/7KC02SQ5YS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.36823#AS5J (statement). In 55WT8DME6Y/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
Bernard Leclerc 7KC3CQ268V
| URI | m2://inv/7KC3CQ268V |
|---|---|
| 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#Y8Y7, Bernard Leclerc (unknown)
History
- 2026-11-02: add by m2/dev
Example 7KCB3WCBHM
| URI | m2://inv/7KCB3WCBHM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute presentation of a group#QZZM, Example (example)
History
- 2026-11-02: add by m2/dev
Poston 7KCCXTKXY5
| URI | m2://inv/7KCCXTKXY5 |
|---|---|
| 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#OGZX, Poston (unknown)
History
- 2026-11-02: add by m2/dev
Entrywise guarantees for MLE and Rank Centrality 7KCG5D9FQG
| URI | m2://inv/7KCG5D9FQG |
|---|---|
| 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.09030#QCUB, Entrywise guarantees for MLE and Rank Centrality (statement). In BYN44C0X0C/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Definition 7KCGDP6594
| URI | m2://inv/7KCGDP6594 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphs with few cliques#SFXJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
7KCJQ3WDMM 7KCJQ3WDMM
| URI | m2://inv/7KCJQ3WDMM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2403.16814#LGBZ (statement). In MN03Z3PRFT/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
7KCK9CRFWX 7KCK9CRFWX
| URI | m2://inv/7KCK9CRFWX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21768#ANN7 (statement). In VD53W58DS1/e1, proposition 5.7
History
- 2026-10-27: add by m2/v0.4.2
Aparna V. Huzurbazar 7KCN06SWT8
| URI | m2://inv/7KCN06SWT8 |
|---|---|
| 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#7XEO, Aparna V. Huzurbazar (topic)
History
- 2026-11-02: add by m2/dev
Alexandroff extension 7KCW25BK3K
| URI | m2://inv/7KCW25BK3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | One-point compactification 0GWN3CMRK8 |
Mentions
- wikidata: Wikidata Q864919, Alexandroff extension (unknown). Also EoM Aleksandrov_compactification, MathWorld One-PointCompactification, nLab one-point compactification
- wikipedia: Wikipedia Alexandroff extension, Alexandroff extension (definition). Also Wikidata Q864919
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
7KCXX1E59V 7KCXX1E59V
| URI | m2://inv/7KCXX1E59V |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-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 2507.20176#3J7A (example). In CX4WDA2KAR/e1, example 2.5
History
- 2026-10-27: add by m2/v0.3.5
Resampling 7KCY74R3D9
| URI | m2://inv/7KCY74R3D9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resampling (statistics), Resampling (definition). Also Wikidata Q1170431
History
- 2026-11-02: add by m2/dev
7KD0AQ4WMD 7KD0AQ4WMD
| URI | m2://inv/7KD0AQ4WMD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18803#VTL7 (statement). In VG8AF124T3/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Classifier (mathematics) 7KD6MB8Q20
| URI | m2://inv/7KD6MB8Q20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BV7V, Classifier (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Fusiform 7KD7F2XK64
| URI | m2://inv/7KD7F2XK64 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fusiform, Fusiform (definition). Also Wikidata Q1475338
History
- 2026-11-02: add by m2/dev
Examples 7KDR37C0Z9
| URI | m2://inv/7KDR37C0Z9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak topology#OUE7, Examples (example)
History
- 2026-11-02: add by m2/dev
abelian group 7KDW1V7YZ1
| URI | m2://inv/7KDW1V7YZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 2974) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#PIKY, abelian group (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
7KDWWB41T7 7KDWWB41T7
| URI | m2://inv/7KDWWB41T7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.39317#C0BF (statement). In QM1T8JDK4A/e1, proposition 5.10
History
- 2026-10-30: add by m2/v0.4.12
7KE4Z42ZPC 7KE4Z42ZPC
| URI | m2://inv/7KE4Z42ZPC |
|---|---|
| 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.37208#K3P5 (statement). In 7MCBCP4T0B/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Heinrich Hencky 7KEBFR42ZS
| URI | m2://inv/7KEBFR42ZS |
|---|---|
| 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#GIO9, Heinrich Hencky (unknown)
History
- 2026-11-02: add by m2/dev
7KED4Y49D5 7KED4Y49D5
| URI | m2://inv/7KED4Y49D5 |
|---|---|
| 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.19426#TXQV (statement). In Y28XB7TPPZ/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.2
Canon arithmeticus 7KEFN3X9D8
| URI | m2://inv/7KEFN3X9D8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canon arithmeticus, Canon arithmeticus (definition). Also Wikidata Q5033277
History
- 2026-11-02: add by m2/dev
characteristic polynomial 7KESVRWK55
| URI | m2://inv/7KESVRWK55 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Endomorphism polynomials > characteristic polynomial, characteristic polynomial (unknown). Also Mathlib Matrix.charpoly
- mathlib_undergrad: mathlib_undergrad Linear algebra > Endomorphism polynomials > characteristic polynomial, characteristic polynomial (unknown). Also Mathlib Matrix.charpoly
History
- 2026-10-26: add by m2/dev
BSAFE 7KEWWXZ4M5
| URI | m2://inv/7KEWWXZ4M5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BSAFE, BSAFE (definition). Also Wikidata Q17083990
History
- 2026-11-02: add by m2/dev
\bf{$p$-th order trapping via function value oracle 7KF2WRVY4H
| URI | m2://inv/7KF2WRVY4H |
|---|---|
| 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.02791#ZA3M, \bf{$p$-th order trapping via function value oracle (statement). In TT9BA4VMTW/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
Mollie Orshansky 7KFDFZ31M7
| URI | m2://inv/7KFDFZ31M7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#9CXW, Mollie Orshansky (unknown)
History
- 2026-11-02: add by m2/dev
7KFHNP1Q0P 7KFHNP1Q0P
| URI | m2://inv/7KFHNP1Q0P |
|---|---|
| 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.21533#B1TH (statement). In N3Z6JFEPCF/e1, proposition 1.2
History
- 2026-10-27: add by m2/v0.4.2
7KFK8XP8CM 7KFK8XP8CM
| URI | m2://inv/7KFK8XP8CM |
|---|---|
| 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.35927#ZJ6S (statement). In 7S0DWBCNS8/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
Generation effect 7KFP2RZKKP
| URI | m2://inv/7KFP2RZKKP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generation effect, Generation effect (definition). Also Wikidata Q5532593
History
- 2026-11-02: add by m2/dev
7KFQPKCBPT 7KFQPKCBPT
| URI | m2://inv/7KFQPKCBPT |
|---|---|
| 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.05602#LDX2 (statement). In W88890HB4Z/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Ten Lake Township, Beltrami County, Minnesota 7KFSH2B3K3
| URI | m2://inv/7KFSH2B3K3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#ASRU, Ten Lake Township, Beltrami County, Minnesota (unknown)
History
- 2026-11-02: add by m2/dev
No royal road 7KFY66WEZB
| URI | m2://inv/7KFY66WEZB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Menaechmus#OEOP, No royal road (unknown)
History
- 2026-11-02: add by m2/dev
7KG0EVYWN3 7KG0EVYWN3
| URI | m2://inv/7KG0EVYWN3 |
|---|---|
| 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#UL2A (statement). In S26QVW5613/e1, lemma 5.2.2
History
- 2026-10-30: add by m2/v0.4.12
7KG465GAPH 7KG465GAPH
| URI | m2://inv/7KG465GAPH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.01653#LNA6 (statement). In WZMHJCQPB2/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.12
7KGF6XRBQV 7KGF6XRBQV
| URI | m2://inv/7KGF6XRBQV |
|---|---|
| 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 2108.09796#HLBG (statement). In NAA7WFQN20/e1, theorem 8.3
History
- 2026-10-27: add by m2/v0.3.5
Lipschitz constant 7KGFV69ZC9
| URI | m2://inv/7KGFV69ZC9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130741864, Lipschitz constant (concept). Also EoM Lipschitz_constant
History
- 2026-10-26: add by m2/dev
Completeness 7KGH4V3PZF
| URI | m2://inv/7KGH4V3PZF |
|---|---|
| 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 2207.11097#LU2I, Completeness (statement). In 13H5BTAXHF/e1, theorem 18
History
- 2026-10-27: add by m2/v0.3.5
Principle of strong induction 7KGH6RH2G3
| URI | m2://inv/7KGH6RH2G3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#thm-2, Principle of strong induction (statement). In E59CDZA4DP, thm, section 11.9.2
History
- 2026-11-01: add by m2/v0.6.13
topological subspace 7KGT58KV80
| URI | m2://inv/7KGT58KV80 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77613467, topological subspace (definition). Also ProofWiki Definition:Topological_Subspace
History
- 2026-10-26: add by m2/dev
7KGWTYHZWM 7KGWTYHZWM
| URI | m2://inv/7KGWTYHZWM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28160#HE2H (example)
History
- 2026-11-01: add by m2/v0.6.15
Definition 7KGYFSTJD8
| URI | m2://inv/7KGYFSTJD8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goursat problem#5VTD, Definition (definition)
History
- 2026-11-02: add by m2/dev
LTI-SDE-induced kernel 7KH080R4WY
| URI | m2://inv/7KH080R4WY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05856#RXDS, LTI-SDE-induced kernel (definition). In WMXXXFH1M4/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.10
Special case 7KH2B25GXD
| URI | m2://inv/7KH2B25GXD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Right kite#AT79, Special case (statement)
History
- 2026-11-02: add by m2/dev
causal structure 7KH6RJ1HSD
| URI | m2://inv/7KH6RJ1HSD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2364925, causal structure (unknown). Also MathWorld CausalNetwork, nLab causal structure
- wikipedia: Wikipedia Causal structure, Causal structure (definition). Also Wikidata Q2364925
History
- 2026-10-26: add by m2/dev
Cartan–Ambrose–Hicks theorem 7KHC0N8MFS
| URI | m2://inv/7KHC0N8MFS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan–Ambrose–Hicks theorem, Cartan–Ambrose–Hicks theorem (statement). Also Wikidata Q15844076
History
- 2026-11-02: add by m2/dev
7KHJCY8G76 7KHJCY8G76
| URI | m2://inv/7KHJCY8G76 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.19791#4KKY (statement). In AVDB4KJ6XB/e1, corollary 3.13
History
- 2026-10-28: add by m2/v0.4.2
consecutive 7KHJMKPNYF
| URI | m2://inv/7KHJMKPNYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#A2YS, consecutive (definition)
History
- 2026-11-02: add by m2/dev
7KHM82782W 7KHM82782W
| URI | m2://inv/7KHM82782W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:codim2extends (exercise). In VNMV985MXX, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
7KJ2D09E0Y 7KJ2D09E0Y
| URI | m2://inv/7KJ2D09E0Y |
|---|---|
| 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.33552#9X95 (statement). In SRAS2DJJQH/e1, lemma 6.5
History
- 2026-10-30: add by m2/v0.4.12
7KJ37C9TYM 7KJ37C9TYM
| URI | m2://inv/7KJ37C9TYM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29925#B9T6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
7KJ9AW4YA7 7KJ9AW4YA7
| URI | m2://inv/7KJ9AW4YA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 51-XX, 52-XX, 53-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 1003.5948#57VH (statement). In 63MZDG4R4Q/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Network synthesis 7KJB27J12T
| URI | m2://inv/7KJB27J12T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Network synthesis, Network synthesis (definition). Also Wikidata Q96395256
History
- 2026-11-02: add by m2/dev
simple random sample 7KJD5ETM9T
| URI | m2://inv/7KJD5ETM9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#EX86, simple random sample (definition)
History
- 2026-11-02: add by m2/dev
7KJF2BXQG9 7KJF2BXQG9
| URI | m2://inv/7KJF2BXQG9 |
|---|---|
| Kind | definition |
| 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.18101#ENPB (definition). In XXN6KKXPYF/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Literal and figurative language 7KJHSPRY0H
| URI | m2://inv/7KJHSPRY0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Literal and figurative language, Literal and figurative language (definition). Also Wikidata Q7363315
History
- 2026-11-02: add by m2/dev
Properties 7KJJR555SG
| URI | m2://inv/7KJJR555SG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steiner ellipse#EO2X, Properties (statement)
History
- 2026-11-02: add by m2/dev
7KJMHD9HYP 7KJMHD9HYP
| URI | m2://inv/7KJMHD9HYP |
|---|---|
| Kind | example |
| 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 2609.27153#CTIM (example)
History
- 2026-11-01: add by m2/v0.6.15
7KJRS9EC3R 7KJRS9EC3R
| URI | m2://inv/7KJRS9EC3R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/frame-definability/second-order-definability.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 53.4
History
- 2026-11-01: add by m2/v0.6.13
Spherical sensitivity 7KK0XXZRJ4
| URI | m2://inv/7KK0XXZRJ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#WH3D, Spherical sensitivity (statement). In FTPW1SZ8D3/e1, lemma A.14
History
- 2026-10-30: add by m2/v0.4.12
Christiane Koch 7KK5HW2AH3
| URI | m2://inv/7KK5HW2AH3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#653R, Christiane Koch (unknown)
History
- 2026-11-02: add by m2/dev
Omega language 7KKJ6GMDZN
| URI | m2://inv/7KKJ6GMDZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omega language, Omega language (definition). Also Wikidata Q4334568
History
- 2026-11-02: add by m2/dev
Klein surface 7KKTVC9NN9
| URI | m2://inv/7KKTVC9NN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klein surface, Klein surface (definition). Also Wikidata Q6420197
History
- 2026-11-02: add by m2/dev
Representation theorems 7KKX51QRYC
| URI | m2://inv/7KKX51QRYC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean algebras canonically defined#A6VX, Representation theorems (statement)
History
- 2026-11-02: add by m2/dev
Sally Ronk 7KM6A7EVE2
| URI | m2://inv/7KM6A7EVE2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#68XI, Sally Ronk (unknown)
History
- 2026-11-02: add by m2/dev
7KM9630EBT 7KM9630EBT
| URI | m2://inv/7KM9630EBT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#CQFP (statement). In 90QTB4CC31/e1, proposition 3.18
History
- 2026-10-28: add by m2/v0.4.2
Definition 7KMAHR0FRH
| URI | m2://inv/7KMAHR0FRH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric standard deviation#J7X9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Algebra of sets 7KMDXN5WYP
| URI | m2://inv/7KMDXN5WYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#9HLC, Algebra of sets (definition)
- wikipedia: Wikipedia List of mathematical logic topics#4SN8, Algebra of sets (definition)
- wikipedia: Wikipedia List of Boolean algebra topics#6M5C, Algebra of sets (definition)
History
- 2026-11-02: add by m2/dev
Perturbation consistency 7KMKNG6PBG
| URI | m2://inv/7KMKNG6PBG |
|---|---|
| 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.11619#WDKY, Perturbation consistency (statement). In HT2K76Y9WS/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.3
Srinivasa Ramanujan Medal 7KMR2BJTTV
| URI | m2://inv/7KMR2BJTTV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Srinivasa Ramanujan Medal, Srinivasa Ramanujan Medal (definition). Also Wikidata Q7586463
History
- 2026-11-02: add by m2/dev
7KMV6ZK017 7KMV6ZK017
| URI | m2://inv/7KMV6ZK017 |
|---|---|
| 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#VGVV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jonathan N. Katz 7KMW7ZBMAF
| URI | m2://inv/7KMW7ZBMAF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jonathan N. Katz, Jonathan N. Katz (topic). Also Wikidata Q59673373
History
- 2026-11-02: add by m2/dev
Rectified 24-cell 7KN1134Z8Q
| URI | m2://inv/7KN1134Z8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#9OC9, Rectified 24-cell (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#YQ98, Rectified 24-cell (definition)
History
- 2026-11-02: add by m2/dev
Interacting particle system 7KN59ZR6EB
| URI | m2://inv/7KN59ZR6EB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interacting particle system, Interacting particle system (definition). Also Wikidata Q6045167
History
- 2026-11-02: add by m2/dev
Heterogeneous agent model 7KND0EHATQ
| URI | m2://inv/7KND0EHATQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heterogeneity in economics#BONK, Heterogeneous agent model (unknown)
History
- 2026-11-02: add by m2/dev
7KNM250Q3T 7KNM250Q3T
| URI | m2://inv/7KNM250Q3T |
|---|---|
| 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.34168#TD23 (statement). In 30YQV8N04M/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
Propositional resizing 7KNPGYDZ8P
| URI | m2://inv/7KNPGYDZ8P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#axiom-1, Propositional resizing (statement). In N54F33XE07, axiom, section 9.5
History
- 2026-11-01: add by m2/v0.6.13
Quantitative trading 7KNVHENQAJ
| URI | m2://inv/7KNVHENQAJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical finance#AP5N, Quantitative trading (unknown)
History
- 2026-11-02: add by m2/dev
separation logic 7KNVJEPW8D
| URI | m2://inv/7KNVJEPW8D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3257964, separation logic (unknown). Also nLab separation logic
- wikipedia: Wikipedia Separation logic, Separation logic (definition). Also Wikidata Q3257964
History
- 2026-10-26: add by m2/dev
7KNYEYV84N 7KNYEYV84N
| URI | m2://inv/7KNYEYV84N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#Q8DK (statement). In 8Z47D12KSX/e1, proposition 10.12
History
- 2026-10-29: add by m2/v0.4.10
7KNYTDA8KH 7KNYTDA8KH
| URI | m2://inv/7KNYTDA8KH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2310.15716#8L8Y (statement). In 7WDA4MEWE2/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.6
7KP2ZPCCXW 7KP2ZPCCXW
| URI | m2://inv/7KP2ZPCCXW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05850#OU3L (definition). In D424GB5MAW/e1, definition 2.9
History
- 2026-10-29: add by m2/v0.4.10
Eilenberg–Niven theorem 7KP4R0DX22
| URI | m2://inv/7KP4R0DX22 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eilenberg–Niven theorem, Eilenberg–Niven theorem (statement). Also Wikidata Q108739396
History
- 2026-11-02: add by m2/dev
7KPM7SF90G 7KPM7SF90G
| URI | m2://inv/7KPM7SF90G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-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 2610.15736#XCTM (statement). In 17WP1JCDAV/e1, lemma A
History
- 2026-10-28: add by m2/v0.4.2
Leslie Cheng 7KPN8J4942
| URI | m2://inv/7KPN8J4942 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leslie Cheng, Leslie Cheng (topic). Also Wikidata Q67000705
History
- 2026-11-02: add by m2/dev
7KPPK6DX4G 7KPPK6DX4G
| URI | m2://inv/7KPPK6DX4G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-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.08837#QYX3 (definition). In KBH265QSBT/e1, definition 8.12
History
- 2026-10-29: add by m2/v0.4.10
phi meson 7KQ2DRJN02
| URI | m2://inv/7KQ2DRJN02 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q309954, phi meson (unknown). Also nLab phi-meson
History
- 2026-10-26: add by m2/dev
Examples 7KQ54MR3KM
| URI | m2://inv/7KQ54MR3KM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantitative research#4N4U, Examples (example)
History
- 2026-11-02: add by m2/dev
Continuity 7KQ5WH8J3S
| URI | m2://inv/7KQ5WH8J3S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear map#5GSW, Continuity (statement)
History
- 2026-11-02: add by m2/dev
Example 7KQ8ZASZBQ
| URI | m2://inv/7KQ8ZASZBQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph flattenability#LDXS, Example (example)
History
- 2026-11-02: add by m2/dev
7KQGYT9ZYV 7KQGYT9ZYV
| URI | m2://inv/7KQGYT9ZYV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.16114#FAD9 (statement). In JZZ3FJ382R/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
Applications of the Floyd-Warshall algorithm 7KQZY6ZJD3
| URI | m2://inv/7KQZY6ZJD3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floyd–Warshall algorithm#EUPN, Applications of the Floyd-Warshall algorithm (unknown)
History
- 2026-11-02: add by m2/dev
7KR3JQ52D9 7KR3JQ52D9
| URI | m2://inv/7KR3JQ52D9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.13401#PWIR (definition). In B8MJT0GGW8/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.0
7KR3RTHS3Y 7KR3RTHS3Y
| URI | m2://inv/7KR3RTHS3Y |
|---|---|
| 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.21363#7XWN (statement). In YPH7NS5AAQ/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
Free log-Lichnerowicz estimate, Diez 7KR54K1XFH
| URI | m2://inv/7KR54K1XFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-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.22109#JHIF, Free log-Lichnerowicz estimate, Diez (statement). In MZ60NP20BH/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.4.0
The theorem 7KRBPHWR4C
| URI | m2://inv/7KRBPHWR4C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mostow rigidity theorem#J9HX, The theorem (statement)
History
- 2026-11-02: add by m2/dev
7KRF9SFBPY 7KRF9SFBPY
| URI | m2://inv/7KRF9SFBPY |
|---|---|
| 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.04730#2ZCJ (statement). In QHFP0837Q8/e1, proposition 5.15
History
- 2026-10-29: add by m2/v0.4.12
Semilocally simply connected 7KRFSVNQCQ
| URI | m2://inv/7KRFSVNQCQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#8QLT, Semilocally simply connected (definition)
History
- 2026-11-02: add by m2/dev
7KRJKW9KHH 7KRJKW9KHH
| URI | m2://inv/7KRJKW9KHH |
|---|---|
| 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#5NQV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uses 7KRKZAVFN1
| URI | m2://inv/7KRKZAVFN1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof of space#0VJM, Uses (example)
History
- 2026-11-02: add by m2/dev
7KRR2Y8XWE 7KRR2Y8XWE
| URI | m2://inv/7KRR2Y8XWE |
|---|---|
| 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.20119#8HQ5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
aristotelianism 7KS0AHGZNW
| URI | m2://inv/7KS0AHGZNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q263307, aristotelianism (definition). Also ProofWiki Definition:Aristotelian_Philosophy
History
- 2026-10-26: add by m2/dev
Example 7KS31RYR0T
| URI | m2://inv/7KS31RYR0T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multibody system#CTO5, Example (example)
History
- 2026-11-02: add by m2/dev
Folded spectrum method 7KS61X1W9Q
| URI | m2://inv/7KS61X1W9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Folded spectrum method, Folded spectrum method (definition). Also Wikidata Q1404195
History
- 2026-11-02: add by m2/dev
Singular cohomology 7KS792JJT5
| URI | m2://inv/7KS792JJT5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohomology#7IK2, Singular cohomology (unknown)
History
- 2026-11-02: add by m2/dev
Choice of the chain length 7KSASP5S2J
| URI | m2://inv/7KSASP5S2J |
|---|---|
| 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.21461#LE0G, Choice of the chain length (statement). In DWQANBV7B7/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.4.2
Example 7KSFNSY8HH
| URI | m2://inv/7KSFNSY8HH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange inversion theorem#2VIT, Example (example)
History
- 2026-11-02: add by m2/dev
Extensions 7KSWMCBAB5
| URI | m2://inv/7KSWMCBAB5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparison of TLS implementations#VHO4, Extensions (statement)
History
- 2026-11-02: add by m2/dev
order type 7KT2247BVG
| URI | m2://inv/7KT2247BVG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#VAH6, order type (definition)
History
- 2026-11-02: add by m2/dev
Sylow theorems for infinite groups 7KT3GZ0XZB
| URI | m2://inv/7KT3GZ0XZB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has the flag citation-needed (WP9.2)) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylow theorems#EWI2, Sylow theorems for infinite groups (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Corollary 7KT552BMXM
| URI | m2://inv/7KT552BMXM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Girsanov theorem#IAO9, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Critical fractile formula 7KT6QG91AY
| URI | m2://inv/7KT6QG91AY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newsvendor model#VZI4, Critical fractile formula (statement)
History
- 2026-11-02: add by m2/dev
frame bundle 7KT861WR20
| URI | m2://inv/7KT861WR20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Frame bundle F4HWTRNXAP |
Mentions
- wikidata: Wikidata Q5477902, frame bundle (unknown). Also nLab frame bundle
- wikipedia: Wikipedia Frame bundle, Frame bundle (definition). Also Wikidata Q5477902
History
- 2026-10-26: add by m2/dev
Primitive weird number 7KTG3CBKRE
| URI | m2://inv/7KTG3CBKRE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weird number#64MJ, Primitive weird number (unknown)
History
- 2026-11-02: add by m2/dev
Meredith graph 7KTTX8P50V
| URI | m2://inv/7KTTX8P50V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115517, Meredith graph (unknown). Also House of Graphs 1225, MathWorld MeredithGraph
- wikipedia: Wikipedia Meredith graph, Meredith graph (definition). Also Wikidata Q3115517
History
- 2026-10-26: add by m2/dev
7KTVQBH6DJ 7KTVQBH6DJ
| URI | m2://inv/7KTVQBH6DJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/RussellsParadox.tex#prob:barber (exercise). In P1C114YBXG, problem, section I
History
- 2026-11-01: add by m2/v0.6.13
7KV1M0CXBK 7KV1M0CXBK
| URI | m2://inv/7KV1M0CXBK |
|---|---|
| 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.12053#0RNU (statement). In MQ226ETRP6/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.3
The von Neumann hierarchy is complete 7KV1MG3Z33
| URI | m2://inv/7KV1MG3Z33 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#theorem-7, The von Neumann hierarchy is complete (statement). In RZP28ERRZV, theorem, section 92.7
History
- 2026-11-01: add by m2/v0.6.13
Paul J. Cohen 7KV39CMA84
| URI | m2://inv/7KV39CMA84 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#0FPD, Paul J. Cohen (topic)
History
- 2026-11-02: add by m2/dev
832 symmetry 7KV39YH2K9
| URI | m2://inv/7KV39YH2K9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform tilings on the sphere, plane, and hyperbolic plane#08C3, 832 symmetry (unknown)
History
- 2026-11-02: add by m2/dev
7KV5HMXK2T 7KV5HMXK2T
| URI | m2://inv/7KV5HMXK2T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#example-3 (example). In E9HS8K3A52, example, section 2.4.1
History
- 2026-11-01: add by m2/v0.6.13
7KVKBM0ZFE 7KVKBM0ZFE
| URI | m2://inv/7KVKBM0ZFE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10329#TFCG (statement). In SCSTR1Q1BW/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.10
Formal definition 7KVMDVAGZW
| URI | m2://inv/7KVMDVAGZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Area#3XLE, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Rescorla–Wagner model 7KVZMXYV19
| URI | m2://inv/7KVZMXYV19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rescorla–Wagner model, Rescorla–Wagner model (definition). Also Wikidata Q1248527
History
- 2026-11-02: add by m2/dev
Fundamental group scheme 7KW39MXNVP
| URI | m2://inv/7KW39MXNVP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental group scheme, Fundamental group scheme (definition). Also Wikidata Q5508957
History
- 2026-11-02: add by m2/dev
Dawson–Gärtner theorem 7KW61FV476
| URI | m2://inv/7KW61FV476 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5242704, Dawson–Gärtner theorem (statement). Also Wikidata Q5242704
- thousand_plus: thousand_plus Q5242704, Dawson–Gärtner theorem (statement). Also Wikidata Q5242704, Wikipedia Dawson–Gärtner theorem
- wikipedia: Wikipedia Dawson–Gärtner theorem, Dawson–Gärtner theorem (statement). Also Wikidata Q5242704
History
- 2026-10-26: add by m2/dev
Definition 7KW94C4K62
| URI | m2://inv/7KW94C4K62 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological complexity#EUFZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
7KWHQSKRFG 7KWHQSKRFG
| URI | m2://inv/7KWHQSKRFG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#RYN1 (definition). In G70Q2FB591/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
B.H. Neumann 7KWHRFR4V9
| URI | m2://inv/7KWHRFR4V9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#PVC7, B.H. Neumann (topic)
History
- 2026-11-02: add by m2/dev
Walter L. Smith 7KWJAQ0GXY
| URI | m2://inv/7KWJAQ0GXY |
|---|---|
| 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#FQ3S, Walter L. Smith (topic)
History
- 2026-11-02: add by m2/dev
Data quality 7KWNPA1HMY
| URI | m2://inv/7KWNPA1HMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data quality, Data quality (definition). Also Wikidata Q1757694
History
- 2026-11-02: add by m2/dev
William G. Bade 7KWXNFMJ1J
| URI | m2://inv/7KWXNFMJ1J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William G. Bade, William G. Bade (topic). Also Wikidata Q19872957
History
- 2026-11-02: add by m2/dev
7KX6SDEC6A 7KX6SDEC6A
| URI | m2://inv/7KX6SDEC6A |
|---|---|
| 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 2305.10202#BPAC (statement). In ER06JKXR8B/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.0
7KX9ZF0Y63 7KX9ZF0Y63
| URI | m2://inv/7KX9ZF0Y63 |
|---|---|
| Kind | conjecture |
| 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.08424#L5JL (conjecture). In BVD2HAAKD5/e1, conjecture 1.2
History
- 2026-10-29: add by m2/v0.4.10
Electric potential energy 7KXA0ZC4AB
| URI | m2://inv/7KXA0ZC4AB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electric potential energy, Electric potential energy (definition). Also Wikidata Q841798
History
- 2026-11-02: add by m2/dev
Limiting parallel 7KXDHE277D
| URI | m2://inv/7KXDHE277D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limiting parallel, Limiting parallel (definition). Also Wikidata Q17118390
History
- 2026-11-02: add by m2/dev
Case-cohort design 7KXDSB50DN
| URI | m2://inv/7KXDSB50DN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nested case–control study#2K9A, Case-cohort design (unknown)
History
- 2026-11-02: add by m2/dev
7KXFM6H9NF 7KXFM6H9NF
| URI | m2://inv/7KXFM6H9NF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2609.27931#9E40 (example)
History
- 2026-11-01: add by m2/v0.6.15
Partial trace 7KXG7YJ4AB
| URI | m2://inv/7KXG7YJ4AB |
|---|---|
| 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.01855#MG85, Partial trace (definition). In MM8P5CJR18/e1, definition 3.4
History
- 2026-10-29: add by m2/v0.4.12
7KXXG6VM77 7KXXG6VM77
| URI | m2://inv/7KXXG6VM77 |
|---|---|
| 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.35683#PYTQ (statement). In A4S9A3X494/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
7KY19GRZEK 7KY19GRZEK
| URI | m2://inv/7KY19GRZEK |
|---|---|
| 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.18620#XIJ0 (statement). In 6WJ0R9YEBR/e1, lemma 4.18
History
- 2026-10-28: add by m2/v0.4.2
The integral representation of $S_p(P)$ 7KY8WXC4AM
| URI | m2://inv/7KY8WXC4AM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19410#F000, The integral representation of $S_p(P)$ (statement). In GRESY1RPK6/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
Generalized method of moments 7KY9ND5VHS
| URI | m2://inv/7KY9ND5VHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized method of moments, Generalized method of moments (definition). Also Wikidata Q683131
History
- 2026-11-02: add by m2/dev
Computations 7KYDH8FMQ9
| URI | m2://inv/7KYDH8FMQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derived noncommutative algebraic geometry#2ENO, Computations (definition)
History
- 2026-11-02: add by m2/dev
Johann Jakob Burckhardt 7KYJ7S5KBP
| URI | m2://inv/7KYJ7S5KBP |
|---|---|
| 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#WXW3, Johann Jakob Burckhardt (topic)
History
- 2026-11-02: add by m2/dev
Analytical set 7KYJCBXRGS
| URI | m2://inv/7KYJCBXRGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of sets#QIGX, Analytical set (definition)
History
- 2026-11-02: add by m2/dev
7KYR1HPBKR 7KYR1HPBKR
| URI | m2://inv/7KYR1HPBKR |
|---|---|
| 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.21933#4DTQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
7KYRC5WR2R 7KYRC5WR2R
| URI | m2://inv/7KYRC5WR2R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#3XFF (statement). In 702AF3E4AF/e1, theorem 7.3
History
- 2026-10-30: add by m2/v0.4.12
7KZ1XSP8KF 7KZ1XSP8KF
| URI | m2://inv/7KZ1XSP8KF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.14879#OENT (statement). In 3VZ55B2N0D/e1, lemma 7.3
History
- 2026-10-27: add by m2/v0.4.0
7KZ8WEEM1Z 7KZ8WEEM1Z
| URI | m2://inv/7KZ8WEEM1Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.05005#384Y (statement). In SMJMAQ2S3J/e1, proposition 9
History
- 2026-10-27: add by m2/v0.4.0
Critical flag construction 7KZCR24Q02
| URI | m2://inv/7KZCR24Q02 |
|---|---|
| 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 2610.06081#0LFA, Critical flag construction (statement). In 7Z3KQRFEVG/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.10
7KZG43P492 7KZG43P492
| URI | m2://inv/7KZG43P492 |
|---|---|
| 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.21781#SUG7 (statement). In FEQ72D1AX6/e1, lemma 9.1
History
- 2026-10-27: add by m2/v0.4.2
recursion 7KZJPPME68
| URI | m2://inv/7KZJPPME68 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#OYLR, recursion (definition)
History
- 2026-11-02: add by m2/dev
Semantic Brand Score 7KZMAJJ8MG
| URI | m2://inv/7KZMAJJ8MG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semantic Brand Score, Semantic Brand Score (definition). Also Wikidata Q61968150
History
- 2026-11-02: add by m2/dev
Bruss algorithm 7KZQ7GKFYR
| URI | m2://inv/7KZQ7GKFYR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#4P0U, Bruss algorithm (definition)
History
- 2026-11-02: add by m2/dev