Inventory rows 2Q

2Q044FJ6NM 2Q044FJ6NM

URI	`m2://inv/2Q044FJ6NM`
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.38650#VWS3 (statement). In DZJ9QJVQK3/e1, lemma 3

History

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

2Q0CET1RK2 2Q0CET1RK2

URI	`m2://inv/2Q0CET1RK2`
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 2511.05069#QZTA (statement). In SFQBJBTW8K/e1, lemma 2.3

History

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

2Q0HZC7N8P 2Q0HZC7N8P

URI	`m2://inv/2Q0HZC7N8P`
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#FSJI (statement). In E7BPGPP9Z5/e1, corollary 3.10

History

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

2Q0K0TZ2HM 2Q0K0TZ2HM

URI	`m2://inv/2Q0K0TZ2HM`
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.30664#W0YS (statement). In ZZGDNKDVJW/e1, lemma A.2

History

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

Katalin Bimbó 2Q0RBP1F3A

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#2F8W, Katalin Bimbó (unknown)

History

2026-11-02: add by m2/dev

2Q0YWJYQWF 2Q0YWJYQWF

URI	`m2://inv/2Q0YWJYQWF`
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 2308.09645#UCEN (statement). In HVDSC1GQRD/e1, proposition 2.1

History

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

2Q117Q989H 2Q117Q989H

URI	`m2://inv/2Q117Q989H`
Kind	statement
Layer	research
MSC	11-XX, 14-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.28514#5CV1 (statement)

History

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

Terminology 2Q141T5X6G

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

Mentions

wikipedia: Wikipedia Wide and narrow data#D3N0, Terminology (definition)

History

2026-11-02: add by m2/dev

2Q14Z7Y3JM 2Q14Z7Y3JM

URI	`m2://inv/2Q14Z7Y3JM`
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.36068#5LKN (statement). In CKNAB8QY5B/e1, theorem 2

History

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

The dual function 2Q1MR4V3RF

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

Mentions

arxiv: arXiv 2610.06490#UD91, The dual function (statement). In NKXTXH59P1/e1, lemma A.9

History

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

2Q1SZ1RNSH 2Q1SZ1RNSH

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

Mentions

arxiv: arXiv 2609.30200#3MGA (statement)

History

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

2Q1T8J31PK 2Q1T8J31PK

URI	`m2://inv/2Q1T8J31PK`
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 2609.31365#BV8N (definition). In 19GENJ3NCP/e1, definition 2.1

History

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

Martingale representation theorem 2Q22FVZZ7T

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

Mentions

wikipedia: Wikipedia List of theorems#LAOA, Martingale representation theorem (statement)

History

2026-11-02: add by m2/dev

Modification of Curie's law due to Weiss field 2Q2BG58FKA

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

Mentions

wikipedia: Wikipedia Curie–Weiss law#JV3U, Modification of Curie's law due to Weiss field (statement)

History

2026-11-02: add by m2/dev

Item characteristic curve 2Q2WCQZ0KG

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

Mentions

wikipedia: Wikipedia Item response theory#5MSX, Item characteristic curve (unknown)

History

2026-11-02: add by m2/dev

sigma-algebra 2Q2Y5M11CA

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

Mentions

mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > sigma-algebra, sigma-algebra (unknown). Also Mathlib MeasurableSpace
mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Measure theory > measurable spaces, measurable spaces (unknown). Also Mathlib MeasurableSpace
mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Measure theory > sigma-algebras, sigma-algebras (unknown). Also Mathlib MeasurableSpace
mathlib_undergrad: mathlib_undergrad Probability Theory > Definitions of a probability space > sigma-algebra, sigma-algebra (unknown). Also Mathlib MeasurableSpace

History

2026-10-26: add by m2/dev

Charles Dwight Lahr 2Q2YFEWPVH

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

Mentions

wikipedia: Wikipedia Charles Dwight Lahr, Charles Dwight Lahr (topic). Also Wikidata Q12888838

History

2026-11-02: add by m2/dev

Examples 2Q33JGQ9DN

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

Mentions

wikipedia: Wikipedia Grothendieck spectral sequence#ST0J, Examples (example)

History

2026-11-02: add by m2/dev

Roman surface 2Q38HDH6JS

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

Mentions

wikipedia: Wikipedia List of complex and algebraic surfaces#TS5F, Roman surface (definition)

History

2026-11-02: add by m2/dev

2Q3A5GXNRT 2Q3A5GXNRT

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

Mentions

arxiv: arXiv 2610.16431#OX36 (statement). In 7NX9HA8VPM/e1, theorem 1.1

History

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

2Q3MDC3GZG 2Q3MDC3GZG

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

Mentions

arxiv: arXiv 2609.33469#HZ2F (statement). In TC5QA4AB4Z/e1, corollary 4.27

History

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

Aegidius Strauch II 2Q3W9GQKW6

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

Mentions

wikipedia: Wikipedia Aegidius Strauch II, Aegidius Strauch II (topic). Also Wikidata Q380648

History

2026-11-02: add by m2/dev

2Q3ZKE40QM 2Q3ZKE40QM

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

Mentions

arxiv: arXiv 2405.09294#OYP6 (statement). In 2WZQC0TKVK/e1, theorem 3.8

History

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

2Q495YV7EJ 2Q495YV7EJ

URI	`m2://inv/2Q495YV7EJ`
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.12810#8Z3C (statement). In DR35633CPN/e1, lemma 4.14

History

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

Direct-sum additivity 2Q49T1ECJH

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

Mentions

arxiv: arXiv 2610.20649#L647, Direct-sum additivity (statement). In XDTM624YPE/e1, corollary 11.5

History

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

Sigmoid Belief Net 2Q4AG6N9ZS

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

Mentions

wikipedia: Wikipedia Unsupervised learning#GIJO, Sigmoid Belief Net (definition)

History

2026-11-02: add by m2/dev

Polar code 2Q4CZER52A

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

Mentions

wikipedia: Wikipedia Polar code (coding theory), Polar code (definition). Also Wikidata Q7209069

History

2026-11-02: add by m2/dev

Theorem 2Q4N5VMZZW

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

Mentions

wikipedia: Wikipedia Central limit theorem#35TW, Theorem (statement)

History

2026-11-02: add by m2/dev

Jitendra Malik 2Q4NEKGSHW

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#CIZH, Jitendra Malik (unknown)

History

2026-11-02: add by m2/dev

Uniform structure of $H_k$ 2Q4NG1MGDK

URI	`m2://inv/2Q4NG1MGDK`
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#WBT7, Uniform structure of $H_k$ (statement)

History

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

Metric projection 2Q4PEH91AK

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

Mentions

wikipedia: Wikipedia Metric projection, Metric projection (definition). Also Wikidata Q130394910

History

2026-11-02: add by m2/dev

0# 2Q4RJYFRQX

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

Mentions

wikipedia: Wikipedia Glossary of set theory#8S8C, 0# (definition)

History

2026-11-02: add by m2/dev

2Q4W9QS1JZ 2Q4W9QS1JZ

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/counting-advPIE.ptx#exercise-14 (exercise). In Y91XFCEVHQ, exercise, section 2.6

History

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

2Q50ZGJF4G 2Q50ZGJF4G

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

Mentions

arxiv: arXiv 2610.20801#WSE1 (statement). In A1GWWGRXPA/e1, corollary 6.19

History

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

Summary statistic 2Q528TM7E3

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

Mentions

wikipedia: Wikipedia List of statistics articles#4SU7, Summary statistic (definition)

History

2026-11-02: add by m2/dev

Schur's inequality 2Q52SSKHCX

URI	`m2://inv/2Q52SSKHCX`
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#WFL9, Schur's inequality (statement)

History

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

Gaston Darboux 2Q53XWKKH4

URI	`m2://inv/2Q53XWKKH4`
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#PDMH, Gaston Darboux (topic)
wikipedia: Wikipedia List of publications in mathematics#Y1V7, Gaston Darboux (topic)

History

2026-11-02: add by m2/dev

2Q56AY5A9X 2Q56AY5A9X

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

Mentions

arxiv: arXiv math/0406514#GJLT (example). In CY1FE8W1ZW/e1, example 0.285

History

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

Variations 2Q5F7WYRJ8

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

Mentions

wikipedia: Wikipedia Hadwiger–Nelson problem#DBBZ, Variations (statement)

History

2026-11-02: add by m2/dev

2Q5G8RN9TT 2Q5G8RN9TT

URI	`m2://inv/2Q5G8RN9TT`
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.31907#UNW1 (statement). In 6B2PCEGCYZ/e1, proposition 4.6

History

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

Pre-shared key 2Q5GJ6T7KX

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

Mentions

wikipedia: Wikipedia Pre-shared key, Pre-shared key (definition). Also Wikidata Q2108226

History

2026-11-02: add by m2/dev

Lindström's theorem 2Q5GP7RNFK

URI	`m2://inv/2Q5GP7RNFK`
Kind	statement
Layer	textbook
MSC	03-XX
Sources	4
Outcome	open
Node	Lindström's theorem FYZ3CJGZYV

Mentions

mathlib_1000: mathlib_1000 Q2379128, Lindström's theorem (statement). Also Wikidata Q2379128
thousand_plus: thousand_plus Q2379128, Lindström's theorem (statement). Also Wikidata Q2379128, Wikipedia Lindström's theorem
wikidata: Wikidata Q2379128, Lindström's theorem (statement). Also nLab Lindström's theorem
wikipedia: Wikipedia Lindström's theorem, Lindström's theorem (statement). Also Wikidata Q2379128

History

2026-10-26: add by m2/dev

2Q5M0JFZFT 2Q5M0JFZFT

URI	`m2://inv/2Q5M0JFZFT`
Kind	example
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 1709.01658#JHT7 (example). In 90A5Q9HRQK/e1, example 3.2

History

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

2Q5SJMGV0D 2Q5SJMGV0D

URI	`m2://inv/2Q5SJMGV0D`
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.34856#AJ0R (statement). In MRR92GQNZE/e1, lemma 5.9

History

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

2Q5YX775PV 2Q5YX775PV

URI	`m2://inv/2Q5YX775PV`
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 2404.05451#DE0P (statement). In 5YMFYAFFJ7/e1, theorem I

History

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

Formulation 2Q5ZHRQJSD

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

Mentions

wikipedia: Wikipedia Breusch–Pagan test#36Z9, Formulation (definition)

History

2026-11-02: add by m2/dev

2Q5ZR2YRYQ 2Q5ZR2YRYQ

URI	`m2://inv/2Q5ZR2YRYQ`
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.13792#2RSL (definition). In ZH0PFTZ12Y/e1, definition 4.1

History

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

2Q6G37KDVH 2Q6G37KDVH

URI	`m2://inv/2Q6G37KDVH`
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#BUKU (statement). In MDZFW5GACV/e1, theorem 1.4

History

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

Simulated annealing from weak \Poincare inequalities 2Q6K8KGS9Q

URI	`m2://inv/2Q6K8KGS9Q`
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.17717#RYL5, Simulated annealing from weak \Poincare inequalities (statement). In YXRKS451PK/e1, lemma 2.3

History

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

2Q6K8QEKGF 2Q6K8QEKGF

URI	`m2://inv/2Q6K8QEKGF`
Kind	exercise
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#prob-1 (exercise). In PKGMM3P5QY, prob, section 9.11

History

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

2Q6WQJ5N6H 2Q6WQJ5N6H

URI	`m2://inv/2Q6WQJ5N6H`
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#GI9M (definition). In 43AGRMP7T3/e1, definition 1.18

History

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

metric relations in the triangle 2Q6ZAJ267W

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

Mentions

mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > metric relations in the triangle, metric relations in the triangle (unknown)

History

2026-10-26: add by m2/dev

2Q6ZH8JJXX 2Q6ZH8JJXX

URI	`m2://inv/2Q6ZH8JJXX`
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.31604#JR86 (definition). In GSN5YTQS2K/e1, definition 2.1

History

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

2Q70T9V8YX 2Q70T9V8YX

URI	`m2://inv/2Q70T9V8YX`
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 2204.01073#CRS2 (statement). In W4TYN4PGE8/e1, theorem 6.24

History

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

2Q76ZYEKZ6 2Q76ZYEKZ6

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

Mentions

arxiv: arXiv 2610.10558#YSKM (statement). In GYSF9JXQCH/e1, lemma 5.13

History

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

2Q7BT4Z3M8 2Q7BT4Z3M8

URI	`m2://inv/2Q7BT4Z3M8`
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 2310.02073#EOGZ (statement). In 3PNCRG6J62/e1, proposition 5.7

History

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

Theorem 2Q817H48CD

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

Mentions

wikipedia: Wikipedia Spectral radius#YKCN, Theorem (statement)

History

2026-11-02: add by m2/dev

Jónsson–Tarski duality 2Q85SYGWNQ

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

Mentions

wikipedia: Wikipedia General frame#Q1D2, Jónsson–Tarski duality (unknown)

History

2026-11-02: add by m2/dev

Feit–Thompson theorem 2Q86JAW7X5

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

Mentions

wikipedia: Wikipedia List of group theory topics#JE40, Feit–Thompson theorem (statement)

History

2026-11-02: add by m2/dev

2Q88Y0F3DN 2Q88Y0F3DN

URI	`m2://inv/2Q88Y0F3DN`
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 1903.07030#OIQD (statement). In 9H45HQE7AZ/e1, proposition 7.3

History

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

Training Hopfield networks 2Q8HT32GV1

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

Mentions

wikipedia: Wikipedia Hopfield network#HF69, Training Hopfield networks (unknown)

History

2026-11-02: add by m2/dev

Two Rock, California 2Q8JFZ10Z5

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

Mentions

wikipedia: Wikipedia List of places with numeric names#VFXA, Two Rock, California (unknown)

History

2026-11-02: add by m2/dev

Topological conjugacy 2Q8N1G82S9

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

Mentions

wikipedia: Wikipedia List of topology topics#0V5O, Topological conjugacy (definition)

History

2026-11-02: add by m2/dev

barye 2Q8NSFG6ZR

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

Mentions

wikidata: Wikidata Q809678, barye (definition). Also ProofWiki Definition:Barye

History

2026-10-26: add by m2/dev

2Q8PDYFVWN 2Q8PDYFVWN

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

Mentions

arxiv: arXiv 2610.19283#376P (statement). In 28BAGZRCKG/e1, theorem 6.2

History

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

2Q8Q8ZD4SY 2Q8Q8ZD4SY

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

Mentions

arxiv: arXiv 2610.14236#1EA1 (statement). In XEQD21EBTT/e1, proposition 8.1

History

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

Definition 2Q8QKXT310

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

Mentions

wikipedia: Wikipedia Power object#CAV3, Definition (definition)

History

2026-11-02: add by m2/dev

Pullback of the subspace theorem 2Q8XP0BEVG

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

Mentions

arxiv: arXiv 2610.17589#HKXV, Pullback of the subspace theorem (statement). In GSTK4569X1/e1, theorem 6.2

History

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

2Q8Z3N0XW5 2Q8Z3N0XW5

URI	`m2://inv/2Q8Z3N0XW5`
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.08052#M3WV (statement). In 672XAVEQ34/e1, proposition 4.1

History

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

Stable distribution 2Q8ZB01R8P

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

Mentions

wikipedia: Wikipedia List of statistics articles#73ZC, Stable distribution (definition)

History

2026-11-02: add by m2/dev

2Q8ZTX405J 2Q8ZTX405J

URI	`m2://inv/2Q8ZTX405J`
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.21501#BYQY (statement). In 1H64QT301C/e1, lemma 3.4

History

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

2Q9012NVYC 2Q9012NVYC

URI	`m2://inv/2Q9012NVYC`
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.12736#JENS (statement). In 5350Q52F6P/e1, theorem 4.6

History

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

Chernoff face 2Q90TPWMB5

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

Mentions

wikidata: Wikidata Q1070295, Chernoff face (unknown). Also MathWorld ChernoffFace
wikipedia: Wikipedia Chernoff face, Chernoff face (definition). Also Wikidata Q1070295

History

2026-10-26: add by m2/dev

Applications 2Q9F63YPBC

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

Mentions

wikipedia: Wikipedia Estimation theory#BUTO, Applications (example)

History

2026-11-02: add by m2/dev

Uniform tracking-error lower bound 2Q9GM08WSV

URI	`m2://inv/2Q9GM08WSV`
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.20274#PI56, Uniform tracking-error lower bound (statement)

History

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

The Darboux-Weinstein theorem 2Q9GTAD26W

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

Mentions

wikipedia: Wikipedia Darboux's theorem#YQB6, The Darboux-Weinstein theorem (statement)

History

2026-11-02: add by m2/dev

directed line 2Q9HR1V54C

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#AA4W, directed line (definition)

History

2026-11-02: add by m2/dev

Benno Erdmann 2Q9QP41SVS

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

Mentions

wikipedia: Wikipedia Benno Erdmann, Benno Erdmann (topic). Also Wikidata Q75023

History

2026-11-02: add by m2/dev

2Q9X8WG9KS 2Q9X8WG9KS

URI	`m2://inv/2Q9X8WG9KS`
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 2610.00856#1RR4 (statement). In W6VHD4QBY4/e1, proposition 3.1

History

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

2QA2NPGYHC 2QA2NPGYHC

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

Mentions

arxiv: arXiv 2610.18106#335V (definition). In VZDPG7NJCX/e1, definition 3

History

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

Prehomogeneous vector space 2QA7JK6MEP

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

Mentions

wikipedia: Wikipedia Prehomogeneous vector space, Prehomogeneous vector space (definition). Also Wikidata Q7239976

History

2026-11-02: add by m2/dev

2QAFHVHKZF 2QAFHVHKZF

URI	`m2://inv/2QAFHVHKZF`
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.33697#FTEB (statement). In Q6GGQ29TRC/e1, lemma

History

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

William Duke 2QAN8MCA3G

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

Mentions

wikipedia: Wikipedia William Duke (mathematician), William Duke (topic). Also Wikidata Q15453808

History

2026-11-02: add by m2/dev

Fibonacci numbers of higher order 2QAR286K8Y

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

Mentions

wikipedia: Wikipedia Generalizations of Fibonacci numbers#6XXZ, Fibonacci numbers of higher order (unknown)

History

2026-11-02: add by m2/dev

Edmund D. Edelman 2QB12H9W0B

URI	`m2://inv/2QB12H9W0B`
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#KJUU, Edmund D. Edelman (unknown)

History

2026-11-02: add by m2/dev

\prod 2QB4GMXSTD

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#088I, \prod (definition)

History

2026-11-02: add by m2/dev

2QB54SAP9D 2QB54SAP9D

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

Mentions

arxiv: arXiv 2609.37271#1NOP (statement). In 9WP2QGKMG8/e1, lemma 2.5

History

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

2QB6N126EQ 2QB6N126EQ

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

Mentions

hott_book: hott_book homotopy.tex#ex:unique-fiber (exercise). In N54F33XE07, ex, section 7.10

History

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

GOE operator norm concentration 2QBEF849BM

URI	`m2://inv/2QBEF849BM`
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 2609.30590#V4DR, GOE operator norm concentration (statement). In WYE2JVEZBT/e1, proposition 2.3

History

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

Kurtz 2QBFT99BH2

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

Mentions

arxiv: arXiv 2609.39946#EAFT, Kurtz (statement). In ZTREM09NFT/e1, theorem 4

History

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

Semimodule 2QBGDWPM40

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

Mentions

wikipedia: Wikipedia Semimodule, Semimodule (definition). Also Wikidata Q25098565

History

2026-11-02: add by m2/dev

2QBN2WQSFM 2QBN2WQSFM

URI	`m2://inv/2QBN2WQSFM`
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.09810#HJAF (statement). In B6PCH930FV/e1, proposition 3

History

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

Weierstrass zeta function 2QBV2J20NF

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

Mentions

wikidata: Wikidata Q31179294, Weierstrass zeta function (unknown). Also EoM Weierstrass_zeta-function, MathWorld WeierstrassZetaFunction

History

2026-10-26: add by m2/dev

2QC1111X7W 2QC1111X7W

URI	`m2://inv/2QC1111X7W`
Kind	statement
Layer	research
MSC	37-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.30821#1GKJ (statement). In 1MZ9XBPTFQ/e1, proposition 3

History

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

2QC19C2XZE 2QC19C2XZE

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

Mentions

arxiv: arXiv 2609.26769#YFZH (statement)

History

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

Circuit complexity 2QC21Y61Y1

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

Mentions

wikipedia: Wikipedia List of computability and complexity topics#N373, Circuit complexity (definition)

History

2026-11-02: add by m2/dev

2QC525J12N 2QC525J12N

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

Mentions

arxiv: arXiv 2609.33162#6TUF (statement). In RPC7VG3KHQ/e1, proposition 5.6

History

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

$b$-edge covers 2QC6Y6EKMC

URI	`m2://inv/2QC6Y6EKMC`
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.12456#KKGU, $b$-edge covers (statement). In 5XPM4E03W6/e1, corollary 5.9

History

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

2QC95YAJGN 2QC95YAJGN

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

Mentions

arxiv: arXiv 2610.02017#KG63 (statement). In F6C80AEXC1/e1, proposition 5.14

History

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

Koksma's Inequality 2QC9QMF4Z0

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

Mentions

arxiv: arXiv 2610.17139#P2ND, Koksma's Inequality (statement). In AQWX60Z563/e1, proposition A.9

History

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

Jerzy Browkin 2QCDGWKFM4

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

Mentions

wikipedia: Wikipedia Jerzy Browkin, Jerzy Browkin (topic). Also Wikidata Q11118287

History

2026-11-02: add by m2/dev

Per-key constrained embedding channel 2QCMX6C2C6

URI	`m2://inv/2QCMX6C2C6`
Kind	definition
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.05712#H6XB, Per-key constrained embedding channel (definition). In 44Q2H3DWNW/e1, definition 3

History

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

Fluctuation–dissipation theorem 2QCPJN4XPB

URI	`m2://inv/2QCPJN4XPB`
Kind	statement
Layer	textbook
MSC	00-XX
Sources	3
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q1434158, Fluctuation dissipation theorem (statement). Also Wikidata Q1434158
thousand_plus: thousand_plus Q1434158, Fluctuation dissipation theorem (statement). Also Wikidata Q1434158, Wikipedia Fluctuation dissipation theorem
wikipedia: Wikipedia Fluctuation–dissipation theorem, Fluctuation–dissipation theorem (statement). Also Wikidata Q1434158

History

2026-10-26: add by m2/dev

Carl R. de Boor 2QCTJ5F5G5

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

Mentions

wikipedia: Wikipedia Carl R. de Boor, Carl R. de Boor (topic). Also Wikidata Q73006

History

2026-11-02: add by m2/dev

2QCWK86T4M 2QCWK86T4M

URI	`m2://inv/2QCWK86T4M`
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#KGKS (statement). In KWKY1CWG1Z/e1, lemma 6.1

History

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

Rank-maximal allocation 2QD1EYWZ6C

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

Mentions

wikipedia: Wikipedia Rank-maximal allocation, Rank-maximal allocation (definition). Also Wikidata Q65117129

History

2026-11-02: add by m2/dev

covariant tensor 2QD2E32N0H

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

Mentions

wikidata: Wikidata Q77982957, covariant tensor (unknown). Also MathWorld CovariantTensor

History

2026-10-26: add by m2/dev

Bernoulli distribution 2QD2MW0RH9

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

Mentions

wikipedia: Wikipedia List of statistics articles#NCQT, Bernoulli distribution (definition)

History

2026-11-02: add by m2/dev

2QD5XPGSMJ 2QD5XPGSMJ

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

Mentions

arxiv: arXiv 2210.16706#8JPN (statement). In JSRVKPT87E/e1, theorem

History

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

Professor of Statistical Science 2QDB1GCE8R

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

Mentions

wikipedia: Wikipedia Professor of Statistical Science (Cambridge), Professor of Statistical Science (definition). Also Wikidata Q7248229

History

2026-11-02: add by m2/dev

Conceptual idealism 2QDBN9MYMW

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

Mentions

wikipedia: Wikipedia Nicholas Rescher#FSF0, Conceptual idealism (unknown)

History

2026-11-02: add by m2/dev

Applications 2QDHG8X078

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

Mentions

wikipedia: Wikipedia Hashcash#VPJQ, Applications (example)

History

2026-11-02: add by m2/dev

2QDJW429M6 2QDJW429M6

URI	`m2://inv/2QDJW429M6`
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.36334#7YW2 (statement). In YVB70SBGN1/e1, theorem

History

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

Bach's algorithm 2QDRHGM43D

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

Mentions

wikipedia: Wikipedia Bach's algorithm, Bach's algorithm (definition). Also Wikidata Q4838668

History

2026-11-02: add by m2/dev

*{Theorem 5.41 2QDYC7A44E

URI	`m2://inv/2QDYC7A44E`
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.04876#Q8K8, *{Theorem 5.41 (statement). In 2TNAKVC0YP/e1, theorem 2.10

History

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

Exact divergence of truncation 2QDZMXV8G6

URI	`m2://inv/2QDZMXV8G6`
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.10640#R45O, Exact divergence of truncation (statement). In BAQVK6N0RD/e1, lemma 1

History

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

Einstein Institute of Mathematics 2QE3TMS7D9

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

Mentions

wikipedia: Wikipedia Einstein Institute of Mathematics, Einstein Institute of Mathematics (definition). Also Wikidata Q42873271

History

2026-11-02: add by m2/dev

2QE528GC6Z 2QE528GC6Z

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

Mentions

austin_ula: austin_ula src/section6-5.xml#ula-preview-6-5 (exercise). In 649HGZKE96, exploration, section 6.5.1

History

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

Cauchy, approximation 2QE7QC959Y

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

Mentions

hott_book: hott_book index/B.5/cauchy-approximation, Cauchy, approximation (concept). In N54F33XE07, index, section B.5

History

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

separated morphism 2QE7ZNC8HB

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

Mentions

wikidata: Wikidata Q17131030, separated morphism (definition). Also nLab separated morphism, ProofWiki Definition:Separated_Morphism_of_Schemes

History

2026-10-26: add by m2/dev

Elliott Ward Cheney Jr. 2QE8CV7AXV

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

Mentions

wikipedia: Wikipedia Elliott Ward Cheney Jr., Elliott Ward Cheney Jr. (topic). Also Wikidata Q5365739

History

2026-11-02: add by m2/dev

Example 2QECSEQB3W

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

Mentions

wikipedia: Wikipedia Bisection method#U3QD, Example (example)

History

2026-11-02: add by m2/dev

2QEFJEKGP3 2QEFJEKGP3

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

Mentions

arxiv: arXiv 2610.10930#BQCL (statement). In HX63A1PH1W/e1, proposition 5.30

History

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

Blomer--Lutsko 2QEMA927ST

URI	`m2://inv/2QEMA927ST`
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#PADL, Blomer--Lutsko (statement). In W7GPN2AHHM/e1, theorem 1.2

History

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

Definition 2QEQB5WX9F

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

Mentions

wikipedia: Wikipedia Bose–Mesner algebra#6UFR, Definition (definition)

History

2026-11-02: add by m2/dev

Arc diagram 2QES4YW8RR

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

Mentions

wikipedia: Wikipedia Arc diagram, Arc diagram (definition). Also Wikidata Q17012988

History

2026-11-02: add by m2/dev

2QEW895NGM 2QEW895NGM

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

Mentions

arxiv: arXiv 2609.20894#J91D (statement)

History

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

2QEW89FBVM 2QEW89FBVM

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

Mentions

arxiv: arXiv 2610.09599#D2ZA (statement). In 4JYGH9XNA9/e1, proposition 4.2

History

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

Exponential polynomials 2QEZH54R9G

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

Mentions

wikipedia: Wikipedia List of exponential topics#O2OU, Exponential polynomials (definition)

History

2026-11-02: add by m2/dev

Fekete's Subadditive Lemma 2QF1FCG6T0

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

Mentions

wikipedia: Wikipedia Subadditivity#LHV7, Fekete's Subadditive Lemma (statement)

History

2026-11-02: add by m2/dev

United States incarceration rate 2QF45YDWCD

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

Mentions

wikipedia: Wikipedia United States incarceration rate, United States incarceration rate (definition). Also Wikidata Q1991290

History

2026-11-02: add by m2/dev

Shigeyuki Morita 2QF88WB8Q6

URI	`m2://inv/2QF88WB8Q6`
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#V20Y, Shigeyuki Morita (unknown)

History

2026-11-02: add by m2/dev

Grace Wahba 2QFA3ZMN5G

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

Mentions

wikipedia: Wikipedia Grace Wahba, Grace Wahba (topic). Also Wikidata Q5591406

History

2026-11-02: add by m2/dev

2QFGHSHQ8H 2QFGHSHQ8H

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

Mentions

arxiv: arXiv 2610.19787#Q70U (statement). In A4VP56CT7B/e1, lemma 7.1

History

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

Néron–Severi group 2QFNAMQPG4

URI	`m2://inv/2QFNAMQPG4`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Néron–Severi group XMZ09SBM0X

Mentions

wikidata: Wikidata Q7071450, Néron–Severi group (unknown). Also EoM Néron-Severi_group, MathWorld Neron-SeveriGroup
wikipedia: Wikipedia Néron–Severi group, Néron–Severi group (definition). Also Wikidata Q7071450

History

2026-10-26: add by m2/dev

List of undecidable problems 2QFR6BTMCQ

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

Mentions

wikipedia: Wikipedia List of undecidable problems, List of undecidable problems (topic). Also Wikidata Q1962320

History

2026-11-02: add by m2/dev

2QFVNE60G6 2QFVNE60G6

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/CompleteInduction.tex#problem-3 (exercise). In P1C114YBXG, problem, section 1

History

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

Don Blasius 2QG0FSRKSP

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

Mentions

wikipedia: Wikipedia Don Blasius, Don Blasius (topic). Also Wikidata Q52618279

History

2026-11-02: add by m2/dev

Preference regression (in marketing) 2QGBTG9R34

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

Mentions

wikipedia: Wikipedia List of statistics articles#S5LD, Preference regression (in marketing) (unknown)

History

2026-11-02: add by m2/dev

Geometric tomography 2QGEQN2G3R

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

Mentions

wikipedia: Wikipedia Geometric tomography, Geometric tomography (definition). Also Wikidata Q5535498

History

2026-11-02: add by m2/dev

Adaptive bounded variables and a Poisson reference 2QGG3DN01M

URI	`m2://inv/2QGG3DN01M`
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#OHWW, Adaptive bounded variables and a Poisson reference (statement). In 9YAE8FNQST/e1, theorem 4.7

History

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

2QH8Z8C3MF 2QH8Z8C3MF

URI	`m2://inv/2QH8Z8C3MF`
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.13745#PYFH (statement). In CFJH0Q39FZ/e1, lemma 3.10

History

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

The density $d^{\plustimes}$ 2QHGECB6EJ

URI	`m2://inv/2QHGECB6EJ`
Kind	definition
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.30410#CKN1, The density $d^{\plustimes}$ (definition). In 5HZX3JVJWF/e1, definition 1.7

History

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

2QHH503MWM 2QHH503MWM

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

Mentions

arxiv: arXiv 2610.08226#AF3D (statement). In V6EPE8XHAD/e1, lemma 5.5

History

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

Mysterious duality (M-theory) 2QHKSY3EH7

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

Mentions

wikipedia: Wikipedia List of dualities#QP3C, Mysterious duality (M-theory) (definition)

History

2026-11-02: add by m2/dev

Gerhard Geise 2QHP69YJWF

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

Mentions

wikipedia: Wikipedia Gerhard Geise, Gerhard Geise (topic). Also Wikidata Q110044

History

2026-11-02: add by m2/dev

Decreasing relative risk aversion 2QHQW2S3KK

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

Mentions

wikipedia: Wikipedia Risk aversion#S16T, Decreasing relative risk aversion (unknown)

History

2026-11-02: add by m2/dev

2QHWRXA7V6 2QHWRXA7V6

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

Mentions

arxiv: arXiv 2610.03835#L2Z8 (statement). In KAYGQMQPGS/e1, proposition 2.3

History

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

2QHYD0Y6WE 2QHYD0Y6WE

URI	`m2://inv/2QHYD0Y6WE`
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.30527#G3LS (statement). In E3WQDZY388/e1, lemma 4.10

History

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

2QJ01YVS3A 2QJ01YVS3A

URI	`m2://inv/2QJ01YVS3A`
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#XOJQ (statement). In NBMA6DBKJG/e1, lemma 6.10

History

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

2QJ719XPZY 2QJ719XPZY

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

Mentions

applied_combinatorics: applied_combinatorics source/s_recurrence_solving.ptx#ex_recurrence_deg2 (example). In QKM9DD2H56, example, section 9.4.1

History

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

2QJDRHYXR6 2QJDRHYXR6

URI	`m2://inv/2QJDRHYXR6`
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.08370#PFQH (statement). In EQN3EZRZYQ/e1, lemma 5.5

History

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

Differential algebraic geometry 2QJEZ8MSH6

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#4LY9, Differential algebraic geometry (definition)

History

2026-11-02: add by m2/dev

Peetre's inequality 2QJSQWP09X

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

Mentions

wikipedia: Wikipedia Peetre's inequality, Peetre's inequality (statement). Also Wikidata Q4121034

History

2026-11-02: add by m2/dev

Theorem 2QJTDN0QC8

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

Mentions

wikipedia: Wikipedia Predictive state representation#DD3L, Theorem (statement)

History

2026-11-02: add by m2/dev

2QJXDXTHTH 2QJXDXTHTH

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

Mentions

open_logic: open_logic content/sets-functions-relations/functions/partial-functions.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 79.3

History

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

Markable ruler 2QK0FAXXRD

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

Mentions

wikipedia: Wikipedia Straightedge and compass construction#SZQ8, Markable ruler (unknown)

History

2026-11-02: add by m2/dev

Reasoning under uncertainty 2QKFK69D5S

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

Mentions

wikipedia: Wikipedia Reasoning system#NVZ9, Reasoning under uncertainty (unknown)

History

2026-11-02: add by m2/dev

List of dualities 2QKFP7AW8V

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#94DH, List of dualities (topic)

History

2026-11-02: add by m2/dev

Supersaturated homogeneous S\'ark\"ozy 2QKMEPGRF1

URI	`m2://inv/2QKMEPGRF1`
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 1806.05002#F8TO, Supersaturated homogeneous S\'ark\"ozy (statement). In JBAQ7DTW7B/e1, theorem 2.4

History

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

Example 2QKWCG0FK4

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

Mentions

wikipedia: Wikipedia Chain rule (probability)#AR5P, Example (example)

History

2026-11-02: add by m2/dev

histogram 2QKX772PSZ

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

Mentions

wikidata: Wikidata Q185020, histogram (unknown). Also MathWorld Histogram
wikipedia: Wikipedia Histogram, Histogram (definition). Also Wikidata Q185020

History

2026-10-26: add by m2/dev

2QKXDAZTTF 2QKXDAZTTF

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

Mentions

arxiv: arXiv 2610.06246#0CIN (statement). In EXZHBFRJ63/e1, lemma 4.2

History

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

2QM4954PQM 2QM4954PQM

URI	`m2://inv/2QM4954PQM`
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.20488#6FMG (statement)

History

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

2QMAM6DFFW 2QMAM6DFFW

URI	`m2://inv/2QMAM6DFFW`
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.00113#Y483 (statement). In R9PP1Y2EP4/e1, lemma 2.1

History

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

Herbert Keller 2QMB9TGY22

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

Mentions

wikipedia: Wikipedia Herbert Keller, Herbert Keller (topic). Also Wikidata Q1608589

History

2026-11-02: add by m2/dev

2QMEDS26DQ 2QMEDS26DQ

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

Mentions

arxiv: arXiv 2601.15403#W9XE (statement). In BSWNH3NW1M/e1, lemma 4.4

History

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

2QMKQJVKSB 2QMKQJVKSB

URI	`m2://inv/2QMKQJVKSB`
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.17717#V9EK (statement). In YXRKS451PK/e1, lemma A.11

History

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

Paul D. Boyer 2QMMYNWR9K

URI	`m2://inv/2QMMYNWR9K`
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#0YK3, Paul D. Boyer (unknown)

History

2026-11-02: add by m2/dev

Examples 2QMT53VVTE

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

Mentions

wikipedia: Wikipedia Cayley–Menger determinant#8TOC, Examples (example)

History

2026-11-02: add by m2/dev

Babenko–Beckner inequality 2QMT5N4CFH

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

Mentions

wikipedia: Wikipedia Babenko–Beckner inequality, Babenko–Beckner inequality (statement). Also Wikidata Q4837774

History

2026-11-02: add by m2/dev

Bulk-dissipative cover 2QMTBNT19F

URI	`m2://inv/2QMTBNT19F`
Kind	definition
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.36016#0JN0, Bulk-dissipative cover (definition). In NAM9ZMPHZ9/e1, definition B.1

History

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

Quadratic normalization 2QMTG2QQS6

URI	`m2://inv/2QMTG2QQS6`
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.30301#RUU1, Quadratic normalization (statement). In 7NS75J7HAM/e1, lemma 4.5

History

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

Liar paradox in early Islamic tradition 2QMWBWZ7BJ

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

Mentions

wikipedia: Wikipedia Liar paradox in early Islamic tradition, Liar paradox in early Islamic tradition (statement). Also Wikidata Q6540240

History

2026-11-02: add by m2/dev

2QMZWWCCWB 2QMZWWCCWB

URI	`m2://inv/2QMZWWCCWB`
Kind	definition
Layer	research
MSC	51-XX, 52-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 2610.17909#6CZD (definition). In YXZX6Z8S6A/e1, definition

History

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

depth 2QN3QH90NT

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#KAQT, depth (definition)

History

2026-11-02: add by m2/dev

Economic data 2QN6C2TZWD

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

Mentions

wikipedia: Wikipedia Economic data, Economic data (definition). Also Wikidata Q17083572

History

2026-11-02: add by m2/dev

2QNJCVWEN3 2QNJCVWEN3

URI	`m2://inv/2QNJCVWEN3`
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.00775#XEV2 (statement). In WVHA7H05QC/e1, proposition 3.5

History

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

Example 2QNWW74BTP

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

Mentions

wikipedia: Wikipedia Trachtenberg system#4Z5D, Example (example)

History

2026-11-02: add by m2/dev

Balanced matrix 2QP3RNG94X

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

Mentions

wikipedia: Wikipedia Balanced matrix, Balanced matrix (definition). Also Wikidata Q4849993

History

2026-11-02: add by m2/dev

2QP717MAJG 2QP717MAJG

URI	`m2://inv/2QP717MAJG`
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.06724#FSNH (statement). In W5XG3PGVF1/e1, corollary C.13

History

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

Multistage sampling 2QP9NYKN8T

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

Mentions

wikipedia: Wikipedia Multistage sampling, Multistage sampling (definition). Also Wikidata Q3652044

History

2026-11-02: add by m2/dev

Radical of an algebraic group 2QPAPASHKC

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

Mentions

wikipedia: Wikipedia Radical of an algebraic group, Radical of an algebraic group (definition). Also Wikidata Q7280486

History

2026-11-02: add by m2/dev

2QPF2M3KDY 2QPF2M3KDY

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/covered-structures.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 19.5

History

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

2QPN5HS655 2QPN5HS655

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

Mentions

hott_book: hott_book categories.tex#ct:gaunt (example). In N54F33XE07, eg, section 2.1

History

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

2QPNPQYJ72 2QPNPQYJ72

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

Mentions

arxiv: arXiv 2610.10078#V4CZ (statement). In YVGRZK1HRS/e1, theorem 2.5

History

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

Examples 2QPV63X9AP

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

Mentions

wikipedia: Wikipedia Multiplicatively closed set#02VZ, Examples (example)

History

2026-11-02: add by m2/dev

Construction 2QQ0A14PPP

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

Mentions

wikipedia: Wikipedia Parallel (geometry)#5YBO, Construction (definition)

History

2026-11-02: add by m2/dev

Running example continued 2QQKPEQR5Q

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

Mentions

arxiv: arXiv 2609.20656#6PFU, Running example continued (example)

History

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

2QQPTGNHF1 2QQPTGNHF1

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

Mentions

arxiv: arXiv 2609.24465#QHE6 (statement)

History

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

Great disdyakis triacontahedron 2QR080P2MC

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#ITWX, Great disdyakis triacontahedron (object)

History

2026-11-02: add by m2/dev

Properties of $\varphi$ 2QRAR2HT98

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

Mentions

arxiv: arXiv 2609.21508#MOSN, Properties of $\varphi$ (statement)

History

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

2QREG34B47 2QREG34B47

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

Mentions

arxiv: arXiv 2609.26340#MGMQ (statement)

History

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

2QRH9778FP 2QRH9778FP

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

Mentions

arxiv: arXiv 2610.01915#PAU8 (definition). In 6HJQXZS0A6/e1, definition 3.3

History

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

Term 2QRHS8VZ58

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

Mentions

wikipedia: Wikipedia Term (argumentation), Term (definition). Also Wikidata Q7702544

History

2026-11-02: add by m2/dev

2QRYG0NKXW 2QRYG0NKXW

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

Mentions

arxiv: arXiv 2610.20131#00NH (statement). In 29D4TTE3J2/e1, theorem 2.12

History

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

2QS08WA2Q1 2QS08WA2Q1

URI	`m2://inv/2QS08WA2Q1`
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.13670#4QXG (statement). In 4PGTZ19B26/e1, theorem 1.2

History

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

Positive cone of an ordered vector space 2QS0AW3KG8

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

Mentions

wikipedia: Wikipedia Ordered vector space#PJRB, Positive cone of an ordered vector space (unknown)

History

2026-11-02: add by m2/dev

2QS3JYQ8YR 2QS3JYQ8YR

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

Mentions

arxiv: arXiv 2609.33584#XI6H (statement). In 3HFBAWQCA1/e1, proposition 7.6

History

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

Nolot 2QS9KBMENN

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

Mentions

wikipedia: Wikipedia Nolot, Nolot (definition). Also Wikidata Q7048340

History

2026-11-02: add by m2/dev

The energy, variational principles and geodesics 2QSCABVZSY

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

Mentions

wikipedia: Wikipedia Metric tensor#JUU8, The energy, variational principles and geodesics (statement)

History

2026-11-02: add by m2/dev

Theorem 3 2QSE3K1TCQ

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

Mentions

wikipedia: Wikipedia Loewy decomposition#KFJZ, Theorem 3 (statement)

History

2026-11-02: add by m2/dev

Statement 2QSKWY2DXW

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

Mentions

wikipedia: Wikipedia Leray–Hirsch theorem#GYNL, Statement (statement)

History

2026-11-02: add by m2/dev

2QSM27Y2BY 2QSM27Y2BY

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

Mentions

arxiv: arXiv 2610.21093#BOYB (statement). In TBFPBPQV3G/e1, lemma 8.1

History

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

circular sector 2QT3D48QWF

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

Mentions

wikidata: Wikidata Q203435, circular sector (unknown). Also MathWorld CircularSector
wikipedia: Wikipedia Circular sector, Circular sector (definition). Also Wikidata Q203435

History

2026-10-26: add by m2/dev

André Haefliger 2QT94VARXX

URI	`m2://inv/2QT94VARXX`
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 Q118872, André Haefliger (unknown). Also nLab André Haefliger
wikipedia: Wikipedia André Haefliger, André Haefliger (topic). Also Wikidata Q118872

History

2026-10-26: add by m2/dev

Phillip A. Griffiths 2QTKRFA46S

URI	`m2://inv/2QTKRFA46S`
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#V53K, Phillip A. Griffiths (topic)

History

2026-11-02: add by m2/dev

2QTKS5ZF4F 2QTKS5ZF4F

URI	`m2://inv/2QTKS5ZF4F`
Kind	statement
Layer	research
MSC	05-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 1012.0963#BEUI (statement). In TSA766V8F8/e1, lemma 2.5

History

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

2QTPCV5XQH 2QTPCV5XQH

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

Mentions

arxiv: arXiv 2609.34458#GPAJ (statement). In 2KQ85H6MS4/e1, proposition 9

History

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

Lipschitz function 2QV88H1Y21

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

Mentions

wikipedia: Wikipedia List of types of functions#WVV0, Lipschitz function (definition)

History

2026-11-02: add by m2/dev

2QVH5NBG5E 2QVH5NBG5E

URI	`m2://inv/2QVH5NBG5E`
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.27800#UFAR (statement)

History

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

Robert Edgar Allardice 2QVKNT6414

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

Mentions

wikipedia: Wikipedia Robert Edgar Allardice, Robert Edgar Allardice (topic). Also Wikidata Q37723419

History

2026-11-02: add by m2/dev

Algorithms 2QVR0YBAZS

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

Mentions

wikipedia: Wikipedia List of polynomial topics#FQ3O, Algorithms (definition)

History

2026-11-02: add by m2/dev

Opinion polling and analysis about Islamic fundamentalism 2QVRT8C6C3

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

Mentions

wikipedia: Wikipedia Opinion polling and analysis about Islamic fundamentalism, Opinion polling and analysis about Islamic fundamentalism (definition). Also Wikidata Q24950115

History

2026-11-02: add by m2/dev

2QW5BM4YWY 2QW5BM4YWY

URI	`m2://inv/2QW5BM4YWY`
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#1OXS (statement). In X47RYAZF8P/e1, theorem 11.8

History

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

Axioms of ordered geometry 2QW9KTWT0F

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

Mentions

wikipedia: Wikipedia Ordered geometry#RH14, Axioms of ordered geometry (statement)

History

2026-11-02: add by m2/dev

Fixed causal character 2QWASRZCAR

URI	`m2://inv/2QWASRZCAR`
Kind	statement
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 2610.11911#Y9CP, Fixed causal character (statement). In 5BYE5NYB89/e1, lemma 2.13

History

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

Inverse hyperbolic cosecant 2QWBHW32YX

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#STX0, Inverse hyperbolic cosecant (definition)

History

2026-11-02: add by m2/dev

2QWF8TF366 2QWF8TF366

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

Mentions

arxiv: arXiv 2609.28677#81M7 (example)

History

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

2QWG3HQKG2 2QWG3HQKG2

URI	`m2://inv/2QWG3HQKG2`
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.39747#H1ZQ (statement). In 9H2KJ3W3JX/e1, lemma 3

History

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

Examples 2QWHT30SBM

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

Mentions

wikipedia: Wikipedia Conviction rate#P3FU, Examples (example)

History

2026-11-02: add by m2/dev

2QWK5PFSAE 2QWK5PFSAE

URI	`m2://inv/2QWK5PFSAE`
Kind	definition
Layer	research
MSC	53-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 1010.3284#QX39 (definition). In 7D3VBRZGMY/e1, definition 2.1

History

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

Biconditional elimination 2QWV89GV7E

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

Mentions

wikipedia: Wikipedia Biconditional elimination#4C67, Biconditional elimination (statement)

History

2026-11-02: add by m2/dev

2QWX0K8X71 2QWX0K8X71

URI	`m2://inv/2QWX0K8X71`
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#P07E (definition). In ESDKTYDHC8/e1, definition 23

History

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

full subcategory 2QX5MX0VY7

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

Mentions

wikidata: Wikidata Q103927515, full subcategory (unknown). Also nLab full subcategory

History

2026-10-26: add by m2/dev

2QXDT16R9H 2QXDT16R9H

URI	`m2://inv/2QXDT16R9H`
Kind	problem
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#JBQE (problem). In BDEA3TDATY/e1, problem 1.1

History

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

Tor 2QXEBR97FQ

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

Mentions

wikipedia: Wikipedia Glossary of module theory#RQ9N, Tor (definition)

History

2026-11-02: add by m2/dev

Examples 2QXED7Q8PQ

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

Mentions

wikipedia: Wikipedia Young's inequality for products#KA2N, Examples (example)

History

2026-11-02: add by m2/dev

2QXNR6AYTQ 2QXNR6AYTQ

URI	`m2://inv/2QXNR6AYTQ`
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 2602.07485#3T6P (statement). In 8KAC1E81JQ/e1, proposition 4

History

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

fixed-point property 2QXQ0S07TY

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

Mentions

hott_book: hott_book index/8.8/fixed-point-property, fixed-point property (concept). In N54F33XE07, index, section 8.8

History

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

Michigan State University 2QXRTFSQG3

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

Mentions

wikipedia: Wikipedia List of schools for quantitative psychology#LOSQ, Michigan State University (unknown)

History

2026-11-02: add by m2/dev

Adrian F. M. Smith 2QY2DSYM2Y

URI	`m2://inv/2QY2DSYM2Y`
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#ULLP, Adrian F. M. Smith (topic)

History

2026-11-02: add by m2/dev

Seifert pairing 2QY62X6CYC

URI	`m2://inv/2QY62X6CYC`
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 2311.01874#11O7, Seifert pairing (definition). In A4TR95VGX2/e1, definition 5

History

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

2QY7J05TZS 2QY7J05TZS

URI	`m2://inv/2QY7J05TZS`
Kind	statement
Layer	research
MSC	46-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.10329#CWVN (statement). In SCSTR1Q1BW/e1, proposition 2.10

History

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

2QYS1MVNAS 2QYS1MVNAS

URI	`m2://inv/2QYS1MVNAS`
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 2209.01576#JQA7 (statement). In EF0X4TKTR4/e1, proposition 2.3

History

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

Flattening bounds and localization 2QYVS6DW4P

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

Mentions

arxiv: arXiv 2610.03633#T26U, Flattening bounds and localization (statement). In X3E4D61X4V/e1, lemma A.3

History

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

Arithmetic encoding 2QYVSRCSDQ

URI	`m2://inv/2QYVSRCSDQ`
Kind	definition
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.11031#BA5I, Arithmetic encoding (definition). In 9DMJXFRQN9/e1, definition 2.5

History

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

Frontal solver 2QYXQBHPXX

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

Mentions

wikipedia: Wikipedia Frontal solver, Frontal solver (definition). Also Wikidata Q5505913

History

2026-11-02: add by m2/dev

Effective divisibility and divisibility chains 2QYXQGJ2KY

URI	`m2://inv/2QYXQGJ2KY`
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.33794#SDGI, Effective divisibility and divisibility chains (statement). In W0PQMW25VY/e1, corollary 3.10

History

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

Theorem 2QYZHXMN35

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

Mentions

wikipedia: Wikipedia Chebyshev–Markov–Stieltjes inequalities#NXDZ, Theorem (statement)

History

2026-11-02: add by m2/dev

2QZ34G82T4 2QZ34G82T4

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

Mentions

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

History

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

Natural proof 2QZ4VJFRY6

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

Mentions

wikipedia: Wikipedia Natural proof, Natural proof (definition). Also Wikidata Q6980761

History

2026-11-02: add by m2/dev

2QZE1YJGCB 2QZE1YJGCB

URI	`m2://inv/2QZE1YJGCB`
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 2411.13671#XDWH (statement). In PN02WN5AA6/e1, theorem 2

History

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

Corollary 1 2QZG7WTZKH

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

Mentions

wikipedia: Wikipedia Permutation code#0IBO, Corollary 1 (statement)

History

2026-11-02: add by m2/dev

2QZRDB0NQ5 2QZRDB0NQ5

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

Mentions

arxiv: arXiv 2609.40191#I5DP (statement). In F0D8VSM4Z4/e1, lemma 6.5

History

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