Inventory rows B0

B000TB9VSA B000TB9VSA

URI	`m2://inv/B000TB9VSA`
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.01354#6LZ6 (statement). In BWD76W20W8/e1, corollary 6.8

History

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

B00551R3QQ B00551R3QQ

URI	`m2://inv/B00551R3QQ`
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.33557#TW92 (statement). In 95YZVAPGJA/e1, lemma 4.3

History

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

Uniform asymptotics of the clipped problem B00822V1KX

URI	`m2://inv/B00822V1KX`
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.11309#4XX6, Uniform asymptotics of the clipped problem (statement). In TTEAQA1XXR/e1, lemma C.9

History

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

Characterizations B008VWDD08

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

Mentions

wikipedia: Wikipedia Perfect matching#X3U1, Characterizations (statement)

History

2026-11-02: add by m2/dev

Extensions of Fisher's method B00BAN72QQ

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

Mentions

wikipedia: Wikipedia Extensions of Fisher's method, Extensions of Fisher's method (definition). Also Wikidata Q5421963

History

2026-11-02: add by m2/dev

Helge Holden B00G9JCDXP

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#SLFY, Helge Holden (topic)

History

2026-11-02: add by m2/dev

B00XVSFDHF B00XVSFDHF

URI	`m2://inv/B00XVSFDHF`
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 0804.2115#5PZA (statement). In B9XACVAC6X/e1, theorem 4.5

History

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

Statement B00YE7PRNS

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

Mentions

wikipedia: Wikipedia Gluing schemes#K2RQ, Statement (statement)

History

2026-11-02: add by m2/dev

B010HGYTZZ B010HGYTZZ

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

Mentions

arxiv: arXiv 2609.38068#PKUM (statement). In 67GE5M1GGD/e1, corollary 5.18

History

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

B012A4HTDQ B012A4HTDQ

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

Mentions

arxiv: arXiv 2610.20758#C5MN (definition). In PG0B4PH9YH/e1, definition 2.21

History

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

GLR parser B014T5185P

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

Mentions

wikipedia: Wikipedia List of algorithms#OQ04, GLR parser (unknown)

History

2026-11-02: add by m2/dev

Glauber dynamics B016BA483C

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

Mentions

wikipedia: Wikipedia Glauber dynamics, Glauber dynamics (definition). Also Wikidata Q72148753

History

2026-11-02: add by m2/dev

group B018THG7P5

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

Mentions

applied_combinatorics: applied_combinatorics index/15.2/group, group (concept). In QKM9DD2H56, index, section 15.2

History

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

B01JEES5ZN B01JEES5ZN

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

Mentions

arxiv: arXiv 2610.14450#5O4D (definition). In ZHTGQT07PE/e1, definition 2.3

History

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

Coupling B01KAXPYKJ

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

Mentions

arxiv: arXiv 2610.08280#P0AT, Coupling (statement). In EGADPYP7R3/e1, lemma 3.2

History

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

Aleksandr Lyapunov B022YY1QYK

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#QWIG, Aleksandr Lyapunov (topic)

History

2026-11-02: add by m2/dev

Theorem B0250YG6S9

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

Mentions

wikipedia: Wikipedia Weyl algebra#A25Y, Theorem (statement)

History

2026-11-02: add by m2/dev

B02C1X9NER B02C1X9NER

URI	`m2://inv/B02C1X9NER`
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.02628#D838 (statement). In G4S9C5M1A4/e1, theorem 7.1

History

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

B02CEWXGKG B02CEWXGKG

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

Mentions

arxiv: arXiv 2610.12188#QUQZ (statement). In 52HWCGK5QJ/e1, corollary 5.3

History

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

B02DHBN4T7 B02DHBN4T7

URI	`m2://inv/B02DHBN4T7`
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.01946#SVC3 (statement). In NB1Z31FMXN/e1, theorem 5.2

History

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

Number sense B02ESYBEVC

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

Mentions

wikipedia: Wikipedia Number sense, Number sense (definition). Also Wikidata Q3663819

History

2026-11-02: add by m2/dev

Example B02EXPRKTE

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

Mentions

wikipedia: Wikipedia Limit comparison test#Q0M4, Example (example)

History

2026-11-02: add by m2/dev

Recursive least squares filter B02JJ54KM6

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

Mentions

wikipedia: Wikipedia Recursive least squares filter, Recursive least squares filter (definition). Also Wikidata Q2835868

History

2026-11-02: add by m2/dev

Mean square quantization error B02MEGHSPX

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

Mentions

wikipedia: Wikipedia Mean square quantization error, Mean square quantization error (definition). Also Wikidata Q16890402

History

2026-11-02: add by m2/dev

ramification group B02P8C2CMV

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#Y0N4, ramification group (definition)

History

2026-11-02: add by m2/dev

Applications B02S455NX6

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

Mentions

wikipedia: Wikipedia Trigonometric functions#E1OK, Applications (example)

History

2026-11-02: add by m2/dev

Charles Henry Sampson B02VBEEYQY

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

Mentions

wikipedia: Wikipedia Charles Henry Sampson, Charles Henry Sampson (topic). Also Wikidata Q94968355

History

2026-11-02: add by m2/dev

B02XVJM9EJ B02XVJM9EJ

URI	`m2://inv/B02XVJM9EJ`
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.08664#486Q (statement). In 1YY0P4ZS0T/e1, proposition 2

History

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

Every fixed slope interval below one B033J09026

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

Mentions

arxiv: arXiv 2610.05652#4IP0, Every fixed slope interval below one (statement). In 8BNPFYQDQX/e1, corollary 5.6

History

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

B0371PHXSJ B0371PHXSJ

URI	`m2://inv/B0371PHXSJ`
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.33953#1GJY (statement). In QS8R9BEJ8N/e1, theorem 5.1

History

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

B0375MRRYS B0375MRRYS

URI	`m2://inv/B0375MRRYS`
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.21635#6JZ1 (statement). In BVA5MGH9FK/e1, theorem 1

History

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

B03BV5YGQ1 B03BV5YGQ1

URI	`m2://inv/B03BV5YGQ1`
Kind	statement
Layer	research
MSC	37-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.16640#A0H6 (statement). In DEVX71G2ZK/e1, proposition 2.4

History

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

Slater's condition B03K6XAAVK

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

Mentions

wikipedia: Wikipedia Slater's condition, Slater's condition (definition). Also Wikidata Q7538885

History

2026-11-02: add by m2/dev

Examples B03RE0W6VT

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

Mentions

wikipedia: Wikipedia Differentiable stack#BOJW, Examples (example)

History

2026-11-02: add by m2/dev

Predictive state completion B03V8NM5Q7

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

Mentions

arxiv: arXiv 2610.13951#AF86, Predictive state completion (statement). In BDV8G2CV16/e1, statement 15

History

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

double category B03WASTEND

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

Mentions

wikidata: Wikidata Q99613675, double category (unknown). Also nLab double category
wikipedia: Wikipedia Double category, Double category (definition). Also Wikidata Q99613675

History

2026-10-26: add by m2/dev

B04C2MGW6N B04C2MGW6N

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

Mentions

arxiv: arXiv 2609.24917#GEVX (statement)

History

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

B04CDV5855 B04CDV5855

URI	`m2://inv/B04CDV5855`
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 2609.28189#E02K (statement)

History

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

Spectral theory of ordinary differential equations B04DPN47TF

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#H7FV, Spectral theory of ordinary differential equations (definition)

History

2026-11-02: add by m2/dev

Projective frame B04ENNQNWQ

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#FWGH, Projective frame (definition)

History

2026-11-02: add by m2/dev

Diane Souvaine B04H1ZQEGJ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#G3U2, Diane Souvaine (unknown)

History

2026-11-02: add by m2/dev

B04H30EMZW B04H30EMZW

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-32 (exercise). In E59CDZA4DP, exercise, section 11.2.4

History

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

21 B04NMCFR10

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

Mentions

wikipedia: Wikipedia List of films about mathematicians#IK3V, 21 (unknown)

History

2026-11-02: add by m2/dev

smooth or analytic manifold (with boundary and corners) B04P6SYJJK

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

Mentions

mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > smooth or analytic manifold (with boundary and corners), smooth or analytic manifold (with boundary and corners) (unknown). Also Mathlib IsManifold

History

2026-10-26: add by m2/dev

B053NZNKJG B053NZNKJG

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

Mentions

open_logic: open_logic content/sets-functions-relations/size-of-sets/pairing.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 83.11

History

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

B05AK51GXX B05AK51GXX

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

Mentions

arxiv: arXiv 2510.12502#4BKX (statement). In 3A4K47Y9F2/e1, lemma 6.20

History

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

Notation B05JKWXHGY

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

Mentions

wikipedia: Wikipedia Partial derivative#2SAI, Notation (definition)

History

2026-11-02: add by m2/dev

Other analytical theorems B05T082R5R

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

Mentions

wikipedia: Wikipedia Karl Weierstrass#K9LI, Other analytical theorems (statement)

History

2026-11-02: add by m2/dev

B05XQ4AC0G B05XQ4AC0G

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

Mentions

arxiv: arXiv 2609.31249#L1KR (statement). In RAVR2W9S0B/e1, proposition 4.1

History

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

Institute of Actuaries of France B05Y2K4BXX

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

Mentions

wikipedia: Wikipedia Institute of Actuaries of France, Institute of Actuaries of France (definition). Also Wikidata Q6039814

History

2026-11-02: add by m2/dev

Euler's criterion B062KBPB58

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

Mentions

wikipedia: Wikipedia List of topics named after Leonhard Euler#S7H2, Euler's criterion (statement)

History

2026-11-02: add by m2/dev

Georges Charpak B067Q4QME5

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#XMC6, Georges Charpak (unknown)

History

2026-11-02: add by m2/dev

B06C6MSEFK B06C6MSEFK

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

Mentions

open_logic: open_logic content/model-theory/models-of-arithmetic/non-standard-models.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 49.3

History

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

Picard–Lindelöf theorem B06EKK5ZST

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

Mentions

wikipedia: Wikipedia List of theorems#K5CU, Picard–Lindelöf theorem (unknown)

History

2026-11-02: add by m2/dev

Mohammed ibn Abdun al-Jabali B06JGM8D3M

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

Mentions

wikipedia: Wikipedia Mohammed ibn Abdun al-Jabali, Mohammed ibn Abdun al-Jabali (topic). Also Wikidata Q16846306

History

2026-11-02: add by m2/dev

B06N1YMWAG B06N1YMWAG

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

Mentions

arxiv: arXiv 2610.16492#SX8A (statement). In XQZ3X5A955/e1, lemma 5.1

History

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

cellular homology B070NRQC3R

URI	`m2://inv/B070NRQC3R`
Kind	topic
Layer	textbook
Sources	2
Outcome	open
Node	Cellular homology W4DG4WCQ5W

Mentions

wikidata: Wikidata Q3139849, cellular homology (unknown). Also nLab cellular homology
wikipedia: Wikipedia Cellular homology, Cellular homology (topic). Also Wikidata Q3139849

History

2026-10-26: add by m2/dev

Example B075KPDC2G

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

Mentions

wikipedia: Wikipedia Heaviside cover-up method#03L1, Example (example)

History

2026-11-02: add by m2/dev

Graph operations B075VYENGG

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

Mentions

wikipedia: Wikipedia Graph operations, Graph operations (definition). Also Wikidata Q1028355

History

2026-11-02: add by m2/dev

B07CWM1JFH B07CWM1JFH

URI	`m2://inv/B07CWM1JFH`
Kind	statement
Layer	research
MSC	17-XX, 46-XX, 47-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.10377#LDU7 (statement). In 6HP7BR9WZM/e1, lemma 4.4

History

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

Henry Russell Sanders B07G6XJQ07

URI	`m2://inv/B07G6XJQ07`
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#IHDD, Henry Russell Sanders (unknown)

History

2026-11-02: add by m2/dev

Gamma function B07JWF1XE7

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

Mentions

wikipedia: Wikipedia Lists of integrals#DKLT, Gamma function (definition)

History

2026-11-02: add by m2/dev

Yuri Manin B07X8Y6WSP

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

Mentions

wikipedia: Wikipedia List of geometers#GS8P, Yuri Manin (topic)

History

2026-11-02: add by m2/dev

monadic relation B080F6VRYA

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

Mentions

wikipedia: Wikipedia Glossary of logic#I2NT, monadic relation (definition)

History

2026-11-02: add by m2/dev

B087J3WX69 B087J3WX69

URI	`m2://inv/B087J3WX69`
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.36594#L5L5 (statement). In 8JDQ9FWFRK/e1, theorem 3

History

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

B0885ZJA0T B0885ZJA0T

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

Mentions

arxiv: arXiv 2609.35323#4RVD (statement). In 5CKPXBWSCX/e1, lemma 2.3

History

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

conductor B08D466WCZ

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

Mentions

wikipedia: Wikipedia Glossary of number theory#ZMLI, conductor (definition)

History

2026-11-02: add by m2/dev

Basic properties B08GJPMNP4

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

Mentions

wikipedia: Wikipedia Measure (mathematics)#5W6B, Basic properties (statement)

History

2026-11-02: add by m2/dev

B08H91EJXD B08H91EJXD

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#prop:topology:intervals:openclosed (statement). In E59CDZA4DP, prop, section 4.2.1

History

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

B08KD76SC9 B08KD76SC9

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

Mentions

arxiv: arXiv 2609.21053#CNYC (definition)

History

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

Runze Li B092Y728H3

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#A0XY, Runze Li (unknown)

History

2026-11-02: add by m2/dev

B095DNZ26Q B095DNZ26Q

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

Mentions

arxiv: arXiv 2609.28824#R8JC (statement)

History

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

B09718JV4Z B09718JV4Z

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

Mentions

arxiv: arXiv 2610.13103#1YHX (statement). In GG2ZZV6KEQ/e1, lemma 2.3

History

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

Nice name B09BNHMEW1

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

Mentions

wikipedia: Wikipedia Nice name, Nice name (definition). Also Wikidata Q17047668

History

2026-11-02: add by m2/dev

Runcinated 16-cell honeycomb B09FEJHYEY

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

Mentions

wikipedia: Wikipedia Runcinated 16-cell honeycomb, Runcinated 16-cell honeycomb (definition). Also Wikidata Q17078240

History

2026-11-02: add by m2/dev

Fermat's theorem on sums of two squares B09NBFQBSH

URI	`m2://inv/B09NBFQBSH`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	6
Outcome	node (a node has the same Wikidata item as the row)
Node	Fermat's theorem on sums of two squares 043B3ENSTY

Mentions

mathlib_100: mathlib_100 20, All Primes (1 mod 4) Equal the Sum of Two Squares (statement). Also Mathlib Nat.Prime.sq_add_sq
mathlib_1000: mathlib_1000 Q914517, Fermat's theorem on sums of two squares (statement). Also Mathlib Nat.Prime.sq_add_sq, Wikidata Q914517
mathlib_overview: mathlib_overview General algebra > Number theory > sum of two squares, sum of two squares (unknown). Also Mathlib Nat.Prime.sq_add_sq
thousand_plus: thousand_plus Q914517, Fermat's theorem on sums of two squares (statement). Also Mathlib Nat.Prime.sq_add_sq, Wikidata Q914517, Wikipedia Fermat's theorem on sums of two squares
wikidata: Wikidata Q914517, Fermat's theorem on sums of two squares (statement). Also MathWorld Fermats4nPlus1Theorem
wikipedia: Wikipedia Fermat's theorem on sums of two squares, Fermat's theorem on sums of two squares (statement). Also Wikidata Q914517

History

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

Original conjecture B09R907X3X

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

Mentions

wikipedia: Wikipedia Elliott–Halberstam conjecture#ZGLH, Original conjecture (statement)

History

2026-11-02: add by m2/dev

B09SW91RX8 B09SW91RX8

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

Mentions

arxiv: arXiv 2610.09300#5UC3 (statement). In JP589KS01S/e1, lemma 2.5

History

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

B09X5YM2K1 B09X5YM2K1

URI	`m2://inv/B09X5YM2K1`
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 2108.09548#H8T1 (statement). In 6D6C14KFGJ/e1, theorem 3.2

History

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

B09XJCWHE4 B09XJCWHE4

URI	`m2://inv/B09XJCWHE4`
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.08912#LMCP (statement). In DK5QY64NGH/e1, lemma 5.4

History

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

B09Y711M1K B09Y711M1K

URI	`m2://inv/B09Y711M1K`
Kind	statement
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.26134#2G6B (statement)

History

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

Simple example B0ACNB9N7Z

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

Mentions

wikipedia: Wikipedia Unramified morphism#TTOR, Simple example (example)

History

2026-11-02: add by m2/dev

B0AFWT4SZM B0AFWT4SZM

URI	`m2://inv/B0AFWT4SZM`
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.22237#LRWR (statement). In 2FWTWMHA2W/e1, theorem 6.1

History

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

Circular convolution theorem and cross-correlation theorem B0AGVD8MT9

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

Mentions

wikipedia: Wikipedia Discrete Fourier transform#7URX, Circular convolution theorem and cross-correlation theorem (statement)

History

2026-11-02: add by m2/dev

Karen E. Smith B0AK0GVNNW

URI	`m2://inv/B0AK0GVNNW`
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#CFM7, Karen E. Smith (topic)

History

2026-11-02: add by m2/dev

B0AQCMQ50Z B0AQCMQ50Z

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

Mentions

arxiv: arXiv 2609.25167#AOKS (statement)

History

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

Applications B0AWB7GQSJ

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

Mentions

wikipedia: Wikipedia Vector autoregression#WKF8, Applications (example)

History

2026-11-02: add by m2/dev

B0AXAZWFE2 B0AXAZWFE2

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

Mentions

arxiv: arXiv 2610.19023#YDVT (statement). In QFA8TMJPHZ/e1, lemma 5.1

History

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

Verena Huber-Dyson B0B5VHG3SG

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

Mentions

wikipedia: Wikipedia Verena Huber-Dyson, Verena Huber-Dyson (topic). Also Wikidata Q16089753

History

2026-11-02: add by m2/dev

Hodges–Lehmann estimator B0B9BT9XYF

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

Mentions

wikipedia: Wikipedia List of statistics articles#5VEM, Hodges–Lehmann estimator (definition)

History

2026-11-02: add by m2/dev

B0BC1DDJZE B0BC1DDJZE

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

Mentions

arxiv: arXiv 2609.32916#F8R1 (statement). In G1RP4JY5PE/e1, lemma 4.1.1

History

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

B0BF0E7SGF B0BF0E7SGF

URI	`m2://inv/B0BF0E7SGF`
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 math/0411039#ZW9N (statement). In ZTBDXSKFFW/e1, lemma 9.4

History

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

Solution of the quintic B0BHDHFJCG

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

Mentions

wikipedia: Wikipedia Quintic equation#8XD0, Solution of the quintic (unknown)

History

2026-11-02: add by m2/dev

Gromov–Hausdorff convergence B0BHK6M4WG

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

Mentions

wikipedia: Wikipedia List of things named after Felix Hausdorff#W0UF, Gromov–Hausdorff convergence (definition)

History

2026-11-02: add by m2/dev

Four runs B0BK033A62

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

Mentions

arxiv: arXiv 2610.03763#UXHX, Four runs (statement). In ARZ4X5PXXC/e1, lemma 4.3

History

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

Examples B0BKXB3NF2

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

Mentions

wikipedia: Wikipedia Calkin correspondence#4TBD, Examples (example)

History

2026-11-02: add by m2/dev

Tadeusz Czeżowski B0BNQWE02M

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

Mentions

wikipedia: Wikipedia Tadeusz Czeżowski, Tadeusz Czeżowski (topic). Also Wikidata Q935981

History

2026-11-02: add by m2/dev

tightness B0BP090C25

URI	`m2://inv/B0BP090C25`
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.10408#JWP1, tightness (statement). In H976NYKBNT/e1, proposition 7

History

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

Extensions B0BQCAYKDH

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

Mentions

wikipedia: Wikipedia Vector-valued Hahn–Banach theorems#BRA7, Extensions (statement)

History

2026-11-02: add by m2/dev

The F\o lner function B0BWHN1QZ8

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

Mentions

arxiv: arXiv 2610.04271#IYZW, The F\o lner function (statement). In WBXAW9G4JB/e1, proposition 7.3

History

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

B0BX563PTP B0BX563PTP

URI	`m2://inv/B0BX563PTP`
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 2610.21388#E059 (definition). In 3X4E9KSVWV/e1, definition 2.1

History

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

B0CCF0E6NV B0CCF0E6NV

URI	`m2://inv/B0CCF0E6NV`
Kind	example
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 2501.18744#T4MW (example). In YRWZ02BGEF/e1, example 3.2

History

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

Structural equation modeling B0CM30ECWQ

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

Mentions

wikipedia: Wikipedia Structural equation modeling, Structural equation modeling (definition). Also Wikidata Q1476639

History

2026-11-02: add by m2/dev

B0CN4PBSGF B0CN4PBSGF

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

Mentions

arxiv: arXiv 2609.40138#MJ4X (definition). In R60HR493TS/e1, definition 3.5

History

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

Extension to Inequality Constraints B0CZPMGF3W

URI	`m2://inv/B0CZPMGF3W`
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.19181#VHXT, Extension to Inequality Constraints (statement). In 69EG01Q2TR/e1, corollary 1

History

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

Formal statement B0D4Q36DQJ

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

Mentions

wikipedia: Wikipedia Smn theorem#N92J, Formal statement (statement)

History

2026-11-02: add by m2/dev

Beth Katleman B0DC9QQ6H3

URI	`m2://inv/B0DC9QQ6H3`
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#R3B1, Beth Katleman (unknown)

History

2026-11-02: add by m2/dev

Bellman–Ford algorithm B0DEV70VH6

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#2DFZ, Bellman–Ford algorithm (definition)

History

2026-11-02: add by m2/dev

Mlecchita vikalpa B0DJGS9PA8

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

Mentions

wikipedia: Wikipedia Mlecchita vikalpa, Mlecchita vikalpa (definition). Also Wikidata Q7917184

History

2026-11-02: add by m2/dev

Properties B0DP7K0S8G

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

Mentions

wikipedia: Wikipedia Dual norm#8KYJ, Properties (statement)

History

2026-11-02: add by m2/dev

B0DTE6ZWC1 B0DTE6ZWC1

URI	`m2://inv/B0DTE6ZWC1`
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.13833#ZCE7 (statement). In VD4JP4HVBX/e1, theorem 10.3

History

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

B0DVRA1W9A B0DVRA1W9A

URI	`m2://inv/B0DVRA1W9A`
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.21972#6Q1F (statement)

History

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

Logarithm transformation B0DZSARW07

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

Mentions

wikipedia: Wikipedia Data transformation (statistics)#ASH6, Logarithm transformation (unknown)

History

2026-11-02: add by m2/dev

Negami and Nakamoto, Lemma 9 B0E3EAVYZH

URI	`m2://inv/B0E3EAVYZH`
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.06300#A8JA, Negami and Nakamoto, Lemma 9 (statement). In 751KSRS7WT/e1, lemma 4.1

History

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

Hindley–Milner type inference algorithm B0E6NR6964

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

Mentions

wikipedia: Wikipedia List of algorithms#KF7J, Hindley–Milner type inference algorithm (definition)

History

2026-11-02: add by m2/dev

Interpretability B0E9BE56XP

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#Y98M, Interpretability (definition)

History

2026-11-02: add by m2/dev

Proposition 1 B0ECWXAY4J

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

Mentions

wikipedia: Wikipedia Monotone comparative statics#83AP, Proposition 1 (statement)

History

2026-11-02: add by m2/dev

B0EE26Z1WX B0EE26Z1WX

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

Mentions

arxiv: arXiv 2609.38030#WM9E (definition). In XYYEJN00D8/e1, definition 2.6

History

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

B0EMQJ94E7 B0EMQJ94E7

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

Mentions

arxiv: arXiv 2609.36321#4LMA (statement). In 3KTZ6Z615H/e1, lemma 3.18

History

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

B0ERATX706 B0ERATX706

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

Mentions

wikipedia: Wikipedia Accretion disk#RXP1 (problem)

History

2026-11-02: add by m2/dev

B0ERWT7BM1 B0ERWT7BM1

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

Mentions

arxiv: arXiv 2610.20285#ATPR (statement). In RQA728RB77/e1, proposition 25

History

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

Balian–Low theorem B0EY8MS3ZQ

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

Mentions

wikipedia: Wikipedia List of theorems#FTQV, Balian–Low theorem (statement)

History

2026-11-02: add by m2/dev

Shallow approximation lower bound, ResNet pushforward B0EZJEKM1Z

URI	`m2://inv/B0EZJEKM1Z`
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.10875#0AP3, Shallow approximation lower bound, ResNet pushforward (statement). In N91F15MHW1/e1, theorem 4

History

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

AMS-LaTeX B0F6Q2W23M

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

Mentions

wikipedia: Wikipedia AMS-LaTeX, AMS-LaTeX (definition). Also Wikidata Q295299

History

2026-11-02: add by m2/dev

Kynea number B0F6ZX3EWX

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

Mentions

wikidata: Wikidata Q1122670, Kynea number (object). Also OEIS A093069

History

2026-10-26: add by m2/dev

MathML B0FADCZHPZ

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#0IBH, MathML (definition)

History

2026-11-02: add by m2/dev

B0FAWNWN22 B0FAWNWN22

URI	`m2://inv/B0FAWNWN22`
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#YRGK (statement). In BSWNH3NW1M/e1, lemma 9.33

History

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

B0FE2EHR49 B0FE2EHR49

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

Mentions

arxiv: arXiv 2610.17863#F900 (statement). In Y8XQT02BBF/e1, lemma 4.1

History

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

B0FKB8VET1 B0FKB8VET1

URI	`m2://inv/B0FKB8VET1`
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.18775#GRLH (statement). In Y2Y96TTDQ4/e1, theorem 1.1

History

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

Convective available potential energy B0FTKC8B4W

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

Mentions

wikipedia: Wikipedia Convective available potential energy, Convective available potential energy (definition). Also Wikidata Q1129355

History

2026-11-02: add by m2/dev

discrete measure B0FXQHVXW2

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

Mentions

wikidata: Wikidata Q3859392, discrete measure (definition). Also EoM Discrete_measure, ProofWiki Definition:Discrete_Measure
wikipedia: Wikipedia Discrete measure, Discrete measure (definition). Also Wikidata Q3859392

History

2026-10-26: add by m2/dev

B0G0EK3FMW B0G0EK3FMW

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

Mentions

arxiv: arXiv 2610.08074#40T0 (statement). In ZRPYF750AV/e1, lemma 7.4

History

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

pointfree topology B0G1AA29HT

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

Mentions

hott_book: hott_book index/B.5/pointfree-topology, pointfree topology (concept). In N54F33XE07, index, section B.5

History

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

Special cases B0GC9HVXTH

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

Mentions

wikipedia: Wikipedia Hyperoperation#RYWD, Special cases (statement)

History

2026-11-02: add by m2/dev

En B0GCVATSRX

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

Mentions

wikipedia: Wikipedia En (Lie algebra), En (definition). Also Wikidata Q5374950

History

2026-11-02: add by m2/dev

B0GK4EZEZM B0GK4EZEZM

URI	`m2://inv/B0GK4EZEZM`
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.38118#X31R (statement). In K4KKTYYKKH/e1, lemma 4

History

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

Fundamental lemma of sieve theory B0GR83HCWP

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

Mentions

wikipedia: Wikipedia Fundamental lemma of sieve theory, Fundamental lemma of sieve theory (statement). Also Wikidata Q5508962

History

2026-11-02: add by m2/dev

Examples B0H1S4CMG2

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

Mentions

wikipedia: Wikipedia Lumer–Phillips theorem#U6DT, Examples (example)

History

2026-11-02: add by m2/dev

FreeMat B0H23QGAKP

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#VPQB, FreeMat (unknown)

History

2026-11-02: add by m2/dev

Example B0H8B5HE91

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

Mentions

wikipedia: Wikipedia Ackermann's formula#C659, Example (example)

History

2026-11-02: add by m2/dev

B0HF1503FG B0HF1503FG

URI	`m2://inv/B0HF1503FG`
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 2403.01959#SSOY (definition). In 5YMNGJRC6Y/e1, definition 4.1

History

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

B0HG5JHKWC B0HG5JHKWC

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

Mentions

arxiv: arXiv 2609.24041#8M6Z (statement)

History

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

B0HGFGSF7S B0HGFGSF7S

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

Mentions

arxiv: arXiv 2609.24577#IE0B (statement)

History

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

complex polynomial B0HJTE0T88

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

Mentions

wikidata: Wikidata Q120493782, complex polynomial (unknown). Also MathWorld ComplexPolynomial

History

2026-10-26: add by m2/dev

Examples B0HMN8N05B

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

Mentions

wikipedia: Wikipedia Kan fibration#HEJI, Examples (example)

History

2026-11-02: add by m2/dev

Algorithms B0HNY25XXH

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

Mentions

wikipedia: Wikipedia Discrete tomography#OPCU, Algorithms (definition)

History

2026-11-02: add by m2/dev

Anita Schöbel B0HPNAVYH4

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

Mentions

wikipedia: Wikipedia Anita Schöbel, Anita Schöbel (topic). Also Wikidata Q66058197

History

2026-11-02: add by m2/dev

B0HPVZW3V8 B0HPVZW3V8

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

Mentions

active_calculus: active_calculus source/sec-5-4-parts.xml#example-2 (example). In 907G4C4EJ1, example, section 5.4.4

History

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

Lump of labour fallacy B0HXP93S69

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

Mentions

wikipedia: Wikipedia List of fallacies#C5WW, Lump of labour fallacy (unknown)

History

2026-11-02: add by m2/dev

B0J587HRCP B0J587HRCP

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

Mentions

arxiv: arXiv 2609.20718#BQ17 (statement)

History

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

B0JB7WS7T1 B0JB7WS7T1

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#problem-4 (exercise). In P1C114YBXG, problem, section D

History

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

Littlewood conjecture B0JDKZEYC0

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

Mentions

wikipedia: Wikipedia List of number theory topics#GCBV, Littlewood conjecture (conjecture)

History

2026-11-02: add by m2/dev

B0JQ9S1TG6 B0JQ9S1TG6

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

Mentions

hott_book: hott_book equivalences.tex#weakfunext (definition). In N54F33XE07, defn, section 3.9

History

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

B0JW6XFWEA B0JW6XFWEA

URI	`m2://inv/B0JW6XFWEA`
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.20568#TWM9 (statement). In BCD0ATARNZ/e1, theorem 1.2

History

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

B0KAGZEWVA B0KAGZEWVA

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

Mentions

arxiv: arXiv 2609.25167#2462 (unknown)

History

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

Examples B0KECNJRTP

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

Mentions

wikipedia: Wikipedia Quotient graph#D667, Examples (example)

History

2026-11-02: add by m2/dev

Heisenberg's uncertainty principle B0KFC3MEVB

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

Mentions

wikipedia: Wikipedia De Broglie–Bohm theory#I5VT, Heisenberg's uncertainty principle (statement)

History

2026-11-02: add by m2/dev

Ordination B0KK4R9A3E

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

Mentions

wikipedia: Wikipedia Ordination (statistics), Ordination (definition). Also Wikidata Q2029312

History

2026-11-02: add by m2/dev

Construction B0KZWTFHQK

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

Mentions

wikipedia: Wikipedia Hexagon#DHHJ, Construction (definition)

History

2026-11-02: add by m2/dev

B0MCCZ3Z6D B0MCCZ3Z6D

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#example-2 (example). In E59CDZA4DP, example, section 11.1.1

History

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

Joseph Weber B0MPJ7PY0M

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#GDMN, Joseph Weber (unknown)

History

2026-11-02: add by m2/dev

B0MQBY44YD B0MQBY44YD

URI	`m2://inv/B0MQBY44YD`
Kind	statement
Layer	research
MSC	03-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.01919#68IV (statement). In 4H727T2YAS/e1, proposition 3.2

History

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

B0MSZXMDB0 B0MSZXMDB0

URI	`m2://inv/B0MSZXMDB0`
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 2209.08186#BT8U (statement). In X6VGVPQH8V/e1, theorem 5.2

History

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

Thomas Hartwig Wolff B0MTDWDCPY

URI	`m2://inv/B0MTDWDCPY`
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#328R, Thomas Hartwig Wolff (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QLQ0, Thomas Hartwig Wolff (topic)

History

2026-11-02: add by m2/dev

B0MTX2BSPE B0MTX2BSPE

URI	`m2://inv/B0MTX2BSPE`
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.18205#41ZM (statement). In Y37VAPDKE4/e1, proposition 4

History

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

B0MVX8RZN8 B0MVX8RZN8

URI	`m2://inv/B0MVX8RZN8`
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.23258#HW08 (statement)

History

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

B0MWZFMCVB B0MWZFMCVB

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

Mentions

napkin: napkin tex/diffgeo/forms.tex#definition-1 (definition). In RZP28ERRZV, definition, section 43.1

History

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

Bending of plates B0N89F5A02

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

Mentions

wikipedia: Wikipedia Bending of plates, Bending of plates (definition). Also Wikidata Q17004830

History

2026-11-02: add by m2/dev

B0NDAXWYWH B0NDAXWYWH

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

Mentions

napkin: napkin tex/alg-geom/spec-zariski.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 28.3

History

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

Qualitative forecasting B0NJWTV6KP

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

Mentions

wikipedia: Wikipedia Forecasting#54UD, Qualitative forecasting (unknown)

History

2026-11-02: add by m2/dev

Cox, David B0NPZGACGS

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

Mentions

wikipedia: Wikipedia List of statisticians#R7TH, Cox, David (topic)

History

2026-11-02: add by m2/dev

B0P0DGQZWC B0P0DGQZWC

URI	`m2://inv/B0P0DGQZWC`
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 2609.24484#6CF9 (problem)

History

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

B0P4DX84FG B0P4DX84FG

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

Mentions

napkin: napkin tex/alg-geom/localization.tex#example-1 (example). In RZP28ERRZV, example, section 21.2

History

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

Axiom 8 B0P6H1T7Q8

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

Mentions

wikipedia: Wikipedia Tarski's axiomatization of the reals#WO24, Axiom 8 (statement)

History

2026-11-02: add by m2/dev

B0PFFNY8YS B0PFFNY8YS

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/MoreQuantification.tex#proof-6 (proof). In P1C114YBXG, proof, section F

History

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

Fundamental thermodynamic relation B0PHPMNA2J

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

Mentions

wikipedia: Wikipedia Fundamental thermodynamic relation, Fundamental thermodynamic relation (definition). Also Wikidata Q1474109

History

2026-11-02: add by m2/dev

B0PTA9S7XH B0PTA9S7XH

URI	`m2://inv/B0PTA9S7XH`
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.14099#6NUT (statement). In D77GXFTKFH/e1, theorem 1

History

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

cyclic vector B0Q22YRZVG

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

Mentions

wikidata: Wikidata Q60748035, cyclic vector (concept). Also MathWorld CyclicVector, nLab cyclic vector
wikipedia: Wikipedia Cyclic vector, Cyclic vector (definition). Also Wikidata Q60748035

History

2026-10-26: add by m2/dev

B0Q25WEFQS B0Q25WEFQS

URI	`m2://inv/B0Q25WEFQS`
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 2610.16123#6330 (statement). In 6VR4TY5BGV/e1, lemma 5.5

History

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

Properties B0Q9KE8TKC

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

Mentions

wikipedia: Wikipedia Complement (group theory)#A4FK, Properties (statement)

History

2026-11-02: add by m2/dev

Facts B0QA58VDEZ

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

Mentions

wikipedia: Wikipedia Von Neumann regular ring#MNQE, Facts (statement)

History

2026-11-02: add by m2/dev

Mutual Coherence Function B0QFGZ757B

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

Mentions

wikipedia: Wikipedia Van Cittert–Zernike theorem#HWSW, Mutual Coherence Function (unknown)

History

2026-11-02: add by m2/dev

B0QQ5NWE3R B0QQ5NWE3R

URI	`m2://inv/B0QQ5NWE3R`
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 2609.31278#A28U (statement). In KEP21CZFV9/e1, proposition #1

History

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

B0QXGRJJEJ B0QXGRJJEJ

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

Mentions

lebl_scv: lebl_scv scv.tex#example-24 (example). In VNMV985MXX, example, section 6.5

History

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

B0QYS1RT7G B0QYS1RT7G

URI	`m2://inv/B0QYS1RT7G`
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.18922#XEV3 (statement). In 6FKDYENQ8M/e1, proposition 10

History

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

SSE 4.2 B0R8Q6ANYP

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

Mentions

wikipedia: Wikipedia SSE4#RD4R, SSE 4.2 (unknown)

History

2026-11-02: add by m2/dev

Proof-producing $\delta$-decidability B0R9JMK9SM

URI	`m2://inv/B0R9JMK9SM`
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 2506.08233#X040, Proof-producing $\delta$-decidability (statement). In 2TXXQ2575Y/e1, theorem 4.20

History

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

asymptotic dimension B0R9V2RYH5

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

Mentions

wikidata: Wikidata Q28456166, asymptotic dimension (unknown). Also nLab asymptotic dimension
wikipedia: Wikipedia Asymptotic dimension, Asymptotic dimension (definition). Also Wikidata Q28456166

History

2026-10-26: add by m2/dev

$(q,d,z)=(5,2,2)$ B0RDKEQ66P

URI	`m2://inv/B0RDKEQ66P`
Kind	example
Layer	research
MSC	16-XX, 35-XX, 47-XX, 58-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.26055#F4OR, $(q,d,z)=(5,2,2)$ (example)

History

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

B0RDRS5AWN B0RDRS5AWN

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

Mentions

arxiv: arXiv 2207.07461#BEJE (statement). In GAG532VMPF/e1, theorem 4.1.1

History

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

ContEst B0REYYWWEZ

URI	`m2://inv/B0REYYWWEZ`
Kind	problem
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.36090#3GC3, ContEst (problem). In N025M6VQRY/e1, problem 1

History

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

$p$-test for integrals B0RFSWS701

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#impropriemann:ptest, $p$-test for integrals (statement). In E59CDZA4DP, prop, section 8.5

History

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

Alexis Bonnet B0RJFB4V6F

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

Mentions

wikipedia: Wikipedia Alexis Bonnet, Alexis Bonnet (topic). Also Wikidata Q2602619

History

2026-11-02: add by m2/dev

Tetrahedral evaluations B0RKB2TW7F

URI	`m2://inv/B0RKB2TW7F`
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 2610.11652#N6BT, Tetrahedral evaluations (statement). In VEXM27M8Q1/e1, theorem 4.12

History

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

Rhombic hectotriadiohedron B0RPHED5P6

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

Mentions

wikipedia: Wikipedia Rhombic hectotriadiohedron, Rhombic hectotriadiohedron (definition). Also Wikidata Q27996977

History

2026-11-02: add by m2/dev

Definition B0RQ438D4J

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

Mentions

wikipedia: Wikipedia Self-adjoint element#WBJE, Definition (definition)

History

2026-11-02: add by m2/dev

B0RQTVKEB7 B0RQTVKEB7

URI	`m2://inv/B0RQTVKEB7`
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.35642#J4Z7 (statement). In D905BX98TP/e1, corollary 3.13

History

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

P-521 B0RYCK3BHW

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

Mentions

wikipedia: Wikipedia Elliptic-curve cryptography#X2LE, P-521 (unknown)

History

2026-11-02: add by m2/dev

B0S4FD71GR B0S4FD71GR

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

Mentions

arxiv: arXiv 2610.12430#JQGV (example). In VGKCBWQ65N/e1, example 7.4

History

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

Kernel measure B0SHAAJT33

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

Mentions

arxiv: arXiv 2606.02312#W8XU, Kernel measure (definition). In 1SZV94R22Y/e1, definition 7.1

History

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

B0SJBB2HM6 B0SJBB2HM6

URI	`m2://inv/B0SJBB2HM6`
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 2610.19459#14A1 (statement). In SATS9RFBX7/e1, theorem 2

History

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

Profile-constrained type probabilities B0SWRWBW7E

URI	`m2://inv/B0SWRWBW7E`
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.19356#8PEC, Profile-constrained type probabilities (statement). In 2B5QA28NCX/e1, lemma 2.5

History

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

Kisrhombille B0SYKSA03Z

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

Mentions

wikipedia: Wikipedia Kisrhombille, Kisrhombille (object). Also Wikidata Q6416867

History

2026-11-02: add by m2/dev

Neuroscience of reasoning B0T6HBM9VR

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

Mentions

wikipedia: Wikipedia Psychology of reasoning#WNKA, Neuroscience of reasoning (unknown)

History

2026-11-02: add by m2/dev

B0T7YM2QJX B0T7YM2QJX

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

Mentions

arxiv: arXiv 2610.07957#W2KU (statement). In RXFKX8M8P0/e1, theorem 4.1

History

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

B0TDDH9TP4 B0TDDH9TP4

URI	`m2://inv/B0TDDH9TP4`
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.02061#IID1 (statement). In F5STMSPR6X/e1, proposition A.7

History

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

B0TFK540HF B0TFK540HF

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

Mentions

arxiv: arXiv 2610.15344#X17A (definition). In B9EX6K51RD/e1, definition 2.23

History

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

conjunctive B0TGXBX31Z

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#HQF4, conjunctive (definition)

History

2026-11-02: add by m2/dev

B0TJ6C6GZG B0TJ6C6GZG

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

Mentions

arxiv: arXiv 2609.30579#F7CT (statement). In FDYZFDHZH9/e1, lemma 3.7

History

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

B0V1YR66CK B0V1YR66CK

URI	`m2://inv/B0V1YR66CK`
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 2203.06854#SHCR (statement). In 7NE5NVT9KH/e1, proposition 5.3

History

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

B0V7RJHJKD B0V7RJHJKD

URI	`m2://inv/B0V7RJHJKD`
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 2609.29759#Z8E2 (definition)

History

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

B0VD12XHYS B0VD12XHYS

URI	`m2://inv/B0VD12XHYS`
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.21972#MHMW (statement)

History

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

B0VFTVRQ52 B0VFTVRQ52

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

Mentions

arxiv: arXiv 2610.12653#VNVT (statement). In 5S5WBD77W6/e1, theorem 1

History

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

Vorlesungen über Zahlentheorie B0VNSVMVN1

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

Mentions

wikipedia: Wikipedia List of number theory topics#P9VK, Vorlesungen über Zahlentheorie (definition)

History

2026-11-02: add by m2/dev

Definition B0VP8J1V2T

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

Mentions

wikipedia: Wikipedia Triangulation (topology)#JH58, Definition (definition)

History

2026-11-02: add by m2/dev

Speed, Terry B0VQJXMJZ0

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

Mentions

wikipedia: Wikipedia List of statisticians#KGEC, Speed, Terry (topic)

History

2026-11-02: add by m2/dev

Mumble B0VZ5HAWSP

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

Mentions

wikipedia: Wikipedia Mumble (software), Mumble (definition). Also Wikidata Q748932

History

2026-11-02: add by m2/dev

Saccheri–Legendre theorem B0W2J9W54V

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

Mentions

mathlib_1000: mathlib_1000 Q7396621, Saccheri–Legendre theorem (statement). Also Wikidata Q7396621
thousand_plus: thousand_plus Q7396621, Saccheri–Legendre theorem (statement). Also Wikidata Q7396621, Wikipedia Saccheri–Legendre theorem
wikipedia: Wikipedia Saccheri–Legendre theorem, Saccheri–Legendre theorem (statement). Also Wikidata Q7396621

History

2026-10-26: add by m2/dev

Hemicube B0WJZGNCNE

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

Mentions

wikipedia: Wikipedia Hemicube (geometry), Hemicube (object). Also Wikidata Q3893168

History

2026-11-02: add by m2/dev

Abi-Khuzam inequality B0WNWTX608

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

Mentions

wikidata: Wikidata Q122889520, Abi-Khuzam inequality (statement). Also MathWorld Abi-KhuzamInequality, ProofWiki Abi-Khuzam_Inequality

History

2026-10-26: add by m2/dev

Closed Newton–Cotes formulas B0WRSMTJ27

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

Mentions

wikipedia: Wikipedia Newton–Cotes formulas#KK7Q, Closed Newton–Cotes formulas (statement)

History

2026-11-02: add by m2/dev

Legendre transform B0WXBM580R

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

Mentions

wikipedia: Wikipedia Legendre transform (integral transform), Legendre transform (definition). Also Wikidata Q30587593

History

2026-11-02: add by m2/dev

B0X3VNZ0NP B0X3VNZ0NP

URI	`m2://inv/B0X3VNZ0NP`
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 2609.28076#T9D0 (statement)

History

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

B0X6PBF13C B0X6PBF13C

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

Mentions

arxiv: arXiv 2610.13846#0B3S (definition). In DN3HGHGRYJ/e1, definition 2.1

History

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

B0X9FRYSFW B0X9FRYSFW

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

Mentions

arxiv: arXiv 2609.22642#AUMD (statement)

History

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

Wilson Formula: Lake Garda B0XD6DSESN

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

Mentions

wikipedia: Wikipedia Wind wave model#LRMZ, Wilson Formula: Lake Garda (statement)

History

2026-11-02: add by m2/dev

Conjectures on the tau function B0XF6KB4RP

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

Mentions

wikipedia: Wikipedia Ramanujan tau function#XQDR, Conjectures on the tau function (statement)

History

2026-11-02: add by m2/dev

Properties B0XHP5G92Y

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

Mentions

wikipedia: Wikipedia Curve of constant width#2MO7, Properties (statement)

History

2026-11-02: add by m2/dev

Fundamental --- \textsc{Tm-Sym B0XK5T3GSF

URI	`m2://inv/B0XK5T3GSF`
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.21131#XWMZ, Fundamental --- \textsc{Tm-Sym (statement). In CPYWHRTPKC/e1, lemma 6.48

History

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

Threshold for multivariate convex order B0XSRQYGY4

URI	`m2://inv/B0XSRQYGY4`
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.07404#EVSH, Threshold for multivariate convex order (statement). In VAJ9MBT3SJ/e1, proposition 5

History

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

Examples B0XZ9TKK26

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

Mentions

wikipedia: Wikipedia Commutative property#66TJ, Examples (example)

History

2026-11-02: add by m2/dev

Ruth Heller B0XZEQCR1B

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

Mentions

wikipedia: Wikipedia Ruth Heller (statistician), Ruth Heller (topic). Also Wikidata Q96472071

History

2026-11-02: add by m2/dev

Law B0Y1PBTW03

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

Mentions

wikipedia: Wikipedia Gottfried Wilhelm Leibniz#NF8O, Law (statement)

History

2026-11-02: add by m2/dev

Halfway Houses, Kent B0Y1SNT7CG

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

Mentions

wikipedia: Wikipedia List of places with numeric names#WWPA, Halfway Houses, Kent (unknown)

History

2026-11-02: add by m2/dev

Martin Wainwright B0Y3KC02FQ

URI	`m2://inv/B0Y3KC02FQ`
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#LEQU, Martin Wainwright (unknown)

History

2026-11-02: add by m2/dev

B0Y60SX50E B0Y60SX50E

URI	`m2://inv/B0Y60SX50E`
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.38188#UJB3 (statement). In 7615KVXDB5/e1, corollary 2.19

History

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

GNU Name System B0Y69BY2GA

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

Mentions

wikipedia: Wikipedia GNUnet#AEKV, GNU Name System (unknown)

History

2026-11-02: add by m2/dev

Applications B0YAT544FZ

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

Mentions

wikipedia: Wikipedia Inventor's paradox#5SOW, Applications (example)

History

2026-11-02: add by m2/dev

Asymmetric finite criterion B0YFEJ7QFD

URI	`m2://inv/B0YFEJ7QFD`
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.18884#V06R, Asymmetric finite criterion (statement). In 8WM10QMA9E/e1, theorem 8.1

History

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

Sylvia Chin-Pi Lu B0YGSKWC90

URI	`m2://inv/B0YGSKWC90`
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#46CP, Sylvia Chin-Pi Lu (topic)

History

2026-11-02: add by m2/dev

Misha Verbitsky B0YKQJBA97

URI	`m2://inv/B0YKQJBA97`
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 Q3710038, Misha Verbitsky (unknown). Also nLab Misha Verbitsky

History

2026-10-26: add by m2/dev

Tensor independence B0YXF77P7S

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

Mentions

arxiv: arXiv 1711.00219#L3N9, Tensor independence (example). In 7V3HG30ZGW/e1, example 4.5

History

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

Finite morphism B0YYWNP3M8

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#56BG, Finite morphism (definition)

History

2026-11-02: add by m2/dev

Boris Weisfeiler B0Z03ECTXA

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#UY0G, Boris Weisfeiler (unknown)

History

2026-11-02: add by m2/dev

Bricard octahedron B0Z2K644YK

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

Mentions

wikipedia: Wikipedia Bricard octahedron, Bricard octahedron (object). Also Wikidata Q30587832

History

2026-11-02: add by m2/dev

derivation B0Z2QJZZ0A

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

Mentions

wikipedia: Wikipedia Glossary of ring theory#G5U1, derivation (definition)

History

2026-11-02: add by m2/dev

B0ZDYEZ464 B0ZDYEZ464

URI	`m2://inv/B0ZDYEZ464`
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#WP1V (statement). In 2WZQC0TKVK/e1, theorem 4.8

History

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

Twee Riviere B0ZNC2KPV8

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

Mentions

wikipedia: Wikipedia List of places with numeric names#GNIF, Twee Riviere (unknown)

History

2026-11-02: add by m2/dev

B0ZQ6YKSK3 B0ZQ6YKSK3

URI	`m2://inv/B0ZQ6YKSK3`
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.20758#FI0L (statement). In PG0B4PH9YH/e1, lemma 3.16

History

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

B0ZWBZVP53 B0ZWBZVP53

URI	`m2://inv/B0ZWBZVP53`
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#PWB4 (statement). In PD5PJ0EYG6/e1, proposition 2.3

History

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

Basic properties of the p-adic gamma function B0ZX0HRHA7

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

Mentions

wikipedia: Wikipedia P-adic gamma function#W7VZ, Basic properties of the p-adic gamma function (statement)

History

2026-11-02: add by m2/dev

Tic-tac-toe variants B0ZYTJYE99

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#MOAX, Tic-tac-toe variants (unknown)

History

2026-11-02: add by m2/dev