Inventory rows 61

$N$-th order energy functional 6101P91HRR

URI	`m2://inv/6101P91HRR`
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 2601.15010#NTM7, $N$-th order energy functional (definition). In K3WJ6ZN184/e1, definition 7.1

History

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

Singular-value energy and small-value count 6101RV5R3Y

URI	`m2://inv/6101RV5R3Y`
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.05498#YSFN, Singular-value energy and small-value count (statement). In TJT32RQ9GC/e1, lemma 6.13

History

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

Definition 610DYHJGPP

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

Mentions

wikipedia: Wikipedia Prolate spheroidal coordinates#MWLH, Definition (definition)

History

2026-11-02: add by m2/dev

Čech cohomology 610E6YJC6Y

URI	`m2://inv/610E6YJC6Y`
Kind	topic
Layer	textbook
Sources	2
Outcome	open
Node	Čech cohomology 97MYM5X7N5

Mentions

wikidata: Wikidata Q1095535, Čech cohomology (topic). Also EoM Čech_cohomology, nLab Čech cohomology
wikipedia: Wikipedia Čech cohomology, Čech cohomology (topic). Also Wikidata Q1095535

History

2026-10-26: add by m2/dev

\emph{Deghostification} by antisymmetric polarization 610F30459Z

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

Mentions

arxiv: arXiv 2609.36548#B6DZ, \emph{Deghostification} by antisymmetric polarization (definition). In TEGEX298ZR/e1, definition 3.1

History

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

610HZEPTN3 610HZEPTN3

URI	`m2://inv/610HZEPTN3`
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#DEKE (statement). In 9YAE8FNQST/e1, lemma 24.3

History

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

Helffer–Sjöstrand formula 610NNQT1H3

URI	`m2://inv/610NNQT1H3`
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.25301#5OP0, Helffer–Sjöstrand formula (statement)

History

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

Conditional mutual information 610RDDXV2T

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

Mentions

wikipedia: Wikipedia Conditional mutual information, Conditional mutual information (definition). Also Wikidata Q5159269

History

2026-11-02: add by m2/dev

Formulation 610X95140S

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

Mentions

wikipedia: Wikipedia Balanced flow#LV7C, Formulation (definition)

History

2026-11-02: add by m2/dev

610ZP28TX0 610ZP28TX0

URI	`m2://inv/610ZP28TX0`
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 2202.07274#GH3T (statement). In V5WGBGKYXN/e1, lemma 3.2

History

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

61152Y7D2B 61152Y7D2B

URI	`m2://inv/61152Y7D2B`
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.04252#6HZA (statement). In ZF0Z61VQ96/e1, proposition 4.8

History

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

$L^p$ space 611552CMCW

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

Mentions

mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > $L^p$ space, $L^p$ space (unknown). Also Mathlib MeasureTheory.Lp
mathlib_overview: mathlib_overview Probability Theory > Convergence of a sequence of random variables > $\mathrm{L}^p$ convergence, $\mathrm{L}^p$ convergence (unknown). Also Mathlib MeasureTheory.Lp
mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > $\mathrm{L}^p$ spaces where $1 ≤ p ≤ ∞$, $\mathrm{L}^p$ spaces where $1 ≤ p ≤ ∞$ (unknown). Also Mathlib MeasureTheory.Lp
mathlib_undergrad: mathlib_undergrad Probability Theory > Convergence of a sequence of random variables > $\mathrm{L}^p$ convergence, $\mathrm{L}^p$ convergence (unknown). Also Mathlib MeasureTheory.Lp

History

2026-10-26: add by m2/dev

Special cases 6118EK6WJD

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

Mentions

wikipedia: Wikipedia Tangential trapezoid#Q7X4, Special cases (statement)

History

2026-11-02: add by m2/dev

Maximal element 61199NWA3R

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

Mentions

wikipedia: Wikipedia List of order theory topics#40Z6, Maximal element (definition)

History

2026-11-02: add by m2/dev

611HG962G7 611HG962G7

URI	`m2://inv/611HG962G7`
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.05194#M2UH (statement). In 77R8YQ16JH/e1, lemma 4.2

History

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

611HMC5WY8 611HMC5WY8

URI	`m2://inv/611HMC5WY8`
Kind	definition
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.25275#GT07 (definition)

History

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

611RDBVT2Z 611RDBVT2Z

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

Mentions

arxiv: arXiv 2609.25255#NEN4 (statement)

History

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

Properties of the trivial measure 611S08CGBJ

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

Mentions

wikipedia: Wikipedia Trivial measure#6YUT, Properties of the trivial measure (statement)

History

2026-11-02: add by m2/dev

Second Kronecker limit formula 611W3S7DC3

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

Mentions

wikipedia: Wikipedia Kronecker limit formula#8BYD, Second Kronecker limit formula (statement)

History

2026-11-02: add by m2/dev

Wout Merbis 611W6FYX8G

URI	`m2://inv/611W6FYX8G`
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 Q86051346, Wout Merbis (unknown). Also nLab Wout Merbis

History

2026-10-26: add by m2/dev

Benedictus de Spinoza 6122YKQRYS

URI	`m2://inv/6122YKQRYS`
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 Q35802, Benedictus de Spinoza (unknown). Also nLab Baruch Spinoza

History

2026-10-26: add by m2/dev

Laces and compatible edges 61230SHBSJ

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

Mentions

arxiv: arXiv 1905.02785#G3B4, Laces and compatible edges (definition). In PF9KV74Q02/e1, definition 3.5

History

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

Construction 612337S0EG

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

Mentions

wikipedia: Wikipedia Bricard octahedron#A84P, Construction (definition)

History

2026-11-02: add by m2/dev

6123FK7VCT 6123FK7VCT

URI	`m2://inv/6123FK7VCT`
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.28011#GCS8 (statement)

History

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

612G5M18Q8 612G5M18Q8

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

Mentions

arxiv: arXiv 2609.31331#NWT6 (statement). In TWB64HRHWZ/e1, theorem 1

History

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

612M2YY3HP 612M2YY3HP

URI	`m2://inv/612M2YY3HP`
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.13518#KWE9 (statement). In 613TY6V089/e1, proposition 1

History

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

Measurable tilings of a torus 612NN6NZ3S

URI	`m2://inv/612NN6NZ3S`
Kind	statement
Layer	research
MSC	05-XX, 26-XX, 37-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 2203.01511#QZ5E, Measurable tilings of a torus (statement). In QA7EPHDTV2/e1, theorem 1.7

History

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

612Q452Q56 612Q452Q56

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

Mentions

arxiv: arXiv 2609.33173#E05C (statement). In R630A60CMM/e1, lemma 2.4

History

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

612VX6Z90B 612VX6Z90B

URI	`m2://inv/612VX6Z90B`
Kind	definition
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.37634#TO9H (definition). In NTWNXKDBKK/e1, definition 3.1

History

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

612XZ8Z5CF 612XZ8Z5CF

URI	`m2://inv/612XZ8Z5CF`
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.35339#C4MG (statement). In JT998WJYJJ/e1, theorem 2

History

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

6131DK5YXW 6131DK5YXW

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

Mentions

arxiv: arXiv 2610.22082#YQ9N (statement). In 7PACGDW3N7/e1, proposition 21.1

History

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

Nimrod Megiddo 6135KPYFAB

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#3LL2, Nimrod Megiddo (unknown)

History

2026-11-02: add by m2/dev

6136B05DZV 6136B05DZV

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#proof-6 (proof). In E59CDZA4DP, proof, section 2.2.1

History

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

the profile of $A_5$ 6138ZV6EQ2

URI	`m2://inv/6138ZV6EQ2`
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.07508#SYW6, the profile of $A_5$ (statement). In TPA3E67MKK/e1, corollary 9.12

History

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

613995WVEX 613995WVEX

URI	`m2://inv/613995WVEX`
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.32614#6A75 (statement). In SG8GT73ZNH/e1, proposition 2.8

History

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

Properties 613A7503ST

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

Mentions

wikipedia: Wikipedia Atomic model (mathematical logic)#L1U4, Properties (statement)

History

2026-11-02: add by m2/dev

Variable dimension and degree 613E6GJ8A2

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

Mentions

arxiv: arXiv 2610.12434#ERIY, Variable dimension and degree (statement). In YCRZC9SDCE/e1, corollary 1.6

History

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

Göttsche--Kool 613J451PZQ

URI	`m2://inv/613J451PZQ`
Kind	conjecture
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.03874#PZ8B, Göttsche--Kool (conjecture). In YA93K7CVMT/e1, conjecture 1

History

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

613NEBY5GE 613NEBY5GE

URI	`m2://inv/613NEBY5GE`
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.21692#MQT1 (statement). In CT4N0JGDP4/e1, lemma A.2

History

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

613NGRN8QX 613NGRN8QX

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

Mentions

arxiv: arXiv 2510.12502#WOQ9 (definition). In 3A4K47Y9F2/e1, definition 4.3

History

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

Quasimartingale 613PENECKQ

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

Mentions

wikipedia: Wikipedia Quasimartingale, Quasimartingale (definition). Also Wikidata Q133900020

History

2026-11-02: add by m2/dev

$d=2$, $n=2$, \(j=4\ 613WCR5JSJ

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

Mentions

arxiv: arXiv 2610.03775#KBMY, $d=2$, $n=2$, \(j=4\ (example). In NM928YZQVJ/e1, example

History

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

613XQJSXB9 613XQJSXB9

URI	`m2://inv/613XQJSXB9`
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.04252#5A4H (statement). In ZF0Z61VQ96/e1, lemma 5.1

History

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

Lower bounds 613Y7ACSJ1

URI	`m2://inv/613Y7ACSJ1`
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.17403#SXK4, Lower bounds (statement). In 9EMNMAW8YH/e1, theorem 13

History

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

613YTJQP8K 613YTJQP8K

URI	`m2://inv/613YTJQP8K`
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.00379#K6QU (statement). In BTSCWAGACB/e1, corollary 2

History

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

6148HE9C2G 6148HE9C2G

URI	`m2://inv/6148HE9C2G`
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.30961#DAVP (statement). In FFG2DDWEVB/e1, proposition 6.5

History

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

inconsistent system 614BVJPG3M

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

Mentions

austin_ula: austin_ula index/1.4.1/inconsistent-system, inconsistent system (concept). In 649HGZKE96, index, section 1.4.1

History

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

List of uniform tilings on the sphere, plane, and hyperbolic plane 614F3JKRF7

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#5KPN, List of uniform tilings on the sphere, plane, and hyperbolic plane (topic)

History

2026-11-02: add by m2/dev

614NQ6C2K0 614NQ6C2K0

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

Mentions

arxiv: arXiv 2610.22082#K8UG (statement). In 7PACGDW3N7/e1, lemma 14.2

History

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

Definition 614Q00RZDA

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

Mentions

wikipedia: Wikipedia Ordinal collapsing function#5WM6, Definition (definition)

History

2026-11-02: add by m2/dev

614QYRM747 614QYRM747

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

Mentions

arxiv: arXiv 2610.18620#T1QT (statement). In 6WJ0R9YEBR/e1, lemma 4.14

History

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

First model system 61564SDT2A

URI	`m2://inv/61564SDT2A`
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 2411.16655#ZZMS, First model system (statement). In EJHAXRV685/e1, theorem 1.1

History

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

615DYC2WQ4 615DYC2WQ4

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

Mentions

arxiv: arXiv 2306.12846#QHFI (statement). In D6XA7JXZF3/e1, lemma 2.12

History

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

Willems' fundamental lemma 615FVNKHB0

URI	`m2://inv/615FVNKHB0`
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.25431#ZGAV, Willems' fundamental lemma (statement)

History

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

9604 615J4ASERK

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

Mentions

wikidata: Wikidata Q19272704, 9604 (statement). Also ProofWiki 9604

History

2026-10-26: add by m2/dev

Orbital plane 615SE89NRM

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

Mentions

wikipedia: Wikipedia Orbital plane, Orbital plane (definition). Also Wikidata Q800358

History

2026-11-02: add by m2/dev

615X69MN0S 615X69MN0S

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/subformulas.tex#prop:subfrm-trans (statement). In PKGMM3P5QY, prop, section 20.2

History

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

Real and imaginary parts of the balanced Dyson equation 61608ZF1MG

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

Mentions

arxiv: arXiv 2610.15180#5N82, Real and imaginary parts of the balanced Dyson equation (statement). In AMRWRJDNKJ/e1, lemma 6.4

History

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

6166QAMEKA 6166QAMEKA

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

Mentions

hott_book: hott_book logic.tex#thm:isset-prod (example). In N54F33XE07, eg, section 9.1

History

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

Triaprism 616F59YFPC

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

Mentions

wikipedia: Wikipedia Proprism#P1MZ, Triaprism (unknown)

History

2026-11-02: add by m2/dev

Completing the blocks 616ME4Y6VS

URI	`m2://inv/616ME4Y6VS`
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.15265#IGRM, Completing the blocks (statement). In TCQ1JBR84Y/e1, lemma 9

History

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

Normalized factorization criterion 616MQTV2HE

URI	`m2://inv/616MQTV2HE`
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.20197#QA4D, Normalized factorization criterion (statement)

History

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

616T7ZXZXB 616T7ZXZXB

URI	`m2://inv/616T7ZXZXB`
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.07442#6B1V (statement). In 6SDC2Z8Y8M/e1, proposition 4.7

History

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

Hodge–Arakelov theory 616ZWY0SV1

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

Mentions

wikipedia: Wikipedia Hodge–Arakelov theory, Hodge–Arakelov theory (definition). Also Wikidata Q5876138

History

2026-11-02: add by m2/dev

617007DBNE 617007DBNE

URI	`m2://inv/617007DBNE`
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 2308.05066#KDMN (statement). In 1QSCT53ZED/e1, theorem 1.5

History

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

6170YV1RMA 6170YV1RMA

URI	`m2://inv/6170YV1RMA`
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 2601.18223#T9JO (statement). In ZRXE7EJA93/e1, theorem 3.1

History

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

Xu Ruiyun 61740WAHNN

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

Mentions

wikipedia: Wikipedia Xu Ruiyun, Xu Ruiyun (topic). Also Wikidata Q10296408

History

2026-11-02: add by m2/dev

Vlada Limic 617AHXVX9N

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

Mentions

wikipedia: Wikipedia Vlada Limic, Vlada Limic (topic). Also Wikidata Q102188894

History

2026-11-02: add by m2/dev

Multivariate function 617MJZMVQT

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

Mentions

wikipedia: Wikipedia List of types of functions#YPV2, Multivariate function (definition)

History

2026-11-02: add by m2/dev

Matching distance 6182EZKE81

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

Mentions

wikipedia: Wikipedia Matching distance, Matching distance (definition). Also Wikidata Q6786270

History

2026-11-02: add by m2/dev

618B25HJ6E 618B25HJ6E

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

Mentions

arxiv: arXiv 2609.34845#VBSS (statement). In SBZNH932ZV/e1, theorem 3.5

History

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

loop 618KSX0XMT

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#R1SH, loop (definition)

History

2026-11-02: add by m2/dev

color charge 618MR4CZSG

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

Mentions

wikidata: Wikidata Q380528, color charge (unknown). Also nLab color charge

History

2026-10-26: add by m2/dev

Examples 618X6AA55D

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

Mentions

wikipedia: Wikipedia Polyharmonic spline#2EG6, Examples (example)

History

2026-11-02: add by m2/dev

6194FAMJ6E 6194FAMJ6E

URI	`m2://inv/6194FAMJ6E`
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#7EAA (statement)

History

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

6198096XK0 6198096XK0

URI	`m2://inv/6198096XK0`
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.40345#OHW9 (statement). In WK0PT95WW1/e1, proposition 5.9

History

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

619BJG3HTN 619BJG3HTN

URI	`m2://inv/619BJG3HTN`
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.07260#U6EF (statement). In 33KABVV985/e1, lemma 2.2

History

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

619NPQRGRP 619NPQRGRP

URI	`m2://inv/619NPQRGRP`
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 2609.32338#TX5B (statement). In HVY45JQRNK/e1, corollary 6.3

History

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

Counterfactual conditional 619TC4T9VP

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

Mentions

wikipedia: Wikipedia Counterfactual conditional, Counterfactual conditional (definition). Also Wikidata Q1783264

History

2026-11-02: add by m2/dev

61A5B6AJ96 61A5B6AJ96

URI	`m2://inv/61A5B6AJ96`
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.35678#XPKA (definition). In 4X4ZS7CEKD/e1, definition 10

History

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

Sparsely totient number 61ABAQQ9Q2

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

Mentions

wikipedia: Wikipedia Sparsely totient number, Sparsely totient number (definition). Also Wikidata Q3879423

History

2026-11-02: add by m2/dev

Sorgenfrey line 61ADQWR0S3

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

Mentions

wikipedia: Wikipedia List of examples in general topology#PFSO, Sorgenfrey line (definition)

History

2026-11-02: add by m2/dev

Properties 61ADTSXXZD

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

Mentions

wikipedia: Wikipedia Truth-table reduction#9JQ7, Properties (statement)

History

2026-11-02: add by m2/dev

Properties 61AFYENNTG

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

Mentions

wikipedia: Wikipedia Covering relation#YXP0, Properties (statement)

History

2026-11-02: add by m2/dev

Archimedes Square 61AGY58BJD

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

Mentions

wikipedia: Wikipedia List of things named after Archimedes#YOJ7, Archimedes Square (definition)

History

2026-11-02: add by m2/dev

61AJYVM4WF 61AJYVM4WF

URI	`m2://inv/61AJYVM4WF`
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 1004.4564#9AVJ (statement). In BZ54C9SKYS/e1, lemma 2.5

History

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

61ANMF6H93 61ANMF6H93

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

Mentions

arxiv: arXiv 2610.16779#8MYG (statement). In 1R7H0ZAHWA/e1, theorem 6.5

History

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

Ambiguous grammar 61ASC0R92G

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

Mentions

wikipedia: Wikipedia Ambiguous grammar, Ambiguous grammar (definition). Also Wikidata Q1917459

History

2026-11-02: add by m2/dev

unlink 61ASXBN62B

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

Mentions

wikidata: Wikidata Q2791199, unlink (unknown). Also MathWorld Unlink
wikipedia: Wikipedia Unlink, Unlink (definition). Also Wikidata Q2791199

History

2026-10-26: add by m2/dev

The unstable octahedral axiom 61AV568P38

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

Mentions

hott_book: hott_book equivalences.tex#ex:unstable-octahedron, The unstable octahedral axiom (exercise). In N54F33XE07, ex, section 3.9

History

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

Steinberg group (Lie theory) 61AWEN3SEQ

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

Mentions

wikipedia: Wikipedia Group of Lie type#LB59, Steinberg group (Lie theory) (unknown)

History

2026-11-02: add by m2/dev

Rajeev Motwani 61AWGFRZWA

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#UY4H, Rajeev Motwani (topic)

History

2026-11-02: add by m2/dev

61B7BGY5N3 61B7BGY5N3

URI	`m2://inv/61B7BGY5N3`
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.11034#QMVJ (statement). In 2KACPY9MMF/e1, proposition A.2

History

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

61BQJ4Y02W 61BQJ4Y02W

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

Mentions

arxiv: arXiv 2610.09739#PPHI (statement). In ZYNZ95FSFD/e1, proposition 3.1

History

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

Pole (complex analysis) 61BS5432P1

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

Mentions

wikipedia: Wikipedia List of complex analysis topics#XD51, Pole (complex analysis) (definition)

History

2026-11-02: add by m2/dev

Lower Bound at the Nodal Level 61BWFA9N82

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

Mentions

arxiv: arXiv 2610.13222#L9Z3, Lower Bound at the Nodal Level (statement). In Z6WA2R0J50/e1, corollary 6.6

History

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

Examples 61BXWK4S75

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

Mentions

wikipedia: Wikipedia Valuation (geometry)#33AJ, Examples (example)

History

2026-11-02: add by m2/dev

Total least squares 61C0MC8X3K

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

Mentions

wikipedia: Wikipedia Total least squares, Total least squares (definition). Also Wikidata Q7828122

History

2026-11-02: add by m2/dev

Basu's theorem 61C6MVED6W

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

Mentions

wikipedia: Wikipedia List of statistics articles#4GCQ, Basu's theorem (statement)

History

2026-11-02: add by m2/dev

Good places 61CBC1TE84

URI	`m2://inv/61CBC1TE84`
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.35460#DDA3, Good places (statement). In R515NECVME/e1, lemma 8.5

History

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

61CCRN0SDP 61CCRN0SDP

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

Mentions

arxiv: arXiv 2212.00617#42XG (definition). In K7505G10SS/e1, definition 3.1

History

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

Noncommutative unique factorization domain 61CEP8CPSQ

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

Mentions

wikipedia: Wikipedia Noncommutative unique factorization domain, Noncommutative unique factorization domain (definition). Also Wikidata Q7049230

History

2026-11-02: add by m2/dev

61CNMT5GPW 61CNMT5GPW

URI	`m2://inv/61CNMT5GPW`
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.17258#IAUY (statement). In F4M67ZVBF2/e1, proposition 2.1

History

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

61CWVNK09T 61CWVNK09T

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

Mentions

arxiv: arXiv 2609.38556#L93E (statement). In GC2H0HS7ZM/e1, lemma 3.9

History

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

61CZ6J90CM 61CZ6J90CM

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

Mentions

arxiv: arXiv 2609.03601#O7SB (statement). In F7TDYCHCSE/e1, lemma 3.8

History

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

61D2XVZVCF 61D2XVZVCF

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-27 (exercise). In E9HS8K3A52, exercise, section 7.2.7

History

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

61D4J0G6M0 61D4J0G6M0

URI	`m2://inv/61D4J0G6M0`
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#RL3H (statement). In 751KSRS7WT/e1, lemma 4.4

History

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

Two-sided bounds 61DE6E5JXT

URI	`m2://inv/61DE6E5JXT`
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.01855#7CSV, Two-sided bounds (statement). In MM8P5CJR18/e1, proposition 4.4

History

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

standard error 61DH2YNG27

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

Mentions

wikidata: Wikidata Q620994, standard error (unknown). Also MathWorld StandardError
wikipedia: Wikipedia Standard error, Standard error (definition). Also Wikidata Q620994

History

2026-10-26: add by m2/dev

Random utility model 61DJFK75WA

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

Mentions

wikipedia: Wikipedia Random utility model, Random utility model (definition). Also Wikidata Q124097620

History

2026-11-02: add by m2/dev

61DR54HEW9 61DR54HEW9

URI	`m2://inv/61DR54HEW9`
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.01924#R29A (statement). In CB89152EQW/e1, lemma 21

History

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

61DR7HQ4Q0 61DR7HQ4Q0

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

Mentions

arxiv: arXiv 2609.37520#E2OO (statement). In BDN507RN7J/e1, proposition 3.6.17

History

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

G-module 61E3Q205ZZ

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

Mentions

wikipedia: Wikipedia G-module, G-module (definition). Also Wikidata Q2912125

History

2026-11-02: add by m2/dev

Carnap Papers 61EKWJSN65

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

Mentions

wikipedia: Wikipedia Carnap Papers, Carnap Papers (definition). Also Wikidata Q22096234

History

2026-11-02: add by m2/dev

61EM4TQXDV 61EM4TQXDV

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

Mentions

arxiv: arXiv 2609.36204#5PEH (statement). In ZEHQDJTEDG/e1, lemma 2.3

History

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

61ES7AD38S 61ES7AD38S

URI	`m2://inv/61ES7AD38S`
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.26357#BY5I (statement)

History

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

Girolamo Fracastoro 61EVJQJPY8

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

Mentions

wikipedia: Wikipedia Girolamo Fracastoro, Girolamo Fracastoro (topic). Also Wikidata Q318593

History

2026-11-02: add by m2/dev

Church's thesis 61EW8Z65ZW

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

Mentions

wikipedia: Wikipedia Church's thesis (constructive mathematics), Church's thesis (definition). Also Wikidata Q5116527

History

2026-11-02: add by m2/dev

Hermann Rothe 61EYDFG7EC

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

Mentions

wikipedia: Wikipedia Hermann Rothe, Hermann Rothe (topic). Also Wikidata Q86141

History

2026-11-02: add by m2/dev

61F0ZRWYH4 61F0ZRWYH4

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise-41 (exercise). In E59CDZA4DP, exercise, section 4.4.3

History

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

61F5MQHH5J 61F5MQHH5J

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

Mentions

arxiv: arXiv 2609.34570#RA0S (statement). In EVFX1R7ZDD/e1, proposition 7

History

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

Brazilian number 61F6W03VNA

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

Mentions

wikidata: Wikidata Q60963516, Brazilian number (object). Also OEIS A125134

History

2026-10-26: add by m2/dev

61F9FBND8V 61F9FBND8V

URI	`m2://inv/61F9FBND8V`
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.25912#PWQT (statement)

History

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

61FKQMK3P8 61FKQMK3P8

URI	`m2://inv/61FKQMK3P8`
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.37593#I1KQ (statement). In YTF96VHKAH/e1, theorem 1.1

History

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

61FR1BVCQY 61FR1BVCQY

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/counting-proofs.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 2.4

History

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

61FRH8YBXF 61FRH8YBXF

URI	`m2://inv/61FRH8YBXF`
Kind	conjecture
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.19249#IFYA (conjecture). In 2X586J6KQ1/e1, conjecture 1.1

History

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

Generalized Hochster decomposition 61FX8D23KD

URI	`m2://inv/61FX8D23KD`
Kind	statement
Layer	research
MSC	37-XX, 53-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.26269#ZMV3, Generalized Hochster decomposition (statement)

History

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

Formal definitions 61FYKTWFEJ

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

Mentions

wikipedia: Wikipedia Polytopological space#5EH3, Formal definitions (definition)

History

2026-11-02: add by m2/dev

61G6EPJEK0 61G6EPJEK0

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

Mentions

wikipedia: Wikipedia Littlewood conjecture#2P4I (problem)

History

2026-11-02: add by m2/dev

special linear group 61G7C1F9CK

URI	`m2://inv/61G7C1F9CK`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Special linear group 0V9PMN0RBH

Mentions

wikidata: Wikidata Q2140900, special linear group (definition). Also MathWorld SpecialLinearGroup, nLab special linear group, ProofWiki Definition:Special_Linear_Group
wikipedia: Wikipedia Special linear group, Special linear group (definition). Also Wikidata Q2140900

History

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

61GHFDN7MV 61GHFDN7MV

URI	`m2://inv/61GHFDN7MV`
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.05722#WEDA (statement). In NDKWV5J14V/e1, lemma 2.11

History

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

Arthur Goldberger 61H7HM4NS2

URI	`m2://inv/61H7HM4NS2`
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#AC3V, Arthur Goldberger (unknown)

History

2026-11-02: add by m2/dev

61H9A30CRK 61H9A30CRK

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

Mentions

arxiv: arXiv 2609.36509#XS45 (statement). In DPJ15KW23C/e1, proposition 9.9

History

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

Pataraia's theorem 61HCK29V8Y

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

Mentions

wikipedia: Wikipedia Pataraia's theorem, Pataraia's theorem (statement). Also Wikidata Q139414244

History

2026-11-02: add by m2/dev

Weighted coupling bound 61HR8ZW47Y

URI	`m2://inv/61HR8ZW47Y`
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.07162#4UXN, Weighted coupling bound (statement). In MQEB9ZHQAT/e1, proposition C.3

History

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

Global asymptotic stability of the DEE point 61HS7ZXVTZ

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

Mentions

arxiv: arXiv 2609.29567#ZXPM, Global asymptotic stability of the DEE point (statement)

History

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

Astrid an Huef 61HXK12JJG

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

Mentions

wikipedia: Wikipedia Astrid an Huef, Astrid an Huef (topic). Also Wikidata Q29750347

History

2026-11-02: add by m2/dev

Force chain 61HXQ43J8R

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

Mentions

wikipedia: Wikipedia Force chain, Force chain (definition). Also Wikidata Q17014412

History

2026-11-02: add by m2/dev

Rosati involution 61J5R4KT75

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

Mentions

wikipedia: Wikipedia Rosati involution, Rosati involution (definition). Also Wikidata Q7367454

History

2026-11-02: add by m2/dev

$\V p$-conditional Riesz pairs generated by $\Op L$ 61JAFF9MJC

URI	`m2://inv/61JAFF9MJC`
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.14906#QOB5, $\V p$-conditional Riesz pairs generated by $\Op L$ (statement). In 1F8ENX770M/e1, theorem 4.4

History

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

Whirlpool algorithm 61JD89HW41

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

Mentions

wikipedia: Wikipedia Whirlpool (hash function)#4U2Q, Whirlpool algorithm (definition)

History

2026-11-02: add by m2/dev

61JF8AMJM1 61JF8AMJM1

URI	`m2://inv/61JF8AMJM1`
Kind	example
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#8BN8 (example). In HRCEFY172P/e1, example 4.2

History

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

61JSSGE30K 61JSSGE30K

URI	`m2://inv/61JSSGE30K`
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 1009.2047#43J5 (statement). In F3MWRNBNED/e1, proposition 7.4

History

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

Positive energy theorem 61K1K29VR4

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

Mentions

wikipedia: Wikipedia List of theorems#PTXI, Positive energy theorem (statement)

History

2026-11-02: add by m2/dev

61K3Q7NTK7 61K3Q7NTK7

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

Mentions

arxiv: arXiv 2312.14445#9EL8 (statement). In V56MKF0KW2/e1, proposition B.3

History

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

61K4B5VBH8 61K4B5VBH8

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

Mentions

austin_ula: austin_ula src/exercises/exercises2-5.xml#exercise-10 (exercise). In 649HGZKE96, exercise, section 2.5

History

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

Models of Non-Euclidean geometry 61K4FNHRJN

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

Mentions

wikipedia: Wikipedia Non-Euclidean geometry#GK5V, Models of Non-Euclidean geometry (unknown)

History

2026-11-02: add by m2/dev

Example 61KAXTBS9C

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

Mentions

wikipedia: Wikipedia Pooled variance#08LM, Example (example)

History

2026-11-02: add by m2/dev

compound of four octahedra 61KDKNY62W

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

Mentions

wikidata: Wikidata Q5156870, compound of four octahedra (unknown). Also MathWorld Octahedron4-Compound
wikipedia: Wikipedia Compound of four octahedra, Compound of four octahedra (definition). Also Wikidata Q5156870

History

2026-10-26: add by m2/dev

Completeness 61KPWTMFVM

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

Mentions

napkin: napkin tex/set-theory/forcing.tex#corollary-1, Completeness (statement). In RZP28ERRZV, corollary, section 90.5

History

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

61KQMA7KAD 61KQMA7KAD

URI	`m2://inv/61KQMA7KAD`
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.02481#V70V (statement). In 5HACFNFY0P/e1, corollary 4.9

History

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

Martingale representation theorem 61KZH903KQ

URI	`m2://inv/61KZH903KQ`
Kind	statement
Layer	textbook
MSC	60-XX, 60H10
Sources	4
Outcome	open
Node	Martingale representation theorem 2E8MQXDYNV

Mentions

mathlib_1000: mathlib_1000 Q6777133, Martingale representation theorem (statement). Also Wikidata Q6777133
thousand_plus: thousand_plus Q6777133, Martingale representation theorem (statement). Also Wikidata Q6777133, Wikipedia Martingale representation theorem, Wikipedia Integral representation theorem for classical Wiener space
wikidata: Wikidata Q6777133, Martingale representation theorem (topic)
wikipedia: Wikipedia Martingale representation theorem, Martingale representation theorem (statement). Also Wikidata Q6777133

History

2026-10-26: add by m2/dev

61MCCXWT94 61MCCXWT94

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

Mentions

arxiv: arXiv 2208.13855#EG3M (statement). In GJKRVZ5YN5/e1, corollary 20

History

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

61MJ7A1YD6 61MJ7A1YD6

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

Mentions

napkin: napkin tex/alg-geom/proj-var.tex#definition-9 (definition). In RZP28ERRZV, definition, section 23.4

History

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

Pell's equation 61MPDY807Y

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

Mentions

wikipedia: Wikipedia Glossary of number theory#C7TF, Pell's equation (definition)

History

2026-11-02: add by m2/dev

61MREFZSFH 61MREFZSFH

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#exercise-13 (exercise). In E59CDZA4DP, exercise, section 7.2.5

History

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

Sharp square-zero constant 61N5A2GNEV

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

Mentions

arxiv: arXiv 2609.25027#2XWO, Sharp square-zero constant (statement)

History

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

61N6XC2DZB 61N6XC2DZB

URI	`m2://inv/61N6XC2DZB`
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 2607.01109#PP7D (statement). In V35F0T5RQ2/e1, proposition 6.1

History

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

LI from uniform LPPL 61N7AZQ9FR

URI	`m2://inv/61N7AZQ9FR`
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.31858#LYF6, LI from uniform LPPL (statement). In QV16PHDXKJ/e1, theorem 4.12

History

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

Modular lambda function 61NB08AQDG

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

Mentions

wikipedia: Wikipedia Modular lambda function, Modular lambda function (definition). Also Wikidata Q6889722

History

2026-11-02: add by m2/dev

61NCJHMBWS 61NCJHMBWS

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

Mentions

arxiv: arXiv 2610.01694#WO4J (definition). In EBMHYN0XK9/e1, definition 2.2

History

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

dual polyhedron 61NPEWJN5P

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

Mentions

wikidata: Wikidata Q1053857, dual polyhedron (unknown). Also MathWorld DualPolyhedron
wikipedia: Wikipedia Dual polyhedron, Dual polyhedron (object). Also Wikidata Q1053857

History

2026-10-26: add by m2/dev

Convex duality 61NVY3NCWX

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

Mentions

wikipedia: Wikipedia List of dualities#F6BP, Convex duality (definition)

History

2026-11-02: add by m2/dev

Alessandra Buonanno 61NW36AVBV

URI	`m2://inv/61NW36AVBV`
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 Q4716267, Alessandra Buonanno (unknown). Also nLab Alessandra Buonanno

History

2026-10-26: add by m2/dev

61NYKX86SX 61NYKX86SX

URI	`m2://inv/61NYKX86SX`
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.39531#XAFP (statement). In SN9RSTHQ07/e1, lemma F.5

History

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

61NZTS5PJP 61NZTS5PJP

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

Mentions

arxiv: arXiv 2511.17751#V378 (statement). In J39X0NB31S/e1, proposition 2.6

History

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

61P3DSR72M 61P3DSR72M

URI	`m2://inv/61P3DSR72M`
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.10474#T07F (statement). In MB29RAAQMG/e1, lemma 6.7

History

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

61P5A72ZBD 61P5A72ZBD

URI	`m2://inv/61P5A72ZBD`
Kind	definition
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 2309.01359#7DQ0 (definition). In BFV19FC2G7/e1, definition 1.3

History

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

Truncation (geometry) 61PDFXY6KM

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#X3OL, Truncation (geometry) (object)

History

2026-11-02: add by m2/dev

power set 61PDPZN70V

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

Mentions

levin_dmoi: levin_dmoi index/1.3.2/power-set, power set (concept). In Y91XFCEVHQ, index, section 1.3.2

History

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

Algorithm 61PE8Q1MPE

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

Mentions

wikipedia: Wikipedia LowerUnits#WYOX, Algorithm (definition)

History

2026-11-02: add by m2/dev

Applications 61PSRSFXWF

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

Mentions

wikipedia: Wikipedia Hendecagram#HIQS, Applications (example)

History

2026-11-02: add by m2/dev

John Hudson 61PSZVK226

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

Mentions

wikipedia: Wikipedia John Hudson (mathematician), John Hudson (topic). Also Wikidata Q6240251

History

2026-11-02: add by m2/dev

61PXMBRBQA 61PXMBRBQA

URI	`m2://inv/61PXMBRBQA`
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 2308.05066#MANN (statement). In 1QSCT53ZED/e1, theorem 2.3

History

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

Transfer of irregular reflected BSDEs 61QBQGNB8M

URI	`m2://inv/61QBQGNB8M`
Kind	problem
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.18180#1WL6, Transfer of irregular reflected BSDEs (problem). In NJGS7D1EPH/e1, problem 9.1

History

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

Karl Heun 61QE5SWNSJ

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

Mentions

wikipedia: Wikipedia Karl Heun, Karl Heun (topic). Also Wikidata Q78041

History

2026-11-02: add by m2/dev

Russian abacus 61QF8A3YHM

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

Mentions

wikipedia: Wikipedia Abacus#JC5P, Russian abacus (unknown)

History

2026-11-02: add by m2/dev

61QFN8EDGR 61QFN8EDGR

URI	`m2://inv/61QFN8EDGR`
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.12683#2ACU (statement). In N5ZFFWV3RX/e1, theorem 1.3

History

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

61QGGSQM87 61QGGSQM87

URI	`m2://inv/61QGGSQM87`
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.14318#16B7 (statement). In HA4SZZJ831/e1, theorem 2.2

History

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

61QHNMYZYV 61QHNMYZYV

URI	`m2://inv/61QHNMYZYV`
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.18555#BSE0 (statement). In JPR62EY6A5/e1, theorem 2

History

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

61QS7CNCR9 61QS7CNCR9

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

Mentions

napkin: napkin tex/H113/ring-intro.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 5.6

History

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

barbell graph 61QVK5YHN4

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

Mentions

wikidata: Wikidata Q25305246, barbell graph (unknown). Also MathWorld BarbellGraph

History

2026-10-26: add by m2/dev

61R4T2SCK1 61R4T2SCK1

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

Mentions

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

History

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

61R8ZHRCK6 61R8ZHRCK6

URI	`m2://inv/61R8ZHRCK6`
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 2610.20376#2AIG (definition). In DGTCGQX6YZ/e1, definition 2.2

History

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

Curve of pursuit 61RBJ1D9HB

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

Mentions

wikipedia: Wikipedia List of curves topics#5TYZ, Curve of pursuit (definition)

History

2026-11-02: add by m2/dev

Brianchon hexagon 61RDHE9SZT

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#00T5, Brianchon hexagon (definition)

History

2026-11-02: add by m2/dev

Gauss's Theorema Egregium 61RKH12BRB

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

Mentions

wikipedia: Wikipedia List of theorems#MHZA, Gauss's Theorema Egregium (definition)

History

2026-11-02: add by m2/dev

Ordered partition of a set 61RSNAP9AA

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

Mentions

wikipedia: Wikipedia List of partition topics#94YH, Ordered partition of a set (definition)

History

2026-11-02: add by m2/dev

Examples 61RYG1HWMT

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

Mentions

wikipedia: Wikipedia Law of total cumulance#I2VX, Examples (example)

History

2026-11-02: add by m2/dev

Formal definition 61RZ75PN70

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

Mentions

wikipedia: Wikipedia Rizza manifold#OJ3G, Formal definition (definition)

History

2026-11-02: add by m2/dev

CoolaData 61S0MKP5BW

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

Mentions

wikipedia: Wikipedia CoolaData, CoolaData (definition). Also Wikidata Q20707043

History

2026-11-02: add by m2/dev

61S7K6VGH2 61S7K6VGH2

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

Mentions

arxiv: arXiv 2403.16814#CHP2 (statement). In MN03Z3PRFT/e1, proposition 4.4

History

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

Logical expressivism 61S9TG5BT8

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

Mentions

wikipedia: Wikipedia Robert Brandom#CFVU, Logical expressivism (unknown)

History

2026-11-02: add by m2/dev

Semi-Clifford Gate 61SBMDCVEG

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

Mentions

arxiv: arXiv 2212.05398#21YK, Semi-Clifford Gate (definition). In WQKQ8438M7/e1, definition 1.1

History

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

Arithmetic progression 61T3A9ZY9F

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#ZA01, Arithmetic progression (definition)

History

2026-11-02: add by m2/dev

Generalizations 61T6H5JXZF

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

Mentions

wikipedia: Wikipedia Pythagorean theorem#POD2, Generalizations (statement)

History

2026-11-02: add by m2/dev

George Francis McEwen 61TF1G7R4F

URI	`m2://inv/61TF1G7R4F`
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#ZM80, George Francis McEwen (unknown)

History

2026-11-02: add by m2/dev

61TFSAJJ8B 61TFSAJJ8B

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

Mentions

arxiv: arXiv 2610.11545#FLI0 (definition). In VN084GGZGK/e1, definition 4.8

History

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

chemical compound 61TMH2HXPR

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

Mentions

wikidata: Wikidata Q11173, chemical compound (definition). Also ProofWiki Definition:Chemical_Compound

History

2026-10-26: add by m2/dev

Elizabeth S. Allman 61TP4QKW9M

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#R7YR, Elizabeth S. Allman (topic)

History

2026-11-02: add by m2/dev

Financial econometrics 61TQ32YZJY

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

Mentions

wikipedia: Wikipedia List of statistics articles#HJAU, Financial econometrics (definition)

History

2026-11-02: add by m2/dev

61TQ7RPWQ9 61TQ7RPWQ9

URI	`m2://inv/61TQ7RPWQ9`
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.27200#JQHW (statement)

History

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

61TQQ636AJ 61TQQ636AJ

URI	`m2://inv/61TQQ636AJ`
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.39700#S0YG (statement). In E7W2HDNEKJ/e1, theorem 6.14

History

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

61V0WN8Z4Q 61V0WN8Z4Q

URI	`m2://inv/61V0WN8Z4Q`
Kind	statement
Layer	research
MSC	19-XX, 20-XX, 22-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.14278#NSVJ (statement). In RTE2C0PH4S/e1, corollary 3.5

History

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

61VAKYHXZE 61VAKYHXZE

URI	`m2://inv/61VAKYHXZE`
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.26500#P7QX (statement)

History

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

61VD7XDDQE 61VD7XDDQE

URI	`m2://inv/61VD7XDDQE`
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 2610.04730#DMQI (statement). In QHFP0837Q8/e1, proposition 5.16

History

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

61VFFAR563 61VFFAR563

URI	`m2://inv/61VFFAR563`
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 1009.2043#HGRN (statement). In 7DCNHRBK5A/e1, lemma 5.3

History

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

61VRKJF3ZB 61VRKJF3ZB

URI	`m2://inv/61VRKJF3ZB`
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.13475#OQQM (statement). In P5SQ4CMX42/e1, proposition 1

History

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

Geostatistics 61VRYZ8CPZ

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

Mentions

wikipedia: Wikipedia Geostatistics, Geostatistics (topic). Also Wikidata Q1440020

History

2026-11-02: add by m2/dev

Taylor's theorem 61W6DFJGXV

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

Mentions

lebl_ra: lebl_ra index/3.3.2/taylor-s-theorem, Taylor's theorem (concept). In E59CDZA4DP, index, section 3.3.2

History

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

Plancherel theorem for spherical functions 61W7H9H0BE

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

Mentions

mathlib_1000: mathlib_1000 Q11573495, Plancherel theorem for spherical functions (statement). Also Wikidata Q11573495
thousand_plus: thousand_plus Q11573495, Plancherel theorem for spherical functions (statement). Also Wikidata Q11573495, Wikipedia Plancherel theorem for spherical functions
wikipedia: Wikipedia Plancherel theorem for spherical functions, Plancherel theorem for spherical functions (statement). Also Wikidata Q11573495

History

2026-10-26: add by m2/dev

Properties 61WB9CW1WY

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

Mentions

wikipedia: Wikipedia Wishart distribution#WAHW, Properties (statement)

History

2026-11-02: add by m2/dev

61WD13K9GQ 61WD13K9GQ

URI	`m2://inv/61WD13K9GQ`
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.07164#XOKD (statement). In Q1XJ5VWE1N/e1, proposition 6.3

History

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

Ishioka--Kunugi 61WF1CB4H0

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

Mentions

arxiv: arXiv 2609.25967#LW9P, Ishioka--Kunugi (statement)

History

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

61WGC9BN4P 61WGC9BN4P

URI	`m2://inv/61WGC9BN4P`
Kind	example
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.14364#LZGI (example). In GTA6B7SW2V/e1, example 5.3

History

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

Tommy Bonnesen 61WQDDKNE4

URI	`m2://inv/61WQDDKNE4`
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#7EAN, Tommy Bonnesen (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TWQ5, Tommy Bonnesen (topic)

History

2026-11-02: add by m2/dev

Blichfeldt's theorem 61WRR5QRDB

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

Mentions

wikipedia: Wikipedia Blichfeldt's theorem, Blichfeldt's theorem (statement). Also Wikidata Q104902490

History

2026-11-02: add by m2/dev

61WV25K609 61WV25K609

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

Mentions

arxiv: arXiv 2609.23167#C2KQ (definition)

History

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

James's theorem 61X3XJQ9XN

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

Mentions

wikipedia: Wikipedia James's theorem, James's theorem (statement). Also Wikidata Q1780722

History

2026-11-02: add by m2/dev

61X6RK9HCK 61X6RK9HCK

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

Mentions

arxiv: arXiv math/9902147#WQN2 (statement). In 7CK21JGM5A/e1, corollary 5.14

History

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

61XA73KHJ0 61XA73KHJ0

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

Mentions

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

History

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

Construction 61XFM38PME

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

Mentions

wikipedia: Wikipedia Great icosahedron#2Z0M, Construction (definition)

History

2026-11-02: add by m2/dev

Hermite–Kronecker–Brioschi characterization 61XM4M2QAS

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

Mentions

wikipedia: Wikipedia List of things named after Charles Hermite#5IOH, Hermite–Kronecker–Brioschi characterization (definition)

History

2026-11-02: add by m2/dev

Sample maximum and minimum 61XT4Q73K7

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

Mentions

wikipedia: Wikipedia Sample maximum and minimum, Sample maximum and minimum (definition). Also Wikidata Q780643

History

2026-11-02: add by m2/dev

List of steganography techniques 61YNHAVRY8

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

Mentions

wikipedia: Wikipedia List of steganography techniques, List of steganography techniques (topic). Also Wikidata Q123944567

History

2026-11-02: add by m2/dev

Goodman's Theorem 61YQ45J6CF

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

Mentions

wikipedia: Wikipedia Homomorphism density#V4A7, Goodman's Theorem (statement)

History

2026-11-02: add by m2/dev

Kuratowski–Zorn lemma 61YQRXT9VW

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

Mentions

wikipedia: Wikipedia List of things named after Kazimierz Kuratowski#6QN2, Kuratowski–Zorn lemma (statement)

History

2026-11-02: add by m2/dev

61YRPD0W9P 61YRPD0W9P

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

Mentions

open_logic: open_logic content/normal-modal-logic/sequent-calculus/more-rules.tex#ex-4 (example). In PKGMM3P5QY, ex, section 53.6

History

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

Functional boxplot 61Z1HB6D60

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

Mentions

wikipedia: Wikipedia Functional boxplot, Functional boxplot (definition). Also Wikidata Q5508797

History

2026-11-02: add by m2/dev

61Z3PRCH2Z 61Z3PRCH2Z

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

Mentions

arxiv: arXiv 2609.25080#492A (statement)

History

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

61ZAX2BWB5 61ZAX2BWB5

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

Mentions

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

History

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

Example 61ZC3XKAFP

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

Mentions

wikipedia: Wikipedia Lyapunov stability#7L57, Example (example)

History

2026-11-02: add by m2/dev

61ZKQ4B89Y 61ZKQ4B89Y

URI	`m2://inv/61ZKQ4B89Y`
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.01932#DOAL (statement). In XDKWW6NR0K/e1, lemma 7.11

History

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

61ZKR97P2Z 61ZKR97P2Z

URI	`m2://inv/61ZKR97P2Z`
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.11779#PX1F (statement). In V1ZQRDM2CH/e1, theorem 2.2

History

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