Inventory rows 9T

Harish-Chandra 9T03HHHG6Y

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#YXH8, Harish-Chandra (topic)

History

2026-11-02: add by m2/dev

propositional, logic 9T07HEGCQ0

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

Mentions

hott_book: hott_book index/A.11/propositional-logic, propositional, logic (concept). In N54F33XE07, index, section A.11

History

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

stability 9T09AJDVJB

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

Mentions

mathlib_undergrad: mathlib_undergrad Numerical Analysis > Ordinary differential equations > stability, stability (unknown)

History

2026-10-26: add by m2/dev

Properties 9T09V3P4KS

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

Mentions

wikipedia: Wikipedia Invertible matrix#C21G, Properties (statement)

History

2026-11-02: add by m2/dev

Automatic feasibility in a fixed nested pair 9T0EQ89TMT

URI	`m2://inv/9T0EQ89TMT`
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#6SB8, Automatic feasibility in a fixed nested pair (statement). In 7MVPNFPRKB/e1, lemma 3.3

History

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

big 9T0Q15RA6F

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#TOGQ, big (definition)

History

2026-11-02: add by m2/dev

The local charts share one global frame 9T0QRBF59C

URI	`m2://inv/9T0QRBF59C`
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.10192#ZFSW, The local charts share one global frame (statement). In CEV9Q1KZY7/e1, lemma 4

History

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

9T12QAV95D 9T12QAV95D

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

Mentions

arxiv: arXiv 2610.01216#70UV (statement). In 59016RQTW6/e1, lemma 9.1

History

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

9T16ZFG6WY 9T16ZFG6WY

URI	`m2://inv/9T16ZFG6WY`
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.07122#XLAG (statement). In W0ZHX9DHPV/e1, proposition 9

History

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

Weight elements and meridianal automorphisms 9T19FWJ9X6

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

Mentions

arxiv: arXiv 2609.29839#08RF, Weight elements and meridianal automorphisms (definition)

History

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

A Guide to the Classification Theorem for Compact Surfaces 9T1R35EGY6

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

Mentions

wikipedia: Wikipedia A Guide to the Classification Theorem for Compact Surfaces, A Guide to the Classification Theorem for Compact Surfaces (statement). Also Wikidata Q57380283

History

2026-11-02: add by m2/dev

9T1SSJQKDR 9T1SSJQKDR

URI	`m2://inv/9T1SSJQKDR`
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.18358#VYY0 (statement). In SPZ446XNDW/e1, lemma 6.1

History

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

Italo Jose Dejter 9T1VEV3HNY

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

Mentions

wikipedia: Wikipedia Italo Jose Dejter, Italo Jose Dejter (topic). Also Wikidata Q14492089

History

2026-11-02: add by m2/dev

Equal overlap and pivot count, unbounded work ratio 9T1ZAWX2NV

URI	`m2://inv/9T1ZAWX2NV`
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.20892#ZSZ5, Equal overlap and pivot count, unbounded work ratio (statement). In CPEWVB0XHR/e1, theorem 1

History

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

Vakhitov–Kolokolov stability criterion 9T23J81KSR

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

Mentions

wikipedia: Wikipedia Vakhitov–Kolokolov stability criterion, Vakhitov–Kolokolov stability criterion (statement). Also Wikidata Q7908981

History

2026-11-02: add by m2/dev

Coulomb gauge 9T23XXKP4G

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

Mentions

wikidata: Wikidata Q56296592, Coulomb gauge (unknown). Also nLab Coulomb gauge

History

2026-10-26: add by m2/dev

9T2B0FMNWZ 9T2B0FMNWZ

URI	`m2://inv/9T2B0FMNWZ`
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 0809.4587#HIZ3 (statement). In KQ8JPHDKKE/e1, proposition 9.4.10

History

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

9T2FDTYNPE 9T2FDTYNPE

URI	`m2://inv/9T2FDTYNPE`
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.25038#MTIS (statement)

History

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

Exergy 9T2K4A0VN5

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

Mentions

wikipedia: Wikipedia Exergy, Exergy (definition). Also Wikidata Q663290

History

2026-11-02: add by m2/dev

Hacoversine 9T2WEXTKHG

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#W4C7, Hacoversine (definition)

History

2026-11-02: add by m2/dev

Properties 9T2ZF9KFMB

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

Mentions

wikipedia: Wikipedia Fréchet distribution#02X3, Properties (statement)

History

2026-11-02: add by m2/dev

Frank Wilcoxon 9T31QXJP7R

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

Mentions

wikipedia: Wikipedia Frank Wilcoxon, Frank Wilcoxon (topic). Also Wikidata Q617374

History

2026-11-02: add by m2/dev

9T328QWFV6 9T328QWFV6

URI	`m2://inv/9T328QWFV6`
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#RK05 (statement). In 9TR5E527P5/e1, lemma 6.9

History

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

9T33567JEZ 9T33567JEZ

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

History

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

Generalizations 9T36F7JERZ

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

Mentions

wikipedia: Wikipedia Regular prime#3S2Y, Generalizations (statement)

History

2026-11-02: add by m2/dev

Applications 9T386GYMHP

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

Mentions

wikipedia: Wikipedia Struve function#ZK4O, Applications (example)

History

2026-11-02: add by m2/dev

Jacobi's theorem 9T38R1JQ5E

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

Mentions

wikipedia: Wikipedia Jacobi's theorem (geometry), Jacobi's theorem (statement). Also Wikidata Q1980541

History

2026-11-02: add by m2/dev

9T3B7V20MD 9T3B7V20MD

URI	`m2://inv/9T3B7V20MD`
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 2104.00162#DRDL (statement). In HVGT9D84WV/e1, proposition 2.17

History

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

9T3FE9J6RY 9T3FE9J6RY

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

Mentions

arxiv: arXiv 2402.17852#FK0R (definition). In 1WCXV5PVZA/e1, definition 2.11

History

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

theory 9T3FEXKHSV

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

Mentions

wikipedia: Wikipedia Glossary of logic#LTEE, theory (definition)

History

2026-11-02: add by m2/dev

Examples 9T3H3P9X82

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

Mentions

wikipedia: Wikipedia Convex function#NQTT, Examples (example)

History

2026-11-02: add by m2/dev

Paired thresholds 9T3PCC8GN9

URI	`m2://inv/9T3PCC8GN9`
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#DJ4V, Paired thresholds (statement). In 3RBKH0DA74/e1, lemma 4.4

History

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

Statement of the lemma 9T3TDZ02C1

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

Mentions

wikipedia: Wikipedia Cotlar–Stein lemma#EPD8, Statement of the lemma (statement)

History

2026-11-02: add by m2/dev

9T3TFVA2Y8 9T3TFVA2Y8

URI	`m2://inv/9T3TFVA2Y8`
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.14450#GN2Q (statement). In ZHTGQT07PE/e1, lemma 4.22

History

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

9T3YDCNW6Q 9T3YDCNW6Q

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

Mentions

arxiv: arXiv 2609.33941#IE8J (statement). In 64YCRQCKZN/e1, lemma 3.3

History

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

9T41P5RJQ7 9T41P5RJQ7

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

Mentions

arxiv: arXiv 2609.23119#Q7OP (statement)

History

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

Uses 9T446JPR05

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

Mentions

wikipedia: Wikipedia TPL Tables#UZFU, Uses (example)

History

2026-11-02: add by m2/dev

9T4BX1B0RY 9T4BX1B0RY

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

Mentions

arxiv: arXiv 2610.03517#I50F (statement). In 3CGS9GSKTQ/e1, theorem 4.1

History

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

9T4D53PZXB 9T4D53PZXB

URI	`m2://inv/9T4D53PZXB`
Kind	unknown
Layer	research
MSC	14-XX, 53-XX, 81-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.21960#RCPQ (unknown). In QX77AN49J0/e1, unknown

History

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

Special cases 9T4M14RB5C

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

Mentions

wikipedia: Wikipedia 3-dimensional matching#4OY2, Special cases (statement)

History

2026-11-02: add by m2/dev

Shlomo Sternberg 9T4P4X860V

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

Mentions

wikidata: Wikidata Q381310, Shlomo Sternberg (unknown). Also nLab Shlomo Sternberg
wikipedia: Wikipedia Shlomo Sternberg, Shlomo Sternberg (topic). Also Wikidata Q381310

History

2026-10-26: add by m2/dev

9T4P7NDT2V 9T4P7NDT2V

URI	`m2://inv/9T4P7NDT2V`
Kind	definition
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 2311.16205#8AM9 (definition). In 3GE9PS9AH0/e1, definition 4.1.2

History

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

primitive recursive arithmetic 9T53849XE8

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

Mentions

wikidata: Wikidata Q7243580, primitive recursive arithmetic (unknown). Also nLab primitive recursive arithmetic
wikipedia: Wikipedia Primitive recursive arithmetic, Primitive recursive arithmetic (definition). Also Wikidata Q7243580

History

2026-10-26: add by m2/dev

9T53BDZ005 9T53BDZ005

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

Mentions

napkin: napkin tex/diffgeo/manifolds.tex#corollary-1 (statement). In RZP28ERRZV, corollary, section 44.3

History

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

Ran Raz 9T53KQCY2F

URI	`m2://inv/9T53KQCY2F`
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#K5LJ, Ran Raz (unknown)

History

2026-11-02: add by m2/dev

9T5A702C8J 9T5A702C8J

URI	`m2://inv/9T5A702C8J`
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.03238#FCLL (statement). In 5PG581A1GK/e1, proposition 18

History

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

small 9T5EVZHVYB

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

Mentions

wikipedia: Wikipedia Glossary of set theory#79DJ, small (definition)

History

2026-11-02: add by m2/dev

9T5G81BGWA 9T5G81BGWA

URI	`m2://inv/9T5G81BGWA`
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 2609.24465#TC19 (statement)

History

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

9T5GAPTWC7 9T5GAPTWC7

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

Mentions

open_logic: open_logic content/first-order-logic/completeness/compactness-direct.tex#prop:fsat-ccs (statement). In PKGMM3P5QY, prop, section 9.8

History

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

Examples 9T5NCCRBHJ

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

Mentions

wikipedia: Wikipedia Slowly varying function#UB3C, Examples (example)

History

2026-11-02: add by m2/dev

Faraday effect 9T5XP5FZD4

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

Mentions

wikipedia: Wikipedia Faraday effect, Faraday effect (definition). Also Wikidata Q848501

History

2026-11-02: add by m2/dev

9T66G3X3TB 9T66G3X3TB

URI	`m2://inv/9T66G3X3TB`
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.30302#YE66 (statement). In R6ABTE22G0/e1, theorem 1

History

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

Ludwig Immanuel Magnus 9T6BX0WFQB

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#SEWG, Ludwig Immanuel Magnus (topic)

History

2026-11-02: add by m2/dev

Handshake Lemma 9T6E9CJ376

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_gt-intro.ptx#lem-handshake, Handshake Lemma (statement). In Y91XFCEVHQ, lemma, section 5.1

History

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

Definition 9T6F4CRTV3

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

Mentions

wikipedia: Wikipedia Causal model#QG6Y, Definition (definition)

History

2026-11-02: add by m2/dev

9T6FKGXHZQ 9T6FKGXHZQ

URI	`m2://inv/9T6FKGXHZQ`
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#4IQU (statement). In R6KSZ9H8CY/e1, lemma 5.6

History

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

9T6HXBE1DT 9T6HXBE1DT

URI	`m2://inv/9T6HXBE1DT`
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.06206#MD0T (statement). In A7611PTXVQ/e1, proposition 3.3

History

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

Existence and uniqueness 9T6Q3HGC8X

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

Mentions

wikipedia: Wikipedia Urysohn universal space#YI3K, Existence and uniqueness (statement)

History

2026-11-02: add by m2/dev

9T6YQB5NVT 9T6YQB5NVT

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

Mentions

arxiv: arXiv 2509.09379#ON0O (statement). In DJXA86KDY8/e1, lemma 2.3

History

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

Ptolemy's inequality 9T72RR3GJ0

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

Mentions

wikipedia: Wikipedia Inner product space#19TF, Ptolemy's inequality (definition)

History

2026-11-02: add by m2/dev

Lou--Lin 9T7A3FXYZF

URI	`m2://inv/9T7A3FXYZF`
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.08599#I0OY, Lou--Lin (statement). In DST9FWMHT6/e1, theorem 5.2

History

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

9T7M0G6M5R 9T7M0G6M5R

URI	`m2://inv/9T7M0G6M5R`
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 2510.12502#TH9C (statement). In 3A4K47Y9F2/e1, lemma 5.8

History

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

Generalizations 9T7S83FWGZ

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

Mentions

wikipedia: Wikipedia Double factorial#MO3B, Generalizations (statement)

History

2026-11-02: add by m2/dev

Set inversion 9T7XF8DKS3

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

Mentions

wikipedia: Wikipedia Set inversion, Set inversion (definition). Also Wikidata Q17144070

History

2026-11-02: add by m2/dev

9T86GHZE2V 9T86GHZE2V

URI	`m2://inv/9T86GHZE2V`
Kind	statement
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 2610.03231#95PJ (statement). In 3Y76AQQGF0/e1, proposition 9.6

History

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

Paraconsistent mathematics 9T8B2Z8DQA

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

Mentions

wikipedia: Wikipedia Paraconsistent mathematics, Paraconsistent mathematics (definition). Also Wikidata Q7134013

History

2026-11-02: add by m2/dev

Hong Kong Mathematical High Achievers Selection Contest 9T8B96AXDP

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#0ZYI, Hong Kong Mathematical High Achievers Selection Contest (unknown)

History

2026-11-02: add by m2/dev

9T8F5RA3KN 9T8F5RA3KN

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

Mentions

arxiv: arXiv 2610.13957#2WH0 (statement). In H1W6SNC2MJ/e1, lemma 3.2

History

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

Properties 9T8P4DC6RA

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

Mentions

wikipedia: Wikipedia Collectionwise normal space#KL8B, Properties (statement)

History

2026-11-02: add by m2/dev

9T8PABCZC0 9T8PABCZC0

URI	`m2://inv/9T8PABCZC0`
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.01029#K830 (statement). In KA8VS65Z9G/e1, proposition 15

History

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

Distortion free energy density 9T8R4WAH11

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

Mentions

wikipedia: Wikipedia Distortion free energy density, Distortion free energy density (definition). Also Wikidata Q5283071

History

2026-11-02: add by m2/dev

Unique homomorphic extension theorem 9T8W7P1XPR

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

Mentions

wikipedia: Wikipedia List of theorems#OQ9P, Unique homomorphic extension theorem (statement)

History

2026-11-02: add by m2/dev

Witt ideals 9T8WB2N4RG

URI	`m2://inv/9T8WB2N4RG`
Kind	definition
Layer	research
MSC	11-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.18246#CY31, Witt ideals (definition). In SN6F0MPPVF/e1, definition 2.2

History

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

9T8WSHK90M 9T8WSHK90M

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

Mentions

arxiv: arXiv 2601.22681#7H7X (example). In 68VEQQX68G/e1, example 3.9

History

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

RL 9T8YH9H7Q1

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

Mentions

wikipedia: Wikipedia RL (complexity), RL (definition). Also Wikidata Q579152

History

2026-11-02: add by m2/dev

Jon A. Wellner 9T93FY9Q7C

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

Mentions

wikipedia: Wikipedia Jon A. Wellner, Jon A. Wellner (topic). Also Wikidata Q102086698

History

2026-11-02: add by m2/dev

Derived category 9T968HME04

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

Mentions

wikipedia: Wikipedia List of homological algebra topics#H1RT, Derived category (definition)
wikipedia: Wikipedia List of algebraic topology topics#Y117, Derived category (definition)
wikipedia: Wikipedia List of algebraic geometry topics#8C0T, Derived category (definition)

History

2026-11-02: add by m2/dev

Nonsensitive-block criterion 9T977WW9TT

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

Mentions

arxiv: arXiv 2610.17100#OL38, Nonsensitive-block criterion (statement). In 4TSS52DMB2/e1, theorem 2.7

History

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

9T9A1BXETD 9T9A1BXETD

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

Mentions

arxiv: arXiv 2610.14060#KL4B (statement). In X47RYAZF8P/e1, corollary 11.3

History

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

9T9AAJD369 9T9AAJD369

URI	`m2://inv/9T9AAJD369`
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.02901#Q707 (statement). In NSP90G5XCQ/e1, theorem 2.6

History

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

Induced almost contact metric structure 9T9BM27Y9E

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

Mentions

arxiv: arXiv 2610.00078#MUHE, Induced almost contact metric structure (definition). In KXYGWSGP9M/e1, definition 2.2

History

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

9T9D72QPNN 9T9D72QPNN

URI	`m2://inv/9T9D72QPNN`
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 2609.23279#6FN5 (definition)

History

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

Yates analysis 9T9GCDDMHW

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

Mentions

wikipedia: Wikipedia Yates analysis, Yates analysis (definition). Also Wikidata Q17090899

History

2026-11-02: add by m2/dev

9T9GKN3WKD 9T9GKN3WKD

URI	`m2://inv/9T9GKN3WKD`
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 2312.14319#EZHP (statement). In V0S2EZ53GB/e1, corollary 2.14

History

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

Finite dimensional Hilbert spaces 9T9HCJ7X1T

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

Mentions

wikipedia: Wikipedia Euclidean space#QTE5, Finite dimensional Hilbert spaces (unknown)

History

2026-11-02: add by m2/dev

9T9YE2JM8X 9T9YE2JM8X

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

Mentions

arxiv: arXiv 2610.02481#VVZ6 (definition). In 5HACFNFY0P/e1, definition 2.2

History

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

Serre 9T9ZV7SQKM

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#HGC3, Serre (definition)

History

2026-11-02: add by m2/dev

Derivation of the explicit formula for continuous semimartingales 9TA56Y4BD4

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

Mentions

wikipedia: Wikipedia Doléans-Dade exponential#EB0M, Derivation of the explicit formula for continuous semimartingales (statement)

History

2026-11-02: add by m2/dev

Formulas 9TA5BJQQXJ

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

Mentions

wikipedia: Wikipedia Trilinear coordinates#GRWB, Formulas (statement)

History

2026-11-02: add by m2/dev

Properties 9TABWKHM2E

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

Mentions

wikipedia: Wikipedia FK-AK space#N4P1, Properties (statement)

History

2026-11-02: add by m2/dev

9TAJY640E7 9TAJY640E7

URI	`m2://inv/9TAJY640E7`
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.08198#7JCO (statement). In 50K0H8HRED/e1, theorem 4.3

History

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

Errett Bishop 9TAM000P94

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

Mentions

wikidata: Wikidata Q1361544, Errett Bishop (unknown). Also nLab Errett Bishop
wikipedia: Wikipedia Errett Bishop, Errett Bishop (topic). Also Wikidata Q1361544

History

2026-10-26: add by m2/dev

Hadwiger's theorem 9TAWEWW9H7

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

Mentions

wikipedia: Wikipedia List of convexity topics#KM3W, Hadwiger's theorem (statement)

History

2026-11-02: add by m2/dev

Aaron Robertson 9TAXNJ4FM6

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

Mentions

wikipedia: Wikipedia Aaron Robertson (mathematician), Aaron Robertson (topic). Also Wikidata Q102192763

History

2026-11-02: add by m2/dev

Francesco Mainardi 9TAY99W99K

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

Mentions

wikipedia: Wikipedia Francesco Mainardi, Francesco Mainardi (topic). Also Wikidata Q16105992

History

2026-11-02: add by m2/dev

Jerome K. Percus 9TB25709NQ

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

Mentions

wikipedia: Wikipedia Jerome K. Percus, Jerome K. Percus (topic). Also Wikidata Q31270360

History

2026-11-02: add by m2/dev

Zoltán Szabó 9TB4BVF5EA

URI	`m2://inv/9TB4BVF5EA`
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#HIZ6, Zoltán Szabó (unknown)

History

2026-11-02: add by m2/dev

Lagrangian relaxation 9TB51563RJ

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

Mentions

wikipedia: Wikipedia Lagrangian relaxation, Lagrangian relaxation (definition). Also Wikidata Q3424292

History

2026-11-02: add by m2/dev

9TB8QZQ7YN 9TB8QZQ7YN

URI	`m2://inv/9TB8QZQ7YN`
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 2211.14214#KTT8 (statement). In SY85Y9E45A/e1, lemma 44

History

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

9TBAVZQX1G 9TBAVZQX1G

URI	`m2://inv/9TBAVZQX1G`
Kind	definition
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.14012#H8LH (definition). In B8M5XAJASD/e1, definition

History

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

9TBEW7D6DP 9TBEW7D6DP

URI	`m2://inv/9TBEW7D6DP`
Kind	definition
Layer	research
MSC	03-XX, 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.31445#VIR7 (definition). In 7V2PVZS04C/e1, definition 4.4

History

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

Pairwise compatibility graph 9TBKXJ5CYB

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

Mentions

wikipedia: Wikipedia Pairwise compatibility graph, Pairwise compatibility graph (definition). Also Wikidata Q111169660

History

2026-11-02: add by m2/dev

9TBQS1723X 9TBQS1723X

URI	`m2://inv/9TBQS1723X`
Kind	definition
Layer	research
MSC	16-XX, 18-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.30262#YEEW (definition). In FWA5QW6FCF/e1, definition 4.8

History

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

9TBR7RFQXG 9TBR7RFQXG

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

Mentions

arxiv: arXiv 2303.09207#3HUG (definition). In 9DQKY7KGE8/e1, definition 3.2

History

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

List of the first 1000 prime numbers 9TBRC803SG

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

Mentions

wikipedia: Wikipedia List of prime numbers#JN4M, List of the first 1000 prime numbers (unknown)

History

2026-11-02: add by m2/dev

Probabilistic signature scheme 9TBWN3M7QN

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

Mentions

wikipedia: Wikipedia Probabilistic signature scheme, Probabilistic signature scheme (definition). Also Wikidata Q2111493

History

2026-11-02: add by m2/dev

9TBWYV31D9 9TBWYV31D9

URI	`m2://inv/9TBWYV31D9`
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.07963#ZFU3 (statement). In HAGJKEZ1CK/e1, theorem 4.8

History

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

Hans Reichenbach 9TC3HDS0MD

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#X0JC, Hans Reichenbach (topic)

History

2026-11-02: add by m2/dev

Stein identity on the simplex 9TC6QA4S1T

URI	`m2://inv/9TC6QA4S1T`
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.11619#WZLS, Stein identity on the simplex (statement). In HT2K76Y9WS/e1, lemma B.7

History

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

9TCBVFNE74 9TCBVFNE74

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

Mentions

arxiv: arXiv 2609.20675#0GQJ (statement)

History

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

Schweizer-Sklar t-norms 9TCE0JRSXQ

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

Mentions

wikipedia: Wikipedia Construction of t-norms#7GLX, Schweizer-Sklar t-norms (unknown)

History

2026-11-02: add by m2/dev

Open-label trial 9TCNEYEN3P

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

Mentions

wikipedia: Wikipedia Open-label trial, Open-label trial (definition). Also Wikidata Q3813242

History

2026-11-02: add by m2/dev

distributive predication 9TCWTQVEXM

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

Mentions

wikipedia: Wikipedia Glossary of logic#76WA, distributive predication (definition)

History

2026-11-02: add by m2/dev

Model information does not determine the tradeoff 9TD2FAXWW0

URI	`m2://inv/9TD2FAXWW0`
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.09206#C89A, Model information does not determine the tradeoff (statement). In T7R1Q29DQK/e1, proposition H.5

History

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

Coefficient chain 9TDBC0DA0K

URI	`m2://inv/9TDBC0DA0K`
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#C51A, Coefficient chain (statement). In JK8PYKCZRA/e1, proposition 5.2

History

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

Kurt Gödel 9TDC5T2GXV

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#6KK3, Kurt Gödel (topic)

History

2026-11-02: add by m2/dev

Quantum indeterminacy 9TDCA42Y68

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#EXWG, Quantum indeterminacy (unknown)

History

2026-11-02: add by m2/dev

9TDTXQK6KT 9TDTXQK6KT

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

Mentions

arxiv: arXiv 2610.21627#H0AI (example). In 4Z44S003HM/e1, example 1

History

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

9TDV93MSYB 9TDV93MSYB

URI	`m2://inv/9TDV93MSYB`
Kind	definition
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 2502.02777#ONO7 (definition). In D8T5GDXERW/e1, definition 1

History

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

local extrema 9TDVM6NVSQ

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

Mentions

mathlib_overview: mathlib_overview Analysis > Differentiability > local extrema, local extrema (unknown). Also Mathlib IsLocalMin.fderiv_eq_zero
mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > local extrema, local extrema (unknown). Also Mathlib IsLocalMin.fderiv_eq_zero

History

2026-10-26: add by m2/dev

9TDZHWQP3H 9TDZHWQP3H

URI	`m2://inv/9TDZHWQP3H`
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.15405#OM8E (statement). In 9QCYCXVF5W/e1, proposition 5.1

History

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

equivalent 9TE01JA11D

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

Mentions

wikipedia: Wikipedia Glossary of logic#L3PA, equivalent (definition)

History

2026-11-02: add by m2/dev

Collapse of branches 9TE252VC23

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

Mentions

arxiv: arXiv 2609.32916#2M6E, Collapse of branches (statement). In G1RP4JY5PE/e1, proposition 5.4.14

History

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

Applications 9TEB2HC4X1

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

Mentions

wikipedia: Wikipedia Log structure#UHC6, Applications (example)

History

2026-11-02: add by m2/dev

9TEF5QZZVK 9TEF5QZZVK

URI	`m2://inv/9TEF5QZZVK`
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 2312.05005#5YHT (statement). In SMJMAQ2S3J/e1, proposition 11

History

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

9TEFPZANER 9TEFPZANER

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

Mentions

arxiv: arXiv 2610.18620#4XQJ (statement). In 6WJ0R9YEBR/e1, lemma 6.14

History

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

9TEN11TFYZ 9TEN11TFYZ

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

Mentions

arxiv: arXiv 2609.26357#SVLH (statement)

History

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

Frank Grosshans 9TEP3BKA4R

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

Mentions

wikipedia: Wikipedia Frank Grosshans, Frank Grosshans (topic). Also Wikidata Q5486970

History

2026-11-02: add by m2/dev

Good Event 3 9TF26PX9QZ

URI	`m2://inv/9TF26PX9QZ`
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.04600#4UAG, Good Event 3 (statement). In 4V64K0DYSV/e1, lemma I.3

History

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

Dense order 9TF2YJXD2S

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

Mentions

wikipedia: Wikipedia Dense order, Dense order (definition). Also Wikidata Q194699

History

2026-11-02: add by m2/dev

Lubin–Tate formal group laws 9TF61RNFRB

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

Mentions

wikipedia: Wikipedia Formal group law#0ZFA, Lubin–Tate formal group laws (statement)

History

2026-11-02: add by m2/dev

ALGOL 9TF7BG656C

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

Mentions

wikidata: Wikidata Q188436, ALGOL (unknown). Also EoM Algorithmic_language

History

2026-10-26: add by m2/dev

annihilator 9TFDCBGCMG

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

Mentions

wikipedia: Wikipedia Glossary of module theory#IQRA, annihilator (definition)

History

2026-11-02: add by m2/dev

9TFN16K1R0 9TFN16K1R0

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

Mentions

open_logic: open_logic content/intuitionistic-logic/tableaux/proofs.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 34.4

History

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

Example 9TFN7ZBAN9

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

Mentions

wikipedia: Wikipedia Linear code#YBG2, Example (example)

History

2026-11-02: add by m2/dev

9TFN9DQ8ZC 9TFN9DQ8ZC

URI	`m2://inv/9TFN9DQ8ZC`
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.26386#Y6PA (statement)

History

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

complex-analytic variety 9TFNH5ATYE

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

Mentions

wikidata: Wikidata Q3889649, complex-analytic variety (unknown). Also nLab analytic variety, nLab complex analytic space
wikipedia: Wikipedia Complex analytic variety, Complex analytic variety (definition). Also Wikidata Q3889649

History

2026-10-26: add by m2/dev

9TFRVYBDY9 9TFRVYBDY9

URI	`m2://inv/9TFRVYBDY9`
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.32207#HYON (statement). In R94G9XD5AC/e1, theorem 1.5

History

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

9TFVXSV816 9TFVXSV816

URI	`m2://inv/9TFVXSV816`
Kind	definition
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 2609.34382#6SZZ (definition). In MEF2VCAYXS/e1, definition 2.4

History

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

9TG2C3YFBM 9TG2C3YFBM

URI	`m2://inv/9TG2C3YFBM`
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.25269#PU97 (statement)

History

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

Construction 9TGAFAKWJS

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

Mentions

wikipedia: Wikipedia Korean numerals#FFHE, Construction (definition)

History

2026-11-02: add by m2/dev

permutation, function 9TGAMNX2M5

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

Mentions

applied_combinatorics: applied_combinatorics index/7.1/permutation-function, permutation, function (concept). In QKM9DD2H56, index, section 7.1

History

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

9TGFQK0AV1 9TGFQK0AV1

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

Mentions

arxiv: arXiv 2303.09207#OLP1 (definition). In 9DQKY7KGE8/e1, definition 3.24

History

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

9TGH65964H 9TGH65964H

URI	`m2://inv/9TGH65964H`
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.20002#HMKO (statement)

History

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

Definition 9TGKD8M50G

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

Mentions

wikipedia: Wikipedia Trace class#YLRZ, Definition (definition)

History

2026-11-02: add by m2/dev

9TGWGM32MH 9TGWGM32MH

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

Mentions

arxiv: arXiv 2209.01576#GR56 (definition). In EF0X4TKTR4/e1, definition 1.5

History

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

Examples 9TH2XGHW21

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

Mentions

wikipedia: Wikipedia Pi-system#LCW8, Examples (example)

History

2026-11-02: add by m2/dev

Properties 9THB9XD02S

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

Mentions

wikipedia: Wikipedia Essential infimum and essential supremum#X59I, Properties (statement)

History

2026-11-02: add by m2/dev

Regev's theorem 9THNMYDE7Z

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

Mentions

wikipedia: Wikipedia List of theorems#TQEJ, Regev's theorem (statement)

History

2026-11-02: add by m2/dev

Austrian Statistical Society 9THQR9KVJS

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

Mentions

wikipedia: Wikipedia Austrian Statistical Society, Austrian Statistical Society (definition). Also Wikidata Q15759608

History

2026-11-02: add by m2/dev

9THXCX5R9B 9THXCX5R9B

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

Mentions

lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#theorem-1 (statement). In E9HS8K3A52, theorem, section 2.3.4

History

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

9TJ2W0KTVW 9TJ2W0KTVW

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

Mentions

arxiv: arXiv 2511.12649#BSZZ (example). In RT27S2YZKJ/e1, example 4

History

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

isoperimetric point 9TJ4964AMR

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

Mentions

wikidata: Wikidata Q609079, isoperimetric point (unknown). Also MathWorld IsoperimetricPoint
wikipedia: Wikipedia Isoperimetric point, Isoperimetric point (definition). Also Wikidata Q609079

History

2026-10-26: add by m2/dev

9TJ6MTRA35 9TJ6MTRA35

URI	`m2://inv/9TJ6MTRA35`
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.25314#L7NX (statement)

History

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

repeating decimal 9TJ8JBBJ2B

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

Mentions

wikidata: Wikidata Q389208, repeating decimal (unknown). Also MathWorld RepeatingDecimal
wikipedia: Wikipedia Repeating decimal, Repeating decimal (definition). Also Wikidata Q389208

History

2026-10-26: add by m2/dev

Example 9TJ9VQTC87

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

Mentions

wikipedia: Wikipedia Heritability#E72V, Example (example)

History

2026-11-02: add by m2/dev

Signal 9TJDR19NED

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

Mentions

wikipedia: Wikipedia Signal (model checking), Signal (definition). Also Wikidata Q65079518

History

2026-11-02: add by m2/dev

Proportional division 9TJE4CV7P2

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

Mentions

wikipedia: Wikipedia Proportional division, Proportional division (definition). Also Wikidata Q7250352

History

2026-11-02: add by m2/dev

9TJEWXGS49 9TJEWXGS49

URI	`m2://inv/9TJEWXGS49`
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.27628#6TBQ (statement)

History

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

9TJEZV6XQF 9TJEZV6XQF

URI	`m2://inv/9TJEZV6XQF`
Kind	definition
Layer	research
MSC	05-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.40200#LO0F (definition). In VWNB6QJWFN/e1, definition 6.1

History

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

May's theorem 9TJZNBGQG1

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

Mentions

wikipedia: Wikipedia List of theorems#6GI7, May's theorem (statement)

History

2026-11-02: add by m2/dev

Phi coefficient 9TJZWBKC4H

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

Mentions

wikipedia: Wikipedia Phi coefficient, Phi coefficient (definition). Also Wikidata Q4811327

History

2026-11-02: add by m2/dev

9TK0K1R076 9TK0K1R076

URI	`m2://inv/9TK0K1R076`
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.03555#HXCI (statement). In 9JZJTRRVR1/e1, proposition 2.26

History

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

fence 9TK4Y39M7N

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

Mentions

wikidata: Wikidata Q5442977, fence (concept). Also MathWorld FencePoset
wikipedia: Wikipedia Fence (mathematics), Fence (definition). Also Wikidata Q5442977

History

2026-10-26: add by m2/dev

Algebraic numbers 9TK9DGMQB4

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

Mentions

wikipedia: Wikipedia Glossary of field theory#VM55, Algebraic numbers (definition)

History

2026-11-02: add by m2/dev

game theory 9TKF9RRN46

URI	`m2://inv/9TKF9RRN46`
Kind	definition
Layer	textbook
MSC	91Axx
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q44455, game theory (topic). Also MathWorld GameTheory, ProofWiki Definition:Game_Theory
wikipedia: Wikipedia Game theory, Game theory (definition). Also Wikidata Q44455

History

2026-10-26: add by m2/dev

Applications of branch and price 9TKJZH856A

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

Mentions

wikipedia: Wikipedia Branch and price#6DW7, Applications of branch and price (example)

History

2026-11-02: add by m2/dev

9TKR24NS17 9TKR24NS17

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

Mentions

arxiv: arXiv 2609.20894#5S7G (statement)

History

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

Milnor–Thurston kneading theory 9TMG726YD7

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

Mentions

wikipedia: Wikipedia List of topology topics#UY2C, Milnor–Thurston kneading theory (definition)

History

2026-11-02: add by m2/dev

9TMJA544TZ 9TMJA544TZ

URI	`m2://inv/9TMJA544TZ`
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.08935#76WG (statement). In G02N9D40B9/e1, lemma 7.3.1

History

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

Statement 9TMQX61AMY

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

Mentions

wikipedia: Wikipedia Rauch comparison theorem#JUHB, Statement (statement)

History

2026-11-02: add by m2/dev

9TN9EPGP3H 9TN9EPGP3H

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

Mentions

arxiv: arXiv 2609.37706#Y0GP (statement). In 6YY27KRJFN/e1, lemma 6.22

History

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

Vojtěch Jarník 9TNAD7S431

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

Mentions

wikidata: Wikidata Q730209, Vojtěch Jarník (unknown). Also ProofWiki Mathematician:Vojtěch_Jarník
wikipedia: Wikipedia Vojtěch Jarník, Vojtěch Jarník (topic). Also Wikidata Q730209

History

2026-10-26: add by m2/dev

Yang–Mills equations 9TNTGJRWEK

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

Mentions

wikipedia: Wikipedia Yang–Mills equations, Yang–Mills equations (definition). Also Wikidata Q85816613

History

2026-11-02: add by m2/dev

9TP4QXP8E6 9TP4QXP8E6

URI	`m2://inv/9TP4QXP8E6`
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.27834#K09L (statement)

History

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

oceanography 9TPBCYDF8D

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

Mentions

wikidata: Wikidata Q43518, oceanography (unknown). Also EoM Oceanography,_mathematical_problems_in

History

2026-10-26: add by m2/dev

9TPEFTCCW4 9TPEFTCCW4

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

Mentions

lebl_ra: lebl_ra ch-vol1-intro.tex#defn-13 (definition). In E59CDZA4DP, defn, section 11.9.5

History

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

Semi-preopen 9TPG4T38G6

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

Mentions

wikipedia: Wikipedia Glossary of general topology#HDI1, Semi-preopen (definition)

History

2026-11-02: add by m2/dev

9TPXRM6790 9TPXRM6790

URI	`m2://inv/9TPXRM6790`
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.03337#7S54 (statement). In VH7EZDGTNA/e1, lemma 3.5

History

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

9TQ2QFSW1M 9TQ2QFSW1M

URI	`m2://inv/9TQ2QFSW1M`
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.20119#4O67 (statement)

History

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

Notation 9TQ45N947Y

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

Mentions

wikipedia: Wikipedia Covariant derivative#YZXM, Notation (definition)

History

2026-11-02: add by m2/dev

solenoid 9TQ7BTH126

URI	`m2://inv/9TQ7BTH126`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Solenoid 1PBQ6ARWND

Mentions

wikidata: Wikidata Q3489713, solenoid (unknown). Also nLab solenoid
wikipedia: Wikipedia Solenoid (mathematics), Solenoid (definition). Also Wikidata Q3489713

History

2026-10-26: add by m2/dev

List of Indian mathematicians 9TQ9K8B3YQ

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians, List of Indian mathematicians (topic). Also Wikidata Q3264019

History

2026-11-02: add by m2/dev

9TQ9XA5G2S 9TQ9XA5G2S

URI	`m2://inv/9TQ9XA5G2S`
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 2609.28297#IESS (statement)

History

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

Examples 9TQCA9YDTX

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

Mentions

wikipedia: Wikipedia Del Pezzo surface#XC2H, Examples (example)

History

2026-11-02: add by m2/dev

9TQG0C2B4J 9TQG0C2B4J

URI	`m2://inv/9TQG0C2B4J`
Kind	statement
Layer	research
MSC	11-XX, 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 2609.32090#K8YC (statement). In HJWWFBA63D/e1, lemma 2.2

History

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

Timothy Browning 9TQHCF657E

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

Mentions

wikipedia: Wikipedia Timothy Browning, Timothy Browning (topic). Also Wikidata Q7807081

History

2026-11-02: add by m2/dev

Unbounded obstruction order at corank three 9TQVMRMNPY

URI	`m2://inv/9TQVMRMNPY`
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.20649#RFQB, Unbounded obstruction order at corank three (statement). In XDTM624YPE/e1, theorem 1.1

History

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

angle 9TQX3KBDN1

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

Mentions

mathlib_overview: mathlib_overview Geometry > Affine and Euclidean geometry > angle, angle (unknown). Also Mathlib InnerProductGeometry.angle
mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > angles between vectors, angles between vectors (unknown). Also Mathlib InnerProductGeometry.angle
wikidata: Wikidata Q11352, angle (unknown). Also EoM Angle, Mathlib InnerProductGeometry.angle, MathWorld Angle, nLab angle
wikipedia: Wikipedia Angle, Angle (definition). Also Wikidata Q11352

History

2026-10-26: add by m2/dev

9TR66VEF51 9TR66VEF51

URI	`m2://inv/9TR66VEF51`
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.28323#L6LS (statement)

History

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

9TR88XVVKN 9TR88XVVKN

URI	`m2://inv/9TR88XVVKN`
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.02535#WW57 (statement). In S26PXDSWM9/e1, theorem 3.4

History

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

9TRG49G40X 9TRG49G40X

URI	`m2://inv/9TRG49G40X`
Kind	definition
Layer	research
MSC	14-XX, 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.37520#H1W4 (definition). In BDN507RN7J/e1, definition 4.1.1

History

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

9TRHE6QQPX 9TRHE6QQPX

URI	`m2://inv/9TRHE6QQPX`
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.22513#TRUS (statement)

History

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

9TRJNXVA9P 9TRJNXVA9P

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-17 (exercise). In E9HS8K3A52, exercise, section 8.2.5

History

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

Ring lemma 9TRKVQEQ63

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

Mentions

wikipedia: Wikipedia Ring lemma, Ring lemma (statement). Also Wikidata Q96402014

History

2026-11-02: add by m2/dev

9TRM48ZNPY 9TRM48ZNPY

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

Mentions

arxiv: arXiv 2508.07340#UG0C (statement). In 2HSB99DW4M/e1, lemma 4.10

History

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

Relative finite-fragment separation 9TRNDE8838

URI	`m2://inv/9TRNDE8838`
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.26019#F7ZR, Relative finite-fragment separation (statement)

History

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

9TRWSAEG1W 9TRWSAEG1W

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

Mentions

open_logic: open_logic content/first-order-logic/natural-deduction/identity.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 13.5

History

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

Theorem 3 9TRXKRQ8YK

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

Mentions

wikipedia: Wikipedia Approximate max-flow min-cut theorem#WOCZ, Theorem 3 (statement)

History

2026-11-02: add by m2/dev

Formal definition 9TSCVHNA7A

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

Mentions

wikipedia: Wikipedia Prefix grammar#P0D3, Formal definition (definition)

History

2026-11-02: add by m2/dev

9TSF2YST3X 9TSF2YST3X

URI	`m2://inv/9TSF2YST3X`
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.26019#C331 (statement)

History

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

Samuelson's inequality 9TSF5KQZMY

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

Mentions

wikipedia: Wikipedia Variance#YWER, Samuelson's inequality (statement)

History

2026-11-02: add by m2/dev

Kim--Liao 9TSTF2A5M5

URI	`m2://inv/9TSTF2A5M5`
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.36412#B54R, Kim--Liao (statement). In 6HKGGCMBCK/e1, theorem 2.1

History

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

Formulas 9TSTKZY05T

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

Mentions

wikipedia: Wikipedia Rencontres numbers#8PSA, Formulas (statement)

History

2026-11-02: add by m2/dev

9TSTT8K74M 9TSTT8K74M

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

Mentions

arxiv: arXiv 2610.22190#M185 (definition). In AM6Y5W3HGG/e1, definition 4

History

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

Ugo Broggi 9TT36NBJXR

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZW85, Ugo Broggi (topic)

History

2026-11-02: add by m2/dev

Halbert L. Dunn 9TT5GMGZCD

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

Mentions

wikipedia: Wikipedia Halbert L. Dunn, Halbert L. Dunn (topic). Also Wikidata Q5641145

History

2026-11-02: add by m2/dev

9TT5VRD3ZF 9TT5VRD3ZF

URI	`m2://inv/9TT5VRD3ZF`
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.12633#SZPU (statement). In NGZ5AZ70NN/e1, corollary 1.6

History

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

Quarter-pixel motion 9TTBN4PP9G

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

Mentions

wikipedia: Wikipedia Quarter-pixel motion, Quarter-pixel motion (definition). Also Wikidata Q1073461

History

2026-11-02: add by m2/dev

Hyperbolic function 9TTCHS7PR2

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

Mentions

wikipedia: Wikipedia List of mathematical functions#5D86, Hyperbolic function (definition)

History

2026-11-02: add by m2/dev

9TTKBE9KG2 9TTKBE9KG2

URI	`m2://inv/9TTKBE9KG2`
Kind	statement
Layer	research
MSC	05-XX, 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.20522#2L8G (statement)

History

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

Maurey--Pisier--Szankowski 9TTPE0ZXR0

URI	`m2://inv/9TTPE0ZXR0`
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.38396#TYIK, Maurey--Pisier--Szankowski (statement). In FGNNVKQR1Z/e1, theorem 5.4

History

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

Statement of the theorem 9TTPPJMM45

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

Mentions

wikipedia: Wikipedia Erdős–Rado theorem#FOM9, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

9TTQ7HHQ63 9TTQ7HHQ63

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

Mentions

arxiv: arXiv 2610.17240#LQTC (example). In 59BZ4V9RQW/e1, example 7.4

History

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

Privacy caps the audit statistic 9TTR4R52S8

URI	`m2://inv/9TTR4R52S8`
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.09206#TA0J, Privacy caps the audit statistic (statement). In T7R1Q29DQK/e1, corollary F.3

History

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

Athanasios Papoulis 9TTTFZYQWV

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

Mentions

wikipedia: Wikipedia Athanasios Papoulis, Athanasios Papoulis (topic). Also Wikidata Q3567099

History

2026-11-02: add by m2/dev

9TTW0JCHTK 9TTW0JCHTK

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

Mentions

arxiv: arXiv 1509.00950#PVYU (proof). In MDZFW5GACV/e1, proof

History

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

Example 9TTYAMQ1FB

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

Mentions

wikipedia: Wikipedia Zermelo's theorem (game theory)#M2CE, Example (example)

History

2026-11-02: add by m2/dev

Andrzej Schinzel 9TTYP86FJC

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#A4SN, Andrzej Schinzel (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#AWUC, Andrzej Schinzel (topic)

History

2026-11-02: add by m2/dev

9TV5WH8K35 9TV5WH8K35

URI	`m2://inv/9TV5WH8K35`
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.23803#Y643 (statement)

History

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

Anna Mazzucato 9TV68EJTC2

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

Mentions

wikipedia: Wikipedia Anna Mazzucato, Anna Mazzucato (topic). Also Wikidata Q59595207

History

2026-11-02: add by m2/dev

9TV7PTYD21 9TV7PTYD21

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

Mentions

arxiv: arXiv math/0406514#TCUC (statement). In CY1FE8W1ZW/e1, corollary 0.64

History

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

Substitution cipher 9TV83GDEHM

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

Mentions

wikipedia: Wikipedia Substitution cipher, Substitution cipher (definition). Also Wikidata Q626500

History

2026-11-02: add by m2/dev

Fx-82MS 9TVEJ70Z7P

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

Mentions

wikipedia: Wikipedia Casio V.P.A.M. calculators#73FP, Fx-82MS (unknown)

History

2026-11-02: add by m2/dev

9TVGEBFDZW 9TVGEBFDZW

URI	`m2://inv/9TVGEBFDZW`
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 2204.01073#EF49 (statement). In W4TYN4PGE8/e1, proposition 5.2

History

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

9TVT9S290B 9TVT9S290B

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

Mentions

arxiv: arXiv 2610.04842#XMHI (statement). In YJF7QC03N3/e1, proposition 5

History

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

sequence 9TWC6TC41B

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#JGOV, sequence (definition)

History

2026-11-02: add by m2/dev

Properties 9TWEQQMCM9

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

Mentions

wikipedia: Wikipedia Regenerative process#619F, Properties (statement)

History

2026-11-02: add by m2/dev

Vanishing on a characteristic-polynomial fiber 9TWMVBNKTJ

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

Mentions

arxiv: arXiv 2609.27204#Z035, Vanishing on a characteristic-polynomial fiber (statement)

History

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

Training-conditional coverage under score comparison stability 9TWRFTS7GG

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

Mentions

arxiv: arXiv 2609.26951#8DU9, Training-conditional coverage under score comparison stability (statement)

History

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

9TWV0H0PGR 9TWV0H0PGR

URI	`m2://inv/9TWV0H0PGR`
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 2103.12669#F4ZT (statement). In ZA6XNBA90V/e1, theorem 0.3

History

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

Definition 9TWXQVFFMY

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

Mentions

wikipedia: Wikipedia Apeirotope#1NR9, Definition (definition)

History

2026-11-02: add by m2/dev

Over the Air Rekeying 9TX9GMK05A

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

Mentions

wikipedia: Wikipedia List of telecommunications encryption terms#NDWK, Over the Air Rekeying (unknown)

History

2026-11-02: add by m2/dev

John-Nirenberg theorem 9TXQQH65Q2

URI	`m2://inv/9TXQQH65Q2`
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.34311#8KS4, John-Nirenberg theorem (statement). In YYV9SHAPCZ/e1, theorem 2.6

History

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

9TXTF9B91Q 9TXTF9B91Q

URI	`m2://inv/9TXTF9B91Q`
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 1701.00517#VQ99 (statement). In JHPBT88FDW/e1, proposition 3.1

History

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

Ardroil 9TXZHP7RYY

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

Mentions

wikipedia: Wikipedia List of places with numeric names#MQMX, Ardroil (unknown)

History

2026-11-02: add by m2/dev

Masaki Kashiwara 9TY48KN1CC

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#B78Z, Masaki Kashiwara (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#G7AY, Masaki Kashiwara (topic)

History

2026-11-02: add by m2/dev

9TYAJYD6H7 9TYAJYD6H7

URI	`m2://inv/9TYAJYD6H7`
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 2609.36309#VZTX (statement). In FAJ10EJMYE/e1, lemma 5

History

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

Gibbons–Tsarev equation 9TYBWQB36Q

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

Mentions

wikipedia: Wikipedia Gibbons–Tsarev equation, Gibbons–Tsarev equation (definition). Also Wikidata Q15858034

History

2026-11-02: add by m2/dev

Lothar Berg 9TYJEQRTF9

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

Mentions

wikipedia: Wikipedia Lothar Berg, Lothar Berg (topic). Also Wikidata Q1740458

History

2026-11-02: add by m2/dev

analytic mathematics 9TYK8ZZ9K6

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

Mentions

hott_book: hott_book index/1/analytic-mathematics, analytic mathematics (concept). In N54F33XE07, index, section 1

History

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

poloquartic 9TYKZ11YZ5

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#QWGP, poloquartic (definition)

History

2026-11-02: add by m2/dev

9TYM1N2YCJ 9TYM1N2YCJ

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

Mentions

arxiv: arXiv 1407.0548#ZTOE (statement). In 3EAQ15QTJC/e1, corollary 1.3

History

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

Jane Worcester 9TYP48V3ME

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

Mentions

wikipedia: Wikipedia Jane Worcester, Jane Worcester (topic). Also Wikidata Q42825090

History

2026-11-02: add by m2/dev

Caloric decay compatible with the flat boundary 9TYQMGN18B

URI	`m2://inv/9TYQMGN18B`
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.13613#YTNF, Caloric decay compatible with the flat boundary (statement). In 3HCT4TQ5PM/e1, lemma 2.5

History

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

Galileo 9TYVZ2YFRY

URI	`m2://inv/9TYVZ2YFRY`
Kind	topic
Layer	textbook
MSC	86A30
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q3757616, Galileo (topic)

History

2026-10-26: add by m2/dev

Properties 9TZ4VC01DK

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

Mentions

wikipedia: Wikipedia Jack function#YPA0, Properties (statement)

History

2026-11-02: add by m2/dev

Daniell integral 9TZ6NAYFDM

URI	`m2://inv/9TZ6NAYFDM`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Daniell integral 4KCBFQS9WR

Mentions

wikidata: Wikidata Q2996956, Daniell integral (concept). Also nLab Daniell integral
wikipedia: Wikipedia Daniell integral, Daniell integral (definition). Also Wikidata Q2996956

History

2026-10-26: add by m2/dev

9TZ8E00JTA 9TZ8E00JTA

URI	`m2://inv/9TZ8E00JTA`
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.35421#6HV9 (statement). In KE8B8KMDJJ/e1, lemma 4

History

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

Euler product formula 9TZBHKWEP0

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

Mentions

wikipedia: Wikipedia Dirichlet beta function#O9MS, Euler product formula (statement)

History

2026-11-02: add by m2/dev

9TZYFS522G 9TZYFS522G

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

Mentions

arxiv: arXiv 2610.03437#0SP3 (definition). In EDTV1EDV7M/e1, definition 3.1

History

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