Inventory rows JM

Young's Inequality JM03ZREG1Z

URI	`m2://inv/JM03ZREG1Z`
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.30105#GJ61, Young's Inequality (statement)

History

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

Isometry JM0A5X8RHB

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

Mentions

wikipedia: Wikipedia Glossary of general topology#TM3D, Isometry (definition)

History

2026-11-02: add by m2/dev

Alcuin's sequence JM0AM9C1TX

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

Mentions

wikidata: Wikidata Q4713383, Alcuin's sequence (object). Also MathWorld AlcuinsSequence, OEIS A005044
wikipedia: Wikipedia Alcuin's sequence, Alcuin's sequence (definition). Also Wikidata Q4713383

History

2026-10-26: add by m2/dev

JM0JNJCCER JM0JNJCCER

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#prop:rationaldecimal (statement). In E59CDZA4DP, prop, section 7.5

History

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

Abel–Jacobi map JM0KX4JP5G

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

Mentions

mathlib_1000: mathlib_1000 Q4666729, Abel–Jacobi theorem (statement). Also Wikidata Q4666729
mathlib_1000: mathlib_1000 Q4666729X, Abel's curve theorem (statement). Also Wikidata Q4666729
thousand_plus: thousand_plus Q4666729, Abel–Jacobi theorem (statement). Also Wikidata Q4666729, Wikipedia Abel–Jacobi theorem
thousand_plus: thousand_plus Q4666729X, Abel's curve theorem (statement). Also Wikidata Q4666729, Wikipedia Abel's curve theorem
wikipedia: Wikipedia Abel–Jacobi map, Abel–Jacobi map (definition). Also Wikidata Q4666729

History

2026-10-26: add by m2/dev

JM0PJMMEC9 JM0PJMMEC9

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise:hypersurfaceinhypervariety (exercise). In VNMV985MXX, exercise, section 6.6

History

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

Iterated monodromy group JM0TFKBMQ3

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

Mentions

wikipedia: Wikipedia Iterated monodromy group, Iterated monodromy group (definition). Also Wikidata Q17098249

History

2026-11-02: add by m2/dev

Fischer group JM0Y3EV4T5

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

Mentions

wikipedia: Wikipedia List of mathematical examples#3X6V, Fischer group (definition)

History

2026-11-02: add by m2/dev

1 000 000 000 000 000 000 000 000 JM1258NWQV

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

Mentions

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

History

2026-11-02: add by m2/dev

JM15X7FDQ4 JM15X7FDQ4

URI	`m2://inv/JM15X7FDQ4`
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.20391#S1VU (statement). In CTAS41TRM2/e1, theorem 5.0

History

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

Arc lemniscate functions JM1BQZ4YQQ

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

Mentions

wikipedia: Wikipedia Lemniscate elliptic functions#WFAH, Arc lemniscate functions (unknown)

History

2026-11-02: add by m2/dev

Algorithms JM1DD578Y6

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

Mentions

wikipedia: Wikipedia Uniform matroid#QR1E, Algorithms (definition)

History

2026-11-02: add by m2/dev

JM1HBSBYVT JM1HBSBYVT

URI	`m2://inv/JM1HBSBYVT`
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.07445#9PUD (statement). In F1BM3Q8125/e1, proposition 2.13

History

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

JM1KMZ6KSR JM1KMZ6KSR

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

Mentions

arxiv: arXiv 2609.28323#6TRL (statement)

History

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

Properties JM1KX3QRJ8

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

Mentions

wikipedia: Wikipedia Self-concordant function#4VLY, Properties (statement)

History

2026-11-02: add by m2/dev

Order-6 hexagonal tiling honeycomb JM1RXCK2T8

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

Mentions

wikipedia: Wikipedia Order-6 hexagonal tiling honeycomb, Order-6 hexagonal tiling honeycomb (definition). Also Wikidata Q14629791

History

2026-11-02: add by m2/dev

JM1RY8J1QK JM1RY8J1QK

URI	`m2://inv/JM1RY8J1QK`
Kind	statement
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 2504.02065#6CMF (statement). In 60CK7P5F36/e1, lemma 2.7

History

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

JM1T5X0W9P JM1T5X0W9P

URI	`m2://inv/JM1T5X0W9P`
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.21800#YBP2 (statement). In CMAEC39BKK/e1, theorem 2.1

History

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

Calculus of functors JM20N9F6BN

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

Mentions

wikipedia: Wikipedia Calculus of functors, Calculus of functors (definition). Also Wikidata Q5018894

History

2026-11-02: add by m2/dev

Jay Kappraff JM21V51S7X

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

Mentions

wikipedia: Wikipedia Jay Kappraff, Jay Kappraff (topic). Also Wikidata Q11102007

History

2026-11-02: add by m2/dev

JM25B4GGR2 JM25B4GGR2

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

Mentions

arxiv: arXiv math/0406514#PW4U (statement). In CY1FE8W1ZW/e1, corollary 0.249

History

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

JM2BEV0RVJ JM2BEV0RVJ

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

Mentions

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

History

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

Great triakis octahedron JM2DV1ZQSN

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#GC9Y, Great triakis octahedron (object)

History

2026-11-02: add by m2/dev

Definition JM2K36NVB8

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

Mentions

wikipedia: Wikipedia Helmert transformation#V1A8, Definition (definition)

History

2026-11-02: add by m2/dev

JM3FWQXH86 JM3FWQXH86

URI	`m2://inv/JM3FWQXH86`
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 2609.23972#031N (statement)

History

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

Approximate counting JM3GBYWVZA

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

Mentions

arxiv: arXiv 2610.09882#OE0L, Approximate counting (statement). In 7XV6T4N79V/e1, corollary 1.3

History

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

JM3JJS50G6 JM3JJS50G6

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

Mentions

arxiv: arXiv 2609.38742#UILZ (statement). In TSXBJB0EXK/e1, corollary 2.10

History

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

JM3S55P6J1 JM3S55P6J1

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

Mentions

arxiv: arXiv 2610.10828#XWGD (statement). In 8PTDFHV8SQ/e1, theorem 14.8

History

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

Richard S. Varga JM3SMZVZCJ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#8WO7, Richard S. Varga (topic)
wikipedia: Wikipedia List of numerical analysis topics#TEH2, Richard S. Varga (topic)

History

2026-11-02: add by m2/dev

The trivial character JM3T8W1XS9

URI	`m2://inv/JM3T8W1XS9`
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.10583#XKQF, The trivial character (statement). In 5BZQS1KY9A/e1, lemma 2.10

History

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

Isaac ibn al-Ahdab JM3WKZS8G3

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

Mentions

wikipedia: Wikipedia Isaac ibn al-Ahdab, Isaac ibn al-Ahdab (topic). Also Wikidata Q25492636

History

2026-11-02: add by m2/dev

JM401C0YP6 JM401C0YP6

URI	`m2://inv/JM401C0YP6`
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 2312.06581#G10F (statement). In WXJ2V3HA2R/e1, lemma E.16

History

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

Local kinetic measure up to $t=0$ JM42B1BNGT

URI	`m2://inv/JM42B1BNGT`
Kind	definition
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 2609.20735#PS2T, Local kinetic measure up to $t=0$ (definition)

History

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

Weakly Pareto Optimal JM42Y4X1F2

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

Mentions

wikipedia: Wikipedia Pareto efficiency#DBRA, Weakly Pareto Optimal (unknown)

History

2026-11-02: add by m2/dev

General periodic-clock every-window relaxation JM43XQQMWE

URI	`m2://inv/JM43XQQMWE`
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.16351#IUHE, General periodic-clock every-window relaxation (statement). In 1QSV7EQE3T/e1, corollary S62

History

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

JM490NQHY4 JM490NQHY4

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

Mentions

arxiv: arXiv 2610.15037#D9V5 (statement). In 9XCA9T80GJ/e1, proposition 5.1.2

History

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

JM4C0BZPVW JM4C0BZPVW

URI	`m2://inv/JM4C0BZPVW`
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.22296#Z9BD (statement)

History

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

James Allister Jenkins JM4E6ZC9E9

URI	`m2://inv/JM4E6ZC9E9`
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#00EZ, James Allister Jenkins (topic)

History

2026-11-02: add by m2/dev

natural JM4Q21134P

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

Mentions

wikipedia: Wikipedia Glossary of mathematical jargon#RD2N, natural (definition)

History

2026-11-02: add by m2/dev

JM4QS24GQC JM4QS24GQC

URI	`m2://inv/JM4QS24GQC`
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.04323#HD5Y (statement). In 3Z0D2NCJ0B/e1, lemma 28

History

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

DFC JM4RCZ8T8P

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

Mentions

wikipedia: Wikipedia DFC (cipher), DFC (definition). Also Wikidata Q4036876

History

2026-11-02: add by m2/dev

JM4WGQW6XH JM4WGQW6XH

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#proof-1 (proof). In E59CDZA4DP, proof, section 7.1

History

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

JM4WPZ3PB5 JM4WPZ3PB5

URI	`m2://inv/JM4WPZ3PB5`
Kind	conjecture
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.11271#FARL (conjecture). In HF7J38T8Y6/e1, conjecture 5.3

History

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

JM4XMPXMCW JM4XMPXMCW

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

Mentions

arxiv: arXiv 2609.22924#22KJ (statement)

History

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

Josef Stoer JM53DH69A6

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

Mentions

wikipedia: Wikipedia Josef Stoer, Josef Stoer (topic). Also Wikidata Q12950355

History

2026-11-02: add by m2/dev

Gray JM59R1NRJT

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

Mentions

wikipedia: Wikipedia Glossary of category theory#76HG, Gray (definition)

History

2026-11-02: add by m2/dev

Bayesian inference JM5D1H6P99

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

Mentions

wikipedia: Wikipedia List of statistics articles#83FV, Bayesian inference (definition)

History

2026-11-02: add by m2/dev

Special case of Theorem 4 JM5EJATQJF

URI	`m2://inv/JM5EJATQJF`
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#7KM6, Special case of Theorem 4 (statement). In 751KSRS7WT/e1, lemma 4.5

History

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

JM5EQMVWEX JM5EQMVWEX

URI	`m2://inv/JM5EQMVWEX`
Kind	example
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.36181#WDL9 (example). In 1KSE33PVS6/e1, example 53

History

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

JM5N3BX5Q8 JM5N3BX5Q8

URI	`m2://inv/JM5N3BX5Q8`
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.28020#USYV (statement)

History

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

JM5QYMAMDK JM5QYMAMDK

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

Mentions

arxiv: arXiv 2610.13658#EHMA (statement). In R9BC934K3E/e1, lemma 6.1

History

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

Anton Deusing JM5TJ7YZV4

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

Mentions

wikipedia: Wikipedia List of German mathematicians#IB2S, Anton Deusing (topic)

History

2026-11-02: add by m2/dev

homotopical algebra JM5ZZZ7RS7

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

Mentions

wikidata: Wikidata Q5891810, homotopical algebra (topic). Also nLab homotopical algebra
wikipedia: Wikipedia Homotopical algebra, Homotopical algebra (topic). Also Wikidata Q5891810

History

2026-10-26: add by m2/dev

JM63F1JRRB JM63F1JRRB

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

Mentions

napkin: napkin tex/linalg/inner-form.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 60.4

History

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

Classical test JM63H1DP7P

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

Mentions

arxiv: arXiv 2610.16931#KCF6, Classical test (statement). In H7DMRWBBJN/e1, theorem 7.4

History

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

JM664W3PFQ JM664W3PFQ

URI	`m2://inv/JM664W3PFQ`
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.39706#14YS (statement). In 79Y8JJMKP4/e1, lemma 10.1

History

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

JM6HTY0JJ0 JM6HTY0JJ0

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

Mentions

austin_ula: austin_ula src/exercises/exercises3-1.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 3.1

History

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

Examples JM6NHCDSRK

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

Mentions

wikipedia: Wikipedia Reductio ad absurdum#BLGN, Examples (example)

History

2026-11-02: add by m2/dev

Applications JM70SEVFVV

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

Mentions

wikipedia: Wikipedia Polynomial long division#G3P0, Applications (example)

History

2026-11-02: add by m2/dev

mathematical anxiety JM728M4G7D

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

Mentions

wikidata: Wikidata Q845527, mathematical anxiety (definition). Also ProofWiki Definition:Mathematical_Anxiety
wikipedia: Wikipedia Mathematical anxiety, Mathematical anxiety (definition). Also Wikidata Q845527

History

2026-10-26: add by m2/dev

JM73W3WT8Q JM73W3WT8Q

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

Mentions

arxiv: arXiv 2610.09900#R2M8 (example). In ATSYBWEMMP/e1, example 6.6

History

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

Journal of Computational and Graphical Statistics JM78PJ53WC

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

Mentions

wikipedia: Wikipedia Journal of Computational and Graphical Statistics, Journal of Computational and Graphical Statistics (definition). Also Wikidata Q6295010

History

2026-11-02: add by m2/dev

Rodney Hill JM7JRSN8WH

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

Mentions

wikipedia: Wikipedia Rodney Hill, Rodney Hill (topic). Also Wikidata Q2161191

History

2026-11-02: add by m2/dev

British Polling Council JM7RWJ1WFT

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

Mentions

wikipedia: Wikipedia British Polling Council, British Polling Council (definition). Also Wikidata Q4970623

History

2026-11-02: add by m2/dev

Pillai sequence JM7SWMMERB

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

Mentions

wikidata: Wikidata Q48999996, Pillai sequence (object). Also OEIS A066352
wikipedia: Wikipedia Pillai sequence, Pillai sequence (definition). Also Wikidata Q48999996

History

2026-10-26: add by m2/dev

Algorithms JM7THG9TBA

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

Mentions

wikipedia: Wikipedia Tutte polynomial#CZGF, Algorithms (definition)

History

2026-11-02: add by m2/dev

JM7VJQD2KZ JM7VJQD2KZ

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

Mentions

arxiv: arXiv 2609.40156#TAE9 (statement). In PP8BEHWK33/e1, lemma 3

History

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

Ingram Olkin JM834W8NCK

URI	`m2://inv/JM834W8NCK`
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#C0PX, Ingram Olkin (topic)

History

2026-11-02: add by m2/dev

JM8CWPX9FT JM8CWPX9FT

URI	`m2://inv/JM8CWPX9FT`
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.20421#S2PI (statement). In Q4R7J8JE3F/e1, lemma 2.5

History

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

JM8DYCH4FW JM8DYCH4FW

URI	`m2://inv/JM8DYCH4FW`
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.32104#DGQL (statement). In YRJSYFXNM8/e1, theorem 5.11

History

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

JM8V7FPW94 JM8V7FPW94

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#prop:absconvmeansconv (statement). In E59CDZA4DP, prop, section 1.1.2

History

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

Asymptotic phase and isochron JM9HVHZMTM

URI	`m2://inv/JM9HVHZMTM`
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 2610.15686#LZ9L, Asymptotic phase and isochron (definition). In 4HCK722M2G/e1, definition 2.3

History

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

JM9MXY8CRV JM9MXY8CRV

URI	`m2://inv/JM9MXY8CRV`
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.27524#5RQN (definition)

History

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

subset, proper JM9TQQBVKX

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

Mentions

applied_combinatorics: applied_combinatorics index/B.2.4/subset-proper, subset, proper (concept). In QKM9DD2H56, index, section B.2.4

History

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

Existence criterion and coefficient formula JM9WMT5CNN

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

Mentions

arxiv: arXiv 2609.33531#TN98, Existence criterion and coefficient formula (statement). In HNMJEAR2ER/e1, theorem 4.5

History

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

JM9XA4DP80 JM9XA4DP80

URI	`m2://inv/JM9XA4DP80`
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#LWOE (statement). In S95MSZ7MDR/e1, lemma 3.19

History

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

Soundness JMA06FCZ1Z

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

Mentions

arxiv: arXiv 2609.20478#RE4Z, Soundness (statement)

History

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

JMA3VWMT1R JMA3VWMT1R

URI	`m2://inv/JMA3VWMT1R`
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 2510.12502#SH1G (statement). In 3A4K47Y9F2/e1, lemma 3.8

History

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

JMA4AHNX10 JMA4AHNX10

URI	`m2://inv/JMA4AHNX10`
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#U622 (statement). In RK8DFVGQP1/e1, proposition 21

History

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

Don Ylvisaker JMA8WDQ7YJ

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

Mentions

wikipedia: Wikipedia Don Ylvisaker, Don Ylvisaker (topic). Also Wikidata Q102113735

History

2026-11-02: add by m2/dev

JMA9YB5FDF JMA9YB5FDF

URI	`m2://inv/JMA9YB5FDF`
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.36033#7IIW (statement). In N2W0AH1KRF/e1, corollary 3.3

History

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

universal coefficient theorem JMAFH6MN0X

URI	`m2://inv/JMAFH6MN0X`
Kind	statement
Layer	textbook
MSC	14-XX, 55-XX
Sources	5
Outcome	open
Node	Universal coefficient theorem GTA8ZFGZ3N

Mentions

arxiv: arXiv 2610.17817#429H, Universal coefficient theorem (statement). In M8TSJ24RC2/e1, theorem 2.8
mathlib_1000: mathlib_1000 Q2495664, Universal coefficient theorem (statement). Also Wikidata Q2495664
thousand_plus: thousand_plus Q2495664, Universal coefficient theorem (statement). Also Wikidata Q2495664, Wikipedia Universal coefficient theorem
wikidata: Wikidata Q2495664, universal coefficient theorem (statement). Also nLab universal coefficient theorem
wikipedia: Wikipedia Universal coefficient theorem, Universal coefficient theorem (statement). Also Wikidata Q2495664

History

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

Exponential tilting JMAHG7ZQ4W

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

Mentions

wikipedia: Wikipedia Exponential tilting, Exponential tilting (definition). Also Wikidata Q25304692

History

2026-11-02: add by m2/dev

Weinstein conjecture JMAY6P7ZDC

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

Mentions

wikipedia: Wikipedia Weinstein conjecture, Weinstein conjecture (conjecture). Also Wikidata Q966711

History

2026-11-02: add by m2/dev

Terminology JMAYNRJQMD

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

Mentions

wikipedia: Wikipedia Existential closedness conjecture#IV7A, Terminology (definition)

History

2026-11-02: add by m2/dev

JMAZME4NF2 JMAZME4NF2

URI	`m2://inv/JMAZME4NF2`
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.11834#V3QN (statement). In SMC03CWP4R/e1, lemma B.1

History

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

JMB2TKMGVQ JMB2TKMGVQ

URI	`m2://inv/JMB2TKMGVQ`
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.32977#SEWY (statement). In 4KT9TK3MG4/e1, lemma E.5

History

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

JMB3AY1S5Q JMB3AY1S5Q

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

Mentions

applied_combinatorics: applied_combinatorics source/s_strings_comb-proof.ptx#ex_strings_comb-proof_2n-choose-n (example). In QKM9DD2H56, example, section 2.4

History

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

Continuous convergence JMB6GR3VR0

URI	`m2://inv/JMB6GR3VR0`
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.00453#8XXS, Continuous convergence (statement). In ESPJMBH2R2/e1, lemma 7.2

History

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

JMB6TJKMSP JMB6TJKMSP

URI	`m2://inv/JMB6TJKMSP`
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.22296#IIGB (statement)

History

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

JMBBKZTP85 JMBBKZTP85

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

Mentions

arxiv: arXiv 2609.38838#IU9X (statement). In 3EH8M9GWTX/e1, proposition 4.5

History

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

The Agnostic Estimator Gap JMC0V31SGS

URI	`m2://inv/JMC0V31SGS`
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.33695#X7BA, The Agnostic Estimator Gap (statement). In F0H13DV8VN/e1, lemma 1

History

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

Examples JMC35CX7XS

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

Mentions

wikipedia: Wikipedia Degeneracy (graph theory)#GLX8, Examples (example)

History

2026-11-02: add by m2/dev

JMC5DTAKXM JMC5DTAKXM

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

Mentions

arxiv: arXiv 2610.08837#4RPH (statement). In KBH265QSBT/e1, lemma 6.1

History

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

JMC5YT4407 JMC5YT4407

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

Mentions

arxiv: arXiv 2309.15424#XQSJ (statement). In NXYZ1EAWKN/e1, theorem 1.2

History

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

JMC7R1SM47 JMC7R1SM47

URI	`m2://inv/JMC7R1SM47`
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.32599#0HY0 (statement). In E1Y93JNBJA/e1, proposition 6.5

History

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

Elongated square gyrobicupola JMCC60HF13

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#TI0N, Elongated square gyrobicupola (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#CLI1, Elongated square gyrobicupola (definition)

History

2026-11-02: add by m2/dev

Finger search tree JMCE51Q3JZ

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

Mentions

wikipedia: Wikipedia Finger search tree, Finger search tree (definition). Also Wikidata Q5450242

History

2026-11-02: add by m2/dev

Properties JMCVE6PA1S

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

Mentions

wikipedia: Wikipedia Conchoid of Dürer#NMIJ, Properties (statement)

History

2026-11-02: add by m2/dev

cardinality JMCVWMCEG0

URI	`m2://inv/JMCVWMCEG0`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Cardinality 0G0ASKNA6Z

Mentions

wikidata: Wikidata Q4049983, cardinality (unknown). Also EoM Cardinality, MathWorld Cardinality
wikipedia: Wikipedia Cardinality, Cardinality (definition). Also Wikidata Q4049983

History

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

Statement JMCYJQVD81

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

Mentions

wikipedia: Wikipedia Skorokhod's representation theorem#ECIQ, Statement (statement)

History

2026-11-02: add by m2/dev

Leximin order JMD52MRQXD

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

Mentions

wikipedia: Wikipedia Leximin order, Leximin order (definition). Also Wikidata Q104860568

History

2026-11-02: add by m2/dev

Malus–Dupin theorem JMD7AB7GM0

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

Mentions

wikipedia: Wikipedia Malus–Dupin theorem, Malus–Dupin theorem (statement). Also Wikidata Q3527117

History

2026-11-02: add by m2/dev

JMD7R7PRG8 JMD7R7PRG8

URI	`m2://inv/JMD7R7PRG8`
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.12846#G586 (statement). In GG9P59PJS2/e1, lemma 4.5

History

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

Unit-circle resolvent bound JMD88V2557

URI	`m2://inv/JMD88V2557`
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.16248#O8CG, Unit-circle resolvent bound (statement). In TP61DYMBMK/e1, lemma 14

History

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

Nataliya Kalashnykova JMDF2SW8BA

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

Mentions

wikipedia: Wikipedia Nataliya Kalashnykova, Nataliya Kalashnykova (topic). Also Wikidata Q102385554

History

2026-11-02: add by m2/dev

JMDF7RE37B JMDF7RE37B

URI	`m2://inv/JMDF7RE37B`
Kind	definition
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 2404.05965#AYKJ (definition). In GD1GED3FZ3/e1, definition 6.1

History

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

Kőnig, Dénes JME1X65HZF

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

Mentions

wikipedia: Wikipedia List of Hungarian mathematicians#MULK, Kőnig, Dénes (topic)

History

2026-11-02: add by m2/dev

JME4SZCNEC JME4SZCNEC

URI	`m2://inv/JME4SZCNEC`
Kind	statement
Layer	research
MSC	18-XX, 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 2610.03865#ALZR (statement). In G3D1YR20BJ/e1, lemma 4.19

History

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

JMEADM3VXQ JMEADM3VXQ

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

Mentions

open_logic: open_logic content/first-order-logic/completeness/henkin-expansions.tex#prop:saturated-instances (statement). In PKGMM3P5QY, prop, section 11.3

History

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

Formula JMEB4X9611

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

Mentions

wikipedia: Wikipedia Design effect#F9K5, Formula (statement)

History

2026-11-02: add by m2/dev

Wind wave JMEPQMC9XP

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

Mentions

wikipedia: Wikipedia Wind wave, Wind wave (definition). Also Wikidata Q165848

History

2026-11-02: add by m2/dev

Supercritical fixed flag JMERT23JNS

URI	`m2://inv/JMERT23JNS`
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.40252#P4BI, Supercritical fixed flag (statement). In 7MVPNFPRKB/e1, proposition 5.5

History

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

JMEXKX8HYC JMEXKX8HYC

URI	`m2://inv/JMEXKX8HYC`
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 2610.21005#UKXK (definition). In E63NRC7MBE/e1, definition 3.8

History

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

Gerlind Plonka JMFFHF9E16

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

Mentions

wikipedia: Wikipedia Gerlind Plonka, Gerlind Plonka (topic). Also Wikidata Q58756977

History

2026-11-02: add by m2/dev

JMFNSZW3DC JMFNSZW3DC

URI	`m2://inv/JMFNSZW3DC`
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.18358#JORQ (statement). In SPZ446XNDW/e1, corollary 4.1

History

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

Fish law JMFX30E7RJ

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

Mentions

wikipedia: Wikipedia Freeman law#EMYP, Fish law (statement)

History

2026-11-02: add by m2/dev

JMFZZJV8T5 JMFZZJV8T5

URI	`m2://inv/JMFZZJV8T5`
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 2604.10080#89C0 (statement). In KM2FWKP93A/e1, lemma 4.4

History

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

JMG47AC4HB JMG47AC4HB

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

Mentions

arxiv: arXiv 2608.00864#VNAJ (statement). In PRF0P3D637/e1, lemma 7.1

History

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

Category of schemes JMG636A1W6

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

Mentions

wikipedia: Wikipedia Scheme (mathematics)#B45O, Category of schemes (unknown)

History

2026-11-02: add by m2/dev

Peetre theorem JMG64R7G8J

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

Mentions

wikipedia: Wikipedia List of theorems#DP0G, Peetre theorem (statement)

History

2026-11-02: add by m2/dev

George Herbert Swift Jr JMG7KG0XCK

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

Mentions

wikipedia: Wikipedia George Herbert Swift Jr, George Herbert Swift Jr (topic). Also Wikidata Q18216322

History

2026-11-02: add by m2/dev

normal series JMG951DWX1

URI	`m2://inv/JMG951DWX1`
Kind	definition
Layer	textbook
Sources	1
Outcome	deferred (the item has its own article, page 1545790)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of group theory#1T9L, normal series (definition)

History

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

Schwarzschild metric JMGEENTP3P

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

Mentions

wikipedia: Wikipedia Schwarzschild metric, Schwarzschild metric (definition). Also Wikidata Q742969

History

2026-11-02: add by m2/dev

JMGK7HFX2N JMGK7HFX2N

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

Mentions

active_calculus: active_calculus source/activities/act-5-2-2.xml#act-5-2-2 (exercise). In 907G4C4EJ1, activity, section 5.2.3

History

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

JMGY82X586 JMGY82X586

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

Mentions

arxiv: arXiv 2011.08789#4I7M (statement). In 43AGRMP7T3/e1, lemma 2.10

History

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

JMH30KF3HA JMH30KF3HA

URI	`m2://inv/JMH30KF3HA`
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.04989#59ZO (statement). In 1T4SYTCKW8/e1, proposition S1

History

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

Serre duality JMH65F5ACS

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

Mentions

wikipedia: Wikipedia List of dualities#BQ11, Serre duality (definition)
wikipedia: Wikipedia List of things named after Jean-Pierre Serre#ZC3E, Serre duality (definition)

History

2026-11-02: add by m2/dev

Theorem (Wehrung 2004) JMH6MS0MDE

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

Mentions

wikipedia: Wikipedia Congruence lattice problem#9MV9, Theorem (Wehrung 2004) (statement)

History

2026-11-02: add by m2/dev

Properties of Legendre transform JMH7H9575P

URI	`m2://inv/JMH7H9575P`
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.17519#J70A, Properties of Legendre transform (statement). In H2DNTQ5MKV/e1, proposition 5.6

History

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

JMH818VDM5 JMH818VDM5

URI	`m2://inv/JMH818VDM5`
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.19260#JJN2 (statement). In PWXT7J9JX3/e1, theorem 1.4

History

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

Bromwich's inverse formula JMHRFKNX67

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

Mentions

wikipedia: Wikipedia Inverse Laplace transform#KU99, Bromwich's inverse formula (statement)

History

2026-11-02: add by m2/dev

The local bound for at most $22$ contacts JMHWHAWWPS

URI	`m2://inv/JMHWHAWWPS`
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.25120#H798, The local bound for at most $22$ contacts (statement)

History

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

JMHZ22VMWV JMHZ22VMWV

URI	`m2://inv/JMHZ22VMWV`
Kind	statement
Layer	research
MSC	20-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.12054#WJ4C (statement). In 1A01NFHBGA/e1, theorem 4.13

History

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

Properties JMK032GVX1

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

Mentions

wikipedia: Wikipedia Geometric median#O743, Properties (statement)

History

2026-11-02: add by m2/dev

JMKB28Y1XG JMKB28Y1XG

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

Mentions

arxiv: arXiv 2610.13957#JA3C (statement). In H1W6SNC2MJ/e1, proposition 3.3

History

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

JMKG0C3PPV JMKG0C3PPV

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

Mentions

arxiv: arXiv 2610.20386#34YO (statement). In 4WC4V49KAC/e1, lemma 2.1

History

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

Definition JMKHSZNF11

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

Mentions

wikipedia: Wikipedia Von Mangoldt function#8MLE, Definition (definition)

History

2026-11-02: add by m2/dev

Computation JMKQ45VP55

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

Mentions

wikipedia: Wikipedia Padé approximant#VZW4, Computation (definition)

History

2026-11-02: add by m2/dev

Alessandro Volta JMKRFD9SM9

URI	`m2://inv/JMKRFD9SM9`
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 Q680, Alessandro Volta (unknown). Also ProofWiki Mathematician:Alessandro_Giuseppe_Antonio_Anastasio_Volta

History

2026-10-26: add by m2/dev

Coastal Kelvin wave JMKTFCKHAG

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

Mentions

wikipedia: Wikipedia Kelvin wave#PYED, Coastal Kelvin wave (unknown)

History

2026-11-02: add by m2/dev

Hexplode JMKXTT4W0G

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

Mentions

wikipedia: Wikipedia Abelian sandpile model#JBVQ, Hexplode (unknown)

History

2026-11-02: add by m2/dev

JMKXWRMBX3 JMKXWRMBX3

URI	`m2://inv/JMKXWRMBX3`
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.19882#DT9M (definition)

History

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

JMM04V55XH JMM04V55XH

URI	`m2://inv/JMM04V55XH`
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 0805.4273#Z06T (definition). In ZX3NV58FRX/e1, definition 1.2

History

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

1941 Romanian census JMM0PYD386

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

Mentions

wikipedia: Wikipedia 1941 Romanian census, 1941 Romanian census (definition). Also Wikidata Q12739148

History

2026-11-02: add by m2/dev

JMMBZ7EKMN JMMBZ7EKMN

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#defn-4 (definition). In E59CDZA4DP, defn, section 2.2.1

History

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

JMMDBYKJQN JMMDBYKJQN

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

Mentions

open_logic: open_logic content/normal-modal-logic/filtrations/more-filtrations.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 52.3

History

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

Product-weight transfer JMMG51DYCK

URI	`m2://inv/JMMG51DYCK`
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.35548#08AB, Product-weight transfer (statement). In 12AXZ0DFD9/e1, proposition 4.4

History

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

JMMSXMDV9F JMMSXMDV9F

URI	`m2://inv/JMMSXMDV9F`
Kind	example
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 2412.12141#KSFR (example). In V980ZMH759/e1, example 4.7

History

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

Batch cryptography JMMZP6CZWW

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

Mentions

wikipedia: Wikipedia Batch cryptography, Batch cryptography (definition). Also Wikidata Q17515281

History

2026-11-02: add by m2/dev

JMN09CKX5G JMN09CKX5G

URI	`m2://inv/JMN09CKX5G`
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#D90L (statement). In 6M5WR7KB80/e1, corollary B

History

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

Generalized Tube Lemma 1 JMNHKT87CV

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

Mentions

wikipedia: Wikipedia Tube lemma#FIVY, Generalized Tube Lemma 1 (statement)

History

2026-11-02: add by m2/dev

JMNJP5KHHX JMNJP5KHHX

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

Mentions

arxiv: arXiv 2609.32557#9GTG (definition). In 7MSKC957WD/e1, definition 2.1

History

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

JMNKJV3M39 JMNKJV3M39

URI	`m2://inv/JMNKJV3M39`
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.21762#4Y3O (statement). In CYDJ6JGD4A/e1, lemma 4.2

History

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

Properties JMNSFJ6J85

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

Mentions

wikipedia: Wikipedia Frucht graph#SPZK, Properties (statement)

History

2026-11-02: add by m2/dev

JMNXJYHDWK JMNXJYHDWK

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

Mentions

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

History

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

Approximate computing JMP3TXX8MS

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

Mentions

wikipedia: Wikipedia List of genetic algorithm applications#MGT6, Approximate computing (unknown)

History

2026-11-02: add by m2/dev

JMPE0YE0KB JMPE0YE0KB

URI	`m2://inv/JMPE0YE0KB`
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.26308#11IY (statement)

History

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

JMPH6RR1N8 JMPH6RR1N8

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

Mentions

arxiv: arXiv 2610.14373#N1XD (problem). In 77TK7M3B9Y/e1, problem 5

History

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

Trinomial expansion JMPM6QSM4M

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

Mentions

wikipedia: Wikipedia List of factorial and binomial topics#301A, Trinomial expansion (definition)

History

2026-11-02: add by m2/dev

Relation to Wilson's theorem JMPSJ6MM5F

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

Mentions

wikipedia: Wikipedia Agoh–Giuga conjecture#5GI5, Relation to Wilson's theorem (statement)

History

2026-11-02: add by m2/dev

Robert Creighton Buck JMQ20DHZWE

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

Mentions

wikipedia: Wikipedia Robert Creighton Buck, Robert Creighton Buck (topic). Also Wikidata Q2156789

History

2026-11-02: add by m2/dev

JMQ33QEAWS JMQ33QEAWS

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

History

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

Mean-value forms of the remainder JMQ4ENAQXX

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

Mentions

wikipedia: Wikipedia Taylor's theorem#U22Z, Mean-value forms of the remainder (statement)

History

2026-11-02: add by m2/dev

Kirsi Peltonen JMQ5WB11J7

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#70Y7, Kirsi Peltonen (topic)

History

2026-11-02: add by m2/dev

Fundamental theorem of linear algebra JMQBQMYFSB

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

Mentions

wikipedia: Wikipedia List of theorems called fundamental#TQ2U, Fundamental theorem of linear algebra (statement)

History

2026-11-02: add by m2/dev

uniform JMQCHB433D

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

Mentions

wikipedia: Wikipedia Glossary of module theory#5601, uniform (definition)

History

2026-11-02: add by m2/dev

Hasse norm theorem JMQRYMY4VQ

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

Mentions

mathlib_1000: mathlib_1000 Q3527209, Hasse norm theorem (statement). Also Wikidata Q3527209
thousand_plus: thousand_plus Q3527209, Hasse norm theorem (statement). Also Wikidata Q3527209, Wikipedia Hasse norm theorem
wikipedia: Wikipedia Hasse norm theorem, Hasse norm theorem (statement). Also Wikidata Q3527209

History

2026-10-26: add by m2/dev

Homomorphisms fixing the frame JMQVPEFSJ6

URI	`m2://inv/JMQVPEFSJ6`
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.20994#HVNZ, Homomorphisms fixing the frame (statement). In E90KYMVZMR/e1, proposition 6.2

History

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

Adolf Kneser JMQZS88QNC

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

Mentions

wikipedia: Wikipedia Adolf Kneser, Adolf Kneser (topic). Also Wikidata Q68519

History

2026-11-02: add by m2/dev

Vital statistics JMRASGJBYW

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

Mentions

wikipedia: Wikipedia Vital statistics (government records), Vital statistics (definition). Also Wikidata Q1131372

History

2026-11-02: add by m2/dev

Slopes of a cut JMRMJV2GK7

URI	`m2://inv/JMRMJV2GK7`
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.12713#F9ZH, Slopes of a cut (statement). In F14A5HX20Q/e1, lemma D.6.1

History

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

Robin Hartshorne JMRRQFR8WE

URI	`m2://inv/JMRRQFR8WE`
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 Q1356332, Robin Hartshorne (unknown). Also nLab Robin Hartshorne
wikipedia: Wikipedia Robin Hartshorne, Robin Hartshorne (topic). Also Wikidata Q1356332

History

2026-10-26: add by m2/dev

Formal ontology JMRWH5SV12

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

Mentions

wikipedia: Wikipedia Formal ontology, Formal ontology (definition). Also Wikidata Q1437388

History

2026-11-02: add by m2/dev

Igor Rybak JMRXK2Z6ZC

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#G469, Igor Rybak (unknown)

History

2026-11-02: add by m2/dev

JMRXR1CNHQ JMRXR1CNHQ

URI	`m2://inv/JMRXR1CNHQ`
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.35466#PJWC (statement). In MVR35ZJPCC/e1, theorem 5

History

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

JMS25W1TRZ JMS25W1TRZ

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

Mentions

open_logic: open_logic content/incompleteness/theories-computability/first-incompleteness.tex#thm:first-incompleteness (statement). In PKGMM3P5QY, thm, section 30.9

History

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

Sophie Germain prime JMS5SW5E08

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

Mentions

wikipedia: Wikipedia List of number theory topics#ZTZX, Sophie Germain prime (conjecture)

History

2026-11-02: add by m2/dev

JMS8TGM0JS JMS8TGM0JS

URI	`m2://inv/JMS8TGM0JS`
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.20458#QFXE (statement)

History

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

Statement of the inequality JMSC69DJCF

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

Mentions

wikipedia: Wikipedia Van der Corput inequality#Z6BK, Statement of the inequality (statement)

History

2026-11-02: add by m2/dev

Proposition 1 JMSCK6CVSN

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

Mentions

wikipedia: Wikipedia Pseudoconvexity#5LER, Proposition 1 (statement)

History

2026-11-02: add by m2/dev

Matthew Kleban JMSK5X71ZC

URI	`m2://inv/JMSK5X71ZC`
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 Q6790815, Matthew Kleban (unknown). Also nLab Matthew Kleban

History

2026-10-26: add by m2/dev

SSE2 JMSW5KTV51

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

Mentions

wikipedia: Wikipedia SSE2, SSE2 (definition). Also Wikidata Q900402

History

2026-11-02: add by m2/dev

Vitalik Buterin JMT0XK7672

URI	`m2://inv/JMT0XK7672`
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 Q16197959, Vitalik Buterin (unknown). Also nLab Vitalik Buterin
wikipedia: Wikipedia Vitalik Buterin, Vitalik Buterin (topic). Also Wikidata Q16197959

History

2026-10-26: add by m2/dev

JMT147VHD0 JMT147VHD0

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/UncountableSets.tex#theorem-3 (statement). In P1C114YBXG, theorem, section K

History

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

JMT405SQC7 JMT405SQC7

URI	`m2://inv/JMT405SQC7`
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 2609.27775#COB1 (statement)

History

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

JMTBDN3J4R JMTBDN3J4R

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

Mentions

applied_combinatorics: applied_combinatorics source/s_background_integers.ptx#proof-3 (proof). In QKM9DD2H56, proof, section B.14

History

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

minimum cut JMTFDRSEQ1

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#GNTY, minimum cut (definition)

History

2026-11-02: add by m2/dev

Properties JMTFWR781T

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

Mentions

wikipedia: Wikipedia Reproducing kernel Hilbert space#8O49, Properties (statement)

History

2026-11-02: add by m2/dev

JMTMD9V0PQ JMTMD9V0PQ

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise:connectedcomplement (exercise). In VNMV985MXX, exercise, section 1.6

History

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

Bombieri–Friedlander–Iwaniec theorem JMTMM8WKE5

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

Mentions

wikipedia: Wikipedia List of theorems#RVEC, Bombieri–Friedlander–Iwaniec theorem (statement)

History

2026-11-02: add by m2/dev

Central square, all positive feasible entropies JMTNXH1RT2

URI	`m2://inv/JMTNXH1RT2`
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.24931#W0W3, Central square, all positive feasible entropies (statement)

History

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

Lancelot Stephen Bosanquet JMTP9EBFA3

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

Mentions

wikipedia: Wikipedia Lancelot Stephen Bosanquet, Lancelot Stephen Bosanquet (topic). Also Wikidata Q6483647

History

2026-11-02: add by m2/dev

simplicial presheaf JMTQ5RAVZB

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

Mentions

wikidata: Wikidata Q17103298, simplicial presheaf (unknown). Also nLab simplicial presheaf
wikipedia: Wikipedia Simplicial presheaf, Simplicial presheaf (definition). Also Wikidata Q17103298

History

2026-10-26: add by m2/dev

JMTQZH8SBC JMTQZH8SBC

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

Mentions

napkin: napkin tex/topology/compactness.tex#thm:tychonoff (statement). In RZP28ERRZV, theorem, section 95.2

History

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

JMTY9GN57M JMTY9GN57M

URI	`m2://inv/JMTY9GN57M`
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 2204.05019#3J24 (statement). In NMGJEPYKJ7/e1, theorem 2.7

History

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

JMV45T2F93 JMV45T2F93

URI	`m2://inv/JMV45T2F93`
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.06461#FK96 (statement). In QXY3W2JV2N/e1, proposition 5.1

History

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

JMV5A9YDJZ JMV5A9YDJZ

URI	`m2://inv/JMV5A9YDJZ`
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 2609.24001#JPZA (statement)

History

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

JMV7641J6S JMV7641J6S

URI	`m2://inv/JMV7641J6S`
Kind	definition
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.06541#B84B (definition). In R604B78EVK/e1, definition 2.1

History

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

Orthotropic material JMV7G2211Z

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

Mentions

wikipedia: Wikipedia Orthotropic material, Orthotropic material (definition). Also Wikidata Q901006

History

2026-11-02: add by m2/dev

Ennio De Giorgi JMVEET0YVQ

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#85OT, Ennio De Giorgi (topic)

History

2026-11-02: add by m2/dev

Cost of terminal rejection JMVR8416W3

URI	`m2://inv/JMVR8416W3`
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.11330#HHQ0, Cost of terminal rejection (statement). In Z73GKA9WDB/e1, proposition C.1

History

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

JMVSV9VP34 JMVSV9VP34

URI	`m2://inv/JMVSV9VP34`
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.20135#SLYL (statement). In ZQQEN3J866/e1, lemma 2.7

History

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

JMVXQWHQ54 JMVXQWHQ54

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#exercise-57 (exercise). In E59CDZA4DP, exercise, section 1.7.3

History

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

JMWEKQ9W68 JMWEKQ9W68

URI	`m2://inv/JMWEKQ9W68`
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 2610.03327#GY5K (definition). In EBNXA84CPM/e1, definition 1.1

History

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

Random field JMWPCEBJFC

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

Mentions

wikipedia: Wikipedia List of stochastic processes topics#NJW6, Random field (definition)
wikipedia: Wikipedia List of statistics articles#Y0LB, Random field (definition)
wikipedia: Wikipedia List of probability topics#022V, Random field (definition)

History

2026-11-02: add by m2/dev

List of formulae involving JMWWM88XXS

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

Mentions

wikipedia: Wikipedia List of topics related to π#BUIJ, List of formulae involving (topic)

History

2026-11-02: add by m2/dev

Notations JMWZW0PRZJ

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

Mentions

wikipedia: Wikipedia Magic hypercube#3ZEA, Notations (definition)

History

2026-11-02: add by m2/dev

divergent sequence JMX0KG6VWN

URI	`m2://inv/JMX0KG6VWN`
Kind	unknown
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Divergent sequence 01HR2AH0BX

Mentions

wikidata: Wikidata Q91132119, divergent sequence (unknown). Also EoM Divergent_sequence, MathWorld DivergentSequence

History

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

JMX3G3D7CC JMX3G3D7CC

URI	`m2://inv/JMX3G3D7CC`
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.06707#48EM (statement). In 9TR5E527P5/e1, lemma 6.10

History

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

JMX95CRQ13 JMX95CRQ13

URI	`m2://inv/JMX95CRQ13`
Kind	definition
Layer	research
MSC	14-XX, 16-XX, 18-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 2605.02634#P314 (definition). In EZ6PAF0MXH/e1, definition 3.1

History

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

JMXF9GD7XZ JMXF9GD7XZ

URI	`m2://inv/JMXF9GD7XZ`
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#4MKK (statement). In 9DQKY7KGE8/e1, lemma B.16

History

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

Schensted insertion JMXHKFCMFV

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

Mentions

wikipedia: Wikipedia Robinson–Schensted correspondence#EJK9, Schensted insertion (unknown)

History

2026-11-02: add by m2/dev

JMXJK5CXXY JMXJK5CXXY

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#example-13 (example). In E9HS8K3A52, example, section 10.7.2

History

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

Gábor Tardos JMXJV9JF8P

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#CO0I, Gábor Tardos (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9SLF, Gábor Tardos (unknown)

History

2026-11-02: add by m2/dev

Algebra of random variables JMXMHV2K11

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

Mentions

wikipedia: Wikipedia List of statistics articles#O5F2, Algebra of random variables (definition)
wikipedia: Wikipedia List of probability topics#CAFA, Algebra of random variables (definition)

History

2026-11-02: add by m2/dev

JMXNE74R92 JMXNE74R92

URI	`m2://inv/JMXNE74R92`
Kind	example
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.36181#2VLH (example). In 1KSE33PVS6/e1, example 67

History

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

JMXNS0CEV7 JMXNS0CEV7

URI	`m2://inv/JMXNS0CEV7`
Kind	statement
Layer	research
MSC	26-XX, 30-XX, 32-XX, 35-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 2505.04593#YZ3D (statement). In PEXJPV3NP8/e1, theorem 2.3

History

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

JMXSSFH7J2 JMXSSFH7J2

URI	`m2://inv/JMXSSFH7J2`
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.07927#KAJS (statement). In GKM19DHQTM/e1, lemma 6.18

History

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

JMXWSPBXBY JMXWSPBXBY

URI	`m2://inv/JMXWSPBXBY`
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.26813#SECS (statement)

History

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

Closed and exact differential forms JMXYGTBN16

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

Mentions

wikipedia: Wikipedia List of multivariable calculus topics#PUEN, Closed and exact differential forms (definition)

History

2026-11-02: add by m2/dev

quasi-line graph JMY0D5DC21

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#C79F, quasi-line graph (definition)

History

2026-11-02: add by m2/dev

JMY3WEQDQN JMY3WEQDQN

URI	`m2://inv/JMY3WEQDQN`
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.26948#OSEH (statement)

History

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

JMYA7C903E JMYA7C903E

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

Mentions

arxiv: arXiv 2303.09207#GYBR (definition). In 9DQKY7KGE8/e1, definition 6.24

History

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

Statement JMYE2RH36E

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

Mentions

wikipedia: Wikipedia Pasch's axiom#BRYJ, Statement (statement)

History

2026-11-02: add by m2/dev

Erich Kamke JMYKM0FY1G

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

Mentions

wikipedia: Wikipedia List of German mathematicians#JZFK, Erich Kamke (topic)

History

2026-11-02: add by m2/dev

continuous piecewise linear potentials JMYSN95PY0

URI	`m2://inv/JMYSN95PY0`
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.08016#XCQG, continuous piecewise linear potentials (statement). In YR3CSTYEJW/e1, corollary 4.2

History

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

Leray's nerve theorem JMZ0MJPHSW

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

Mentions

wikipedia: Wikipedia Nerve complex#OR7L, Leray's nerve theorem (statement)

History

2026-11-02: add by m2/dev

pencil of lines JMZ49Q30VY

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

Mentions

wikidata: Wikidata Q3064604, pencil of lines (unknown). Also MathWorld Pencil

History

2026-10-26: add by m2/dev

JMZHPH7S58 JMZHPH7S58

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

Mentions

arxiv: arXiv 2609.29918#JPXC (statement)

History

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

JMZQTGS7R1 JMZQTGS7R1

URI	`m2://inv/JMZQTGS7R1`
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.30648#9334 (statement). In 2P83KYQCMA/e1, theorem 2

History

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

Tadashi Takayanagi JMZQVFD96W

URI	`m2://inv/JMZQVFD96W`
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 Q21033517, Tadashi Takayanagi (unknown). Also nLab Tadashi Takayanagi

History

2026-10-26: add by m2/dev

Georg Hamel JMZS3GXD3B

URI	`m2://inv/JMZS3GXD3B`
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 Q73001, Georg Hamel (unknown). Also ProofWiki Mathematician:Georg_Karl_Wilhelm_Hamel
wikipedia: Wikipedia Georg Hamel, Georg Hamel (topic). Also Wikidata Q73001

History

2026-10-26: add by m2/dev