Inventory rows CG

CG03ZV2J05 CG03ZV2J05

URI	`m2://inv/CG03ZV2J05`
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.14803#GTIA (example). In VAEVDTBD3B/e1, example 2.12

History

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

RTM CG05GQBAKM

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

Mentions

wikipedia: Wikipedia Ray transfer matrix analysis#F20E, RTM (definition)

History

2026-11-02: add by m2/dev

CG0EJ1MVZ1 CG0EJ1MVZ1

URI	`m2://inv/CG0EJ1MVZ1`
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.35678#PCIC (statement). In 4X4ZS7CEKD/e1, corollary 2

History

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

pullback CG0EKZCH7D

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#4X17, pullback (definition)

History

2026-11-02: add by m2/dev

Applications CG0J9GW4WE

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

Mentions

wikipedia: Wikipedia Partition of an interval#9UM6, Applications (example)

History

2026-11-02: add by m2/dev

CG0KTWY946 CG0KTWY946

URI	`m2://inv/CG0KTWY946`
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#Y20C (definition). In WD2NCBV9F0/e1, definition 5.5

History

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

Pure formulas CG0RWW9XGV

URI	`m2://inv/CG0RWW9XGV`
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.08233#RHC4, Pure formulas (definition). In 2TXXQ2575Y/e1, definition 5.1

History

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

CG10AY6682 CG10AY6682

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

Mentions

napkin: napkin tex/set-theory/models.tex#lemma-2 (statement). In RZP28ERRZV, lemma, section 91.6

History

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

Example CG10KCGS9Q

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

Mentions

wikipedia: Wikipedia Surgery obstruction#F1AZ, Example (example)

History

2026-11-02: add by m2/dev

CG10N70GR3 CG10N70GR3

URI	`m2://inv/CG10N70GR3`
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.04069#E6XO (statement). In ZA7WXGZYWC/e1, proposition 4.2

History

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

Robbins' theorem CG1HNY6JC6

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

Mentions

mathlib_1000: mathlib_1000 Q7341043, Robbins theorem (statement). Also Wikidata Q7341043
thousand_plus: thousand_plus Q7341043, Robbins theorem (statement). Also Wikidata Q7341043, Wikipedia Robbins theorem
wikipedia: Wikipedia Robbins' theorem, Robbins' theorem (statement). Also Wikidata Q7341043

History

2026-10-26: add by m2/dev

CG1S9WZMD2 CG1S9WZMD2

URI	`m2://inv/CG1S9WZMD2`
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.09596#8DNH (statement). In HXFA55BREZ/e1, corollary B.6

History

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

Closed connected subspaces CG20YCNWSH

URI	`m2://inv/CG20YCNWSH`
Kind	statement
Layer	research
MSC	05-XX, 20-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.04305#AE0K, Closed connected subspaces (statement). In Y1DR0DPWD0/e1, lemma 7.7

History

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

CG23Y4HC5Q CG23Y4HC5Q

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

Mentions

arxiv: arXiv 2610.07240#UJ0S (statement). In D0F1GK5AHW/e1, proposition 1.6

History

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

CG253HT7X1 CG253HT7X1

URI	`m2://inv/CG253HT7X1`
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 2204.13401#J2PM (statement). In B8MJT0GGW8/e1, lemma 3.4

History

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

CG26DWGYJM CG26DWGYJM

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

Mentions

hott_book: hott_book categories.tex#proof-4 (proof). In N54F33XE07, proof, section 2.1

History

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

CG2KFTD3WK CG2KFTD3WK

URI	`m2://inv/CG2KFTD3WK`
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 2609.33584#4ZZJ (statement). In 3HFBAWQCA1/e1, proposition 3.2

History

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

Feit--Thompson theorem CG2KJMBA6W

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

Mentions

hott_book: hott_book index/u1.u5/feit-thompson-theorem, Feit--Thompson theorem (concept). In N54F33XE07, index, section u1.u5

History

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

Asymptotic Scaling and Basis Transition for $SO_{11}$ CG2VR6ZAKJ

URI	`m2://inv/CG2VR6ZAKJ`
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.20364#V9HY, Asymptotic Scaling and Basis Transition for $SO_{11}$ (statement). In 433NXYKPG3/e1, corollary 10

History

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

CG2YNBVF5G CG2YNBVF5G

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

Mentions

hott_book: hott_book setmath.tex#proof-17 (proof). In N54F33XE07, proof, section C.2

History

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

BD functions CG2ZYQ11KQ

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

Mentions

arxiv: arXiv 2610.17129#RZRX, BD functions (definition). In TCZWAMNYCV/e1, definition 2.2

History

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

Teleology in hinduism CG34X7FFE3

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

Mentions

wikipedia: Wikipedia Teleological argument#0WEP, Teleology in hinduism (unknown)

History

2026-11-02: add by m2/dev

CG3J28DWRD CG3J28DWRD

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

Mentions

arxiv: arXiv 2610.13817#3RT2 (definition). In BMSAXTDV47/e1, definition 4.1

History

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

CG3SD0RRNB CG3SD0RRNB

URI	`m2://inv/CG3SD0RRNB`
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.20010#0F0Z (statement). In AK2DV65PRT/e1, proposition 4.3

History

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

CG3WM8GDNC CG3WM8GDNC

URI	`m2://inv/CG3WM8GDNC`
Kind	statement
Layer	research
MSC	03-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.20718#MCFT (statement)

History

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

Bound for the minimum CG42VN2VWA

URI	`m2://inv/CG42VN2VWA`
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.40138#O3K9, Bound for the minimum (statement). In R60HR493TS/e1, lemma 2.3

History

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

CG4GHH2QAX CG4GHH2QAX

URI	`m2://inv/CG4GHH2QAX`
Kind	statement
Layer	research
MSC	37-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.20131#G6XQ (statement). In 29D4TTE3J2/e1, theorem 8.5

History

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

coherent CG4J1VXWBM

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#ZWX1, coherent (definition)

History

2026-11-02: add by m2/dev

Ofer Azar CG4RAJKJYW

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#RKZ5, Ofer Azar (unknown)

History

2026-11-02: add by m2/dev

Lothar Göttsche CG4SG2Z97Y

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#6QMJ, Lothar Göttsche (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#G50P, Lothar Göttsche (topic)
wikipedia: Wikipedia List of German mathematicians#UTEC, Lothar Göttsche (topic)

History

2026-11-02: add by m2/dev

existent CG4XXGCZJC

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#PRTJ, existent (definition)

History

2026-11-02: add by m2/dev

CG4YSDMMT0 CG4YSDMMT0

URI	`m2://inv/CG4YSDMMT0`
Kind	statement
Layer	research
MSC	30-XX, 32-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 2609.25801#M233 (statement)

History

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

CG4Z2E1SMV CG4Z2E1SMV

URI	`m2://inv/CG4Z2E1SMV`
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.27484#UNGL (statement)

History

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

CG53G4YCQE CG53G4YCQE

URI	`m2://inv/CG53G4YCQE`
Kind	statement
Layer	research
MSC	37-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.20131#0CJB (statement). In 29D4TTE3J2/e1, theorem 2.18

History

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

CG53J80B0K CG53J80B0K

URI	`m2://inv/CG53J80B0K`
Kind	statement
Layer	research
MSC	05-XX, 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 2509.04068#1EOQ (statement). In Y7TVAQE9PF/e1, proposition 4.1

History

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

O-BDRS as Overrelaxed Annealed Sinkhorn CG58R4Q70V

URI	`m2://inv/CG58R4Q70V`
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.33814#NRDG, O-BDRS as Overrelaxed Annealed Sinkhorn (statement). In WG5RT5PRNB/e1, proposition 2

History

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

JModelica.org CG59ECTAKQ

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#BLQ6, JModelica.org (unknown)

History

2026-11-02: add by m2/dev

CG5AZNFZN8 CG5AZNFZN8

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

History

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

CG5DG76S2G CG5DG76S2G

URI	`m2://inv/CG5DG76S2G`
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.18154#RZMW (statement). In 4W7ARR1DAR/e1, lemma G.2

History

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

Gino Loria CG5E3CPH80

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#JOVV, Gino Loria (topic)

History

2026-11-02: add by m2/dev

CG5M82G4TE CG5M82G4TE

URI	`m2://inv/CG5M82G4TE`
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 2503.16884#QCSB (statement). In B984KNW591/e1, lemma 5.1

History

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

Fritsch graph CG5V8MMCW1

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

Mentions

wikidata: Wikidata Q3115483, Fritsch graph (unknown). Also House of Graphs 1088, MathWorld FritschGraph

History

2026-10-26: add by m2/dev

Chemical graph generator CG5VKBM0GQ

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

Mentions

wikipedia: Wikipedia Chemical graph generator, Chemical graph generator (definition). Also Wikidata Q105034815

History

2026-11-02: add by m2/dev

CG5WSV9MC6 CG5WSV9MC6

URI	`m2://inv/CG5WSV9MC6`
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.13385#X5J3 (statement). In J99CBQ3QYD/e1, lemma 4.1

History

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

Lagrange interpolation CG6543EE2E

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

Mentions

wikipedia: Wikipedia List of algorithms#QZK4, Lagrange interpolation (definition)

History

2026-11-02: add by m2/dev

CG6DFX6PW9 CG6DFX6PW9

URI	`m2://inv/CG6DFX6PW9`
Kind	statement
Layer	research
MSC	14-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.02061#JH4V (statement). In F5STMSPR6X/e1, lemma 5.2

History

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

Supercritical CG6KXTMT4S

URI	`m2://inv/CG6KXTMT4S`
Kind	statement
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#7LRV, Supercritical (statement)

History

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

Freedman CG6M5HWE4E

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#ZCFE, Freedman (definition)

History

2026-11-02: add by m2/dev

Wojciech Kucharz CG6MR9QK6G

URI	`m2://inv/CG6MR9QK6G`
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#W18E, Wojciech Kucharz (topic)

History

2026-11-02: add by m2/dev

CG6Q139VTE CG6Q139VTE

URI	`m2://inv/CG6Q139VTE`
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.24078#7XUW (statement)

History

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

Séminaire Nicolas Bourbaki CG6Q6AHZ1V

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

Mentions

wikipedia: Wikipedia Séminaire Nicolas Bourbaki (1950–1959), Séminaire Nicolas Bourbaki (definition). Also Wikidata Q14943405

History

2026-11-02: add by m2/dev

The main conjectures CG77KZAWTR

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

Mentions

wikipedia: Wikipedia Low-discrepancy sequence#BY34, The main conjectures (statement)

History

2026-11-02: add by m2/dev

Robert Spekkens CG7B0R33D4

URI	`m2://inv/CG7B0R33D4`
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 Q102434111, Robert Spekkens (unknown). Also nLab Robert Spekkens

History

2026-10-26: add by m2/dev

CG7BAZH5Y7 CG7BAZH5Y7

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

Mentions

arxiv: arXiv 2609.30018#XT15 (definition)

History

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

CG7DA415AA CG7DA415AA

URI	`m2://inv/CG7DA415AA`
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 1709.08958#0YQZ (statement). In H46J8XRDFJ/e1, theorem 1.2.2

History

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

CG7DD4VFW0 CG7DD4VFW0

URI	`m2://inv/CG7DD4VFW0`
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.02506#I1B8 (statement). In 3JKRBZWJ33/e1, lemma 4.9

History

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

symmedian CG7DWW40MQ

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

Mentions

wikidata: Wikidata Q556309, symmedian (concept). Also MathWorld Symmedian
wikipedia: Wikipedia Symmedian, Symmedian (definition). Also Wikidata Q556309

History

2026-10-26: add by m2/dev

Gaussian rational CG7G0V3CJ8

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

Mentions

wikidata: Wikidata Q7888828, Gaussian rational (unknown). Also nLab Gaussian number
wikipedia: Wikipedia Gaussian rational, Gaussian rational (definition). Also Wikidata Q7888828

History

2026-10-26: add by m2/dev

Lagrange multiplier CG7PXH5ZZ0

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

Mentions

wikipedia: Wikipedia List of convexity topics#CAEA, Lagrange multiplier (definition)

History

2026-11-02: add by m2/dev

Applications CG7SWWHRJW

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

Mentions

wikipedia: Wikipedia Secondary measure#3X3U, Applications (example)

History

2026-11-02: add by m2/dev

CG80VRGEK3 CG80VRGEK3

URI	`m2://inv/CG80VRGEK3`
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.04398#MUOX (statement). In DFZWC9HY0T/e1, lemma 3.1

History

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

Reynolds transport theorem CG82ZT9ZT7

URI	`m2://inv/CG82ZT9ZT7`
Kind	statement
Layer	textbook
MSC	76-XX
Sources	4
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q953062, Reynolds transport theorem (statement). Also Wikidata Q953062
thousand_plus: thousand_plus Q953062, Reynolds transport theorem (statement). Also Wikidata Q953062, Wikipedia Reynolds transport theorem
wikidata: Wikidata Q953062, Reynolds transport theorem (statement). Also MathWorld ReynoldsTransportTheorem
wikipedia: Wikipedia Reynolds transport theorem, Reynolds transport theorem (statement). Also Wikidata Q953062

History

2026-10-26: add by m2/dev

Examples CG89EZ8555

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

Mentions

wikipedia: Wikipedia Affine sphere#KQOE, Examples (example)

History

2026-11-02: add by m2/dev

Properties CG8D4XW51P

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

Mentions

wikipedia: Wikipedia Ford circle#NG5O, Properties (statement)

History

2026-11-02: add by m2/dev

Martingale central limit theorem CG8G93BVKB

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

Mentions

wikipedia: Wikipedia Martingale central limit theorem, Martingale central limit theorem (statement). Also Wikidata Q6777130

History

2026-11-02: add by m2/dev

Metropolis-adjusted Langevin algorithm CG8R3T9JBP

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

Mentions

wikipedia: Wikipedia Metropolis-adjusted Langevin algorithm, Metropolis-adjusted Langevin algorithm (definition). Also Wikidata Q22906891

History

2026-11-02: add by m2/dev

CG8WYEE1DA CG8WYEE1DA

URI	`m2://inv/CG8WYEE1DA`
Kind	definition
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.12857#35ZK (definition). In XJWQ6Y83F8/e1, definition 2.8

History

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

Real closed field CG9647ED32

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#N1Y3, Real closed field (topic)

History

2026-11-02: add by m2/dev

24-cell honeycomb CG96GRHNRY

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#BRIO, 24-cell honeycomb (object)
wikipedia: Wikipedia List of mathematical shapes#UTRV, 24-cell honeycomb (object)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#CFQ6, 24-cell honeycomb (object)

History

2026-11-02: add by m2/dev

CG97KA4ZG6 CG97KA4ZG6

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

Mentions

napkin: napkin tex/topology/top-more.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 101.9

History

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

CG9H7KFDWG CG9H7KFDWG

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

Mentions

applied_combinatorics: applied_combinatorics source/s_background_relations.ptx#example-1 (example). In QKM9DD2H56, example, section B.4

History

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

CG9J8JWAQ0 CG9J8JWAQ0

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

Mentions

arxiv: arXiv 2610.15593#CIKE (statement). In PREJREM4BB/e1, corollary 3.4

History

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

Dissoi logoi CG9JVKE5DF

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

Mentions

wikipedia: Wikipedia Dissoi logoi, Dissoi logoi (definition). Also Wikidata Q3710346

History

2026-11-02: add by m2/dev

Complex functions CG9KGEP4R2

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

Mentions

wikipedia: Wikipedia List of complex analysis topics#E4LI, Complex functions (topic)

History

2026-11-02: add by m2/dev

diagonalization CG9V550D1D

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

Mentions

wikipedia: Wikipedia Glossary of set theory#CIV9, diagonalization (definition)

History

2026-11-02: add by m2/dev

CG9WAF1GMC CG9WAF1GMC

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

Mentions

arxiv: arXiv 2610.07445#IHJK (statement). In F1BM3Q8125/e1, lemma 2.18

History

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

Michael M. Richter CGA1PGR7SV

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

Mentions

wikipedia: Wikipedia Michael M. Richter, Michael M. Richter (topic). Also Wikidata Q6832399

History

2026-11-02: add by m2/dev

CGA634SBWX CGA634SBWX

URI	`m2://inv/CGA634SBWX`
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.02174#1VCN (statement). In 7JPHSV4NXW/e1, lemma 3.1

History

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

CGA9C3K25D CGA9C3K25D

URI	`m2://inv/CGA9C3K25D`
Kind	definition
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#HF4R (definition)

History

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

CGACKB6569 CGACKB6569

URI	`m2://inv/CGACKB6569`
Kind	statement
Layer	research
MSC	16-XX, 26-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.13532#PZNW (statement). In 9B0X8YPF3P/e1, corollary 9.6

History

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

Examples CGAM7MDDCF

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

Mentions

wikipedia: Wikipedia Chirality (mathematics)#VUIY, Examples (example)

History

2026-11-02: add by m2/dev

Reduced Einstein equations CGAWQKD0GB

URI	`m2://inv/CGAWQKD0GB`
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.18219#YHX4, Reduced Einstein equations (statement). In X1AGBB90EH/e1, proposition 5.18

History

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

Categorical Completion $\mathbf{HK}$ CGB029BY5Q

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

Mentions

arxiv: arXiv 2610.03384#FLH6, Categorical Completion $\mathbf{HK}$ (definition). In J55JTTKG84/e1, definition 6.3

History

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

CGB3JQPGKZ CGB3JQPGKZ

URI	`m2://inv/CGB3JQPGKZ`
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#Z207 (statement). In KS30K5JXGB/e1, lemma B.7

History

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

Appeal to emotion CGB4NKP1R1

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

Mentions

wikipedia: Wikipedia List of fallacies#WGC2, Appeal to emotion (definition)

History

2026-11-02: add by m2/dev

CGB7QMW9B0 CGB7QMW9B0

URI	`m2://inv/CGB7QMW9B0`
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.16768#VQTI (statement). In 8FWK676AQX/e1, theorem 1

History

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

CGB7YDZGJX CGB7YDZGJX

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

Mentions

arxiv: arXiv 2609.25080#RBW0 (statement)

History

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

CGB8BADVWC CGB8BADVWC

URI	`m2://inv/CGB8BADVWC`
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.04355#AVCM (statement). In 99AHANMS2H/e1, proposition 5

History

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

CGBCVQ5SBF CGBCVQ5SBF

URI	`m2://inv/CGBCVQ5SBF`
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.16530#8HNB (statement). In G2BFEBAX2W/e1, corollary 1.3

History

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

True diversity CGBD8MKWQZ

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

Mentions

wikipedia: Wikipedia Diversity index#NT2L, True diversity (unknown)

History

2026-11-02: add by m2/dev

CGBDPDVET1 CGBDPDVET1

URI	`m2://inv/CGBDPDVET1`
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 Q47490726 (unknown). Also nLab Tai-Danae Bradley

History

2026-10-26: add by m2/dev

Variations CGBHXZVGBT

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

Mentions

wikipedia: Wikipedia Siamese method#D7Q8, Variations (statement)

History

2026-11-02: add by m2/dev

Formal definition CGBHYN976T

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

Mentions

wikipedia: Wikipedia Vertical and horizontal bundles#HN7O, Formal definition (definition)

History

2026-11-02: add by m2/dev

CGBQ5ER1W8 CGBQ5ER1W8

URI	`m2://inv/CGBQ5ER1W8`
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.31387#7XYZ (statement). In GBD60VB1JX/e1, lemma 8

History

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

CGBTSNN4N6 CGBTSNN4N6

URI	`m2://inv/CGBTSNN4N6`
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.22218#UES7 (statement). In 338GKREFVP/e1, theorem 15

History

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

CGBVDJ21Q7 CGBVDJ21Q7

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

Mentions

arxiv: arXiv 2609.20678#SOMY (definition)

History

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

Necessary and sufficient maximum principle CGC4GZ2K05

URI	`m2://inv/CGC4GZ2K05`
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.24185#S9T7, Necessary and sufficient maximum principle (statement)

History

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

CGC7DCBGCN CGC7DCBGCN

URI	`m2://inv/CGC7DCBGCN`
Kind	definition
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 1512.06981#QJJ2 (definition). In X923ZEY423/e1, definition 1.6.2

History

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

CGCM73JYPB CGCM73JYPB

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

Mentions

open_logic: open_logic content/first-order-logic/tableaux/soundness.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 22.15

History

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

CGCS98WHX8 CGCS98WHX8

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

Mentions

arxiv: arXiv 2610.10221#N562 (definition). In 9Z5M655EPV/e1, definition 2.10

History

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

CGCXX5GFP6 CGCXX5GFP6

URI	`m2://inv/CGCXX5GFP6`
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.32981#0N2F (statement). In AXDF7YN2RW/e1, theorem 3.1

History

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

Pure State Decay Projection Lemma CGD02G73S6

URI	`m2://inv/CGD02G73S6`
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.26769#NLAS, Pure State Decay Projection Lemma (statement)

History

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

Demand forecasting CGD60BHZN0

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

Mentions

wikipedia: Wikipedia Demand forecasting, Demand forecasting (definition). Also Wikidata Q3409300

History

2026-11-02: add by m2/dev

CGD64E6BN0 CGD64E6BN0

URI	`m2://inv/CGD64E6BN0`
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.22074#UE10 (statement). In F3BKXXPR3K/e1, lemma D.6

History

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

CGD8PVK205 CGD8PVK205

URI	`m2://inv/CGD8PVK205`
Kind	statement
Layer	research
MSC	05-XX, 51-XX, 52-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 2208.13855#6Y9Z (statement). In GJKRVZ5YN5/e1, lemma 14

History

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

CGDFM68EJX CGDFM68EJX

URI	`m2://inv/CGDFM68EJX`
Kind	statement
Layer	research
MSC	18-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.16241#66JT (statement). In WNDHZVY4WK/e1, proposition 4.5

History

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

trace identity CGDMFRC6R5

URI	`m2://inv/CGDMFRC6R5`
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.01731#NH3O, trace identity (statement). In 3TJ2FWXQ0D/e1, proposition 6.1

History

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

Spectral minimax CGDS3MJHES

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

Mentions

arxiv: arXiv 2609.38228#D97I, Spectral minimax (statement). In 9YAE8FNQST/e1, theorem 20.2

History

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

Multinomial coefficient CGDV7BT80D

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

Mentions

wikipedia: Wikipedia List of factorial and binomial topics#M7YL, Multinomial coefficient (statement)

History

2026-11-02: add by m2/dev

CGDW8YECM3 CGDW8YECM3

URI	`m2://inv/CGDW8YECM3`
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.13980#YGOE (statement). In 6DNZE6RT72/e1, corollary 5.4

History

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

Examples CGE0XE6MXR

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

Mentions

wikipedia: Wikipedia Self-similar solution#PV20, Examples (example)

History

2026-11-02: add by m2/dev

CGE1EPSVW2 CGE1EPSVW2

URI	`m2://inv/CGE1EPSVW2`
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 2210.16706#RSXZ (statement). In JSRVKPT87E/e1, theorem

History

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

Angkana Rüland CGE6VDBRG3

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

Mentions

wikipedia: Wikipedia Angkana Rüland, Angkana Rüland (topic). Also Wikidata Q102429549

History

2026-11-02: add by m2/dev

Arithmetic dynamics CGEN4Y78TP

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#E3C1, Arithmetic dynamics (topic)

History

2026-11-02: add by m2/dev

CGER3QAMZ0 CGER3QAMZ0

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

Mentions

arxiv: arXiv 2609.35605#QD92 (statement). In X1KWTAA3M2/e1, proposition 2.4

History

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

infix notation CGER5VA6MW

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

Mentions

hott_book: hott_book index/4.1/infix-notation, infix notation (concept). In N54F33XE07, index, section 4.1

History

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

Generalizations CGEYRK1781

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

Mentions

wikipedia: Wikipedia Hypohamiltonian graph#MQBF, Generalizations (statement)

History

2026-11-02: add by m2/dev

Prophet inequality CGEZQ9P856

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

Mentions

wikipedia: Wikipedia List of inequalities#MZOP, Prophet inequality (unknown)

History

2026-11-02: add by m2/dev

CGF0375899 CGF0375899

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

Mentions

arxiv: arXiv 2609.20119#H874 (definition)

History

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

Ariel Rubinstein CGF5NH6C3V

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#6I9R, Ariel Rubinstein (unknown)

History

2026-11-02: add by m2/dev

Logarithmic estimate from discrete Cauchy data CGFFN3SZ35

URI	`m2://inv/CGFFN3SZ35`
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.10484#4E4R, Logarithmic estimate from discrete Cauchy data (statement). In 5B4AX4SF88/e1, proposition 4.20

History

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

Special set CGFH49VDXS

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

Mentions

wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#8YNQ, Special set (definition)

History

2026-11-02: add by m2/dev

framed knot CGFKHVT5DN

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

Mentions

wikidata: Wikidata Q5477946, framed knot (unknown). Also MathWorld Frame

History

2026-10-26: add by m2/dev

Downscaling CGFM3SE6WC

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

Mentions

wikipedia: Wikipedia Downscaling, Downscaling (definition). Also Wikidata Q682831

History

2026-11-02: add by m2/dev

The object of measures CGFNZW7VRG

URI	`m2://inv/CGFNZW7VRG`
Kind	definition
Layer	research
MSC	18-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.26270#EHTR, The object of measures (definition)

History

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

Applications CGFQ6FPJ17

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

Mentions

wikipedia: Wikipedia Difference in differences#7SWY, Applications (example)

History

2026-11-02: add by m2/dev

CGFT506M0P CGFT506M0P

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

Mentions

arxiv: arXiv 2610.08288#L41N (statement). In CHVWYJM7RM/e1, corollary B.10

History

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

CGFW4719X9 CGFW4719X9

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

Mentions

austin_ula: austin_ula src/section2-3.xml#definition-1 (definition). In 649HGZKE96, definition, section 2.3.2

History

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

CGG1K3GQ84 CGG1K3GQ84

URI	`m2://inv/CGG1K3GQ84`
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 2101.07846#TDNA (statement). In 9XTXH6H1N7/e1, lemma 1

History

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

Stabilizer states reduce to product stabilizers CGG5S9BWPQ

URI	`m2://inv/CGG5S9BWPQ`
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.02166#QCBR, Stabilizer states reduce to product stabilizers (statement). In R6RF3P6D5A/e1, corollary 5.6

History

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

Rank-one extendability CGG75XE9JZ

URI	`m2://inv/CGG75XE9JZ`
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.17371#MN68, Rank-one extendability (statement). In FF92TNYHQR/e1, theorem 7

History

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

Timofei Osipovsky CGGAWTFSVC

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

Mentions

wikipedia: Wikipedia Timofei Osipovsky, Timofei Osipovsky (topic). Also Wikidata Q2564806

History

2026-11-02: add by m2/dev

Statement CGGDW59K07

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

Mentions

wikipedia: Wikipedia Area theorem (conformal mapping)#HHEW, Statement (statement)

History

2026-11-02: add by m2/dev

CGGTDXM968 CGGTDXM968

URI	`m2://inv/CGGTDXM968`
Kind	statement
Layer	research
MSC	16-XX, 18-XX, 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 2410.14097#4UAN (statement). In H52QQS8WZA/e1, theorem 9.2

History

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

Riemann invariant CGGVCRD1N6

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

Mentions

wikipedia: Wikipedia Riemann invariant, Riemann invariant (definition). Also Wikidata Q5987493

History

2026-11-02: add by m2/dev

CGGVQ0JGDY CGGVQ0JGDY

URI	`m2://inv/CGGVQ0JGDY`
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.37507#PMGI (statement). In 1ZXN3YQRE8/e1, theorem 1

History

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

Dror Bar-Natan CGGY49NW1Z

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#ZBJ5, Dror Bar-Natan (topic)

History

2026-11-02: add by m2/dev

Bernhard Neumann CGGZ8AEXMW

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#5WE5, Bernhard Neumann (topic)

History

2026-11-02: add by m2/dev

CGHAFSKVHF CGHAFSKVHF

URI	`m2://inv/CGHAFSKVHF`
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.20206#LED6 (statement)

History

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

CGHBVF07C5 CGHBVF07C5

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

Mentions

arxiv: arXiv 2609.28824#AACT (statement)

History

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

Design rule CGHC13K47B

URI	`m2://inv/CGHC13K47B`
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.22564#TPE4, Design rule (statement)

History

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

CGHD49H6N3 CGHD49H6N3

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-conc.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 3.6

History

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

Timelike sectional curvature bounds CGHGP0T0G2

URI	`m2://inv/CGHGP0T0G2`
Kind	definition
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 2610.10051#1PMI, Timelike sectional curvature bounds (definition). In VCHH2AC34R/e1, definition 2.1

History

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

Conway's 99-graph problem CGHKE2GGWT

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#HCBA, Conway's 99-graph problem (conjecture)

History

2026-11-02: add by m2/dev

basic hypergeometric series CGHMQ45K0H

URI	`m2://inv/CGHMQ45K0H`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Basic hypergeometric series EB4N9RQR51

Mentions

wikidata: Wikidata Q1062958, basic hypergeometric series (unknown). Also MathWorld q-HypergeometricFunction
wikipedia: Wikipedia Basic hypergeometric series, Basic hypergeometric series (definition). Also Wikidata Q1062958

History

2026-10-26: add by m2/dev

Aperiodic semigroup CGHMT99MW4

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

Mentions

wikipedia: Wikipedia Aperiodic semigroup, Aperiodic semigroup (definition). Also Wikidata Q4779367

History

2026-11-02: add by m2/dev

Basic properties CGHQVE4TFS

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

Mentions

wikipedia: Wikipedia Dehn function#YQV6, Basic properties (statement)

History

2026-11-02: add by m2/dev

Statement CGHR8HJ3XS

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

Mentions

wikipedia: Wikipedia Carathéodory–Jacobi–Lie theorem#C78G, Statement (statement)

History

2026-11-02: add by m2/dev

CGHYTAAJN7 CGHYTAAJN7

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

Mentions

arxiv: arXiv 2610.14055#703O (statement). In AKMGN13HE1/e1, lemma 3.1

History

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

Theorem CGHZC6RKXS

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

Mentions

wikipedia: Wikipedia Surjection of Fréchet spaces#I9TI, Theorem (statement)

History

2026-11-02: add by m2/dev

Definition CGJ038Y3TG

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

Mentions

wikipedia: Wikipedia Gower's distance#OK20, Definition (definition)

History

2026-11-02: add by m2/dev

Stochastic oracle CGJDD1ZB1Z

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

Mentions

arxiv: arXiv 2609.40338#2N5Y, Stochastic oracle (definition). In K5H6GS0SGQ/e1, definition 3.2

History

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

Eva Viehmann CGJF1GM66Q

URI	`m2://inv/CGJF1GM66Q`
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#QJ64, Eva Viehmann (topic)
wikipedia: Wikipedia List of German mathematicians#7T5Q, Eva Viehmann (topic)

History

2026-11-02: add by m2/dev

Deterministic rate CGJF9CGXDE

URI	`m2://inv/CGJF9CGXDE`
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.13773#MZIC, Deterministic rate (statement). In E75XQY0QFM/e1, theorem 4.4

History

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

CGJPVGD8FP CGJPVGD8FP

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#exercise-27 (exercise). In E59CDZA4DP, exercise, section 10.2.5

History

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

morphism CGJV6D7QA6

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

Mentions

wikipedia: Wikipedia Spectrum of a ring#8NTW, morphism (definition)

History

2026-11-02: add by m2/dev

Multiple-scale analysis CGJVDWBBHY

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#DRC7, Multiple-scale analysis (definition)

History

2026-11-02: add by m2/dev

CGJXBQNZ6K CGJXBQNZ6K

URI	`m2://inv/CGJXBQNZ6K`
Kind	definition
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.01858#SOWF (definition). In NXSV14WJKJ/e1, definition 3.2

History

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

Definition CGK1N1ZX24

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

Mentions

wikipedia: Wikipedia Vietoris–Rips filtration#1KZ0, Definition (definition)

History

2026-11-02: add by m2/dev

CGK3A8VZX1 CGK3A8VZX1

URI	`m2://inv/CGK3A8VZX1`
Kind	statement
Layer	research
MSC	11-XX, 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 2508.21045#0XFS (statement). In CGA36VE1C5/e1, fact 5.1.1

History

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

Algorithms CGK9DA6GCG

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

Mentions

wikipedia: Wikipedia Convex bipartite graph#BVFC, Algorithms (definition)

History

2026-11-02: add by m2/dev

Reduced defining equation CGKG6TP9CD

URI	`m2://inv/CGKG6TP9CD`
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.05652#7EPY, Reduced defining equation (definition). In 8BNPFYQDQX/e1, definition 2.2

History

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

Roman Mikhailov CGKKTE5NKN

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3NCT, Roman Mikhailov (unknown)

History

2026-11-02: add by m2/dev

SageMath CGKMVRS0NG

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#0214, SageMath (unknown)

History

2026-11-02: add by m2/dev

CGKSFNVTYQ CGKSFNVTYQ

URI	`m2://inv/CGKSFNVTYQ`
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#EHIF (definition)

History

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

Reduction to linear equilibrium pairs CGM3BGZ122

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

Mentions

arxiv: arXiv 2609.25915#X48H, Reduction to linear equilibrium pairs (statement)

History

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

CGM565Z0YX CGM565Z0YX

URI	`m2://inv/CGM565Z0YX`
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#EQU1 (statement). In 371P9QASSJ/e1, theorem 1.2

History

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

Definitions of guarded logic CGM999D354

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

Mentions

wikipedia: Wikipedia Guarded logic#DWE4, Definitions of guarded logic (definition)

History

2026-11-02: add by m2/dev

CGM9XAPC08 CGM9XAPC08

URI	`m2://inv/CGM9XAPC08`
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.29605#H567 (statement)

History

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

CGMB484SVW CGMB484SVW

URI	`m2://inv/CGMB484SVW`
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.15217#E120 (definition). In G70Q2FB591/e1, definition 2.23

History

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

CGMPEBMBY1 CGMPEBMBY1

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

Mentions

arxiv: arXiv 2609.32138#JPSW (example). In ZG0GNHTCWB/e1, example 6.3

History

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

Separating words problem CGMQNHWV16

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

Mentions

wikipedia: Wikipedia List of unsolved problems in computer science#MOPD, Separating words problem (conjecture)

History

2026-11-02: add by m2/dev

CGMYSZB9MQ CGMYSZB9MQ

URI	`m2://inv/CGMYSZB9MQ`
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.11905#UT7P (statement). In QQFXT31CA5/e1, proposition 9.1

History

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

CGN1DQ6MRA CGN1DQ6MRA

URI	`m2://inv/CGN1DQ6MRA`
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.35307#2KVQ (example). In FT5TKY10T8/e1, example 9.2

History

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

Universal Cover of $\Sn^1$ CGNCGPFSGJ

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

Mentions

hott_book: hott_book homotopy.tex#S1-universal-cover, Universal Cover of $\Sn^1$ (definition). In N54F33XE07, defn, section 7.1.3

History

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

CGNCXWJCV2 CGNCXWJCV2

URI	`m2://inv/CGNCXWJCV2`
Kind	definition
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.19288#KNDW (definition). In 1EA6AM9V01/e1, definition 1.9

History

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

CGNQBA15HC CGNQBA15HC

URI	`m2://inv/CGNQBA15HC`
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.11056#EJJ3 (statement). In 1NDB3SAG7K/e1, lemma 5.5

History

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

Gerhard Ringel CGNWKK8PVT

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

Mentions

wikipedia: Wikipedia Gerhard Ringel, Gerhard Ringel (topic). Also Wikidata Q113731

History

2026-11-02: add by m2/dev

cofinite topology CGNX9Z67M3

URI	`m2://inv/CGNX9Z67M3`
Kind	definition
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Cofinite topology 0B906ZBTMZ

Mentions

wikidata: Wikidata Q281212, cofinite topology (definition). Also MathWorld CofiniteTopology, nLab cofinite topology, ProofWiki Definition:Finite_Complement_Topology

History

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

CGNZSDJ4QP CGNZSDJ4QP

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

Mentions

open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 8.10

History

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

Snub hexahexagonal tiling CGNZV3QZJ1

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

Mentions

wikipedia: Wikipedia Snub hexahexagonal tiling, Snub hexahexagonal tiling (object). Also Wikidata Q17078285

History

2026-11-02: add by m2/dev

CGP3TWZZ89 CGP3TWZZ89

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

Mentions

arxiv: arXiv 2610.10902#SPJC (definition). In 96T1K6C3NZ/e1, definition 1

History

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

Exterior domains CGP48JTBWC

URI	`m2://inv/CGP48JTBWC`
Kind	problem
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.15086#BZNT, Exterior domains (problem). In V60MVF3KQ1/e1, problem 8.5

History

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

projective special linear group CGP5E9VFKM

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

Mentions

wikidata: Wikidata Q78498942, projective special linear group (unknown). Also MathWorld ProjectiveSpecialLinearGroup, nLab projective special linear group

History

2026-10-26: add by m2/dev

Theorem CGP66SB224

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

Mentions

wikipedia: Wikipedia Schur's lemma#66NI, Theorem (statement)

History

2026-11-02: add by m2/dev

Definition CGP6DFFS7Q

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

Mentions

wikipedia: Wikipedia Sasakian manifold#ZTOA, Definition (definition)

History

2026-11-02: add by m2/dev

Example CGP8ZBWG56

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

Mentions

wikipedia: Wikipedia Cartan subgroup#SA8Q, Example (example)

History

2026-11-02: add by m2/dev

Grothendieck construction CGPJTEWJ0B

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

Mentions

wikipedia: Wikipedia Glossary of category theory#3OHU, Grothendieck construction (definition)

History

2026-11-02: add by m2/dev

Derivation Homomorphism CGPP0N3965

URI	`m2://inv/CGPP0N3965`
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.26337#VVT8, Derivation Homomorphism (definition)

History

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

Properties CGPVKQ24NZ

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

Mentions

wikipedia: Wikipedia Vector projection#TU26, Properties (statement)

History

2026-11-02: add by m2/dev

CGPYVHESK9 CGPYVHESK9

URI	`m2://inv/CGPYVHESK9`
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.24078#ID0D (statement)

History

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

CGQ0YS8SAP CGQ0YS8SAP

URI	`m2://inv/CGQ0YS8SAP`
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.21692#V0MD (statement). In CT4N0JGDP4/e1, lemma 3.1

History

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

Formula and sequence CGQ8MQMMY7

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

Mentions

wikipedia: Wikipedia Lazy caterer's sequence#JJGJ, Formula and sequence (statement)

History

2026-11-02: add by m2/dev

CGQ941RSP0 CGQ941RSP0

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

Mentions

arxiv: arXiv 2610.01653#EKQE (statement). In WZMHJCQPB2/e1, theorem 3.7

History

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

orthogonal elements CGQAR537T7

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

Mentions

mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Orthogonality > orthogonal elements, orthogonal elements (unknown). Also Mathlib LinearMap.BilinForm.iIsOrtho

History

2026-10-26: add by m2/dev

Bias of an estimator CGQE65GKET

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

Mentions

wikipedia: Wikipedia List of statistics articles#NUZY, Bias of an estimator (definition)

History

2026-11-02: add by m2/dev

Hypatia of Alexandria CGQJ70R195

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

Mentions

wikipedia: Wikipedia List of geometers#QVUA, Hypatia of Alexandria (topic)

History

2026-11-02: add by m2/dev

Corollary CGR924Y11P

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

Mentions

wikipedia: Wikipedia Uniform boundedness principle#KLX8, Corollary (statement)

History

2026-11-02: add by m2/dev

Bondage number CGRCC3ZPPY

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

Mentions

wikipedia: Wikipedia Bondage number, Bondage number (definition). Also Wikidata Q18205611

History

2026-11-02: add by m2/dev

CGRFM0G8RN CGRFM0G8RN

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

Mentions

arxiv: arXiv 2609.38838#VX8Y (statement). In 3EH8M9GWTX/e1, theorem 3.6

History

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

CGRGMD8G7K CGRGMD8G7K

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

Mentions

arxiv: arXiv 2610.11785#SQJZ (statement). In 2XSZDXZ52E/e1, corollary 1.4

History

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

Gaussian splatting CGRH9Q5QCM

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#3UR1, Gaussian splatting (unknown)

History

2026-11-02: add by m2/dev

Efron's dice CGRMK0WY77

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

Mentions

wikipedia: Wikipedia Intransitive dice#Y90L, Efron's dice (unknown)

History

2026-11-02: add by m2/dev

CGRP8GTJWH CGRP8GTJWH

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

Mentions

arxiv: arXiv 2609.26269#TOBD (problem)

History

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

Example 1 CGRXQYNSR8

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

Mentions

wikipedia: Wikipedia Spiral#XZZS, Example 1 (example)

History

2026-11-02: add by m2/dev

CGRYCDM60N CGRYCDM60N

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-315 (exercise). In VNMV985MXX, exercise, section 6.8

History

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

CGS226H01M CGS226H01M

URI	`m2://inv/CGS226H01M`
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.26134#F96I (statement)

History

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

CGS7JE92PA CGS7JE92PA

URI	`m2://inv/CGS7JE92PA`
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#YXVU (statement). In 5E9G06XJKC/e1, lemma G.33

History

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

CGSFTXPPZ2 CGSFTXPPZ2

URI	`m2://inv/CGSFTXPPZ2`
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.39539#KE3R (statement). In GVR218P3ZR/e1, proposition 2.4.2

History

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

CGSH1ETYYM CGSH1ETYYM

URI	`m2://inv/CGSH1ETYYM`
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.29878#HRCG (statement)

History

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

CGSJEG1NSX CGSJEG1NSX

URI	`m2://inv/CGSJEG1NSX`
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.01968#ODXH (statement). In 9QE553Z0J5/e1, lemma 2.2

History

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

Biometrika CGSPJRTYD5

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

Mentions

wikipedia: Wikipedia Biometrika, Biometrika (definition). Also Wikidata Q864602

History

2026-11-02: add by m2/dev

Inverse kinematics CGSVK6ERDF

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

Mentions

wikipedia: Wikipedia Inverse kinematics, Inverse kinematics (definition). Also Wikidata Q1501872

History

2026-11-02: add by m2/dev

CGSXNEVR00 CGSXNEVR00

URI	`m2://inv/CGSXNEVR00`
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 0806.0033#WQUP (statement). In RV34HVZMB3/e1, proposition 1

History

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

Jeff Malpas CGT0VAK27B

URI	`m2://inv/CGT0VAK27B`
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 Q6174422, Jeff Malpas (unknown). Also nLab Jeff Malpas

History

2026-10-26: add by m2/dev

CGT0W7WCSB CGT0W7WCSB

URI	`m2://inv/CGT0W7WCSB`
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.15744#3XN3 (statement). In NV3PBZGBB7/e1, theorem 3.4

History

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

Factorial moment generating function CGT6RE4E32

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

Mentions

wikipedia: Wikipedia Factorial moment generating function, Factorial moment generating function (definition). Also Wikidata Q5428741

History

2026-11-02: add by m2/dev

SPSS Modeler CGT8B19W78

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

Mentions

wikipedia: Wikipedia List of statistical software#DCJR, SPSS Modeler (definition)

History

2026-11-02: add by m2/dev

Free module CGTBQYH8GZ

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#ULDC, Free module (definition)

History

2026-11-02: add by m2/dev

CGTDDVJKM0 CGTDDVJKM0

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

History

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

Witt group CGTJGBGVDF

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

Mentions

wikipedia: Wikipedia Witt group, Witt group (definition). Also Wikidata Q3117708

History

2026-11-02: add by m2/dev

CGTQ2KF1FR CGTQ2KF1FR

URI	`m2://inv/CGTQ2KF1FR`
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.08193#R4XO (statement). In 8XAKGH8S2D/e1, theorem D

History

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

Shoshichi Kobayashi CGTSDZHS4D

URI	`m2://inv/CGTSDZHS4D`
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 Q930319, Shoshichi Kobayashi (unknown). Also nLab Shoshichi Kobayashi
wikipedia: Wikipedia Shoshichi Kobayashi, Shoshichi Kobayashi (topic). Also Wikidata Q930319

History

2026-10-26: add by m2/dev

CGV8D9HFCC CGV8D9HFCC

URI	`m2://inv/CGV8D9HFCC`
Kind	problem
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 2607.28337#2SGH (problem). In 7ZJFWBTBKM/e1, problem 2

History

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

CGVBBBKPGQ CGVBBBKPGQ

URI	`m2://inv/CGVBBBKPGQ`
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.38548#R2KK (statement). In Z7ZFV3HM1S/e1, proposition 5.10

History

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

CGVDYADJJW CGVDYADJJW

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

Mentions

open_logic: open_logic content/lambda-calculus/lambda-definability/introduction.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 37.10

History

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

CGVNAF2ZCE CGVNAF2ZCE

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

Mentions

arxiv: arXiv 2610.00856#PJ7T (statement). In W6VHD4QBY4/e1, corollary 2.4

History

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

Applications CGVTHTQ8TY

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

Mentions

wikipedia: Wikipedia Direct stiffness method#9QJN, Applications (example)

History

2026-11-02: add by m2/dev

Monge's theorem CGVV80PBKQ

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

Mentions

mathlib_1000: mathlib_1000 Q2981012, Monge's theorem (statement). Also Wikidata Q2981012
thousand_plus: thousand_plus Q2981012, Monge's theorem (statement). Also Wikidata Q2981012, Wikipedia Monge's theorem
wikidata: Wikidata Q2981012, Monge's theorem (statement). Also MathWorld MongesCircleTheorem
wikipedia: Wikipedia Monge's theorem, Monge's theorem (statement). Also Wikidata Q2981012

History

2026-10-26: add by m2/dev

Why the case-(C) range resists elementary factorisation CGVW9JSR86

URI	`m2://inv/CGVW9JSR86`
Kind	statement
Layer	research
MSC	11-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 2610.04099#E6IT, Why the case-(C) range resists elementary factorisation (statement). In QPJ6FWG5HD/e1, proposition 2.47

History

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

CGVWHM32TH CGVWHM32TH

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

Mentions

arxiv: arXiv 2610.04323#634G (statement). In 3Z0D2NCJ0B/e1, lemma 24

History

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

Bidirectional search CGVXE407Y0

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

Mentions

wikipedia: Wikipedia List of algorithms#IQ06, Bidirectional search (definition)

History

2026-11-02: add by m2/dev

Lower bound on the number of rounds CGW2CJ0HJX

URI	`m2://inv/CGW2CJ0HJX`
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.12641#7J0D, Lower bound on the number of rounds (statement). In X5BYGZZHPF/e1, corollary J.13

History

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

Properties CGW3G3YMMY

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

Mentions

wikipedia: Wikipedia Complement (set theory)#3NFA, Properties (statement)

History

2026-11-02: add by m2/dev

Adolf Piltz CGWAFY014G

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

Mentions

wikipedia: Wikipedia Adolf Piltz, Adolf Piltz (topic). Also Wikidata Q73685

History

2026-11-02: add by m2/dev

CGWBEC9T2W CGWBEC9T2W

URI	`m2://inv/CGWBEC9T2W`
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 2504.19468#SEBV (statement). In EY54F2SX08/e1, theorem 5.5

History

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

CGWC7430NG CGWC7430NG

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

Mentions

arxiv: arXiv 2610.11336#SROP (statement). In X1R1GDAJ0Y/e1, lemma 1.1

History

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

Logics for computability CGWDCMTKY1

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

Mentions

wikipedia: Wikipedia Logics for computability, Logics for computability (definition). Also Wikidata Q17141220

History

2026-11-02: add by m2/dev

Generalizations CGWPRRQ99P

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

Mentions

wikipedia: Wikipedia Catalan number#P1B3, Generalizations (statement)

History

2026-11-02: add by m2/dev

Definition CGWY0MWJ5R

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

Mentions

wikipedia: Wikipedia Countable set#FTQN, Definition (definition)

History

2026-11-02: add by m2/dev

CGWZ7BSBQT CGWZ7BSBQT

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-conc.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 5.7

History

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

Examples CGX465R673

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

Mentions

wikipedia: Wikipedia Homotopy#JBDK, Examples (example)

History

2026-11-02: add by m2/dev

CGXEQMKPQ0 CGXEQMKPQ0

URI	`m2://inv/CGXEQMKPQ0`
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.20783#7LAP (statement)

History

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

CGXPY6PQ3T CGXPY6PQ3T

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

Mentions

arxiv: arXiv 2610.16606#II4F (statement). In A798V7TX99/e1, proposition 5.25

History

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

\myindex{Cousin I} CGY132Q3BA

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

Mentions

lebl_scv: lebl_scv scv.tex#defn-21, \myindex{Cousin I} (definition). In VNMV985MXX, defn, section 4.6

History

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

CGYCFHMKMV CGYCFHMKMV

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

Mentions

hott_book: hott_book reals.tex#proof-18 (proof). In N54F33XE07, proof, section B.3.2

History

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

Abelian monoid CGYENGZYXT

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

Mentions

wikipedia: Wikipedia Monoid#2JOX, Abelian monoid (unknown)

History

2026-11-02: add by m2/dev

Second-order expansion, $N=1$ CGYF5V426H

URI	`m2://inv/CGYF5V426H`
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.15086#A77E, Second-order expansion, $N=1$ (statement). In V60MVF3KQ1/e1, theorem 1.7

History

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

An alternative definition CGYJDRX1HR

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

Mentions

wikipedia: Wikipedia Grünwald–Letnikov derivative#NNEH, An alternative definition (definition)

History

2026-11-02: add by m2/dev

characteristic zero CGYM6YH5NA

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

Mentions

mathlib_overview: mathlib_overview General algebra > Field theory > characteristic zero, characteristic zero (unknown). Also Mathlib CharZero
mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > characteristic zero, characteristic zero (unknown). Also Mathlib CharZero

History

2026-10-26: add by m2/dev

Joseph J. Spengler CGYP6YM9AN

URI	`m2://inv/CGYP6YM9AN`
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#8DBH, Joseph J. Spengler (unknown)

History

2026-11-02: add by m2/dev

Bootstrap error-adjusted single-sample technique CGYRBYDBZB

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

Mentions

wikipedia: Wikipedia Bootstrap error-adjusted single-sample technique, Bootstrap error-adjusted single-sample technique (definition). Also Wikidata Q4944078

History

2026-11-02: add by m2/dev

Lemma 2 CGYWFJ9NPV

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

Mentions

wikipedia: Wikipedia Fejér's theorem#OZEL, Lemma 2 (statement)

History

2026-11-02: add by m2/dev

Harsanyi dividend CGYY0N0EFW

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

Mentions

wikipedia: Wikipedia Cooperative game theory#IVC5, Harsanyi dividend (unknown)

History

2026-11-02: add by m2/dev

CGZ10ZEXY3 CGZ10ZEXY3

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

Mentions

open_logic: open_logic content/lambda-calculus/introduction/computable-lambda.tex#thm:computable-lambda (statement). In PKGMM3P5QY, thm, section 36.7

History

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

Stabilizer subgroup CGZ2Y0E597

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

Mentions

wikipedia: Wikipedia List of group theory topics#R9PP, Stabilizer subgroup (definition)

History

2026-11-02: add by m2/dev

568 (number) CGZ3CSQB43

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

Mentions

wikipedia: Wikipedia 500 (number)#I46P, 568 (number) (unknown)

History

2026-11-02: add by m2/dev

Fan chart CGZMF18HZ6

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

Mentions

wikipedia: Wikipedia List of graphical methods#XSW0, Fan chart (definition)

History

2026-11-02: add by m2/dev

Oliver Heaviside CGZV2QJ91K

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

Mentions

wikipedia: Wikipedia Oliver Heaviside, Oliver Heaviside (topic). Also Wikidata Q154345

History

2026-11-02: add by m2/dev

Level set CGZYCCZ8WQ

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

Mentions

wikipedia: Wikipedia List of multivariable calculus topics#JDEZ, Level set (definition)

History

2026-11-02: add by m2/dev

Bhargava cube CGZYQN5DBA

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

Mentions

wikipedia: Wikipedia Bhargava cube, Bhargava cube (definition). Also Wikidata Q21062147

History

2026-11-02: add by m2/dev

CGZZPMY7FQ CGZZPMY7FQ

URI	`m2://inv/CGZZPMY7FQ`
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.05784#AJ02 (definition). In 6NVP3YRWVA/e1, definition 2.4

History

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