Inventory rows 3K

Romanas Plečkaitis 3K04F6KM4W

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

Mentions

wikipedia: Wikipedia Romanas Plečkaitis, Romanas Plečkaitis (topic). Also Wikidata Q7362371

History

2026-11-02: add by m2/dev

Pavel Axelrod 3K07F79PAZ

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#MEMV, Pavel Axelrod (unknown)

History

2026-11-02: add by m2/dev

Applications 3K08NYS48F

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

Mentions

wikipedia: Wikipedia Conditional event algebra#SMAJ, Applications (example)

History

2026-11-02: add by m2/dev

3K0DZGZC6M 3K0DZGZC6M

URI	`m2://inv/3K0DZGZC6M`
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.11210#8ORM (statement). In CRFDGFZHBF/e1, lemma 3.8

History

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

Examples 3K0K3YXPSC

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

Mentions

wikipedia: Wikipedia Programming with Big Data in R#8WN6, Examples (example)

History

2026-11-02: add by m2/dev

Conjugate of the cost-constraint indicator 3K0SH1HTK6

URI	`m2://inv/3K0SH1HTK6`
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.01855#ANOU, Conjugate of the cost-constraint indicator (statement). In MM8P5CJR18/e1, proposition C.11

History

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

3K0T5DBJM5 3K0T5DBJM5

URI	`m2://inv/3K0T5DBJM5`
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.16700#3WER (statement). In 3JPKD7NBEN/e1, lemma 4.7

History

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

3K0Z0T1Y9W 3K0Z0T1Y9W

URI	`m2://inv/3K0Z0T1Y9W`
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 2212.06621#7D50 (statement). In DB223AABTH/e1, proposition 5.2

History

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

3K0ZW5SG15 3K0ZW5SG15

URI	`m2://inv/3K0ZW5SG15`
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 2609.36884#6MUA (statement). In Z7E16PFFCP/e1, lemma 4.4

History

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

3K126W8G4K 3K126W8G4K

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

Mentions

arxiv: arXiv 2610.10511#K2RR (statement). In BTX64QG716/e1, theorem 1.1

History

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

3K1FKH61ZJ 3K1FKH61ZJ

URI	`m2://inv/3K1FKH61ZJ`
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 1903.07030#S2Z2 (definition). In 9H45HQE7AZ/e1, definition 2.28

History

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

Flip--shuffle realization 3K1FXJ3S18

URI	`m2://inv/3K1FXJ3S18`
Kind	statement
Layer	research
MSC	20-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.07293#IRYV, Flip--shuffle realization (statement). In V1GVYM0WQG/e1, corollary 4.7

History

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

Olive Jean Dunn 3K1H6C4SA7

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

Mentions

wikipedia: Wikipedia Olive Jean Dunn, Olive Jean Dunn (topic). Also Wikidata Q23585442

History

2026-11-02: add by m2/dev

3K1NWVY5T5 3K1NWVY5T5

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

Mentions

arxiv: arXiv 2609.21052#GQBL (statement)

History

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

Social statistics 3K1TFC5GBH

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

Mentions

wikipedia: Wikipedia List of fields of application of statistics#NH9R, Social statistics (definition)

History

2026-11-02: add by m2/dev

Catherine A. Roberts 3K1V34P3HD

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

Mentions

wikipedia: Wikipedia Catherine A. Roberts, Catherine A. Roberts (topic). Also Wikidata Q29452974

History

2026-11-02: add by m2/dev

Hartley function 3K21Y9XWCD

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

Mentions

wikipedia: Wikipedia Hartley function, Hartley function (definition). Also Wikidata Q3055336

History

2026-11-02: add by m2/dev

Cantor set 3K282K6SMP

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

Mentions

wikipedia: Wikipedia List of general topology topics#ZOJJ, Cantor set (definition)

History

2026-11-02: add by m2/dev

3K29QP0SS9 3K29QP0SS9

URI	`m2://inv/3K29QP0SS9`
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.00247#US6B (statement). In ZAM4S2XS9F/e1, lemma 6.2

History

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

3K2GMYNYG2 3K2GMYNYG2

URI	`m2://inv/3K2GMYNYG2`
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#2522 (statement)

History

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

Use 3K2HGKG6R6

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

Mentions

wikipedia: Wikipedia Blocking (statistics)#VN65, Use (example)

History

2026-11-02: add by m2/dev

3K2MPXXZJ6 3K2MPXXZJ6

URI	`m2://inv/3K2MPXXZJ6`
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.32033#BRNU (statement). In 17W5G060QX/e1, proposition 5.3

History

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

Polyak inequality 3K39VP3MHE

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

Mentions

wikipedia: Wikipedia Łojasiewicz inequality#93AP, Polyak inequality (statement)

History

2026-11-02: add by m2/dev

Passa Sete 3K3H1Z0K8C

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

Mentions

wikipedia: Wikipedia List of places with numeric names#K1U2, Passa Sete (unknown)

History

2026-11-02: add by m2/dev

Block matrix 3K3P59EJM1

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

Mentions

wikipedia: Wikipedia List of partition topics#4Z17, Block matrix (definition)

History

2026-11-02: add by m2/dev

3K3QGK2D05 3K3QGK2D05

URI	`m2://inv/3K3QGK2D05`
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.17940#KAT1 (statement). In MMW4J61SKS/e1, theorem 2

History

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

Definition and properties 3K3YRF008K

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

Mentions

wikipedia: Wikipedia Self number#NMFN, Definition and properties (definition)

History

2026-11-02: add by m2/dev

Swedish census 3K3ZNR3PAF

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

Mentions

wikipedia: Wikipedia Population and housing censuses by country#HCMW, Swedish census (unknown)

History

2026-11-02: add by m2/dev

homotopy, (pre)category of types 3K406SFB0H

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

Mentions

hott_book: hott_book index/2.9/homotopy-pre-category-of-types, homotopy, (pre)category of types (concept). In N54F33XE07, index, section 2.9

History

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

Euclid's Elements 3K46HYKVA2

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

Mentions

wikipedia: Wikipedia List of incomplete proofs#OSF5, Euclid's Elements (definition)

History

2026-11-02: add by m2/dev

Jeff Ulbrich 3K4F0G7BAK

URI	`m2://inv/3K4F0G7BAK`
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#1N0Z, Jeff Ulbrich (unknown)

History

2026-11-02: add by m2/dev

3K4MAD6JJ7 3K4MAD6JJ7

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

Mentions

arxiv: arXiv 2609.39659#ZTYU (statement). In BGVX27ZP22/e1, corollary 2.3

History

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

3K55XAEG9N 3K55XAEG9N

URI	`m2://inv/3K55XAEG9N`
Kind	statement
Layer	research
MSC	05-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.14502#QEKB (statement). In 6BVBMTYXNZ/e1, lemma 5.7

History

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

Slavik Vlado Jablan 3K58G3T0NH

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

Mentions

wikipedia: Wikipedia Slavik Vlado Jablan, Slavik Vlado Jablan (topic). Also Wikidata Q89187875

History

2026-11-02: add by m2/dev

Jones' traveling salesman theorem in R2 3K5FZR8TK6

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

Mentions

wikipedia: Wikipedia Analyst's traveling salesman theorem#PMGG, Jones' traveling salesman theorem in R2 (statement)

History

2026-11-02: add by m2/dev

Statement 3K5G5JKPZN

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

Mentions

wikipedia: Wikipedia Block-stacking problem#4C7Z, Statement (statement)

History

2026-11-02: add by m2/dev

3K5MSXPY62 3K5MSXPY62

URI	`m2://inv/3K5MSXPY62`
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.06529#LX2S (statement). In JFQY4CYHKP/e1, proposition 2.5

History

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

3K5V4ABXRC 3K5V4ABXRC

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

Mentions

napkin: napkin tex/linalg/vector-space.tex#example-5 (example). In RZP28ERRZV, example, section 62.2

History

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

trope 3K5X7XBZ9E

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#2RF9, trope (definition)

History

2026-11-02: add by m2/dev

Principle 3K5Z23F5XS

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

Mentions

wikipedia: Wikipedia Waveguide (radio frequency)#AGW2, Principle (statement)

History

2026-11-02: add by m2/dev

Anytime interval and positive-tolerance termination 3K60ZGQ1HS

URI	`m2://inv/3K60ZGQ1HS`
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.10408#AANE, Anytime interval and positive-tolerance termination (statement). In H976NYKBNT/e1, theorem 24

History

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

3K62HBMT9P 3K62HBMT9P

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

Mentions

napkin: napkin tex/calculus/limits.tex#problem-5 (exercise). In RZP28ERRZV, problem, section 32.8

History

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

3K6420ZVFV 3K6420ZVFV

URI	`m2://inv/3K6420ZVFV`
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#TLEE (statement)

History

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

separation axiom 3K64H96V9J

URI	`m2://inv/3K64H96V9J`
Kind	statement
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Separation axioms 04J4BYB0XE

Mentions

wikidata: Wikidata Q1140985, separation axiom (unknown). Also MathWorld SeparationAxioms, nLab separation axioms
wikipedia: Wikipedia Separation axiom, Separation axiom (statement). Also Wikidata Q1140985

History

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

3K69PEPZCK 3K69PEPZCK

URI	`m2://inv/3K69PEPZCK`
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.06876#JQPM (statement). In BPCHEMS4RK/e1, lemma 4.1

History

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

Mainstreet Research 3K6DJ2YY28

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

Mentions

wikipedia: Wikipedia List of polling organizations#W9D1, Mainstreet Research (unknown)

History

2026-11-02: add by m2/dev

Freedman's paradox 3K6EW40AH3

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

Mentions

wikipedia: Wikipedia List of statistics articles#X6CF, Freedman's paradox (statement)

History

2026-11-02: add by m2/dev

First-order syntactical anti-unification 3K6FAYG2PA

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

Mentions

wikipedia: Wikipedia Anti-unification#NCUI, First-order syntactical anti-unification (unknown)

History

2026-11-02: add by m2/dev

3K6NVNJPGY 3K6NVNJPGY

URI	`m2://inv/3K6NVNJPGY`
Kind	statement
Layer	research
MSC	26-XX, 35-XX, 46-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.12430#TPR4 (statement). In VGKCBWQ65N/e1, lemma 2.6

History

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

3K6PZ6BQ83 3K6PZ6BQ83

URI	`m2://inv/3K6PZ6BQ83`
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.32174#XKGK (statement). In GHKR740SG3/e1, theorem

History

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

3K6SCW91KM 3K6SCW91KM

URI	`m2://inv/3K6SCW91KM`
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 2609.33771#Q8AB (definition). In ZXQA7QH0H0/e1, definition 3.2

History

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

3K6TH74WS0 3K6TH74WS0

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

Mentions

arxiv: arXiv 2610.05179#A2AI (statement). In 9EMCPF1F2T/e1, theorem 37

History

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

3K6ZR819HN 3K6ZR819HN

URI	`m2://inv/3K6ZR819HN`
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.20944#66BY (statement). In DRRKZR6CQC/e1, corollary 4

History

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

3K73A6Q9E8 3K73A6Q9E8

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

Mentions

napkin: napkin tex/measure/martingale.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 66.5

History

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

3K750KB2ZA 3K750KB2ZA

URI	`m2://inv/3K750KB2ZA`
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.31242#ZG9S (statement). In 3NPRR9546C/e1, theorem 1.5

History

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

Temporal planning 3K79MP89JK

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

Mentions

wikipedia: Wikipedia Automated planning and scheduling#D3UE, Temporal planning (unknown)

History

2026-11-02: add by m2/dev

Star 3K7G6X3858

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

Mentions

wikipedia: Wikipedia Star (game theory), Star (definition). Also Wikidata Q7600592

History

2026-11-02: add by m2/dev

Eisenstein primes in arithmetic progressions (see 3K7GMA29TM

URI	`m2://inv/3K7GMA29TM`
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.01273#NY2H, Eisenstein primes in arithmetic progressions (see (statement). In RAT41DDR51/e1, theorem 2.7

History

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

Karl W. Gruenberg 3K7JHRGZBP

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

Mentions

wikipedia: Wikipedia Karl W. Gruenberg, Karl W. Gruenberg (topic). Also Wikidata Q1731328

History

2026-11-02: add by m2/dev

3K7K2YWJ6D 3K7K2YWJ6D

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

Mentions

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

History

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

Southern Hemisphere 3K7PS7EB7M

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

Mentions

wikidata: Wikidata Q41228, Southern Hemisphere (definition). Also ProofWiki Definition:Southern_Hemisphere

History

2026-10-26: add by m2/dev

anticommutators bound traces 3K7RY56FTF

URI	`m2://inv/3K7RY56FTF`
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.20775#QZWS, anticommutators bound traces (statement). In XG27B81T0G/e1, lemma 7.2

History

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

3K7TT1226Q 3K7TT1226Q

URI	`m2://inv/3K7TT1226Q`
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#PGY4 (statement). In PRVQPSBVHK/e1, corollary 6

History

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

Semiautomaton 3K7W110MMX

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

Mentions

wikipedia: Wikipedia Semiautomaton, Semiautomaton (definition). Also Wikidata Q7449364

History

2026-11-02: add by m2/dev

Basis function 3K7W13XKPX

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

Mentions

wikipedia: Wikipedia Basis function, Basis function (definition). Also Wikidata Q2621825

History

2026-11-02: add by m2/dev

3K7XKXTMK8 3K7XKXTMK8

URI	`m2://inv/3K7XKXTMK8`
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.03288#ANYU (definition). In ZHP1MFSACN/e1, definition 6.4

History

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

Base-row realization and counterexamples 3K81GVC3RE

URI	`m2://inv/3K81GVC3RE`
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 2610.00115#6QYE, Base-row realization and counterexamples (statement). In JK8PYKCZRA/e1, theorem 1.2

History

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

Linear discriminant analysis 3K83A3DP45

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

Mentions

wikipedia: Wikipedia Linear discriminant analysis, Linear discriminant analysis (definition). Also Wikidata Q1228929

History

2026-11-02: add by m2/dev

3K85JKQAD7 3K85JKQAD7

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

Mentions

open_logic: open_logic content/normal-modal-logic/frame-definability/second-order-definability.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 53.4

History

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

Ramiro Rampinelli 3K85Y2KS2F

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#9NC7, Ramiro Rampinelli (topic)

History

2026-11-02: add by m2/dev

Upper bound 3K8DHCS7TC

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

Mentions

arxiv: arXiv 2609.21937#ZMHG, Upper bound (statement)

History

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

Verlet integration 3K8N181HQP

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

Mentions

wikipedia: Wikipedia Verlet integration, Verlet integration (definition). Also Wikidata Q2984997

History

2026-11-02: add by m2/dev

Examples 3K8QCPRXF6

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

Mentions

wikipedia: Wikipedia NL-complete#IWQ3, Examples (example)

History

2026-11-02: add by m2/dev

TeXnicCenter 3K8YX2NNPF

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

Mentions

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

History

2026-11-02: add by m2/dev

3K91HJ1X00 3K91HJ1X00

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

Mentions

napkin: napkin tex/calculus/limits.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 32.6

History

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

Boundaries to the theorem 3K9386C82R

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

Mentions

wikipedia: Wikipedia Theorem on friends and strangers#WWI3, Boundaries to the theorem (statement)

History

2026-11-02: add by m2/dev

Generalizations 3K99PEYG3Y

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

Mentions

wikipedia: Wikipedia Independent and identically distributed random variables#2FE7, Generalizations (statement)

History

2026-11-02: add by m2/dev

Coherence (philosophical gambling strategy) 3K9BW74K2B

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

Mentions

wikipedia: Wikipedia List of probability topics#9ZPO, Coherence (philosophical gambling strategy) (definition)
wikipedia: Wikipedia List of probability topics#Y36V, Coherence (philosophical gambling strategy) (definition)

History

2026-11-02: add by m2/dev

Charles Étienne Louis Camus 3K9D1M1TMD

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

Mentions

wikipedia: Wikipedia Charles Étienne Louis Camus, Charles Étienne Louis Camus (topic). Also Wikidata Q1231575

History

2026-11-02: add by m2/dev

Properties 3K9FZ1C830

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

Mentions

wikipedia: Wikipedia Scalar projection#ZF6W, Properties (statement)

History

2026-11-02: add by m2/dev

ratio test 3K9HKFT33G

URI	`m2://inv/3K9HKFT33G`
Kind	concept
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Ratio test 0QNY6ZBXPN

Mentions

wikidata: Wikidata Q165638, ratio test (concept). Also MathWorld RatioTest, ProofWiki Ratio_Test
wikipedia: Wikipedia Ratio test, Ratio test (definition). Also Wikidata Q165638

History

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

Theorem 3K9N5965NH

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

Mentions

wikipedia: Wikipedia Locally convex topological vector space#YNMQ, Theorem (statement)

History

2026-11-02: add by m2/dev

3K9P27TYC9 3K9P27TYC9

URI	`m2://inv/3K9P27TYC9`
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#TVVJ (statement). In 371P9QASSJ/e1, lemma 7.4

History

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

3K9SGVD5G0 3K9SGVD5G0

URI	`m2://inv/3K9SGVD5G0`
Kind	example
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.25431#QM7R (example)

History

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

3KA1PSEEPN 3KA1PSEEPN

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

Mentions

arxiv: arXiv 2604.11825#PZMM (definition). In 6H76S52BG7/e1, definition 4.1

History

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

3KA6D0PR70 3KA6D0PR70

URI	`m2://inv/3KA6D0PR70`
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#9K81 (statement). In GVR218P3ZR/e1, lemma 10.0.1

History

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

Three Legs Town, Ohio 3KA7TSPFX7

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

Mentions

wikipedia: Wikipedia List of places with numeric names#SV50, Three Legs Town, Ohio (unknown)

History

2026-11-02: add by m2/dev

Communication Theory of Secrecy Systems 3KA9RPNSB9

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

Mentions

wikipedia: Wikipedia Communication Theory of Secrecy Systems, Communication Theory of Secrecy Systems (definition). Also Wikidata Q1053345

History

2026-11-02: add by m2/dev

Examples 3KA9SG1ZJ1

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

Mentions

wikipedia: Wikipedia External validity#ZWHX, Examples (example)

History

2026-11-02: add by m2/dev

The theorem 3KABWWPM2E

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

Mentions

wikipedia: Wikipedia Approximately finite-dimensional C*-algebra#XXC4, The theorem (statement)

History

2026-11-02: add by m2/dev

3KAD6B2VWQ 3KAD6B2VWQ

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

Mentions

arxiv: arXiv 2604.10080#GRYS (statement). In KM2FWKP93A/e1, theorem 6.5

History

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

Existence of the finite-width $\phi^4_2$ measure 3KAJ04JGZ9

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

Mentions

arxiv: arXiv 2610.00453#KRJY, Existence of the finite-width $\phi^4_2$ measure (statement). In ESPJMBH2R2/e1, theorem 6.6

History

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

Truth-preserving: no 3KAPPA195H

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

Mentions

wikipedia: Wikipedia Exclusive or#8RB2, Truth-preserving: no (definition)

History

2026-11-02: add by m2/dev

3KAR0XCSVP 3KAR0XCSVP

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-99 (exercise). In E9HS8K3A52, exercise, section 10.9.1

History

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

3KATK0GX92 3KATK0GX92

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

Mentions

arxiv: arXiv 2610.02983#VL6T (statement). In HMNKENER22/e1, lemma 7.1

History

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

Kan 3KB4ANQXDY

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

Mentions

wikipedia: Wikipedia Glossary of category theory#S6EQ, Kan (definition)

History

2026-11-02: add by m2/dev

Frobenius element 3KB4VXNJ5J

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

Mentions

wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#CYGH, Frobenius element (definition)

History

2026-11-02: add by m2/dev

$T$ counting operator 3KB7N77SHE

URI	`m2://inv/3KB7N77SHE`
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 1806.05002#MDNG, $T$ counting operator (definition). In JBAQ7DTW7B/e1, definition 4.1

History

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

Dodge, Harold F. 3KB93V47XX

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

Mentions

wikipedia: Wikipedia List of statisticians#9O6M, Dodge, Harold F. (topic)

History

2026-11-02: add by m2/dev

3KBEDCXCDW 3KBEDCXCDW

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/PowerSets.tex#definition-1 (definition). In P1C114YBXG, definition, section G

History

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

Zero–one law 3KBV5XBG17

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

Mentions

wikipedia: Wikipedia Zero–one law (logic), Zero–one law (statement). Also Wikidata Q139854987

History

2026-11-02: add by m2/dev

technical lemma 3KC2677V2D

URI	`m2://inv/3KC2677V2D`
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 2403.15255#0YOM, technical lemma (statement). In G691MXMYW0/e1, lemma 3.21

History

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

Open problems 3KCHJJR0JH

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

Mentions

wikipedia: Wikipedia Hyperfinite equivalence relation#VLA0, Open problems (statement)

History

2026-11-02: add by m2/dev

3KCMMJS37W 3KCMMJS37W

URI	`m2://inv/3KCMMJS37W`
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.23538#NPT7 (statement)

History

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

3KCNXYKTV9 3KCNXYKTV9

URI	`m2://inv/3KCNXYKTV9`
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.33578#0WZ2 (statement). In 3XTDDKY6YE/e1, lemma 5.1

History

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

3KCSPBR607 3KCSPBR607

URI	`m2://inv/3KCSPBR607`
Kind	example
Layer	research
MSC	14-XX, 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 0810.2160#A0KC (example). In 3HYJ46TKX9/e1, example 1

History

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

Abramov's algorithm 3KCX9Z47WS

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

Mentions

wikipedia: Wikipedia Abramov's algorithm, Abramov's algorithm (definition). Also Wikidata Q56291990

History

2026-11-02: add by m2/dev

3KD6581EQP 3KD6581EQP

URI	`m2://inv/3KD6581EQP`
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.17476#9VJ2 (statement). In 6HXD74FA4S/e1, lemma 2.6

History

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

Quad Cities 3KD7WFWY4Z

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

Mentions

wikipedia: Wikipedia List of places with numeric names#CS04, Quad Cities (unknown)

History

2026-11-02: add by m2/dev

3KDBS11ZK6 3KDBS11ZK6

URI	`m2://inv/3KDBS11ZK6`
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.08682#UMY0 (statement). In Y306A1GPM5/e1, lemma 3.2

History

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

Optimal control of the $N$-auxiliary problem 3KDMT7BRZG

URI	`m2://inv/3KDMT7BRZG`
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#WN5N, Optimal control of the $N$-auxiliary problem (statement)

History

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

metatheorem 3KDN8D8YP0

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

Mentions

wikipedia: Wikipedia Glossary of logic#BBK2, metatheorem (definition)

History

2026-11-02: add by m2/dev

3KDNWYS6G7 3KDNWYS6G7

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

Mentions

arxiv: arXiv 2609.26401#ANYK (definition)

History

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

3KDQF6BKXE 3KDQF6BKXE

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

Mentions

open_logic: open_logic content/first-order-logic/completeness/compactness.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 9.9

History

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

Fourier shell correlation 3KDQY9Q7EY

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

Mentions

wikipedia: Wikipedia Fourier shell correlation, Fourier shell correlation (definition). Also Wikidata Q5475800

History

2026-11-02: add by m2/dev

Empirical lexical identifiability 3KDWD42RV0

URI	`m2://inv/3KDWD42RV0`
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.20207#SJU7, Empirical lexical identifiability (definition)

History

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

3KDZPYFW25 3KDZPYFW25

URI	`m2://inv/3KDZPYFW25`
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 1009.2043#291Y (statement). In 7DCNHRBK5A/e1, theorem 5.6

History

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

3KE031A5TP 3KE031A5TP

URI	`m2://inv/3KE031A5TP`
Kind	statement
Layer	research
MSC	14-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 2610.13100#IQZ7 (statement). In CC6S1HVK0T/e1, lemma 3.8

History

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

Plato's beard 3KE1K0T9RM

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

Mentions

wikipedia: Wikipedia Glossary of logic#HC5D, Plato's beard (definition)

History

2026-11-02: add by m2/dev

3KE3ZTZGF2 3KE3ZTZGF2

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

Mentions

arxiv: arXiv 2208.05276#A5AK (statement). In 4C5XHYTRT2/e1, theorem 2.10

History

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

3KE5CFRDF3 3KE5CFRDF3

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

Mentions

arxiv: arXiv 2610.10930#J3BY (example). In HX63A1PH1W/e1, example 3.9

History

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

Hoffman–Delsarte inequality 3KED2V7H8G

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

Mentions

wikipedia: Wikipedia Spectral graph theory#VS2E, Hoffman–Delsarte inequality (statement)

History

2026-11-02: add by m2/dev

Definition 3KEFPRZTX3

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

Mentions

wikipedia: Wikipedia Borel distribution#FW0X, Definition (definition)

History

2026-11-02: add by m2/dev

3KEP3Z5EWZ 3KEP3Z5EWZ

URI	`m2://inv/3KEP3Z5EWZ`
Kind	statement
Layer	research
MSC	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 2210.06147#NVGO (statement). In 94RBNQA07A/e1, proposition 6.4

History

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

3KET6X7BEK 3KET6X7BEK

URI	`m2://inv/3KET6X7BEK`
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.37124#LYV9 (statement). In 2QF1YG9DD0/e1, proposition 4.5

History

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

3KF6ZNXQFZ 3KF6ZNXQFZ

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

Mentions

arxiv: arXiv 2609.29665#7HG2 (statement)

History

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

Upper bound for the radius-only class 3KFB20HNVB

URI	`m2://inv/3KFB20HNVB`
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.21461#7AJD, Upper bound for the radius-only class (statement). In DWQANBV7B7/e1, theorem 3.7

History

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

Mixed spiders 3KFCW71Y9B

URI	`m2://inv/3KFCW71Y9B`
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.02276#A9UO, Mixed spiders (statement). In 3X0RCNDNZA/e1, theorem 1.2

History

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

Properties 3KFCXKRTWB

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

Mentions

wikipedia: Wikipedia Σ-finite measure#641M, Properties (statement)

History

2026-11-02: add by m2/dev

Offset Cohen projection and degrees 3KFDDWC9E9

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

Mentions

arxiv: arXiv 2609.32078#7CH0, Offset Cohen projection and degrees (statement). In 5PN85N6EJF/e1, theorem 8.1

History

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

Formula 3KFEP1R09A

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

Mentions

wikipedia: Wikipedia Margrabe's formula#1TMZ, Formula (statement)

History

2026-11-02: add by m2/dev

Basic properties 3KFJTXH7JP

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

Mentions

wikipedia: Wikipedia Sign function#1ZY1, Basic properties (statement)

History

2026-11-02: add by m2/dev

Horng-Tzer Yau 3KFKHEE5AG

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

Mentions

wikipedia: Wikipedia List of Taiwanese mathematicians#1AQT, Horng-Tzer Yau (topic)

History

2026-11-02: add by m2/dev

3KFMS49DX4 3KFMS49DX4

URI	`m2://inv/3KFMS49DX4`
Kind	definition
Layer	research
MSC	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.24465#K8ZV (definition)

History

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

Immersed surface 3KFNW5D5YT

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

Mentions

wikipedia: Wikipedia Immersion (mathematics)#VZW2, Immersed surface (unknown)

History

2026-11-02: add by m2/dev

Quantum counting algorithm 3KFQ7JG3K7

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

Mentions

wikipedia: Wikipedia List of algorithms#IQ7D, Quantum counting algorithm (unknown)

History

2026-11-02: add by m2/dev

Filtered comparison 3KFVG0SVY2

URI	`m2://inv/3KFVG0SVY2`
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.05892#GNQ1, Filtered comparison (statement). In PXWRTA62JK/e1, lemma 5.1

History

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

3KG1W0BCZB 3KG1W0BCZB

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

Mentions

arxiv: arXiv 2610.06488#FB8Z (statement). In XG3BJ2QXXP/e1, proposition 5.10

History

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

3KG3TH5GMT 3KG3TH5GMT

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

Mentions

napkin: napkin tex/H113/grp-intro.tex#fact-3 (statement). In RZP28ERRZV, fact, section 2.4

History

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

Acylindrically hyperbolic 3KG517VVQQ

URI	`m2://inv/3KG517VVQQ`
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#419W, Acylindrically hyperbolic (definition). In BMSAXTDV47/e1, definition 2.10

History

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

Examples 3KGD8Y4D0P

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

Mentions

wikipedia: Wikipedia Metric tensor#HE3U, Examples (example)

History

2026-11-02: add by m2/dev

Isoparametric manifold 3KGE8N02TW

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

Mentions

wikipedia: Wikipedia Isoparametric manifold, Isoparametric manifold (definition). Also Wikidata Q6086173

History

2026-11-02: add by m2/dev

Bounding sphere 3KGFK9RJ4W

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#XOJN, Bounding sphere (definition)

History

2026-11-02: add by m2/dev

3KGJR2D4MT 3KGJR2D4MT

URI	`m2://inv/3KGJR2D4MT`
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 2304.02722#6CWX (statement). In AH7D55D3WV/e1, lemma 16.3

History

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

Uniform convergence of finite prefixes to the full shadow 3KGKWRFTSQ

URI	`m2://inv/3KGKWRFTSQ`
Kind	statement
Layer	research
MSC	26-XX, 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.09602#GLTO, Uniform convergence of finite prefixes to the full shadow (statement). In 4AQ48WSBDQ/e1, theorem 5.11

History

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

Validity of the theorem 3KGNHB4GBN

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

Mentions

wikipedia: Wikipedia Mohr–Mascheroni theorem#NT3Q, Validity of the theorem (statement)

History

2026-11-02: add by m2/dev

Formal definitions 3KGRVE55NF

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

Mentions

wikipedia: Wikipedia Full and faithful functors#OJSU, Formal definitions (definition)

History

2026-11-02: add by m2/dev

3KGSZ4SCJ6 3KGSZ4SCJ6

URI	`m2://inv/3KGSZ4SCJ6`
Kind	statement
Layer	research
MSC	05-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.33512#C1LA (statement). In WYHZMYZT31/e1, theorem 4.6

History

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

3KGV2MB6CZ 3KGV2MB6CZ

URI	`m2://inv/3KGV2MB6CZ`
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.17411#2MD1 (statement). In 73QW05MWQB/e1, corollary 1.5

History

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

Hausdorff maximality theorem 3KGW89V3XW

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

Mentions

wikipedia: Wikipedia List of axioms#J66M, Hausdorff maximality theorem (statement)

History

2026-11-02: add by m2/dev

Sunyaev–Zeldovich effect 3KGZ0BAX51

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

Mentions

wikipedia: Wikipedia Sunyaev–Zeldovich effect, Sunyaev–Zeldovich effect (definition). Also Wikidata Q1519204

History

2026-11-02: add by m2/dev

3KGZWEE0NS 3KGZWEE0NS

URI	`m2://inv/3KGZWEE0NS`
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 2603.21971#5HBY (statement). In R6KSZ9H8CY/e1, theorem 5.4

History

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

Population Investigation Committee 3KH6B4X207

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

Mentions

wikipedia: Wikipedia Population Investigation Committee, Population Investigation Committee (definition). Also Wikidata Q7229783

History

2026-11-02: add by m2/dev

Dunn index 3KHDD37Z45

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

Mentions

wikipedia: Wikipedia Dunn index, Dunn index (definition). Also Wikidata Q5315561

History

2026-11-02: add by m2/dev

Example 3KHF9YXXP0

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

Mentions

wikipedia: Wikipedia Quotient of a formal language#LX1D, Example (example)

History

2026-11-02: add by m2/dev

Killing 3KHWJ9Z0QC

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

Mentions

wikipedia: Wikipedia List of long mathematical proofs#6BZ8, Killing (topic)

History

2026-11-02: add by m2/dev

Spiral graphic 3KHYTNN66Z

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

Mentions

wikipedia: Wikipedia List of graphical methods#HQJ7, Spiral graphic (unknown)

History

2026-11-02: add by m2/dev

Burau 3KJ04DARQJ

URI	`m2://inv/3KJ04DARQJ`
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 2212.02556#U2I3, Burau (statement). In 78QQZYTGTD/e1, theorem

History

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

Implementation 3KJ7Y8YAP2

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

Mentions

wikipedia: Wikipedia Economy-wide material flow accounts#U4LQ, Implementation (definition)

History

2026-11-02: add by m2/dev

3KJ9Q49SC3 3KJ9Q49SC3

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

Mentions

hott_book: hott_book hlevels.tex#defn-6 (definition). In N54F33XE07, defn, section 6.4

History

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

Examples 3KJB8YV6RV

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

Mentions

wikipedia: Wikipedia Bivariegated graph#G2O8, Examples (example)

History

2026-11-02: add by m2/dev

Ancillary statistic 3KJQS1PJHN

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

Mentions

wikipedia: Wikipedia Ancillary statistic, Ancillary statistic (definition). Also Wikidata Q4753046

History

2026-11-02: add by m2/dev

Linear representation of a groupoid 3KJY944PXN

URI	`m2://inv/3KJY944PXN`
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.25987#MO5P, Linear representation of a groupoid (definition)

History

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

Virtually 3KK3MB8BRX

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

Mentions

wikipedia: Wikipedia Virtually, Virtually (definition). Also Wikidata Q7935201

History

2026-11-02: add by m2/dev

3KKJXFSZHF 3KKJXFSZHF

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

Mentions

napkin: napkin tex/set-theory/ordinal.tex#definition-6 (definition). In RZP28ERRZV, definition, section 92.7

History

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

Graves's theorem 3KKM9MB97S

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

Mentions

wikipedia: Wikipedia Confocal conic sections#C8GC, Graves's theorem (statement)

History

2026-11-02: add by m2/dev

3KKMQ34ZCV 3KKMQ34ZCV

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

Mentions

arxiv: arXiv 2610.14045#NDTU (statement). In KZ71GXT2B0/e1, theorem A

History

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

Roy's identity 3KKMZZVQJV

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

Mentions

wikipedia: Wikipedia Roy's identity, Roy's identity (statement). Also Wikidata Q655196

History

2026-11-02: add by m2/dev

Definition 3KKPA38TAN

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

Mentions

wikipedia: Wikipedia Chiral algebra#TMPA, Definition (definition)

History

2026-11-02: add by m2/dev

3KKT47C7EW 3KKT47C7EW

URI	`m2://inv/3KKT47C7EW`
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#1XJU (statement)

History

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

3KKWXAMH13 3KKWXAMH13

URI	`m2://inv/3KKWXAMH13`
Kind	definition
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.36412#GVES (definition). In 6HKGGCMBCK/e1, definition 9.3

History

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

3KM19H5ERH 3KM19H5ERH

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

Mentions

arxiv: arXiv 2610.17798#CBJN (statement). In 66H5YPQCYV/e1, corollary 5.1

History

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

3KM381W9PV 3KM381W9PV

URI	`m2://inv/3KM381W9PV`
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.12544#9FAO (statement). In XXV36V6CK8/e1, lemma 9

History

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

Bifurcation number 3KM3BQDSD1

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

Mentions

wikipedia: Wikipedia Hilbert–Arnold problem#QJSF, Bifurcation number (unknown)

History

2026-11-02: add by m2/dev

Threshold cryptosystem 3KM9TJ7GTV

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

Mentions

wikipedia: Wikipedia Threshold cryptosystem, Threshold cryptosystem (definition). Also Wikidata Q5668690

History

2026-11-02: add by m2/dev

Calculus 3KMEQS2D3H

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#11V3, Calculus (definition)

History

2026-11-02: add by m2/dev

Definitions 3KMPH43MMY

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

Mentions

wikipedia: Wikipedia Eilenberg–Ganea theorem#R6WI, Definitions (definition)

History

2026-11-02: add by m2/dev

3KMVNMN0C1 3KMVNMN0C1

URI	`m2://inv/3KMVNMN0C1`
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.28454#ZF5E (statement)

History

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

List of Euclidean uniform tilings 3KN2EYCB6H

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#39A0, List of Euclidean uniform tilings (topic)

History

2026-11-02: add by m2/dev

The long exact sequence for $(X,A) = (D^2, S^1)$ 3KN370THG4

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

Mentions

napkin: napkin tex/homology/excision.tex#example-5, The long exact sequence for $(X,A) = (D^2, S^1)$ (example). In RZP28ERRZV, example, section 53.5

History

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

3KNJNXFFDV 3KNJNXFFDV

URI	`m2://inv/3KNJNXFFDV`
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.03373#IMTC (definition). In ZA7DBT3NWR/e1, definition 2.4

History

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

3KNNJG3H8B 3KNNJG3H8B

URI	`m2://inv/3KNNJG3H8B`
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 1011.4141#8F7M (statement). In YQ4JYF18NH/e1, lemma 4.2

History

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

Properties 3KNTFFYE26

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

Mentions

wikipedia: Wikipedia Pythagorean field#AXI2, Properties (statement)

History

2026-11-02: add by m2/dev

3KNY5CE523 3KNY5CE523

URI	`m2://inv/3KNY5CE523`
Kind	statement
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.30637#KS4Q (statement). In 6G1KBA0SXV/e1, theorem 4.15

History

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

3KP0CFJ2FE 3KP0CFJ2FE

URI	`m2://inv/3KP0CFJ2FE`
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.29152#H1BS (statement)

History

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

3KP70V5RR5 3KP70V5RR5

URI	`m2://inv/3KP70V5RR5`
Kind	definition
Layer	research
MSC	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 1008.4254#P7LV (definition). In SXTX59QBVT/e1, definition 4.1

History

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

3KP7VG0151 3KP7VG0151

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

Mentions

arxiv: arXiv 2609.33590#V32X (statement). In WRE0P7V6Z3/e1, lemma 11.4

History

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

Leo Harrington 3KPB1FKRGY

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#SHLG, Leo Harrington (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WACR, Leo Harrington (topic)

History

2026-11-02: add by m2/dev

Homotopy continuation 3KPBY38D3C

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

Mentions

wikipedia: Wikipedia Numerical algebraic geometry#KT5K, Homotopy continuation (unknown)

History

2026-11-02: add by m2/dev

3KPDT9X1P6 3KPDT9X1P6

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

Mentions

arxiv: arXiv 2610.01208#G93P (definition). In 317GZJ38HS/e1, definition 2.1

History

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

Decision Trees 3KPJW57P4Y

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

Mentions

wikipedia: Wikipedia List of algorithms#0B0I, Decision Trees (definition)

History

2026-11-02: add by m2/dev

Douglas Theorem 3KPPQNES6Z

URI	`m2://inv/3KPPQNES6Z`
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 2403.02207#H0B3, Douglas Theorem (statement). In 1T3ZYPQZF0/e1, theorem 2.1

History

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

3KQBRKHJA0 3KQBRKHJA0

URI	`m2://inv/3KQBRKHJA0`
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.14821#L6VF (statement). In B0B2P7JEAQ/e1, proposition 4.5

History

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

Outgoing Schur complement 3KQBZBM3JJ

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

Mentions

arxiv: arXiv 2609.25925#1SJL, Outgoing Schur complement (statement)

History

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

3KQD33XJZP 3KQD33XJZP

URI	`m2://inv/3KQD33XJZP`
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.24790#2TG0 (statement)

History

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

Apollonius point 3KQF85HFD8

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

Mentions

wikipedia: Wikipedia Apollonius point, Apollonius point (definition). Also Wikidata Q4780406

History

2026-11-02: add by m2/dev

3KQP9SBRH6 3KQP9SBRH6

URI	`m2://inv/3KQP9SBRH6`
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.07890#LN2E (statement). In 6F3GSDT2V1/e1, proposition 5.14

History

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

Energy--sum equivalence 3KQQZRCTV1

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

Mentions

arxiv: arXiv 2609.20643#EVTK, Energy--sum equivalence (statement)

History

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

3KQWZNXYXM 3KQWZNXYXM

URI	`m2://inv/3KQWZNXYXM`
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#10VD (statement)

History

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

Splitting field 3KR0V1Y5HS

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

Mentions

wikipedia: Wikipedia Glossary of field theory#ER9Q, Splitting field (definition)

History

2026-11-02: add by m2/dev

3KR1AGVH5Z 3KR1AGVH5Z

URI	`m2://inv/3KR1AGVH5Z`
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#OTWP (statement). In TC5QA4AB4Z/e1, proposition 3.39

History

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

square 3KRA4XH004

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

Mentions

wikidata: Wikidata Q164, square (definition). Also MathWorld Square, ProofWiki Definition:Quadrilateral/Square
wikipedia: Wikipedia Square, Square (definition). Also Wikidata Q164

History

2026-10-26: add by m2/dev

3KRB9J458A 3KRB9J458A

URI	`m2://inv/3KRB9J458A`
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#QEEF (definition). In 4WPYBTARS2/e1, definition 3.1

History

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

Peter O'Hearn 3KRBT2FM8J

URI	`m2://inv/3KRBT2FM8J`
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 Q7176171, Peter O'Hearn (unknown). Also nLab Peter O'Hearn

History

2026-10-26: add by m2/dev

Equivalent forms of the formula 3KRM128AQN

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

Mentions

wikipedia: Wikipedia Bhāskara I's sine approximation formula#J5AN, Equivalent forms of the formula (statement)

History

2026-11-02: add by m2/dev

3KRPYSWW77 3KRPYSWW77

URI	`m2://inv/3KRPYSWW77`
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 2306.00590#FZBO (statement). In D3WTQN2F7B/e1, theorem 3.1

History

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

associativity, of semigroup operation 3KRRZNXARM

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

Mentions

hott_book: hott_book index/1.14/associativity-of-semigroup-operation, associativity, of semigroup operation (concept). In N54F33XE07, index, section 1.14

History

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

Quadrature of the Parabola 3KRTPYJH0V

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

Mentions

wikidata: Wikidata Q3111341, Quadrature of the Parabola (unknown). Also ProofWiki Book:Archimedes/On_the_Quadrature_of_the_Parabola
wikipedia: Wikipedia Quadrature of the Parabola, Quadrature of the Parabola (definition). Also Wikidata Q3111341

History

2026-10-26: add by m2/dev

Markov process 3KRWN284QA

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

Mentions

wikipedia: Wikipedia List of stochastic processes topics#PADH, Markov process (definition)

History

2026-11-02: add by m2/dev

Tube bound 3KRX4KX85H

URI	`m2://inv/3KRX4KX85H`
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#0GMY, Tube bound (statement). In FRMCKEGVJZ/e1, theorem 2

History

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

3KS0RR60NM 3KS0RR60NM

URI	`m2://inv/3KS0RR60NM`
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.20801#QZ9N (statement). In A1GWWGRXPA/e1, proposition 5.12

History

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

3KS37RDJF1 3KS37RDJF1

URI	`m2://inv/3KS37RDJF1`
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.36113#HKE7 (statement). In FSGSVD0XYH/e1, proposition 7

History

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

B. S. Madhava Rao 3KS682Y02V

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

Mentions

wikipedia: Wikipedia B. S. Madhava Rao, B. S. Madhava Rao (topic). Also Wikidata Q20010642

History

2026-11-02: add by m2/dev

3KSB6C1831 3KSB6C1831

URI	`m2://inv/3KSB6C1831`
Kind	statement
Layer	research
MSC	05-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.26650#F25Q (statement)

History

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

3KSC8ZZFZC 3KSC8ZZFZC

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

Mentions

arxiv: arXiv 2610.22326#5ANQ (statement). In EAABRG99V8/e1, proposition 2.2

History

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

David H. Fremlin 3KSG6CRPRM

URI	`m2://inv/3KSG6CRPRM`
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 Q95335323, David H. Fremlin (unknown). Also nLab David H. Fremlin

History

2026-10-26: add by m2/dev

T-group 3KSJ1JB1KG

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

Mentions

wikipedia: Wikipedia T-group (mathematics), T-group (definition). Also Wikidata Q7667912

History

2026-11-02: add by m2/dev

Paul Glendinning 3KSJA3F722

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#8UUI, Paul Glendinning (unknown)

History

2026-11-02: add by m2/dev

spectral theorem 3KSQGESGSR

URI	`m2://inv/3KSQGESGSR`
Kind	statement
Layer	textbook
MSC	37-XX, 46-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Spectral theorem 06J4PXRG22

Mentions

arxiv: arXiv 2610.18078#KQ2M, Spectral Theorem (statement). In YVK8EFSYNJ/e1, theorem 3.3
mathlib_1000: mathlib_1000 Q1425077, Spectral theorem (statement). Also Wikidata Q1425077
thousand_plus: thousand_plus Q1425077, Spectral theorem (statement). Also Wikidata Q1425077, Wikipedia Spectral theorem
wikidata: Wikidata Q1425077, spectral theorem (statement). Also MathWorld SpectralTheorem, nLab spectral theorem
wikipedia: Wikipedia Spectral theorem, Spectral theorem (statement). Also Wikidata Q1425077

History

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

3KSWS6B2CF 3KSWS6B2CF

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

Mentions

applied_combinatorics: applied_combinatorics source/s_induction_exercises.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 3

History

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

Michel Goemans 3KT81FY3JM

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

Mentions

wikipedia: Wikipedia Michel Goemans, Michel Goemans (topic). Also Wikidata Q6836407

History

2026-11-02: add by m2/dev

3KTMH9XR3S 3KTMH9XR3S

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

Mentions

arxiv: arXiv 2610.20421#MIGG (statement). In Q4R7J8JE3F/e1, corollary 4.4

History

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

Ashikhmin--Barg , Lemma 2.1 3KTP5Q26SY

URI	`m2://inv/3KTP5Q26SY`
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.20344#HT12, Ashikhmin--Barg , Lemma 2.1 (statement)

History

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

Triangulation 3KTPSK5KHP

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

Mentions

wikipedia: Wikipedia Triangulation (topology), Triangulation (definition). Also Wikidata Q7840154

History

2026-11-02: add by m2/dev

3KTSSKWCTS 3KTSSKWCTS

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

Mentions

arxiv: arXiv 2609.33590#OQYO (statement). In WRE0P7V6Z3/e1, lemma B.1

History

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

Negligibility of invisible activation switches 3KV4RAFSD0

URI	`m2://inv/3KV4RAFSD0`
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.32695#8UI6, Negligibility of invisible activation switches (statement). In VQSF2E35BX/e1, proposition A.5

History

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

Symmetries induced by a trivially-co-acting magnetic co-symmetry 3KV5PPHNFJ

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

Mentions

arxiv: arXiv 2610.03865#0I6Y, Symmetries induced by a trivially-co-acting magnetic co-symmetry (example). In G3D1YR20BJ/e1, example 3.10

History

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

Definition 3KV8DFHT2Y

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

Mentions

wikipedia: Wikipedia Hitchin's equations#SDMQ, Definition (definition)

History

2026-11-02: add by m2/dev

3KVB32EWPR 3KVB32EWPR

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

Mentions

arxiv: arXiv 2609.29699#7WIP (statement)

History

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

Invariant basis number 3KVD05G7Q7

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

Mentions

wikipedia: Wikipedia Invariant basis number, Invariant basis number (definition). Also Wikidata Q6059504

History

2026-11-02: add by m2/dev

\textbf{Some double covers 3KVHFSN0C5

URI	`m2://inv/3KVHFSN0C5`
Kind	example
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.20716#F9OW, \textbf{Some double covers (example)

History

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

Heat engine 3KVR8HMC2Y

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

Mentions

wikipedia: Wikipedia Heat engine, Heat engine (definition). Also Wikidata Q178185

History

2026-11-02: add by m2/dev

Ramanujam vanishing theorem 3KVV4HVF1M

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

Mentions

wikipedia: Wikipedia List of theorems#N0FS, Ramanujam vanishing theorem (statement)

History

2026-11-02: add by m2/dev

3KVW8GDSC9 3KVW8GDSC9

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

Mentions

open_logic: open_logic content/first-order-logic/axiomatic-deduction/deduction-theorem-quantifiers.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 8.3

History

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

3KVYVKHM49 3KVYVKHM49

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

Mentions

arxiv: arXiv 2609.33124#C5B9 (definition). In P27HYGQDAN/e1, definition 4

History

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

Metropolis–Hastings algorithm 3KVYWMGWXD

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

Mentions

wikipedia: Wikipedia List of algorithms#TVFU, Metropolis–Hastings algorithm (definition)

History

2026-11-02: add by m2/dev

Further examples 3KVZ4DSJ87

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

Mentions

wikipedia: Wikipedia Quantity#U8QR, Further examples (example)

History

2026-11-02: add by m2/dev

Example 3KW1G2Q0FX

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

Mentions

wikipedia: Wikipedia Lotka's law#TDN9, Example (example)

History

2026-11-02: add by m2/dev

3KW4RFJJ3D 3KW4RFJJ3D

URI	`m2://inv/3KW4RFJJ3D`
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.29677#N0U4 (statement)

History

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

Characterization 3KWAW8HJ1C

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

Mentions

wikipedia: Wikipedia Univariate distribution#JM9N, Characterization (statement)

History

2026-11-02: add by m2/dev

Ana María Aguilera 3KWP13JVQ4

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

Mentions

wikipedia: Wikipedia Ana María Aguilera, Ana María Aguilera (topic). Also Wikidata Q102438757

History

2026-11-02: add by m2/dev

3KWPWFGPJM 3KWPWFGPJM

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

Mentions

arxiv: arXiv 2610.12484#Y6XZ (statement). In GW23NX78SB/e1, corollary 4.39

History

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

3KWX8HTMPT 3KWX8HTMPT

URI	`m2://inv/3KWX8HTMPT`
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.07380#BIQD (statement). In XM2CDRKSGE/e1, proposition A.1

History

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

differentiation 3KX0Z8170W

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

Mentions

wikidata: Wikidata Q3027705, differentiation (unknown). Also MathWorld Differentiation

History

2026-10-26: add by m2/dev

3KX1S3E2FS 3KX1S3E2FS

URI	`m2://inv/3KX1S3E2FS`
Kind	example
Layer	research
MSC	05-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.07280#WYKW (example). In 1FJKW4WGEN/e1, example 1.2

History

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

Solomon Friedberg 3KX2DHKX6F

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

Mentions

wikipedia: Wikipedia Solomon Friedberg, Solomon Friedberg (topic). Also Wikidata Q15453039

History

2026-11-02: add by m2/dev

3KX37RA229 3KX37RA229

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 2.1

History

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

3KX4276W69 3KX4276W69

URI	`m2://inv/3KX4276W69`
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.30018#YA8B (statement)

History

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

Negative multinomial distribution 3KX7MRXEEZ

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

Mentions

wikipedia: Wikipedia List of probability distributions#P601, Negative multinomial distribution (definition)

History

2026-11-02: add by m2/dev

Common-noise stability of optimal maps 3KX7W7TGGZ

URI	`m2://inv/3KX7W7TGGZ`
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#R73D, Common-noise stability of optimal maps (statement). In 9YAE8FNQST/e1, lemma 18.22

History

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

Discrete Weibull distribution 3KXFJE4Y12

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

Mentions

wikipedia: Wikipedia Discrete Weibull distribution, Discrete Weibull distribution (definition). Also Wikidata Q25104867

History

2026-11-02: add by m2/dev

The Doctrine of Chances 3KXJQ3T00K

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

Mentions

wikipedia: Wikipedia The Doctrine of Chances, The Doctrine of Chances (definition). Also Wikidata Q2007756

History

2026-11-02: add by m2/dev

3KXQF4TWW9 3KXQF4TWW9

URI	`m2://inv/3KXQF4TWW9`
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 2609.21692#TRFH (definition)

History

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

Italian National Institute of Statistics 3KXW21GKWY

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

Mentions

wikipedia: Wikipedia Italian National Institute of Statistics, Italian National Institute of Statistics (definition). Also Wikidata Q214195

History

2026-11-02: add by m2/dev

The additional sets are negligible 3KXXE79HRR

URI	`m2://inv/3KXXE79HRR`
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.25101#TFVC, The additional sets are negligible (statement)

History

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

Absolute covariance summability 3KY7D57Y7A

URI	`m2://inv/3KY7D57Y7A`
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.39144#V15O, Absolute covariance summability (statement). In 814ZF5WMMF/e1, lemma 8

History

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

sparse matrix 3KYWWER4WS

URI	`m2://inv/3KYWWER4WS`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Sparse matrix JGACZYEEY7

Mentions

wikidata: Wikidata Q1050404, sparse matrix (unknown). Also MathWorld SparseMatrix
wikipedia: Wikipedia Sparse matrix, Sparse matrix (definition). Also Wikidata Q1050404

History

2026-10-26: add by m2/dev

Richard Montgomery 3KZ2D2CG5R

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

Mentions

wikipedia: Wikipedia Richard Montgomery (mathematician), Richard Montgomery (topic). Also Wikidata Q128802952

History

2026-11-02: add by m2/dev

Will Frazer 3KZ5MYCRGB

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

Mentions

wikipedia: Wikipedia Will Frazer, Will Frazer (topic). Also Wikidata Q134739130

History

2026-11-02: add by m2/dev

A continuous cost with no deterministic minimizer 3KZ8CZBKGZ

URI	`m2://inv/3KZ8CZBKGZ`
Kind	example
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#54UG, A continuous cost with no deterministic minimizer (example). In 9YAE8FNQST/e1, example 10.13

History

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

3KZ8S4JBJM 3KZ8S4JBJM

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

Mentions

arxiv: arXiv 2609.33856#UHKU (statement). In 47WN78VDDF/e1, theorem 4.8

History

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

3KZAQ7HP47 3KZAQ7HP47

URI	`m2://inv/3KZAQ7HP47`
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.07064#9WBS (statement). In GPK6W5XQM3/e1, proposition 1

History

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

On Spirals 3KZAV7EBV2

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

Mentions

wikidata: Wikidata Q3024233, On Spirals (unknown). Also ProofWiki Book:Archimedes/On_Spirals
wikipedia: Wikipedia On Spirals, On Spirals (definition). Also Wikidata Q3024233

History

2026-10-26: add by m2/dev

3KZCQDA0M3 3KZCQDA0M3

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

Mentions

arxiv: arXiv 2610.09086#A9AM (statement). In JPC86V77CH/e1, theorem 5.4

History

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

Errors caused by the current lower iterate 3KZF2VQ86Q

URI	`m2://inv/3KZF2VQ86Q`
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.01843#HTSO, Errors caused by the current lower iterate (statement). In EDG9ZFDSWK/e1, lemma A.2

History

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

Gross rating point 3KZKWJ4BB1

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

Mentions

wikipedia: Wikipedia Gross rating point, Gross rating point (definition). Also Wikidata Q391931

History

2026-11-02: add by m2/dev

Pachner moves 3KZNHWGJZ2

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

Mentions

wikipedia: Wikipedia Pachner moves, Pachner moves (definition). Also Wikidata Q7122049

History

2026-11-02: add by m2/dev

SSE3 3KZTKMKHHR

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

Mentions

wikipedia: Wikipedia SSE3, SSE3 (definition). Also Wikidata Q1152888

History

2026-11-02: add by m2/dev