Inventory rows 7N

7N0DM9NRC3 7N0DM9NRC3

URI	`m2://inv/7N0DM9NRC3`
Kind	statement
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#YDEU (statement). In 9DQKY7KGE8/e1, lemma 6.28

History

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

7N0GX36GZM 7N0GX36GZM

URI	`m2://inv/7N0GX36GZM`
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.08288#Z5RA (statement). In CHVWYJM7RM/e1, lemma 3.8

History

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

Hsu, Pao-Lu 7N0PHJV65B

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

Mentions

wikipedia: Wikipedia List of statisticians#LB7N, Hsu, Pao-Lu (topic)

History

2026-11-02: add by m2/dev

weighted graph 7N10KYTY2Z

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#S5A6, weighted graph (definition)

History

2026-11-02: add by m2/dev

Butterfly catastrophe 7N119FG8FJ

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

Mentions

wikipedia: Wikipedia Catastrophe theory#O7U5, Butterfly catastrophe (unknown)

History

2026-11-02: add by m2/dev

Volga (finance) 7N189YCG5H

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

Mentions

wikipedia: Wikipedia Greeks (finance)#7OCZ, Volga (finance) (unknown)

History

2026-11-02: add by m2/dev

7N1D6CN7TF 7N1D6CN7TF

URI	`m2://inv/7N1D6CN7TF`
Kind	statement
Layer	research
MSC	20-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.10804#QSJL (statement). In 6M5WR7KB80/e1, proposition D

History

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

Continuity of the Continuous Solution 7N1FQMA5HD

URI	`m2://inv/7N1FQMA5HD`
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.13355#MTXR, Continuity of the Continuous Solution (statement). In QJ1G1HBC6C/e1, proposition 5.5

History

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

Hypergeometric tails 7N1MWK8TGG

URI	`m2://inv/7N1MWK8TGG`
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.00137#J3NS, Hypergeometric tails (statement). In NKW6YQ04QW/e1, lemma 2.5

History

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

7N1PDEX5SA 7N1PDEX5SA

URI	`m2://inv/7N1PDEX5SA`
Kind	statement
Layer	research
MSC	19-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.36823#QV3E (statement). In 55WT8DME6Y/e1, lemma 3.1

History

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

Adjoint tail identity for integrable perturbations 7N1RZJ6A2R

URI	`m2://inv/7N1RZJ6A2R`
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.21363#8C85, Adjoint tail identity for integrable perturbations (statement). In YPH7NS5AAQ/e1, lemma G.1

History

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

7N2115EE15 7N2115EE15

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

Mentions

arxiv: arXiv 2610.11021#I28V (statement). In R0SSJZYVTJ/e1, proposition 7.1

History

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

7N2C62WTJ7 7N2C62WTJ7

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

Mentions

open_logic: open_logic content/intuitionistic-logic/semantics/semantic-notions.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 32.6

History

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

Random Operators and Stochastic Equations 7N2EDSFBHC

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

Mentions

wikipedia: Wikipedia List of probability journals#LPFO, Random Operators and Stochastic Equations (unknown)

History

2026-11-02: add by m2/dev

7N2G40GXSG 7N2G40GXSG

URI	`m2://inv/7N2G40GXSG`
Kind	statement
Layer	research
MSC	19-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.36823#0GWQ (statement). In 55WT8DME6Y/e1, lemma 1.5

History

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

Nilpotent gauge conjugation 7N2JKKNGWS

URI	`m2://inv/7N2JKKNGWS`
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 2610.19192#QMWL, Nilpotent gauge conjugation (statement). In E53KCQ5029/e1, proposition 1

History

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

Semicubical parabola 7N2JV307RN

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

Mentions

wikidata: Wikidata Q1192953, Semicubical parabola (concept). Also MathWorld SemicubicalParabola
wikipedia: Wikipedia Semicubical parabola, Semicubical parabola (definition). Also Wikidata Q1192953

History

2026-10-26: add by m2/dev

M. G. Nadkarni 7N2SGXW44X

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#JAO8, M. G. Nadkarni (unknown)

History

2026-11-02: add by m2/dev

cut-set 7N319CGMG2

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#V725, cut-set (definition)

History

2026-11-02: add by m2/dev

7N31NQ7GQ7 7N31NQ7GQ7

URI	`m2://inv/7N31NQ7GQ7`
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.01441#RGZP (statement). In V678XY1P9A/e1, theorem 10

History

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

Atoms Insertion Algorithm 7N35H4QQXA

URI	`m2://inv/7N35H4QQXA`
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 2609.30323#8GYW, Atoms Insertion Algorithm (definition). In HDJ6N25XVT/e1, definition 6.1

History

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

United States Census Bureau 7N3C0WTT7J

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

Mentions

wikipedia: Wikipedia United States Census Bureau, United States Census Bureau (definition). Also Wikidata Q637413

History

2026-11-02: add by m2/dev

Coding lemma 7N3S3JR291

URI	`m2://inv/7N3S3JR291`
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.16059#28PA, Coding lemma (statement). In 51W7AECQDA/e1, proposition 4.3

History

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

Probit model 7N3TTNGCY9

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

Mentions

wikipedia: Wikipedia Probit model, Probit model (definition). Also Wikidata Q635217

History

2026-11-02: add by m2/dev

Joint Mathematical Council 7N40ENM8VW

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

Mentions

wikipedia: Wikipedia Joint Mathematical Council, Joint Mathematical Council (definition). Also Wikidata Q6269279

History

2026-11-02: add by m2/dev

Almost Sure Convergence of $\Z_t$ 7N46P77F1W

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

Mentions

arxiv: arXiv 2610.13884#L1CU, Almost Sure Convergence of $\Z_t$ (statement). In N2NQ3QJYTW/e1, theorem 6.4

History

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

7N4B9Y43ZG 7N4B9Y43ZG

URI	`m2://inv/7N4B9Y43ZG`
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.19861#IT10 (statement). In 5ZPQ60TM6J/e1, proposition 17

History

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

Chi distribution 7N4BCQZZ4N

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

Mentions

wikipedia: Wikipedia List of statistics articles#TB7Z, Chi distribution (definition)

History

2026-11-02: add by m2/dev

Bernoulli distribution 7N4MW30V7W

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

Mentions

wikipedia: Wikipedia List of probability distributions#LXX4, Bernoulli distribution (definition)

History

2026-11-02: add by m2/dev

1 000 000 000 000 000 000 000 000 000 000 7N4P5TTWH7

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

Mentions

wikipedia: Wikipedia Orders of magnitude (numbers)#WWQ9, 1 000 000 000 000 000 000 000 000 000 000 (unknown)

History

2026-11-02: add by m2/dev

equivalence class 7N4QTNFSGW

URI	`m2://inv/7N4QTNFSGW`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Equivalence class 082RMRSY26

Mentions

wikidata: Wikidata Q1211071, equivalence class (unknown). Also MathWorld EquivalenceClass, nLab equivalence class
wikipedia: Wikipedia Equivalence class, Equivalence class (definition). Also Wikidata Q1211071

History

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

Henk Tijms 7N4WGKP8DP

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

Mentions

wikipedia: Wikipedia Henk Tijms, Henk Tijms (topic). Also Wikidata Q1980232

History

2026-11-02: add by m2/dev

7N57260N7Z 7N57260N7Z

URI	`m2://inv/7N57260N7Z`
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.30664#JLXS (statement). In ZZGDNKDVJW/e1, proposition 3.5

History

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

7N5CY2K8DZ 7N5CY2K8DZ

URI	`m2://inv/7N5CY2K8DZ`
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 0812.1600#KOYK (definition). In 7Z12QX7837/e1, definition 1.8

History

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

7N5FWB9VGJ 7N5FWB9VGJ

URI	`m2://inv/7N5FWB9VGJ`
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 2610.06045#ZKP3 (example). In SVKM0852RJ/e1, example 7

History

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

Generalizations 7N5QB3NN8K

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

Mentions

wikipedia: Wikipedia Virial theorem#J9S5, Generalizations (statement)

History

2026-11-02: add by m2/dev

Angle bracket 7N5SW1KSGZ

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

Mentions

wikipedia: Wikipedia Bracket#2M2N, Angle bracket (unknown)

History

2026-11-02: add by m2/dev

7N64D62FC2 7N64D62FC2

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

Mentions

arxiv: arXiv 2610.16358#0MYY (statement). In RJA3YJ9NYK/e1, theorem 1.7

History

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

Definition 7N66R5X1FV

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

Mentions

wikipedia: Wikipedia Box spline#OW8S, Definition (definition)

History

2026-11-02: add by m2/dev

Inverse distribution 7N6KDEAZMT

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

Mentions

wikipedia: Wikipedia Inverse distribution, Inverse distribution (definition). Also Wikidata Q7302465

History

2026-11-02: add by m2/dev

7N6SRR28NR 7N6SRR28NR

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/IndexingSets.tex#problem-5 (exercise). In P1C114YBXG, problem, section C

History

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

Examples 7N7DBH8HA6

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

Mentions

wikipedia: Wikipedia Bayesian inference#DKU5, Examples (example)

History

2026-11-02: add by m2/dev

Erdős conjecture on arithmetic progressions 7N7GS44TH3

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

Mentions

wikipedia: Wikipedia List of sums of reciprocals#8SS5, Erdős conjecture on arithmetic progressions (conjecture)

History

2026-11-02: add by m2/dev

7N7JTFFXRD 7N7JTFFXRD

URI	`m2://inv/7N7JTFFXRD`
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.39455#4MOW (statement). In HW4Y4TMEZ3/e1, corollary 5.2

History

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

Borell–TIS inequality 7N7NP4BX0P

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

Mentions

wikipedia: Wikipedia List of inequalities#YBNO, Borell–TIS inequality (statement)

History

2026-11-02: add by m2/dev

Stereohedron 7N7RC3S231

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

Mentions

wikipedia: Wikipedia Stereohedron, Stereohedron (object). Also Wikidata Q30704572

History

2026-11-02: add by m2/dev

Local coupling and moments 7N7SRG5V56

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

Mentions

arxiv: arXiv 2609.28611#ZMUJ, Local coupling and moments (statement)

History

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

Example 7N7TM2TMHY

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

Mentions

wikipedia: Wikipedia Normal cone (algebraic geometry)#G588, Example (example)

History

2026-11-02: add by m2/dev

Examples 7N7Z49Y42T

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

Mentions

wikipedia: Wikipedia Ring of integers#IPCZ, Examples (example)

History

2026-11-02: add by m2/dev

7N83ZEZ3EZ 7N83ZEZ3EZ

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

Mentions

napkin: napkin tex/homology/long-exact.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 54.3

History

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

Alchemy 7N8ATP8S63

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

Mentions

wikipedia: Wikipedia List of superseded scientific theories#GOP0, Alchemy (unknown)

History

2026-11-02: add by m2/dev

Lagrangian and Eulerian specification of the flow field 7N8FVZY0AQ

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

Mentions

wikipedia: Wikipedia Lagrangian and Eulerian specification of the flow field, Lagrangian and Eulerian specification of the flow field (definition). Also Wikidata Q6418927

History

2026-11-02: add by m2/dev

7N8J7T97YX 7N8J7T97YX

URI	`m2://inv/7N8J7T97YX`
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.06326#ZFVL (statement). In DPR6B6X0JX/e1, lemma 9

History

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

7N8M1M5K30 7N8M1M5K30

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

Mentions

arxiv: arXiv 2610.13629#ICPE (statement). In PQNYA0C510/e1, proposition 2.3

History

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

7N8QP57CQV 7N8QP57CQV

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

Mentions

arxiv: arXiv 2610.15504#7H5K (example). In AZ8SEW6HAV/e1, example 2

History

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

\textbf{Function Reconstruction 7N8QXF36Z1

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

Mentions

arxiv: arXiv 2610.02791#WNMB, \textbf{Function Reconstruction (problem). In TT9BA4VMTW/e1, problem A.1

History

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

integer matrix 7N8RKCRQB4

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

Mentions

wikidata: Wikidata Q6042601, integer matrix (unknown). Also MathWorld IntegerMatrix
wikipedia: Wikipedia Integer matrix, Integer matrix (definition). Also Wikidata Q6042601

History

2026-10-26: add by m2/dev

7N8VSFTTNP 7N8VSFTTNP

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

Mentions

arxiv: arXiv 2210.17066#ROM8 (statement). In X2AEJAQEP8/e1, lemma 3.14

History

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

7N8WYQHYYZ 7N8WYQHYYZ

URI	`m2://inv/7N8WYQHYYZ`
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 2609.36423#XMUI (example). In Q5Z178SAHP/e1, example 6.2

History

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

Dot planimeter 7N8Y0WHF1Z

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

Mentions

wikipedia: Wikipedia Dot planimeter, Dot planimeter (definition). Also Wikidata Q106696630

History

2026-11-02: add by m2/dev

7N99AN5D10 7N99AN5D10

URI	`m2://inv/7N99AN5D10`
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.29723#WL16 (statement)

History

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

7N9FW0AKNH 7N9FW0AKNH

URI	`m2://inv/7N9FW0AKNH`
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.01354#7AX0 (definition). In BWD76W20W8/e1, definition 4.8

History

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

7N9JHKGNTR 7N9JHKGNTR

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-68 (exercise). In E59CDZA4DP, exercise, section 11.6.1

History

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

7N9K93ZVED 7N9K93ZVED

URI	`m2://inv/7N9K93ZVED`
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 0905.2248#ICLX (definition). In 7EWB9ZRD9Z/e1, definition 2

History

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

Lobb number 7N9MQS2ZAR

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

Mentions

wikipedia: Wikipedia Lobb number, Lobb number (definition). Also Wikidata Q6663584

History

2026-11-02: add by m2/dev

Continuous limit of reconstructed potential 7N9P6PDPSG

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

Mentions

arxiv: arXiv 2610.15466#JS17, Continuous limit of reconstructed potential (statement). In KJ7V6XG4M7/e1, corollary 5

History

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

7NA1123V2Z 7NA1123V2Z

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

Mentions

arxiv: arXiv 2610.16386#KSK7 (statement). In RAF0BFY3Z3/e1, theorem 5.6

History

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

Visual reasoning 7NA2B5MMCQ

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

Mentions

wikipedia: Wikipedia Visual reasoning, Visual reasoning (definition). Also Wikidata Q7936620

History

2026-11-02: add by m2/dev

Method of infinite descent 7NA303NXV4

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

Mentions

wikipedia: Wikipedia List of mathematics-based methods#25Z8, Method of infinite descent (definition)

History

2026-11-02: add by m2/dev

Definition 7NA9A0CZMC

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

Mentions

wikipedia: Wikipedia Aperiodic finite-state automaton#3P7X, Definition (definition)

History

2026-11-02: add by m2/dev

7NAK2X34EF 7NAK2X34EF

URI	`m2://inv/7NAK2X34EF`
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.38268#SZA6 (statement). In TQ18V9TDQS/e1, lemma 2.1

History

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

Krull--Remak--Schmidt 7NAT5TVM2W

URI	`m2://inv/7NAT5TVM2W`
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 1303.4328#UXPK, Krull--Remak--Schmidt (statement). In HCTYW6VH87/e1, theorem 2.1

History

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

7NAWRZ2SNN 7NAWRZ2SNN

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

Mentions

arxiv: arXiv 2609.32374#28DG (statement). In 96D6N9AXQM/e1, theorem 4.5

History

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

7NAYCSX9MD 7NAYCSX9MD

URI	`m2://inv/7NAYCSX9MD`
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.21367#LSUZ (statement)

History

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

Miles Reid 7NAYEHMGCD

URI	`m2://inv/7NAYEHMGCD`
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#V4SN, Miles Reid (topic)

History

2026-11-02: add by m2/dev

N. V. Efimov 7NB12FD6GJ

URI	`m2://inv/7NB12FD6GJ`
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#PFLP, N. V. Efimov (unknown)

History

2026-11-02: add by m2/dev

Magnus expansion 7NB8AJTEYS

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

Mentions

wikipedia: Wikipedia Magnus expansion, Magnus expansion (definition). Also Wikidata Q6732207

History

2026-11-02: add by m2/dev

7NB9M92CB6 7NB9M92CB6

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

Mentions

arxiv: arXiv 2610.22326#IPBI (definition). In EAABRG99V8/e1, definition 3.6

History

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

Optimization algorithms 7NBMGCVTHJ

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

Mentions

wikipedia: Wikipedia Algorithm#A9U3, Optimization algorithms (unknown)

History

2026-11-02: add by m2/dev

7NBN56NG4Z 7NBN56NG4Z

URI	`m2://inv/7NBN56NG4Z`
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.22040#SERC (statement). In 2QP93JHYNB/e1, proposition 7.2

History

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

7NBPC1J348 7NBPC1J348

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

Mentions

arxiv: arXiv 2609.39700#X3NF (statement). In E7W2HDNEKJ/e1, corollary 9.25

History

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

Definition 7NBV9G84WX

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

Mentions

wikipedia: Wikipedia Nuclear operator#1Z77, Definition (definition)

History

2026-11-02: add by m2/dev

7NC0N7EERR 7NC0N7EERR

URI	`m2://inv/7NC0N7EERR`
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 2610.14318#OXWG (example). In HA4SZZJ831/e1, example 3.2

History

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

Horologium Oscillatorium 7NC4MGC58V

URI	`m2://inv/7NC4MGC58V`
Kind	definition
Layer	textbook
Sources	2
Outcome	out_of_scope (a book, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q17055395, Horologium Oscillatorium (unknown). Also ProofWiki Book:Christiaan_Huygens/Horologium_Oscillatorium_sive_de_Motu_Pendularium
wikipedia: Wikipedia Horologium Oscillatorium, Horologium Oscillatorium (definition). Also Wikidata Q17055395

History

2026-10-26: add by m2/dev

Hosoya's triangle 7NCA83B2SX

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

Mentions

wikipedia: Wikipedia Hosoya's triangle, Hosoya's triangle (definition). Also Wikidata Q17027607

History

2026-11-02: add by m2/dev

Box–Jenkins method 7NCE3BP2HM

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

Mentions

wikipedia: Wikipedia Box–Jenkins method, Box–Jenkins method (definition). Also Wikidata Q895497

History

2026-11-02: add by m2/dev

Lieb–Thirring inequality 7NCF7DHEM1

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

Mentions

wikipedia: Wikipedia Stability of matter#QXO7, Lieb–Thirring inequality (statement)

History

2026-11-02: add by m2/dev

Gérald Tenenbaum 7NCRYZCMDB

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

Mentions

wikipedia: Wikipedia Gérald Tenenbaum, Gérald Tenenbaum (topic). Also Wikidata Q747284

History

2026-11-02: add by m2/dev

satisfaction 7NCRZSVNQT

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

Mentions

wikipedia: Wikipedia Glossary of logic#NNZG, satisfaction (definition)

History

2026-11-02: add by m2/dev

Systolic freedom 7NCSYE7E8N

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

Mentions

wikipedia: Wikipedia Systolic freedom, Systolic freedom (definition). Also Wikidata Q7663895

History

2026-11-02: add by m2/dev

adjoint, functor 7NCYDR1WKG

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

Mentions

hott_book: hott_book index/2.9/adjoint-functor, adjoint, functor (concept). In N54F33XE07, index, section 2.9

History

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

Definitions 7NCZ1G5G1R

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

Mentions

wikipedia: Wikipedia Narayana polynomials#NPBK, Definitions (definition)

History

2026-11-02: add by m2/dev

7ND1KX74PZ 7ND1KX74PZ

URI	`m2://inv/7ND1KX74PZ`
Kind	example
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.29824#2K85 (example)

History

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

Example 7ND61E499A

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

Mentions

wikipedia: Wikipedia Conditional probability#TWJE, Example (example)

History

2026-11-02: add by m2/dev

Hash chain 7ND6HXCZ06

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

Mentions

wikipedia: Wikipedia Hash chain, Hash chain (definition). Also Wikidata Q5678864

History

2026-11-02: add by m2/dev

Phạm Minh Hoàng 7ND9CZGBME

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

Mentions

wikipedia: Wikipedia Phạm Minh Hoàng, Phạm Minh Hoàng (topic). Also Wikidata Q7180368

History

2026-11-02: add by m2/dev

Three Sails 7NDB1EP24H

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

Mentions

wikipedia: Wikipedia List of places with numeric names#YVW0, Three Sails (unknown)

History

2026-11-02: add by m2/dev

Blumberg theorem 7NDKHWCV0Y

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

Mentions

wikidata: Wikidata Q16680049, Blumberg theorem (statement). Also EoM Blumberg_theorem
wikipedia: Wikipedia Blumberg theorem, Blumberg theorem (statement). Also Wikidata Q16680049

History

2026-10-26: add by m2/dev

Root test 7NDPDD99FD

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

Mentions

wikipedia: Wikipedia List of real analysis topics#GOJ3, Root test (definition)

History

2026-11-02: add by m2/dev

Atomic formula in first-order logic 7NDQWKWMHG

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

Mentions

wikipedia: Wikipedia Atomic formula#VIWL, Atomic formula in first-order logic (statement)

History

2026-11-02: add by m2/dev

Kripke–Platek set theory with urelements 7NDSJ5TFJQ

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

Mentions

wikipedia: Wikipedia List of alternative set theories#X268, Kripke–Platek set theory with urelements (definition)

History

2026-11-02: add by m2/dev

7NDT2D9ZTJ 7NDT2D9ZTJ

URI	`m2://inv/7NDT2D9ZTJ`
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.28669#VZAQ (statement)

History

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

7NDV39S4QK 7NDV39S4QK

URI	`m2://inv/7NDV39S4QK`
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.25896#CCEN (statement)

History

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

7NDXJAGC6Y 7NDXJAGC6Y

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

Mentions

arxiv: arXiv 2610.06300#B2F6 (statement). In 751KSRS7WT/e1, theorem 6.2

History

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

$(\infty,1)$-category 7NDY7QTE7F

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

Mentions

hott_book: hott_book index/2.9/infty-1-category, $(\infty,1)$-category (concept). In N54F33XE07, index, section 2.9

History

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

First part of König's theorem 7NE0W7MAN3

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

Mentions

wikipedia: Wikipedia König's theorem (kinetics)#4CM9, First part of König's theorem (statement)

History

2026-11-02: add by m2/dev

Weak submodularity 7NE3ANM7H2

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

Mentions

arxiv: arXiv 2609.24569#YY9E, Weak submodularity (definition)

History

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

Strictly simple group 7NE5TQB676

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

Mentions

wikipedia: Wikipedia Strictly simple group, Strictly simple group (definition). Also Wikidata Q7623692

History

2026-11-02: add by m2/dev

Applications 7NEVRZ48DC

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

Mentions

wikipedia: Wikipedia Steenrod algebra#AAK2, Applications (example)

History

2026-11-02: add by m2/dev

Włodzimierz Kuperberg 7NF8RH9EP8

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

Mentions

wikipedia: Wikipedia Włodzimierz Kuperberg, Włodzimierz Kuperberg (topic). Also Wikidata Q3709235

History

2026-11-02: add by m2/dev

Nagell-Ljunggren equation 7NF8TRAASS

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

Mentions

wikipedia: Wikipedia Repdigit#PX6V, Nagell-Ljunggren equation (unknown)

History

2026-11-02: add by m2/dev

David Chudnovsky 7NFB00B8P9

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#UNX0, David Chudnovsky (topic)

History

2026-11-02: add by m2/dev

7NFM3MDX6E 7NFM3MDX6E

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

History

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

upper domination number 7NFNBQG9R2

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

Mentions

wikidata: Wikidata Q130405721, upper domination number (unknown). Also MathWorld UpperDominationNumber

History

2026-10-26: add by m2/dev

Clifford Martin Will 7NFSKWAD9G

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#0Q0I, Clifford Martin Will (topic)

History

2026-11-02: add by m2/dev

Theorem 7NFXWJ7E3N

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

Mentions

wikipedia: Wikipedia Sub-Gaussian distribution#F25Q, Theorem (statement)

History

2026-11-02: add by m2/dev

Venn diagram 7NG0MSXTNT

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

Mentions

lebl_ra: lebl_ra index/11.9.1/venn-diagram, Venn diagram (concept). In E59CDZA4DP, index, section 11.9.1

History

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

7NG40TA6JZ 7NG40TA6JZ

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/logic-conc.ptx#tt (exercise). In Y91XFCEVHQ, exercise, section 4.3

History

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

Rank abundance curve 7NGA6MFENV

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

Mentions

wikipedia: Wikipedia List of statistics articles#FZ0P, Rank abundance curve (definition)

History

2026-11-02: add by m2/dev

Characterizations 7NGCVEBVHQ

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

Mentions

wikipedia: Wikipedia Euclidean distance matrix#KFKD, Characterizations (statement)

History

2026-11-02: add by m2/dev

7NGFVQCG79 7NGFVQCG79

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

Mentions

arxiv: arXiv 2610.04870#KW4W (statement). In X765ZXXVC3/e1, theorem 1.7

History

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

7NGNBG02E3 7NGNBG02E3

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

History

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

7NGRRXRM57 7NGRRXRM57

URI	`m2://inv/7NGRRXRM57`
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.03238#PY26 (statement). In 5PG581A1GK/e1, corollary 16

History

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

7NGX3JFS1E 7NGX3JFS1E

URI	`m2://inv/7NGX3JFS1E`
Kind	example
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 2403.15255#T3LV (example). In G691MXMYW0/e1, example 2.4

History

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

7NH12FGD88 7NH12FGD88

URI	`m2://inv/7NH12FGD88`
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 2511.08099#218G (statement). In 5NK801XBGA/e1, lemma 4.1

History

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

Alexander R. Kemer 7NH62YGZQ3

URI	`m2://inv/7NH62YGZQ3`
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#7NN9, Alexander R. Kemer (unknown)

History

2026-11-02: add by m2/dev

7NHG5WZ69D 7NHG5WZ69D

URI	`m2://inv/7NHG5WZ69D`
Kind	statement
Layer	research
MSC	05-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.36332#0PC8 (statement). In APK7X4MFAX/e1, proposition 2

History

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

7NHRSBF7HW 7NHRSBF7HW

URI	`m2://inv/7NHRSBF7HW`
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 2609.24484#TS2N (statement)

History

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

7NJ1QB9X46 7NJ1QB9X46

URI	`m2://inv/7NJ1QB9X46`
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.10107#OD3B (definition). In ZHNJ8MSXHW/e1, definition 2.2

History

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

Modulus function 7NJ3HYTWVC

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

Mentions

wikipedia: Wikipedia Absolute value#87TR, Modulus function (unknown)

History

2026-11-02: add by m2/dev

7NJ4NWRD0F 7NJ4NWRD0F

URI	`m2://inv/7NJ4NWRD0F`
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.01828#UYEK (statement). In RQMJY73C8Q/e1, theorem II.7

History

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

7NJ6Q183M6 7NJ6Q183M6

URI	`m2://inv/7NJ6Q183M6`
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.13291#N28O (statement). In D16PSAVVWV/e1, theorem 6.2

History

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

Core-compact space 7NJ9TEHBB8

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

Mentions

wikipedia: Wikipedia Core-compact space, Core-compact space (definition). Also Wikidata Q117312499

History

2026-11-02: add by m2/dev

Momentum thickness 7NJBXRMYTY

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

Mentions

wikipedia: Wikipedia Boundary layer thickness#YEYL, Momentum thickness (unknown)

History

2026-11-02: add by m2/dev

Classical involution theorem 7NJDWJGNDG

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

Mentions

wikipedia: Wikipedia Classical involution theorem, Classical involution theorem (statement). Also Wikidata Q5128337

History

2026-11-02: add by m2/dev

Momentum and convection 7NJE9XX9S4

URI	`m2://inv/7NJE9XX9S4`
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#4TQX, Momentum and convection (statement). In 3Z0PRE77SY/e1, proposition 3.3

History

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

Sherri Rose 7NJFS1G7TR

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

Mentions

wikipedia: Wikipedia Sherri Rose, Sherri Rose (topic). Also Wikidata Q90029114

History

2026-11-02: add by m2/dev

Zermelo–Fraenkel set theory 7NJHZ5ZGZN

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

Mentions

wikipedia: Wikipedia List of first-order theories#ZHXE, Zermelo–Fraenkel set theory (definition)

History

2026-11-02: add by m2/dev

Dirichlet's theorem on arithmetic progressions 7NJNJY1XC9

URI	`m2://inv/7NJNJY1XC9`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Dirichlet's theorem on arithmetic progressions 0GNVN3CA2P

Mentions

mathlib_100: mathlib_100 48, Dirichlet’s Theorem (statement). Also Mathlib Nat.infinite_setOfPred_prime_and_eq_mod
mathlib_1000: mathlib_1000 Q550402, Dirichlet's theorem on arithmetic progressions (statement). Also Mathlib Nat.infinite_setOfPred_prime_and_eq_mod, Wikidata Q550402
thousand_plus: thousand_plus Q550402, Dirichlet's theorem on arithmetic progressions (statement). Also Mathlib Nat.infinite_setOf_prime_and_eq_mod, Wikidata Q550402, Wikipedia Dirichlet's theorem on arithmetic progressions
wikidata: Wikidata Q550402, Dirichlet's theorem on arithmetic progressions (statement). Also MathWorld DirichletsTheorem
wikipedia: Wikipedia Dirichlet's theorem on arithmetic progressions, Dirichlet's theorem on arithmetic progressions (statement). Also Wikidata Q550402

History

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

Symplectization 7NJYR0ATS8

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

Mentions

wikipedia: Wikipedia Symplectization, Symplectization (definition). Also Wikidata Q7661854

History

2026-11-02: add by m2/dev

7NJYY98BZT 7NJYY98BZT

URI	`m2://inv/7NJYY98BZT`
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 2501.17009#DJFC (statement). In PESAKD6SSW/e1, corollary 5.17

History

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

Implementations 7NK043DV2J

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

Mentions

wikipedia: Wikipedia Hash table#YQZ6, Implementations (definition)

History

2026-11-02: add by m2/dev

Density wave theory 7NK6H43MN4

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

Mentions

wikipedia: Wikipedia Density wave theory, Density wave theory (topic). Also Wikidata Q1209551

History

2026-11-02: add by m2/dev

loop space, iterated 7NK9HWGZFG

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

Mentions

hott_book: hott_book index/7.4/loop-space-iterated, loop space, iterated (concept). In N54F33XE07, index, section 7.4

History

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

Examples 7NKGQBF9F7

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

Mentions

wikipedia: Wikipedia Vector spherical harmonics#8Z3W, Examples (example)

History

2026-11-02: add by m2/dev

7NKH5DTZ1R 7NKH5DTZ1R

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

Mentions

arxiv: arXiv 2609.23605#RX6G (example)

History

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

7NKJC7RWC0 7NKJC7RWC0

URI	`m2://inv/7NKJC7RWC0`
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.02993#TXML (statement). In TJH58FRGEN/e1, theorem 1.4

History

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

Strings 7NKTGTESQX

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

Mentions

open_logic: open_logic content/sets-functions-relations/sets/important-sets.tex#ex-2, Strings (example). In PKGMM3P5QY, ex, section 82.4

History

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

An absolutely continuous radial counterexample 7NM03H8AAF

URI	`m2://inv/7NM03H8AAF`
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.07404#OYEP, An absolutely continuous radial counterexample (statement). In VAJ9MBT3SJ/e1, proposition 8

History

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

Health care analytics 7NM1MH10CZ

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

Mentions

wikipedia: Wikipedia List of statistics articles#HTK7, Health care analytics (definition)

History

2026-11-02: add by m2/dev

7NM235WZTT 7NM235WZTT

URI	`m2://inv/7NM235WZTT`
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 2102.09374#3EET (definition). In TGAHH1F8K5/e1, definition 3.3

History

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

continuity principle, second version 7NMK2K8XZY

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

Mentions

lebl_scv: lebl_scv index/2.5/continuity-principle-second-version, continuity principle, second version (concept). In VNMV985MXX, index, section 2.5

History

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

Avondale 7NMZWS1R6X

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

Mentions

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

History

2026-11-02: add by m2/dev

7NN6QYENP1 7NN6QYENP1

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

Mentions

arxiv: arXiv 2609.28282#FRQK (statement)

History

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

Implementation 7NNEA9ASYX

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

Mentions

wikipedia: Wikipedia Post-quantum cryptography#BZYE, Implementation (definition)

History

2026-11-02: add by m2/dev

7NNNAWZ0QZ 7NNNAWZ0QZ

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

Mentions

open_logic: open_logic content/proof-theory/natural-deduction/translation-G2i.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 58.4

History

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

Frederick Erickson 7NNSTM2W1E

URI	`m2://inv/7NNSTM2W1E`
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#HBW1, Frederick Erickson (unknown)

History

2026-11-02: add by m2/dev

Minimum-variance unbiased estimator 7NNY3DW7SE

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

Mentions

wikipedia: Wikipedia Minimum-variance unbiased estimator, Minimum-variance unbiased estimator (definition). Also Wikidata Q3755281

History

2026-11-02: add by m2/dev

7NP4A5JF3S 7NP4A5JF3S

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

Mentions

arxiv: arXiv 2609.21914#OEVC (definition)

History

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

Integer factorization 7NP4FT70TH

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#VAJR, Integer factorization (conjecture)

History

2026-11-02: add by m2/dev

7NPDADDXQW 7NPDADDXQW

URI	`m2://inv/7NPDADDXQW`
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.21528#710N (statement)

History

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

7NPEXHEEWK 7NPEXHEEWK

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

Mentions

napkin: napkin tex/cats/abelian.tex#example-5 (example). In RZP28ERRZV, example, section 35.5

History

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

7NPQ0B3RCR 7NPQ0B3RCR

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

Mentions

arxiv: arXiv 2405.05684#FG3L (statement). In 1PR73ECTZB/e1, lemma 16

History

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

finite geometry 7NPWV4RXH8

URI	`m2://inv/7NPWV4RXH8`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Finite geometry MCDZP31ZF3

Mentions

wikidata: Wikidata Q1077896, finite geometry (topic). Also MathWorld FiniteGeometry
wikipedia: Wikipedia Finite geometry, Finite geometry (definition). Also Wikidata Q1077896

History

2026-10-26: add by m2/dev

Trace-SWAP identity 7NPX6V5JVS

URI	`m2://inv/7NPX6V5JVS`
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.00117#Y4AP, Trace-SWAP identity (statement). In 4G2BDP206S/e1, fact 21

History

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

Emilio Baiada 7NQ35GPD3H

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#YMHT, Emilio Baiada (topic)

History

2026-11-02: add by m2/dev

Least random number 7NQ3K3R725

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

Mentions

wikipedia: Wikipedia 17 (number)#PIDB, Least random number (unknown)

History

2026-11-02: add by m2/dev

Variations 7NQ5DGP78V

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

Mentions

wikipedia: Wikipedia Minimum-weight triangulation#BKKL, Variations (statement)

History

2026-11-02: add by m2/dev

7NQ6YKW879 7NQ6YKW879

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

Mentions

arxiv: arXiv 2610.09678#WRI4 (statement). In 9VG7PNZHZT/e1, proposition 3.6

History

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

7NQ8M289RH 7NQ8M289RH

URI	`m2://inv/7NQ8M289RH`
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.14681#2SIA (statement). In 459W0NBS5Q/e1, theorem 3

History

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

7NQNNXR87A 7NQNNXR87A

URI	`m2://inv/7NQNNXR87A`
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.26401#IAK4 (statement)

History

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

Circuit satisfiability problem 7NQTH6D1FJ

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

Mentions

wikipedia: Wikipedia Circuit satisfiability problem, Circuit satisfiability problem (problem). Also Wikidata Q5121622

History

2026-11-02: add by m2/dev

7NQYTHHFYV 7NQYTHHFYV

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

Mentions

arxiv: arXiv 2103.12669#W8OR (statement). In ZA6XNBA90V/e1, lemma 1.27

History

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

7NQZFKCZNW 7NQZFKCZNW

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

Mentions

arxiv: arXiv 2610.06338#AJ6O (statement). In F1CYVYK7YB/e1, lemma A.3

History

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

Definition 1 7NR06JNJ0H

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

Mentions

wikipedia: Wikipedia Petri net#Q2AW, Definition 1 (definition)

History

2026-11-02: add by m2/dev

Rhode Island Math League 7NR2YRFNVB

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

Mentions

wikipedia: Wikipedia List of United States regional mathematics competitions#7MPH, Rhode Island Math League (definition)

History

2026-11-02: add by m2/dev

7NR6ZTS6N9 7NR6ZTS6N9

URI	`m2://inv/7NR6ZTS6N9`
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.03292#AXTR (statement). In SN2PBM95HT/e1, lemma 3.4

History

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

7NRGQ1ST8F 7NRGQ1ST8F

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

Mentions

arxiv: arXiv 2609.35543#NGGT (statement). In WSG1ZW956E/e1, corollary 7.5

History

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

7NRH9TDNAC 7NRH9TDNAC

URI	`m2://inv/7NRH9TDNAC`
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.19694#9UDX (statement). In EP0M4RSZ9P/e1, lemma 3.6

History

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

product of four distinct primes 7NRPRP3MWW

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

Mentions

wikidata: Wikidata Q109364216, product of four distinct primes (object). Also OEIS A046386

History

2026-10-26: add by m2/dev

Dirk Kroese 7NRQ6T2AMR

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

Mentions

wikipedia: Wikipedia Dirk Kroese, Dirk Kroese (topic). Also Wikidata Q60216519

History

2026-11-02: add by m2/dev

7NRQ7FH0DV 7NRQ7FH0DV

URI	`m2://inv/7NRQ7FH0DV`
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.37794#S64Z (statement). In ACFC6XHAMQ/e1, corollary 4

History

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

Invariance 7NRR6MW0FX

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

Mentions

arxiv: arXiv 2609.27966#3XF9, Invariance (statement)

History

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

Irrelevant ideal 7NRS7DN0FF

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

Mentions

wikipedia: Wikipedia Irrelevant ideal, Irrelevant ideal (definition). Also Wikidata Q6073624

History

2026-11-02: add by m2/dev

variation of boundary data 7NRVWFNWCA

URI	`m2://inv/7NRVWFNWCA`
Kind	statement
Layer	research
MSC	35-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.05423#4D7J, variation of boundary data (statement). In 3ABGS3F1JG/e1, lemma 3.1

History

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

permutation 7NRWGN1RNN

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

Mentions

applied_combinatorics: applied_combinatorics index/15.2/permutation, permutation (concept). In QKM9DD2H56, index, section 15.2

History

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

7NS0ME6CB5 7NS0ME6CB5

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

Mentions

arxiv: arXiv 2609.28011#EN8J (definition)

History

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

7NS0NVRCEB 7NS0NVRCEB

URI	`m2://inv/7NS0NVRCEB`
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.12329#K0ON (statement). In ZJQB9W60T6/e1, theorem 5.6

History

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

7NSAR914C8 7NSAR914C8

URI	`m2://inv/7NSAR914C8`
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.03488#4AN4 (statement). In 9GXR1WEYWT/e1, lemma 3.1

History

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

A general sharp quadratic height inequality 7NSBBQ26WF

URI	`m2://inv/7NSBBQ26WF`
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#FDR2, A general sharp quadratic height inequality (statement). In 9YAE8FNQST/e1, theorem 3.12

History

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

Artin–Tits group 7NSQD9QZJX

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

Mentions

wikipedia: Wikipedia Artin–Tits group, Artin–Tits group (definition). Also Wikidata Q3956993

History

2026-11-02: add by m2/dev

Selector 7NSTZS2S7D

URI	`m2://inv/7NSTZS2S7D`
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 2609.32478#4905, Selector (definition). In 5QBSYDC2XH/e1, definition 2

History

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

7NSYGRVDEK 7NSYGRVDEK

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

Mentions

arxiv: arXiv 2609.38664#J97V (statement). In 7BCDS9M8MC/e1, lemma 2.2

History

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

7NT0BN42HG 7NT0BN42HG

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

Mentions

arxiv: arXiv 2610.17060#K9PM (statement). In 5KR3MHYVV6/e1, lemma 5.12

History

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

Fixed-point theorems in infinite-dimensional spaces 7NT15BMZ50

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

Mentions

wikipedia: Wikipedia List of functional analysis topics#V5GZ, Fixed-point theorems in infinite-dimensional spaces (statement)
wikipedia: Wikipedia List of theorems#ZQQV, Fixed-point theorems in infinite-dimensional spaces (statement)

History

2026-11-02: add by m2/dev

7NT8B07ERX 7NT8B07ERX

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

Mentions

arxiv: arXiv 2610.10930#5X2T (definition). In HX63A1PH1W/e1, definition 8.15

History

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

minion homomorphism poset 7NTEZHK8S8

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

Mentions

arxiv: arXiv 2610.12484#A45B, minion homomorphism poset (definition). In GW23NX78SB/e1, definition 2.28

History

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

List of graph theory topics 7NTF9MVHVM

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

Mentions

wikipedia: Wikipedia List of graph theory topics, List of graph theory topics (topic). Also Wikidata Q6621904

History

2026-11-02: add by m2/dev

7NTKK6T9ZB 7NTKK6T9ZB

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

Mentions

arxiv: arXiv 2610.06529#BG5D (definition). In JFQY4CYHKP/e1, definition 2.7

History

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

Arthur Edward Lyster 7NTM4Z8WG0

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

Mentions

wikipedia: Wikipedia Arthur Edward Lyster, Arthur Edward Lyster (topic). Also Wikidata Q140628838

History

2026-11-02: add by m2/dev

Nagell–Lutz theorem 7NTNA26PYY

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

Mentions

mathlib_1000: mathlib_1000 Q3527132, Nagell–Lutz theorem (statement). Also Wikidata Q3527132
thousand_plus: thousand_plus Q3527132, Nagell–Lutz theorem (statement). Also Wikidata Q3527132, Wikipedia Nagell–Lutz theorem
wikipedia: Wikipedia Nagell–Lutz theorem, Nagell–Lutz theorem (statement). Also Wikidata Q3527132

History

2026-10-26: add by m2/dev

7NVCKHPAN0 7NVCKHPAN0

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

Mentions

arxiv: arXiv 2405.05684#1X11 (statement). In 1PR73ECTZB/e1, lemma 12

History

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

Liouville property 7NVJF4RRSP

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

Mentions

arxiv: arXiv 2610.06944#ED6W, Liouville property (statement). In 1HSWBXDXWV/e1, lemma 3.2

History

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

Indexicality 7NVKEMDXSS

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

Mentions

wikipedia: Wikipedia Indexicality, Indexicality (definition). Also Wikidata Q1661162

History

2026-11-02: add by m2/dev

7NVRN44J6S 7NVRN44J6S

URI	`m2://inv/7NVRN44J6S`
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-6 (exercise). In E9HS8K3A52, exercise, section 5.1.6

History

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

7NVSDNAGXZ 7NVSDNAGXZ

URI	`m2://inv/7NVSDNAGXZ`
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.25524#UZ1Q (statement)

History

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

Probability and statistics 7NVVCR04DX

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

Mentions

wikipedia: Wikipedia Probability and statistics, Probability and statistics (definition). Also Wikidata Q98124957

History

2026-11-02: add by m2/dev

7NW8BJVAHG 7NW8BJVAHG

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

Mentions

arxiv: arXiv 2609.23287#4298 (statement)

History

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

7NW9YEP3W7 7NW9YEP3W7

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

Mentions

arxiv: arXiv 2609.01473#8TQM (statement). In ABS9M47F4K/e1, lemma 3.35

History

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

7NWE51DKX3 7NWE51DKX3

URI	`m2://inv/7NWE51DKX3`
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 0904.0817#KRDI (statement). In 569FZDANV3/e1, lemma 2.10

History

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

7NWGH15R9W 7NWGH15R9W

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

Mentions

arxiv: arXiv 2609.23469#QACN (statement)

History

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

Geopotential 7NWS7PA5N3

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

Mentions

wikipedia: Wikipedia Geopotential, Geopotential (definition). Also Wikidata Q1423347

History

2026-11-02: add by m2/dev

Endrass surface 7NWTYWVC46

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

Mentions

wikipedia: Wikipedia Endrass surface, Endrass surface (definition). Also Wikidata Q5376590

History

2026-11-02: add by m2/dev

Mathematical statistics 7NWV8RKH9Q

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

Mentions

wikipedia: Wikipedia List of statistics articles#8EW8, Mathematical statistics (topic)

History

2026-11-02: add by m2/dev

incidence geometry 7NWXY5GXTJ

URI	`m2://inv/7NWXY5GXTJ`
Kind	topic
Layer	textbook
Sources	2
Outcome	open
Node	Incidence geometry CSXT0BG2CM

Mentions

wikidata: Wikidata Q4582901, incidence geometry (unknown). Also nLab incidence geometry
wikipedia: Wikipedia Incidence geometry, Incidence geometry (topic). Also Wikidata Q4582901

History

2026-10-26: add by m2/dev

Special cases 7NX2GEFASP

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

Mentions

wikipedia: Wikipedia Flag bundle#7OFC, Special cases (statement)

History

2026-11-02: add by m2/dev

Hugo Steinhaus 7NX51ANHYR

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#83ZS, Hugo Steinhaus (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JDNI, Hugo Steinhaus (topic)

History

2026-11-02: add by m2/dev

7NXE2P81G8 7NXE2P81G8

URI	`m2://inv/7NXE2P81G8`
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.30097#YGMD (statement)

History

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

=*{Definition 2.14, Proposition 2.15 7NXJ7BCGCQ

URI	`m2://inv/7NXJ7BCGCQ`
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 2609.36922#SYT1, =*{Definition 2.14, Proposition 2.15 (definition). In BMHWE5QTTR/e1, definition 1.1

History

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

7NXTKTH89A 7NXTKTH89A

URI	`m2://inv/7NXTKTH89A`
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.29699#1BXV (statement)

History

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

Properties 7NY0WC2S8E

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

Mentions

wikipedia: Wikipedia Brouwer–Haemers graph#KRV7, Properties (statement)

History

2026-11-02: add by m2/dev

7NY7PJ1C7Y 7NY7PJ1C7Y

URI	`m2://inv/7NY7PJ1C7Y`
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.20207#LGMA (statement). In 1MPH7GCFJ2/e1, theorem A

History

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

7NY8BXF64S 7NY8BXF64S

URI	`m2://inv/7NY8BXF64S`
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.01276#FNZP (statement). In 7JJPPMS2DN/e1, lemma 6.1

History

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

mathematical object 7NY95RYZA5

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

Mentions

wikidata: Wikidata Q246672, mathematical object (unknown). Also nLab mathematical object
wikipedia: Wikipedia Mathematical object, Mathematical object (definition). Also Wikidata Q246672

History

2026-10-26: add by m2/dev

7NYBNCY4JR 7NYBNCY4JR

URI	`m2://inv/7NYBNCY4JR`
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 2102.09374#3Q96 (statement). In TGAHH1F8K5/e1, theorem 1

History

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

Theorem 7NYC833BHD

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

Mentions

wikipedia: Wikipedia Jucys–Murphy element#MTJL, Theorem (statement)

History

2026-11-02: add by m2/dev

7NYH3ZHAB7 7NYH3ZHAB7

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

Mentions

arxiv: arXiv 2609.38051#IMGC (statement). In 81CGKD8RTP/e1, theorem 1

History

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

7NYQT5NE6A 7NYQT5NE6A

URI	`m2://inv/7NYQT5NE6A`
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.09494#0TLR (statement). In H297EPZQQB/e1, corollary 1.2

History

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

Tony Gardiner 7NYTK5HZ2M

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

Mentions

wikipedia: Wikipedia Tony Gardiner, Tony Gardiner (topic). Also Wikidata Q7822413

History

2026-11-02: add by m2/dev

Anne Chao 7NYVAN896Q

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

Mentions

wikipedia: Wikipedia Anne Chao, Anne Chao (topic). Also Wikidata Q9095806

History

2026-11-02: add by m2/dev

Statistical literacy 7NYXK9JVFN

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

Mentions

wikipedia: Wikipedia Statistical literacy, Statistical literacy (definition). Also Wikidata Q2895692

History

2026-11-02: add by m2/dev

Hexagonal tortoise problem 7NZ2Q51Q63

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

Mentions

wikipedia: Wikipedia Hexagonal tortoise problem, Hexagonal tortoise problem (problem). Also Wikidata Q11272615

History

2026-11-02: add by m2/dev

Properties 7NZ9Z3RMTS

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

Mentions

wikipedia: Wikipedia Hamiltonian vector field#S03E, Properties (statement)

History

2026-11-02: add by m2/dev

7NZATFK9E4 7NZATFK9E4

URI	`m2://inv/7NZATFK9E4`
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.32174#2Z7A (statement). In GHKR740SG3/e1, lemma 13.6

History

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

7NZBFFRA7X 7NZBFFRA7X

URI	`m2://inv/7NZBFFRA7X`
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 2405.04958#UZDG (statement). In 5HQJSF6458/e1, theorem 3

History

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

Michael Hochman 7NZRNV17S4

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

Mentions

wikipedia: Wikipedia Michael Hochman, Michael Hochman (topic). Also Wikidata Q102350887

History

2026-11-02: add by m2/dev

Hobbes–Wallis controversy 7NZW1QKHAX

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

Mentions

wikipedia: Wikipedia Hobbes–Wallis controversy, Hobbes–Wallis controversy (definition). Also Wikidata Q15995132

History

2026-11-02: add by m2/dev