Inventory rows KX

KX03KTWW6Q KX03KTWW6Q

URI	`m2://inv/KX03KTWW6Q`
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.26019#18KW (statement)

History

2026-11-01: add by m2/v0.6.15

KX075Y4MSY KX075Y4MSY

URI	`m2://inv/KX075Y4MSY`
Kind	statement
Layer	research
MSC	60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.37897#J6RA (statement). In RBQ5FNCVNZ/e1, lemma 6.17

History

2026-10-30: add by m2/v0.4.12

KX0GXEPMQK KX0GXEPMQK

URI	`m2://inv/KX0GXEPMQK`
Kind	statement
Layer	research
MSC	16-XX, 26-XX, 30-XX, 32-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.13532#KCQ8 (statement). In 9B0X8YPF3P/e1, proposition 6.10

History

2026-10-28: add by m2/v0.4.2

KX0T88KR19 KX0T88KR19

URI	`m2://inv/KX0T88KR19`
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.36423#ES1K (statement). In Q5Z178SAHP/e1, lemma 4.8

History

2026-10-30: add by m2/v0.4.12

Alexander Gluhovsky KX0W1458DE

URI	`m2://inv/KX0W1458DE`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Alexander Gluhovsky, Alexander Gluhovsky (topic). Also Wikidata Q102182908

History

2026-11-02: add by m2/dev

KX0Z55Y2WP KX0Z55Y2WP

URI	`m2://inv/KX0Z55Y2WP`
Kind	statement
Layer	research
MSC	13-XX, 14-XX, 17-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.38068#NKNM (statement). In 67GE5M1GGD/e1, proposition 3.13

History

2026-10-30: add by m2/v0.4.12

Ismail--Obermaier 2011 KX10GXA7F3

URI	`m2://inv/KX10GXA7F3`
Kind	statement
Layer	research
MSC	26-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2306.16411#OB05, Ismail--Obermaier 2011 (statement). In QQ222ZDZC0/e1, theorem 1.2

History

2026-10-27: add by m2/v0.3.5

Definitions KX12RHT8KJ

URI	`m2://inv/KX12RHT8KJ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Quasicircle#53ND, Definitions (definition)

History

2026-11-02: add by m2/dev

KX13WTTMYY KX13WTTMYY

URI	`m2://inv/KX13WTTMYY`
Kind	statement
Layer	research
MSC	54-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.40191#TY68 (statement). In F0D8VSM4Z4/e1, lemma 2.1

History

2026-10-30: add by m2/v0.4.12

Admissibility and value KX19AS87GC

URI	`m2://inv/KX19AS87GC`
Kind	definition
Layer	research
MSC	35-XX, 47-XX, 49-XX, 58-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.05164#94JD, Admissibility and value (definition). In JY6RYSNXMJ/e1, definition 8

History

2026-10-29: add by m2/v0.4.10

Monoidal category action KX1FSB8TG2

URI	`m2://inv/KX1FSB8TG2`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Monoidal category action, Monoidal category action (definition). Also Wikidata Q20809078

History

2026-11-02: add by m2/dev

KX1HHQYXR4 KX1HHQYXR4

URI	`m2://inv/KX1HHQYXR4`
Kind	definition
Layer	research
MSC	05-XX, 17-XX, 20-XX, 22-XX, 35-XX, 47-XX, 58-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2211.01586#FMF6 (definition). In P39MF3ZJC0/e1, definition 1.3

History

2026-10-27: add by m2/v0.3.5

KX1NSJD5RG KX1NSJD5RG

URI	`m2://inv/KX1NSJD5RG`
Kind	definition
Layer	research
MSC	20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.24580#CZB5 (definition)

History

2026-11-01: add by m2/v0.6.15

KX1X34TESX KX1X34TESX

URI	`m2://inv/KX1X34TESX`
Kind	definition
Layer	research
MSC	05-XX, 11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.20899#WI4V (definition). In BSMDFADA39/e1, definition 2.9

History

2026-10-27: add by m2/v0.4.2

$t$-pointwise $L^{p_1}$-$L^{p_2}$ off-diagonal estimates KX20GYX9ES

URI	`m2://inv/KX20GYX9ES`
Kind	statement
Layer	research
MSC	26-XX, 35-XX, 46-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.29712#AJ0H, $t$-pointwise $L^{p_1}$-$L^{p_2}$ off-diagonal estimates (statement)

History

2026-11-01: add by m2/v0.6.15

Antonio Fais KX21F26X9W

URI	`m2://inv/KX21F26X9W`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Antonio Fais, Antonio Fais (topic). Also Wikidata Q3619556

History

2026-11-02: add by m2/dev

KX21G4C957 KX21G4C957

URI	`m2://inv/KX21G4C957`
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.20510#S34F (statement). In 24KCRT4VT2/e1, lemma 2

History

2026-10-27: add by m2/v0.4.2

Y/y KX25SZC9BA

URI	`m2://inv/KX25SZC9BA`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a notation: the notation register holds it (corpus spec K10.4))
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q9973, Y/y (unknown). Also ProofWiki Symbols:Y

History

2026-10-26: add by m2/dev

KX275NDZJM KX275NDZJM

URI	`m2://inv/KX275NDZJM`
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.23128#B5T5 (statement)

History

2026-11-02: add by m2/v0.6.17

Uses of trigonometry KX28JWEG3X

URI	`m2://inv/KX28JWEG3X`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Uses of trigonometry, Uses of trigonometry (definition). Also Wikidata Q2858853

History

2026-11-02: add by m2/dev

Upper endpoint KX2CEPPH8C

URI	`m2://inv/KX2CEPPH8C`
Kind	statement
Layer	research
MSC	26-XX, 35-XX, 47-XX, 58-XX, 60-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.08568#17FE, Upper endpoint (statement). In FDDA562VCA/e1, proposition 3.20

History

2026-10-29: add by m2/v0.4.10

Waterfall chart KX2RX2TT4C

URI	`m2://inv/KX2RX2TT4C`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Waterfall chart, Waterfall chart (definition). Also Wikidata Q2550959

History

2026-11-02: add by m2/dev

Definition KX32P56F23

URI	`m2://inv/KX32P56F23`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Residue at infinity#WEHG, Definition (definition)

History

2026-11-02: add by m2/dev

James Serrin KX3GZ3D47R

URI	`m2://inv/KX3GZ3D47R`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia James Serrin, James Serrin (topic). Also Wikidata Q373345

History

2026-11-02: add by m2/dev

KX3PK9KTGE KX3PK9KTGE

URI	`m2://inv/KX3PK9KTGE`
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 2506.07061#PPB5 (definition). In G2PA4KAGRP/e1, definition 2.20

History

2026-10-27: add by m2/v0.3.6

KX3V2S50HH KX3V2S50HH

URI	`m2://inv/KX3V2S50HH`
Kind	statement
Layer	research
MSC	60-XX, 94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.34570#3SLZ (statement). In EVFX1R7ZDD/e1, proposition 1

History

2026-10-30: add by m2/v0.4.12

KX3Z92DWHA KX3Z92DWHA

URI	`m2://inv/KX3Z92DWHA`
Kind	statement
Layer	research
MSC	94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.04600#8EGZ (statement). In 4V64K0DYSV/e1, theorem C.2

History

2026-10-29: add by m2/v0.4.12

Godeaux surface KX427WM05N

URI	`m2://inv/KX427WM05N`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Godeaux surface, Godeaux surface (definition). Also Wikidata Q17017932

History

2026-11-02: add by m2/dev

376 (number) KX44V1PHZV

URI	`m2://inv/KX44V1PHZV`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia 300 (number)#E2IY, 376 (number) (unknown)

History

2026-11-02: add by m2/dev

Random normalizers are LCL robust KX45RT146J

URI	`m2://inv/KX45RT146J`
Kind	statement
Layer	research
MSC	94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.40252#D1V2, Random normalizers are LCL robust (statement). In 7MVPNFPRKB/e1, theorem 11.8

History

2026-10-30: add by m2/v0.4.12

KX4NRSFBN1 KX4NRSFBN1

URI	`m2://inv/KX4NRSFBN1`
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 2508.07340#4REK (statement). In 2HSB99DW4M/e1, theorem 4.2

History

2026-10-27: add by m2/v0.3.6

Nakano inequalities KX50K2NQTJ

URI	`m2://inv/KX50K2NQTJ`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Kähler identities#93IC, Nakano inequalities (unknown)

History

2026-11-02: add by m2/dev

KX55S1HK6Q KX55S1HK6Q

URI	`m2://inv/KX55S1HK6Q`
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.10152#LB15 (statement). In KCJ53C7AXY/e1, lemma 3.3

History

2026-10-29: add by m2/v0.4.10

Privacy instability at every correlated Gaussian pair KX561WV6FK

URI	`m2://inv/KX561WV6FK`
Kind	statement
Layer	research
MSC	00-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.38228#HFVO, Privacy instability at every correlated Gaussian pair (statement). In 9YAE8FNQST/e1, theorem 1.12

History

2026-10-30: add by m2/v0.4.12

Coupled linear advection--diffusion system KX5DJNEGNM

URI	`m2://inv/KX5DJNEGNM`
Kind	example
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.04357#5CBG, Coupled linear advection--diffusion system (example). In 6FY8BVP1F3/e1, example F.1

History

2026-10-29: add by m2/v0.4.12

Subdirectly irreducible algebra KX5JSBAAVD

URI	`m2://inv/KX5JSBAAVD`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Subdirectly irreducible algebra, Subdirectly irreducible algebra (definition). Also Wikidata Q7631005

History

2026-11-02: add by m2/dev

KX5JW7C0VH KX5JW7C0VH

URI	`m2://inv/KX5JW7C0VH`
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.39269#TJIA (statement). In HS4X20TX33/e1, theorem 0.16

History

2026-10-30: add by m2/v0.4.12

KX5SKMH2C1 KX5SKMH2C1

URI	`m2://inv/KX5SKMH2C1`
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.17589#CN55 (statement). In GSTK4569X1/e1, theorem 5.14

History

2026-10-28: add by m2/v0.4.2

KX5ZDA9TAF KX5ZDA9TAF

URI	`m2://inv/KX5ZDA9TAF`
Kind	statement
Layer	research
MSC	26-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.34852#7VOO (statement). In TZXEMCBK5V/e1, lemma 7.9

History

2026-10-30: add by m2/v0.4.12

Fang--Ma KX63VSSXXJ

URI	`m2://inv/KX63VSSXXJ`
Kind	statement
Layer	research
MSC	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.28411#IVXN, Fang--Ma (statement)

History

2026-11-01: add by m2/v0.6.15

KX664Z0NAT KX664Z0NAT

URI	`m2://inv/KX664Z0NAT`
Kind	statement
Layer	research
MSC	20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2305.10921#LZ8O (statement). In PD5PJ0EYG6/e1, lemma 1.2

History

2026-10-27: add by m2/v0.3.5

Summary KX6AKWFHFP

URI	`m2://inv/KX6AKWFHFP`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Minkowski functional#MP97, Summary (statement)

History

2026-11-02: add by m2/dev

Tsirelson space KX6B01R3Q1

URI	`m2://inv/KX6B01R3Q1`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of vector spaces in mathematics#GCT4, Tsirelson space (definition)
wikipedia: Wikipedia List of functional analysis topics#WD0P, Tsirelson space (definition)
wikipedia: Wikipedia List of mathematical examples#LDS8, Tsirelson space (definition)

History

2026-11-02: add by m2/dev

Omnitruncated polyhedron KX6HS3T62A

URI	`m2://inv/KX6HS3T62A`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Omnitruncated polyhedron, Omnitruncated polyhedron (definition). Also Wikidata Q7090411

History

2026-11-02: add by m2/dev

KX6WRA4MNJ KX6WRA4MNJ

URI	`m2://inv/KX6WRA4MNJ`
Kind	statement
Layer	research
MSC	16-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.18101#4AKT (statement). In XXN6KKXPYF/e1, lemma 4.7

History

2026-10-28: add by m2/v0.4.2

Message forgery KX6YVEBB7Y

URI	`m2://inv/KX6YVEBB7Y`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Message forgery, Message forgery (definition). Also Wikidata Q6821769

History

2026-11-02: add by m2/dev

KX7D2C4CMM KX7D2C4CMM

URI	`m2://inv/KX7D2C4CMM`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

active_calculus: active_calculus source/activities/act-1-3-3.xml#act-1-3-3 (exercise). In 907G4C4EJ1, activity, section 1.3.2

History

2026-11-01: add by m2/v0.6.13

Ridders' method KX7RKXB7JG

URI	`m2://inv/KX7RKXB7JG`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Ridders' method VM1C9D8MX9

Mentions

wikidata: Wikidata Q1864934, Ridders' method (unknown). Also MathWorld RiddersMethod
wikipedia: Wikipedia Ridders' method, Ridders' method (definition). Also Wikidata Q1864934

History

2026-10-26: add by m2/dev

KX7ZPKDXB2 KX7ZPKDXB2

URI	`m2://inv/KX7ZPKDXB2`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/first-order-logic/completeness/construction-of-model.tex#defn:termmodel-2 (definition). In PKGMM3P5QY, defn, section 11.1

History

2026-11-01: add by m2/v0.6.13

Key induction lemma, $s < 1/2$ KX87XMR9PF

URI	`m2://inv/KX87XMR9PF`
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.15805#JP0F, Key induction lemma, $s < 1/2$ (statement). In 2XVWG0Z18V/e1, lemma 7.2

History

2026-10-28: add by m2/v0.4.2

Euler line KX8G06S23V

URI	`m2://inv/KX8G06S23V`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Euler line 0VX0CPRQTZ

Mentions

wikidata: Wikidata Q379380, Euler line (unknown). Also MathWorld EulerLine
wikipedia: Wikipedia Euler line, Euler line (definition). Also Wikidata Q379380

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent

KX8PHG3HEG KX8PHG3HEG

URI	`m2://inv/KX8PHG3HEG`
Kind	definition
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.21491#MAOL (definition)

History

2026-11-02: add by m2/v0.6.18

Data envelopment analysis KX8QMTEMAE

URI	`m2://inv/KX8QMTEMAE`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Data envelopment analysis, Data envelopment analysis (definition). Also Wikidata Q647974

History

2026-11-02: add by m2/dev

Bernoulli scheme KX8QYPNN2Y

URI	`m2://inv/KX8QYPNN2Y`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Bernoulli scheme, Bernoulli scheme (definition). Also Wikidata Q3042439

History

2026-11-02: add by m2/dev

Taylor Dupuy KX8YP5EV4X

URI	`m2://inv/KX8YP5EV4X`
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 Q87701643, Taylor Dupuy (unknown). Also nLab Taylor Dupuy

History

2026-10-26: add by m2/dev

KX93TRE8FR KX93TRE8FR

URI	`m2://inv/KX93TRE8FR`
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 2411.16655#TFAU (statement). In EJHAXRV685/e1, proposition 4.7

History

2026-10-27: add by m2/v0.3.5

Limits of first-block propagation KX94P0NYZH

URI	`m2://inv/KX94P0NYZH`
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.05652#WM82, Limits of first-block propagation (statement). In 8BNPFYQDQX/e1, theorem 1.10

History

2026-10-29: add by m2/v0.4.10

KX9DX4D2AE KX9DX4D2AE

URI	`m2://inv/KX9DX4D2AE`
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 2609.23237#H4WD (statement)

History

2026-11-02: add by m2/v0.6.17

KX9ETC3XR7 KX9ETC3XR7

URI	`m2://inv/KX9ETC3XR7`
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 2609.26434#AQG9 (statement)

History

2026-11-01: add by m2/v0.6.15

Theorem for Jackson networks KX9KANMKGH

URI	`m2://inv/KX9KANMKGH`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Arrival theorem#CG04, Theorem for Jackson networks (statement)

History

2026-11-02: add by m2/dev

type, universe, Tarski-style KX9QK7095J

URI	`m2://inv/KX9QK7095J`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book index/A.12.3/type-universe-tarski-style, type, universe, Tarski-style (concept). In N54F33XE07, index, section A.12.3

History

2026-11-01: add by m2/v0.6.13

KX9RC2GAHA KX9RC2GAHA

URI	`m2://inv/KX9RC2GAHA`
Kind	problem
Layer	research
MSC	18-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 1912.02769#TFFZ (problem). In JH7VQ2EC16/e1, problem 6.2

History

2026-10-27: add by m2/v0.3.5

KX9W1C9Y3A KX9W1C9Y3A

URI	`m2://inv/KX9W1C9Y3A`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/measure/caratheodory.tex#definition-1 (definition). In RZP28ERRZV, definition, section 63.1

History

2026-11-01: add by m2/v0.6.13

The classical weak maximum principle for linear elliptic PDE KX9YK10GQ5

URI	`m2://inv/KX9YK10GQ5`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Maximum principle#ZERM, The classical weak maximum principle for linear elliptic PDE (statement)

History

2026-11-02: add by m2/dev

Heteroscedasticity-consistent standard errors KX9YWR6WXR

URI	`m2://inv/KX9YWR6WXR`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#EHRY, Heteroscedasticity-consistent standard errors (definition)

History

2026-11-02: add by m2/dev

Componentwise mass bound KXADCZ306J

URI	`m2://inv/KXADCZ306J`
Kind	statement
Layer	research
MSC	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 2407.02022#EC2M, Componentwise mass bound (statement). In RZDNWV9E29/e1, proposition 3.4

History

2026-10-27: add by m2/v0.3.6

proof KXAF0WSFYY

URI	`m2://inv/KXAF0WSFYY`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#GOR5, proof (definition)

History

2026-11-02: add by m2/dev

KXAJJ11X2D KXAJJ11X2D

URI	`m2://inv/KXAJJ11X2D`
Kind	statement
Layer	research
MSC	13-XX, 14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.17875#00G9 (statement). In AQX7DGD360/e1, lemma 4.3

History

2026-10-28: add by m2/v0.4.2

KXAK3DDW60 KXAK3DDW60

URI	`m2://inv/KXAK3DDW60`
Kind	statement
Layer	research
MSC	65-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.07064#IXQM (statement). In GPK6W5XQM3/e1, proposition 2

History

2026-10-29: add by m2/v0.4.10

KXAKAT92BX KXAKAT92BX

URI	`m2://inv/KXAKAT92BX`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book setmath.tex#defn:V (definition). In N54F33XE07, defn, section C.5

History

2026-11-01: add by m2/v0.6.13

Application KXAQFNVZ24

URI	`m2://inv/KXAQFNVZ24`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Burden of proof (philosophy)#PP3J, Application (example)

History

2026-11-02: add by m2/dev

Theorem KXATQ1DEJH

URI	`m2://inv/KXATQ1DEJH`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Splitting principle#1755, Theorem (statement)

History

2026-11-02: add by m2/dev

totally indescribable KXAWV6NVBK

URI	`m2://inv/KXAWV6NVBK`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of set theory#YLET, totally indescribable (definition)

History

2026-11-02: add by m2/dev

Augmenting path KXAY2MH7XD

URI	`m2://inv/KXAY2MH7XD`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Flow network#4280, Augmenting path (unknown)

History

2026-11-02: add by m2/dev

KXB1400TBD KXB1400TBD

URI	`m2://inv/KXB1400TBD`
Kind	statement
Layer	research
MSC	37-XX, 60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.16339#2VQ4 (statement). In ER5EH4W919/e1, lemma 7.3

History

2026-10-28: add by m2/v0.4.2

KXB1QRYEVW KXB1QRYEVW

URI	`m2://inv/KXB1QRYEVW`
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 2506.00952#UPO5 (statement). In GX0TV70D4N/e1, lemma 3

History

2026-10-27: add by m2/v0.3.5

KXBCK4VG8R KXBCK4VG8R

URI	`m2://inv/KXBCK4VG8R`
Kind	definition
Layer	research
MSC	62-XX, 94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.16055#GP8G (definition). In 389BW42CTK/e1, definition 1

History

2026-10-28: add by m2/v0.4.2

Pivot operations KXBD9HMEE3

URI	`m2://inv/KXBD9HMEE3`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Simplex algorithm#TG5L, Pivot operations (unknown)

History

2026-11-02: add by m2/dev

Join-irreducible KXBF343GWY

URI	`m2://inv/KXBF343GWY`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Lattice (order)#YPX4, Join-irreducible (unknown)

History

2026-11-02: add by m2/dev

KXBRT133FH KXBRT133FH

URI	`m2://inv/KXBRT133FH`
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.35095#9VLX (definition). In MM3XTWS35F/e1, definition 1

History

2026-10-30: add by m2/v0.4.12

Tricylinder KXC0W9NJMW

URI	`m2://inv/KXC0W9NJMW`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematical shapes#S1IZ, Tricylinder (definition)

History

2026-11-02: add by m2/dev

Selection by three averages KXC3SBAHV7

URI	`m2://inv/KXC3SBAHV7`
Kind	statement
Layer	research
MSC	03-XX, 26-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.12434#4EZN, Selection by three averages (statement). In YCRZC9SDCE/e1, proposition 11.5

History

2026-10-28: add by m2/v0.4.2

vector addition KXD46AZSBT

URI	`m2://inv/KXD46AZSBT`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

austin_ula: austin_ula index/2.1.1/vector-addition, vector addition (concept). In 649HGZKE96, index, section 2.1.1

History

2026-11-01: add by m2/v0.6.13

Guy Henniart KXD4G1BG4E

URI	`m2://inv/KXD4G1BG4E`
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#L9F0, Guy Henniart (topic)

History

2026-11-02: add by m2/dev

$L_2$-realization of the conditional pair KXDJ2Z1F5J

URI	`m2://inv/KXDJ2Z1F5J`
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.14906#XW9O, $L_2$-realization of the conditional pair (statement). In 1F8ENX770M/e1, corollary 4.7

History

2026-10-28: add by m2/v0.4.2

Nikolai Piskunov KXDKXD0GHM

URI	`m2://inv/KXDKXD0GHM`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Nikolai Piskunov, Nikolai Piskunov (topic). Also Wikidata Q3341686

History

2026-11-02: add by m2/dev

Open problems KXDXMHTDVJ

URI	`m2://inv/KXDXMHTDVJ`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Kerr metric#XMBJ, Open problems (statement)

History

2026-11-02: add by m2/dev

KXDZBSC3DZ KXDZBSC3DZ

URI	`m2://inv/KXDZBSC3DZ`
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 2601.15010#4EE9 (statement). In K3WJ6ZN184/e1, proposition 8.2

History

2026-10-27: add by m2/v0.3.5

Split conformity measure KXE0PB2J2E

URI	`m2://inv/KXE0PB2J2E`
Kind	definition
Layer	research
MSC	62-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.23350#JCW6, Split conformity measure (definition)

History

2026-11-02: add by m2/v0.6.17

Steiner system KXE1S78NY3

URI	`m2://inv/KXE1S78NY3`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of group theory topics#UGS0, Steiner system (definition)
wikipedia: Wikipedia List of statistics articles#MU5J, Steiner system (definition)

History

2026-11-02: add by m2/dev

Statement KXE52MFSVN

URI	`m2://inv/KXE52MFSVN`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Grunsky's theorem#EUWR, Statement (statement)

History

2026-11-02: add by m2/dev

KXE5G8DDCK KXE5G8DDCK

URI	`m2://inv/KXE5G8DDCK`
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.36411#70GA (statement). In 9QG5CND2RQ/e1, proposition 6.2

History

2026-10-30: add by m2/v0.4.12

Mikhail V. Borovoi KXER2GN4H2

URI	`m2://inv/KXER2GN4H2`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#3EGN, Mikhail V. Borovoi (topic)

History

2026-11-02: add by m2/dev

KXEYC9M781 KXEYC9M781

URI	`m2://inv/KXEYC9M781`
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#ZCSN (statement). In JZZ3FJ382R/e1, lemma 2.1

History

2026-10-28: add by m2/v0.4.2

KXEZ3ZZ1T7 KXEZ3ZZ1T7

URI	`m2://inv/KXEZ3ZZ1T7`
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.06038#NYSI (statement). In 4TJGTZWJVK/e1, theorem 1.6

History

2026-10-29: add by m2/v0.4.10

Kiyoshi Oka KXF93FGVVD

URI	`m2://inv/KXF93FGVVD`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of complex analysis topics#QZ3S, Kiyoshi Oka (topic)

History

2026-11-02: add by m2/dev

KXF953C1K8 KXF953C1K8

URI	`m2://inv/KXF953C1K8`
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.08323#P5KJ (statement). In FR51ART4NF/e1, proposition 2

History

2026-10-29: add by m2/v0.4.10

Pliny Chase KXFEJHZX9C

URI	`m2://inv/KXFEJHZX9C`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Pliny Chase, Pliny Chase (topic). Also Wikidata Q7205000

History

2026-11-02: add by m2/dev

Leo Törnqvist KXFMHF1QTA

URI	`m2://inv/KXFMHF1QTA`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Leo Törnqvist, Leo Törnqvist (topic). Also Wikidata Q6524295

History

2026-11-02: add by m2/dev

KXFMYFXT41 KXFMYFXT41

URI	`m2://inv/KXFMYFXT41`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/set-theory/cardinal.tex#definition-3 (definition). In RZP28ERRZV, definition, section 89.2

History

2026-11-01: add by m2/v0.6.13

Forbidding $H_4$ and $H_5$ KXFR3FDJPR

URI	`m2://inv/KXFR3FDJPR`
Kind	statement
Layer	research
MSC	05-XX, 51-XX, 52-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.31331#A7VR, Forbidding $H_4$ and $H_5$ (statement). In TWB64HRHWZ/e1, lemma 5

History

2026-10-31: add by m2/v0.5.6

Davies–Bouldin index KXFSAJMGAJ

URI	`m2://inv/KXFSAJMGAJ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#YVE6, Davies–Bouldin index (definition)

History

2026-11-02: add by m2/dev

KXFXBDQW0K KXFXBDQW0K

URI	`m2://inv/KXFXBDQW0K`
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 math/9807180#ILS0 (statement). In VR3766BVE5/e1, proposition 2.16

History

2026-10-27: add by m2/v0.3.5

KXFXKP0WBJ KXFXKP0WBJ

URI	`m2://inv/KXFXKP0WBJ`
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.00144#O7TY (statement). In HAZGBX88B3/e1, theorem 5

History

2026-10-30: add by m2/v0.4.12

invertible sheaf KXG84Y0Z46

URI	`m2://inv/KXG84Y0Z46`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#T06D, invertible sheaf (definition)

History

2026-11-02: add by m2/dev

Amplified Phantom Paradox KXGDHVPM63

URI	`m2://inv/KXGDHVPM63`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.12732#D55O, Amplified Phantom Paradox (statement). In 5E91Y3VY9E/e1, proposition 2

History

2026-10-28: add by m2/v0.4.2

KXGF9E7XNP KXGF9E7XNP

URI	`m2://inv/KXGF9E7XNP`
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.35950#A6MB (statement). In BZN1G5W5FX/e1, theorem 6.6

History

2026-10-30: add by m2/v0.4.12

KXGHRGKGEP KXGHRGKGEP

URI	`m2://inv/KXGHRGKGEP`
Kind	statement
Layer	research
MSC	94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.19300#H5PQ (statement). In S6S4RD5VXJ/e1, lemma 11

History

2026-10-28: add by m2/v0.4.2

Simple KXGM8WHY8A

URI	`m2://inv/KXGM8WHY8A`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Simple (abstract algebra), Simple (definition). Also Wikidata Q2315394

History

2026-11-02: add by m2/dev

KXH10CQQSK KXH10CQQSK

URI	`m2://inv/KXH10CQQSK`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book setmath.tex#thm:wop (statement). In N54F33XE07, thm, section C.4

History

2026-11-01: add by m2/v0.6.13

KXH3BFHQME KXH3BFHQME

URI	`m2://inv/KXH3BFHQME`
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.33162#QCQQ (statement). In RPC7VG3KHQ/e1, corollary 3.7

History

2026-10-30: add by m2/v0.4.12

KXH4V4MFKV KXH4V4MFKV

URI	`m2://inv/KXH4V4MFKV`
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 2605.29624#I23G (statement). In TAD5A4R089/e1, corollary 2.3

History

2026-10-27: add by m2/v0.3.5

Tamara G. Kolda KXHC72G4C0

URI	`m2://inv/KXHC72G4C0`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Tamara G. Kolda, Tamara G. Kolda (topic). Also Wikidata Q42009184

History

2026-11-02: add by m2/dev

KXHGCT7DGV KXHGCT7DGV

URI	`m2://inv/KXHGCT7DGV`
Kind	definition
Layer	research
MSC	20-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.12295#WDE0 (definition). In 6DZPR52HRP/e1, definition 1.1

History

2026-10-28: add by m2/v0.4.2

Theorem KXHWRZD538

URI	`m2://inv/KXHWRZD538`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Zemor's decoding algorithm#Z62R, Theorem (statement)

History

2026-11-02: add by m2/dev

Fundamental theorem of equivalence relations KXHXMAMMBP

URI	`m2://inv/KXHXMAMMBP`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of theorems called fundamental#2WZE, Fundamental theorem of equivalence relations (definition)

History

2026-11-02: add by m2/dev

KXJ39H7SM1 KXJ39H7SM1

URI	`m2://inv/KXJ39H7SM1`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

applied_combinatorics: applied_combinatorics source/s_background_integers.ptx#lemma-3 (statement). In QKM9DD2H56, lemma, section B.14

History

2026-11-01: add by m2/v0.6.13

Functional integration KXJ668X34Q

URI	`m2://inv/KXJ668X34Q`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Functional integration, Functional integration (definition). Also Wikidata Q2450135

History

2026-11-02: add by m2/dev

Radix KXJ6KZV571

URI	`m2://inv/KXJ6KZV571`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of numeral system topics#W85V, Radix (definition)

History

2026-11-02: add by m2/dev

Exclusive or KXJ82F4J4T

URI	`m2://inv/KXJ82F4J4T`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#YNRO, Exclusive or (definition)

History

2026-11-02: add by m2/dev

KXJ90YVV0Y KXJ90YVV0Y

URI	`m2://inv/KXJ90YVV0Y`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/alg-geom/spec-sheaf.tex#example-1 (example). In RZP28ERRZV, example, section 27.2.2

History

2026-11-01: add by m2/v0.6.13

KXJK5WPDJZ KXJK5WPDJZ

URI	`m2://inv/KXJK5WPDJZ`
Kind	statement
Layer	research
MSC	51-XX, 52-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.14236#577Y (statement). In XEQD21EBTT/e1, lemma 2.4

History

2026-10-28: add by m2/v0.4.2

KXJN392NC2 KXJN392NC2

URI	`m2://inv/KXJN392NC2`
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.39465#Q55W (statement). In 17F6FDEA3W/e1, theorem 3.5

History

2026-10-30: add by m2/v0.4.12

KXK1TMGJKH KXK1TMGJKH

URI	`m2://inv/KXK1TMGJKH`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/first-order-logic/sequent-calculus/soundness.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 19.2

History

2026-11-01: add by m2/v0.6.13

Fixation index KXK586ZK24

URI	`m2://inv/KXK586ZK24`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Fixation index, Fixation index (definition). Also Wikidata Q3150409

History

2026-11-02: add by m2/dev

KXK7MV800T KXK7MV800T

URI	`m2://inv/KXK7MV800T`
Kind	statement
Layer	research
MSC	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 2609.26340#I05B (statement)

History

2026-11-01: add by m2/v0.6.15

KXKN5JER64 KXKN5JER64

URI	`m2://inv/KXKN5JER64`
Kind	statement
Layer	research
MSC	49-XX, 60-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.07285#CB5U (statement). In S284XRA4WK/e1, lemma H.1

History

2026-10-29: add by m2/v0.4.10

KXM5W520BP KXM5W520BP

URI	`m2://inv/KXM5W520BP`
Kind	statement
Layer	research
MSC	57-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.29450#QTFL (statement)

History

2026-11-01: add by m2/v0.6.15

Weierstrass trigonometric approximation theorem KXMDT4WCAM

URI	`m2://inv/KXMDT4WCAM`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences and series of functions > Weierstrass trigonometric approximation theorem, Weierstrass trigonometric approximation theorem (unknown). Also Mathlib span_fourier_closure_eq_top

History

2026-10-26: add by m2/dev

KXMEM91HGZ KXMEM91HGZ

URI	`m2://inv/KXMEM91HGZ`
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.39505#AA89 (statement). In WAXS6FS388/e1, proposition 4.1

History

2026-10-30: add by m2/v0.4.12

Implementations KXMJ02HTPN

URI	`m2://inv/KXMJ02HTPN`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Trusted Data Format#QK35, Implementations (definition)

History

2026-11-02: add by m2/dev

KXMJ0NVH04 KXMJ0NVH04

URI	`m2://inv/KXMJ0NVH04`
Kind	statement
Layer	research
MSC	81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.21508#IUKG (statement)

History

2026-11-02: add by m2/v0.6.18

KXMJYSNW04 KXMJYSNW04

URI	`m2://inv/KXMJYSNW04`
Kind	statement
Layer	research
MSC	05-XX, 60-XX, 65-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.10481#G5TB (statement). In ETV3D93XYD/e1, proposition 2

History

2026-10-29: add by m2/v0.4.10

Dmitri Burago KXMN92YZDM

URI	`m2://inv/KXMN92YZDM`
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#93VM, Dmitri Burago (topic)

History

2026-11-02: add by m2/dev

Tutte path KXMQPAR9H8

URI	`m2://inv/KXMQPAR9H8`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Tutte path, Tutte path (definition). Also Wikidata Q135688778

History

2026-11-02: add by m2/dev

Three men make a tiger KXN1FGCG8A

URI	`m2://inv/KXN1FGCG8A`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Three men make a tiger, Three men make a tiger (definition). Also Wikidata Q7797981

History

2026-11-02: add by m2/dev

Cramér, Harald KXN1SQAQS8

URI	`m2://inv/KXN1SQAQS8`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statisticians#HB7D, Cramér, Harald (topic)

History

2026-11-02: add by m2/dev

locking states of $Q_\sigma f$ KXN2H28XA9

URI	`m2://inv/KXN2H28XA9`
Kind	statement
Layer	research
MSC	35-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2210.06147#TGPV, locking states of $Q_\sigma f$ (statement). In 94RBNQA07A/e1, theorem 5.23

History

2026-10-27: add by m2/v0.3.5

KXNCCZRAAZ KXNCCZRAAZ

URI	`m2://inv/KXNCCZRAAZ`
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.07290#08M4 (statement). In WC7BN66XSN/e1, lemma 10

History

2026-10-29: add by m2/v0.4.10

KXNJNKNKPP KXNJNKNKPP

URI	`m2://inv/KXNJNKNKPP`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/rep-theory/rep-alg.tex#example-1 (example). In RZP28ERRZV, example, section 80.1

History

2026-11-01: add by m2/v0.6.13

Resolution of the paradox in special relativity KXNRD6EX1Y

URI	`m2://inv/KXNRD6EX1Y`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Lighthouse paradox#W6YB, Resolution of the paradox in special relativity (statement)

History

2026-11-02: add by m2/dev

Reciprocal locking for distinct planar oscillators KXNZDC5Y9J

URI	`m2://inv/KXNZDC5Y9J`
Kind	statement
Layer	research
MSC	37-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.15686#RY3T, Reciprocal locking for distinct planar oscillators (statement). In 4HCK722M2G/e1, theorem A

History

2026-10-28: add by m2/v0.4.2

Definition KXP61JZRNK

URI	`m2://inv/KXP61JZRNK`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Z-transform#WGPC, Definition (definition)

History

2026-11-02: add by m2/dev

Eremenko--Lyubich; Goldberg--Keen KXPF65ZKNJ

URI	`m2://inv/KXPF65ZKNJ`
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 2609.30067#PREJ, Eremenko--Lyubich; Goldberg--Keen (statement)

History

2026-11-01: add by m2/v0.6.15

Proof of Herbrand's Theorem KXPZWPHB83

URI	`m2://inv/KXPZWPHB83`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/proof-theory/cut-elimination/midsequent.tex#proof-2, Proof of Herbrand's Theorem (proof). In PKGMM3P5QY, proof, section 57.3

History

2026-11-01: add by m2/v0.6.13

Glossary of module theory KXQ08E7TBH

URI	`m2://inv/KXQ08E7TBH`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of module theory, Glossary of module theory (topic). Also Wikidata Q5571840

History

2026-11-02: add by m2/dev

KXQ1C76HBT KXQ1C76HBT

URI	`m2://inv/KXQ1C76HBT`
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.15316#6I07 (statement). In 3K84E4150C/e1, theorem 1.1

History

2026-10-28: add by m2/v0.4.2

KXQ21SNGFQ KXQ21SNGFQ

URI	`m2://inv/KXQ21SNGFQ`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_scv: lebl_scv scv.tex#exercise-60 (exercise). In VNMV985MXX, exercise, section 2.1

History

2026-11-01: add by m2/v0.6.13

$\beta$-contraction, $\bredone$ KXQ5B0FPW5

URI	`m2://inv/KXQ5B0FPW5`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/lambda-calculus/syntax/beta.tex#defn:betacontr, $\beta$-contraction, $\bredone$ (definition). In PKGMM3P5QY, defn, section 38.10

History

2026-11-01: add by m2/v0.6.13

Exact return multiplier KXQ8T0VH40

URI	`m2://inv/KXQ8T0VH40`
Kind	statement
Layer	research
MSC	26-XX, 37-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.27970#M3A7, Exact return multiplier (statement)

History

2026-11-01: add by m2/v0.6.15

KXQ9XM1RZW KXQ9XM1RZW

URI	`m2://inv/KXQ9XM1RZW`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/first-order-logic/sequent-calculus/provability-consistency.tex#prop:prov-incons (statement). In PKGMM3P5QY, prop, section 17.7

History

2026-11-01: add by m2/v0.6.13

KXQA1W5VBA KXQA1W5VBA

URI	`m2://inv/KXQA1W5VBA`
Kind	statement
Layer	research
MSC	05-XX, 11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.02216#A6AH (statement). In 34JGRZ2M5F/e1, lemma 8.1

History

2026-10-29: add by m2/v0.4.12

KXQB72P54R KXQB72P54R

URI	`m2://inv/KXQB72P54R`
Kind	statement
Layer	research
MSC	37-XX, 60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.06321#ED2L (statement). In PGV1116XX4/e1, corollary 5.2

History

2026-10-29: add by m2/v0.4.10

KXQCYJB4B2 KXQCYJB4B2

URI	`m2://inv/KXQCYJB4B2`
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.25896#U5AK (statement)

History

2026-11-01: add by m2/v0.6.15

Babinet's principle KXQD6MJPF7

URI	`m2://inv/KXQD6MJPF7`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of dualities#PF26, Babinet's principle (statement)

History

2026-11-02: add by m2/dev

Mazhamaṅgalaṃ Śaṅkaran Naṃpūtiri KXQER8TJ1X

URI	`m2://inv/KXQER8TJ1X`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Mazhamaṅgalaṃ Śaṅkaran Naṃpūtiri, Mazhamaṅgalaṃ Śaṅkaran Naṃpūtiri (topic). Also Wikidata Q123913925

History

2026-11-02: add by m2/dev

Dyadic distribution KXQS8XX9D9

URI	`m2://inv/KXQS8XX9D9`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#VUWY, Dyadic distribution (definition)

History

2026-11-02: add by m2/dev

KXQT240E6H KXQT240E6H

URI	`m2://inv/KXQT240E6H`
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.39505#XKIK (statement). In WAXS6FS388/e1, lemma 6.2

History

2026-10-30: add by m2/v0.4.12

KXQWMN17SQ KXQWMN17SQ

URI	`m2://inv/KXQWMN17SQ`
Kind	definition
Layer	research
MSC	03-XX, 13-XX, 14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv math/0406514#PZJE (definition). In CY1FE8W1ZW/e1, definition 0.188

History

2026-10-27: add by m2/v0.3.5

KXRADK8PTS KXRADK8PTS

URI	`m2://inv/KXRADK8PTS`
Kind	example
Layer	research
MSC	14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv alg-geom/9506022#VMJH (example). In AQGEM4XAKD/e1, example 1.12

History

2026-10-27: add by m2/v0.3.5

KXRDF7MGC8 KXRDF7MGC8

URI	`m2://inv/KXRDF7MGC8`
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 2512.07340#GGR4 (statement). In WXE3PVAZBT/e1, lemma 2.5

History

2026-10-27: add by m2/v0.3.5

⁀ KXRKGKRF04

URI	`m2://inv/KXRKGKRF04`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of set theory#H10F, ⁀ (definition)

History

2026-11-02: add by m2/dev

coherent gluing datum with permutations KXRM57GYRP

URI	`m2://inv/KXRM57GYRP`
Kind	definition
Layer	research
MSC	55-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.32733#H4LC, coherent gluing datum with permutations (definition). In PCAS8S14J6/e1, definition E.3

History

2026-10-31: add by m2/v0.5.6

KXRPT9N2FC KXRPT9N2FC

URI	`m2://inv/KXRPT9N2FC`
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 2602.13510#HCL5 (statement). In Y75MQW7CFV/e1, lemma A.2

History

2026-10-27: add by m2/v0.3.5

Incidence formula KXRVF4CVQC

URI	`m2://inv/KXRVF4CVQC`
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.17006#YQ86, Incidence formula (statement). In YY81ZEJ82P/e1, proposition 7.1

History

2026-10-28: add by m2/v0.4.2

Properties KXS3972YQW

URI	`m2://inv/KXS3972YQW`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Mixed Poisson process#ULFJ, Properties (statement)

History

2026-11-02: add by m2/dev

KXS45KYRN8 KXS45KYRN8

URI	`m2://inv/KXS45KYRN8`
Kind	definition
Layer	research
MSC	16-XX, 26-XX, 30-XX, 32-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.13532#6O07 (definition). In 9B0X8YPF3P/e1, definition 8.1

History

2026-10-28: add by m2/v0.4.2

Heidi Thornquist KXS4N9JW56

URI	`m2://inv/KXS4N9JW56`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#XETS, Heidi Thornquist (topic)

History

2026-11-02: add by m2/dev

Explicit solution KXS64Y7JSA

URI	`m2://inv/KXS64Y7JSA`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Closed-form expression#T3DI, Explicit solution (unknown)

History

2026-11-02: add by m2/dev

Examples KXSF9MGAWG

URI	`m2://inv/KXSF9MGAWG`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia GAUSS (software)#QM4D, Examples (example)

History

2026-11-02: add by m2/dev

Separation from NCO KXSK2P1K23

URI	`m2://inv/KXSK2P1K23`
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.21271#OBNQ, Separation from NCO (statement)

History

2026-11-02: add by m2/v0.6.18

Properties of $\mT_\Omega$ KXSR51R7ZF

URI	`m2://inv/KXSR51R7ZF`
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.14988#B2XF, Properties of $\mT_\Omega$ (statement). In B29M4E6KGC/e1, corollary F.1

History

2026-10-28: add by m2/v0.4.2

Finite Legendre transform KXSY3K9TSK

URI	`m2://inv/KXSY3K9TSK`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of transforms#G6MA, Finite Legendre transform (definition)

History

2026-11-02: add by m2/dev

KXT4FENKB3 KXT4FENKB3

URI	`m2://inv/KXT4FENKB3`
Kind	statement
Layer	research
MSC	26-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 2411.16022#0AUZ (statement). In QG9ATXTKJ6/e1, proposition 2.31

History

2026-10-27: add by m2/v0.3.5

KXT7R31B6K KXT7R31B6K

URI	`m2://inv/KXT7R31B6K`
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.29304#ZZB3 (statement)

History

2026-11-01: add by m2/v0.6.15

Studies in Logic, Grammar and Rhetoric KXTARYF1CQ

URI	`m2://inv/KXTARYF1CQ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Studies in Logic, Grammar and Rhetoric, Studies in Logic, Grammar and Rhetoric (definition). Also Wikidata Q7628069

History

2026-11-02: add by m2/dev

KXTHQBP5WH KXTHQBP5WH

URI	`m2://inv/KXTHQBP5WH`
Kind	statement
Layer	research
MSC	00-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2110.06338#8RU2 (statement). In W1VVK7WDPK/e1, proposition 4.4

History

2026-10-27: add by m2/v0.4.0

Trifolium curve KXTT3JJ4M3

URI	`m2://inv/KXTT3JJ4M3`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Trifolium curve, Trifolium curve (definition). Also Wikidata Q128304449

History

2026-11-02: add by m2/dev

Tunnell's theorem KXTV2HKJAA

URI	`m2://inv/KXTV2HKJAA`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of theorems#0AVP, Tunnell's theorem (statement)

History

2026-11-02: add by m2/dev

KXTX9YBBFV KXTX9YBBFV

URI	`m2://inv/KXTX9YBBFV`
Kind	statement
Layer	research
MSC	11-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.03499#F1YR (statement). In NAE99N03W3/e1, theorem 1.3

History

2026-10-29: add by m2/v0.4.12

Relativistic Breit–Wigner distribution KXV03NQNBG

URI	`m2://inv/KXV03NQNBG`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#67S9, Relativistic Breit–Wigner distribution (definition)

History

2026-11-02: add by m2/dev

KXV0AZPD6C KXV0AZPD6C

URI	`m2://inv/KXV0AZPD6C`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.28076#TBY4 (statement)

History

2026-11-01: add by m2/v0.6.15

KXV25WECCX KXV25WECCX

URI	`m2://inv/KXV25WECCX`
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.39269#R7Y1 (statement). In HS4X20TX33/e1, fact 0.30

History

2026-10-30: add by m2/v0.4.12

Great deltoidal hexecontahedron KXV3NN01W8

URI	`m2://inv/KXV3NN01W8`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q5600337, Great deltoidal hexecontahedron (unknown). Also MathWorld GreatDeltoidalHexecontahedron
wikipedia: Wikipedia Great deltoidal hexecontahedron, Great deltoidal hexecontahedron (definition). Also Wikidata Q5600337

History

2026-10-26: add by m2/dev

Move (I-): Insplitting KXV9855S12

URI	`m2://inv/KXV9855S12`
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.01915#KIPO, Move (I-): Insplitting (definition). In 6HJQXZS0A6/e1, definition 1.11

History

2026-10-29: add by m2/v0.4.12

KXVCKHM3YR KXVCKHM3YR

URI	`m2://inv/KXVCKHM3YR`
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.11336#798R (statement). In X1R1GDAJ0Y/e1, corollary 2.12

History

2026-10-28: add by m2/v0.4.3

KXVD5P73DD KXVD5P73DD

URI	`m2://inv/KXVD5P73DD`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book hlevels.tex#cor-4 (statement). In N54F33XE07, cor, section 6.5

History

2026-11-01: add by m2/v0.6.13

Least quadratic non-residue KXVDFN30B9

URI	`m2://inv/KXVDFN30B9`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Quadratic residue#N4OW, Least quadratic non-residue (unknown)

History

2026-11-02: add by m2/dev

Bessel's inequality\footnote{ Named after the German astronomer, mathematician, physicist, and geodesist \href{https://en.wikipedia.org/wiki/Friedrich_Bessel}{Friedrich Wilhelm Bessel} (1784--1846).} KXVFCBRQ43

URI	`m2://inv/KXVFCBRQ43`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-approximate.tex#thm:bessels, Bessel's inequality\footnote{ Named after the German astronomer, mathematician, physicist, and geodesist \href{https://en.wikipedia.org/wiki/Friedrich_Bessel}{Friedrich Wilhelm Bessel} (1784--1846).} (statement). In E59CDZA4DP, thm, section 1.8.3

History

2026-11-01: add by m2/v0.6.13

Marc van Kreveld KXVT9B3CRB

URI	`m2://inv/KXVT9B3CRB`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Marc van Kreveld, Marc van Kreveld (topic). Also Wikidata Q60574272

History

2026-11-02: add by m2/dev

Graph drawing KXW0CZBE32

URI	`m2://inv/KXW0CZBE32`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Graph drawing, Graph drawing (definition). Also Wikidata Q739462

History

2026-11-02: add by m2/dev

Generalized Central Limit Theorem KXW0FK6EEW

URI	`m2://inv/KXW0FK6EEW`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Stable distribution#GM4E, Generalized Central Limit Theorem (statement)

History

2026-11-02: add by m2/dev

Bounds on the coefficients for $N=1$ KXW8TE6P2J

URI	`m2://inv/KXW8TE6P2J`
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 1905.02785#G8Z6, Bounds on the coefficients for $N=1$ (statement). In PF9KV74Q02/e1, lemma 5.3

History

2026-10-27: add by m2/v0.3.5

rules of chess KXWAV1G1MP

URI	`m2://inv/KXWAV1G1MP`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q3392263, rules of chess (definition). Also ProofWiki Definition:Chess/Rules

History

2026-10-26: add by m2/dev

Alternative derivations of special relativity KXWB6SAW6Q

URI	`m2://inv/KXWB6SAW6Q`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Postulates of special relativity#LRT6, Alternative derivations of special relativity (unknown)

History

2026-11-02: add by m2/dev

Orbifold theory KXWCCYZA96

URI	`m2://inv/KXWCCYZA96`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#HOOF, Orbifold theory (definition)

History

2026-11-02: add by m2/dev

real line KXWNE3H1N0

URI	`m2://inv/KXWNE3H1N0`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q29654355, real line (unknown). Also MathWorld RealLine
wikidata: Wikidata Q35689, number line (unknown). Also MathWorld RealLine
wikipedia: Wikipedia Number line, Number line (definition). Also Wikidata Q35689

History

2026-10-26: add by m2/dev

viscosity KXWQ1BC64S

URI	`m2://inv/KXWQ1BC64S`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q128709, viscosity (definition). Also nLab viscosity, ProofWiki Definition:Viscosity
wikipedia: Wikipedia Viscosity, Viscosity (definition). Also Wikidata Q128709

History

2026-10-26: add by m2/dev

Noether's normalization lemma KXWXND0WKB

URI	`m2://inv/KXWXND0WKB`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Integral element#K636, Noether's normalization lemma (statement)

History

2026-11-02: add by m2/dev

Enumeration KXX6KR73H8

URI	`m2://inv/KXX6KR73H8`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Polydivisible number#31K7, Enumeration (definition)

History

2026-11-02: add by m2/dev

Properties KXXC82EMVW

URI	`m2://inv/KXXC82EMVW`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Generalized method of moments#UVKF, Properties (statement)

History

2026-11-02: add by m2/dev

First variation KXXD5F1QZ3

URI	`m2://inv/KXXD5F1QZ3`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.03384#UCPX, First variation (statement). In J55JTTKG84/e1, proposition 4.17

History

2026-10-29: add by m2/v0.4.12

KXXDQQM500 KXXDQQM500

URI	`m2://inv/KXXDQQM500`
Kind	statement
Layer	research
MSC	16-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.17408#FN1X (statement). In QR8H4M1X4N/e1, lemma 3.11

History

2026-10-28: add by m2/v0.4.2

Weierstrass substitution KXXG1ECBJS

URI	`m2://inv/KXXG1ECBJS`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Tangent half-angle substitution 0W8ETY2AZ6

Mentions

wikidata: Wikidata Q663628, Weierstrass substitution (unknown). Also MathWorld WeierstrassSubstitution
wikipedia: Wikipedia Tangent half-angle substitution, Tangent half-angle substitution (definition). Also Wikidata Q663628

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent

No universal refinement in even order KXXHWD0BV8

URI	`m2://inv/KXXHWD0BV8`
Kind	statement
Layer	research
MSC	26-XX, 65-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.34918#1LZY, No universal refinement in even order (statement). In B3MNVE9149/e1, corollary 7.4

History

2026-10-30: add by m2/v0.4.12

Far-field bound for the dipole KXXPEKG8KC

URI	`m2://inv/KXXPEKG8KC`
Kind	statement
Layer	research
MSC	35-XX, 46-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.33805#44ZS, Far-field bound for the dipole (statement). In XM98BX97RT/e1, lemma C.3

History

2026-10-30: add by m2/v0.4.12

Theorems KXXPGQPC4J

URI	`m2://inv/KXXPGQPC4J`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Rokhlin lemma#9N70, Theorems (statement)

History

2026-11-02: add by m2/dev

Peter Gavin Hall KXXZ3DXJJX

URI	`m2://inv/KXXZ3DXJJX`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#4NQ5, Peter Gavin Hall (topic)

History

2026-11-02: add by m2/dev

KXY25T7RWT KXY25T7RWT

URI	`m2://inv/KXY25T7RWT`
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.20368#ZZQQ (statement)

History

2026-11-02: add by m2/v0.6.18

KXY7Z19VZC KXY7Z19VZC

URI	`m2://inv/KXY7Z19VZC`
Kind	definition
Layer	research
MSC	05-XX, 51-XX, 52-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.13972#3FTB (definition). In S1KHNS8XQM/e1, definition 2.5

History

2026-10-28: add by m2/v0.4.2

KXYCDHBPFY KXYCDHBPFY

URI	`m2://inv/KXYCDHBPFY`
Kind	statement
Layer	research
MSC	60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.26386#0VRP (statement)

History

2026-11-01: add by m2/v0.6.15

Infinity KXYDQSTFWD

URI	`m2://inv/KXYDQSTFWD`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Infinity (philosophy), Infinity (definition). Also Wikidata Q1405962

History

2026-11-02: add by m2/dev

Wiener KXYEWJ37KJ

URI	`m2://inv/KXYEWJ37KJ`
Kind	statement
Layer	research
MSC	00-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.10570#I2YO, Wiener (statement). In V0MA250K2P/e1, theorem 2.2

History

2026-10-29: add by m2/v0.4.10

KXYJ6HJFS9 KXYJ6HJFS9

URI	`m2://inv/KXYJ6HJFS9`
Kind	statement
Layer	research
MSC	16-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.11823#XTPZ (statement). In YNQHA63Z2B/e1, lemma 4.1

History

2026-10-28: add by m2/v0.4.3

Envy-free matching KXYJV7QYY5

URI	`m2://inv/KXYJV7QYY5`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of unsolved problems in fair division#HM19, Envy-free matching (unknown)

History

2026-11-02: add by m2/dev

KXYK19WZ25 KXYK19WZ25

URI	`m2://inv/KXYK19WZ25`
Kind	example
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 1809.06512#I6V3 (example). In RY2X22P6XW/e1, example 20

History

2026-10-27: add by m2/v0.3.5

Janice Rogers Brown KXYQJA8XK5

URI	`m2://inv/KXYQJA8XK5`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#87P9, Janice Rogers Brown (unknown)

History

2026-11-02: add by m2/dev

Algorithm KXYRRS5JG0

URI	`m2://inv/KXYRRS5JG0`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Pancake sorting#VQWK, Algorithm (definition)

History

2026-11-02: add by m2/dev

Gaussian block-maximum moment bound KXYSSAD3TQ

URI	`m2://inv/KXYSSAD3TQ`
Kind	statement
Layer	research
MSC	37-XX, 49-XX, 62-XX, 65-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.23927#HHFL, Gaussian block-maximum moment bound (statement)

History

2026-11-02: add by m2/v0.6.17

Construction KXYVJM3RK6

URI	`m2://inv/KXYVJM3RK6`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Solenoid (mathematics)#K08Z, Construction (definition)

History

2026-11-02: add by m2/dev

KXYYGD672W KXYYGD672W

URI	`m2://inv/KXYYGD672W`
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 2504.14383#ZPLM (statement). In QD0X3XJS6T/e1, lemma 9.3

History

2026-10-27: add by m2/v0.3.5

KXYZ12KRW4 KXYZ12KRW4

URI	`m2://inv/KXYZ12KRW4`
Kind	statement
Layer	research
MSC	11-XX, 94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.05914#MDRO (statement). In V8MYP6MBAZ/e1, corollary 1

History

2026-10-29: add by m2/v0.4.10

Applications KXZ062Y818

URI	`m2://inv/KXZ062Y818`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Thermoelectric effect#ACDF, Applications (example)

History

2026-11-02: add by m2/dev

KXZ07FY38G KXZ07FY38G

URI	`m2://inv/KXZ07FY38G`
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 2601.15010#D7AY (statement). In K3WJ6ZN184/e1, proposition 11.1

History

2026-10-27: add by m2/v0.3.5

Gershgorin circle theorem KXZA7A8SVV

URI	`m2://inv/KXZA7A8SVV`
Kind	statement
Layer	textbook
MSC	15-XX, 46-XX, 60-XX, 94-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Gershgorin circle theorem 0ETGP0XVCJ

Mentions

arxiv: arXiv 1204.5958#YPXZ, Gershgorin circle theorem (statement). In XYCBKM4WKY/e1, theorem 5
arxiv: arXiv 2609.39855#7BO6, Gershgorin circle theorem (statement). In E1KFX0NW51/e1, lemma 4.3
mathlib_1000: mathlib_1000 Q978688, Gershgorin circle theorem (statement). Also Mathlib eigenvalue_mem_ball, Wikidata Q978688
thousand_plus: thousand_plus Q978688, Gershgorin circle theorem (statement). Also Mathlib eigenvalue_mem_ball, Wikidata Q978688, Wikipedia Gershgorin circle theorem
wikidata: Wikidata Q978688, Gershgorin circle theorem (statement). Also MathWorld GershgorinCircleTheorem
wikipedia: Wikipedia Gershgorin circle theorem, Gershgorin circle theorem (statement). Also Wikidata Q978688

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent
2026-10-31: merge by m2/v0.5.6
2026-10-31: merge by m2/v0.5.6

KXZAAJAQVB KXZAAJAQVB

URI	`m2://inv/KXZAAJAQVB`
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.00339#R57I (statement). In ZRG6NY1ECH/e1, proposition 17

History

2026-10-30: add by m2/v0.4.12

Efim Zelmanov KXZAQTAXGR

URI	`m2://inv/KXZAQTAXGR`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#9XX9, Efim Zelmanov (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#I3U1, Efim Zelmanov (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TAUY, Efim Zelmanov (topic)

History

2026-11-02: add by m2/dev

Non-asymptotic marginal coverage bounds KXZNXSAH2B

URI	`m2://inv/KXZNXSAH2B`
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 2609.33868#21O2, Non-asymptotic marginal coverage bounds (statement). In 7TQ3XH3X79/e1, theorem 1

History

2026-10-30: add by m2/v0.4.12

Adolf Hurwitz KXZWD015PK

URI	`m2://inv/KXZWD015PK`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#8ZD9, Adolf Hurwitz (topic)

History

2026-11-02: add by m2/dev

Applications KXZX0A46WF

URI	`m2://inv/KXZX0A46WF`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Factor-critical graph#F7R7, Applications (example)

History

2026-11-02: add by m2/dev