Inventory rows BT

BT00J4V09Y BT00J4V09Y

URI	`m2://inv/BT00J4V09Y`
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.24845#ITDW (statement)

History

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

Lemma BT01C6ENMQ

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

Mentions

wikipedia: Wikipedia Bayesian information criterion#K5W9, Lemma (statement)

History

2026-11-02: add by m2/dev

John Wishart BT0368ANXN

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

Mentions

wikipedia: Wikipedia John Wishart (statistician), John Wishart (topic). Also Wikidata Q3809681

History

2026-11-02: add by m2/dev

Square Gaussian hard-edge package BT06MKC458

URI	`m2://inv/BT06MKC458`
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.28198#XQY8, Square Gaussian hard-edge package (statement)

History

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

406 (number) BT0PB295EF

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

Mentions

wikipedia: Wikipedia 400 (number)#ZAQO, 406 (number) (unknown)

History

2026-11-02: add by m2/dev

BT0VWDKHWY BT0VWDKHWY

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

Mentions

arxiv: arXiv 2609.36622#ZA54 (statement). In 9704QPRPR6/e1, proposition 4.2

History

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

Superpermutation BT14T6QZTC

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#VZAE, Superpermutation (definition)

History

2026-11-02: add by m2/dev

Michael Robert Herman BT150PMMYS

URI	`m2://inv/BT150PMMYS`
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#W9BL, Michael Robert Herman (topic)

History

2026-11-02: add by m2/dev

Applications BT1E8J6818

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

Mentions

wikipedia: Wikipedia Hypergraph regularity method#OZCO, Applications (example)

History

2026-11-02: add by m2/dev

BT21KTGCKP BT21KTGCKP

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

Mentions

arxiv: arXiv 2609.25896#F74B (statement)

History

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

BT23JMAGK5 BT23JMAGK5

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

Mentions

arxiv: arXiv 2503.19528#SMHC (statement). In EM5955MDHN/e1, theorem 1.5

History

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

Wave tails and derivative ratios BT2687XVNE

URI	`m2://inv/BT2687XVNE`
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.21328#CT5B, Wave tails and derivative ratios (statement). In BJXVV4ZF7B/e1, lemma 5.1

History

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

BT2A33T0TF BT2A33T0TF

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

Mentions

arxiv: arXiv 2610.21365#3KEQ (example). In FCMMB2EVAP/e1, example 2.10

History

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

gradient theorem BT2AZFVJ27

URI	`m2://inv/BT2AZFVJ27`
Kind	statement
Layer	textbook
MSC	26-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Gradient theorem 0SD237FEJD

Mentions

mathlib_1000: mathlib_1000 Q287347, Gradient theorem (statement). Also Wikidata Q287347
thousand_plus: thousand_plus Q287347, Gradient theorem (statement). Also Wikidata Q287347, Wikipedia Gradient theorem
wikidata: Wikidata Q287347, gradient theorem (statement). Also MathWorld GradientTheorem
wikipedia: Wikipedia Gradient theorem, Gradient theorem (statement). Also Wikidata Q287347

History

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

BT2D4DV6K6 BT2D4DV6K6

URI	`m2://inv/BT2D4DV6K6`
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.23327#LFQF (statement)

History

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

Tail dependence BT2JQK8EJN

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

Mentions

wikipedia: Wikipedia Tail dependence, Tail dependence (definition). Also Wikidata Q16991115

History

2026-11-02: add by m2/dev

The higher-shell moment estimate BT2KQGEZW6

URI	`m2://inv/BT2KQGEZW6`
Kind	statement
Layer	research
MSC	11-XX, 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.37615#GG8M, The higher-shell moment estimate (statement). In T2B54J7121/e1, lemma 3.5

History

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

BT2NY53633 BT2NY53633

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

Mentions

arxiv: arXiv 2609.39430#L0PT (statement). In 6FH24CYAMW/e1, proposition 6.4

History

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

BT2VMX0NB0 BT2VMX0NB0

URI	`m2://inv/BT2VMX0NB0`
Kind	statement
Layer	research
MSC	30-XX, 32-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.14837#BRCN (statement). In J4P6HXMJCH/e1, proposition 6.3

History

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

SmartPLS BT2W7B30HE

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

Mentions

wikipedia: Wikipedia List of statistical software#IKMJ, SmartPLS (unknown)

History

2026-11-02: add by m2/dev

Advice BT30GSHDNN

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

Mentions

wikipedia: Wikipedia Advice (complexity), Advice (definition). Also Wikidata Q4686786

History

2026-11-02: add by m2/dev

Second sound BT31KM0MHQ

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

Mentions

wikipedia: Wikipedia Second sound, Second sound (definition). Also Wikidata Q233699

History

2026-11-02: add by m2/dev

BT3E0V8YAZ BT3E0V8YAZ

URI	`m2://inv/BT3E0V8YAZ`
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 2401.05118#HAGK (statement). In BT0T0QS2TN/e1, lemma 6.3

History

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

Boáz Klartag BT3H45630X

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#C71Z, Boáz Klartag (topic)

History

2026-11-02: add by m2/dev

BT3PKFT8E5 BT3PKFT8E5

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

Mentions

open_logic: open_logic content/first-order-logic/completeness/completeness-thm.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 9.11

History

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

InfoQ BT3S6FXZ0W

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

Mentions

wikipedia: Wikipedia InfoQ, InfoQ (definition). Also Wikidata Q56278214

History

2026-11-02: add by m2/dev

BT3V2WARH0 BT3V2WARH0

URI	`m2://inv/BT3V2WARH0`
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.10469#RN2S (statement). In Q39BEKW6D9/e1, theorem 5.7

History

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

Construction BT3W1RA0PK

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

Mentions

wikipedia: Wikipedia Gross rating point#K069, Construction (definition)

History

2026-11-02: add by m2/dev

Earle Raymond Hedrick BT42YB2759

URI	`m2://inv/BT42YB2759`
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#ZT8W, Earle Raymond Hedrick (unknown)

History

2026-11-02: add by m2/dev

Chua's circuit BT47MY9R56

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

Mentions

wikipedia: Wikipedia Chua's circuit, Chua's circuit (definition). Also Wikidata Q258022

History

2026-11-02: add by m2/dev

BT47R02CSD BT47R02CSD

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

Mentions

arxiv: arXiv 2609.27192#B8DQ (example)

History

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

Cauchy's convergence test BT48H3X29B

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

Mentions

wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#BHRN, Cauchy's convergence test (definition)
wikipedia: Wikipedia List of real analysis topics#P9XB, Cauchy's convergence test (definition)

History

2026-11-02: add by m2/dev

Dorothy Lewis Bernstein BT4CZ888RC

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

Mentions

wikipedia: Wikipedia Dorothy Lewis Bernstein, Dorothy Lewis Bernstein (topic). Also Wikidata Q5298509

History

2026-11-02: add by m2/dev

BT4F1Y5F7J BT4F1Y5F7J

URI	`m2://inv/BT4F1Y5F7J`
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 2511.17751#N1BU (statement). In J39X0NB31S/e1, proposition 4.26

History

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

BT4H9BK5YH BT4H9BK5YH

URI	`m2://inv/BT4H9BK5YH`
Kind	definition
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 2609.21034#PAA6 (definition)

History

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

BT4YMVFK2H BT4YMVFK2H

URI	`m2://inv/BT4YMVFK2H`
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.25543#NQVP (statement)

History

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

BT54P53RAY BT54P53RAY

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

Mentions

arxiv: arXiv 2610.20299#TK30 (statement). In P7T0W5D3W3/e1, lemma 5.1

History

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

Plane symmetry BT57T69HF3

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

Mentions

wikipedia: Wikipedia Plane symmetry, Plane symmetry (definition). Also Wikidata Q7201020

History

2026-11-02: add by m2/dev

BT58KX1AP1 BT58KX1AP1

URI	`m2://inv/BT58KX1AP1`
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 2211.14214#Z503 (statement). In SY85Y9E45A/e1, theorem 3

History

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

Axiom 6 BT5ENW4BSB

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

Mentions

wikipedia: Wikipedia Huzita–Hatori axioms#RCC8, Axiom 6 (statement)

History

2026-11-02: add by m2/dev

Refinements of the BRS-inequality BT5GA4W2KW

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

Mentions

wikipedia: Wikipedia BRS-inequality#DV7W, Refinements of the BRS-inequality (statement)

History

2026-11-02: add by m2/dev

BT5GM7GT0B BT5GM7GT0B

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

Mentions

arxiv: arXiv 1209.5343#B9X1 (definition). In 4SPYEGKZ8J/e1, definition 2.2

History

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

BT5J0N73FG BT5J0N73FG

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

Mentions

arxiv: arXiv 2609.36725#W2SR (statement). In AR26SZ8JGN/e1, lemma 5.6

History

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

BT5QB51PX1 BT5QB51PX1

URI	`m2://inv/BT5QB51PX1`
Kind	statement
Layer	research
MSC	05-XX, 49-XX, 51-XX, 52-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.34845#7V3L (statement). In SBZNH932ZV/e1, lemma 4.3

History

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

Properties BT5X8F52Y1

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

Mentions

wikipedia: Wikipedia Orthogonal polynomials#UNKK, Properties (statement)

History

2026-11-02: add by m2/dev

A gap above zero BT5XB4AG27

URI	`m2://inv/BT5XB4AG27`
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#6AGJ, A gap above zero (statement). In 9YAE8FNQST/e1, theorem 23.23

History

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

Zariski–Riemann space BT691B4PM7

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

Mentions

wikipedia: Wikipedia Zariski–Riemann space, Zariski–Riemann space (definition). Also Wikidata Q8066802

History

2026-11-02: add by m2/dev

$W^{k,p}$ estimate of $Q$ BT6HY65FR6

URI	`m2://inv/BT6HY65FR6`
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.15460#4B1U, $W^{k,p}$ estimate of $Q$ (statement). In T2Z3D2VQ9B/e1, proposition 2.4

History

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

Good orbit $\Longleftrightarrow$ combinatorially good data BT6KG9BQKK

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

Mentions

arxiv: arXiv 2610.05364#PRKT, Good orbit $\Longleftrightarrow$ combinatorially good data (statement). In TPYRE2ARMD/e1, corollary 2.7

History

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

BT731T0SZB BT731T0SZB

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

Mentions

arxiv: arXiv 2011.08789#A3AG (definition). In 43AGRMP7T3/e1, definition 1.5

History

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

Hadamard regularization BT76DNSY8C

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

Mentions

wikipedia: Wikipedia List of things named after Jacques Hadamard#CC74, Hadamard regularization (definition)

History

2026-11-02: add by m2/dev

Ernst Schröder BT7CGJ9F3W

URI	`m2://inv/BT7CGJ9F3W`
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 Q77297, Ernst Schröder (unknown). Also ProofWiki Mathematician:Friedrich_Wilhelm_Karl_Ernst_Schröder
wikipedia: Wikipedia Ernst Schröder (mathematician), Ernst Schröder (topic). Also Wikidata Q77297

History

2026-10-26: add by m2/dev

Isaac ibn al-Ahdab BT7G02ZA8Q

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#AM4J, Isaac ibn al-Ahdab (topic)

History

2026-11-02: add by m2/dev

Balanced Dyson equations BT7GP43AR0

URI	`m2://inv/BT7GP43AR0`
Kind	statement
Layer	research
MSC	46-XX, 47-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.15180#C8C9, Balanced Dyson equations (statement). In AMRWRJDNKJ/e1, corollary 6.5

History

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

BT7KH4G6C9 BT7KH4G6C9

URI	`m2://inv/BT7KH4G6C9`
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.26401#KLNB (statement)

History

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

Definition BT7RANSS93

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

Mentions

wikipedia: Wikipedia Projection matrix#1ZTT, Definition (definition)

History

2026-11-02: add by m2/dev

Phantom Paradox BT7RK4HWMQ

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

Mentions

arxiv: arXiv 2610.12732#9K01, Phantom Paradox (statement). In 5E91Y3VY9E/e1, proposition 1

History

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

BT7T9RWWRR BT7T9RWWRR

URI	`m2://inv/BT7T9RWWRR`
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.00103#0H4Z (statement). In S7RDXJWP1A/e1, proposition 4.6

History

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

Punjab, India BT7WPYQZAS

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

Mentions

wikipedia: Wikipedia List of places with numeric names#44NX, Punjab, India (unknown)

History

2026-11-02: add by m2/dev

List of formal language and literal string topics BT7ZYPPXWD

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#6K8G, List of formal language and literal string topics (unknown)

History

2026-11-02: add by m2/dev

BT80R8D5VH BT80R8D5VH

URI	`m2://inv/BT80R8D5VH`
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.15504#19OZ (statement). In AZ8SEW6HAV/e1, lemma 1

History

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

Polytopological space BT84F06W2J

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

Mentions

wikipedia: Wikipedia Polytopological space, Polytopological space (definition). Also Wikidata Q85793898

History

2026-11-02: add by m2/dev

Allan variance BT88EWGM0B

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

Mentions

wikipedia: Wikipedia List of statistics articles#2L05, Allan variance (definition)

History

2026-11-02: add by m2/dev

Properties BT8A8TSRAD

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

Mentions

wikipedia: Wikipedia Order dual (functional analysis)#ZLKQ, Properties (statement)

History

2026-11-02: add by m2/dev

Properties BT8C1T6NME

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

Mentions

wikipedia: Wikipedia Finite difference method#WOCB, Properties (statement)

History

2026-11-02: add by m2/dev

Georgios Pappas BT8DC3XHDJ

URI	`m2://inv/BT8DC3XHDJ`
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#NJJN, Georgios Pappas (unknown)

History

2026-11-02: add by m2/dev

Police Detective BT8HFCS0CT

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

Mentions

wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#AUMP, Police Detective (unknown)

History

2026-11-02: add by m2/dev

Belief functions BT8J6JQCGM

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

Mentions

wikipedia: Wikipedia Dempster–Shafer theory#S7SS, Belief functions (unknown)

History

2026-11-02: add by m2/dev

BT8RE6H7S9 BT8RE6H7S9

URI	`m2://inv/BT8RE6H7S9`
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.23339#NNUI (statement)

History

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

Revelation principle BT8WG61GJ6

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

Mentions

wikipedia: Wikipedia Mechanism design#0C8E, Revelation principle (statement)

History

2026-11-02: add by m2/dev

Human effective population size BT8ZJBTMK1

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

Mentions

wikipedia: Wikipedia Effective population size#DF4I, Human effective population size (unknown)

History

2026-11-02: add by m2/dev

BT90VD7AF4 BT90VD7AF4

URI	`m2://inv/BT90VD7AF4`
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#ZME5 (statement). In X47RYAZF8P/e1, lemma 10.6

History

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

Propagation under composition BT92JPN5JC

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

Mentions

arxiv: arXiv 2609.25987#2QCY, Propagation under composition (statement)

History

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

Rate BT996SMR8Z

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

Mentions

arxiv: arXiv 2609.40252#DPG5, Rate (statement). In 7MVPNFPRKB/e1, proposition 12.4

History

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

Uniform balance BT99T80XMJ

URI	`m2://inv/BT99T80XMJ`
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.10873#E4LI, Uniform balance (statement). In AYG8HYGW6V/e1, theorem 2.1

History

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

Margaret Greig BT9F8TG73Q

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

Mentions

wikipedia: Wikipedia Margaret Greig, Margaret Greig (topic). Also Wikidata Q18352629

History

2026-11-02: add by m2/dev

BT9MPQ5R12 BT9MPQ5R12

URI	`m2://inv/BT9MPQ5R12`
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.02848#QMF2 (statement). In G6WQDW52TJ/e1, lemma 3.8

History

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

BT9MWEQ9K4 BT9MWEQ9K4

URI	`m2://inv/BT9MWEQ9K4`
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 2111.00832#Q19T (statement). In KM0XEAXFMF/e1, lemma 4.3

History

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

Mixed-dimensional null locus and bounded potentials BT9MWN7ST0

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

Mentions

arxiv: arXiv 2609.26340#G2ON, Mixed-dimensional null locus and bounded potentials (example)

History

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

BT9NS3W32K BT9NS3W32K

URI	`m2://inv/BT9NS3W32K`
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.09648#4ASJ (statement). In WB9PTPN54H/e1, lemma 2.1

History

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

Ideal on a set BT9TQ2SZ6N

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

Mentions

wikipedia: Wikipedia Ideal on a set, Ideal on a set (definition). Also Wikidata Q5987925

History

2026-11-02: add by m2/dev

Matching residual BT9ZG7DK9R

URI	`m2://inv/BT9ZG7DK9R`
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.33360#YTOL, Matching residual (definition). In GH6FSDK4YB/e1, definition 4.5

History

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

Logarithm BTA1ACFPRP

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#GKWI, Logarithm (definition)

History

2026-11-02: add by m2/dev

Philosophical logic BTADK5SFKT

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

Mentions

wikipedia: Wikipedia Philosophical logic, Philosophical logic (definition). Also Wikidata Q491412

History

2026-11-02: add by m2/dev

Cluster algebra and cluster structure BTAER67PYP

URI	`m2://inv/BTAER67PYP`
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#6H29, Cluster algebra and cluster structure (definition). In 6G1KBA0SXV/e1, definition 2.2

History

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

BTAKFZSEWJ BTAKFZSEWJ

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

Mentions

arxiv: arXiv 2610.09133#DRYA (statement). In E7BPGPP9Z5/e1, corollary 3.3

History

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

Gerard 't Hooft BTAPF6XP3B

URI	`m2://inv/BTAPF6XP3B`
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 Q184592, Gerard 't Hooft (unknown). Also nLab Gerard ’t Hooft

History

2026-10-26: add by m2/dev

Generalizations BTAS6H4AYQ

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

Mentions

wikipedia: Wikipedia Birkhoff's representation theorem#VEP5, Generalizations (statement)

History

2026-11-02: add by m2/dev

BTAZ2HYAW8 BTAZ2HYAW8

URI	`m2://inv/BTAZ2HYAW8`
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.36181#FKBW (statement). In 1KSE33PVS6/e1, corollary 51

History

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

Statement BTAZMQNNE1

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

Mentions

wikipedia: Wikipedia Landen's transformation#HKOL, Statement (statement)

History

2026-11-02: add by m2/dev

Evan Tom Davies BTAZQAMFFE

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

Mentions

wikipedia: Wikipedia Evan Tom Davies, Evan Tom Davies (topic). Also Wikidata Q20476511

History

2026-11-02: add by m2/dev

BTB6G4YPHS BTB6G4YPHS

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

Mentions

arxiv: arXiv 2610.15385#0HRE (statement). In HBZXCMYPME/e1, corollary 4.7

History

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

Frank P. Ramsey BTB7W6F8RX

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

Mentions

wikipedia: Wikipedia List of mathematical probabilists#QNU2, Frank P. Ramsey (topic)

History

2026-11-02: add by m2/dev

BTBC440EP7 BTBC440EP7

URI	`m2://inv/BTBC440EP7`
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 2312.14445#H5YE (statement). In V56MKF0KW2/e1, lemma B.4

History

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

t-structure BTBF9YW8C2

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

Mentions

wikipedia: Wikipedia Glossary of category theory#V5YU, t-structure (definition)

History

2026-11-02: add by m2/dev

Examples BTBNANGC2B

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

Mentions

wikipedia: Wikipedia Fisher–Tippett–Gnedenko theorem#TBCM, Examples (example)

History

2026-11-02: add by m2/dev

Hilbert's basis theorem BTBNG3SEHX

URI	`m2://inv/BTBNG3SEHX`
Kind	statement
Layer	textbook
MSC	13-XX, 16-XX
Sources	6
Outcome	node (a node has the same Wikidata item as the row)
Node	Hilbert's basis theorem 0YKA9J3XEE

Mentions

arxiv: arXiv 2610.12489#2QOK, Hilbert's Basis Theorem (statement). In FDWFVD08SE/e1, theorem 2.15
mathlib_1000: mathlib_1000 Q656645, Hilbert's basis theorem (statement). Also Mathlib Polynomial.isNoetherianRing, Wikidata Q656645
mathlib_overview: mathlib_overview General algebra > Polynomials and power series > Hilbert basis theorem, Hilbert basis theorem (unknown). Also Mathlib Polynomial.isNoetherianRing
thousand_plus: thousand_plus Q656645, Hilbert's basis theorem (statement). Also Mathlib Polynomial.isNoetherianRing, Wikidata Q656645, Wikipedia Hilbert's basis theorem
wikidata: Wikidata Q656645, Hilbert's basis theorem (statement). Also MathWorld HilbertBasisTheorem, nLab Hilbert's basis theorem
wikipedia: Wikipedia Hilbert's basis theorem, Hilbert's basis theorem (statement). Also Wikidata Q656645

History

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

BTBNKCAR7R BTBNKCAR7R

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

Mentions

arxiv: arXiv 2609.31387#Y6E4 (statement). In GBD60VB1JX/e1, lemma 14

History

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

polynomial derivative BTBP5XPK1V

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

Mentions

mathlib_undergrad: mathlib_undergrad Ring Theory > Polynomial rings > polynomial derivative, polynomial derivative (unknown). Also Mathlib Polynomial.derivative

History

2026-10-26: add by m2/dev

Theorem for one complex variable BTBPM6QK1H

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

Mentions

wikipedia: Wikipedia Cauchy–Hadamard theorem#FP89, Theorem for one complex variable (statement)

History

2026-11-02: add by m2/dev

Broadcast encryption BTBR528Y24

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

Mentions

wikipedia: Wikipedia Broadcast encryption, Broadcast encryption (definition). Also Wikidata Q4972106

History

2026-11-02: add by m2/dev

BTBWDTM8XY BTBWDTM8XY

URI	`m2://inv/BTBWDTM8XY`
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#PJR2 (statement). In DG0EZ1BPV5/e1, lemma 6.2

History

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

BTBWJANQ45 BTBWJANQ45

URI	`m2://inv/BTBWJANQ45`
Kind	definition
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.10365#U7FJ (definition). In PRVQPSBVHK/e1, definition 8

History

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

SLD BTBWX71K07

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

Mentions

wikipedia: Wikipedia Transfer-matrix method (optics)#7514, SLD (definition)

History

2026-11-02: add by m2/dev

Rojas--Le\'on product rule, specialized form BTBXTWP50T

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

Mentions

arxiv: arXiv 2610.04099#PG6J, Rojas--Le\'on product rule, specialized form (statement). In QPJ6FWG5HD/e1, theorem 2.93

History

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

The twenty-four-contact case near the root system BTC3NVKZXE

URI	`m2://inv/BTC3NVKZXE`
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.25120#614S, The twenty-four-contact case near the root system (statement)

History

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

BTC6SV20BA BTC6SV20BA

URI	`m2://inv/BTC6SV20BA`
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#CABC (statement). In 4TJGTZWJVK/e1, lemma 5.4

History

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

category, skeletal BTCFE4Y4WF

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

Mentions

hott_book: hott_book index/2.1/category-skeletal, category, skeletal (concept). In N54F33XE07, index, section 2.1

History

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

Properties BTCGW011TQ

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

Mentions

wikipedia: Wikipedia Hopfian object#QYSW, Properties (statement)

History

2026-11-02: add by m2/dev

BTCW14BQPW BTCW14BQPW

URI	`m2://inv/BTCW14BQPW`
Kind	statement
Layer	research
MSC	14-XX, 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 2504.07573#3QDL (statement). In 78X5SKJX8J/e1, theorem 1.8

History

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

Height function BTD0D4SMWR

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

Mentions

wikipedia: Wikipedia Height function, Height function (definition). Also Wikidata Q65088643

History

2026-11-02: add by m2/dev

Monotonicity of the Rates BTD5JXD0BZ

URI	`m2://inv/BTD5JXD0BZ`
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.13222#WZOV, Monotonicity of the Rates (statement). In Z6WA2R0J50/e1, lemma 6.10

History

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

BTDA6BX12N BTDA6BX12N

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

Mentions

napkin: napkin tex/alg-geom/bezout.tex#definition-3 (definition). In RZP28ERRZV, definition, section 20.2

History

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

BTDFG3C9RH BTDFG3C9RH

URI	`m2://inv/BTDFG3C9RH`
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.29943#IBNU (statement)

History

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

Rudolf Kruse BTDGMD8N27

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

Mentions

wikipedia: Wikipedia Rudolf Kruse, Rudolf Kruse (topic). Also Wikidata Q92907

History

2026-11-02: add by m2/dev

BTDT3FSBVJ BTDT3FSBVJ

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

Mentions

hott_book: hott_book equivalences.tex#ex:two-sided-adjoint-equivalences (exercise). In N54F33XE07, ex, section 3.9

History

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

Outline of vector identities BTDXRG6MR7

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#YHTK, Outline of vector identities (topic)

History

2026-11-02: add by m2/dev

BTDZZWQ524 BTDZZWQ524

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-97 (exercise). In E9HS8K3A52, exercise, section 5.8.5

History

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

BTE1HTG762 BTE1HTG762

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

Mentions

austin_ula: austin_ula src/section4-3.xml#example-5 (example). In 649HGZKE96, example, section 4.3.3

History

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

BTE56J6JYP BTE56J6JYP

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#exercise-59 (exercise). In E59CDZA4DP, exercise, section 1.7.3

History

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

ROOT BTE95M1EW4

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#I8HW, ROOT (unknown)

History

2026-11-02: add by m2/dev

BTEERXPRDS BTEERXPRDS

URI	`m2://inv/BTEERXPRDS`
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.07770#N9LM (statement). In 6GHT4P7E8X/e1, theorem 1.1

History

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

Nullity BTEF1WKGYK

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

Mentions

wikipedia: Wikipedia Nullity (graph theory), Nullity (definition). Also Wikidata Q30716909

History

2026-11-02: add by m2/dev

BTEJZ6YA1M BTEJZ6YA1M

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

Mentions

hott_book: hott_book setmath.tex#prop:kernels_are_effective (statement). In N54F33XE07, thm, section C.1.3

History

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

The Collapse of Chaos BTEMMGATV2

URI	`m2://inv/BTEMMGATV2`
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 Q7726652, The Collapse of Chaos (unknown). Also ProofWiki Book:Ian_Stewart/The_Collapse_of_Chaos

History

2026-10-26: add by m2/dev

Quasi-Monte Carlo method BTESM7XZBV

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

Mentions

wikipedia: Wikipedia Quasi-Monte Carlo method, Quasi-Monte Carlo method (definition). Also Wikidata Q7269435

History

2026-11-02: add by m2/dev

Pedro Alberto Morettin BTF5E2QVY8

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

Mentions

wikipedia: Wikipedia Pedro Alberto Morettin, Pedro Alberto Morettin (topic). Also Wikidata Q102189052

History

2026-11-02: add by m2/dev

Definition BTF5Z8P14G

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

Mentions

wikipedia: Wikipedia Tripling-oriented Doche–Icart–Kohel curve#A3CS, Definition (definition)

History

2026-11-02: add by m2/dev

Uses BTFCP9W6M8

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

Mentions

wikipedia: Wikipedia Bounding volume#IC5J, Uses (example)

History

2026-11-02: add by m2/dev

Connes embedding problem BTFEVF7X2F

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

Mentions

wikipedia: Wikipedia Connes embedding problem, Connes embedding problem (conjecture). Also Wikidata Q5161788

History

2026-11-02: add by m2/dev

List of things named after Euclid BTFGK2S87G

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

Mentions

wikipedia: Wikipedia List of things named after Euclid, List of things named after Euclid (topic). Also Wikidata Q6643283

History

2026-11-02: add by m2/dev

Formulation BTFKACR59Q

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

Mentions

wikipedia: Wikipedia James–Stein estimator#UHIE, Formulation (definition)

History

2026-11-02: add by m2/dev

Euler tour technique BTFNKBGA8G

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

Mentions

wikipedia: Wikipedia Euler tour technique, Euler tour technique (definition). Also Wikidata Q5408998

History

2026-11-02: add by m2/dev

Monitoring Station Designator BTFQKD59DT

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

Mentions

wikipedia: Wikipedia Monitoring Station Designator, Monitoring Station Designator (definition). Also Wikidata Q17011394

History

2026-11-02: add by m2/dev

Applications BTFYZK0REE

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

Mentions

wikipedia: Wikipedia Partial inverse of a matrix#NR3C, Applications (example)

History

2026-11-02: add by m2/dev

BTG0VDMKXM BTG0VDMKXM

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

Mentions

arxiv: arXiv 2207.07461#HRD3 (statement). In GAG532VMPF/e1, lemma 3.4.2

History

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

Bernoulli process BTG6SS324D

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

Mentions

wikipedia: Wikipedia Bernoulli process, Bernoulli process (definition). Also Wikidata Q518831

History

2026-11-02: add by m2/dev

BTGH4TZZ9C BTGH4TZZ9C

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

Mentions

arxiv: arXiv 2609.28742#EQAI (example)

History

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

Frank W. Notestein BTGP695TF2

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#9KXI, Frank W. Notestein (unknown)

History

2026-11-02: add by m2/dev

Exact cubic DR condition BTGS4A7SQE

URI	`m2://inv/BTGS4A7SQE`
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.04027#HCUS, Exact cubic DR condition (statement). In DQB4YR2DFH/e1, lemma 4.1

History

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

Definition BTGSJ9V9XD

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

Mentions

wikipedia: Wikipedia Berezin integral#VVN1, Definition (definition)

History

2026-11-02: add by m2/dev

Explicit transformed operator BTGTA4C6W6

URI	`m2://inv/BTGTA4C6W6`
Kind	statement
Layer	research
MSC	14-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.10828#V369, Explicit transformed operator (statement). In 8PTDFHV8SQ/e1, lemma D.3

History

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

BTGYE2A62N BTGYE2A62N

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

Mentions

arxiv: arXiv 2609.27641#LFBZ (statement)

History

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

Shah, B. V. BTH60WPAA0

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

Mentions

wikipedia: Wikipedia List of statisticians#10M5, Shah, B. V. (topic)

History

2026-11-02: add by m2/dev

BTH9JY018G BTH9JY018G

URI	`m2://inv/BTH9JY018G`
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.22090#EIVF (statement). In NKJWGF050C/e1, lemma 3.2

History

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

BTHDRE262K BTHDRE262K

URI	`m2://inv/BTHDRE262K`
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.19694#MRFP (statement). In EP0M4RSZ9P/e1, theorem 2.2

History

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

BTHEB52QED BTHEB52QED

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#mv:prop:jacobianmatrix (statement). In E59CDZA4DP, prop, section 11.3.2

History

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

Variations BTHJAHEV0Z

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

Mentions

wikipedia: Wikipedia Luus–Jaakola#34HL, Variations (statement)

History

2026-11-02: add by m2/dev

Unitary scattering transform BTHQN57B7Z

URI	`m2://inv/BTHQN57B7Z`
Kind	statement
Layer	research
MSC	11-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.25925#NG46, Unitary scattering transform (statement)

History

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

Sonia Delaunay BTJH24BWGZ

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#JVOP, Sonia Delaunay (unknown)

History

2026-11-02: add by m2/dev

Daniel Lazard BTJK3JNBPX

URI	`m2://inv/BTJK3JNBPX`
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 Q5217886, Daniel Lazard (unknown). Also nLab Daniel Lazard
wikipedia: Wikipedia Daniel Lazard, Daniel Lazard (topic). Also Wikidata Q5217886

History

2026-10-26: add by m2/dev

Time-bounded Kolmogorov complexity BTJP1GJV9H

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

Mentions

wikipedia: Wikipedia Kolmogorov complexity#XWDR, Time-bounded Kolmogorov complexity (unknown)

History

2026-11-02: add by m2/dev

Scaled inverse chi-squared distribution BTJQ8G6DFX

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

Mentions

wikipedia: Wikipedia Scaled inverse chi-squared distribution, Scaled inverse chi-squared distribution (definition). Also Wikidata Q7429744

History

2026-11-02: add by m2/dev

Claim BTJTDX3EKZ

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

Mentions

wikipedia: Wikipedia Price of anarchy#ER07, Claim (statement)

History

2026-11-02: add by m2/dev

Properties BTJZQSTG7H

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

Mentions

wikipedia: Wikipedia Conical spiral#KGWA, Properties (statement)

History

2026-11-02: add by m2/dev

BTK35386Y6 BTK35386Y6

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

Mentions

arxiv: arXiv 2609.31883#K81I (definition). In XBHQRTBH62/e1, definition 1.1

History

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

BTK5JGHK89 BTK5JGHK89

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

Mentions

arxiv: arXiv 2609.34289#9L2T (statement). In 9RBATD2Z1F/e1, corollary 3.21

History

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

Multinomial logistic regression BTK6CCPE5T

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

Mentions

wikipedia: Wikipedia List of statistics articles#M0C8, Multinomial logistic regression (definition)

History

2026-11-02: add by m2/dev

Land mine BTK7E6SZQZ

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#HGLE, Land mine (unknown)

History

2026-11-02: add by m2/dev

Exact reverse randomness and failure at the endpoint BTK9W27TC5

URI	`m2://inv/BTK9W27TC5`
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#2Q3S, Exact reverse randomness and failure at the endpoint (statement). In 9YAE8FNQST/e1, corollary 11.12

History

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

Chris Rogers BTKED0RK5K

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

Mentions

wikipedia: Wikipedia Chris Rogers (mathematician), Chris Rogers (topic). Also Wikidata Q5107922

History

2026-11-02: add by m2/dev

BTKFQQR3D6 BTKFQQR3D6

URI	`m2://inv/BTKFQQR3D6`
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.25717#YAL8 (statement)

History

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

Square tiling BTKHDWAE3T

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

Mentions

wikipedia: Wikipedia List of Euclidean uniform tilings#6BTS, Square tiling (object)

History

2026-11-02: add by m2/dev

BTKQ90W15W BTKQ90W15W

URI	`m2://inv/BTKQ90W15W`
Kind	statement
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.25080#XGKP (statement)

History

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

Planetary migration BTKR60594A

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

Mentions

wikipedia: Wikipedia Planetary migration, Planetary migration (definition). Also Wikidata Q1203642

History

2026-11-02: add by m2/dev

Circular reasoning BTKRV4YRKT

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

Mentions

wikipedia: Wikipedia Circular reasoning, Circular reasoning (definition). Also Wikidata Q6011160

History

2026-11-02: add by m2/dev

integers, positive BTKSXHSSPB

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

Mentions

applied_combinatorics: applied_combinatorics index/B.12.1/integers-positive, integers, positive (concept). In QKM9DD2H56, index, section B.12.1

History

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

Luxemburg norm BTKVG07A1K

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

Mentions

arxiv: arXiv 2609.26645#51XE, Luxemburg norm (definition)

History

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

BTM5H2JQ5Q BTM5H2JQ5Q

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

Mentions

arxiv: arXiv 2609.26701#VPSC (conjecture)

History

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

Static semantics BTM7WJ9F1J

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

Mentions

wikipedia: Wikipedia Programming language#60MV, Static semantics (unknown)

History

2026-11-02: add by m2/dev

József Solymosi BTMJBS2H65

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#L4IE, József Solymosi (unknown)

History

2026-11-02: add by m2/dev

Applications BTMPRR6SE7

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

Mentions

wikipedia: Wikipedia Affine plane#81D5, Applications (example)

History

2026-11-02: add by m2/dev

Special cases BTMYA4YFG4

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

Mentions

wikipedia: Wikipedia Weighted automaton#OKNF, Special cases (statement)

History

2026-11-02: add by m2/dev

BTN1XYPC2E BTN1XYPC2E

URI	`m2://inv/BTN1XYPC2E`
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 2610.14502#HGWE (example). In 6BVBMTYXNZ/e1, example 2.8

History

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

Topological algebra BTN24VF23T

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

Mentions

wikipedia: Wikipedia List of general topology topics#RMKX, Topological algebra (definition)

History

2026-11-02: add by m2/dev

BTNBSEEV2Y BTNBSEEV2Y

URI	`m2://inv/BTNBSEEV2Y`
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 2006.12475#LRHB (statement). In 8YWBGQQGA3/e1, lemma 2

History

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

Foreman-Magidor BTNH4122XA

URI	`m2://inv/BTNH4122XA`
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 2208.05288#J750, Foreman-Magidor (statement). In RTW3GDYPND/e1, theorem 3.2

History

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

BTNJH644ZZ BTNJH644ZZ

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

Mentions

open_logic: open_logic content/set-theory/ordinals/iso.tex#proof-6 (proof). In PKGMM3P5QY, proof, section 72.5

History

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

BTNPTT2TF4 BTNPTT2TF4

URI	`m2://inv/BTNPTT2TF4`
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 1805.04646#6XUE (statement). In WDDY7P9T66/e1, proposition 5.1

History

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

Properties BTNSDFD2DD

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

Mentions

wikipedia: Wikipedia Opposite simplicial set#B6WT, Properties (statement)

History

2026-11-02: add by m2/dev

Subchannel AEP BTNV4GFAEE

URI	`m2://inv/BTNV4GFAEE`
Kind	statement
Layer	research
MSC	81-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.28635#E9WZ, Subchannel AEP (statement)

History

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

BTP0Z3K11Q BTP0Z3K11Q

URI	`m2://inv/BTP0Z3K11Q`
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#GISX (statement). In WRE0P7V6Z3/e1, proposition 12.6

History

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

Bézout's identity BTPBN59PX5

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

Mentions

wikipedia: Wikipedia Euclidean algorithm#PUHG, Bézout's identity (statement)

History

2026-11-02: add by m2/dev

Examples BTPBNK45RW

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

Mentions

wikipedia: Wikipedia Cassini oval#9P96, Examples (example)

History

2026-11-02: add by m2/dev

subsequence BTPD8197H9

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#1RDI, subsequence (definition)

History

2026-11-02: add by m2/dev

Hilary Putnam BTPH07XSS4

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#8OAR, Hilary Putnam (topic)

History

2026-11-02: add by m2/dev

BTPJP3R3ST BTPJP3R3ST

URI	`m2://inv/BTPJP3R3ST`
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.13723#CW2M (statement). In HPBCRT0Z0V/e1, theorem 9

History

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

Generalization BTPXM804R0

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

Mentions

wikipedia: Wikipedia Geometric quantization#IYXS, Generalization (statement)

History

2026-11-02: add by m2/dev

BTPYAC5VE4 BTPYAC5VE4

URI	`m2://inv/BTPYAC5VE4`
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.35095#JJAP (statement). In MM3XTWS35F/e1, corollary 1

History

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

BTQ6F4CXY7 BTQ6F4CXY7

URI	`m2://inv/BTQ6F4CXY7`
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.29847#WZK1 (statement)

History

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

Chevalley group BTQ8F1DZNP

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

Mentions

wikidata: Wikidata Q124457730, Chevalley group (unknown). Also EoM Chevalley_group, MathWorld ChevalleyGroups, nLab Chevalley group

History

2026-10-26: add by m2/dev

BTQ8T3VXWM BTQ8T3VXWM

URI	`m2://inv/BTQ8T3VXWM`
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.26496#UE7P (statement)

History

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

closed submodule BTQ90WJ6VT

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

Mentions

wikipedia: Wikipedia Glossary of module theory#K20N, closed submodule (definition)

History

2026-11-02: add by m2/dev

permutation BTQAWDS0RD

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

Mentions

levin_dmoi: levin_dmoi index/2.3/permutation, permutation (concept). In Y91XFCEVHQ, index, section 2.3

History

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

Long-time Strichartz seminorm BTQC15XSNF

URI	`m2://inv/BTQC15XSNF`
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.28454#CHZC, Long-time Strichartz seminorm (definition)

History

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

cone BTQFHEN8YH

URI	`m2://inv/BTQFHEN8YH`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Cone 7TPBQPPN97

Mentions

wikidata: Wikidata Q1850712, cone (unknown). Also nLab cone
wikipedia: Wikipedia Cone (category theory), Cone (definition). Also Wikidata Q1850712

History

2026-10-26: add by m2/dev

BTQGYTQW1D BTQGYTQW1D

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

Mentions

arxiv: arXiv 2609.20588#0VHN (statement)

History

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

BTQT4WH1AB BTQT4WH1AB

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

Mentions

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

History

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

A more modern version of Pasch's axiom BTQVQXTQFG

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

Mentions

wikipedia: Wikipedia Pasch's axiom#4T47, A more modern version of Pasch's axiom (statement)

History

2026-11-02: add by m2/dev

route inspection problem BTQWDBVCC5

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

Mentions

wikidata: Wikidata Q901096, route inspection problem (definition). Also MathWorld ChinesePostmanProblem, ProofWiki Definition:Chinese_Postman_Problem
wikipedia: Wikipedia Chinese postman problem, Chinese postman problem (problem). Also Wikidata Q901096

History

2026-10-26: add by m2/dev

BTQYN8QJJA BTQYN8QJJA

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

Mentions

arxiv: arXiv 2610.21960#BLHS (definition). In QX77AN49J0/e1, definition 5.5

History

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

BTR23DWMMM BTR23DWMMM

URI	`m2://inv/BTR23DWMMM`
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 2503.01567#GV0X (statement). In GB0V23Q6C5/e1, theorem 1.3

History

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

The inequality constrained case BTR70TCEZS

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

Mentions

wikipedia: Wikipedia Sequential quadratic programming#O5ZB, The inequality constrained case (statement)

History

2026-11-02: add by m2/dev

Schröder–Bernstein theorem BTRE6NTWY2

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

Mentions

wikipedia: Wikipedia List of incomplete proofs#XZI8, Schröder–Bernstein theorem (statement)

History

2026-11-02: add by m2/dev

BTREP0SBTH BTREP0SBTH

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

Mentions

arxiv: arXiv 2610.03661#0CQJ (definition). In ESDKTYDHC8/e1, definition 25

History

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

Border Gateway Protocol BTRNKNT0KJ

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

Mentions

wikipedia: Wikipedia List of PSPACE-complete problems#C5PW, Border Gateway Protocol (unknown)

History

2026-11-02: add by m2/dev

Hiroshi Tanaka BTRNVKW9C6

URI	`m2://inv/BTRNVKW9C6`
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#BTKB, Hiroshi Tanaka (unknown)

History

2026-11-02: add by m2/dev

Multiplicative two-factor kernel BTS1C6VE5F

URI	`m2://inv/BTS1C6VE5F`
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.22465#6YG7, Multiplicative two-factor kernel (statement)

History

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

Continuous extension theorem BTS1WPXWA2

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

Mentions

wikipedia: Wikipedia Hahn–Banach theorem#FGSM, Continuous extension theorem (statement)

History

2026-11-02: add by m2/dev

BTS3V3WHXV BTS3V3WHXV

URI	`m2://inv/BTS3V3WHXV`
Kind	definition
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 2607.27272#WOA4 (definition). In BDEA3TDATY/e1, definition 1.1

History

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

Scale-free detection of orthogonal unmodelled energy BTS7CHY86W

URI	`m2://inv/BTS7CHY86W`
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.37762#2QJ1, Scale-free detection of orthogonal unmodelled energy (statement). In 6YPMRQHMR5/e1, proposition 3

History

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

Sum-product conjecture BTS82EXPBW

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

Mentions

wikipedia: Wikipedia Erdős–Szemerédi theorem#ZXZK, Sum-product conjecture (statement)

History

2026-11-02: add by m2/dev

BTS8N8BBRG BTS8N8BBRG

URI	`m2://inv/BTS8N8BBRG`
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#UMUR (statement). In 9YAE8FNQST/e1, theorem 27.11

History

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

Definition BTSB7ZPTJS

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

Mentions

wikipedia: Wikipedia Łukasiewicz–Moisil algebra#Q7X5, Definition (definition)

History

2026-11-02: add by m2/dev

BTSMG7W9D5 BTSMG7W9D5

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

Mentions

arxiv: arXiv 2610.02983#2165 (statement). In HMNKENER22/e1, proposition A.1

History

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

BTSMWB6FJ5 BTSMWB6FJ5

URI	`m2://inv/BTSMWB6FJ5`
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.30203#7JZF (statement)

History

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

BTSQRQC4W9 BTSQRQC4W9

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

Mentions

arxiv: arXiv 2609.23424#BB21 (definition)

History

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

Special cases BTSTMM7HYA

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

Mentions

wikipedia: Wikipedia Triangular distribution#ISWE, Special cases (statement)

History

2026-11-02: add by m2/dev

BTSVB41YNX BTSVB41YNX

URI	`m2://inv/BTSVB41YNX`
Kind	example
Layer	research
MSC	16-XX, 20-XX, 22-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 2607.00146#UEQO (example). In 6KR7Z5ETRY/e1, example 3.3

History

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

BTSXGM9SJV BTSXGM9SJV

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

Mentions

napkin: napkin tex/riemann-surface/morphism.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 86.2

History

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

graph, comparability BTT6S5HK5X

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

Mentions

applied_combinatorics: applied_combinatorics index/6.2/graph-comparability, graph, comparability (concept). In QKM9DD2H56, index, section 6.2

History

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

Example BTTE6YP0VZ

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

Mentions

wikipedia: Wikipedia Trachtenberg system#G9Q7, Example (example)

History

2026-11-02: add by m2/dev

BTTT8QWBDW BTTT8QWBDW

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

Mentions

arxiv: arXiv 2610.19469#85L1 (statement). In QK9FT9AKHN/e1, proposition 4.1

History

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

Bernard Dwork BTV581PK9H

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#GVXV, Bernard Dwork (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9O33, Bernard Dwork (topic)

History

2026-11-02: add by m2/dev

BTV5MT7WG6 BTV5MT7WG6

URI	`m2://inv/BTV5MT7WG6`
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.18324#H0GY (statement). In C0EG2EY0M4/e1, proposition 4.3

History

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

BTV6YAF9Z6 BTV6YAF9Z6

URI	`m2://inv/BTV6YAF9Z6`
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.36668#4MG7 (statement). In RD729BY377/e1, theorem 9

History

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

covector BTV6ZMS3K3

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

Mentions

wikipedia: Wikipedia Glossary of linear algebra#SNI3, covector (definition)

History

2026-11-02: add by m2/dev

Weyl integral BTVKEPP2H2

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

Mentions

wikipedia: Wikipedia List of things named after Hermann Weyl#SAMM, Weyl integral (unknown)

History

2026-11-02: add by m2/dev

Schubert cell dimension BTVNP2KCY5

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

Mentions

arxiv: arXiv 2609.20567#BCZO, Schubert cell dimension (statement)

History

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

BTVXR591VW BTVXR591VW

URI	`m2://inv/BTVXR591VW`
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 2212.11038#1F40 (statement). In M3E3ARMJXK/e1, lemma 3.7

History

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

Craig Huneke BTW3VQX9G1

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#P3E6, Craig Huneke (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4OHB, Craig Huneke (topic)

History

2026-11-02: add by m2/dev

$k$-Lucas H\"older sandwich BTWVASGCPN

URI	`m2://inv/BTWVASGCPN`
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.33573#OT6E, $k$-Lucas H\"older sandwich (statement). In ZT1Q1XDQ1W/e1, theorem 1.2

History

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

Moran process BTX1QE9SM3

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

Mentions

wikipedia: Wikipedia Moran process, Moran process (definition). Also Wikidata Q17157279

History

2026-11-02: add by m2/dev

BTX686GR8G BTX686GR8G

URI	`m2://inv/BTX686GR8G`
Kind	definition
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 2609.36884#FQ0Y (definition). In Z7E16PFFCP/e1, definition 5.5

History

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

Cartan–Hadamard conjecture BTX6XAK4PJ

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#GZDZ, Cartan–Hadamard conjecture (statement)

History

2026-11-02: add by m2/dev

googol BTX8Q3CDFR

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

Mentions

wikidata: Wikidata Q507, googol (definition). Also EoM Googol, MathWorld Googol, ProofWiki Definition:Googol
wikipedia: Wikipedia Googol, Googol (definition). Also Wikidata Q507

History

2026-10-26: add by m2/dev

Waring rank of product of binary forms BTXASNTQR6

URI	`m2://inv/BTXASNTQR6`
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.18346#HMLJ, Waring rank of product of binary forms (statement). In QVPNGHTMEX/e1, theorem 5.1

History

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

Yujiro Kawamata BTXDCMTNN7

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

Mentions

wikipedia: Wikipedia Yujiro Kawamata, Yujiro Kawamata (topic). Also Wikidata Q11477914

History

2026-11-02: add by m2/dev

Helen Abbey BTXRE1H50R

URI	`m2://inv/BTXRE1H50R`
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#N5XL, Helen Abbey (topic)

History

2026-11-02: add by m2/dev

BTXWEB5JWX BTXWEB5JWX

URI	`m2://inv/BTXWEB5JWX`
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#BBDA (statement). In 9R00V9TGVT/e1, theorem 2.1

History

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

BTXWTK2E8F BTXWTK2E8F

URI	`m2://inv/BTXWTK2E8F`
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 2609.32903#DBCE (problem). In S8NB83KQX3/e1, problem 3

History

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

Lipschitz Domain Extension Theorem BTY3FXJM1T

URI	`m2://inv/BTY3FXJM1T`
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.15111#J0NZ, Lipschitz Domain Extension Theorem (statement). In 6RE6JYE4GP/e1, theorem A.2

History

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

BTY7ARDSEH BTY7ARDSEH

URI	`m2://inv/BTY7ARDSEH`
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.08252#VO0J (statement). In M50TGNSJJR/e1, lemma 3.2

History

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

BTY8WG2RAJ BTY8WG2RAJ

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

Mentions

lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-1 (exercise). In E59CDZA4DP, exercise, section 11.9.6

History

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

Full spark BTYBKPXCMV

URI	`m2://inv/BTYBKPXCMV`
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 2609.28198#WE2R, Full spark (definition)

History

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

BTYC2JMS71 BTYC2JMS71

URI	`m2://inv/BTYC2JMS71`
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 2207.12181#UDTQ (statement). In FSD8NE3XSR/e1, proposition 7.17

History

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

James Robert Baker BTYKZWNBFH

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#8RYD, James Robert Baker (unknown)

History

2026-11-02: add by m2/dev

Estimator formula BTYMF1Y5GX

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

Mentions

wikipedia: Wikipedia Inverse probability weighting#1TH3, Estimator formula (statement)

History

2026-11-02: add by m2/dev

Envy-free item allocation BTYWP4ZCQC

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

Mentions

wikipedia: Wikipedia Envy-free item allocation, Envy-free item allocation (definition). Also Wikidata Q28135361

History

2026-11-02: add by m2/dev

BTYZNK3C20 BTYZNK3C20

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

Mentions

arxiv: arXiv 1806.05002#RQ8O (unknown). In JBAQ7DTW7B/e1, unknown

History

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

Remark BTYZVXR5G9

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

Mentions

wikipedia: Wikipedia Tensor field#RDM3, Remark (unknown)

History

2026-11-02: add by m2/dev

BTZ3RKNW3X BTZ3RKNW3X

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#proof-22 (proof). In E59CDZA4DP, proof, section 4.4.2

History

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

Penrose–Ward transform BTZF3E15Z8

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

Mentions

wikipedia: Wikipedia Penrose transform#9X8A, Penrose–Ward transform (unknown)

History

2026-11-02: add by m2/dev

Journal of the Royal Statistical Society BTZKJQ7CK1

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

Mentions

wikipedia: Wikipedia List of statistics journals#E42K, Journal of the Royal Statistical Society (definition)

History

2026-11-02: add by m2/dev

Sharp Hausdorff-Young inequality BTZSM5KYF7

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

Mentions

arxiv: arXiv 2609.34946#KK0F, Sharp Hausdorff-Young inequality (statement). In Y27BAB2BB4/e1, theorem

History

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

BTZYBWXVZC BTZYBWXVZC

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

Mentions

arxiv: arXiv 2610.13877#L6MA (statement). In NBMA6DBKJG/e1, lemma 5.2

History

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