Inventory rows BB

BB01X0BKEY BB01X0BKEY

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

Mentions

napkin: napkin tex/complex-ana/holomorphic.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 39.7.2

History

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

Manin matrix BB05HYQBZ0

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

Mentions

wikipedia: Wikipedia Manin matrix, Manin matrix (definition). Also Wikidata Q17098697

History

2026-11-02: add by m2/dev

BB07H05506 BB07H05506

URI	`m2://inv/BB07H05506`
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.06785#823T (statement). In PG6AEWX25E/e1, theorem 1.6

History

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

BB0AKNE03Q BB0AKNE03Q

URI	`m2://inv/BB0AKNE03Q`
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.05708#20X9 (statement). In 3BJPFGJNSS/e1, theorem 3.1

History

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

BB0E0YXF17 BB0E0YXF17

URI	`m2://inv/BB0E0YXF17`
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.15723#H4WQ (statement). In A3KXZ2GBHN/e1, lemma 7

History

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

*{Sec. 5.1 BB0H4RXATM

URI	`m2://inv/BB0H4RXATM`
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 2609.23341#ZGF2, *{Sec. 5.1 (definition)

History

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

non BB0J9DFDKW

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

Mentions

wikipedia: Wikipedia Glossary of set theory#8YL2, non (definition)

History

2026-11-02: add by m2/dev

Akshay Venkatesh BB0JF3704P

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

Mentions

wikipedia: Wikipedia Akshay Venkatesh, Akshay Venkatesh (topic). Also Wikidata Q176588

History

2026-11-02: add by m2/dev

BB0RT2DAM3 BB0RT2DAM3

URI	`m2://inv/BB0RT2DAM3`
Kind	statement
Layer	research
MSC	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.32916#YQLL (statement). In G1RP4JY5PE/e1, lemma 6.1.2

History

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

Impossibility of Structured Backward Error for Nearly-Unitary Outputs BB0SZPSWW9

URI	`m2://inv/BB0SZPSWW9`
Kind	example
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.12228#SQFU, Impossibility of Structured Backward Error for Nearly-Unitary Outputs (example). In CTQDSD0HAD/e1, example 5.4

History

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

BB0TQWMGAD BB0TQWMGAD

URI	`m2://inv/BB0TQWMGAD`
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.11779#WEEZ (statement). In V1ZQRDM2CH/e1, lemma 2.1

History

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

Isaac Boleslavsky BB0W67K0DF

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#UBHJ, Isaac Boleslavsky (unknown)

History

2026-11-02: add by m2/dev

723 (number) BB0YTQ9YBF

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

Mentions

wikipedia: Wikipedia 700 (number)#8O9L, 723 (number) (unknown)

History

2026-11-02: add by m2/dev

BB108FPS2M BB108FPS2M

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

Mentions

arxiv: arXiv 2610.10600#CDBI (statement). In V7WT21EDPM/e1, lemma 8.3

History

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

Soil moisture velocity equation BB12KHR2RZ

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

Mentions

wikipedia: Wikipedia Soil moisture velocity equation, Soil moisture velocity equation (definition). Also Wikidata Q60790316

History

2026-11-02: add by m2/dev

Rule 60 BB14J8CP0Y

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

Mentions

wikipedia: Wikipedia Elementary cellular automaton#LI1U, Rule 60 (unknown)

History

2026-11-02: add by m2/dev

BB14YT9G4R BB14YT9G4R

URI	`m2://inv/BB14YT9G4R`
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.20008#0JYM (statement)

History

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

Reconstruction conjecture BB17TFSHK7

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#T8EV, Reconstruction conjecture (conjecture)

History

2026-11-02: add by m2/dev

BB1961TPYZ BB1961TPYZ

URI	`m2://inv/BB1961TPYZ`
Kind	statement
Layer	research
MSC	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.27931#QKFK (statement)

History

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

Envelope BB1BW3ER9G

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

Mentions

wikipedia: Wikipedia Envelope (category theory), Envelope (definition). Also Wikidata Q48839330

History

2026-11-02: add by m2/dev

motivic integration BB1N8XBPRY

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

Mentions

wikidata: Wikidata Q17067319, motivic integration (concept). Also nLab motivic integration
wikipedia: Wikipedia Motivic integration, Motivic integration (definition). Also Wikidata Q17067319

History

2026-10-26: add by m2/dev

Applications BB1RN2MMB5

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

Mentions

wikipedia: Wikipedia L-infinity#L8T3, Applications (example)

History

2026-11-02: add by m2/dev

Autoregressive model BB1SJNQ5P9

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

Mentions

wikipedia: Wikipedia Autoregressive model, Autoregressive model (definition). Also Wikidata Q2202883

History

2026-11-02: add by m2/dev

Line field BB1XHCECSP

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

Mentions

wikipedia: Wikipedia Line field, Line field (definition). Also Wikidata Q6553248

History

2026-11-02: add by m2/dev

Upwind scheme BB20JFK7HP

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

Mentions

wikipedia: Wikipedia Upwind scheme, Upwind scheme (definition). Also Wikidata Q7899499

History

2026-11-02: add by m2/dev

BB2CD3MF0T BB2CD3MF0T

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/counting-proofs.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 2.4

History

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

Subcritical raw visibility BB2JSD5HM5

URI	`m2://inv/BB2JSD5HM5`
Kind	statement
Layer	research
MSC	26-XX, 35-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.22407#3MKY, Subcritical raw visibility (statement)

History

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

Martin Kneser BB2K1YMVMV

URI	`m2://inv/BB2K1YMVMV`
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#R1GM, Martin Kneser (topic)
wikipedia: Wikipedia List of German mathematicians#HKTS, Martin Kneser (topic)

History

2026-11-02: add by m2/dev

BB2KBMYK70 BB2KBMYK70

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

Mentions

arxiv: arXiv 2610.21622#64SV (definition). In H21X3FHNYJ/e1, definition 7.1

History

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

BB2KPH8KF9 BB2KPH8KF9

URI	`m2://inv/BB2KPH8KF9`
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.27788#L7FN (statement)

History

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

Project-management trilemma BB2Q8GNR1Z

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

Mentions

wikipedia: Wikipedia Trilemma#Z1SG, Project-management trilemma (unknown)

History

2026-11-02: add by m2/dev

Rotation-equivariant $D_{\h_k}$ bounds for single-index Gaussian flows BB2RRX6TQ0

URI	`m2://inv/BB2RRX6TQ0`
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.10875#KKZ0, Rotation-equivariant $D_{\h_k}$ bounds for single-index Gaussian flows (statement). In N91F15MHW1/e1, lemma 10

History

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

BB2ZSX4DYT BB2ZSX4DYT

URI	`m2://inv/BB2ZSX4DYT`
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.08149#APO4 (statement). In E128PFR76Q/e1, lemma 2.4

History

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

BB306ZASG0 BB306ZASG0

URI	`m2://inv/BB306ZASG0`
Kind	statement
Layer	research
MSC	11-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 2609.30200#W174 (statement)

History

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

Hartman–Grobman theorem BB348AR78K

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

Mentions

wikipedia: Wikipedia List of theorems#HJ81, Hartman–Grobman theorem (statement)

History

2026-11-02: add by m2/dev

Definition BB367R0NXX

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

Mentions

wikipedia: Wikipedia Regularity structure#97BY, Definition (definition)

History

2026-11-02: add by m2/dev

Balanced number partitioning BB36GX4RZP

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

Mentions

wikipedia: Wikipedia Balanced number partitioning, Balanced number partitioning (definition). Also Wikidata Q109297379

History

2026-11-02: add by m2/dev

Strictly pre-periodic case BB3DWC9GE9

URI	`m2://inv/BB3DWC9GE9`
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 2610.21945#D7PU, Strictly pre-periodic case (statement). In 371P9QASSJ/e1, lemma A.4

History

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

Right tail BB3F54Y23Q

URI	`m2://inv/BB3F54Y23Q`
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.31345#7O7Z, Right tail (statement). In R4MX33WNRX/e1, theorem 3.12

History

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

Anderson's theorem BB3GJYSH4T

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

Mentions

wikipedia: Wikipedia List of probability topics#3RUZ, Anderson's theorem (statement)

History

2026-11-02: add by m2/dev

Ralph P. Boas Jr BB3R010TMX

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#3GR9, Ralph P. Boas Jr (topic)

History

2026-11-02: add by m2/dev

BB3TKWW5HV BB3TKWW5HV

URI	`m2://inv/BB3TKWW5HV`
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 2602.13510#TPYG (statement). In Y75MQW7CFV/e1, lemma A.1

History

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

Mordell conjecture BB42EDDHAD

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

Mentions

wikipedia: Wikipedia List of incomplete proofs#A054, Mordell conjecture (statement)

History

2026-11-02: add by m2/dev

BB489TXSTT BB489TXSTT

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

Mentions

arxiv: arXiv 2610.21036#QF04 (example). In G0M4N3E0CG/e1, example 2.5

History

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

Projective distance BB48R1Y18F

URI	`m2://inv/BB48R1Y18F`
Kind	statement
Layer	research
MSC	11-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.37368#3X6O, Projective distance (statement). In FRMCKEGVJZ/e1, lemma 11

History

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

BB4DZ29QAC BB4DZ29QAC

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

Mentions

arxiv: arXiv 1503.05744#S0B7 (statement). In 5XKHZKEGAF/e1, theorem 6.3

History

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

BB4JDATBJW BB4JDATBJW

URI	`m2://inv/BB4JDATBJW`
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.13528#UG6J (statement). In TSBJEBS7SP/e1, theorem 3.3

History

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

Wardrop's first principle BB4KJ5JRZY

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

Mentions

wikipedia: Wikipedia Wardrop equilibrium#NFV1, Wardrop's first principle (statement)

History

2026-11-02: add by m2/dev

BB4N93RS11 BB4N93RS11

URI	`m2://inv/BB4N93RS11`
Kind	statement
Layer	research
MSC	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 2610.16362#JFHT (statement). In 4NJ4T3DEQB/e1, proposition 3.3

History

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

Example 2 BB4P657BA3

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

Mentions

wikipedia: Wikipedia Titu's lemma#T9BN, Example 2 (example)

History

2026-11-02: add by m2/dev

BB4P758KZC BB4P758KZC

URI	`m2://inv/BB4P758KZC`
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.02484#UZ5I (statement). In D1V0MQZTFQ/e1, theorem 4.7

History

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

Aligned trace-free closure BB4Q3N4JH8

URI	`m2://inv/BB4Q3N4JH8`
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.19837#X09R, Aligned trace-free closure (statement). In 837NSWQM1P/e1, lemma 6.1

History

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

BB4RM45Q2D BB4RM45Q2D

URI	`m2://inv/BB4RM45Q2D`
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.27800#R7SV (statement)

History

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

Definition BB4XQZ66PD

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

Mentions

wikipedia: Wikipedia Brier score#ZIBZ, Definition (definition)

History

2026-11-02: add by m2/dev

BB50A3Z02V BB50A3Z02V

URI	`m2://inv/BB50A3Z02V`
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.25111#35PG (definition)

History

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

BB51GYGMC8 BB51GYGMC8

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

Mentions

lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-24 (exercise). In E59CDZA4DP, exercise, section 6.3.3

History

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

Dead-zone quantizer BB52Y4PTWJ

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

Mentions

wikipedia: Wikipedia Quantization (signal processing)#82C6, Dead-zone quantizer (unknown)

History

2026-11-02: add by m2/dev

Example BB533WWR5N

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

Mentions

wikipedia: Wikipedia Sainte-Laguë method#CBFH, Example (example)

History

2026-11-02: add by m2/dev

BB55H6SJD8 BB55H6SJD8

URI	`m2://inv/BB55H6SJD8`
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.33027#OOW6 (statement). In E2AF84709B/e1, lemma 34

History

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

Spectral method BB57039BHB

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#QMIM, Spectral method (definition)

History

2026-11-02: add by m2/dev

BB57BRJKNX BB57BRJKNX

URI	`m2://inv/BB57BRJKNX`
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.31104#DV9P (statement). In 67NFPNF39Y/e1, lemma 2.6

History

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

High-frequency small-noise scheme BB59RPXWBR

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

Mentions

arxiv: arXiv 2610.05864#QGOT, High-frequency small-noise scheme (unknown). In 31QPXWDZSH/e1, unknown A1

History

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

Brian Skyrms BB5B11T69T

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#2E3X, Brian Skyrms (unknown)

History

2026-11-02: add by m2/dev

Theorem BB5BHAMPSB

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

Mentions

wikipedia: Wikipedia Donsker's theorem#UPPY, Theorem (statement)

History

2026-11-02: add by m2/dev

BB5KXGD4NE BB5KXGD4NE

URI	`m2://inv/BB5KXGD4NE`
Kind	definition
Layer	research
MSC	16-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.25539#8E97 (definition)

History

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

BB5VP0ZY9Y BB5VP0ZY9Y

URI	`m2://inv/BB5VP0ZY9Y`
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.37920#GEJV (statement). In GZPF8R6BBF/e1, corollary 5.1

History

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

Difference-orbit structure BB66XC5Q21

URI	`m2://inv/BB66XC5Q21`
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.17100#229D, Difference-orbit structure (statement). In 4TSS52DMB2/e1, theorem 2.4

History

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

Poincare-Hopf theorem BB69DXA8JJ

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

Mentions

wikipedia: Wikipedia Lefschetz fixed-point theorem#F1PF, Poincare-Hopf theorem (statement)

History

2026-11-02: add by m2/dev

Rouse Ball Professor of Mathematics BB6GAXF6TS

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

Mentions

wikipedia: Wikipedia List of mathematics history topics#ZJBS, Rouse Ball Professor of Mathematics (definition)

History

2026-11-02: add by m2/dev

BB6KQHSJA7 BB6KQHSJA7

URI	`m2://inv/BB6KQHSJA7`
Kind	statement
Layer	research
MSC	19-XX
Sources	1
Outcome	record (an item of a paper that no node asks 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.28295#K0QH (statement)

History

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

BB6QT1G70Y BB6QT1G70Y

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

Mentions

arxiv: arXiv 2609.30203#ITY9 (statement)

History

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

BB6R96J6T3 BB6R96J6T3

URI	`m2://inv/BB6R96J6T3`
Kind	statement
Layer	research
MSC	30-XX, 32-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.22288#89CA (statement). In X38P26DK6S/e1, theorem 4.10

History

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

Leslie Fox BB6SZ50RAA

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

Mentions

wikipedia: Wikipedia Leslie Fox, Leslie Fox (topic). Also Wikidata Q6530813

History

2026-11-02: add by m2/dev

BB731P9S6Z BB731P9S6Z

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

Mentions

arxiv: arXiv 2610.15720#L00Y (example). In VNN52G3BRE/e1, example 1.4

History

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

BB73NFZ5Q1 BB73NFZ5Q1

URI	`m2://inv/BB73NFZ5Q1`
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 2211.13105#1GTL (statement). In 5ACPY6CEDV/e1, theorem 3.8

History

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

open quantum system BB75YZ49D5

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

Mentions

wikidata: Wikidata Q2495111, open quantum system (unknown). Also nLab open quantum system
wikipedia: Wikipedia Open quantum system, Open quantum system (definition). Also Wikidata Q2495111

History

2026-10-26: add by m2/dev

Bonnie Berger BB778W22FT

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

Mentions

wikipedia: Wikipedia Bonnie Berger, Bonnie Berger (topic). Also Wikidata Q18808526

History

2026-11-02: add by m2/dev

Weird number BB79DTJGQG

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#PSS7, Weird number (definition)

History

2026-11-02: add by m2/dev

Definitions BB79EMNK7C

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

Mentions

wikipedia: Wikipedia Rate of convergence#LDPV, Definitions (definition)

History

2026-11-02: add by m2/dev

Group action on a single tree sheaf BB7D60EFTR

URI	`m2://inv/BB7D60EFTR`
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.28028#619E, Group action on a single tree sheaf (statement)

History

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

BB7EJCJNV1 BB7EJCJNV1

URI	`m2://inv/BB7EJCJNV1`
Kind	definition
Layer	research
MSC	01-XX, 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.28552#37ME (definition)

History

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

BB7GWH867K BB7GWH867K

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

Mentions

arxiv: arXiv 2610.14681#TR18 (statement). In 459W0NBS5Q/e1, theorem 5

History

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

flow BB7T2V9MN7

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

Mentions

applied_combinatorics: applied_combinatorics index/13.1/flow, flow (concept). In QKM9DD2H56, index, section 13.1

History

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

Jacques Herbrand BB7T4Y9R7S

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#FIQJ, Jacques Herbrand (topic)

History

2026-11-02: add by m2/dev

singular value decomposition BB7TXSFQ9W

URI	`m2://inv/BB7TXSFQ9W`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Singular value decomposition 000NPTMX6J

Mentions

wikidata: Wikidata Q420904, singular value decomposition (unknown). Also MathWorld SingularValueDecomposition
wikipedia: Wikipedia Singular value decomposition, Singular value decomposition (definition). Also Wikidata Q420904

History

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

BB7VFE2A1T BB7VFE2A1T

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

Mentions

arxiv: arXiv 2610.21929#FHP3 (statement). In 2PP4XRVS0J/e1, proposition 8.1

History

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

Properties BB7XHD6EK3

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

Mentions

wikipedia: Wikipedia Dickson polynomial#IZNH, Properties (statement)

History

2026-11-02: add by m2/dev

BB87S980HS BB87S980HS

URI	`m2://inv/BB87S980HS`
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.33941#RZ6O (statement). In 64YCRQCKZN/e1, theorem 1.2

History

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

Bernoulli's inequality BB8F3FV4YK

URI	`m2://inv/BB8F3FV4YK`
Kind	concept
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Bernoulli's inequality 0M1MX28VXK

Mentions

wikidata: Wikidata Q728662, Bernoulli's inequality (concept). Also MathWorld BernoulliInequality
wikipedia: Wikipedia Bernoulli's inequality, Bernoulli's inequality (statement). Also Wikidata Q728662

History

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

Example 1 BB8G5CYBJW

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

Mentions

wikipedia: Wikipedia Necessity and sufficiency#LOD9, Example 1 (example)

History

2026-11-02: add by m2/dev

Generalizations BB8MSQF7GB

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

Mentions

wikipedia: Wikipedia FOIL method#YNMB, Generalizations (statement)

History

2026-11-02: add by m2/dev

Rank-index method BB8QB12S4W

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

Mentions

wikipedia: Wikipedia Rank-index method, Rank-index method (definition). Also Wikidata Q124434704

History

2026-11-02: add by m2/dev

BB94AHQNSD BB94AHQNSD

URI	`m2://inv/BB94AHQNSD`
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.34573#QMSU (statement). In KK7EJSSPJY/e1, theorem 1.6

History

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

William Kingdon Clifford BB969Y07K9

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

Mentions

wikidata: Wikidata Q323228, William Kingdon Clifford (unknown). Also ProofWiki Mathematician:William_Kingdon_Clifford
wikipedia: Wikipedia William Kingdon Clifford, William Kingdon Clifford (topic). Also Wikidata Q323228

History

2026-10-26: add by m2/dev

Bishop, Yvonne BB9993HFNJ

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

Mentions

wikipedia: Wikipedia List of statisticians#FIQT, Bishop, Yvonne (unknown)

History

2026-11-02: add by m2/dev

Revolutions in Mathematics BB9HFG3AE2

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

Mentions

wikipedia: Wikipedia Revolutions in Mathematics, Revolutions in Mathematics (definition). Also Wikidata Q7318928

History

2026-11-02: add by m2/dev

Coarea formula BB9SKHK770

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

Mentions

arxiv: arXiv 2610.18544#TD8N, Coarea formula (statement). In HT5MC1SPD9/e1, lemma A.2

History

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

Standard sample complexity BB9STA0R3Q

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

Mentions

arxiv: arXiv 2609.33291#LBRB, Standard sample complexity (definition). In HQN1Y9RP53/e1, definition 2.1

History

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

Antonio Millán-Puelles BB9YN7AANM

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

Mentions

wikipedia: Wikipedia Antonio Millán-Puelles, Antonio Millán-Puelles (topic). Also Wikidata Q642132

History

2026-11-02: add by m2/dev

Journal of Logic and Algebraic Programming BBA0ESZK4W

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

Mentions

wikipedia: Wikipedia List of logic journals#C2L1, Journal of Logic and Algebraic Programming (unknown)

History

2026-11-02: add by m2/dev

log BBA40W8XPH

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

Mentions

mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > power series expansion of elementary functions > log, log (unknown). Also Mathlib Complex.hasSum_taylorSeries_log

History

2026-10-26: add by m2/dev

Extended side BBA44ZZRXE

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

Mentions

wikipedia: Wikipedia Extended side, Extended side (definition). Also Wikidata Q18206960

History

2026-11-02: add by m2/dev

Digital Signature Algorithm BBAGFKVSXZ

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

Mentions

wikipedia: Wikipedia Digital Signature Algorithm, Digital Signature Algorithm (definition). Also Wikidata Q1224829

History

2026-11-02: add by m2/dev

BBAPHM5CCG BBAPHM5CCG

URI	`m2://inv/BBAPHM5CCG`
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.22777#3JUG (statement)

History

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

Sophie Morel BBARTWFC88

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

Mentions

wikidata: Wikidata Q1391052, Sophie Morel (unknown). Also nLab Sophie Morel
wikipedia: Wikipedia Sophie Morel, Sophie Morel (topic). Also Wikidata Q1391052

History

2026-10-26: add by m2/dev

Cosine-grid difference count BBAY36WRSX

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

Mentions

arxiv: arXiv 2610.16351#QIQO, Cosine-grid difference count (statement). In 1QSV7EQE3T/e1, theorem S47

History

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

Definition BBAY8H8C72

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

Mentions

wikipedia: Wikipedia Effective Polish space#64AX, Definition (definition)

History

2026-11-02: add by m2/dev

Alexander duality BBB2BDRKBA

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#C51D, Alexander duality (definition)

History

2026-11-02: add by m2/dev

Uniform sequence-level TV guarantee BBB399X8DE

URI	`m2://inv/BBB399X8DE`
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.05712#Q63R, Uniform sequence-level TV guarantee (statement). In 44Q2H3DWNW/e1, corollary 1

History

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

Monte Nitzkowski BBB5K7F9WP

URI	`m2://inv/BBB5K7F9WP`
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#P23V, Monte Nitzkowski (unknown)

History

2026-11-02: add by m2/dev

BBB73Y2VW6 BBB73Y2VW6

URI	`m2://inv/BBB73Y2VW6`
Kind	example
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.07890#8BFF (example). In 6F3GSDT2V1/e1, example 3.2

History

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

Divine illumination BBBFJKT1XH

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

Mentions

wikipedia: Wikipedia Divine illumination, Divine illumination (definition). Also Wikidata Q5284165

History

2026-11-02: add by m2/dev

linearly independent, for vector-valued functions BBBJ1X991V

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

Mentions

lebl_diffyqs: lebl_diffyqs index/10.3/linearly-independent-for-vector-valued-functions, linearly independent, for vector-valued functions (concept). In E9HS8K3A52, index, section 10.3

History

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

BBBKZHZ79E BBBKZHZ79E

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

Mentions

arxiv: arXiv 2609.23202#1PT0 (statement)

History

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

Hyperbolic triangle BBBS987RFJ

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

Mentions

wikipedia: Wikipedia List of triangle topics#GSYA, Hyperbolic triangle (definition)
wikipedia: Wikipedia List of mathematical shapes#AKH8, Hyperbolic triangle (definition)

History

2026-11-02: add by m2/dev

BBBVKSJ3VF BBBVKSJ3VF

URI	`m2://inv/BBBVKSJ3VF`
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.08664#SVDM (statement). In 1YY0P4ZS0T/e1, lemma 22

History

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

Definition BBC55A1Y62

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

Mentions

wikipedia: Wikipedia Preorder#ZJBR, Definition (definition)

History

2026-11-02: add by m2/dev

BBCAW48YP5 BBCAW48YP5

URI	`m2://inv/BBCAW48YP5`
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.23779#K9EU (statement)

History

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

BBCE3P03S7 BBCE3P03S7

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

Mentions

arxiv: arXiv 2610.08382#KDI7 (definition). In GYMGDQS25R/e1, definition 5.9

History

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

BBCFTG4XAT BBCFTG4XAT

URI	`m2://inv/BBCFTG4XAT`
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.26713#LFDS (statement)

History

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

Shujie Ma BBCSQSNECN

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#0GCA, Shujie Ma (topic)

History

2026-11-02: add by m2/dev

polynomial BBDAS31RK4

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

Mentions

wikipedia: Wikipedia Glossary of ring theory#QP99, polynomial (definition)

History

2026-11-02: add by m2/dev

Zermelo's models and the axiom of limitation of size BBDCPAKCN4

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

Mentions

wikipedia: Wikipedia Axiom of limitation of size#G3XI, Zermelo's models and the axiom of limitation of size (statement)

History

2026-11-02: add by m2/dev

BBDD50HS66 BBDD50HS66

URI	`m2://inv/BBDD50HS66`
Kind	definition
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.19285#4JJK (definition). In 6DJR9DKY5W/e1, definition 2.8

History

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

BBDE9HXBZF BBDE9HXBZF

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

Mentions

arxiv: arXiv 2104.04145#PJ69 (statement). In 7TNHVC586V/e1, lemma 4

History

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

Definition BBDV0E0KDF

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

Mentions

wikipedia: Wikipedia Factorial#G7L5, Definition (definition)

History

2026-11-02: add by m2/dev

Cotlar–Stein lemma BBDZHCTWQQ

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

Mentions

wikipedia: Wikipedia Cotlar–Stein lemma, Cotlar–Stein lemma (statement). Also Wikidata Q5175397

History

2026-11-02: add by m2/dev

Properties BBE2PRHGJ4

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

Mentions

wikipedia: Wikipedia Projective cover#NMNP, Properties (statement)

History

2026-11-02: add by m2/dev

Aggregated transition BBE5PXYDDG

URI	`m2://inv/BBE5PXYDDG`
Kind	example
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#E86T, Aggregated transition (example). In WD2NCBV9F0/e1, example 4.21

History

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

BBE647674K BBE647674K

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-145 (exercise). In VNMV985MXX, exercise, section 2.6

History

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

BBE8FD86S7 BBE8FD86S7

URI	`m2://inv/BBE8FD86S7`
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 2208.06310#A50G (definition). In 9YR0E0T9XA/e1, definition 3.7

History

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

Mixed Poisson chain complex BBE8GC2EX1

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

Mentions

arxiv: arXiv 2610.08091#2J3F, Mixed Poisson chain complex (definition). In MS13WE3CSD/e1, definition 2.11

History

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

Stationary rate tail and clock coupling BBEPWD7P8K

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

Mentions

arxiv: arXiv 2610.16248#TNII, Stationary rate tail and clock coupling (statement). In TP61DYMBMK/e1, lemma 7

History

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

BBET9VKBQV BBET9VKBQV

URI	`m2://inv/BBET9VKBQV`
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 2610.14310#6C0A (statement). In 8GSG7024NW/e1, corollary 7.4

History

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

More branches BBEY4D1T2G

URI	`m2://inv/BBEY4D1T2G`
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.38220#2YDS, More branches (statement). In 1AC4S19925/e1, corollary 2.1

History

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

BBEYJB26VM BBEYJB26VM

URI	`m2://inv/BBEYJB26VM`
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 2203.00606#KBKU (statement). In 3WBQFVX65D/e1, lemma 4.1

History

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

Bieri-Renz BBEZ9SGC9T

URI	`m2://inv/BBEZ9SGC9T`
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 0810.0962#A6S6, Bieri-Renz (statement). In 80YMRN5KS9/e1, theorem 1

History

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

Affine action BBF6QDECS4

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

Mentions

wikipedia: Wikipedia Affine action, Affine action (definition). Also Wikidata Q4688937

History

2026-11-02: add by m2/dev

Rank correlation BBFGHPG2DV

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

Mentions

wikipedia: Wikipedia List of statistics articles#44L5, Rank correlation (definition)

History

2026-11-02: add by m2/dev

BBFTMDKS2D BBFTMDKS2D

URI	`m2://inv/BBFTMDKS2D`
Kind	statement
Layer	research
MSC	05-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.20663#Q4H9 (statement). In AZMX0CY5NE/e1, lemma 20

History

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

Tube lemma BBFV7MVAE7

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

Mentions

wikipedia: Wikipedia List of lemmas#W45D, Tube lemma (statement)

History

2026-11-02: add by m2/dev

Optimal energy--growth constant BBFYQCW89N

URI	`m2://inv/BBFYQCW89N`
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.24930#6WQS, Optimal energy--growth constant (statement)

History

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

Regular part BBFZE9SXQY

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

Mentions

wikipedia: Wikipedia Regular part, Regular part (definition). Also Wikidata Q7309613

History

2026-11-02: add by m2/dev

BBG0C0T7CJ BBG0C0T7CJ

URI	`m2://inv/BBG0C0T7CJ`
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.22263#CQE8 (example)

History

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

anti-invariant BBG2HK287C

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#4EM4, anti-invariant (definition)

History

2026-11-02: add by m2/dev

Klein geometry BBG3WPX2JA

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

Mentions

wikidata: Wikidata Q2132698, Klein geometry (unknown). Also nLab Klein geometry
wikipedia: Wikipedia Klein geometry, Klein geometry (definition). Also Wikidata Q2132698

History

2026-10-26: add by m2/dev

Conditional value of information BBGDM2G57J

URI	`m2://inv/BBGDM2G57J`
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.18180#CPA5, Conditional value of information (statement). In NJGS7D1EPH/e1, theorem 6.1

History

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

Hedetniemi's conjecture BBGDTDP5RC

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

Mentions

wikipedia: Wikipedia Hedetniemi's conjecture, Hedetniemi's conjecture (statement). Also Wikidata Q17022106

History

2026-11-02: add by m2/dev

BBGEZVHPGW BBGEZVHPGW

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

Mentions

arxiv: arXiv 2610.14914#KKJO (statement). In CHC3T113Y4/e1, lemma 4.2

History

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

Definition BBGMQMHJN7

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

Mentions

wikipedia: Wikipedia Chabauty topology#82BL, Definition (definition)

History

2026-11-02: add by m2/dev

Meet-in-the-middle attack BBGQX34TH4

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

Mentions

wikipedia: Wikipedia Meet-in-the-middle attack, Meet-in-the-middle attack (definition). Also Wikidata Q938066

History

2026-11-02: add by m2/dev

BBGRJAXAHF BBGRJAXAHF

URI	`m2://inv/BBGRJAXAHF`
Kind	definition
Layer	research
MSC	16-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.26417#UI72 (definition)

History

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

secant BBGTD1NTF6

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

Mentions

active_calculus: active_calculus index/2.4.2/secant, secant (concept). In 907G4C4EJ1, index, section 2.4.2

History

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

BBH70J7ACK BBH70J7ACK

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

Mentions

napkin: napkin tex/H113/grp-intro.tex#example-9 (example). In RZP28ERRZV, example, section 2.1

History

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

Examples BBH70W44M4

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

Mentions

wikipedia: Wikipedia Ruled surface#NE3E, Examples (example)

History

2026-11-02: add by m2/dev

BBH9T9RXRP BBH9T9RXRP

URI	`m2://inv/BBH9T9RXRP`
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 2408.13548#VF0H (statement). In EQF1ZQ5K1S/e1, corollary 3.23

History

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

Larson BBHJC2E23C

URI	`m2://inv/BBHJC2E23C`
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.17547#S9SV, Larson (definition). In XJ59TDP4HA/e1, definition 2.4

History

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

Indicator function BBHKKZEQAW

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

Mentions

wikipedia: Wikipedia Indicator function (complex analysis), Indicator function (definition). Also Wikidata Q111942311

History

2026-11-02: add by m2/dev

Lamé’s theorem BBHMJAMZXP

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

Mentions

wikipedia: Wikipedia List of theorems#0ENG, Lamé’s theorem (definition)

History

2026-11-02: add by m2/dev

degeneracy BBJ4M8HZ8K

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#O79Z, degeneracy (definition)

History

2026-11-02: add by m2/dev

BBJ4N5VCQM BBJ4N5VCQM

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

Mentions

arxiv: arXiv 2610.03497#K342 (statement). In RRNHC0CAC9/e1, corollary

History

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

BBJ4Q5Y1RK BBJ4Q5Y1RK

URI	`m2://inv/BBJ4Q5Y1RK`
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.24584#V2IE (statement)

History

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

Generalizations BBK150W9H8

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

Mentions

wikipedia: Wikipedia Thomson problem#VBKX, Generalizations (statement)

History

2026-11-02: add by m2/dev

Applications BBK35TC568

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

Mentions

wikipedia: Wikipedia G factor in non-humans#JINX, Applications (example)

History

2026-11-02: add by m2/dev

BBK4J7KNK5 BBK4J7KNK5

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

Mentions

arxiv: arXiv 2610.22040#UA8W (definition). In 2QP93JHYNB/e1, definition 8.8

History

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

Distributional data analysis BBK5YX528X

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

Mentions

wikipedia: Wikipedia Distributional data analysis, Distributional data analysis (topic). Also Wikidata Q124077976

History

2026-11-02: add by m2/dev

BBK8S6VZ7K BBK8S6VZ7K

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

Mentions

arxiv: arXiv 2609.25188#RAOG (example)

History

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

BBK8TBQC1K BBK8TBQC1K

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

Mentions

arxiv: arXiv 2303.09207#WOFC (definition). In 9DQKY7KGE8/e1, definition 6.13

History

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

Quotient map BBK99ZBXFD

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

Mentions

wikipedia: Wikipedia Glossary of general topology#GKKR, Quotient map (definition)

History

2026-11-02: add by m2/dev

BBKARC35MX BBKARC35MX

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#proof-2 (proof). In Y91XFCEVHQ, proof, section 4.2

History

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

Definition BBKD7QZNDR

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

Mentions

wikipedia: Wikipedia Continuous q-Laguerre polynomials#IMVJ, Definition (definition)

History

2026-11-02: add by m2/dev

TUM School of Computation, Information and Technology BBKDJ5MNPP

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

Mentions

wikipedia: Wikipedia TUM School of Computation, Information and Technology, TUM School of Computation, Information and Technology (definition). Also Wikidata Q115824082

History

2026-11-02: add by m2/dev

Bit-flipping attack BBKJXJW3V6

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

Mentions

wikipedia: Wikipedia Bit-flipping attack, Bit-flipping attack (definition). Also Wikidata Q4918655

History

2026-11-02: add by m2/dev

Gelfand–Naimark–Segal construction BBKSPP4SRA

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

Mentions

wikipedia: Wikipedia List of algebraic constructions#92XN, Gelfand–Naimark–Segal construction (definition)
wikipedia: Wikipedia List of algebraic constructions#DWB4, Gelfand–Naimark–Segal construction (definition)

History

2026-11-02: add by m2/dev

SigmaStat BBKT89P674

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

Mentions

wikipedia: Wikipedia List of statistics articles#KBEG, SigmaStat (definition)

History

2026-11-02: add by m2/dev

Pertti Lounesto BBM0YMECFZ

URI	`m2://inv/BBM0YMECFZ`
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 Q94831082, Pertti Lounesto (unknown). Also nLab Pertti Lounesto

History

2026-10-26: add by m2/dev

PARAFAC BBM559Y0X6

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

Mentions

wikipedia: Wikipedia List of statistics articles#CT3O, PARAFAC (definition)

History

2026-11-02: add by m2/dev

Equivalence to the Tutte-Berge formula BBM7GHBHGN

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

Mentions

wikipedia: Wikipedia Tutte's theorem on perfect matchings#V4YF, Equivalence to the Tutte-Berge formula (statement)

History

2026-11-02: add by m2/dev

Shizuo Kakutani BBM8JS7GCT

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

Mentions

wikidata: Wikidata Q945209, Shizuo Kakutani (unknown). Also ProofWiki Mathematician:Shizuo_Kakutani
wikipedia: Wikipedia Shizuo Kakutani, Shizuo Kakutani (topic). Also Wikidata Q945209

History

2026-10-26: add by m2/dev

BBMHKYX6RE BBMHKYX6RE

URI	`m2://inv/BBMHKYX6RE`
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.18580#GAEK (statement). In 443TZD4P0A/e1, lemma 4

History

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

Roth's theorem with popular differences BBMK5P21GX

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

Mentions

wikipedia: Wikipedia Roth's theorem on arithmetic progressions#9Z64, Roth's theorem with popular differences (statement)

History

2026-11-02: add by m2/dev

Peripatos BBMNJ6YF7W

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

Mentions

wikipedia: Wikipedia Peripatetic school#CFVD, Peripatos (unknown)

History

2026-11-02: add by m2/dev

BBN0SQGWRW BBN0SQGWRW

URI	`m2://inv/BBN0SQGWRW`
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.13846#ZGLX (statement). In DN3HGHGRYJ/e1, lemma 6.1

History

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

BBN2AGW192 BBN2AGW192

URI	`m2://inv/BBN2AGW192`
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.38844#VL2U (statement). In PX8D91DQCX/e1, lemma 3.6

History

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

BBN7WS4V4G BBN7WS4V4G

URI	`m2://inv/BBN7WS4V4G`
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.31278#6WOY (statement). In KEP21CZFV9/e1, lemma #1

History

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

BBNEAXR6D4 BBNEAXR6D4

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

Mentions

arxiv: arXiv 2609.33162#BI16 (statement). In RPC7VG3KHQ/e1, proposition 3.3

History

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

Total Area Asymptotics in $n$ BBNH620E5X

URI	`m2://inv/BBNH620E5X`
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.07671#2PCM, Total Area Asymptotics in $n$ (statement). In XHHBGCVG90/e1, corollary 5.3.1

History

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

Yingying Fan BBNHS3XVYT

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

Mentions

wikipedia: Wikipedia Yingying Fan, Yingying Fan (topic). Also Wikidata Q96644280

History

2026-11-02: add by m2/dev

BBNJE4CASD BBNJE4CASD

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

Mentions

arxiv: arXiv 2409.03461#JPPZ (statement). In XJVZSGCX5V/e1, theorem 4.2

History

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

BBNM2E6NJ8 BBNM2E6NJ8

URI	`m2://inv/BBNM2E6NJ8`
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.25843#X49Q (statement)

History

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

Isaac ben Moses Eli BBNMS7CZ9X

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#RI14, Isaac ben Moses Eli (topic)

History

2026-11-02: add by m2/dev

Ilya Ilf BBP3NT5TAJ

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#8ZLA, Ilya Ilf (unknown)

History

2026-11-02: add by m2/dev

Distribution of limit measures BBPGH9K732

URI	`m2://inv/BBPGH9K732`
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.20609#WGZ8, Distribution of limit measures (statement)

History

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

Variable exponent fractional Trudinger inequality BBPJ2B4G3K

URI	`m2://inv/BBPJ2B4G3K`
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.08253#THLF, Variable exponent fractional Trudinger inequality (statement). In 6AD2CTF0QF/e1, theorem 2.15

History

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

William Gemmell Cochran BBPPAARYTT

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

Mentions

wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#SBLL, William Gemmell Cochran (topic)

History

2026-11-02: add by m2/dev

Squire's theorem BBPWVN4TWF

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

Mentions

wikipedia: Wikipedia Squire's theorem, Squire's theorem (statement). Also Wikidata Q25101661

History

2026-11-02: add by m2/dev

Bulk profile BBPXFBSXE0

URI	`m2://inv/BBPXFBSXE0`
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#1M66, Bulk profile (statement). In T8F19ZGHF3/e1, lemma 4.6

History

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

BBQ13JJJGZ BBQ13JJJGZ

URI	`m2://inv/BBQ13JJJGZ`
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.33238#8F8X (statement). In MVWXMDFP3P/e1, theorem 4.3

History

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

Star polytope BBQ4PJ6GQ2

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

Mentions

wikipedia: Wikipedia Star polyhedron#MOP4, Star polytope (unknown)

History

2026-11-02: add by m2/dev

Emanuel Lodewijk Elte BBQ4R6MXTT

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#IKB2, Emanuel Lodewijk Elte (topic)

History

2026-11-02: add by m2/dev

Quantum-$K$ formula BBQ5596FT8

URI	`m2://inv/BBQ5596FT8`
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.10821#GZUH, Quantum-$K$ formula (statement). In RWNP4FEE65/e1, theorem 4.9

History

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

Jean-Loup Waldspurger BBQBGPB9GE

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

Mentions

wikipedia: Wikipedia Jean-Loup Waldspurger, Jean-Loup Waldspurger (topic). Also Wikidata Q449911

History

2026-11-02: add by m2/dev

Properties BBQCFSC43B

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

Mentions

wikipedia: Wikipedia Dragon curve#UEA3, Properties (statement)

History

2026-11-02: add by m2/dev

Neunkirchen BBQF38AZY3

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

Mentions

wikipedia: Wikipedia List of places with numeric names#RID3, Neunkirchen (unknown)

History

2026-11-02: add by m2/dev

Zerah Colburn BBQRG9844J

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

Mentions

wikipedia: Wikipedia Zerah Colburn (mental calculator), Zerah Colburn (topic). Also Wikidata Q1753294

History

2026-11-02: add by m2/dev

BBR1TTMR4N BBR1TTMR4N

URI	`m2://inv/BBR1TTMR4N`
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.30336#JNV1 (statement). In CCWHTB3911/e1, theorem 1.4

History

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

BBR3Y0T9TV BBR3Y0T9TV

URI	`m2://inv/BBR3Y0T9TV`
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.29227#E4RZ (statement)

History

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

Applications BBR5WQNSHJ

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

Mentions

wikipedia: Wikipedia Informant function#DUQ1, Applications (example)

History

2026-11-02: add by m2/dev

BBR71EHZ69 BBR71EHZ69

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

Mentions

arxiv: arXiv 2610.00789#S7M5 (definition). In 4WPYBTARS2/e1, definition 2.6

History

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

Taichirō Kugo BBR88PH83F

URI	`m2://inv/BBR88PH83F`
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 Q11370376, Taichirō Kugo (unknown). Also nLab Taichiro Kugo

History

2026-10-26: add by m2/dev

BBRBAR9NBT BBRBAR9NBT

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

Mentions

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

History

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

BBRBB8CJZW BBRBB8CJZW

URI	`m2://inv/BBRBB8CJZW`
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 2503.01563#ZGM3 (statement). In H96Q47E9E1/e1, lemma 3.5

History

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

BBRCZR6SG5 BBRCZR6SG5

URI	`m2://inv/BBRCZR6SG5`
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.01932#8AZF (statement). In XDKWW6NR0K/e1, proposition 3.8

History

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

BBRQ7NG942 BBRQ7NG942

URI	`m2://inv/BBRQ7NG942`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 53-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.25289#N10M (statement)

History

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

BBRVCAC7N7 BBRVCAC7N7

URI	`m2://inv/BBRVCAC7N7`
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#9F54 (statement). In BZN1G5W5FX/e1, theorem 3.1

History

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

Arnaud Beauville BBS1B5JKMF

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#17OP, Arnaud Beauville (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YMBG, Arnaud Beauville (topic)

History

2026-11-02: add by m2/dev

BBS2V31T1J BBS2V31T1J

URI	`m2://inv/BBS2V31T1J`
Kind	statement
Layer	research
MSC	16-XX, 20-XX, 22-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.11800#NA7F (statement). In 8TSZ2E32K3/e1, corollary 5.4

History

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

BBS71SXNGS BBS71SXNGS

URI	`m2://inv/BBS71SXNGS`
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.28898#A21R (statement)

History

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

BBSA67NBDZ BBSA67NBDZ

URI	`m2://inv/BBSA67NBDZ`
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.33469#NNUU (statement). In TC5QA4AB4Z/e1, corollary 4.42

History

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

Jensen's inequality BBSBTEZYQJ

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

Mentions

wikipedia: Wikipedia Proof without words#2NPC, Jensen's inequality (statement)

History

2026-11-02: add by m2/dev

BBSBV2TZ1J BBSBV2TZ1J

URI	`m2://inv/BBSBV2TZ1J`
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.28597#V8N4 (statement)

History

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

Arzelà–Ascoli theorem BBSVJ2B662

URI	`m2://inv/BBSVJ2B662`
Kind	statement
Layer	textbook
MSC	46-XX
Sources	5
Outcome	node (a node has the same name as the row)
Node	Arzelà–Ascoli theorem 0381S8Z5P0

Mentions

mathlib_1000: mathlib_1000 Q1477053, Arzelà–Ascoli theorem (statement). Also Mathlib BoundedContinuousFunction.arzela_ascoli, Wikidata Q1477053
mathlib_overview: mathlib_overview Topology > Metric spaces > Arzela-Ascoli theorem, Arzela-Ascoli theorem (unknown). Also Mathlib BoundedContinuousFunction.arzela_ascoli
mathlib_undergrad: mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > Arzela-Ascoli theorem, Arzela-Ascoli theorem (unknown). Also Mathlib BoundedContinuousFunction.arzela_ascoli
thousand_plus: thousand_plus Q1477053, Arzelà–Ascoli theorem (statement). Also Mathlib BoundedContinuousFunction.arzela_ascoli, Wikidata Q1477053, Wikipedia Arzelà–Ascoli theorem
wikipedia: Wikipedia Arzelà–Ascoli theorem, Arzelà–Ascoli theorem (statement). Also Wikidata Q1477053

History

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

BBSVNWM2W6 BBSVNWM2W6

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

Mentions

arxiv: arXiv 2610.12054#ZTAD (statement). In 1A01NFHBGA/e1, corollary 3

History

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

Strictly convex space BBSW3SF0R2

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

Mentions

wikipedia: Wikipedia Strictly convex space, Strictly convex space (definition). Also Wikidata Q916093

History

2026-11-02: add by m2/dev

Properties BBT2QZ2PBA

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

Mentions

wikipedia: Wikipedia Covering groups of the alternating and symmetric groups#QHCT, Properties (statement)

History

2026-11-02: add by m2/dev

Ricochet BBT49NN7GC

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

Mentions

wikipedia: Wikipedia Ricochet (software), Ricochet (definition). Also Wikidata Q19894431

History

2026-11-02: add by m2/dev

BBT7NJJ4E1 BBT7NJJ4E1

URI	`m2://inv/BBT7NJJ4E1`
Kind	statement
Layer	research
MSC	16-XX, 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 2609.21860#ONNQ (statement)

History

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

Subverted support BBT8XH6XJ8

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

Mentions

wikipedia: Wikipedia Subverted support, Subverted support (definition). Also Wikidata Q17056989

History

2026-11-02: add by m2/dev

BBT9J8R5X3 BBT9J8R5X3

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

Mentions

arxiv: arXiv 2609.20531#9BN2 (statement)

History

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

BBTEGKXF8E BBTEGKXF8E

URI	`m2://inv/BBTEGKXF8E`
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.13528#QCNL (statement). In TSBJEBS7SP/e1, lemma 2.3

History

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

functor that lifts limits BBTGR8RFBB

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

Mentions

wikidata: Wikidata Q141066060, functor that lifts limits (unknown). Also nLab lifted limit

History

2026-10-26: add by m2/dev

John Etnyre BBTJKENK13

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

Mentions

wikipedia: Wikipedia John Etnyre, John Etnyre (topic). Also Wikidata Q102182879

History

2026-11-02: add by m2/dev

Formal definition BBTJT93539

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

Mentions

wikipedia: Wikipedia Exterior algebra#MAXL, Formal definition (definition)

History

2026-11-02: add by m2/dev

Adjacency BBTMFW9E0W

URI	`m2://inv/BBTMFW9E0W`
Kind	definition
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#DVM4, Adjacency (definition). In WD2NCBV9F0/e1, definition 12.2

History

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

J. Laurie Snell BBTZHC13V0

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#NC9D, J. Laurie Snell (topic)

History

2026-11-02: add by m2/dev

BBV1V1BATT BBV1V1BATT

URI	`m2://inv/BBV1V1BATT`
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 2506.16491#I47E (definition). In P9J6P06Y40/e1, definition 2.6

History

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

Examples BBV5CCGSNT

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

Mentions

wikipedia: Wikipedia Shimura variety#IMK0, Examples (example)

History

2026-11-02: add by m2/dev

Related theorems BBV96CV3RW

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

Mentions

wikipedia: Wikipedia Peano existence theorem#SYCS, Related theorems (statement)

History

2026-11-02: add by m2/dev

BBV9FDEWMK BBV9FDEWMK

URI	`m2://inv/BBV9FDEWMK`
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.19449#YBVE (statement). In 8ZKPJ3CBDF/e1, lemma 3.9

History

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

skew polygon BBVAMC1EC1

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

Mentions

wikidata: Wikidata Q3893499, skew polygon (unknown). Also MathWorld SkewPolygon
wikipedia: Wikipedia Skew polygon, Skew polygon (definition). Also Wikidata Q3893499

History

2026-10-26: add by m2/dev

Sander P. Zwegers BBVCS3YEV4

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

Mentions

wikipedia: Wikipedia Sander P. Zwegers, Sander P. Zwegers (topic). Also Wikidata Q1668216

History

2026-11-02: add by m2/dev

Edge dominating set BBW1QG4DJC

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

Mentions

wikipedia: Wikipedia Edge dominating set, Edge dominating set (definition). Also Wikidata Q5337698

History

2026-11-02: add by m2/dev

Perko pair BBW34KATGS

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

Mentions

wikipedia: Wikipedia List of mathematical knots and links#3BZF, Perko pair (definition)

History

2026-11-02: add by m2/dev

A superregular random walk BBW9YEZ827

URI	`m2://inv/BBW9YEZ827`
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 2204.09167#IM7O, A superregular random walk (statement). In S1MENYEAG5/e1, theorem 3.1

History

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

Christina Pagel BBWBBVKV7T

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

Mentions

wikipedia: Wikipedia Christina Pagel, Christina Pagel (topic). Also Wikidata Q42398945

History

2026-11-02: add by m2/dev

A quasi-smooth curve with an exceptional sector BBWEFQV8RK

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

Mentions

arxiv: arXiv 2609.33162#RSSJ, A quasi-smooth curve with an exceptional sector (example). In RPC7VG3KHQ/e1, example 9.10

History

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

BBWGWNC6WH BBWGWNC6WH

URI	`m2://inv/BBWGWNC6WH`
Kind	statement
Layer	research
MSC	13-XX, 14-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.38068#CM0A (statement). In 67GE5M1GGD/e1, proposition 5.21

History

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

BBWQ1SFC18 BBWQ1SFC18

URI	`m2://inv/BBWQ1SFC18`
Kind	statement
Layer	research
MSC	26-XX, 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.01615#F8B2 (statement). In CJYRXT18TD/e1, theorem 1.1

History

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

Theorem (Ploščica, Tůma, and Wehrung 1998) BBWQTKAE6S

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

Mentions

wikipedia: Wikipedia Congruence lattice problem#E622, Theorem (Ploščica, Tůma, and Wehrung 1998) (statement)

History

2026-11-02: add by m2/dev

BBWS292HSR BBWS292HSR

URI	`m2://inv/BBWS292HSR`
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.38188#97E0 (statement). In 7615KVXDB5/e1, proposition 3.3

History

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

Severi BBWZS3XDK2

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

Mentions

lebl_scv: lebl_scv scv.tex#thm:severi, Severi (statement). In VNMV985MXX, thm, section 3.2

History

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

Joseph Demarco BBX052BTFA

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

Mentions

wikipedia: Wikipedia Joseph Demarco, Joseph Demarco (topic). Also Wikidata Q6282579

History

2026-11-02: add by m2/dev

Luck BBXEE68XCF

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

Mentions

wikipedia: Wikipedia List of probability topics#RKX7, Luck (definition)

History

2026-11-02: add by m2/dev

BBXS7ZG0C5 BBXS7ZG0C5

URI	`m2://inv/BBXS7ZG0C5`
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#8TN1 (statement). In 7ZTJ23YG7A/e1, lemma 2.1

History

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

ratio BBXSKZJACY

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

Mentions

wikidata: Wikidata Q3481047, ratio (unknown). Also MathWorld Ratio, nLab ratio
wikipedia: Wikipedia Ratio, Ratio (definition). Also Wikidata Q3481047

History

2026-10-26: add by m2/dev

Extensions BBY8Z6C43K

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

Mentions

wikipedia: Wikipedia Random variable#G33C, Extensions (statement)

History

2026-11-02: add by m2/dev

BBYFHDVC1Y BBYFHDVC1Y

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

Mentions

napkin: napkin tex/topology/constructions.tex#example-7 (example). In RZP28ERRZV, example, section 96.5

History

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

BBYFQ7W2G1 BBYFQ7W2G1

URI	`m2://inv/BBYFQ7W2G1`
Kind	statement
Layer	research
MSC	20-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.06699#FG6J (statement). In GXHKRV5BPY/e1, theorem 1.3

History

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

Variance floor and sub-Gaussianity BBYJ0HJ9WR

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

Mentions

arxiv: arXiv 2609.37917#UCO6, Variance floor and sub-Gaussianity (statement). In YYN10BJG1Q/e1, lemma 3

History

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

Dirichlet-to-interior-Neumann formulation BBYJVTDQTS

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

Mentions

arxiv: arXiv 2610.17519#TUPU, Dirichlet-to-interior-Neumann formulation (statement). In H2DNTQ5MKV/e1, corollary 1.4

History

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

Haversine BBYWA0EFAK

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

Mentions

wikipedia: Wikipedia List of mathematical series#RKLN, Haversine (unknown)

History

2026-11-02: add by m2/dev

Hilbert cube BBYZ3JMA3J

URI	`m2://inv/BBYZ3JMA3J`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Hilbert cube JKMMJ8RFC6

Mentions

wikidata: Wikidata Q1618171, Hilbert cube (definition). Also MathWorld HilbertCube, nLab Hilbert cube, ProofWiki Definition:Hilbert_Cube
wikipedia: Wikipedia Hilbert cube, Hilbert cube (definition). Also Wikidata Q1618171

History

2026-10-26: add by m2/dev

BBZFKZ1FGS BBZFKZ1FGS

URI	`m2://inv/BBZFKZ1FGS`
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.10365#V1MZ (statement). In PRVQPSBVHK/e1, theorem A

History

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

BBZG2MF7VW BBZG2MF7VW

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

Mentions

napkin: napkin tex/alg-NT/numfield.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 16.5

History

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

Slender group BBZSRM8DG4

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

Mentions

wikipedia: Wikipedia Slender group, Slender group (definition). Also Wikidata Q7540086

History

2026-11-02: add by m2/dev

BBZXV4RK12 BBZXV4RK12

URI	`m2://inv/BBZXV4RK12`
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 2204.10840#U74X (statement). In EMS1MAJZ4X/e1, corollary 3

History

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

GraphCrunch BBZYK4TXVE

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

Mentions

wikipedia: Wikipedia GraphCrunch, GraphCrunch (definition). Also Wikidata Q5597061

History

2026-11-02: add by m2/dev