Inventory rows 5B

infinitary logic 5B01R4K6EC

URI	`m2://inv/5B01R4K6EC`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Infinitary logic PQG7VAZ1R2

Mentions

wikidata: Wikidata Q6029713, infinitary logic (unknown). Also nLab infinitary logic
wikipedia: Wikipedia Infinitary logic, Infinitary logic (definition). Also Wikidata Q6029713

History

2026-10-26: add by m2/dev

5B03CYEM8J 5B03CYEM8J

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

Mentions

arxiv: arXiv 2508.21045#B268 (conjecture). In CGA36VE1C5/e1, conjecture 6

History

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

Luigi Berzolari 5B03JZGQGB

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#NCPF, Luigi Berzolari (topic)

History

2026-11-02: add by m2/dev

Seed 5B05180GVN

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

Mentions

arxiv: arXiv 2609.30637#ASB0, Seed (definition). In 6G1KBA0SXV/e1, definition 2.1

History

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

continuity 5B05G3GR09

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

Mentions

mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Convexity > continuity and differentiability of convex functions > continuity, continuity (unknown). Also Mathlib ConvexOn.continuousOn

History

2026-10-26: add by m2/dev

Markov 5B064SHZMS

URI	`m2://inv/5B064SHZMS`
Kind	statement
Layer	research
MSC	03-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 1209.3562#ARFW, Markov (statement). In KZH1DCS18C/e1, theorem 6.15

History

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

Fritz John 5B098MPF3W

URI	`m2://inv/5B098MPF3W`
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#JXPM, Fritz John (unknown)

History

2026-11-02: add by m2/dev

Deligne's conjecture on Hochschild cohomology 5B0F1PZBZV

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

Mentions

wikipedia: Wikipedia Deligne's conjecture on Hochschild cohomology, Deligne's conjecture on Hochschild cohomology (statement). Also Wikidata Q116947573

History

2026-11-02: add by m2/dev

5B0Q3NH9AS 5B0Q3NH9AS

URI	`m2://inv/5B0Q3NH9AS`
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.10248#WN8B (definition). In TMV74X2725/e1, definition 2.4

History

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

5B10KNP43P 5B10KNP43P

URI	`m2://inv/5B10KNP43P`
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 2301.07434#DI5K (statement). In 7XZHQ2H5ZD/e1, corollary 2.2

History

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

5B15WWV22J 5B15WWV22J

URI	`m2://inv/5B15WWV22J`
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.40138#7PHW (statement). In R60HR493TS/e1, proposition 4.3

History

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

Type III estimate 5B192HDS7A

URI	`m2://inv/5B192HDS7A`
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.11487#2D21, Type III estimate (statement). In 8S0K3Y25HM/e1, lemma 8.1

History

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

5B1K8QSZ4N 5B1K8QSZ4N

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

Mentions

arxiv: arXiv 2609.29153#TTJG (statement)

History

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

Scottish Book 5B1PAQYJ97

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

Mentions

wikipedia: Wikipedia Scottish Book, Scottish Book (definition). Also Wikidata Q600278

History

2026-11-02: add by m2/dev

Hollow matrix 5B1TV8W8M6

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

Mentions

wikipedia: Wikipedia Hollow matrix, Hollow matrix (definition). Also Wikidata Q12806125

History

2026-11-02: add by m2/dev

imperative 5B1XF6ZNGK

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

Mentions

wikipedia: Wikipedia Glossary of logic#19LF, imperative (definition)

History

2026-11-02: add by m2/dev

5B21VP0F18 5B21VP0F18

URI	`m2://inv/5B21VP0F18`
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 2405.09294#ABVK (statement). In 2WZQC0TKVK/e1, theorem 4.4

History

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

María Manzano 5B232YQYZP

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

Mentions

wikipedia: Wikipedia María Manzano, María Manzano (topic). Also Wikidata Q6004272

History

2026-11-02: add by m2/dev

Tridiagonal matrix algorithm 5B26KB4DXZ

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

Mentions

wikipedia: Wikipedia Tridiagonal matrix algorithm, Tridiagonal matrix algorithm (definition). Also Wikidata Q1819156

History

2026-11-02: add by m2/dev

Example FP1 5B2796CRR7

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

Mentions

wikipedia: Wikipedia Infinite compositions of analytic functions#8WB0, Example FP1 (example)

History

2026-11-02: add by m2/dev

Sum of Logic 5B283Q8X69

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

Mentions

wikipedia: Wikipedia Sum of Logic, Sum of Logic (definition). Also Wikidata Q3776169

History

2026-11-02: add by m2/dev

pushout 5B2DXFWPSE

URI	`m2://inv/5B2DXFWPSE`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Pushout Q699KKMVJD

Mentions

wikidata: Wikidata Q1633079, pushout (unknown). Also nLab pushout
wikipedia: Wikipedia Pushout (category theory), Pushout (definition). Also Wikidata Q1633079

History

2026-10-26: add by m2/dev

Correlation clustering 5B2FF6PHXV

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

Mentions

wikipedia: Wikipedia Correlation clustering, Correlation clustering (definition). Also Wikidata Q5172845

History

2026-11-02: add by m2/dev

5B2HD755WD 5B2HD755WD

URI	`m2://inv/5B2HD755WD`
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.08935#6WTB (statement). In G02N9D40B9/e1, lemma 6.2.6

History

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

5B2JKJ23T0 5B2JKJ23T0

URI	`m2://inv/5B2JKJ23T0`
Kind	statement
Layer	research
MSC	05-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 2411.00562#LOFZ (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm

History

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

5B2RZ1GMQB 5B2RZ1GMQB

URI	`m2://inv/5B2RZ1GMQB`
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.26769#YZIR (statement)

History

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

Composition 5B2ZR2WQJ0

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

Mentions

wikipedia: Wikipedia Composition (combinatorics), Composition (definition). Also Wikidata Q3302331

History

2026-11-02: add by m2/dev

5B30PJ814D 5B30PJ814D

URI	`m2://inv/5B30PJ814D`
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 1009.3308#HL4J (example). In KGBKNQB52Z/e1, example 1

History

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

Variants 5B35D93P5Q

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

Mentions

wikipedia: Wikipedia Hex (board game)#IV6L, Variants (statement)

History

2026-11-02: add by m2/dev

5B37D14F28 5B37D14F28

URI	`m2://inv/5B37D14F28`
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 2609.28824#LQZ7 (statement)

History

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

Approximate adaptive queries 5B37DXVYSZ

URI	`m2://inv/5B37DXVYSZ`
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.30808#DF5R, Approximate adaptive queries (statement). In 4JCFPV48VG/e1, corollary 5.3

History

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

5B37J5Y4VW 5B37J5Y4VW

URI	`m2://inv/5B37J5Y4VW`
Kind	statement
Layer	research
MSC	35-XX, 53-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.08484#SAZ4 (statement). In C2HJ1CCJ0S/e1, lemma 7

History

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

Definition 5B397B4QVD

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

Mentions

wikipedia: Wikipedia Value theory#715T, Definition (definition)

History

2026-11-02: add by m2/dev

twist knot 5B3A3MDAZY

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

Mentions

wikidata: Wikidata Q7858476, twist knot (unknown). Also MathWorld TwistKnot
wikipedia: Wikipedia Twist knot, Twist knot (definition). Also Wikidata Q7858476

History

2026-10-26: add by m2/dev

Ellis R. Ott 5B3BFH5XTF

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

Mentions

wikipedia: Wikipedia Ellis R. Ott, Ellis R. Ott (topic). Also Wikidata Q135005345

History

2026-11-02: add by m2/dev

5B3D9XW3FF 5B3D9XW3FF

URI	`m2://inv/5B3D9XW3FF`
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 2311.16252#7HD8 (statement). In 8AHN9GSRMR/e1, proposition 4.6

History

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

Nonasymptotic bound 5B3H62MWG0

URI	`m2://inv/5B3H62MWG0`
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 2102.11076#UK5W, Nonasymptotic bound (statement). In T9HZXHTQBJ/e1, proposition 5

History

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

Consistency of global loading and factor estimators 5B3QPVVDKV

URI	`m2://inv/5B3QPVVDKV`
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.18335#BTTV, Consistency of global loading and factor estimators (statement). In XKN1C8Y9SD/e1, theorem 8

History

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

Main results 5B3QYG3M7S

URI	`m2://inv/5B3QYG3M7S`
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 2610.03719#GEDJ, Main results (statement). In 8MDK189ZMB/e1, theorem 1.1

History

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

$8$-corner exactness 5B3WKCZZDY

URI	`m2://inv/5B3WKCZZDY`
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.14051#VAWU, $8$-corner exactness (statement). In ZQ78SP5JBS/e1, lemma 2.3

History

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

Brahmadeva 5B3WRY5P8A

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#8LK0, Brahmadeva (unknown)

History

2026-11-02: add by m2/dev

5B3YEKNJRA 5B3YEKNJRA

URI	`m2://inv/5B3YEKNJRA`
Kind	statement
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.25353#H1U6 (statement)

History

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

5B3YS92SGD 5B3YS92SGD

URI	`m2://inv/5B3YS92SGD`
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.36113#65WQ (statement). In FSGSVD0XYH/e1, lemma 14

History

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

Asymptotic theory 5B4100YNGF

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

Mentions

wikipedia: Wikipedia Asymptotic theory (statistics), Asymptotic theory (topic). Also Wikidata Q4812187

History

2026-11-02: add by m2/dev

Seven Oaks, Oregon 5B48P1W3FK

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

Mentions

wikipedia: Wikipedia List of places with numeric names#37ZC, Seven Oaks, Oregon (unknown)

History

2026-11-02: add by m2/dev

5B4GDWX4T9 5B4GDWX4T9

URI	`m2://inv/5B4GDWX4T9`
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 2610.00135#F25D (statement). In PXWXV92SJY/e1, theorem 2.8

History

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

5B4SGBQK8C 5B4SGBQK8C

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

Mentions

arxiv: arXiv 2401.13523#IBER (example). In DDA62XQTWW/e1, example 2.3

History

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

Projector drift via Davis--Kahan 5B4V607HJR

URI	`m2://inv/5B4V607HJR`
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.08152#JYNU, Projector drift via Davis--Kahan (statement). In T1GYQ6SCCZ/e1, lemma 4.2

History

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

Kernel principal component analysis 5B4ZJA8WJ4

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

Mentions

wikipedia: Wikipedia Kernel principal component analysis, Kernel principal component analysis (definition). Also Wikidata Q17093020

History

2026-11-02: add by m2/dev

5B53DT4VPT 5B53DT4VPT

URI	`m2://inv/5B53DT4VPT`
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#2MI6 (statement). In WAXS6FS388/e1, lemma 7.7

History

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

5B56HGRRB9 5B56HGRRB9

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

Mentions

arxiv: arXiv 2610.09171#7FGE (statement). In 5ZPSZFE08Q/e1, corollary 5.7

History

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

5B59F87Q8X 5B59F87Q8X

URI	`m2://inv/5B59F87Q8X`
Kind	statement
Layer	research
MSC	26-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 2610.17116#KAZO (statement). In A02X6MX28Y/e1, lemma 3.1

History

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

5B5FK4XGFY 5B5FK4XGFY

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#exercise-2 (exercise). In P1C114YBXG, exercise, section 1

History

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

Irreducible Coxeter group 5B5GJ8G9W1

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

Mentions

wikipedia: Wikipedia Coxeter group#A8K8, Irreducible Coxeter group (unknown)

History

2026-11-02: add by m2/dev

5B5MR7DNG5 5B5MR7DNG5

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-27 (exercise). In E9HS8K3A52, exercise, section 8.3.3

History

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

Modern forms of the theorem 5B5RSHFRN4

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

Mentions

wikipedia: Wikipedia Riesz–Fischer theorem#5SXY, Modern forms of the theorem (statement)

History

2026-11-02: add by m2/dev

residue theorem 5B5S1HPW1A

URI	`m2://inv/5B5S1HPW1A`
Kind	statement
Layer	textbook
MSC	30-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Residue theorem 032HKYS329

Mentions

mathlib_1000: mathlib_1000 Q830513, Residue theorem (statement). Also Wikidata Q830513
thousand_plus: thousand_plus Q830513, Residue theorem (statement). Also Wikidata Q830513, Wikipedia Residue theorem
wikidata: Wikidata Q830513, residue theorem (statement). Also MathWorld ResidueTheorem, ProofWiki Cauchy's_Residue_Theorem
wikipedia: Wikipedia Residue theorem, Residue theorem (statement). Also Wikidata Q830513

History

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

Non-example 5B5VTSFXJR

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

Mentions

wikipedia: Wikipedia Morphism of schemes#UJ7B, Non-example (counterexample)

History

2026-11-02: add by m2/dev

Daniel G. Horvitz 5B5Z2NB2KA

URI	`m2://inv/5B5Z2NB2KA`
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#7G4K, Daniel G. Horvitz (topic)

History

2026-11-02: add by m2/dev

5B61C7B8W8 5B61C7B8W8

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

Mentions

arxiv: arXiv 2610.09704#KRRU (statement). In FNG4B47MRV/e1, theorem 4.14

History

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

Iterated descendants 5B61HPZ71X

URI	`m2://inv/5B61HPZ71X`
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#QOQ7, Iterated descendants (statement). In 8BNPFYQDQX/e1, corollary 6.7

History

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

5B688EGAWN 5B688EGAWN

URI	`m2://inv/5B688EGAWN`
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.20135#HOGG (statement). In ZQQEN3J866/e1, lemma 2.6

History

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

Root mean square 5B68T1TV9Z

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#6DDO, Root mean square (definition)

History

2026-11-02: add by m2/dev

Schauder fixed-point theorem 5B6A79NKZ1

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

Mentions

wikipedia: Wikipedia List of theorems#INKX, Schauder fixed-point theorem (statement)

History

2026-11-02: add by m2/dev

partial homomorphism 5B6JP2HDRX

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

Mentions

arxiv: arXiv 2405.14678#LEYW, partial homomorphism (definition). In 9ZSNSJRJ5N/e1, definition 15

History

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

2. Bundesliga North 5B6RRDYSAZ

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

Mentions

wikipedia: Wikipedia List of Borussia Dortmund records and statistics#P7SJ, 2. Bundesliga North (unknown)

History

2026-11-02: add by m2/dev

5B6VY6PW1P 5B6VY6PW1P

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

Mentions

austin_ula: austin_ula src/section1-2.xml#example-1 (example). In 649HGZKE96, example, section 1.2.1

History

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

Mahler's 3/2 problem 5B7C5CW2MQ

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

Mentions

wikipedia: Wikipedia Mahler's 3/2 problem, Mahler's 3/2 problem (conjecture). Also Wikidata Q15900447

History

2026-11-02: add by m2/dev

Calculator 5B7P7343SR

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

Mentions

wikipedia: Wikipedia Calculator, Calculator (definition). Also Wikidata Q31087

History

2026-11-02: add by m2/dev

Laurel Beckett 5B7Q3AKKQD

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

Mentions

wikipedia: Wikipedia Laurel Beckett, Laurel Beckett (topic). Also Wikidata Q37369317

History

2026-11-02: add by m2/dev

Library Shortcut for $\Shat$ 5B7YCMBYB9

URI	`m2://inv/5B7YCMBYB9`
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 2609.27042#IDC2, Library Shortcut for $\Shat$ (statement)

History

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

5B7ZSEKVV4 5B7ZSEKVV4

URI	`m2://inv/5B7ZSEKVV4`
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 2610.14914#AWHB (statement). In CHC3T113Y4/e1, theorem 3.5

History

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

Definition 5B82KKN4EM

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

Mentions

wikipedia: Wikipedia Rényi entropy#FBN7, Definition (definition)

History

2026-11-02: add by m2/dev

5B84X5M4K3 5B84X5M4K3

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

Mentions

open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#proof-8 (proof). In PKGMM3P5QY, proof, section 49.1

History

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

Pi 5B86ARWADC

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

Mentions

wikipedia: Wikipedia List of films about mathematicians#0JDS, Pi (unknown)

History

2026-11-02: add by m2/dev

5B87K7PVF0 5B87K7PVF0

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

Mentions

arxiv: arXiv 2108.03672#FBWU (definition). In EZZSZ1F071/e1, definition 0.1

History

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

5B88ZW0T9C 5B88ZW0T9C

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

Mentions

open_logic: open_logic content/sets-functions-relations/sets/pairs-and-products.tex#cardnmprod (statement). In PKGMM3P5QY, prop, section 82.5

History

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

metric tensor 5B8CARN9JA

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

Mentions

wikidata: Wikidata Q757269, metric tensor (unknown). Also EoM Metric_tensor, MathWorld MetricTensor
wikipedia: Wikipedia Metric tensor, Metric tensor (definition). Also Wikidata Q757269

History

2026-10-26: add by m2/dev

Criticisms of the applicability of the theorem 5B8EWM030X

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

Mentions

wikipedia: Wikipedia Coase theorem#ZITY, Criticisms of the applicability of the theorem (statement)

History

2026-11-02: add by m2/dev

Partial autocorrelation function 5B8GNCTF72

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

Mentions

wikipedia: Wikipedia List of statistics articles#3BCV, Partial autocorrelation function (definition)

History

2026-11-02: add by m2/dev

Spherical spiral 5B8GZBQZ4B

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

Mentions

wikipedia: Wikipedia Spiral#KSDA, Spherical spiral (unknown)

History

2026-11-02: add by m2/dev

improper integral, unbounded region of integration 5B8JR1RHCX

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

Mentions

active_calculus: active_calculus index/6.5.2/improper-integral-unbounded-region-of-integration, improper integral, unbounded region of integration (concept). In 907G4C4EJ1, index, section 6.5.2

History

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

Additive integers 5B8QV1S2DX

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

Mentions

napkin: napkin tex/H113/grp-intro.tex#example-1, Additive integers (example). In RZP28ERRZV, example, section 2.1

History

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

5B8S0CDSX8 5B8S0CDSX8

URI	`m2://inv/5B8S0CDSX8`
Kind	unknown
Layer	research
MSC	14-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2106.06387#PQD4 (unknown). In 4YJH4FPWDA/e1, unknown 3.1

History

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

5B8S279N72 5B8S279N72

URI	`m2://inv/5B8S279N72`
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.21475#TH1V (statement). In TTRSZVT4VX/e1, proposition 2.15

History

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

1-vs-2 cycles problem 5B8TH73619

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

Mentions

wikipedia: Wikipedia 1-vs-2 cycles problem, 1-vs-2 cycles problem (problem). Also Wikidata Q131412142

History

2026-11-02: add by m2/dev

5B8VKH87BV 5B8VKH87BV

URI	`m2://inv/5B8VKH87BV`
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.16530#E9B0 (conjecture). In G2BFEBAX2W/e1, conjecture 1.1

History

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

John Punch 5B8X4VP632

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

Mentions

wikipedia: Wikipedia John Punch (theologian), John Punch (topic). Also Wikidata Q1698179

History

2026-11-02: add by m2/dev

Armadillo 5B8ZMXR07Q

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#8P06, Armadillo (unknown)

History

2026-11-02: add by m2/dev

Markov odometer 5B98QB7R49

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

Mentions

wikipedia: Wikipedia Markov odometer, Markov odometer (definition). Also Wikidata Q55622236

History

2026-11-02: add by m2/dev

Examples 5B9CK4J64F

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

Mentions

wikipedia: Wikipedia Tensor density#JIPU, Examples (example)

History

2026-11-02: add by m2/dev

Definitions 5B9HMPJAD0

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

Mentions

wikipedia: Wikipedia Calabi–Yau manifold#5AUL, Definitions (definition)

History

2026-11-02: add by m2/dev

5B9JESKD8E 5B9JESKD8E

URI	`m2://inv/5B9JESKD8E`
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.17863#F3UZ (statement). In Y8XQT02BBF/e1, lemma 2.22

History

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

5B9JRSAAF1 5B9JRSAAF1

URI	`m2://inv/5B9JRSAAF1`
Kind	problem
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.01596#1AU5 (problem). In 40VTEP7WH8/e1, problem 7.4

History

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

Converse relation 5B9W80FGD5

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

Mentions

wikipedia: Wikipedia Converse relation, Converse relation (definition). Also Wikidata Q1248241

History

2026-11-02: add by m2/dev

5B9XQPCYKT 5B9XQPCYKT

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

Mentions

arxiv: arXiv 2308.05066#DTE2 (statement). In 1QSCT53ZED/e1, lemma 2.4

History

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

Mixed passthrough 5BA0A6T49J

URI	`m2://inv/5BA0A6T49J`
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 2609.37368#THUH, Mixed passthrough (statement). In FRMCKEGVJZ/e1, proposition 4

History

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

Applications 5BA2J1Y8QV

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

Mentions

wikipedia: Wikipedia Spark (mathematics)#RQW3, Applications (example)

History

2026-11-02: add by m2/dev

5BAM6PN672 5BAM6PN672

URI	`m2://inv/5BAM6PN672`
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.31243#E7XX (statement). In E8FP48FJMZ/e1, lemma 4.4

History

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

Observational interpretation fallacy 5BAS0FJBHW

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

Mentions

wikipedia: Wikipedia List of fallacies#S5P1, Observational interpretation fallacy (unknown)

History

2026-11-02: add by m2/dev

5BAXDYJQ8P 5BAXDYJQ8P

URI	`m2://inv/5BAXDYJQ8P`
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.15313#5I98 (statement). In KWKY1CWG1Z/e1, lemma 4.1

History

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

5BB0TWZB98 5BB0TWZB98

URI	`m2://inv/5BB0TWZB98`
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.12105#ORK8 (statement). In 289HM2RXT3/e1, corollary 4.4

History

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

Lwów School of Mathematics 5BBDXC41T3

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

Mentions

wikipedia: Wikipedia List of mathematics history topics#0T5C, Lwów School of Mathematics (definition)

History

2026-11-02: add by m2/dev

Law 5BBSA59SFT

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

Mentions

wikipedia: Wikipedia Analogy#0Q26, Law (statement)

History

2026-11-02: add by m2/dev

Matti Jutila 5BBXAJ8GTX

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#MNXO, Matti Jutila (topic)

History

2026-11-02: add by m2/dev

Aanderaa–Karp–Rosenberg conjecture 5BCATZT2HV

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

Mentions

wikipedia: Wikipedia Aanderaa–Karp–Rosenberg conjecture, Aanderaa–Karp–Rosenberg conjecture (conjecture). Also Wikidata Q4661558

History

2026-11-02: add by m2/dev

5BCM4QHNNX 5BCM4QHNNX

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

Mentions

arxiv: arXiv 2609.33231#2LLI (statement). In WPDRT63QNW/e1, theorem 7.1

History

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

5BCN39VAGD 5BCN39VAGD

URI	`m2://inv/5BCN39VAGD`
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#Z1IX (statement). In ER06JKXR8B/e1, lemma 2.7

History

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

Hald, Anders 5BCSDGTX7G

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

Mentions

wikipedia: Wikipedia List of statisticians#6TRD, Hald, Anders (topic)

History

2026-11-02: add by m2/dev

5BD2HXBR7K 5BD2HXBR7K

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

Mentions

hott_book: hott_book categories.tex#proof-11 (proof). In N54F33XE07, proof, section 2.3

History

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

Analytic Combinatorics 5BDBZYEJGT

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

Mentions

wikipedia: Wikipedia Analytic Combinatorics (book), Analytic Combinatorics (definition). Also Wikidata Q57076024

History

2026-11-02: add by m2/dev

5BDHTVW92A 5BDHTVW92A

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

Mentions

napkin: napkin tex/topology/fundamental-group.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 98.2

History

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

Lagged Fibonacci generator 5BDK7B7BM3

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

Mentions

wikipedia: Wikipedia Lagged Fibonacci generator, Lagged Fibonacci generator (definition). Also Wikidata Q2719731

History

2026-11-02: add by m2/dev

Treatment and control groups 5BDKR0JZTM

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

Mentions

wikipedia: Wikipedia List of statistics articles#6HI6, Treatment and control groups (definition)

History

2026-11-02: add by m2/dev

Definition 5BDPBQEF11

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

Mentions

wikipedia: Wikipedia Dirichlet energy#J3TY, Definition (definition)

History

2026-11-02: add by m2/dev

Bicubic Spline 5BDQY3QMEV

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

Mentions

wikidata: Wikidata Q105332767, Bicubic Spline (concept). Also MathWorld BicubicSpline

History

2026-10-26: add by m2/dev

5BDTF55MR5 5BDTF55MR5

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

Mentions

arxiv: arXiv 2609.37520#M5LE (statement). In BDN507RN7J/e1, proposition 5.2.8

History

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

A common conditional support 5BDTV5F7XV

URI	`m2://inv/5BDTV5F7XV`
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#CT97, A common conditional support (statement). In 9YAE8FNQST/e1, lemma 17.4

History

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

winding number of a closed curve in $\C$ with respect to a point 5BE1TYFNK1

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

Mentions

mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > winding number of a closed curve in $\C$ with respect to a point, winding number of a closed curve in $\C$ with respect to a point (unknown)

History

2026-10-26: add by m2/dev

NUTS statistical regions of Belgium 5BE2NE289P

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

Mentions

wikipedia: Wikipedia NUTS statistical regions of Belgium, NUTS statistical regions of Belgium (definition). Also Wikidata Q1132523

History

2026-11-02: add by m2/dev

\bf The equivalence class of strong reduced echelon forms of $A$ depends only on the module $N(A)$ 5BE3SVARN7

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

Mentions

arxiv: arXiv 2609.37893#KD1S, \bf The equivalence class of strong reduced echelon forms of $A$ depends only on the module $N(A)$ (statement). In 8H0KHK7AMN/e1, theorem 4.8

History

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

5BEA1MTGBM 5BEA1MTGBM

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

Mentions

arxiv: arXiv 2405.01860#J1PI (definition). In 8HYS0MFE25/e1, definition 2.1

History

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

5BEW5FDRRQ 5BEW5FDRRQ

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

Mentions

arxiv: arXiv 2610.01346#069A (statement). In 44DQ7W1NW9/e1, lemma 2.8

History

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

\bf Derivative-only upper bounds 5BEYCN6WMK

URI	`m2://inv/5BEYCN6WMK`
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.16295#2OAO, \bf Derivative-only upper bounds (statement). In J1SKCVMNCB/e1, theorem 5.1

History

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

5BF05Y5EVP 5BF05Y5EVP

URI	`m2://inv/5BF05Y5EVP`
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 2609.38742#CY64 (statement). In TSXBJB0EXK/e1, proposition 5.5

History

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

\bf Lower bounds without gradient Lipschitzness 5BF07K40NS

URI	`m2://inv/5BF07K40NS`
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#BPLN, \bf Lower bounds without gradient Lipschitzness (statement). In TT9BA4VMTW/e1, theorem 6.5

History

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

Alan Gaius Ramsay McIntosh 5BFDVBCAV5

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

Mentions

wikipedia: Wikipedia Alan Gaius Ramsay McIntosh, Alan Gaius Ramsay McIntosh (topic). Also Wikidata Q29000360

History

2026-11-02: add by m2/dev

Truncated infinite-order square tiling 5BFHJ582BA

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

Mentions

wikipedia: Wikipedia Truncated infinite-order square tiling, Truncated infinite-order square tiling (object). Also Wikidata Q7847888

History

2026-11-02: add by m2/dev

Hilda Assiyatun 5BFK3XZM20

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#K59C, Hilda Assiyatun (topic)

History

2026-11-02: add by m2/dev

The perturbed terminal 5BFMGVEFTX

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

Mentions

arxiv: arXiv 2610.06490#E30Q, The perturbed terminal (statement). In NKXTXH59P1/e1, lemma B.5

History

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

Normal convergence 5BFQSBJ8AQ

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

Mentions

wikipedia: Wikipedia Normal convergence, Normal convergence (definition). Also Wikidata Q1512559

History

2026-11-02: add by m2/dev

Victor S. Miller 5BFSM24AT2

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#JI14, Victor S. Miller (unknown)

History

2026-11-02: add by m2/dev

Example 5BG09CE6ZB

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

Mentions

wikipedia: Wikipedia Mixed graph#DTVF, Example (example)

History

2026-11-02: add by m2/dev

Zenon Waraszkiewicz 5BGBKTQ9NV

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

Mentions

wikipedia: Wikipedia Zenon Waraszkiewicz, Zenon Waraszkiewicz (topic). Also Wikidata Q8069201

History

2026-11-02: add by m2/dev

5BGG57M9WY 5BGG57M9WY

URI	`m2://inv/5BGG57M9WY`
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 2310.13621#4Z4S (statement). In DG0EZ1BPV5/e1, corollary 1.4

History

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

5BGQCDNBGQ 5BGQCDNBGQ

URI	`m2://inv/5BGQCDNBGQ`
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 1303.4328#4V85 (statement). In HCTYW6VH87/e1, proposition 2.7

History

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

Roxanne Johnson 5BGRXN2C58

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

Mentions

wikipedia: Wikipedia Roxanne Johnson, Roxanne Johnson (topic). Also Wikidata Q97495571

History

2026-11-02: add by m2/dev

Chern's conjecture 5BH0886QZE

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

Mentions

wikipedia: Wikipedia Chern's conjecture (affine geometry), Chern's conjecture (conjecture). Also Wikidata Q65078627

History

2026-11-02: add by m2/dev

profile of abelian groups 5BHD1R1NK3

URI	`m2://inv/5BHD1R1NK3`
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.07508#HYZI, profile of abelian groups (statement). In TPA3E67MKK/e1, corollary 7.10

History

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

Erin Blankenship 5BHJVNRT7H

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

Mentions

wikipedia: Wikipedia Erin Blankenship, Erin Blankenship (topic). Also Wikidata Q42871324

History

2026-11-02: add by m2/dev

5BHM58XQCR 5BHM58XQCR

URI	`m2://inv/5BHM58XQCR`
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 2510.12502#HQO4 (statement). In 3A4K47Y9F2/e1, lemma 4.8

History

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

5BHQKVN73Q 5BHQKVN73Q

URI	`m2://inv/5BHQKVN73Q`
Kind	problem
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.26114#L7KV (problem)

History

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

Weakly hyper-Woodin cardinal 5BJ666F7YC

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#G0CC, Weakly hyper-Woodin cardinal (definition)

History

2026-11-02: add by m2/dev

Definitions 5BJ7MZTVZ8

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

Mentions

wikipedia: Wikipedia Lipschitz continuity#7WRW, Definitions (definition)

History

2026-11-02: add by m2/dev

5BJ7PR4CMX 5BJ7PR4CMX

URI	`m2://inv/5BJ7PR4CMX`
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.11974#RHLG (statement). In AW6S4XZ9ZZ/e1, lemma 3.6

History

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

Solvable group 5BJ9GZZHM4

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

Mentions

wikipedia: Wikipedia List of group theory topics#6C3R, Solvable group (definition)
wikipedia: Wikipedia List of mathematical proofs#WWZJ, Solvable group (definition)
wikipedia: Wikipedia List of abstract algebra topics#HMG7, Solvable group (definition)

History

2026-11-02: add by m2/dev

5BJA9NPFA5 5BJA9NPFA5

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

Mentions

open_logic: open_logic content/set-theory/spine/rank.tex#defnsetrank (definition). In PKGMM3P5QY, defn, section 74.4

History

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

5BJG9SFNHN 5BJG9SFNHN

URI	`m2://inv/5BJG9SFNHN`
Kind	statement
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.07292#8EP9 (statement). In PZ17NHGAKX/e1, lemma 13

History

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

Definitions and notations 5BJGCTXNP7

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

Mentions

wikipedia: Wikipedia Garbled circuit#060E, Definitions and notations (definition)

History

2026-11-02: add by m2/dev

Evaluation strategy 5BJGHV29YE

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

Mentions

wikipedia: Wikipedia Evaluation strategy, Evaluation strategy (definition). Also Wikidata Q2881121

History

2026-11-02: add by m2/dev

Examples 5BJJFM1Y6P

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

Mentions

wikipedia: Wikipedia Appeal to novelty#8Q1T, Examples (example)

History

2026-11-02: add by m2/dev

5BJK1215MZ 5BJK1215MZ

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

Mentions

arxiv: arXiv 2609.23202#QMDF (statement)

History

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

5BJK9HDR8E 5BJK9HDR8E

URI	`m2://inv/5BJK9HDR8E`
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.04466#JRH6 (statement). In EHW82CK883/e1, proposition 2.3

History

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

Climate ensemble 5BJPJYTVJR

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

Mentions

wikipedia: Wikipedia Climate ensemble, Climate ensemble (definition). Also Wikidata Q5133513

History

2026-11-02: add by m2/dev

Examples 5BJZVFKESS

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

Mentions

wikipedia: Wikipedia Cryptographic protocol#89W5, Examples (example)

History

2026-11-02: add by m2/dev

5BK1R9W7J4 5BK1R9W7J4

URI	`m2://inv/5BK1R9W7J4`
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.15013#DDTE (statement). In JB837X6D1Q/e1, theorem 2.1

History

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

Definition 5BK2T4TRMK

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

Mentions

wikipedia: Wikipedia Ideal class group#1CE0, Definition (definition)

History

2026-11-02: add by m2/dev

5BK2XC2Z1P 5BK2XC2Z1P

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

Mentions

arxiv: arXiv 2303.09207#Z5YM (definition). In 9DQKY7KGE8/e1, definition 3.17

History

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

5BK8254JR8 5BK8254JR8

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

Mentions

arxiv: arXiv 2301.04933#F0RW (definition). In Q70CTMCJTP/e1, definition 5.1

History

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

Swedish Mathematical Society 5BKB26HCE4

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

Mentions

wikipedia: Wikipedia List of mathematical societies#6WUR, Swedish Mathematical Society (definition)

History

2026-11-02: add by m2/dev

milligram 5BKB49V9YB

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

Mentions

wikidata: Wikidata Q3241121, milligram (definition). Also ProofWiki Definition:Metric_System/Mass/Milligram

History

2026-10-26: add by m2/dev

Replacement for Nielsen's Theorem 3 5BKMYN9ZM4

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

Mentions

arxiv: arXiv 2609.20683#UDAM, Replacement for Nielsen's Theorem 3 (statement)

History

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

Olbers' paradox 5BKWRGKK45

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

Mentions

wikipedia: Wikipedia Hubble's law#W1D5, Olbers' paradox (statement)

History

2026-11-02: add by m2/dev

Sorgenfrey plane 5BKY8028WH

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

Mentions

wikidata: Wikidata Q1570438, Sorgenfrey plane (definition). Also ProofWiki Definition:Sorgenfrey's_Half-Open_Square_Topology
wikipedia: Wikipedia Sorgenfrey plane, Sorgenfrey plane (definition). Also Wikidata Q1570438

History

2026-10-26: add by m2/dev

5BKYGC4NJQ 5BKYGC4NJQ

URI	`m2://inv/5BKYGC4NJQ`
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.27301#Q1TJ (statement)

History

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

Semantic Weakening 5BKYX6FWZC

URI	`m2://inv/5BKYX6FWZC`
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.21131#BC74, Semantic Weakening (definition). In CPYWHRTPKC/e1, definition 6.26

History

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

symmetric set 5BM05NJCHF

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

Mentions

wikidata: Wikidata Q16966154, symmetric set (unknown). Also nLab symmetric set
wikipedia: Wikipedia Symmetric set, Symmetric set (definition). Also Wikidata Q16966154

History

2026-10-26: add by m2/dev

5BM4YQE7NW 5BM4YQE7NW

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

Mentions

arxiv: arXiv 2610.12329#EPCV (statement). In ZJQB9W60T6/e1, theorem 3.1

History

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

Marginal probability 5BMDS093TR

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

Mentions

wikidata: Wikidata Q20826826, Marginal probability (unknown). Also MathWorld MarginalProbability

History

2026-10-26: add by m2/dev

5BMNAFKD94 5BMNAFKD94

URI	`m2://inv/5BMNAFKD94`
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.17303#ZU02 (statement). In PHD4ABS8WH/e1, proposition 3.2

History

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

Gaunt's formula 5BMSWWGMAB

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

Mentions

wikipedia: Wikipedia Associated Legendre polynomials#67FM, Gaunt's formula (statement)

History

2026-11-02: add by m2/dev

5BMX5WC7KS 5BMX5WC7KS

URI	`m2://inv/5BMX5WC7KS`
Kind	statement
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.18094#861T (statement). In AYANBEWSFH/e1, lemma 4.1

History

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

5BN06S467Z 5BN06S467Z

URI	`m2://inv/5BN06S467Z`
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.20495#FWF3 (statement)

History

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

obstruction cocycle 5BN4W444JE

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#VJPO, obstruction cocycle (definition)

History

2026-11-02: add by m2/dev

5BN7JVTYAJ 5BN7JVTYAJ

URI	`m2://inv/5BN7JVTYAJ`
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 2508.02432#QFBH (statement). In B366ACYB37/e1, lemma 4.9

History

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

Serre--Siegel growth 5BN9MT2HPJ

URI	`m2://inv/5BN9MT2HPJ`
Kind	statement
Layer	research
MSC	14-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.09295#QYR2, Serre--Siegel growth (statement). In 29X0B511NF/e1, lemma A.2

History

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

Klein cubic threefold 5BNA4FF71R

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

Mentions

wikipedia: Wikipedia Klein cubic threefold, Klein cubic threefold (definition). Also Wikidata Q6420192

History

2026-11-02: add by m2/dev

Statement of the inequality 5BNFANMYC9

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

Mentions

wikipedia: Wikipedia Eaton's inequality#IRT6, Statement of the inequality (statement)

History

2026-11-02: add by m2/dev

Stanisław Leśniewski 5BNH2JWDN8

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

Mentions

wikipedia: Wikipedia List of logicians#YGEO, Stanisław Leśniewski (topic)

History

2026-11-02: add by m2/dev

Example 5BNH57CQ63

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

Mentions

wikipedia: Wikipedia Markov decision process#7GKA, Example (example)

History

2026-11-02: add by m2/dev

David Spergel 5BNN1NSGQ2

URI	`m2://inv/5BNN1NSGQ2`
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 Q744057, David Spergel (unknown). Also nLab David Spergel

History

2026-10-26: add by m2/dev

Goursat's lemma 5BNPX511EB

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

Mentions

wikipedia: Wikipedia Goursat's lemma, Goursat's lemma (statement). Also Wikidata Q2387837

History

2026-11-02: add by m2/dev

Xinyi Xu 5BNQSRYA1N

URI	`m2://inv/5BNQSRYA1N`
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#WG87, Xinyi Xu (topic)

History

2026-11-02: add by m2/dev

Michael Hartley Freedman 5BNS0STZZV

URI	`m2://inv/5BNS0STZZV`
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#K1Q3, Michael Hartley Freedman (topic)

History

2026-11-02: add by m2/dev

Applications 5BNSMVNZZT

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

Mentions

wikipedia: Wikipedia Multipole expansion#OASW, Applications (example)

History

2026-11-02: add by m2/dev

5BNV1C6YVP 5BNV1C6YVP

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

Mentions

applied_combinatorics: applied_combinatorics source/s_background_mult.ptx#proof-4 (proof). In QKM9DD2H56, proof, section B.8

History

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

5BP5K2C567 5BP5K2C567

URI	`m2://inv/5BP5K2C567`
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 1701.00518#5Z1L (statement). In T93MM0ADE2/e1, proposition 3.2

History

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

Hall algebra of a category 5BP7WCDQNP

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

Mentions

wikipedia: Wikipedia Glossary of category theory#0ZCI, Hall algebra of a category (definition)

History

2026-11-02: add by m2/dev

5BPHN9JW5E 5BPHN9JW5E

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

Mentions

arxiv: arXiv 2108.03672#J6FB (definition). In EZZSZ1F071/e1, definition 1.33

History

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

Statement of the inequality 5BPQNHPBR2

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

Mentions

wikipedia: Wikipedia Marcinkiewicz–Zygmund inequality#H1L3, Statement of the inequality (statement)

History

2026-11-02: add by m2/dev

Maslov index 5BPQRHXQ2F

URI	`m2://inv/5BPQRHXQ2F`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Maslov index 91KJT4TXG8

Mentions

wikidata: Wikidata Q78514551, Maslov index (unknown). Also nLab Maslov index
wikipedia: Wikipedia Maslov index, Maslov index (definition). Also Wikidata Q78514551

History

2026-10-26: add by m2/dev

Poincaré duality theorem 5BQ6H9YGPG

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

Mentions

wikipedia: Wikipedia List of theorems#44HN, Poincaré duality theorem (definition)

History

2026-11-02: add by m2/dev

5BQCEBPA1G 5BQCEBPA1G

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

Mentions

arxiv: arXiv 2405.14678#7OSL (example). In 9ZSNSJRJ5N/e1, example 33

History

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

5BQCN0SPYZ 5BQCN0SPYZ

URI	`m2://inv/5BQCN0SPYZ`
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.14450#0VKL (statement). In ZHTGQT07PE/e1, lemma 4.19

History

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

Discrete-time likelihood on network 5BQFW0JFY3

URI	`m2://inv/5BQFW0JFY3`
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 2411.02694#ZUN8, Discrete-time likelihood on network (statement). In A8EK2ARN5Q/e1, lemma 5.3

History

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

5BQVWWAHK0 5BQVWWAHK0

URI	`m2://inv/5BQVWWAHK0`
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.15169#VZEP (statement). In V7SN19J84T/e1, lemma 7.5

History

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

Walsh spectrum: (2,0,0,−2) 5BR0JNJC9X

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

Mentions

wikipedia: Wikipedia Exclusive or#CZSX, Walsh spectrum: (2,0,0,−2) (definition)

History

2026-11-02: add by m2/dev

First moment on a tangent circle 5BR0YCX4Q3

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

Mentions

arxiv: arXiv 2609.20042#2MF1, First moment on a tangent circle (statement)

History

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

5BR97WKNYE 5BR97WKNYE

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

Mentions

arxiv: arXiv 2610.09704#ODR5 (statement). In FNG4B47MRV/e1, lemma 4.11

History

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

Formal definitions 5BRGY7A2HD

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

Mentions

wikipedia: Wikipedia Asymptotically flat spacetime#ZHYH, Formal definitions (definition)

History

2026-11-02: add by m2/dev

5BRJ691RKJ 5BRJ691RKJ

URI	`m2://inv/5BRJ691RKJ`
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.16180#DKD7 (statement). In FCFD59D3T6/e1, lemma A.4

History

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

5BRJPJ870J 5BRJPJ870J

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

Mentions

arxiv: arXiv 2505.05539#MXLB (statement). In 8SVVEVGMNE/e1, proposition 4.25

History

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

Underlying principles 5BRSH13PAD

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

Mentions

wikipedia: Wikipedia Granger causality#83AA, Underlying principles (statement)

History

2026-11-02: add by m2/dev

5BRYKR07HK 5BRYKR07HK

URI	`m2://inv/5BRYKR07HK`
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.06045#AJ81 (statement). In SVKM0852RJ/e1, theorem 7

History

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

Epitome Astronomiae Copernicanae 5BSB13J0X8

URI	`m2://inv/5BSB13J0X8`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a book, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q16777454, Epitome Astronomiae Copernicanae (unknown). Also ProofWiki Book:Johannes_Kepler/Epitome_Astronomiae_Copernicanae

History

2026-10-26: add by m2/dev

Wiener deconvolution 5BSE9PRX68

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

Mentions

wikipedia: Wikipedia List of statistics articles#H6DC, Wiener deconvolution (definition)

History

2026-11-02: add by m2/dev

5BSF5WDHT3 5BSF5WDHT3

URI	`m2://inv/5BSF5WDHT3`
Kind	statement
Layer	research
MSC	20-XX, 37-XX, 57-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.19787#OXIG (statement). In A4VP56CT7B/e1, lemma 3.3

History

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

Example 5BSZNDM64A

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

Mentions

wikipedia: Wikipedia GNU MathProg#KKXK, Example (example)

History

2026-11-02: add by m2/dev

5BT28PGTTY 5BT28PGTTY

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

Mentions

arxiv: arXiv 1002.0879#EXW4 (example). In M0SQY5EZN5/e1, example 5.3.5

History

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

Parallel single-source shortest path algorithm 5BT46GKVXS

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

Mentions

wikipedia: Wikipedia Parallel single-source shortest path algorithm, Parallel single-source shortest path algorithm (definition). Also Wikidata Q96398406

History

2026-11-02: add by m2/dev

Applications 5BT6V46F7C

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

Mentions

wikipedia: Wikipedia Bregman divergence#QZLI, Applications (example)

History

2026-11-02: add by m2/dev

Fuchs 5BT9VMDFDZ

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

Mentions

arxiv: arXiv 2610.17547#M8KX, Fuchs (statement). In XJ59TDP4HA/e1, fact 2.16

History

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

Raúl Rojas 5BTBN29Z61

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

Mentions

wikipedia: Wikipedia Raúl Rojas, Raúl Rojas (topic). Also Wikidata Q88626

History

2026-11-02: add by m2/dev

Multiplicative noise 5BTD0ZY0K6

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

Mentions

wikipedia: Wikipedia Multiplicative noise, Multiplicative noise (definition). Also Wikidata Q6935000

History

2026-11-02: add by m2/dev

5BTDGKXA3A 5BTDGKXA3A

URI	`m2://inv/5BTDGKXA3A`
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 2112.14455#3LKP (statement). In VDE5R8HBS1/e1, proposition 4.6

History

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

5BTH4WMENZ 5BTH4WMENZ

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

Mentions

arxiv: arXiv 2609.21403#GMCE (statement)

History

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

Definition 5BTKPCYH2R

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

Mentions

wikipedia: Wikipedia Trapped surface#A7NP, Definition (definition)

History

2026-11-02: add by m2/dev

5BTKWXKT36 5BTKWXKT36

URI	`m2://inv/5BTKWXKT36`
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 2108.05533#IXUX (statement). In 14DZA4M2C6/e1, lemma B.5

History

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

5BTTQMWE66 5BTTQMWE66

URI	`m2://inv/5BTTQMWE66`
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.32977#8B5J (statement). In 4KT9TK3MG4/e1, lemma D.4

History

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

Proposition (Generalized Comparability) 5BTY4HBMA1

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

Mentions

wikipedia: Wikipedia Central carrier#7RN7, Proposition (Generalized Comparability) (statement)

History

2026-11-02: add by m2/dev

Properties 5BV65YD1DH

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

Mentions

wikipedia: Wikipedia Hasse derivative#P1SR, Properties (statement)

History

2026-11-02: add by m2/dev

5BVCYGH9P2 5BVCYGH9P2

URI	`m2://inv/5BVCYGH9P2`
Kind	statement
Layer	research
MSC	19-XX
Sources	1
Outcome	record (an item of a paper that no node asks 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.28295#N802 (statement)

History

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

TOPSIS method 5BVE3DYC34

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

Mentions

wikipedia: Wikipedia TOPSIS#B64F, TOPSIS method (definition)

History

2026-11-02: add by m2/dev

5BVKAG37K9 5BVKAG37K9

URI	`m2://inv/5BVKAG37K9`
Kind	statement
Layer	research
MSC	05-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.24917#JSQ6 (statement)

History

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

Accuracy time 5BVNR2AKCD

URI	`m2://inv/5BVNR2AKCD`
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.20031#5A7P, Accuracy time (statement)

History

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

Stieltjes summation with the Dickman weight 5BVQGC895D

URI	`m2://inv/5BVQGC895D`
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.29748#81RA, Stieltjes summation with the Dickman weight (statement)

History

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

5BW1Q1A2N0 5BW1Q1A2N0

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

Mentions

arxiv: arXiv 2610.14689#SEF8 (statement). In 6BKMNJYNPJ/e1, lemma 4.2

History

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

Theorem 1 5BW7V6W936

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

Mentions

wikipedia: Wikipedia Melnikov distance#0EC9, Theorem 1 (statement)

History

2026-11-02: add by m2/dev

Jacobian 5BWABXN9W8

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#KPI1, Jacobian (definition)

History

2026-11-02: add by m2/dev

Extensions 5BWEN79SQR

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

Mentions

wikipedia: Wikipedia Viviani's theorem#GM6O, Extensions (statement)

History

2026-11-02: add by m2/dev

Nonzero delay strictly improves 5BWF3ZMGWC

URI	`m2://inv/5BWF3ZMGWC`
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.18935#SV5K, Nonzero delay strictly improves (statement). In HPEEJY1S3S/e1, theorem 20

History

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

5BWMPQBJ0J 5BWMPQBJ0J

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-matchings.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 5.6

History

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

Surjection of Fréchet spaces 5BWWZ07Z42

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

Mentions

wikipedia: Wikipedia Surjection of Fréchet spaces, Surjection of Fréchet spaces (definition). Also Wikidata Q96407039

History

2026-11-02: add by m2/dev

List of planar symmetry groups 5BWWZTJ0MF

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

Mentions

wikipedia: Wikipedia List of planar symmetry groups, List of planar symmetry groups (topic). Also Wikidata Q6634000

History

2026-11-02: add by m2/dev

Example 5BX3B7GEPM

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

Mentions

wikipedia: Wikipedia Cholesky decomposition#JT3R, Example (example)

History

2026-11-02: add by m2/dev

Variational correctness of the NDPG loss function 5BX4CP3B1B

URI	`m2://inv/5BX4CP3B1B`
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.19296#DNMW, Variational correctness of the NDPG loss function (statement). In WFR2WNW8NB/e1, theorem 3.9

History

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

5BX7E8QMPN 5BX7E8QMPN

URI	`m2://inv/5BX7E8QMPN`
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.38475#IPTU (statement). In X2AAB9KZ4R/e1, proposition 2.1

History

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

Non-uniform random variate generation 5BXHNPFK61

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

Mentions

wikipedia: Wikipedia Non-uniform random variate generation, Non-uniform random variate generation (definition). Also Wikidata Q7254441

History

2026-11-02: add by m2/dev

Cross-sectional regression 5BXQG8M1BG

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

Mentions

wikipedia: Wikipedia List of statistics articles#6HF6, Cross-sectional regression (definition)

History

2026-11-02: add by m2/dev

5BXSGR44SZ 5BXSGR44SZ

URI	`m2://inv/5BXSGR44SZ`
Kind	statement
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#3MX4 (statement). In D424GB5MAW/e1, lemma 3.1

History

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

5BXWB1S3TJ 5BXWB1S3TJ

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-212 (exercise). In VNMV985MXX, exercise, section 4.3

History

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

Return rigidity 5BXX76DAT6

URI	`m2://inv/5BXX76DAT6`
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.10557#S9X2, Return rigidity (statement). In D2MXWDTHWS/e1, corollary 8

History

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

Examples 5BY640V5H1

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

Mentions

wikipedia: Wikipedia Basis expansion time-frequency analysis#SO5T, Examples (example)

History

2026-11-02: add by m2/dev

5BY7A8JMEP 5BY7A8JMEP

URI	`m2://inv/5BY7A8JMEP`
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#RS93 (statement). In 8Z47D12KSX/e1, proposition 7.13

History

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

aliquot sum 5BY9Y8M4KC

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

Mentions

wikidata: Wikidata Q22912133, aliquot sum (unknown). Also MathWorld RestrictedDivisorFunction
wikipedia: Wikipedia Aliquot sum, Aliquot sum (definition). Also Wikidata Q22912133

History

2026-10-26: add by m2/dev

Example 5BYC9ATEPP

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

Mentions

wikipedia: Wikipedia Rotation formulations in three dimensions#0B0V, Example (example)

History

2026-11-02: add by m2/dev

Wedderburn's little theorem 5BYK7FSWVR

URI	`m2://inv/5BYK7FSWVR`
Kind	statement
Layer	textbook
MSC	13-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Wedderburn's little theorem 0RRNVX1VKA

Mentions

mathlib_1000: mathlib_1000 Q943246, Wedderburn's little theorem (statement). Also Mathlib littleWedderburn, Wikidata Q943246
thousand_plus: thousand_plus Q943246, Wedderburn's little theorem (statement). Also Mathlib littleWedderburn, Wikidata Q943246, Wikipedia Wedderburn's little theorem
wikidata: Wikidata Q943246, Wedderburn's little theorem (statement). Also MathWorld WedderburnsTheorem, ProofWiki Wedderburn's_Theorem
wikipedia: Wikipedia Wedderburn's little theorem, Wedderburn's little theorem (statement). Also Wikidata Q943246

History

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

Box-drawing character 5BYRE5GZ85

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

Mentions

wikipedia: Wikipedia Lists of shapes#LQY5, Box-drawing character (definition)

History

2026-11-02: add by m2/dev

5BYV6JYX4K 5BYV6JYX4K

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

Mentions

arxiv: arXiv 2609.32651#O5R7 (statement). In WFJXSE3VDT/e1, corollary 5.7

History

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

5BYWGSGRAB 5BYWGSGRAB

URI	`m2://inv/5BYWGSGRAB`
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.37093#9CB2 (statement). In GA6QH32CJQ/e1, theorem 16

History

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

5BYZSM177H 5BYZSM177H

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

Mentions

arxiv: arXiv 2610.00021#KU6H (statement). In EX42AVA7CV/e1, proposition 9.1

History

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

The oruga graph and the cube 5BZ76ACT6H

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

Mentions

arxiv: arXiv 2609.20656#T47W, The oruga graph and the cube (example)

History

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

recurrence equation, repeated roots 5BZD68ZCRF

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

Mentions

applied_combinatorics: applied_combinatorics index/9.4.1/recurrence-equation-repeated-roots, recurrence equation, repeated roots (concept). In QKM9DD2H56, index, section 9.4.1

History

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

Luke Tierney 5BZVED7QMT

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

Mentions

wikipedia: Wikipedia Luke Tierney, Luke Tierney (topic). Also Wikidata Q102109662

History

2026-11-02: add by m2/dev

5BZW12YF8G 5BZW12YF8G

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

Mentions

arxiv: arXiv 2609.31604#VFO1 (statement). In GSN5YTQS2K/e1, lemma 1.25

History

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

Hypergeometric evaluation of the BBBG four-Bessel moment 5BZW16Z78J

URI	`m2://inv/5BZW16Z78J`
Kind	statement
Layer	research
MSC	11-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 2609.34016#WU2B, Hypergeometric evaluation of the BBBG four-Bessel moment (statement). In 1E4AJ49FWV/e1, theorem 4.1

History

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

5BZZSKGK3D 5BZZSKGK3D

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

Mentions

hott_book: hott_book homotopy.tex#ex:decidable-equality-susp (exercise). In N54F33XE07, ex, section 7.10

History

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

Coupling coefficient (inductors) 5BZZW0X43F

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

Mentions

wikipedia: Wikipedia Inductance#8FKM, Coupling coefficient (inductors) (unknown)

History

2026-11-02: add by m2/dev