Inventory rows 7S

Stable local level set coordinates 7S074P196X

URI	`m2://inv/7S074P196X`
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.22513#UBM2, Stable local level set coordinates (statement)

History

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

7S0ENFVBEK 7S0ENFVBEK

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

Mentions

wikidata: Wikidata Q136090830 (unknown). Also House of Graphs 49433

History

2026-10-26: add by m2/dev

Kathryn Mann 7S0GEVEG8P

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

Mentions

wikipedia: Wikipedia Kathryn Mann, Kathryn Mann (topic). Also Wikidata Q67222751

History

2026-11-02: add by m2/dev

Change of bound variable, $\aconvone$ 7S0T984DK9

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

Mentions

open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#defn-3, Change of bound variable, $\aconvone$ (definition). In PKGMM3P5QY, defn, section 38.9

History

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

7S0XFHRRMV 7S0XFHRRMV

URI	`m2://inv/7S0XFHRRMV`
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.38051#T9W4 (statement). In 81CGKD8RTP/e1, corollary 4

History

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

7S13J72BKJ 7S13J72BKJ

URI	`m2://inv/7S13J72BKJ`
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 2502.09121#W9RQ (statement). In 559PF7Q5BT/e1, lemma 5

History

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

Breuillard–Green–Tao theorem 7S1729H599

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

Mentions

wikipedia: Wikipedia Arithmetic combinatorics#70Z5, Breuillard–Green–Tao theorem (statement)

History

2026-11-02: add by m2/dev

Multiresolution analysis 7S1DXEFP9V

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

Mentions

wikipedia: Wikipedia List of wavelet-related transforms#CC2J, Multiresolution analysis (definition)

History

2026-11-02: add by m2/dev

Mathematical Kangaroo 7S1S7F0P19

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#5XUV, Mathematical Kangaroo (definition)

History

2026-11-02: add by m2/dev

Costa's minimal surface 7S1V1ZND03

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

Mentions

wikipedia: Wikipedia Costa's minimal surface, Costa's minimal surface (definition). Also Wikidata Q2528773

History

2026-11-02: add by m2/dev

Definition 7S20C2ERZ8

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

Mentions

wikipedia: Wikipedia Regular category#UPCM, Definition (definition)

History

2026-11-02: add by m2/dev

Example 7S20F2MT4A

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

Mentions

wikipedia: Wikipedia Multitrait-multimethod matrix#IZJT, Example (example)

History

2026-11-02: add by m2/dev

Al-Biruni 7S2BZRTFVR

URI	`m2://inv/7S2BZRTFVR`
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 Q11826, Al-Biruni (unknown). Also ProofWiki Mathematician:Abu_Rayhan_Muhammad_ibn_Ahmad_Al-Biruni

History

2026-10-26: add by m2/dev

7S2P7406TJ 7S2P7406TJ

URI	`m2://inv/7S2P7406TJ`
Kind	statement
Layer	research
MSC	03-XX, 16-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 2609.03601#H67Z (statement). In F7TDYCHCSE/e1, lemma 3.3

History

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

7S2W1WH6DR 7S2W1WH6DR

URI	`m2://inv/7S2W1WH6DR`
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 2610.08357#6F1E (statement). In R9GRCAWHG0/e1, lemma 3.4

History

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

Richardson, Sylvia 7S3289AZ4X

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

Mentions

wikipedia: Wikipedia List of statisticians#1FCL, Richardson, Sylvia (unknown)

History

2026-11-02: add by m2/dev

7S32GRYKMZ 7S32GRYKMZ

URI	`m2://inv/7S32GRYKMZ`
Kind	statement
Layer	research
MSC	14-XX, 20-XX, 22-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.01694#R6UQ (statement). In EBMHYN0XK9/e1, proposition 6.3

History

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

Roland Bauerschmidt 7S33GBADH0

URI	`m2://inv/7S33GBADH0`
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#DU31, Roland Bauerschmidt (unknown)

History

2026-11-02: add by m2/dev

Cantor distribution 7S3E5HPJZC

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

Mentions

wikipedia: Wikipedia Cantor distribution, Cantor distribution (definition). Also Wikidata Q1033874

History

2026-11-02: add by m2/dev

Conditionality principle 7S489FFHXY

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

Mentions

wikipedia: Wikipedia Conditionality principle, Conditionality principle (statement). Also Wikidata Q5159282

History

2026-11-02: add by m2/dev

Example 7S49XWFARR

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

Mentions

wikipedia: Wikipedia Aliasing (factorial experiments)#QMHD, Example (example)

History

2026-11-02: add by m2/dev

polynomial remainder theorem 7S4C5TEYBH

URI	`m2://inv/7S4C5TEYBH`
Kind	statement
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Remainder theorem 0TEDQH56RW

Mentions

wikidata: Wikidata Q1071948, polynomial remainder theorem (statement). Also MathWorld PolynomialRemainderTheorem
wikipedia: Wikipedia Polynomial remainder theorem, Polynomial remainder theorem (statement). Also Wikidata Q1071948

History

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

7S4D8H5FYD 7S4D8H5FYD

URI	`m2://inv/7S4D8H5FYD`
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.39347#NTXD (statement). In KBBA2FKDBH/e1, corollary 6.2

History

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

7S4KZV82YN 7S4KZV82YN

URI	`m2://inv/7S4KZV82YN`
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.16258#P357 (statement). In AZ6QMVKFHD/e1, theorem 1.1

History

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

Example 1 7S4M3BR8GJ

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

Mentions

wikipedia: Wikipedia Disjunctive normal form#QY31, Example 1 (example)

History

2026-11-02: add by m2/dev

thin category 7S4SHT225B

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

Mentions

wikidata: Wikidata Q7233031, thin category (unknown). Also nLab thin category
wikipedia: Wikipedia Thin category, Thin category (definition). Also Wikidata Q7233031

History

2026-10-26: add by m2/dev

7S511VTNYA 7S511VTNYA

URI	`m2://inv/7S511VTNYA`
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.23630#CRQ9 (statement)

History

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

Example 7S52RK6TMT

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

Mentions

wikipedia: Wikipedia Allele frequency spectrum#M8B9, Example (example)

History

2026-11-02: add by m2/dev

7S54Y4XVXS 7S54Y4XVXS

URI	`m2://inv/7S54Y4XVXS`
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#QSZN (statement)

History

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

random variable 7S5969T1EZ

URI	`m2://inv/7S5969T1EZ`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Random variable 0DKRR22AEQ

Mentions

wikidata: Wikidata Q176623, random variable (definition). Also MathWorld RandomVariable, nLab random variable, ProofWiki Definition:Random_Variable
wikidata: Wikidata Q3179949, multivariate random variable (unknown). Also MathWorld RandomVariable
wikipedia: Wikipedia Random variable, Random variable (definition). Also Wikidata Q176623
wikipedia: Wikipedia Multivariate random variable, Multivariate random variable (definition). Also Wikidata Q3179949

History

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

Joan Hu 7S5DHHG326

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

Mentions

wikipedia: Wikipedia Joan Hu, Joan Hu (topic). Also Wikidata Q58010423

History

2026-11-02: add by m2/dev

Radford 7S5HZGA3FT

URI	`m2://inv/7S5HZGA3FT`
Kind	statement
Layer	research
MSC	05-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.23106#DXBE, Radford (statement)

History

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

Formal definition 7S5R8HSFQ5

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

Mentions

wikipedia: Wikipedia Quasitransitive relation#12GM, Formal definition (definition)

History

2026-11-02: add by m2/dev

Locally finite complete lattice 7S61DABA9P

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

Mentions

wikipedia: Wikipedia Complete lattice#14PM, Locally finite complete lattice (unknown)

History

2026-11-02: add by m2/dev

A coarse shell bound 7S65JGW4Q7

URI	`m2://inv/7S65JGW4Q7`
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.16668#Q3GM, A coarse shell bound (statement). In W7GPN2AHHM/e1, corollary 3.4

History

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

Definition 7S6CSBKCBT

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

Mentions

wikipedia: Wikipedia Initial topology#ZX61, Definition (definition)

History

2026-11-02: add by m2/dev

Momentum flux 7S6D3CEJJV

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

Mentions

wikipedia: Wikipedia Momentum#NHKP, Momentum flux (unknown)

History

2026-11-02: add by m2/dev

7S6GVVFWYM 7S6GVVFWYM

URI	`m2://inv/7S6GVVFWYM`
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 2411.11470#PXLI (statement). In G1E3KERT6K/e1, theorem 1.1

History

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

Summulae de Dialectica 7S6RNF80VM

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

Mentions

wikipedia: Wikipedia Jean Buridan#BI04, Summulae de Dialectica (unknown)

History

2026-11-02: add by m2/dev

combinatorial set theory 7S705B8TH9

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

Mentions

wikipedia: Wikipedia Glossary of set theory#BWCG, combinatorial set theory (definition)

History

2026-11-02: add by m2/dev

7S709EA5ZK 7S709EA5ZK

URI	`m2://inv/7S709EA5ZK`
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.27181#OFGU (statement)

History

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

Persistent Strong Recovery above the Algorithmic Threshold 7S7DG5VY8K

URI	`m2://inv/7S7DG5VY8K`
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.16705#7HLQ, Persistent Strong Recovery above the Algorithmic Threshold (statement). In B48YQVGAF5/e1, theorem 6.1

History

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

homologous 7S7DXPPQ09

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#8BBG, homologous (definition)

History

2026-11-02: add by m2/dev

7S7J1VDM1C 7S7J1VDM1C

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

Mentions

arxiv: arXiv 2305.10921#GOH1 (statement). In PD5PJ0EYG6/e1, proposition 1.9

History

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

Effective sample size with random expedition 7S7KKBAZHG

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

Mentions

arxiv: arXiv 2610.18935#J89I, Effective sample size with random expedition (statement). In HPEEJY1S3S/e1, theorem 15

History

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

\bf Stationarity certification 7S7Q5RBNSM

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

Mentions

arxiv: arXiv 2610.02791#QWS7, \bf Stationarity certification (statement). In TT9BA4VMTW/e1, lemma 6.11

History

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

7S7SRW54R6 7S7SRW54R6

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

Mentions

arxiv: arXiv 2605.02634#FQJ1 (definition). In EZ6PAF0MXH/e1, definition Notation

History

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

Plücker coordinates 7S86JR733F

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

Mentions

wikipedia: Wikipedia Plücker coordinates, Plücker coordinates (definition). Also Wikidata Q2559456

History

2026-11-02: add by m2/dev

7S8BHJS5P4 7S8BHJS5P4

URI	`m2://inv/7S8BHJS5P4`
Kind	example
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.17240#B9T1 (example). In 59BZ4V9RQW/e1, example 6.4

History

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

7S8H3QYKM2 7S8H3QYKM2

URI	`m2://inv/7S8H3QYKM2`
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.39455#VLSL (statement). In HW4Y4TMEZ3/e1, proposition 4.8

History

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

Exponential backoff 7S8H6VKCAA

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

Mentions

wikipedia: Wikipedia List of exponential topics#YZRF, Exponential backoff (unknown)

History

2026-11-02: add by m2/dev

List Prediction with Independent Uniform Auxiliary Inputs 7S8QPZD408

URI	`m2://inv/7S8QPZD408`
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 2610.02407#FNAP, List Prediction with Independent Uniform Auxiliary Inputs (statement). In ZZER8ZBSCR/e1, theorem A.6

History

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

7S8RN4WPZM 7S8RN4WPZM

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

Mentions

austin_ula: austin_ula src/section6-3.xml#prop-orthog-matrix (statement). In 649HGZKE96, proposition, section 6.3.3

History

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

7S8TMHEWA9 7S8TMHEWA9

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-58 (exercise). In E9HS8K3A52, exercise, section 7.4.5

History

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

7S8ZQDK9HV 7S8ZQDK9HV

URI	`m2://inv/7S8ZQDK9HV`
Kind	problem
Layer	research
MSC	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.26133#G6EC (problem)

History

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

7S98BTVCRV 7S98BTVCRV

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

Mentions

arxiv: arXiv 2609.39293#NOI1 (definition). In S26QVW5613/e1, definition 3.3.2

History

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

Trace-norm comparison for the Pauli measurement 7S9BKHS7G9

URI	`m2://inv/7S9BKHS7G9`
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.02166#M9JI, Trace-norm comparison for the Pauli measurement (statement). In R6RF3P6D5A/e1, lemma 2.1

History

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

Integer relation algorithm 7S9G8XYJPE

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

Mentions

wikipedia: Wikipedia Integer relation algorithm, Integer relation algorithm (definition). Also Wikidata Q6042598

History

2026-11-02: add by m2/dev

Annie Cuyt 7S9JA6NM8C

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

Mentions

wikipedia: Wikipedia Annie Cuyt, Annie Cuyt (topic). Also Wikidata Q102247522

History

2026-11-02: add by m2/dev

7S9P3ZN40X 7S9P3ZN40X

URI	`m2://inv/7S9P3ZN40X`
Kind	statement
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 2610.11800#X4FR (statement). In 8TSZ2E32K3/e1, theorem 1.3

History

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

Pythagoras tree 7S9R3EWW14

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

Mentions

wikidata: Wikidata Q1324910, Pythagoras tree (unknown). Also MathWorld PythagorasTree
wikipedia: Wikipedia Pythagoras tree (fractal), Pythagoras tree (definition). Also Wikidata Q1324910

History

2026-10-26: add by m2/dev

Zev Yaroslavsky 7S9R56H4C0

URI	`m2://inv/7S9R56H4C0`
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#1CPF, Zev Yaroslavsky (unknown)

History

2026-11-02: add by m2/dev

Gehring-type Lemma 7S9Y8RH4FW

URI	`m2://inv/7S9Y8RH4FW`
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.08434#T4X8, Gehring-type Lemma (statement). In VN8087G2FC/e1, lemma 2.9

History

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

Statement 7S9YSZV3T8

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

Mentions

wikipedia: Wikipedia Nakayama's lemma#RJPT, Statement (statement)

History

2026-11-02: add by m2/dev

7SA2PCQCDN 7SA2PCQCDN

URI	`m2://inv/7SA2PCQCDN`
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.20110#P6CG (statement). In 1SAMKN4477/e1, proposition 2.4

History

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

7SA44H1E1P 7SA44H1E1P

URI	`m2://inv/7SA44H1E1P`
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.27730#2NX3 (statement)

History

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

Generalized chi-squared distribution 7SA8JZD8T2

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

Mentions

wikipedia: Wikipedia List of statistics articles#HZFA, Generalized chi-squared distribution (definition)

History

2026-11-02: add by m2/dev

7SA8R5E38R 7SA8R5E38R

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

Mentions

arxiv: arXiv 2609.34570#9X0F (example). In EVFX1R7ZDD/e1, example 11

History

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

Example 7SAB3X0EK2

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

Mentions

wikipedia: Wikipedia Viscosity solution#HXZH, Example (example)

History

2026-11-02: add by m2/dev

Properties 7SAEHB97AW

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

Mentions

wikipedia: Wikipedia Quasi-complete space#SPCM, Properties (statement)

History

2026-11-02: add by m2/dev

7SAJJ1ACJ8 7SAJJ1ACJ8

URI	`m2://inv/7SAJJ1ACJ8`
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 2508.03972#1KPK (statement). In 2JD3KNKJ1P/e1, theorem 2.3

History

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

Ergodicity 7SAN8YPRY0

URI	`m2://inv/7SAN8YPRY0`
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.32832#0PA3, Ergodicity (statement). In VS7P86QHFR/e1, lemma 2

History

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

net 7SAR5RXWXS

URI	`m2://inv/7SAR5RXWXS`
Kind	object
Layer	textbook
Sources	2
Outcome	open
Node	Net of a polyhedron FXJ66Z6PQY

Mentions

wikidata: Wikidata Q253829, net (unknown). Also MathWorld Net
wikipedia: Wikipedia Net (polyhedron), Net (object). Also Wikidata Q253829

History

2026-10-26: add by m2/dev

7SASJE28WM 7SASJE28WM

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

Mentions

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

History

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

7SAXMH1T3C 7SAXMH1T3C

URI	`m2://inv/7SAXMH1T3C`
Kind	example
Layer	research
MSC	13-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.15869#53TE (example). In 5VRP29WZEK/e1, example 4.4

History

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

Amedeo Agostini 7SAZB8QVPH

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#ZVH2, Amedeo Agostini (topic)

History

2026-11-02: add by m2/dev

Stewart's theorem 7SB99875CN

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

Mentions

wikipedia: Wikipedia List of theorems#QSEA, Stewart's theorem (statement)

History

2026-11-02: add by m2/dev

7SBC860Q26 7SBC860Q26

URI	`m2://inv/7SBC860Q26`
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 2610.06529#XSAP (statement). In JFQY4CYHKP/e1, proposition 2.14

History

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

7SBD2293A7 7SBD2293A7

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

Mentions

open_logic: open_logic content/first-order-logic/models-theories/theories.tex#ex-3 (example). In PKGMM3P5QY, ex, section 13.3

History

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

7SBJM0Y09S 7SBJM0Y09S

URI	`m2://inv/7SBJM0Y09S`
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.40207#F6PA (statement). In JXTG8KP95P/e1, theorem 7.5

History

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

Infinite matroid 7SBY7YVQ35

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

Mentions

wikipedia: Wikipedia Matroid#DG19, Infinite matroid (unknown)

History

2026-11-02: add by m2/dev

Outer measure 7SC2SK8PGJ

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

Mentions

wikipedia: Wikipedia List of real analysis topics#WAFJ, Outer measure (definition)
wikipedia: Wikipedia List of integration and measure theory topics#IHA1, Outer measure (definition)

History

2026-11-02: add by m2/dev

7SC4HRX8GY 7SC4HRX8GY

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

Mentions

arxiv: arXiv 2609.29531#O6J8 (statement)

History

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

7SCEBMHX09 7SCEBMHX09

URI	`m2://inv/7SCEBMHX09`
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 0902.4887#TSBA (statement). In MYQ05J9R20/e1, theorem 2.6

History

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

Lee Hwa Chung theorem 7SCFPF871X

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

Mentions

wikipedia: Wikipedia List of theorems#R05G, Lee Hwa Chung theorem (statement)

History

2026-11-02: add by m2/dev

Applications 7SCS5MYZN3

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

Mentions

wikipedia: Wikipedia Power iteration#GVIU, Applications (example)

History

2026-11-02: add by m2/dev

Embedding diagram 7SD0ARJG2T

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

Mentions

wikipedia: Wikipedia Introduction to general relativity#QXKY, Embedding diagram (unknown)

History

2026-11-02: add by m2/dev

Degenerate polygon 7SD2DQCAYD

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

Mentions

wikipedia: Wikipedia Degeneracy (mathematics)#UWTW, Degenerate polygon (unknown)

History

2026-11-02: add by m2/dev

Definition 7SD6TK74KR

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

Mentions

wikipedia: Wikipedia Cyclic code#H4S3, Definition (definition)

History

2026-11-02: add by m2/dev

Applications 7SD93R9J68

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

Mentions

wikipedia: Wikipedia Health indicator#2CCT, Applications (example)

History

2026-11-02: add by m2/dev

7SD9KNYKDG 7SD9KNYKDG

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-intro.ptx#exercise-15 (exercise). In Y91XFCEVHQ, exercise, section 5.1

History

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

7SDFFDXPVX 7SDFFDXPVX

URI	`m2://inv/7SDFFDXPVX`
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 2210.04075#HMMI (statement). In C5DZR0TC5E/e1, corollary 2.13

History

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

Poincaré lemma 7SDNCZ265Z

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

Mentions

wikipedia: Wikipedia List of things named after Henri Poincaré#G75R, Poincaré lemma (statement)

History

2026-11-02: add by m2/dev

7SDQ520K6X 7SDQ520K6X

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

Mentions

arxiv: arXiv 2610.00934#E2WR (problem). In SHCQDPCF2J/e1, problem 1.1

History

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

Roman numerals 7SDXR92FKE

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

Mentions

wikipedia: Wikipedia List of types of numbers#WN4V, Roman numerals (definition)

History

2026-11-02: add by m2/dev

7SDZP8AY89 7SDZP8AY89

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

Mentions

arxiv: arXiv 2609.37520#DDBE (statement). In BDN507RN7J/e1, theorem 3.3.10

History

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

7SE0BAFKWK 7SE0BAFKWK

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

Mentions

arxiv: arXiv 2601.15403#LLTB (definition). In BSWNH3NW1M/e1, definition 9.8

History

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

Krein–Milman theorem 7SE9G8C9ZB

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

Mentions

wikipedia: Wikipedia Extreme point#HEKF, Krein–Milman theorem (statement)

History

2026-11-02: add by m2/dev

7SEJR0D698 7SEJR0D698

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#exercise-43 (exercise). In E59CDZA4DP, exercise, section 5.4.3

History

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

7SEK559TDN 7SEK559TDN

URI	`m2://inv/7SEK559TDN`
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 1509.00950#YGOP (statement). In MDZFW5GACV/e1, proposition 8.2

History

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

almost perfect number 7SER3GSPXB

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

Mentions

wikidata: Wikidata Q1526045, almost perfect number (unknown). Also MathWorld AlmostPerfectNumber
wikipedia: Wikipedia Almost perfect number, Almost perfect number (definition). Also Wikidata Q1526045

History

2026-10-26: add by m2/dev

Michelangelo Ricci 7SETGX5S6P

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

Mentions

wikipedia: Wikipedia Michelangelo Ricci, Michelangelo Ricci (topic). Also Wikidata Q369265

History

2026-11-02: add by m2/dev

Construction 7SEXWP0BDC

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

Mentions

wikipedia: Wikipedia Godeaux surface#DQ1Z, Construction (definition)

History

2026-11-02: add by m2/dev

Example 7SEZB9A6Z6

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

Mentions

wikipedia: Wikipedia Fagin's theorem#KUXG, Example (example)

History

2026-11-02: add by m2/dev

Paul Gustav Heinrich Bachmann 7SF1GGN50S

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

Mentions

wikipedia: Wikipedia Paul Gustav Heinrich Bachmann, Paul Gustav Heinrich Bachmann (topic). Also Wikidata Q68547

History

2026-11-02: add by m2/dev

7SFFYZ8B85 7SFFYZ8B85

URI	`m2://inv/7SFFYZ8B85`
Kind	unknown
Layer	research
MSC	26-XX, 30-XX, 32-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 0906.2853#1W8W (unknown). In 32ZZ1DETCX/e1, unknown 2.11

History

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

7SFGXFY999 7SFGXFY999

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

Mentions

arxiv: arXiv 2609.24523#5GSQ (statement)

History

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

7SFW205SND 7SFW205SND

URI	`m2://inv/7SFW205SND`
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.14985#X2TJ (statement). In DGXJW3SCBR/e1, lemma 22

History

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

Stanisław Zaremba 7SG090J6FX

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

Mentions

wikipedia: Wikipedia List of mathematicians born in the 19th century#FEVP, Stanisław Zaremba (topic)

History

2026-11-02: add by m2/dev

Complex random variable 7SG3RFS5X2

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

Mentions

wikipedia: Wikipedia Complex random variable, Complex random variable (definition). Also Wikidata Q25101820

History

2026-11-02: add by m2/dev

7SGCKTJGET 7SGCKTJGET

URI	`m2://inv/7SGCKTJGET`
Kind	statement
Layer	research
MSC	20-XX, 22-XX, 26-XX, 46-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.27570#UNY5 (statement)

History

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

Block form of a subspace complement code 7SGD7NTKW7

URI	`m2://inv/7SGD7NTKW7`
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.09341#7V5I, Block form of a subspace complement code (statement). In DSXBMRYE0V/e1, corollary 2.4

History

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

7SGE0TVWKP 7SGE0TVWKP

URI	`m2://inv/7SGE0TVWKP`
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 2504.14383#LP6S (problem). In QD0X3XJS6T/e1, problem 3.8

History

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

Operation principle 7SGEPVH2NJ

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

Mentions

wikipedia: Wikipedia Anamorphic stretch transform#ECSB, Operation principle (statement)

History

2026-11-02: add by m2/dev

Epi Info 7SGH71XHYF

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

Mentions

wikipedia: Wikipedia List of statistics articles#0CYL, Epi Info (definition)

History

2026-11-02: add by m2/dev

non-classical logic 7SGH9BAT5J

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

Mentions

wikipedia: Wikipedia Glossary of logic#MNNT, non-classical logic (definition)

History

2026-11-02: add by m2/dev

WLS under a fixed stationary alternative 7SGJ5192QR

URI	`m2://inv/7SGJ5192QR`
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#8H6O, WLS under a fixed stationary alternative (statement)

History

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

7SGTREY2RF 7SGTREY2RF

URI	`m2://inv/7SGTREY2RF`
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.23341#S48T (statement)

History

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

Consistency of Stationary Points under PWLA 7SH211ZEBE

URI	`m2://inv/7SH211ZEBE`
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.37489#1TRU, Consistency of Stationary Points under PWLA (statement). In 5ZC91T5PHQ/e1, theorem

History

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

7SH8ARSV3E 7SH8ARSV3E

URI	`m2://inv/7SH8ARSV3E`
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.01268#5EH3 (statement). In 80Q4X3WT8W/e1, lemma 2.2

History

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

Example 7SH8FWS4MM

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

Mentions

wikipedia: Wikipedia NTRUEncrypt#DVW1, Example (example)

History

2026-11-02: add by m2/dev

Uniform correctors on boundary caps 7SHCC8HSK7

URI	`m2://inv/7SHCC8HSK7`
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#BZ1L, Uniform correctors on boundary caps (statement). In 9JHMTYGWFQ/e1, corollary 10.3

History

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

Symmetry 7SHWN8B2DN

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

Mentions

wikipedia: Wikipedia Tetrahedral-octahedral honeycomb#HMCZ, Symmetry (statement)

History

2026-11-02: add by m2/dev

complex subtraction 7SJ548NV5F

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

Mentions

wikidata: Wikidata Q141513084, complex subtraction (unknown). Also MathWorld ComplexSubtraction

History

2026-10-26: add by m2/dev

Triviality theorem in belief revision 7SJ5S1EFCR

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

Mentions

wikipedia: Wikipedia Ramsey test#GZJ9, Triviality theorem in belief revision (statement)

History

2026-11-02: add by m2/dev

Int 7SJ5W52ZK7

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

Mentions

wikipedia: Wikipedia Glossary of set theory#O830, Int (definition)

History

2026-11-02: add by m2/dev

7SJ9D9HYF9 7SJ9D9HYF9

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

Mentions

arxiv: arXiv 2609.35307#MWYZ (statement). In FT5TKY10T8/e1, theorem 1.2

History

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

Henningsen, Inge 7SJC0M39WC

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

Mentions

wikipedia: Wikipedia List of statisticians#FF84, Henningsen, Inge (unknown)

History

2026-11-02: add by m2/dev

7SJC676TYJ 7SJC676TYJ

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

Mentions

arxiv: arXiv 2610.09809#NU9X (definition). In 7NKQ6PR78N/e1, definition 2.1

History

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

Turing machine 7SJN9S3ZHC

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

Mentions

mathlib_overview: mathlib_overview Logic and computation > Computability > Turing machine, Turing machine (unknown). Also Mathlib Turing.TM0.Machine

History

2026-10-26: add by m2/dev

7SJWW97J0P 7SJWW97J0P

URI	`m2://inv/7SJWW97J0P`
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.02489#CQB1 (statement). In ZCJDWDR16Z/e1, theorem 3.3

History

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

2nd theorem 7SJZCAK2DG

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

Mentions

wikipedia: Wikipedia Elliptic function#N4CA, 2nd theorem (statement)

History

2026-11-02: add by m2/dev

Structural stability 7SJZHE1W30

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

Mentions

arxiv: arXiv 2610.10993#WOPQ, Structural stability (statement). In 1JCPN0K7DB/e1, corollary 5.8

History

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

Definitions 7SK4GTFBVK

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

Mentions

wikipedia: Wikipedia Subadditivity#91VD, Definitions (definition)

History

2026-11-02: add by m2/dev

Food insecurity among college students in the United States 7SK5DR31GK

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

Mentions

wikipedia: Wikipedia Food insecurity among college students in the United States, Food insecurity among college students in the United States (definition). Also Wikidata Q104880047

History

2026-11-02: add by m2/dev

Asymptotic decider 7SK5S72WGJ

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#K7HJ, Asymptotic decider (unknown)

History

2026-11-02: add by m2/dev

Natural filtration 7SKCS82P65

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

Mentions

wikipedia: Wikipedia Natural filtration, Natural filtration (definition). Also Wikidata Q6980678

History

2026-11-02: add by m2/dev

Definition 7SKFEPAMG8

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

Mentions

wikipedia: Wikipedia Uniform space#PKG1, Definition (definition)

History

2026-11-02: add by m2/dev

Formal definition 7SKFS6MZY5

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

Mentions

wikipedia: Wikipedia Holomorphic separability#P04S, Formal definition (definition)

History

2026-11-02: add by m2/dev

Laplace transform 7SKMC3VP5C

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

Mentions

wikipedia: Wikipedia List of Fourier-related transforms#NRDR, Laplace transform (definition)

History

2026-11-02: add by m2/dev

Definition 7SKPG4YDDK

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

Mentions

wikipedia: Wikipedia Pseudo-determinant#9DHG, Definition (definition)

History

2026-11-02: add by m2/dev

7SM3656PD0 7SM3656PD0

URI	`m2://inv/7SM3656PD0`
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#PJGN (definition)

History

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

Properties 7SM9H7E51T

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

Mentions

wikipedia: Wikipedia Fermat point#NWNI, Properties (statement)

History

2026-11-02: add by m2/dev

lower bound 7SMAAA523P

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

Mentions

wikipedia: Wikipedia Glossary of calculus#A0NP, lower bound (definition)

History

2026-11-02: add by m2/dev

Properties 7SMFEGPK3F

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

Mentions

wikipedia: Wikipedia Nonelementary integral#CDIY, Properties (statement)

History

2026-11-02: add by m2/dev

Bruno Nachtergaele 7SMG9YC83A

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

Mentions

wikipedia: Wikipedia Bruno Nachtergaele, Bruno Nachtergaele (topic). Also Wikidata Q15790046

History

2026-11-02: add by m2/dev

Ada Lovelace 7SMK2D7N41

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

Mentions

wikipedia: Wikipedia Ada Lovelace, Ada Lovelace (topic). Also Wikidata Q7259

History

2026-11-02: add by m2/dev

7SMR4YDJSK 7SMR4YDJSK

URI	`m2://inv/7SMR4YDJSK`
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.24043#72GC (statement)

History

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

7SMX3FPRT4 7SMX3FPRT4

URI	`m2://inv/7SMX3FPRT4`
Kind	definition
Layer	research
MSC	03-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.22317#M3Z4 (definition). In 2W5Z97BBW4/e1, definition 2.5

History

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

Hazard ratio 7SN38HC2VS

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

Mentions

wikipedia: Wikipedia List of statistics articles#YFNG, Hazard ratio (definition)

History

2026-11-02: add by m2/dev

Walter theorem 7SN3EQ5S69

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

Mentions

wikipedia: Wikipedia List of theorems#M8TP, Walter theorem (statement)

History

2026-11-02: add by m2/dev

Uses 7SN96K8X7B

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

Mentions

wikipedia: Wikipedia Sigma-ring#NNY9, Uses (example)

History

2026-11-02: add by m2/dev

7SN9B0F20F 7SN9B0F20F

URI	`m2://inv/7SN9B0F20F`
Kind	statement
Layer	research
MSC	20-XX, 26-XX, 35-XX, 37-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 2311.00585#M04B (statement). In 332PQD90SW/e1, theorem 2.1

History

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

Finite pointset method 7SNA52YGEF

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

Mentions

wikipedia: Wikipedia Finite pointset method, Finite pointset method (definition). Also Wikidata Q5450404

History

2026-11-02: add by m2/dev

7SNAXT5K0J 7SNAXT5K0J

URI	`m2://inv/7SNAXT5K0J`
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.12619#BQ8A (statement). In 7F8KACT5AJ/e1, lemma 3.2

History

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

hypercube 7SNBYB4G2Z

URI	`m2://inv/7SNBYB4G2Z`
Kind	object
Layer	textbook
Sources	2
Outcome	open
Node	Hypercube P9PYM71GMM

Mentions

wikidata: Wikidata Q213723, hypercube (unknown). Also MathWorld Hypercube
wikipedia: Wikipedia Hypercube, Hypercube (object). Also Wikidata Q213723

History

2026-10-26: add by m2/dev

Haig–Simons income 7SNCQRZ6JH

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

Mentions

wikipedia: Wikipedia Haig–Simons income, Haig–Simons income (definition). Also Wikidata Q5639113

History

2026-11-02: add by m2/dev

Umbilic torus 7SNG9VP3QJ

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

Mentions

wikipedia: Wikipedia Umbilic torus, Umbilic torus (definition). Also Wikidata Q7881309

History

2026-11-02: add by m2/dev

7SNGSDDJTX 7SNGSDDJTX

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

Mentions

arxiv: arXiv 2609.35467#25BM (definition). In FK89DQ9J4S/e1, definition 4.10

History

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

707 (number) 7SNJAMC5PA

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

Mentions

wikipedia: Wikipedia 700 (number)#IRES, 707 (number) (unknown)

History

2026-11-02: add by m2/dev

Schatten-norm Hölder inequality 7SNNZS9XN7

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

Mentions

wikipedia: Wikipedia Min-max theorem#I4BH, Schatten-norm Hölder inequality (statement)

History

2026-11-02: add by m2/dev

7SNPENKDXR 7SNPENKDXR

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

Mentions

arxiv: arXiv 2610.04046#V7NM (definition). In 3THDT8WNF7/e1, definition 1

History

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

Carl Karcher 7SNRBZJ7HJ

URI	`m2://inv/7SNRBZJ7HJ`
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#LMZM, Carl Karcher (unknown)

History

2026-11-02: add by m2/dev

7SPARRRFC1 7SPARRRFC1

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

Mentions

open_logic: open_logic content/first-order-logic/sequent-calculus/proving-things.tex#ex-3 (example). In PKGMM3P5QY, ex, section 17.11

History

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

7SPNNRVMRR 7SPNNRVMRR

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

Mentions

arxiv: arXiv 2609.36045#WZQ9 (statement). In F0E8YBV0Z0/e1, theorem 8.2

History

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

7SPR0XQMA0 7SPR0XQMA0

URI	`m2://inv/7SPR0XQMA0`
Kind	statement
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#HHH2 (statement). In QX77AN49J0/e1, lemma 8.10

History

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

Definition 7SPXKFPKYW

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

Mentions

wikipedia: Wikipedia Authority distribution#8U88, Definition (definition)

History

2026-11-02: add by m2/dev

Special cases 7SPZ6N3EKH

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

Mentions

wikipedia: Wikipedia Multimodal distribution#2JAS, Special cases (statement)

History

2026-11-02: add by m2/dev

7SQ26R186E 7SQ26R186E

URI	`m2://inv/7SQ26R186E`
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#PLL1 (statement). In HTBRYNPHSJ/e1, lemma 6.5

History

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

Terminology 7SQ2YHSER8

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

Mentions

wikipedia: Wikipedia Subnormal number#693I, Terminology (definition)

History

2026-11-02: add by m2/dev

Showing consistency using the central limit theorem 7SQ38YFH0A

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

Mentions

wikipedia: Wikipedia Bootstrapping (statistics)#BUPC, Showing consistency using the central limit theorem (statement)

History

2026-11-02: add by m2/dev

Hessian form of an elliptic curve 7SQ9M5YDXE

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

Mentions

wikipedia: Wikipedia Hessian form of an elliptic curve, Hessian form of an elliptic curve (definition). Also Wikidata Q17023345

History

2026-11-02: add by m2/dev

natural logarithm of 2 7SQD3Q74RX

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

Mentions

wikidata: Wikidata Q5963772, natural logarithm of 2 (definition). Also MathWorld NaturalLogarithmof2, OEIS A002162, ProofWiki Definition:Mercator's_Constant
wikipedia: Wikipedia Natural logarithm of 2, Natural logarithm of 2 (object). Also Wikidata Q5963772

History

2026-10-26: add by m2/dev

Penny graph 7SQFHBPFVT

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

Mentions

wikipedia: Wikipedia Penny graph, Penny graph (definition). Also Wikidata Q30592245

History

2026-11-02: add by m2/dev

7SQFRNQRWN 7SQFRNQRWN

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

Mentions

arxiv: arXiv 2610.18101#LX4X (statement). In XXN6KKXPYF/e1, lemma 9.10

History

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

7SQJ94D16V 7SQJ94D16V

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

Mentions

arxiv: arXiv 2610.16541#SGNN (statement). In D0XH7W96T3/e1, lemma 5.3

History

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

7SQWD9NH63 7SQWD9NH63

URI	`m2://inv/7SQWD9NH63`
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.24078#FT31 (statement)

History

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

7SR0MP5B68 7SR0MP5B68

URI	`m2://inv/7SR0MP5B68`
Kind	example
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.25269#UKIR (example)

History

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

7SR1NC0T3G 7SR1NC0T3G

URI	`m2://inv/7SR1NC0T3G`
Kind	statement
Layer	research
MSC	11-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.18246#ZH5P (statement). In SN6F0MPPVF/e1, proposition 5.2

History

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

Maura Stokes 7SR7Z4A0AP

URI	`m2://inv/7SR7Z4A0AP`
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#5PMS, Maura Stokes (topic)

History

2026-11-02: add by m2/dev

Definition 7SRDHZA9E0

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

Mentions

wikipedia: Wikipedia Kobayashi metric#V67M, Definition (definition)

History

2026-11-02: add by m2/dev

7SRJQWYBMT 7SRJQWYBMT

URI	`m2://inv/7SRJQWYBMT`
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.27181#WN6K (statement)

History

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

7SRM311VVS 7SRM311VVS

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

Mentions

arxiv: arXiv 2609.30067#28H2 (statement)

History

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

7SRXFTXC9T 7SRXFTXC9T

URI	`m2://inv/7SRXFTXC9T`
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.15744#LF3I (definition). In NV3PBZGBB7/e1, definition 6.3

History

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

7SS2450AYG 7SS2450AYG

URI	`m2://inv/7SS2450AYG`
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.21645#LQQQ (statement)

History

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

Definition 7SS2BGMG21

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

Mentions

wikipedia: Wikipedia Affine root system#ENFE, Definition (definition)

History

2026-11-02: add by m2/dev

hexagram 7SS8SN83BD

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

Mentions

wikidata: Wikidata Q1164668, hexagram (unknown). Also MathWorld Hexagram
wikipedia: Wikipedia Hexagram, Hexagram (definition). Also Wikidata Q1164668

History

2026-10-26: add by m2/dev

Andrew Granville 7SSE3FJKXG

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#N021, Andrew Granville (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SZ72, Andrew Granville (topic)

History

2026-11-02: add by m2/dev

Polynomial-time many-one reduction 7SSJFGAQV4

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

Mentions

wikipedia: Wikipedia List of computability and complexity topics#1TIM, Polynomial-time many-one reduction (definition)

History

2026-11-02: add by m2/dev

7SSN0Y6TZE 7SSN0Y6TZE

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

Mentions

arxiv: arXiv 2610.15313#AXFT (statement). In KWKY1CWG1Z/e1, lemma 4.7

History

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

7SSSAK4WF4 7SSSAK4WF4

URI	`m2://inv/7SSSAK4WF4`
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.11939#KU3F (statement). In DQMEN40FZV/e1, lemma 10

History

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

Conjecture 7SST6N1W45

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

Mentions

wikipedia: Wikipedia Ibragimov–Iosifescu conjecture for φ-mixing sequences#XSR4, Conjecture (statement)

History

2026-11-02: add by m2/dev

Replacement for Proposition 5 7SSXRBFGKR

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

Mentions

arxiv: arXiv 1007.0842#YUJT, Replacement for Proposition 5 (statement). In SEBS9D5AC5/e1, proposition 2.1

History

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

Dispersive partial differential equation 7SSZ2CHGQN

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

Mentions

wikipedia: Wikipedia Dispersive partial differential equation, Dispersive partial differential equation (definition). Also Wikidata Q5282591

History

2026-11-02: add by m2/dev

Absolute presentation of a group 7ST30V5TKV

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

Mentions

wikipedia: Wikipedia Absolute presentation of a group, Absolute presentation of a group (definition). Also Wikidata Q4669826

History

2026-11-02: add by m2/dev

7ST7YRAWYV 7ST7YRAWYV

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

Mentions

arxiv: arXiv 2609.40161#2T05 (statement). In P2ZW0PZMEH/e1, theorem 3.7

History

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

7STDFJH0TF 7STDFJH0TF

URI	`m2://inv/7STDFJH0TF`
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 2610.20386#BS8K (statement). In 4WC4V49KAC/e1, proposition 2.13

History

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

7STEXEFNW1 7STEXEFNW1

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

Mentions

arxiv: arXiv 2609.37520#DVJ4 (statement). In BDN507RN7J/e1, proposition 4.7.10

History

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

Pr\'ekopa--Leindler inequality, equality by Dubuc 7STPRTSDX8

URI	`m2://inv/7STPRTSDX8`
Kind	statement
Layer	research
MSC	46-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 2509.20257#I2E7, Pr\'ekopa--Leindler inequality, equality by Dubuc (statement). In 9NDZ6GG9XZ/e1, theorem Theorem

History

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

7SVBTSJJM9 7SVBTSJJM9

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

History

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

7SVDJCQVFW 7SVDJCQVFW

URI	`m2://inv/7SVDJCQVFW`
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.32282#10M7 (statement). In MF7XEPN4GV/e1, corollary 3

History

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

7SVF0TFX3R 7SVF0TFX3R

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

History

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

7SVFY4Q3BA 7SVFY4Q3BA

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

Mentions

arxiv: arXiv 2610.17045#LGXK (statement). In PA6JQDSKQT/e1, lemma 5.4

History

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

Common knowledge 7SVHE6GV59

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

Mentions

wikipedia: Wikipedia Common knowledge (logic), Common knowledge (definition). Also Wikidata Q372650

History

2026-11-02: add by m2/dev

7SVZ7KFPQZ 7SVZ7KFPQZ

URI	`m2://inv/7SVZ7KFPQZ`
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 2104.04145#DQC9 (statement). In 7TNHVC586V/e1, lemma 8

History

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

Spherical space form conjecture 7SW29BVDX2

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

Mentions

wikipedia: Wikipedia Spherical space form conjecture#F2EZ, Spherical space form conjecture (statement)

History

2026-11-02: add by m2/dev

Smoothness 7SW2DPV780

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

Mentions

wikipedia: Wikipedia List of continuity-related mathematical topics#6VZX, Smoothness (definition)

History

2026-11-02: add by m2/dev

7SWB7YBRS8 7SWB7YBRS8

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

Mentions

arxiv: arXiv 2103.12669#O56C (definition). In ZA6XNBA90V/e1, definition 5.4

History

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

7SWT2EDBYJ 7SWT2EDBYJ

URI	`m2://inv/7SWT2EDBYJ`
Kind	problem
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 2204.01073#JWYL (problem). In W4TYN4PGE8/e1, problem 1.1

History

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

7SWY5KF4JY 7SWY5KF4JY

URI	`m2://inv/7SWY5KF4JY`
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.39353#XPUJ (statement). In 2PZR1KX2RC/e1, theorem C.1

History

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

7SWYHNXJB7 7SWYHNXJB7

URI	`m2://inv/7SWYHNXJB7`
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.10233#RJS2 (statement). In QR9WE79ERQ/e1, lemma C.3

History

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

Properties 7SX3G8W9BT

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

Mentions

wikipedia: Wikipedia Densely defined operator#PR1S, Properties (statement)

History

2026-11-02: add by m2/dev

right half-open interval 7SXB227R6V

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

Mentions

wikidata: Wikidata Q106653385, right half-open interval (definition). Also ProofWiki Definition:Real_Interval/Half-Open/Right

History

2026-10-26: add by m2/dev

Examples 7SXBTHGAVB

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

Mentions

wikipedia: Wikipedia Unisolvent functions#5ILY, Examples (example)

History

2026-11-02: add by m2/dev

7SXD0ZKJR8 7SXD0ZKJR8

URI	`m2://inv/7SXD0ZKJR8`
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#45XW (statement). In NS3RZ26JC7/e1, lemma 11

History

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

$\alpha$-conversion, $\aconv$ 7SXDNNT7MC

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

Mentions

open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#defn:aconv, $\alpha$-conversion, $\aconv$ (definition). In PKGMM3P5QY, defn, section 38.9

History

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

Schwarzian derivative 7SXED3MD8D

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

Mentions

wikipedia: Wikipedia List of complex analysis topics#RGKZ, Schwarzian derivative (definition)

History

2026-11-02: add by m2/dev

Definitions 7SXFXWKQQB

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

Mentions

wikipedia: Wikipedia Contrast (statistics)#X1WK, Definitions (definition)

History

2026-11-02: add by m2/dev

7SXQ3TQKQP 7SXQ3TQKQP

URI	`m2://inv/7SXQ3TQKQP`
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 2602.07485#D8EM (definition). In 8KAC1E81JQ/e1, definition 2

History

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

7SXT64GEE9 7SXT64GEE9

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

Mentions

wikipedia: Wikipedia Gaussian moat#BWYG (problem)

History

2026-11-02: add by m2/dev

directed arc 7SY2C8T0KY

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#WZER, directed arc (definition)

History

2026-11-02: add by m2/dev

7SY46Z06CF 7SY46Z06CF

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

Mentions

napkin: napkin tex/set-theory/CH.tex#proof-2 (proof). In RZP28ERRZV, proof, section 88.2

History

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

Bertram Kostant 7SYCFTVQ9R

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#YZ44, Bertram Kostant (topic)

History

2026-11-02: add by m2/dev

Sieve I 7SYW37PC1R

URI	`m2://inv/7SYW37PC1R`
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.16962#OJ4S, Sieve I (statement). In KJC9FRS3C2/e1, theorem 12.2

History

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

Isolated-facet crossing 7SZ6BW7QZY

URI	`m2://inv/7SZ6BW7QZY`
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.39855#6487, Isolated-facet crossing (statement). In E1KFX0NW51/e1, lemma B.1

History

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

Tail control from almost-uniform convergence 7SZCJV40XB

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

Mentions

arxiv: arXiv 2609.20683#SDZJ, Tail control from almost-uniform convergence (statement)

History

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

Freydoon Shahidi 7SZN03BKKJ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#TO7R, Freydoon Shahidi (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OY02, Freydoon Shahidi (topic)

History

2026-11-02: add by m2/dev

Example 7SZS54C6P8

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

Mentions

wikipedia: Wikipedia (n, m)-category#GVKR, Example (example)

History

2026-11-02: add by m2/dev

Foundations of logic 7SZVBTB9JB

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

Mentions

wikipedia: Wikipedia Outline of logic#6VCA, Foundations of logic (unknown)

History

2026-11-02: add by m2/dev