Inventory rows 1A

$g=1$, one node, maximal 1A00YZXBTX

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

Mentions

arxiv: arXiv 2609.22557#L0J6, $g=1$, one node, maximal (example)

History

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

Lieb–Liniger model 1A08ZHBT44

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

Mentions

wikipedia: Wikipedia Lieb–Liniger model, Lieb–Liniger model (definition). Also Wikidata Q6543926

History

2026-11-02: add by m2/dev

1A0CZX5XJ0 1A0CZX5XJ0

URI	`m2://inv/1A0CZX5XJ0`
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#1WVZ (statement). In DJXA86KDY8/e1, lemma 2.1

History

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

1A0EYFQBSD 1A0EYFQBSD

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

Mentions

applied_combinatorics: applied_combinatorics source/s_flowapplications_intro.ptx#theorem-1 (statement). In QKM9DD2H56, theorem, section 14.1

History

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

1A0J77EVMD 1A0J77EVMD

URI	`m2://inv/1A0J77EVMD`
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.13972#KS3I (statement). In S1KHNS8XQM/e1, lemma 8.1

History

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

1A0JVSMZH7 1A0JVSMZH7

URI	`m2://inv/1A0JVSMZH7`
Kind	statement
Layer	research
MSC	53-XX, 57-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.17045#87H9 (statement). In PA6JQDSKQT/e1, proposition 4.12

History

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

monomorphism 1A0KSQFH5Y

URI	`m2://inv/1A0KSQFH5Y`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Monomorphism Y2NP1JFR86

Mentions

wikidata: Wikidata Q1945067, monomorphism (unknown). Also MathWorld Monomorphism, nLab monomorphism
wikipedia: Wikipedia Monomorphism, Monomorphism (definition). Also Wikidata Q1945067

History

2026-10-26: add by m2/dev

Community indicators 1A0W108T1A

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

Mentions

wikipedia: Wikipedia Community indicators, Community indicators (definition). Also Wikidata Q5154966

History

2026-11-02: add by m2/dev

Step 3 1A0Z7KMGFX

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

Mentions

wikipedia: Wikipedia Fatou's lemma#56NS, Step 3 (statement)

History

2026-11-02: add by m2/dev

injective 1A117BX893

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#6VIY, injective (definition)

History

2026-11-02: add by m2/dev

Goro Shimura 1A13XZHQRA

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

Mentions

wikipedia: Wikipedia Goro Shimura, Goro Shimura (topic). Also Wikidata Q353411

History

2026-11-02: add by m2/dev

Statement 1A16Q3V5HV

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

Mentions

wikipedia: Wikipedia Jankov–von Neumann uniformization theorem#QMWP, Statement (statement)

History

2026-11-02: add by m2/dev

Anatole Katok 1A1F2Z6WT3

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

Mentions

wikipedia: Wikipedia Anatole Katok, Anatole Katok (topic). Also Wikidata Q487495

History

2026-11-02: add by m2/dev

Walter Tuchman 1A1G0RRSTB

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

Mentions

wikipedia: Wikipedia List of cryptographers#YNJI, Walter Tuchman (unknown)

History

2026-11-02: add by m2/dev

1A1MF500D1 1A1MF500D1

URI	`m2://inv/1A1MF500D1`
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 1408.1555#2TUR (statement). In S1F2QW24YW/e1, lemma 5.7

History

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

1A1YRAT4F2 1A1YRAT4F2

URI	`m2://inv/1A1YRAT4F2`
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.12034#PCNO (statement). In 1FRW4N1H90/e1, lemma 1

History

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

1A240P1W3J 1A240P1W3J

URI	`m2://inv/1A240P1W3J`
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.08226#F20J (statement). In V6EPE8XHAD/e1, lemma 10.7

History

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

Almost periodic function 1A2536NFWC

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#82BG, Almost periodic function (definition)
wikipedia: Wikipedia List of harmonic analysis topics#DKRO, Almost periodic function (definition)
wikipedia: Wikipedia List of Fourier analysis topics#J1WU, Almost periodic function (definition)

History

2026-11-02: add by m2/dev

1A28V89FMZ 1A28V89FMZ

URI	`m2://inv/1A28V89FMZ`
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 2306.08237#A9UV (statement). In E22A2MFR4Y/e1, lemma 3.2

History

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

The Journal of Symbolic Logic 1A2EN71Z55

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

Mentions

wikipedia: Wikipedia List of logic journals#TYCL, The Journal of Symbolic Logic (unknown)

History

2026-11-02: add by m2/dev

Root-finding algorithm 1A2KFH18X9

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

Mentions

wikipedia: Wikipedia Root-finding algorithm, Root-finding algorithm (definition). Also Wikidata Q1085860

History

2026-11-02: add by m2/dev

Rule of division 1A2M8K6Q2J

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

Mentions

wikipedia: Wikipedia Rule of division (combinatorics), Rule of division (definition). Also Wikidata Q96403087

History

2026-11-02: add by m2/dev

1A2N28AKTK 1A2N28AKTK

URI	`m2://inv/1A2N28AKTK`
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#LLZ9 (statement). In DPJ15KW23C/e1, lemma 9.2

History

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

Elizebeth Smith Friedman 1A2R4R5VEQ

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

Mentions

wikipedia: Wikipedia Elizebeth Smith Friedman, Elizebeth Smith Friedman (topic). Also Wikidata Q276090

History

2026-11-02: add by m2/dev

Implementations 1A2RNTEKX9

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

Mentions

wikipedia: Wikipedia Coppersmith method#CAR3, Implementations (definition)

History

2026-11-02: add by m2/dev

1A2XPD4NV5 1A2XPD4NV5

URI	`m2://inv/1A2XPD4NV5`
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 2508.02432#0G1D (statement). In B366ACYB37/e1, lemma 3.19

History

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

De Nive Sexangula 1A2Y884RHQ

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

Mentions

wikidata: Wikidata Q4328876, De Nive Sexangula (unknown). Also ProofWiki Book:Johannes_Kepler/De_Nive_Sexangula

History

2026-10-26: add by m2/dev

Quatrefoil 1A39XYJ6Z2

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

Mentions

wikipedia: Wikipedia List of two-dimensional geometric shapes#2N92, Quatrefoil (unknown)

History

2026-11-02: add by m2/dev

Normal mean curvature with generalized boundary 1A3C9JAAF2

URI	`m2://inv/1A3C9JAAF2`
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.24716#W0EY, Normal mean curvature with generalized boundary (statement)

History

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

Dijen K. Ray-Chaudhuri 1A3CY225D0

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

Mentions

wikipedia: Wikipedia Dijen K. Ray-Chaudhuri, Dijen K. Ray-Chaudhuri (topic). Also Wikidata Q1151429

History

2026-11-02: add by m2/dev

Informal 1A3FC53FP0

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

Mentions

arxiv: arXiv 2605.10911#AQO6, Informal (statement). In Y23VR7N90M/e1, theorem 3

History

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

Mischa Cotlar 1A3G56971K

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

Mentions

wikipedia: Wikipedia Mischa Cotlar, Mischa Cotlar (topic). Also Wikidata Q6875247

History

2026-11-02: add by m2/dev

Negative conclusion from affirmative premises 1A3WX0ZFAN

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

Mentions

wikipedia: Wikipedia Negative conclusion from affirmative premises, Negative conclusion from affirmative premises (definition). Also Wikidata Q14942324

History

2026-11-02: add by m2/dev

1A42NQT5RX 1A42NQT5RX

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

Mentions

arxiv: arXiv 2609.27078#O5YW (definition)

History

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

The score under coordinate rearrangement 1A44AFA437

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

Mentions

arxiv: arXiv 2609.38228#JQ24, The score under coordinate rearrangement (statement). In 9YAE8FNQST/e1, theorem 19.7

History

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

1A47NF0FZX 1A47NF0FZX

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

Mentions

arxiv: arXiv 2610.01915#4D31 (statement). In 6HJQXZS0A6/e1, lemma 3.11

History

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

Shihoko Ishii 1A495QDGPB

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

Mentions

wikipedia: Wikipedia Shihoko Ishii, Shihoko Ishii (topic). Also Wikidata Q11584946

History

2026-11-02: add by m2/dev

Example 1A5D5KDZCF

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

Mentions

wikipedia: Wikipedia Hamiltonian mechanics#YWUF, Example (example)

History

2026-11-02: add by m2/dev

1A5N9GMPGK 1A5N9GMPGK

URI	`m2://inv/1A5N9GMPGK`
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.10107#29ZT (statement). In ZHNJ8MSXHW/e1, proposition 4.5

History

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

Ramanujan–Skolem's theorem 1A649N2782

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

Mentions

wikipedia: Wikipedia List of theorems#2MCS, Ramanujan–Skolem's theorem (definition)

History

2026-11-02: add by m2/dev

Applications 1A69614EZX

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

Mentions

wikipedia: Wikipedia Hamilton–Jacobi equation#X0HZ, Applications (example)

History

2026-11-02: add by m2/dev

symmetric sequence 1A6CE7V0HZ

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

Mentions

wikipedia: Wikipedia Glossary of category theory#6CJF, symmetric sequence (definition)

History

2026-11-02: add by m2/dev

Chernoff bounds, quoted 1A6D9A5JSG

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

Mentions

arxiv: arXiv 2610.10873#45BK, Chernoff bounds, quoted (statement). In AYG8HYGW6V/e1, lemma G.1

History

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

Laurent Cesalli 1A6GXKSRAB

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

Mentions

wikipedia: Wikipedia Laurent Cesalli, Laurent Cesalli (topic). Also Wikidata Q71477511

History

2026-11-02: add by m2/dev

Thaleia Zariphopoulou 1A6JCHHB7H

URI	`m2://inv/1A6JCHHB7H`
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#GUO5, Thaleia Zariphopoulou (topic)

History

2026-11-02: add by m2/dev

1A6PRWFH6A 1A6PRWFH6A

URI	`m2://inv/1A6PRWFH6A`
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.10325#I594 (statement). In 66CDJ94PGW/e1, proposition 3.3

History

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

1A6SHV19J1 1A6SHV19J1

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

Mentions

lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-22 (exercise). In E59CDZA4DP, exercise, section 11.9.6

History

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

1A6SSAM7KV 1A6SSAM7KV

URI	`m2://inv/1A6SSAM7KV`
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.24853#IV53 (statement)

History

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

Toshiki Mabuchi 1A70MYAEHT

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

Mentions

wikipedia: Wikipedia Toshiki Mabuchi, Toshiki Mabuchi (topic). Also Wikidata Q98153114

History

2026-11-02: add by m2/dev

Deterministic OSP upper bound 1A73ANJAGA

URI	`m2://inv/1A73ANJAGA`
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.16715#SSZ3, Deterministic OSP upper bound (statement). In RA1Z6BV25A/e1, theorem 3.1

History

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

1A73S5BZ6A 1A73S5BZ6A

URI	`m2://inv/1A73S5BZ6A`
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.35095#UBO7 (statement). In MM3XTWS35F/e1, lemma 7

History

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

Ken Stroud 1A74JQSD14

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

Mentions

wikipedia: Wikipedia Ken Stroud, Ken Stroud (topic). Also Wikidata Q6388563

History

2026-11-02: add by m2/dev

axiom, of choice 1A79FFP1NQ

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

Mentions

hott_book: hott_book index/2/axiom-of-choice, axiom, of choice (concept). In N54F33XE07, index, section 2

History

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

totally disconnected 1A7BPJSES8

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#NV7H, totally disconnected (definition)

History

2026-11-02: add by m2/dev

1A7BW5N79S 1A7BW5N79S

URI	`m2://inv/1A7BW5N79S`
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.23526#YN3J (statement)

History

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

Realizable laminations 1A7NXGNAM8

URI	`m2://inv/1A7NXGNAM8`
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.29450#KFOK, Realizable laminations (definition)

History

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

Definition 1A7PG5T8N2

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

Mentions

wikipedia: Wikipedia Essentially finite vector bundle#Y0QR, Definition (definition)

History

2026-11-02: add by m2/dev

1A7VKKJ1M2 1A7VKKJ1M2

URI	`m2://inv/1A7VKKJ1M2`
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.14377#LN51 (statement). In WEZPNET90D/e1, lemma 4.6

History

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

1A7WD07P28 1A7WD07P28

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

Mentions

arxiv: arXiv 2609.28669#5OW0 (statement)

History

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

cousin prime 1A83NWM60B

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

Mentions

wikidata: Wikidata Q1191657, cousin prime (unknown). Also MathWorld CousinPrimes
wikipedia: Wikipedia Cousin prime, Cousin prime (conjecture). Also Wikidata Q1191657

History

2026-10-26: add by m2/dev

Closest point problem 1A85N6MTRT

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

Mentions

wikipedia: Wikipedia List of combinatorial computational geometry topics#YPMB, Closest point problem (unknown)

History

2026-11-02: add by m2/dev

Upper bound on the $L^1$-risk of $\widehat F_{n,\mathbf{h}}^\ast$ 1A873SZCS0

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

Mentions

arxiv: arXiv 2610.11760#AETT, Upper bound on the $L^1$-risk of $\widehat F_{n,\mathbf{h}}^\ast$ (statement). In NBNERWXW53/e1, theorem 4.3

History

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

1A881ER6BZ 1A881ER6BZ

URI	`m2://inv/1A881ER6BZ`
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#DC17 (statement). In R6KSZ9H8CY/e1, proposition 1.7

History

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

theorem, Cantor's 1A8CH4SGYH

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

Mentions

hott_book: hott_book index/C.2/theorem-cantor-s, theorem, Cantor's (concept). In N54F33XE07, index, section C.2

History

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

1A8F90022X 1A8F90022X

URI	`m2://inv/1A8F90022X`
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.35323#0K4M (statement). In 5CKPXBWSCX/e1, lemma 4.4

History

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

1A8KZNNS2N 1A8KZNNS2N

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

Mentions

napkin: napkin tex/topology/top-more.tex#definition-8 (definition). In RZP28ERRZV, definition, section 101.6

History

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

Jacques Dixmier 1A8PX9WETE

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#1DYD, Jacques Dixmier (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OI2E, Jacques Dixmier (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WOEW, Jacques Dixmier (topic)

History

2026-11-02: add by m2/dev

Faltings, Hriljac 1A8TNXKEN2

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

Mentions

arxiv: arXiv 2609.39505#A18B, Faltings, Hriljac (statement). In WAXS6FS388/e1, theorem 2.10

History

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

Paul Sutcliffe 1A93V5N0WZ

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

Mentions

wikipedia: Wikipedia Paul Sutcliffe, Paul Sutcliffe (topic). Also Wikidata Q7153872

History

2026-11-02: add by m2/dev

Hamiltonian vector field 1A95QXZ4ZF

URI	`m2://inv/1A95QXZ4ZF`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Hamiltonian vector field C5EH3B4BEP

Mentions

wikidata: Wikidata Q2256693, Hamiltonian vector field (unknown). Also nLab Hamiltonian vector field
wikipedia: Wikipedia Hamiltonian vector field, Hamiltonian vector field (definition). Also Wikidata Q2256693

History

2026-10-26: add by m2/dev

1A9ATXE5NT 1A9ATXE5NT

URI	`m2://inv/1A9ATXE5NT`
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 2209.01576#PIVV (statement). In EF0X4TKTR4/e1, theorem 1.2

History

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

Zero tensor 1A9BF4PH79

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

Mentions

wikipedia: Wikipedia Zero element#7AGF, Zero tensor (unknown)

History

2026-11-02: add by m2/dev

Triply periodic minimal surface 1A9QC6Q5ZT

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#IC6D, Triply periodic minimal surface (definition)
wikipedia: Wikipedia List of surfaces#A70X, Triply periodic minimal surface (definition)

History

2026-11-02: add by m2/dev

1A9RVPDDET 1A9RVPDDET

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

Mentions

arxiv: arXiv 2610.15217#SA9Z (definition). In G70Q2FB591/e1, definition 3.10

History

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

Betti number 1AA5DG2PDX

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

Mentions

wikipedia: Wikipedia List of complex and algebraic surfaces#MUUK, Betti number (definition)

History

2026-11-02: add by m2/dev

Decomposable Cost Function 1AA7525WAK

URI	`m2://inv/1AA7525WAK`
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.20126#ODZJ, Decomposable Cost Function (definition). In KVXDWX9B11/e1, definition 2.9

History

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

1AA8YQYCRA 1AA8YQYCRA

URI	`m2://inv/1AA8YQYCRA`
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 2110.14727#ACM6 (statement). In EZTB8NZGVT/e1, lemma 3.5

History

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

1AASTYTW9H 1AASTYTW9H

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

Mentions

arxiv: arXiv 2610.17135#ZRIF (statement). In XX1J2REXY2/e1, lemma 4.5

History

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

hyperinaccessible 1AAY6D4GVT

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

Mentions

wikipedia: Wikipedia Glossary of set theory#9H5U, hyperinaccessible (definition)

History

2026-11-02: add by m2/dev

Differential topology 1AB746WJKQ

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#KKNV, Differential topology (definition)

History

2026-11-02: add by m2/dev

The defect of a non-unit row 1ABB486GSM

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

Mentions

arxiv: arXiv 2610.13063#IDVJ, The defect of a non-unit row (statement). In R5AFFWBMAF/e1, proposition C.4

History

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

James Waterman Glover 1ABGC4H98P

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

Mentions

wikipedia: Wikipedia James Waterman Glover, James Waterman Glover (topic). Also Wikidata Q24284551

History

2026-11-02: add by m2/dev

Irregular matrix 1ABGHVDSE1

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

Mentions

wikipedia: Wikipedia Irregular matrix, Irregular matrix (definition). Also Wikidata Q12797410

History

2026-11-02: add by m2/dev

1ABGRGDMGY 1ABGRGDMGY

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

Mentions

arxiv: arXiv 2609.30200#IUGV (statement)

History

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

Same-budget comparison 1ABPXA0BS5

URI	`m2://inv/1ABPXA0BS5`
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.39408#W36D, Same-budget comparison (statement). In T8E6F01RTM/e1, lemma H.3

History

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

Theodore Strong 1ABZS9QTB4

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

Mentions

wikipedia: Wikipedia Theodore Strong, Theodore Strong (topic). Also Wikidata Q20675728

History

2026-11-02: add by m2/dev

Cauchy process 1AC0SG0YD1

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

Mentions

wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#NF6R, Cauchy process (definition)

History

2026-11-02: add by m2/dev

Construction 1AC4XS06JS

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

Mentions

wikipedia: Wikipedia Truncated tesseract#T6JE, Construction (definition)

History

2026-11-02: add by m2/dev

1AC5395VH0 1AC5395VH0

URI	`m2://inv/1AC5395VH0`
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#6VVS (definition). In EDTV1EDV7M/e1, definition 2.2

History

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

Dimension (geometry) 1AC85ZTK11

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

Mentions

wikipedia: Wikipedia Dimension#70X7, Dimension (geometry) (unknown)

History

2026-11-02: add by m2/dev

1ACA5ZSHKY 1ACA5ZSHKY

URI	`m2://inv/1ACA5ZSHKY`
Kind	conjecture
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#NBAV (conjecture). In DST9FWMHT6/e1, conjecture 5.5

History

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

heat kernel 1ACB28DQWV

URI	`m2://inv/1ACB28DQWV`
Kind	definition
Layer	textbook
MSC	58J35
Sources	2
Outcome	open
Node	Heat kernel KD404MF042

Mentions

wikidata: Wikidata Q3345669, heat kernel (topic). Also nLab heat kernel
wikipedia: Wikipedia Heat kernel, Heat kernel (definition). Also Wikidata Q3345669

History

2026-10-26: add by m2/dev

1ACBSSKFDN 1ACBSSKFDN

URI	`m2://inv/1ACBSSKFDN`
Kind	definition
Layer	research
MSC	37-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 2510.05499#0CJX (definition). In WRMNCC8VBC/e1, definition 9

History

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

Stacey Smith? 1ACM8BX9SP

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

Mentions

wikipedia: Wikipedia Stacey Smith?, Stacey Smith? (topic). Also Wikidata Q16292920

History

2026-11-02: add by m2/dev

1ACNB339SC 1ACNB339SC

URI	`m2://inv/1ACNB339SC`
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 2312.06473#23BM (statement). In P1MYSYHSGX/e1, lemma 3.9

History

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

Properties 1ACP0DFA49

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

Mentions

wikipedia: Wikipedia K-regular sequence#O3DU, Properties (statement)

History

2026-11-02: add by m2/dev

Non-degeneracy 1ACXNDA22D

URI	`m2://inv/1ACXNDA22D`
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.03081#70KX, Non-degeneracy (statement). In TX0H26X4VX/e1, proposition 3.5

History

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

octahedral axiom, unstable 1AD463S480

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

Mentions

hott_book: hott_book index/3.9/octahedral-axiom-unstable, octahedral axiom, unstable (concept). In N54F33XE07, index, section 3.9

History

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

1ADJFRD1YT 1ADJFRD1YT

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

Mentions

arxiv: arXiv 2603.26376#52HQ (definition). In PJAT9YDX7Y/e1, definition 5.4

History

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

Mahlet Tadesse 1ADMYXJWGA

URI	`m2://inv/1ADMYXJWGA`
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#PAHB, Mahlet Tadesse (unknown)

History

2026-11-02: add by m2/dev

Kenneth Nordtvedt 1ADSR61CRB

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#DZX3, Kenneth Nordtvedt (unknown)

History

2026-11-02: add by m2/dev

Definition 1ADV2CG5WG

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

Mentions

wikipedia: Wikipedia Parameterized complexity#U404, Definition (definition)

History

2026-11-02: add by m2/dev

1AE87GK9QK 1AE87GK9QK

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

Mentions

napkin: napkin tex/measure/lebesgue-int.tex#example-2 (example). In RZP28ERRZV, example, section 65.3

History

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

Notation 1AE8DQYWEA

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

Mentions

wikipedia: Wikipedia Parametric surface#9TR3, Notation (definition)

History

2026-11-02: add by m2/dev

Fast wavelet transform 1AEAF54R27

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

Mentions

wikipedia: Wikipedia Fast wavelet transform, Fast wavelet transform (definition). Also Wikidata Q338438

History

2026-11-02: add by m2/dev

1AEJ9YYTF1 1AEJ9YYTF1

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

Mentions

arxiv: arXiv 2004.12552#G382 (statement). In TWPE10CZ1S/e1, lemma 5.6

History

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

Patricia Hersh 1AER416FHS

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

Mentions

wikipedia: Wikipedia Patricia Hersh, Patricia Hersh (topic). Also Wikidata Q21816299

History

2026-11-02: add by m2/dev

1AEV2WY3W4 1AEV2WY3W4

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

Mentions

arxiv: arXiv 2609.25080#VLFG (statement)

History

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

Pro-MTS and pro-$\sh{T}(0)$-MTS-algebra 1AEWAF055A

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

Mentions

arxiv: arXiv 2609.26896#K4VV, Pro-MTS and pro-$\sh{T}(0)$-MTS-algebra (definition)

History

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

Backfire effect 1AF0BBSGXQ

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

Mentions

wikipedia: Wikipedia List of cognitive biases#RTK5, Backfire effect (unknown)

History

2026-11-02: add by m2/dev

Definitions 1AF1CQ1SGA

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

Mentions

wikipedia: Wikipedia Lie bracket of vector fields#S15O, Definitions (definition)

History

2026-11-02: add by m2/dev

Example 1AF62H5NYZ

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

Mentions

wikipedia: Wikipedia Trachtenberg system#MNAI, Example (example)

History

2026-11-02: add by m2/dev

1AFA9WQ2N2 1AFA9WQ2N2

URI	`m2://inv/1AFA9WQ2N2`
Kind	statement
Layer	research
MSC	11-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.18503#DNCI (statement). In RW315W172S/e1, theorem 1.3

History

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

1AFD6196Y7 1AFD6196Y7

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

Mentions

arxiv: arXiv 2609.20678#YP7G (statement)

History

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

Presentation complex 1AFDSK9RDZ

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

Mentions

wikipedia: Wikipedia Presentation complex, Presentation complex (definition). Also Wikidata Q7240979

History

2026-11-02: add by m2/dev

1AFH6F67R6 1AFH6F67R6

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

Mentions

arxiv: arXiv 2610.04694#PW88 (statement). In W9A0Z2NBMA/e1, proposition 10

History

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

Powerful number 1AG4K8M5JD

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

Mentions

wikipedia: Wikipedia List of sums of reciprocals#62L0, Powerful number (definition)

History

2026-11-02: add by m2/dev

1AG5NQE1AV 1AG5NQE1AV

URI	`m2://inv/1AG5NQE1AV`
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 2606.11100#OPMB (statement). In K6TFPPVEF9/e1, lemma 3.2

History

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

1AG6RFZ5PW 1AG6RFZ5PW

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

Mentions

arxiv: arXiv math/0003117#PVSU (example). In WD2NCBV9F0/e1, example 5.14

History

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

gyroelongated square bipyramid 1AG75A1B51

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

Mentions

wikidata: Wikidata Q337215, gyroelongated square bipyramid (object). Also MathWorld GyroelongatedSquareDipyramid
wikipedia: Wikipedia Gyroelongated square bipyramid, Gyroelongated square bipyramid (object). Also Wikidata Q337215

History

2026-10-26: add by m2/dev

1AGAAA2MKC 1AGAAA2MKC

URI	`m2://inv/1AGAAA2MKC`
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.36068#JK20 (statement). In CKNAB8QY5B/e1, proposition 12

History

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

1AGAEDBHHP 1AGAEDBHHP

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

Mentions

napkin: napkin tex/H113/structure.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 6.3

History

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

Parallel divide-and-conquer algorithms 1AGEK9JK0X

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

Mentions

wikipedia: Wikipedia Divide-and-conquer algorithm#CPV6, Parallel divide-and-conquer algorithms (unknown)

History

2026-11-02: add by m2/dev

finite 1AGWYJQSC8

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#6M0Y, finite (definition)

History

2026-11-02: add by m2/dev

Andreas Wipf 1AH1VKES2D

URI	`m2://inv/1AH1VKES2D`
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 Q56855487, Andreas Wipf (unknown). Also nLab Andreas Wipf

History

2026-10-26: add by m2/dev

Theorem 1AH29NT7BP

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

Mentions

wikipedia: Wikipedia Waldspurger formula#E0WP, Theorem (statement)

History

2026-11-02: add by m2/dev

Angular geometry 1AH72678CJ

URI	`m2://inv/1AH72678CJ`
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.19908#U2FY, Angular geometry (statement). In AS5GND6D32/e1, lemma 1

History

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

1AH82PEV5E 1AH82PEV5E

URI	`m2://inv/1AH82PEV5E`
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.06066#4RK1 (statement). In V2YFQ5RF6V/e1, theorem 1

History

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

Beggar-my-neighbour 1AHE1YYVGA

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#0ITW, Beggar-my-neighbour (unknown)

History

2026-11-02: add by m2/dev

1AHE98B9EE 1AHE98B9EE

URI	`m2://inv/1AHE98B9EE`
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#SYVG (statement). In G1RP4JY5PE/e1, statement 2.3.5

History

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

Overfitting 1AHFCSNE5E

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

Mentions

wikipedia: Wikipedia List of statistics articles#RRZ9, Overfitting (definition)

History

2026-11-02: add by m2/dev

Boris Slutsky 1AHKT2PPVD

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#LCGY, Boris Slutsky (unknown)

History

2026-11-02: add by m2/dev

Chris Danforth 1AHPMS5BBE

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

Mentions

wikipedia: Wikipedia Chris Danforth, Chris Danforth (topic). Also Wikidata Q89437200

History

2026-11-02: add by m2/dev

Crofton formula 1AHQGB2TGF

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

Mentions

wikipedia: Wikipedia Hilbert's fourth problem#7T2K, Crofton formula (statement)

History

2026-11-02: add by m2/dev

1AHVC2A3TG 1AHVC2A3TG

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

Mentions

arxiv: arXiv 2609.36300#IL8J (example). In MNWD3Y6W56/e1, example 5.4

History

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

Padding an anchor family 1AJ0HXCM6Q

URI	`m2://inv/1AJ0HXCM6Q`
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.15815#RULL, Padding an anchor family (statement). In 9C75CTY5C3/e1, proposition 4.1

History

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

1AJ4MSJKEN 1AJ4MSJKEN

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

Mentions

hott_book: hott_book equivalences.tex#proof-32 (proof). In N54F33XE07, proof, section 3.9

History

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

1AJ6CVGTGT 1AJ6CVGTGT

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

Mentions

arxiv: arXiv 2304.02722#TQM0 (statement). In AH7D55D3WV/e1, theorem 1.5

History

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

1AJK8XH0M3 1AJK8XH0M3

URI	`m2://inv/1AJK8XH0M3`
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.20409#VBOI (statement)

History

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

The iterates lie in the domain of the slope 1AJN7GPKKN

URI	`m2://inv/1AJN7GPKKN`
Kind	statement
Layer	research
MSC	35-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.20998#FW8J, The iterates lie in the domain of the slope (statement)

History

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

1AJREWQPPD 1AJREWQPPD

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

Mentions

arxiv: arXiv 2609.32338#8277 (statement). In HVY45JQRNK/e1, lemma 2.30

History

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

1AJSTDDG18 1AJSTDDG18

URI	`m2://inv/1AJSTDDG18`
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.12357#TXGC (statement). In 1F26AF81XP/e1, lemma 4.4

History

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

Hypothesis test 1AJYG7FWFH

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

Mentions

wikipedia: Wikipedia Two-proportion Z-test#TDUR, Hypothesis test (statement)

History

2026-11-02: add by m2/dev

1AJZK5EWRV 1AJZK5EWRV

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

Mentions

arxiv: arXiv 2504.00596#TY9Q (statement). In F8RC6AENB0/e1, proposition 7.4

History

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

equilibrium solution 1AK13NJ325

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

Mentions

active_calculus: active_calculus index/7.2.3/equilibrium-solution, equilibrium solution (concept). In 907G4C4EJ1, index, section 7.2.3

History

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

Pullback 1AK2DPNTHK

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

Mentions

wikipedia: Wikipedia Pullback, Pullback (definition). Also Wikidata Q7259417

History

2026-11-02: add by m2/dev

Mubayi 1AK6FED36J

URI	`m2://inv/1AK6FED36J`
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.06038#OMEZ, Mubayi (statement). In 4TJGTZWJVK/e1, theorem 1.1

History

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

Pierre Deligne 1AK6WXNYVH

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#4URG, Pierre Deligne (topic)
wikipedia: Wikipedia List of algebraic geometry topics#W7KT, Pierre Deligne (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZBFR, Pierre Deligne (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZUED, Pierre Deligne (topic)

History

2026-11-02: add by m2/dev

1AK7W40EA7 1AK7W40EA7

URI	`m2://inv/1AK7W40EA7`
Kind	statement
Layer	research
MSC	16-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.27420#3TCU (statement)

History

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

1AK98N4W3N 1AK98N4W3N

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

Mentions

lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#defn-3 (definition). In E59CDZA4DP, defn, section 6.2.2

History

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

Degenerate triangle 1AKBY3MKBG

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

Mentions

wikipedia: Wikipedia Degeneracy (mathematics)#VM4A, Degenerate triangle (unknown)

History

2026-11-02: add by m2/dev

Divergence 1AKEB89R6B

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#27CG, Divergence (definition)

History

2026-11-02: add by m2/dev

Example 1AKKX9GQMN

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

Mentions

wikipedia: Wikipedia Stiff equation#F1FH, Example (example)

History

2026-11-02: add by m2/dev

spanning set 1AKMCJJE0W

URI	`m2://inv/1AKMCJJE0W`
Kind	definition
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.39511#4114, spanning set (definition). In 6W9H24A378/e1, definition 5

History

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

Finite-order angular maxima 1AKR0CTNX4

URI	`m2://inv/1AKR0CTNX4`
Kind	example
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.37704#R666, Finite-order angular maxima (example). In HGTFJ325A4/e1, example 8.3

History

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

1AKSZ48NVN 1AKSZ48NVN

URI	`m2://inv/1AKSZ48NVN`
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.19694#JVPW (statement). In EP0M4RSZ9P/e1, lemma 3.7

History

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

Harmonic differential 1AKX9PJXTH

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

Mentions

wikipedia: Wikipedia Harmonic differential, Harmonic differential (definition). Also Wikidata Q2376310

History

2026-11-02: add by m2/dev

A positive kernel 1AM2TX35YF

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

Mentions

arxiv: arXiv 2609.37479#H33W, A positive kernel (statement). In P3RTT99C41/e1, proposition 7.14

History

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

motivic cohomology 1AM3F0Z4YA

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

Mentions

wikidata: Wikidata Q2981889, motivic cohomology (unknown). Also nLab motivic cohomology
wikipedia: Wikipedia Motivic cohomology, Motivic cohomology (definition). Also Wikidata Q2981889

History

2026-10-26: add by m2/dev

Giorgi Dvali 1AM3YNM5K1

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

Mentions

wikipedia: Wikipedia List of string theory topics#4BJN, Giorgi Dvali (unknown)

History

2026-11-02: add by m2/dev

Hardness of the common entropy 1AM79VYAZH

URI	`m2://inv/1AM79VYAZH`
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.15402#475U, Hardness of the common entropy (statement). In WSE8SEHVXG/e1, theorem 3

History

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

1AM7QA5ZX7 1AM7QA5ZX7

URI	`m2://inv/1AM7QA5ZX7`
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.33015#21PR (statement). In W6Y6NPK648/e1, theorem 1.4

History

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

Iwasawa theory 1AM95MDG4J

URI	`m2://inv/1AM95MDG4J`
Kind	topic
Layer	textbook
MSC	11R23
Sources	2
Outcome	open
Node	Iwasawa theory Y2SPPSQ5D4

Mentions

wikidata: Wikidata Q1392559, Iwasawa theory (topic). Also nLab Iwasawa theory
wikipedia: Wikipedia Iwasawa theory, Iwasawa theory (topic). Also Wikidata Q1392559

History

2026-10-26: add by m2/dev

Width and tuple balance 1AMAGVM6CY

URI	`m2://inv/1AMAGVM6CY`
Kind	problem
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.30895#FG93, Width and tuple balance (problem). In B8D26BYA7T/e1, problem 1

History

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

1AMAR4AJF8 1AMAR4AJF8

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

Mentions

arxiv: arXiv 2610.08211#EQ2F (statement). In 1QRK9HXJWT/e1, proposition 1.4

History

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

Exponential function 1AMD1YENDK

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

Mentions

wikipedia: Wikipedia List of mathematical functions#EF72, Exponential function (definition)

History

2026-11-02: add by m2/dev

1AMEY7Y6KF 1AMEY7Y6KF

URI	`m2://inv/1AMEY7Y6KF`
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#A1AE (statement). In D1DFM4WYEW/e1, lemma 7.7

History

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

Statement 1AMF6P96F4

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

Mentions

wikipedia: Wikipedia Sylvester's law of inertia#2T5F, Statement (statement)

History

2026-11-02: add by m2/dev

Hermann Grassmann 1AMMPCDZZ6

URI	`m2://inv/1AMMPCDZZ6`
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 Q77219, Hermann Grassmann (unknown). Also nLab Hermann Grassmann, ProofWiki Mathematician:Hermann_Günter_Grassmann
wikipedia: Wikipedia Hermann Grassmann, Hermann Grassmann (topic). Also Wikidata Q77219

History

2026-10-26: add by m2/dev

Construction 1AMXAR812D

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

Mentions

wikipedia: Wikipedia Hall's universal group#K185, Construction (definition)

History

2026-11-02: add by m2/dev

Spurious strong modes 1AMXATZVZ7

URI	`m2://inv/1AMXATZVZ7`
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.27966#0LEO, Spurious strong modes (statement)

History

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

1AMYA2B8EX 1AMYA2B8EX

URI	`m2://inv/1AMYA2B8EX`
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#AON7 (statement). In HVGT9D84WV/e1, lemma 3.8

History

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

Implementation 1AN2BW31SV

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

Mentions

wikipedia: Wikipedia System of Integrated Environmental and Economic Accounting#RB1J, Implementation (definition)

History

2026-11-02: add by m2/dev

MITL0 1AN3D97PQG

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

Mentions

wikipedia: Wikipedia Metric interval temporal logic#L67E, MITL0 (unknown)

History

2026-11-02: add by m2/dev

Examples 1AN784G219

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

Mentions

wikipedia: Wikipedia Supersolvable lattice#9F02, Examples (example)

History

2026-11-02: add by m2/dev

1AN9KV1876 1AN9KV1876

URI	`m2://inv/1AN9KV1876`
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.20568#JXV4 (statement)

History

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

Computational complexity of randomized algorithms 1ANJJQNK5K

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

Mentions

wikipedia: Wikipedia Randomized algorithm#XIMQ, Computational complexity of randomized algorithms (unknown)

History

2026-11-02: add by m2/dev

Extreme point 1ANK58X2PT

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

Mentions

wikipedia: Wikipedia List of convexity topics#TIH5, Extreme point (definition)

History

2026-11-02: add by m2/dev

Jouanolou's trick 1ANRNQ078R

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

Mentions

wikipedia: Wikipedia Jouanolou's trick, Jouanolou's trick (definition). Also Wikidata Q55615352

History

2026-11-02: add by m2/dev

1ANT1DK774 1ANT1DK774

URI	`m2://inv/1ANT1DK774`
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.14582#O3U2 (statement). In 6XP6PD2XZA/e1, proposition 7.1

History

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

1AP3VSJBMV 1AP3VSJBMV

URI	`m2://inv/1AP3VSJBMV`
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 2202.10212#1FKL (definition). In E9ZQM8449P/e1, definition 4.1

History

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

1AP4YC5R2M 1AP4YC5R2M

URI	`m2://inv/1AP4YC5R2M`
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.33643#7V5W (statement). In G8Y8XD02EC/e1, proposition 2.2

History

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

Prune and search 1APQ0DXYXF

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

Mentions

wikipedia: Wikipedia Prune and search, Prune and search (definition). Also Wikidata Q7253034

History

2026-11-02: add by m2/dev

Vysochanskij–Petunin inequality 1APQ7JX9EG

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

Mentions

wikipedia: Wikipedia Unimodality#7NYV, Vysochanskij–Petunin inequality (statement)

History

2026-11-02: add by m2/dev

contract bridge 1APTWKNT0W

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

Mentions

wikidata: Wikidata Q188966, contract bridge (definition). Also MathWorld Bridge, ProofWiki Definition:Bridge_(Game)

History

2026-10-26: add by m2/dev

The commutative case 1APV4V2HCW

URI	`m2://inv/1APV4V2HCW`
Kind	example
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.21339#5IAX, The commutative case (example)

History

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

Was sind und was sollen die Zahlen? 1APW0FM2GG

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

Mentions

wikipedia: Wikipedia Richard Dedekind#S8XL, Was sind und was sollen die Zahlen? (unknown)

History

2026-11-02: add by m2/dev

Analytic signal 1APWZ0D97V

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

Mentions

wikipedia: Wikipedia List of harmonic analysis topics#YQXL, Analytic signal (definition)

History

2026-11-02: add by m2/dev

Hasse's theorem on elliptic curves 1APXMF9BQ6

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

Mentions

wikipedia: Wikipedia List of theorems#ON2U, Hasse's theorem on elliptic curves (statement)

History

2026-11-02: add by m2/dev

1APYGEMCZ6 1APYGEMCZ6

URI	`m2://inv/1APYGEMCZ6`
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.38375#KJUV (statement). In CHSB1TGAKB/e1, corollary 4

History

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

Continuum (set theory) 1AQ2B5VPFX

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

Mentions

wikipedia: Wikipedia List of continuity-related mathematical topics#7S26, Continuum (set theory) (definition)

History

2026-11-02: add by m2/dev

exact trigonometric constants 1AQ2G1WSDN

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

Mentions

wikidata: Wikidata Q2533727, exact trigonometric constants (concept). Also MathWorld ConstructiblePolygon

History

2026-10-26: add by m2/dev

Rectified 5-cell 1AQ8ED9HFK

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

Mentions

wikipedia: Wikipedia Rectified 5-cell, Rectified 5-cell (definition). Also Wikidata Q7303156

History

2026-11-02: add by m2/dev

Misspecified learners 1AQDESHJ54

URI	`m2://inv/1AQDESHJ54`
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.33866#DX84, Misspecified learners (statement). In Y3MSGX6472/e1, proposition 11

History

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

1AQFR53M6T 1AQFR53M6T

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

Mentions

arxiv: arXiv 2610.05486#BUND (statement). In 5Z46AK2XTC/e1, lemma B.3

History

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

General linear methods 1AQT9RDR63

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

Mentions

wikipedia: Wikipedia General linear methods, General linear methods (definition). Also Wikidata Q17016015

History

2026-11-02: add by m2/dev

Explicit nonproduct energy gap 1AQZ8BKRGB

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

Mentions

arxiv: arXiv 2609.38228#EJTY, Explicit nonproduct energy gap (statement). In 9YAE8FNQST/e1, theorem 20.4

History

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

1AR3HCGJW5 1AR3HCGJW5

URI	`m2://inv/1AR3HCGJW5`
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 2505.08839#4YRK (statement). In HJPDS53MX4/e1, theorem 5.2

History

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

1AR842BA1F 1AR842BA1F

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

Mentions

arxiv: arXiv 2610.13680#LEN1 (unknown). In QNBFHFZ3H0/e1, unknown 117

History

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

almost Hamiltonian graph 1AR8X2T215

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

Mentions

wikidata: Wikidata Q122897696, almost Hamiltonian graph (unknown). Also MathWorld AlmostHamiltonianGraph

History

2026-10-26: add by m2/dev

Properties 1ARM7WN99Z

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

Mentions

wikipedia: Wikipedia Polar sine#K503, Properties (statement)

History

2026-11-02: add by m2/dev

Properties 1ARXK4QNYT

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

Mentions

wikipedia: Wikipedia Rotation number#N5LN, Properties (statement)

History

2026-11-02: add by m2/dev

Finite-rate obstruction for metasyndrome-only repair 1AS9CTTQ4J

URI	`m2://inv/1AS9CTTQ4J`
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.39121#WWWX, Finite-rate obstruction for metasyndrome-only repair (statement). In A42CWWRZJE/e1, corollary 3

History

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

Every Aronszajn tree is special 1ASBC099F5

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

Mentions

wikipedia: Wikipedia Aronszajn tree#F7NJ, Every Aronszajn tree is special (unknown)

History

2026-11-02: add by m2/dev

1ASKRAYT4M 1ASKRAYT4M

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

Mentions

arxiv: arXiv 2609.33590#T98V (statement). In WRE0P7V6Z3/e1, lemma D.18

History

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

History of meteorology 1AT1GQY1EC

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

Mentions

wikipedia: Wikipedia Meteorology#XOGB, History of meteorology (unknown)

History

2026-11-02: add by m2/dev

1AT2BWA3A0 1AT2BWA3A0

URI	`m2://inv/1AT2BWA3A0`
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#6T74 (statement)

History

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

1AT7R5BRYQ 1AT7R5BRYQ

URI	`m2://inv/1AT7R5BRYQ`
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.20568#JE26 (statement)

History

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

Checking if a coin is biased 1ATAM762A3

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

Mentions

wikipedia: Wikipedia List of mathematical examples#G2AR, Checking if a coin is biased (definition)

History

2026-11-02: add by m2/dev

Exactness of the value relaxation in the limit 1ATCRD4X72

URI	`m2://inv/1ATCRD4X72`
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.00033#JDBE, Exactness of the value relaxation in the limit (statement). In SHMMW4JXZ1/e1, theorem 8

History

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

Definition 1ATF7THGS2

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

Mentions

wikipedia: Wikipedia Random element#R8Z3, Definition (definition)

History

2026-11-02: add by m2/dev

1ATRXYVND8 1ATRXYVND8

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#prop-7 (statement). In E59CDZA4DP, prop, section 5.6

History

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

Cusp catastrophe 1AV5F6X1JK

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

Mentions

wikipedia: Wikipedia Catastrophe theory#ML7E, Cusp catastrophe (unknown)

History

2026-11-02: add by m2/dev

distributor 1AV8KYHYRY

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

Mentions

wikipedia: Wikipedia Glossary of category theory#4A9R, distributor (definition)

History

2026-11-02: add by m2/dev

1AVBED2PXM 1AVBED2PXM

URI	`m2://inv/1AVBED2PXM`
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.36181#3KUI (example). In 1KSE33PVS6/e1, example 49

History

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

1AVEX09K0F 1AVEX09K0F

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

Mentions

arxiv: arXiv 2609.31604#8BN8 (definition). In GSN5YTQS2K/e1, definition 2.4

History

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

Properties 1AVP8JXSVT

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

Mentions

wikipedia: Wikipedia Discrete series representation#NPYC, Properties (statement)

History

2026-11-02: add by m2/dev

1AVQJ116ZS 1AVQJ116ZS

URI	`m2://inv/1AVQJ116ZS`
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.08382#AVEW (statement). In GYMGDQS25R/e1, lemma 2.12

History

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

Specialization at a finite character 1AVTBZF7TM

URI	`m2://inv/1AVTBZF7TM`
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.05652#DBJH, Specialization at a finite character (statement). In 8BNPFYQDQX/e1, lemma 3.11

History

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

1AVVRMYBZP 1AVVRMYBZP

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

Mentions

open_logic: open_logic content/set-theory/card-arithmetic/simp.tex#cardplustimesmax (statement). In PKGMM3P5QY, thm, section 69.5

History

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

ideal powers 1AVYT594WP

URI	`m2://inv/1AVYT594WP`
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.02743#V44Q, ideal powers (statement). In GQH4ZPDWET/e1, lemma 9.2

History

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

Zero-sum authority degeneracy 1AWQSRPVFK

URI	`m2://inv/1AWQSRPVFK`
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.21580#N6AH, Zero-sum authority degeneracy (statement)

History

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

Marking theorem 1AX1Z2CX3W

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

Mentions

wikipedia: Wikipedia Poisson point process#4RM5, Marking theorem (statement)

History

2026-11-02: add by m2/dev

Small-window profile 1AXAG9X5WC

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

Mentions

arxiv: arXiv 2610.14085#DG1G, Small-window profile (statement). In T8F19ZGHF3/e1, lemma 4.7

History

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

Definition 1AXEYD2F38

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

Mentions

wikipedia: Wikipedia Programming language#CEUJ, Definition (definition)

History

2026-11-02: add by m2/dev

Bouguer reduction 1AXJG8T6G2

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

Mentions

wikipedia: Wikipedia Bouguer anomaly#XC5X, Bouguer reduction (unknown)

History

2026-11-02: add by m2/dev

1AXWNE24D2 1AXWNE24D2

URI	`m2://inv/1AXWNE24D2`
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#YB9P (statement). In F3BKXXPR3K/e1, lemma C.1

History

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

Theorem 1AXXE7QMQ7

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

Mentions

wikipedia: Wikipedia Hahn–Banach theorem#F58S, Theorem (statement)

History

2026-11-02: add by m2/dev

1AY39W78EM 1AY39W78EM

URI	`m2://inv/1AY39W78EM`
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 2403.16840#1XIH (statement). In K4CZQDD0G7/e1, proposition 2.6

History

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

1AY71ZGACC 1AY71ZGACC

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

Mentions

open_logic: open_logic content/set-theory/ord-arithmetic/addition.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 71.8

History

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

1AY7B4A59B 1AY7B4A59B

URI	`m2://inv/1AY7B4A59B`
Kind	example
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#C88H (example). In HAGJKEZ1CK/e1, example 7.3

History

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

Vitaly Bergelson 1AY7TXCQRY

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

Mentions

wikipedia: Wikipedia Vitaly Bergelson, Vitaly Bergelson (topic). Also Wikidata Q15994928

History

2026-11-02: add by m2/dev

Example 1AY89D5G0P

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

Mentions

wikipedia: Wikipedia Graph homology#945O, Example (example)

History

2026-11-02: add by m2/dev

1AYC2HNMV0 1AYC2HNMV0

URI	`m2://inv/1AYC2HNMV0`
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.22040#FHRR (statement). In 2QP93JHYNB/e1, theorem 5.2

History

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

Lie algebra of a Lie group 1AYF7SX5AD

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

Mentions

mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > Lie algebra of a Lie group, Lie algebra of a Lie group (unknown). Also Mathlib GroupLieAlgebra

History

2026-10-26: add by m2/dev

Example of addition law 1AYGM93YKA

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

Mentions

wikipedia: Wikipedia Edwards curve#ZA0C, Example of addition law (example)

History

2026-11-02: add by m2/dev

1AYMY14WJW 1AYMY14WJW

URI	`m2://inv/1AYMY14WJW`
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 1003.1817#Z61V (statement). In VCPT7BK80E/e1, theorem 5.1

History

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

Psychological research 1AYNPM2AVW

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

Mentions

wikipedia: Wikipedia Psychological research, Psychological research (definition). Also Wikidata Q7256388

History

2026-11-02: add by m2/dev

Constant isolated profiles in two dimensions 1AYSKJ5TBB

URI	`m2://inv/1AYSKJ5TBB`
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.29565#WVSF, Constant isolated profiles in two dimensions (statement)

History

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

1AYVZ4MZGG 1AYVZ4MZGG

URI	`m2://inv/1AYVZ4MZGG`
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 2409.17318#3LUP (statement). In 2P63T9MJ4P/e1, fact 2.3

History

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

1AZ0ATJE2G 1AZ0ATJE2G

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

Mentions

arxiv: arXiv 2610.13180#4T4E (statement). In 7TSVFYEGD8/e1, theorem 1.2

History

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

Applications 1AZ7J8NJVD

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

Mentions

wikipedia: Wikipedia K-statistic#Q82M, Applications (example)

History

2026-11-02: add by m2/dev

V. I. Arnold 1AZ9VHS445

URI	`m2://inv/1AZ9VHS445`
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#2RUE, V. I. Arnold (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#N208, V. I. Arnold (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#T5YO, V. I. Arnold (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UABR, V. I. Arnold (topic)

History

2026-11-02: add by m2/dev

1AZF62A2AE 1AZF62A2AE

URI	`m2://inv/1AZF62A2AE`
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.07285#8MF7 (statement). In S284XRA4WK/e1, lemma I.2

History

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

1AZGCA4NRN 1AZGCA4NRN

URI	`m2://inv/1AZGCA4NRN`
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.32233#AXT9 (statement). In V42PPD7SWH/e1, proposition 2.2

History

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

1AZQW3DTN3 1AZQW3DTN3

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

Mentions

arxiv: arXiv 2610.22288#EOXM (statement). In X38P26DK6S/e1, lemma 4.14

History

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

1AZRZ6T0F5 1AZRZ6T0F5

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

History

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