Inventory rows 4B

Swamy, Subramanium 4B01HQCSKT

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

Mentions

wikipedia: Wikipedia List of statisticians#5BVY, Swamy, Subramanium (unknown)

History

2026-11-02: add by m2/dev

Wet-folding 4B04XS0FXB

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

Mentions

wikipedia: Wikipedia Wet-folding, Wet-folding (definition). Also Wikidata Q63364

History

2026-11-02: add by m2/dev

isomorphism 4B064G25QQ

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#9308, isomorphism (definition)

History

2026-11-02: add by m2/dev

4B0WWR8JB8 4B0WWR8JB8

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

Mentions

austin_ula: austin_ula src/section7-1.xml#activity-orthog-diag (exercise). In 649HGZKE96, activity, section 7.1.2

History

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

Construction 4B11B9XZR0

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

Mentions

wikipedia: Wikipedia Planigon#RSQU, Construction (definition)

History

2026-11-02: add by m2/dev

4B132YY8C9 4B132YY8C9

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

Mentions

arxiv: arXiv 2610.01915#4L00 (definition). In 6HJQXZS0A6/e1, definition 1.15

History

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

Equating 4B17WF3H9K

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

Mentions

wikipedia: Wikipedia Equating, Equating (definition). Also Wikidata Q5384228

History

2026-11-02: add by m2/dev

Definition 4B196T9ZH8

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

Mentions

wikipedia: Wikipedia Rational normal curve#4DMH, Definition (definition)

History

2026-11-02: add by m2/dev

2309 (number) 4B1C36RG74

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

Mentions

wikipedia: Wikipedia 2000 (number)#TZI1, 2309 (number) (unknown)

History

2026-11-02: add by m2/dev

4B1S8PHWYG 4B1S8PHWYG

URI	`m2://inv/4B1S8PHWYG`
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 2409.20170#1EQ5 (statement). In QXJP79APHN/e1, lemma 5.9

History

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

Teofilo Ruiz 4B1VXYQXYE

URI	`m2://inv/4B1VXYQXYE`
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#DS71, Teofilo Ruiz (unknown)

History

2026-11-02: add by m2/dev

Aimee Johnson 4B1WVXZFP0

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

Mentions

wikipedia: Wikipedia Aimee Johnson, Aimee Johnson (topic). Also Wikidata Q54271916

History

2026-11-02: add by m2/dev

Neutralization in a slightly larger ball 4B1XV6JDSC

URI	`m2://inv/4B1XV6JDSC`
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.20910#E48H, Neutralization in a slightly larger ball (statement). In CETHKW9EBV/e1, lemma 4.8

History

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

Uniform control on bounded normalized sets 4B1Z0DG894

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

Mentions

arxiv: arXiv 2609.28014#YVF9, Uniform control on bounded normalized sets (statement)

History

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

Informal Ramsey approximation 4B1ZJRNBC1

URI	`m2://inv/4B1ZJRNBC1`
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.27181#8T4Y, Informal Ramsey approximation (statement)

History

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

Adelchi Azzalini 4B252ES6FV

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

Mentions

wikipedia: Wikipedia Adelchi Azzalini, Adelchi Azzalini (topic). Also Wikidata Q80939666

History

2026-11-02: add by m2/dev

4B25Y1JMQY 4B25Y1JMQY

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

Mentions

arxiv: arXiv 2610.09171#DSF3 (example). In 5ZPSZFE08Q/e1, example 5.5

History

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

exact sequence 4B291TEXYE

URI	`m2://inv/4B291TEXYE`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Exact sequence JB7ZBFBA9C

Mentions

wikidata: Wikidata Q1326955, exact sequence (definition). Also EoM Exact_sequence, MathWorld ExactSequence, nLab exact sequence, ProofWiki Definition:Exact_Chain_Complex, ProofWiki Definition:Exact_Sequence_of_Modules
wikipedia: Wikipedia Exact sequence, Exact sequence (definition). Also Wikidata Q1326955

History

2026-10-26: add by m2/dev

Gap bound, using $\A_r(t)$ 4B2E1RMXHR

URI	`m2://inv/4B2E1RMXHR`
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.20097#HZWZ, Gap bound, using $\A_r(t)$ (statement)

History

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

Formal definition 4B2FGVPSA4

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

Mentions

wikipedia: Wikipedia Nonlocal symmetry#IG0C, Formal definition (definition)

History

2026-11-02: add by m2/dev

Formal definition 4B2M668NQF

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

Mentions

wikipedia: Wikipedia Abstract polytope#SUWH, Formal definition (definition)

History

2026-11-02: add by m2/dev

4B2RGHKVJR 4B2RGHKVJR

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

Mentions

open_logic: open_logic content/sets-functions-relations/arithmetization/cuts.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 78.3

History

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

Computation 4B2TTGTW5F

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

Mentions

wikipedia: Wikipedia Super envy-freeness#RVZ3, Computation (definition)

History

2026-11-02: add by m2/dev

Affirming the consequent 4B2W9MX5PT

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

Mentions

wikipedia: Wikipedia List of fallacies#CPAT, Affirming the consequent (definition)

History

2026-11-02: add by m2/dev

4B2ZYGXKJA 4B2ZYGXKJA

URI	`m2://inv/4B2ZYGXKJA`
Kind	statement
Layer	research
MSC	30-XX, 32-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.17669#ZDSN (statement). In RAWXJ72WWA/e1, theorem 3.1

History

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

Self-adjoint realization of the features 4B37NBPD3A

URI	`m2://inv/4B37NBPD3A`
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.29147#3UCL, Self-adjoint realization of the features (statement)

History

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

Predicative mathematics 4B38TE8TAY

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#7KA3, Predicative mathematics (definition)

History

2026-11-02: add by m2/dev

log-log plot 4B3AF3GHAP

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

Mentions

wikidata: Wikidata Q2091879, log-log plot (unknown). Also MathWorld Log-LogPlot
wikipedia: Wikipedia Log–log plot, Log–log plot (definition). Also Wikidata Q2091879

History

2026-10-26: add by m2/dev

4B3AKRHEEH 4B3AKRHEEH

URI	`m2://inv/4B3AKRHEEH`
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#39N7 (statement). In P5SQ4CMX42/e1, lemma 4

History

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

Coherent sheaf cohomology 4B3EMJ3GTK

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

Mentions

wikipedia: Wikipedia Coherent sheaf cohomology, Coherent sheaf cohomology (definition). Also Wikidata Q25303633

History

2026-11-02: add by m2/dev

4B3VKTEWZM 4B3VKTEWZM

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

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#example-9 (example). In E59CDZA4DP, example, section 9.2.2

History

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

4B3XEJC3MR 4B3XEJC3MR

URI	`m2://inv/4B3XEJC3MR`
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 2312.06581#6DQ6 (definition). In WXJ2V3HA2R/e1, definition D.10

History

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

Uniform annulus and classical stabilization 4B3YMC1WQ7

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

Mentions

arxiv: arXiv 2610.05652#MATV, Uniform annulus and classical stabilization (statement). In 8BNPFYQDQX/e1, corollary 6.1

History

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

Bootstrapping (statistics) 4B3ZSNZGQ2

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

Mentions

wikipedia: Wikipedia List of statistics articles#JGEG, Bootstrapping (statistics) (definition)

History

2026-11-02: add by m2/dev

Gregory Chaitin 4B41X4FQTV

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#K7UH, Gregory Chaitin (topic)

History

2026-11-02: add by m2/dev

Rader's FFT algorithm 4B49SVN0NR

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

Mentions

wikipedia: Wikipedia Rader's FFT algorithm, Rader's FFT algorithm (definition). Also Wikidata Q7280126

History

2026-11-02: add by m2/dev

second-order differential equation 4B4ECZS38T

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

Mentions

wikipedia: Wikipedia Glossary of calculus#EWCL, second-order differential equation (definition)

History

2026-11-02: add by m2/dev

Ruslan Smelyansky 4B4RWPP0HE

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

Mentions

wikipedia: Wikipedia Ruslan Smelyansky, Ruslan Smelyansky (topic). Also Wikidata Q19909279

History

2026-11-02: add by m2/dev

Bulirsch–Stoer algorithm 4B4S856RAZ

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#QEPR, Bulirsch–Stoer algorithm (definition)

History

2026-11-02: add by m2/dev

Rokhlin lemma 4B4TFQFTGX

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

Mentions

wikipedia: Wikipedia Rokhlin lemma, Rokhlin lemma (statement). Also Wikidata Q21069246

History

2026-11-02: add by m2/dev

4B4XMY7K1Y 4B4XMY7K1Y

URI	`m2://inv/4B4XMY7K1Y`
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 2404.06445#IOQG (statement). In 12JKZ8EN52/e1, corollary 4.2

History

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

Weil bound 4B51WZQMH4

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

Mentions

arxiv: arXiv 2609.31335#QKT8, Weil bound (statement). In YN58PZTGFD/e1, theorem 4.8

History

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

Kenkichi Iwasawa 4B529M6DTD

URI	`m2://inv/4B529M6DTD`
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#0ZQ8, Kenkichi Iwasawa (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ULYY, Kenkichi Iwasawa (unknown)

History

2026-11-02: add by m2/dev

4B52KZ7BF4 4B52KZ7BF4

URI	`m2://inv/4B52KZ7BF4`
Kind	statement
Layer	research
MSC	37-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.21627#ZZH7 (statement). In 4Z44S003HM/e1, corollary 7

History

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

4B5CWP1GFR 4B5CWP1GFR

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

Mentions

arxiv: arXiv 2505.04593#BX4Q (definition). In PEXJPV3NP8/e1, definition 5.1

History

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

Prime local sensitivity formula 4B5FA7CT9N

URI	`m2://inv/4B5FA7CT9N`
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.17006#V6VW, Prime local sensitivity formula (statement). In YY81ZEJ82P/e1, theorem 6.1

History

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

Paolo Giudici 4B5GGVHWC0

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

Mentions

wikipedia: Wikipedia Paolo Giudici, Paolo Giudici (topic). Also Wikidata Q74310634

History

2026-11-02: add by m2/dev

Properties 4B5MCNT8PR

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

Mentions

wikipedia: Wikipedia Electromagnetic tensor#OFXF, Properties (statement)

History

2026-11-02: add by m2/dev

Treatise on Natural Philosophy 4B62FW8KRH

URI	`m2://inv/4B62FW8KRH`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a book, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q3538287, Treatise on Natural Philosophy (unknown). Also ProofWiki Book:Sir_William_Thomson/Treatise_on_Natural_Philosophy

History

2026-10-26: add by m2/dev

4B66RGXXF4 4B66RGXXF4

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

Mentions

arxiv: arXiv 2609.27798#SO3C (statement)

History

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

Conventions 4B6ADAB9VX

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

Mentions

wikipedia: Wikipedia On-Line Encyclopedia of Integer Sequences#TPV5, Conventions (definition)

History

2026-11-02: add by m2/dev

Idele group 4B6EAATZ1Z

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

Mentions

wikipedia: Wikipedia Idele group, Idele group (definition). Also Wikidata Q139796314

History

2026-11-02: add by m2/dev

4B6HDS95TH 4B6HDS95TH

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

Mentions

arxiv: arXiv 2609.26922#QKOV (statement)

History

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

Rectified 120-cell 4B6HVDD7XG

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

Mentions

wikipedia: Wikipedia Rectified 120-cell, Rectified 120-cell (definition). Also Wikidata Q7303154

History

2026-11-02: add by m2/dev

4B6JJ3T0DR 4B6JJ3T0DR

URI	`m2://inv/4B6JJ3T0DR`
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.38975#YW8Z (definition). In D2247CRPPE/e1, definition 25

History

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

4B6NW5VTGW 4B6NW5VTGW

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

Mentions

arxiv: arXiv 2610.12326#SMAR (statement). In 9S7HGSEX6Q/e1, proposition 3.12

History

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

Applications 4B6Q4889QJ

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

Mentions

wikipedia: Wikipedia Ideonomy#GV2P, Applications (example)

History

2026-11-02: add by m2/dev

Carnivorous plant 4B6S4XE7Z1

URI	`m2://inv/4B6S4XE7Z1`
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#6MK3, Carnivorous plant (unknown)

History

2026-11-02: add by m2/dev

Vague topology 4B6VN198SD

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

Mentions

wikipedia: Wikipedia Vague topology, Vague topology (definition). Also Wikidata Q17125297

History

2026-11-02: add by m2/dev

Definitions 4B754WKXGH

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

Mentions

wikipedia: Wikipedia Lagrangian (field theory)#JWM6, Definitions (definition)

History

2026-11-02: add by m2/dev

topological group 4B7600JQMM

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

Mentions

mathlib_overview: mathlib_overview Topology > Topological algebra > topological group, topological group (unknown). Also Mathlib IsTopologicalGroup

History

2026-10-26: add by m2/dev

Product rule 4B77TBVBP9

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

Mentions

wikipedia: Wikipedia Product integral#LIPR, Product rule (definition)

History

2026-11-02: add by m2/dev

The Drucker yield criterion 4B7917WSEZ

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

Mentions

wikipedia: Wikipedia Drucker–Prager yield criterion#Q4L4, The Drucker yield criterion (statement)

History

2026-11-02: add by m2/dev

Bivariate von Mises distribution 4B797GX9MB

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

Mentions

wikipedia: Wikipedia List of statistics articles#YVVC, Bivariate von Mises distribution (definition)

History

2026-11-02: add by m2/dev

Mixed bounds for Doob's maximal operator 4B7N646X49

URI	`m2://inv/4B7N646X49`
Kind	statement
Layer	research
MSC	26-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 2609.20531#S6GT, Mixed bounds for Doob's maximal operator (statement)

History

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

4B7NHF37H8 4B7NHF37H8

URI	`m2://inv/4B7NHF37H8`
Kind	definition
Layer	research
MSC	03-XX, 11-XX, 26-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.21725#TH85 (definition). In BQDZN6GRGF/e1, definition 4.1

History

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

4B7NMAYXKP 4B7NMAYXKP

URI	`m2://inv/4B7NMAYXKP`
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.24580#NC6X (statement)

History

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

Wirth syntax notation 4B7PM57HS9

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

Mentions

wikipedia: Wikipedia Wirth syntax notation, Wirth syntax notation (definition). Also Wikidata Q8027023

History

2026-11-02: add by m2/dev

4B7VF6VNP7 4B7VF6VNP7

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

Mentions

arxiv: arXiv 2609.20516#GGQC (statement)

History

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

4B7X9FGDVW 4B7X9FGDVW

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

Mentions

arxiv: arXiv 2609.39293#I9T6 (statement). In S26QVW5613/e1, lemma 3.4.2

History

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

4B7YYY6F8V 4B7YYY6F8V

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

Mentions

arxiv: arXiv 2609.37112#YO0U (statement). In 5B10HAY4C3/e1, lemma 3.5

History

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

Josh E. Gross 4B852Z7QP3

URI	`m2://inv/4B852Z7QP3`
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#6EQT, Josh E. Gross (unknown)

History

2026-11-02: add by m2/dev

Example 4B873AFCV5

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

Mentions

wikipedia: Wikipedia Sufficient statistic#R7SG, Example (example)

History

2026-11-02: add by m2/dev

Constraint 4B88C5B8S7

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

Mentions

wikipedia: Wikipedia Constraint (mathematics), Constraint (definition). Also Wikidata Q2303305

History

2026-11-02: add by m2/dev

4B8AAJ0WHE 4B8AAJ0WHE

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

Mentions

arxiv: arXiv 2609.22557#L0WN (statement)

History

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

polar decompositions in $\mathrm{GL}(n, \R)$ 4B8G7H3QAX

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

Mentions

mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > polar decompositions in $\mathrm{GL}(n, \R)$, polar decompositions in $\mathrm{GL}(n, \R)$ (unknown)

History

2026-10-26: add by m2/dev

4B8JV45WVK 4B8JV45WVK

URI	`m2://inv/4B8JV45WVK`
Kind	statement
Layer	research
MSC	14-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 2604.07243#WW0Y (statement). In 9RH8C8RYW3/e1, theorem 4.4

History

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

4B8W58DN2W 4B8W58DN2W

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 6.1

History

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

4B8XYDK542 4B8XYDK542

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

Mentions

arxiv: arXiv 2610.04382#3SXP (statement). In 7VW8XD28G1/e1, lemma 3.4

History

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

the cubic of $\Pol(1,4)$ 4B91Z08KKH

URI	`m2://inv/4B91Z08KKH`
Kind	example
Layer	research
MSC	16-XX, 26-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.13532#1M3B, the cubic of $\Pol(1,4)$ (example). In 9B0X8YPF3P/e1, example 9.14

History

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

Theorem 4B931KCTDQ

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

Mentions

wikipedia: Wikipedia Complex random variable#ES6E, Theorem (statement)

History

2026-11-02: add by m2/dev

Alexander Logunov 4B94WVJXD7

URI	`m2://inv/4B94WVJXD7`
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#JLDU, Alexander Logunov (topic)

History

2026-11-02: add by m2/dev

4B95GQH07D 4B95GQH07D

URI	`m2://inv/4B95GQH07D`
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.36313#0N04 (statement). In Z5SP3NW41S/e1, lemma 3.2

History

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

Confinement for the costs with compact resolvent 4B97083VQW

URI	`m2://inv/4B97083VQW`
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#WB6E, Confinement for the costs with compact resolvent (statement). In MM8P5CJR18/e1, proposition C.7

History

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

Čech nerve theorem 4B98TPJZY7

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

Mentions

wikipedia: Wikipedia Nerve complex#619P, Čech nerve theorem (statement)

History

2026-11-02: add by m2/dev

Christof Schütte 4B9CYYMPMC

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

Mentions

wikipedia: Wikipedia List of German mathematicians#KS44, Christof Schütte (topic)

History

2026-11-02: add by m2/dev

degree-theoretic semantics 4B9GNKD851

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

Mentions

wikipedia: Wikipedia Glossary of logic#6WJJ, degree-theoretic semantics (definition)

History

2026-11-02: add by m2/dev

Eilenberg–Ganea conjecture 4B9N5KQTNN

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

Mentions

wikipedia: Wikipedia Eilenberg–Ganea conjecture, Eilenberg–Ganea conjecture (conjecture). Also Wikidata Q5349489

History

2026-11-02: add by m2/dev

Construction 4BA10XRNR4

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

Mentions

wikipedia: Wikipedia André plane#W6ZC, Construction (definition)

History

2026-11-02: add by m2/dev

4BA1P8BXVS 4BA1P8BXVS

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-285 (exercise). In VNMV985MXX, exercise, section 6.4

History

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

Compound of two snub dodecadodecahedra 4BA2BRYARH

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#WNNY, Compound of two snub dodecadodecahedra (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#4LFQ, Compound of two snub dodecadodecahedra (definition)

History

2026-11-02: add by m2/dev

Strict positivity of the Dirichlet heat kernel 4BA494TQCV

URI	`m2://inv/4BA494TQCV`
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.08011#Y16M, Strict positivity of the Dirichlet heat kernel (statement). In K0BXT951HT/e1, lemma 2.3

History

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

Quotient group 4BA6KTVGWJ

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#ZOJW, Quotient group (definition)

History

2026-11-02: add by m2/dev

4BA71B4ZGX 4BA71B4ZGX

URI	`m2://inv/4BA71B4ZGX`
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 2312.00752#IWOS (statement)

History

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

4BA7G6PX7K 4BA7G6PX7K

URI	`m2://inv/4BA7G6PX7K`
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.21358#2Y2S (statement). In XV70TXYS5A/e1, lemma 2.12

History

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

4BA9BE52HX 4BA9BE52HX

URI	`m2://inv/4BA9BE52HX`
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.06419#6B24 (statement). In JSZRXT3W3E/e1, proposition 4.1

History

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

4BAKM7ERG1 4BAKM7ERG1

URI	`m2://inv/4BAKM7ERG1`
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.15720#LW8E (statement). In VNN52G3BRE/e1, lemma 5.2

History

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

Edward Charles Titchmarsh 4BAR0KCSMM

URI	`m2://inv/4BAR0KCSMM`
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#S7LW, Edward Charles Titchmarsh (topic)

History

2026-11-02: add by m2/dev

Signed Burning Parameters 4BAS1P7ZNG

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

Mentions

arxiv: arXiv 2610.02506#L8EW, Signed Burning Parameters (definition). In 3JKRBZWJ33/e1, definition 2.5

History

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

4BBEWQY2V3 4BBEWQY2V3

URI	`m2://inv/4BBEWQY2V3`
Kind	example
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.26496#GQQE (example)

History

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

convergence to a deterministic variable on $(0,+\infty)$ 4BBMSHQZ1F

URI	`m2://inv/4BBMSHQZ1F`
Kind	definition
Layer	research
MSC	35-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.05423#UJS7, convergence to a deterministic variable on $(0,+\infty)$ (definition). In 3ABGS3F1JG/e1, definition 7.2

History

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

4BC34D8M5F 4BC34D8M5F

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

Mentions

arxiv: arXiv 1002.0879#7WO7 (definition). In M0SQY5EZN5/e1, definition 1.4.1

History

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

Rung $4'$ 4BC4XKZ64P

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

Mentions

arxiv: arXiv 2609.27766#PXJM, Rung $4'$ (statement)

History

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

Wilson's theorem 4BCB15VWQ1

URI	`m2://inv/4BCB15VWQ1`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Wilson's theorem 03KGGKTB2E

Mentions

mathlib_100: mathlib_100 51, Wilson’s Lemma (statement). Also Mathlib ZMod.wilsons_lemma
mathlib_1000: mathlib_1000 Q276082, Wilson's theorem (statement). Also Mathlib ZMod.wilsons_lemma, Wikidata Q276082
thousand_plus: thousand_plus Q276082, Wilson's theorem (statement). Also Mathlib ZMod.wilsons_lemma, Wikidata Q276082, Wikipedia Wilson's theorem
wikidata: Wikidata Q276082, Wilson's theorem (statement). Also EoM Wilson_theorem, MathWorld WilsonsTheorem
wikipedia: Wikipedia Wilson's theorem, Wilson's theorem (statement). Also Wikidata Q276082

History

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

4BCC3MD2BX 4BCC3MD2BX

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

Mentions

austin_ula: austin_ula src/exercises/exercises7-4.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 7.4

History

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

4BCHFM0BYA 4BCHFM0BYA

URI	`m2://inv/4BCHFM0BYA`
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.04069#E3B5 (statement). In ZA7WXGZYWC/e1, lemma 2.5

History

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

Riemannian holonomy 4BD5D633CD

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

Mentions

wikipedia: Wikipedia List of things named after Bernhard Riemann#W56X, Riemannian holonomy (definition)

History

2026-11-02: add by m2/dev

Frank--Wolfe bound 4BD5HV908E

URI	`m2://inv/4BD5HV908E`
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.37479#W3ZM, Frank--Wolfe bound (statement). In P3RTT99C41/e1, proposition 6.7

History

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

Hill, Austin Bradford 4BDFECR051

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

Mentions

wikipedia: Wikipedia List of statisticians#1LY0, Hill, Austin Bradford (unknown)

History

2026-11-02: add by m2/dev

4BDMEV7PF6 4BDMEV7PF6

URI	`m2://inv/4BDMEV7PF6`
Kind	statement
Layer	research
MSC	05-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.36332#LOCR (statement). In APK7X4MFAX/e1, lemma 6

History

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

Sinhc 4BDMY858WF

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

Mentions

wikipedia: Wikipedia Sinc function#S8CK, Sinhc (unknown)

History

2026-11-02: add by m2/dev

greater than 4BDP39AN6S

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

Mentions

wikidata: Wikidata Q47035128, greater than (unknown). Also MathWorld Greater

History

2026-10-26: add by m2/dev

Trace inequality 4BDS6M8WZF

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

Mentions

wikipedia: Wikipedia Trace inequality, Trace inequality (statement). Also Wikidata Q7831162

History

2026-11-02: add by m2/dev

$V_{k,\ell,I,J}$-matrix 4BDTHFCYDQ

URI	`m2://inv/4BDTHFCYDQ`
Kind	definition
Layer	research
MSC	05-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.33512#N0G8, $V_{k,\ell,I,J}$-matrix (definition). In WYHZMYZT31/e1, definition 3.6

History

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

Fredholm determinant 4BDZ4K2RNJ

URI	`m2://inv/4BDZ4K2RNJ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Fredholm determinant PPX0AK81QV

Mentions

wikidata: Wikidata Q3045336, Fredholm determinant (unknown). Also nLab Fredholm determinant
wikipedia: Wikipedia Fredholm determinant, Fredholm determinant (definition). Also Wikidata Q3045336

History

2026-10-26: add by m2/dev

Cohort study 4BE1AFDWKG

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

Mentions

wikipedia: Wikipedia Cohort study, Cohort study (definition). Also Wikidata Q1778788

History

2026-11-02: add by m2/dev

soundness 4BE1RXAYWQ

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

Mentions

wikipedia: Wikipedia Glossary of logic#4F52, soundness (definition)

History

2026-11-02: add by m2/dev

4BE2KSJW9W 4BE2KSJW9W

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

Mentions

arxiv: arXiv 2609.38970#SE5V (statement). In VE6WBAMDSA/e1, theorem 1.1

History

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

Doi-Hopf module 4BE3HDEEZN

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

Mentions

wikipedia: Wikipedia Doi-Hopf module, Doi-Hopf module (definition). Also Wikidata Q116196808

History

2026-11-02: add by m2/dev

Statement 4BEAM57EHT

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

Mentions

wikipedia: Wikipedia Artin reciprocity#W5J8, Statement (statement)

History

2026-11-02: add by m2/dev

4BEFR7JTSR 4BEFR7JTSR

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

Mentions

arxiv: arXiv 2610.21092#XXEP (statement). In AGJE43FTF8/e1, theorem 7.1

History

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

Approximation theory 4BEW4RS9B3

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

Mentions

wikipedia: Wikipedia Approximation theory, Approximation theory (topic). Also Wikidata Q774123

History

2026-11-02: add by m2/dev

Dietmar Uhlig 4BF0H7Y9C7

URI	`m2://inv/4BF0H7Y9C7`
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#SA68, Dietmar Uhlig (unknown)

History

2026-11-02: add by m2/dev

Ahlswede–Khachatrian theorem 4BF3XCE5Z5

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

Mentions

wikipedia: Wikipedia Ahlswede–Khachatrian theorem, Ahlswede–Khachatrian theorem (statement). Also Wikidata Q123881455

History

2026-11-02: add by m2/dev

4BF7751K6M 4BF7751K6M

URI	`m2://inv/4BF7751K6M`
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.35095#QWNF (statement). In MM3XTWS35F/e1, lemma 4

History

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

4BF98BDEF5 4BF98BDEF5

URI	`m2://inv/4BF98BDEF5`
Kind	statement
Layer	research
MSC	30-XX, 32-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.35597#ELZ1 (statement). In K424GCJ50P/e1, lemma 4.2

History

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

Koszul complex 4BFH93V9NY

URI	`m2://inv/4BFH93V9NY`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Koszul complex YZY11W08SD

Mentions

wikidata: Wikidata Q6433699, Koszul complex (concept). Also EoM Koszul_complex, nLab Koszul complex
wikipedia: Wikipedia Koszul complex, Koszul complex (definition). Also Wikidata Q6433699

History

2026-10-26: add by m2/dev

Some formulas for fractional iteration 4BFJHWZBDT

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

Mentions

wikipedia: Wikipedia Iterated function#S6CX, Some formulas for fractional iteration (statement)

History

2026-11-02: add by m2/dev

Example 4BFKA44BM8

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

Mentions

wikipedia: Wikipedia Infinite compositions of analytic functions#9DDY, Example (example)

History

2026-11-02: add by m2/dev

Identity for Serrin's type Theorem 4BFVC2Q308

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

Mentions

arxiv: arXiv 2609.29393#5A54, Identity for Serrin's type Theorem (statement)

History

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

Noetic Learning math contest 4BFX7VNM8T

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#S9BT, Noetic Learning math contest (unknown)

History

2026-11-02: add by m2/dev

Weeks manifold 4BFZKFVD6A

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

Mentions

wikipedia: Wikipedia List of manifolds#WCC0, Weeks manifold (definition)

History

2026-11-02: add by m2/dev

Theorem 4BG3N5X5EX

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

Mentions

wikipedia: Wikipedia Hausdorff dimension#KA9Z, Theorem (statement)

History

2026-11-02: add by m2/dev

4BG7HNRVJW 4BG7HNRVJW

URI	`m2://inv/4BG7HNRVJW`
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#YZSW (statement). In TPA3E67MKK/e1, proposition 9.7

History

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

4BGEFAWJ51 4BGEFAWJ51

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

Mentions

arxiv: arXiv 2412.12141#UQIR (example). In V980ZMH759/e1, example 2.3

History

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

4BGFB4CKPB 4BGFB4CKPB

URI	`m2://inv/4BGFB4CKPB`
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.14555#OMGB (statement). In NHW0VEJ09F/e1, proposition 2.13

History

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

William Vann Parker 4BGFREYNYF

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

Mentions

wikipedia: Wikipedia William Vann Parker, William Vann Parker (topic). Also Wikidata Q102145056

History

2026-11-02: add by m2/dev

4BGGX2D70Y 4BGGX2D70Y

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

Mentions

arxiv: arXiv 2208.07784#I3L0 (statement). In X0GJCD9768/e1, proposition 5.1

History

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

A6 polytope 4BGMG0WZD5

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

Mentions

wikipedia: Wikipedia A6 polytope, A6 polytope (definition). Also Wikidata Q6560231

History

2026-11-02: add by m2/dev

4BGQEVDV5Z 4BGQEVDV5Z

URI	`m2://inv/4BGQEVDV5Z`
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-89 (exercise). In E9HS8K3A52, exercise, section 5.7.1

History

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

4BGT4PM324 4BGT4PM324

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

Mentions

arxiv: arXiv 2610.20466#NC5G (definition). In M4ZVJWM8YA/e1, definition 4.5

History

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

4BGYQ53GQN 4BGYQ53GQN

URI	`m2://inv/4BGYQ53GQN`
Kind	statement
Layer	research
MSC	03-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 1209.3562#ACJV (statement). In KZH1DCS18C/e1, lemma 6.8

History

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

Proof of \thmref{thm:dbaronpoly} 4BGZKSYYSZ

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

Mentions

lebl_scv: lebl_scv scv.tex#proof-59, Proof of \thmref{thm:dbaronpoly} (proof). In VNMV985MXX, proof, section 4.4

History

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

4BH0A1MKKJ 4BH0A1MKKJ

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

Mentions

arxiv: arXiv 2609.26762#5WBA (statement)

History

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

4BH388BXC4 4BH388BXC4

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

Mentions

arxiv: arXiv 2609.29759#I5SR (definition)

History

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

4BH72DGS2M 4BH72DGS2M

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

Mentions

arxiv: arXiv 2609.35678#RFIQ (statement). In 4X4ZS7CEKD/e1, lemma 1

History

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

Reversible-jump Markov chain Monte Carlo 4BH9W3M6ZQ

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

Mentions

wikipedia: Wikipedia List of statistics articles#6CU1, Reversible-jump Markov chain Monte Carlo (definition)

History

2026-11-02: add by m2/dev

Newton forward divided difference formula 4BHHB25G9N

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

Mentions

wikipedia: Wikipedia Newton polynomial#4FT5, Newton forward divided difference formula (statement)

History

2026-11-02: add by m2/dev

(Small) complex icosidodecahedron 4BHPEY65VJ

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

Mentions

wikipedia: Wikipedia List of uniform polyhedra by Schwarz triangle#AO3V, (Small) complex icosidodecahedron (definition)

History

2026-11-02: add by m2/dev

4BHQ5Y5DBY 4BHQ5Y5DBY

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

Mentions

open_logic: open_logic content/incompleteness/arithmetization-syntax/coding-symbols.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 27.2

History

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

Standard error 4BHXTQWNS0

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#210L, Standard error (definition)

History

2026-11-02: add by m2/dev

Linear interpolation 4BJ6S2ZETB

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#MN7C, Linear interpolation (definition)

History

2026-11-02: add by m2/dev

Clifford algebra 4BJ6XFZM21

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

Mentions

wikipedia: Wikipedia Glossary of ring theory#4SYD, Clifford algebra (definition)

History

2026-11-02: add by m2/dev

4BJ9MEJZJZ 4BJ9MEJZJZ

URI	`m2://inv/4BJ9MEJZJZ`
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 0902.4887#3VA6 (statement). In MYQ05J9R20/e1, proposition 2.7

History

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

Claude Elwood Shannon 4BJAV753YP

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

Mentions

wikipedia: Wikipedia List of cryptographers#SUGJ, Claude Elwood Shannon (topic)

History

2026-11-02: add by m2/dev

Radau quadrature kernel 4BJBZQBMZY

URI	`m2://inv/4BJBZQBMZY`
Kind	definition
Layer	research
MSC	26-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.34918#LK9Q, Radau quadrature kernel (definition). In B3MNVE9149/e1, definition 7.2

History

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

Torelli theorem 4BJDRFJ4KB

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

Mentions

wikipedia: Wikipedia List of theorems#H07N, Torelli theorem (statement)

History

2026-11-02: add by m2/dev

regular 4BJFJ9RXC5

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#9NOV, regular (definition)

History

2026-11-02: add by m2/dev

4BJGAWQ9P3 4BJGAWQ9P3

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

Mentions

arxiv: arXiv 2609.27152#KGVC (statement)

History

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

4BJJ36HV8W 4BJJ36HV8W

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

Mentions

arxiv: arXiv 2609.26496#0IU0 (statement)

History

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

4BJKW50N02 4BJKW50N02

URI	`m2://inv/4BJKW50N02`
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#44AI (statement). In E7W2HDNEKJ/e1, theorem 5.39

History

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

4BJQNQ1M97 4BJQNQ1M97

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

Mentions

arxiv: arXiv 2609.29531#PBZR (statement)

History

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

4BJTNA1QSD 4BJTNA1QSD

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

Mentions

lebl_scv: lebl_scv scv.tex#defn-2 (definition). In VNMV985MXX, defn, section 1.1

History

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

Euler's formula 4BK0JPTY0R

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

Mentions

applied_combinatorics: applied_combinatorics index/5.5/euler-s-formula, Euler's formula (concept). In QKM9DD2H56, index, section 5.5

History

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

4BK45YEEN5 4BK45YEEN5

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

Mentions

arxiv: arXiv 2610.03081#R7BV (statement). In TX0H26X4VX/e1, theorem E

History

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

Gordon Welchman 4BK5CCC5X5

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

Mentions

wikipedia: Wikipedia Gordon Welchman, Gordon Welchman (topic). Also Wikidata Q466055

History

2026-11-02: add by m2/dev

magic square 4BKC0W5T4J

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

Mentions

wikidata: Wikidata Q192089, magic square (unknown). Also MathWorld MagicSquare
wikipedia: Wikipedia Magic square, Magic square (conjecture). Also Wikidata Q192089

History

2026-10-26: add by m2/dev

4BKKHQ8J3H 4BKKHQ8J3H

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

Mentions

arxiv: arXiv 2609.29227#1984 (statement)

History

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

Smith-Volterra-Cantor set 4BKMX6YX0Q

URI	`m2://inv/4BKMX6YX0Q`
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.39409#2MKH, Smith-Volterra-Cantor set (statement). In CQ0Z7QA0A5/e1, lemma 6.1

History

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

Canadian Mathematical Society 4BKV3V8KF9

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

Mentions

wikipedia: Wikipedia Canadian Mathematical Society, Canadian Mathematical Society (definition). Also Wikidata Q1032210

History

2026-11-02: add by m2/dev

4BKVB80XAW 4BKVB80XAW

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

Mentions

arxiv: arXiv 2610.06081#SF1N (statement). In 7Z3KQRFEVG/e1, proposition 8.5

History

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

Real plane curve 4BKW7T7WWZ

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

Mentions

wikipedia: Wikipedia Real plane curve, Real plane curve (definition). Also Wikidata Q7301164

History

2026-11-02: add by m2/dev

Truth Lemma 4BM5AFDJ3A

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

Mentions

open_logic: open_logic content/normal-modal-logic/completeness/truth-lemma.tex#prop:truthlemma, Truth Lemma (statement). In PKGMM3P5QY, prop, section 51.5

History

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

Chebotarev's density theorem 4BM89YFJC4

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

Mentions

wikipedia: Wikipedia List of algebraic number theory topics#D4JY, Chebotarev's density theorem (statement)
wikipedia: Wikipedia List of number theory topics#X7IK, Chebotarev's density theorem (statement)

History

2026-11-02: add by m2/dev

4BMQ52HXNP 4BMQ52HXNP

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

Mentions

arxiv: arXiv 1509.00950#9TU3 (statement). In MDZFW5GACV/e1, lemma 5.1

History

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

Classical laws 4BMTGYY9BF

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

Mentions

wikipedia: Wikipedia Scientific law#EKCI, Classical laws (statement)

History

2026-11-02: add by m2/dev

A nonlinear obstruction under a trajectory moment bound 4BN39TZE14

URI	`m2://inv/4BN39TZE14`
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.40338#ZD28, A nonlinear obstruction under a trajectory moment bound (statement). In K5H6GS0SGQ/e1, theorem 3.6

History

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

4BNCXD574N 4BNCXD574N

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

Mentions

arxiv: arXiv 2610.11785#EQ98 (statement). In 2XSZDXZ52E/e1, corollary 1.6

History

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

L'Hôpital's rule 4BNJZ520J3

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

Mentions

wikipedia: Wikipedia List of real analysis topics#1NNU, L'Hôpital's rule (definition)

History

2026-11-02: add by m2/dev

4BNK5HFB19 4BNK5HFB19

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

Mentions

open_logic: open_logic content/computability/recursive-functions/partial-functions.tex#defn:recursive-fn (definition). In PKGMM3P5QY, defn, section 3.28

History

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

4BNKTWMDVH 4BNKTWMDVH

URI	`m2://inv/4BNKTWMDVH`
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 2109.12716#G9SZ (statement). In 6X76XBE3HV/e1, corollary 5.5

History

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

4BP3PMT74R 4BP3PMT74R

URI	`m2://inv/4BP3PMT74R`
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#NGO9 (statement). In NDKWV5J14V/e1, lemma 2.9

History

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

MedCalc 4BP3SSYRS9

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

Mentions

wikipedia: Wikipedia List of statistical software#993G, MedCalc (definition)

History

2026-11-02: add by m2/dev

4BPKBDZAJW 4BPKBDZAJW

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

Mentions

arxiv: arXiv 2610.17325#ILG0 (statement). In SE16BAED46/e1, lemma 4

History

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

Harmony search 4BPKGKRGPB

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

Mentions

wikipedia: Wikipedia List of algorithms#RBZH, Harmony search (unknown)

History

2026-11-02: add by m2/dev

Dan Burghelea 4BPRRMM6JF

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

Mentions

wikipedia: Wikipedia Dan Burghelea, Dan Burghelea (topic). Also Wikidata Q102161710

History

2026-11-02: add by m2/dev

mathematics, constructive 4BPS916FMG

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

Mentions

hott_book: hott_book index/B.2.1/mathematics-constructive, mathematics, constructive (concept). In N54F33XE07, index, section B.2.1

History

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

4BPTNQ7A36 4BPTNQ7A36

URI	`m2://inv/4BPTNQ7A36`
Kind	statement
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 2510.23812#79XR (statement). In D8XZBXJPR5/e1, theorem C

History

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

Mazur 4BPVDA28XT

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#8ENQ, Mazur (definition)

History

2026-11-02: add by m2/dev

Fontaine--Messing criterion in adjacent degrees 4BQ2RT26Z8

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

Mentions

arxiv: arXiv 2609.35467#LE9H, Fontaine--Messing criterion in adjacent degrees (statement). In FK89DQ9J4S/e1, proposition A.4

History

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

simple Lie group 4BQBA7P8H0

URI	`m2://inv/4BQBA7P8H0`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Simple Lie group AM7YJP8AR6

Mentions

wikidata: Wikidata Q1003162, simple Lie group (unknown). Also nLab simple Lie group
wikipedia: Wikipedia Simple Lie group, Simple Lie group (definition). Also Wikidata Q1003162

History

2026-10-26: add by m2/dev

1087 4BQD7G76TA

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

Mentions

wikidata: Wikidata Q5157328, 1087 (statement). Also ProofWiki 1087

History

2026-10-26: add by m2/dev

Jaynes's solution using the "maximum ignorance" principle 4BQGH432AB

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

Mentions

wikipedia: Wikipedia Bertrand paradox (probability)#VSLV, Jaynes's solution using the "maximum ignorance" principle (statement)

History

2026-11-02: add by m2/dev

4BQK2CZF37 4BQK2CZF37

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

Mentions

arxiv: arXiv 2610.01946#9KD5 (statement). In NB1Z31FMXN/e1, lemma 2.5

History

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

4BQNFGDAZR 4BQNFGDAZR

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

Mentions

hott_book: hott_book equivalences.tex#proof-24 (proof). In N54F33XE07, proof, section 3.7

History

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

Additive energy 4BQNT71142

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

Mentions

mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > Additive energy, Additive energy (unknown). Also Mathlib Finset.addEnergy

History

2026-10-26: add by m2/dev

Jeremy Rickard 4BQYYZAD8K

URI	`m2://inv/4BQYYZAD8K`
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#VQ97, Jeremy Rickard (topic)

History

2026-11-02: add by m2/dev

4BR1DN4JHF 4BR1DN4JHF

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

Mentions

open_logic: open_logic content/normal-modal-logic/completeness/complete-consistent-sets.tex#prop:ccs-properties (statement). In PKGMM3P5QY, prop, section 50.15

History

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

4BRDR7508X 4BRDR7508X

URI	`m2://inv/4BRDR7508X`
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#IJZW (statement). In XKENQH35DW/e1, theorem 5.2

History

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

4BRFT0VGN6 4BRFT0VGN6

URI	`m2://inv/4BRFT0VGN6`
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 2309.17091#HV5H (definition). In N0JJM098W2/e1, definition 4

History

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

Patrick Brosnan 4BRKGD07CW

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#GFJP, Patrick Brosnan (topic)

History

2026-11-02: add by m2/dev

4BRRRV312D 4BRRRV312D

URI	`m2://inv/4BRRRV312D`
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.21358#1WJJ (statement). In XV70TXYS5A/e1, lemma 2.10

History

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

monotonicity and reflection 4BS4NN9DDX

URI	`m2://inv/4BS4NN9DDX`
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 2608.24606#ASO4, monotonicity and reflection (statement). In VFV3FFB7Q7/e1, lemma 11

History

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

4BSEJZABG8 4BSEJZABG8

URI	`m2://inv/4BSEJZABG8`
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.11455#GHRD (example). In Z1EBVH5SP1/e1, example 4.1

History

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

4BSGD96BQ1 4BSGD96BQ1

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

Mentions

arxiv: arXiv 2610.14060#KJXD (statement). In X47RYAZF8P/e1, lemma 6.8

History

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

4BSR6S1XQF 4BSR6S1XQF

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

Mentions

arxiv: arXiv 2609.28808#VUO9 (statement)

History

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

4BT1DDS7CY 4BT1DDS7CY

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise-59 (exercise). In E59CDZA4DP, exercise, section 4.5.6

History

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

Formal statement 4BT3ASNHRV

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

Mentions

wikipedia: Wikipedia Axiom of non-choice#YFVN, Formal statement (statement)

History

2026-11-02: add by m2/dev

4BT4M9DYZB 4BT4M9DYZB

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

Mentions

napkin: napkin tex/topology/compactness.tex#thm:bzw (exercise). In RZP28ERRZV, dproblem, section 95.6

History

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

graded rigidity 4BT4R6TQSY

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

Mentions

arxiv: arXiv 2610.06909#RGF5, graded rigidity (statement). In F1EF8XE30A/e1, lemma 2.1

History

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

4BT79ZHMG8 4BT79ZHMG8

URI	`m2://inv/4BT79ZHMG8`
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.38453#KVUT (statement). In DWKWF242Y0/e1, lemma 5

History

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

4BT89N7N30 4BT89N7N30

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

Mentions

arxiv: arXiv 2609.26769#1R7P (statement)

History

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

Natural experiment 4BTAQX7BCH

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

Mentions

wikipedia: Wikipedia Natural experiment, Natural experiment (definition). Also Wikidata Q6980675

History

2026-11-02: add by m2/dev

Properties 4BTDDXST5X

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

Mentions

wikipedia: Wikipedia Vicsek fractal#2TML, Properties (statement)

History

2026-11-02: add by m2/dev

Definition 4BTJWVQA0S

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

Mentions

wikipedia: Wikipedia E-function#7OJL, Definition (definition)

History

2026-11-02: add by m2/dev

4BTN4G652P 4BTN4G652P

URI	`m2://inv/4BTN4G652P`
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#8JCY (statement). In H72E12TYHA/e1, proposition 3.2

History

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

4BTSDSXRC1 4BTSDSXRC1

URI	`m2://inv/4BTSDSXRC1`
Kind	statement
Layer	research
MSC	16-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.02042#VP61 (statement). In P3HWTYFDBX/e1, lemma 6.9

History

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

4BTV4TFVW9 4BTV4TFVW9

URI	`m2://inv/4BTV4TFVW9`
Kind	example
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.27518#9FG3 (example)

History

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

4BV2FJVZRX 4BV2FJVZRX

URI	`m2://inv/4BV2FJVZRX`
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.37920#QQAA (statement). In GZPF8R6BBF/e1, lemma 2.1

History

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

Demazure module 4BVEEGWXJ1

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

Mentions

wikipedia: Wikipedia Demazure module, Demazure module (definition). Also Wikidata Q5255108

History

2026-11-02: add by m2/dev

Fan chart (time series) 4BVGB6A9GC

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

Mentions

wikipedia: Wikipedia List of statistics articles#4EF8, Fan chart (time series) (definition)

History

2026-11-02: add by m2/dev

Vera Myller 4BVMYRX7VM

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

Mentions

wikipedia: Wikipedia Vera Myller, Vera Myller (topic). Also Wikidata Q12743306

History

2026-11-02: add by m2/dev

spanning 4BVV73VWB1

URI	`m2://inv/4BVV73VWB1`
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 2609.39511#WSX4, spanning (statement). In 6W9H24A378/e1, theorem 2

History

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

4BVVXMJ5VB 4BVVXMJ5VB

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

Mentions

hott_book: hott_book equivalences.tex#ex:qinv-autohtpy-no-univalence (exercise). In N54F33XE07, ex, section 3.9

History

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

4BVX1N3PSK 4BVX1N3PSK

URI	`m2://inv/4BVX1N3PSK`
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.31126#LFGL (statement). In GK1V5GEHTK/e1, theorem 6.4

History

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

Symmetry 4BW06VMAPD

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

Mentions

wikipedia: Wikipedia Cubic graph#KWF9, Symmetry (statement)

History

2026-11-02: add by m2/dev

Pythagorean means 4BW1VD0KGV

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

Mentions

wikipedia: Wikipedia List of real analysis topics#5OP9, Pythagorean means (definition)

History

2026-11-02: add by m2/dev

4BW6YJD17P 4BW6YJD17P

URI	`m2://inv/4BW6YJD17P`
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.15424#HFRF (statement). In C4081PN64B/e1, theorem 1.1

History

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

4BW9416WNF 4BW9416WNF

URI	`m2://inv/4BW9416WNF`
Kind	conjecture
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.10576#FB2J (conjecture). In N3ZA5MDZBW/e1, conjecture 3

History

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

Kenneth O. May 4BWBYG26JD

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

Mentions

wikipedia: Wikipedia Kenneth O. May, Kenneth O. May (topic). Also Wikidata Q1398929

History

2026-11-02: add by m2/dev

Homogeneous space 4BWDZKXQ4V

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

Mentions

wikipedia: Wikipedia List of group theory topics#SU36, Homogeneous space (definition)
wikipedia: Wikipedia List of Lie groups topics#ZCO1, Homogeneous space (definition)

History

2026-11-02: add by m2/dev

Definition 4BWGT72FGM

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

Mentions

wikipedia: Wikipedia Projective cone#LFGP, Definition (definition)

History

2026-11-02: add by m2/dev

square-integrable function 4BWHNT8W2E

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

Mentions

wikidata: Wikidata Q1530791, square-integrable function (unknown). Also MathWorld L2-Function, nLab square integrable function
wikipedia: Wikipedia Square-integrable function, Square-integrable function (definition). Also Wikidata Q1530791

History

2026-10-26: add by m2/dev

4BWMGH1DJT 4BWMGH1DJT

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

Mentions

arxiv: arXiv 2207.07461#PQJY (statement). In GAG532VMPF/e1, corollary 4.1.7

History

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

4BWWBJVVV7 4BWWBJVVV7

URI	`m2://inv/4BWWBJVVV7`
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.32906#YOO2 (statement). In R589MXXHX4/e1, theorem 6.2

History

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

4BX02GQ5VK 4BX02GQ5VK

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

Mentions

napkin: napkin tex/H113/ring-intro.tex#prob:akizuki (exercise). In RZP28ERRZV, problem, section 5.10

History

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

4BX24CZTPP 4BX24CZTPP

URI	`m2://inv/4BX24CZTPP`
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.23446#R176 (statement)

History

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

Local geometry near the local mode; see also Lemma 5 4BX2W3RAXY

URI	`m2://inv/4BX2W3RAXY`
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.01050#55CK, Local geometry near the local mode; see also Lemma 5 (statement). In 48NN33SAH7/e1, lemma F.2

History

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

Use 4BX458R1EE

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

Mentions

wikipedia: Wikipedia Thermodynamic square#WOIG, Use (example)

History

2026-11-02: add by m2/dev

4BX45W85XR 4BX45W85XR

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

Mentions

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

History

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

Standard conjecture of Hodge type for supersingular Fermat varieties 4BX5A1S1KX

URI	`m2://inv/4BX5A1S1KX`
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.01731#Y52P, Standard conjecture of Hodge type for supersingular Fermat varieties (statement). In 3TJ2FWXQ0D/e1, corollary 7.8

History

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

4BX7RJRQX5 4BX7RJRQX5

URI	`m2://inv/4BX7RJRQX5`
Kind	definition
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 2105.13129#WLMW (definition). In J5Z1JD5VKR/e1, definition 2.2

History

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

4BXBAQ5SMG 4BXBAQ5SMG

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#proof-2 (proof). In E59CDZA4DP, proof, section 4.2.1

History

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

4BY4H4R39Z 4BY4H4R39Z

URI	`m2://inv/4BY4H4R39Z`
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.08873#Z8KF (statement). In 7WMNVJBAVR/e1, lemma 5.7

History

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

4BY8QYG73D 4BY8QYG73D

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

Mentions

arxiv: arXiv 2609.33733#DXA2 (statement). In QBAP8C82FG/e1, lemma 18

History

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

Embedding problem 4BYAPE8N6T

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

Mentions

wikipedia: Wikipedia Embedding problem, Embedding problem (problem). Also Wikidata Q5370016

History

2026-11-02: add by m2/dev

4BYBYVPYW9 4BYBYVPYW9

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

Mentions

arxiv: arXiv 2610.03628#IUO2 (definition). In P8KT6JV9N1/e1, definition 4.2

History

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

Sharp Gaussian scale 4BYK4PPGNQ

URI	`m2://inv/4BYK4PPGNQ`
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#DP43, Sharp Gaussian scale (statement). In 9YAE8FNQST/e1, proposition 14.3

History

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

Balance theory 4BYM7JG04K

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

Mentions

wikipedia: Wikipedia Balance theory, Balance theory (topic). Also Wikidata Q445546

History

2026-11-02: add by m2/dev

Applications 4BYR5Q4SJH

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

Mentions

wikipedia: Wikipedia Stochastic game#VALM, Applications (example)

History

2026-11-02: add by m2/dev

4BYTQWZ3WG 4BYTQWZ3WG

URI	`m2://inv/4BYTQWZ3WG`
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.13847#XRES (statement). In S4FHV821A2/e1, proposition 5

History

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

Normal form for degree-two cusp-preserving foliations 4BYTXRDBZZ

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

Mentions

arxiv: arXiv 2609.26152#OV3D, Normal form for degree-two cusp-preserving foliations (statement)

History

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

Examples 4BYVCXHGVP

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

Mentions

wikipedia: Wikipedia Convex cone#OF8V, Examples (example)

History

2026-11-02: add by m2/dev

4BYXAG8P33 4BYXAG8P33

URI	`m2://inv/4BYXAG8P33`
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.22952#NZGD (statement)

History

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

4BYZQ0TYFH 4BYZQ0TYFH

URI	`m2://inv/4BYZQ0TYFH`
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.07927#9Y4A (statement). In GKM19DHQTM/e1, lemma 8.4

History

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

ZND detonation model 4BZ7VHG80P

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

Mentions

wikipedia: Wikipedia ZND detonation model, ZND detonation model (definition). Also Wikidata Q3062380

History

2026-11-02: add by m2/dev

4BZ8S94CWX 4BZ8S94CWX

URI	`m2://inv/4BZ8S94CWX`
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 0808.1331#IPZV (statement). In RB2B1N73P0/e1, lemma 2.7

History

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

Notation 4BZAPFENNC

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

Mentions

wikipedia: Wikipedia Simple Lie group#DR4Y, Notation (definition)

History

2026-11-02: add by m2/dev

4BZE42A1TC 4BZE42A1TC

URI	`m2://inv/4BZE42A1TC`
Kind	statement
Layer	research
MSC	35-XX, 37-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 1503.05744#OXKE (statement). In 5XKHZKEGAF/e1, theorem 4.7

History

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

Franz Mertens 4BZKX2VES6

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

Mentions

wikipedia: Wikipedia List of German mathematicians#XSXL, Franz Mertens (topic)

History

2026-11-02: add by m2/dev

4BZN0REDQ9 4BZN0REDQ9

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

Mentions

arxiv: arXiv 2609.24845#QXLB (statement)

History

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

Square roots of quaternions 4BZNFQ2PFC

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

Mentions

wikipedia: Wikipedia Quaternion#9K9W, Square roots of quaternions (unknown)

History

2026-11-02: add by m2/dev

4BZV8FRCNC 4BZV8FRCNC

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

Mentions

arxiv: arXiv 2609.21532#IHK4 (definition)

History

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

4BZVFVA7KR 4BZVFVA7KR

URI	`m2://inv/4BZVFVA7KR`
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 2410.02139#M28U (statement). In TJ1NTK3KJW/e1, lemma 9

History

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

4BZXCQ82JB 4BZXCQ82JB

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

Mentions

arxiv: arXiv 2609.24078#XLA0 (statement)

History

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