Inventory rows QR

QR0PV58681 QR0PV58681

URI	`m2://inv/QR0PV58681`
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.13864#2OCT (definition). In ZGZGGGCWD3/e1, definition 4.1

History

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

QR0ZH3P28N QR0ZH3P28N

URI	`m2://inv/QR0ZH3P28N`
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.03488#6UPU (statement). In 9GXR1WEYWT/e1, proposition 4.6

History

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

QR13TNZ035 QR13TNZ035

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

Mentions

arxiv: arXiv 2610.21365#XDNU (definition). In FCMMB2EVAP/e1, definition 2.3

History

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

Condorcet paradox QR16PMKGJM

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

Mentions

wikipedia: Wikipedia Condorcet paradox, Condorcet paradox (statement). Also Wikidata Q745768

History

2026-11-02: add by m2/dev

QR19BV46DN QR19BV46DN

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

Mentions

arxiv: arXiv 2609.37520#UKKL (definition). In BDN507RN7J/e1, definition 4.4.8

History

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

Zero adjunction QR1DYZ0TQ5

URI	`m2://inv/QR1DYZ0TQ5`
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.26019#CZOT, Zero adjunction (statement)

History

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

QR1JETGP88 QR1JETGP88

URI	`m2://inv/QR1JETGP88`
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.13972#ZS3G (statement). In S1KHNS8XQM/e1, proposition 11.2

History

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

QR1JY07S7K QR1JY07S7K

URI	`m2://inv/QR1JY07S7K`
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.18281#QMSB (statement). In QYD0EJM85G/e1, theorem 1.3

History

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

Kronecker comb QR1QHQHZ5T

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

Mentions

wikipedia: Wikipedia Kronecker delta#L9WY, Kronecker comb (unknown)

History

2026-11-02: add by m2/dev

Binomial proportion confidence interval QR1QNQ7ZWR

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

Mentions

wikipedia: Wikipedia Binomial proportion confidence interval, Binomial proportion confidence interval (definition). Also Wikidata Q1781424

History

2026-11-02: add by m2/dev

QR1SR7HM71 QR1SR7HM71

URI	`m2://inv/QR1SR7HM71`
Kind	definition
Layer	research
MSC	17-XX, 18-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 2304.07398#V6LP (definition). In JS5FKV1S9T/e1, definition C.3

History

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

Marc Lackenby QR1SWTD5YF

URI	`m2://inv/QR1SWTD5YF`
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#UUZL, Marc Lackenby (topic)

History

2026-11-02: add by m2/dev

Maximum Tangent Index QR26CPS5CH

URI	`m2://inv/QR26CPS5CH`
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.20364#43GA, Maximum Tangent Index (statement). In 433NXYKPG3/e1, corollary 1

History

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

713 (number) QR29BCFQCX

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

Mentions

wikipedia: Wikipedia 700 (number)#M1T7, 713 (number) (unknown)

History

2026-11-02: add by m2/dev

Benny Sudakov QR2A2QPS34

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#HE10, Benny Sudakov (topic)

History

2026-11-02: add by m2/dev

QR2EYKW878 QR2EYKW878

URI	`m2://inv/QR2EYKW878`
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 2310.10361#SL8Q (statement). In 65ED1ZXG98/e1, theorem 1.3

History

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

Group scheme QR2FQCWG9G

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

Mentions

wikipedia: Wikipedia List of group theory topics#YGO1, Group scheme (definition)
wikipedia: Wikipedia List of algebraic geometry topics#7C2T, Group scheme (definition)

History

2026-11-02: add by m2/dev

QR2P4HVC8K QR2P4HVC8K

URI	`m2://inv/QR2P4HVC8K`
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 2502.08738#AJI5 (statement). In 9GMTVSTAVN/e1, lemma 6.9

History

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

QR2TW0FZ6S QR2TW0FZ6S

URI	`m2://inv/QR2TW0FZ6S`
Kind	statement
Layer	research
MSC	14-XX, 20-XX, 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 2610.03756#H25S (statement). In 2381M4GBTT/e1, lemma 4.4

History

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

Properties QR2VFBX44A

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

Mentions

wikipedia: Wikipedia Order topology (functional analysis)#QEIA, Properties (statement)

History

2026-11-02: add by m2/dev

Definition QR2VNZA1MJ

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

Mentions

wikipedia: Wikipedia Minimax estimator#U3S4, Definition (definition)

History

2026-11-02: add by m2/dev

QR3390ZETW QR3390ZETW

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

Mentions

arxiv: arXiv 2609.36818#ABES (statement). In SK6AP2B9JH/e1, proposition 6.2

History

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

The maximal extension is a reflection QR352DW31Z

URI	`m2://inv/QR352DW31Z`
Kind	statement
Layer	research
MSC	18-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.26270#AMK9, The maximal extension is a reflection (statement)

History

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

QR387XHGN2 QR387XHGN2

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

Mentions

austin_ula: austin_ula src/exercises/exercises6-4.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 6.4

History

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

Hansraj Gupta QR38BCXXZJ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#4WDW, Hansraj Gupta (topic)

History

2026-11-02: add by m2/dev

QR39N4PGV7 QR39N4PGV7

URI	`m2://inv/QR39N4PGV7`
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.21724#I0I7 (statement). In EDDJCSBMXN/e1, lemma 4.1

History

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

QR3AYP4JE0 QR3AYP4JE0

URI	`m2://inv/QR3AYP4JE0`
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.13741#1NAZ (statement). In Q43F8N7XDE/e1, proposition 3.1

History

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

QR3CA1JCG0 QR3CA1JCG0

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

Mentions

arxiv: arXiv 2610.14914#H5I8 (example). In CHC3T113Y4/e1, example 3

History

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

Parseval's theorem and Plancherel's theorem QR3D0D5NQB

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

Mentions

wikipedia: Wikipedia Two-sided Laplace transform#9Y0I, Parseval's theorem and Plancherel's theorem (statement)

History

2026-11-02: add by m2/dev

Statement of the theorem QR3N866CWQ

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

Mentions

wikipedia: Wikipedia Tonelli's theorem (functional analysis)#03TZ, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

Exact history representation and Bell extraction QR3NWBA220

URI	`m2://inv/QR3NWBA220`
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.15199#CAEE, Exact history representation and Bell extraction (statement). In EVFTDVP4K4/e1, lemma D.2

History

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

Finite-dimensional interpolation by a deterministic map QR3SM7AYGQ

URI	`m2://inv/QR3SM7AYGQ`
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#EDKP, Finite-dimensional interpolation by a deterministic map (statement). In 9YAE8FNQST/e1, theorem 13.3

History

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

Definition QR3ZH83C2K

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

Mentions

wikipedia: Wikipedia Minimum rank of a graph#V27V, Definition (definition)

History

2026-11-02: add by m2/dev

Primary Mathematics World Contest QR416JZACH

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

Mentions

wikipedia: Wikipedia Primary Mathematics World Contest, Primary Mathematics World Contest (definition). Also Wikidata Q7243079

History

2026-11-02: add by m2/dev

Examples QR462CXXQM

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

Mentions

wikipedia: Wikipedia Spectral dimension#848D, Examples (example)

History

2026-11-02: add by m2/dev

total, space QR49JDWZ5M

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

Mentions

hott_book: hott_book index/7.1.2/total-space, total, space (concept). In N54F33XE07, index, section 7.1.2

History

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

Vector projection on a plane QR4BSG9TWY

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

Mentions

wikipedia: Wikipedia Vector projection#BHG5, Vector projection on a plane (unknown)

History

2026-11-02: add by m2/dev

$q$ Preserves Semantic Weakening QR4BZ3YKFP

URI	`m2://inv/QR4BZ3YKFP`
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#WFLU, $q$ Preserves Semantic Weakening (statement). In CPYWHRTPKC/e1, lemma 6.43

History

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

QR4E7M2H60 QR4E7M2H60

URI	`m2://inv/QR4E7M2H60`
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 2404.00077#OEL9 (statement). In 25WX007DJ1/e1, theorem 5

History

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

Stephanie Forrest QR4EZ0FPSX

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#LK0B, Stephanie Forrest (unknown)

History

2026-11-02: add by m2/dev

QR4JV7JE8Y QR4JV7JE8Y

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

Mentions

open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability-propositional.tex#prop:provability-land (statement). In PKGMM3P5QY, prop, section 8.8

History

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

Infinitesimal transformation QR4JVSE8J6

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

Mentions

wikipedia: Wikipedia List of Lie groups topics#NIH4, Infinitesimal transformation (definition)

History

2026-11-02: add by m2/dev

Enigma D QR4NJ06704

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

Mentions

wikipedia: Wikipedia Enigma machine#FQK1, Enigma D (unknown)

History

2026-11-02: add by m2/dev

QR4NVYTD7Q QR4NVYTD7Q

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

Mentions

arxiv: arXiv 2609.39491#DNUU (statement). In 9R00V9TGVT/e1, proposition 3.2

History

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

Quantization condition QR50TEHBD4

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

Mentions

wikipedia: Wikipedia Magnetic monopole#HDH2, Quantization condition (unknown)

History

2026-11-02: add by m2/dev

QR528WJE62 QR528WJE62

URI	`m2://inv/QR528WJE62`
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.37562#AFA7 (statement). In PYY8DFK2JS/e1, corollary 6.1

History

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

Dan Krewski QR5315AY91

URI	`m2://inv/QR5315AY91`
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#777D, Dan Krewski (unknown)

History

2026-11-02: add by m2/dev

QR5D7EZA3Q QR5D7EZA3Q

URI	`m2://inv/QR5D7EZA3Q`
Kind	statement
Layer	research
MSC	46-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 1204.5958#K9XN (statement). In XYCBKM4WKY/e1, lemma 65

History

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

General definition QR5F5R6NT8

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

Mentions

wikipedia: Wikipedia Thermal conductivity and resistivity#EGFY, General definition (definition)

History

2026-11-02: add by m2/dev

Examples QR5FMB52F2

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

Mentions

wikipedia: Wikipedia Scale parameter#EHLA, Examples (example)

History

2026-11-02: add by m2/dev

Outline of arithmetic QR5JRHWXKY

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#ZOTU, Outline of arithmetic (topic)

History

2026-11-02: add by m2/dev

QR5PYES958 QR5PYES958

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

Mentions

arxiv: arXiv 2609.33421#I9LJ (statement). In YMVA1SJ640/e1, lemma 4.1

History

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

Equivalent definitions QR5Q96YNHB

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

Mentions

wikipedia: Wikipedia Smooth morphism#7YUV, Equivalent definitions (definition)

History

2026-11-02: add by m2/dev

Brauer–Siegel theorem QR5QE1HMCC

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

Mentions

wikipedia: Wikipedia List of theorems#5FO0, Brauer–Siegel theorem (statement)

History

2026-11-02: add by m2/dev

Triangle inequality QR63XGP933

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

Mentions

wikipedia: Wikipedia Inner product space#TR00, Triangle inequality (definition)

History

2026-11-02: add by m2/dev

Discrete Polymatroids QR63YX2APN

URI	`m2://inv/QR63YX2APN`
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.23994#YD23, Discrete Polymatroids (definition)

History

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

The odd-$d=3$ unitary case: closed forms QR67SB8YHQ

URI	`m2://inv/QR67SB8YHQ`
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.15340#C6EH, The odd-$d=3$ unitary case: closed forms (statement). In 9NVKKW8HDH/e1, proposition 2.42

History

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

QR6DRCWHKJ QR6DRCWHKJ

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

Mentions

open_logic: open_logic content/first-order-logic/tableaux/soundness.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 22.15

History

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

Marital surplus QR6K4NVGJH

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

Mentions

wikipedia: Wikipedia Marital surplus, Marital surplus (definition). Also Wikidata Q136805408

History

2026-11-02: add by m2/dev

Serial module QR6PA6FM51

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

Mentions

wikipedia: Wikipedia Serial module, Serial module (definition). Also Wikidata Q17103209

History

2026-11-02: add by m2/dev

QR6QXBBHJ4 QR6QXBBHJ4

URI	`m2://inv/QR6QXBBHJ4`
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 2609.40207#HMOC (definition). In JXTG8KP95P/e1, definition 4.12

History

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

QR6S9WW2H8 QR6S9WW2H8

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

Mentions

arxiv: arXiv 2609.30976#H6K4 (definition). In 4QY9J1A0KT/e1, definition 12

History

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

Definition QR71F6X83X

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

Mentions

wikipedia: Wikipedia Uncertainty coefficient#DKYZ, Definition (definition)

History

2026-11-02: add by m2/dev

Algebraic properties QR77PD44AA

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

Mentions

wikipedia: Wikipedia Projectively extended real line#9BUO, Algebraic properties (statement)

History

2026-11-02: add by m2/dev

QR7DH3Q009 QR7DH3Q009

URI	`m2://inv/QR7DH3Q009`
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.33313#QPMY (statement). In HRCEFY172P/e1, theorem 3.26

History

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

QR7JQGB3C9 QR7JQGB3C9

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

Mentions

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

History

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

QR7Y8B61MW QR7Y8B61MW

URI	`m2://inv/QR7Y8B61MW`
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#998E (statement)

History

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

List of things named after Paul Erdős QR82JEYS7G

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#H08H, List of things named after Paul Erdős (topic)

History

2026-11-02: add by m2/dev

Birkhoff factorization QR852JT2DX

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

Mentions

wikidata: Wikidata Q4916481, Birkhoff factorization (concept). Also nLab Birkhoff decomposition
wikipedia: Wikipedia Birkhoff factorization, Birkhoff factorization (definition). Also Wikidata Q4916481

History

2026-10-26: add by m2/dev

Perturbation of formulas QR8682EEG6

URI	`m2://inv/QR8682EEG6`
Kind	example
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#VQ5V, Perturbation of formulas (example). In 2TXXQ2575Y/e1, example 4.10

History

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

QR8DTJHQJP QR8DTJHQJP

URI	`m2://inv/QR8DTJHQJP`
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 2309.08900#0E8S (statement). In 8X74NB6XBC/e1, theorem 3.7

History

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

QR8GFAP59D QR8GFAP59D

URI	`m2://inv/QR8GFAP59D`
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 2610.16203#2OFK (statement). In 43TBS9P2PX/e1, proposition 2.4

History

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

Markov operator QR8GMQVS33

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

Mentions

wikipedia: Wikipedia Markov operator, Markov operator (definition). Also Wikidata Q115042361

History

2026-11-02: add by m2/dev

Properties QR8GZ4VNDG

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

Mentions

wikipedia: Wikipedia Dyadic derivative#26ZT, Properties (statement)

History

2026-11-02: add by m2/dev

QR8J1RF0SC QR8J1RF0SC

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-15 (exercise). In E9HS8K3A52, exercise, section 6.2.2

History

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

Generalizations QR8MEBY817

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

Mentions

wikipedia: Wikipedia Bit-reversal permutation#BRIH, Generalizations (statement)

History

2026-11-02: add by m2/dev

Logarithmic integral QR8MK15VCG

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#HH3H, Logarithmic integral (definition)

History

2026-11-02: add by m2/dev

Homunculus fallacy QR8TFYC297

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

Mentions

wikipedia: Wikipedia List of fallacies#6WHC, Homunculus fallacy (definition)

History

2026-11-02: add by m2/dev

Davis distribution QR90BNZHVN

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

Mentions

wikipedia: Wikipedia Davis distribution, Davis distribution (definition). Also Wikidata Q3258315

History

2026-11-02: add by m2/dev

QR92W23210 QR92W23210

URI	`m2://inv/QR92W23210`
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.08956#M6U4 (statement). In DEE631KR3A/e1, lemma 7

History

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

QR93M4A8NG QR93M4A8NG

URI	`m2://inv/QR93M4A8NG`
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.28046#Z075 (statement)

History

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

First-zero ratio bracket QR9S9YTHWZ

URI	`m2://inv/QR9S9YTHWZ`
Kind	statement
Layer	research
MSC	11-XX, 37-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.27962#01BF, First-zero ratio bracket (statement)

History

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

Applications QRA03FBB0F

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

Mentions

wikipedia: Wikipedia Non-negative matrix factorization#4UGI, Applications (example)

History

2026-11-02: add by m2/dev

Well-definedness and naturality QRA1JXVS58

URI	`m2://inv/QRA1JXVS58`
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.28014#BIY7, Well-definedness and naturality (statement)

History

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

QRA6DHZTNG QRA6DHZTNG

URI	`m2://inv/QRA6DHZTNG`
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.15405#D19D (statement). In 9QCYCXVF5W/e1, lemma 6.2

History

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

QRA7HXD8MK QRA7HXD8MK

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphs_color.ptx#proof-3 (proof). In QKM9DD2H56, proof, section 5.4.2

History

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

QRA80DPPK6 QRA80DPPK6

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

Mentions

arxiv: arXiv 2610.18246#4U2W (statement). In SN6F0MPPVF/e1, proposition 4.1

History

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

QRAE64F5SH QRAE64F5SH

URI	`m2://inv/QRAE64F5SH`
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.09565#9FC6 (statement). In 7A5YZACF1E/e1, theorem 8

History

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

QRAGK24HP6 QRAGK24HP6

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

Mentions

arxiv: arXiv 2609.23341#F4PC (statement)

History

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

Maria Longobardi QRB1F0VQWX

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

Mentions

wikipedia: Wikipedia Maria Longobardi (mathematician), Maria Longobardi (topic). Also Wikidata Q108479267

History

2026-11-02: add by m2/dev

Fourier transform spectroscopy QRB36EY2VG

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

Mentions

wikipedia: Wikipedia List of harmonic analysis topics#TM3A, Fourier transform spectroscopy (unknown)

History

2026-11-02: add by m2/dev

QRBA1Z6911 QRBA1Z6911

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-191 (exercise). In VNMV985MXX, exercise, section 3.3

History

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

Guido Kings QRBAKDZEKH

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

Mentions

wikipedia: Wikipedia Guido Kings, Guido Kings (topic). Also Wikidata Q15455376

History

2026-11-02: add by m2/dev

QRBDNZ9WGX QRBDNZ9WGX

URI	`m2://inv/QRBDNZ9WGX`
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 2601.22681#QSWH (statement). In 68VEQQX68G/e1, theorem 3.18

History

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

QRBEB3R2BK QRBEB3R2BK

URI	`m2://inv/QRBEB3R2BK`
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#N1QD (statement). In 3A4K47Y9F2/e1, lemma 3.4

History

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

QRBTN9DGQW QRBTN9DGQW

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

Mentions

hott_book: hott_book reals.tex#thm-1 (statement). In N54F33XE07, thm, section B.3.3

History

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

QRBY45QBSB QRBY45QBSB

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

Mentions

arxiv: arXiv 2609.35600#R3NQ (statement). In ET8GYMMDQM/e1, corollary 1.2

History

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

Free Poincar\'e inequality, Voiculescu QRC36MC0J1

URI	`m2://inv/QRC36MC0J1`
Kind	statement
Layer	research
MSC	35-XX, 46-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 2610.22109#K7WR, Free Poincar\'e inequality, Voiculescu (statement). In MZ60NP20BH/e1, lemma 2.8

History

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

QRC48HNED9 QRC48HNED9

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

Mentions

open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#prop-3 (statement). In PKGMM3P5QY, prop, section 49.1

History

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

Examples QRC4W7W7MM

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

Mentions

wikipedia: Wikipedia Bell polynomials#7HHH, Examples (example)

History

2026-11-02: add by m2/dev

QRC9ED0FMQ QRC9ED0FMQ

URI	`m2://inv/QRC9ED0FMQ`
Kind	statement
Layer	research
MSC	11-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 2610.21717#DEF9 (statement). In CE603VK92S/e1, theorem 2.2

History

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

bit rate QRCFKDVZ16

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

Mentions

wikidata: Wikidata Q194158, bit rate (unknown). Also MathWorld BitRate

History

2026-10-26: add by m2/dev

Antonio Ambrosetti QRCWM0G867

URI	`m2://inv/QRCWM0G867`
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#Z93P, Antonio Ambrosetti (topic)

History

2026-11-02: add by m2/dev

QRD310BCQ9 QRD310BCQ9

URI	`m2://inv/QRD310BCQ9`
Kind	statement
Layer	research
MSC	54-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.33841#LHH0 (statement). In 3CVQHT206K/e1, lemma 3.5

History

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

Properties QRD374BF3Z

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

Mentions

wikipedia: Wikipedia Carathéodory metric#S4N4, Properties (statement)

History

2026-11-02: add by m2/dev

Properties QRD76ZPB2H

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

Mentions

wikipedia: Wikipedia Cumulative distribution function#X14U, Properties (statement)

History

2026-11-02: add by m2/dev

circulant graph QRD82SSMHG

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

Mentions

wikidata: Wikidata Q5121633, circulant graph (unknown). Also MathWorld CirculantGraph
wikipedia: Wikipedia Circulant graph, Circulant graph (definition). Also Wikidata Q5121633

History

2026-10-26: add by m2/dev

Wulff tangent rigidity QRD9MH6V5B

URI	`m2://inv/QRD9MH6V5B`
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.00337#G250, Wulff tangent rigidity (statement). In 5STQ3ABZ60/e1, lemma 5.2

History

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

QRDB451Y4Z QRDB451Y4Z

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

Mentions

active_calculus: active_calculus source/sec-2-5-chain.xml#example-1 (example). In 907G4C4EJ1, example, section 2.5.1

History

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

Polytetrahedron QRDDMDWW31

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

Mentions

wikipedia: Wikipedia Polytetrahedron, Polytetrahedron (definition). Also Wikidata Q7227092

History

2026-11-02: add by m2/dev

QRDDV3WVNS QRDDV3WVNS

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

Mentions

arxiv: arXiv 2609.33185#AE2D (statement). In QX30H2WNA7/e1, proposition 5.4

History

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

Stabilizer code QRDERHFB7R

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

Mentions

wikipedia: Wikipedia Stabilizer code, Stabilizer code (definition). Also Wikidata Q2981610

History

2026-11-02: add by m2/dev

RC5 QRDHFAA4DM

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

Mentions

wikipedia: Wikipedia RC5, RC5 (definition). Also Wikidata Q1349650

History

2026-11-02: add by m2/dev

highly touchable number QRDJ9QJC67

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

Mentions

wikidata: Wikidata Q23296480, highly touchable number (object). Also OEIS A238895

History

2026-10-26: add by m2/dev

Ccw test QRDQWCXY26

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

Mentions

wikipedia: Wikipedia Cross product#MGE8, Ccw test (unknown)

History

2026-11-02: add by m2/dev

QRE6Z0A05T QRE6Z0A05T

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

Mentions

arxiv: arXiv 2609.33015#2A2Y (statement). In W6Y6NPK648/e1, lemma 5.5

History

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

QRE6ZAN5QF QRE6ZAN5QF

URI	`m2://inv/QRE6ZAN5QF`
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#X7TN (statement). In QFA8TMJPHZ/e1, proposition 5.8

History

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

Acyclic Case-E and radial cap-minimizer bridge QRE8PCTWAQ

URI	`m2://inv/QRE8PCTWAQ`
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.24931#W29S, Acyclic Case-E and radial cap-minimizer bridge (statement)

History

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

Dois Irmãos QRE95VQ34N

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

Mentions

wikipedia: Wikipedia List of places with numeric names#RF35, Dois Irmãos (unknown)

History

2026-11-02: add by m2/dev

inverse Fourier transform QREFYRFJZA

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

Mentions

mathlib_undergrad: mathlib_undergrad Distribution calculus > Tempered distributions > inverse Fourier transform, inverse Fourier transform (unknown). Also Mathlib FourierTransform.fourierInvCLM

History

2026-10-26: add by m2/dev

Π-calculus QREGEXZR7F

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

Mentions

wikipedia: Wikipedia Π-calculus, Π-calculus (definition). Also Wikidata Q602886

History

2026-11-02: add by m2/dev

QREHK015E2 QREHK015E2

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

Mentions

open_logic: open_logic content/set-theory/spine/stagesbasics.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 75.1

History

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

Complete set of invariants QREK6RM13P

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

Mentions

wikipedia: Wikipedia Complete set of invariants, Complete set of invariants (definition). Also Wikidata Q5156513

History

2026-11-02: add by m2/dev

Formal statement QREMY4BD3Z

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

Mentions

wikipedia: Wikipedia Hotelling's lemma#NOYS, Formal statement (statement)

History

2026-11-02: add by m2/dev

Lemma 2 QREP6TZAWZ

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

Mentions

wikipedia: Wikipedia Randomized algorithm#L7IJ, Lemma 2 (statement)

History

2026-11-02: add by m2/dev

Formulation QREPWF876W

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

Mentions

wikipedia: Wikipedia Kelmans–Seymour conjecture#6ZKF, Formulation (definition)

History

2026-11-02: add by m2/dev

Geometric hypotheses and transfer data QRESG9CJTV

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

Mentions

arxiv: arXiv 2609.27799#I3QP, Geometric hypotheses and transfer data (definition)

History

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

Nikolay Yegorovich Zhukovsky QREX1QWRQ7

URI	`m2://inv/QREX1QWRQ7`
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#QKQH, Nikolay Yegorovich Zhukovsky (unknown)

History

2026-11-02: add by m2/dev

QRF0BKNNSZ QRF0BKNNSZ

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

Mentions

napkin: napkin tex/alg-geom/zariski.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 29.3

History

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

Zero, Iowa QRF4Q0XWVT

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

Mentions

wikipedia: Wikipedia List of places with numeric names#D2V3, Zero, Iowa (unknown)

History

2026-11-02: add by m2/dev

Lebesgue's decomposition theorem QRF8BS1CCY

URI	`m2://inv/QRF8BS1CCY`
Kind	statement
Layer	textbook
MSC	54-XX
Sources	4
Outcome	open
Node	Lebesgue decomposition theorem 74VMD07DRX

Mentions

mathlib_1000: mathlib_1000 Q191693, Lebesgue's decomposition theorem (statement). Also Mathlib MeasureTheory.Measure.haveLebesgueDecomposition_of_sigmaFinite, Wikidata Q191693
thousand_plus: thousand_plus Q191693, Lebesgue's decomposition theorem (statement). Also Mathlib MeasureTheory.Measure.haveLebesgueDecomposition_of_sigmaFinite, Wikidata Q191693, Wikipedia Lebesgue's decomposition theorem
wikidata: Wikidata Q191693, Lebesgue's decomposition theorem (statement). Also MathWorld LebesgueDecomposition
wikipedia: Wikipedia Lebesgue's decomposition theorem, Lebesgue's decomposition theorem (statement). Also Wikidata Q191693

History

2026-10-26: add by m2/dev

Ralph Greenberg QRF9X9QSWD

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

Mentions

wikipedia: Wikipedia Ralph Greenberg, Ralph Greenberg (topic). Also Wikidata Q7287563

History

2026-11-02: add by m2/dev

Conditional disclosure of secrets QRFAS00AZN

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

Mentions

wikipedia: Wikipedia Conditional disclosure of secrets, Conditional disclosure of secrets (definition). Also Wikidata Q137299190

History

2026-11-02: add by m2/dev

Hopf algebroid QRFB2PPQTX

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

Mentions

wikidata: Wikidata Q18207846, Hopf algebroid (concept). Also nLab Hopf algebroid
wikipedia: Wikipedia Hopf algebroid, Hopf algebroid (definition). Also Wikidata Q18207846

History

2026-10-26: add by m2/dev

\coqident{Partiality}{PCF}{denotational_semantics_type QRFCS6NEMM

URI	`m2://inv/QRFCS6NEMM`
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 1904.09810#8DWT, \coqident{Partiality}{PCF}{denotational_semantics_type (definition). In T1VFA7TXPA/e1, definition 37

History

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

QRFNTYWJ9P QRFNTYWJ9P

URI	`m2://inv/QRFNTYWJ9P`
Kind	definition
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.22551#SP7G (definition)

History

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

NUTS statistical regions of Spain QRFY2MPP5R

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

Mentions

wikipedia: Wikipedia NUTS statistical regions of Spain, NUTS statistical regions of Spain (definition). Also Wikidata Q386114

History

2026-11-02: add by m2/dev

\texttt{coal\_below\_1e5}, \dots, \texttt{coal\_below\_1e8 QRFZBR3NN8

URI	`m2://inv/QRFZBR3NN8`
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.22298#1ZK1, \texttt{coal\_below\_1e5}, \dots, \texttt{coal\_below\_1e8 (statement)

History

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

QRG2KWY9EH QRG2KWY9EH

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

Mentions

arxiv: arXiv 2609.37520#APS5 (definition). In BDN507RN7J/e1, definition 3.6.18

History

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

product category (math) QRG40AKC5D

URI	`m2://inv/QRG40AKC5D`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Product category AFNE9C4NH6

Mentions

wikidata: Wikidata Q13443840, product category (math) (definition). Also MathWorld ProductCategory, nLab product category, ProofWiki Definition:Product_Category
wikipedia: Wikipedia Product category, Product category (definition). Also Wikidata Q13443840

History

2026-10-26: add by m2/dev

QRG587J855 QRG587J855

URI	`m2://inv/QRG587J855`
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 2610.10248#4II9 (statement). In TMV74X2725/e1, proposition 3.3

History

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

QRG713WPFZ QRG713WPFZ

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

Mentions

arxiv: arXiv 2610.18468#IT0K (statement). In VP29RN7ZMA/e1, proposition 5.2

History

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

QRG7V2YFSS QRG7V2YFSS

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

Mentions

hott_book: hott_book hlevels.tex#proof-3 (proof). In N54F33XE07, proof, section 6.1

History

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

Detection QRGB8B571Z

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

Mentions

arxiv: arXiv 2610.01346#4IGX, Detection (statement). In 44DQ7W1NW9/e1, corollary 2.15

History

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

QRGBXH9823 QRGBXH9823

URI	`m2://inv/QRGBXH9823`
Kind	statement
Layer	research
MSC	20-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 2605.16669#RY1H (statement). In 1463YCCRP5/e1, theorem 1.2

History

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

Unlink QRGP49ZQKM

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

Mentions

wikipedia: Wikipedia List of knot theory topics#JNZW, Unlink (definition)

History

2026-11-02: add by m2/dev

Courtade--Kumar inequality QRGXFJS7P4

URI	`m2://inv/QRGXFJS7P4`
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.24931#Z17V, Courtade--Kumar inequality (statement)

History

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

Straight skeleton QRH33ETD7F

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

Mentions

wikipedia: Wikipedia List of combinatorial computational geometry topics#51UD, Straight skeleton (definition)

History

2026-11-02: add by m2/dev

Sergio Albeverio QRH7N2AZYJ

URI	`m2://inv/QRH7N2AZYJ`
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 Q27113, Sergio Albeverio (unknown). Also nLab Sergio Albeverio
wikipedia: Wikipedia Sergio Albeverio, Sergio Albeverio (topic). Also Wikidata Q27113

History

2026-10-26: add by m2/dev

Hexacode QRHJ8M2D9X

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

Mentions

wikipedia: Wikipedia Hexacode, Hexacode (definition). Also Wikidata Q5748696

History

2026-11-02: add by m2/dev

Statement of the conjecture QRHKMQXW7Y

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

Mentions

wikipedia: Wikipedia Hirsch conjecture#LKNZ, Statement of the conjecture (statement)

History

2026-11-02: add by m2/dev

QRHPXHXX9A QRHPXHXX9A

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

Mentions

napkin: napkin tex/measure/martingale.tex#definition-3 (definition). In RZP28ERRZV, definition, section 66.2

History

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

Examples QRHR4X637W

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

Mentions

wikipedia: Wikipedia Shelling (topology)#4QZU, Examples (example)

History

2026-11-02: add by m2/dev

Properties QRJ1TE5AGV

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

Mentions

wikipedia: Wikipedia Chi-squared distribution#7AH2, Properties (statement)

History

2026-11-02: add by m2/dev

Neukirch–Uchida theorem QRJ574G199

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

Mentions

wikipedia: Wikipedia Neukirch–Uchida theorem, Neukirch–Uchida theorem (statement). Also Wikidata Q17099374

History

2026-11-02: add by m2/dev

Hodges' estimator QRJ7HR8HXP

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

Mentions

wikipedia: Wikipedia Hodges' estimator, Hodges' estimator (definition). Also Wikidata Q5876082

History

2026-11-02: add by m2/dev

QRJ87399F2 QRJ87399F2

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

Mentions

austin_ula: austin_ula src/section4-3.xml#activity-4 (exercise). In 649HGZKE96, activity, section 4.3.4

History

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

Liouville's theorem, improved QRJ9MA51BQ

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

Mentions

wikipedia: Wikipedia Borel–Carathéodory theorem#2MN6, Liouville's theorem, improved (statement)

History

2026-11-02: add by m2/dev

compound of four tetrahedra QRJADVQ3CB

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

Mentions

wikidata: Wikidata Q5156871, compound of four tetrahedra (unknown). Also MathWorld Tetrahedron4-Compound
wikipedia: Wikipedia Compound of four tetrahedra, Compound of four tetrahedra (definition). Also Wikidata Q5156871

History

2026-10-26: add by m2/dev

Pushforward QRJC4W26ZV

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

Mentions

wikipedia: Wikipedia Pushforward (homology), Pushforward (definition). Also Wikidata Q7261786

History

2026-11-02: add by m2/dev

QRJC8X1ZXZ QRJC8X1ZXZ

URI	`m2://inv/QRJC8X1ZXZ`
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 2211.13105#WO80 (statement). In 5ACPY6CEDV/e1, lemma 4.2

History

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

QRJSC2CPDS QRJSC2CPDS

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

Mentions

arxiv: arXiv 2609.26723#8TBG (statement)

History

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

Lemma 3 QRJTRFMVWX

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

Mentions

wikipedia: Wikipedia Expander code#I60M, Lemma 3 (statement)

History

2026-11-02: add by m2/dev

QRJZ1RGWE2 QRJZ1RGWE2

URI	`m2://inv/QRJZ1RGWE2`
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.36423#L4XG (statement). In Q5Z178SAHP/e1, lemma 3.4

History

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

boundary QRKM8VCVPK

URI	`m2://inv/QRKM8VCVPK`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Boundary 05D5EGMFYV

Mentions

wikidata: Wikidata Q875399, boundary (unknown). Also MathWorld Boundary
wikipedia: Wikipedia Boundary (topology), Boundary (definition). Also Wikidata Q875399

History

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

which multisets of factors occur QRKQBW4SZ9

URI	`m2://inv/QRKQBW4SZ9`
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.05617#O05H, which multisets of factors occur (statement). In 5JP3JTYAXK/e1, corollary 9.2

History

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

Christoph Gudermann QRKV4T5DE2

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

Mentions

wikipedia: Wikipedia List of eponyms of special functions#TTL3, Christoph Gudermann (topic)

History

2026-11-02: add by m2/dev

QRKWRN9XQJ QRKWRN9XQJ

URI	`m2://inv/QRKWRN9XQJ`
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#SZJO (statement). In HX63A1PH1W/e1, corollary 6.26

History

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

Radar chart QRM1HB6HCC

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

Mentions

wikipedia: Wikipedia List of statistics articles#O584, Radar chart (definition)
wikipedia: Wikipedia List of graphical methods#3V2J, Radar chart (definition)

History

2026-11-02: add by m2/dev

Kanta Gupta QRM3MH7J83

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

Mentions

wikipedia: Wikipedia Kanta Gupta, Kanta Gupta (topic). Also Wikidata Q20090834

History

2026-11-02: add by m2/dev

interchange law QRM4PA1H3W

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

Mentions

hott_book: hott_book index/2.2/interchange-law, interchange law (concept). In N54F33XE07, index, section 2.2

History

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

Ostrogradsky instability QRM5R1162D

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

Mentions

wikipedia: Wikipedia Ostrogradsky instability, Ostrogradsky instability (definition). Also Wikidata Q25303727

History

2026-11-02: add by m2/dev

QRM6GRHTKD QRM6GRHTKD

URI	`m2://inv/QRM6GRHTKD`
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 2603.26376#2R65 (statement). In PJAT9YDX7Y/e1, theorem 3.12

History

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

Examples QRM8E3RWRB

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

Mentions

wikipedia: Wikipedia Courant algebroid#H5YF, Examples (example)

History

2026-11-02: add by m2/dev

QRMRVFY2FN QRMRVFY2FN

URI	`m2://inv/QRMRVFY2FN`
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 2007.14459#J08I (statement). In SGQ7VFEZ22/e1, theorem 3.6

History

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

QRMYA9BFZH QRMYA9BFZH

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

Mentions

arxiv: arXiv 2610.02017#F9F7 (definition). In F6C80AEXC1/e1, definition 5.2

History

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

QRN5KJ5P1E QRN5KJ5P1E

URI	`m2://inv/QRN5KJ5P1E`
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.33219#WPW0 (statement). In ETTQWMJZXJ/e1, theorem 1

History

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

QRNR9PGQXV QRNR9PGQXV

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

Mentions

austin_ula: austin_ula src/exercises/exercises6-5.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 6.5

History

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

QRP0HPE34C QRP0HPE34C

URI	`m2://inv/QRP0HPE34C`
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 2508.02432#YDPP (statement). In B366ACYB37/e1, corollary 1.3

History

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

Hammerstein equation QRP3BCZBE1

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

Mentions

wikidata: Wikidata Q20874142, Hammerstein equation (concept). Also EoM Hammerstein_equation

History

2026-10-26: add by m2/dev

algebraic-geometrical local ring QRP5HSB6XM

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#VZCV, algebraic-geometrical local ring (definition)

History

2026-11-02: add by m2/dev

Olfactory QRP61E8G4E

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#M3HJ, Olfactory (unknown)

History

2026-11-02: add by m2/dev

Lewis's trilemma QRPCJZ3SHT

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

Mentions

wikipedia: Wikipedia Lewis's trilemma, Lewis's trilemma (definition). Also Wikidata Q4118693

History

2026-11-02: add by m2/dev

Gustavus Simmons QRPE8AG2TC

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

Mentions

wikipedia: Wikipedia Gustavus Simmons, Gustavus Simmons (topic). Also Wikidata Q381312

History

2026-11-02: add by m2/dev

QRPFYWK62K QRPFYWK62K

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

Mentions

arxiv: arXiv 2610.01268#YBP1 (statement). In 80Q4X3WT8W/e1, lemma 3.3

History

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

cf.\ QRPGA8C0Z9

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

Mentions

arxiv: arXiv 2609.33108#GH2F, cf.\ (statement). In 5JK5N2RRMS/e1, lemma 2.2

History

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

MacBeath surface QRPJHR2F36

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

Mentions

wikipedia: Wikipedia MacBeath surface, MacBeath surface (definition). Also Wikidata Q3505277

History

2026-11-02: add by m2/dev

Basic properties QRPMARDY76

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

Mentions

wikipedia: Wikipedia Slowly varying function#8ILU, Basic properties (statement)

History

2026-11-02: add by m2/dev

Formal definition QRPNKM8ZRW

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

Mentions

wikipedia: Wikipedia Metaplectic structure#NMJF, Formal definition (definition)

History

2026-11-02: add by m2/dev

Differential characterisation QRPYJR1SQ7

URI	`m2://inv/QRPYJR1SQ7`
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.03629#4VLR, Differential characterisation (statement). In T6W0HCPXFN/e1, theorem 1

History

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

Doomsday argument QRQ0VA7P4X

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

Mentions

wikipedia: Wikipedia Doomsday argument, Doomsday argument (definition). Also Wikidata Q1242493

History

2026-11-02: add by m2/dev

Why the paradox? QRQ146NNQC

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

Mentions

wikipedia: Wikipedia Three prisoners problem#RUF3, Why the paradox? (statement)

History

2026-11-02: add by m2/dev

Examples QRQ50RMHYP

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

Mentions

wikipedia: Wikipedia Expected value#K3C8, Examples (example)

History

2026-11-02: add by m2/dev

QRQ7HKGGKN QRQ7HKGGKN

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

Mentions

arxiv: arXiv 2609.32651#RLID (statement). In WFJXSE3VDT/e1, proposition 4.3

History

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

William Binney QRQ95DN7GQ

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

Mentions

wikipedia: Wikipedia William Binney (intelligence official), William Binney (topic). Also Wikidata Q13566454

History

2026-11-02: add by m2/dev

QRQA51ND8D QRQA51ND8D

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

Mentions

arxiv: arXiv 2610.09078#XF3U (definition). In B4GK8NEZM9/e1, definition 1.2

History

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

QRQA7XP3Y8 QRQA7XP3Y8

URI	`m2://inv/QRQA7XP3Y8`
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 2412.20001#ZKKY (statement). In Y6YJSB93C3/e1, theorem 16

History

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

Oxygen–hemoglobin dissociation curve QRQEKDS9ZD

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

Mentions

wikipedia: Wikipedia List of curves#O0W4, Oxygen–hemoglobin dissociation curve (unknown)

History

2026-11-02: add by m2/dev

Local signed-distance posterior criterion QRQG6MJK2Y

URI	`m2://inv/QRQG6MJK2Y`
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 2609.39190#IR9E, Local signed-distance posterior criterion (statement). In J144J3ANFZ/e1, proposition 3.8

History

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

QRQK1757T8 QRQK1757T8

URI	`m2://inv/QRQK1757T8`
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 2110.06338#H4N8 (statement). In W1VVK7WDPK/e1, proposition 2.17

History

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

epistemology QRQKK676CY

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

Mentions

wikidata: Wikidata Q9471, epistemology (unknown). Also nLab epistemology

History

2026-10-26: add by m2/dev

QRQQN6FT0A QRQQN6FT0A

URI	`m2://inv/QRQQN6FT0A`
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 2212.00617#YTKE (statement). In K7505G10SS/e1, proposition 5.10

History

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

Polynomial complexity QRQSE68QH5

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

Mentions

wikipedia: Wikipedia Time complexity#CGSN, Polynomial complexity (unknown)

History

2026-11-02: add by m2/dev

QRQTK36J16 QRQTK36J16

URI	`m2://inv/QRQTK36J16`
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.29152#KW6Y (statement)

History

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

Common lowering rule QRQWE8507J

URI	`m2://inv/QRQWE8507J`
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.39262#ZS8V, Common lowering rule (statement). In XA2NE2Z06S/e1, proposition 4.2

History

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

Blum Blum Shub QRQXH3CNZV

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

Mentions

wikipedia: Wikipedia List of random number generators#GQRQ, Blum Blum Shub (definition)

History

2026-11-02: add by m2/dev

QRQYMJN3KW QRQYMJN3KW

URI	`m2://inv/QRQYMJN3KW`
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.26701#IS1P (statement)

History

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

Ordered metalanguage QRQZ09QBYB

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

Mentions

wikipedia: Wikipedia Metalanguage#QF2D, Ordered metalanguage (unknown)

History

2026-11-02: add by m2/dev

QRR04HMD5F QRR04HMD5F

URI	`m2://inv/QRR04HMD5F`
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 math/0003117#UH9O (definition). In WD2NCBV9F0/e1, definition 13.9

History

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

María Ángeles Gil QRR175Y21K

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

Mentions

wikipedia: Wikipedia María Ángeles Gil, María Ángeles Gil (topic). Also Wikidata Q56871126

History

2026-11-02: add by m2/dev

QRR1VTC36F QRR1VTC36F

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

Mentions

arxiv: arXiv 2610.04694#0TBS (statement). In W9A0Z2NBMA/e1, proposition 4

History

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

QRR364KJX1 QRR364KJX1

URI	`m2://inv/QRR364KJX1`
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 2310.14879#4XD1 (statement). In 3VZ55B2N0D/e1, lemma 5.22

History

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

monomorphism QRRB6BPRSE

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

Mentions

hott_book: hott_book index/C.1.4/monomorphism, monomorphism (concept). In N54F33XE07, index, section C.1.4

History

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

Compact resolvent QRREBER7MN

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

Mentions

wikipedia: Wikipedia Resolvent formalism#Y6D7, Compact resolvent (unknown)

History

2026-11-02: add by m2/dev

QRRWZTWM8P QRRWZTWM8P

URI	`m2://inv/QRRWZTWM8P`
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.38803#XHNG (statement). In DQ5R7R4DZK/e1, theorem C.5

History

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

Sophie Germain's theorem QRS16AV5S0

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

Mentions

mathlib_1000: mathlib_1000 Q3527162, Sophie Germain's theorem (statement). Also Wikidata Q3527162
thousand_plus: thousand_plus Q3527162, Sophie Germain's theorem (statement). Also Wikidata Q3527162, Wikipedia Sophie Germain's theorem
wikipedia: Wikipedia Sophie Germain's theorem, Sophie Germain's theorem (statement). Also Wikidata Q3527162

History

2026-10-26: add by m2/dev

Formal definitions QRS2NP0HAY

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

Mentions

wikipedia: Wikipedia Abstract family of acceptors#39YS, Formal definitions (definition)

History

2026-11-02: add by m2/dev

ERP Characterization QRS64DRGJ5

URI	`m2://inv/QRS64DRGJ5`
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.34154#QXE7, ERP Characterization (statement). In VPET0W9RFS/e1, proposition 3.3

History

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

Matthew D. Green QRSBZH4FXS

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

Mentions

wikipedia: Wikipedia Matthew D. Green, Matthew D. Green (topic). Also Wikidata Q16729426

History

2026-11-02: add by m2/dev

Da Ruan QRSMH0KM84

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

Mentions

wikipedia: Wikipedia Da Ruan, Da Ruan (topic). Also Wikidata Q5207305

History

2026-11-02: add by m2/dev

Theorem 2 QRSNXFJ7PE

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

Mentions

wikipedia: Wikipedia Near sets#KPXV, Theorem 2 (statement)

History

2026-11-02: add by m2/dev

symmetry QRSSEPG8FM

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

Mentions

wikidata: Wikidata Q2431134, symmetry (unknown). Also MathWorld Symmetry
wikipedia: Wikipedia Symmetry in mathematics, Symmetry in mathematics (definition). Also Wikidata Q2431134

History

2026-10-26: add by m2/dev

Statement QRSWTSGS4T

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

Mentions

wikipedia: Wikipedia Bernstein–von Mises theorem#4MUE, Statement (statement)

History

2026-11-02: add by m2/dev

QRT740FFRQ QRT740FFRQ

URI	`m2://inv/QRT740FFRQ`
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#DI8W (statement). In 8KAC1E81JQ/e1, corollary 2

History

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

Bálint Tóth QRTBYCP6T8

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

Mentions

wikipedia: Wikipedia List of mathematical probabilists#NGEF, Bálint Tóth (topic)

History

2026-11-02: add by m2/dev

QRTCZC4RZE QRTCZC4RZE

URI	`m2://inv/QRTCZC4RZE`
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.21005#1SI3 (statement). In E63NRC7MBE/e1, lemma 2.16

History

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

QRTERT8NY9 QRTERT8NY9

URI	`m2://inv/QRTERT8NY9`
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.29699#CC57 (statement)

History

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

No speedup at the intrinsic rate QRTN32K6V3

URI	`m2://inv/QRTN32K6V3`
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.35418#2CTC, No speedup at the intrinsic rate (statement). In JHD3TW67QT/e1, proposition 28

History

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

Corollary QRTS5914TX

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

Mentions

wikipedia: Wikipedia Geometric rigidity#Y9U7, Corollary (statement)

History

2026-11-02: add by m2/dev

K-noid QRTVYN07VS

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

Mentions

wikipedia: Wikipedia K-noid, K-noid (definition). Also Wikidata Q6322853

History

2026-11-02: add by m2/dev

QRTXWM4VKG QRTXWM4VKG

URI	`m2://inv/QRTXWM4VKG`
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.26896#73PF (definition)

History

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

QRTXZHNQ5B QRTXZHNQ5B

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

Mentions

arxiv: arXiv 2609.25449#XV3J (statement). In 9JHMTYGWFQ/e1, lemma 3.2

History

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

caterpillar QRTZEG8Y8V

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#9E1K, caterpillar (definition)

History

2026-11-02: add by m2/dev

Complexity of the block encoding of the Scrooge $k$-th moment QRV55S8Y36

URI	`m2://inv/QRV55S8Y36`
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.39992#RQ9Z, Complexity of the block encoding of the Scrooge $k$-th moment (statement). In WF64CGYVK1/e1, theorem S28

History

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

Kleisli morphisms out of $\R^m$ are exactly samplers modulo law QRVD8PN004

URI	`m2://inv/QRVD8PN004`
Kind	statement
Layer	research
MSC	18-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.26270#EU3R, Kleisli morphisms out of $\R^m$ are exactly samplers modulo law (statement)

History

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

Polyad QRVJBW55AV

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

Mentions

wikipedia: Wikipedia Polyad (mathematics), Polyad (definition). Also Wikidata Q7226118

History

2026-11-02: add by m2/dev

QRVMJQPDPB QRVMJQPDPB

URI	`m2://inv/QRVMJQPDPB`
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.27775#5D4W (statement)

History

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

Definitions QRVX82E3S1

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

Mentions

wikipedia: Wikipedia Total variation#1SKO, Definitions (definition)

History

2026-11-02: add by m2/dev

Complete topological vector space QRVXXY0B3V

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

Mentions

wikipedia: Wikipedia Complete topological vector space, Complete topological vector space (definition). Also Wikidata Q104842536

History

2026-11-02: add by m2/dev

QRVZSCWXVQ QRVZSCWXVQ

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

Mentions

arxiv: arXiv 2610.02111#3LRK (statement). In NC5ZRF6F8N/e1, theorem 1.7

History

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

Algorithm QRW0F16KJX

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

Mentions

wikipedia: Wikipedia Karatsuba algorithm#31VF, Algorithm (definition)

History

2026-11-02: add by m2/dev

Residual zero atom and threshold QRW2TE5HHX

URI	`m2://inv/QRW2TE5HHX`
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.16680#I0L0, Residual zero atom and threshold (statement). In H29YHXQZV6/e1, corollary 21

History

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

QRW5FKRXKN QRW5FKRXKN

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

Mentions

arxiv: arXiv 2609.28594#ML7C (statement)

History

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

Definition QRWHDE3XPQ

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

Mentions

wikipedia: Wikipedia System of imprimitivity#JNMF, Definition (definition)

History

2026-11-02: add by m2/dev

Examples QRWJ2367KD

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

Mentions

wikipedia: Wikipedia Cover (algebra)#G6H4, Examples (example)

History

2026-11-02: add by m2/dev

QRWJG9WX54 QRWJG9WX54

URI	`m2://inv/QRWJG9WX54`
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.37562#9K4F (statement). In PYY8DFK2JS/e1, lemma 7.2

History

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

X-bar chart QRWJQSRGRM

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

Mentions

wikipedia: Wikipedia X-bar chart, X-bar chart (definition). Also Wikidata Q8041542

History

2026-11-02: add by m2/dev

QRWN41H0RE QRWN41H0RE

URI	`m2://inv/QRWN41H0RE`
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#IUK1 (statement). In 672XAVEQ34/e1, lemma A.5

History

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

QRWP4C2NZY QRWP4C2NZY

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

Mentions

arxiv: arXiv 2609.25168#5OIL (statement)

History

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

heterotic string theory QRXGDPWSPZ

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

Mentions

wikidata: Wikidata Q1140761, heterotic string theory (unknown). Also nLab heterotic string theory
wikipedia: Wikipedia Heterotic string theory, Heterotic string theory (definition). Also Wikidata Q1140761

History

2026-10-26: add by m2/dev

QRXP0C11FV QRXP0C11FV

URI	`m2://inv/QRXP0C11FV`
Kind	statement
Layer	research
MSC	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 2404.08319#R25S (statement). In MA1CZ2GTAF/e1, proposition 2.1

History

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

QRXTA4TCWJ QRXTA4TCWJ

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

Mentions

arxiv: arXiv 2609.22296#AYDD (statement)

History

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

Basilis Gidas QRXZ5MK7AZ

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

Mentions

wikipedia: Wikipedia Basilis Gidas, Basilis Gidas (topic). Also Wikidata Q97097495

History

2026-11-02: add by m2/dev

regular QRXZWX44JR

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#SQNO, regular (definition)

History

2026-11-02: add by m2/dev

Examples of Sahlqvist formulas QRY8QQ6MZF

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

Mentions

wikipedia: Wikipedia Sahlqvist formula#SR7K, Examples of Sahlqvist formulas (example)

History

2026-11-02: add by m2/dev

Sociedad Matemática Paraguaya QRYCRDDE42

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

Mentions

wikipedia: Wikipedia List of mathematical societies#901I, Sociedad Matemática Paraguaya (unknown)

History

2026-11-02: add by m2/dev

bicone QRYE05PD55

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

Mentions

wikidata: Wikidata Q4903716, bicone (unknown). Also MathWorld Bicone
wikipedia: Wikipedia Bicone, Bicone (definition). Also Wikidata Q4903716

History

2026-10-26: add by m2/dev

History of type theory QRYM0JYGXE

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

Mentions

wikipedia: Wikipedia History of type theory, History of type theory (definition). Also Wikidata Q5871008

History

2026-11-02: add by m2/dev

Ashkbiz Danehkar QRYNXM2EPS

URI	`m2://inv/QRYNXM2EPS`
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 Q60142955, Ashkbiz Danehkar (unknown). Also nLab Ashkbiz Danehkar

History

2026-10-26: add by m2/dev

limit, of a function in a metric space QRYRH0JD8Z

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

Mentions

lebl_ra: lebl_ra index/4.5.5/limit-of-a-function-in-a-metric-space, limit, of a function in a metric space (concept). In E59CDZA4DP, index, section 4.5.5

History

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

QRYRJM8S7M QRYRJM8S7M

URI	`m2://inv/QRYRJM8S7M`
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 2007.14459#I4HQ (statement). In SGQ7VFEZ22/e1, fact 4.7

History

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

Extension of the finite action over the $C_7$ singular orbit QRZ1SFPED2

URI	`m2://inv/QRZ1SFPED2`
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.37265#2V95, Extension of the finite action over the $C_7$ singular orbit (statement). In BKYAWEC5XH/e1, proposition 6.1

History

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

Calkin criterion QRZSE9W2E5

URI	`m2://inv/QRZSE9W2E5`
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 2609.38396#X5VS, Calkin criterion (statement). In FGNNVKQR1Z/e1, theorem 4.1

History

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