Inventory rows R3

Jacques Bouveresse R300279XXQ

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

Mentions

wikipedia: Wikipedia Jacques Bouveresse, Jacques Bouveresse (topic). Also Wikidata Q1384603

History

2026-11-02: add by m2/dev

R306RSTZAM R306RSTZAM

URI	`m2://inv/R306RSTZAM`
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#WIJ9 (statement). In TX0H26X4VX/e1, lemma 7.4

History

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

Semi-infinite R308RCR7WP

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

Mentions

wikipedia: Wikipedia Semi-infinite, Semi-infinite (definition). Also Wikidata Q7449306

History

2026-11-02: add by m2/dev

R30G1S5QPK R30G1S5QPK

URI	`m2://inv/R30G1S5QPK`
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 2508.08809#O2XV (statement). In X5NX1YEABW/e1, lemma 5.3

History

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

Definition R30NE49M1F

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

Mentions

wikipedia: Wikipedia Right group#13VG, Definition (definition)

History

2026-11-02: add by m2/dev

R30RE227WJ R30RE227WJ

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

Mentions

arxiv: arXiv 2609.40207#Y8VW (definition). In JXTG8KP95P/e1, definition 3.8

History

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

Multiplicity theory R310M79G1P

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

Mentions

wikipedia: Wikipedia Multiplicity theory, Multiplicity theory (definition). Also Wikidata Q48995823

History

2026-11-02: add by m2/dev

R3124W67R0 R3124W67R0

URI	`m2://inv/R3124W67R0`
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.11997#V3S2 (statement). In REVYK9ZEP2/e1, theorem 2

History

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

Group of symplectic type R3144Y3DVP

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

Mentions

wikipedia: Wikipedia Group of symplectic type, Group of symplectic type (definition). Also Wikidata Q5611261

History

2026-11-02: add by m2/dev

Generalization of Lagrange's theorem R31BQ5AENY

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

Mentions

wikipedia: Wikipedia Klein polyhedron#8SLK, Generalization of Lagrange's theorem (statement)

History

2026-11-02: add by m2/dev

Induction property R31VD6JRKB

URI	`m2://inv/R31VD6JRKB`
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.25111#75GY, Induction property (statement)

History

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

Iitaka dimension R323ST03KE

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

Mentions

wikipedia: Wikipedia Iitaka dimension, Iitaka dimension (definition). Also Wikidata Q5995023

History

2026-11-02: add by m2/dev

R324ZP4PVT R324ZP4PVT

URI	`m2://inv/R324ZP4PVT`
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 2309.17091#9OCX (statement). In N0JJM098W2/e1, theorem 12

History

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

pseudometric R326QS609W

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

Mentions

wikidata: Wikidata Q121088227, pseudometric (definition). Also MathWorld Pseudometric, ProofWiki Definition:Pseudometric

History

2026-10-26: add by m2/dev

Definition R32ASTMSQ0

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

Mentions

wikipedia: Wikipedia Grashof number#T7U6, Definition (definition)

History

2026-11-02: add by m2/dev

Definition R32CFB8VPV

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

Mentions

wikipedia: Wikipedia Concave function#CMN6, Definition (definition)

History

2026-11-02: add by m2/dev

Abraham Joseph Menz R32D0AW9XM

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#I2V3, Abraham Joseph Menz (topic)

History

2026-11-02: add by m2/dev

Definition R32DNHA6MW

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

Mentions

wikipedia: Wikipedia PP (complexity)#LGQR, Definition (definition)

History

2026-11-02: add by m2/dev

Algorithms R32K5JEEXM

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

Mentions

wikipedia: Wikipedia Graph coloring#5PB8, Algorithms (definition)

History

2026-11-02: add by m2/dev

Local minima and sinks R32KQ92ETP

URI	`m2://inv/R32KQ92ETP`
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.19953#2PSO, Local minima and sinks (statement). In CHPJWBREES/e1, theorem 4.2

History

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

R32KVB6MVW R32KVB6MVW

URI	`m2://inv/R32KVB6MVW`
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.23287#2XWM (statement)

History

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

Farideh Firoozbakht R32M7D2SW3

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

Mentions

wikipedia: Wikipedia Farideh Firoozbakht, Farideh Firoozbakht (topic). Also Wikidata Q16051284

History

2026-11-02: add by m2/dev

Theorem R32MKKMJ1X

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

Mentions

wikipedia: Wikipedia Löwenheim–Skolem theorem#VAF2, Theorem (statement)

History

2026-11-02: add by m2/dev

Applications R32S30W2TS

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

Mentions

wikipedia: Wikipedia Coin rotation paradox#LXQU, Applications (example)

History

2026-11-02: add by m2/dev

Optical depth R32S6G8RAQ

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

Mentions

wikipedia: Wikipedia Optical depth, Optical depth (definition). Also Wikidata Q890809

History

2026-11-02: add by m2/dev

Order of approximation R32VFCKBWR

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

Mentions

wikipedia: Wikipedia Order of approximation, Order of approximation (definition). Also Wikidata Q7100757

History

2026-11-02: add by m2/dev

R32ZQJHGFQ R32ZQJHGFQ

URI	`m2://inv/R32ZQJHGFQ`
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 1011.5443#ZT5T (statement). In VQ0K2GV62A/e1, lemma 2.6

History

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

Axioms for quantization R3357V6424

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

Mentions

wikipedia: Wikipedia Canonical quantization#VXD5, Axioms for quantization (statement)

History

2026-11-02: add by m2/dev

R33KE0VZAD R33KE0VZAD

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

Mentions

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

History

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

Descriptive statistics R33PSZK34C

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

Mentions

wikipedia: Wikipedia List of statistics articles#UVSR, Descriptive statistics (definition)

History

2026-11-02: add by m2/dev

Commerce City R342FQAAP2

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#B69V, Commerce City (unknown)

History

2026-11-02: add by m2/dev

R343HZ3B2A R343HZ3B2A

URI	`m2://inv/R343HZ3B2A`
Kind	statement
Layer	research
MSC	03-XX, 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.04870#81QC (statement). In X765ZXXVC3/e1, proposition 6.7

History

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

R3482PNST9 R3482PNST9

URI	`m2://inv/R3482PNST9`
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.20469#Z5NT (statement)

History

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

R34C1Y9D97 R34C1Y9D97

URI	`m2://inv/R34C1Y9D97`
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 2505.08839#8KEA (statement). In HJPDS53MX4/e1, corollary 5.9

History

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

Kullback, Solomon R34JRB143A

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

Mentions

wikipedia: Wikipedia List of statisticians#UVHE, Kullback, Solomon (topic)

History

2026-11-02: add by m2/dev

Eli Eduardo de Gortari R34PWV29K6

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

Mentions

wikipedia: Wikipedia Eli Eduardo de Gortari, Eli Eduardo de Gortari (topic). Also Wikidata Q2596085

History

2026-11-02: add by m2/dev

Cauchy–Davenport theorem R34RZKFCSX

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

Mentions

wikidata: Wikidata Q53067086, Cauchy–Davenport theorem (statement). Also MathWorld Cauchy-DavenportTheorem

History

2026-10-26: add by m2/dev

R34W3WSQGV R34W3WSQGV

URI	`m2://inv/R34W3WSQGV`
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.08385#69PY (statement). In D979582ST2/e1, lemma 3

History

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

Anirban Pathak R34ZJCR6ZY

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

Mentions

wikipedia: Wikipedia Anirban Pathak, Anirban Pathak (topic). Also Wikidata Q99240274

History

2026-11-02: add by m2/dev

Prediction region R3572F5KH8

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

Mentions

wikipedia: Wikipedia Prediction interval#4Z67, Prediction region (unknown)

History

2026-11-02: add by m2/dev

Baire category theorem R357YTP0R6

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

Mentions

wikipedia: Wikipedia Baire space#S6K6, Baire category theorem (statement)

History

2026-11-02: add by m2/dev

Exact covariance and alias decay R35B538C46

URI	`m2://inv/R35B538C46`
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.04452#G4E6, Exact covariance and alias decay (statement). In ZV3ANMKJ0Y/e1, lemma 3.4

History

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

R35GEF280V R35GEF280V

URI	`m2://inv/R35GEF280V`
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.28650#7RE8 (statement)

History

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

lemma A.1(ii R35K8VYE5F

URI	`m2://inv/R35K8VYE5F`
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.07290#2IZZ, lemma A.1(ii (statement). In WC7BN66XSN/e1, lemma 8

History

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

Examples R35M2B73BR

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

Mentions

wikipedia: Wikipedia List coloring#OMZU, Examples (example)

History

2026-11-02: add by m2/dev

Suzanne Dorée R35MBF5B0M

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

Mentions

wikipedia: Wikipedia Suzanne Dorée, Suzanne Dorée (topic). Also Wikidata Q49721363

History

2026-11-02: add by m2/dev

Tullio Levi-Civita R35S60Y2GX

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#BGKT, Tullio Levi-Civita (topic)
wikipedia: Wikipedia List of Italian mathematicians#M308, Tullio Levi-Civita (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7F32, Tullio Levi-Civita (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CJ5O, Tullio Levi-Civita (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#X04H, Tullio Levi-Civita (topic)

History

2026-11-02: add by m2/dev

R3687PW06F R3687PW06F

URI	`m2://inv/R3687PW06F`
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.28211#PUIO (statement)

History

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

R3694Q9XDF R3694Q9XDF

URI	`m2://inv/R3694Q9XDF`
Kind	unknown
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.07573#EGZT (unknown). In PZF6C15TP6/e1, unknown

History

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

R36AENZT0C R36AENZT0C

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

Mentions

arxiv: arXiv 2609.36423#VV7C (statement). In Q5Z178SAHP/e1, lemma 5.2

History

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

Maclaurin formula R36KGCNAVM

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

Mentions

wikipedia: Wikipedia Maclaurin spheroid#0A69, Maclaurin formula (statement)

History

2026-11-02: add by m2/dev

R36M94EN9K R36M94EN9K

URI	`m2://inv/R36M94EN9K`
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 2610.11276#W33J (statement). In KMTQRFFYZY/e1, lemma 2.2

History

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

Bivariate CLT and asymptotic normality of $\widehat S_{\kappa,n}$ R36RMGQ7V2

URI	`m2://inv/R36RMGQ7V2`
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.06873#IK2N, Bivariate CLT and asymptotic normality of $\widehat S_{\kappa,n}$ (statement). In R8NHQ41GMX/e1, theorem 6.1

History

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

Yakov Sinai R36RXS8Q9V

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#Z5B5, Yakov Sinai (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6VX7, Yakov Sinai (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7W3R, Yakov Sinai (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PELG, Yakov Sinai (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TG4L, Yakov Sinai (topic)

History

2026-11-02: add by m2/dev

One- and two-tailed tests R36TQCPNG8

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

Mentions

wikipedia: Wikipedia List of statistics articles#TRAB, One- and two-tailed tests (definition)

History

2026-11-02: add by m2/dev

Analytic Fredholm theorem R36VXTHTZM

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

Mentions

mathlib_1000: mathlib_1000 Q4751118, Analytic Fredholm theorem (statement). Also Wikidata Q4751118
thousand_plus: thousand_plus Q4751118, Analytic Fredholm theorem (statement). Also Wikidata Q4751118, Wikipedia Analytic Fredholm theorem
wikipedia: Wikipedia Analytic Fredholm theorem, Analytic Fredholm theorem (statement). Also Wikidata Q4751118

History

2026-10-26: add by m2/dev

R36YN3YHG5 R36YN3YHG5

URI	`m2://inv/R36YN3YHG5`
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.36309#YI0E (statement). In FAJ10EJMYE/e1, lemma 13

History

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

770 (number) R36ZA06WY8

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

Mentions

wikipedia: Wikipedia 700 (number)#DM3Z, 770 (number) (unknown)

History

2026-11-02: add by m2/dev

The four-point case R370PZRA6B

URI	`m2://inv/R370PZRA6B`
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.00358#TFOF, The four-point case (statement). In C5WGCSPM6W/e1, theorem C.2

History

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

Statistical Assessment Service R37AVXJ6P8

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

Mentions

wikipedia: Wikipedia Statistical Assessment Service, Statistical Assessment Service (definition). Also Wikidata Q7604370

History

2026-11-02: add by m2/dev

radian R37C95PN4H

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

Mentions

wikipedia: Wikipedia Glossary of calculus#PTSC, radian (definition)

History

2026-11-02: add by m2/dev

\textbf, Lemma 3.3 R37GX67TCD

URI	`m2://inv/R37GX67TCD`
Kind	statement
Layer	research
MSC	05-XX, 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.30086#YF8N, \textbf, Lemma 3.3 (statement)

History

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

Lower Bound R37KS74J1N

URI	`m2://inv/R37KS74J1N`
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.36421#HWJG, Lower Bound (statement). In E0ZRSZ0YHT/e1, theorem 2

History

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

R381X2B7C9 R381X2B7C9

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

Mentions

active_calculus: active_calculus source/activities/act-6-1-2.xml#act-6-1-2 (exercise). In 907G4C4EJ1, activity, section 6.1.3

History

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

Example R3850KCK7B

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

Mentions

wikipedia: Wikipedia Ikeda lift#ZM8Q, Example (example)

History

2026-11-02: add by m2/dev

R38A6C8YSS R38A6C8YSS

URI	`m2://inv/R38A6C8YSS`
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 0904.2839#KY6T (statement). In 2P34N0GWS1/e1, proposition 2.1.1

History

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

R38A8QD0TW R38A8QD0TW

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#prop-6 (statement). In E59CDZA4DP, prop, section 11.2.3

History

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

R38EZ04P2D R38EZ04P2D

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

Mentions

arxiv: arXiv 2610.04466#0VRS (statement). In EHW82CK883/e1, proposition 3.4

History

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

Method R38HCNS1DG

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

Mentions

wikipedia: Wikipedia Method of moments (statistics)#N9A2, Method (definition)

History

2026-11-02: add by m2/dev

R38MMA3KD2 R38MMA3KD2

URI	`m2://inv/R38MMA3KD2`
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.33900#F8FK (statement). In 119MT2DD89/e1, lemma 2

History

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

Recursive regular multiplexers R38NR73GV2

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

Mentions

arxiv: arXiv 2610.16069#XYUD, Recursive regular multiplexers (statement). In MBJA03ES8N/e1, corollary 8.8

History

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

Examples R38QD81ZPN

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

Mentions

wikipedia: Wikipedia Convergence tests#TGC9, Examples (example)

History

2026-11-02: add by m2/dev

Distribution of limit measures R38W68CHNR

URI	`m2://inv/R38W68CHNR`
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.20609#K8WN, Distribution of limit measures (statement)

History

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

R391QNGMHX R391QNGMHX

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

Mentions

open_logic: open_logic content/set-theory/z/infinity-again.tex#naturalnumbersarentinfinite (statement). In PKGMM3P5QY, prop, section 76.3

History

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

R394JATBWE R394JATBWE

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

Mentions

napkin: napkin tex/H113/structure.tex#definition-7 (definition). In RZP28ERRZV, definition, section 6.5

History

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

Local bisection R3976W3KQ3

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

Mentions

arxiv: arXiv 2609.25987#WHBU, Local bisection (definition)

History

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

Bonahon--Otal, Lecuire, Dular--Schlenker R399GH2A9Z

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

Mentions

arxiv: arXiv 2609.29450#JQDM, Bonahon--Otal, Lecuire, Dular--Schlenker (statement)

History

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

R39B0Q2QHT R39B0Q2QHT

URI	`m2://inv/R39B0Q2QHT`
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.13884#0WE3 (statement). In N2NQ3QJYTW/e1, lemma 5.2

History

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

Euler equations R39J3GDVFZ

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#D7TB, Euler equations (definition)

History

2026-11-02: add by m2/dev

Yuval Peres R39JTMB49K

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

Mentions

wikipedia: Wikipedia Yuval Peres, Yuval Peres (topic). Also Wikidata Q1403121

History

2026-11-02: add by m2/dev

R39S10REQH R39S10REQH

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

Mentions

arxiv: arXiv 2609.39593#D2NX (statement). In BF0RYHPMS1/e1, lemma 6.3

History

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

R39TJ5HPGW R39TJ5HPGW

URI	`m2://inv/R39TJ5HPGW`
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.31387#ITVB (statement). In GBD60VB1JX/e1, lemma 11

History

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

Applications R3A35TZ4HB

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

Mentions

wikipedia: Wikipedia Submodular set function#EB50, Applications (example)

History

2026-11-02: add by m2/dev

Adjoint compositions of gadgets are exact finite factors R3AG2ED3ZT

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

Mentions

arxiv: arXiv 2610.04271#N8NZ, Adjoint compositions of gadgets are exact finite factors (statement). In WBXAW9G4JB/e1, proposition F.3

History

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

R3AG3YZ1KX R3AG3YZ1KX

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

Mentions

arxiv: arXiv 2609.32614#7JSU (statement). In SG8GT73ZNH/e1, theorem 1.10

History

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

Sakai–Kasahara scheme R3AJSDHG0K

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

Mentions

wikipedia: Wikipedia Sakai–Kasahara scheme, Sakai–Kasahara scheme (definition). Also Wikidata Q17084067

History

2026-11-02: add by m2/dev

R3AKX737A2 R3AKX737A2

URI	`m2://inv/R3AKX737A2`
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 Q6237023 (unknown). Also nLab John Palmieri

History

2026-10-26: add by m2/dev

An exact Pocklington certificate for $r(127)$ R3ATX74VC1

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

Mentions

arxiv: arXiv 2610.04099#N3ZH, An exact Pocklington certificate for $r(127)$ (statement). In QPJ6FWG5HD/e1, lemma 2.45

History

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

Clayton copulas R3AZ3HV4SM

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

Mentions

arxiv: arXiv 2610.14318#S2FL, Clayton copulas (statement). In HA4SZZJ831/e1, corollary 4.1

History

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

R3B26W7K19 R3B26W7K19

URI	`m2://inv/R3B26W7K19`
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 2608.23797#NGCU (statement). In PZCA01JXVR/e1, corollary 0.3

History

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

R3B3MJFYFY R3B3MJFYFY

URI	`m2://inv/R3B3MJFYFY`
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 2406.19866#VT4F (definition). In 9F94CEQ1ZM/e1, definition 2.7

History

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

R3B4AV06V6 R3B4AV06V6

URI	`m2://inv/R3B4AV06V6`
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.29196#XT1L (statement)

History

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

Capillary polar body R3B83GDG62

URI	`m2://inv/R3B83GDG62`
Kind	definition
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 2506.09840#UBTG, Capillary polar body (definition). In Y7TWHSF2HC/e1, definition 2.6

History

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

Grimm's conjecture R3B9F67EN2

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

Mentions

wikidata: Wikidata Q2993317, Grimm's conjecture (conjecture). Also MathWorld GrimmsConjecture
wikipedia: Wikipedia Grimm's conjecture, Grimm's conjecture (conjecture). Also Wikidata Q2993317

History

2026-10-26: add by m2/dev

R3BH90P5QJ R3BH90P5QJ

URI	`m2://inv/R3BH90P5QJ`
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.37739#NP5G (statement). In F5XF5VXTXY/e1, theorem 8.1

History

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

Udayadivākara R3BK27WW6Q

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

Mentions

wikipedia: Wikipedia Udayadivākara, Udayadivākara (topic). Also Wikidata Q127922749

History

2026-11-02: add by m2/dev

R3BM5SG26G R3BM5SG26G

URI	`m2://inv/R3BM5SG26G`
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.06441#9NQR (definition). In YFJ62HWHVK/e1, definition 3.7

History

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

quotient stack R3BTY4T25T

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#NMO5, quotient stack (definition)

History

2026-11-02: add by m2/dev

Axiomatic system R3BXMSSWRQ

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#G4M6, Axiomatic system (definition)

History

2026-11-02: add by m2/dev

R3BZH4N71W R3BZH4N71W

URI	`m2://inv/R3BZH4N71W`
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.26896#XDS8 (statement)

History

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

R3C4E9PDN6 R3C4E9PDN6

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

Mentions

arxiv: arXiv 2609.26019#1F19 (statement)

History

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

R3C58GBCEH R3C58GBCEH

URI	`m2://inv/R3C58GBCEH`
Kind	example
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.10745#HZSY (example). In 5MJ4NJ5ZCV/e1, example 2.8

History

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

Triangle (0 <= k <= n) read by rows: T(n, k) is the number of Schröder paths having k peaks. R3C8JT02VM

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

Mentions

wikidata: Wikidata Q100194582, Triangle (0 <= k <= n) read by rows: T(n, k) is the number of Schröder paths having k peaks. (object). Also OEIS A060693

History

2026-10-26: add by m2/dev

R3CC4FN2VD R3CC4FN2VD

URI	`m2://inv/R3CC4FN2VD`
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#N3QO (statement). In XKENQH35DW/e1, proposition C.1

History

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

R3CKT7D0DH R3CKT7D0DH

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

Mentions

arxiv: arXiv 2610.15881#HUTN (statement). In RK0JCSYK33/e1, theorem 1.5

History

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

Abelian theorem R3CPQCXXCK

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

Mentions

wikidata: Wikidata Q122798055, Abelian theorem (definition). Also MathWorld AbelianTheorem, ProofWiki Definition:Abelian_Theorem

History

2026-10-26: add by m2/dev

/ R3CQAHT08K

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

Mentions

wikipedia: Wikipedia Glossary of set theory#DN94, / (definition)

History

2026-11-02: add by m2/dev

Algorithms R3CTK0CVC8

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

Mentions

wikipedia: Wikipedia OpenSSL#WP7U, Algorithms (definition)

History

2026-11-02: add by m2/dev

$\forall$ Inversion R3CTPCDVYF

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

Mentions

arxiv: arXiv 2506.16491#HEG3, $\forall$ Inversion (statement). In P9J6P06Y40/e1, lemma 4.8

History

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

Examples R3CX4C24GT

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

Mentions

wikipedia: Wikipedia Generalized semi-infinite programming#QJZ3, Examples (example)

History

2026-11-02: add by m2/dev

Generalized Homotopy Gluing Theorem R3D8AZ0CSR

URI	`m2://inv/R3D8AZ0CSR`
Kind	statement
Layer	research
MSC	54-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.15099#HDHM, Generalized Homotopy Gluing Theorem (statement). In PF5JJ9DS8Q/e1, theorem 6.2.2

History

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

Corollary R3D96XXZRN

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

Mentions

wikipedia: Wikipedia Hopf decomposition#M3OX, Corollary (statement)

History

2026-11-02: add by m2/dev

Applications R3DCSHGP8V

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

Mentions

wikipedia: Wikipedia Fixed point (mathematics)#6OT7, Applications (example)

History

2026-11-02: add by m2/dev

Galerkin scheme $\p$ R3DE6JFARD

URI	`m2://inv/R3DE6JFARD`
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.08434#AYQY, Galerkin scheme $\p$ (statement). In VN8087G2FC/e1, proposition 8.5

History

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

Extensions of Hilbert's tenth problem R3DRX0KJF8

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

Mentions

wikipedia: Wikipedia Hilbert's tenth problem#76EO, Extensions of Hilbert's tenth problem (statement)

History

2026-11-02: add by m2/dev

Wojciech Kucharz R3DZW6NPP6

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

Mentions

wikipedia: Wikipedia Wojciech Kucharz, Wojciech Kucharz (topic). Also Wikidata Q48850401

History

2026-11-02: add by m2/dev

R3E35MVQ4S R3E35MVQ4S

URI	`m2://inv/R3E35MVQ4S`
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.11939#U88T (statement). In DQMEN40FZV/e1, proposition 2

History

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

R3E442RH5P R3E442RH5P

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

Mentions

arxiv: arXiv 2312.06473#AHJA (statement). In P1MYSYHSGX/e1, lemma B.6

History

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

Friedman test R3EG38JN96

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

Mentions

wikipedia: Wikipedia Friedman test, Friedman test (definition). Also Wikidata Q1457633

History

2026-11-02: add by m2/dev

Saving the phenomena R3EKPTVE0H

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

Mentions

wikipedia: Wikipedia Scientific formalism#1XIB, Saving the phenomena (unknown)

History

2026-11-02: add by m2/dev

kurtosis R3ENZAFMF2

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#KG27, kurtosis (definition)

History

2026-11-02: add by m2/dev

R3EQ705EBX R3EQ705EBX

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

Mentions

lebl_scv: lebl_scv scv.tex#proof-19 (proof). In VNMV985MXX, proof, section 2.1

History

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

R3F0CF7GH6 R3F0CF7GH6

URI	`m2://inv/R3F0CF7GH6`
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 2609.35027#A5ID (statement). In MEA7NHMQKB/e1, corollary 3.3

History

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

R3FBS138SE R3FBS138SE

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

Mentions

arxiv: arXiv 2609.27800#OS88 (definition)

History

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

Grothendieck's six operations R3FDSZ07G7

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

Mentions

wikipedia: Wikipedia Glossary of tensor theory#TOG0, Grothendieck's six operations (definition)

History

2026-11-02: add by m2/dev

R3FF65P001 R3FF65P001

URI	`m2://inv/R3FF65P001`
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#IOS5 (statement). In GK1V5GEHTK/e1, corollary 5.4

History

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

Riemannian bundle metric R3FH7FWGHM

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

Mentions

wikipedia: Wikipedia List of things named after Bernhard Riemann#S6RQ, Riemannian bundle metric (definition)

History

2026-11-02: add by m2/dev

Abess R3FNDJ0T3D

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

Mentions

wikipedia: Wikipedia Abess, Abess (definition). Also Wikidata Q125977564

History

2026-11-02: add by m2/dev

R3FPYFZEAB R3FPYFZEAB

URI	`m2://inv/R3FPYFZEAB`
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 2405.05684#KGRB (statement). In 1PR73ECTZB/e1, lemma 6

History

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

hinge theorem R3FRXZGCVR

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

Mentions

mathlib_1000: mathlib_1000 Q2607007, Hinge theorem (statement). Also Wikidata Q2607007
thousand_plus: thousand_plus Q2607007, Hinge theorem (statement). Also Wikidata Q2607007, Wikipedia Hinge theorem
wikidata: Wikidata Q2607007, hinge theorem (statement). Also MathWorld HingeTheorem
wikipedia: Wikipedia Hinge theorem, Hinge theorem (statement). Also Wikidata Q2607007

History

2026-10-26: add by m2/dev

R3G2A3V9BW R3G2A3V9BW

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

Mentions

arxiv: arXiv 2609.24610#8WJV (statement)

History

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

R3G3KGMBA9 R3G3KGMBA9

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

Mentions

arxiv: arXiv 2609.30961#XLPH (statement). In FFG2DDWEVB/e1, proposition 5.1

History

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

Championnat International de Jeux Mathématiques et Logiques R3G8Y469XJ

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#3DLD, Championnat International de Jeux Mathématiques et Logiques (unknown)

History

2026-11-02: add by m2/dev

soundness over $\mathcal{L}$-general models R3GM1GA4VP

URI	`m2://inv/R3GM1GA4VP`
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.36279#30OR, soundness over $\mathcal{L}$-general models (statement). In HX1QA0MJYV/e1, proposition 20

History

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

R3GN3V7ES6 R3GN3V7ES6

URI	`m2://inv/R3GN3V7ES6`
Kind	statement
Layer	research
MSC	35-XX, 37-XX, 46-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.27458#U50C (statement)

History

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

Pair-block process-shadow estimator R3GRVBM65R

URI	`m2://inv/R3GRVBM65R`
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 2610.00448#QJS3, Pair-block process-shadow estimator (statement). In N06J7GC05Q/e1, proposition 5.5

History

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

R3GT68X16N R3GT68X16N

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

Mentions

arxiv: arXiv 2610.17258#PD5Y (statement). In F4M67ZVBF2/e1, corollary 2.10

History

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

subforest R3GXB0Q6PP

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#7RDH, subforest (definition)

History

2026-11-02: add by m2/dev

Absolute deviation R3H5P6X9XJ

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

Mentions

wikipedia: Wikipedia List of statistics articles#UI1G, Absolute deviation (definition)

History

2026-11-02: add by m2/dev

Example R3H8YA34SX

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

Mentions

wikipedia: Wikipedia Mittag-Leffler's theorem#8423, Example (example)

History

2026-11-02: add by m2/dev

R3HC0BA23P R3HC0BA23P

URI	`m2://inv/R3HC0BA23P`
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.33775#Z1PT (statement). In VVQ1FMTHXB/e1, proposition 4.4

History

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

Stephen Shing-Toung Yau R3HCXKFZ66

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

Mentions

wikipedia: Wikipedia Stephen Shing-Toung Yau, Stephen Shing-Toung Yau (topic). Also Wikidata Q30069574

History

2026-11-02: add by m2/dev

CBC-MAC R3HEJTANWT

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

Mentions

wikipedia: Wikipedia CBC-MAC, CBC-MAC (definition). Also Wikidata Q2736227

History

2026-11-02: add by m2/dev

Stealing thunder R3HRRBYW5J

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

Mentions

wikipedia: Wikipedia Stealing thunder, Stealing thunder (definition). Also Wikidata Q28135541

History

2026-11-02: add by m2/dev

R3J23SM6T2 R3J23SM6T2

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

Mentions

wikipedia: Wikipedia Circle packing in an equilateral triangle#79QM (problem)

History

2026-11-02: add by m2/dev

Signed dressed transfer relation R3JAPVX7JE

URI	`m2://inv/R3JAPVX7JE`
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 2610.00448#0PND, Signed dressed transfer relation (statement). In N06J7GC05Q/e1, lemma 4.3

History

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

Examples R3JFDYCTAT

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

Mentions

wikipedia: Wikipedia Motivated reasoning#TCT0, Examples (example)

History

2026-11-02: add by m2/dev

Koch curve R3JJJHY9EX

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#S02P, Koch curve (definition)
wikipedia: Wikipedia List of curves#H1MO, Koch curve (definition)

History

2026-11-02: add by m2/dev

Triangular affine contraction R3JVT8EEJ0

URI	`m2://inv/R3JVT8EEJ0`
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.25060#CAK6, Triangular affine contraction (statement)

History

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

R3JYAD9KMT R3JYAD9KMT

URI	`m2://inv/R3JYAD9KMT`
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 2610.14240#71JL (definition). In HGQCBDDMQJ/e1, definition 2.6

History

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

R3JZ1CBMCR R3JZ1CBMCR

URI	`m2://inv/R3JZ1CBMCR`
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.30637#SB7N (statement). In 6G1KBA0SXV/e1, proposition 3.33

History

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

John Cage R3K4P6RYTA

URI	`m2://inv/R3K4P6RYTA`
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#3GQI, John Cage (unknown)

History

2026-11-02: add by m2/dev

R3K53S8Y83 R3K53S8Y83

URI	`m2://inv/R3K53S8Y83`
Kind	exercise
Layer	research
MSC	46-XX, 47-XX
Sources	1
Outcome	record (an exercise of a paper, which becomes a node only when a node, a project or a curriculum asks for it (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.01802#EFV4 (exercise). In XGPZ0G9E1Q/e1, exercise 7.7

History

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

Oscar Chisini R3K9AGRXDG

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#676V, Oscar Chisini (topic)

History

2026-11-02: add by m2/dev

R3KA7P7AHW R3KA7P7AHW

URI	`m2://inv/R3KA7P7AHW`
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.18847#59ZW (statement). In DZ12XTTJSM/e1, lemma 2.2

History

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

Thomson's lamp R3KEDEB14G

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

Mentions

wikidata: Wikidata Q6125706, Thomson's lamp (unknown). Also MathWorld ThomsonLampParadox
wikipedia: Wikipedia Thomson's lamp, Thomson's lamp (definition). Also Wikidata Q6125706

History

2026-10-26: add by m2/dev

Theorem 1 R3KFM54STJ

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

Mentions

wikipedia: Wikipedia Approximate max-flow min-cut theorem#SDKQ, Theorem 1 (statement)

History

2026-11-02: add by m2/dev

International Mathematical Olympiad selection process R3KK6B9801

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

Mentions

wikipedia: Wikipedia International Mathematical Olympiad selection process, International Mathematical Olympiad selection process (definition). Also Wikidata Q6051908

History

2026-11-02: add by m2/dev

R3KKX1J7ZB R3KKX1J7ZB

URI	`m2://inv/R3KKX1J7ZB`
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.26592#JCUR (statement)

History

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

Edgeworth's limit theorem R3KT7RPNMT

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

Mentions

mathlib_1000: mathlib_1000 Q5337931, Edgeworth's limit theorem (statement). Also Wikidata Q5337931
thousand_plus: thousand_plus Q5337931, Edgeworth's limit theorem (statement). Also Wikidata Q5337931, Wikipedia Edgeworth's limit theorem
wikipedia: Wikipedia Edgeworth's limit theorem, Edgeworth's limit theorem (statement). Also Wikidata Q5337931

History

2026-10-26: add by m2/dev

Properties R3KTVWJQ1T

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

Mentions

wikipedia: Wikipedia Exponential family#PXMU, Properties (statement)

History

2026-11-02: add by m2/dev

R3KW6WE32Y R3KW6WE32Y

URI	`m2://inv/R3KW6WE32Y`
Kind	statement
Layer	research
MSC	49-XX, 65-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.02901#C21J (statement). In NSP90G5XCQ/e1, theorem 4.9

History

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

R3M25XZADQ R3M25XZADQ

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

Mentions

arxiv: arXiv 2610.12108#JVPY (definition). In JQH3FHYPW3/e1, definition 2.7

History

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

R3M8ZNANZZ R3M8ZNANZZ

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

Mentions

arxiv: arXiv 2609.36423#VUC7 (definition). In Q5Z178SAHP/e1, definition 5.1

History

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

R3MN0W7RRV R3MN0W7RRV

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

Mentions

arxiv: arXiv 2610.15217#YKD2 (statement). In G70Q2FB591/e1, lemma 2.13

History

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

\bf Trapping or descent R3MQZKB48G

URI	`m2://inv/R3MQZKB48G`
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.02791#RO28, \bf Trapping or descent (statement). In TT9BA4VMTW/e1, theorem 5.1

History

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

Newtonian fluid R3MR4GZS6F

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

Mentions

wikipedia: Wikipedia Newtonian fluid, Newtonian fluid (definition). Also Wikidata Q366968

History

2026-11-02: add by m2/dev

Examples R3MR9H5787

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

Mentions

wikipedia: Wikipedia Superoperator#A38U, Examples (example)

History

2026-11-02: add by m2/dev

R3N0NYRB0W R3N0NYRB0W

URI	`m2://inv/R3N0NYRB0W`
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.20925#40QW (statement). In 1KV9SABQC9/e1, theorem 1

History

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

small category R3N2A9Q1VV

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

Mentions

mathlib_overview: mathlib_overview General algebra > Category theory > small category, small category (unknown). Also Mathlib CategoryTheory.SmallCategory

History

2026-10-26: add by m2/dev

R3N4SJSV18 R3N4SJSV18

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

Mentions

arxiv: arXiv 2610.09422#962Y (statement). In MS7M2BJS9X/e1, lemma 7.11

History

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

Triangular antiprism R3NABNTHY9

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

Mentions

wikipedia: Wikipedia Octahedron#VFH6, Triangular antiprism (unknown)

History

2026-11-02: add by m2/dev

R3NFB48D1S R3NFB48D1S

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

Mentions

arxiv: arXiv 2610.04628#WU89 (statement). In MREZZ9NCY8/e1, proposition 3.11

History

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

Alexander Samarskii R3NMB1CYHX

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#O916, Alexander Samarskii (topic)

History

2026-11-02: add by m2/dev

R3NPS9JM86 R3NPS9JM86

URI	`m2://inv/R3NPS9JM86`
Kind	statement
Layer	research
MSC	14-XX, 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 2609.28411#UGPA (statement)

History

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

Pekka Tukia R3NPWDY4H1

URI	`m2://inv/R3NPWDY4H1`
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#T0YX, Pekka Tukia (topic)

History

2026-11-02: add by m2/dev

Lax equivalence theorem R3NS74QTXJ

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#A7W7, Lax equivalence theorem (statement)

History

2026-11-02: add by m2/dev

Peano–Russell notation R3P4V82N4V

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

Mentions

wikipedia: Wikipedia Peano–Russell notation, Peano–Russell notation (definition). Also Wikidata Q7157915

History

2026-11-02: add by m2/dev

Shiing-Shen Chern R3P5QVV3MD

URI	`m2://inv/R3P5QVV3MD`
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 Q328131, Shiing-Shen Chern (unknown). Also nLab Shiing-Shen Chern, ProofWiki Mathematician:Shiing-Shen_Chern
wikipedia: Wikipedia Shiing-Shen Chern, Shiing-Shen Chern (topic). Also Wikidata Q328131

History

2026-10-26: add by m2/dev

Bird, Sheila R3P7C6YM7V

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

Mentions

wikipedia: Wikipedia List of statisticians#DCMI, Bird, Sheila (unknown)

History

2026-11-02: add by m2/dev

R3PF7K8C2F R3PF7K8C2F

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

Mentions

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

History

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

Frequency domain decomposition R3PVVKDAFR

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

Mentions

wikipedia: Wikipedia Frequency domain decomposition, Frequency domain decomposition (definition). Also Wikidata Q5502865

History

2026-11-02: add by m2/dev

R3PW29GKJX R3PW29GKJX

URI	`m2://inv/R3PW29GKJX`
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.28181#A5YH (statement)

History

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

R3Q02WM14B R3Q02WM14B

URI	`m2://inv/R3Q02WM14B`
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.16358#HWGY (statement). In RJA3YJ9NYK/e1, lemma 3.3

History

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

R3Q8DNKVMV R3Q8DNKVMV

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

Mentions

arxiv: arXiv 2610.13746#P1O6 (statement). In 70EJ0YJBQ7/e1, proposition 2.2

History

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

Uniform one-step supersolution estimate R3QAW58KVV

URI	`m2://inv/R3QAW58KVV`
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.02531#3VBL, Uniform one-step supersolution estimate (statement). In 44EQ0MZE8G/e1, lemma 8.2

History

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

Mean time between failures R3QCEXV8ZT

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

Mentions

wikipedia: Wikipedia List of statistics articles#0BLK, Mean time between failures (definition)

History

2026-11-02: add by m2/dev

supercommutative algebra R3QD4MXY99

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

Mentions

wikidata: Wikidata Q3611545, supercommutative algebra (unknown). Also nLab supercommutative algebra
wikipedia: Wikipedia Supercommutative algebra, Supercommutative algebra (definition). Also Wikidata Q3611545

History

2026-10-26: add by m2/dev

Inequality R3QDP0021Z

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

Mentions

wikipedia: Wikipedia Dirichlet distribution#45BC, Inequality (statement)

History

2026-11-02: add by m2/dev

Alice Silverberg R3QF0JBZ31

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

Mentions

wikipedia: Wikipedia Alice Silverberg, Alice Silverberg (topic). Also Wikidata Q18706051

History

2026-11-02: add by m2/dev

Truthful equilibrium under replication R3QHF54RCH

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

Mentions

arxiv: arXiv 2609.20789#00CI, Truthful equilibrium under replication (statement)

History

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

Camels R3QY9VQFR3

URI	`m2://inv/R3QY9VQFR3`
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#352D, Camels (unknown)

History

2026-11-02: add by m2/dev

Local modulation coordinates R3QZKEXB03

URI	`m2://inv/R3QZKEXB03`
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.00241#0UK0, Local modulation coordinates (statement). In VBRQTN2RXN/e1, lemma 3.1

History

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

Knupp's conjecture R3R51FY3CD

URI	`m2://inv/R3R51FY3CD`
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.19926#ZYI2, Knupp's conjecture (statement)

History

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

The cancellation law R3R8ARV1CQ

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

Mentions

wikipedia: Wikipedia Proofs of Fermat's little theorem#IWJN, The cancellation law (statement)

History

2026-11-02: add by m2/dev

John Shepherdson R3R8WAF9QT

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

Mentions

wikipedia: Wikipedia John Shepherdson, John Shepherdson (topic). Also Wikidata Q37737905

History

2026-11-02: add by m2/dev

R3RQ61HW7A R3RQ61HW7A

URI	`m2://inv/R3RQ61HW7A`
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.17519#ZPDI (statement). In H2DNTQ5MKV/e1, lemma 3.1

History

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

R3RQTX5QTW R3RQTX5QTW

URI	`m2://inv/R3RQTX5QTW`
Kind	statement
Layer	research
MSC	05-XX, 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.35102#DXZR (statement). In XK6H7F2F13/e1, lemma 2.1

History

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

Exeter Mathematics School R3RVFQDXXS

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

Mentions

wikipedia: Wikipedia Exeter Mathematics School, Exeter Mathematics School (definition). Also Wikidata Q23023143

History

2026-11-02: add by m2/dev

R3RYSEKEYA R3RYSEKEYA

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

Mentions

arxiv: arXiv 2609.37520#2OQF (statement). In BDN507RN7J/e1, proposition 3.6.9

History

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

R3S1HDNYV8 R3S1HDNYV8

URI	`m2://inv/R3S1HDNYV8`
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.33679#R7ET (statement). In 3N9E9T6AF5/e1, corollary 1.6

History

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

R3S1KWMAQK R3S1KWMAQK

URI	`m2://inv/R3S1KWMAQK`
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.38051#7WNW (statement). In 81CGKD8RTP/e1, corollary 2

History

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

Representability, Theorem 3.1.5 R3S61KR9SH

URI	`m2://inv/R3S61KR9SH`
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.33808#BT2C, Representability, Theorem 3.1.5 (statement). In 328KGRNN0W/e1, theorem 2.3

History

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

Properties R3S7RRX1RW

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

Mentions

wikipedia: Wikipedia LogSumExp#MO9D, Properties (statement)

History

2026-11-02: add by m2/dev

Special cases R3S9QKCZ2K

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

Mentions

wikipedia: Wikipedia Descartes's theorem#2UDA, Special cases (statement)

History

2026-11-02: add by m2/dev

Rate of reinforcement R3S9X5QV6T

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

Mentions

wikipedia: Wikipedia Rate of reinforcement, Rate of reinforcement (definition). Also Wikidata Q7295540

History

2026-11-02: add by m2/dev

Some theorems R3SD5TJM55

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

Mentions

wikipedia: Wikipedia Complete metric space#LWII, Some theorems (statement)

History

2026-11-02: add by m2/dev

propositional function R3SFD7WPB4

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

Mentions

wikipedia: Wikipedia Glossary of logic#QN4C, propositional function (definition)

History

2026-11-02: add by m2/dev

R3SGTYJBBG R3SGTYJBBG

URI	`m2://inv/R3SGTYJBBG`
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 2610.04835#7D1A (statement). In P6PHR4W23S/e1, lemma 3.2

History

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

Parameters which are not roots of unity R3SK381F07

URI	`m2://inv/R3SK381F07`
Kind	statement
Layer	research
MSC	20-XX, 22-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.25805#H19J, Parameters which are not roots of unity (statement)

History

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

Thomas Jech R3SNFJSVAJ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#SX9D, Thomas Jech (topic)

History

2026-11-02: add by m2/dev

monothetic group R3T4EB7S3Z

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

Mentions

wikidata: Wikidata Q6902008, monothetic group (unknown). Also nLab topologically cyclic group
wikipedia: Wikipedia Monothetic group, Monothetic group (definition). Also Wikidata Q6902008

History

2026-10-26: add by m2/dev

Dedekind zeta function R3T5MVQJ53

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

Mentions

wikipedia: Wikipedia List of things named after Richard Dedekind#SVB6, Dedekind zeta function (definition)

History

2026-11-02: add by m2/dev

associate R3T5ZTP8PQ

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

Mentions

wikipedia: Wikipedia Glossary of ring theory#SWLJ, associate (definition)

History

2026-11-02: add by m2/dev

Properties R3T6PEDJ42

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

Mentions

wikipedia: Wikipedia Cactus graph#LKC2, Properties (statement)

History

2026-11-02: add by m2/dev

A central complex post-automorphism disk R3T72SFZZQ

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

Mentions

arxiv: arXiv 2609.25027#XI1G, A central complex post-automorphism disk (statement)

History

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

Charles Thorn R3TB62EWAJ

URI	`m2://inv/R3TB62EWAJ`
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 Q5082931, Charles Thorn (unknown). Also nLab Charles Thorn

History

2026-10-26: add by m2/dev

Peter Swinnerton-Dyer R3THPVHX1W

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#56IK, Peter Swinnerton-Dyer (topic)

History

2026-11-02: add by m2/dev

R3TN3RKRRM R3TN3RKRRM

URI	`m2://inv/R3TN3RKRRM`
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-71 (exercise). In E9HS8K3A52, exercise, section 5.6.4

History

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

Cover R3TQ5J1SQT

URI	`m2://inv/R3TQ5J1SQT`
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 2608.24190#GMS1, Cover (definition). In DW7FVA587C/e1, definition 2.11

History

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

R3TTX7TBMJ R3TTX7TBMJ

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

Mentions

arxiv: arXiv 2610.10930#KIIQ (statement). In HX63A1PH1W/e1, proposition 3.33

History

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

Gilbert–Pollak conjecture R3VQPPEFJB

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

Mentions

wikipedia: Wikipedia Gilbert–Pollak conjecture, Gilbert–Pollak conjecture (conjecture). Also Wikidata Q115805009

History

2026-11-02: add by m2/dev

Rules for quantifiers R3W3C7NNEN

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

Mentions

open_logic: open_logic content/first-order-logic/axiomatic-deduction/axioms-rules-quantifiers.tex#defn-2, Rules for quantifiers (definition). In PKGMM3P5QY, defn, section 8.2

History

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

Criterion of existence of periodic blow-ups R3W4NZPJCE

URI	`m2://inv/R3W4NZPJCE`
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.05354#7ROH, Criterion of existence of periodic blow-ups (statement). In TZ5BMDXRQZ/e1, theorem 5.1

History

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

Definition R3W4P4ABPJ

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

Mentions

wikipedia: Wikipedia Linear combination#ID1Q, Definition (definition)

History

2026-11-02: add by m2/dev

Coprime double-band matrix R3WC1QPWNT

URI	`m2://inv/R3WC1QPWNT`
Kind	statement
Layer	research
MSC	05-XX, 26-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.26066#M3CR, Coprime double-band matrix (statement)

History

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

$G_2(a_1)$ R3WJ85TM11

URI	`m2://inv/R3WJ85TM11`
Kind	example
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#C301, $G_2(a_1)$ (example). In H7DMRWBBJN/e1, example 8.11

History

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

Fleming–Viot process R3WMZD36J2

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

Mentions

wikipedia: Wikipedia Fleming–Viot process, Fleming–Viot process (definition). Also Wikidata Q5458629

History

2026-11-02: add by m2/dev

R3WREQFWGD R3WREQFWGD

URI	`m2://inv/R3WREQFWGD`
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.17541#4VXX (statement). In 9PHDBFMHH6/e1, proposition 5.7

History

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

Gaussian reference perturbation R3WSGJ9283

URI	`m2://inv/R3WSGJ9283`
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#F70K, Gaussian reference perturbation (statement). In 9YAE8FNQST/e1, corollary 17.20

History

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

Quasicompact R3WVW1ZDGH

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

Mentions

wikipedia: Wikipedia Glossary of general topology#37E4, Quasicompact (definition)

History

2026-11-02: add by m2/dev

R3X3GG1N7R R3X3GG1N7R

URI	`m2://inv/R3X3GG1N7R`
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 math/9602216#Y9XR (statement). In SD43497T8C/e1, theorem 1.3

History

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

Nancy Kopell R3XFG99Z31

URI	`m2://inv/R3XFG99Z31`
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#9PD8, Nancy Kopell (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DVY2, Nancy Kopell (topic)

History

2026-11-02: add by m2/dev

Atomic replacement R3XJYQD0AX

URI	`m2://inv/R3XJYQD0AX`
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.17371#R1R9, Atomic replacement (statement). In FF92TNYHQR/e1, lemma 8

History

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

R3XRFHP9DT R3XRFHP9DT

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

Mentions

arxiv: arXiv math/0406514#B6TC (statement). In CY1FE8W1ZW/e1, proposition 0.42

History

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

dialethic logic R3XS78DGB2

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

Mentions

wikipedia: Wikipedia Glossary of logic#RC3V, dialethic logic (definition)

History

2026-11-02: add by m2/dev

Algorithm R3XXAZZVEB

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

Mentions

wikipedia: Wikipedia Bellman–Ford algorithm#TWF7, Algorithm (definition)

History

2026-11-02: add by m2/dev

Zvyozdny gorodok R3XYEM8DZ7

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

Mentions

wikipedia: Wikipedia List of places with numeric names#1AWZ, Zvyozdny gorodok (unknown)

History

2026-11-02: add by m2/dev

2011 Socio Economic and Caste Census R3YBMAA1T7

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

Mentions

wikipedia: Wikipedia 2011 Socio Economic and Caste Census, 2011 Socio Economic and Caste Census (definition). Also Wikidata Q20668899

History

2026-11-02: add by m2/dev

Chevalley–Warning theorem R3YW61QRMP

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

Mentions

wikipedia: Wikipedia List of theorems#UBA5, Chevalley–Warning theorem (statement)

History

2026-11-02: add by m2/dev

Example of parenthesis counting R3YX4GQD7G

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

Mentions

wikipedia: Wikipedia Propositional formula#3VDS, Example of parenthesis counting (example)

History

2026-11-02: add by m2/dev

R3Z2RTGKFE R3Z2RTGKFE

URI	`m2://inv/R3Z2RTGKFE`
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 2103.12669#CVYB (statement). In ZA6XNBA90V/e1, theorem 1.1

History

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

Examples R3Z6B49MEB

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

Mentions

wikipedia: Wikipedia Arbitrarily large#5OM9, Examples (example)

History

2026-11-02: add by m2/dev

Williamson theorem R3Z7F34KWH

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

Mentions

wikipedia: Wikipedia Williamson theorem, Williamson theorem (statement). Also Wikidata Q129164494

History

2026-11-02: add by m2/dev

Isaac Jacob Schoenberg R3ZMG7JFC5

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#U749, Isaac Jacob Schoenberg (topic)

History

2026-11-02: add by m2/dev

R3ZRDE9DRX R3ZRDE9DRX

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

Mentions

arxiv: arXiv 2610.17482#2F1Z (statement). In BQQK9JDJ9F/e1, proposition 4.1

History

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

R3ZVRJ5QQZ R3ZVRJ5QQZ

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-20 (exercise). In Y91XFCEVHQ, exercise, section 1.3

History

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