Inventory rows B3

Scaling limit B30009SGJP

URI	`m2://inv/B30009SGJP`
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.14616#HQGL, Scaling limit (statement). In 17ACAG0N9C/e1, theorem 2.3

History

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

Relation to the Weyl character formula B30MB68W35

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

Mentions

wikipedia: Wikipedia Kostant partition function#DTBW, Relation to the Weyl character formula (statement)

History

2026-11-02: add by m2/dev

B30QEJD38N B30QEJD38N

URI	`m2://inv/B30QEJD38N`
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.19437#KSA8 (statement). In 9PXXGQ978Z/e1, corollary 3.7

History

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

B30QJQ4Z0D B30QJQ4Z0D

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

Mentions

arxiv: arXiv 2609.29759#TF5C (definition)

History

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

General System Theory B30RQ1ZGTV

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

Mentions

wikipedia: Wikipedia Systems theory#UI3F, General System Theory (unknown)

History

2026-11-02: add by m2/dev

Normal family B30XNC7CC1

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

Mentions

wikipedia: Wikipedia Normal family, Normal family (definition). Also Wikidata Q1049280

History

2026-11-02: add by m2/dev

B30YQYDQTP B30YQYDQTP

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

Mentions

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

History

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

Hilbert–Serre theorem B30ZGV391V

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

Mentions

wikipedia: Wikipedia Hilbert–Poincaré series#YPYR, Hilbert–Serre theorem (statement)

History

2026-11-02: add by m2/dev

B311DV6SRS B311DV6SRS

URI	`m2://inv/B311DV6SRS`
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 2111.07409#CU22 (statement). In KWH4QJDPWC/e1, theorem 3.2

History

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

B313DGANQ0 B313DGANQ0

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

Mentions

arxiv: arXiv 2609.27872#MWRO (statement)

History

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

Reflection symmetry B31G989HND

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

Mentions

wikipedia: Wikipedia Reflection symmetry, Reflection symmetry (definition). Also Wikidata Q15955882

History

2026-11-02: add by m2/dev

Grunewald--Jaikin-Zapirain--Pinto--Zalesskii B31GBDGZHF

URI	`m2://inv/B31GBDGZHF`
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.20915#UMXO, Grunewald--Jaikin-Zapirain--Pinto--Zalesskii (statement). In 5M1SXP75D9/e1, theorem 3.3

History

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

Gabriel's theorem B31JS1H1EZ

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

Mentions

wikipedia: Wikipedia Quiver (mathematics)#PJ5R, Gabriel's theorem (statement)

History

2026-11-02: add by m2/dev

Fundamentum Astronomiae B31MX2DF43

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

Mentions

wikipedia: Wikipedia Fundamentum Astronomiae, Fundamentum Astronomiae (definition). Also Wikidata Q24255719

History

2026-11-02: add by m2/dev

B31VW9GF2M B31VW9GF2M

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

Mentions

arxiv: arXiv 2610.16114#64JE (statement). In JZZ3FJ382R/e1, lemma 5.2

History

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

B31Y38HCTN B31Y38HCTN

URI	`m2://inv/B31Y38HCTN`
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.08912#G88I (statement). In DK5QY64NGH/e1, lemma 7.7

History

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

B31YCJR8NS B31YCJR8NS

URI	`m2://inv/B31YCJR8NS`
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.37897#UFWD (statement). In RBQ5FNCVNZ/e1, lemma 5.2

History

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

Exact PDHG transfer B31YT5NTJ3

URI	`m2://inv/B31YT5NTJ3`
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.20270#XABB, Exact PDHG transfer (statement). In GV0QGZH67P/e1, proposition F.3

History

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

James McKernan B328061JTC

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

Mentions

wikipedia: Wikipedia James McKernan, James McKernan (topic). Also Wikidata Q1680799

History

2026-11-02: add by m2/dev

Federer–Morse theorem B328RGMMFZ

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

Mentions

wikipedia: Wikipedia Federer–Morse theorem, Federer–Morse theorem (statement). Also Wikidata Q5440935

History

2026-11-02: add by m2/dev

dynamic optimality conjecture B329MFJ7T1

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

Mentions

wikipedia: Wikipedia List of unsolved problems in computer science#A3TK, dynamic optimality conjecture (unknown)

History

2026-11-02: add by m2/dev

Analogous laws B32CDRRP0Y

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

Mentions

wikipedia: Wikipedia Law of excluded middle#0GWC, Analogous laws (statement)

History

2026-11-02: add by m2/dev

B32GMT5ARB B32GMT5ARB

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

Mentions

napkin: napkin tex/measure/randvar.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 69.6

History

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

B32P61B0QV B32P61B0QV

URI	`m2://inv/B32P61B0QV`
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.18324#3Q9B (statement). In C0EG2EY0M4/e1, lemma 2.2

History

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

B32QGS8B79 B32QGS8B79

URI	`m2://inv/B32QGS8B79`
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 2209.07892#66UX (definition). In RGAFSKTAHM/e1, definition 2.3

History

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

B32R4SB0TZ B32R4SB0TZ

URI	`m2://inv/B32R4SB0TZ`
Kind	statement
Layer	research
MSC	05-XX, 46-XX, 47-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 1711.00219#HIJI (statement). In 7V3HG30ZGW/e1, corollary 3.18

History

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

spectral ray B32YWBJGDJ

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

Mentions

mathlib_undergrad: mathlib_undergrad Numerical Analysis > Iterative methods > spectral ray, spectral ray (unknown)

History

2026-10-26: add by m2/dev

Orbits on triples from the two-point stabilizer B330HE1E1Y

URI	`m2://inv/B330HE1E1Y`
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.15340#UTH3, Orbits on triples from the two-point stabilizer (statement). In 9NVKKW8HDH/e1, proposition 2.12

History

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

Example B335B2E9V8

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

Mentions

wikipedia: Wikipedia Kemeny method#Q5P7, Example (example)

History

2026-11-02: add by m2/dev

Bertrand's ballot theorem B33AH9E3BP

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

Mentions

wikipedia: Wikipedia List of misnamed theorems#FKKC, Bertrand's ballot theorem (statement)

History

2026-11-02: add by m2/dev

Marshall Hall B33CCCXT9A

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

Mentions

wikipedia: Wikipedia Marshall Hall (mathematician), Marshall Hall (topic). Also Wikidata Q1902761

History

2026-11-02: add by m2/dev

B33FAQTG7M B33FAQTG7M

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

Mentions

arxiv: arXiv 2610.07001#KYOE (statement). In 5DFTVG7FFF/e1, lemma 2.10

History

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

B33HBNFHB0 B33HBNFHB0

URI	`m2://inv/B33HBNFHB0`
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 2603.26376#IO2A (statement). In PJAT9YDX7Y/e1, proposition 3.5

History

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

B33KRQV5J5 B33KRQV5J5

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

Mentions

arxiv: arXiv 2610.10576#SMGM (conjecture). In N3ZA5MDZBW/e1, conjecture 4

History

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

B33NF1PFQ2 B33NF1PFQ2

URI	`m2://inv/B33NF1PFQ2`
Kind	statement
Layer	research
MSC	01-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.10591#P7SR (statement). In FTEA0TM35J/e1, corollary 5.4

History

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

B33PGCT116 B33PGCT116

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

Mentions

arxiv: arXiv 2609.25289#4PA4 (statement)

History

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

Statistical finance B33QK2HW9G

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

Mentions

wikipedia: Wikipedia Statistical finance, Statistical finance (definition). Also Wikidata Q7604394

History

2026-11-02: add by m2/dev

Bollobás, Béla B342699R5M

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

Mentions

wikipedia: Wikipedia List of Hungarian mathematicians#GC8N, Bollobás, Béla (topic)

History

2026-11-02: add by m2/dev

B34283D2J9 B34283D2J9

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

Mentions

arxiv: arXiv 2610.07812#HSJT (statement). In PVX8WBBXW5/e1, proposition 3.11

History

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

Examples B343E9FRQJ

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

Mentions

wikipedia: Wikipedia Mason's gain formula#GYCY, Examples (example)

History

2026-11-02: add by m2/dev

B344HNX4JZ B344HNX4JZ

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/unique-readability.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 22.2

History

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

B34687HXE6 B34687HXE6

URI	`m2://inv/B34687HXE6`
Kind	example
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.30444#TFEW (example). In RZWJ0AT8W5/e1, example 2.9

History

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

B347H096A9 B347H096A9

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

Mentions

arxiv: arXiv 2609.31249#IQTC (conjecture). In RAVR2W9S0B/e1, conjecture 1.5

History

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

Anatole Beck B34BBASJP2

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

Mentions

wikipedia: Wikipedia Anatole Beck, Anatole Beck (topic). Also Wikidata Q15783240

History

2026-11-02: add by m2/dev

Examples B34DY9YBH1

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

Mentions

wikipedia: Wikipedia Distinguishing attack#CIC8, Examples (example)

History

2026-11-02: add by m2/dev

B34FD46TWK B34FD46TWK

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

Mentions

arxiv: arXiv 2609.25167#YT1W (statement)

History

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

B34H4TCFXA B34H4TCFXA

URI	`m2://inv/B34H4TCFXA`
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.23847#STDF (statement)

History

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

Cantellation B352KH3YY2

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#LSM2, Cantellation (object)

History

2026-11-02: add by m2/dev

Midhinge B35A7PPYH1

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

Mentions

wikipedia: Wikipedia Midhinge, Midhinge (definition). Also Wikidata Q6842242
wikipedia: Wikipedia Midhinge#HYOY, MH (definition)

History

2026-11-02: add by m2/dev

Examples B35AW671Z6

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

Mentions

wikipedia: Wikipedia Equivariant sheaf#96FK, Examples (example)

History

2026-11-02: add by m2/dev

B35CCQ7753 B35CCQ7753

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

Mentions

open_logic: open_logic content/lambda-calculus/syntax/substitution.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 38.15

History

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

B35FA1F60N B35FA1F60N

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

Mentions

arxiv: arXiv 2610.20909#IO0Y (conjecture). In 7ZBX5WVEZP/e1, conjecture 1.2

History

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

theorem, Freudenthal suspension B35NT2ZTFT

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

Mentions

hott_book: hott_book index/7.6/theorem-freudenthal-suspension, theorem, Freudenthal suspension (concept). In N54F33XE07, index, section 7.6

History

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

B3614N0PNW B3614N0PNW

URI	`m2://inv/B3614N0PNW`
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 2609.27253#HSQF (example)

History

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

Critical graph B361DVPHSM

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

Mentions

wikipedia: Wikipedia Critical graph, Critical graph (definition). Also Wikidata Q1789512

History

2026-11-02: add by m2/dev

Minima of reciprocal $p$-subslopes are reciprocal $p$-subslopes of sums B367SKAYFY

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

Mentions

arxiv: arXiv 2610.21775#8QFB, Minima of reciprocal $p$-subslopes are reciprocal $p$-subslopes of sums (statement). In KM3Q791JY0/e1, lemma 3.19

History

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

Set partitioning in hierarchical trees B36JYZFPT4

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

Mentions

wikipedia: Wikipedia Set partitioning in hierarchical trees, Set partitioning in hierarchical trees (definition). Also Wikidata Q3246374

History

2026-11-02: add by m2/dev

B36KQM263N B36KQM263N

URI	`m2://inv/B36KQM263N`
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.15525#7667 (statement). In EFDRME13PT/e1, corollary 9.3

History

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

Elementary function B36R2FJEPG

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

Mentions

wikipedia: Wikipedia List of types of functions#PYB4, Elementary function (definition)

History

2026-11-02: add by m2/dev

Definition B36VWPCWSA

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

Mentions

wikipedia: Wikipedia Classifying space for SO(n)#XNVL, Definition (definition)

History

2026-11-02: add by m2/dev

small dodecahemidodecacron B36YWN55W7

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

Mentions

wikidata: Wikidata Q7543044, small dodecahemidodecacron (unknown). Also MathWorld SmallDodecahemidodecacron
wikipedia: Wikipedia Small dodecahemidodecacron, Small dodecahemidodecacron (object). Also Wikidata Q7543044

History

2026-10-26: add by m2/dev

The algorithm B37E42GGSX

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

Mentions

wikipedia: Wikipedia Goertzel algorithm#PZFY, The algorithm (definition)

History

2026-11-02: add by m2/dev

Lebesgue differentiation theorem B37G7GBZ5C

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

Mentions

mathlib_1000: mathlib_1000 Q2275191, Lebesgue differentiation theorem (statement). Also Mathlib VitaliFamily.ae_tendsto_lintegral_div, Wikidata Q2275191
thousand_plus: thousand_plus Q2275191, Lebesgue differentiation theorem (statement). Also Mathlib VitaliFamily.ae_tendsto_lintegral_div, Wikidata Q2275191, Wikipedia Lebesgue differentiation theorem
wikipedia: Wikipedia Lebesgue differentiation theorem, Lebesgue differentiation theorem (statement). Also Wikidata Q2275191

History

2026-10-26: add by m2/dev

Grothendieck local duality B37K5CPXBG

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

Mentions

wikipedia: Wikipedia Grothendieck local duality, Grothendieck local duality (definition). Also Wikidata Q5610724

History

2026-11-02: add by m2/dev

B37N79VF15 B37N79VF15

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#dalemb:implusexample (example). In E9HS8K3A52, example, section 5.8.2

History

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

B37QKS402P B37QKS402P

URI	`m2://inv/B37QKS402P`
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 2207.07461#Q2EQ (statement). In GAG532VMPF/e1, theorem 1.6.1

History

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

B37QWA9PKG B37QWA9PKG

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

Mentions

arxiv: arXiv 2609.27931#9ZLB (statement)

History

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

B37RW0B933 B37RW0B933

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

Mentions

arxiv: arXiv 2610.01828#RVJC (statement). In RQMJY73C8Q/e1, theorem III.3

History

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

Uniform Gaussian success exponent B37VCKMS0H

URI	`m2://inv/B37VCKMS0H`
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.30808#6RW4, Uniform Gaussian success exponent (statement). In 4JCFPV48VG/e1, lemma 4.6

History

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

Block form of $\LL$ B37X3TQD7J

URI	`m2://inv/B37X3TQD7J`
Kind	statement
Layer	research
MSC	05-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 2610.12326#AI40, Block form of $\LL$ (statement). In 9S7HGSEX6Q/e1, lemma 3.4

History

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

Parallax B384A9JVHK

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

Mentions

wikipedia: Wikipedia Parallax, Parallax (definition). Also Wikidata Q165074

History

2026-11-02: add by m2/dev

B385Z9X68S B385Z9X68S

URI	`m2://inv/B385Z9X68S`
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#EA3W (statement). In NV3PBZGBB7/e1, proposition 3.3

History

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

Extensions B389ZNYMPW

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

Mentions

wikipedia: Wikipedia Brooks' theorem#RFCR, Extensions (statement)

History

2026-11-02: add by m2/dev

Exceptional holonomy relation B38CDGTVWR

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

Mentions

arxiv: arXiv 2609.27799#XUDD, Exceptional holonomy relation (statement)

History

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

B38F22MHVH B38F22MHVH

URI	`m2://inv/B38F22MHVH`
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.27800#ADXC (definition)

History

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

Marginal structural model B38PFS607G

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

Mentions

wikipedia: Wikipedia Marginal structural model, Marginal structural model (definition). Also Wikidata Q16963953

History

2026-11-02: add by m2/dev

B38TGVXR54 B38TGVXR54

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

Mentions

applied_combinatorics: applied_combinatorics source/s_genfunction_binom-app.ptx#corollary-1 (statement). In QKM9DD2H56, corollary, section 8.4

History

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

B38W2NWJCZ B38W2NWJCZ

URI	`m2://inv/B38W2NWJCZ`
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.25973#HSOT (statement)

History

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

B38XJY0KAG B38XJY0KAG

URI	`m2://inv/B38XJY0KAG`
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.21668#R8XG (statement)

History

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

Charles B. Morrey, Jr. B38YAJ9MEH

URI	`m2://inv/B38YAJ9MEH`
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#OQ1A, Charles B. Morrey, Jr. (unknown)

History

2026-11-02: add by m2/dev

B39984MV84 B39984MV84

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

Mentions

arxiv: arXiv 2609.25275#DGM6 (statement)

History

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

tilde B399AA4P3A

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

Mentions

wikidata: Wikidata Q11167, tilde (unknown). Also MathWorld Tilde
wikipedia: Wikipedia Tilde, Tilde (definition). Also Wikidata Q11167

History

2026-10-26: add by m2/dev

Relativistic mass B39BJT3BA6

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

Mentions

wikipedia: Wikipedia List of mathematical topics in relativity#V2RW, Relativistic mass (unknown)

History

2026-11-02: add by m2/dev

B39BXTMJT5 B39BXTMJT5

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

Mentions

lebl_scv: lebl_scv scv.tex#proof-32 (proof). In VNMV985MXX, proof, section 2.5

History

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

Doyle spiral B39HCSN97H

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

Mentions

wikipedia: Wikipedia Doyle spiral, Doyle spiral (definition). Also Wikidata Q97353999

History

2026-11-02: add by m2/dev

B39M7B9R6J B39M7B9R6J

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

Mentions

arxiv: arXiv 2512.19872#GFJP (statement). In DG9TF5X0EG/e1, theorem 10

History

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

Carathéodory–Jacobi–Lie theorem B39PTNEKG5

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

Mentions

wikipedia: Wikipedia List of theorems#C8IU, Carathéodory–Jacobi–Lie theorem (statement)

History

2026-11-02: add by m2/dev

Snub square prismatic honeycomb B39RP3CSA8

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#TLZB, Snub square prismatic honeycomb (object)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#PH9L, Snub square prismatic honeycomb (object)

History

2026-11-02: add by m2/dev

B3A29RF17T B3A29RF17T

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#prop:topology:subspacesame (statement). In E59CDZA4DP, prop, section 4.2.1

History

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

B3A5DN24DX B3A5DN24DX

URI	`m2://inv/B3A5DN24DX`
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.07471#C7ZK (statement). In 7DHCS5SEHT/e1, lemma 5

History

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

B3A7D7VQNJ B3A7D7VQNJ

URI	`m2://inv/B3A7D7VQNJ`
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.06895#NR4R (statement). In PBB3PSDP0S/e1, theorem 3

History

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

Theorem (stronger lower bound) B3AAXS3625

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

Mentions

wikipedia: Wikipedia Sunflower (mathematics)#4YJM, Theorem (stronger lower bound) (statement)

History

2026-11-02: add by m2/dev

Logical conjunction B3AD3YPG9K

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

Mentions

wikipedia: Wikipedia List of Boolean algebra topics#M0BA, Logical conjunction (definition)

History

2026-11-02: add by m2/dev

Meb Keflezighi B3AGZBTFT0

URI	`m2://inv/B3AGZBTFT0`
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#2IAN, Meb Keflezighi (unknown)

History

2026-11-02: add by m2/dev

Ivan Rival B3AHT8YKGM

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#1W4D, Ivan Rival (topic)

History

2026-11-02: add by m2/dev

Kaye Basford B3AKWNQHM9

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#KOA6, Kaye Basford (unknown)

History

2026-11-02: add by m2/dev

Regime 1 B3ANCP2VEN

URI	`m2://inv/B3ANCP2VEN`
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.03288#ZQA3, Regime 1 (statement). In ZHP1MFSACN/e1, proposition 4.5

History

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

B3ANG3GJ5X B3ANG3GJ5X

URI	`m2://inv/B3ANG3GJ5X`
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.39700#WQAS (statement). In E7W2HDNEKJ/e1, lemma 6.18

History

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

Statement B3AR3XFASX

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

Mentions

wikipedia: Wikipedia Poincaré inequality#NEX6, Statement (statement)

History

2026-11-02: add by m2/dev

Noisy-storage model B3AVQX9K07

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

Mentions

wikipedia: Wikipedia Noisy-storage model, Noisy-storage model (definition). Also Wikidata Q7047762

History

2026-11-02: add by m2/dev

List of wavelet-related transforms B3AYNX4M49

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

Mentions

wikipedia: Wikipedia List of wavelet-related transforms, List of wavelet-related transforms (topic). Also Wikidata Q17008768

History

2026-11-02: add by m2/dev

Midy's theorem in other bases B3AZQKAD81

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

Mentions

wikipedia: Wikipedia Midy's theorem#0P61, Midy's theorem in other bases (statement)

History

2026-11-02: add by m2/dev

T1 space B3B1EF2TCF

URI	`m2://inv/B3B1EF2TCF`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	T1 space 05GQJXBP3F

Mentions

wikidata: Wikidata Q284347, T1 space (definition). Also MathWorld T1-Space, ProofWiki Definition:Fréchet_Space_(Topology)
wikipedia: Wikipedia T1 space, T1 space (definition). Also Wikidata Q284347

History

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

The families of measures are the reparametrisable ones B3B3BN9KPH

URI	`m2://inv/B3B3BN9KPH`
Kind	statement
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#95Z6, The families of measures are the reparametrisable ones (statement)

History

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

The Importance of Synthetic Apriori Propositions to Kant's metaphysics B3B8CDPS0Y

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

Mentions

wikipedia: Wikipedia Analytic–synthetic distinction#EQSI, The Importance of Synthetic Apriori Propositions to Kant's metaphysics (statement)

History

2026-11-02: add by m2/dev

B3BJRDG37F B3BJRDG37F

URI	`m2://inv/B3BJRDG37F`
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#RQI1 (statement). In F3BKXXPR3K/e1, theorem 3.65

History

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

Domination and the generic function B3BM6CFQP3

URI	`m2://inv/B3BM6CFQP3`
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.09086#UY5F, Domination and the generic function (definition). In JPC86V77CH/e1, definition 3.2

History

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

Hartogs–Rosenthal theorem B3BPHXY779

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

Mentions

mathlib_1000: mathlib_1000 Q5675112, Hartogs–Rosenthal theorem (statement). Also Wikidata Q5675112
thousand_plus: thousand_plus Q5675112, Hartogs–Rosenthal theorem (statement). Also Wikidata Q5675112, Wikipedia Hartogs–Rosenthal theorem
wikipedia: Wikipedia Hartogs–Rosenthal theorem, Hartogs–Rosenthal theorem (statement). Also Wikidata Q5675112

History

2026-10-26: add by m2/dev

Entire approximation preserving sewing B3BQSCQ3XE

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

Mentions

arxiv: arXiv 2609.27774#EZC4, Entire approximation preserving sewing (statement)

History

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

Applications B3BT5AQBDF

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

Mentions

wikipedia: Wikipedia Weakly chained diagonally dominant matrix#0N6A, Applications (example)

History

2026-11-02: add by m2/dev

B3BZ071JGP B3BZ071JGP

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

Mentions

arxiv: arXiv 2610.21622#EEXD (definition). In H21X3FHNYJ/e1, definition 6.1

History

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

Computation B3C5K5AKCZ

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

Mentions

wikipedia: Wikipedia Wardrop equilibrium#7K72, Computation (definition)

History

2026-11-02: add by m2/dev

OpenBLAS B3C6MYZAB3

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

Mentions

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

History

2026-11-02: add by m2/dev

B3CB1TZKS3 B3CB1TZKS3

URI	`m2://inv/B3CB1TZKS3`
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.01924#HP6N (statement). In CB89152EQW/e1, lemma 4

History

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

B3CEV21H69 B3CEV21H69

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

Mentions

arxiv: arXiv 0810.0962#X6UA (statement). In 80YMRN5KS9/e1, proposition 3

History

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

Local realization of logical Pauli coordinates B3CKSAA3PV

URI	`m2://inv/B3CKSAA3PV`
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#EZZL, Local realization of logical Pauli coordinates (statement). In R6RF3P6D5A/e1, lemma B.3

History

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

Extension B3CV293STK

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

Mentions

wikipedia: Wikipedia Extension (predicate logic), Extension (definition). Also Wikidata Q5421931

History

2026-11-02: add by m2/dev

B3CYQZAG8F B3CYQZAG8F

URI	`m2://inv/B3CYQZAG8F`
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.10078#MQFS (statement). In YVGRZK1HRS/e1, proposition 4.12

History

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

Emery Molyneux B3D0NHMQ73

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

Mentions

wikipedia: Wikipedia Emery Molyneux, Emery Molyneux (topic). Also Wikidata Q2300479

History

2026-11-02: add by m2/dev

B3D2J38MZ0 B3D2J38MZ0

URI	`m2://inv/B3D2J38MZ0`
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#X3LV (statement). In 47WN78VDDF/e1, theorem 3.26

History

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

Relation to the FGM conjecture notation B3D3C18XF6

URI	`m2://inv/B3D3C18XF6`
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.35762#QDGG, Relation to the FGM conjecture notation (statement). In C9QEPN1E56/e1, lemma F.11

History

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

Great icosacronic hexecontahedron B3D7VG27P7

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#X8MR, Great icosacronic hexecontahedron (object)

History

2026-11-02: add by m2/dev

B3D8VQKYXQ B3D8VQKYXQ

URI	`m2://inv/B3D8VQKYXQ`
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.21934#3E8U (statement). In YKD51BX3XB/e1, lemma 3.1

History

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

Logarithmic mean B3DE1EEXFR

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

Mentions

wikipedia: Wikipedia List of statistics articles#RRT3, Logarithmic mean (definition)

History

2026-11-02: add by m2/dev

Michael Golomb B3DE1NND1E

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#80QW, Michael Golomb (topic)

History

2026-11-02: add by m2/dev

Local well-posedness B3DN2P83SR

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

Mentions

arxiv: arXiv 2609.29008#DOFJ, Local well-posedness (statement)

History

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

B3DWVHXJX1 B3DWVHXJX1

URI	`m2://inv/B3DWVHXJX1`
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#VZ49 (statement). In R6KSZ9H8CY/e1, theorem 9.1

History

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

Calibration B3DX1C2HFF

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

Mentions

wikipedia: Wikipedia Calibration (statistics), Calibration (definition). Also Wikidata Q13631059

History

2026-11-02: add by m2/dev

B3E95RFN7Z B3E95RFN7Z

URI	`m2://inv/B3E95RFN7Z`
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.39700#TMR1 (statement). In E7W2HDNEKJ/e1, theorem 7.10

History

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

B3EA2F1044 B3EA2F1044

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

Mentions

arxiv: arXiv 2610.15421#RNWX (statement). In 3RBKH0DA74/e1, theorem 1.1

History

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

B3EAX1B5TN B3EAX1B5TN

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

Mentions

arxiv: arXiv 2610.06707#4PDU (statement). In 9TR5E527P5/e1, theorem 1.2

History

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

Example B3EHM1Q9FT

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

Mentions

wikipedia: Wikipedia Finite volume method#EYAY, Example (example)

History

2026-11-02: add by m2/dev

Distributive lattice B3EHXM40QM

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

Mentions

wikipedia: Wikipedia List of first-order theories#VCGP, Distributive lattice (definition)

History

2026-11-02: add by m2/dev

Examples B3EN35FTP6

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

Mentions

wikipedia: Wikipedia Cryptosystem#WHM3, Examples (example)

History

2026-11-02: add by m2/dev

B3EQS5422E B3EQS5422E

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

Mentions

open_logic: open_logic content/proof-theory/natural-deduction/quantifiers.tex#lem:subst-regular (statement). In PKGMM3P5QY, lem, section 58.1

History

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

B3ERF3BNRP B3ERF3BNRP

URI	`m2://inv/B3ERF3BNRP`
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 2207.07461#MSOI (statement). In GAG532VMPF/e1, lemma 3.3.2

History

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

David R. Brillinger B3F5ARKJX4

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

Mentions

wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#JF01, David R. Brillinger (topic)

History

2026-11-02: add by m2/dev

B3F6FG9GCV B3F6FG9GCV

URI	`m2://inv/B3F6FG9GCV`
Kind	statement
Layer	research
MSC	11-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.15432#7JP8 (statement). In D1DFM4WYEW/e1, lemma 7.1

History

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

Definition B3F81HFXFN

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

Mentions

wikipedia: Wikipedia Mapping cone (homological algebra)#ZA21, Definition (definition)

History

2026-11-02: add by m2/dev

The exponent of the one-step likelihood ratio B3FED4E6V4

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

Mentions

arxiv: arXiv 2609.27765#SCXI, The exponent of the one-step likelihood ratio (statement)

History

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

Gompertz distribution B3FMSZEXFC

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

Mentions

wikipedia: Wikipedia List of statistics articles#KX5C, Gompertz distribution (definition)

History

2026-11-02: add by m2/dev

B3G21HTNEB B3G21HTNEB

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

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#exercise:badconvergenceder (example). In E59CDZA4DP, example, section 9.2.3

History

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

The algorithm B3G380B7ET

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

Mentions

wikipedia: Wikipedia Karmarkar's algorithm#1AJK, The algorithm (definition)

History

2026-11-02: add by m2/dev

B3GM6T2VM4 B3GM6T2VM4

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

Mentions

arxiv: arXiv 2610.01329#D9T2 (statement). In 7XEVYJKJ5C/e1, lemma 3.2

History

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

Sixth Term Examination Paper B3GQRFZEQK

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

Mentions

wikipedia: Wikipedia Sixth Term Examination Paper, Sixth Term Examination Paper (definition). Also Wikidata Q7533188

History

2026-11-02: add by m2/dev

Fibonacci number B3GSKARMFS

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

Mentions

wikidata: Wikidata Q47577, Fibonacci number (concept). Also MathWorld FibonacciNumber, ProofWiki Definition:Fibonacci_Number

History

2026-10-26: add by m2/dev

vertex coloring game B3GVWPDF0K

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#MEMY, vertex coloring game (definition)

History

2026-11-02: add by m2/dev

B3H133D40W B3H133D40W

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

Mentions

open_logic: open_logic content/propositional-logic/syntax-and-semantics/completeness.tex#cor-2 (statement). In PKGMM3P5QY, cor, section 62.2

History

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

Perfect core B3H19FDRQ1

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

Mentions

wikipedia: Wikipedia Perfect core, Perfect core (definition). Also Wikidata Q11246145

History

2026-11-02: add by m2/dev

B3H30AKG7J B3H30AKG7J

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

Mentions

arxiv: arXiv 2610.15698#4BW1 (statement). In 69GJX04N6M/e1, corollary 3.1

History

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

B3H4SB4ARZ B3H4SB4ARZ

URI	`m2://inv/B3H4SB4ARZ`
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 2609.31327#6IHO (example). In F605BQ3AYX/e1, example 3.3

History

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

pseudo- B3HPC6ZN6G

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

Mentions

wikipedia: Wikipedia Glossary of category theory#UEH8, pseudo- (definition)

History

2026-11-02: add by m2/dev

Plate buckling B3J0R9282R

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

Mentions

wikipedia: Wikipedia Buckling#GWTS, Plate buckling (unknown)

History

2026-11-02: add by m2/dev

B3J4V4WJQ9 B3J4V4WJQ9

URI	`m2://inv/B3J4V4WJQ9`
Kind	definition
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 2510.02019#HS38 (definition). In PD607VXPY3/e1, definition 5

History

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

B3J7YX6RW4 B3J7YX6RW4

URI	`m2://inv/B3J7YX6RW4`
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.23871#XFC2 (statement)

History

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

B3J9M9ZAD4 B3J9M9ZAD4

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

Mentions

active_calculus: active_calculus source/sec-6-2-volume.xml#Ex-6-2-AboutNotY (example). In 907G4C4EJ1, example, section 6.2.4

History

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

balanced prime B3JVW9F0H4

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

Mentions

wikidata: Wikidata Q1934929, balanced prime (object). Also OEIS A006562
wikipedia: Wikipedia Balanced prime, Balanced prime (conjecture). Also Wikidata Q1934929

History

2026-10-26: add by m2/dev

B3JWACTSGQ B3JWACTSGQ

URI	`m2://inv/B3JWACTSGQ`
Kind	definition
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#6HZG (definition)

History

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

B3K8K7NXNQ B3K8K7NXNQ

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

Mentions

arxiv: arXiv 2610.18101#23BF (statement). In XXN6KKXPYF/e1, lemma 4.6

History

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

Low B3KF980DK3

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

Mentions

wikipedia: Wikipedia Low (complexity), Low (definition). Also Wikidata Q6692803

History

2026-11-02: add by m2/dev

Noether's theorem B3KMKS7WKV

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

Mentions

wikipedia: Wikipedia Herglotz's variational principle#MDYJ, Noether's theorem (statement)

History

2026-11-02: add by m2/dev

B3KQVMZDVV B3KQVMZDVV

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

Mentions

napkin: napkin tex/diffgeo/manifolds.tex#definition-6 (definition). In RZP28ERRZV, definition, section 44.7.1

History

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

B3KW79SZQC B3KW79SZQC

URI	`m2://inv/B3KW79SZQC`
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.19812#7UCY (statement). In ZS89RH18QM/e1, lemma 16

History

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

backward difference B3KXBPEAN6

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

Mentions

active_calculus: active_calculus index/1.5.3/backward-difference, backward difference (concept). In 907G4C4EJ1, index, section 1.5.3

History

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

B3MDMST2MF B3MDMST2MF

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

Mentions

arxiv: arXiv 2610.01411#T3MC (statement). In SD28S3K7BT/e1, proposition 29

History

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

B3MDYHQRS9 B3MDYHQRS9

URI	`m2://inv/B3MDYHQRS9`
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.21367#OH9J (statement)

History

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

successor B3MW2509P3

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

Mentions

hott_book: hott_book index/8.1/successor, successor (concept). In N54F33XE07, index, section 8.1

History

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

Richard Eliot Chamberlin B3MYP8VG12

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

Mentions

wikipedia: Wikipedia Richard Eliot Chamberlin, Richard Eliot Chamberlin (topic). Also Wikidata Q25850790

History

2026-11-02: add by m2/dev

Bonnet's theorem B3N0X8DHK7

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

Mentions

wikipedia: Wikipedia Locally nilpotent derivation#CD28, Bonnet's theorem (statement)

History

2026-11-02: add by m2/dev

B3N7CWHM50 B3N7CWHM50

URI	`m2://inv/B3N7CWHM50`
Kind	definition
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.03264#N4TE (definition). In 5TXRSPPTHP/e1, definition 1

History

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

Oleg Yu. Emanouilov B3N7SZKA58

URI	`m2://inv/B3N7SZKA58`
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#J5OC, Oleg Yu. Emanouilov (unknown)

History

2026-11-02: add by m2/dev

B3N8YNQHHZ B3N8YNQHHZ

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

Mentions

open_logic: open_logic content/computability/recursive-functions/sequences.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 4.1

History

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

B3NFWE2QBN B3NFWE2QBN

URI	`m2://inv/B3NFWE2QBN`
Kind	definition
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#T4CC (definition). In 8XAKGH8S2D/e1, definition 4.16

History

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

Farber--Grant--Lupton--Oprea, Farber--Oprea B3NJ0MPP2F

URI	`m2://inv/B3NJ0MPP2F`
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.30579#GPWY, Farber--Grant--Lupton--Oprea, Farber--Oprea (statement). In FDYZFDHZH9/e1, theorem 2.8

History

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

SDDiP B3NKPJNE81

URI	`m2://inv/B3NKPJNE81`
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.12713#PNNU, SDDiP (statement). In F14A5HX20Q/e1, proposition 4.4

History

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

Baire function B3NQHGRDQ5

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

Mentions

wikipedia: Wikipedia List of types of functions#7D8C, Baire function (definition)

History

2026-11-02: add by m2/dev

pointwise convergence B3NRMGSXPE

URI	`m2://inv/B3NRMGSXPE`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Pointwise convergence 0GFGK40582

Mentions

wikidata: Wikidata Q1778098, pointwise convergence (definition). Also EoM Pointwise_convergence, MathWorld PointwiseConvergence, nLab pointwise convergence, ProofWiki Definition:Pointwise_Convergence
wikipedia: Wikipedia Pointwise convergence, Pointwise convergence (definition). Also Wikidata Q1778098

History

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

B3NSJF0237 B3NSJF0237

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

Mentions

arxiv: arXiv 2609.29759#TF6S (statement)

History

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

Séminaire Nicolas Bourbaki B3NWGKWF20

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

Mentions

wikipedia: Wikipedia Séminaire Nicolas Bourbaki, Séminaire Nicolas Bourbaki (definition). Also Wikidata Q3510733

History

2026-11-02: add by m2/dev

B3NXDCHP4R B3NXDCHP4R

URI	`m2://inv/B3NXDCHP4R`
Kind	example
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#0VBZ (example). In 6BVBMTYXNZ/e1, example 5.6

History

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

B3P1MH6BFA B3P1MH6BFA

URI	`m2://inv/B3P1MH6BFA`
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 2605.30285#KHJN (statement). In YMY0NNSM27/e1, lemma 5.11

History

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

Small residual in every expected seminorm B3P2412YBQ

URI	`m2://inv/B3P2412YBQ`
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.19908#NGOX, Small residual in every expected seminorm (statement)

History

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

limitation-of-size conception of set B3PBWE7TPK

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

Mentions

wikipedia: Wikipedia Glossary of set theory#KA7Y, limitation-of-size conception of set (definition)

History

2026-11-02: add by m2/dev

B3PHF0YPR7 B3PHF0YPR7

URI	`m2://inv/B3PHF0YPR7`
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.28509#PWT5 (statement)

History

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

B3PSJP0FFS B3PSJP0FFS

URI	`m2://inv/B3PSJP0FFS`
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.15787#22IT (statement). In BPY9RM0VK7/e1, lemma 2.1

History

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

B3PXY0F4AA B3PXY0F4AA

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

Mentions

open_logic: open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#prop:diamond-2 (statement). In PKGMM3P5QY, prop, section 51.4

History

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

B3Q7JYJDT7 B3Q7JYJDT7

URI	`m2://inv/B3Q7JYJDT7`
Kind	statement
Layer	research
MSC	19-XX, 46-XX, 47-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.17060#PXXT (statement). In 5KR3MHYVV6/e1, proposition 3.11

History

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

Attached shock B3Q7Q95RNC

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

Mentions

wikipedia: Wikipedia Shock wave#FGWN, Attached shock (unknown)

History

2026-11-02: add by m2/dev

B3QKAEVFC5 B3QKAEVFC5

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

Mentions

arxiv: arXiv 2609.39218#75RW (conjecture). In VPZSCE8HFP/e1, conjecture 1.1

History

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

B3QZSDYTF4 B3QZSDYTF4

URI	`m2://inv/B3QZSDYTF4`
Kind	example
Layer	research
MSC	20-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.16834#OAB4 (example). In Q0DTV6PJJW/e1, example 6.4

History

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

B3R3PWVTQA B3R3PWVTQA

URI	`m2://inv/B3R3PWVTQA`
Kind	example
Layer	research
MSC	13-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.10925#0LUC (example). In 9604WYX0BW/e1, example 4.8

History

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

Kendall West B3R3YDV02E

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#0X2J, Kendall West (unknown)

History

2026-11-02: add by m2/dev

Askey–Wilson polynomials B3R7ZD228D

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

Mentions

wikipedia: Wikipedia Askey–Wilson polynomials, Askey–Wilson polynomials (definition). Also Wikidata Q4807191

History

2026-11-02: add by m2/dev

B3R9RRZYG6 B3R9RRZYG6

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

Mentions

arxiv: arXiv 2609.36509#YRM1 (statement). In DPJ15KW23C/e1, proposition 6.7

History

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

B3RWBG0E9M B3RWBG0E9M

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

Mentions

arxiv: arXiv 2609.29531#C4MT (statement)

History

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

B3S32QABZR B3S32QABZR

URI	`m2://inv/B3S32QABZR`
Kind	statement
Layer	research
MSC	26-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.11301#9V17 (statement). In YH1W5A0JTS/e1, corollary 4.4

History

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

B3S3M4KMM0 B3S3M4KMM0

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/MoreInduction.tex#theorem-6 (statement). In P1C114YBXG, theorem, section F

History

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

symplectomorphism B3S6KPSQJ2

URI	`m2://inv/B3S6KPSQJ2`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Symplectomorphism A8TS2SNX9Z

Mentions

wikidata: Wikidata Q1049064, symplectomorphism (unknown). Also MathWorld SymplecticDiffeomorphism, nLab symplectomorphism
wikipedia: Wikipedia Symplectomorphism, Symplectomorphism (definition). Also Wikidata Q1049064

History

2026-10-26: add by m2/dev

B3S6TFWDVD B3S6TFWDVD

URI	`m2://inv/B3S6TFWDVD`
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 2507.17002#WM41 (statement). In 2EEBP88T16/e1, theorem 3.3

History

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

B3SEFPTBVV B3SEFPTBVV

URI	`m2://inv/B3SEFPTBVV`
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.21622#87OX (statement). In H21X3FHNYJ/e1, theorem 6.3

History

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

Mezhgorye, Bashkortostan B3SG92DZT2

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

Mentions

wikipedia: Wikipedia List of places with numeric names#1P4I, Mezhgorye, Bashkortostan (unknown)

History

2026-11-02: add by m2/dev

undecic B3SJRT77BC

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#512E, undecic (definition)

History

2026-11-02: add by m2/dev

Martin Hyland B3SKYESRQW

URI	`m2://inv/B3SKYESRQW`
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 Q6775742, Martin Hyland (unknown). Also nLab Martin Hyland

History

2026-10-26: add by m2/dev

B3SPY351ZM B3SPY351ZM

URI	`m2://inv/B3SPY351ZM`
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 0904.0817#UO91 (definition). In 569FZDANV3/e1, definition 1.9

History

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

Growth bound of perturbations B3SQDHBA4A

URI	`m2://inv/B3SQDHBA4A`
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 2204.00678#O9F7, Growth bound of perturbations (statement). In RX70Y35BYJ/e1, lemma 6

History

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

Examples B3SXDXFSSP

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

Mentions

wikipedia: Wikipedia Long division#R1K1, Examples (example)

History

2026-11-02: add by m2/dev

contour B3SY21H4YD

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

Mentions

wikidata: Wikidata Q120726075, contour (definition). Also MathWorld Contour, ProofWiki Definition:Contour/Complex_Plane

History

2026-10-26: add by m2/dev

B3SZ48MRPQ B3SZ48MRPQ

URI	`m2://inv/B3SZ48MRPQ`
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 1712.02437#ADKU (example). In GZDFK652T9/e1, example 6.5

History

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

B3T29T0JFM B3T29T0JFM

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

Mentions

arxiv: arXiv 2610.06707#PJWY (statement). In 9TR5E527P5/e1, lemma 4.3

History

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

B3T39Y0VSH B3T39Y0VSH

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

Mentions

arxiv: arXiv 2609.27872#SBSS (statement)

History

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

Artin character B3TCZNKRR2

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

Mentions

wikipedia: Wikipedia List of things named after Emil Artin#ZOCD, Artin character (definition)

History

2026-11-02: add by m2/dev

Squared ranks test B3TVX2KFMV

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

Mentions

wikipedia: Wikipedia Squared ranks test, Squared ranks test (definition). Also Wikidata Q28455288

History

2026-11-02: add by m2/dev

Applications B3TXX6GV2M

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

Mentions

wikipedia: Wikipedia Hexagonal sampling#JLX7, Applications (example)

History

2026-11-02: add by m2/dev

B3V1ZWZ3FM B3V1ZWZ3FM

URI	`m2://inv/B3V1ZWZ3FM`
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.06438#UTX2 (statement). In Z633BH3HER/e1, lemma 2.2

History

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

B3V5AKHPDH B3V5AKHPDH

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

Mentions

arxiv: arXiv 2609.31274#EGJT (statement). In RK0ZMDJ23T/e1, lemma 2.3.6

History

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

Joint smoothing and a radial affine model B3V8EHFBWS

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

Mentions

arxiv: arXiv 2610.15202#6ML1, Joint smoothing and a radial affine model (statement). In X1FPG0KYBM/e1, lemma K.1

History

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

B3VC7C9YS7 B3VC7C9YS7

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

Mentions

arxiv: arXiv 2610.12054#ERUE (definition). In 1A01NFHBGA/e1, definition 2.15

History

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

TRESOR B3VG0EFFAH

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

Mentions

wikipedia: Wikipedia TRESOR, TRESOR (definition). Also Wikidata Q7671315

History

2026-11-02: add by m2/dev

Persistence of a positive seed B3VJTKQS0E

URI	`m2://inv/B3VJTKQS0E`
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.21328#AHVR, Persistence of a positive seed (statement). In BJXVV4ZF7B/e1, lemma 6.1

History

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

B3VT80H3BA B3VT80H3BA

URI	`m2://inv/B3VT80H3BA`
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.03520#QPX3 (statement). In CSRZ9CWK69/e1, lemma 8.9

History

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

B3VZ4RDSX3 B3VZ4RDSX3

URI	`m2://inv/B3VZ4RDSX3`
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.17691#JUFT (statement). In AT8VD3XB8M/e1, proposition 2.4

History

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

Etymological fallacy B3W24WM58A

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

Mentions

wikipedia: Wikipedia List of fallacies#0ZUA, Etymological fallacy (definition)

History

2026-11-02: add by m2/dev

Algebraic fill reduction B3WAP17JNB

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

Mentions

arxiv: arXiv 2610.19669#8G3W, Algebraic fill reduction (statement). In 1QPAA94Q76/e1, lemma 13

History

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

Alice T. Schafer Prize B3WEZWQD7V

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

Mentions

wikipedia: Wikipedia Alice T. Schafer Prize, Alice T. Schafer Prize (definition). Also Wikidata Q55647600

History

2026-11-02: add by m2/dev

B3WHQ0E1JC B3WHQ0E1JC

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

Mentions

arxiv: arXiv 2108.10246#W9UE (definition). In XD0YT3XCW2/e1, definition 2.23

History

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

SO(8) B3WHVVB829

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

Mentions

wikipedia: Wikipedia SO(8), SO(8) (definition). Also Wikidata Q7391963

History

2026-11-02: add by m2/dev

Theorem (Chen) B3WMJJ039E

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

Mentions

wikipedia: Wikipedia Möbius plane#XJ8L, Theorem (Chen) (statement)

History

2026-11-02: add by m2/dev

Price-Jones curve B3X77JDP0N

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

Mentions

wikipedia: Wikipedia Price-Jones curve, Price-Jones curve (definition). Also Wikidata Q1793248

History

2026-11-02: add by m2/dev

B3X7BZ7KAV B3X7BZ7KAV

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

Mentions

arxiv: arXiv 2610.16203#LCTG (statement). In 43TBS9P2PX/e1, theorem 1.4

History

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

nibble B3XBNNRGC8

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

Mentions

wikidata: Wikidata Q740943, nibble (unknown). Also MathWorld Nibble

History

2026-10-26: add by m2/dev

General correlation coefficient B3XH40CVNN

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

Mentions

wikipedia: Wikipedia Rank correlation#D4XH, General correlation coefficient (unknown)

History

2026-11-02: add by m2/dev

Existence of robust inner CSS gadgets B3XYC26DHR

URI	`m2://inv/B3XYC26DHR`
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.40252#14XO, Existence of robust inner CSS gadgets (statement). In 7MVPNFPRKB/e1, theorem 11.10

History

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

B3XZ5Y541N B3XZ5Y541N

URI	`m2://inv/B3XZ5Y541N`
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 2609.30015#RMBO (statement)

History

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

Examples B3Y01XBNW7

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

Mentions

wikipedia: Wikipedia Preconditioner#2KX1, Examples (example)

History

2026-11-02: add by m2/dev

Schröder rules B3Y14YNWKN

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

Mentions

wikipedia: Wikipedia Composition of relations#H9F6, Schröder rules (unknown)

History

2026-11-02: add by m2/dev

Example 2 B3Y17HZS90

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

Mentions

wikipedia: Wikipedia Loewy decomposition#59QW, Example 2 (example)

History

2026-11-02: add by m2/dev

Definition B3Y322MVGW

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

Mentions

wikipedia: Wikipedia Incomplete gamma function#Z3F1, Definition (definition)

History

2026-11-02: add by m2/dev

Definition B3YBZF8CBZ

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

Mentions

wikipedia: Wikipedia Centering matrix#9N3Y, Definition (definition)

History

2026-11-02: add by m2/dev

B3YH52STRF B3YH52STRF

URI	`m2://inv/B3YH52STRF`
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 2608.24190#PW2T (statement). In DW7FVA587C/e1, proposition 3.2

History

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

B3YJ9FTZVC B3YJ9FTZVC

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

Mentions

arxiv: arXiv 1010.3284#HZIY (statement). In 7D3VBRZGMY/e1, theorem 3.1

History

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

Jan Brinkhuis B3YPGDJA6B

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

Mentions

wikipedia: Wikipedia Jan Brinkhuis, Jan Brinkhuis (topic). Also Wikidata Q11110326

History

2026-11-02: add by m2/dev

Statement of the law B3YZ5NBAM3

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

Mentions

wikipedia: Wikipedia Stokes's law#12BH, Statement of the law (statement)

History

2026-11-02: add by m2/dev

Quillen's theorems A and B B3YZPX7C15

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

Mentions

wikipedia: Wikipedia Quillen's theorems A and B, Quillen's theorems A and B (statement). Also Wikidata Q17126077

History

2026-11-02: add by m2/dev

Susan Shortreed B3Z54MPJK1

URI	`m2://inv/B3Z54MPJK1`
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#I8ZN, Susan Shortreed (unknown)

History

2026-11-02: add by m2/dev

Brauer's first main theorem B3Z7MN8MPJ

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

Mentions

wikipedia: Wikipedia Brauer's three main theorems#W9WY, Brauer's first main theorem (statement)

History

2026-11-02: add by m2/dev

Antoni Przeborski B3Z9TGH8M6

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

Mentions

wikipedia: Wikipedia Antoni Przeborski, Antoni Przeborski (topic). Also Wikidata Q96748474

History

2026-11-02: add by m2/dev

toroidal crossing number B3ZBQQY1W0

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

Mentions

wikidata: Wikidata Q123375268, toroidal crossing number (unknown). Also MathWorld ToroidalCrossingNumber

History

2026-10-26: add by m2/dev

B3ZCMH1ACY B3ZCMH1ACY

URI	`m2://inv/B3ZCMH1ACY`
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.14068#EZMA (statement). In JF19FEH3SW/e1, lemma 4.2

History

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

Appeal to novelty B3ZK6R4SFJ

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

Mentions

wikipedia: Wikipedia Appeal to novelty, Appeal to novelty (definition). Also Wikidata Q2861102

History

2026-11-02: add by m2/dev

Wishart distribution B3ZMB1Y4V5

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

Mentions

wikipedia: Wikipedia List of probability distributions#IML9, Wishart distribution (definition)

History

2026-11-02: add by m2/dev

Notation B3ZSPPR13M

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

Mentions

wikipedia: Wikipedia Langlands classification#EEP8, Notation (definition)

History

2026-11-02: add by m2/dev