Inventory rows Y8

Y802FVYJWR Y802FVYJWR

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

Mentions

arxiv: arXiv 2609.23528#HU69 (definition)

History

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

Y8087H7ZG6 Y8087H7ZG6

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

History

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

Engel subalgebra Y80E6FX20N

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

Mentions

wikipedia: Wikipedia Engel subalgebra, Engel subalgebra (definition). Also Wikidata Q16917803

History

2026-11-02: add by m2/dev

Two-time realization of every SRG average Y80HMYDC2S

URI	`m2://inv/Y80HMYDC2S`
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.10017#22WY, Two-time realization of every SRG average (statement). In CJRBKR4JKT/e1, theorem 2.5

History

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

Y80TD1KWWA Y80TD1KWWA

URI	`m2://inv/Y80TD1KWWA`
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.04876#0EYS (statement). In 2TNAKVC0YP/e1, proposition 3.6

History

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

Y80X74XP4K Y80X74XP4K

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

Mentions

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

History

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

Y81HMK8JAP Y81HMK8JAP

URI	`m2://inv/Y81HMK8JAP`
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 2502.02777#5ML8 (statement). In D8T5GDXERW/e1, proposition 3

History

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

Investment laws Y81V141JF6

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

Mentions

wikipedia: Wikipedia Pro rata#ULZZ, Investment laws (statement)

History

2026-11-02: add by m2/dev

Lawrie Brown Y8224698K6

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

Mentions

wikipedia: Wikipedia Lawrie Brown, Lawrie Brown (topic). Also Wikidata Q6504840

History

2026-11-02: add by m2/dev

Y822MJCK63 Y822MJCK63

URI	`m2://inv/Y822MJCK63`
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.16235#DWYN (statement). In RNGNWGMX85/e1, lemma 3.10

History

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

Y8250QE53M Y8250QE53M

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

Mentions

arxiv: arXiv 2610.14045#7WOL (statement). In KZ71GXT2B0/e1, lemma 2.13

History

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

Generalization Y828A4YT6M

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

Mentions

wikipedia: Wikipedia Shoelace formula#J5NU, Generalization (statement)

History

2026-11-02: add by m2/dev

Area chart Y82E6K19C7

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

Mentions

wikipedia: Wikipedia List of statistics articles#67FW, Area chart (definition)
wikipedia: Wikipedia List of graphical methods#PE2Q, Area chart (definition)

History

2026-11-02: add by m2/dev

Y82N2CJYN4 Y82N2CJYN4

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

Mentions

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

History

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

Y82Q4952NR Y82Q4952NR

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

Mentions

austin_ula: austin_ula src/section4-2.xml#example-11 (example). In 649HGZKE96, example, section 4.2.4

History

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

Newest vertex bisection Y83C19A3DD

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

Mentions

wikipedia: Wikipedia Newest vertex bisection, Newest vertex bisection (definition). Also Wikidata Q60792638

History

2026-11-02: add by m2/dev

Georges Painvin Y83D2KC089

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

Mentions

wikipedia: Wikipedia List of cryptographers#BSEP, Georges Painvin (topic)

History

2026-11-02: add by m2/dev

Y83K2NPJFC Y83K2NPJFC

URI	`m2://inv/Y83K2NPJFC`
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 2605.24355#2COS (definition). In VV3AJMWWCR/e1, definition 3

History

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

Seminar for Applied Mathematics Y83PMNYV9Q

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

Mentions

wikipedia: Wikipedia Seminar for Applied Mathematics, Seminar for Applied Mathematics (definition). Also Wikidata Q17126215

History

2026-11-02: add by m2/dev

Y83WD6ARQY Y83WD6ARQY

URI	`m2://inv/Y83WD6ARQY`
Kind	statement
Layer	research
MSC	11-XX, 14-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.24701#NECX (statement)

History

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

Daniel Kane Y83Y83RXKF

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#VXXL, Daniel Kane (topic)

History

2026-11-02: add by m2/dev

representation Y84CEXG1EG

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#IZP0, representation (definition)

History

2026-11-02: add by m2/dev

Jian Ding Y84P7QD32Q

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

Mentions

wikipedia: Wikipedia Jian Ding, Jian Ding (topic)

History

2026-11-02: add by m2/dev

inflection point Y84Z7BRMDW

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

Mentions

active_calculus: active_calculus index/3.3.3/inflection-point, inflection point (concept). In 907G4C4EJ1, index, section 3.3.3

History

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

Y8526J3VJB Y8526J3VJB

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

Mentions

arxiv: arXiv 2610.05403#7L8K (statement). In PQGGCD09KP/e1, proposition 2.2

History

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

Y85F1QZARF Y85F1QZARF

URI	`m2://inv/Y85F1QZARF`
Kind	statement
Layer	research
MSC	35-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.20599#8ITA (statement)

History

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

Y85G200N8R Y85G200N8R

URI	`m2://inv/Y85G200N8R`
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.35320#67GM (statement). In QJ6AEW93RB/e1, theorem 1.9

History

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

cf.\ Y85P3KHBS1

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

Mentions

arxiv: arXiv 2610.01273#J4IG, cf.\ (statement). In RAT41DDR51/e1, proposition 2.8

History

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

Tsirelson's bound Y85P5J73HB

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#LCLD, Tsirelson's bound (definition)

History

2026-11-02: add by m2/dev

Properties Y85W3J9NQ7

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

Mentions

wikipedia: Wikipedia Hölder condition#SAVQ, Properties (statement)

History

2026-11-02: add by m2/dev

Statements Y85WPNDA71

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

Mentions

wikipedia: Wikipedia Lifting-the-exponent lemma#93VY, Statements (statement)

History

2026-11-02: add by m2/dev

Definition Y85Y309AKA

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

Mentions

wikipedia: Wikipedia Cryptographic nonce#35DI, Definition (definition)

History

2026-11-02: add by m2/dev

monadic functor Y860CM0R35

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

Mentions

wikidata: Wikidata Q140914670, monadic functor (unknown). Also nLab monadic functor

History

2026-10-26: add by m2/dev

Y865FDVGPB Y865FDVGPB

URI	`m2://inv/Y865FDVGPB`
Kind	statement
Layer	research
MSC	35-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.13241#R1GU (statement). In DWQWQ5KTEE/e1, lemma 5

History

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

Y867M5KY5B Y867M5KY5B

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

Mentions

arxiv: arXiv 2609.28774#LUSH (definition)

History

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

Statement Y868TCBTYS

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

Mentions

wikipedia: Wikipedia Reider's theorem#FVYB, Statement (statement)

History

2026-11-02: add by m2/dev

Abel's lemma Y86CV79GKW

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

Mentions

wikipedia: Wikipedia List of lemmas#H3UP, Abel's lemma (definition)

History

2026-11-02: add by m2/dev

Y86D8V7GHP Y86D8V7GHP

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

Mentions

open_logic: open_logic content/second-order-logic/sol-and-set-theory/comparing-sets.tex#prop-4 (statement). In PKGMM3P5QY, prop, section 66.4

History

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

arithmetical Y86HN8VB9Q

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

Mentions

wikipedia: Wikipedia Glossary of set theory#A4FN, arithmetical (definition)

History

2026-11-02: add by m2/dev

Y86M5GZC78 Y86M5GZC78

URI	`m2://inv/Y86M5GZC78`
Kind	statement
Layer	research
MSC	11-XX, 37-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 2609.24623#2NKF (statement)

History

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

Bézout's identity and extended GCD algorithm Y86N3T6M4J

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

Mentions

wikipedia: Wikipedia Polynomial greatest common divisor#GYH9, Bézout's identity and extended GCD algorithm (statement)

History

2026-11-02: add by m2/dev

Lebesgue covering dimension Y86P8TS991

URI	`m2://inv/Y86P8TS991`
Kind	statement
Layer	textbook
MSC	54-XX
Sources	4
Outcome	open
Node	Lebesgue covering dimension A3W7RGXXK9

Mentions

mathlib_1000: mathlib_1000 Q164262, Lebesgue covering dimension (statement). Also Wikidata Q164262
thousand_plus: thousand_plus Q164262, Lebesgue covering dimension (statement). Also Wikidata Q164262, Wikipedia Lebesgue covering dimension
wikidata: Wikidata Q164262, Lebesgue covering dimension (unknown). Also MathWorld LebesgueCoveringDimension
wikipedia: Wikipedia Lebesgue covering dimension, Lebesgue covering dimension (definition). Also Wikidata Q164262

History

2026-10-26: add by m2/dev

Finite nonnegative measures Y86RWPRX6E

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

Mentions

arxiv: arXiv 2609.22296#1UW6, Finite nonnegative measures (definition)

History

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

Y86SFTGNMZ Y86SFTGNMZ

URI	`m2://inv/Y86SFTGNMZ`
Kind	definition
Layer	research
MSC	19-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 2302.13533#4R94 (definition). In DK9GQ8G0T4/e1, definition 1.2

History

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

Dini comparison Y86WPXCN8C

URI	`m2://inv/Y86WPXCN8C`
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.06653#T88B, Dini comparison (statement). In 9D2N76AJAT/e1, lemma E.5

History

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

Local repair and robustness Y8730XMB7B

URI	`m2://inv/Y8730XMB7B`
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.11038#9DO9, Local repair and robustness (statement). In RY8QBYR4SE/e1, theorem 4.1

History

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

Sub-Markovian kernels on Orlicz spaces Y873CN68PW

URI	`m2://inv/Y873CN68PW`
Kind	statement
Layer	research
MSC	35-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.08074#3FB7, Sub-Markovian kernels on Orlicz spaces (statement). In ZRPYF750AV/e1, lemma 5.1

History

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

Y87723V9AB Y87723V9AB

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

Mentions

arxiv: arXiv 2609.37112#UBDM (statement). In 5B10HAY4C3/e1, theorem 4.5

History

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

Y878AZ3SBX Y878AZ3SBX

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

Mentions

arxiv: arXiv 2609.29531#FRA1 (statement)

History

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

rhombohedron Y87FPHVEZW

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

Mentions

wikidata: Wikidata Q854916, rhombohedron (unknown). Also MathWorld Rhombohedron
wikipedia: Wikipedia Rhombohedron, Rhombohedron (object). Also Wikidata Q854916

History

2026-10-26: add by m2/dev

Y87S6XKFMC Y87S6XKFMC

URI	`m2://inv/Y87S6XKFMC`
Kind	statement
Layer	research
MSC	30-XX, 32-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.10505#A5H4 (statement). In JW8HH6EPG2/e1, proposition 4.10

History

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

Y87TSVPTAA Y87TSVPTAA

URI	`m2://inv/Y87TSVPTAA`
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.20008#7K6U (statement)

History

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

Y87XEKVKDX Y87XEKVKDX

URI	`m2://inv/Y87XEKVKDX`
Kind	example
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.20153#AFQF (example)

History

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

Y88080VY7R Y88080VY7R

URI	`m2://inv/Y88080VY7R`
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 2303.13891#PEZ2 (statement). In TC91C5DGTG/e1, theorem 1

History

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

Y880QWHSH1 Y880QWHSH1

URI	`m2://inv/Y880QWHSH1`
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.30086#RNGI (definition)

History

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

Y881K57AVF Y881K57AVF

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

Mentions

arxiv: arXiv 2609.20478#EURL (definition)

History

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

Construction from the failure of the smooth h-cobordism theorem Y888Y3YJ2G

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

Mentions

wikipedia: Wikipedia Exotic R4#W5J5, Construction from the failure of the smooth h-cobordism theorem (statement)

History

2026-11-02: add by m2/dev

David Gauld Y888ZH07SS

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

Mentions

wikipedia: Wikipedia David Gauld (mathematician), David Gauld (topic). Also Wikidata Q28037030

History

2026-11-02: add by m2/dev

Y88AN3WJBJ Y88AN3WJBJ

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

Mentions

arxiv: arXiv 2609.27823#C75B (statement)

History

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

Y88C8Q91J0 Y88C8Q91J0

URI	`m2://inv/Y88C8Q91J0`
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.37739#9428 (statement). In F5XF5VXTXY/e1, lemma 8.8

History

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

A12 Authentication Y88DS3F5J0

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

Mentions

wikipedia: Wikipedia A12 Authentication, A12 Authentication (definition). Also Wikidata Q4648858

History

2026-11-02: add by m2/dev

Y88ERXDHDA Y88ERXDHDA

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

Mentions

arxiv: arXiv 2609.33421#B2ON (statement). In YMVA1SJ640/e1, lemma 2.1

History

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

Exact defect decomposition Y8913XS8SQ

URI	`m2://inv/Y8913XS8SQ`
Kind	statement
Layer	research
MSC	05-XX, 16-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.06739#7VJ2, Exact defect decomposition (statement). In HA9B7PD0YV/e1, corollary 17

History

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

Intersecting secants theorem Y897EED5PC

URI	`m2://inv/Y897EED5PC`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	3
Outcome	node (a node has the same name as the row)
Node	Intersecting secants theorem 0J5XR7BW2S

Mentions

mathlib_1000: mathlib_1000 Q1727461, Intersecting secants theorem (statement). Also Mathlib EuclideanGeometry.mul_dist_eq_mul_dist_of_cospherical_of_angle_eq_zero, Wikidata Q1727461
thousand_plus: thousand_plus Q1727461, Intersecting secants theorem (statement). Also Wikidata Q1727461, Wikipedia Intersecting secants theorem
wikipedia: Wikipedia Intersecting secants theorem, Intersecting secants theorem (statement). Also Wikidata Q1727461

History

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

frequency Y89GWE4604

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

Mentions

wikidata: Wikidata Q762856, frequency (unknown). Also MathWorld AbsoluteFrequency
wikipedia: Wikipedia Frequency (statistics), Frequency (definition). Also Wikidata Q762856

History

2026-10-26: add by m2/dev

Y89NBDK5J0 Y89NBDK5J0

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

Mentions

arxiv: arXiv 2610.08385#VO04 (statement). In D979582ST2/e1, lemma 7

History

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

De Nive Sexangula Y89PW9XGBG

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

Mentions

wikipedia: Wikipedia Johannes Kepler#9TFX, De Nive Sexangula (unknown)

History

2026-11-02: add by m2/dev

Y89YEAMN23 Y89YEAMN23

URI	`m2://inv/Y89YEAMN23`
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.36922#0P0E (definition). In BMHWE5QTTR/e1, definition 3.2

History

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

Definition (Ploščica, Tůma, and Wehrung 1998) Y8A3F04PJ3

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

Mentions

wikipedia: Wikipedia Congruence lattice problem#UT1E, Definition (Ploščica, Tůma, and Wehrung 1998) (definition)

History

2026-11-02: add by m2/dev

Hermite–Lindemann theorem Y8A561DD62

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

Mentions

wikipedia: Wikipedia List of things named after Charles Hermite#S6LJ, Hermite–Lindemann theorem (statement)

History

2026-11-02: add by m2/dev

Partial correlation Y8A5T5JKXN

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

Mentions

wikipedia: Wikipedia List of statistics articles#ELAF, Partial correlation (definition)

History

2026-11-02: add by m2/dev

Example Y8AEZ59MEK

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

Mentions

wikipedia: Wikipedia DSatur#JY5H, Example (example)

History

2026-11-02: add by m2/dev

Y8AF3KAHT5 Y8AF3KAHT5

URI	`m2://inv/Y8AF3KAHT5`
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.17276#Q9N9 (statement). In GG14QF0JKJ/e1, lemma 3.8

History

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

Y8AP5R0GRE Y8AP5R0GRE

URI	`m2://inv/Y8AP5R0GRE`
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.04809#C99J (statement). In 2VHV0RNTNV/e1, proposition 7.9

History

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

Y8ASF67YNK Y8ASF67YNK

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

Mentions

arxiv: arXiv 2610.18324#CRZI (statement). In C0EG2EY0M4/e1, lemma 2.1

History

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

Properties Y8ASHP8HTZ

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

Mentions

wikipedia: Wikipedia Symmetric matrix#ADET, Properties (statement)

History

2026-11-02: add by m2/dev

Y8AV63TPEP Y8AV63TPEP

URI	`m2://inv/Y8AV63TPEP`
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.26033#NB8M (statement)

History

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

Y8AVS4HKW6 Y8AVS4HKW6

URI	`m2://inv/Y8AVS4HKW6`
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.03497#6T0Z (statement). In RRNHC0CAC9/e1, theorem

History

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

Paradata Y8AXKDR0PR

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

Mentions

wikipedia: Wikipedia Paradata, Paradata (definition). Also Wikidata Q1719069

History

2026-11-02: add by m2/dev

Counterexample in the critical range Y8B3740PV3

URI	`m2://inv/Y8B3740PV3`
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.22345#SXV2, Counterexample in the critical range (statement). In 7JATJ4VG9G/e1, proposition 13.1

History

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

transformation matrix Y8B5H96R56

URI	`m2://inv/Y8B5H96R56`
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.39511#MP4X, transformation matrix (statement). In 6W9H24A378/e1, corollary 4

History

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

Anton Kapustin Y8B8VXAHZ5

URI	`m2://inv/Y8B8VXAHZ5`
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#9RMD, Anton Kapustin (unknown)
wikipedia: Wikipedia List of string theory topics#9C9V, Anton Kapustin (unknown)

History

2026-11-02: add by m2/dev

Y8BB5783MD Y8BB5783MD

URI	`m2://inv/Y8BB5783MD`
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.06463#H9BR (statement). In 3WWY9K1K9V/e1, lemma 1

History

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

Lisa Brummel Y8BHZBXVQ5

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#LJTP, Lisa Brummel (unknown)

History

2026-11-02: add by m2/dev

Jacobson density theorem Y8BM29ARA4

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#NGPL, Jacobson density theorem (statement)

History

2026-11-02: add by m2/dev

octagon Y8BPRXNS0X

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

Mentions

wikidata: Wikidata Q166080, octagon (unknown). Also MathWorld Octagon
wikipedia: Wikipedia Octagon, Octagon (definition). Also Wikidata Q166080

History

2026-10-26: add by m2/dev

Fritsch graph Y8BT452Z1S

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

Mentions

wikipedia: Wikipedia Triaugmented triangular prism#725C, Fritsch graph (unknown)

History

2026-11-02: add by m2/dev

Applications Y8BW3N9MRQ

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

Mentions

wikipedia: Wikipedia Kolmogorov–Arnold representation theorem#X17P, Applications (example)

History

2026-11-02: add by m2/dev

Y8BYTW2GD8 Y8BYTW2GD8

URI	`m2://inv/Y8BYTW2GD8`
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.23941#DJ8R (statement)

History

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

Existence of solution to Kolmogorov backward equations Y8C5740Z37

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

Mentions

wikipedia: Wikipedia Continuous-time Markov chain#OPWO, Existence of solution to Kolmogorov backward equations (statement)

History

2026-11-02: add by m2/dev

Lemma Y8C8TD22EQ

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

Mentions

wikipedia: Wikipedia Operator theory#K5KG, Lemma (statement)

History

2026-11-02: add by m2/dev

Chain rule Y8CDCBHZHE

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

Mentions

wikipedia: Wikipedia Chain rule (probability), Chain rule (definition). Also Wikidata Q17004731

History

2026-11-02: add by m2/dev

MuPAD Y8CJKGQGA7

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

Mentions

wikipedia: Wikipedia MuPAD, MuPAD (definition). Also Wikidata Q1951595

History

2026-11-02: add by m2/dev

Y8CP0V1KJR Y8CP0V1KJR

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

Mentions

arxiv: arXiv 2610.08658#EDCT (definition). In 7PK5WS7246/e1, definition 1.1

History

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

Y8CVSFSPKP Y8CVSFSPKP

URI	`m2://inv/Y8CVSFSPKP`
Kind	statement
Layer	research
MSC	18-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.00135#R6A2 (statement). In PXWXV92SJY/e1, theorem 4.6

History

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

Y8CYBXBF45 Y8CYBXBF45

URI	`m2://inv/Y8CYBXBF45`
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#L8O4 (statement). In FGNNVKQR1Z/e1, corollary 5.7

History

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

HEAAN Y8D012EFHF

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

Mentions

wikipedia: Wikipedia HEAAN, HEAAN (definition). Also Wikidata Q65082072

History

2026-11-02: add by m2/dev

Y8D2B7RDRK Y8D2B7RDRK

URI	`m2://inv/Y8D2B7RDRK`
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.26017#334Q (statement)

History

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

Balanced reduction Y8D2CC8AD7

URI	`m2://inv/Y8D2CC8AD7`
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.32710#9J1U, Balanced reduction (statement). In KVYG6R7CGJ/e1, proposition 7.2

History

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

Full logarithmic metric Y8D4NTWN8T

URI	`m2://inv/Y8D4NTWN8T`
Kind	definition
Layer	research
MSC	51-XX, 52-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.25468#94ZV, Full logarithmic metric (definition)

History

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

Definition (Interval Dominance Order) Y8D6DKM2H0

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

Mentions

wikipedia: Wikipedia Monotone comparative statics#98TU, Definition (Interval Dominance Order) (definition)

History

2026-11-02: add by m2/dev

Y8DBXH0K87 Y8DBXH0K87

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

Mentions

arxiv: arXiv 1006.3331#SS12 (statement). In AY6WYB9RR3/e1, proposition 3.3

History

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

Inhomogeneous Cauchy-Riemann equations Y8DQ91NZQY

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

Mentions

wikipedia: Wikipedia Cauchy–Riemann equations#LCB8, Inhomogeneous Cauchy-Riemann equations (unknown)

History

2026-11-02: add by m2/dev

Y8DWN7495R Y8DWN7495R

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

Mentions

arxiv: arXiv 2603.26376#J6A0 (statement). In PJAT9YDX7Y/e1, proposition 4.3

History

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

William Hunter McCrea Y8E5VR833J

URI	`m2://inv/Y8E5VR833J`
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#RZHW, William Hunter McCrea (unknown)

History

2026-11-02: add by m2/dev

Fleiss, Joseph L. Y8E9M3W0XP

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

Mentions

wikipedia: Wikipedia List of statisticians#VLWW, Fleiss, Joseph L. (unknown)

History

2026-11-02: add by m2/dev

No rapid frequency cascade Y8EC3GTSFH

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

Mentions

arxiv: arXiv 2609.28454#HQT4, No rapid frequency cascade (statement)

History

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

Dispensing with the static assumption – Birkhoff's theorem Y8EDX6QX6S

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

Mentions

wikipedia: Wikipedia Derivation of the Schwarzschild solution#LDLU, Dispensing with the static assumption – Birkhoff's theorem (statement)

History

2026-11-02: add by m2/dev

Y8EP343SQH Y8EP343SQH

URI	`m2://inv/Y8EP343SQH`
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.21723#PE46 (statement)

History

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

Tor functor Y8EPTTCN45

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#UT1G, Tor functor (definition)

History

2026-11-02: add by m2/dev

Tietze extension theorem Y8ES0K9J0F

URI	`m2://inv/Y8ES0K9J0F`
Kind	statement
Layer	textbook
MSC	54-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Tietze extension theorem 0X52TNMTCJ

Mentions

mathlib_1000: mathlib_1000 Q1346677, Tietze extension theorem (statement). Also Mathlib BoundedContinuousFunction.exists_extension_norm_eq_of_isClosedEmbedding, Wikidata Q1346677
thousand_plus: thousand_plus Q1346677, Tietze extension theorem (statement). Also Mathlib BoundedContinuousFunction.exists_extension_norm_eq_of_isClosedEmbedding, Wikidata Q1346677, Wikipedia Tietze extension theorem
wikidata: Wikidata Q1346677, Tietze extension theorem (statement). Also MathWorld TietzesExtensionTheorem, nLab Tietze extension theorem, ProofWiki Tietze_Extension_Theorem
wikipedia: Wikipedia Tietze extension theorem, Tietze extension theorem (statement). Also Wikidata Q1346677

History

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

Ducci sequence Y8EX79R1EX

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

Mentions

wikipedia: Wikipedia Ducci sequence, Ducci sequence (definition). Also Wikidata Q3608894

History

2026-11-02: add by m2/dev

Y8EY6SVWTM Y8EY6SVWTM

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

Mentions

arxiv: arXiv 2610.01273#2WDN (example). In RAT41DDR51/e1, example 3.7

History

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

Y8F4KHSZK8 Y8F4KHSZK8

URI	`m2://inv/Y8F4KHSZK8`
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.40096#LR2K (statement). In XFE35F9NEV/e1, corollary 3.1

History

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

Y8FHW8ZWGF Y8FHW8ZWGF

URI	`m2://inv/Y8FHW8ZWGF`
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 2410.18564#FQ6G (statement). In MC8ZBZ14PM/e1, fact 2.2

History

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

conjugate Y8FVQHQC4Z

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#WXBK, conjugate (definition)

History

2026-11-02: add by m2/dev

sedenion Y8FWCHKND2

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

Mentions

wikidata: Wikidata Q79188, sedenion (unknown). Also nLab sedenion
wikipedia: Wikipedia Sedenion, Sedenion (definition). Also Wikidata Q79188

History

2026-10-26: add by m2/dev

Y8FX6WA3Y4 Y8FX6WA3Y4

URI	`m2://inv/Y8FX6WA3Y4`
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.11997#B169 (statement). In REVYK9ZEP2/e1, lemma 6

History

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

Menelaus's theorem Y8FY09JJ5N

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

Mentions

wikipedia: Wikipedia List of theorems#FKNT, Menelaus's theorem (statement)

History

2026-11-02: add by m2/dev

Y8FY6608F7 Y8FY6608F7

URI	`m2://inv/Y8FY6608F7`
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 2102.12931#87ES (statement). In PQHTR84RAJ/e1, proposition 3.23

History

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

A compact triviality criterion Y8FYZ7DZHX

URI	`m2://inv/Y8FYZ7DZHX`
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.00077#JCJZ, A compact triviality criterion (statement). In C04B15GH1T/e1, theorem 3.11

History

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

Y8G4MH1PAG Y8G4MH1PAG

URI	`m2://inv/Y8G4MH1PAG`
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.21866#MD1A (statement). In Q3NMYW8ANH/e1, lemma 4.3

History

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

Y8G5MHSHEV Y8G5MHSHEV

URI	`m2://inv/Y8G5MHSHEV`
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 2411.13671#O9UP (statement). In PN02WN5AA6/e1, corollary 1

History

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

Y8G9M6ENHE Y8G9M6ENHE

URI	`m2://inv/Y8G9M6ENHE`
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.32946#HMZU (statement). In 6AEBXNK614/e1, lemma 2.2

History

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

Y8GG48KYNA Y8GG48KYNA

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

Mentions

arxiv: arXiv 2610.01915#25WG (definition). In 6HJQXZS0A6/e1, definition 6.11

History

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

SPEKE Y8GGH9GHEG

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

Mentions

wikipedia: Wikipedia SPEKE, SPEKE (definition). Also Wikidata Q7392527

History

2026-11-02: add by m2/dev

Kakuro Y8GPNVZ6DZ

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

Mentions

wikipedia: Wikipedia Kakuro, Kakuro (definition). Also Wikidata Q212785

History

2026-11-02: add by m2/dev

Comparison of endpoint functionals Y8GTS2GHDZ

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

Mentions

arxiv: arXiv 2609.26066#ACUP, Comparison of endpoint functionals (statement)

History

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

Y8GY258B5E Y8GY258B5E

URI	`m2://inv/Y8GY258B5E`
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.22855#O37I (statement)

History

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

Novikov self-consistency principle Y8H1H407DF

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

Mentions

wikipedia: Wikipedia Novikov self-consistency principle, Novikov self-consistency principle (statement). Also Wikidata Q2003641

History

2026-11-02: add by m2/dev

Y8H20Z2GD9 Y8H20Z2GD9

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

Mentions

arxiv: arXiv 2609.22394#02ZX (example)

History

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

Y8H3NT05WJ Y8H3NT05WJ

URI	`m2://inv/Y8H3NT05WJ`
Kind	statement
Layer	research
MSC	49-XX, 62-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 2409.03461#ZZV6 (statement). In XJVZSGCX5V/e1, lemma 1

History

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

Slepian's lemma Y8H3YBBZEW

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

Mentions

wikipedia: Wikipedia Slepian's lemma, Slepian's lemma (statement). Also Wikidata Q7540131

History

2026-11-02: add by m2/dev

Y8H6R75WYQ Y8H6R75WYQ

URI	`m2://inv/Y8H6R75WYQ`
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.12912#QGR4 (statement). In PDKBKKJ4BV/e1, theorem 6.3

History

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

William Charles Brenke Y8H7668DNQ

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

Mentions

wikipedia: Wikipedia William Charles Brenke, William Charles Brenke (topic). Also Wikidata Q8006717

History

2026-11-02: add by m2/dev

Y8H81ZN0RK Y8H81ZN0RK

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

Mentions

arxiv: arXiv 2610.17482#W7O8 (definition). In BQQK9JDJ9F/e1, definition 2.1

History

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

Carleson–Jacobs theorem Y8HYEVJ6B2

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

Mentions

wikipedia: Wikipedia List of theorems#F3PZ, Carleson–Jacobs theorem (statement)

History

2026-11-02: add by m2/dev

Example Y8HZGC46F0

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

Mentions

wikipedia: Wikipedia NTRUEncrypt#LYG2, Example (example)

History

2026-11-02: add by m2/dev

Y8J1B0NRC4 Y8J1B0NRC4

URI	`m2://inv/Y8J1B0NRC4`
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.05646#IWP3 (statement). In K7Z6TZDFYK/e1, proposition 2.5

History

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

Weber–Fechner law Y8J1F2R3D7

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

Mentions

wikipedia: Wikipedia Weber–Fechner law, Weber–Fechner law (statement). Also Wikidata Q835216

History

2026-11-02: add by m2/dev

Y8J3AF4MQ5 Y8J3AF4MQ5

URI	`m2://inv/Y8J3AF4MQ5`
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.16295#IXKK (definition). In J1SKCVMNCB/e1, definition

History

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

William Goldman Y8J4ZHTYBS

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

Mentions

wikipedia: Wikipedia William Goldman (mathematician), William Goldman (topic). Also Wikidata Q3893494

History

2026-11-02: add by m2/dev

additive group Y8J6TTJ9YP

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

Mentions

wikidata: Wikidata Q4681347, additive group (unknown). Also EoM Additive_group, MathWorld AdditiveGroup
wikipedia: Wikipedia Additive group, Additive group (definition). Also Wikidata Q4681347

History

2026-10-26: add by m2/dev

International gravity formula 1967 Y8JCW8BKD6

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

Mentions

wikipedia: Wikipedia Theoretical gravity#019M, International gravity formula 1967 (statement)

History

2026-11-02: add by m2/dev

Y8JDKXWVP4 Y8JDKXWVP4

URI	`m2://inv/Y8JDKXWVP4`
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.38772#K5WX (statement). In 1C3R5NAQAP/e1, proposition 3.12

History

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

Dominated convergence theorem Y8JEG6DSAT

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

Mentions

lebl_scv: lebl_scv scv.tex#thm-48, Dominated convergence theorem (statement). In VNMV985MXX, thm, section E.1

History

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

Example Y8JPKTSQ0N

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

Mentions

wikipedia: Wikipedia Karamata's inequality#WMOZ, Example (example)

History

2026-11-02: add by m2/dev

Y8JS2JV832 Y8JS2JV832

URI	`m2://inv/Y8JS2JV832`
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 2212.14457#9EPI (statement). In PNRHHWGHM2/e1, proposition 4.1

History

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

Y8JYNF6EJZ Y8JYNF6EJZ

URI	`m2://inv/Y8JYNF6EJZ`
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 2509.21121#IEER (statement). In MTDABJF9AP/e1, theorem 3

History

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

Definition Y8K2RRM7B3

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

Mentions

wikipedia: Wikipedia Edge and vertex spaces#GHQL, Definition (definition)

History

2026-11-02: add by m2/dev

Y8K42V6NHD Y8K42V6NHD

URI	`m2://inv/Y8K42V6NHD`
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.25880#2ARE (statement)

History

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

Dinesh Thakur Y8K6R26KFY

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

Mentions

wikipedia: Wikipedia Dinesh Thakur (mathematician), Dinesh Thakur (topic). Also Wikidata Q16194366

History

2026-11-02: add by m2/dev

Y8KKHR5F45 Y8KKHR5F45

URI	`m2://inv/Y8KKHR5F45`
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 2011.06637#JNU3 (statement). In KFCJ5CFP3G/e1, proposition 6.1

History

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

Philippe de La Hire Y8KM6DPVSC

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

Mentions

wikipedia: Wikipedia Philippe de La Hire, Philippe de La Hire (topic). Also Wikidata Q371890

History

2026-11-02: add by m2/dev

Y8KNHDKKQ6 Y8KNHDKKQ6

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

Mentions

arxiv: arXiv 2609.24845#E41L (definition)

History

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

Eugenio Bertini Y8KYHWTDP8

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

Mentions

wikipedia: Wikipedia Eugenio Bertini, Eugenio Bertini (topic). Also Wikidata Q447324

History

2026-11-02: add by m2/dev

presentation, of an $\infty$-groupoid Y8KZ3MVSGA

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

Mentions

hott_book: hott_book index/5.1/presentation-of-an-infty-groupoid, presentation, of an $\infty$-groupoid (concept). In N54F33XE07, index, section 5.1

History

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

Colorless green ideas sleep furiously Y8M3KHKAXB

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

Mentions

wikipedia: Wikipedia Colorless green ideas sleep furiously, Colorless green ideas sleep furiously (definition). Also Wikidata Q1227715

History

2026-11-02: add by m2/dev

mathematics, formalized Y8M53WA60H

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

Mentions

hott_book: hott_book index/u1.u8/mathematics-formalized, mathematics, formalized (concept). In N54F33XE07, index, section u1.u8

History

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

Compound of two snub icosidodecadodecahedra Y8M7G0ZN94

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

Mentions

wikipedia: Wikipedia Compound of two snub icosidodecadodecahedra, Compound of two snub icosidodecadodecahedra (definition). Also Wikidata Q5156920

History

2026-11-02: add by m2/dev

Y8M7RQ1CCX Y8M7RQ1CCX

URI	`m2://inv/Y8M7RQ1CCX`
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.01498#1RZB (statement). In 75GDSC8460/e1, corollary 1.3

History

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

Jean-Christophe Yoccoz Y8MQNF30V4

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

Mentions

wikipedia: Wikipedia Jean-Christophe Yoccoz, Jean-Christophe Yoccoz (topic). Also Wikidata Q369600

History

2026-11-02: add by m2/dev

Single-layer approximation Y8MRHRJRPN

URI	`m2://inv/Y8MRHRJRPN`
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.33008#IDRF, Single-layer approximation (statement). In 4M662A3ZF1/e1, lemma B.3

History

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

Nilpotency criterion Y8MZQDHKNP

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

Mentions

wikipedia: Wikipedia Jordan–Chevalley decomposition#ZT9F, Nilpotency criterion (statement)

History

2026-11-02: add by m2/dev

Definition Y8N0J2NRZ7

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

Mentions

wikipedia: Wikipedia Symmetric tensor#LEIY, Definition (definition)

History

2026-11-02: add by m2/dev

Kampyle of Eudoxus Y8N796K2QS

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

Mentions

wikidata: Wikidata Q1151489, Kampyle of Eudoxus (unknown). Also MathWorld KampyleofEudoxus
wikipedia: Wikipedia Kampyle of Eudoxus, Kampyle of Eudoxus (definition). Also Wikidata Q1151489

History

2026-10-26: add by m2/dev

kernel Y8N9CP5MYY

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#ACS9, kernel (definition)

History

2026-11-02: add by m2/dev

Y8NEME15TF Y8NEME15TF

URI	`m2://inv/Y8NEME15TF`
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.35542#KA0F (statement). In ATVC0HYDKD/e1, corollary 3.3

History

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

Y8NFYRNNBP Y8NFYRNNBP

URI	`m2://inv/Y8NFYRNNBP`
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.25973#G468 (definition)

History

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

Y8NJJG172W Y8NJJG172W

URI	`m2://inv/Y8NJJG172W`
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.06806#R3JD (statement). In ZZQT0GFMT2/e1, proposition 3.1

History

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

Y8NK9MAECX Y8NK9MAECX

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

Mentions

arxiv: arXiv 2610.15344#Y2VI (example). In B9EX6K51RD/e1, example

History

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

Definition Y8P1JJ5CW7

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

Mentions

wikipedia: Wikipedia Coefficient of variation#IV5F, Definition (definition)

History

2026-11-02: add by m2/dev

Variations Y8P53HJ0ZE

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

Mentions

wikipedia: Wikipedia Truncated square tiling#KG2D, Variations (statement)

History

2026-11-02: add by m2/dev

invertible matrix Y8PBVAKTBB

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

Mentions

lebl_diffyqs: lebl_diffyqs index/10.2.2/invertible-matrix, invertible matrix (concept). In E9HS8K3A52, index, section 10.2.2

History

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

Bradley–Terry model Y8PPHZ2N8D

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

Mentions

wikipedia: Wikipedia Bradley–Terry model, Bradley–Terry model (definition). Also Wikidata Q25048363

History

2026-11-02: add by m2/dev

Examples Y8PPVVRTKM

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

Mentions

wikipedia: Wikipedia Reflective subcategory#CS68, Examples (example)

History

2026-11-02: add by m2/dev

Ramanujan–Nagell equation Y8PR4M6WFM

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

Mentions

mathlib_1000: mathlib_1000 Q1914905, Ramanujan–Skolem's theorem (statement). Also Wikidata Q1914905
thousand_plus: thousand_plus Q1914905, Ramanujan–Skolem's theorem (statement). Also Wikidata Q1914905, Wikipedia Ramanujan–Skolem's theorem
wikidata: Wikidata Q1914905, Ramanujan–Nagell equation (statement). Also MathWorld RamanujansSquareEquation, ProofWiki Definition:Ramanujan-Nagell_Equation
wikipedia: Wikipedia Ramanujan–Nagell equation, Ramanujan–Nagell equation (definition). Also Wikidata Q1914905

History

2026-10-26: add by m2/dev

Y8PWBQZEWZ Y8PWBQZEWZ

URI	`m2://inv/Y8PWBQZEWZ`
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 2601.10370#8IQY (statement). In S5ZSEFYBD3/e1, lemma 2.3

History

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

Examples Y8PYK77DPT

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

Mentions

wikipedia: Wikipedia Trapdoor function#WT5A, Examples (example)

History

2026-11-02: add by m2/dev

Properties and applications Y8PYQWYQZJ

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

Mentions

wikipedia: Wikipedia Intersection form of a 4-manifold#RA03, Properties and applications (statement)

History

2026-11-02: add by m2/dev

Y8Q0QS21X4 Y8Q0QS21X4

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

History

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

Witt ring ideals Y8Q2ADN8ET

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

Mentions

arxiv: arXiv 2609.37931#WPNZ, Witt ring ideals (example). In J8C1EXQW86/e1, example 3.7

History

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

Y8Q5N9TQEB Y8Q5N9TQEB

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

Mentions

arxiv: arXiv 2610.09900#TGDO (statement). In ATSYBWEMMP/e1, proposition 5.1

History

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

Compactness Y8QA7EWF1W

URI	`m2://inv/Y8QA7EWF1W`
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.18270#TTDI, Compactness (statement). In CPDMYJ0NJV/e1, proposition 2.4

History

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

Counting Lemma Y8QGC72XMK

URI	`m2://inv/Y8QGC72XMK`
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#BPNT, Counting Lemma (statement). In R6KSZ9H8CY/e1, lemma 5.7

History

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

Y8QTGZMBZZ Y8QTGZMBZZ

URI	`m2://inv/Y8QTGZMBZZ`
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 2301.04933#ZD1E (example). In Q70CTMCJTP/e1, example 6.3

History

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

Definition Y8QTPNJXJ9

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

Mentions

wikipedia: Wikipedia Exponential map (Riemannian geometry)#DZZH, Definition (definition)

History

2026-11-02: add by m2/dev

Y8QVX3ATVE Y8QVX3ATVE

URI	`m2://inv/Y8QVX3ATVE`
Kind	definition
Layer	research
MSC	51-XX, 52-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.25468#YN2N (definition)

History

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

The Chandrasekhar transformation Y8QXXP0D81

URI	`m2://inv/Y8QXXP0D81`
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#OPTM, The Chandrasekhar transformation (statement)

History

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

Y8QY08B2J9 Y8QY08B2J9

URI	`m2://inv/Y8QY08B2J9`
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 2609.20531#DRSE (statement)

History

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

Y8QYH0N2SB Y8QYH0N2SB

URI	`m2://inv/Y8QYH0N2SB`
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.17276#J1ZM (statement). In GG14QF0JKJ/e1, lemma 3.3

History

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

Y8RA0PFTEP Y8RA0PFTEP

URI	`m2://inv/Y8RA0PFTEP`
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.25843#68SH (statement)

History

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

Malabika Pramanik Y8RATHRCGW

URI	`m2://inv/Y8RATHRCGW`
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#KR1I, Malabika Pramanik (topic)

History

2026-11-02: add by m2/dev

Y8RCTGJKD7 Y8RCTGJKD7

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

Mentions

arxiv: arXiv 2610.19357#ZCTH (statement). In RGXQ50RWXV/e1, corollary 3.10

History

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

Y8RD0RCRDV Y8RD0RCRDV

URI	`m2://inv/Y8RD0RCRDV`
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.12329#GQAJ (statement). In ZJQB9W60T6/e1, lemma 5.15

History

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

TinkerPlots Y8REYYF72R

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

Mentions

wikipedia: Wikipedia TinkerPlots, TinkerPlots (definition). Also Wikidata Q7808313

History

2026-11-02: add by m2/dev

Linearity Y8RG4E2NFD

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#mv:intlinearity:prop, Linearity (statement). In E59CDZA4DP, prop, section 5.1.3

History

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

Transcendental number Y8RG7SW9KA

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

Mentions

wikipedia: Wikipedia List of types of numbers#ZL4C, Transcendental number (definition)

History

2026-11-02: add by m2/dev

Castelnuovo–de Franchis theorem Y8RKY6FE24

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

Mentions

wikipedia: Wikipedia List of theorems#SLLT, Castelnuovo–de Franchis theorem (statement)

History

2026-11-02: add by m2/dev

Nuno Loureiro Y8RR3Z6GTW

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

Mentions

wikipedia: Wikipedia Nuno Loureiro, Nuno Loureiro (topic). Also Wikidata Q51287446

History

2026-11-02: add by m2/dev

Formal statement Y8RR82EQZE

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

Mentions

wikipedia: Wikipedia Gauss–Lucas theorem#8QSU, Formal statement (statement)

History

2026-11-02: add by m2/dev

exponent combination laws Y8RXR2S1PS

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

Mentions

wikidata: Wikidata Q135208146, exponent combination laws (statement). Also ProofWiki Exponent_Combination_Laws

History

2026-10-26: add by m2/dev

Y8RYJB063G Y8RYJB063G

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

Mentions

arxiv: arXiv 2610.16606#ZM0G (statement). In A798V7TX99/e1, lemma 4.2

History

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

Y8S1CQJ7BP Y8S1CQJ7BP

URI	`m2://inv/Y8S1CQJ7BP`
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.26401#AMO5 (statement)

History

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

Y8S87CT2N4 Y8S87CT2N4

URI	`m2://inv/Y8S87CT2N4`
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.36444#AILJ (statement). In 4DJE72VPJP/e1, corollary 5.3

History

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

Galton-Watson Tree Y8SC24SMRW

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

Mentions

arxiv: arXiv 2609.33263#D0PM, Galton-Watson Tree (definition). In 6S5EH3388Z/e1, definition 1.2

History

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

Basel Y8SNYN8SEW

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#PB0D, Basel (definition)

History

2026-11-02: add by m2/dev

Y8SR448NQG Y8SR448NQG

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

Mentions

arxiv: arXiv 2610.04870#AKXK (definition). In X765ZXXVC3/e1, definition 2.8

History

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

Pentagram of Venus Y8SV8WSAAG

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

Mentions

wikipedia: Wikipedia Pentagram#EKFV, Pentagram of Venus (unknown)

History

2026-11-02: add by m2/dev

$\text{SL}$-equivalence Y8T1GT85T0

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

Mentions

arxiv: arXiv 2610.15535#4B3M, $\text{SL}$-equivalence (definition). In 73A9KWZJRD/e1, definition 2.2

History

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

Y8T2KFYVYS Y8T2KFYVYS

URI	`m2://inv/Y8T2KFYVYS`
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.39293#X5ZC (example). In S26QVW5613/e1, example 4.6.11

History

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

Mihnea Popa Y8T730241F

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

Mentions

wikipedia: Wikipedia Mihnea Popa, Mihnea Popa (topic). Also Wikidata Q55813954

History

2026-11-02: add by m2/dev

Consistency of numerical methods Y8T8M0WNDD

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

Mentions

wikipedia: Wikipedia Numerical method#DH8P, Consistency of numerical methods (unknown)

History

2026-11-02: add by m2/dev

Content maximal invariance and temperature behavior Y8THJNA09N

URI	`m2://inv/Y8THJNA09N`
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.25039#EJQ6, Content maximal invariance and temperature behavior (statement)

History

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

Y8TSS5J6CJ Y8TSS5J6CJ

URI	`m2://inv/Y8TSS5J6CJ`
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.23128#IVTN (statement)

History

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

Tomasz Mrowka Y8TXQB49W5

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

Mentions

wikipedia: Wikipedia Tomasz Mrowka, Tomasz Mrowka (topic). Also Wikidata Q2440495

History

2026-11-02: add by m2/dev

Properties of net polynomials Y8V3JNKNM2

URI	`m2://inv/Y8V3JNKNM2`
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.20273#9EMR, Properties of net polynomials (statement). In AEGHDSD5S7/e1, proposition 2.3

History

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

integration by parts Y8V88X1R5B

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

Mentions

mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Integration > integration by parts, integration by parts (unknown). Also Mathlib intervalIntegral.integral_mul_deriv_eq_deriv_mul

History

2026-10-26: add by m2/dev

Y8VE4WF4DP Y8VE4WF4DP

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/FiniteSets.tex#theorem-1 (statement). In P1C114YBXG, theorem, section B

History

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

Y8VEFQ6G9K Y8VEFQ6G9K

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

Mentions

arxiv: arXiv 2610.07445#61CE (statement). In F1BM3Q8125/e1, theorem 1.2

History

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

Jacobi method Y8VHK7D4NW

URI	`m2://inv/Y8VHK7D4NW`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Jacobi method B8FVHNXAN1

Mentions

wikidata: Wikidata Q1481893, Jacobi method (unknown). Also MathWorld JacobiMethod
wikipedia: Wikipedia Jacobi method, Jacobi method (definition). Also Wikidata Q1481893

History

2026-10-26: add by m2/dev

Example 1 Y8VXDXTK08

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

Mentions

wikipedia: Wikipedia Conditional expectation#278E, Example 1 (example)

History

2026-11-02: add by m2/dev

model Y8W60TB242

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

Mentions

wikipedia: Wikipedia List of set identities and relations#KGCM, model (topic)

History

2026-11-02: add by m2/dev

Y8W6N0PBFV Y8W6N0PBFV

URI	`m2://inv/Y8W6N0PBFV`
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 2601.13428#CN0E (statement). In SM4QEDZSS6/e1, theorem 4

History

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

Rotation number Y8WFPNBW2V

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

Mentions

wikipedia: Wikipedia Rotation number, Rotation number (definition). Also Wikidata Q643156

History

2026-11-02: add by m2/dev

Neyman–Pearson hypothesis testing Y8WH514D49

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

Mentions

wikipedia: Wikipedia Statistical hypothesis test#5PZ3, Neyman–Pearson hypothesis testing (statement)

History

2026-11-02: add by m2/dev

rank Y8WHX4XN7M

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#SEHO, rank (definition)

History

2026-11-02: add by m2/dev

Y8X26KM8FG Y8X26KM8FG

URI	`m2://inv/Y8X26KM8FG`
Kind	statement
Layer	research
MSC	14-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 2604.07243#3QTW (statement). In 9RH8C8RYW3/e1, theorem 6.1

History

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

Schwinger's quantum action principle Y8X3BWAMD9

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#B2KM, Schwinger's quantum action principle (unknown)

History

2026-11-02: add by m2/dev

John Iacono Y8XGXXMW59

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#NS8H, John Iacono (unknown)

History

2026-11-02: add by m2/dev

Y8XWV9XYZC Y8XWV9XYZC

URI	`m2://inv/Y8XWV9XYZC`
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 2610.14914#51EZ (statement). In CHC3T113Y4/e1, lemma 6.2

History

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

Y8YD2P9XRQ Y8YD2P9XRQ

URI	`m2://inv/Y8YD2P9XRQ`
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.03004#HXQS (statement). In 81SMTFDWJ9/e1, corollary C.3

History

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

Patricia E. Bauman Y8YG8DT5A3

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

Mentions

wikipedia: Wikipedia Patricia E. Bauman, Patricia E. Bauman (topic). Also Wikidata Q18684650

History

2026-11-02: add by m2/dev

Y8YMZJBYRM Y8YMZJBYRM

URI	`m2://inv/Y8YMZJBYRM`
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 2506.21337#4E70 (statement). In EPZN0JTG2Z/e1, lemma 3.4

History

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

Y8YR71QFQA Y8YR71QFQA

URI	`m2://inv/Y8YR71QFQA`
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.21047#T86Y (statement)

History

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

Accessible Y8Z3K44Z07

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

Mentions

wikipedia: Wikipedia Glossary of general topology#PTRD, Accessible (definition)

History

2026-11-02: add by m2/dev

Hobby–Rice theorem Y8Z90VG7XN

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

Mentions

mathlib_1000: mathlib_1000 Q5874979, Hobby–Rice theorem (statement). Also Wikidata Q5874979
thousand_plus: thousand_plus Q5874979, Hobby–Rice theorem (statement). Also Wikidata Q5874979, Wikipedia Hobby–Rice theorem
wikipedia: Wikipedia Hobby–Rice theorem, Hobby–Rice theorem (statement). Also Wikidata Q5874979

History

2026-10-26: add by m2/dev

Example Y8ZETWQA4W

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

Mentions

wikipedia: Wikipedia Lebesgue integral#5NH6, Example (example)

History

2026-11-02: add by m2/dev

Y8ZQ7BW3BT Y8ZQ7BW3BT

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

Mentions

arxiv: arXiv 2610.02079#549Y (statement). In CNS2J2E4T2/e1, theorem 10

History

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

Eventually embedded hyperbolic balls Y8ZQD3DFV8

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

Mentions

arxiv: arXiv 2609.30103#E66R, Eventually embedded hyperbolic balls (statement)

History

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

Weighted spherical $k$-design Y8ZQZ3P862

URI	`m2://inv/Y8ZQZ3P862`
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 2610.04136#L4A4, Weighted spherical $k$-design (definition). In TBYTWR87F3/e1, definition 1.2

History

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

Probability interpretations Y8ZWTTXN7K

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

Mentions

wikipedia: Wikipedia List of statistics articles#CB04, Probability interpretations (definition)
wikipedia: Wikipedia List of probability topics#7FDO, Probability interpretations (definition)

History

2026-11-02: add by m2/dev

Y8ZY4CV6ZE Y8ZY4CV6ZE

URI	`m2://inv/Y8ZY4CV6ZE`
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 2610.07770#M50Y (statement). In 6GHT4P7E8X/e1, proposition 4.1

History

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

Y8ZZAKJSV1 Y8ZZAKJSV1

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

Mentions

arxiv: arXiv 2609.23167#W5V4 (problem)

History

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