Inventory rows 37

tensor calculus 370N33S5QE

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

Mentions

wikidata: Wikidata Q4454681, tensor calculus (unknown). Also MathWorld TensorCalculus, nLab tensor calculus

History

2026-10-26: add by m2/dev

Geographic autocorrelation 370SQD311N

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

Mentions

wikipedia: Wikipedia Spatial analysis#1SR4, Geographic autocorrelation (unknown)

History

2026-11-02: add by m2/dev

Marc Voorhoeve 370YZJJS4Y

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#1S8S, Marc Voorhoeve (topic)

History

2026-11-02: add by m2/dev

3711QKG235 3711QKG235

URI	`m2://inv/3711QKG235`
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.39430#Y441 (statement). In 6FH24CYAMW/e1, proposition 6.2

History

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

3713MFWHRV 3713MFWHRV

URI	`m2://inv/3713MFWHRV`
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#5UWU (statement). In 9YAE8FNQST/e1, lemma D.2

History

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

Autolycus of Pitane 37144RDBH5

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

Mentions

wikipedia: Wikipedia List of Greek mathematicians#MKM5, Autolycus of Pitane (unknown)

History

2026-11-02: add by m2/dev

Weak solutions 3716MBAXPS

URI	`m2://inv/3716MBAXPS`
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.18797#DCB0, Weak solutions (definition). In HVZW77G66Z/e1, definition 1.2

History

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

371A6SCH1Q 371A6SCH1Q

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

Mentions

napkin: napkin tex/cats/functors.tex#definition-2 (definition). In RZP28ERRZV, definition, section 37.4

History

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

cardinality principle 371V9K7CEV

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

Mentions

wikipedia: Wikipedia Natural number#CV5R, cardinality principle (definition)

History

2026-11-02: add by m2/dev

371WSVZKR4 371WSVZKR4

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

Mentions

austin_ula: austin_ula src/section7-5.xml#activity-4 (exercise). In 649HGZKE96, activity, section 7.5.5

History

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

3723QGD3YK 3723QGD3YK

URI	`m2://inv/3723QGD3YK`
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.17677#Y22T (statement). In 5E9G06XJKC/e1, lemma D.15

History

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

Narumi polynomials 3723SEPYE4

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

Mentions

wikidata: Wikidata Q6966457, Narumi polynomials (unknown). Also MathWorld NarumiPolynomial
wikipedia: Wikipedia Narumi polynomials, Narumi polynomials (definition). Also Wikidata Q6966457

History

2026-10-26: add by m2/dev

Bomba 372632BYK6

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

Mentions

wikipedia: Wikipedia Bomba (cryptography), Bomba (definition). Also Wikidata Q1654691

History

2026-11-02: add by m2/dev

James R. Thompson 3729XS5Q57

URI	`m2://inv/3729XS5Q57`
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#OSKL, James R. Thompson (unknown)

History

2026-11-02: add by m2/dev

Adolph Jensen 372C884WDD

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

Mentions

wikipedia: Wikipedia Adolph Jensen, Adolph Jensen (topic). Also Wikidata Q4684357

History

2026-11-02: add by m2/dev

Signal time series and signal separation space 372F25QEZV

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

Mentions

arxiv: arXiv 2609.12271#7LAS, Signal time series and signal separation space (definition). In WGCET6KSQ7/e1, definition 2

History

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

Blind hole 372FQY8AC1

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

Mentions

wikipedia: Wikipedia Hole#7VLA, Blind hole (unknown)

History

2026-11-02: add by m2/dev

Predictive intake modelling 372K7RMWN6

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

Mentions

wikipedia: Wikipedia List of statistics articles#GZKI, Predictive intake modelling (definition)

History

2026-11-02: add by m2/dev

372RAYS743 372RAYS743

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

Mentions

arxiv: arXiv 2610.09133#O5WR (statement). In E7BPGPP9Z5/e1, theorem 5.2

History

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

Bellard's formula 3731F46MNZ

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

Mentions

wikipedia: Wikipedia Bellard's formula, Bellard's formula (statement). Also Wikidata Q1108664

History

2026-11-02: add by m2/dev

restricted product 37346QVXQ3

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

Mentions

wikidata: Wikidata Q7316304, restricted product (unknown). Also nLab restricted product
wikipedia: Wikipedia Restricted product, Restricted product (definition). Also Wikidata Q7316304

History

2026-10-26: add by m2/dev

General multichannel version 3735W5YBF4

URI	`m2://inv/3735W5YBF4`
Kind	conjecture
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.27335#XAS2, General multichannel version (conjecture)

History

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

3736KCVTRJ 3736KCVTRJ

URI	`m2://inv/3736KCVTRJ`
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.18084#YAZA (statement). In PKPT8NY665/e1, corollary 2.6

History

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

edge 37382VN4ME

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#LKLJ, edge (definition)

History

2026-11-02: add by m2/dev

little o notation 373A5JNHEF

URI	`m2://inv/373A5JNHEF`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a notation: the notation register holds it (corpus spec K10.4))
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q110208840, little o notation (unknown). Also MathWorld Little-ONotation, ProofWiki Symbols:O/Little-O_Notation

History

2026-10-26: add by m2/dev

373DKCXCH3 373DKCXCH3

URI	`m2://inv/373DKCXCH3`
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.22847#8THJ (statement)

History

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

Fletcher–Munson curve 373MPAPGQP

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

Mentions

wikipedia: Wikipedia List of curves#MEBB, Fletcher–Munson curve (unknown)

History

2026-11-02: add by m2/dev

Rayleigh's theorem 373SG62Z42

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

Mentions

wikipedia: Wikipedia Lambek–Moser theorem#XI9V, Rayleigh's theorem (statement)

History

2026-11-02: add by m2/dev

Equations of motion from the Kaluza hypothesis 373T50NNCH

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

Mentions

wikipedia: Wikipedia Kaluza–Klein theory#HCCH, Equations of motion from the Kaluza hypothesis (statement)

History

2026-11-02: add by m2/dev

Examples 373WXP92GB

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

Mentions

wikipedia: Wikipedia Hypergraph#BYLI, Examples (example)

History

2026-11-02: add by m2/dev

Multiplicative independence 373XT5G085

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

Mentions

wikipedia: Wikipedia Multiplicative independence, Multiplicative independence (definition). Also Wikidata Q25110221

History

2026-11-02: add by m2/dev

Statement of the mass formula 373YC4C4S4

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

Mentions

wikipedia: Wikipedia Smith–Minkowski–Siegel mass formula#MISZ, Statement of the mass formula (statement)

History

2026-11-02: add by m2/dev

373ZZ9QNZ3 373ZZ9QNZ3

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

Mentions

arxiv: arXiv 2610.22272#VJED (statement). In 4VZV5V0YD6/e1, proposition 2

History

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

Mathematical methods in electronics 3741BE257F

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

Mentions

wikipedia: Wikipedia Mathematical methods in electronics, Mathematical methods in electronics (definition). Also Wikidata Q6786863

History

2026-11-02: add by m2/dev

3746ZJETX3 3746ZJETX3

URI	`m2://inv/3746ZJETX3`
Kind	statement
Layer	research
MSC	30-XX, 32-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.12497#KPZL (statement). In Z0SAF18JPP/e1, lemma 5.3

History

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

374ACAZJZF 374ACAZJZF

URI	`m2://inv/374ACAZJZF`
Kind	statement
Layer	research
MSC	19-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 0905.1489#QBMQ (statement). In MZ18CTV65N/e1, theorem 2

History

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

Formal definition 374B9NNBRJ

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

Mentions

wikipedia: Wikipedia Uniformly most powerful test#3RCF, Formal definition (definition)

History

2026-11-02: add by m2/dev

3-flow, 4-flow and 5-flow conjectures 374JHKN3FQ

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

Mentions

wikipedia: Wikipedia Nowhere-zero flow#9EFG, 3-flow, 4-flow and 5-flow conjectures (statement)

History

2026-11-02: add by m2/dev

Abstract polytope 374S8K9A59

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

Mentions

wikipedia: Wikipedia Abstract polytope, Abstract polytope (object). Also Wikidata Q4669958

History

2026-11-02: add by m2/dev

Tails 3750TVQQXR

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

Mentions

wikipedia: Wikipedia Tails (operating system), Tails (definition). Also Wikidata Q2801412

History

2026-11-02: add by m2/dev

Construction 3755D3G06T

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

Mentions

wikipedia: Wikipedia Tangent lines to circles#D6C5, Construction (definition)

History

2026-11-02: add by m2/dev

3758KWNWT2 3758KWNWT2

URI	`m2://inv/3758KWNWT2`
Kind	definition
Layer	research
MSC	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.21052#5KUS (definition)

History

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

Forward anonymity 375A7VF0Q9

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

Mentions

wikipedia: Wikipedia Forward anonymity, Forward anonymity (definition). Also Wikidata Q5473262

History

2026-11-02: add by m2/dev

Weak Markov's principle 375QKERDQG

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

Mentions

wikipedia: Wikipedia Markov's principle#MMD8, Weak Markov's principle (statement)

History

2026-11-02: add by m2/dev

375QMX2ZJ4 375QMX2ZJ4

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

Mentions

arxiv: arXiv 2609.24023#X9RH (definition)

History

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

GGobi 375QMYAHTH

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

Mentions

wikipedia: Wikipedia GGobi, GGobi (definition). Also Wikidata Q1485511

History

2026-11-02: add by m2/dev

Daya-Nand Verma 375X11HMJD

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#XNAY, Daya-Nand Verma (topic)

History

2026-11-02: add by m2/dev

Arjen Lenstra 376FFTW8Z0

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

Mentions

wikipedia: Wikipedia Arjen Lenstra, Arjen Lenstra (topic). Also Wikidata Q671213

History

2026-11-02: add by m2/dev

Products in algebraic topology 376KESCNP5

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

Mentions

wikipedia: Wikipedia Products in algebraic topology, Products in algebraic topology (definition). Also Wikidata Q7247865

History

2026-11-02: add by m2/dev

elation 376M99F07C

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#SEX8, elation (definition)

History

2026-11-02: add by m2/dev

Stochastic calculus 376RSV6D24

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#UQ02, Stochastic calculus (definition)

History

2026-11-02: add by m2/dev

Bochner inequality on the completion 376Y8E9592

URI	`m2://inv/376Y8E9592`
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.05204#PMBP, Bochner inequality on the completion (statement). In ET0TQ8YF7Z/e1, lemma 7.6

History

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

Uniform twisted first moment 377B6DEN80

URI	`m2://inv/377B6DEN80`
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.15316#JUBS, Uniform twisted first moment (statement). In 3K84E4150C/e1, theorem 3.4

History

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

377F9WKPZC 377F9WKPZC

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

Mentions

arxiv: arXiv 2405.09294#LP6E (definition). In 2WZQC0TKVK/e1, definition 3.1

History

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

Sonnenschein–Mantel–Debreu theorem 3787W47P1S

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

Mentions

mathlib_1000: mathlib_1000 Q925224, Sonnenschein–Mantel–Debreu Theorem (statement). Also Wikidata Q925224
thousand_plus: thousand_plus Q925224, Sonnenschein–Mantel–Debreu Theorem (statement). Also Wikidata Q925224, Wikipedia Sonnenschein–Mantel–Debreu Theorem
wikipedia: Wikipedia Sonnenschein–Mantel–Debreu theorem, Sonnenschein–Mantel–Debreu theorem (statement). Also Wikidata Q925224

History

2026-10-26: add by m2/dev

3788A5P3N7 3788A5P3N7

URI	`m2://inv/3788A5P3N7`
Kind	definition
Layer	research
MSC	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 2005.03073#60MN (definition). In P2ETMXKVDS/e1, definition 2.12

History

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

Irving Kaplansky 3788XBA0KT

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#0GPS, Irving Kaplansky (unknown)

History

2026-11-02: add by m2/dev

3789FWBQGJ 3789FWBQGJ

URI	`m2://inv/3789FWBQGJ`
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#5QCG (statement)

History

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

Hold-out cross-validation 378G4WA0T6

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

Mentions

wikipedia: Wikipedia Cross-validation (statistics)#IH5G, Hold-out cross-validation (unknown)

History

2026-11-02: add by m2/dev

length 378S39TB5H

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#U9F1, length (definition)

History

2026-11-02: add by m2/dev

Examples 378VX89BAM

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

Mentions

wikipedia: Wikipedia Jingle-jangle fallacies#JO2X, Examples (example)

History

2026-11-02: add by m2/dev

378ZFK8SSQ 378ZFK8SSQ

URI	`m2://inv/378ZFK8SSQ`
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 2303.10963#ICL4 (definition). In F32XWYWG8E/e1, definition 4.6

History

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

3790C8MV5K 3790C8MV5K

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

Mentions

arxiv: arXiv 2610.16060#ZK6T (definition). In X0BTF9HPGM/e1, definition 2.1

History

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

3790TS18YC 3790TS18YC

URI	`m2://inv/3790TS18YC`
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 2103.08272#QTS8 (statement). In H72E12TYHA/e1, proposition 4.6

History

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

strong negation 3798P13V42

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

Mentions

wikipedia: Wikipedia Glossary of logic#GN5N, strong negation (definition)

History

2026-11-02: add by m2/dev

3799SZVTZP 3799SZVTZP

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

Mentions

arxiv: arXiv 2609.33584#WLDO (statement). In 3HFBAWQCA1/e1, lemma 3.4

History

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

379BZP57K9 379BZP57K9

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:squeeze with consecutive integers (statement). In P1C114YBXG, theorem, section u1

History

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

379C8S6RDE 379C8S6RDE

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

Mentions

arxiv: arXiv 2111.09700#MHQ0 (statement). In XCSQ27P0XW/e1, proposition 7.4

History

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

ℶ 379FV26D4R

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#TMNN, ℶ (definition)

History

2026-11-02: add by m2/dev

Theorem (Obreschkoff–Ostrowski) 379QASZ2C4

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

Mentions

wikipedia: Wikipedia Real-root isolation#ZO57, Theorem (Obreschkoff–Ostrowski) (statement)

History

2026-11-02: add by m2/dev

Salvatore Pincherle 379QGF2276

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#YZO1, Salvatore Pincherle (topic)

History

2026-11-02: add by m2/dev

Laws and regulations 379S869F1F

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

Mentions

wikipedia: Wikipedia Information security#N183, Laws and regulations (statement)

History

2026-11-02: add by m2/dev

Algorithm 379VHPGCGZ

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

Mentions

wikipedia: Wikipedia Algebraic-group factorization algorithm#SMNY, Algorithm (definition)

History

2026-11-02: add by m2/dev

Optimal computing budget allocation 37A0D2EFB2

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#IEBE, Optimal computing budget allocation (unknown)

History

2026-11-02: add by m2/dev

37A4DFBQXA 37A4DFBQXA

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

Mentions

open_logic: open_logic content/first-order-logic/completeness/compactness.tex#ex-1 (example). In PKGMM3P5QY, ex, section 9.9

History

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

easy 37ADDB93DY

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-1, easy (exercise). In E9HS8K3A52, exercise, section 5.1.3

History

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

Properties 37AGF8C68V

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

Mentions

wikipedia: Wikipedia Willmore energy#2NUQ, Properties (statement)

History

2026-11-02: add by m2/dev

37AJAXZ33M 37AJAXZ33M

URI	`m2://inv/37AJAXZ33M`
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 2609.38596#HR7A (statement). In ZYGQAV8FD3/e1, lemma 3.2

History

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

Quadratic estimates 37APKC10S1

URI	`m2://inv/37APKC10S1`
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.26382#2XD3, Quadratic estimates (statement)

History

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

37AQC9PHSP 37AQC9PHSP

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

Mentions

lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-62 (exercise). In E9HS8K3A52, exercise, section 2.5.5

History

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

Weil algebra 37AR982HEW

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

Mentions

wikipedia: Wikipedia List of things named after André Weil#E5DD, Weil algebra (definition)

History

2026-11-02: add by m2/dev

37AS89Q09C 37AS89Q09C

URI	`m2://inv/37AS89Q09C`
Kind	statement
Layer	research
MSC	11-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 2004.12552#29VW (statement). In TWPE10CZ1S/e1, corollary 3.4

History

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

Padovan cuboid spiral 37AXXPW7XP

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

Mentions

wikipedia: Wikipedia Padovan cuboid spiral, Padovan cuboid spiral (definition). Also Wikidata Q7123898

History

2026-11-02: add by m2/dev

37AZRWQQFF 37AZRWQQFF

URI	`m2://inv/37AZRWQQFF`
Kind	statement
Layer	research
MSC	35-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 2610.05391#ICM7 (statement). In 9B5TNEBJHV/e1, lemma 2.2

History

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

Matrix sign function 37BGW45RAT

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

Mentions

wikipedia: Wikipedia Matrix sign function, Matrix sign function (definition). Also Wikidata Q107630641

History

2026-11-02: add by m2/dev

37BP6MGZZ8 37BP6MGZZ8

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

Mentions

arxiv: arXiv 2610.16931#KNC9 (statement). In H7DMRWBBJN/e1, corollary 5.12

History

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

37BSRP6SV1 37BSRP6SV1

URI	`m2://inv/37BSRP6SV1`
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 2507.03563#EZ47 (statement). In R6DR6F68BJ/e1, proposition 5.4

History

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

Contact triangle 37BSSKAQ4B

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

Mentions

wikipedia: Wikipedia List of triangle topics#WSDM, Contact triangle (definition)

History

2026-11-02: add by m2/dev

Geraldine Norman 37BV5GA20J

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

Mentions

wikipedia: Wikipedia Geraldine Norman, Geraldine Norman (topic). Also Wikidata Q50404210

History

2026-11-02: add by m2/dev

37BYGV7CH6 37BYGV7CH6

URI	`m2://inv/37BYGV7CH6`
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.36827#NWRM (statement). In VSHAQTB2CA/e1, lemma 7.6

History

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

Moschovakis coding lemma 37BYPSEAAZ

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

Mentions

wikipedia: Wikipedia Moschovakis coding lemma, Moschovakis coding lemma (statement). Also Wikidata Q30674895

History

2026-11-02: add by m2/dev

37C4K35Y6S 37C4K35Y6S

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

Mentions

arxiv: arXiv 2410.07651#23WL (statement). In B338B7DBPA/e1, corollary 3

History

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

singular 37CAGDQP3R

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#FXBW, singular (definition)

History

2026-11-02: add by m2/dev

Explained variation 37CBVJVVT0

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

Mentions

wikipedia: Wikipedia List of statistics articles#GZR4, Explained variation (definition)

History

2026-11-02: add by m2/dev

Dietmar Salamon 37CCH2XA6S

URI	`m2://inv/37CCH2XA6S`
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 Q1223324, Dietmar Salamon (unknown). Also nLab Dietmar Salamon
wikipedia: Wikipedia Dietmar Salamon, Dietmar Salamon (topic). Also Wikidata Q1223324

History

2026-10-26: add by m2/dev

LU decomposition 37CCT31B7W

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#BT3V, LU decomposition (definition)

History

2026-11-02: add by m2/dev

37CMVHSH1S 37CMVHSH1S

URI	`m2://inv/37CMVHSH1S`
Kind	example
Layer	research
MSC	18-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 1904.08413#5Q7O (example). In X88HPQ0W8C/e1, example 2.15

History

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

Kernel trick 37CRM2ZBWN

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

Mentions

wikipedia: Wikipedia Kernel method#AS1P, Kernel trick (unknown)

History

2026-11-02: add by m2/dev

37CSXWDM9B 37CSXWDM9B

URI	`m2://inv/37CSXWDM9B`
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-1 (exercise). In E9HS8K3A52, exercise, section 6.1

History

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

37D1WN009R 37D1WN009R

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise-55 (exercise). In E59CDZA4DP, exercise, section 2.4.4

History

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

37D1X4PY2A 37D1X4PY2A

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

Mentions

arxiv: arXiv 1907.01440#XC15 (definition). In QDRYC6WJJ7/e1, definition 12

History

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

sink 37D8QARE1Q

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

Mentions

applied_combinatorics: applied_combinatorics index/13.1/sink, sink (concept). In QKM9DD2H56, index, section 13.1

History

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

37D8SYA9H0 37D8SYA9H0

URI	`m2://inv/37D8SYA9H0`
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.37897#FJ8T (statement). In RBQ5FNCVNZ/e1, lemma 8.3

History

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

36 Officer Problem 37DAWGRXC0

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

Mentions

wikipedia: Wikipedia Mutually orthogonal Latin squares#JWNA, 36 Officer Problem (unknown)

History

2026-11-02: add by m2/dev

Concatenation (mathematics) 37DBZPENCG

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

Mentions

wikipedia: Wikipedia Concatenation#SNO0, Concatenation (mathematics) (unknown)

History

2026-11-02: add by m2/dev

Poisson reference process 37DDV9DPQD

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

Mentions

arxiv: arXiv 2609.39699#6ZLX, Poisson reference process (statement). In 6M4TMC8G6X/e1, proposition 5

History

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

37DQP8RXQG 37DQP8RXQG

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

Mentions

arxiv: arXiv 2609.28893#QTLC (unknown)

History

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

Ramaswami's formula 37DSA07MZB

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

Mentions

wikipedia: Wikipedia List of statistics articles#UA19, Ramaswami's formula (definition)

History

2026-11-02: add by m2/dev

37DSJ8GBG6 37DSJ8GBG6

URI	`m2://inv/37DSJ8GBG6`
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.32393#CRXG (statement). In F4816HC2JH/e1, theorem 3.4

History

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

Linear factor 37DTX2QV88

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

Mentions

wikipedia: Wikipedia List of polynomial topics#SH2P, Linear factor (definition)

History

2026-11-02: add by m2/dev

Quadratic lower-tail bound over $\R$ and $\C$ 37DV01BT0D

URI	`m2://inv/37DV01BT0D`
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#B2MG, Quadratic lower-tail bound over $\R$ and $\C$ (statement). In TJT32RQ9GC/e1, theorem 1.3

History

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

Magic constant 37DZG2Q95N

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

Mentions

wikipedia: Wikipedia List of recreational number theory topics#2G2M, Magic constant (object)

History

2026-11-02: add by m2/dev

biblical creation story 37E8K30AQC

URI	`m2://inv/37E8K30AQC`
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#3XY8, biblical creation story (unknown)

History

2026-11-02: add by m2/dev

Properties 37EDJMQDNA

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

Mentions

wikipedia: Wikipedia Regular matroid#CQYY, Properties (statement)

History

2026-11-02: add by m2/dev

37EGM3RZFD 37EGM3RZFD

URI	`m2://inv/37EGM3RZFD`
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.05499#39XK (statement). In CQMD3382D6/e1, theorem 3

History

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

37EJXY8S03 37EJXY8S03

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

History

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

Example 37EV7FN2CT

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

Mentions

wikipedia: Wikipedia Reed–Solomon error correction#FSIX, Example (example)

History

2026-11-02: add by m2/dev

Harvard–MIT Mathematics Tournament 37F7EFZH67

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

Mentions

wikipedia: Wikipedia List of United States regional mathematics competitions#IXA4, Harvard–MIT Mathematics Tournament (unknown)

History

2026-11-02: add by m2/dev

Generalizations 37F9SNV037

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

Mentions

wikipedia: Wikipedia Pisano period#AKTD, Generalizations (statement)

History

2026-11-02: add by m2/dev

37FEN4DN5Z 37FEN4DN5Z

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

Mentions

arxiv: arXiv 2610.16241#O6UF (definition). In WNDHZVY4WK/e1, definition A.12

History

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

Chowla–Mordell theorem 37FJ0E9H3C

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

Mentions

mathlib_1000: mathlib_1000 Q4991415, Chowla–Mordell theorem (statement). Also Wikidata Q4991415
thousand_plus: thousand_plus Q4991415, Chowla–Mordell theorem (statement). Also Wikidata Q4991415, Wikipedia Chowla–Mordell theorem
wikipedia: Wikipedia Chowla–Mordell theorem, Chowla–Mordell theorem (statement). Also Wikidata Q4991415

History

2026-10-26: add by m2/dev

Mécanique analytique 37FJZ3ZF4B

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

Mentions

wikipedia: Wikipedia List of mathematics books#ER7J, Mécanique analytique (definition)

History

2026-11-02: add by m2/dev

37FWYHB1DT 37FWYHB1DT

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

Mentions

napkin: napkin tex/set-theory/ordinal.tex#example-3 (example). In RZP28ERRZV, example, section 92.3

History

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

37G0J2CWQ8 37G0J2CWQ8

URI	`m2://inv/37G0J2CWQ8`
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#MPPT (statement). In 9QCYCXVF5W/e1, proposition 6.4

History

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

TI-83 series 37G3Y4E8G9

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

Mentions

wikipedia: Wikipedia TI-83 series, TI-83 series (definition). Also Wikidata Q1646829

History

2026-11-02: add by m2/dev

Examples 37G6ZKBEMD

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

Mentions

wikipedia: Wikipedia Rice–Shapiro theorem#2LV6, Examples (example)

History

2026-11-02: add by m2/dev

37G7BQR7XB 37G7BQR7XB

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

Mentions

arxiv: arXiv 2610.13295#OJ5T (example). In 8Q7QXTWD0S/e1, example 6.6

History

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

Pertti Mattila 37GBJ2J46B

URI	`m2://inv/37GBJ2J46B`
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#AUPU, Pertti Mattila (topic)

History

2026-11-02: add by m2/dev

37GCVW941V 37GCVW941V

URI	`m2://inv/37GCVW941V`
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 2508.18436#RY1L (statement). In 6W19Z58188/e1, proposition 2.3

History

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

Langevin equation 37GGX05QH3

URI	`m2://inv/37GGX05QH3`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Langevin equation ZW2RBS9VTR

Mentions

wikidata: Wikidata Q584537, Langevin equation (unknown). Also nLab Langevin equation
wikipedia: Wikipedia Langevin equation, Langevin equation (definition). Also Wikidata Q584537

History

2026-10-26: add by m2/dev

Example 37GPRH73M0

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

Mentions

wikipedia: Wikipedia Secret sharing using the Chinese remainder theorem#AYVN, Example (example)

History

2026-11-02: add by m2/dev

Swain–Lupton equation 37GQ6PT3Z2

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

Mentions

wikipedia: Wikipedia Swain–Lupton equation, Swain–Lupton equation (definition). Also Wikidata Q7653051

History

2026-11-02: add by m2/dev

Applications 37H6HJTD59

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

Mentions

wikipedia: Wikipedia Conformal symmetry#5KM6, Applications (example)

History

2026-11-02: add by m2/dev

37HBG5034M 37HBG5034M

URI	`m2://inv/37HBG5034M`
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 2212.11038#VB16 (statement). In M3E3ARMJXK/e1, lemma 4.5

History

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

A fixed line-bundle twist 37HNQW8BZP

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

Mentions

arxiv: arXiv 2610.09295#H8R2, A fixed line-bundle twist (statement). In 29X0B511NF/e1, lemma 3.3

History

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

Gieseking manifold 37HRGQ1MEE

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

Mentions

wikipedia: Wikipedia List of topologies#L7WZ, Gieseking manifold (definition)

History

2026-11-02: add by m2/dev

Eight-vertex model 37HWN5PX7C

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

Mentions

wikipedia: Wikipedia Eight-vertex model, Eight-vertex model (definition). Also Wikidata Q5348943

History

2026-11-02: add by m2/dev

37JCG05AGC 37JCG05AGC

URI	`m2://inv/37JCG05AGC`
Kind	statement
Layer	research
MSC	37-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.06321#25U0 (statement). In PGV1116XX4/e1, lemma 4.2

History

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

Definition 37JCYF1THQ

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

Mentions

wikipedia: Wikipedia Mutual information#DNJW, Definition (definition)

History

2026-11-02: add by m2/dev

37JD6VVWPT 37JD6VVWPT

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

Mentions

arxiv: arXiv 2609.25037#N7W3 (statement)

History

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

Bohr radius 37JHKX1AST

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

Mentions

wikipedia: Wikipedia List of scientific constants named after people#9MPZ, Bohr radius (unknown)

History

2026-11-02: add by m2/dev

Iterated filtering 37JJP5Z3BJ

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

Mentions

wikipedia: Wikipedia Iterated filtering, Iterated filtering (definition). Also Wikidata Q17081875

History

2026-11-02: add by m2/dev

James Gordon Gray 37JNKVTG58

URI	`m2://inv/37JNKVTG58`
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#C4Q9, James Gordon Gray (topic)

History

2026-11-02: add by m2/dev

37JT1ASRZY 37JT1ASRZY

URI	`m2://inv/37JT1ASRZY`
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.17579#TW6Z (statement). In 1H021CTR3A/e1, theorem 4

History

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

37KMZPSW4C 37KMZPSW4C

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

Mentions

arxiv: arXiv 2609.40214#NJOL (statement). In XD603HRHKC/e1, proposition B.4

History

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

Milnor sphere 37KN7VBJQQ

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

Mentions

wikipedia: Wikipedia Exotic sphere#RZCJ, Milnor sphere (unknown)

History

2026-11-02: add by m2/dev

Erik Verlinde 37KPEBPKYJ

URI	`m2://inv/37KPEBPKYJ`
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 Q1354205, Erik Verlinde (unknown). Also nLab Erik Verlinde

History

2026-10-26: add by m2/dev

37M2XZ75YY 37M2XZ75YY

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

Mentions

arxiv: arXiv 1209.5343#BGRO (statement). In 4SPYEGKZ8J/e1, lemma 5.4

History

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

loss function 37M9ZC0A44

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#ZIS5, loss function (definition)

History

2026-11-02: add by m2/dev

Inshi no heya 37MKDCY4DP

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

Mentions

wikipedia: Wikipedia Inshi no heya, Inshi no heya (definition). Also Wikidata Q6037442

History

2026-11-02: add by m2/dev

Example 37MKFTPQC3

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

Mentions

wikipedia: Wikipedia Proportional division#KMDE, Example (example)

History

2026-11-02: add by m2/dev

Sheffer stroke 37N3PZJH03

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

Mentions

wikidata: Wikidata Q3874243, Sheffer stroke (unknown). Also EoM Sheffer_stroke, MathWorld NAND
wikipedia: Wikipedia Sheffer stroke, Sheffer stroke (definition). Also Wikidata Q3874243

History

2026-10-26: add by m2/dev

37NDPBHDDS 37NDPBHDDS

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

Mentions

arxiv: arXiv 2610.01368#I7PV (definition). In 4ER0Z2TGN8/e1, definition 1

History

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

37NY42N390 37NY42N390

URI	`m2://inv/37NY42N390`
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 2609.26337#03HO (definition)

History

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

37PAC7CGWW 37PAC7CGWW

URI	`m2://inv/37PAC7CGWW`
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.32088#SKEV (statement). In 7781ARDE06/e1, theorem 1.1

History

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

37PCCASEME 37PCCASEME

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

Mentions

arxiv: arXiv 2610.15631#5LCG (statement). In AF465QFRGQ/e1, lemma III.2

History

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

37PH35XWHG 37PH35XWHG

URI	`m2://inv/37PH35XWHG`
Kind	example
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#GQUH (example). In HX63A1PH1W/e1, example 4.15

History

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

Monotonicity and extremality 37PJ4AA252

URI	`m2://inv/37PJ4AA252`
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.22305#WKLR, Monotonicity and extremality (statement). In P6FTXTV09Q/e1, proposition 6.1

History

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

37PQW5YM6M 37PQW5YM6M

URI	`m2://inv/37PQW5YM6M`
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#UATI (statement). In 9QCYCXVF5W/e1, lemma 2.4

History

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

37PRDVQXWM 37PRDVQXWM

URI	`m2://inv/37PRDVQXWM`
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 2610.15416#156V (statement). In W9JJQYHQ7J/e1, lemma 4

History

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

Division bar 37PXWK0N9P

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

Mentions

wikipedia: Wikipedia Fraction#MKP8, Division bar (unknown)

History

2026-11-02: add by m2/dev

37Q2FD7CW4 37Q2FD7CW4

URI	`m2://inv/37Q2FD7CW4`
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.38865#Z9MV (statement). In TFZNHCE6EV/e1, lemma 2.2

History

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

37Q3MQZPXH 37Q3MQZPXH

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

Mentions

austin_ula: austin_ula src/exercises/exercises4-3.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 4.3

History

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

Gelfand transform 37QB9AWZCD

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

Mentions

wikipedia: Wikipedia List of transforms#NBLA, Gelfand transform (definition)

History

2026-11-02: add by m2/dev

Equal incircles theorem 37QC58MMDF

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

Mentions

mathlib_1000: mathlib_1000 Q5384150, Equal incircles theorem (statement). Also Wikidata Q5384150
thousand_plus: thousand_plus Q5384150, Equal incircles theorem (statement). Also Wikidata Q5384150, Wikipedia Equal incircles theorem
wikipedia: Wikipedia Equal incircles theorem, Equal incircles theorem (statement). Also Wikidata Q5384150

History

2026-10-26: add by m2/dev

Mark Oaten 37QDFHCVNA

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

Mentions

wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#IATD, Mark Oaten (unknown)

History

2026-11-02: add by m2/dev

Cancer cluster 37QFB4SZQT

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

Mentions

wikipedia: Wikipedia Cancer cluster, Cancer cluster (definition). Also Wikidata Q1555243

History

2026-11-02: add by m2/dev

Formulation 37QFS6D5NJ

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

Mentions

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

History

2026-11-02: add by m2/dev

Expansion of a traceless operator 37QJ5XZVM8

URI	`m2://inv/37QJ5XZVM8`
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.16351#95KM, Expansion of a traceless operator (statement). In 1QSV7EQE3T/e1, lemma S4

History

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

Universal coefficient theorem 37QM0XDFAP

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

Mentions

wikipedia: Wikipedia List of algebraic topology topics#QKEG, Universal coefficient theorem (statement)

History

2026-11-02: add by m2/dev

37QMT4JWGN 37QMT4JWGN

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

Mentions

arxiv: arXiv 2610.11468#YIH6 (example). In FR4FDRHZJT/e1, example 4.6

History

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

Radon–Nikodym theorem 37QTQBN58G

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

Mentions

wikipedia: Wikipedia List of integration and measure theory topics#DNBP, Radon–Nikodym theorem (statement)

History

2026-11-02: add by m2/dev

Construction 37QV0RYZ5B

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

Mentions

wikipedia: Wikipedia Commitment scheme#KKTE, Construction (definition)

History

2026-11-02: add by m2/dev

Definition 3 37QXM88B1S

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

Mentions

wikipedia: Wikipedia Caccioppoli set#C3D7, Definition 3 (definition)

History

2026-11-02: add by m2/dev

37QYCGVEFV 37QYCGVEFV

URI	`m2://inv/37QYCGVEFV`
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.20991#85CO (statement). In H98ZC5YBSD/e1, lemma 2.8

History

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

Leibniz algebra 37QYRF1ENB

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

Mentions

wikipedia: Wikipedia List of algebras#B2FU, Leibniz algebra (definition)

History

2026-11-02: add by m2/dev

37R0BNMF1X 37R0BNMF1X

URI	`m2://inv/37R0BNMF1X`
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 0806.0033#SHSM (statement). In RV34HVZMB3/e1, theorem 2

History

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

° 37RMJHZMTG

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#K9MX, ° (definition)

History

2026-11-02: add by m2/dev

Axiom of infinity - 7 37RMNW7SE4

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

Mentions

wikipedia: Wikipedia Zermelo–Fraenkel set theory#HKAK, Axiom of infinity - 7 (statement)

History

2026-11-02: add by m2/dev

Continuous functional calculus 37RR2KJWM9

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

Mentions

wikipedia: Wikipedia Continuous functional calculus, Continuous functional calculus (definition). Also Wikidata Q1767119

History

2026-11-02: add by m2/dev

Ambiguity function 37S3W1SSS4

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

Mentions

wikipedia: Wikipedia Ambiguity function, Ambiguity function (definition). Also Wikidata Q3206297

History

2026-11-02: add by m2/dev

Giulio Racah 37S5WCYGCH

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

Mentions

wikipedia: Wikipedia List of eponyms of special functions#L9ZD, Giulio Racah (unknown)

History

2026-11-02: add by m2/dev

37SCN3114V 37SCN3114V

URI	`m2://inv/37SCN3114V`
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 2609.36423#ZB7P (example). In Q5Z178SAHP/e1, example 8.1

History

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

Ivan Panin 37SEBXCNZK

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

Mentions

wikipedia: Wikipedia Ivan Panin (mathematician), Ivan Panin (topic). Also Wikidata Q15077651

History

2026-11-02: add by m2/dev

37SF3BVX8W 37SF3BVX8W

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

Mentions

arxiv: arXiv 2103.12669#8VF0 (statement). In ZA6XNBA90V/e1, lemma

History

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

37SPC3WNG0 37SPC3WNG0

URI	`m2://inv/37SPC3WNG0`
Kind	statement
Layer	research
MSC	17-XX, 20-XX, 57-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.09333#3SVK (statement). In Z9HC1EDTQP/e1, lemma 4.7

History

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

735 (number) 37SSA3P71T

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

Mentions

wikipedia: Wikipedia 700 (number)#ZQT1, 735 (number) (unknown)

History

2026-11-02: add by m2/dev

37SZ453KRA 37SZ453KRA

URI	`m2://inv/37SZ453KRA`
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 2507.12309#XL9T (definition). In ZR53K3E0FR/e1, definition 7

History

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

37T6Y2X9Q6 37T6Y2X9Q6

URI	`m2://inv/37T6Y2X9Q6`
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#CDVA (statement). In R630A60CMM/e1, theorem

History

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

Trace identity 37T9SH0YGJ

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

Mentions

wikipedia: Wikipedia Trace identity, Trace identity (statement). Also Wikidata Q7831161

History

2026-11-02: add by m2/dev

Examples 37TWPHEHWY

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

Mentions

wikipedia: Wikipedia Revelation principle#P9BI, Examples (example)

History

2026-11-02: add by m2/dev

Constructions 37V2SJ7E3K

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

Mentions

wikipedia: Wikipedia Brownian excursion#C846, Constructions (definition)

History

2026-11-02: add by m2/dev

localization of a ring 37V9BYTTFJ

URI	`m2://inv/37V9BYTTFJ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Localization 4C1AE84N5N

Mentions

wikidata: Wikidata Q289093, localization of a ring (unknown). Also MathWorld Localization, nLab localization of a ring
wikipedia: Wikipedia Localization (commutative algebra), Localization (definition). Also Wikidata Q289093

History

2026-10-26: add by m2/dev

Vitali convergence theorem 37VA7DN2K3

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

Mentions

mathlib_1000: mathlib_1000 Q11352023, Vitali convergence theorem (statement). Also Mathlib MeasureTheory.tendstoInMeasure_iff_tendsto_Lp, Wikidata Q11352023
thousand_plus: thousand_plus Q11352023, Vitali convergence theorem (statement). Also Mathlib MeasureTheory.tendstoInMeasure_iff_tendsto_Lp, Wikidata Q11352023, Wikipedia Vitali convergence theorem
wikipedia: Wikipedia Vitali convergence theorem, Vitali convergence theorem (statement). Also Wikidata Q11352023

History

2026-10-26: add by m2/dev

Theorem 37VAPBREV4

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

Mentions

wikipedia: Wikipedia Quasiconvexity (calculus of variations)#OP8T, Theorem (statement)

History

2026-11-02: add by m2/dev

37VC74X2PM 37VC74X2PM

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

Mentions

arxiv: arXiv 2601.15403#9965 (statement). In BSWNH3NW1M/e1, proposition 5.6

History

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

Abraham Silvers 37VCY67F80

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#PSX6, Abraham Silvers (topic)

History

2026-11-02: add by m2/dev

6-polytope 37VEY4VHWC

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

Mentions

wikipedia: Wikipedia 6-polytope, 6-polytope (definition). Also Wikidata Q4641578

History

2026-11-02: add by m2/dev

Examples 37VFJY7694

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

Mentions

wikipedia: Wikipedia Mu operator#7PWH, Examples (example)

History

2026-11-02: add by m2/dev

37VHRVZNN0 37VHRVZNN0

URI	`m2://inv/37VHRVZNN0`
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.10477#7I7G (statement). In 1NZSZ241WE/e1, theorem 3.2

History

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

37VQ52ZZ99 37VQ52ZZ99

URI	`m2://inv/37VQ52ZZ99`
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 2102.12931#OSTZ (statement). In PQHTR84RAJ/e1, theorem 4.7

History

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

Brieskorn manifold 37W1DZVRWR

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

Mentions

wikipedia: Wikipedia List of manifolds#EREB, Brieskorn manifold (definition)

History

2026-11-02: add by m2/dev

37W1KRNQ96 37W1KRNQ96

URI	`m2://inv/37W1KRNQ96`
Kind	definition
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.08196#3P5E (definition). In 8QVWZ23N42/e1, definition 3.9

History

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

Partial-closed world assumption 37W2C9DFWN

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

Mentions

wikipedia: Wikipedia Closed-world assumption#6NJQ, Partial-closed world assumption (unknown)

History

2026-11-02: add by m2/dev

total quotient ring 37W2WV5RX7

URI	`m2://inv/37W2WV5RX7`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Total ring of fractions K5Z67HR9ET

Mentions

wikidata: Wikidata Q5695923, total quotient ring (unknown). Also MathWorld RingofFractions, MathWorld TotalRingofFractions
wikipedia: Wikipedia Total ring of fractions, Total ring of fractions (definition). Also Wikidata Q5695923

History

2026-10-26: add by m2/dev

Moral graph 37W4A79QSZ

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

Mentions

wikipedia: Wikipedia List of statistics articles#F1BV, Moral graph (definition)

History

2026-11-02: add by m2/dev

37W6JAZF5D 37W6JAZF5D

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

Mentions

arxiv: arXiv 2610.21960#D95H (statement). In QX77AN49J0/e1, theorem 5.1

History

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

Generalizations 37W9KR2DC9

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

Mentions

wikipedia: Wikipedia Absolute value#8H8C, Generalizations (statement)

History

2026-11-02: add by m2/dev

Examples 37WZEMZQBZ

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

Mentions

wikipedia: Wikipedia NP-hardness#M51W, Examples (example)

History

2026-11-02: add by m2/dev

37XD888Q60 37XD888Q60

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

Mentions

wikipedia: Wikipedia Sphere packing#1NT1 (problem)

History

2026-11-02: add by m2/dev

Adam Krikorian 37XEQS55VW

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#22T0, Adam Krikorian (unknown)

History

2026-11-02: add by m2/dev

37XHTQ7M4H 37XHTQ7M4H

URI	`m2://inv/37XHTQ7M4H`
Kind	definition
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.23522#O7VM (definition)

History

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

37XJ7YRJKG 37XJ7YRJKG

URI	`m2://inv/37XJ7YRJKG`
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 2610.17759#8N50 (statement). In 7MWKMG2V8A/e1, lemma 4.10

History

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

Truncated order-3 apeirogonal tiling 37XK4KPRZ6

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

Mentions

wikipedia: Wikipedia Truncated order-3 apeirogonal tiling, Truncated order-3 apeirogonal tiling (definition). Also Wikidata Q7847892

History

2026-11-02: add by m2/dev

37XREFSPVN 37XREFSPVN

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise:seqflimitalt (exercise). In E59CDZA4DP, exercise, section 2.1.5

History

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

Parity of Fourier modes 37XSPHADBA

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

Mentions

arxiv: arXiv 2609.27192#WPO0, Parity of Fourier modes (statement)

History

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

37XWJWPEY3 37XWJWPEY3

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

Mentions

arxiv: arXiv 2610.02628#P6T0 (statement). In G4S9C5M1A4/e1, lemma 5.13

History

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

37Y1V26KA9 37Y1V26KA9

URI	`m2://inv/37Y1V26KA9`
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.29489#S33A (statement)

History

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

Almagest 37Y2FYNKFW

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

Mentions

wikipedia: Wikipedia List of works by Averroes#FE0L, Almagest (definition)

History

2026-11-02: add by m2/dev

Beltrami's identity 37Y2PPNS7Z

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

Mentions

wikipedia: Wikipedia Calculus of variations#APRI, Beltrami's identity (statement)

History

2026-11-02: add by m2/dev

Karl G. Jöreskog 37YBMCSWQR

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#VM1Q, Karl G. Jöreskog (topic)

History

2026-11-02: add by m2/dev

37YBY3R8BW 37YBY3R8BW

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

Mentions

arxiv: arXiv 2610.17045#K00X (statement). In PA6JQDSKQT/e1, lemma 3.3

History

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

Examples 37YCTY547V

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

Mentions

wikipedia: Wikipedia Spectrum of a ring#3O35, Examples (example)

History

2026-11-02: add by m2/dev

37YFZ4DABA 37YFZ4DABA

URI	`m2://inv/37YFZ4DABA`
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 2304.08231#LOKY (statement). In A91NXD6EPX/e1, lemma 3.3

History

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

Facts 37YJGK6QJ8

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

Mentions

wikipedia: Wikipedia R v Adams#IJKW, Facts (statement)

History

2026-11-02: add by m2/dev

37YKRJM8FH 37YKRJM8FH

URI	`m2://inv/37YKRJM8FH`
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#CC4E (definition). In 3A4K47Y9F2/e1, definition 3.6

History

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

Every level is regular 37YMZWHPDM

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

Mentions

arxiv: arXiv 2610.06490#UOC6, Every level is regular (statement). In NKXTXH59P1/e1, proposition A.11

History

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

Richard Karp 37YST6HRDD

URI	`m2://inv/37YST6HRDD`
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#9VMK, Richard Karp (topic)

History

2026-11-02: add by m2/dev

Expanding-interval matching 37YV77DEPH

URI	`m2://inv/37YV77DEPH`
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.21328#3SVM, Expanding-interval matching (statement). In BJXVV4ZF7B/e1, lemma C.1

History

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

37YY1WNTJG 37YY1WNTJG

URI	`m2://inv/37YY1WNTJG`
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.01737#M9J8 (statement). In M4JGP708F4/e1, corollary 3.40

History

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

37YYYSJ8FQ 37YYYSJ8FQ

URI	`m2://inv/37YYYSJ8FQ`
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.19309#UYLC (statement). In XKENQH35DW/e1, proposition C.5

History

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

Notation 37Z6F9NHFD

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

Mentions

wikipedia: Wikipedia Richardson extrapolation#9JBX, Notation (definition)

History

2026-11-02: add by m2/dev

Ronghui Xu 37ZV63502W

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#LUPE, Ronghui Xu (topic)

History

2026-11-02: add by m2/dev

Non-autonomous system 37ZYDFZ3H8

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

Mentions

wikipedia: Wikipedia Non-autonomous system (mathematics), Non-autonomous system (definition). Also Wikidata Q17104748

History

2026-11-02: add by m2/dev

Implementation 37ZZ0JWEV5

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

Mentions

wikipedia: Wikipedia Newton fractal#XHM3, Implementation (definition)

History

2026-11-02: add by m2/dev