Inventory rows V6

V60EEV9CV9 V60EEV9CV9

URI	`m2://inv/V60EEV9CV9`
Kind	definition
Layer	research
MSC	05-XX, 11-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 2609.25168#W90L (definition)

History

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

Seven Oaks, California V60SEB7XYV

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

Mentions

wikipedia: Wikipedia List of places with numeric names#NJYU, Seven Oaks, California (unknown)

History

2026-11-02: add by m2/dev

V60Z06E58D V60Z06E58D

URI	`m2://inv/V60Z06E58D`
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 2609.35213#Y506 (statement). In T5KCTZ3H08/e1, lemma 8

History

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

Characterization V60ZA7C8RR

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

Mentions

wikipedia: Wikipedia Inverse-gamma distribution#4J5G, Characterization (statement)

History

2026-11-02: add by m2/dev

Riemannian globalization criterion V613D01VJ2

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

Mentions

arxiv: arXiv 2609.24610#WIS7, Riemannian globalization criterion (statement)

History

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

Twyford, Leicestershire V61429S93E

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

Mentions

wikipedia: Wikipedia List of places with numeric names#B0UW, Twyford, Leicestershire (unknown)

History

2026-11-02: add by m2/dev

Compact Szemer\'edi V6192QAZ50

URI	`m2://inv/V6192QAZ50`
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 2606.02312#H586, Compact Szemer\'edi (statement). In 1SZV94R22Y/e1, proposition 7.2

History

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

Maarten van de Meent V61GW8QTAK

URI	`m2://inv/V61GW8QTAK`
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 Q87884941, Maarten van de Meent (unknown). Also nLab Maarten van de Meent

History

2026-10-26: add by m2/dev

V61VJFBGAR V61VJFBGAR

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/counting-starsbars.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 2.5

History

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

Szymanski's conjecture V61VVKECQ5

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

Mentions

wikipedia: Wikipedia List of permutation topics#0M36, Szymanski's conjecture (conjecture)

History

2026-11-02: add by m2/dev

V6257A6CM1 V6257A6CM1

URI	`m2://inv/V6257A6CM1`
Kind	conjecture
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.13295#RJS1 (conjecture). In 8Q7QXTWD0S/e1, conjecture 6.5

History

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

V62FD55XVK V62FD55XVK

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

Mentions

arxiv: arXiv 2610.11545#87B7 (definition). In VN084GGZGK/e1, definition 3.1

History

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

V62H0RBWE8 V62H0RBWE8

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

Mentions

arxiv: arXiv 2609.21528#UVQ0 (statement)

History

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

Densities for the intermediate $t$ lower bound V62HYQ81PW

URI	`m2://inv/V62HYQ81PW`
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.04135#5ALD, Densities for the intermediate $t$ lower bound (definition). In 587PWJ6W5D/e1, definition 1

History

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

MD6 V62KXWS4KQ

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

Mentions

wikipedia: Wikipedia MD6, MD6 (definition). Also Wikidata Q2031069

History

2026-11-02: add by m2/dev

Susmita Datta V62SY0ZP68

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#IY4C, Susmita Datta (unknown)

History

2026-11-02: add by m2/dev

Dima Grigoriev V62XZFQGS2

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ZOVN, Dima Grigoriev (unknown)

History

2026-11-02: add by m2/dev

Neutral Type Predicate $\textsf{Neu}_i^e$ V62YWSG2BP

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

Mentions

arxiv: arXiv 2610.21131#UVBY, Neutral Type Predicate $\textsf{Neu}_i^e$ (definition). In CPYWHRTPKC/e1, definition 7.5

History

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

V630CZMYSC V630CZMYSC

URI	`m2://inv/V630CZMYSC`
Kind	example
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.34876#21KU (example). In XXQAW3ZBDF/e1, example 3.6

History

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

V6389DNMS4 V6389DNMS4

URI	`m2://inv/V6389DNMS4`
Kind	statement
Layer	research
MSC	51-XX, 52-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 2103.14389#KYNW (statement). In NAMCCRM50R/e1, lemma 2.9

History

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

Properties V63949HS6V

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

Mentions

wikipedia: Wikipedia Planck's law#03QK, Properties (statement)

History

2026-11-02: add by m2/dev

The algorithm V63ARWP5MB

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

Mentions

wikipedia: Wikipedia Bartels–Stewart algorithm#0SPW, The algorithm (definition)

History

2026-11-02: add by m2/dev

Burali-Forti paradox V63E7G8AS4

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#X73G, Burali-Forti paradox (statement)

History

2026-11-02: add by m2/dev

myriad V63M55Q5AJ

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

Mentions

wikidata: Wikidata Q8689, myriad (unknown). Also MathWorld Myriad
wikipedia: Wikipedia Myriad, Myriad (definition). Also Wikidata Q8689

History

2026-10-26: add by m2/dev

Blaschke's Theorem V63MHGMJ0V

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

Mentions

arxiv: arXiv 2610.18673#49UP, Blaschke's Theorem (statement). In 7ZFD9XRKA1/e1, theorem 2.24

History

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

Higher-order convexity V63Q6N7D50

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

Mentions

arxiv: arXiv 2609.34918#8KTH, Higher-order convexity (definition). In B3MNVE9149/e1, definition 2.1

History

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

V640RP5RWS V640RP5RWS

URI	`m2://inv/V640RP5RWS`
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.38865#IXOS (statement). In TFZNHCE6EV/e1, lemma 2.8

History

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

Kleene's O V644JBE7MV

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

Mentions

wikipedia: Wikipedia Kleene's O, Kleene's O (definition). Also Wikidata Q6420083

History

2026-11-02: add by m2/dev

mathematical statistics V64D20VHZ3

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#XHG0, mathematical statistics (definition)

History

2026-11-02: add by m2/dev

Hankel contour V64GFVJA2Z

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

Mentions

wikidata: Wikidata Q5648528, Hankel contour (concept). Also MathWorld HankelContour
wikipedia: Wikipedia Hankel contour, Hankel contour (definition). Also Wikidata Q5648528

History

2026-10-26: add by m2/dev

Oliver Edmunds Glenn V64MV1FHAC

URI	`m2://inv/V64MV1FHAC`
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#00QZ, Oliver Edmunds Glenn (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FFAZ, Oliver Edmunds Glenn (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MH85, Oliver Edmunds Glenn (topic)

History

2026-11-02: add by m2/dev

Exact uniformity on affine fibers V653FEFNT2

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

Mentions

arxiv: arXiv 2610.02407#ODGZ, Exact uniformity on affine fibers (statement). In ZZER8ZBSCR/e1, corollary 3.2

History

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

V654GNXKEN V654GNXKEN

URI	`m2://inv/V654GNXKEN`
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.31126#R58G (statement). In GK1V5GEHTK/e1, corollary 4.2

History

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

V654TRY605 V654TRY605

URI	`m2://inv/V654TRY605`
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.12295#FNVZ (statement). In 6DZPR52HRP/e1, lemma 4.5

History

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

Formal definition V657Q7MACH

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

Mentions

wikipedia: Wikipedia Symplectic spinor bundle#9XRP, Formal definition (definition)

History

2026-11-02: add by m2/dev

Product-sphere wrapper V65DXP13CY

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

Mentions

arxiv: arXiv 2610.12434#1QNX, Product-sphere wrapper (statement). In YCRZC9SDCE/e1, theorem 14.1

History

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

Moment matching V65T5HX59J

URI	`m2://inv/V65T5HX59J`
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.08987#R3NS, Moment matching (statement). In 2NRRESN3HR/e1, proposition 4

History

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

V65X15Z3XR V65X15Z3XR

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

Mentions

arxiv: arXiv 2610.07285#YFZC (statement). In S284XRA4WK/e1, lemma J.1

History

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

Sofic group V65Y4K8VQ6

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

Mentions

wikipedia: Wikipedia Sofic group, Sofic group (definition). Also Wikidata Q7553718

History

2026-11-02: add by m2/dev

Isoclinism of groups V65YNS5C2X

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

Mentions

wikidata: Wikidata Q6085500, Isoclinism of groups (unknown). Also LMFDB knowl group.isoclinism
wikipedia: Wikipedia Isoclinism of groups, Isoclinism of groups (definition). Also Wikidata Q6085500

History

2026-10-26: add by m2/dev

Special cases V665214Z8P

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

Mentions

wikipedia: Wikipedia Problem of Apollonius#DCUJ, Special cases (statement)

History

2026-11-02: add by m2/dev

Variants V6652X1R6B

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

Mentions

wikipedia: Wikipedia Ordered pair#I65N, Variants (statement)

History

2026-11-02: add by m2/dev

Open problem V6657CPSYN

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

Mentions

wikipedia: Wikipedia Normal polytope#539C, Open problem (statement)

History

2026-11-02: add by m2/dev

Definition V667K741S6

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

Mentions

wikipedia: Wikipedia Gδ set#3V0V, Definition (definition)

History

2026-11-02: add by m2/dev

SAMV V6686EA2V8

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

Mentions

wikipedia: Wikipedia SAMV (algorithm), SAMV (definition). Also Wikidata Q55632196

History

2026-11-02: add by m2/dev

Sector Schwarz--Pick estimate V66FX5M4PE

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

Mentions

arxiv: arXiv 2609.25027#C3LF, Sector Schwarz--Pick estimate (statement)

History

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

V66GMX69DJ V66GMX69DJ

URI	`m2://inv/V66GMX69DJ`
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 2610.16475#21BJ (statement). In FM9SKN560Q/e1, proposition 3.4

History

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

V66GSZFF32 V66GSZFF32

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

Mentions

arxiv: arXiv 2610.03497#CTOU (definition). In RRNHC0CAC9/e1, definition

History

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

Square root of polynomial V66MCQV52M

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

Mentions

wikipedia: Wikipedia Square-free polynomial#2QYJ, Square root of polynomial (unknown)

History

2026-11-02: add by m2/dev

Top degree V66MTEF43R

URI	`m2://inv/V66MTEF43R`
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.09295#USXC, Top degree (statement). In 29X0B511NF/e1, corollary 3.5

History

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

Implementations V66V6RS2WA

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

Mentions

wikipedia: Wikipedia Triple DES#O059, Implementations (definition)

History

2026-11-02: add by m2/dev

Integral formulas V678DY7RM6

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

Mentions

wikipedia: Wikipedia Hypergeometric function#4TVN, Integral formulas (statement)

History

2026-11-02: add by m2/dev

Kirwan map V67GATSRBP

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

Mentions

wikipedia: Wikipedia Kirwan map, Kirwan map (definition). Also Wikidata Q16969669

History

2026-11-02: add by m2/dev

To Mock a Mockingbird V67KDNBM5Z

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

Mentions

wikipedia: Wikipedia To Mock a Mockingbird, To Mock a Mockingbird (definition). Also Wikidata Q17025821

History

2026-11-02: add by m2/dev

Projection function V67KNESVYY

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

Mentions

wikipedia: Wikipedia List of rules of inference#8JAO, Projection function (definition)

History

2026-11-02: add by m2/dev

Definition V67MTNT4PH

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

Mentions

wikipedia: Wikipedia Flip distance#Z94A, Definition (definition)

History

2026-11-02: add by m2/dev

Symmetry V680RNPYVB

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

Mentions

wikipedia: Wikipedia Truncated order-4 octagonal tiling#SS7M, Symmetry (statement)

History

2026-11-02: add by m2/dev

V680W0XYQJ V680W0XYQJ

URI	`m2://inv/V680W0XYQJ`
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.28674#UY06 (statement)

History

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

V681YE7BJ9 V681YE7BJ9

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

Mentions

arxiv: arXiv 2610.13680#8AXA (unknown). In QNBFHFZ3H0/e1, unknown 34

History

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

uniform limit theorem V68R5TQ9D5

URI	`m2://inv/V68R5TQ9D5`
Kind	statement
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Uniform limit theorem 0X9XT05JVC

Mentions

wikidata: Wikidata Q7885107, uniform limit theorem (statement). Also ProofWiki Uniform_Limit_Theorem
wikipedia: Wikipedia Uniform limit theorem, Uniform limit theorem (statement). Also Wikidata Q7885107

History

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

Ignorability V693GTNQ0H

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

Mentions

wikipedia: Wikipedia Ignorability, Ignorability (definition). Also Wikidata Q5993013

History

2026-11-02: add by m2/dev

Rafael A. Irizarry V695D787WV

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#HRGT, Rafael A. Irizarry (unknown)

History

2026-11-02: add by m2/dev

V695XVFGRQ V695XVFGRQ

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

Mentions

arxiv: arXiv math/0512416#HB78 (definition). In WJD9YPGGYH/e1, definition 3.6

History

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

HP-41C V69E3EMBYY

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

Mentions

wikipedia: Wikipedia HP-41C, HP-41C (definition). Also Wikidata Q629522

History

2026-11-02: add by m2/dev

Applications V69GGA88RD

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

Mentions

wikipedia: Wikipedia Linear algebraic group#Q6DI, Applications (example)

History

2026-11-02: add by m2/dev

Lagrange method V69GZ0R6CK

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

Mentions

wikidata: Wikidata Q4291836, Lagrange method (unknown). Also EoM Lagrange_method

History

2026-10-26: add by m2/dev

Ester Samuel-Cahn V69NWAD4KM

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

Mentions

wikipedia: Wikipedia Ester Samuel-Cahn, Ester Samuel-Cahn (topic). Also Wikidata Q7012848

History

2026-11-02: add by m2/dev

Example V69Q2J0SDH

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

Mentions

wikipedia: Wikipedia Expected value#COKN, Example (example)

History

2026-11-02: add by m2/dev

Gaṇita-sāra-saṅgraha V69Q4428Z3

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

Mentions

wikipedia: Wikipedia Gaṇita-sāra-saṅgraha, Gaṇita-sāra-saṅgraha (definition). Also Wikidata Q105637581

History

2026-11-02: add by m2/dev

Miklós Schweitzer Competition V69SQPD1WZ

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

Mentions

wikipedia: Wikipedia Miklós Schweitzer Competition, Miklós Schweitzer Competition (definition). Also Wikidata Q11085314

History

2026-11-02: add by m2/dev

Hilbert's basis theorem V6A1J3AD4X

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#ZZMG, Hilbert's basis theorem (statement)
wikipedia: Wikipedia List of commutative algebra topics#H1CY, Hilbert's basis theorem (statement)

History

2026-11-02: add by m2/dev

V6A449HCCK V6A449HCCK

URI	`m2://inv/V6A449HCCK`
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.14435#KLT1 (statement). In Y9FSN5BVNQ/e1, lemma 12

History

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

Applications V6A4XP4FE7

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

Mentions

wikipedia: Wikipedia Doob's martingale convergence theorems#GTYB, Applications (example)

History

2026-11-02: add by m2/dev

V6A6ZT63BB V6A6ZT63BB

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

Mentions

arxiv: arXiv 2609.35543#51E1 (statement). In WSG1ZW956E/e1, proposition 6.4

History

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

V6A9DQGCYB V6A9DQGCYB

URI	`m2://inv/V6A9DQGCYB`
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.16203#8SFD (statement). In 43TBS9P2PX/e1, lemma 4.6

History

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

Pure transport V6AA4KAFG6

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

Mentions

arxiv: arXiv 2609.29683#OFJW, Pure transport (statement)

History

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

MinHash V6AC9QCDZP

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

Mentions

wikipedia: Wikipedia List of statistics articles#1ADS, MinHash (definition)

History

2026-11-02: add by m2/dev

At the unit root V6AKJ1Y80H

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

Mentions

arxiv: arXiv 2610.19421#OH1F, At the unit root (statement). In 3S1VFGYWQE/e1, theorem 3

History

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

V6AM06NZK4 V6AM06NZK4

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

Mentions

arxiv: arXiv 2610.05623#ARYQ (example). In 7PFNKZYB7D/e1, example 3

History

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

Applications V6AMYPMH2A

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

Mentions

wikipedia: Wikipedia Natural element method#408E, Applications (example)

History

2026-11-02: add by m2/dev

V6ASVKAYV3 V6ASVKAYV3

URI	`m2://inv/V6ASVKAYV3`
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.11939#G2MA (statement). In DQMEN40FZV/e1, lemma 19

History

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

Coefficient automorphisms V6AW3W26WE

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

Mentions

arxiv: arXiv 2610.21662#UTE6, Coefficient automorphisms (statement). In 25B3WHEKH2/e1, theorem 5.9

History

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

V6B0G4Z63X V6B0G4Z63X

URI	`m2://inv/V6B0G4Z63X`
Kind	conjecture
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.20406#64SY (conjecture). In 1YW6C6XGT3/e1, conjecture 1.2

History

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

599 (number) V6B12DAJS2

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

Mentions

wikipedia: Wikipedia 500 (number)#KVQC, 599 (number) (unknown)

History

2026-11-02: add by m2/dev

Ternary search V6B1Q1GCAV

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

Mentions

wikipedia: Wikipedia List of algorithms#Q3QL, Ternary search (unknown)

History

2026-11-02: add by m2/dev

V6B44XPJ05 V6B44XPJ05

URI	`m2://inv/V6B44XPJ05`
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.33241#L0SB (statement). In NX6QV01PCE/e1, lemma 2.2

History

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

M\"obius invariance V6B5CPCG1G

URI	`m2://inv/V6B5CPCG1G`
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.23327#D4YV, M\"obius invariance (statement)

History

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

V6B5H5S18W V6B5H5S18W

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

Mentions

arxiv: arXiv 2609.32374#TFM2 (statement). In 96D6N9AXQM/e1, theorem 4.2

History

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

cycle V6B8D5Z5VB

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#5IZH, cycle (definition)

History

2026-11-02: add by m2/dev

V6B8RPYGN6 V6B8RPYGN6

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

Mentions

arxiv: arXiv 2609.24614#0HY3 (statement)

History

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

V6BETPA2RD V6BETPA2RD

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

Mentions

arxiv: arXiv 2609.36823#99E8 (statement). In 55WT8DME6Y/e1, corollary 2.2

History

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

V6BHZDW7YK V6BHZDW7YK

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

Mentions

arxiv: arXiv 2610.16875#M4QK (statement). In KS30K5JXGB/e1, lemma 5.2

History

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

Helena Rasiowa V6BPD441FJ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#L3ZL, Helena Rasiowa (topic)

History

2026-11-02: add by m2/dev

V6BVVDPCKE V6BVVDPCKE

URI	`m2://inv/V6BVVDPCKE`
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.35950#1FTI (statement). In BZN1G5W5FX/e1, corollary 2.3

History

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

Stochastic game V6C06DKWFH

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

Mentions

wikipedia: Wikipedia Stochastic game, Stochastic game (definition). Also Wikidata Q1074380

History

2026-11-02: add by m2/dev

combinatory logic V6C30SF6DH

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

Mentions

wikipedia: Wikipedia Glossary of logic#B956, combinatory logic (definition)

History

2026-11-02: add by m2/dev

Euclidean spectral hyperuniformity V6C5MZJQ6P

URI	`m2://inv/V6C5MZJQ6P`
Kind	definition
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 2503.01567#2H0V, Euclidean spectral hyperuniformity (definition). In GB0V23Q6C5/e1, definition A.4

History

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

Order of a meromorphic function V6C64RCVBW

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

Mentions

napkin: napkin tex/riemann-surface/riemann-roch.tex#definition-1, Order of a meromorphic function (definition). In RZP28ERRZV, definition, section 87.1

History

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

V6C6C9SM3Q V6C6C9SM3Q

URI	`m2://inv/V6C6C9SM3Q`
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 1509.00950#KZ3U (statement). In MDZFW5GACV/e1, proposition 5.2

History

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

Examples V6C7AQJEDC

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

Mentions

wikipedia: Wikipedia Hadamard manifold#JT1B, Examples (example)

History

2026-11-02: add by m2/dev

Definition V6C7XY9VJS

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

Mentions

wikipedia: Wikipedia Standard probability space#HRXC, Definition (definition)

History

2026-11-02: add by m2/dev

Rubin causal model V6CD2SG5B5

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

Mentions

wikipedia: Wikipedia Rubin causal model, Rubin causal model (definition). Also Wikidata Q7376137

History

2026-11-02: add by m2/dev

V6D1TE9CPT V6D1TE9CPT

URI	`m2://inv/V6D1TE9CPT`
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.00789#7CKH (statement). In 4WPYBTARS2/e1, corollary 5.12

History

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

Yoonkyung Lee V6D8B2QRZ3

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#C9VK, Yoonkyung Lee (unknown)

History

2026-11-02: add by m2/dev

Proof V6DE785EWM

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

Mentions

wikipedia: Wikipedia List of films about mathematicians#1XCC, Proof (unknown)

History

2026-11-02: add by m2/dev

V6DKPZVJVA V6DKPZVJVA

URI	`m2://inv/V6DKPZVJVA`
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 2406.19866#398U (statement). In 9F94CEQ1ZM/e1, proposition 4.7

History

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

Open-question argument V6DMCG2MKE

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

Mentions

wikipedia: Wikipedia Open-question argument, Open-question argument (definition). Also Wikidata Q7095717

History

2026-11-02: add by m2/dev

Relatively nef and abundant divisor V6DMTKZJB6

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

Mentions

arxiv: arXiv 2610.17817#U2Q0, Relatively nef and abundant divisor (definition). In M8TSJ24RC2/e1, definition 4.13

History

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

Gertrude Bancroft V6DSP3QX92

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

Mentions

wikipedia: Wikipedia Gertrude Bancroft, Gertrude Bancroft (topic). Also Wikidata Q42876542

History

2026-11-02: add by m2/dev

Goulden, Cyril V6DSYX60M1

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

Mentions

wikipedia: Wikipedia List of statisticians#WX6G, Goulden, Cyril (unknown)

History

2026-11-02: add by m2/dev

Erich Kähler V6DT9WHG38

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

Mentions

wikipedia: Wikipedia Erich Kähler, Erich Kähler (topic). Also Wikidata Q65199

History

2026-11-02: add by m2/dev

V6DTKH584X V6DTKH584X

URI	`m2://inv/V6DTKH584X`
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#ABRD (statement). In YRJSYFXNM8/e1, proposition 5.1

History

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

Properties V6DZJMX42E

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

Mentions

wikipedia: Wikipedia Cartesian product of graphs#RZVB, Properties (statement)

History

2026-11-02: add by m2/dev

V6E5MCGSP6 V6E5MCGSP6

URI	`m2://inv/V6E5MCGSP6`
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.03835#PDMC (statement). In KAYGQMQPGS/e1, corollary 5.2

History

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

strong pseudoprime V6E6921PQ6

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

Mentions

wikidata: Wikidata Q389273, strong pseudoprime (unknown). Also MathWorld StrongPseudoprime
wikipedia: Wikipedia Strong pseudoprime, Strong pseudoprime (definition). Also Wikidata Q389273

History

2026-10-26: add by m2/dev

V6ECMV29RS V6ECMV29RS

URI	`m2://inv/V6ECMV29RS`
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.10840#KAK5 (statement). In JSJQEPY71E/e1, lemma B.6

History

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

V6ER6JACDQ V6ER6JACDQ

URI	`m2://inv/V6ER6JACDQ`
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.33829#OVOV (statement). In S34H2JTJHH/e1, theorem 1.2

History

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

A. V. Černavskii V6EWNKH93V

URI	`m2://inv/V6EWNKH93V`
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#W0TW, A. V. Černavskii (topic)

History

2026-11-02: add by m2/dev

V6EYQJ15PM V6EYQJ15PM

URI	`m2://inv/V6EYQJ15PM`
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#1HLK (statement). In M0SQY5EZN5/e1, lemma 5.1.3

History

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

girth V6F2AEW1WE

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#L01H, girth (definition)

History

2026-11-02: add by m2/dev

V6F7CHDJK2 V6F7CHDJK2

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

Mentions

arxiv: arXiv 2609.24408#FYZV (statement)

History

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

norm V6F7NCTJ4R

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#1XKI, norm (definition)

History

2026-11-02: add by m2/dev

V6F99CR58R V6F99CR58R

URI	`m2://inv/V6F99CR58R`
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.15176#VHOU (statement). In RKV0144CGA/e1, theorem 2.1

History

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

V6FNBRHV12 V6FNBRHV12

URI	`m2://inv/V6FNBRHV12`
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 2406.19866#9O1R (statement). In 9F94CEQ1ZM/e1, corollary 5.10

History

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

Fourier–Deligne transform V6FQ259SJN

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

Mentions

wikipedia: Wikipedia Fourier–Deligne transform, Fourier–Deligne transform (definition). Also Wikidata Q8565121

History

2026-11-02: add by m2/dev

Properties V6FQRNSFZ7

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

Mentions

wikipedia: Wikipedia Iwahori–Hecke algebra#2FTS, Properties (statement)

History

2026-11-02: add by m2/dev

Examples V6FVFMVK8Y

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

Mentions

wikipedia: Wikipedia Perfect ring#1XF4, Examples (example)

History

2026-11-02: add by m2/dev

V6GFFEH3SE V6GFFEH3SE

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

Mentions

arxiv: arXiv 2211.04407#5862 (statement). In XCZS191H6Q/e1, theorem 6

History

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

V6GGFZJFE5 V6GGFZJFE5

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

Mentions

arxiv: arXiv 2609.30999#FYOG (statement). In J1BWCKW2QK/e1, theorem

History

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

Division by two V6GGNQSC0H

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

Mentions

wikipedia: Wikipedia List of computability and complexity topics#8EGG, Division by two (definition)

History

2026-11-02: add by m2/dev

Definition V6GJ0ECPVX

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

Mentions

wikipedia: Wikipedia Fock space#OMQJ, Definition (definition)

History

2026-11-02: add by m2/dev

Growth-share matrix V6GK2QBGHB

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

Mentions

wikipedia: Wikipedia List of graphical methods#J8SF, Growth-share matrix (unknown)

History

2026-11-02: add by m2/dev

V6GNNHESYZ V6GNNHESYZ

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

Mentions

arxiv: arXiv 2609.38556#JVFQ (statement). In GC2H0HS7ZM/e1, corollary 1.5

History

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

S. B. Rao V6GRM19Z8Z

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#XA58, S. B. Rao (unknown)

History

2026-11-02: add by m2/dev

Lemma 2 V6GSRVJ8VS

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

Mentions

wikipedia: Wikipedia Burst error-correcting code#E868, Lemma 2 (statement)

History

2026-11-02: add by m2/dev

Examples V6H272YZM9

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

Mentions

wikipedia: Wikipedia Local cohomology#6QU6, Examples (example)

History

2026-11-02: add by m2/dev

V6H46E59JA V6H46E59JA

URI	`m2://inv/V6H46E59JA`
Kind	definition
Layer	research
MSC	46-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 2104.08176#XGQ1 (definition). In SYGR43673J/e1, definition 1

History

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

V6H6NEJVPM V6H6NEJVPM

URI	`m2://inv/V6H6NEJVPM`
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.16203#CVXU (statement). In 43TBS9P2PX/e1, proposition 7.2

History

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

Karyn Moffat V6HBRKDDFC

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#77PR, Karyn Moffat (unknown)

History

2026-11-02: add by m2/dev

V6HCQXKGR0 V6HCQXKGR0

URI	`m2://inv/V6HCQXKGR0`
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#EY7T (statement). In QBAP8C82FG/e1, lemma 7

History

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

Truman Lee Kelley V6HH6XKDP5

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#YJHZ, Truman Lee Kelley (unknown)

History

2026-11-02: add by m2/dev

Turán's theorem V6HN7H6FVT

URI	`m2://inv/V6HN7H6FVT`
Kind	statement
Layer	textbook
MSC	05-XX
Sources	4
Outcome	node (a node has the same name as the row)
Node	Turán's theorem 0JG1KZSPFZ

Mentions

mathlib_1000: mathlib_1000 Q1047749, Turán's theorem (statement). Also Mathlib SimpleGraph.isTuranMaximal_iff_nonempty_iso_turanGraph, Wikidata Q1047749
mathlib_overview: mathlib_overview Combinatorics > Graph theory > Turán's theorem, Turán's theorem (unknown). Also Mathlib SimpleGraph.isTuranMaximal_iff_nonempty_iso_turanGraph
thousand_plus: thousand_plus Q1047749, Turán's theorem (statement). Also Mathlib SimpleGraph.isTuranMaximal_iff_nonempty_iso_turanGraph, Wikidata Q1047749, Wikipedia Turán's theorem
wikipedia: Wikipedia Turán's theorem, Turán's theorem (statement). Also Wikidata Q1047749

History

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

Balanced code V6HPF429KM

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

Mentions

wikipedia: Wikipedia Constant-weight code#H95U, Balanced code (unknown)

History

2026-11-02: add by m2/dev

Contraction of the killed-process V6HPJDF0C2

URI	`m2://inv/V6HPJDF0C2`
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.30585#9UND, Contraction of the killed-process (statement). In 15CVBWJDNQ/e1, proposition 3.2

History

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

limit infimum and supremum V6HSDABX3A

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

Mentions

mathlib_overview: mathlib_overview Topology > Topological algebra > limit infimum and supremum, limit infimum and supremum (unknown)

History

2026-10-26: add by m2/dev

CM-field V6HSYM37QT

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

Mentions

wikipedia: Wikipedia CM-field, CM-field (definition). Also Wikidata Q5012824

History

2026-11-02: add by m2/dev

Debasis Mitra V6HX84CWX0

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

Mentions

wikipedia: Wikipedia Debasis Mitra, Debasis Mitra (topic). Also Wikidata Q5247845

History

2026-11-02: add by m2/dev

radical V6HYTFV53W

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

Mentions

wikidata: Wikidata Q11536248, radical (unknown). Also EoM Root, MathWorld Radical
wikipedia: Wikipedia Radical symbol, Radical symbol (definition). Also Wikidata Q11536248

History

2026-10-26: add by m2/dev

V6J0HKVZEP V6J0HKVZEP

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

Mentions

arxiv: arXiv 2609.24580#WWWE (statement)

History

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

Maximum of sub-distances V6JDA4ECAX

URI	`m2://inv/V6JDA4ECAX`
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.05867#F0KZ, Maximum of sub-distances (statement). In E2TP3AKTNV/e1, proposition 2

History

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

Convex polytope V6JEQSS2JE

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

Mentions

wikipedia: Wikipedia List of convexity topics#8L1L, Convex polytope (definition)

History

2026-11-02: add by m2/dev

Joan Feigenbaum V6JJD78HXF

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

Mentions

wikipedia: Wikipedia Joan Feigenbaum, Joan Feigenbaum (topic). Also Wikidata Q4815338

History

2026-11-02: add by m2/dev

multiplier algebra V6JM3GBTG3

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

Mentions

wikidata: Wikidata Q6935015, multiplier algebra (unknown). Also MathWorld MultiplierAlgebra, nLab multiplier algebra
wikipedia: Wikipedia Multiplier algebra, Multiplier algebra (definition). Also Wikidata Q6935015

History

2026-10-26: add by m2/dev

V6JTNR37Q5 V6JTNR37Q5

URI	`m2://inv/V6JTNR37Q5`
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#C7WA (statement). In N2W0AH1KRF/e1, lemma A.1

History

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

Generalized Clifford algebra V6JV1CBJBQ

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

Mentions

wikipedia: Wikipedia Generalized Clifford algebra, Generalized Clifford algebra (definition). Also Wikidata Q5532431

History

2026-11-02: add by m2/dev

V6JVN6W3VZ V6JVN6W3VZ

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

Mentions

arxiv: arXiv 2609.25291#QJ6X (statement)

History

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

V6JWNG8G31 V6JWNG8G31

URI	`m2://inv/V6JWNG8G31`
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 0907.5545#ILG1 (statement). In K3GWCTV5YE/e1, theorem 4

History

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

Grassmannian V6JZ75E6CJ

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#9MN9, Grassmannian (definition)

History

2026-11-02: add by m2/dev

Sum of the executed trial weights V6K4HTD45K

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

Mentions

arxiv: arXiv 2610.15202#P64M, Sum of the executed trial weights (statement). In X1FPG0KYBM/e1, lemma T.2

History

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

V6K949Q9J5 V6K949Q9J5

URI	`m2://inv/V6K949Q9J5`
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.06644#PDP6 (statement). In M12XTGJZBP/e1, theorem 2

History

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

Grothendieck trace theorem V6KBDQ54EP

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

Mentions

wikipedia: Wikipedia Grothendieck trace theorem, Grothendieck trace theorem (statement). Also Wikidata Q110818489

History

2026-11-02: add by m2/dev

Hunter Snevily V6KG45H72H

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

Mentions

wikipedia: Wikipedia Hunter Snevily, Hunter Snevily (topic). Also Wikidata Q102146634

History

2026-11-02: add by m2/dev

V6KWH41ZS5 V6KWH41ZS5

URI	`m2://inv/V6KWH41ZS5`
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 2502.08738#A6U2 (definition). In 9GMTVSTAVN/e1, definition 6.6

History

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

V6KXE5G82H V6KXE5G82H

URI	`m2://inv/V6KXE5G82H`
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 2609.35027#Z9F6 (statement). In MEA7NHMQKB/e1, lemma 3.1

History

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

Infinite divisibility V6KXR8EXQY

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

Mentions

wikipedia: Wikipedia Infinite divisibility (probability), Infinite divisibility (definition). Also Wikidata Q1754066

History

2026-11-02: add by m2/dev

Weak law V6KZ18DXMK

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

Mentions

wikipedia: Wikipedia Law of large numbers#C90W, Weak law (statement)

History

2026-11-02: add by m2/dev

V6M3VYBF6H V6M3VYBF6H

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

Mentions

arxiv: arXiv 2609.24614#3VHP (statement)

History

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

Non-constructive principles V6M6FJN9P3

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

Mentions

wikipedia: Wikipedia Constructive set theory#BNTO, Non-constructive principles (statement)

History

2026-11-02: add by m2/dev

V6M82DQ8PX V6M82DQ8PX

URI	`m2://inv/V6M82DQ8PX`
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.09704#SFI2 (statement). In FNG4B47MRV/e1, lemma 4.10

History

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

Infinite braid image for every parameter V6MR8WP91Y

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

Mentions

arxiv: arXiv 2609.25805#QNJK, Infinite braid image for every parameter (example)

History

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

Substitution matrix V6MTM9YMZY

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

Mentions

wikipedia: Wikipedia Substitution matrix, Substitution matrix (definition). Also Wikidata Q493281

History

2026-11-02: add by m2/dev

V6MW9A47P6 V6MW9A47P6

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

Mentions

arxiv: arXiv 2609.34081#5GYZ (statement). In 3RVGEKGX46/e1, lemma 5.5

History

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

History of the paradox V6MYC72WE1

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

Mentions

wikipedia: Wikipedia Aristotle's wheel paradox#GH7L, History of the paradox (statement)

History

2026-11-02: add by m2/dev

V6N2NKW9CY V6N2NKW9CY

URI	`m2://inv/V6N2NKW9CY`
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.22469#IM9W (statement)

History

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

Weight function V6N5HW2TCY

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

Mentions

wikipedia: Wikipedia List of statistics articles#EN9L, Weight function (definition)

History

2026-11-02: add by m2/dev

Stammler circle V6NAQ96APK

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

Mentions

wikidata: Wikidata Q1826656, Stammler circle (unknown). Also MathWorld StammlerCircles

History

2026-10-26: add by m2/dev

The two para--Krawtchouk sums V6NCMFV8VY

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

Mentions

arxiv: arXiv 2610.16704#ZD3J, The two para--Krawtchouk sums (example). In Q7CWPC7PXY/e1, example 2.2

History

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

radial set V6NF5VAAPS

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

Mentions

wikidata: Wikidata Q7280274, radial set (unknown). Also nLab radial set
wikipedia: Wikipedia Radial set, Radial set (definition). Also Wikidata Q7280274

History

2026-10-26: add by m2/dev

Nikolai Kapitonovich Nikolski V6NYXQ1R8Y

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

Mentions

wikipedia: Wikipedia Nikolai Kapitonovich Nikolski, Nikolai Kapitonovich Nikolski (topic). Also Wikidata Q15836854

History

2026-11-02: add by m2/dev

Autocorrelation V6P0H31FPJ

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

Mentions

wikipedia: Wikipedia List of statistics articles#SEQL, Autocorrelation (definition)

History

2026-11-02: add by m2/dev

V6P0TNPY9F V6P0TNPY9F

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

Mentions

arxiv: arXiv 2610.03238#HRTC (example). In 5PG581A1GK/e1, example 13

History

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

Implementations V6P5E5K3RN

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

Mentions

wikipedia: Wikipedia Kolmogorov–Zurbenko filter#8ZA1, Implementations (definition)

History

2026-11-02: add by m2/dev

V6PC2P6XMY V6PC2P6XMY

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

Mentions

napkin: napkin tex/complex-ana/log.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 40.4

History

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

Incarceration of Black men V6PDPMNJ43

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

Mentions

wikipedia: Wikipedia United States incarceration rate#QWI9, Incarceration of Black men (unknown)

History

2026-11-02: add by m2/dev

V6PEKD90VB V6PEKD90VB

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

Mentions

arxiv: arXiv 2610.01433#P22G (statement). In 160PQ7F1AS/e1, theorem 3.12

History

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

Entanglement of formation V6PGHGG4CP

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

Mentions

wikipedia: Wikipedia Entanglement of formation, Entanglement of formation (definition). Also Wikidata Q108794869

History

2026-11-02: add by m2/dev

Geometry of binary search trees V6PTZS6JAJ

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

Mentions

wikipedia: Wikipedia Geometry of binary search trees, Geometry of binary search trees (definition). Also Wikidata Q17016415

History

2026-11-02: add by m2/dev

vector V6PX9W7PDD

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#MXZH, vector (definition)

History

2026-11-02: add by m2/dev

Applications V6Q8CRTCJP

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

Mentions

wikipedia: Wikipedia Lp space#KQ1B, Applications (example)

History

2026-11-02: add by m2/dev

V6Q9K88T90 V6Q9K88T90

URI	`m2://inv/V6Q9K88T90`
Kind	definition
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#9GP0 (definition)

History

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

Chebyshev-type bounds V6QVVDH1XP

URI	`m2://inv/V6QVVDH1XP`
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.32140#37MR, Chebyshev-type bounds (statement). In 96Z8GEEFH4/e1, lemma 2.1

History

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

Central reduction V6QZNVHG4M

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

Mentions

arxiv: arXiv 2610.15792#CPBH, Central reduction (statement). In YGBX34HPA9/e1, lemma 5.1

History

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

V6QZZZ0AZE V6QZZZ0AZE

URI	`m2://inv/V6QZZZ0AZE`
Kind	definition
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.10074#DN14 (definition). In BYAANB1NG0/e1, definition 3.2

History

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

V6R0WWV9T8 V6R0WWV9T8

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

Mentions

wikipedia: Wikipedia Surface of constant width#8QAU (problem)

History

2026-11-02: add by m2/dev

V6R10Q4V4F V6R10Q4V4F

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

Mentions

arxiv: arXiv 2610.17677#5QQK (statement). In 5E9G06XJKC/e1, lemma F.6

History

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

Theorem (d is given) V6R5TKN34F

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

Mentions

wikipedia: Wikipedia Cayley–Menger determinant#UFIC, Theorem (d is given) (statement)

History

2026-11-02: add by m2/dev

Lens spaces on one source, with distinct attaching data V6RBD3BZ93

URI	`m2://inv/V6RBD3BZ93`
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.32733#DU3M, Lens spaces on one source, with distinct attaching data (example). In PCAS8S14J6/e1, example E.9

History

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

V6RJRQTD6A V6RJRQTD6A

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

Mentions

arxiv: arXiv 2610.14278#FXSD (statement). In RTE2C0PH4S/e1, theorem

History

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

420 V6RPQN5YP3

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

Mentions

wikipedia: Wikipedia 420 (number), 420 (definition). Also Wikidata Q1069731

History

2026-11-02: add by m2/dev

Formal definition V6RPXKN94J

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

Mentions

wikipedia: Wikipedia Field norm#Q495, Formal definition (definition)

History

2026-11-02: add by m2/dev

V6RSJF70PA V6RSJF70PA

URI	`m2://inv/V6RSJF70PA`
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.19463#JBO9 (statement). In Q4HWFFK0R9/e1, theorem 5.1

History

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

Progressively measurable process V6RWDM8EDG

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

Mentions

wikipedia: Wikipedia Progressively measurable process, Progressively measurable process (definition). Also Wikidata Q7248882

History

2026-11-02: add by m2/dev

Ronald Fagin V6RWZE358E

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#06LF, Ronald Fagin (unknown)

History

2026-11-02: add by m2/dev

Ehrling's lemma V6RXQWK6JR

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

Mentions

wikipedia: Wikipedia List of lemmas#ZVYM, Ehrling's lemma (statement)

History

2026-11-02: add by m2/dev

Algorithms V6S4Y5JQCP

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

Mentions

wikipedia: Wikipedia Delaunay triangulation#JQT1, Algorithms (definition)

History

2026-11-02: add by m2/dev

Applications V6SE4NKKQW

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

Mentions

wikipedia: Wikipedia Nomogram#CCGH, Applications (example)

History

2026-11-02: add by m2/dev

cf.\ V6SFAJSXEF

URI	`m2://inv/V6SFAJSXEF`
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.20345#I7NZ, cf.\ (statement). In WVRRST04WS/e1, lemma 6

History

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

Triaugmented triangular prism V6SHJ9F158

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#1HF7, Triaugmented triangular prism (object)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#76Q2, Triaugmented triangular prism (object)

History

2026-11-02: add by m2/dev

V6SJXWJB87 V6SJXWJB87

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

Mentions

arxiv: arXiv 2610.14600#Q7OR (definition). In CJHTDS522P/e1, definition 3.2.1

History

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

Geometric mean theorem V6SP7J3T4J

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

Mentions

mathlib_1000: mathlib_1000 Q2226868, Geometric mean theorem (statement). Also Mathlib EuclideanGeometry.dist_sq_eq_dist_mul_dist_of_angle_eq_pi_div_two, Wikidata Q2226868
thousand_plus: thousand_plus Q2226868, Geometric mean theorem (statement). Also Wikidata Q2226868, Wikipedia Geometric mean theorem
wikipedia: Wikipedia Geometric mean theorem, Geometric mean theorem (statement). Also Wikidata Q2226868

History

2026-10-26: add by m2/dev

V6ST6RJRBZ V6ST6RJRBZ

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-13 (exercise). In Y91XFCEVHQ, exercise, section 6.2

History

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

Referential fallacy V6TABZG9CD

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

Mentions

wikipedia: Wikipedia List of fallacies#OOMS, Referential fallacy (unknown)

History

2026-11-02: add by m2/dev

Cryptography, law and human rights V6TDKX18FN

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

Mentions

wikipedia: Wikipedia Human rights and encryption#PXV7, Cryptography, law and human rights (statement)

History

2026-11-02: add by m2/dev

First spacing V6TMWBJAG6

URI	`m2://inv/V6TMWBJAG6`
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.21730#N9O4, First spacing (statement). In BM64QM6Q7J/e1, theorem 6.1

History

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

Method of moments V6TNQG97C9

URI	`m2://inv/V6TNQG97C9`
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.16180#NLYF, Method of moments (statement). In FCFD59D3T6/e1, lemma A.2

History

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

oscillatory integral V6TPXD06QV

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#8ZMN, oscillatory integral (definition)

History

2026-11-02: add by m2/dev

V6TQPNH3M6 V6TQPNH3M6

URI	`m2://inv/V6TQPNH3M6`
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.27941#N7XC (statement)

History

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

V6TRPP7WCH V6TRPP7WCH

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

Mentions

arxiv: arXiv 2609.37103#KYW0 (statement). In 6Q8YMAWFZN/e1, lemma 4.5

History

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

V6TTD5MXXM V6TTD5MXXM

URI	`m2://inv/V6TTD5MXXM`
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 math/0003117#ZYVX (statement). In WD2NCBV9F0/e1, lemma 18.1

History

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

Yehoshua Bar-Hillel V6TVSHY280

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#M111, Yehoshua Bar-Hillel (topic)

History

2026-11-02: add by m2/dev

Proximity space V6V3WWDY6G

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

Mentions

wikipedia: Wikipedia Glossary of general topology#XWXH, Proximity space (definition)

History

2026-11-02: add by m2/dev

Tim McOsker V6V6NJNK27

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#7L6P, Tim McOsker (unknown)

History

2026-11-02: add by m2/dev

Oliver Riordan V6V8FJ757K

URI	`m2://inv/V6V8FJ757K`
Kind	problem
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#KTNU, Oliver Riordan (problem)

History

2026-11-02: add by m2/dev

Burau representation V6VACS30RT

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

Mentions

wikipedia: Wikipedia Burau representation, Burau representation (definition). Also Wikidata Q4998131

History

2026-11-02: add by m2/dev

V6VAXQRGFH V6VAXQRGFH

URI	`m2://inv/V6VAXQRGFH`
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.25435#Y37N (statement)

History

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

Population-KL certification V6VCDQZNW2

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

Mentions

arxiv: arXiv 2609.33499#6JSL, Population-KL certification (statement). In AAH14S2JJ2/e1, proposition F.1

History

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

Richard Chase Tolman V6VKENTTNE

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#1AEB, Richard Chase Tolman (unknown)

History

2026-11-02: add by m2/dev

V6VSMS33QS V6VSMS33QS

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

Mentions

napkin: napkin tex/quantum/shor.tex#definition-1 (definition). In RZP28ERRZV, definition, section 76.1

History

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

Critical $L^n$ vanishing V6VTYAC7N1

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

Mentions

arxiv: arXiv 2610.16563#3QOQ, Critical $L^n$ vanishing (statement). In V51HCA9ZAA/e1, theorem 4.2

History

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

V6VWJY9PWC V6VWJY9PWC

URI	`m2://inv/V6VWJY9PWC`
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.24325#CD94 (statement)

History

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

Formal statement V6W2FXJ76N

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

Mentions

wikipedia: Wikipedia Pinsker's inequality#Y9OQ, Formal statement (statement)

History

2026-11-02: add by m2/dev

Definition V6W3NXYT5Y

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

Mentions

wikipedia: Wikipedia Las Vegas algorithm#UG2N, Definition (definition)

History

2026-11-02: add by m2/dev

V6W4M90S1S V6W4M90S1S

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

Mentions

wikipedia: Wikipedia Giuga number#U5C4 (problem)

History

2026-11-02: add by m2/dev

The HOD Hypothesis, Woodin V6WFR4C5QT

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

Mentions

arxiv: arXiv 2609.32338#PC1X, The HOD Hypothesis, Woodin (definition). In HVY45JQRNK/e1, definition 2.2

History

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

Masuyama, Motosaburo V6WJQAEH3C

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

Mentions

wikipedia: Wikipedia List of statisticians#OLRY, Masuyama, Motosaburo (unknown)

History

2026-11-02: add by m2/dev

checksum V6WT52EQBV

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

Mentions

wikidata: Wikidata Q218341, checksum (unknown). Also MathWorld Checksum

History

2026-10-26: add by m2/dev

The local first integral at the cusp V6WTDBNGVS

URI	`m2://inv/V6WTDBNGVS`
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.26152#IBAS, The local first integral at the cusp (statement)

History

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

Network flow V6WVK28PRF

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

Mentions

wikipedia: Wikipedia List of network theory topics#T4XQ, Network flow (unknown)

History

2026-11-02: add by m2/dev

division sign V6X1XT3151

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

Mentions

wikidata: Wikidata Q3961002, division sign (unknown). Also MathWorld Obelus
wikipedia: Wikipedia Division sign, Division sign (definition). Also Wikidata Q3961002

History

2026-10-26: add by m2/dev

Howie Choset V6X1Y8T55Y

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#7WD3, Howie Choset (unknown)

History

2026-11-02: add by m2/dev

(Weeting #16) V6X22K0FBA

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

Mentions

wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#GX4N, (Weeting #16) (unknown)

History

2026-11-02: add by m2/dev

$\mu$-strongly concave V6X3WMVB1M

URI	`m2://inv/V6X3WMVB1M`
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.06755#NQB7, $\mu$-strongly concave (definition). In DKEX05SEXS/e1, definition 4.3

History

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

Constructions V6X8BMGGTG

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

Mentions

wikipedia: Wikipedia Group scheme#GOLQ, Constructions (definition)

History

2026-11-02: add by m2/dev

HP-28 series V6X9PYZ1GK

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

Mentions

wikipedia: Wikipedia HP-28 series, HP-28 series (definition). Also Wikidata Q1127766

History

2026-11-02: add by m2/dev

V6XB8P4G4Q V6XB8P4G4Q

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

Mentions

applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-25 (exercise). In QKM9DD2H56, exercise, section 8

History

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

Finite topological space V6XJ6R34WF

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

Mentions

wikipedia: Wikipedia Finite topological space, Finite topological space (definition). Also Wikidata Q4352436

History

2026-11-02: add by m2/dev

Order statistic V6XKK51THA

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

Mentions

wikipedia: Wikipedia List of statistics articles#M7UX, Order statistic (definition)
wikipedia: Wikipedia List of permutation topics#L72X, Order statistic (definition)

History

2026-11-02: add by m2/dev

Noam Elkies V6XP47JH0D

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#MP5C, Noam Elkies (topic)

History

2026-11-02: add by m2/dev

Real algebra V6XWRWKKVE

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#VU6B, Real algebra (definition)

History

2026-11-02: add by m2/dev

Discrete Mathematics V6XZH4E2F6

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

Mentions

wikipedia: Wikipedia Discrete Mathematics (journal), Discrete Mathematics (definition). Also Wikidata Q5282038

History

2026-11-02: add by m2/dev

Oscillatory expectation change for Heun V6XZQGDT4E

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

Mentions

arxiv: arXiv 2610.06308#500T, Oscillatory expectation change for Heun (statement). In HTWSDDAWGS/e1, lemma C.1

History

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

V6Y0GA3P8F V6Y0GA3P8F

URI	`m2://inv/V6Y0GA3P8F`
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.16208#9615 (statement). In 7R51MHWQF7/e1, lemma 2.2

History

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

V6Y5C1VXYQ V6Y5C1VXYQ

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

Mentions

arxiv: arXiv 2610.03384#6GTO (statement). In J55JTTKG84/e1, proposition 5.8

History

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

Nested sampling algorithm V6YBYZB7X7

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

Mentions

wikipedia: Wikipedia List of statistics articles#56RG, Nested sampling algorithm (definition)

History

2026-11-02: add by m2/dev

Ridge analyticity and density in Sobolev spaces, any dimension V6YCR6ABJZ

URI	`m2://inv/V6YCR6ABJZ`
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.04357#NZUC, Ridge analyticity and density in Sobolev spaces, any dimension (statement). In 6FY8BVP1F3/e1, lemma D.8

History

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

Quadratic residue V6YEQJD0B7

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

Mentions

wikipedia: Wikipedia List of number theory topics#MXS8, Quadratic residue (definition)

History

2026-11-02: add by m2/dev

Application V6YJXQEC98

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

Mentions

wikipedia: Wikipedia Isbell's zigzag theorem#SHHB, Application (example)

History

2026-11-02: add by m2/dev

Conjugate element V6YW0T39TC

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

Mentions

wikidata: Wikidata Q714220, Conjugate element (unknown). Also MathWorld ConjugateElements
wikipedia: Wikipedia Conjugate element (field theory), Conjugate element (definition). Also Wikidata Q714220

History

2026-10-26: add by m2/dev

Hodge algebra V6Z255JK7D

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

Mentions

wikipedia: Wikipedia List of things named after W. V. D. Hodge#6FYB, Hodge algebra (definition)

History

2026-11-02: add by m2/dev

V6Z2A1AW0X V6Z2A1AW0X

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-77 (exercise). In E9HS8K3A52, exercise, section 6.6.3

History

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

A¹ homotopy theory V6Z5NRPJPG

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

Mentions

wikidata: Wikidata Q4833212, A¹ homotopy theory (topic). Also nLab motivic homotopy theory
wikipedia: Wikipedia A¹ homotopy theory, A¹ homotopy theory (definition). Also Wikidata Q4833212

History

2026-10-26: add by m2/dev

Bell prime V6Z8EYE6GZ

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

Mentions

wikipedia: Wikipedia Bell number#5HOD, Bell prime (unknown)

History

2026-11-02: add by m2/dev

V6ZETM63ZZ V6ZETM63ZZ

URI	`m2://inv/V6ZETM63ZZ`
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 2610.12513#DZ30 (statement). In VM9V8SXEA2/e1, corollary 5

History

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

V6ZFSMCSW4 V6ZFSMCSW4

URI	`m2://inv/V6ZFSMCSW4`
Kind	statement
Layer	research
MSC	46-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.10329#TQUS (statement). In SCSTR1Q1BW/e1, theorem 7.8

History

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

TPL Tables V6ZQX93KAW

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

Mentions

wikipedia: Wikipedia List of statistics articles#OTYJ, TPL Tables (definition)

History

2026-11-02: add by m2/dev

Geo-imputation V6ZVDX4RHF

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

Mentions

wikipedia: Wikipedia List of statistics articles#3B3J, Geo-imputation (definition)

History

2026-11-02: add by m2/dev