Inventory rows 8R

8R00HWBF5A 8R00HWBF5A

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

Mentions

arxiv: arXiv 2609.40345#GU39 (definition). In WK0PT95WW1/e1, definition A.2

History

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

8R0G2A1T5M 8R0G2A1T5M

URI	`m2://inv/8R0G2A1T5M`
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 2604.23212#ZV8C (statement). In 4X12V9RS0D/e1, corollary F.2

History

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

Properties 8R0JNF462T

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

Mentions

wikipedia: Wikipedia Ideal class group#TZDG, Properties (statement)

History

2026-11-02: add by m2/dev

8R0JNH8WKQ 8R0JNH8WKQ

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

Mentions

arxiv: arXiv 2609.25289#EGWZ (example)

History

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

8R0KVAKM6X 8R0KVAKM6X

URI	`m2://inv/8R0KVAKM6X`
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 2507.05417#RIZU (statement). In RGHZ863Q26/e1, theorem 2.2

History

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

8R0MFBEMFD 8R0MFBEMFD

URI	`m2://inv/8R0MFBEMFD`
Kind	definition
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#D9FA (definition). In CY1FE8W1ZW/e1, definition 0.68

History

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

Werner formulas 8R0NAD4G42

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

Mentions

wikipedia: Wikipedia Prosthaphaeresis#ZF3U, Werner formulas (unknown)

History

2026-11-02: add by m2/dev

Schreier–Sims algorithm 8R0QVTWNAE

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

Mentions

wikipedia: Wikipedia List of group theory topics#YZAL, Schreier–Sims algorithm (definition)

History

2026-11-02: add by m2/dev

Ramsey's theorem 8R0QZV3RG8

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

Mentions

applied_combinatorics: applied_combinatorics index/11.5/ramsey-s-theorem, Ramsey's theorem (concept). In QKM9DD2H56, index, section 11.5

History

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

8R0RVKHMHW 8R0RVKHMHW

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

Mentions

wikipedia: Wikipedia Euler's constant#7JPQ (problem)

History

2026-11-02: add by m2/dev

Exit time 8R0T6MK6BV

URI	`m2://inv/8R0T6MK6BV`
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#SKCX, Exit time (statement). In CQ0Z7QA0A5/e1, lemma 5.5

History

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

Matrix variate beta distribution 8R16KYYPMF

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

Mentions

wikipedia: Wikipedia List of probability distributions#4IBF, Matrix variate beta distribution (definition)

History

2026-11-02: add by m2/dev

8R1GGQ9Y7G 8R1GGQ9Y7G

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

Mentions

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

History

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

Moment removal for finite sets 8R1HGD0N02

URI	`m2://inv/8R1HGD0N02`
Kind	statement
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.23922#DW35, Moment removal for finite sets (statement)

History

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

8R1MTA0Y21 8R1MTA0Y21

URI	`m2://inv/8R1MTA0Y21`
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.01433#ZSO8 (statement). In 160PQ7F1AS/e1, theorem 4.10

History

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

Plancherel formula 8R1MXB0JK3

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

Mentions

wikipedia: Wikipedia Fourier transform on finite groups#RFW1, Plancherel formula (statement)

History

2026-11-02: add by m2/dev

Discrete Fourier transform 8R1PCZHGMD

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

Mentions

wikipedia: Wikipedia List of transforms#J3XD, Discrete Fourier transform (definition)

History

2026-11-02: add by m2/dev

Linda J. Young 8R1PSXD3JE

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#56E4, Linda J. Young (topic)

History

2026-11-02: add by m2/dev

8R1VA4S0EM 8R1VA4S0EM

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

Mentions

napkin: napkin tex/cats/abelian.tex#definition-1 (definition). In RZP28ERRZV, definition, section 35.1

History

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

Hermitian transpose 8R1W45BR4Q

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

Mentions

wikipedia: Wikipedia List of things named after Charles Hermite#ED3K, Hermitian transpose (definition)

History

2026-11-02: add by m2/dev

Definition 8R1WGQA8NV

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

Mentions

wikipedia: Wikipedia Voter model#HMR5, Definition (definition)

History

2026-11-02: add by m2/dev

Applications 8R22JPDTSG

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

Mentions

wikipedia: Wikipedia Poisson random measure#3RCC, Applications (example)

History

2026-11-02: add by m2/dev

Suffix projection 8R22P47G5S

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

Mentions

arxiv: arXiv 2610.15631#MYZU, Suffix projection (statement). In AF465QFRGQ/e1, lemma II.4

History

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

The Schur complement update all but vanishes, leaving the panel factorisation 8R24552S5T

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

Mentions

arxiv: arXiv 2609.29554#OWI0, The Schur complement update all but vanishes, leaving the panel factorisation (unknown)

History

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

Definitions 8R26XEB9G5

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

Mentions

wikipedia: Wikipedia Super vector space#VD98, Definitions (definition)

History

2026-11-02: add by m2/dev

8R29E1BBAS 8R29E1BBAS

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#proof-16 (proof). In E59CDZA4DP, proof, section 10.3.2

History

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

Chevalley-Warning theorem 8R2HEAY1KR

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

Mentions

mathlib_overview: mathlib_overview General algebra > Number theory > Chevalley-Warning theorem, Chevalley-Warning theorem (unknown). Also Mathlib char_dvd_card_solutions

History

2026-10-26: add by m2/dev

8R2VFS4G34 8R2VFS4G34

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

Mentions

arxiv: arXiv 2609.25168#KG4L (statement)

History

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

Unbrokenness versus Lefschetz positivity 8R2VT0BEGZ

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

Mentions

arxiv: arXiv 2609.33173#WRD1, Unbrokenness versus Lefschetz positivity (statement). In R630A60CMM/e1, corollary 2.2

History

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

Prasad's revised tempered distinction conjecture: block form 8R2W1K6B44

URI	`m2://inv/8R2W1K6B44`
Kind	conjecture
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.05364#ED19, Prasad's revised tempered distinction conjecture: block form (conjecture). In TPYRE2ARMD/e1, conjecture 4.1

History

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

8R2XFD3TYF 8R2XFD3TYF

URI	`m2://inv/8R2XFD3TYF`
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 2609.31274#X49O (statement). In RK0ZMDJ23T/e1, lemma 1.2.1

History

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

Implementations 8R2YBGQJBS

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

Mentions

wikipedia: Wikipedia LEA (cipher)#ZWXL, Implementations (definition)

History

2026-11-02: add by m2/dev

Frank Merle 8R2ZHJK0C1

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

Mentions

wikipedia: Wikipedia Frank Merle (mathematician), Frank Merle (topic). Also Wikidata Q1443776

History

2026-11-02: add by m2/dev

Example 8R31BHM8XY

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

Mentions

wikipedia: Wikipedia Logic optimization#GBAR, Example (example)

History

2026-11-02: add by m2/dev

Context neglect bias 8R331D7FQM

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

Mentions

wikipedia: Wikipedia List of cognitive biases#Y78W, Context neglect bias (unknown)

History

2026-11-02: add by m2/dev

8R34QMYCBC 8R34QMYCBC

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

Mentions

arxiv: arXiv 2610.22281#HQVR (statement). In G7MBQFYR81/e1, proposition 2.2

History

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

8R365V094P 8R365V094P

URI	`m2://inv/8R365V094P`
Kind	example
Layer	research
MSC	13-XX, 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.23469#T641 (example)

History

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

Moderne Algebra 8R3DTNZA58

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

Mentions

wikipedia: Wikipedia Moderne Algebra, Moderne Algebra (definition). Also Wikidata Q6889105

History

2026-11-02: add by m2/dev

Thermal anchor 8R3NCYQKY8

URI	`m2://inv/8R3NCYQKY8`
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.04894#JDM8, Thermal anchor (statement). In AZZ35SDENN/e1, lemma 3.3

History

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

face ring 8R3QB4TV49

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#NG4Z, face ring (definition)

History

2026-11-02: add by m2/dev

Principalization extension 8R3WN6GE5C

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

Mentions

arxiv: arXiv 2609.35229#NJJY, Principalization extension (statement). In XBAXW1YBAK/e1, proposition 4.6

History

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

Three-seed with specified gluing 8R40J4XXZG

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

Mentions

arxiv: arXiv 2501.09848#FSWG, Three-seed with specified gluing (definition). In HF7YNMW39N/e1, definition 2.6

History

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

8R417BG2Q4 8R417BG2Q4

URI	`m2://inv/8R417BG2Q4`
Kind	statement
Layer	research
MSC	11-XX, 26-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.14160#U9FS (statement). In Y4TP36M0C7/e1, proposition 15

History

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

On the Sizes and Distances 8R47C5G1BM

URI	`m2://inv/8R47C5G1BM`
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 Q7091541, On the Sizes and Distances (unknown). Also ProofWiki Book:Aristarchus_of_Samos/On_the_Sizes_and_Distances_of_the_Sun_and_Moon

History

2026-10-26: add by m2/dev

Leone Levi 8R4ESHYQ6Y

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#87DM, Leone Levi (unknown)

History

2026-11-02: add by m2/dev

Properties of differential entropy 8R4Q0TWBEZ

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

Mentions

wikipedia: Wikipedia Differential entropy#7DKO, Properties of differential entropy (statement)

History

2026-11-02: add by m2/dev

Werner Fenchel 8R4VKHGXY2

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

Mentions

wikipedia: Wikipedia Werner Fenchel, Werner Fenchel (topic). Also Wikidata Q1820746

History

2026-11-02: add by m2/dev

8R4XG94DJF 8R4XG94DJF

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

Mentions

arxiv: arXiv 2609.37897#SN1A (statement). In RBQ5FNCVNZ/e1, lemma 5.7

History

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

\lean{rule 8R4YNZCE10

URI	`m2://inv/8R4YNZCE10`
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.23143#5F6I, \lean{rule (definition)

History

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

8R53QY15JJ 8R53QY15JJ

URI	`m2://inv/8R53QY15JJ`
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.21954#DTZF (statement). In F2XATDBRK4/e1, lemma 11

History

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

substitution 8R551V1SWR

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

Mentions

hott_book: hott_book index/A.1/substitution, substitution (concept). In N54F33XE07, index, section A.1

History

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

8R5J9NJBE9 8R5J9NJBE9

URI	`m2://inv/8R5J9NJBE9`
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.25167#1OC3 (statement)

History

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

Horton 96-graph 8R61TQM6EM

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

Mentions

wikidata: Wikidata Q3115508, Horton 96-graph (unknown). Also House of Graphs 1181
wikipedia: Wikipedia Horton graph, Horton graph (definition). Also Wikidata Q3115508

History

2026-10-26: add by m2/dev

8R68X77FF7 8R68X77FF7

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

Mentions

arxiv: arXiv 2609.33656#NHOH (statement). In 8PXDPT3X9P/e1, lemma 10

History

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

3-SUM hypothesis 8R6ARRPK3K

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

Mentions

wikipedia: Wikipedia Fine grained complexity#KWO7, 3-SUM hypothesis (statement)

History

2026-11-02: add by m2/dev

Schiffler point 8R6MBAJ7PZ

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

Mentions

wikidata: Wikidata Q631697, Schiffler point (unknown). Also MathWorld SchifflerPoint
wikipedia: Wikipedia Schiffler point, Schiffler point (definition). Also Wikidata Q631697

History

2026-10-26: add by m2/dev

Character blocks 8R6NVR8S1X

URI	`m2://inv/8R6NVR8S1X`
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.03520#N8VC, Character blocks (statement). In CSRZ9CWK69/e1, theorem 6.3

History

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

8R6PD4EBVT 8R6PD4EBVT

URI	`m2://inv/8R6PD4EBVT`
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.32937#H5DL (statement). In RB0SJRQP6X/e1, lemma 4.1

History

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

gigaflops 8R6WTAVNG4

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

Mentions

wikidata: Wikidata Q5558595, gigaflops (definition). Also ProofWiki Definition:Gigaflop

History

2026-10-26: add by m2/dev

Poisson sampling 8R6XNGF8J9

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

Mentions

wikipedia: Wikipedia Poisson sampling, Poisson sampling (definition). Also Wikidata Q7208505

History

2026-11-02: add by m2/dev

Donaldson theory 8R719N5XYY

URI	`m2://inv/8R719N5XYY`
Kind	topic
Layer	textbook
Sources	2
Outcome	open
Node	Donaldson theory ZQW6M0S6M0

Mentions

wikidata: Wikidata Q5295371, Donaldson theory (unknown). Also nLab Donaldson theory
wikipedia: Wikipedia Donaldson theory, Donaldson theory (topic). Also Wikidata Q5295371

History

2026-10-26: add by m2/dev

Classification rule 8R75KZDMM8

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

Mentions

wikipedia: Wikipedia List of statistics articles#BZHN, Classification rule (definition)

History

2026-11-02: add by m2/dev

Pearson correlation coefficient 8R764PHYNT

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

Mentions

wikipedia: Wikipedia Correlation#X39E, Pearson correlation coefficient (definition)
wikipedia: Wikipedia Correlation#Y0MA, Spearman's rank correlation coefficient (definition)

History

2026-11-02: add by m2/dev

Formal definition 8R76YXCXMC

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

Mentions

wikipedia: Wikipedia Mealy machine#NRCV, Formal definition (definition)

History

2026-11-02: add by m2/dev

8R77D2X7RM 8R77D2X7RM

URI	`m2://inv/8R77D2X7RM`
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.13385#Z28J (statement). In J99CBQ3QYD/e1, lemma 3.3

History

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

Object of the mind 8R791JQVJY

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

Mentions

wikipedia: Wikipedia Object of the mind, Object of the mind (definition). Also Wikidata Q2611441

History

2026-11-02: add by m2/dev

Salomon Eduard Gubler 8R792VFTEE

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

Mentions

wikipedia: Wikipedia Salomon Eduard Gubler, Salomon Eduard Gubler (topic). Also Wikidata Q37732861

History

2026-11-02: add by m2/dev

Logical disjunction 8R7HGFKT7T

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

Mentions

wikipedia: Wikipedia List of Boolean algebra topics#ULZ4, Logical disjunction (definition)

History

2026-11-02: add by m2/dev

Generalizations 8R7J9JBMXF

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

Mentions

wikipedia: Wikipedia Carmichael number#ZMX1, Generalizations (statement)

History

2026-11-02: add by m2/dev

Example 8R7NWB5AT8

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

Mentions

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

History

2026-11-02: add by m2/dev

8R7PCHPDEN 8R7PCHPDEN

URI	`m2://inv/8R7PCHPDEN`
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.16875#51EN (statement). In KS30K5JXGB/e1, lemma B.3

History

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

8R7X8SK877 8R7X8SK877

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

Mentions

arxiv: arXiv 2610.06719#2XIH (statement). In CBSA058Y53/e1, lemma 2.2

History

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

8R7Z214VNR 8R7Z214VNR

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

Mentions

arxiv: arXiv 2609.25353#8H5B (statement)

History

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

8R7Z3HZPTA 8R7Z3HZPTA

URI	`m2://inv/8R7Z3HZPTA`
Kind	example
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.23106#DSKB (example)

History

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

Centered-strip estimate 8R7ZF7MQNV

URI	`m2://inv/8R7ZF7MQNV`
Kind	statement
Layer	research
MSC	11-XX, 35-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.12203#G04V, Centered-strip estimate (statement). In F4YTAZSCS2/e1, lemma A.1

History

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

PD 8R80KJ6VJ3

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

Mentions

wikipedia: Wikipedia Glossary of set theory#31WK, PD (definition)

History

2026-11-02: add by m2/dev

8R83PVBYXE 8R83PVBYXE

URI	`m2://inv/8R83PVBYXE`
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 2609.39293#NEUV (definition). In S26QVW5613/e1, definition 0.0.9

History

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

Deterministic area estimate 8R8544HBJ4

URI	`m2://inv/8R8544HBJ4`
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.28791#EKSD, Deterministic area estimate (statement)

History

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

Properties 8R8J65830J

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

Mentions

wikipedia: Wikipedia Relatively compact subspace#OW3V, Properties (statement)

History

2026-11-02: add by m2/dev

Kernel regression 8R8N77PN3P

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

Mentions

wikipedia: Wikipedia Kernel regression, Kernel regression (definition). Also Wikidata Q1739319

History

2026-11-02: add by m2/dev

Bimetric gravity 8R8QJMPMXW

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

Mentions

wikipedia: Wikipedia Bimetric gravity, Bimetric gravity (definition). Also Wikidata Q3318058

History

2026-11-02: add by m2/dev

Formal definition 8R8RHG6N4M

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

Mentions

wikipedia: Wikipedia Convergence group#X06O, Formal definition (definition)

History

2026-11-02: add by m2/dev

Dirichlet's theorem on arithmetic progressions 8R8TJ0RWV5

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

Mentions

wikipedia: Wikipedia List of theorems#004L, Dirichlet's theorem on arithmetic progressions (statement)

History

2026-11-02: add by m2/dev

algebra over an operad 8R8XQ3020Q

URI	`m2://inv/8R8XQ3020Q`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Algebra over an operad ES9YATDWA3

Mentions

wikidata: Wikidata Q16827071, algebra over an operad (unknown). Also nLab algebra over an operad
wikipedia: Wikipedia Operad algebra, Operad algebra (definition). Also Wikidata Q16827071

History

2026-10-26: add by m2/dev

syllogistic terms 8R9V7XC3BF

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

Mentions

wikipedia: Wikipedia Glossary of logic#U59P, syllogistic terms (definition)

History

2026-11-02: add by m2/dev

Srinivasa Ramanujan 8RA276A0XZ

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

Mentions

wikipedia: Wikipedia List of mathematicians born in the 19th century#W5BJ, Srinivasa Ramanujan (topic)

History

2026-11-02: add by m2/dev

Stanley Skewes 8RA4QZYQHV

URI	`m2://inv/8RA4QZYQHV`
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 Q123647, Stanley Skewes (unknown). Also ProofWiki Mathematician:Stanley_Skewes
wikipedia: Wikipedia Stanley Skewes, Stanley Skewes (topic). Also Wikidata Q123647

History

2026-10-26: add by m2/dev

Rossby number 8RA51DBP6R

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

Mentions

wikipedia: Wikipedia Rossby number, Rossby number (definition). Also Wikidata Q676622

History

2026-11-02: add by m2/dev

Coase conjecture 8RA60R080Y

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

Mentions

wikipedia: Wikipedia Coase conjecture, Coase conjecture (statement). Also Wikidata Q1104339

History

2026-11-02: add by m2/dev

Holonomy quantization 8RAACEPJZP

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

Mentions

arxiv: arXiv 2609.27970#22A9, Holonomy quantization (statement)

History

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

Numeracy 8RAHPE4QA5

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

Mentions

wikipedia: Wikipedia Numeracy, Numeracy (definition). Also Wikidata Q140637

History

2026-11-02: add by m2/dev

8RAN6Q69R6 8RAN6Q69R6

URI	`m2://inv/8RAN6Q69R6`
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#91OC (statement). In E7W2HDNEKJ/e1, lemma 7.12

History

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

2-torsion weight-2 logical; original 8RB1WKW3W0

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

Mentions

arxiv: arXiv 2610.02392#EWXQ, 2-torsion weight-2 logical; original (statement). In W066HQZQBF/e1, lemma 10

History

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

8RBB3NQKR9 8RBB3NQKR9

URI	`m2://inv/8RBB3NQKR9`
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.28143#3FBQ (statement)

History

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

Applications 8RBEPDDM44

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

Mentions

wikipedia: Wikipedia MD5#1VC5, Applications (example)

History

2026-11-02: add by m2/dev

The determinant formula 8RBGA9Z1P8

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

Mentions

wikipedia: Wikipedia Continued fraction#I9MK, The determinant formula (statement)

History

2026-11-02: add by m2/dev

Analytic filter functions 8RBVJP4MDP

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

Mentions

arxiv: arXiv 2604.23212#OI6H, Analytic filter functions (definition). In 4X12V9RS0D/e1, definition 2.2

History

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

Dual description of $\eta_W$ 8RBWM7Z1S3

URI	`m2://inv/8RBWM7Z1S3`
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.19356#2AU0, Dual description of $\eta_W$ (statement). In 2B5QA28NCX/e1, lemma A.2

History

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

Lidstone series 8RBWVB6ZDZ

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

Mentions

wikipedia: Wikipedia Lidstone series, Lidstone series (definition). Also Wikidata Q10985745

History

2026-11-02: add by m2/dev

Yosida approximation 8RC2JSXA8B

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

Mentions

arxiv: arXiv 2609.38396#Z2Y8, Yosida approximation (statement). In FGNNVKQR1Z/e1, lemma 3.1

History

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

Local randomizer 8RC6D9GMHZ

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

Mentions

arxiv: arXiv 2610.21033#PPZY, Local randomizer (definition). In A8C1M9BSWH/e1, definition 2.1

History

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

Definition 8RC97DA131

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

Mentions

wikipedia: Wikipedia Resurgent function#ZJQ0, Definition (definition)

History

2026-11-02: add by m2/dev

Epistemic optimism 8RC9Q9BPYP

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

Mentions

wikipedia: Wikipedia Pessimistic induction#DCF6, Epistemic optimism (unknown)

History

2026-11-02: add by m2/dev

Edward Kasner 8RCAKNZWSC

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#8L7O, Edward Kasner (unknown)

History

2026-11-02: add by m2/dev

Artin–Wedderburn theorem 8RCW132B2C

URI	`m2://inv/8RCW132B2C`
Kind	statement
Layer	textbook
MSC	16-XX
Sources	4
Outcome	open
Node	Artin–Wedderburn theorem R1F271180N

Mentions

mathlib_1000: mathlib_1000 Q776578, Wedderburn–Artin theorem (statement). Also Mathlib IsSimpleRing.exists_algEquiv_matrix_divisionRing, Mathlib IsSemisimpleRing.exists_algEquiv_pi_matrix_divisionRing, Wikidata Q776578
thousand_plus: thousand_plus Q776578, Artin–Wedderburn theorem (statement). Also Mathlib IsSimpleRing.exists_algEquiv_matrix_divisionRing, Mathlib IsSemisimpleRing.exists_algEquiv_pi_matrix_divisionRing, Wikidata Q776578, Wikipedia Artin–Wedderburn theorem
wikidata: Wikidata Q776578, Artin–Wedderburn theorem (statement). Also EoM Wedderburn-Artin_theorem, nLab Wedderburn-Artin theorem
wikipedia: Wikipedia Wedderburn–Artin theorem, Wedderburn–Artin theorem (statement). Also Wikidata Q776578

History

2026-10-26: add by m2/dev

8RCZ3W4NMS 8RCZ3W4NMS

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

Mentions

lebl_scv: lebl_scv scv.tex#proof-54 (proof). In VNMV985MXX, proof, section 4.2

History

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

8RD4R4RMHX 8RD4R4RMHX

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

Mentions

open_logic: open_logic content/incompleteness/introduction/undecidability.tex#cor:incompleteness (statement). In PKGMM3P5QY, cor, section 29.2

History

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

great disdyakis dodecahedron 8RD7H0ASTJ

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

Mentions

wikidata: Wikidata Q5600342, great disdyakis dodecahedron (unknown). Also MathWorld GreatDisdyakisDodecahedron
wikipedia: Wikipedia Great disdyakis dodecahedron, Great disdyakis dodecahedron (object). Also Wikidata Q5600342

History

2026-10-26: add by m2/dev

8RD967947Y 8RD967947Y

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

Mentions

napkin: napkin tex/alg-NT/frobenius.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 13.6.1

History

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

Barwise compactness theorem 8RDGCS9YFF

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

Mentions

wikipedia: Wikipedia List of theorems#24D5, Barwise compactness theorem (statement)

History

2026-11-02: add by m2/dev

8RDY81YMMN 8RDY81YMMN

URI	`m2://inv/8RDY81YMMN`
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.22469#G5DD (statement)

History

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

basis 8RE81PMGZ4

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

Mentions

wikipedia: Wikipedia Glossary of linear algebra#2LPZ, basis (definition)

History

2026-11-02: add by m2/dev

Annals of Probability 8REM458Z0C

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

Mentions

wikipedia: Wikipedia List of probability journals#NK34, Annals of Probability (definition)

History

2026-11-02: add by m2/dev

Nine Dots Prize 8REMJQ7NYC

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

Mentions

wikipedia: Wikipedia Nine dots puzzle#QFEK, Nine Dots Prize (unknown)

History

2026-11-02: add by m2/dev

Principal error constant of the certified estimator 8RERKW7XR5

URI	`m2://inv/8RERKW7XR5`
Kind	statement
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#35J6, Principal error constant of the certified estimator (statement). In B3MNVE9149/e1, proposition 6.2

History

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

Capacity transfers through Freiman models 8RERYKJP2N

URI	`m2://inv/8RERYKJP2N`
Kind	statement
Layer	research
MSC	11-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.26619#4SLZ, Capacity transfers through Freiman models (statement)

History

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

Finite trajectory diagnostics 8RES8ND61W

URI	`m2://inv/8RES8ND61W`
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.20020#G25V, Finite trajectory diagnostics (statement). In TGYC3SE8XM/e1, proposition 10

History

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

Compound of six tetrahedra 8REV9H6CVF

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#CIST, Compound of six tetrahedra (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#XE8A, Compound of six tetrahedra (definition)

History

2026-11-02: add by m2/dev

8REZCGXZ3N 8REZCGXZ3N

URI	`m2://inv/8REZCGXZ3N`
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.15504#K9D3 (statement). In AZ8SEW6HAV/e1, theorem 2

History

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

Definition 8RF2V8B9EY

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

Mentions

wikipedia: Wikipedia F-score#SZ38, Definition (definition)

History

2026-11-02: add by m2/dev

Closed-loop gain 8RFB9KRZ8A

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

Mentions

wikipedia: Wikipedia Feedback#J8HS, Closed-loop gain (unknown)

History

2026-11-02: add by m2/dev

Input–output model 8RFFV9AKCC

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

Mentions

wikipedia: Wikipedia Input–output model, Input–output model (definition). Also Wikidata Q1140255

History

2026-11-02: add by m2/dev

8RFGB5SSKW 8RFGB5SSKW

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

Mentions

arxiv: arXiv 2610.07180#6LMC (definition). In TM4H1RV0BQ/e1, definition 1.4

History

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

8RFGZZ3JMB 8RFGZZ3JMB

URI	`m2://inv/8RFGZZ3JMB`
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.21929#4OHU (statement). In 2PP4XRVS0J/e1, theorem 4.2

History

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

Charles Graves 8RFK8M09NF

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

Mentions

wikipedia: Wikipedia Charles Graves (bishop), Charles Graves (topic). Also Wikidata Q5078380

History

2026-11-02: add by m2/dev

Napoleon points 8RFTRNJFXB

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

Mentions

wikidata: Wikidata Q1964922, Napoleon points (unknown). Also MathWorld NapoleonPoints
wikipedia: Wikipedia Napoleon points, Napoleon points (definition). Also Wikidata Q1964922

History

2026-10-26: add by m2/dev

Uniform logarithmic comparison 8RG15TDG8R

URI	`m2://inv/8RG15TDG8R`
Kind	statement
Layer	research
MSC	35-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.20042#L8JG, Uniform logarithmic comparison (statement)

History

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

8RG175AJJR 8RG175AJJR

URI	`m2://inv/8RG175AJJR`
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.13846#4BPF (statement). In DN3HGHGRYJ/e1, proposition 5.2

History

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

Approximation algorithms for the minimum-weight triangulation problem 8RGECMFE73

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

Mentions

wikipedia: Wikipedia Minimum-weight triangulation#IB8Z, Approximation algorithms for the minimum-weight triangulation problem (unknown)

History

2026-11-02: add by m2/dev

Jakob Rosanes 8RGEQX99VB

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#Y7KZ, Jakob Rosanes (topic)

History

2026-11-02: add by m2/dev

Examples 8RGFGYRKKY

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

Mentions

wikipedia: Wikipedia Perturbation theory (quantum mechanics)#RSUE, Examples (example)

History

2026-11-02: add by m2/dev

Iterative method 8RGQD25MMX

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

Mentions

wikipedia: Wikipedia List of mathematics-based methods#P451, Iterative method (definition)

History

2026-11-02: add by m2/dev

Bernard Helffer 8RGQJJ691J

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

Mentions

wikipedia: Wikipedia Bernard Helffer, Bernard Helffer (topic). Also Wikidata Q15971741

History

2026-11-02: add by m2/dev

Mathematical models of computers 8RGW2FN9S1

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

Mentions

wikipedia: Wikipedia Computation#A35H, Mathematical models of computers (unknown)

History

2026-11-02: add by m2/dev

Strong connectivity implies a finite unique MLE 8RGXBA7TDR

URI	`m2://inv/8RGXBA7TDR`
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.09030#F1BM, Strong connectivity implies a finite unique MLE (statement). In BYN44C0X0C/e1, lemma B.1

History

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

8RH2DDYBWB 8RH2DDYBWB

URI	`m2://inv/8RH2DDYBWB`
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.09483#WDTM (statement). In N1MQ8F9JN6/e1, proposition 5.2

History

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

lower clique number 8RH3D2R5MQ

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

Mentions

wikidata: Wikidata Q130486591, lower clique number (unknown). Also MathWorld LowerCliqueNumber

History

2026-10-26: add by m2/dev

Vance Faber 8RH6DHZGCX

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#I8LZ, Vance Faber (topic)

History

2026-11-02: add by m2/dev

Related results 8RHCYM7P0M

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

Mentions

wikipedia: Wikipedia Kelmans–Seymour conjecture#2988, Related results (statement)

History

2026-11-02: add by m2/dev

8RHHZP1RKE 8RHHZP1RKE

URI	`m2://inv/8RHHZP1RKE`
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.17240#BS7T (statement). In 59BZ4V9RQW/e1, proposition 5.1

History

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

Crispin Wright 8RHTKB6HAR

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

Mentions

wikipedia: Wikipedia Crispin Wright, Crispin Wright (topic). Also Wikidata Q445989

History

2026-11-02: add by m2/dev

8RHTW4MTKM 8RHTW4MTKM

URI	`m2://inv/8RHTW4MTKM`
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.23350#DE7W (statement)

History

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

Compact Hausdorff hyperspace, \mycite{Sections 3--4}{TuzhilinLectures 8RJ5XFAWWV

URI	`m2://inv/8RJ5XFAWWV`
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.17400#MKLD, Compact Hausdorff hyperspace, \mycite{Sections 3--4}{TuzhilinLectures (statement). In 8VDXGR4SVD/e1, lemma 2.5

History

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

Ring class field 8RJ8M1R3BQ

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

Mentions

wikipedia: Wikipedia Ring class field, Ring class field (definition). Also Wikidata Q7334760

History

2026-11-02: add by m2/dev

Odd-value remainder integral 8RJ9H43Q8P

URI	`m2://inv/8RJ9H43Q8P`
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 2610.19175#TVTD, Odd-value remainder integral (statement). In VR132Q5VFE/e1, theorem 4.1

History

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

The generator problem for $C^*$-algebras 8RJA4VCQHM

URI	`m2://inv/8RJA4VCQHM`
Kind	problem
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.13792#LRUO, The generator problem for $C^*$-algebras (problem). In ZH0PFTZ12Y/e1, problem A

History

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

Definition 8RJB6ZCEDX

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

Mentions

wikipedia: Wikipedia Minkowski content#NFDA, Definition (definition)

History

2026-11-02: add by m2/dev

Definition 8RJCW90SZD

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

Mentions

wikipedia: Wikipedia Regulated integral#6WPO, Definition (definition)

History

2026-11-02: add by m2/dev

8RK33N0QC4 8RK33N0QC4

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

Mentions

open_logic: open_logic content/incompleteness/representability-in-q/introduction.tex#thm:representable-iff-comp (statement). In PKGMM3P5QY, thm, section 29.9

History

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

8RK9QCZPND 8RK9QCZPND

URI	`m2://inv/8RK9QCZPND`
Kind	definition
Layer	research
MSC	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 2303.09207#FOBL (definition). In 9DQKY7KGE8/e1, definition 6.7

History

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

8RKEPCCBVG 8RKEPCCBVG

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

Mentions

arxiv: arXiv 2609.25468#NP4Z (statement)

History

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

8RKEPY6G0W 8RKEPY6G0W

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

Mentions

arxiv: arXiv 2610.09739#DTXW (statement). In ZYNZ95FSFD/e1, theorem 2.1

History

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

Example 8RKMAYW561

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

Mentions

wikipedia: Wikipedia Divided differences#RDK4, Example (example)

History

2026-11-02: add by m2/dev

Parity of a permutation 8RKMDFNYCK

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

Mentions

wikipedia: Wikipedia Parity of a permutation, Parity of a permutation (definition). Also Wikidata Q1064405

History

2026-11-02: add by m2/dev

Abraham Robinson 8RKP3M0SPV

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

Mentions

wikipedia: Wikipedia List of logicians#6ZHD, Abraham Robinson (topic)

History

2026-11-02: add by m2/dev

independence 8RKQ23EM3X

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#DJNK, independence (definition)

History

2026-11-02: add by m2/dev

Behavioral signature and quotient sigma-algebra 8RKSN0QX8H

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

Mentions

arxiv: arXiv 2609.20207#S1HS, Behavioral signature and quotient sigma-algebra (definition)

History

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

rank of a similarity subfamily 8RKW3X59QG

URI	`m2://inv/8RKW3X59QG`
Kind	statement
Layer	research
MSC	26-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.04000#8OPD, rank of a similarity subfamily (statement). In CBCCH5VTMQ/e1, lemma 4.6

History

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

8RM18HSAP3 8RM18HSAP3

URI	`m2://inv/8RM18HSAP3`
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.33019#QY1E (statement). In R4V2A3Z5GP/e1, corollary 3.3

History

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

Weak Sharpness 8RMABY1S0P

URI	`m2://inv/8RMABY1S0P`
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 2602.13510#H89S, Weak Sharpness (definition). In Y75MQW7CFV/e1, definition B.4

History

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

deep 8RMBSFXNYN

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

Mentions

wikipedia: Wikipedia Glossary of mathematical jargon#C02P, deep (definition)

History

2026-11-02: add by m2/dev

Example 2 8RMF1Y50P9

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

Mentions

wikipedia: Wikipedia Natural deduction#9VTD, Example 2 (example)

History

2026-11-02: add by m2/dev

One-excess estimate 8RMGEY2QTN

URI	`m2://inv/8RMGEY2QTN`
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.14509#LDQ1, One-excess estimate (statement). In N6GD8392QB/e1, proposition 6.10

History

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

8RMJWC014F 8RMJWC014F

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

Mentions

applied_combinatorics: applied_combinatorics source/s_recurrence_rigorous.ptx#proof-2 (proof). In QKM9DD2H56, proof, section 9.5.2

History

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

8RMY9431P7 8RMY9431P7

URI	`m2://inv/8RMY9431P7`
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.20345#KLJZ (statement). In WVRRST04WS/e1, lemma 4

History

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

8RNA19V73M 8RNA19V73M

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

Mentions

arxiv: arXiv 2610.22288#A66Z (statement). In X38P26DK6S/e1, lemma 5.20

History

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

Prediction band 8RNEC7S9SH

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

Mentions

wikipedia: Wikipedia Confidence and prediction bands#3X8S, Prediction band (unknown)

History

2026-11-02: add by m2/dev

The Canadian Journal of Statistics 8RNG9XKXK3

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

Mentions

wikipedia: Wikipedia List of statistics journals#ZRNH, The Canadian Journal of Statistics (unknown)

History

2026-11-02: add by m2/dev

8RNN8TPNEG 8RNN8TPNEG

URI	`m2://inv/8RNN8TPNEG`
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.08583#O9ZD (statement). In 5EKTECQ2P1/e1, lemma 5.3

History

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

8RNT23ESEV 8RNT23ESEV

URI	`m2://inv/8RNT23ESEV`
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.05232#5RJ2 (statement). In DA3VN96YX2/e1, lemma 2.3

History

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

8RNVYC24Z2 8RNVYC24Z2

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#proof-4 (proof). In P1C114YBXG, proof, section F

History

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

Jessen–Wintner theorem 8RNWN0E85R

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

Mentions

wikipedia: Wikipedia Jessen–Wintner theorem, Jessen–Wintner theorem (statement). Also Wikidata Q16928396

History

2026-11-02: add by m2/dev

8RP0NC5ZEF 8RP0NC5ZEF

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/logic-prop.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 4.1

History

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

Alexander Grothendieck 8RP3NFR588

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

Mentions

wikipedia: Wikipedia List of publications in mathematics#U4UF, Alexander Grothendieck (topic)

History

2026-11-02: add by m2/dev

History of fluid dynamics 8RP5QJ80NA

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

Mentions

wikipedia: Wikipedia Fluid mechanics#H96B, History of fluid dynamics (unknown)

History

2026-11-02: add by m2/dev

8RPGD5H8JC 8RPGD5H8JC

URI	`m2://inv/8RPGD5H8JC`
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.09201#BA1F (statement). In JQFPH09JG8/e1, theorem 2

History

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

Thousand Islands (Svalbard) 8RPVZD8GTF

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

Mentions

wikipedia: Wikipedia List of places with numeric names#73N1, Thousand Islands (Svalbard) (unknown)

History

2026-11-02: add by m2/dev

8RPZ5N865D 8RPZ5N865D

URI	`m2://inv/8RPZ5N865D`
Kind	example
Layer	research
MSC	13-XX, 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.23469#8U3T (example)

History

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

8RQ5B6VH6M 8RQ5B6VH6M

URI	`m2://inv/8RQ5B6VH6M`
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#RP2L (statement). In MREZZ9NCY8/e1, proposition 5.8

History

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

8RQ6638J2E 8RQ6638J2E

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

Mentions

open_logic: open_logic content/proof-theory/proof-search/completeness.tex#cor-1 (statement). In PKGMM3P5QY, cor, section 59.5

History

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

8RQANK19CY 8RQANK19CY

URI	`m2://inv/8RQANK19CY`
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.21668#Y7YK (statement)

History

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

Brunn–Minkowski theorem 8RQDAZPKYC

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

Mentions

wikipedia: Wikipedia List of theorems#S9EE, Brunn–Minkowski theorem (statement)

History

2026-11-02: add by m2/dev

Arnold Nordsieck 8RQH3XCZX3

URI	`m2://inv/8RQH3XCZX3`
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 Q695856, Arnold Nordsieck (unknown). Also nLab Arnold Nordsieck

History

2026-10-26: add by m2/dev

Mechanical calculator 8RQKHE6S7J

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

Mentions

wikipedia: Wikipedia Mechanical calculator, Mechanical calculator (definition). Also Wikidata Q211586

History

2026-11-02: add by m2/dev

8RQW5RYJ6G 8RQW5RYJ6G

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

Mentions

arxiv: arXiv 1512.06981#PGKU (statement). In X923ZEY423/e1, lemma 2.0.9

History

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

8RQWHWY445 8RQWHWY445

URI	`m2://inv/8RQWHWY445`
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#VN0A (statement)

History

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

Dixmier–Ng theorem 8RR5WW2D7E

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

Mentions

wikipedia: Wikipedia Dixmier–Ng theorem, Dixmier–Ng theorem (statement). Also Wikidata Q96376481

History

2026-11-02: add by m2/dev

Honda–Tate theorem 8RREWNNVY8

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

Mentions

wikidata: Wikidata Q5892839, Honda–Tate theorem (statement). Also LMFDB knowl av.fq.honda_tate
wikipedia: Wikipedia Honda–Tate theorem, Honda–Tate theorem (statement). Also Wikidata Q5892839

History

2026-10-26: add by m2/dev

Knaster–Tarski theorem 8RRGCJHMKF

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

Mentions

mathlib_1000: mathlib_1000 Q609612, Knaster–Tarski theorem (statement). Also Mathlib fixedPoints.completeLattice, Wikidata Q609612
thousand_plus: thousand_plus Q609612, Knaster–Tarski theorem (statement). Also Mathlib fixedPoints.completeLattice, Wikidata Q609612, Wikipedia Knaster–Tarski theorem
wikipedia: Wikipedia Knaster–Tarski theorem, Knaster–Tarski theorem (statement). Also Wikidata Q609612

History

2026-10-26: add by m2/dev

Erdős cardinal 8RRGVD2KRB

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

Mentions

wikipedia: Wikipedia List of things named after Paul Erdős#67AU, Erdős cardinal (definition)
wikipedia: Wikipedia List of mathematical logic topics#CB7T, Erdős cardinal (definition)

History

2026-11-02: add by m2/dev

Zip tree 8RRP5PBQJZ

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

Mentions

wikipedia: Wikipedia Zip tree, Zip tree (definition). Also Wikidata Q129157716

History

2026-11-02: add by m2/dev

finite, lists, type of 8RRVM8R7QM

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

Mentions

hott_book: hott_book index/5.11/finite-lists-type-of, finite, lists, type of (concept). In N54F33XE07, index, section 5.11

History

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

Formulation 8RS2MNPRE4

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

Mentions

wikipedia: Wikipedia Percentile rank#PUUY, Formulation (definition)

History

2026-11-02: add by m2/dev

Local simulation 8RS72RA36Z

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

Mentions

arxiv: arXiv math/0003117#B9N8, Local simulation (definition). In WD2NCBV9F0/e1, definition 4.24

History

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

Orientability 8RS8TEZFN1

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#EXFY, Orientability (definition)

History

2026-11-02: add by m2/dev

Lemma 5 8RS970JCC5

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

Mentions

wikipedia: Wikipedia Gibbard–Satterthwaite theorem#D9RC, Lemma 5 (statement)

History

2026-11-02: add by m2/dev

8RSD4180TA 8RSD4180TA

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

Mentions

arxiv: arXiv 2507.12309#9UGE (definition). In ZR53K3E0FR/e1, definition 25

History

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

8RSE93QCG6 8RSE93QCG6

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

Mentions

open_logic: open_logic content/lambda-calculus/church-rosser/beta-eta-reduction.tex#thm:cr (statement). In PKGMM3P5QY, thm, section 35.1

History

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

8RSNR0T49M 8RSNR0T49M

URI	`m2://inv/8RSNR0T49M`
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.38240#86KM (statement). In WFZ0FG1F1R/e1, proposition 2.1

History

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

Special cases of the formula 8RST05B0JB

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

Mentions

wikipedia: Wikipedia Dirichlet series inversion#VPWR, Special cases of the formula (statement)

History

2026-11-02: add by m2/dev

8RSXAG43B3 8RSXAG43B3

URI	`m2://inv/8RSXAG43B3`
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.18740#0Q90 (statement). In 82815Z5JR7/e1, theorem 6

History

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

8RT7JZ101M 8RT7JZ101M

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

Mentions

hott_book: hott_book reals.tex#RC-binary-nonexpanding-extension (statement). In N54F33XE07, lem, section B.3.3

History

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

8RT9MDG7V5 8RT9MDG7V5

URI	`m2://inv/8RT9MDG7V5`
Kind	unknown
Layer	research
MSC	35-XX, 65-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.13680#S6ZK (unknown). In QNBFHFZ3H0/e1, unknown 53

History

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

unordered pair 8RTB58KFDP

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

Mentions

wikidata: Wikidata Q1477744, unordered pair (unknown). Also MathWorld Pair, nLab unordered pair
wikipedia: Wikipedia Unordered pair, Unordered pair (definition). Also Wikidata Q1477744

History

2026-10-26: add by m2/dev

267 8RTC8TTHEB

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

Mentions

wikipedia: Wikipedia 267 (number), 267 (definition). Also Wikidata Q1076493

History

2026-11-02: add by m2/dev

8RTNK8HT02 8RTNK8HT02

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

Mentions

arxiv: arXiv 2609.23522#SL5R (definition)

History

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

8RTTW0QS9P 8RTTW0QS9P

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

Mentions

arxiv: arXiv 2104.08176#UN1K (statement). In SYGR43673J/e1, lemma 4

History

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

A trigonometric inequality 8RV0MPYF5C

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

Mentions

wikipedia: Wikipedia Mathematical induction#H97X, A trigonometric inequality (statement)

History

2026-11-02: add by m2/dev

Centrality 8RV2K6YFAJ

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

Mentions

wikipedia: Wikipedia List of network theory topics#4TNV, Centrality (definition)

History

2026-11-02: add by m2/dev

Characterizations 8RV3TX0630

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

Mentions

wikipedia: Wikipedia Chordal bipartite graph#W41U, Characterizations (statement)

History

2026-11-02: add by m2/dev

Fosco Loregian 8RV406FQE6

URI	`m2://inv/8RV406FQE6`
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 Q102468490, Fosco Loregian (unknown). Also nLab Fosco Loregian

History

2026-10-26: add by m2/dev

One-time interpolation 8RV5Q66QVD

URI	`m2://inv/8RV5Q66QVD`
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.28937#DMHZ, One-time interpolation (statement)

History

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

8RV92MWTWM 8RV92MWTWM

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

Mentions

lebl_ra: lebl_ra ch-der.tex#exercise:simpleLHopital (exercise). In E59CDZA4DP, exercise, section 3.1.3

History

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

8RVA9QHWAV 8RVA9QHWAV

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

Mentions

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

History

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

Benjamin Peirce 8RVAXP3CDT

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

Mentions

wikipedia: Wikipedia Benjamin Peirce, Benjamin Peirce (topic). Also Wikidata Q467611

History

2026-11-02: add by m2/dev

8RVNWSNS2J 8RVNWSNS2J

URI	`m2://inv/8RVNWSNS2J`
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 2501.12834#ZCE7 (statement). In 25JX9GN5TE/e1, theorem 4

History

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

Appeal to wealth 8RVQNR0QVS

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

Mentions

wikipedia: Wikipedia List of fallacies#YRF3, Appeal to wealth (definition)

History

2026-11-02: add by m2/dev

Hesse normal form 8RVW1BS3BC

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

Mentions

wikidata: Wikidata Q631538, Hesse normal form (concept). Also MathWorld HessianNormalForm
wikipedia: Wikipedia Hesse normal form, Hesse normal form (definition). Also Wikidata Q631538

History

2026-10-26: add by m2/dev

Norman J. Pullman 8RVYJEDZ4F

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

Mentions

wikipedia: Wikipedia Norman J. Pullman, Norman J. Pullman (topic). Also Wikidata Q7052394

History

2026-11-02: add by m2/dev

Algorithms 8RW15ZY9GE

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

Mentions

wikipedia: Wikipedia Claw finding problem#SKP0, Algorithms (definition)

History

2026-11-02: add by m2/dev

Causality conditions 8RW8P3XH4K

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

Mentions

wikipedia: Wikipedia Causality conditions, Causality conditions (definition). Also Wikidata Q5054576

History

2026-11-02: add by m2/dev

8RW97Y279D 8RW97Y279D

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

Mentions

arxiv: arXiv 2610.16605#NNPD (statement). In KZ175036B5/e1, corollary 1.10

History

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

Sophien 8RWPV16SK5

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

Mentions

wikipedia: Wikipedia Sophie Germain#35FU, Sophien (unknown)

History

2026-11-02: add by m2/dev

8RWQ4AHFVD 8RWQ4AHFVD

URI	`m2://inv/8RWQ4AHFVD`
Kind	unknown
Layer	research
MSC	30-XX, 32-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.06728#A8AS (unknown). In 7FWJWK70T9/e1, unknown Intelligence

History

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

János Kollár 8RWRC49EM2

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#1FOZ, János Kollár (unknown)
wikipedia: Wikipedia List of algebraic geometry topics#8ACU, János Kollár (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#26UT, János Kollár (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#A0U6, János Kollár (unknown)

History

2026-11-02: add by m2/dev

Construction 8RWZHTPGVF

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

Mentions

wikipedia: Wikipedia 2 21 polytope#U2VN, Construction (definition)

History

2026-11-02: add by m2/dev

variable, type 8RX1QJSQYM

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

Mentions

hott_book: hott_book index/8.7/variable-type, variable, type (concept). In N54F33XE07, index, section 8.7

History

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

Roxana Moslehi 8RX761PFXJ

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

Mentions

wikipedia: Wikipedia Roxana Moslehi, Roxana Moslehi (topic). Also Wikidata Q4814466

History

2026-11-02: add by m2/dev

Applying urine 8RX7Z5Q1CA

URI	`m2://inv/8RX7Z5Q1CA`
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#A6KM, Applying urine (unknown)

History

2026-11-02: add by m2/dev

Kripke 8RXDFXY24E

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

Mentions

wikipedia: Wikipedia Glossary of set theory#95XH, Kripke (definition)

History

2026-11-02: add by m2/dev

8RXEAEM0E8 8RXEAEM0E8

URI	`m2://inv/8RXEAEM0E8`
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.11829#6B3M (statement). In 76DK6SPN88/e1, proposition 3.5

History

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

8RXF7F4J6B 8RXF7F4J6B

URI	`m2://inv/8RXF7F4J6B`
Kind	example
Layer	research
MSC	19-XX
Sources	1
Outcome	record (an item of a paper that no node asks 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.28295#7MEZ (example)

History

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

Aubin–Lions lemma 8RXGH5C3VK

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

Mentions

wikipedia: Wikipedia List of lemmas#UBQ8, Aubin–Lions lemma (statement)

History

2026-11-02: add by m2/dev

Wilhelm Jordan 8RXHP08PW0

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

Mentions

wikipedia: Wikipedia List of German mathematicians#6O83, Wilhelm Jordan (unknown)

History

2026-11-02: add by m2/dev

Mercer's theorem 8RXQYFMA15

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

Mentions

wikipedia: Wikipedia Trace class#EQYR, Mercer's theorem (statement)

History

2026-11-02: add by m2/dev

8RXTKCD0S3 8RXTKCD0S3

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

Mentions

arxiv: arXiv 2401.07983#KJL2 (statement). In 4WJ9HYVSZY/e1, theorem C

History

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

Euler characteristic 8RXZSE0MWG

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

Mentions

wikipedia: Wikipedia List of uniform polyhedra#JKHP, Euler characteristic (definition)

History

2026-11-02: add by m2/dev

cov(I) 8RYP4NAS99

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

Mentions

wikipedia: Wikipedia Glossary of set theory#2H5T, cov(I) (definition)

History

2026-11-02: add by m2/dev

8RYRXDY5V2 8RYRXDY5V2

URI	`m2://inv/8RYRXDY5V2`
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.32374#EHUE (statement). In 96D6N9AXQM/e1, corollary 3.2

History

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

Hypertoroid 8RYZ7ZGCBC

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

Mentions

wikipedia: Wikipedia Torus#0RIM, Hypertoroid (unknown)

History

2026-11-02: add by m2/dev

8RZA5KGR7B 8RZA5KGR7B

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_gt-planar.ptx#investigation-3 (exercise). In Y91XFCEVHQ, investigation, section 5.3.2

History

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

Conditional convex order 8RZB5NEN3R

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

Mentions

arxiv: arXiv 2610.16680#HCZV, Conditional convex order (definition). In H29YHXQZV6/e1, definition 2

History

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

Econometric software 8RZDN1YQM3

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

Mentions

wikipedia: Wikipedia List of statistics articles#2RVI, Econometric software (definition)

History

2026-11-02: add by m2/dev

Theorem (Plünnecke's theorem) 8RZHQRC0ZA

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

Mentions

wikipedia: Wikipedia Plünnecke–Ruzsa inequality#KUL8, Theorem (Plünnecke's theorem) (statement)

History

2026-11-02: add by m2/dev

Robert Seiringer 8RZJYHSHYR

URI	`m2://inv/8RZJYHSHYR`
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 Q88155, Robert Seiringer (unknown). Also nLab Robert Seiringer

History

2026-10-26: add by m2/dev