Inventory rows RJ

Dogbone space RJ004ZV6EX

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

Mentions

wikipedia: Wikipedia Dogbone space, Dogbone space (definition). Also Wikidata Q5288317

History

2026-11-02: add by m2/dev

RJ018D0796 RJ018D0796

URI	`m2://inv/RJ018D0796`
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.26477#2D4T (statement)

History

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

Compound marker endomorphism RJ0RVH5AZA

URI	`m2://inv/RJ0RVH5AZA`
Kind	definition
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.24449#APQV, Compound marker endomorphism (definition)

History

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

Formal definition RJ0SN4SP8W

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

Mentions

wikipedia: Wikipedia Strain-rate tensor#MLS3, Formal definition (definition)

History

2026-11-02: add by m2/dev

RJ0SXMPMBY RJ0SXMPMBY

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

Mentions

arxiv: arXiv math/0406514#HPS0 (statement). In CY1FE8W1ZW/e1, statement 0.233

History

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

RJ0Z2MSKF2 RJ0Z2MSKF2

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

Mentions

arxiv: arXiv 2508.21045#KUIY (statement). In CGA36VE1C5/e1, fact 3.9.1

History

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

Boolean implicant RJ14T8NP89

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

Mentions

wikipedia: Wikipedia List of Boolean algebra topics#MZPT, Boolean implicant (definition)

History

2026-11-02: add by m2/dev

Affine Gaudin model RJ1ED8DJPJ

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

Mentions

wikipedia: Wikipedia Garnier integrable system#UWTP, Affine Gaudin model (unknown)

History

2026-11-02: add by m2/dev

RJ1J6MY4TK RJ1J6MY4TK

URI	`m2://inv/RJ1J6MY4TK`
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.09565#NBHJ (statement). In 7A5YZACF1E/e1, proposition 3

History

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

RJ1JME1TXV RJ1JME1TXV

URI	`m2://inv/RJ1JME1TXV`
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.21632#MM5A (statement). In Q4RZTN2EX6/e1, proposition 3.2

History

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

RJ1JVJZPPY RJ1JVJZPPY

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

Mentions

arxiv: arXiv 2610.01946#2TNV (statement). In NB1Z31FMXN/e1, lemma 3.13

History

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

discrete mathematics RJ1KJSBJ3W

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

Mentions

wikidata: Wikidata Q121416, discrete mathematics (topic). Also MathWorld DiscreteMathematics, nLab discrete mathematics, ProofWiki Definition:Discrete_Mathematics
wikipedia: Wikipedia Discrete mathematics, Discrete mathematics (topic). Also Wikidata Q121416

History

2026-10-26: add by m2/dev

RJ1MRMDDA7 RJ1MRMDDA7

URI	`m2://inv/RJ1MRMDDA7`
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.01802#3AD9 (statement). In XGPZ0G9E1Q/e1, theorem 9.4

History

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

Yuri Manin RJ1T41AXDD

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#XEMP, Yuri Manin (topic)

History

2026-11-02: add by m2/dev

RJ1VMXNZ9Y RJ1VMXNZ9Y

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

Mentions

arxiv: arXiv 2610.09333#3WZ3 (statement). In Z9HC1EDTQP/e1, lemma 6.1

History

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

RJ1ZMR72K4 RJ1ZMR72K4

URI	`m2://inv/RJ1ZMR72K4`
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.05327#PJUW (statement). In ZD7BWDKT84/e1, theorem 2.3

History

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

Majda's model RJ20GRSS1J

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

Mentions

wikipedia: Wikipedia Majda's model, Majda's model (definition). Also Wikidata Q55621801

History

2026-11-02: add by m2/dev

RJ215ZQN51 RJ215ZQN51

URI	`m2://inv/RJ215ZQN51`
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.19882#LQE8 (statement)

History

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

Superposition theorem RJ245PCBYN

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

Mentions

wikipedia: Wikipedia Poisson point process#3RXV, Superposition theorem (statement)

History

2026-11-02: add by m2/dev

Scalar coefficient growth RJ2AH5QX8B

URI	`m2://inv/RJ2AH5QX8B`
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.15202#N5XM, Scalar coefficient growth (statement). In X1FPG0KYBM/e1, lemma C.2

History

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

Halton sequence RJ2QV1CZEQ

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

Mentions

wikipedia: Wikipedia Halton sequence, Halton sequence (definition). Also Wikidata Q5643679

History

2026-11-02: add by m2/dev

Example RJ2R147235

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

Mentions

wikipedia: Wikipedia Laplace expansion#F9LN, Example (example)

History

2026-11-02: add by m2/dev

Barnes–Hut simulation RJ2RKEY1M5

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

Mentions

wikipedia: Wikipedia Barnes–Hut simulation, Barnes–Hut simulation (definition). Also Wikidata Q808453

History

2026-11-02: add by m2/dev

Tournament solution RJ337FD6NC

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

Mentions

wikipedia: Wikipedia Tournament solution, Tournament solution (definition). Also Wikidata Q28456269

History

2026-11-02: add by m2/dev

Number Theory: An Approach Through History from Hammurapi to Legendre RJ34D3NDGX

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

Mentions

wikipedia: Wikipedia Number Theory: An Approach Through History from Hammurapi to Legendre, Number Theory: An Approach Through History from Hammurapi to Legendre (definition). Also Wikidata Q7069561

History

2026-11-02: add by m2/dev

Meno's slave RJ39NR4E1K

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

Mentions

wikipedia: Wikipedia Meno#5QQU, Meno's slave (unknown)

History

2026-11-02: add by m2/dev

LabPlot RJ3EZWW4AX

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#3TOK, LabPlot (unknown)

History

2026-11-02: add by m2/dev

RJ3MWRMGYW RJ3MWRMGYW

URI	`m2://inv/RJ3MWRMGYW`
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 Q58323267 (unknown). Also nLab Steven Duplij

History

2026-10-26: add by m2/dev

RJ3PQ7PDXP RJ3PQ7PDXP

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

Mentions

open_logic: open_logic content/set-theory/card-arithmetic/opps.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 69.4

History

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

Dothan model RJ3QKMN6FP

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

Mentions

wikipedia: Wikipedia Short-rate model#L3VX, Dothan model (unknown)

History

2026-11-02: add by m2/dev

RJ478SYNMA RJ478SYNMA

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

Mentions

arxiv: arXiv 0905.1489#PDH9 (statement). In MZ18CTV65N/e1, fact 4

History

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

Favard constant RJ48TXXZX6

URI	`m2://inv/RJ48TXXZX6`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Favard constant 9K1W9Q49NR

Mentions

wikidata: Wikidata Q5438429, Favard constant (concept). Also MathWorld FavardConstants
wikipedia: Wikipedia Favard constant, Favard constant (object). Also Wikidata Q5438429

History

2026-10-26: add by m2/dev

Paul Gordan RJ4EEK6W0G

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

Mentions

wikipedia: Wikipedia Paul Gordan, Paul Gordan (topic). Also Wikidata Q61801

History

2026-11-02: add by m2/dev

locatedness RJ4KWB214H

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

Mentions

hott_book: hott_book index/B.2/locatedness, locatedness (concept). In N54F33XE07, index, section B.2

History

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

Nothing-up-my-sleeve number RJ4MXPPSNZ

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

Mentions

wikipedia: Wikipedia Nothing-up-my-sleeve number, Nothing-up-my-sleeve number (definition). Also Wikidata Q13770084

History

2026-11-02: add by m2/dev

Persistence from a high state RJ4YSCVPN0

URI	`m2://inv/RJ4YSCVPN0`
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.19421#DOUV, Persistence from a high state (statement). In 3S1VFGYWQE/e1, lemma 17

History

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

Boundary current RJ4ZZNDG3J

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

Mentions

wikipedia: Wikipedia Boundary current, Boundary current (definition). Also Wikidata Q3273117

History

2026-11-02: add by m2/dev

Adams RJ519NT6FJ

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#3F3Y, Adams (definition)

History

2026-11-02: add by m2/dev

NASTRAN-xMG RJ51HKQRQ6

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

Mentions

wikipedia: Wikipedia Nastran#K3OV, NASTRAN-xMG (unknown)

History

2026-11-02: add by m2/dev

DiShIn RJ52M76W2N

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

Mentions

wikipedia: Wikipedia DiShIn, DiShIn (definition). Also Wikidata Q5590534

History

2026-11-02: add by m2/dev

RJ57CQGK25 RJ57CQGK25

URI	`m2://inv/RJ57CQGK25`
Kind	statement
Layer	research
MSC	37-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 2609.30821#KQ69 (statement). In 1MZ9XBPTFQ/e1, proposition 5

History

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

Theorem of the square RJ5WZF16KT

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

Mentions

wikipedia: Wikipedia Theorem of the cube#8GPJ, Theorem of the square (statement)

History

2026-11-02: add by m2/dev

descriptive statistics RJ5Z6XZRWV

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#WLRH, descriptive statistics (definition)

History

2026-11-02: add by m2/dev

Subsequential limit RJ65YG7A07

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

Mentions

wikipedia: Wikipedia Subsequential limit, Subsequential limit (definition). Also Wikidata Q6471547

History

2026-11-02: add by m2/dev

RJ6CQTT07S RJ6CQTT07S

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

Mentions

arxiv: arXiv 2610.17677#AMWD (statement). In 5E9G06XJKC/e1, lemma D.14

History

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

John M. Chambers RJ6DXXT6DQ

URI	`m2://inv/RJ6DXXT6DQ`
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#EY0C, John M. Chambers (topic)

History

2026-11-02: add by m2/dev

RJ6JQEFKHE RJ6JQEFKHE

URI	`m2://inv/RJ6JQEFKHE`
Kind	statement
Layer	research
MSC	14-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.15926#YVTA (statement). In G0J92BSX4A/e1, lemma 3.1

History

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

Greg Hjorth RJ6KKEGQCS

URI	`m2://inv/RJ6KKEGQCS`
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#7OE8, Greg Hjorth (unknown)

History

2026-11-02: add by m2/dev

597 (number) RJ6MKSBWXG

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

Mentions

wikipedia: Wikipedia 500 (number)#8VIZ, 597 (number) (unknown)

History

2026-11-02: add by m2/dev

unbiased estimator RJ6WY8X663

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

Mentions

wikidata: Wikidata Q112892869, unbiased estimator (unknown). Also MathWorld UnbiasedEstimator

History

2026-10-26: add by m2/dev

Kaiser's (1960) eigenvalue-greater-than-one rule (K1 or Kaiser criterion) RJ6X6S8D0J

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

Mentions

wikipedia: Wikipedia Exploratory factor analysis#Y6C6, Kaiser's (1960) eigenvalue-greater-than-one rule (K1 or Kaiser criterion) (statement)

History

2026-11-02: add by m2/dev

RJ701QZN8J RJ701QZN8J

URI	`m2://inv/RJ701QZN8J`
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 2610.20956#T6NH (statement). In X9WFC1D9ZS/e1, corollary 21

History

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

RJ709CJ0RV RJ709CJ0RV

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

Mentions

lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#example:counterexamplediffunder (example). In E59CDZA4DP, example, section 6.1

History

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

RJ78KGHD1Y RJ78KGHD1Y

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

History

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

Further composition laws on forms RJ7E6NFH2D

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

Mentions

wikipedia: Wikipedia Bhargava cube#6HGW, Further composition laws on forms (statement)

History

2026-11-02: add by m2/dev

RJ7FHHN40X RJ7FHHN40X

URI	`m2://inv/RJ7FHHN40X`
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 2410.18564#3MFY (statement). In MC8ZBZ14PM/e1, fact 2.4

History

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

\chg{Quadratic improvement: general activations RJ7R2F137H

URI	`m2://inv/RJ7R2F137H`
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.09044#9ZID, \chg{Quadratic improvement: general activations (statement). In 4KYENHR0J8/e1, theorem 3

History

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

RJ8E7H0MH9 RJ8E7H0MH9

URI	`m2://inv/RJ8E7H0MH9`
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.32524#RXG6 (statement). In XGCND7R0B0/e1, theorem 6.3

History

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

RJ8FYMSV3S RJ8FYMSV3S

URI	`m2://inv/RJ8FYMSV3S`
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.20010#CN2W (statement). In AK2DV65PRT/e1, theorem 4.1

History

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

RJ8HT76HCB RJ8HT76HCB

URI	`m2://inv/RJ8HT76HCB`
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.25129#0KIN (statement)

History

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

Silver cardinal RJ8VY9NKWN

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

Mentions

wikipedia: Wikipedia List of large cardinal properties#KWQB, Silver cardinal (unknown)

History

2026-11-02: add by m2/dev

statistical dispersion RJ8W93WHN7

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#VJ7J, statistical dispersion (definition)

History

2026-11-02: add by m2/dev

RJ9BTHWS8R RJ9BTHWS8R

URI	`m2://inv/RJ9BTHWS8R`
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.15831#83I6 (statement). In CVESAPNMCQ/e1, theorem Theorem

History

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

Standard error RJ9CW6NR4N

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

Mentions

wikipedia: Wikipedia List of statistics articles#HK0F, Standard error (definition)

History

2026-11-02: add by m2/dev

Kelvin conjecture RJ9F3YS3G1

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

Mentions

wikidata: Wikidata Q2993320, Kelvin conjecture (conjecture). Also MathWorld KelvinsConjecture

History

2026-10-26: add by m2/dev

Arg max RJ9HDZ8G2X

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

Mentions

wikipedia: Wikipedia Arg max, Arg max (definition). Also Wikidata Q287353

History

2026-11-02: add by m2/dev

RJ9MPRHM6F RJ9MPRHM6F

URI	`m2://inv/RJ9MPRHM6F`
Kind	statement
Layer	research
MSC	26-XX, 30-XX, 32-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 1804.05688#NAR6 (statement). In M8F4PDHH3S/e1, theorem A.3

History

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

RJ9VZ286FV RJ9VZ286FV

URI	`m2://inv/RJ9VZ286FV`
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.14236#0E56 (statement). In XEQD21EBTT/e1, lemma 5.9

History

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

RJAA7ZZQHS RJAA7ZZQHS

URI	`m2://inv/RJAA7ZZQHS`
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.31983#L0QV (statement). In K06R03KX8Y/e1, theorem 1

History

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

Diamagnetic inequalities RJACKHH6RB

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

Mentions

arxiv: arXiv 2609.21972#73QL, Diamagnetic inequalities (statement)

History

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

Decidability RJACSMGVS7

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

Mentions

wikipedia: Wikipedia Glossary of game theory#18QS, Decidability (definition)

History

2026-11-02: add by m2/dev

Eutaris RJAHHXEBSY

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

Mentions

wikipedia: Wikipedia Eutaris, Eutaris (topic). Also Wikidata Q125358446

History

2026-11-02: add by m2/dev

Symmetric difference RJAM65SK6J

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

Mentions

wikipedia: Wikipedia List of Boolean algebra topics#0422, Symmetric difference (definition)

History

2026-11-02: add by m2/dev

Free monad RJAPTSAM8D

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

Mentions

wikipedia: Wikipedia Monad (functional programming)#HZLA, Free monad (unknown)

History

2026-11-02: add by m2/dev

RJAVKBC0KX RJAVKBC0KX

URI	`m2://inv/RJAVKBC0KX`
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#ZPPQ (definition). In 9DQKY7KGE8/e1, definition C.6

History

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

RJB2C7F14Z RJB2C7F14Z

URI	`m2://inv/RJB2C7F14Z`
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.08935#CA47 (statement). In G02N9D40B9/e1, proposition 6.1.1

History

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

RJB3PY5VTZ RJB3PY5VTZ

URI	`m2://inv/RJB3PY5VTZ`
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.04675#24X0 (statement). In RDXNFF2CZP/e1, corollary 12

History

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

RJB7WGJQRA RJB7WGJQRA

URI	`m2://inv/RJB7WGJQRA`
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 2411.16022#8UYV (statement). In QG9ATXTKJ6/e1, proposition 2.30

History

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

RJB86J61DT RJB86J61DT

URI	`m2://inv/RJB86J61DT`
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.38548#7367 (statement). In Z7ZFV3HM1S/e1, theorem 6.7

History

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

generator RJB8XA8DGW

URI	`m2://inv/RJB8XA8DGW`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Generators of a group 0MBV2VHMXA

Mentions

wikidata: Wikidata Q643669, generator (unknown). Also MathWorld GroupGenerators
wikidata: Wikidata Q734209, generating set of a group (unknown). Also MathWorld GroupGenerators
wikipedia: Wikipedia Generator (mathematics), Generator (definition). Also Wikidata Q643669
wikipedia: Wikipedia Generating set of a group, Generating set of a group (definition). Also Wikidata Q734209

History

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

refinement RJB92MJ41V

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

Mentions

wikidata: Wikidata Q119751219, refinement (definition). Also MathWorld Refinement, ProofWiki Definition:Refinement_of_Cover

History

2026-10-26: add by m2/dev

emirp RJB94C1PAY

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

Mentions

wikidata: Wikidata Q500623, emirp (unknown). Also MathWorld Emirp, OEIS A006567
wikipedia: Wikipedia Emirp, Emirp (definition). Also Wikidata Q500623

History

2026-10-26: add by m2/dev

This Book Needs No Title RJBF5S0EMY

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

Mentions

wikipedia: Wikipedia This Book Needs No Title, This Book Needs No Title (definition). Also Wikidata Q54432701

History

2026-11-02: add by m2/dev

Symmetry, the initial gap and optimality RJBHR8P4YF

URI	`m2://inv/RJBHR8P4YF`
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.06480#CVC9, Symmetry, the initial gap and optimality (statement). In 2Y47E704Z9/e1, lemma 6.2

History

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

RJBNZ89KBG RJBNZ89KBG

URI	`m2://inv/RJBNZ89KBG`
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.26357#4QNM (statement)

History

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

Characterizations RJC0VZNC88

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

Mentions

wikipedia: Wikipedia Infrabarrelled space#FREM, Characterizations (statement)

History

2026-11-02: add by m2/dev

Learning the bank RJC2GDXF43

URI	`m2://inv/RJC2GDXF43`
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.12211#WGN0, Learning the bank (statement). In WBC7PQTVYC/e1, proposition 14

History

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

Elmer FEM solver RJC3EV82EX

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#R6SB, Elmer FEM solver (unknown)

History

2026-11-02: add by m2/dev

recurrence equation, nonconstant coefficients RJC8A4XNNA

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

Mentions

applied_combinatorics: applied_combinatorics index/9.2/recurrence-equation-nonconstant-coefficients, recurrence equation, nonconstant coefficients (concept). In QKM9DD2H56, index, section 9.2

History

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

algorithm RJC9KHXNMB

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

Mentions

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

History

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

isomorphism RJCG5AA706

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

Mentions

levin_dmoi: levin_dmoi index/5.1/isomorphism, isomorphism (concept). In Y91XFCEVHQ, index, section 5.1

History

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

Michael Hoskin RJCJYSFYF3

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

Mentions

wikipedia: Wikipedia Michael Hoskin, Michael Hoskin (topic). Also Wikidata Q12771492

History

2026-11-02: add by m2/dev

RJCMRFHR4E RJCMRFHR4E

URI	`m2://inv/RJCMRFHR4E`
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.04709#1ZWG (statement). In 9J260W15RY/e1, theorem 1

History

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

Journal of Applied Econometrics RJCN8TR7DM

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

Mentions

wikipedia: Wikipedia Journal of Applied Econometrics, Journal of Applied Econometrics (topic). Also Wikidata Q6294781

History

2026-11-02: add by m2/dev

RJCPWHSGTD RJCPWHSGTD

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

Mentions

hott_book: hott_book setmath.tex#thm:inj-mono (statement). In N54F33XE07, lem, section C.1.2

History

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

Generalizations RJCX8JV245

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

Mentions

wikipedia: Wikipedia Graphon#P7R4, Generalizations (statement)

History

2026-11-02: add by m2/dev

RJCZMXBPGK RJCZMXBPGK

URI	`m2://inv/RJCZMXBPGK`
Kind	statement
Layer	research
MSC	11-XX, 14-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.11545#65AK (statement). In VN084GGZGK/e1, proposition 4.31

History

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

Poisoning the well RJD2FFB4S7

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

Mentions

wikipedia: Wikipedia Poisoning the well, Poisoning the well (definition). Also Wikidata Q992868

History

2026-11-02: add by m2/dev

An exact spectral dual RJD91BE6K4

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

Mentions

arxiv: arXiv 2609.38228#DTKO, An exact spectral dual (statement). In 9YAE8FNQST/e1, proposition 20.6

History

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

RJDCDWPXNC RJDCDWPXNC

URI	`m2://inv/RJDCDWPXNC`
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 2007.14459#FMJF (statement). In SGQ7VFEZ22/e1, lemma 3.5

History

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

RJDGY6P7PF RJDGY6P7PF

URI	`m2://inv/RJDGY6P7PF`
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 2504.01057#NY0T (statement). In 69QFBXJENW/e1, theorem 2.16

History

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

RJDJDJPND9 RJDJDJPND9

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

Mentions

arxiv: arXiv 2610.10930#WKQ4 (statement). In HX63A1PH1W/e1, corollary 6.21

History

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

Type hint RJDK7NCXT3

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

Mentions

wikipedia: Wikipedia Type system#3ZXM, Type hint (unknown)

History

2026-11-02: add by m2/dev

RJDP0GK70F RJDP0GK70F

URI	`m2://inv/RJDP0GK70F`
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.29326#2YRE (statement). In 3F83V6VKKA/e1, lemma 3.2

History

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

RJDQNK64B8 RJDQNK64B8

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

Mentions

arxiv: arXiv math/0406514#N8VD (statement). In CY1FE8W1ZW/e1, lemma 0.54

History

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

RJDV9RTRN6 RJDV9RTRN6

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

Mentions

arxiv: arXiv 2609.26496#0O7X (statement)

History

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

Examples RJDW1SJNR1

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

Mentions

wikipedia: Wikipedia Modular curve#V1E6, Examples (example)

History

2026-11-02: add by m2/dev

Localization RJEB5NTJ9Y

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

Mentions

arxiv: arXiv 2609.20609#12GS, Localization (statement)

History

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

RJEHHCGRQS RJEHHCGRQS

URI	`m2://inv/RJEHHCGRQS`
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 2511.05069#1FN9 (statement). In SFQBJBTW8K/e1, lemma 9.6

History

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

Example (S1) RJEJQPBSA7

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

Mentions

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

History

2026-11-02: add by m2/dev

naïve comprehension schema RJEQF6DTKB

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

Mentions

wikipedia: Wikipedia Glossary of set theory#04Q7, naïve comprehension schema (definition)

History

2026-11-02: add by m2/dev

RJEQPS7BDH RJEQPS7BDH

URI	`m2://inv/RJEQPS7BDH`
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.18219#N6I5 (statement). In X1AGBB90EH/e1, proposition 6.6

History

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

RJETA9PRVE RJETA9PRVE

URI	`m2://inv/RJETA9PRVE`
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.12357#3AJX (statement). In 1F26AF81XP/e1, lemma A.2

History

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

RJEW1CQ38N RJEW1CQ38N

URI	`m2://inv/RJEW1CQ38N`
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.05396#NLFM (statement). In WMVRX5GV9P/e1, lemma 2.10

History

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

RJEXJ7HJ9H RJEXJ7HJ9H

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

Mentions

open_logic: open_logic content/set-theory/ordinals/iso.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 72.5

History

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

Axial precession RJF08Z56RF

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

Mentions

wikipedia: Wikipedia Axial precession, Axial precession (definition). Also Wikidata Q83094

History

2026-11-02: add by m2/dev

RJF28RHBG6 RJF28RHBG6

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

Mentions

open_logic: open_logic content/model-theory/basics/theory-of-m.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 46.8

History

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

RJF3BPRKBP RJF3BPRKBP

URI	`m2://inv/RJF3BPRKBP`
Kind	example
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#BLVG (example). In 4WJ9HYVSZY/e1, example 2

History

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

tail of a sequence RJF4MWFCYF

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

Mentions

lebl_ra: lebl_ra index/10.1.2/tail-of-a-sequence, tail of a sequence (concept). In E59CDZA4DP, index, section 10.1.2

History

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

Choice under uncertainty RJFCBXNQQF

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

Mentions

wikipedia: Wikipedia Decision theory#SO9K, Choice under uncertainty (unknown)

History

2026-11-02: add by m2/dev

RJFE0T2XB0 RJFE0T2XB0

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

Mentions

arxiv: arXiv 2609.23872#ZX33 (statement)

History

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

Jennifer Morse RJFRMR44S7

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

Mentions

wikipedia: Wikipedia Jennifer Morse (mathematician), Jennifer Morse (topic). Also Wikidata Q101096112

History

2026-11-02: add by m2/dev

Transported geometry RJFS7HFHMF

URI	`m2://inv/RJFS7HFHMF`
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.10793#WBMN, Transported geometry (statement). In BSCKJRHJDT/e1, lemma 1

History

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

RJFW9YZ5K8 RJFW9YZ5K8

URI	`m2://inv/RJFW9YZ5K8`
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.02852#8YBA (statement). In HX6FXCYGKA/e1, corollary 4.3

History

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

RJFX1DSXPP RJFX1DSXPP

URI	`m2://inv/RJFX1DSXPP`
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 2011.08789#H05K (statement). In 43AGRMP7T3/e1, theorem

History

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

autocepstrum RJFZDYRYGR

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

Mentions

wikipedia: Wikipedia Cepstrum#IFEK, autocepstrum (definition)

History

2026-11-02: add by m2/dev

brute force method RJG0CKXXV2

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

Mentions

mathlib_undergrad: mathlib_undergrad Numerical Analysis > Iterative methods of solving systems of real and vector-valued equations > brute force method, brute force method (unknown)

History

2026-10-26: add by m2/dev

Eva Silverstein RJG3SKVB65

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

Mentions

wikipedia: Wikipedia List of string theory topics#KCIN, Eva Silverstein (unknown)

History

2026-11-02: add by m2/dev

Method RJGB2WQFXR

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

Mentions

wikipedia: Wikipedia Barnes interpolation#HFJM, Method (definition)

History

2026-11-02: add by m2/dev

RJGD96HKSE RJGD96HKSE

URI	`m2://inv/RJGD96HKSE`
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.25104#0FNR (statement)

History

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

Dyadic-Multiple Stopped-Distance RJGDXVQWK7

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

Mentions

arxiv: arXiv 2610.17677#GYWW, Dyadic-Multiple Stopped-Distance (definition). In 5E9G06XJKC/e1, definition C.24

History

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

Hilbert projection theorem RJGNG2YHCY

URI	`m2://inv/RJGNG2YHCY`
Kind	statement
Layer	textbook
MSC	46-XX
Sources	5
Outcome	open
Node	Hilbert projection theorem J5YNTHQMFX

Mentions

mathlib_1000: mathlib_1000 Q3527215, Hilbert projection theorem (statement). Also Mathlib exists_norm_eq_iInf_of_complete_convex, Wikidata Q3527215
mathlib_undergrad: mathlib_undergrad Topology > Hilbert spaces > Hilbert projection theorem, Hilbert projection theorem (unknown). Also Mathlib exists_norm_eq_iInf_of_complete_convex
thousand_plus: thousand_plus Q3527215, Hilbert projection theorem (statement). Also Mathlib exists_norm_eq_iInf_of_complete_convex, Wikidata Q3527215, Wikipedia Hilbert projection theorem
wikidata: Wikidata Q3527215, Hilbert projection theorem (statement). Also MathWorld ProjectionTheorem
wikipedia: Wikipedia Hilbert projection theorem, Hilbert projection theorem (statement). Also Wikidata Q3527215

History

2026-10-26: add by m2/dev

Chebyshev's bias RJGR89JZK0

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

Mentions

wikidata: Wikidata Q5089011, Chebyshev's bias (concept). Also MathWorld ChebyshevBias
wikipedia: Wikipedia Chebyshev's bias, Chebyshev's bias (definition). Also Wikidata Q5089011

History

2026-10-26: add by m2/dev

regular dodecagon RJGRAHV032

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

Mentions

wikidata: Wikidata Q18018003, regular dodecagon (unknown). Also MathWorld RegularDodecagon

History

2026-10-26: add by m2/dev

RJGRBRCWQK RJGRBRCWQK

URI	`m2://inv/RJGRBRCWQK`
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.18673#64ZN (statement). In 7ZFD9XRKA1/e1, proposition 3.7

History

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

Bayes linear statistics RJGXHWQTYT

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

Mentions

wikipedia: Wikipedia Bayes linear statistics, Bayes linear statistics (definition). Also Wikidata Q4874459

History

2026-11-02: add by m2/dev

RJH03ZKJKN RJH03ZKJKN

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

Mentions

applied_combinatorics: applied_combinatorics source/s_polya_exercises.ptx#exercise-6 (exercise). In QKM9DD2H56, exercise, section 15

History

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

RJH27FHEG9 RJH27FHEG9

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

Mentions

arxiv: arXiv 2610.10745#XNNZ (example). In 5MJ4NJ5ZCV/e1, example 2.10

History

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

medians RJH3P7MGYD

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

Mentions

wikipedia: Wikipedia List of triangle inequalities#T9P8, medians (definition)

History

2026-11-02: add by m2/dev

Maxim Podoprigora RJH6JSCBGJ

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#DP3H, Maxim Podoprigora (unknown)

History

2026-11-02: add by m2/dev

RJHCZD51B1 RJHCZD51B1

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

Mentions

arxiv: arXiv 2609.35383#3WTX (statement). In HSR4748706/e1, proposition 3.1

History

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

RJHSZH4CD3 RJHSZH4CD3

URI	`m2://inv/RJHSZH4CD3`
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 2305.08210#NUMF (statement). In D4VDVX74FT/e1, lemma 3

History

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

Interclass correlation RJHXC4WA9C

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

Mentions

wikipedia: Wikipedia List of statistics articles#8B38, Interclass correlation (definition)

History

2026-11-02: add by m2/dev

covering space, universal RJHXQD5V9A

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

Mentions

hott_book: hott_book index/7.1.3/covering-space-universal, covering space, universal (concept). In N54F33XE07, index, section 7.1.3

History

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

RJJ5B0ZC3C RJJ5B0ZC3C

URI	`m2://inv/RJJ5B0ZC3C`
Kind	statement
Layer	research
MSC	49-XX, 60-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.07285#XGGU (statement). In S284XRA4WK/e1, lemma B.10

History

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

RJJ90PRMWV RJJ90PRMWV

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

Mentions

arxiv: arXiv 2609.30637#ZX7C (statement). In 6G1KBA0SXV/e1, lemma 4.31

History

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

RJJKBQQX52 RJJKBQQX52

URI	`m2://inv/RJJKBQQX52`
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 1903.11969#7QYM (statement). In 9N4EV3GRM7/e1, theorem 3.1

History

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

Icelandic Mathematical Society RJJVY0MDXF

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

Mentions

wikipedia: Wikipedia Icelandic Mathematical Society, Icelandic Mathematical Society (definition). Also Wikidata Q108936703

History

2026-11-02: add by m2/dev

RJJWQA91EM RJJWQA91EM

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

Mentions

open_logic: open_logic content/first-order-logic/natural-deduction/proving-things-quant.tex#ex-3 (example). In PKGMM3P5QY, ex, section 15.6

History

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

RJJXKQ2JH4 RJJXKQ2JH4

URI	`m2://inv/RJJXKQ2JH4`
Kind	statement
Layer	research
MSC	11-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.18503#ATSJ (statement). In RW315W172S/e1, lemma 4.8

History

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

RJJXTB20EV RJJXTB20EV

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

Mentions

arxiv: arXiv 1209.5343#618B (definition). In 4SPYEGKZ8J/e1, definition 3.1

History

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

Bertrand's paradox RJK0Z9Q3PF

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

Mentions

wikipedia: Wikipedia List of probability topics#DXCF, Bertrand's paradox (statement)

History

2026-11-02: add by m2/dev

RJKB6XZJ65 RJKB6XZJ65

URI	`m2://inv/RJKB6XZJ65`
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.23847#RQXM (statement)

History

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

Distance and Graph Powers RJKE9JQP4Q

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

Mentions

arxiv: arXiv 2610.09300#WFCG, Distance and Graph Powers (definition). In JP589KS01S/e1, definition 2.2

History

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

Dominic Welsh RJKM04EXCD

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#AN5D, Dominic Welsh (unknown)

History

2026-11-02: add by m2/dev

strictness in the smooth closed problem RJKNXQRAGK

URI	`m2://inv/RJKNXQRAGK`
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.38838#ODAD, strictness in the smooth closed problem (statement). In 3EH8M9GWTX/e1, theorem 5.3

History

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

Yakov Perelman RJKPGQ8NX8

URI	`m2://inv/RJKPGQ8NX8`
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 Q559531, Yakov Perelman (unknown). Also ProofWiki Mathematician:Yakov_Isidorovich_Perelman

History

2026-10-26: add by m2/dev

RJKQ2FDRB4 RJKQ2FDRB4

URI	`m2://inv/RJKQ2FDRB4`
Kind	statement
Layer	research
MSC	11-XX, 14-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.24701#XPSR (statement)

History

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

RJKQ9Z18H1 RJKQ9Z18H1

URI	`m2://inv/RJKQ9Z18H1`
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.11772#WSW0 (definition). In 2GW9HYGZ8S/e1, definition 3.1

History

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

Azimuth RJMG5NRA6Y

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

Mentions

wikipedia: Wikipedia Azimuth, Azimuth (definition). Also Wikidata Q124274

History

2026-11-02: add by m2/dev

Quantile-parameterized distribution RJMP0WKQSH

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

Mentions

wikipedia: Wikipedia List of probability distributions#6HHK, Quantile-parameterized distribution (definition)

History

2026-11-02: add by m2/dev

RJMQP9V9RP RJMQP9V9RP

URI	`m2://inv/RJMQP9V9RP`
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.21388#URQF (statement)

History

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

RJMRQV6S8X RJMRQV6S8X

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

Mentions

arxiv: arXiv 2610.07040#7KGY (example). In KMNXNW7FHP/e1, example B.2

History

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

Brian Tyler RJMSSQ2MJM

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#KEG5, Brian Tyler (unknown)

History

2026-11-02: add by m2/dev

RJN0TSRKE4 RJN0TSRKE4

URI	`m2://inv/RJN0TSRKE4`
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.24412#I4RD (statement)

History

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

Floor and ceiling functions RJN22W2V9Z

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

Mentions

wikipedia: Wikipedia Floor and ceiling functions, Floor and ceiling functions (definition). Also Wikidata Q215193

History

2026-11-02: add by m2/dev

RJN22ZNDBZ RJN22ZNDBZ

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

Mentions

arxiv: arXiv 2609.28814#JI16 (statement)

History

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

Ezra Getzler RJN257T19Q

URI	`m2://inv/RJN257T19Q`
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 Q1352335, Ezra Getzler (unknown). Also nLab Ezra Getzler

History

2026-10-26: add by m2/dev

RJN5J00EB4 RJN5J00EB4

URI	`m2://inv/RJN5J00EB4`
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.20760#VW1X (statement). In 6G9JSJ5JMP/e1, proposition 34

History

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

Algorithm RJN5YNEPK2

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

Mentions

wikipedia: Wikipedia Branch and cut#N3J3, Algorithm (definition)

History

2026-11-02: add by m2/dev

Spatial exit bound RJNGVDBC6G

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

Mentions

arxiv: arXiv 2610.02531#66HS, Spatial exit bound (statement). In 44EQ0MZE8G/e1, lemma 8.1

History

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

RJNKHQG6X3 RJNKHQG6X3

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#problem-3 (exercise). In P1C114YBXG, problem, section G

History

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

RJNR6V6PQ2 RJNR6V6PQ2

URI	`m2://inv/RJNR6V6PQ2`
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.13745#CI2S (statement). In CFJH0Q39FZ/e1, theorem 7.3

History

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

Uniform quantitative concentration RJNV1M51Q7

URI	`m2://inv/RJNV1M51Q7`
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.10484#HNVU, Uniform quantitative concentration (statement). In 5B4AX4SF88/e1, theorem 3.6

History

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

Bounded diagonal discrepancy RJNV47TD7R

URI	`m2://inv/RJNV47TD7R`
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.31336#FI98, Bounded diagonal discrepancy (statement). In 70RV7J456D/e1, lemma 6

History

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

B. M. Levitan RJP0JJTBV2

URI	`m2://inv/RJP0JJTBV2`
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#RJT0, B. M. Levitan (unknown)

History

2026-11-02: add by m2/dev

Link prediction RJP16FM4RP

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

Mentions

wikipedia: Wikipedia Link prediction, Link prediction (definition). Also Wikidata Q98925312

History

2026-11-02: add by m2/dev

Integral primary vector RJP5HQPKJC

URI	`m2://inv/RJP5HQPKJC`
Kind	statement
Layer	research
MSC	14-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.10828#25TH, Integral primary vector (statement). In 8PTDFHV8SQ/e1, corollary 18.2

History

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

critical point RJPDZ8051N

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

Mentions

lebl_diffyqs: lebl_diffyqs index/4.6/critical-point, critical point (concept). In E9HS8K3A52, index, section 4.6

History

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

Point-Process Curvature Criterion RJPJJNVJ5H

URI	`m2://inv/RJPJJNVJ5H`
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.23994#6LFW, Point-Process Curvature Criterion (statement)

History

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

Example RJPPYHSK4Y

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

Mentions

wikipedia: Wikipedia Accuracy paradox#YG9B, Example (example)

History

2026-11-02: add by m2/dev

RJQ010GE5K RJQ010GE5K

URI	`m2://inv/RJQ010GE5K`
Kind	definition
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 2411.11470#ME7D (definition). In G1E3KERT6K/e1, definition 5.1

History

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

RJQ7YNWGGB RJQ7YNWGGB

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

Mentions

arxiv: arXiv 2510.23812#CLPT (statement). In D8XZBXJPR5/e1, theorem E

History

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

RJQCY5JSW9 RJQCY5JSW9

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

Mentions

arxiv: arXiv 2610.04730#9NR7 (statement). In QHFP0837Q8/e1, lemma 4.13

History

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

``First isomorphism theorem'' in abelian categories RJQJQ922AA

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

Mentions

napkin: napkin tex/cats/abelian.tex#prop:break_exact, ``First isomorphism theorem'' in abelian categories (statement). In RZP28ERRZV, proposition, section 35.5

History

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

RJQR96VMEQ RJQR96VMEQ

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-89 (exercise). In E9HS8K3A52, exercise, section 4.6.1

History

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

Example RJQRV0GA5A

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

Mentions

wikipedia: Wikipedia Chemical equation#8ZU9, Example (example)

History

2026-11-02: add by m2/dev

Mixed-derivative identity RJQWQYZ014

URI	`m2://inv/RJQWQYZ014`
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#EO9V, Mixed-derivative identity (statement)

History

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

RJQWR3EB6B RJQWR3EB6B

URI	`m2://inv/RJQWR3EB6B`
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.27114#LSHE (statement)

History

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

History of analytic number theory RJR1DV9DCZ

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

Mentions

wikipedia: Wikipedia Analytic number theory#G892, History of analytic number theory (unknown)

History

2026-11-02: add by m2/dev

Correlation destroys identifiability RJR1FFGP8Q

URI	`m2://inv/RJR1FFGP8Q`
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.04671#Y2ZL, Correlation destroys identifiability (statement). In BYP65TRGDT/e1, proposition 5.2

History

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

RJR541RQJH RJR541RQJH

URI	`m2://inv/RJR541RQJH`
Kind	example
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 2208.06310#2GK0 (example). In 9YR0E0T9XA/e1, example 2.2

History

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

Abstract and Applied Analysis RJR8H84ATJ

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

Mentions

wikipedia: Wikipedia Abstract and Applied Analysis, Abstract and Applied Analysis (definition). Also Wikidata Q4669937

History

2026-11-02: add by m2/dev

Properties RJRBXM5J2J

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

Mentions

wikipedia: Wikipedia Pencil (geometry)#8A6U, Properties (statement)

History

2026-11-02: add by m2/dev

RJRCBEJTSA RJRCBEJTSA

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

Mentions

arxiv: arXiv 1002.0879#L2S5 (definition). In M0SQY5EZN5/e1, definition 2.3.7

History

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

RJRFRHS6MS RJRFRHS6MS

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

Mentions

arxiv: arXiv 2610.10365#2Z60 (example). In PRVQPSBVHK/e1, example 3

History

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

RJRRWSWP67 RJRRWSWP67

URI	`m2://inv/RJRRWSWP67`
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.04809#2QP2 (statement). In 2VHV0RNTNV/e1, fact 7.4

History

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

Properties RJRX075P40

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

Mentions

wikipedia: Wikipedia Square orthobicupola#0P0Z, Properties (statement)

History

2026-11-02: add by m2/dev

Example RJS17G0R1H

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

Mentions

wikipedia: Wikipedia Generalized linear array model#47B5, Example (example)

History

2026-11-02: add by m2/dev

fundamental, pregroupoid RJS5KRAJ3T

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

Mentions

hott_book: hott_book index/2.9/fundamental-pregroupoid, fundamental, pregroupoid (concept). In N54F33XE07, index, section 2.9

History

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

Sierpiński problem RJS9JS8B24

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

Mentions

wikipedia: Wikipedia List of things named after Wacław Sierpiński#479E, Sierpiński problem (conjecture)

History

2026-11-02: add by m2/dev

Online reduction RJSA39W5BX

URI	`m2://inv/RJSA39W5BX`
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.20687#NHQB, Online reduction (statement)

History

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

Generalizations RJSBG5JXEV

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

Mentions

wikipedia: Wikipedia Natural number#5QUK, Generalizations (statement)

History

2026-11-02: add by m2/dev

Quenched Joint CLT RJSD266B5J

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

Mentions

arxiv: arXiv 2109.12716#H8MI, Quenched Joint CLT (statement). In 6X76XBE3HV/e1, theorem 1.5

History

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

Thomas Digges RJSETRK94Q

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

Mentions

wikipedia: Wikipedia Thomas Digges, Thomas Digges (topic). Also Wikidata Q531345

History

2026-11-02: add by m2/dev

RJSG0J96CR RJSG0J96CR

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

Mentions

arxiv: arXiv 2609.21703#TRE2 (definition)

History

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

Corollary 1. Pythagoras's theorem RJSHAP3DHS

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

Mentions

wikipedia: Wikipedia Ptolemy's theorem#SHGZ, Corollary 1. Pythagoras's theorem (statement)

History

2026-11-02: add by m2/dev

RJSK00BXZ5 RJSK00BXZ5

URI	`m2://inv/RJSK00BXZ5`
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 2609.24320#544F (statement)

History

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

RJSPFJA6K3 RJSPFJA6K3

URI	`m2://inv/RJSPFJA6K3`
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#O67D (statement)

History

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

Poincare recurrence theorem RJSW56C3MT

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

Mentions

wikipedia: Wikipedia Poincaré recurrence theorem#38AH, Poincare recurrence theorem (statement)

History

2026-11-02: add by m2/dev

RJT1JWFTAT RJT1JWFTAT

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

Mentions

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

History

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

Special cases RJT81VE5E6

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

Mentions

wikipedia: Wikipedia Quadratic bottleneck assignment problem#3P0T, Special cases (statement)

History

2026-11-02: add by m2/dev

continuous RJT86N69TN

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

Mentions

wikipedia: Wikipedia Glossary of module theory#BGQH, continuous (definition)

History

2026-11-02: add by m2/dev

Julia Stadlmann RJT9T66C1A

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

Mentions

wikipedia: Wikipedia Julia Stadlmann, Julia Stadlmann (topic). Also Wikidata Q141300803

History

2026-11-02: add by m2/dev

RJTBNHJE54 RJTBNHJE54

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

Mentions

arxiv: arXiv 2609.25457#LAFR (statement)

History

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

Automorphism group RJTDZQDA8H

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#HPHN, Automorphism group (definition)

History

2026-11-02: add by m2/dev

Rosedith Sitgreaves RJTEPYXW3J

URI	`m2://inv/RJTEPYXW3J`
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#YKDA, Rosedith Sitgreaves (topic)

History

2026-11-02: add by m2/dev

Francesco Severi RJTFVFAKH9

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#0HPO, Francesco Severi (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#330Z, Francesco Severi (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HA5N, Francesco Severi (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LDA0, Francesco Severi (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SKGR, Francesco Severi (topic)

History

2026-11-02: add by m2/dev

RJTJ1XTSXE RJTJ1XTSXE

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-5 (exercise). In E9HS8K3A52, exercise, section 8.1.3

History

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

RJTMMB6N5N RJTMMB6N5N

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

Mentions

arxiv: arXiv 2609.30262#8QAP (statement). In FWA5QW6FCF/e1, proposition 5.2

History

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

Structured data analysis RJTNAVH4E1

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

Mentions

wikipedia: Wikipedia Structured data analysis (statistics), Structured data analysis (definition). Also Wikidata Q3614973

History

2026-11-02: add by m2/dev

Tate's algorithm RJTP2596YM

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

Mentions

wikipedia: Wikipedia Tate's algorithm, Tate's algorithm (definition). Also Wikidata Q7687930

History

2026-11-02: add by m2/dev

semigroup RJTPXGWR2J

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

Mentions

hott_book: hott_book index/A.11/semigroup, semigroup (concept). In N54F33XE07, index, section A.11

History

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

Interpolation RJTV02RJ24

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

Mentions

arxiv: arXiv 2609.33327#A5PY, Interpolation (statement). In A5R31P82BK/e1, lemma 2.10

History

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

RJTW6BE7SZ RJTW6BE7SZ

URI	`m2://inv/RJTW6BE7SZ`
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.23847#FMJ9 (statement)

History

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

RJTWFAEEC2 RJTWFAEEC2

URI	`m2://inv/RJTWFAEEC2`
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.13670#UWY7 (statement). In 4PGTZ19B26/e1, lemma 4.3

History

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

kinetic theory RJTWYG1YKR

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

Mentions

wikidata: Wikidata Q200286, kinetic theory (topic)
wikipedia: Wikipedia Kinetic theory of gases, Kinetic theory of gases (definition). Also Wikidata Q200286

History

2026-10-26: add by m2/dev

RJTXZNXMYB RJTXZNXMYB

URI	`m2://inv/RJTXZNXMYB`
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.03477#EDA1 (statement). In GXN3D4G4HE/e1, proposition 3.8

History

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

material implication RJV6NGS0SZ

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

Mentions

wikipedia: Wikipedia Glossary of logic#BAEN, material implication (definition)

History

2026-11-02: add by m2/dev

Lloyd Shapley RJVJ1QE4T6

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#MRAF, Lloyd Shapley (unknown)

History

2026-11-02: add by m2/dev

Metric dimension RJVJ7K75Y3

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#J72Z, Metric dimension (definition)

History

2026-11-02: add by m2/dev

quarticovariant RJVJRZX6Y6

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#386X, quarticovariant (definition)

History

2026-11-02: add by m2/dev

RJVPTBXB0A RJVPTBXB0A

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

Mentions

arxiv: arXiv 2610.02689#R5DF (definition). In 7BWXR38MNE/e1, definition 2.1

History

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

Cubic certificate construction RJVVVVAE4F

URI	`m2://inv/RJVVVVAE4F`
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.04027#Z0LF, Cubic certificate construction (statement). In DQB4YR2DFH/e1, proposition 4.3

History

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

RJVYKFDMVD RJVYKFDMVD

URI	`m2://inv/RJVYKFDMVD`
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 2302.13533#WM5R (statement). In DK9GQ8G0T4/e1, theorem 1.1

History

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

Mean curvature of a nonzero level RJVZ338TN9

URI	`m2://inv/RJVZ338TN9`
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#OT6S, Mean curvature of a nonzero level (statement). In RYWAX33Z51/e1, proposition 11.7

History

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

RJW0J0RRKF RJW0J0RRKF

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

Mentions

austin_ula: austin_ula src/section4-5.xml#example-1 (example). In 649HGZKE96, example, section 4.5.3

History

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

Ralph Johnson RJW1HA06HD

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

Mentions

wikipedia: Wikipedia Ralph Johnson (philosopher), Ralph Johnson (topic). Also Wikidata Q7287721

History

2026-11-02: add by m2/dev

Peter Dinda RJW7AH3QV4

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#F2WH, Peter Dinda (unknown)

History

2026-11-02: add by m2/dev

Rudolf Carnap RJWCBS7VJV

URI	`m2://inv/RJWCBS7VJV`
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 Q76519, Rudolf Carnap (unknown). Also nLab Rudolf Carnap
wikipedia: Wikipedia Rudolf Carnap, Rudolf Carnap (topic). Also Wikidata Q76519

History

2026-10-26: add by m2/dev

RJWFT6F08C RJWFT6F08C

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

Mentions

arxiv: arXiv 2204.01121#9144 (statement). In 1HP57QXBGF/e1, theorem 1

History

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

Special cases RJWZG35DFC

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

Mentions

wikipedia: Wikipedia Hankel transform#YIE8, Special cases (statement)

History

2026-11-02: add by m2/dev

Ross–Littlewood paradox RJX36WN5TJ

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

Mentions

wikipedia: Wikipedia Supertask#A5NO, Ross–Littlewood paradox (statement)

History

2026-11-02: add by m2/dev

Francis Sowerby Macaulay RJXDBB9BCZ

URI	`m2://inv/RJXDBB9BCZ`
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#662M, Francis Sowerby Macaulay (topic)

History

2026-11-02: add by m2/dev

Generalizations RJXH3RK6BG

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

Mentions

wikipedia: Wikipedia Wieferich prime#G7CE, Generalizations (statement)

History

2026-11-02: add by m2/dev

RJXKFMBH2J RJXKFMBH2J

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#exercise-1 (exercise). In E59CDZA4DP, exercise, section 8.1.4

History

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

Examples RJXMTQ0S41

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

Mentions

wikipedia: Wikipedia Topological manifold#OCOZ, Examples (example)

History

2026-11-02: add by m2/dev

Distance-domination sandwich RJY1MND7RF

URI	`m2://inv/RJY1MND7RF`
Kind	statement
Layer	research
MSC	05-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 2609.31535#TZAW, Distance-domination sandwich (statement). In BAWCMJQGVA/e1, corollary 3.3

History

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

RJY2YNH4WC RJY2YNH4WC

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

Mentions

arxiv: arXiv 2503.00560#Y36L (statement). In KH1H3TSWPS/e1, proposition 4.1

History

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

RJY32YX2NK RJY32YX2NK

URI	`m2://inv/RJY32YX2NK`
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.08104#SQ49 (statement). In AH6BX8RZTW/e1, theorem 1.3

History

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

Maximal common divisor RJY35G56GJ

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

Mentions

wikipedia: Wikipedia Maximal common divisor, Maximal common divisor (definition). Also Wikidata Q6795633

History

2026-11-02: add by m2/dev

RJY4VY6JJ4 RJY4VY6JJ4

URI	`m2://inv/RJY4VY6JJ4`
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.00786#133S (statement). In XKEE0DK6N3/e1, lemma 4.4

History

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

double point RJY8H8VV1S

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

Mentions

wikidata: Wikidata Q12714274, double point (unknown). Also MathWorld DoublePoint

History

2026-10-26: add by m2/dev

RJYEJPGGQQ RJYEJPGGQQ

URI	`m2://inv/RJYEJPGGQQ`
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 math/0301148#VIA5 (statement). In 5RE15848Z0/e1, lemma 4.2

History

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

RJYH1N1WZV RJYH1N1WZV

URI	`m2://inv/RJYH1N1WZV`
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.00875#857A (statement). In TAW5BVYH9J/e1, lemma 2.2

History

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

Borel subalgebra RJYQZYJ3KX

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

Mentions

wikipedia: Wikipedia Borel subalgebra, Borel subalgebra (definition). Also Wikidata Q85748295

History

2026-11-02: add by m2/dev

Proof that 22/7 exceeds π RJYSPY018B

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

Mentions

wikipedia: Wikipedia Proof that 22/7 exceeds π, Proof that 22/7 exceeds π (definition). Also Wikidata Q636716

History

2026-11-02: add by m2/dev

Robert P. Dilworth RJYTVA3Z4R

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

Mentions

wikipedia: Wikipedia Robert P. Dilworth, Robert P. Dilworth (topic). Also Wikidata Q2156904

History

2026-11-02: add by m2/dev

Concatenation RJYWEMRJHE

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

Mentions

arxiv: arXiv 2610.10511#XRPS, Concatenation (statement). In BTX64QG716/e1, lemma 3.11

History

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

Bimodal distribution RJYY65A8A1

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

Mentions

wikipedia: Wikipedia List of statistics articles#93ZP, Bimodal distribution (definition)

History

2026-11-02: add by m2/dev

Truncated normal hurdle model RJZ0NA9XEY

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

Mentions

wikipedia: Wikipedia Truncated normal hurdle model, Truncated normal hurdle model (definition). Also Wikidata Q55636255

History

2026-11-02: add by m2/dev

Theorem RJZ2C2SZ72

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

Mentions

wikipedia: Wikipedia Vietoris–Begle mapping theorem#2YDY, Theorem (statement)

History

2026-11-02: add by m2/dev

Content Scramble System RJZACRSMKP

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

Mentions

wikipedia: Wikipedia Content Scramble System, Content Scramble System (definition). Also Wikidata Q1128675

History

2026-11-02: add by m2/dev

3D critical core RJZAXK38HN

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

Mentions

arxiv: arXiv 2609.24962#8B1V, 3D critical core (statement)

History

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

Principal orbit type theorem RJZB5M96GW

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

Mentions

wikipedia: Wikipedia Principal orbit type theorem, Principal orbit type theorem (statement). Also Wikidata Q25303666

History

2026-11-02: add by m2/dev

Diameter RJZEQCCPG6

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

Mentions

wikipedia: Wikipedia Diameter (group theory), Diameter (definition). Also Wikidata Q25099359

History

2026-11-02: add by m2/dev

RJZMHM012E RJZMHM012E

URI	`m2://inv/RJZMHM012E`
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.12740#6Q4M (statement). In HKYRZSZPEC/e1, lemma 5.1

History

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

Halabi, Susan RJZNW7XEHX

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

Mentions

wikipedia: Wikipedia List of statisticians#SUN5, Halabi, Susan (unknown)

History

2026-11-02: add by m2/dev

Martin Gardner RJZP2G6QEN

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#BOR0, Martin Gardner (topic)

History

2026-11-02: add by m2/dev

Rectangular Pad\'e-type approximation at infinity RJZW2JWCAK

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

Mentions

arxiv: arXiv 2609.26066#UJ69, Rectangular Pad\'e-type approximation at infinity (statement)

History

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

RJZXVAN5JB RJZXVAN5JB

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#ZKO8 (definition)

History

2026-11-02: add by m2/dev

Incomplete beta function RJZZQ8YVAW

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

Mentions

wikipedia: Wikipedia List of integrals of rational functions#NI4S, Incomplete beta function (definition)

History

2026-11-02: add by m2/dev