Inventory rows J2

Bôcher's theorem for harmonic functions J202GS7CZ4

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

Mentions

wikipedia: Wikipedia Bôcher's theorem#AWKQ, Bôcher's theorem for harmonic functions (statement)

History

2026-11-02: add by m2/dev

J2048Y4G39 J2048Y4G39

URI	`m2://inv/J2048Y4G39`
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 2410.01436#BTFS (statement). In FE59Q5BHKZ/e1, corollary 6

History

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

Binet–Cauchy identity J206E76EZQ

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

Mentions

wikipedia: Wikipedia Binet–Cauchy identity, Binet–Cauchy identity (statement). Also Wikidata Q935404

History

2026-11-02: add by m2/dev

Definition 3 J206YX1AST

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

Mentions

wikipedia: Wikipedia Perron–Frobenius theorem#8281, Definition 3 (definition)

History

2026-11-02: add by m2/dev

J209DYFPH1 J209DYFPH1

URI	`m2://inv/J209DYFPH1`
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#9WFP (statement). In 9N4EV3GRM7/e1, theorem 3.4

History

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

Global extendability J20DKN285T

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

Mentions

arxiv: arXiv 2610.17371#ZWSU, Global extendability (definition). In FF92TNYHQR/e1, definition 4

History

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

Orbital elements J20FERJSHN

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

Mentions

wikipedia: Wikipedia Orbital elements, Orbital elements (definition). Also Wikidata Q272626

History

2026-11-02: add by m2/dev

Tensor product of fields J20JB6YHSA

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

Mentions

wikipedia: Wikipedia Glossary of field theory#8EV2, Tensor product of fields (definition)

History

2026-11-02: add by m2/dev

Lévy continuity theorem J2178MHXXH

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

Mentions

wikipedia: Wikipedia List of theorems#DJZI, Lévy continuity theorem (statement)

History

2026-11-02: add by m2/dev

J21CD3W639 J21CD3W639

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

Mentions

arxiv: arXiv 2207.07461#HHVV (statement). In GAG532VMPF/e1, lemma 3.4.3

History

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

Reciprocal-logarithmic integral J21KRTE7R5

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

Mentions

arxiv: arXiv 2501.09848#ISZ7, Reciprocal-logarithmic integral (statement). In HF7YNMW39N/e1, lemma 7.2

History

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

Normal-gamma distribution J21PDJMGFY

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

Mentions

wikipedia: Wikipedia List of statistics articles#H2SH, Normal-gamma distribution (definition)

History

2026-11-02: add by m2/dev

totally bounded space J21PSWEFG6

URI	`m2://inv/J21PSWEFG6`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Totally bounded set 020Q06TYYH

Mentions

wikidata: Wikidata Q1362228, totally bounded space (unknown). Also nLab totally bounded space
wikipedia: Wikipedia Totally bounded space, Totally bounded space (definition). Also Wikidata Q1362228

History

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

$\GL$-equivalence J21V449G9W

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

Mentions

arxiv: arXiv 2610.15535#UVK1, $\GL$-equivalence (definition). In 73A9KWZJRD/e1, definition 2.1

History

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

J21VNDGXVF J21VNDGXVF

URI	`m2://inv/J21VNDGXVF`
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.11383#LJWP (statement). In DJBZ3V8SQ6/e1, lemma 4.3

History

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

Applications J21WT7SGA8

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

Mentions

wikipedia: Wikipedia Perverse sheaf#YAAH, Applications (example)

History

2026-11-02: add by m2/dev

Kervaire–Milnor group J21XN1FDJY

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

Mentions

wikipedia: Wikipedia Kervaire–Milnor group, Kervaire–Milnor group (definition). Also Wikidata Q131538017

History

2026-11-02: add by m2/dev

Sy Friedman J21Y18AF52

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#Y0JL, Sy Friedman (topic)

History

2026-11-02: add by m2/dev

J21YVXPM6R J21YVXPM6R

URI	`m2://inv/J21YVXPM6R`
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 0809.0068#G599 (statement). In MBKYGM01FK/e1, proposition 4.4

History

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

J220KM9DZW J220KM9DZW

URI	`m2://inv/J220KM9DZW`
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 2401.00191#KR0S (statement). In ZMH2KJDAWJ/e1, theorem 3.1

History

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

Jellinek, E. Morton J2211YTWX8

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

Mentions

wikipedia: Wikipedia List of statisticians#EKDS, Jellinek, E. Morton (unknown)

History

2026-11-02: add by m2/dev

J22DAJ1RH5 J22DAJ1RH5

URI	`m2://inv/J22DAJ1RH5`
Kind	statement
Layer	research
MSC	17-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 2402.08944#78L0 (statement). In D8QFZG5R1D/e1, lemma 2.10

History

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

Deviation of a local ring J22JQ9ZMKH

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

Mentions

wikipedia: Wikipedia Deviation of a local ring, Deviation of a local ring (definition). Also Wikidata Q5266996

History

2026-11-02: add by m2/dev

Theorem 1(iii J22TADY1T7

URI	`m2://inv/J22TADY1T7`
Kind	statement
Layer	research
MSC	53-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.39845#81GB, Theorem 1(iii (statement). In RK8DFVGQP1/e1, theorem 3

History

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

Applications J22WRN4EQE

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

Mentions

wikipedia: Wikipedia Squeeze mapping#OYNH, Applications (example)

History

2026-11-02: add by m2/dev

J233AEF254 J233AEF254

URI	`m2://inv/J233AEF254`
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#1B4Z (statement). In VN084GGZGK/e1, theorem 3.14

History

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

The singlet state J2348XE4G1

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

Mentions

napkin: napkin tex/quantum/vectors.tex#example-3, The singlet state (example). In RZP28ERRZV, example, section 77.4

History

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

Formal definition J236B6RF65

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

Mentions

wikipedia: Wikipedia Non-commutative conditional expectation#C1DB, Formal definition (definition)

History

2026-11-02: add by m2/dev

J236DS4X4D J236DS4X4D

URI	`m2://inv/J236DS4X4D`
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 2601.18223#8R4Q (statement). In ZRXE7EJA93/e1, theorem 2.2

History

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

middle term J23K2QHQ19

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

Mentions

wikipedia: Wikipedia Glossary of logic#LGPR, middle term (definition)

History

2026-11-02: add by m2/dev

harmonic series J23MB81RJ2

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

Mentions

wikipedia: Wikipedia List of sums of reciprocals#XIYI, harmonic series (definition)

History

2026-11-02: add by m2/dev

Formal definition J23WZFGZPW

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

Mentions

wikipedia: Wikipedia Dynamical system#HBU0, Formal definition (definition)

History

2026-11-02: add by m2/dev

Finite-Budget Recoverability J23X1SQHC3

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

Mentions

arxiv: arXiv 2610.05504#XWTR, Finite-Budget Recoverability (definition). In 5PY98FZVJW/e1, definition 3.2

History

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

Fabrice Bethuel J23X9MGZQ1

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

Mentions

wikipedia: Wikipedia Fabrice Bethuel, Fabrice Bethuel (topic). Also Wikidata Q1390724

History

2026-11-02: add by m2/dev

Marti Anderson J23YSJS398

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

Mentions

wikipedia: Wikipedia Marti Anderson (statistician), Marti Anderson (topic). Also Wikidata Q56275425

History

2026-11-02: add by m2/dev

J246CEJEZK J246CEJEZK

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

Mentions

arxiv: arXiv 2609.39293#IXQD (statement). In S26QVW5613/e1, lemma 2.1.6

History

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

J24D57T14N J24D57T14N

URI	`m2://inv/J24D57T14N`
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.15088#CTOQ (statement). In 2BRTT5ZFC6/e1, lemma 3.4

History

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

J24FBRE3CX J24FBRE3CX

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

Mentions

arxiv: arXiv 2609.33704#OIEV (statement). In STRVMT83HE/e1, lemma 2

History

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

Xiuxiong Chen J24H705QEN

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#2KZD, Xiuxiong Chen (topic)

History

2026-11-02: add by m2/dev

J24JS59TC3 J24JS59TC3

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

Mentions

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

History

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

J24Q2QCHET J24Q2QCHET

URI	`m2://inv/J24Q2QCHET`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-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.28076#YCVN (statement)

History

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

differentiable, continuously J25K46MNCR

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

Mentions

lebl_ra: lebl_ra index/3.2.5/differentiable-continuously, differentiable, continuously (concept). In E59CDZA4DP, index, section 3.2.5

History

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

Indra's Pearls J25PA4N9ST

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

Mentions

wikipedia: Wikipedia List of mathematics books#73AW, Indra's Pearls (unknown)

History

2026-11-02: add by m2/dev

J25VX5EJMX J25VX5EJMX

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

Mentions

arxiv: arXiv 2609.21305#3K04 (definition)

History

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

Donald A. Gillies J267D6K7XX

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

Mentions

wikipedia: Wikipedia Donald A. Gillies, Donald A. Gillies (topic). Also Wikidata Q5293928

History

2026-11-02: add by m2/dev

Example J26KS7MF32

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

Mentions

wikipedia: Wikipedia Van Kampen diagram#R9HO, Example (example)

History

2026-11-02: add by m2/dev

regular representation J26NTX53DZ

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

Mentions

wikidata: Wikidata Q1555242, regular representation (unknown). Also EoM Regular_representation, nLab regular representation
wikipedia: Wikipedia Regular representation, Regular representation (definition). Also Wikidata Q1555242

History

2026-10-26: add by m2/dev

J26RBMPX4S J26RBMPX4S

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

Mentions

arxiv: arXiv 2405.09294#0233 (statement). In 2WZQC0TKVK/e1, theorem 3.5

History

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

Jules Haag J26SJ1BJZ7

URI	`m2://inv/J26SJ1BJZ7`
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#EXGG, Jules Haag (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SCES, Jules Haag (unknown)

History

2026-11-02: add by m2/dev

J26TPTDHTC J26TPTDHTC

URI	`m2://inv/J26TPTDHTC`
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.07673#CG08 (statement). In 37B1MPV8GX/e1, corollary 6.6

History

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

Experimental uncertainty analysis J273KKZPHP

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

Mentions

wikipedia: Wikipedia Experimental uncertainty analysis, Experimental uncertainty analysis (definition). Also Wikidata Q5421171

History

2026-11-02: add by m2/dev

Local QC equivalence J27AQ8BEDC

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

Mentions

arxiv: arXiv 2411.17227#8N2P, Local QC equivalence (statement). In DDNP38CHQJ/e1, theorem 1.5

History

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

Generation Alpha J27B7A15W8

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

Mentions

wikipedia: Wikipedia Generation Alpha, Generation Alpha (definition). Also Wikidata Q24960388

History

2026-11-02: add by m2/dev

Roman Ulrich Sexl J27CJ8WCZE

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#C7YL, Roman Ulrich Sexl (unknown)

History

2026-11-02: add by m2/dev

J27F5026Z9 J27F5026Z9

URI	`m2://inv/J27F5026Z9`
Kind	statement
Layer	research
MSC	05-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.31768#A2ZC (statement). In WC7ZECEE3P/e1, proposition 2.5

History

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

Definition J27H5XP7TA

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

Mentions

wikipedia: Wikipedia Galois group#LOY1, Definition (definition)

History

2026-11-02: add by m2/dev

J27K5RJQW1 J27K5RJQW1

URI	`m2://inv/J27K5RJQW1`
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 2604.05177#AGQW (statement). In G04BKQV6YM/e1, theorem 1.2

History

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

Mikhail Kravchuk J28A1MTC7T

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#ZDJ5, Mikhail Kravchuk (unknown)

History

2026-11-02: add by m2/dev

J28F9K4CG0 J28F9K4CG0

URI	`m2://inv/J28F9K4CG0`
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.37026#NU7G (statement). In QGZPH9W8GY/e1, lemma 2.5

History

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

G.H. Hardy J28NMA5TMM

URI	`m2://inv/J28NMA5TMM`
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 Q184337, G.H. Hardy (unknown). Also nLab G. H. Hardy
wikipedia: Wikipedia G. H. Hardy, G. H. Hardy (topic). Also Wikidata Q184337

History

2026-10-26: add by m2/dev

J28PJNC8C1 J28PJNC8C1

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

Mentions

arxiv: arXiv 2609.24580#EMKL (statement)

History

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

History of mathematicians J28WDAYM96

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

Mentions

wikipedia: Wikipedia Mathematician#43OI, History of mathematicians (unknown)

History

2026-11-02: add by m2/dev

Neyman allocation J28XA9DSRB

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

Mentions

wikipedia: Wikipedia Neyman allocation, Neyman allocation (definition). Also Wikidata Q132675276

History

2026-11-02: add by m2/dev

Finite-dimensional analytic energy estimate J291C5Y606

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

Mentions

arxiv: arXiv 2609.28937#UBEH, Finite-dimensional analytic energy estimate (statement)

History

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

J29ABEC1Z1 J29ABEC1Z1

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

Mentions

arxiv: arXiv 2207.05628#O17W (statement). In 9JPKTEWW4W/e1, theorem 1.5

History

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

J29B5K36XR J29B5K36XR

URI	`m2://inv/J29B5K36XR`
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 2509.21444#8FL4 (statement). In CTVPA2FQT1/e1, lemma 8.3.3

History

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

Generalization J29BGBHVN7

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

Mentions

wikipedia: Wikipedia Newton–Gauss line#EIUA, Generalization (statement)

History

2026-11-02: add by m2/dev

Theorem 2 J29DDA7R1E

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

Mentions

wikipedia: Wikipedia Strictly singular operator#9WWW, Theorem 2 (statement)

History

2026-11-02: add by m2/dev

J29NW9AMYB J29NW9AMYB

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

Mentions

arxiv: arXiv 2610.22205#97LU (statement). In 7REABAAQED/e1, theorem

History

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

gyrobifastigium J29PE03162

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

Mentions

wikidata: Wikidata Q250913, gyrobifastigium (object). Also MathWorld Gyrobifastigium
wikipedia: Wikipedia Gyrobifastigium, Gyrobifastigium (object). Also Wikidata Q250913

History

2026-10-26: add by m2/dev

sufficient condition for uniqueness J29PTT2SMW

URI	`m2://inv/J29PTT2SMW`
Kind	statement
Layer	research
MSC	49-XX, 62-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 2409.03461#B35T, sufficient condition for uniqueness (statement). In XJVZSGCX5V/e1, theorem 3.2

History

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

A gap forced by conditional atoms J29XXZQVAJ

URI	`m2://inv/J29XXZQVAJ`
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#C9KM, A gap forced by conditional atoms (statement). In 9YAE8FNQST/e1, theorem 28.14

History

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

J29Y39JDWF J29Y39JDWF

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

Mentions

arxiv: arXiv 2312.14445#M7AX (statement). In V56MKF0KW2/e1, proposition 2.9

History

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

J29Y39K0DS J29Y39K0DS

URI	`m2://inv/J29Y39K0DS`
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.18033#P9M9 (statement). In 59VRB6Y27N/e1, proposition 3.2

History

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

J2A1RR5YQ4 J2A1RR5YQ4

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

Mentions

arxiv: arXiv 2610.04398#QPTP (statement). In DFZWC9HY0T/e1, theorem B

History

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

Eberly, Lynn J2A2WCQR0Q

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

Mentions

wikipedia: Wikipedia List of statisticians#RVNN, Eberly, Lynn (topic)

History

2026-11-02: add by m2/dev

Hash list J2A5B5RM1Y

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#HLOD, Hash list (definition)

History

2026-11-02: add by m2/dev

Ecological fallacy J2A6SNQ5Y6

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

Mentions

wikipedia: Wikipedia List of fallacies#TQUW, Ecological fallacy (definition)

History

2026-11-02: add by m2/dev

J2AAA6N1VY J2AAA6N1VY

URI	`m2://inv/J2AAA6N1VY`
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.21399#0SQS (statement)

History

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

J2AC5KDEYQ J2AC5KDEYQ

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

Mentions

open_logic: open_logic content/set-theory/z/separation.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 76.8

History

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

J2AC7K3TMF J2AC7K3TMF

URI	`m2://inv/J2AC7K3TMF`
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.16339#L43O (statement). In ER5EH4W919/e1, lemma 3.2

History

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

27 lines on a cubic surface J2AJ82PV2N

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

Mentions

wikipedia: Wikipedia Cubic surface#QQ2M, 27 lines on a cubic surface (unknown)

History

2026-11-02: add by m2/dev

J2AKD36G2N J2AKD36G2N

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

Mentions

arxiv: arXiv 2610.12480#5A4J (statement). In 585QYGX4X6/e1, corollary 21

History

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

Limiting renormalization J2APYWGW89

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

Mentions

arxiv: arXiv 2610.12387#T7TM, Limiting renormalization (statement). In 3Z0PRE77SY/e1, proposition 6.2

History

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

Station HYPO J2AXPMDD6M

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

Mentions

wikipedia: Wikipedia Station HYPO, Station HYPO (definition). Also Wikidata Q7604244

History

2026-11-02: add by m2/dev

Applications J2AY2MTXJR

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

Mentions

wikipedia: Wikipedia Positive real numbers#UKK3, Applications (example)

History

2026-11-02: add by m2/dev

Jillian Beardwood J2AYHBP7KY

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

Mentions

wikipedia: Wikipedia Jillian Beardwood, Jillian Beardwood (topic). Also Wikidata Q93571646

History

2026-11-02: add by m2/dev

J2B3DQZFE5 J2B3DQZFE5

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphalgorithms_min-wt-span.ptx#problem-1 (example). In QKM9DD2H56, problem, section 12.1

History

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

Spherical image J2B3Q2MF1N

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

Mentions

wikipedia: Wikipedia Spherical image, Spherical image (definition). Also Wikidata Q7576708

History

2026-11-02: add by m2/dev

Laves graph J2B6X7EVBE

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

Mentions

wikipedia: Wikipedia Laves graph, Laves graph (definition). Also Wikidata Q25303739

History

2026-11-02: add by m2/dev

J2B8JX6MZT J2B8JX6MZT

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

Mentions

arxiv: arXiv 2406.19866#5XR4 (definition). In 9F94CEQ1ZM/e1, definition 2.13

History

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

Leo Corry J2BP3EBGDS

URI	`m2://inv/J2BP3EBGDS`
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#46HH, Leo Corry (topic)

History

2026-11-02: add by m2/dev

Chris Heunen J2BRJR9SD9

URI	`m2://inv/J2BRJR9SD9`
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 Q97055605, Chris Heunen (unknown). Also nLab Chris Heunen

History

2026-10-26: add by m2/dev

J2BSATX5GV J2BSATX5GV

URI	`m2://inv/J2BSATX5GV`
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.10736#9IUA (statement). In NCYKB4QG5P/e1, lemma 6.3

History

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

List of mathematical probabilists J2C4SFV8S9

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

Mentions

wikipedia: Wikipedia List of mathematical probabilists, List of mathematical probabilists (topic). Also Wikidata Q6627331

History

2026-11-02: add by m2/dev

Decay of the Choi matrix J2CGWQJDYJ

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

Mentions

arxiv: arXiv 2609.27908#LMM0, Decay of the Choi matrix (statement)

History

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

Principal principle of David Lewis J2CHHRARNY

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

Mentions

wikipedia: Wikipedia Propensity probability#ONB1, Principal principle of David Lewis (statement)

History

2026-11-02: add by m2/dev

J2CKYRKDSJ J2CKYRKDSJ

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

Mentions

arxiv: arXiv 2503.22636#NG44 (example). In 2X2A6MT0QD/e1, example 2.4

History

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

J2CN7PWR4F J2CN7PWR4F

URI	`m2://inv/J2CN7PWR4F`
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 2610.04498#2WRC (statement). In HHF08X70P6/e1, theorem 1.2

History

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

Notations J2CVS1P3TD

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

Mentions

wikipedia: Wikipedia Möbius geometry#WIEC, Notations (definition)

History

2026-11-02: add by m2/dev

J2D3PKB2AG J2D3PKB2AG

URI	`m2://inv/J2D3PKB2AG`
Kind	problem
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 2606.20229#XI2N (problem). In 1B85G2QJC2/e1, problem 10.4

History

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

J2D48GKWND J2D48GKWND

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

Mentions

arxiv: arXiv 2608.23797#WBT7 (statement). In PZCA01JXVR/e1, corollary 6.9

History

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

Positions carrying prime values J2DAPES49H

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

Mentions

arxiv: arXiv 2610.03811#D8V7, Positions carrying prime values (statement). In DHQWFJW02X/e1, corollary 6.3

History

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

Axiom of Choice J2DGJDAB6J

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/IndexingSets.tex#axiom-1, Axiom of Choice (statement). In P1C114YBXG, axiom, section C

History

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

J2DT7T7ZVS J2DT7T7ZVS

URI	`m2://inv/J2DT7T7ZVS`
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.30203#E266 (statement)

History

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

Rocq prover J2DYX5TP4E

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

Mentions

wikidata: Wikidata Q1131652, Rocq prover (unknown). Also nLab Rocq
wikipedia: Wikipedia Rocq, Rocq (definition). Also Wikidata Q1131652

History

2026-10-26: add by m2/dev

Theorem J2E17F6A25

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

Mentions

wikipedia: Wikipedia Michael's theorem on paracompact spaces#DHKS, Theorem (statement)

History

2026-11-02: add by m2/dev

Lunar tide J2E30FBVT5

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

Mentions

wikipedia: Wikipedia Tide#S8KC, Lunar tide (unknown)

History

2026-11-02: add by m2/dev

JADE J2E7GJDFPD

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

Mentions

wikipedia: Wikipedia JADE (cipher machine), JADE (definition). Also Wikidata Q2777116

History

2026-11-02: add by m2/dev

Lydia Bieri J2EAYXQVQ0

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

Mentions

wikipedia: Wikipedia Lydia Bieri, Lydia Bieri (topic). Also Wikidata Q102330789

History

2026-11-02: add by m2/dev

Takao Hayashi J2EE004X8T

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

Mentions

wikipedia: Wikipedia Takao Hayashi, Takao Hayashi (topic). Also Wikidata Q30936360

History

2026-11-02: add by m2/dev

Uniformly connected space J2EE9KPY6K

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

Mentions

wikipedia: Wikipedia Uniformly connected space, Uniformly connected space (definition). Also Wikidata Q7885146

History

2026-11-02: add by m2/dev

Sahara J2ER7SRPCZ

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#HVX1, Sahara (unknown)

History

2026-11-02: add by m2/dev

J2ESYHX5CY J2ESYHX5CY

URI	`m2://inv/J2ESYHX5CY`
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 1103.1038#YHCY (statement). In T9VMNNPS0H/e1, theorem 5.8

History

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

General principles J2F2KE650K

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

Mentions

wikipedia: Wikipedia Reverse mathematics#OH52, General principles (statement)

History

2026-11-02: add by m2/dev

J2FC3S8NFD J2FC3S8NFD

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

Mentions

arxiv: arXiv 2609.25761#D2AQ (statement)

History

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

J2FKVA8TSA J2FKVA8TSA

URI	`m2://inv/J2FKVA8TSA`
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#S4J1 (statement). In VN084GGZGK/e1, proposition 3.11

History

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

Éva Tardos J2FX7N35P3

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

Mentions

wikipedia: Wikipedia Éva Tardos, Éva Tardos (topic). Also Wikidata Q15030

History

2026-11-02: add by m2/dev

Algorithms J2G086GHK9

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

Mentions

wikipedia: Wikipedia Random geometric graph#PND5, Algorithms (definition)

History

2026-11-02: add by m2/dev

Definitions J2G0N2ZN4F

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

Mentions

wikipedia: Wikipedia Vector-valued Hahn–Banach theorems#L393, Definitions (definition)

History

2026-11-02: add by m2/dev

Frattini subgroup J2G176WT48

URI	`m2://inv/J2G176WT48`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Frattini subgroup KXJG5VV340

Mentions

wikidata: Wikidata Q176244, Frattini subgroup (unknown). Also EoM Frattini_subgroup, MathWorld FrattiniSubgroup
wikipedia: Wikipedia Frattini subgroup, Frattini subgroup (definition). Also Wikidata Q176244

History

2026-10-26: add by m2/dev

Ages of Three Children puzzle J2G20X963V

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

Mentions

wikipedia: Wikipedia Ages of Three Children puzzle, Ages of Three Children puzzle (problem). Also Wikidata Q4692146

History

2026-11-02: add by m2/dev

Dorina Mitrea J2G2ADZ747

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

Mentions

wikipedia: Wikipedia Dorina Mitrea, Dorina Mitrea (topic). Also Wikidata Q67187129

History

2026-11-02: add by m2/dev

Net J2G8WJW65W

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

Mentions

wikipedia: Wikipedia Net (mathematics), Net (definition). Also Wikidata Q1191147

History

2026-11-02: add by m2/dev

J2G9QJ5P62 J2G9QJ5P62

URI	`m2://inv/J2G9QJ5P62`
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.01411#BBU1 (statement). In SD28S3K7BT/e1, lemma 30

History

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

J2GBP81B6Z J2GBP81B6Z

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

Mentions

arxiv: arXiv 2610.14321#77FF (statement). In 7EGFPFKD5T/e1, lemma 3.3

History

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

carbon-14 J2GPNYZNCD

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

Mentions

wikidata: Wikidata Q840660, carbon-14 (definition). Also ProofWiki Definition:Carbon/14

History

2026-10-26: add by m2/dev

Schwarz's Lemma J2GQZBDMNY

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

Mentions

wikipedia: Wikipedia Geometric function theory#03MJ, Schwarz's Lemma (statement)

History

2026-11-02: add by m2/dev

Errol Barnett J2GRN9G9PN

URI	`m2://inv/J2GRN9G9PN`
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#GUAP, Errol Barnett (unknown)

History

2026-11-02: add by m2/dev

J2GXKBX67T J2GXKBX67T

URI	`m2://inv/J2GXKBX67T`
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.26386#B0LY (statement)

History

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

J2H1JYC4DW J2H1JYC4DW

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

Mentions

arxiv: arXiv 2609.27957#6YZG (definition)

History

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

Deterministic sublinear exploration J2H1YZKQ6F

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

Mentions

arxiv: arXiv 2609.39274#NV0M, Deterministic sublinear exploration (example). In HVC7RVEM6V/e1, example 1

History

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

Nikola Obrechkoff J2H8TTW1BF

URI	`m2://inv/J2H8TTW1BF`
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#5XXA, Nikola Obrechkoff (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CWLM, Nikola Obrechkoff (unknown)

History

2026-11-02: add by m2/dev

Erdős–Mordell inequality J2HBR2PCB9

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

Mentions

wikipedia: Wikipedia List of triangle topics#7MQ0, Erdős–Mordell inequality (statement)
wikipedia: Wikipedia List of things named after Paul Erdős#REXZ, Erdős–Mordell inequality (statement)
wikipedia: Wikipedia List of inequalities#SSL7, Erdős–Mordell inequality (statement)

History

2026-11-02: add by m2/dev

J2HC3ASDQB J2HC3ASDQB

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

Mentions

arxiv: arXiv 2609.21098#CVXQ (statement)

History

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

A small OCCN and its generator cospans J2HCFWTBEM

URI	`m2://inv/J2HCFWTBEM`
Kind	example
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 2609.20478#MYIO, A small OCCN and its generator cospans (example)

History

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

almost sure convergence J2HMKJBYP8

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

Mentions

mathlib_overview: mathlib_overview Probability Theory > Convergence of a sequence of random variables > almost sure convergence, almost sure convergence (unknown). Also Mathlib MeasureTheory.ae
mathlib_undergrad: mathlib_undergrad Probability Theory > Convergence of a sequence of random variables > almost surely convergence, almost surely convergence (unknown). Also Mathlib MeasureTheory.ae

History

2026-10-26: add by m2/dev

Gerald J. Toomer J2HPBQN90Z

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

Mentions

wikipedia: Wikipedia Gerald J. Toomer, Gerald J. Toomer (topic). Also Wikidata Q1509929

History

2026-11-02: add by m2/dev

J2HQPWZ60H J2HQPWZ60H

URI	`m2://inv/J2HQPWZ60H`
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.14377#KIBA (statement). In WEZPNET90D/e1, corollary 7.5

History

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

end J2HX4XN710

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#X0LR, end (definition)

History

2026-11-02: add by m2/dev

J2J11Y7AS8 J2J11Y7AS8

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

Mentions

arxiv: arXiv 2609.26033#KM4H (example)

History

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

Cartan–Dieudonné theorem J2J2K35KSR

URI	`m2://inv/J2J2K35KSR`
Kind	statement
Layer	textbook
MSC	20-XX
Sources	3
Outcome	node (a node has the same name as the row)
Node	Cartan–Dieudonné theorem 0VMWGYY35Q

Mentions

mathlib_1000: mathlib_1000 Q2540738, Cartan–Dieudonné theorem (statement). Also Wikidata Q2540738
thousand_plus: thousand_plus Q2540738, Cartan–Dieudonné theorem (statement). Also Wikidata Q2540738, Wikipedia Cartan–Dieudonné theorem
wikipedia: Wikipedia Cartan–Dieudonné theorem, Cartan–Dieudonné theorem (statement). Also Wikidata Q2540738

History

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

Kleene's recursion theorem J2J487KHSE

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

Mentions

wikipedia: Wikipedia List of theorems#8US6, Kleene's recursion theorem (statement)

History

2026-11-02: add by m2/dev

Precoloring extension J2J6ZANC54

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

Mentions

wikipedia: Wikipedia Precoloring extension, Precoloring extension (definition). Also Wikidata Q30694321

History

2026-11-02: add by m2/dev

Conjecture J2JDZ19S5J

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

Mentions

wikipedia: Wikipedia Recamán's sequence#SSTT, Conjecture (statement)

History

2026-11-02: add by m2/dev

Cracking one's knuckles J2JG6GQRW8

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#IFC7, Cracking one's knuckles (unknown)

History

2026-11-02: add by m2/dev

J2JH3HJDQB J2JH3HJDQB

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

Mentions

arxiv: arXiv 2609.20190#O50S (statement)

History

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

J2JRM6W6ZF J2JRM6W6ZF

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

Mentions

arxiv: arXiv 2610.07292#689Y (statement). In PZ17NHGAKX/e1, lemma 16

History

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

J2K3EAX0RX J2K3EAX0RX

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

Mentions

arxiv: arXiv 2609.27799#NFH9 (statement)

History

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

J2K6S51HF3 J2K6S51HF3

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

Mentions

arxiv: arXiv 2610.16606#D6BX (definition). In A798V7TX99/e1, definition 2.2

History

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

Felix Browder J2K76PC4ZE

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

Mentions

wikipedia: Wikipedia Felix Browder, Felix Browder (topic). Also Wikidata Q1398992

History

2026-11-02: add by m2/dev

Malthusian catastrophe J2KBAHVVK9

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

Mentions

wikipedia: Wikipedia List of exponential topics#WRS7, Malthusian catastrophe (unknown)

History

2026-11-02: add by m2/dev

Coupon-collector lower bound for the iid case J2KFXXG4WD

URI	`m2://inv/J2KFXXG4WD`
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#SHFR, Coupon-collector lower bound for the iid case (statement)

History

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

J2KKAMTJEM J2KKAMTJEM

URI	`m2://inv/J2KKAMTJEM`
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.12188#EL6B (statement). In 52HWCGK5QJ/e1, theorem 3.8

History

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

J2KKFDKY8Z J2KKFDKY8Z

URI	`m2://inv/J2KKFDKY8Z`
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 2104.04145#JIOP (statement). In 7TNHVC586V/e1, lemma 7

History

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

J2M29AS4HR J2M29AS4HR

URI	`m2://inv/J2M29AS4HR`
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#95TH (definition). In M0SQY5EZN5/e1, definition 2.9.2

History

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

Church–Turing thesis J2M4NXH2HW

URI	`m2://inv/J2M4NXH2HW`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Church–Turing thesis RWRNBS3Z7B

Mentions

wikidata: Wikidata Q309157, Church–Turing thesis (statement). Also MathWorld Church-TuringThesis, nLab Church-Turing thesis, ProofWiki Church's_Thesis
wikipedia: Wikipedia Church–Turing thesis, Church–Turing thesis (definition). Also Wikidata Q309157

History

2026-10-26: add by m2/dev

simple contour J2M6D24WNZ

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

Mentions

wikidata: Wikidata Q120726169, simple contour (definition). Also ProofWiki Definition:Contour/Simple/Complex_Plane

History

2026-10-26: add by m2/dev

International Council for Industrial and Applied Mathematics J2MAPWD56J

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

Mentions

wikipedia: Wikipedia International Council for Industrial and Applied Mathematics, International Council for Industrial and Applied Mathematics (definition). Also Wikidata Q6049878

History

2026-11-02: add by m2/dev

J2MMCG27ZA J2MMCG27ZA

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

Mentions

arxiv: arXiv 2610.06746#HNGR (statement). In B8A6BPP922/e1, lemma 2.6

History

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

Definition J2MNFW9KW3

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

Mentions

wikipedia: Wikipedia Weber modular function#V2A8, Definition (definition)

History

2026-11-02: add by m2/dev

Majorana–Weyl spinor J2MYWP3J43

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

Mentions

wikipedia: Wikipedia List of things named after Hermann Weyl#UL14, Majorana–Weyl spinor (definition)

History

2026-11-02: add by m2/dev

$L^\infty$-Fourier bound J2N0DMV6RJ

URI	`m2://inv/J2N0DMV6RJ`
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#VOY4, $L^\infty$-Fourier bound (statement). In 1F26AF81XP/e1, corollary 2.5

History

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

Final rounds are tail-free J2N0VE8E0B

URI	`m2://inv/J2N0VE8E0B`
Kind	statement
Layer	research
MSC	05-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.07379#J2EK, Final rounds are tail-free (statement). In N0EVQ46HBR/e1, proposition 4.4

History

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

section ring J2N46DXTPF

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#JGJD, section ring (definition)

History

2026-11-02: add by m2/dev

J2N66242EM J2N66242EM

URI	`m2://inv/J2N66242EM`
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#DUKH (statement). In AH6BX8RZTW/e1, theorem 1.12

History

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

J2N79M9G9D J2N79M9G9D

URI	`m2://inv/J2N79M9G9D`
Kind	unknown
Layer	research
MSC	01-XX, 11-XX, 26-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.33529#QEVU (unknown). In RQZGQG3PBR/e1, unknown II.12.8

History

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

Bifurcation diagram J2NAKXKAVR

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#2B93, Bifurcation diagram (definition)

History

2026-11-02: add by m2/dev

J2NBC9QQ5J J2NBC9QQ5J

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

Mentions

arxiv: arXiv 2404.05451#Y48C (statement). In 5YMFYAFFJ7/e1, theorem 4.1

History

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

Newton decrement J2NP1CSK04

URI	`m2://inv/J2NP1CSK04`
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.03242#M3HQ, Newton decrement (statement). In MJE6HRC6PX/e1, proposition 4.1

History

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

J2NPD6XVBC J2NPD6XVBC

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

Mentions

arxiv: arXiv 2609.31127#BXJ4 (statement). In NS3RZ26JC7/e1, theorem 5

History

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

Formal definition J2NVVPMRE9

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

Mentions

wikipedia: Wikipedia Weakly dependent random variables#OMZW, Formal definition (definition)

History

2026-11-02: add by m2/dev

Coulomb constant J2P0MA72QT

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

Mentions

wikipedia: Wikipedia Coulomb's law#7M6D, Coulomb constant (unknown)

History

2026-11-02: add by m2/dev

J2P9W4V3XH J2P9W4V3XH

URI	`m2://inv/J2P9W4V3XH`
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.08935#E4BC (definition). In G02N9D40B9/e1, definition 3.3.1

History

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

J2PM83TJMN J2PM83TJMN

URI	`m2://inv/J2PM83TJMN`
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.36827#YJN4 (statement). In VSHAQTB2CA/e1, lemma 7.4

History

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

Catherine Sulem J2PW7HQJP3

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#CK8T, Catherine Sulem (unknown)

History

2026-11-02: add by m2/dev

lattice graph J2PWD1RY7R

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

Mentions

wikidata: Wikidata Q6497118, lattice graph (unknown). Also MathWorld LatticeGraph
wikipedia: Wikipedia Lattice graph, Lattice graph (object). Also Wikidata Q6497118

History

2026-10-26: add by m2/dev

Formal statement J2Q0WK7163

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

Mentions

wikipedia: Wikipedia Poincaré recurrence theorem#LHIB, Formal statement (statement)

History

2026-11-02: add by m2/dev

Volodymyr Groysman J2Q4JZZVCG

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#EQVP, Volodymyr Groysman (unknown)

History

2026-11-02: add by m2/dev

J2QKNWM2CD J2QKNWM2CD

URI	`m2://inv/J2QKNWM2CD`
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.32946#RG6H (statement). In 6AEBXNK614/e1, lemma 3.11

History

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

Bode's sensitivity integral J2QPCPKJFF

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

Mentions

wikipedia: Wikipedia Bode's sensitivity integral, Bode's sensitivity integral (definition). Also Wikidata Q4936423

History

2026-11-02: add by m2/dev

J2QPZGWSJE J2QPZGWSJE

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

Mentions

arxiv: arXiv 2403.08723#WQPQ (statement). In HGE2NCQW29/e1, lemma 3.1

History

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

J2QWAZHM6R J2QWAZHM6R

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

History

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

Friedman J2R1AVQZFC

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

Mentions

arxiv: arXiv 2209.00108#94PO, Friedman (definition). In V2G422ZMPW/e1, definition 8

History

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

Kiryat Shmona J2RP66C8QH

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

Mentions

wikipedia: Wikipedia List of places with numeric names#ZBEX, Kiryat Shmona (unknown)

History

2026-11-02: add by m2/dev

Quasi-maximum likelihood estimate J2RYB95AKG

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

Mentions

wikipedia: Wikipedia Quasi-maximum likelihood estimate, Quasi-maximum likelihood estimate (definition). Also Wikidata Q7269462

History

2026-11-02: add by m2/dev

J2RZD1HXN3 J2RZD1HXN3

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 19.8

History

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

J2S0A01Y66 J2S0A01Y66

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

Mentions

arxiv: arXiv 2610.05032#AMJC (statement). In DDNK8D4359/e1, proposition 4.2

History

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

J2S1HZQ5P2 J2S1HZQ5P2

URI	`m2://inv/J2S1HZQ5P2`
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 2109.00080#S0LB (statement). In HD3G4MR75W/e1, theorem 2

History

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

Continuous q-Legendre polynomials J2S2BZ96R6

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

Mentions

wikipedia: Wikipedia List of q-analogs#903S, Continuous q-Legendre polynomials (definition)

History

2026-11-02: add by m2/dev

EAT for $n$-Qubit GHZ ZKP J2S4H5EP5Y

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

Mentions

arxiv: arXiv 2609.35339#0YIS, EAT for $n$-Qubit GHZ ZKP (statement). In JT998WJYJJ/e1, theorem 3

History

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

J2SCGQYA3N J2SCGQYA3N

URI	`m2://inv/J2SCGQYA3N`
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.05696#LROV (statement). In MG81A9XJTQ/e1, lemma III.2

History

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

Theorem J2SCXC89B4

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

Mentions

wikipedia: Wikipedia Non-commutative conditional expectation#HFKO, Theorem (statement)

History

2026-11-02: add by m2/dev

J2SETYW98K J2SETYW98K

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-7 (statement). In P1C114YBXG, theorem, section u1

History

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

Applications J2SN1MT5TC

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

Mentions

wikipedia: Wikipedia W-test#3IIW, Applications (example)

History

2026-11-02: add by m2/dev

Sylow theorems J2SQGB265F

URI	`m2://inv/J2SQGB265F`
Kind	statement
Layer	textbook
MSC	20-XX
Sources	6
Outcome	deferred (the item has the flag informal (WP9.2))
Node	Sylow theorems FESTJ0K9TX

Mentions

mathlib_100: mathlib_100 72, Sylow’s Theorem (statement). Also Mathlib Sylow.exists_subgroup_card_pow_prime, Mathlib Sylow.isPretransitive_of_finite, Mathlib Sylow.card_dvd_index, Mathlib card_sylow_modEq_one
mathlib_1000: mathlib_1000 Q1057919, Sylow theorems (statement). Also Mathlib Sylow.exists_subgroup_card_pow_prime, Mathlib Sylow.isPretransitive_of_finite, Mathlib Sylow.card_dvd_index, Mathlib card_sylow_modEq_one, Wikidata Q1057919
mathlib_overview: mathlib_overview General algebra > Group theory > first Sylow theorem, first Sylow theorem (unknown). Also Mathlib Sylow.exists_subgroup_card_pow_prime
mathlib_overview: mathlib_overview General algebra > Group theory > second Sylow theorem, second Sylow theorem (unknown). Also Mathlib Sylow.isPretransitive_of_finite
mathlib_overview: mathlib_overview General algebra > Group theory > third Sylow theorem, third Sylow theorem (unknown). Also Mathlib card_sylow_modEq_one
thousand_plus: thousand_plus Q1057919, Sylow theorems (statement). Also Mathlib Sylow.exists_subgroup_card_pow_prime, Mathlib Sylow.isPretransitive_of_finite, Mathlib Sylow.card_dvd_index, Mathlib card_sylow_modEq_one, Wikidata Q1057919, Wikipedia Sylow theorems
wikidata: Wikidata Q1057919, Sylow theorems (statement). Also EoM Sylow_theorems, MathWorld SylowTheorems, ProofWiki Sylow_Theorems
wikipedia: Wikipedia Sylow theorems, Sylow theorems (statement). Also Wikidata Q1057919

History

2026-10-26: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

Murray Rosenblatt J2SZXFD3C8

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#JKTR, Murray Rosenblatt (unknown)

History

2026-11-02: add by m2/dev

J2T09DNXD3 J2T09DNXD3

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

Mentions

arxiv: arXiv 2610.01919#L0XQ (statement). In 4H727T2YAS/e1, corollary 3.6

History

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

Geodesic polyhedron J2TDTADB91

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

Mentions

wikipedia: Wikipedia Geodesic polyhedron, Geodesic polyhedron (object). Also Wikidata Q30590294

History

2026-11-02: add by m2/dev

Freudenthal suspension theorem J2TE2KB512

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

Mentions

hott_book: hott_book index/7.6/freudenthal-suspension-theorem, Freudenthal suspension theorem (concept). In N54F33XE07, index, section 7.6

History

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

Cuzick–Edwards test J2TKD6CT3S

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

Mentions

wikipedia: Wikipedia Cuzick–Edwards test, Cuzick–Edwards test (definition). Also Wikidata Q5197129

History

2026-11-02: add by m2/dev

Variants J2TMYYNN85

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

Mentions

wikipedia: Wikipedia Ulam spiral#RGCM, Variants (statement)

History

2026-11-02: add by m2/dev

Onno J. Boxma J2TNGAYDA6

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

Mentions

wikipedia: Wikipedia Onno J. Boxma, Onno J. Boxma (topic). Also Wikidata Q7094399

History

2026-11-02: add by m2/dev

Definition J2TS5CMVHE

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

Mentions

wikipedia: Wikipedia Generalized conic#H1KP, Definition (definition)

History

2026-11-02: add by m2/dev

Fuzzy logic and probability J2TTEN0TTA

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

Mentions

wikipedia: Wikipedia Fuzzy logic#JANQ, Fuzzy logic and probability (unknown)

History

2026-11-02: add by m2/dev

Definition J2TX5ZH8P6

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

Mentions

wikipedia: Wikipedia Residuated lattice#SFN3, Definition (definition)

History

2026-11-02: add by m2/dev

Theorem J2VE9C49AH

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

Mentions

wikipedia: Wikipedia Harmonic function#5B3X, Theorem (statement)

History

2026-11-02: add by m2/dev

Akhiezer's theorem J2VH7AR9W6

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

Mentions

mathlib_1000: mathlib_1000 Q4700718, Akhiezer's theorem (statement). Also Wikidata Q4700718
thousand_plus: thousand_plus Q4700718, Akhiezer's theorem (statement). Also Wikidata Q4700718, Wikipedia Akhiezer's theorem
wikipedia: Wikipedia Akhiezer's theorem, Akhiezer's theorem (statement). Also Wikidata Q4700718

History

2026-10-26: add by m2/dev

cyclotomic field J2VJX0YTC6

URI	`m2://inv/J2VJX0YTC6`
Kind	topic
Layer	textbook
Sources	2
Outcome	open
Node	Cyclotomic field NN77VYSGXR

Mentions

wikidata: Wikidata Q1554628, cyclotomic field (unknown). Also MathWorld CyclotomicField, nLab cyclotomic field
wikipedia: Wikipedia Cyclotomic field, Cyclotomic field (topic). Also Wikidata Q1554628

History

2026-10-26: add by m2/dev

Cristina Conati J2VWT2W1ES

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#BN4T, Cristina Conati (unknown)

History

2026-11-02: add by m2/dev

Eichler–Shimura congruence relation J2W49YSG9Q

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

Mentions

wikipedia: Wikipedia Eichler–Shimura congruence relation, Eichler–Shimura congruence relation (definition). Also Wikidata Q5348729

History

2026-11-02: add by m2/dev

J2W5DP8GZC J2W5DP8GZC

URI	`m2://inv/J2W5DP8GZC`
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.05221#A9CD (statement). In 53YVH3QS37/e1, theorem

History

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

J2WH8BQ25S J2WH8BQ25S

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

Mentions

arxiv: arXiv 2609.28669#Y1HO (definition)

History

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

Gladys L. Palmer J2WRTD5F61

URI	`m2://inv/J2WRTD5F61`
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#UAW0, Gladys L. Palmer (topic)

History

2026-11-02: add by m2/dev

J2X0ZTBWWT J2X0ZTBWWT

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

Mentions

arxiv: arXiv 2610.20466#JKJI (definition). In M4ZVJWM8YA/e1, definition A.11

History

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

ROOT J2X1SEFJXH

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

Mentions

wikipedia: Wikipedia List of statistical software#ILTJ, ROOT (unknown)

History

2026-11-02: add by m2/dev

J2XBE48Y7Q J2XBE48Y7Q

URI	`m2://inv/J2XBE48Y7Q`
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.15700#XPPP (statement). In S95MSZ7MDR/e1, lemma 3.5

History

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

Linda Collins J2XMGW835G

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

Mentions

wikipedia: Wikipedia Linda Collins (psychologist), Linda Collins (topic). Also Wikidata Q55203981

History

2026-11-02: add by m2/dev

J2XRY762N9 J2XRY762N9

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#exercise-10 (exercise). In E59CDZA4DP, exercise, section 5.2.1

History

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

Maximum-minimums identity J2XZXH9MJ8

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

Mentions

wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#GQB0, Maximum-minimums identity (statement)

History

2026-11-02: add by m2/dev

Walk-on-spheres method J2Y4WW8KMQ

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

Mentions

wikipedia: Wikipedia Walk-on-spheres method, Walk-on-spheres method (definition). Also Wikidata Q25303850

History

2026-11-02: add by m2/dev

Solution quantifier J2Y7B2PS3H

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

Mentions

wikipedia: Wikipedia Quantifier (logic)#T05D, Solution quantifier (unknown)

History

2026-11-02: add by m2/dev

J2Y9J80P48 J2Y9J80P48

URI	`m2://inv/J2Y9J80P48`
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.09672#87K0 (statement). In TXBXCPP0QH/e1, lemma 34

History

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

Chen--Gounelas J2Y9P2KVNQ

URI	`m2://inv/J2Y9P2KVNQ`
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.29501#6B2O, Chen--Gounelas (statement)

History

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

J2YACAAB1F J2YACAAB1F

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

Mentions

arxiv: arXiv 2610.19010#X293 (definition). In 6315NJBYJM/e1, definition 15

History

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

J2YDD9MR7X J2YDD9MR7X

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

Mentions

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

History

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

suspension spectrum J2YDVAZQC0

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#5JWV, suspension spectrum (definition)

History

2026-11-02: add by m2/dev

Moses Ensheim J2YFF4MMSV

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#V9C6, Moses Ensheim (unknown)

History

2026-11-02: add by m2/dev

Narrowing (computer science) J2YKNQ026S

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

Mentions

wikipedia: Wikipedia Unification (computer science)#D923, Narrowing (computer science) (unknown)

History

2026-11-02: add by m2/dev

GraphCalc J2Z1JA03MY

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#F7R5, GraphCalc (unknown)

History

2026-11-02: add by m2/dev

Arthur Prior J2Z6R9FGEG

URI	`m2://inv/J2Z6R9FGEG`
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 Q250020, Arthur Prior (unknown). Also nLab Arthur Prior
wikipedia: Wikipedia Arthur Prior, Arthur Prior (topic). Also Wikidata Q250020

History

2026-10-26: add by m2/dev

Definition J2Z7H28M26

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

Mentions

wikipedia: Wikipedia Free object#PJO0, Definition (definition)

History

2026-11-02: add by m2/dev

Boundary and interior variables J2ZFMEK0N2

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

Mentions

arxiv: arXiv 2610.17371#MT61, Boundary and interior variables (definition). In FF92TNYHQR/e1, definition 5

History

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

rng J2ZQJ2SHND

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

Mentions

wikipedia: Wikipedia Glossary of ring theory#SPMD, rng (definition)

History

2026-11-02: add by m2/dev