Inventory rows RA

RA038TWXQK RA038TWXQK

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

Mentions

arxiv: arXiv 2610.18419#Y09M (statement). In 7Q26JWKD7E/e1, lemma 10

History

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

Properties RA0HHNW3HX

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

Mentions

wikipedia: Wikipedia Dual lattice#RPM0, Properties (statement)

History

2026-11-02: add by m2/dev

Studentized residual RA0K8YC9MT

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

Mentions

wikipedia: Wikipedia Studentized residual, Studentized residual (definition). Also Wikidata Q6143358

History

2026-11-02: add by m2/dev

Eisenstein ideal RA0RQ5BJAX

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

Mentions

wikipedia: Wikipedia Eisenstein ideal, Eisenstein ideal (definition). Also Wikidata Q5349957

History

2026-11-02: add by m2/dev

first-order theory RA0SK292EK

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

Mentions

wikipedia: Wikipedia Glossary of logic#IJ2C, first-order theory (definition)

History

2026-11-02: add by m2/dev

Institute for Mathematical Sciences RA0SKE6A1Z

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

Mentions

wikipedia: Wikipedia National University of Singapore#4Z8H, Institute for Mathematical Sciences (unknown)

History

2026-11-02: add by m2/dev

RA1428Y4SZ RA1428Y4SZ

URI	`m2://inv/RA1428Y4SZ`
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#Z7FA (statement). In DQMEN40FZV/e1, lemma 5

History

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

Burgers vortex RA199B799M

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

Mentions

wikipedia: Wikipedia Burgers vortex, Burgers vortex (definition). Also Wikidata Q16000060

History

2026-11-02: add by m2/dev

Tuvalu RA19YAXBM4

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

Mentions

wikipedia: Wikipedia List of places with numeric names#8KEF, Tuvalu (unknown)

History

2026-11-02: add by m2/dev

Charles William Clenshaw RA1FTGGMT5

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

Mentions

wikipedia: Wikipedia Charles William Clenshaw, Charles William Clenshaw (topic). Also Wikidata Q102272954

History

2026-11-02: add by m2/dev

RA1KCR6VMG RA1KCR6VMG

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

Mentions

open_logic: open_logic content/turing-machines/machines-computations/representing-tms.tex#ex:doubler (example). In PKGMM3P5QY, ex, section 86.1

History

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

Improved horizontal derivative estimates RA1P51HD58

URI	`m2://inv/RA1P51HD58`
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.32829#X5CU, Improved horizontal derivative estimates (statement). In RYWAX33Z51/e1, proposition 8.1

History

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

RA1PNA6DNM RA1PNA6DNM

URI	`m2://inv/RA1PNA6DNM`
Kind	statement
Layer	research
MSC	14-XX, 30-XX, 32-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.04314#UU83 (statement). In AKWTE0M6PE/e1, lemma 12

History

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

RA1PZ09F7Z RA1PZ09F7Z

URI	`m2://inv/RA1PZ09F7Z`
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.10525#RSHP (statement). In N3K26VPX0R/e1, theorem 3.2

History

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

Example RA1T3QY4M2

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

Mentions

wikipedia: Wikipedia Model theory#HKWV, Example (example)

History

2026-11-02: add by m2/dev

RA1V1DNF6K RA1V1DNF6K

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

Mentions

arxiv: arXiv 2609.34845#1TC4 (statement). In SBZNH932ZV/e1, lemma 8.6

History

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

RA20RZM3H2 RA20RZM3H2

URI	`m2://inv/RA20RZM3H2`
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.33926#BQI0 (statement). In 1XF3T5HXNV/e1, theorem

History

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

Trigonometric polynomial RA23CR208T

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

Mentions

wikipedia: Wikipedia List of harmonic analysis topics#M6AI, Trigonometric polynomial (definition)

History

2026-11-02: add by m2/dev

Suslin representation RA26RNJNC3

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

Mentions

wikipedia: Wikipedia Suslin representation, Suslin representation (definition). Also Wikidata Q7649123

History

2026-11-02: add by m2/dev

RA27BQBTFZ RA27BQBTFZ

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

Mentions

arxiv: arXiv 2609.27906#IIWL (statement). In 5MPDK2NW2M/e1, proposition 2

History

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

RA28S0K81N RA28S0K81N

URI	`m2://inv/RA28S0K81N`
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.03837#IDJG (statement). In TX88QS0A8M/e1, lemma 10

History

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

divisibility chains at the endpoint RA2MJ6804A

URI	`m2://inv/RA2MJ6804A`
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#6NII, divisibility chains at the endpoint (statement)

History

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

RA32F9WVF4 RA32F9WVF4

URI	`m2://inv/RA32F9WVF4`
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.19285#BPBO (statement). In 6DJR9DKY5W/e1, proposition 5.7

History

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

RA36CM62TA RA36CM62TA

URI	`m2://inv/RA36CM62TA`
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.26450#0N7C (statement)

History

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

Theorem RA37AGXKNV

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

Mentions

wikipedia: Wikipedia Representer theorem#K9UI, Theorem (statement)

History

2026-11-02: add by m2/dev

RA39DCNDND RA39DCNDND

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

Mentions

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

History

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

RA3GJ15A93 RA3GJ15A93

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

Mentions

arxiv: arXiv 2610.06669#YLI4 (definition). In YXD3950ZXR/e1, definition 3.2

History

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

Theorem RA3GMS1XK7

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

Mentions

wikipedia: Wikipedia Continuous linear extension#HA4U, Theorem (statement)

History

2026-11-02: add by m2/dev

RA3JXX4KFW RA3JXX4KFW

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

Mentions

arxiv: arXiv 2610.13100#WTPT (definition). In CC6S1HVK0T/e1, definition 4.2

History

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

equipollent RA3MJ2PPG0

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

Mentions

wikipedia: Wikipedia Glossary of set theory#B62G, equipollent (definition)

History

2026-11-02: add by m2/dev

Examples RA3TJ6DTBG

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

Mentions

wikipedia: Wikipedia Pigeonhole principle#F1N1, Examples (example)

History

2026-11-02: add by m2/dev

Friedman's SSCG function RA3Z52EF25

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

Mentions

wikipedia: Wikipedia Friedman's SSCG function, Friedman's SSCG function (definition). Also Wikidata Q21014376

History

2026-11-02: add by m2/dev

RA3ZAG53GE RA3ZAG53GE

URI	`m2://inv/RA3ZAG53GE`
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.06206#O0TH (statement). In A7611PTXVQ/e1, proposition 4.3

History

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

Graph partition RA44G5DPX8

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#PBJQ, Graph partition (definition)

History

2026-11-02: add by m2/dev

$(a_i, b_i, w_i)$-bounded growth RA46MNDHYH

URI	`m2://inv/RA46MNDHYH`
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 2203.10220#NCWW, $(a_i, b_i, w_i)$-bounded growth (definition). In FX2SD1GFHT/e1, definition 2

History

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

Soul theorem RA477BVE5E

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

Mentions

wikipedia: Wikipedia List of theorems#9RHO, Soul theorem (statement)

History

2026-11-02: add by m2/dev

Dehn plane RA4D9XXCXZ

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

Mentions

wikipedia: Wikipedia Dehn plane, Dehn plane (definition). Also Wikidata Q5252319

History

2026-11-02: add by m2/dev

RA4H9RCBC7 RA4H9RCBC7

URI	`m2://inv/RA4H9RCBC7`
Kind	definition
Layer	research
MSC	03-XX, 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.27872#ZGQB (definition)

History

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

RA4HT6BCGE RA4HT6BCGE

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

Mentions

arxiv: arXiv 2503.01567#6LK3 (statement). In GB0V23Q6C5/e1, theorem A.2

History

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

Theorem 1 RA4JKZBW2F

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

Mentions

wikipedia: Wikipedia Near sets#SKLH, Theorem 1 (statement)

History

2026-11-02: add by m2/dev

E. Giannelli RA4NRT7R4F

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

Mentions

arxiv: arXiv 2609.27042#DEM7, E. Giannelli (conjecture)

History

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

Examples RA4T6PE9T7

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

Mentions

wikipedia: Wikipedia Slope#3KTF, Examples (example)

History

2026-11-02: add by m2/dev

RA575N1356 RA575N1356

URI	`m2://inv/RA575N1356`
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.18797#D955 (statement). In HVZW77G66Z/e1, corollary 4.5

History

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

Uniform finite-channel probability-$\varpi$ zero-chain RA5813GE0Z

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

Mentions

arxiv: arXiv 2610.01843#GUN2, Uniform finite-channel probability-$\varpi$ zero-chain (definition). In EDG9ZFDSWK/e1, definition B.7

History

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

Steele, J. Michael RA5BW9VACN

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

Mentions

wikipedia: Wikipedia List of statisticians#VP19, Steele, J. Michael (unknown)

History

2026-11-02: add by m2/dev

Properties RA5CEJT721

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

Mentions

wikipedia: Wikipedia Constant curvature#4EIS, Properties (statement)

History

2026-11-02: add by m2/dev

RA5F32FYVH RA5F32FYVH

URI	`m2://inv/RA5F32FYVH`
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.01656#RRNK (statement). In AHGQZ89DY0/e1, lemma 4.3

History

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

First-Order Characterization RA5N74QNRZ

URI	`m2://inv/RA5N74QNRZ`
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.10927#CN4I, First-Order Characterization (statement). In DHEJP3YATV/e1, corollary 12

History

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

Restatement RA5RGMRZ4P

URI	`m2://inv/RA5RGMRZ4P`
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.09882#QXQP, Restatement (statement). In 7XV6T4N79V/e1, lemma 4.4
arxiv: arXiv 2610.09882#XOVF (statement). In 7XV6T4N79V/e1, lemma 4.4

History

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

Application RA5TKJCQDZ

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

Mentions

wikipedia: Wikipedia Key finding attacks#1PTF, Application (example)

History

2026-11-02: add by m2/dev

RA5XDNWCSQ RA5XDNWCSQ

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

Mentions

arxiv: arXiv 2610.11847#HGEV (statement). In MP2YM69XW8/e1, theorem 3

History

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

Interval finite element RA61GW2SSB

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#RGY0, Interval finite element (definition)

History

2026-11-02: add by m2/dev

Kazimierz Kuratowski RA62BB47Z8

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#D602, Kazimierz Kuratowski (topic)

History

2026-11-02: add by m2/dev

Five Mile Prairie, Spokane RA64S3QTJH

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

Mentions

wikipedia: Wikipedia List of places with numeric names#Q084, Five Mile Prairie, Spokane (unknown)

History

2026-11-02: add by m2/dev

Scandinavian Journal of Statistics RA65DAG4AQ

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

Mentions

wikipedia: Wikipedia List of statistics journals#XKL7, Scandinavian Journal of Statistics (unknown)

History

2026-11-02: add by m2/dev

RA65EAC3ZM RA65EAC3ZM

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

Mentions

open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/truth-at-w.tex#probtag-2 (exercise). In PKGMM3P5QY, probtag, section 55.2

History

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

Theorem about eigenvalues of the matrix and time evolution RA6GHTRG35

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

Mentions

wikipedia: Wikipedia Master equation#Z67S, Theorem about eigenvalues of the matrix and time evolution (statement)

History

2026-11-02: add by m2/dev

Examples RA6J8E3N2A

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

Mentions

wikipedia: Wikipedia Negligible function#IA5F, Examples (example)

History

2026-11-02: add by m2/dev

Remark RA6JC97278

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

Mentions

wikipedia: Wikipedia ELSV formula#CHB0, Remark (unknown)

History

2026-11-02: add by m2/dev

RA6KB6EP4G RA6KB6EP4G

URI	`m2://inv/RA6KB6EP4G`
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.12486#PQAN (statement). In CWQ2YHT24E/e1, lemma 3.2

History

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

List of calculus topics RA6QDKY3JG

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#M5M8, List of calculus topics (topic)

History

2026-11-02: add by m2/dev

triangle inequality for complex numbers RA6XEDPN57

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

Mentions

wikidata: Wikidata Q120567818, triangle inequality for complex numbers (statement). Also ProofWiki Triangle_Inequality/Complex_Numbers

History

2026-10-26: add by m2/dev

RA6ZMGHN5Z RA6ZMGHN5Z

URI	`m2://inv/RA6ZMGHN5Z`
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#V99M (statement). In 81CGKD8RTP/e1, corollary 1

History

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

RA71S244VY RA71S244VY

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-polyfit.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 3.3

History

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

Definitions RA7BHM1FE8

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

Mentions

wikipedia: Wikipedia Uncertain inference#P6AK, Definitions (definition)

History

2026-11-02: add by m2/dev

RA7F131MHA RA7F131MHA

URI	`m2://inv/RA7F131MHA`
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 2610.03555#D98A (definition). In 9JZJTRRVR1/e1, definition 2.9

History

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

N-ary group RA7F3DJ60A

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

Mentions

wikipedia: Wikipedia N-ary group, N-ary group (definition). Also Wikidata Q4369853

History

2026-11-02: add by m2/dev

List coloring conjecture RA7GH3MB45

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

Mentions

wikipedia: Wikipedia List edge-coloring#AXIW, List coloring conjecture (statement)

History

2026-11-02: add by m2/dev

Hadamard's theorem on the radius of meromorphy RA7TTHF01Q

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

Mentions

wikipedia: Wikipedia List of things named after Jacques Hadamard#PG04, Hadamard's theorem on the radius of meromorphy (unknown)

History

2026-11-02: add by m2/dev

Traced monoidal category RA7ZHB1ZVJ

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

Mentions

wikipedia: Wikipedia Traced monoidal category, Traced monoidal category (definition). Also Wikidata Q17104253

History

2026-11-02: add by m2/dev

Algorithm for any 2-bridge link RA80CXCN2F

URI	`m2://inv/RA80CXCN2F`
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.16731#DTKF, Algorithm for any 2-bridge link (statement). In D68KBZQ4Q6/e1, theorem 3.32

History

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

RA80R5C1H3 RA80R5C1H3

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

Mentions

hott_book: hott_book homotopy.tex#proof-3 (proof). In N54F33XE07, proof, section 7.1.4

History

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

Strict 2-adjunction RA8CHP2BTC

URI	`m2://inv/RA8CHP2BTC`
Kind	definition
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#VGN5, Strict 2-adjunction (definition). In HX63A1PH1W/e1, definition 8.5

History

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

Dining cryptographers problem RA8PHJ1RJB

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

Mentions

wikipedia: Wikipedia Dining cryptographers problem, Dining cryptographers problem (problem). Also Wikidata Q3544405

History

2026-11-02: add by m2/dev

RA8PNS1WD3 RA8PNS1WD3

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

Mentions

arxiv: arXiv 2609.32338#7L6I (statement). In HVY45JQRNK/e1, lemma 2.6

History

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

Complete mixing RA91JB8RHQ

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

Mentions

wikipedia: Wikipedia Complete mixing, Complete mixing (definition). Also Wikidata Q5156508

History

2026-11-02: add by m2/dev

RA9EQT91PW RA9EQT91PW

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

Mentions

arxiv: arXiv 2609.25275#TGFV (statement)

History

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

URP lower bound and URP/COS equality RA9R6NRKGN

URI	`m2://inv/RA9R6NRKGN`
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.11143#M03V, URP lower bound and URP/COS equality (statement). In 9CS15SV662/e1, theorem 1.2

History

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

Consensus Error RA9SPBG9FT

URI	`m2://inv/RA9SPBG9FT`
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.32832#LZ0Q, Consensus Error (statement). In VS7P86QHFR/e1, lemma 6

History

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

Marcus Terentinus Varro RA9T0YZZT8

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#WOYB, Marcus Terentinus Varro (unknown)

History

2026-11-02: add by m2/dev

Theorem RA9T4XBX01

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

Mentions

wikipedia: Wikipedia Frobenius normal form#ZOM7, Theorem (statement)

History

2026-11-02: add by m2/dev

RA9Z5KQH79 RA9Z5KQH79

URI	`m2://inv/RA9Z5KQH79`
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.39269#TPNQ (statement). In HS4X20TX33/e1, lemma 0.22

History

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

RAA064S731 RAA064S731

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

Mentions

arxiv: arXiv 2609.01473#S99P (statement). In ABS9M47F4K/e1, corollary 2.2

History

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

George Oster RAA3FG9NYW

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Q16R, George Oster (unknown)

History

2026-11-02: add by m2/dev

Definition RAA4Q9T3B7

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

Mentions

wikipedia: Wikipedia Inner product space#TGHS, Definition (definition)

History

2026-11-02: add by m2/dev

RAADNZVNTS RAADNZVNTS

URI	`m2://inv/RAADNZVNTS`
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.32651#C633 (statement). In WFJXSE3VDT/e1, proposition 4.8

History

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

RAAN66BNJT RAAN66BNJT

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

Mentions

arxiv: arXiv 2610.09900#G2DV (statement). In ATSYBWEMMP/e1, proposition 5.11

History

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

RAAP516CMF RAAP516CMF

URI	`m2://inv/RAAP516CMF`
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.20306#802Q (statement). In YG5EX49042/e1, proposition 6.6

History

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

RAAPCD84PN RAAPCD84PN

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

Mentions

arxiv: arXiv 2609.39169#YPYE (problem). In ANHWXYPQFX/e1, problem 4.1

History

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

Open Problems RAB7EHA213

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

Mentions

wikipedia: Wikipedia Graph coloring game#HG1N, Open Problems (statement)

History

2026-11-02: add by m2/dev

RABE470GQK RABE470GQK

URI	`m2://inv/RABE470GQK`
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.20077#X95X (statement). In W5XRKWDADE/e1, lemma 3.6

History

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

Theorem RABEDE79Z3

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

Mentions

wikipedia: Wikipedia Finite intersection property#9A1E, Theorem (statement)

History

2026-11-02: add by m2/dev

RABGDA4YQ6 RABGDA4YQ6

URI	`m2://inv/RABGDA4YQ6`
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.31327#TWK2 (statement). In F605BQ3AYX/e1, proposition 3.5

History

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

Kruskal–Katona theorem RABH7P0RZ3

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

Mentions

mathlib_1000: mathlib_1000 Q3527102, Kruskal–Katona theorem (statement). Also Mathlib Finset.kruskal_katona, Wikidata Q3527102
mathlib_overview: mathlib_overview Combinatorics > Set families > Kruskal-Katona theorem, Kruskal-Katona theorem (unknown). Also Mathlib Finset.kruskal_katona
thousand_plus: thousand_plus Q3527102, Kruskal–Katona theorem (statement). Also Mathlib Finset.kruskal_katona, Wikidata Q3527102, Wikipedia Kruskal–Katona theorem
wikipedia: Wikipedia Kruskal–Katona theorem, Kruskal–Katona theorem (statement). Also Wikidata Q3527102

History

2026-10-26: add by m2/dev

Expected utility hypothesis RABSF6TSRK

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

Mentions

wikipedia: Wikipedia Expected utility hypothesis, Expected utility hypothesis (statement). Also Wikidata Q2319304

History

2026-11-02: add by m2/dev

Blichfeldt's theorem RABVYKRXWX

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

Mentions

wikidata: Wikidata Q30749910, Blichfeldt's theorem (statement). Also MathWorld BlichfeldtsTheorem

History

2026-10-26: add by m2/dev

Properties RAC6PC9RDA

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

Mentions

wikipedia: Wikipedia Quasirandom group#LTO6, Properties (statement)

History

2026-11-02: add by m2/dev

Corollary RACM8M3YFK

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

Mentions

wikipedia: Wikipedia Dimension theory (algebra)#4DXG, Corollary (statement)

History

2026-11-02: add by m2/dev

RAD10B34KE RAD10B34KE

URI	`m2://inv/RAD10B34KE`
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.15037#7IOD (statement). In 9XCA9T80GJ/e1, theorem 1.0.1

History

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

Richard Dien Winfield RAD28Y0ZD2

URI	`m2://inv/RAD28Y0ZD2`
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 Q81749700, Richard Dien Winfield (unknown). Also nLab Richard Dien Winfield

History

2026-10-26: add by m2/dev

Lee Albert Rubel RAD4E7Z0J0

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#TRR7, Lee Albert Rubel (topic)

History

2026-11-02: add by m2/dev

Exponential kissing number for $p>p_0$ RAD4HNCWW2

URI	`m2://inv/RAD4HNCWW2`
Kind	statement
Layer	research
MSC	11-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.14380#KE83, Exponential kissing number for $p>p_0$ (statement). In 2ZRQP063HP/e1, corollary 5.2

History

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

RAD4M8M160 RAD4M8M160

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

Mentions

arxiv: arXiv 2504.07573#3DUM (statement). In 78X5SKJX8J/e1, proposition 2.3

History

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

Ninohe RAD5SC65FR

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

Mentions

wikipedia: Wikipedia List of places with numeric names#RC3T, Ninohe (unknown)

History

2026-11-02: add by m2/dev

RAD6JWY0K0 RAD6JWY0K0

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

Mentions

open_logic: open_logic content/incompleteness/incompleteness-provability/tarski-thm.tex#lem-1 (statement). In PKGMM3P5QY, lem, section 28.6

History

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

RADPFX20VZ RADPFX20VZ

URI	`m2://inv/RADPFX20VZ`
Kind	statement
Layer	research
MSC	05-XX, 13-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.36021#TEXR (statement). In CB68ATPEV9/e1, theorem 3.3

History

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

Cryptographically secure pseudo-random number generator RADSP8GVZ2

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

Mentions

wikipedia: Wikipedia List of algorithms#X02Q, Cryptographically secure pseudo-random number generator (definition)

History

2026-11-02: add by m2/dev

Slow-mode diagnostics RADT3Z8X2V

URI	`m2://inv/RADT3Z8X2V`
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#CVRT, Slow-mode diagnostics (statement). In TGYC3SE8XM/e1, theorem 4

History

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

Regular-source exclusion RADVRHEM8E

URI	`m2://inv/RADVRHEM8E`
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.25762#HE0W, Regular-source exclusion (statement)

History

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

RADW8GWBQW RADW8GWBQW

URI	`m2://inv/RADW8GWBQW`
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.14838#667K (statement). In J7ZX3WWRQP/e1, proposition 3.3

History

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

RAE6ZN3VQZ RAE6ZN3VQZ

URI	`m2://inv/RAE6ZN3VQZ`
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.21140#3UH3 (statement)

History

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

RAE9Y2RRWZ RAE9Y2RRWZ

URI	`m2://inv/RAE9Y2RRWZ`
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.21540#TM4F (statement)

History

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

Example RAECS3B2TT

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

Mentions

wikipedia: Wikipedia Factorial experiment#S6EP, Example (example)

History

2026-11-02: add by m2/dev

RAEG8VG5AM RAEG8VG5AM

URI	`m2://inv/RAEG8VG5AM`
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.12295#2WGT (statement). In 6DZPR52HRP/e1, lemma 4.13

History

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

RAEJP8NTMM RAEJP8NTMM

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

Mentions

arxiv: arXiv 2609.38243#E3IB (statement). In R03K2N7FRF/e1, lemma B.2

History

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

RAEMKYV4NA RAEMKYV4NA

URI	`m2://inv/RAEMKYV4NA`
Kind	example
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.00512#HK8D (example). In RB5QBG3MJY/e1, example 4.12

History

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

Dualistic cosmology RAEP9E63NS

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

Mentions

wikipedia: Wikipedia List of dualities#ES5H, Dualistic cosmology (unknown)

History

2026-11-02: add by m2/dev

Extension to arbitrary sets of formulas RAET67FT8M

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

Mentions

wikipedia: Wikipedia Original proof of Gödel's completeness theorem#OJVX, Extension to arbitrary sets of formulas (statement)

History

2026-11-02: add by m2/dev

Example usage RAEVZEWMCW

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

Mentions

wikipedia: Wikipedia Integer square root#035B, Example usage (example)

History

2026-11-02: add by m2/dev

Example RAF0V0V10R

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

Mentions

wikipedia: Wikipedia Romberg's method#XYB5, Example (example)

History

2026-11-02: add by m2/dev

Extensional logic RAF2FK1VEV

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

Mentions

wikipedia: Wikipedia Intensional logic#EQPR, Extensional logic (unknown)

History

2026-11-02: add by m2/dev

Anatoly M. Vershik RAF2NDZV0K

URI	`m2://inv/RAF2NDZV0K`
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#QWFS, Anatoly M. Vershik (topic)

History

2026-11-02: add by m2/dev

RAFC3M9FGZ RAFC3M9FGZ

URI	`m2://inv/RAFC3M9FGZ`
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.35421#JTMW (statement). In KE8B8KMDJJ/e1, proposition 6

History

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

RAFCEVGQN1 RAFCEVGQN1

URI	`m2://inv/RAFCEVGQN1`
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 2610.22074#YFYX (statement). In F3BKXXPR3K/e1, proposition 3.13

History

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

Examples RAFJAJTP04

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

Mentions

wikipedia: Wikipedia Extraspecial group#RDKD, Examples (example)

History

2026-11-02: add by m2/dev

RAFWSH8QD6 RAFWSH8QD6

URI	`m2://inv/RAFWSH8QD6`
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.13913#1S1P (statement). In BW5GVH97JE/e1, proposition 3.16

History

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

Smaller $r$ implies more grokking RAFXRXCQZE

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

Mentions

arxiv: arXiv 2609.38453#8A4D, Smaller $r$ implies more grokking (statement). In DWKWF242Y0/e1, theorem 2

History

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

RAG2S1HQ68 RAG2S1HQ68

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

Mentions

napkin: napkin tex/homology/cohomology.tex#definition-1 (definition). In RZP28ERRZV, definition, section 51.1

History

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

RAG3PGMQKX RAG3PGMQKX

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

Mentions

arxiv: arXiv 2609.29489#UQLK (statement)

History

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

Definition RAGA7H5G9F

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

Mentions

wikipedia: Wikipedia Near-field (mathematics)#4CGC, Definition (definition)

History

2026-11-02: add by m2/dev

Emil Hilb RAGCSH7CFW

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

Mentions

wikipedia: Wikipedia Emil Hilb, Emil Hilb (topic). Also Wikidata Q89071

History

2026-11-02: add by m2/dev

Lower bound on estimation error RAGDPGGE51

URI	`m2://inv/RAGDPGGE51`
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.15111#2BYW, Lower bound on estimation error (statement). In 6RE6JYE4GP/e1, theorem 3.3

History

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

RAGJDY98W7 RAGJDY98W7

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

Mentions

arxiv: arXiv 2610.06707#U2EP (definition). In 9TR5E527P5/e1, definition 5.1

History

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

Felsenstein's tree-pruning algorithm RAGP21TP7G

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

Mentions

wikipedia: Wikipedia List of statistics articles#DV29, Felsenstein's tree-pruning algorithm (definition)

History

2026-11-02: add by m2/dev

Spiros Argyros RAGQPFBHVK

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0EV3, Spiros Argyros (unknown)

History

2026-11-02: add by m2/dev

RAGRVTZCRZ RAGRVTZCRZ

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-82 (exercise). In VNMV985MXX, exercise, section 2.3

History

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

A simple example RAGW8ETQ4P

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

Mentions

wikipedia: Wikipedia Verlet integration#TOLX, A simple example (example)

History

2026-11-02: add by m2/dev

RAH46C12CA RAH46C12CA

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

Mentions

arxiv: arXiv 2610.08050#8L1B (statement). In K9Q0GZXRN3/e1, theorem 1.1

History

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

RAHBEKD2H9 RAHBEKD2H9

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

Mentions

arxiv: arXiv 2404.06445#RU1P (statement). In 12JKZ8EN52/e1, corollary 7.11

History

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

Cyclostationary process RAHHVZ6X90

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

Mentions

wikipedia: Wikipedia List of statistics articles#QLO0, Cyclostationary process (definition)

History

2026-11-02: add by m2/dev

Aldous' spectral gap conjecture RAHT9E1E96

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

Mentions

wikipedia: Wikipedia Aldous' spectral gap conjecture, Aldous' spectral gap conjecture (statement). Also Wikidata Q139891469

History

2026-11-02: add by m2/dev

Ralph Gordon Stanton RAJ0VEEPK2

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#JJ1V, Ralph Gordon Stanton (topic)

History

2026-11-02: add by m2/dev

Hypercomplex manifold RAJ9C5MJ8F

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#A2IW, Hypercomplex manifold (definition)

History

2026-11-02: add by m2/dev

Ernst Sigismund Fischer RAJ9VQE3G9

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#26PJ, Ernst Sigismund Fischer (topic)

History

2026-11-02: add by m2/dev

Definition RAJA4Y64TB

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

Mentions

wikipedia: Wikipedia Average crossing number#N7GK, Definition (definition)

History

2026-11-02: add by m2/dev

Examples RAJC30BZS6

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

Mentions

wikipedia: Wikipedia Semi-continuity#3RNI, Examples (example)

History

2026-11-02: add by m2/dev

RAJFZVJ5DK RAJFZVJ5DK

URI	`m2://inv/RAJFZVJ5DK`
Kind	statement
Layer	research
MSC	35-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.34081#HEGQ (statement). In 3RVGEKGX46/e1, proposition 3.2

History

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

Definition RAJJBFD8CF

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

Mentions

wikipedia: Wikipedia Cardinality#7MST, Definition (definition)

History

2026-11-02: add by m2/dev

Initial data on one-species slices RAJKK97039

URI	`m2://inv/RAJKK97039`
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.18350#VWC6, Initial data on one-species slices (statement). In A20E8FZS21/e1, proposition 7.5

History

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

protium RAK0CG6T72

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

Mentions

wikidata: Wikidata Q12830437, protium (definition). Also ProofWiki Definition:Hydrogen/1

History

2026-10-26: add by m2/dev

RAK5KZXP6P RAK5KZXP6P

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

Mentions

arxiv: arXiv 2610.14555#3MAR (statement). In NHW0VEJ09F/e1, proposition B.4

History

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

RAK9W0ZSWB RAK9W0ZSWB

URI	`m2://inv/RAK9W0ZSWB`
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.05263#B86K (statement). In PXKFYDPDFY/e1, lemma 1

History

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

Formal definition RAKDMFB5Y1

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

Mentions

wikipedia: Wikipedia Channel capacity#E8BT, Formal definition (definition)

History

2026-11-02: add by m2/dev

RAKGQBMD8E RAKGQBMD8E

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

Mentions

arxiv: arXiv 2105.03252#7DN7 (statement). In 2E47BDDDR4/e1, lemma 4.12

History

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

RAKJGHW59A RAKJGHW59A

URI	`m2://inv/RAKJGHW59A`
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 2509.05577#8MJ0 (statement). In EFWBREMZAP/e1, theorem 0.6

History

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

RAKS1QM44Q RAKS1QM44Q

URI	`m2://inv/RAKS1QM44Q`
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.38664#RX6G (statement). In 7BCDS9M8MC/e1, theorem 1.1

History

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

RAKVD0CV78 RAKVD0CV78

URI	`m2://inv/RAKVD0CV78`
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.07852#S7LA (statement). In 8X43SAEM99/e1, theorem 1.2

History

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

RAKXTT0BK0 RAKXTT0BK0

URI	`m2://inv/RAKXTT0BK0`
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.15744#02W5 (statement). In NV3PBZGBB7/e1, theorem 2.5

History

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

RAM68BNXYP RAM68BNXYP

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

Mentions

arxiv: arXiv 2610.09900#85J4 (definition). In ATSYBWEMMP/e1, definition 5.3

History

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

RAMAEJSS2M RAMAEJSS2M

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

Mentions

arxiv: arXiv 2610.10247#HYKA (statement). In XWTMY44RF1/e1, theorem 1.1

History

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

RAMFSHKQ43 RAMFSHKQ43

URI	`m2://inv/RAMFSHKQ43`
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.23128#S2PM (statement)

History

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

Quasiprobability distribution RAMMNKZMJJ

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

Mentions

wikipedia: Wikipedia Quasiprobability distribution, Quasiprobability distribution (definition). Also Wikidata Q7269518

History

2026-11-02: add by m2/dev

Paneitz operator RAMRGVPYC5

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

Mentions

wikipedia: Wikipedia Paneitz operator, Paneitz operator (definition). Also Wikidata Q7130807

History

2026-11-02: add by m2/dev

RAMTNGPNCD RAMTNGPNCD

URI	`m2://inv/RAMTNGPNCD`
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 2309.15424#MQXE (statement). In NXYZ1EAWKN/e1, lemma 3.1

History

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

RAN2YWPHNP RAN2YWPHNP

URI	`m2://inv/RAN2YWPHNP`
Kind	example
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.31300#SEG9 (example). In ERHQDB8M41/e1, example 3.14

History

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

RAN8X3KX3A RAN8X3KX3A

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

Mentions

arxiv: arXiv 2609.28011#JFN5 (statement)

History

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

Localized quantile estimate RAN94NPVPZ

URI	`m2://inv/RAN94NPVPZ`
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.01391#KOCY, Localized quantile estimate (statement). In MAZNVJX5YK/e1, lemma 11

History

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

Stochastic volatility jump models RANG12ZBMK

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

Mentions

wikipedia: Wikipedia Stochastic volatility jump models, Stochastic volatility jump models (definition). Also Wikidata Q135257185

History

2026-11-02: add by m2/dev

Properties RANM8F8483

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

Mentions

wikipedia: Wikipedia Unavoidable pattern#FXFE, Properties (statement)

History

2026-11-02: add by m2/dev

Bivariegated graph RANPNJB8PW

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

Mentions

wikipedia: Wikipedia Bivariegated graph, Bivariegated graph (definition). Also Wikidata Q6322787

History

2026-11-02: add by m2/dev

Bramble–Hilbert lemma RANSPGBQXW

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

Mentions

wikipedia: Wikipedia List of lemmas#FY1T, Bramble–Hilbert lemma (statement)

History

2026-11-02: add by m2/dev

RANYCZCWDQ RANYCZCWDQ

URI	`m2://inv/RANYCZCWDQ`
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.26262#2XK3 (statement)

History

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

Client update RAP4WDEQC3

URI	`m2://inv/RAP4WDEQC3`
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.13631#5PBI, Client update (statement). In N6PQQSYN73/e1, proposition 1

History

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

Dmitry Gudkov RAP6WMDVRZ

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

Mentions

wikipedia: Wikipedia Dmitry Gudkov (mathematician), Dmitry Gudkov (topic). Also Wikidata Q19975800

History

2026-11-02: add by m2/dev

Structural Properties of $\iota$ RAP773B1BK

URI	`m2://inv/RAP773B1BK`
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.21131#D2C8, Structural Properties of $\iota$ (statement). In CPYWHRTPKC/e1, lemma 2.15

History

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

Harish-Chandra character RAPC26Y6E3

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

Mentions

wikipedia: Wikipedia List of harmonic analysis topics#ULNX, Harish-Chandra character (definition)

History

2026-11-02: add by m2/dev

lituus RAPCNFYQNK

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

Mentions

wikidata: Wikidata Q404794, lituus (unknown). Also MathWorld Lituus
wikipedia: Wikipedia Lituus (mathematics), Lituus (definition). Also Wikidata Q404794

History

2026-10-26: add by m2/dev

RAPFTRTKQ5 RAPFTRTKQ5

URI	`m2://inv/RAPFTRTKQ5`
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 2210.04075#QFWM (statement). In C5DZR0TC5E/e1, corollary 2.10

History

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

RAPND7CK95 RAPND7CK95

URI	`m2://inv/RAPND7CK95`
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 2609.27320#ATD3 (statement)

History

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

RAPPF1DGXY RAPPF1DGXY

URI	`m2://inv/RAPPF1DGXY`
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.13585#DZN5 (definition). In VM1H86JNN7/e1, definition 2.3

History

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

The algorithm RAPSX8H2ME

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

Mentions

wikipedia: Wikipedia Elliptic curve only hash#S7Q1, The algorithm (definition)

History

2026-11-02: add by m2/dev

RAPW5WD9WT RAPW5WD9WT

URI	`m2://inv/RAPW5WD9WT`
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 2208.04502#HK00 (statement). In BT6E9BXXF3/e1, lemma 2.9

History

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

Properties RAQ32910PQ

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

Mentions

wikipedia: Wikipedia Independent set (graph theory)#8KQG, Properties (statement)

History

2026-11-02: add by m2/dev

\coqident{cwf_structure}}, {\coqident{cwf RAQ5YX005D

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

Mentions

arxiv: arXiv 1705.04310#3CPQ, \coqident{cwf_structure}}, {\coqident{cwf (definition). In MG51GG0QZN/e1, definition 3.1

History

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

Examples RAQPCNB4S6

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

Mentions

wikipedia: Wikipedia Minimum effort game#O8Y9, Examples (example)

History

2026-11-02: add by m2/dev

\textsf{Uniform $L^p$ block bound RAQQ683CMG

URI	`m2://inv/RAQQ683CMG`
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.09404#2WEI, \textsf{Uniform $L^p$ block bound (statement). In D7CZZ48FRN/e1, proposition 3.1

History

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

One-bit separation gap RAQX3RYGDM

URI	`m2://inv/RAQX3RYGDM`
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.11834#PFYZ, One-bit separation gap (definition). In SMC03CWP4R/e1, definition 4

History

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

Hermine Agavni Kalustyan RAR5HHJWA6

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

Mentions

wikipedia: Wikipedia Hermine Agavni Kalustyan, Hermine Agavni Kalustyan (topic). Also Wikidata Q12809952

History

2026-11-02: add by m2/dev

Formal definition RARDBT96SC

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

Mentions

wikipedia: Wikipedia Borel measure#LXGT, Formal definition (definition)

History

2026-11-02: add by m2/dev

RARP73T50K RARP73T50K

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

Mentions

open_logic: open_logic content/methods/proofs/using-definitions.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 45.4

History

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

Weighted Hoffman's ratio bound RART07NGYV

URI	`m2://inv/RART07NGYV`
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.21645#HIYJ, Weighted Hoffman's ratio bound (statement)

History

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

RARWRD8EX1 RARWRD8EX1

URI	`m2://inv/RARWRD8EX1`
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.21359#CBLY (statement)

History

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

RAS2X8FFKS RAS2X8FFKS

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

Mentions

napkin: napkin tex/homology/singular.tex#example-6 (example). In RZP28ERRZV, example, section 55.2

History

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

RAS96SJ1MN RAS96SJ1MN

URI	`m2://inv/RAS96SJ1MN`
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.23128#BZE3 (statement)

History

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

Dois Riachos RASGHTJ1MP

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

Mentions

wikipedia: Wikipedia List of places with numeric names#034O, Dois Riachos (unknown)

History

2026-11-02: add by m2/dev

HAS-V RASK1GDGVC

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#F9I3, HAS-V (unknown)

History

2026-11-02: add by m2/dev

Francis X. Schumacher RASP70HCY2

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#O7RU, Francis X. Schumacher (unknown)

History

2026-11-02: add by m2/dev

maximum independent set RASRFF3B7E

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

Mentions

wikidata: Wikidata Q93597459, maximum independent set (unknown). Also MathWorld MaximumIndependentVertexSet

History

2026-10-26: add by m2/dev

RASRPCT2K3 RASRPCT2K3

URI	`m2://inv/RASRPCT2K3`
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.22268#72E9 (statement). In 9ZD87293QS/e1, corollary 3.28

History

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

Algorithm RASSPHDSBJ

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

Mentions

wikipedia: Wikipedia Williams's p + 1 algorithm#1BV5, Algorithm (definition)

History

2026-11-02: add by m2/dev

Examples RASV0XXMAQ

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

Mentions

wikipedia: Wikipedia Triangular matrix#5G0O, Examples (example)

History

2026-11-02: add by m2/dev

RASXF90228 RASXF90228

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

Mentions

napkin: napkin tex/homology/cohomology.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 51.8

History

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

Leonid Levin RASYZNJA73

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#4RZ3, Leonid Levin (unknown)

History

2026-11-02: add by m2/dev

Bashar ibn Shu'aib RAT3JW79BZ

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#OBYA, Bashar ibn Shu'aib (definition)

History

2026-11-02: add by m2/dev

signature RAT3XKCJP8

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

Mentions

wikipedia: Wikipedia Glossary of logic#8TZL, signature (definition)

History

2026-11-02: add by m2/dev

RAT7DDRMX2 RAT7DDRMX2

URI	`m2://inv/RAT7DDRMX2`
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.00775#NKOK (statement). In WVHA7H05QC/e1, theorem 2.17

History

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

RAT8E26FYJ RAT8E26FYJ

URI	`m2://inv/RAT8E26FYJ`
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.19945#IGE0 (statement)

History

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

Theta classes in complete bipartite graphs RATC2TXMS4

URI	`m2://inv/RATC2TXMS4`
Kind	statement
Layer	research
MSC	05-XX, 20-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.04305#M2BJ, Theta classes in complete bipartite graphs (statement). In Y1DR0DPWD0/e1, theorem 4.9

History

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

Relevant principles RATCDYW9G9

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

Mentions

wikipedia: Wikipedia Black hole information paradox#V8XZ, Relevant principles (statement)

History

2026-11-02: add by m2/dev

RATFATN9C7 RATFATN9C7

URI	`m2://inv/RATFATN9C7`
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.14450#NXF1 (statement). In ZHTGQT07PE/e1, lemma 3.10

History

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

Structure of abelian measurable tilings RATFF7P6TM

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

Mentions

arxiv: arXiv 2203.01511#2Q22, Structure of abelian measurable tilings (statement). In QA7EPHDTV2/e1, theorem 1.2

History

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

RATMTCQXRY RATMTCQXRY

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

Mentions

arxiv: arXiv 2610.08638#BAVO (statement). In 113VZ5XX7J/e1, lemma 5.7

History

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

\bf Entropy and Random Horseshoe RATNBV9M04

URI	`m2://inv/RATNBV9M04`
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 1612.08394#EPRN, \bf Entropy and Random Horseshoe (statement). In 1P8D88DKG5/e1, theorem B

History

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

Kaleidocycle RATR8TRHH9

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

Mentions

wikipedia: Wikipedia Kaleidocycle, Kaleidocycle (definition). Also Wikidata Q3192291

History

2026-11-02: add by m2/dev

Computation RATY0QPK3N

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

Mentions

wikipedia: Wikipedia Quantum network#M67Q, Computation (definition)

History

2026-11-02: add by m2/dev

RATZMED1JT RATZMED1JT

URI	`m2://inv/RATZMED1JT`
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.16180#3G4G (statement). In FCFD59D3T6/e1, lemma 2.1

History

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

Properties RAV0C4ZFQN

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

Mentions

wikipedia: Wikipedia Logical NOR#YNLJ, Properties (statement)

History

2026-11-02: add by m2/dev

Properties RAV4N3SHEW

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

Mentions

wikipedia: Wikipedia Linear least squares#RCGI, Properties (statement)

History

2026-11-02: add by m2/dev

Clifford's theorem on special divisors RAV4V13BNP

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

Mentions

wikipedia: Wikipedia Riemann–Roch theorem#ALEI, Clifford's theorem on special divisors (statement)

History

2026-11-02: add by m2/dev

Suspension functor RAV80DKA7T

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

Mentions

wikipedia: Wikipedia List of algebraic topology topics#V83D, Suspension functor (definition)

History

2026-11-02: add by m2/dev

RAVDAJGY2R RAVDAJGY2R

URI	`m2://inv/RAVDAJGY2R`
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.19715#R26W (statement). In XXMP1Z495D/e1, theorem 1

History

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

RAVGRDBMDW RAVGRDBMDW

URI	`m2://inv/RAVGRDBMDW`
Kind	example
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.07963#8QWD (example). In HAGJKEZ1CK/e1, example 7.13

History

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

RAVRR0ZNDQ RAVRR0ZNDQ

URI	`m2://inv/RAVRR0ZNDQ`
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.39790#NUFL (statement). In C2C9GTQFYF/e1, lemma 2.4

History

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

RAVW3BHNSP RAVW3BHNSP

URI	`m2://inv/RAVW3BHNSP`
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.14838#8A0F (statement). In J7ZX3WWRQP/e1, proposition 3.11

History

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

FASCIA (database) RAVWB1EWNR

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

Mentions

wikipedia: Wikipedia National Security Agency#AH2J, FASCIA (database) (unknown)

History

2026-11-02: add by m2/dev

Monomial notation RAVY22G7Z3

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

Mentions

arxiv: arXiv 2610.04164#HM35, Monomial notation (definition). In KR7WXN4EWR/e1, definition 4.1

History

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

Wendover RAW8EYA91B

URI	`m2://inv/RAW8EYA91B`
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#RI2H, Wendover (unknown)

History

2026-11-02: add by m2/dev

Symmetry in problem solving RAWKNYK18R

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

Mentions

wikipedia: Wikipedia Symmetry in problem solving, Symmetry in problem solving (problem). Also Wikidata Q139760319

History

2026-11-02: add by m2/dev

RAWN1ZA2SD RAWN1ZA2SD

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

Mentions

open_logic: open_logic content/first-order-logic/completeness/compactness-direct.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 9.8

History

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

RAX1Y2WH5P RAX1Y2WH5P

URI	`m2://inv/RAX1Y2WH5P`
Kind	statement
Layer	research
MSC	26-XX, 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.27730#LZ7Q (statement)

History

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

RAX7PAHNDT RAX7PAHNDT

URI	`m2://inv/RAX7PAHNDT`
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.18101#8LPA (statement). In XXN6KKXPYF/e1, lemma 2.6

History

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

Steven Hurder RAXDF4BPXM

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#F93Y, Steven Hurder (topic)

History

2026-11-02: add by m2/dev

RAXENS5VCV RAXENS5VCV

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

Mentions

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

History

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

RAXK4K0BVT RAXK4K0BVT

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

Mentions

hott_book: hott_book setmath.tex#lem:pb_of_coeq_is_coeq (statement). In N54F33XE07, lem, section C.1.2

History

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

The Codebreakers RAXQG23A3T

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

Mentions

wikipedia: Wikipedia The Codebreakers, The Codebreakers (definition). Also Wikidata Q13479282

History

2026-11-02: add by m2/dev

RAXRWXMH7M RAXRWXMH7M

URI	`m2://inv/RAXRWXMH7M`
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.15744#E8E7 (statement). In NV3PBZGBB7/e1, proposition 6.13

History

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

book RAXVEB2XYA

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#ZPXK, book (definition)

History

2026-11-02: add by m2/dev

RAY20RY2M6 RAY20RY2M6

URI	`m2://inv/RAY20RY2M6`
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.20922#E0IA (statement). In BYG6MRRYA1/e1, theorem

History

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

RAY8RTW967 RAY8RTW967

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

Mentions

arxiv: arXiv 2609.29898#F5Q3 (statement)

History

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

Square roots of $-\one$ RAYDY6T2QJ

URI	`m2://inv/RAYDY6T2QJ`
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.12483#K0ZQ, Square roots of $-\one$ (statement). In 159250CY6S/e1, proposition 6.2

History

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

RAYJC2QVEP RAYJC2QVEP

URI	`m2://inv/RAYJC2QVEP`
Kind	example
Layer	research
MSC	03-XX, 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.16475#T8V3 (example). In FM9SKN560Q/e1, example 4.4

History

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

RAYSDWNEMQ RAYSDWNEMQ

URI	`m2://inv/RAYSDWNEMQ`
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.39204#VHSI (statement). In K6W2TMCYQA/e1, theorem 6.1

History

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

RAYTPE0HSF RAYTPE0HSF

URI	`m2://inv/RAYTPE0HSF`
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.18777#D76Z (statement). In TFZDPHDF7V/e1, proposition A.6

History

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

RAYX6E0V5C RAYX6E0V5C

URI	`m2://inv/RAYX6E0V5C`
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#6PF5 (statement). In 6WJ0R9YEBR/e1, theorem A

History

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

Applications RAYZ6KAYKH

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

Mentions

wikipedia: Wikipedia Receiver function#TZGU, Applications (example)

History

2026-11-02: add by m2/dev

RAYZHGK2YG RAYZHGK2YG

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

Mentions

open_logic: open_logic content/set-theory/spine/rank.tex#ranksexist (statement). In PKGMM3P5QY, prop, section 74.4

History

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

RAZ1VJZCQ2 RAZ1VJZCQ2

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

Mentions

arxiv: arXiv 2610.18016#WSZJ (statement). In V5PVKDKGGG/e1, corollary 7.3

History

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

RAZ65CQJH6 RAZ65CQJH6

URI	`m2://inv/RAZ65CQJH6`
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.31910#9T0Q (statement). In E4EK1XXPY4/e1, proposition 5.10

History

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

Computation RAZ9KEJ5T9

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

Mentions

wikipedia: Wikipedia Multilinear multiplication#6OJT, Computation (definition)

History

2026-11-02: add by m2/dev

RAZA6RYJDF RAZA6RYJDF

URI	`m2://inv/RAZA6RYJDF`
Kind	statement
Layer	research
MSC	05-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 2411.00562#QL8V (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm

History

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

Near-diagonal mixed normality RAZAC93HWB

URI	`m2://inv/RAZAC93HWB`
Kind	statement
Layer	research
MSC	26-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.26110#L9DU, Near-diagonal mixed normality (statement)

History

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

RAZJYY451A RAZJYY451A

URI	`m2://inv/RAZJYY451A`
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.21682#J4BH (statement)

History

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

RAZYV8GZH6 RAZYV8GZH6

URI	`m2://inv/RAZYV8GZH6`
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-64 (exercise). In E9HS8K3A52, exercise, section 5.5.3

History

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