Inventory rows Z8

Whole-box source witnesses Z808EVX5YX

URI	`m2://inv/Z808EVX5YX`
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.37164#ML66, Whole-box source witnesses (statement). In B2PG75FSQJ/e1, proposition 7.1

History

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

Psychology of problem solving Z80AJV4N66

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

Mentions

wikipedia: Wikipedia Problem solving#8UKU, Psychology of problem solving (unknown)

History

2026-11-02: add by m2/dev

Z80BNTMFQ2 Z80BNTMFQ2

URI	`m2://inv/Z80BNTMFQ2`
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.17129#3FNE (statement). In TCZWAMNYCV/e1, proposition 2.7

History

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

Properties Z80FVYC1MK

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

Mentions

wikipedia: Wikipedia Gijswijt's sequence#KY5S, Properties (statement)

History

2026-11-02: add by m2/dev

Definition of (n, m)-category Z80JNKGCRB

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

Mentions

wikipedia: Wikipedia (n, m)-category#QHR5, Definition of (n, m)-category (definition)

History

2026-11-02: add by m2/dev

Lifting property Z80PVG2294

URI	`m2://inv/Z80PVG2294`
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 2307.02473#ZNN6, Lifting property (statement). In RGXMK94YW1/e1, lemma 2.3

History

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

Z80PYJYPRG Z80PYJYPRG

URI	`m2://inv/Z80PYJYPRG`
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.29304#KDOS (statement)

History

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

Z80VW5PDWD Z80VW5PDWD

URI	`m2://inv/Z80VW5PDWD`
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 2207.11097#E82M (statement). In 13H5BTAXHF/e1, theorem 27

History

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

Z8166GCWD7 Z8166GCWD7

URI	`m2://inv/Z8166GCWD7`
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.28518#46W4 (statement)

History

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

Change of rings Z81A02A2T0

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

Mentions

wikipedia: Wikipedia Change of rings, Change of rings (definition). Also Wikidata Q16858946

History

2026-11-02: add by m2/dev

Colm Mulcahy Z81E4WFCGT

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#4LTQ, Colm Mulcahy (topic)

History

2026-11-02: add by m2/dev

Generalized multivariate log-gamma distribution Z81QWMC70M

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

Mentions

wikipedia: Wikipedia List of probability distributions#ADPU, Generalized multivariate log-gamma distribution (definition)

History

2026-11-02: add by m2/dev

One-dimensional Cauchy--Schwarz inequality Z81SQEAJ99

URI	`m2://inv/Z81SQEAJ99`
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.32561#FLCN, One-dimensional Cauchy--Schwarz inequality (statement). In NBT0ZCHBB6/e1, lemma 1

History

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

Distribution limits of shifted cycle counts Z823BZWPM5

URI	`m2://inv/Z823BZWPM5`
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.14085#K7C7, Distribution limits of shifted cycle counts (statement). In T8F19ZGHF3/e1, lemma 5.1

History

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

Generalization Z829JMJXHE

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

Mentions

wikipedia: Wikipedia Kissing number#4C5H, Generalization (statement)

History

2026-11-02: add by m2/dev

Examples Z82BC4Y9G7

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

Mentions

wikipedia: Wikipedia Centered trochoid#M5X1, Examples (example)

History

2026-11-02: add by m2/dev

Levi factorization Z82BT3BFP0

URI	`m2://inv/Z82BT3BFP0`
Kind	problem
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.06909#OVIM, Levi factorization (problem). In F1EF8XE30A/e1, problem 6.1

History

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

Z82NC11AC3 Z82NC11AC3

URI	`m2://inv/Z82NC11AC3`
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.16518#6HP1 (statement). In SAQBDG4FK1/e1, theorem 4.2

History

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

Z82PJBP1PM Z82PJBP1PM

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

Mentions

arxiv: arXiv 2205.15365#7F9L (unknown). In R2XC1SC9NZ/e1, unknown 9

History

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

Burton Wendroff Z830C9A2X1

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

Mentions

wikipedia: Wikipedia Burton Wendroff, Burton Wendroff (topic). Also Wikidata Q4098419

History

2026-11-02: add by m2/dev

Z83386R38P Z83386R38P

URI	`m2://inv/Z83386R38P`
Kind	definition
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 2212.06621#GOR8 (definition). In DB223AABTH/e1, definition 5.7

History

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

apocalyptic number Z836Y365KN

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

Mentions

wikidata: Wikidata Q50823431, apocalyptic number (unknown). Also MathWorld ApocalypticNumber

History

2026-10-26: add by m2/dev

Exact recovery of distance domination Z838R47EPD

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

Mentions

arxiv: arXiv 2609.31535#NOVA, Exact recovery of distance domination (statement). In BAWCMJQGVA/e1, theorem 3.4

History

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

Implementation Z83FF8T1SN

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

Mentions

wikipedia: Wikipedia Standardized coefficient#M3JM, Implementation (definition)

History

2026-11-02: add by m2/dev

Partial-pattern count Z83J8PW80T

URI	`m2://inv/Z83J8PW80T`
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.15421#YHWU, Partial-pattern count (statement). In 3RBKH0DA74/e1, lemma 2.6

History

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

Uniform return-map expansion Z83S0H06BD

URI	`m2://inv/Z83S0H06BD`
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.15686#EH7G, Uniform return-map expansion (statement). In 4HCK722M2G/e1, proposition 4.1

History

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

Z83SQCVFB3 Z83SQCVFB3

URI	`m2://inv/Z83SQCVFB3`
Kind	statement
Layer	research
MSC	65-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.24232#4WOB (statement)

History

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

Z83ZWNP14G Z83ZWNP14G

URI	`m2://inv/Z83ZWNP14G`
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.21358#RXCW (statement). In XV70TXYS5A/e1, theorem 2

History

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

Vickrey auction Z83ZZ8QV5S

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

Mentions

wikidata: Wikidata Q243758, Vickrey auction (unknown). Also MathWorld VickreyAuction
wikipedia: Wikipedia Vickrey auction, Vickrey auction (definition). Also Wikidata Q243758

History

2026-10-26: add by m2/dev

Z846NPDT78 Z846NPDT78

URI	`m2://inv/Z846NPDT78`
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.15024#OIY7 (statement). In GTZZ9BMWE9/e1, proposition 5.1

History

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

Z847847M4C Z847847M4C

URI	`m2://inv/Z847847M4C`
Kind	statement
Layer	research
MSC	05-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 2610.07718#X45Q (statement). In CEKW9CNVVW/e1, theorem 1.4

History

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

Empty-set elimination Z84Q0VGQ6V

URI	`m2://inv/Z84Q0VGQ6V`
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.01329#M068, Empty-set elimination (statement). In 7XEVYJKJ5C/e1, lemma 2.1

History

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

Blum integer Z84QA1S1VT

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

Mentions

wikidata: Wikidata Q904395, Blum integer (object). Also OEIS A016105
wikipedia: Wikipedia Blum integer, Blum integer (definition). Also Wikidata Q904395

History

2026-10-26: add by m2/dev

Nikolay Mitrofanovich Krylov Z84RRD0C9X

URI	`m2://inv/Z84RRD0C9X`
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#2FOY, Nikolay Mitrofanovich Krylov (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NLFP, Nikolay Mitrofanovich Krylov (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TDAR, Nikolay Mitrofanovich Krylov (unknown)

History

2026-11-02: add by m2/dev

Z84T54ZWYH Z84T54ZWYH

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

Mentions

arxiv: arXiv 2610.19357#OR1J (statement). In RGXQ50RWXV/e1, corollary 4.8

History

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

Formal statement Z858QSSQ4D

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

Mentions

wikipedia: Wikipedia May's theorem#T8QR, Formal statement (statement)

History

2026-11-02: add by m2/dev

Z85AYG9YXD Z85AYG9YXD

URI	`m2://inv/Z85AYG9YXD`
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.35323#5L5E (statement). In 5CKPXBWSCX/e1, lemma 3.5

History

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

Z85EJ6YT1X Z85EJ6YT1X

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

Mentions

arxiv: arXiv 2610.14838#05N7 (statement). In J7ZX3WWRQP/e1, corollary 2.24

History

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

Z85N52GRMC Z85N52GRMC

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

Mentions

napkin: napkin tex/linalg/transpose.tex#thm:transpose_dual (statement). In RZP28ERRZV, theorem, section 61.1

History

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

Z86AXPFE22 Z86AXPFE22

URI	`m2://inv/Z86AXPFE22`
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.22557#FBHM (definition)

History

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

Knot covariance plus a ridge Z86FCYVJD5

URI	`m2://inv/Z86FCYVJD5`
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.21271#5COL, Knot covariance plus a ridge (statement)

History

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

Z86X4N2GE3 Z86X4N2GE3

URI	`m2://inv/Z86X4N2GE3`
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 2012.05048#CEEJ (statement). In NY9HW1E6DY/e1, lemma 3.2

History

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

Z86ZV4T0D4 Z86ZV4T0D4

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

Mentions

arxiv: arXiv 2609.27872#XXRN (statement)

History

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

Statement Z8757R2TSF

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

Mentions

wikipedia: Wikipedia Diffusion equation#3KMG, Statement (statement)

History

2026-11-02: add by m2/dev

Z8769XQ2Y8 Z8769XQ2Y8

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

Mentions

arxiv: arXiv 2401.00191#4POI (statement). In ZMH2KJDAWJ/e1, theorem 2.3

History

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

Z8785CQFN4 Z8785CQFN4

URI	`m2://inv/Z8785CQFN4`
Kind	statement
Layer	research
MSC	11-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.31249#52XW (statement). In RAVR2W9S0B/e1, lemma 2.3

History

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

Supersolvable lattice Z87BWG9C7B

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

Mentions

wikipedia: Wikipedia Supersolvable lattice, Supersolvable lattice (definition). Also Wikidata Q124167049

History

2026-11-02: add by m2/dev

isomorphism with $K^n$ Z87EWKA5JK

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

Mentions

mathlib_overview: mathlib_overview Linear algebra > Finite-dimensional vector spaces > isomorphism with $K^n$, isomorphism with $K^n$ (unknown). Also Mathlib Module.Basis.equivFun
mathlib_undergrad: mathlib_undergrad Linear algebra > Finite-dimensional vector spaces > isomorphism with $K^n$, isomorphism with $K^n$ (unknown). Also Mathlib Module.Basis.equivFun

History

2026-10-26: add by m2/dev

Truncated samplers Z87Z4J1WBY

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

Mentions

arxiv: arXiv 2610.10640#0863, Truncated samplers (definition). In BAQVK6N0RD/e1, definition 1

History

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

Erich Neuwirth Z884VDVC2T

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

Mentions

wikipedia: Wikipedia Erich Neuwirth, Erich Neuwirth (topic). Also Wikidata Q87431

History

2026-11-02: add by m2/dev

Theodorus Dekker Z885KGQX4S

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

Mentions

wikipedia: Wikipedia Theodorus Dekker, Theodorus Dekker (topic). Also Wikidata Q202127

History

2026-11-02: add by m2/dev

Institutiones calculi integralis Z88BWPZSKG

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

Mentions

wikipedia: Wikipedia Institutiones calculi integralis, Institutiones calculi integralis (definition). Also Wikidata Q6041260

History

2026-11-02: add by m2/dev

$r$-free lattice points Z88R9P6TWA

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

Mentions

arxiv: arXiv 2609.25457#812E, $r$-free lattice points (definition)

History

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

Pascal's law Z88W1SVT6N

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

Mentions

wikidata: Wikidata Q190760, Pascal's law (statement). Also ProofWiki Pascal's_Law

History

2026-10-26: add by m2/dev

Restate Exercise 6.10 Z88ZC2E4RZ

URI	`m2://inv/Z88ZC2E4RZ`
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 2604.23212#3K7S, Restate Exercise 6.10 (statement). In 4X12V9RS0D/e1, proposition K.3

History

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

Z892WF5E6S Z892WF5E6S

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

Mentions

arxiv: arXiv 2609.25255#RG17 (statement)

History

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

Selection on the tilts moves the target Z8930G1F2Z

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

Mentions

arxiv: arXiv 2610.04671#54O7, Selection on the tilts moves the target (statement). In BYP65TRGDT/e1, proposition 5.27

History

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

Ekeland's variational principle Z89CFCSYKS

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

Mentions

wikipedia: Wikipedia Ekeland's variational principle, Ekeland's variational principle (statement). Also Wikidata Q1945203

History

2026-11-02: add by m2/dev

Z89FQAXVXE Z89FQAXVXE

URI	`m2://inv/Z89FQAXVXE`
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 1812.02599#CKLV (statement). In W41H3EDETZ/e1, proposition 3

History

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

Modus tollens Z89JF1PTEK

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

Mentions

wikipedia: Wikipedia Modus tollens#E6DE, Modus tollens (statement)

History

2026-11-02: add by m2/dev

Z89NMB612D Z89NMB612D

URI	`m2://inv/Z89NMB612D`
Kind	statement
Layer	research
MSC	14-XX, 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.03756#21R0 (statement). In 2381M4GBTT/e1, proposition 10.1

History

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

Loukas Grafakos Z89RH5HM1E

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

Mentions

wikipedia: Wikipedia Loukas Grafakos, Loukas Grafakos (topic). Also Wikidata Q102192570

History

2026-11-02: add by m2/dev

Z8A47SFMCG Z8A47SFMCG

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

Mentions

arxiv: arXiv 2610.05259#CGLU (definition). In X1J5HKPS3R/e1, definition 1.1

History

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

Z8A9ZZ5FVE Z8A9ZZ5FVE

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

Mentions

arxiv: arXiv 2609.32181#51FZ (statement). In 8FKEQSPN7M/e1, proposition 1.4

History

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

Z8ACEAG5TR Z8ACEAG5TR

URI	`m2://inv/Z8ACEAG5TR`
Kind	statement
Layer	research
MSC	17-XX, 46-XX, 47-XX, 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 math/0009023#7FKN (statement). In S937GXH9AS/e1, corollary 1

History

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

Z8AD23WGTK Z8AD23WGTK

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

Mentions

arxiv: arXiv 2511.05069#L913 (statement). In SFQBJBTW8K/e1, theorem 1.5

History

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

Z8AH369359 Z8AH369359

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

Mentions

arxiv: arXiv 2609.20190#BFTY (statement)

History

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

Extendible coefficients on the plane-curve neighborhoods Z8AHXHWYHE

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

Mentions

arxiv: arXiv 2610.21093#LEG8, Extendible coefficients on the plane-curve neighborhoods (statement). In TBFPBPQV3G/e1, lemma 7.2

History

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

spectral norm Z8AN2CA4FA

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

Mentions

wikidata: Wikidata Q2308818, spectral norm (unknown). Also MathWorld SpectralNorm

History

2026-10-26: add by m2/dev

Ballot order effect Z8ATGVEA41

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

Mentions

wikipedia: Wikipedia List of cognitive biases#OAC5, Ballot order effect (unknown)

History

2026-11-02: add by m2/dev

Journal of Chemometrics Z8AWY1E253

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

Mentions

wikipedia: Wikipedia Journal of Chemometrics, Journal of Chemometrics (definition). Also Wikidata Q127755

History

2026-11-02: add by m2/dev

Strong partition cardinal Z8AXAWJCCF

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

Mentions

wikipedia: Wikipedia Strong partition cardinal, Strong partition cardinal (definition). Also Wikidata Q16999722

History

2026-11-02: add by m2/dev

326 (number) Z8AYJABCGN

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

Mentions

wikipedia: Wikipedia 300 (number)#A6LQ, 326 (number) (unknown)

History

2026-11-02: add by m2/dev

Server update Z8B4CZTPHT

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

Mentions

arxiv: arXiv 2610.13631#YOP6, Server update (statement). In N6PQQSYN73/e1, proposition 2

History

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

Z8B5X7H0V2 Z8B5X7H0V2

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

Mentions

arxiv: arXiv 2610.11336#KJY5 (statement). In X1R1GDAJ0Y/e1, corollary 2.9

History

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

Z8B647B2R5 Z8B647B2R5

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

Mentions

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

History

2026-11-02: add by m2/dev

Generalizations Z8B8RZFBTD

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

Mentions

wikipedia: Wikipedia Supervised learning#NT38, Generalizations (statement)

History

2026-11-02: add by m2/dev

Definition Z8B91M8A34

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

Mentions

wikipedia: Wikipedia Group object#19BO, Definition (definition)

History

2026-11-02: add by m2/dev

Sterbenz lemma Z8BFAWAYAY

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

Mentions

wikipedia: Wikipedia Sterbenz lemma, Sterbenz lemma (statement). Also Wikidata Q104601992

History

2026-11-02: add by m2/dev

Z8BS6KXVFQ Z8BS6KXVFQ

URI	`m2://inv/Z8BS6KXVFQ`
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.18205#N3FN (statement). In Y37VAPDKE4/e1, lemma 1

History

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

Filippo Corridi Z8BSP4Z2GQ

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

Mentions

wikipedia: Wikipedia Filippo Corridi, Filippo Corridi (topic). Also Wikidata Q3745155

History

2026-11-02: add by m2/dev

Z8C35J3EVQ Z8C35J3EVQ

URI	`m2://inv/Z8C35J3EVQ`
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.30018#FKHN (definition)

History

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

$RGB$ color model Z8CGPMPAXY

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

Mentions

austin_ula: austin_ula index/3.3.2/rgb-color-model, $RGB$ color model (concept). In 649HGZKE96, index, section 3.3.2

History

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

Two-cutoff approximation Z8CVS8NFWR

URI	`m2://inv/Z8CVS8NFWR`
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.18698#VUF7, Two-cutoff approximation (statement). In AVDZGC7976/e1, theorem 6.1

History

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

Z8CW683QS1 Z8CW683QS1

URI	`m2://inv/Z8CW683QS1`
Kind	statement
Layer	research
MSC	03-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.22317#6ML8 (statement). In 2W5Z97BBW4/e1, lemma 3.3

History

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

Z8DDV1TBR9 Z8DDV1TBR9

URI	`m2://inv/Z8DDV1TBR9`
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 1002.0879#VNHV (statement). In M0SQY5EZN5/e1, theorem 4.6.5

History

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

Convolution of probability distributions Z8DFNVR22K

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

Mentions

wikipedia: Wikipedia List of statistics articles#5H9K, Convolution of probability distributions (definition)

History

2026-11-02: add by m2/dev

Definition Z8DFRHRAVW

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

Mentions

wikipedia: Wikipedia Seifert fiber space#WNCG, Definition (definition)

History

2026-11-02: add by m2/dev

Z8DNYF99VC Z8DNYF99VC

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

Mentions

austin_ula: austin_ula src/exercises/exercises3-5.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 3.5

History

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

Puiseux's theorem Z8DVM01NH1

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

Mentions

wikipedia: Wikipedia List of theorems#40I6, Puiseux's theorem (definition)

History

2026-11-02: add by m2/dev

Manning Criteria Z8DY00BY8X

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

Mentions

wikipedia: Wikipedia List of algorithms#P3C1, Manning Criteria (unknown)

History

2026-11-02: add by m2/dev

forcing Z8E6ZRDDV2

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

Mentions

arxiv: arXiv 2609.32733#2CJW, forcing (statement). In PCAS8S14J6/e1, lemma 5.1

History

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

497 (number) Z8ED3ERXXK

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

Mentions

wikipedia: Wikipedia 400 (number)#61QZ, 497 (number) (unknown)

History

2026-11-02: add by m2/dev

Z8ED49Z0JV Z8ED49Z0JV

URI	`m2://inv/Z8ED49Z0JV`
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.21491#KEXC (statement)

History

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

Z8EDATZQJ7 Z8EDATZQJ7

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

Mentions

arxiv: arXiv 2610.18483#IN2U (statement). In FF4HDVF1DC/e1, lemma 3.1

History

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

Examples Z8EDPKGQEW

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

Mentions

wikipedia: Wikipedia Continuous-time random walk#B0Z4, Examples (example)

History

2026-11-02: add by m2/dev

Z8EETHTJW9 Z8EETHTJW9

URI	`m2://inv/Z8EETHTJW9`
Kind	statement
Layer	research
MSC	05-XX, 14-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 2610.19669#OQ93 (statement). In 1QPAA94Q76/e1, corollary 14

History

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

Z8EGPBRHEQ Z8EGPBRHEQ

URI	`m2://inv/Z8EGPBRHEQ`
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#NRM8 (statement). In 9TR5E527P5/e1, theorem 1.9

History

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

Ellipsis in English Z8EKXSB7FV

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

Mentions

wikipedia: Wikipedia Ellipsis#76DQ, Ellipsis in English (unknown)

History

2026-11-02: add by m2/dev

Z8EY1V1JGD Z8EY1V1JGD

URI	`m2://inv/Z8EY1V1JGD`
Kind	problem
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.25843#YYM1 (problem)

History

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

Lemma (Yoneda) Z8EZEMCNX6

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

Mentions

wikipedia: Wikipedia Yoneda lemma#GDHR, Lemma (Yoneda) (statement)

History

2026-11-02: add by m2/dev

Special cases Z8EZVWHF97

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

Mentions

wikipedia: Wikipedia Equidiagonal quadrilateral#YHDY, Special cases (statement)

History

2026-11-02: add by m2/dev

Z8F17MFEWK Z8F17MFEWK

URI	`m2://inv/Z8F17MFEWK`
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 2303.10636#Y25G (statement). In 9SV2RAEPXM/e1, lemma 2.6

History

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

Z8F6FF1Z6V Z8F6FF1Z6V

URI	`m2://inv/Z8F6FF1Z6V`
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 2607.20739#ZP0A (statement). In XFZJZS3GB1/e1, lemma 3

History

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

Z8F8C8Z5P2 Z8F8C8Z5P2

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-49 (exercise). In E9HS8K3A52, exercise, section 7.3.4

History

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

Z8FRG4A0CJ Z8FRG4A0CJ

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

Mentions

arxiv: arXiv 2609.31274#LPTD (example). In RK0ZMDJ23T/e1, example 1.1.3

History

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

Z8FV132GDD Z8FV132GDD

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

Mentions

arxiv: arXiv 2609.30067#SQW5 (statement)

History

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

series Z8FYKKRJMQ

URI	`m2://inv/Z8FYKKRJMQ`
Kind	concept
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Series 0NM626FH6Q

Mentions

wikidata: Wikidata Q170198, series (concept). Also EoM series, MathWorld Series
wikipedia: Wikipedia Series (mathematics), Series (definition). Also Wikidata Q170198

History

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

Time-discontinuous plasticity Z8GGY1EWM9

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

Mentions

arxiv: arXiv 2609.37584#06WI, Time-discontinuous plasticity (example). In 66F6N3BJWV/e1, example 2.2

History

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

Definition Z8GJZ9HHEE

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

Mentions

wikipedia: Wikipedia Zero sharp#4IRX, Definition (definition)

History

2026-11-02: add by m2/dev

orbit method Z8GS84TTRB

URI	`m2://inv/Z8GS84TTRB`
Kind	definition
Layer	textbook
MSC	22E27
Sources	2
Outcome	open
Node	Kirillov orbit method G9AW6R1D2F

Mentions

wikidata: Wikidata Q7100049, orbit method (topic). Also EoM Orbit_method, nLab orbit method
wikipedia: Wikipedia Orbit method, Orbit method (definition). Also Wikidata Q7100049

History

2026-10-26: add by m2/dev

Elongated pentagonal orthobirotunda Z8GT3C8R12

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#O0FK, Elongated pentagonal orthobirotunda (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#FJL5, Elongated pentagonal orthobirotunda (definition)

History

2026-11-02: add by m2/dev

The Riemann sphere, again Z8GXJW03CZ

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

Mentions

napkin: napkin tex/riemann-surface/affine-projective.tex#example-5, The Riemann sphere, again (example). In RZP28ERRZV, example, section 82.3

History

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

Change to the physical variable Z8GY6K8MB1

URI	`m2://inv/Z8GY6K8MB1`
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#JX1T, Change to the physical variable (statement). In 8PTDFHV8SQ/e1, proposition 16.2

History

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

Numberphile Podcast Z8H026G4DD

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

Mentions

wikipedia: Wikipedia Numberphile#C5WA, Numberphile Podcast (unknown)

History

2026-11-02: add by m2/dev

Z8H5DJD89H Z8H5DJD89H

URI	`m2://inv/Z8H5DJD89H`
Kind	statement
Layer	research
MSC	17-XX, 20-XX, 22-XX, 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.01208#Z46W (statement). In 317GZJ38HS/e1, proposition 2.10

History

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

Christina Tønnesen-Friedman Z8H7QHG5TM

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

Mentions

wikipedia: Wikipedia Christina Tønnesen-Friedman, Christina Tønnesen-Friedman (topic). Also Wikidata Q102200428

History

2026-11-02: add by m2/dev

Direct algebraic logic Z8H9F3WHW9

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

Mentions

wikipedia: Wikipedia Calculator input methods#HAJH, Direct algebraic logic (unknown)

History

2026-11-02: add by m2/dev

Cumulant expansion Z8HDX0CYMF

URI	`m2://inv/Z8HDX0CYMF`
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.06875#CSAA, Cumulant expansion (statement). In ZDT5J9KQVQ/e1, lemma E.2

History

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

Hamaker, Ellen Z8HYMHW59E

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

Mentions

wikipedia: Wikipedia List of statisticians#6V7T, Hamaker, Ellen (topic)

History

2026-11-02: add by m2/dev

Properties Z8J0JQ679K

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

Mentions

wikipedia: Wikipedia 3-sphere#WL7E, Properties (statement)

History

2026-11-02: add by m2/dev

IND-CPA-secure Z8J0YVAT54

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

Mentions

wikipedia: Wikipedia Ciphertext indistinguishability#BP1Z, IND-CPA-secure (unknown)

History

2026-11-02: add by m2/dev

Number of interaction channels Z8J2F3VTTB

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

Mentions

arxiv: arXiv 2610.20593#YOZF, Number of interaction channels (statement). In 7GMD8J4200/e1, proposition 9

History

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

Symmetry Z8J761RA13

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

Mentions

wikipedia: Wikipedia Order-4 pentagonal tiling#IB3G, Symmetry (statement)

History

2026-11-02: add by m2/dev

Z8J7AQDNZM Z8J7AQDNZM

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

Mentions

arxiv: arXiv 2610.18803#0V5A (statement). In VG8AF124T3/e1, theorem 7.1

History

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

De Morgan's Law Z8J8TVZDN5

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#prob:De Morgan, De Morgan's Law (exercise). In P1C114YBXG, problem, section D

History

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

Edward G. Begle Z8JB3TB0AZ

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

Mentions

wikipedia: Wikipedia Edward G. Begle, Edward G. Begle (topic). Also Wikidata Q5343027

History

2026-11-02: add by m2/dev

Definition Z8JBFKK2TT

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

Mentions

wikipedia: Wikipedia Russo–Vallois integral#HPEW, Definition (definition)

History

2026-11-02: add by m2/dev

Bell's theorem Z8JGMFSX0W

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

Mentions

wikipedia: Wikipedia List of theorems#NTPC, Bell's theorem (statement)

History

2026-11-02: add by m2/dev

$\beta $-reduction Z8JJW935JG

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

Mentions

hott_book: hott_book index/A.2/beta-reduction, $\beta $-reduction (concept). In N54F33XE07, index, section A.2

History

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

Z8JKZBX6T1 Z8JKZBX6T1

URI	`m2://inv/Z8JKZBX6T1`
Kind	definition
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.31783#O2EF (definition). In CGNVT4C47F/e1, definition 2.4

History

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

Z8JP54QDXS Z8JP54QDXS

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

Mentions

arxiv: arXiv 1804.05688#KR4V (proof). In M8F4PDHH3S/e1, proof

History

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

in general Z8JP6XNQQ4

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

Mentions

wikipedia: Wikipedia Glossary of mathematical jargon#345A, in general (definition)

History

2026-11-02: add by m2/dev

group closure Z8JYJ4FJSA

URI	`m2://inv/Z8JYJ4FJSA`
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.22667#5UN7, group closure (statement)

History

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

parametric description Z8K242VVMB

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

Mentions

austin_ula: austin_ula index/1.2.3/parametric-description, parametric description (concept). In 649HGZKE96, index, section 1.2.3

History

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

Z8K6MWZ0K1 Z8K6MWZ0K1

URI	`m2://inv/Z8K6MWZ0K1`
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.36904#2M4F (statement). In R9E569AVRG/e1, corollary 3.3

History

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

Z8K7DGHWJX Z8K7DGHWJX

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

Mentions

arxiv: arXiv 2610.10930#71RH (statement). In HX63A1PH1W/e1, proposition 3.47

History

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

Transfer to the noisy class Z8K7P646M1

URI	`m2://inv/Z8K7P646M1`
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.22301#3F7J, Transfer to the noisy class (statement)

History

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

limit, one-sided Z8K937MD06

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

Mentions

active_calculus: active_calculus index/1.7.2/limit-one-sided, limit, one-sided (concept). In 907G4C4EJ1, index, section 1.7.2

History

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

Z8KEREVZ9X Z8KEREVZ9X

URI	`m2://inv/Z8KEREVZ9X`
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.12053#8QKK (statement). In MQ226ETRP6/e1, proposition 2.9

History

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

doubly stochastic matrix Z8KPMD86FJ

URI	`m2://inv/Z8KPMD86FJ`
Kind	statement
Layer	textbook
MSC	15-XX
Sources	4
Outcome	open
Node	Doubly stochastic matrix JJA90EB2PS

Mentions

mathlib_1000: mathlib_1000 Q1243340, Birkhoff–Von Neumann theorem (statement). Also Mathlib doublyStochastic_eq_convexHull_permMatrix, Wikidata Q1243340
thousand_plus: thousand_plus Q1243340, Birkhoff–Von Neumann theorem (statement). Also Mathlib doublyStochastic_eq_convexHull_permMatrix, Wikidata Q1243340, Wikipedia Birkhoff–Von Neumann theorem
wikidata: Wikidata Q1243340, doubly stochastic matrix (unknown). Also MathWorld DoublyStochasticMatrix
wikipedia: Wikipedia Doubly stochastic matrix, Doubly stochastic matrix (definition). Also Wikidata Q1243340

History

2026-10-26: add by m2/dev

static spacetime Z8KR1887XY

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

Mentions

wikidata: Wikidata Q3966116, static spacetime (unknown). Also nLab static spacetime

History

2026-10-26: add by m2/dev

Two-Mile Borris Z8KZWC07H4

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

Mentions

wikipedia: Wikipedia List of places with numeric names#GQMA, Two-Mile Borris (unknown)

History

2026-11-02: add by m2/dev

node Z8M04PQXNV

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#9GKY, node (definition)

History

2026-11-02: add by m2/dev

Conjecture 2 Z8M1J6WFS9

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

Mentions

wikipedia: Wikipedia Elliptic curve primality#Z4K2, Conjecture 2 (statement)

History

2026-11-02: add by m2/dev

Z8MABA6M5W Z8MABA6M5W

URI	`m2://inv/Z8MABA6M5W`
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 2610.12108#EBSK (definition). In JQH3FHYPW3/e1, definition 2.17

History

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

Global well-posedness under confinement Z8MB08CYSM

URI	`m2://inv/Z8MB08CYSM`
Kind	statement
Layer	research
MSC	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 2610.08074#0CPH, Global well-posedness under confinement (statement). In ZRPYF750AV/e1, theorem 3.11

History

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

Shapiro–Wilk test Z8ME2298SF

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

Mentions

wikipedia: Wikipedia Shapiro–Wilk test, Shapiro–Wilk test (definition). Also Wikidata Q1396441

History

2026-11-02: add by m2/dev

Properties Z8MKHW5X6B

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

Mentions

wikipedia: Wikipedia Mean dimension#82QP, Properties (statement)

History

2026-11-02: add by m2/dev

Z8MKWTZE6H Z8MKWTZE6H

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

Mentions

arxiv: arXiv 2610.08583#WT9B (statement). In 5EKTECQ2P1/e1, lemma 7.1

History

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

Burt Kaliski Z8MQZN7SQF

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#05E0, Burt Kaliski (topic)

History

2026-11-02: add by m2/dev

David Kazhdan Z8MS7TB0JM

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#ETNI, David Kazhdan (topic)

History

2026-11-02: add by m2/dev

Bayesian hypothesis testing Z8MV9GHY66

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

Mentions

wikipedia: Wikipedia Inductive probability#F4G9, Bayesian hypothesis testing (statement)

History

2026-11-02: add by m2/dev

Z8N2GMNNYT Z8N2GMNNYT

URI	`m2://inv/Z8N2GMNNYT`
Kind	statement
Layer	research
MSC	14-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 2609.37520#0630 (statement). In BDN507RN7J/e1, proposition 2.2.9

History

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

Max Gut Z8N2MZ0KSY

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

Mentions

wikipedia: Wikipedia Max Gut, Max Gut (topic). Also Wikidata Q44539187

History

2026-11-02: add by m2/dev

Z8N4PC8WQP Z8N4PC8WQP

URI	`m2://inv/Z8N4PC8WQP`
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.02216#DIW3 (statement). In 34JGRZ2M5F/e1, lemma 4.2

History

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

Z8NFHRYB9A Z8NFHRYB9A

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

Mentions

lebl_scv: lebl_scv scv.tex#prop-21 (statement). In VNMV985MXX, prop, section 6.8

History

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

Z8NJHSZZHZ Z8NJHSZZHZ

URI	`m2://inv/Z8NJHSZZHZ`
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.14240#D413 (definition). In HGQCBDDMQJ/e1, definition 2.14

History

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

Applications Z8NMP4CQ6E

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

Mentions

wikipedia: Wikipedia Dirichlet eigenvalue#9X9N, Applications (example)

History

2026-11-02: add by m2/dev

Cyclotomic field Z8NMTBVX22

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

Mentions

wikipedia: Wikipedia Glossary of field theory#IJ0Z, Cyclotomic field (definition)

History

2026-11-02: add by m2/dev

astronomical unit Z8NNRGEA82

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

Mentions

wikidata: Wikidata Q1811, astronomical unit (definition). Also ProofWiki Definition:Astronomical_Distance_Units/Astronomical_Unit

History

2026-10-26: add by m2/dev

Dissipation bound Z8NWRNE0WQ

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

Mentions

arxiv: arXiv 2610.15511#TLNZ, Dissipation bound (statement). In TZM08VJAQT/e1, lemma 3.4

History

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

Z8P0GSE6FJ Z8P0GSE6FJ

URI	`m2://inv/Z8P0GSE6FJ`
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#MDGK (statement). In 3A4K47Y9F2/e1, theorem 2.21

History

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

Z8P2BB86XR Z8P2BB86XR

URI	`m2://inv/Z8P2BB86XR`
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 2603.26376#9ZAU (definition). In PJAT9YDX7Y/e1, definition 3.3

History

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

Applications Z8PAF3MS6K

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

Mentions

wikipedia: Wikipedia Point pattern analysis#RO1M, Applications (example)

History

2026-11-02: add by m2/dev

Z8PFVSKEMF Z8PFVSKEMF

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

Mentions

arxiv: arXiv 2610.03477#ZKLY (statement). In GXN3D4G4HE/e1, corollary 2.7

History

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

Sanjeev Arora Z8PM3JABTC

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#D6OE, Sanjeev Arora (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#E77Y, Sanjeev Arora (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RVLF, Sanjeev Arora (topic)

History

2026-11-02: add by m2/dev

Definitions Z8Q4K7KXYQ

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

Mentions

wikipedia: Wikipedia Surface (mathematics)#4M4O, Definitions (definition)

History

2026-11-02: add by m2/dev

Generalizations Z8QDM7ZKQC

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

Mentions

wikipedia: Wikipedia Modularity theorem#WK13, Generalizations (statement)

History

2026-11-02: add by m2/dev

Yellowstone Caldera Z8QGNB1FDS

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#8MQC, Yellowstone Caldera (unknown)

History

2026-11-02: add by m2/dev

Z8QH15TCR0 Z8QH15TCR0

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

Mentions

lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#theorem-2 (statement). In E9HS8K3A52, theorem, section 2.4.1

History

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

Symmetry Z8QSR8WGYJ

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

Mentions

wikipedia: Wikipedia Convex curve#UFXL, Symmetry (statement)

History

2026-11-02: add by m2/dev

Z8QX1KRZBJ Z8QX1KRZBJ

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_gt-intro.ptx#example-6 (example). In Y91XFCEVHQ, example, section 5.1

History

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

Z8R5EFRPTW Z8R5EFRPTW

URI	`m2://inv/Z8R5EFRPTW`
Kind	statement
Layer	research
MSC	11-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 2610.03231#FBRP (statement). In 3Y76AQQGF0/e1, lemma 10.1

History

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

Z8R65ZH6TV Z8R65ZH6TV

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

Mentions

arxiv: arXiv 2609.32946#H0FL (statement). In 6AEBXNK614/e1, lemma 3.13

History

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

Z8RBP0W1R5 Z8RBP0W1R5

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

Mentions

open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 83.5

History

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

Finite stabilization of the penalty parameter Z8RDE6KRFW

URI	`m2://inv/Z8RDE6KRFW`
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.18428#D5VY, Finite stabilization of the penalty parameter (statement). In 6BGSQT7SV8/e1, theorem 4.2

History

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

Structure theorem for approximate homomorphisms Z8RJNGC90T

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

Mentions

arxiv: arXiv 2609.33733#NPDG, Structure theorem for approximate homomorphisms (statement). In QBAP8C82FG/e1, theorem 9

History

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

Formal definition Z8RP4PJFAC

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

Mentions

wikipedia: Wikipedia Roulette (curve)#CRLB, Formal definition (definition)

History

2026-11-02: add by m2/dev

Non-orientable surfaces in orientable 3-manifolds Z8RRSH5SZA

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

Mentions

arxiv: arXiv 2610.09422#M6UR, Non-orientable surfaces in orientable 3-manifolds (statement). In MS7M2BJS9X/e1, theorem 4.20

History

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

Z8RTK362T1 Z8RTK362T1

URI	`m2://inv/Z8RTK362T1`
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.18922#8GTA (statement). In 6FKDYENQ8M/e1, proposition 5

History

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

Z8S7H556H4 Z8S7H556H4

URI	`m2://inv/Z8S7H556H4`
Kind	statement
Layer	research
MSC	16-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 2512.16003#KOT8 (statement). In BJGS6ZCQ12/e1, lemma 6.7

History

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

Z8S9TRPCB1 Z8S9TRPCB1

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

Mentions

arxiv: arXiv 2610.01467#DVDN (statement). In 10GZB25WAC/e1, proposition 7.4

History

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

Walter Gubler Z8SCRE2YW0

URI	`m2://inv/Z8SCRE2YW0`
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 Q27929284, Walter Gubler (unknown). Also nLab Walter Gubler

History

2026-10-26: add by m2/dev

Psephology Z8SEJRHA8Y

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

Mentions

wikipedia: Wikipedia List of statistics articles#RU0K, Psephology (definition)

History

2026-11-02: add by m2/dev

histogram Z8SGJ56FJC

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#K3HG, histogram (definition)

History

2026-11-02: add by m2/dev

Christoffel–Darboux formula Z8SQEYXZJP

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

Mentions

wikipedia: Wikipedia Orthogonal polynomials#CNDM, Christoffel–Darboux formula (statement)

History

2026-11-02: add by m2/dev

Arnold Mathematical Journal Z8STSFHGYT

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

Mentions

wikipedia: Wikipedia Arnold Mathematical Journal, Arnold Mathematical Journal (definition). Also Wikidata Q85743072

History

2026-11-02: add by m2/dev

Z8SWQFHZ8T Z8SWQFHZ8T

URI	`m2://inv/Z8SWQFHZ8T`
Kind	statement
Layer	research
MSC	13-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 2208.05276#6NQ9 (statement). In 4C5XHYTRT2/e1, theorem 1.10

History

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

Formal definition Z8TE9FMVYM

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

Mentions

wikipedia: Wikipedia Fréchet inception distance#UZS1, Formal definition (definition)

History

2026-11-02: add by m2/dev

Gy, Pierre Z8TFEBPMP0

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

Mentions

wikipedia: Wikipedia List of statisticians#6OK8, Gy, Pierre (unknown)

History

2026-11-02: add by m2/dev

Z8TGBEDEK1 Z8TGBEDEK1

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

Mentions

hott_book: hott_book hits.tex#ex:spheres-make-U-not-2-type (exercise). In N54F33XE07, ex, section 5.13

History

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

Z8TH59P3N5 Z8TH59P3N5

URI	`m2://inv/Z8TH59P3N5`
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.18618#IXSH (statement). In C8VC86B6H8/e1, lemma A.1

History

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

The Beauty of Fractals Z8TMVFAJH1

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

Mentions

wikipedia: Wikipedia List of mathematics books#LDR5, The Beauty of Fractals (unknown)

History

2026-11-02: add by m2/dev

Implementations Z8TPDS08MA

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

Mentions

wikipedia: Wikipedia Interval arithmetic#JT2A, Implementations (definition)

History

2026-11-02: add by m2/dev

Leslie Hogben Z8V30PWR3J

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#AJ51, Leslie Hogben (topic)

History

2026-11-02: add by m2/dev

Theorem Z8VHMT316V

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

Mentions

wikipedia: Wikipedia Friedrichs extension#JU6Q, Theorem (statement)

History

2026-11-02: add by m2/dev

Gelfand–Kirillov dimension Z8VHWBS80J

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

Mentions

wikipedia: Wikipedia Gelfand–Kirillov dimension, Gelfand–Kirillov dimension (definition). Also Wikidata Q5530427

History

2026-11-02: add by m2/dev

Statement Z8VJDWN46Z

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

Mentions

wikipedia: Wikipedia Squeeze theorem#S7TY, Statement (statement)

History

2026-11-02: add by m2/dev

Z8VJP5A93V Z8VJP5A93V

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

Mentions

open_logic: open_logic content/normal-modal-logic/filtrations/filtrations-def.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 51.10

History

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

Strictly Regular Systematic Multipermutation Codes Z8VMSJQ1S6

URI	`m2://inv/Z8VMSJQ1S6`
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.37578#23QX, Strictly Regular Systematic Multipermutation Codes (statement). In D7NDCWSDJE/e1, theorem 10

History

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

Closed source Z8VWS32RWV

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

Mentions

arxiv: arXiv 2609.27799#4O20, Closed source (statement)

History

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

Some basic observations about pivots Z8W27WR7S9

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

Mentions

austin_ula: austin_ula src/section1-4.xml#ula-preview-1-4, Some basic observations about pivots (exercise). In 649HGZKE96, exploration, section 1.4.1

History

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

Z8W78M54K0 Z8W78M54K0

URI	`m2://inv/Z8W78M54K0`
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 2508.17135#UHL7 (definition). In 74MXJ2RX4B/e1, definition 2.3

History

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

D. V. Anosov Z8WCK7T445

URI	`m2://inv/Z8WCK7T445`
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#8VJP, D. V. Anosov (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XJNC, D. V. Anosov (topic)

History

2026-11-02: add by m2/dev

Examples Z8WE5VFQZS

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

Mentions

wikipedia: Wikipedia Decision problem#YXM8, Examples (example)

History

2026-11-02: add by m2/dev

Marie-Odette Dubois-Violette Z8WG1G2SBB

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

Mentions

wikipedia: Wikipedia Marie-Odette Dubois-Violette, Marie-Odette Dubois-Violette (topic). Also Wikidata Q55135170

History

2026-11-02: add by m2/dev

Hopf conjectures Z8WK3DENXE

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

Mentions

wikipedia: Wikipedia Hopf conjectures, Hopf conjectures (conjecture). Also Wikidata Q5900498

History

2026-11-02: add by m2/dev

Hierarchical closeness Z8WKE9S7XK

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

Mentions

wikipedia: Wikipedia Hierarchical closeness, Hierarchical closeness (definition). Also Wikidata Q18207769

History

2026-11-02: add by m2/dev

Paley-Wiener criterion Z8WNFS4B2X

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

Mentions

wikipedia: Wikipedia Riesz sequence#2GGK, Paley-Wiener criterion (statement)

History

2026-11-02: add by m2/dev

Z8WQJ8GMRP Z8WQJ8GMRP

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

Mentions

arxiv: arXiv 2610.17626#RTQO (example). In 54ATJS74DT/e1, example 3.4

History

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

Z8WRX3045W Z8WRX3045W

URI	`m2://inv/Z8WRX3045W`
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.31757#DEPJ (statement). In KBJHAD5TTY/e1, proposition 2.1

History

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

Z8WV0BF3EX Z8WV0BF3EX

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

Mentions

arxiv: arXiv 2609.25915#OM4G (statement)

History

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

NOPA (optics) Z8X1CSQV02

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

Mentions

wikipedia: Wikipedia Optical parametric amplifier#K6KN, NOPA (optics) (unknown)

History

2026-11-02: add by m2/dev

Z8X1ZREZEF Z8X1ZREZEF

URI	`m2://inv/Z8X1ZREZEF`
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.39330#OFA1 (statement). In 7ZTJ23YG7A/e1, lemma 2.4

History

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

mnemonics in trigonometry Z8X46K1KBG

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

Mentions

wikidata: Wikidata Q2283848, mnemonics in trigonometry (unknown). Also MathWorld SOHCAHTOA
wikipedia: Wikipedia Mnemonics in trigonometry, Mnemonics in trigonometry (definition). Also Wikidata Q2283848

History

2026-10-26: add by m2/dev

polar coordinate system Z8XKEKB2RK

URI	`m2://inv/Z8XKEKB2RK`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Polar coordinates 0BSW4T7THS

Mentions

wikidata: Wikidata Q62494, polar coordinate system (unknown). Also EoM Polar_coordinates, MathWorld PolarCoordinates, nLab polar coordinates
wikipedia: Wikipedia Polar coordinate system, Polar coordinate system (definition). Also Wikidata Q62494

History

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

denumerable Z8XRDMV8C1

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

Mentions

wikipedia: Wikipedia Glossary of logic#OZZ7, denumerable (definition)

History

2026-11-02: add by m2/dev

Change of transporter Z8XS974MP3

URI	`m2://inv/Z8XS974MP3`
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.04271#KSTN, Change of transporter (statement). In WBXAW9G4JB/e1, lemma 4.1

History

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

Z8XTP51B3Z Z8XTP51B3Z

URI	`m2://inv/Z8XTP51B3Z`
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.26896#0IX2 (statement)

History

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

characteristic Z8XV93EGJX

URI	`m2://inv/Z8XV93EGJX`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Characteristic of a ring 0F6ES3BRYP

Mentions

wikidata: Wikidata Q836088, characteristic (unknown). Also EoM Characteristic_of_a_field, MathWorld FieldCharacteristic, nLab characteristic
wikipedia: Wikipedia Characteristic (algebra), Characteristic (definition). Also Wikidata Q836088

History

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

Axioms for aggregation operations fuzzy sets Z8XVWK0TV6

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

Mentions

wikipedia: Wikipedia Fuzzy set operations#W676, Axioms for aggregation operations fuzzy sets (statement)

History

2026-11-02: add by m2/dev

Z8XWY27X96 Z8XWY27X96

URI	`m2://inv/Z8XWY27X96`
Kind	statement
Layer	research
MSC	26-XX, 35-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.01958#PHUW (statement). In NQFYT2M6YZ/e1, corollary 5.1

History

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

Z8XY4DK0MV Z8XY4DK0MV

URI	`m2://inv/Z8XY4DK0MV`
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#PKV2 (statement). In TQ18V9TDQS/e1, lemma 5.1

History

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

Finding Ellipses Z8Y4YXKHEA

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

Mentions

wikipedia: Wikipedia Finding Ellipses, Finding Ellipses (definition). Also Wikidata Q108542337

History

2026-11-02: add by m2/dev

Robert L. Causey Z8Y8F3ZB7V

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

Mentions

wikipedia: Wikipedia Robert L. Causey, Robert L. Causey (topic). Also Wikidata Q102184589

History

2026-11-02: add by m2/dev

∞-Chern–Weil theory Z8YS43MEAD

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

Mentions

wikipedia: Wikipedia ∞-Chern–Weil theory, ∞-Chern–Weil theory (definition). Also Wikidata Q133216613

History

2026-11-02: add by m2/dev

Consequences of the tuning regime Z8YWQBWNV1

URI	`m2://inv/Z8YWQBWNV1`
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.05388#LYIT, Consequences of the tuning regime (statement). In 4HJK1986EJ/e1, lemma C.5

History

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

Campedelli surface Z8YWZ5VQFG

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

Mentions

wikipedia: Wikipedia List of complex and algebraic surfaces#RX65, Campedelli surface (definition)

History

2026-11-02: add by m2/dev

765 (number) Z8Z0PTQ1PP

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

Mentions

wikipedia: Wikipedia 700 (number)#QCI2, 765 (number) (unknown)

History

2026-11-02: add by m2/dev

Z8Z2NKC0TD Z8Z2NKC0TD

URI	`m2://inv/Z8Z2NKC0TD`
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.20489#E01P (statement). In BJ8JJZ0ZWT/e1, lemma 5.1

History

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

power of a point Z8Z5DNSXMD

URI	`m2://inv/Z8Z5DNSXMD`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Power of a point 00PPY3RPNB

Mentions

wikidata: Wikidata Q898575, power of a point (unknown). Also MathWorld CirclePower
wikipedia: Wikipedia Power of a point, Power of a point (definition). Also Wikidata Q898575

History

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

Stochastic investment model Z8Z8YSKKW9

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

Mentions

wikipedia: Wikipedia List of statistics articles#4I6S, Stochastic investment model (definition)

History

2026-11-02: add by m2/dev

Z8ZEF0M8PG Z8ZEF0M8PG

URI	`m2://inv/Z8ZEF0M8PG`
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.14985#0B91 (statement). In DGXJW3SCBR/e1, lemma 14

History

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

Herman Auerbach Z8ZJJMXRV5

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

Mentions

wikipedia: Wikipedia Herman Auerbach, Herman Auerbach (topic). Also Wikidata Q670102

History

2026-11-02: add by m2/dev

History of the paradox Z8ZMVHYC2H

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

Mentions

wikipedia: Wikipedia Two envelopes problem#K86W, History of the paradox (statement)

History

2026-11-02: add by m2/dev

Genetic fallacy Z8ZP5F323X

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

Mentions

wikipedia: Wikipedia List of fallacies#NVR9, Genetic fallacy (definition)

History

2026-11-02: add by m2/dev

Z8ZQZHABJF Z8ZQZHABJF

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

Mentions

arxiv: arXiv 2610.20972#EDW3 (definition). In 6SZE4MTXGZ/e1, definition 2.2

History

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

Z8ZTQ8QY9A Z8ZTQ8QY9A

URI	`m2://inv/Z8ZTQ8QY9A`
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.05459#7Q1B (statement). In VYW16D089Y/e1, theorem 3.2

History

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

Edmond Laguerre Z8ZWY5PF00

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

Mentions

wikipedia: Wikipedia List of eponyms of special functions#39FK, Edmond Laguerre (topic)

History

2026-11-02: add by m2/dev

Stone's method Z8ZX12XWG1

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

Mentions

wikipedia: Wikipedia Stone's method, Stone's method (definition). Also Wikidata Q7619072

History

2026-11-02: add by m2/dev