Inventory rows DN

Grothendieck inequality DN01QN1A1Y

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

Mentions

wikipedia: Wikipedia List of inequalities#9Z3Y, Grothendieck inequality (statement)

History

2026-11-02: add by m2/dev

DN02HH9H96 DN02HH9H96

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

Mentions

open_logic: open_logic content/sets-functions-relations/relations/orders.tex#prop:extensionality-strictlinearorders (statement). In PKGMM3P5QY, prop, section 80.4

History

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

Bias DN0CBTWRWB

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

Mentions

wikipedia: Wikipedia Bias, Bias (definition). Also Wikidata Q742736

History

2026-11-02: add by m2/dev

coproduct DN0ET7F7G1

URI	`m2://inv/DN0ET7F7G1`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Coproduct 4FJ0S71P58

Mentions

wikidata: Wikidata Q692689, coproduct (definition). Also MathWorld Coproduct, nLab coproduct, ProofWiki Definition:Coproduct
wikipedia: Wikipedia Coproduct, Coproduct (definition). Also Wikidata Q692689

History

2026-10-26: add by m2/dev

Risk comparison DN0JE7T8V8

URI	`m2://inv/DN0JE7T8V8`
Kind	statement
Layer	research
MSC	62-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.29348#HE67, Risk comparison (statement)

History

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

Profile and compensation bounds DN0PVE1EBG

URI	`m2://inv/DN0PVE1EBG`
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.03633#9EGS, Profile and compensation bounds (statement). In X3E4D61X4V/e1, lemma C.1

History

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

DN0X01AY6N DN0X01AY6N

URI	`m2://inv/DN0X01AY6N`
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.14374#73Q7 (statement). In YPTC532FEG/e1, lemma 5

History

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

uniform boundedness principle DN0X0A5JRX

URI	`m2://inv/DN0X0A5JRX`
Kind	statement
Layer	textbook
MSC	46-XX
Sources	5
Outcome	open
Node	Uniform boundedness principle YG0042V8CJ

Mentions

mathlib_1000: mathlib_1000 Q1426292, Banach–Steinhaus theorem (statement). Also Mathlib banach_steinhaus, Wikidata Q1426292
mathlib_overview: mathlib_overview Analysis > Normed vector spaces/Banach spaces > Banach-Steinhaus theorem, Banach-Steinhaus theorem (unknown). Also Mathlib banach_steinhaus
thousand_plus: thousand_plus Q1426292, Banach–Steinhaus theorem (statement). Also Mathlib banach_steinhaus, Wikidata Q1426292, Wikipedia Banach–Steinhaus theorem
wikidata: Wikidata Q1426292, uniform boundedness principle (statement). Also EoM Banach-Steinhaus_theorem, MathWorld Banach-SteinhausTheorem, ProofWiki Banach-Steinhaus_Theorem
wikipedia: Wikipedia Uniform boundedness principle, Uniform boundedness principle (statement). Also Wikidata Q1426292

History

2026-10-26: add by m2/dev

Fang--Li--Lin--Ma DN15THXQ4A

URI	`m2://inv/DN15THXQ4A`
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#J0JC, Fang--Li--Lin--Ma (statement). In 4TJGTZWJVK/e1, theorem 2.1

History

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

DN1A0T2WPY DN1A0T2WPY

URI	`m2://inv/DN1A0T2WPY`
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.29501#7GIR (statement)

History

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

homotopy spectral sequence DN1BEJG20K

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#MGFC, homotopy spectral sequence (definition)

History

2026-11-02: add by m2/dev

Affective forecasting DN1BT9NX2T

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

Mentions

wikipedia: Wikipedia Affective forecasting, Affective forecasting (definition). Also Wikidata Q2116020

History

2026-11-02: add by m2/dev

DN1N6QG8EJ DN1N6QG8EJ

URI	`m2://inv/DN1N6QG8EJ`
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#LWMZ (statement). In CHC3T113Y4/e1, proposition 7.2

History

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

Knudsen number DN1S3JHYV6

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

Mentions

wikipedia: Wikipedia Knudsen number, Knudsen number (definition). Also Wikidata Q898463

History

2026-11-02: add by m2/dev

DN2399ST10 DN2399ST10

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

Mentions

arxiv: arXiv 2609.39491#APNS (statement). In 9R00V9TGVT/e1, theorem 2.8

History

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

DN23F4BGBC DN23F4BGBC

URI	`m2://inv/DN23F4BGBC`
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 2610.10077#ELBH (statement). In YA7H9PY3R1/e1, proposition 5.1

History

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

Definition DN2CXB06A1

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

Mentions

wikipedia: Wikipedia Cochran–Mantel–Haenszel statistics#VLOW, Definition (definition)

History

2026-11-02: add by m2/dev

DN2QX3A15S DN2QX3A15S

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

Mentions

arxiv: arXiv 2610.06441#L569 (unknown). In YFJ62HWHVK/e1, unknown 3.9

History

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

Aggregation to a global optimum DN2YWN8MD3

URI	`m2://inv/DN2YWN8MD3`
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.23350#96S9, Aggregation to a global optimum (statement)

History

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

DN31WPYFYJ DN31WPYFYJ

URI	`m2://inv/DN31WPYFYJ`
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.26600#KQAB (statement)

History

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

DN36S76Z9E DN36S76Z9E

URI	`m2://inv/DN36S76Z9E`
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.14380#NN6X (statement). In 2ZRQP063HP/e1, theorem 2.10

History

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

Intrinsic face category DN3AFBYWX4

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

Mentions

arxiv: arXiv 2609.27799#Z85P, Intrinsic face category (definition)

History

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

Parametrix DN3ANYE3V2

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

Mentions

wikipedia: Wikipedia Parametrix, Parametrix (definition). Also Wikidata Q2051684

History

2026-11-02: add by m2/dev

DN3CJACVW4 DN3CJACVW4

URI	`m2://inv/DN3CJACVW4`
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.16010#L4Y5 (statement). In AQJXKF6WZP/e1, lemma 3.2

History

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

DN3FWEZR2T DN3FWEZR2T

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

Mentions

napkin: napkin tex/H113/action.tex#ques-5 (exercise). In RZP28ERRZV, ques, section 1.4

History

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

The limit of $\lambda$ at $0$; i.i.d.\ model DN3NGNS152

URI	`m2://inv/DN3NGNS152`
Kind	statement
Layer	research
MSC	60-XX, 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 2609.27765#B2Q2, The limit of $\lambda$ at $0$; i.i.d.\ model (statement)

History

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

DN3RAAV4GS DN3RAAV4GS

URI	`m2://inv/DN3RAAV4GS`
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 2609.31907#7PD6 (definition). In 6B2PCEGCYZ/e1, definition 2.1

History

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

DN3RTM5HBS DN3RTM5HBS

URI	`m2://inv/DN3RTM5HBS`
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.32834#OB6S (statement). In N4M6B8EMCW/e1, lemma 4.1

History

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

DN3XCX0T0Z DN3XCX0T0Z

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

Mentions

arxiv: arXiv 2610.21255#EEED (statement). In FB4DAYJJ5F/e1, theorem F

History

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

Weiqiang Wang DN3YV9HG0T

URI	`m2://inv/DN3YV9HG0T`
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#2B0Z, Weiqiang Wang (unknown)

History

2026-11-02: add by m2/dev

Relative Picard functor DN471WJ9XV

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

Mentions

wikipedia: Wikipedia Picard group#10Y1, Relative Picard functor (unknown)

History

2026-11-02: add by m2/dev

Multinomial probit DN4GM1WH3Z

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

Mentions

wikipedia: Wikipedia Multinomial probit, Multinomial probit (definition). Also Wikidata Q17086346

History

2026-11-02: add by m2/dev

Stationary point DN4Y4461DR

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

Mentions

wikipedia: Wikipedia List of calculus topics#81QB, Stationary point (definition)

History

2026-11-02: add by m2/dev

DN52GPAX9B DN52GPAX9B

URI	`m2://inv/DN52GPAX9B`
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#7CCD (statement). In AQX7DGD360/e1, corollary 6.9

History

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

DN58ZR13NR DN58ZR13NR

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

Mentions

arxiv: arXiv 2609.32829#QCJ3 (statement). In RYWAX33Z51/e1, lemma 4.5

History

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

DN592833FB DN592833FB

URI	`m2://inv/DN592833FB`
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.29205#VSCX (statement)

History

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

Monotone convergence theorem DN5GR8BT0E

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

Mentions

wikipedia: Wikipedia List of real analysis topics#ZJS3, Monotone convergence theorem (statement)

History

2026-11-02: add by m2/dev

1981 United Kingdom census DN5HDJE2XH

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

Mentions

wikipedia: Wikipedia 1981 United Kingdom census, 1981 United Kingdom census (definition). Also Wikidata Q21274970

History

2026-11-02: add by m2/dev

DN5NSRAS8A DN5NSRAS8A

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

Mentions

arxiv: arXiv 2610.15434#OK8Z (statement). In PWF23QSGDX/e1, theorem 1.3

History

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

Properties DN5T9AZSGR

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

Mentions

wikipedia: Wikipedia Airy function#2JR9, Properties (statement)

History

2026-11-02: add by m2/dev

Mutation–selection balance DN6957QVF3

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

Mentions

wikipedia: Wikipedia Mutation–selection balance, Mutation–selection balance (definition). Also Wikidata Q3730906

History

2026-11-02: add by m2/dev

A recursive formula DN6AJ2Q4NP

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

Mentions

wikipedia: Wikipedia Truncated normal distribution#3AX9, A recursive formula (statement)

History

2026-11-02: add by m2/dev

hidden sector DN6DEHSNTE

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

Mentions

wikidata: Wikidata Q16919810, hidden sector (unknown). Also nLab hidden sector

History

2026-10-26: add by m2/dev

DN6EKGNGY8 DN6EKGNGY8

URI	`m2://inv/DN6EKGNGY8`
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.11034#CWFI (statement). In 2KACPY9MMF/e1, corollary 5.2

History

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

DN75P8BCRP DN75P8BCRP

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_intro-functions.ptx#example-7 (example). In Y91XFCEVHQ, example, section 1.4.2

History

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

Definition DN780JYXQ0

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

Mentions

wikipedia: Wikipedia Nonparametric skew#SFYJ, Definition (definition)

History

2026-11-02: add by m2/dev

Global field DN78YNRB1B

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

Mentions

wikipedia: Wikipedia List of algebraic number theory topics#A0T6, Global field (definition)
wikipedia: Wikipedia List of abstract algebra topics#X9H8, Global field (definition)

History

2026-11-02: add by m2/dev

Separator theorems DN7GVQ249B

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

Mentions

wikipedia: Wikipedia Shallow minor#NYVA, Separator theorems (statement)

History

2026-11-02: add by m2/dev

computation rule, for product types DN7P70FG1F

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

Mentions

hott_book: hott_book index/A.5/computation-rule-for-product-types, computation rule, for product types (concept). In N54F33XE07, index, section A.5

History

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

DN7S3VSQHW DN7S3VSQHW

URI	`m2://inv/DN7S3VSQHW`
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 2512.19872#O3LA (statement). In DG9TF5X0EG/e1, theorem 8

History

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

DN7T7W9AKW DN7T7W9AKW

URI	`m2://inv/DN7T7W9AKW`
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.33771#3Z2D (statement). In ZXQA7QH0H0/e1, lemma 3.15

History

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

DN7TBZM8VC DN7TBZM8VC

URI	`m2://inv/DN7TBZM8VC`
Kind	statement
Layer	research
MSC	49-XX, 62-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.22642#XVX5 (statement)

History

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

DN7VNNEPZQ DN7VNNEPZQ

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

Mentions

arxiv: arXiv 2112.10058#BG5F (statement). In YQKKA47GS9/e1, lemma 3.5

History

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

DN835ZYBK6 DN835ZYBK6

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

Mentions

hott_book: hott_book logic.tex#ex:prop-trunc-ind (exercise). In N54F33XE07, ex, section 9.11

History

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

DN8AX8G158 DN8AX8G158

URI	`m2://inv/DN8AX8G158`
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.32107#GHML (statement). In F11G5M3JA5/e1, theorem 3.1

History

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

DN8FQQC4BT DN8FQQC4BT

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

Mentions

arxiv: arXiv 2610.20663#RTYG (statement). In AZMX0CY5NE/e1, corollary 17

History

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

DN8WZX3S7W DN8WZX3S7W

URI	`m2://inv/DN8WZX3S7W`
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 2509.21444#3Z94 (statement). In CTVPA2FQT1/e1, corollary 8.6.3

History

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

Laplace operator DN914096HV

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

Mentions

wikipedia: Wikipedia List of Fourier analysis topics#D0JO, Laplace operator (definition)

History

2026-11-02: add by m2/dev

Link encryption DN93C6DN2B

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

Mentions

wikipedia: Wikipedia List of telecommunications encryption terms#6QOZ, Link encryption (unknown)

History

2026-11-02: add by m2/dev

DN94VZCY39 DN94VZCY39

URI	`m2://inv/DN94VZCY39`
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 2206.13822#UE7A (statement). In R9D4FQR3TA/e1, lemma 3

History

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

DN9AB1S4K0 DN9AB1S4K0

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

Mentions

arxiv: arXiv 2609.30544#A2F7 (statement). In CB35ZBBBPT/e1, theorem 4.14

History

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

DN9C4HSKDT DN9C4HSKDT

URI	`m2://inv/DN9C4HSKDT`
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.20466#XZRG (statement). In M4ZVJWM8YA/e1, theorem 5.29

History

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

Geroch’s topological theorem DN9HDQP2SV

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

Mentions

wikipedia: Wikipedia Geroch's splitting theorem#BXS1, Geroch’s topological theorem (statement)

History

2026-11-02: add by m2/dev

Statement DN9HXX2A9P

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

Mentions

wikipedia: Wikipedia Beth definability theorem#CR0F, Statement (statement)

History

2026-11-02: add by m2/dev

DN9KHTZNT6 DN9KHTZNT6

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

Mentions

lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-11 (exercise). In E59CDZA4DP, exercise, section 6.2.4

History

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

DN9KQWMAP1 DN9KQWMAP1

URI	`m2://inv/DN9KQWMAP1`
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.08610#QLT9 (statement). In CB2JWNS1E9/e1, theorem

History

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

adjoint, linear map DN9RFJ2KV9

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

Mentions

hott_book: hott_book index/2.7/adjoint-linear-map, adjoint, linear map (concept). In N54F33XE07, index, section 2.7

History

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

Applications DN9T3JVMMS

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

Mentions

wikipedia: Wikipedia Biot number#YJZZ, Applications (example)

History

2026-11-02: add by m2/dev

DNA6R6GE2D DNA6R6GE2D

URI	`m2://inv/DNA6R6GE2D`
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.14652#1TGZ (statement). In A50CHJ6Q4V/e1, theorem 1.4

History

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

Product cutoff DNA7GX08DP

URI	`m2://inv/DNA7GX08DP`
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.22305#D8B7, Product cutoff (statement). In P6FTXTV09Q/e1, corollary 5.10

History

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

Savitzky–Golay smoothing filter DNAKHH6QGJ

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

Mentions

wikipedia: Wikipedia List of statistics articles#633S, Savitzky–Golay smoothing filter (definition)

History

2026-11-02: add by m2/dev

Examples DNAKYDYSAP

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

Mentions

wikipedia: Wikipedia Vizing's conjecture#ZC2C, Examples (example)

History

2026-11-02: add by m2/dev

DNAMMH99DT DNAMMH99DT

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

Mentions

arxiv: arXiv 2609.31127#HJA9 (statement). In NS3RZ26JC7/e1, corollary 4

History

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

DNAPCA6ESR DNAPCA6ESR

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

Mentions

arxiv: arXiv 2609.33590#6T4D (statement). In WRE0P7V6Z3/e1, lemma 2

History

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

Generalizations DNB6K6C535

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

Mentions

wikipedia: Wikipedia Cauchy–Schwarz inequality#S94M, Generalizations (statement)

History

2026-11-02: add by m2/dev

Properties DNB7H4Q81M

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

Mentions

wikipedia: Wikipedia Fundamental group scheme#UWCP, Properties (statement)

History

2026-11-02: add by m2/dev

Properties DNBJEXZNZX

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

Mentions

wikipedia: Wikipedia Minimal ideal#XKA7, Properties (statement)

History

2026-11-02: add by m2/dev

DNBTMG6X8F DNBTMG6X8F

URI	`m2://inv/DNBTMG6X8F`
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.22073#V89A (statement). In MVWSXXCXB7/e1, proposition 2.8

History

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

Compound of twenty octahedra with rotational freedom DNBYWV4W3Z

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

Mentions

wikipedia: Wikipedia Compound of twenty octahedra with rotational freedom, Compound of twenty octahedra with rotational freedom (definition). Also Wikidata Q12350729

History

2026-11-02: add by m2/dev

iron DNC3T1G2RC

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

Mentions

wikidata: Wikidata Q677, iron (definition). Also ProofWiki Definition:Iron

History

2026-10-26: add by m2/dev

DNC4VDFDNV DNC4VDFDNV

URI	`m2://inv/DNC4VDFDNV`
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.01803#6R4O (statement). In J6N4X33BME/e1, proposition 11

History

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

DNC5QC0P6Q DNC5QC0P6Q

URI	`m2://inv/DNC5QC0P6Q`
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.02692#3Z9F (statement). In P482WJSQSN/e1, proposition 3.2

History

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

DNCAQE83Y2 DNCAQE83Y2

URI	`m2://inv/DNCAQE83Y2`
Kind	problem
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.31269#JFU4 (problem). In ZPT9XCCAPQ/e1, problem 2.2.23

History

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

DNCKT6J85M DNCKT6J85M

URI	`m2://inv/DNCKT6J85M`
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 2309.01359#N07C (statement). In BFV19FC2G7/e1, lemma 2.5

History

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

DNCMPX6XFM DNCMPX6XFM

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

Mentions

hott_book: hott_book basics.tex#ex:equiv-functor-types (exercise). In N54F33XE07, ex, section 1.15

History

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

DNCNKPCNYX DNCNKPCNYX

URI	`m2://inv/DNCNKPCNYX`
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.10968#CMLH (statement). In KJRV9ZW833/e1, theorem 1.5

History

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

DNCSR8ZBRC DNCSR8ZBRC

URI	`m2://inv/DNCSR8ZBRC`
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.03856#W15J (statement). In HTBRYNPHSJ/e1, lemma 2.4

History

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

Λ DNCZC0Y7X3

URI	`m2://inv/DNCZC0Y7X3`
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 Q10897, Λ (unknown). Also ProofWiki Symbols:Greek/Lambda

History

2026-10-26: add by m2/dev

Index of wave articles DND378A3WE

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

Mentions

wikipedia: Wikipedia Index of wave articles, Index of wave articles (topic). Also Wikidata Q13637840

History

2026-11-02: add by m2/dev

Example DND4W2H267

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

Mentions

wikipedia: Wikipedia De Bruijn's theorem#4FP7, Example (example)

History

2026-11-02: add by m2/dev

Focus group DND5CDE049

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

Mentions

wikipedia: Wikipedia List of psychological research methods#RNCO, Focus group (unknown)

History

2026-11-02: add by m2/dev

DNDH9E5WC8 DNDH9E5WC8

URI	`m2://inv/DNDH9E5WC8`
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.02213#VZEV (statement). In 43B5W08GMR/e1, proposition 5.1

History

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

Statistical distance DNDJ71GNRF

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

Mentions

wikipedia: Wikipedia List of statistics articles#17ZH, Statistical distance (definition)

History

2026-11-02: add by m2/dev

DNDM89TD32 DNDM89TD32

URI	`m2://inv/DNDM89TD32`
Kind	problem
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.06340#25BV (problem). In PKNZPECH82/e1, problem 11.3

History

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

DNDRRM33FK DNDRRM33FK

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

Mentions

arxiv: arXiv 2609.13888#RWWZ (statement). In 2G5K2GZTX7/e1, proposition 2.11

History

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

DNDTE79M3E DNDTE79M3E

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

Mentions

arxiv: arXiv 2609.21043#H0IE (statement)

History

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

Examples DNE7C4RCP8

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

Mentions

wikipedia: Wikipedia Sub-Riemannian manifold#OF2U, Examples (example)

History

2026-11-02: add by m2/dev

Generalizations DNEC9MCTP4

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

Mentions

wikipedia: Wikipedia Spherical harmonics#WPGG, Generalizations (statement)

History

2026-11-02: add by m2/dev

Theorem DNECS7JKWY

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

Mentions

wikipedia: Wikipedia Cauchy product#ZIZU, Theorem (statement)

History

2026-11-02: add by m2/dev

DNEHGPE7QV DNEHGPE7QV

URI	`m2://inv/DNEHGPE7QV`
Kind	statement
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 2408.13548#97QS (statement). In EQF1ZQ5K1S/e1, lemma 3.12

History

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

Cantelli's inequality DNEPX0QC6X

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

Mentions

wikipedia: Wikipedia Cantelli's inequality, Cantelli's inequality (statement). Also Wikidata Q3711841

History

2026-11-02: add by m2/dev

LPPL from clustering of the initial state DNESCJN3X9

URI	`m2://inv/DNESCJN3X9`
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.31858#ZOFI, LPPL from clustering of the initial state (statement). In QV16PHDXKJ/e1, theorem 4.11

History

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

DNEX10AKYJ DNEX10AKYJ

URI	`m2://inv/DNEX10AKYJ`
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.20134#F47X (statement)

History

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

DNFB14W91Y DNFB14W91Y

URI	`m2://inv/DNFB14W91Y`
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.09882#3GSN (statement). In 7XV6T4N79V/e1, lemma 3.5

History

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

Arrows in Unicode DNFNC669YE

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

Mentions

wikipedia: Wikipedia Arrow (symbol)#MPFD, Arrows in Unicode (unknown)

History

2026-11-02: add by m2/dev

Adrian Clingher DNFPFHV0Q8

URI	`m2://inv/DNFPFHV0Q8`
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 Q102233995, Adrian Clingher (unknown). Also nLab Adrian Clingher

History

2026-10-26: add by m2/dev

DNFYNTAN7S DNFYNTAN7S

URI	`m2://inv/DNFYNTAN7S`
Kind	definition
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.13833#3W0L (definition). In VD4JP4HVBX/e1, definition 2.3

History

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

DNG09WYFP9 DNG09WYFP9

URI	`m2://inv/DNG09WYFP9`
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.13103#CFIV (statement). In GG2ZZV6KEQ/e1, theorem 1.3

History

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

Notation DNG2M2SQFV

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

Mentions

wikipedia: Wikipedia Isomorphism#NWV7, Notation (definition)

History

2026-11-02: add by m2/dev

DNG9SWCCCW DNG9SWCCCW

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

Mentions

arxiv: arXiv 2610.14060#7CCU (statement). In X47RYAZF8P/e1, lemma 3.15

History

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

net DNGBXE4QX2

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#EQKY, net (definition)

History

2026-11-02: add by m2/dev

DNGJKX9GYV DNGJKX9GYV

URI	`m2://inv/DNGJKX9GYV`
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.21399#5Y39 (statement)

History

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

Resolvable DNGMH0SP48

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

Mentions

wikipedia: Wikipedia Glossary of general topology#5G23, Resolvable (definition)

History

2026-11-02: add by m2/dev

Elias Kiritsis DNGN4AZR82

URI	`m2://inv/DNGN4AZR82`
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 Q15441232, Elias Kiritsis (unknown). Also nLab Elias Kiritsis

History

2026-10-26: add by m2/dev

DNGSSBT60Y DNGSSBT60Y

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

Mentions

arxiv: arXiv 2609.30579#I8WD (example). In FDYZFDHZH9/e1, example 2.16

History

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

Definition DNGWD0C26M

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

Mentions

wikipedia: Wikipedia Core (game theory)#KGU3, Definition (definition)

History

2026-11-02: add by m2/dev

Hilbert series DNH76GYT3E

URI	`m2://inv/DNH76GYT3E`
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.38212#ZB0M, Hilbert series (statement). In 5821K2RD8J/e1, theorem 1.2

History

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

Example DNHBKD4JMC

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

Mentions

wikipedia: Wikipedia Abel's binomial theorem#6OTH, Example (example)

History

2026-11-02: add by m2/dev

DNHC5AAMPS DNHC5AAMPS

URI	`m2://inv/DNHC5AAMPS`
Kind	statement
Layer	research
MSC	05-XX, 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.27023#XACO (statement)

History

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

DNHE7CDB4S DNHE7CDB4S

URI	`m2://inv/DNHE7CDB4S`
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 2610.12484#IFXA (statement). In GW23NX78SB/e1, lemma 4.42

History

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

DNHQ2S6236 DNHQ2S6236

URI	`m2://inv/DNHQ2S6236`
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.22218#QAWV (statement). In 338GKREFVP/e1, lemma 34

History

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

subconfiguration obstruction DNJ1Z8XE99

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

Mentions

arxiv: arXiv 2610.04000#PJSX, subconfiguration obstruction (statement). In CBCCH5VTMQ/e1, proposition 3.16

History

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

Holbrook Working DNJ98SMASM

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

Mentions

wikipedia: Wikipedia Holbrook Working, Holbrook Working (topic). Also Wikidata Q5878786

History

2026-11-02: add by m2/dev

Well-covered chordal graphs DNJ9C7C69M

URI	`m2://inv/DNJ9C7C69M`
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.09300#ZMFJ, Well-covered chordal graphs (statement). In JP589KS01S/e1, theorem 3.2

History

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

\textbf{Boundary layer only on the right edge DNJFJBXXJG

URI	`m2://inv/DNJFJBXXJG`
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 2609.29185#VXBD, \textbf{Boundary layer only on the right edge (example)

History

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

$\lambda$-flows DNJHDAHDEB

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

Mentions

arxiv: arXiv 2610.11034#MAQY, $\lambda$-flows (definition). In 2KACPY9MMF/e1, definition 3.2

History

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

Ring theory DNJMB4XDDW

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#GA6F, Ring theory (definition)

History

2026-11-02: add by m2/dev

Choice of points DNJTR6M7VM

URI	`m2://inv/DNJTR6M7VM`
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.21872#870U, Choice of points (statement). In HEA1ME2ZE4/e1, lemma 17

History

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

DNJVJARTT2 DNJVJARTT2

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#exercise-80 (exercise). In E59CDZA4DP, exercise, section 10.6.6

History

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

DNJZV9WVNE DNJZV9WVNE

URI	`m2://inv/DNJZV9WVNE`
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.01818#RXBN (statement). In DA31J9XJ4J/e1, lemma B.4

History

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

Mallows-type permutations DNK2Z5MY4N

URI	`m2://inv/DNK2Z5MY4N`
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.14616#9NHS, Mallows-type permutations (statement). In 17ACAG0N9C/e1, corollary 2.15

History

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

William Gentle DNK5JE1BAH

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

Mentions

wikipedia: Wikipedia William Gentle (headmaster), William Gentle (topic). Also Wikidata Q25172149

History

2026-11-02: add by m2/dev

The Four Color Theorem DNKAP1N1PS

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_gt-coloring.ptx#theorem-1, The Four Color Theorem (statement). In Y91XFCEVHQ, theorem, section 5.4

History

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

DNKH2HWA1Z DNKH2HWA1Z

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

Mentions

arxiv: arXiv 2610.20050#UL3Z (definition). In T41GD0Y0GX/e1, definition A.4

History

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

DNKP5R36QQ DNKP5R36QQ

URI	`m2://inv/DNKP5R36QQ`
Kind	statement
Layer	research
MSC	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 2610.04164#2KKF (statement). In KR7WXN4EWR/e1, theorem

History

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

DNKPQW09KS DNKPQW09KS

URI	`m2://inv/DNKPQW09KS`
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.05829#BZOO (statement). In ZH9NNSEKMD/e1, lemma 7.2

History

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

forced motion DNKSXHSARQ

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

Mentions

lebl_diffyqs: lebl_diffyqs index/6.4.1/forced-motion, forced motion (concept). In E9HS8K3A52, index, section 6.4.1

History

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

Isaac ben Moses Eli DNKWNK2CE4

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

Mentions

wikipedia: Wikipedia Isaac ben Moses Eli, Isaac ben Moses Eli (topic). Also Wikidata Q55643101

History

2026-11-02: add by m2/dev

Inverse distribution DNKZ2ETJ1G

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

Mentions

wikipedia: Wikipedia List of statistics articles#O36H, Inverse distribution (definition)

History

2026-11-02: add by m2/dev

DNM18D7MFA DNM18D7MFA

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

Mentions

napkin: napkin tex/set-theory/ordinal.tex#proof-3 (proof). In RZP28ERRZV, proof, section 92.4

History

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

DNM4HGY2YN DNM4HGY2YN

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

Mentions

open_logic: open_logic content/set-theory/ord-arithmetic/addition.tex#ordsumlessiswo (statement). In PKGMM3P5QY, lem, section 71.8

History

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

Software tools for stochastic programming DNM6CVGQZR

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

Mentions

wikipedia: Wikipedia Stochastic programming#D2L6, Software tools for stochastic programming (unknown)

History

2026-11-02: add by m2/dev

Gene regulatory network DNM9GBQVJ4

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

Mentions

wikipedia: Wikipedia List of network theory topics#QS2E, Gene regulatory network (definition)

History

2026-11-02: add by m2/dev

DNM9KGMRAK DNM9KGMRAK

URI	`m2://inv/DNM9KGMRAK`
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.10452#I1FP (statement). In 2F4PNP1V3B/e1, corollary 2.2

History

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

Example DNMA9HCGBX

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

Mentions

wikipedia: Wikipedia Playfair cipher#S12L, Example (example)

History

2026-11-02: add by m2/dev

Paul Lorenzen DNMB6X2FE5

URI	`m2://inv/DNMB6X2FE5`
Kind	topic
Layer	textbook
Sources	2
Outcome	out_of_scope (a person, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q72998, Paul Lorenzen (unknown). Also nLab Paul Lorenzen
wikipedia: Wikipedia Paul Lorenzen, Paul Lorenzen (topic). Also Wikidata Q72998

History

2026-10-26: add by m2/dev

Extensions DNMCSJHJG1

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

Mentions

wikipedia: Wikipedia Modern portfolio theory#RIPG, Extensions (statement)

History

2026-11-02: add by m2/dev

DNME9MXK9M DNME9MXK9M

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

Mentions

arxiv: arXiv 2610.02017#2Q25 (definition). In F6C80AEXC1/e1, definition 2.4

History

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

DNMKVRSW3H DNMKVRSW3H

URI	`m2://inv/DNMKVRSW3H`
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 2206.05392#YLKS (example). In 58D1ZC82DW/e1, example 3

History

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

The factor-compatible sparse arithmetic-support hierarchy DNMNQ0BEE4

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

Mentions

arxiv: arXiv 2609.26066#JDDU, The factor-compatible sparse arithmetic-support hierarchy (statement)

History

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

DNMQGGA9WA DNMQGGA9WA

URI	`m2://inv/DNMQGGA9WA`
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.17677#CZAH (statement). In 5E9G06XJKC/e1, lemma F.13

History

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

⊂ DNNE6MP5RN

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#IEB1, ⊂ (definition)

History

2026-11-02: add by m2/dev

Ikeda lift DNNF9Q75T6

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

Mentions

wikipedia: Wikipedia Ikeda lift, Ikeda lift (definition). Also Wikidata Q18574143

History

2026-11-02: add by m2/dev

Vladimir Berkovich DNNQDVP7G5

URI	`m2://inv/DNNQDVP7G5`
Kind	topic
Layer	textbook
Sources	2
Outcome	out_of_scope (a person, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q7938273, Vladimir Berkovich (unknown). Also nLab Vladimir Berkovich
wikipedia: Wikipedia Vladimir Berkovich, Vladimir Berkovich (topic). Also Wikidata Q7938273

History

2026-10-26: add by m2/dev

Definition DNNXT9Z6DC

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

Mentions

wikipedia: Wikipedia Causal inference#P36Q, Definition (definition)

History

2026-11-02: add by m2/dev

Three Lakes Valley (South Orkney Islands) DNNXV8K8MJ

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

Mentions

wikipedia: Wikipedia List of places with numeric names#AY3E, Three Lakes Valley (South Orkney Islands) (unknown)

History

2026-11-02: add by m2/dev

Partially observable Markov decision process DNP33JSQF1

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

Mentions

wikipedia: Wikipedia List of undecidable problems#BKCI, Partially observable Markov decision process (definition)

History

2026-11-02: add by m2/dev

Deterministic finite automaton DNPAP2D3CP

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

Mentions

wikipedia: Wikipedia Deterministic finite automaton, Deterministic finite automaton (definition). Also Wikidata Q837528

History

2026-11-02: add by m2/dev

DNPD49JFKB DNPD49JFKB

URI	`m2://inv/DNPD49JFKB`
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 2609.27078#R705 (definition)

History

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

DNPJ53QZB1 DNPJ53QZB1

URI	`m2://inv/DNPJ53QZB1`
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.08288#3BZA (statement). In CHVWYJM7RM/e1, corollary 1.9

History

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

DNPP0Z614T DNPP0Z614T

URI	`m2://inv/DNPP0Z614T`
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.12716#9E99 (statement). In M6BCSQSM3R/e1, fact 2

History

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

Shortest remaining time DNPQ9VYDWX

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

Mentions

wikipedia: Wikipedia List of algorithms#VMQ8, Shortest remaining time (unknown)

History

2026-11-02: add by m2/dev

Definition DNPQH4G9NH

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

Mentions

wikipedia: Wikipedia Stieltjes polynomials#V4YX, Definition (definition)

History

2026-11-02: add by m2/dev

DNPTFFG27C DNPTFFG27C

URI	`m2://inv/DNPTFFG27C`
Kind	example
Layer	research
MSC	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.10930#NZ3J (example). In HX63A1PH1W/e1, example 3.72

History

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

Examples DNQ0A2PJEH

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

Mentions

wikipedia: Wikipedia Fibred category#CH0H, Examples (example)

History

2026-11-02: add by m2/dev

DNQ0TNH3EP DNQ0TNH3EP

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

Mentions

arxiv: arXiv 2610.10262#0JC4 (statement). In MVSGDTN2PB/e1, lemma 4.6

History

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

Tau distribution DNQ1XHR7V6

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

Mentions

wikipedia: Wikipedia Studentized residual#GD6S, Tau distribution (unknown)

History

2026-11-02: add by m2/dev

Formulas in terms of four quantities DNQ5EH0JAA

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

Mentions

wikipedia: Wikipedia Bicentric quadrilateral#MBNB, Formulas in terms of four quantities (statement)

History

2026-11-02: add by m2/dev

self-adjoint operator DNQAWP1VN1

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

Mentions

mathlib_overview: mathlib_overview Analysis > Hilbert spaces > self-adjoint operator, self-adjoint operator (unknown). Also Mathlib IsSelfAdjoint
mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > self-adjoint endomorphism, self-adjoint endomorphism (unknown). Also Mathlib IsSelfAdjoint

History

2026-10-26: add by m2/dev

DNQBEXZ0PJ DNQBEXZ0PJ

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

Mentions

arxiv: arXiv 2512.16003#XFAI (definition). In BJGS6ZCQ12/e1, definition 3.7

History

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

Cayley's formula DNQGM3ZR1D

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

Mentions

arxiv: arXiv 2609.28552#Y0YV, Cayley's formula (statement)

History

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

DNQMHQC73F DNQMHQC73F

URI	`m2://inv/DNQMHQC73F`
Kind	statement
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 2609.27056#CD9J (statement)

History

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

DNR0FYMEYG DNR0FYMEYG

URI	`m2://inv/DNR0FYMEYG`
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 1103.1038#P96K (statement). In T9VMNNPS0H/e1, lemma 3.1

History

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

DNR4NEQKW8 DNR4NEQKW8

URI	`m2://inv/DNR4NEQKW8`
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#AQNX (statement). In GSN5YTQS2K/e1, proposition 3.15

History

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

NIST SP 800-90B DNR558JVED

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

Mentions

wikipedia: Wikipedia NIST SP 800-90B, NIST SP 800-90B (definition). Also Wikidata Q85787551

History

2026-11-02: add by m2/dev

Samuel Greenhouse DNR7TP1M2M

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

Mentions

wikipedia: Wikipedia Samuel Greenhouse, Samuel Greenhouse (topic). Also Wikidata Q61721834

History

2026-11-02: add by m2/dev

DNR9VXEF88 DNR9VXEF88

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

Mentions

open_logic: open_logic content/set-theory/card-arithmetic/expotough.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 69.2

History

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

Philosophy of Science DNRFN6YE85

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

Mentions

wikipedia: Wikipedia Philosophy of Science (journal), Philosophy of Science (definition). Also Wikidata Q1739521

History

2026-11-02: add by m2/dev

Directional derivatives transverse to a flat boundary piece DNRM2N568K

URI	`m2://inv/DNRM2N568K`
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.12165#4NEY, Directional derivatives transverse to a flat boundary piece (statement). In 3JSE8A9CFH/e1, proposition 3.7

History

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

Petersen graph DNRNPSH1SE

URI	`m2://inv/DNRNPSH1SE`
Kind	concept
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Petersen graph 0NR95CTFCZ

Mentions

wikidata: Wikidata Q835614, Petersen graph (concept). Also EoM Petersen_graph, House of Graphs 660, MathWorld PetersenGraph, ProofWiki Definition:Petersen_Graph
wikipedia: Wikipedia Petersen graph, Petersen graph (definition). Also Wikidata Q835614

History

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

univalence axiom DNS2335RP4

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

Mentions

hott_book: hott_book index/9.2/univalence-axiom, univalence axiom (concept). In N54F33XE07, index, section 9.2

History

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

DNSAJ76B1F DNSAJ76B1F

URI	`m2://inv/DNSAJ76B1F`
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.17677#GHIY (statement). In 5E9G06XJKC/e1, lemma F.1

History

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

DNSJXZR87B DNSJXZR87B

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

Mentions

arxiv: arXiv 1705.04310#DKN2 (problem). In MG51GG0QZN/e1, problem 5.11

History

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

DNSKGHMFMR DNSKGHMFMR

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

Mentions

arxiv: arXiv 2609.36423#4GYM (definition). In Q5Z178SAHP/e1, definition 4.1

History

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

Definition DNSQAAWRA4

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

Mentions

wikipedia: Wikipedia Conservative vector field#7VFD, Definition (definition)

History

2026-11-02: add by m2/dev

DNSSYTR6Q8 DNSSYTR6Q8

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

Mentions

lebl_scv: lebl_scv scv.tex#example:noextend (example). In VNMV985MXX, example, section 4.5

History

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

Variations DNSVJFVWPF

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

Mentions

wikipedia: Wikipedia Penman–Monteith equation#R7L1, Variations (statement)

History

2026-11-02: add by m2/dev

DNSXSJJMTE DNSXSJJMTE

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

Mentions

arxiv: arXiv 2609.28141#S2ET (definition)

History

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

Hendrik Lenstra DNT3RQRRK1

URI	`m2://inv/DNT3RQRRK1`
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 Q173783, Hendrik Lenstra (unknown). Also nLab Hendrik Lenstra, ProofWiki Mathematician:Hendrik_Willem_Lenstra_Jr.

History

2026-10-26: add by m2/dev

DNT7GCH3BC DNT7GCH3BC

URI	`m2://inv/DNT7GCH3BC`
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 2503.22636#X384 (statement). In 2X2A6MT0QD/e1, proposition 3.4

History

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

DNT9DZ962Y DNT9DZ962Y

URI	`m2://inv/DNT9DZ962Y`
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 2304.02722#V0G8 (statement). In AH7D55D3WV/e1, theorem 13.3

History

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

Newman–Penrose formalism DNTA5QG9K0

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

Mentions

wikipedia: Wikipedia Newman–Penrose formalism, Newman–Penrose formalism (definition). Also Wikidata Q17104790

History

2026-11-02: add by m2/dev

DNTB6N0J4P DNTB6N0J4P

URI	`m2://inv/DNTB6N0J4P`
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.00358#ZAA0 (statement). In C5WGCSPM6W/e1, proposition 2.2

History

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

Hurwitz's theorem DNTMME2WAX

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

Mentions

wikipedia: Wikipedia List of theorems#76DS, Hurwitz's theorem (statement)

History

2026-11-02: add by m2/dev

Quantum entanglement, Einstein–Podolsky–Rosen paradox, Bell's theorem, and nonlocality DNTSTHVP56

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

Mentions

wikipedia: Wikipedia De Broglie–Bohm theory#7WH8, Quantum entanglement, Einstein–Podolsky–Rosen paradox, Bell's theorem, and nonlocality (statement)

History

2026-11-02: add by m2/dev

DNTYK0QFQA DNTYK0QFQA

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

Mentions

arxiv: arXiv 2609.24463#227V (statement)

History

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

convolution of two functions of $\mathcal{S}(\R^d)$ DNTZ5B4Q8S

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

Mentions

mathlib_undergrad: mathlib_undergrad Distribution calculus > Spaces $\mathcal{S}(\R^d)$ > convolution of two functions of $\mathcal{S}(\R^d)$, convolution of two functions of $\mathcal{S}(\R^d)$ (unknown). Also Mathlib SchwartzMap.convolution

History

2026-10-26: add by m2/dev

Area function DNV43XSMAR

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

Mentions

arxiv: arXiv 2609.23872#VOG1, Area function (definition)

History

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

DNVEJ1GCMG DNVEJ1GCMG

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

Mentions

arxiv: arXiv 2610.20663#ASH1 (statement). In AZMX0CY5NE/e1, corollary 24

History

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

DNVEZDNPE3 DNVEZDNPE3

URI	`m2://inv/DNVEZDNPE3`
Kind	statement
Layer	research
MSC	05-XX, 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.27023#SA6P (statement)

History

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

General Problem Solver DNVM2AKAZ8

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

Mentions

wikipedia: Wikipedia List of algorithms#TWK8, General Problem Solver (unknown)

History

2026-11-02: add by m2/dev

DNVVFB3AXB DNVVFB3AXB

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

History

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

Applications DNW1BQMTMY

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

Mentions

wikipedia: Wikipedia Stackelberg competition#8KF3, Applications (example)

History

2026-11-02: add by m2/dev

Galois's criterion DNW88WZBMH

URI	`m2://inv/DNW88WZBMH`
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.18154#DEOZ, Galois's criterion (statement). In 4W7ARR1DAR/e1, fact B.5

History

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

Applications DNWKEKY4ES

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

Mentions

wikipedia: Wikipedia Helmholtz decomposition#R246, Applications (example)

History

2026-11-02: add by m2/dev

Convergence in measure DNWRBSKTXN

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

Mentions

wikipedia: Wikipedia Convergence in measure, Convergence in measure (definition). Also Wikidata Q768656

History

2026-11-02: add by m2/dev

undamped motion, systems DNWT4QCC5H

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

Mentions

lebl_diffyqs: lebl_diffyqs index/10.6.1/undamped-motion-systems, undamped motion, systems (concept). In E9HS8K3A52, index, section 10.6.1

History

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

DNWYCS5T9K DNWYCS5T9K

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

Mentions

arxiv: arXiv 2609.25168#7RYV (example)

History

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

Variable exponent fractional Morrey type inequality DNWYJ3B3W0

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

Mentions

arxiv: arXiv 2610.08253#0CZF, Variable exponent fractional Morrey type inequality (statement). In 6AD2CTF0QF/e1, theorem 2.16

History

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

DNX3T263P0 DNX3T263P0

URI	`m2://inv/DNX3T263P0`
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.04608#E76T (statement). In ZYYMXYK7WJ/e1, proposition 5

History

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

DNX6GCAQR7 DNX6GCAQR7

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

Mentions

arxiv: arXiv 2610.19455#EON4 (statement). In CBF6TQS4DW/e1, proposition 1.6

History

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

Stalk criterion for semireality DNXD77XPAF

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

Mentions

arxiv: arXiv 2610.15887#F1AV, Stalk criterion for semireality (statement). In 87QYNZZ67Z/e1, corollary 10.5

History

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

Minimum chi-square estimation DNXEN7TT9N

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

Mentions

wikipedia: Wikipedia List of statistics articles#I5L7, Minimum chi-square estimation (definition)

History

2026-11-02: add by m2/dev

Rigidity of a zero feature box DNXG0MF1Q4

URI	`m2://inv/DNXG0MF1Q4`
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.29147#4H31, Rigidity of a zero feature box (statement)

History

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

DNXJM9FB5Z DNXJM9FB5Z

URI	`m2://inv/DNXJM9FB5Z`
Kind	statement
Layer	research
MSC	11-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 2609.25106#E7Z6 (statement)

History

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

DNXKFR24MW DNXKFR24MW

URI	`m2://inv/DNXKFR24MW`
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 2507.05417#6DVO (statement). In RGHZ863Q26/e1, lemma 3.20

History

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

DNXQXWCMMK DNXQXWCMMK

URI	`m2://inv/DNXQXWCMMK`
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 2610.10840#QHWN (definition). In JSJQEPY71E/e1, definition B.5

History

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

mathematical physics DNXXRQK19Q

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

Mentions

wikidata: Wikidata Q156495, mathematical physics (topic). Also EoM Mathematical_physics, nLab mathematical physics, ProofWiki Definition:Mathematical_Physics
wikipedia: Wikipedia Mathematical physics, Mathematical physics (topic). Also Wikidata Q156495

History

2026-10-26: add by m2/dev

DNXZBX6FRR DNXZBX6FRR

URI	`m2://inv/DNXZBX6FRR`
Kind	definition
Layer	research
MSC	30-XX, 32-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.10505#CUQ6 (definition). In JW8HH6EPG2/e1, definition 5.1

History

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

DNXZZ8MRHC DNXZZ8MRHC

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

Mentions

lebl_ra: lebl_ra ch-der.tex#proof-12 (proof). In E59CDZA4DP, proof, section 3.3.2

History

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

DNY09EB9BZ DNY09EB9BZ

URI	`m2://inv/DNY09EB9BZ`
Kind	problem
Layer	research
MSC	03-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 2609.33856#S8GD (problem). In 47WN78VDDF/e1, problem 3.1

History

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

Gowers' theorem DNY0B4N66X

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

Mentions

wikipedia: Wikipedia Gowers' theorem, Gowers' theorem (statement). Also Wikidata Q106726597

History

2026-11-02: add by m2/dev

DNY35Q4KHJ DNY35Q4KHJ

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

Mentions

arxiv: arXiv 2609.20740#85Y4 (statement)

History

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

Perfect graph theorem DNY9G3WFGY

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

Mentions

wikipedia: Wikipedia List of theorems#SH5O, Perfect graph theorem (statement)

History

2026-11-02: add by m2/dev

Intrinsic potential estimate DNYBYPWFZF

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

Mentions

arxiv: arXiv 2609.25449#970S, Intrinsic potential estimate (statement). In 9JHMTYGWFQ/e1, theorem 1.18

History

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

DNYGC8XX8W DNYGC8XX8W

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

Mentions

arxiv: arXiv 2610.01216#IJ9L (statement). In 59016RQTW6/e1, theorem

History

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

sum-free set DNYPB28Z5D

URI	`m2://inv/DNYPB28Z5D`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Sum-free set 7SHV2SPYP6

Mentions

wikidata: Wikidata Q3054917, sum-free set (unknown). Also MathWorld Sum-FreeSet
wikipedia: Wikipedia Sum-free set, Sum-free set (definition). Also Wikidata Q3054917

History

2026-10-26: add by m2/dev

Francis Collins DNYQ452GYZ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#JYIA, Francis Collins (unknown)

History

2026-11-02: add by m2/dev

DNZ2WYE3A6 DNZ2WYE3A6

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

Mentions

active_calculus: active_calculus source/sec-5-1-antid-graphs.xml#definition-1 (definition). In 907G4C4EJ1, definition, section 5.1.4

History

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

DNZ7Z35ZY3 DNZ7Z35ZY3

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

Mentions

arxiv: arXiv 2609.25004#JWHV (problem)

History

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

Example DNZ9Z4WMB3

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

Mentions

wikipedia: Wikipedia Busy beaver#IB7R, Example (example)

History

2026-11-02: add by m2/dev

Statement DNZR84JBWX

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

Mentions

wikipedia: Wikipedia Harish-Chandra's regularity theorem#TFP2, Statement (statement)

History

2026-11-02: add by m2/dev

line integral DNZR8BZR08

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

Mentions

mathlib_undergrad: mathlib_undergrad Multivariable calculus > Submanifolds of $\R^n$ > line integral, line integral (unknown)

History

2026-10-26: add by m2/dev