Inventory rows C8

C8027JB3H2 C8027JB3H2

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#exercise:strongerratiotest (exercise). In E59CDZA4DP, exercise, section 10.5.7

History

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

C8057H4K5Q C8057H4K5Q

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

Mentions

arxiv: arXiv 2106.06387#MZFC (unknown). In 4YJH4FPWDA/e1, unknown 1.2

History

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

C80AX6S5RC C80AX6S5RC

URI	`m2://inv/C80AX6S5RC`
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.30203#3FSG (statement)

History

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

C80G84A2WD C80G84A2WD

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

History

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

hyperreal number C80GPTS5CS

URI	`m2://inv/C80GPTS5CS`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Hyperreal number 421QMTFG9T

Mentions

wikidata: Wikidata Q5958543, hyperreal number (unknown). Also MathWorld HyperrealNumber
wikipedia: Wikipedia Hyperreal number, Hyperreal number (definition). Also Wikidata Q5958543

History

2026-10-26: add by m2/dev

C80JR3VGQ4 C80JR3VGQ4

URI	`m2://inv/C80JR3VGQ4`
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#2C2L (statement). In GYMGDQS25R/e1, theorem 1.11

History

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

Uniform A-Priori Bounds for the Semi-Discrete Solutions C80N42B89H

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

Mentions

arxiv: arXiv 2610.13355#FQLV, Uniform A-Priori Bounds for the Semi-Discrete Solutions (statement). In QJ1G1HBC6C/e1, lemma 4.4

History

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

Étienne Ghys C80NCWB2SC

URI	`m2://inv/C80NCWB2SC`
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#IRP2, Étienne Ghys (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RLZ2, Étienne Ghys (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#V4FD, Étienne Ghys (topic)

History

2026-11-02: add by m2/dev

Rayleigh's method C80SA0JA8M

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

Mentions

wikipedia: Wikipedia Dimensional analysis#ZJLH, Rayleigh's method (unknown)

History

2026-11-02: add by m2/dev

C80TWBB87P C80TWBB87P

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

Mentions

arxiv: arXiv 2610.17759#XGBO (statement). In 7MWKMG2V8A/e1, lemma 4.2

History

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

Reflection principle C80YXABBX1

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

Mentions

wikipedia: Wikipedia Reflection principle (Wiener process), Reflection principle (statement). Also Wikidata Q7307248

History

2026-11-02: add by m2/dev

C80ZC8B07X C80ZC8B07X

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

Mentions

arxiv: arXiv 2609.37520#3I3F (statement). In BDN507RN7J/e1, theorem 1.3.1

History

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

Cyril Offord C8100V1GJC

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#XRXS, Cyril Offord (topic)

History

2026-11-02: add by m2/dev

Identification of maximal weak and relaxed subslopes C8181H6R3S

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

Mentions

arxiv: arXiv 2610.21775#BAYX, Identification of maximal weak and relaxed subslopes (statement). In KM3Q791JY0/e1, theorem 4.33

History

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

Latent variable model C81B6G5G6H

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

Mentions

wikipedia: Wikipedia Latent variable model, Latent variable model (definition). Also Wikidata Q1806885

History

2026-11-02: add by m2/dev

Vigon's conjecture fails C81DX5X763

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

Mentions

arxiv: arXiv 2610.20916#0O0I, Vigon's conjecture fails (statement). In HV598NZW9X/e1, theorem 1.2

History

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

Henry William Macrosty C81PN634GC

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

Mentions

wikipedia: Wikipedia Henry William Macrosty, Henry William Macrosty (topic). Also Wikidata Q21176829

History

2026-11-02: add by m2/dev

C81R4HY6H7 C81R4HY6H7

URI	`m2://inv/C81R4HY6H7`
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.22784#PT7O (statement)

History

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

Properties C81VT3ZTXQ

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

Mentions

wikipedia: Wikipedia Gödel operation#9MST, Properties (statement)

History

2026-11-02: add by m2/dev

Examples C81X2CNWPX

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

Mentions

wikipedia: Wikipedia Diffeology#QKZA, Examples (example)

History

2026-11-02: add by m2/dev

Strategic fair division C8202F73B2

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

Mentions

wikipedia: Wikipedia Strategic fair division, Strategic fair division (definition). Also Wikidata Q85803675

History

2026-11-02: add by m2/dev

frequentist inference C82B6TRG8T

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#GRBY, frequentist inference (definition)

History

2026-11-02: add by m2/dev

Subject Alternative Name C82NRTZKYD

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

Mentions

wikipedia: Wikipedia Public key certificate#CXAC, Subject Alternative Name (unknown)

History

2026-11-02: add by m2/dev

air C82P1PBXGT

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

Mentions

wikidata: Wikidata Q2637489, air (definition). Also ProofWiki Definition:Philosophical_Element/Air

History

2026-10-26: add by m2/dev

C82TR6Q0W3 C82TR6Q0W3

URI	`m2://inv/C82TR6Q0W3`
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 2105.13129#JM8M (statement). In J5Z1JD5VKR/e1, proposition 3.1

History

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

strong pigeonhole principle C83621MEND

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

Mentions

mathlib_overview: mathlib_overview Combinatorics > Pigeonhole principles > strong pigeonhole principle, strong pigeonhole principle (unknown). Also Mathlib Fintype.exists_lt_card_fiber_of_mul_lt_card

History

2026-10-26: add by m2/dev

coin rotation paradox C837Q1WAE4

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

Mentions

wikidata: Wikidata Q5141554, coin rotation paradox (unknown). Also MathWorld CoinParadox
wikipedia: Wikipedia Coin rotation paradox, Coin rotation paradox (statement). Also Wikidata Q5141554

History

2026-10-26: add by m2/dev

Finite-dimensional power witness C8393D3N4V

URI	`m2://inv/C8393D3N4V`
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.31557#HG7V, Finite-dimensional power witness (statement). In 72NCNYBW2T/e1, lemma 7

History

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

C839Z8E8H3 C839Z8E8H3

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

Mentions

arxiv: arXiv 2609.26592#OVEV (definition)

History

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

C83WK26231 C83WK26231

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

Mentions

arxiv: arXiv 2610.02570#TZJX (statement). In 6JK30RQ1SX/e1, lemma 5.2

History

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

Hadamard Matrix C83X931CYX

URI	`m2://inv/C83X931CYX`
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 2609.38206#OJ9E, Hadamard Matrix (definition). In F71MS1F637/e1, definition 3.8

History

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

C83ZRGYYF1 C83ZRGYYF1

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

Mentions

arxiv: arXiv 2610.13875#0M44 (statement). In W6FK624JRQ/e1, proposition 4

History

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

Integral geometry C847FZTVCC

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

Mentions

wikipedia: Wikipedia List of probability topics#XQ95, Integral geometry (definition)

History

2026-11-02: add by m2/dev

Examples C8484K6X28

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

Mentions

wikipedia: Wikipedia Stacked polytope#0RFE, Examples (example)

History

2026-11-02: add by m2/dev

C84ANY8CZA C84ANY8CZA

URI	`m2://inv/C84ANY8CZA`
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.18017#D9LV (statement). In EBSQEQYECS/e1, corollary 3

History

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

C84EKDRBMH C84EKDRBMH

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

Mentions

arxiv: arXiv 2609.20783#49CZ (statement)

History

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

Statement C84G4A2FX8

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

Mentions

wikipedia: Wikipedia Burnside's lemma#AICO, Statement (statement)

History

2026-11-02: add by m2/dev

C84JHZEB4N C84JHZEB4N

URI	`m2://inv/C84JHZEB4N`
Kind	definition
Layer	research
MSC	35-XX, 47-XX, 58-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.20891#ELOC (definition). In WH55XAE8E2/e1, definition 6.3

History

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

C84JWGJKF7 C84JWGJKF7

URI	`m2://inv/C84JWGJKF7`
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#A68N (statement). In F3BKXXPR3K/e1, proposition 3.43

History

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

energy C84KEMTQQT

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

Mentions

wikidata: Wikidata Q11379, energy (definition). Also nLab energy, ProofWiki Definition:Energy

History

2026-10-26: add by m2/dev

C84PG26AED C84PG26AED

URI	`m2://inv/C84PG26AED`
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 2208.04502#JW14 (statement). In BT6E9BXXF3/e1, corollary 2.7

History

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

Operators with bounded $H^\infty$-functional calclulus C84PJ4VQJ6

URI	`m2://inv/C84PJ4VQJ6`
Kind	definition
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 2609.26382#T93R, Operators with bounded $H^\infty$-functional calclulus (definition)

History

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

C8548SQMMX C8548SQMMX

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

Mentions

arxiv: arXiv 2610.03559#IBE3 (statement). In R68THJCHX6/e1, theorem 5

History

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

Conductor constancy and lissit\'e for the relative punctured line C859JDN4H9

URI	`m2://inv/C859JDN4H9`
Kind	statement
Layer	research
MSC	11-XX, 14-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.04099#HL8T, Conductor constancy and lissit\'e for the relative punctured line (statement). In QPJ6FWG5HD/e1, lemma 1.11

History

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

Carlitz's identity C85BMFNM1J

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

Mentions

wikipedia: Wikipedia Bicentric quadrilateral#EG93, Carlitz's identity (statement)

History

2026-11-02: add by m2/dev

Chamberlain's approach to unobserved effects models C85EVTMRYS

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

Mentions

wikipedia: Wikipedia Chamberlain's approach to unobserved effects models, Chamberlain's approach to unobserved effects models (definition). Also Wikidata Q25111829

History

2026-11-02: add by m2/dev

Definition C85N4FSCZC

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

Mentions

wikipedia: Wikipedia Cumulant#VKP7, Definition (definition)

History

2026-11-02: add by m2/dev

totally ordered set C85Q0AZAH9

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

Mentions

wikidata: Wikidata Q3054922, totally ordered set (concept). Also EoM Totally_ordered_set, MathWorld TotallyOrderedSet, ProofWiki Definition:Totally_Ordered_Set

History

2026-10-26: add by m2/dev

Definition C85TED7WDF

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

Mentions

wikipedia: Wikipedia Extendible cardinal#5OZK, Definition (definition)

History

2026-11-02: add by m2/dev

C85ZFXCT6Y C85ZFXCT6Y

URI	`m2://inv/C85ZFXCT6Y`
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#LSST (statement). In G1RP4JY5PE/e1, lemma 3.1.2

History

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

C860YV020T C860YV020T

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

Mentions

arxiv: arXiv 2609.30363#VH0D (statement). In QHBBP180QJ/e1, proposition 10

History

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

Grothendieck's trace theorem C867TBPPJ5

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

Mentions

wikipedia: Wikipedia Grothendieck trace theorem#DOX7, Grothendieck's trace theorem (statement)

History

2026-11-02: add by m2/dev

C867Y0D680 C867Y0D680

URI	`m2://inv/C867Y0D680`
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#AYXH (definition). In X765ZXXVC3/e1, definition 4.12

History

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

C86FQZBXAG C86FQZBXAG

URI	`m2://inv/C86FQZBXAG`
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.21972#BR52 (statement)

History

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

Definition C86P333NPD

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

Mentions

wikipedia: Wikipedia Poynting vector#PS8R, Definition (definition)

History

2026-11-02: add by m2/dev

C86ZH4PMBQ C86ZH4PMBQ

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

Mentions

arxiv: arXiv 2610.14278#0F0S (statement). In RTE2C0PH4S/e1, lemma 5.2

History

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

C876A3F1YS C876A3F1YS

URI	`m2://inv/C876A3F1YS`
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.04252#3ZAK (statement). In ZF0Z61VQ96/e1, lemma 4.3

History

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

C876TTRWYK C876TTRWYK

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

Mentions

arxiv: arXiv 2610.08935#GTMG (definition). In G02N9D40B9/e1, definition 6.2.1

History

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

The critical kinetic Aleksandrov exponent C87ETDGW4X

URI	`m2://inv/C87ETDGW4X`
Kind	conjecture
Layer	research
MSC	35-XX, 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.03083#21SP, The critical kinetic Aleksandrov exponent (conjecture). In C71DZH5GBJ/e1, conjecture 1.3

History

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

Vesica piscis C87HVTKREN

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#ER2X, Vesica piscis (definition)

History

2026-11-02: add by m2/dev

C87KWCA7GY C87KWCA7GY

URI	`m2://inv/C87KWCA7GY`
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.11034#W921 (statement). In 2KACPY9MMF/e1, lemma A.5

History

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

Peano's The Principles of Arithmetic 1889 C87MAKV9EV

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

Mentions

wikipedia: Wikipedia History of the function concept#YOUR, Peano's The Principles of Arithmetic 1889 (statement)

History

2026-11-02: add by m2/dev

C87MDXTFX8 C87MDXTFX8

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

Mentions

arxiv: arXiv 2609.37897#4DHS (statement). In RBQ5FNCVNZ/e1, lemma 10.5

History

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

C87N0ZZGAV C87N0ZZGAV

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-54 (exercise). In E9HS8K3A52, exercise, section 4.3.4

History

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

Definitions C87Q6Y516T

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

Mentions

wikipedia: Wikipedia Quasitoric manifold#YO0F, Definitions (definition)

History

2026-11-02: add by m2/dev

Definition as a law of large numbers C87RZFFDY4

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

Mentions

wikipedia: Wikipedia Tracy–Widom distribution#1VR7, Definition as a law of large numbers (definition)

History

2026-11-02: add by m2/dev

Sard's theorem C87SQY2FDZ

URI	`m2://inv/C87SQY2FDZ`
Kind	statement
Layer	textbook
MSC	53-XX
Sources	4
Outcome	open
Node	Sard's theorem Z7R8J71SJN

Mentions

mathlib_1000: mathlib_1000 Q583147, Sard's theorem (statement). Also Wikidata Q583147
thousand_plus: thousand_plus Q583147, Sard's theorem (statement). Also Wikidata Q583147, Wikipedia Sard's theorem
wikidata: Wikidata Q583147, Sard's theorem (statement). Also nLab Sard's theorem
wikipedia: Wikipedia Sard's theorem, Sard's theorem (statement). Also Wikidata Q583147

History

2026-10-26: add by m2/dev

C87YZJ6WEZ C87YZJ6WEZ

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

History

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

C8808K8AAZ C8808K8AAZ

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

Mentions

arxiv: arXiv 2609.21367#3037 (statement)

History

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

C88CC9X90Z C88CC9X90Z

URI	`m2://inv/C88CC9X90Z`
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.20126#EYLI (statement). In KVXDWX9B11/e1, proposition 2.2

History

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

Corollary C88GC3999R

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

Mentions

wikipedia: Wikipedia Theorem on formal functions#J5XS, Corollary (statement)

History

2026-11-02: add by m2/dev

C88H2HNFK9 C88H2HNFK9

URI	`m2://inv/C88H2HNFK9`
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.35632#B5CQ (statement). In Q74G3BVZAQ/e1, lemma 2.5

History

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

C88KGBJQS2 C88KGBJQS2

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

Mentions

arxiv: arXiv 2609.30067#JA58 (statement)

History

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

748 (number) C88MKRK5SY

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

Mentions

wikipedia: Wikipedia 700 (number)#9KCC, 748 (number) (unknown)

History

2026-11-02: add by m2/dev

Abiogenic petroleum origin C892FSXRQK

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

Mentions

wikipedia: Wikipedia List of superseded scientific theories#HOUI, Abiogenic petroleum origin (unknown)

History

2026-11-02: add by m2/dev

No gaps between contacts below $K$ C89AEHKFC9

URI	`m2://inv/C89AEHKFC9`
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.06480#J9RJ, No gaps between contacts below $K$ (statement). In 2Y47E704Z9/e1, lemma 8.3

History

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

C89FN2QKQ1 C89FN2QKQ1

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

Mentions

arxiv: arXiv 2609.20679#SX0V (statement)

History

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

Formal definition C89HZHMBB3

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

Mentions

wikipedia: Wikipedia Metric k-center#S18X, Formal definition (definition)

History

2026-11-02: add by m2/dev

Properties C89X07280Y

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

Mentions

wikipedia: Wikipedia Development (differential geometry)#IPUR, Properties (statement)

History

2026-11-02: add by m2/dev

*{Definition 3.1 C89XWEDGKS

URI	`m2://inv/C89XWEDGKS`
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 2609.27518#PRDI, *{Definition 3.1 (definition)

History

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

Generalizations C89ZQDSMCM

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

Mentions

wikipedia: Wikipedia Borsuk–Ulam theorem#5CSZ, Generalizations (statement)

History

2026-11-02: add by m2/dev

C8A3BYRE86 C8A3BYRE86

URI	`m2://inv/C8A3BYRE86`
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#KPOW (statement). In F8RC6AENB0/e1, lemma 5.12

History

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

C8A50HX9R1 C8A50HX9R1

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

Mentions

arxiv: arXiv 2609.25457#EEPX (definition)

History

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

Schlessinger's representation theorem C8A5HYNVV9

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

Mentions

wikipedia: Wikipedia Schlessinger's theorem#NKKP, Schlessinger's representation theorem (statement)

History

2026-11-02: add by m2/dev

C8AE7BB3N1 C8AE7BB3N1

URI	`m2://inv/C8AE7BB3N1`
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.04172#LCJ3 (statement). In 9Q1D1NMTTS/e1, lemma 12

History

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

A-proposition C8AEMV1PG1

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

Mentions

wikipedia: Wikipedia Glossary of logic#TA0P, A-proposition (definition)

History

2026-11-02: add by m2/dev

C8AG1JSAWJ C8AG1JSAWJ

URI	`m2://inv/C8AG1JSAWJ`
Kind	definition
Layer	research
MSC	26-XX, 35-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.01958#XGNQ (definition). In NQFYT2M6YZ/e1, definition 2.3

History

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

Explicit and implicit methods C8AJ4907Y5

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#89EQ, Explicit and implicit methods (definition)

History

2026-11-02: add by m2/dev

Naum Krasner C8AR851BAY

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#QJ3F, Naum Krasner (unknown)

History

2026-11-02: add by m2/dev

Digit group separator C8ASS87AGZ

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

Mentions

wikipedia: Wikipedia Decimal separator#FO1E, Digit group separator (unknown)

History

2026-11-02: add by m2/dev

Cho et al.\ , Theorem 2.3 C8AXD50WMB

URI	`m2://inv/C8AXD50WMB`
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.20849#HZVT, Cho et al.\ , Theorem 2.3 (statement). In HK7FV97MFD/e1, lemma 4.3

History

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

C8B3QA2AW7 C8B3QA2AW7

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

Mentions

arxiv: arXiv 2609.36412#7985 (statement). In 6HKGGCMBCK/e1, lemma 4.11

History

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

C8B4Z42C59 C8B4Z42C59

URI	`m2://inv/C8B4Z42C59`
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.05327#HRZ4 (statement). In ZD7BWDKT84/e1, lemma A.4

History

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

Kurt Leichtweiss C8BJRA8VR1

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

Mentions

wikipedia: Wikipedia List of German mathematicians#UHYV, Kurt Leichtweiss (topic)

History

2026-11-02: add by m2/dev

C8BMCANYVM C8BMCANYVM

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

Mentions

arxiv: arXiv 2610.02216#94H5 (statement). In 34JGRZ2M5F/e1, lemma 4.1

History

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

C8BMM0E4N2 C8BMM0E4N2

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

Mentions

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

History

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

Charles H. Bennett C8BQPS8BGH

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#3K4F, Charles H. Bennett (unknown)

History

2026-11-02: add by m2/dev

Borel–Weil–Bott theorem C8C06867PM

URI	`m2://inv/C8C06867PM`
Kind	statement
Layer	textbook
MSC	20-XX
Sources	4
Outcome	open
Node	Borel–Weil–Bott theorem K10YADF5XV

Mentions

mathlib_1000: mathlib_1000 Q4944923, Borel–Bott–Weil theorem (statement). Also Wikidata Q4944923
mathlib_1000: mathlib_1000 Q4944923X, Borel–Weil theorem (statement). Also Wikidata Q4944923
thousand_plus: thousand_plus Q4944923, Borel–Bott–Weil theorem (statement). Also Wikidata Q4944923, Wikipedia Borel–Bott–Weil theorem
thousand_plus: thousand_plus Q4944923X, Borel–Weil theorem (statement). Also Wikidata Q4944923, Wikipedia Borel–Weil theorem
wikidata: Wikidata Q4944923, Borel–Weil–Bott theorem (statement). Also ProofWiki Borel-Bott-Weil_Theorem
wikipedia: Wikipedia Borel–Weil–Bott theorem, Borel–Weil–Bott theorem (statement). Also Wikidata Q4944923

History

2026-10-26: add by m2/dev

C8CBHTD3MT C8CBHTD3MT

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

Mentions

arxiv: arXiv 2610.12486#L1HM (statement). In CWQ2YHT24E/e1, lemma 6.3

History

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

Machin-like formula C8CDBB1RF2

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

Mentions

wikidata: Wikidata Q3077635, Machin-like formula (unknown). Also MathWorld Machin-LikeFormulas
wikipedia: Wikipedia Machin-like formula, Machin-like formula (statement). Also Wikidata Q3077635

History

2026-10-26: add by m2/dev

C8D0PBSYHT C8D0PBSYHT

URI	`m2://inv/C8D0PBSYHT`
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.00358#L8SQ (statement). In C5WGCSPM6W/e1, proposition 5.2

History

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

Positive balanced H1 entry releases original risk C8D4YR0C1Z

URI	`m2://inv/C8D4YR0C1Z`
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#UZ2X, Positive balanced H1 entry releases original risk (statement). In T8E6F01RTM/e1, lemma N.2

History

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

ergodicity C8D5T03MFM

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

Mentions

wikidata: Wikidata Q5426803, ergodicity (unknown). Also EoM Ergodicity
wikipedia: Wikipedia Ergodicity, Ergodicity (definition). Also Wikidata Q5426803

History

2026-10-26: add by m2/dev

LAPACK C8D6RB5HM0

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#IWJG, LAPACK (definition)

History

2026-11-02: add by m2/dev

Tore Dalenius C8D6V0KZ5S

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

Mentions

wikipedia: Wikipedia Tore Dalenius, Tore Dalenius (topic). Also Wikidata Q102303854

History

2026-11-02: add by m2/dev

Huixia Judy Wang C8D88BM6BY

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#QEAY, Huixia Judy Wang (topic)

History

2026-11-02: add by m2/dev

Definition C8DG5GN3QZ

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

Mentions

wikipedia: Wikipedia Abelian 2-group#BHK6, Definition (definition)

History

2026-11-02: add by m2/dev

Saw Swee Hock C8DK51SECF

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

Mentions

wikipedia: Wikipedia Saw Swee Hock, Saw Swee Hock (topic). Also Wikidata Q55632643

History

2026-11-02: add by m2/dev

C8DNT7VRXB C8DNT7VRXB

URI	`m2://inv/C8DNT7VRXB`
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.04835#RQ16 (statement). In P6PHR4W23S/e1, proposition 3.1

History

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

Quasi-uniform C8DPX087V7

URI	`m2://inv/C8DPX087V7`
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.26276#QWU1, Quasi-uniform (definition)

History

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

orbit of a group action C8DZQWESH4

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

Mentions

wikidata: Wikidata Q17859776, orbit of a group action (unknown). Also MathWorld GroupOrbit, nLab orbit

History

2026-10-26: add by m2/dev

\bf Regularity and initial gap C8E1M0PE2V

URI	`m2://inv/C8E1M0PE2V`
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.02791#LXFG, \bf Regularity and initial gap (statement). In TT9BA4VMTW/e1, lemma 6.12

History

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

type, $n$-sphere C8EACCT33R

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

Mentions

hott_book: hott_book index/5.5/type-n-sphere, type, $n$-sphere (concept). In N54F33XE07, index, section 5.5

History

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

Applications C8EC706T8M

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

Mentions

wikipedia: Wikipedia Laplacian of the indicator#W7GS, Applications (example)

History

2026-11-02: add by m2/dev

C8EM50C913 C8EM50C913

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

Mentions

arxiv: arXiv 2610.02901#UAW8 (statement). In NSP90G5XCQ/e1, theorem 4.6

History

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

Georg Simon Ohm C8EP74PJ0X

URI	`m2://inv/C8EP74PJ0X`
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 Q1585, Georg Simon Ohm (unknown). Also ProofWiki Mathematician:Georg_Simon_Ohm

History

2026-10-26: add by m2/dev

Game of Euclid C8ETAH354J

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

Mentions

wikipedia: Wikipedia Euclidean algorithm#QB0E, Game of Euclid (unknown)

History

2026-11-02: add by m2/dev

Theorem C8EWKX6DAQ

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

Mentions

wikipedia: Wikipedia Tangent space#ZBAL, Theorem (statement)

History

2026-11-02: add by m2/dev

C8EX7SKXRB C8EX7SKXRB

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

Mentions

arxiv: arXiv 2610.09945#2RI7 (definition). In V7VCEA0VAA/e1, definition 4.6

History

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

C8EZXJEYRD C8EZXJEYRD

URI	`m2://inv/C8EZXJEYRD`
Kind	statement
Layer	research
MSC	16-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 2610.08010#6CFP (statement). In 2S89BG5WPH/e1, lemma 5.1

History

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

subgroup C8FA86XJ5B

URI	`m2://inv/C8FA86XJ5B`
Kind	definition
Layer	textbook
Sources	1
Outcome	deferred (the item has its own article, page 28011)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of group theory#NT65, subgroup (definition)

History

2026-11-02: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

C8FERFRCGP C8FERFRCGP

URI	`m2://inv/C8FERFRCGP`
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 2108.03672#B71O (statement). In EZZSZ1F071/e1, lemma 4.26

History

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

C8FKTTA6XB C8FKTTA6XB

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

Mentions

arxiv: arXiv 2609.21703#DV5P (statement)

History

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

C8FR7AP9YZ C8FR7AP9YZ

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

Mentions

arxiv: arXiv 2610.05259#ZC14 (statement). In X1J5HKPS3R/e1, theorem 3.3

History

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

Pointwise convergence C8FS2V5KST

URI	`m2://inv/C8FS2V5KST`
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.21781#30A1, Pointwise convergence (statement). In FEQ72D1AX6/e1, lemma 4.1

History

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

C8G0VZH47M C8G0VZH47M

URI	`m2://inv/C8G0VZH47M`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-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.20798#2OO1 (statement)

History

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

C8G1NV8EQB C8G1NV8EQB

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

Mentions

napkin: napkin tex/H113/ring-intro.tex#proof-1 (proof). In RZP28ERRZV, proof, section 5.6

History

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

Corina Tarnita C8G2VW5SJ2

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

Mentions

wikipedia: Wikipedia Corina Tarnita, Corina Tarnita (topic). Also Wikidata Q89456789

History

2026-11-02: add by m2/dev

Monotonicity formula C8GFNX721P

URI	`m2://inv/C8GFNX721P`
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.19273#YGDC, Monotonicity formula (statement). In T3BY4TXYT4/e1, theorem 6.6

History

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

C8GJMJRBXV C8GJMJRBXV

URI	`m2://inv/C8GJMJRBXV`
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.25094#UCKT (statement)

History

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

C8GM7J0W2B C8GM7J0W2B

URI	`m2://inv/C8GM7J0W2B`
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.26308#4EZ9 (statement)

History

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

C. J. Eliezer C8GMRC30VH

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

Mentions

wikipedia: Wikipedia C. J. Eliezer, C. J. Eliezer (topic). Also Wikidata Q5110686

History

2026-11-02: add by m2/dev

C8GT4H6T22 C8GT4H6T22

URI	`m2://inv/C8GT4H6T22`
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.02751#VAU4 (statement). In MWGXPXF3BW/e1, proposition 6

History

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

Diane Lambert C8GTWS6CRA

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#3S60, Diane Lambert (topic)

History

2026-11-02: add by m2/dev

Jacobi operator C8GZKMQK11

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

Mentions

wikipedia: Wikipedia Jacobi operator, Jacobi operator (definition). Also Wikidata Q81192

History

2026-11-02: add by m2/dev

Constant-pattern solution C8H3TZ7K9K

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

Mentions

wikipedia: Wikipedia Three-body problem#YBK4, Constant-pattern solution (unknown)

History

2026-11-02: add by m2/dev

Properties C8H3ZPZKCV

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

Mentions

wikipedia: Wikipedia Orthonormality#7D7V, Properties (statement)

History

2026-11-02: add by m2/dev

type, universe C8H6JEZC3K

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

Mentions

hott_book: hott_book index/A.3/type-universe, type, universe (concept). In N54F33XE07, index, section A.3

History

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

Subset C8HCQ7G3FS

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

Mentions

wikipedia: Wikipedia List of statements independent of ZFC#DSWN, Subset (definition)

History

2026-11-02: add by m2/dev

First-countable space C8HE0KPJKP

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

Mentions

wikipedia: Wikipedia List of general topology topics#SLAC, First-countable space (definition)

History

2026-11-02: add by m2/dev

C8HFAV53DR C8HFAV53DR

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

Mentions

arxiv: arXiv 2610.04498#HVW5 (statement). In HHF08X70P6/e1, lemma 5.5

History

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

C8HGHEHFK3 C8HGHEHFK3

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

Mentions

arxiv: arXiv 2102.10460#PVUR (statement). In 3N20HKKXTJ/e1, proposition 2.2

History

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

C8HK2FNF8D C8HK2FNF8D

URI	`m2://inv/C8HK2FNF8D`
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#5QX7 (statement). In 2TNAKVC0YP/e1, proposition 3.4

History

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

C8HQ4G2T64 C8HQ4G2T64

URI	`m2://inv/C8HQ4G2T64`
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 2306.00212#LM1I (statement). In C9GG9C1X65/e1, lemma 9

History

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

C8HTFGAZF4 C8HTFGAZF4

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

Mentions

arxiv: arXiv 2610.12330#CWDA (statement). In XHSKEPT3VD/e1, proposition 7.3

History

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

Po-Ling Loh C8J2KTY9HF

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

Mentions

wikipedia: Wikipedia Po-Ling Loh, Po-Ling Loh (topic). Also Wikidata Q136409346

History

2026-11-02: add by m2/dev

C8J2XNJHKC C8J2XNJHKC

URI	`m2://inv/C8J2XNJHKC`
Kind	problem
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 2205.06433#7P27 (problem). In 628PJKD3EV/e1, problem 4.1

History

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

Cantor–Dedekind axiom C8J7PWJX25

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

Mentions

wikidata: Wikidata Q1860722, Cantor–Dedekind axiom (unknown). Also MathWorld Cantor-DedekindAxiom
wikipedia: Wikipedia Cantor–Dedekind axiom, Cantor–Dedekind axiom (statement). Also Wikidata Q1860722

History

2026-10-26: add by m2/dev

C8JBQJP48E C8JBQJP48E

URI	`m2://inv/C8JBQJP48E`
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.13745#QMZH (statement). In CFJH0Q39FZ/e1, theorem 5.3

History

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

C8JCH4J5ZZ C8JCH4J5ZZ

URI	`m2://inv/C8JCH4J5ZZ`
Kind	statement
Layer	research
MSC	11-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.20460#9GWW (statement)

History

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

C8JCMV0QKD C8JCMV0QKD

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

Mentions

arxiv: arXiv 2609.25449#2UVU (statement). In 9JHMTYGWFQ/e1, lemma 5.4

History

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

Method C8JDYF44JH

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

Mentions

wikipedia: Wikipedia Power transform#WPCP, Method (definition)

History

2026-11-02: add by m2/dev

C8JH2HEM13 C8JH2HEM13

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

Mentions

arxiv: arXiv 2610.01346#U6H3 (statement). In 44DQ7W1NW9/e1, theorem 3.1

History

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

Cândido Lima da Silva Dias C8JSR9Y0DH

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

Mentions

wikipedia: Wikipedia Cândido Lima da Silva Dias, Cândido Lima da Silva Dias (topic). Also Wikidata Q93142535

History

2026-11-02: add by m2/dev

C8JXPF606A C8JXPF606A

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

Mentions

arxiv: arXiv 2610.14154#DRF3 (statement). In 8X6PXX2TRA/e1, theorem 6.10

History

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

Weierstrass transform C8K55NEFK3

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

Mentions

wikipedia: Wikipedia List of transforms#362S, Weierstrass transform (definition)

History

2026-11-02: add by m2/dev

Examples C8K60XRXH5

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

Mentions

wikipedia: Wikipedia Contour integration#TK8T, Examples (example)

History

2026-11-02: add by m2/dev

C8K7BWSY63 C8K7BWSY63

URI	`m2://inv/C8K7BWSY63`
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.21935#6LH3 (statement). In YDNK7E99JW/e1, lemma 3

History

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

Statement C8KDAVZ2MK

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

Mentions

wikipedia: Wikipedia Szemerédi regularity lemma#UDGU, Statement (statement)

History

2026-11-02: add by m2/dev

The forward twisted example C8KTP7EXZK

URI	`m2://inv/C8KTP7EXZK`
Kind	statement
Layer	research
MSC	20-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 2610.03424#KUOH, The forward twisted example (statement). In Q6HRJP4AWA/e1, theorem 4.4

History

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

Journal of Logic and Computation C8KXWHEFK0

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

Mentions

wikipedia: Wikipedia Journal of Logic and Computation, Journal of Logic and Computation (definition). Also Wikidata Q6295460

History

2026-11-02: add by m2/dev

Berlekamp–Massey algorithm C8M2NM83E7

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#U7RR, Berlekamp–Massey algorithm (definition)

History

2026-11-02: add by m2/dev

C8M6JM2ENV C8M6JM2ENV

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

Mentions

open_logic: open_logic content/many-valued-logic/infinite-valued-logics/lukasiewicz.tex#prop:luk-infty-m (statement). In PKGMM3P5QY, prop, section 40.2

History

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

The Simple Function Point method C8M6N86SNE

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

Mentions

wikipedia: Wikipedia The Simple Function Point method, The Simple Function Point method (definition). Also Wikidata Q110885760

History

2026-11-02: add by m2/dev

C8MCGQ74NP C8MCGQ74NP

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/CartesianProducts.tex#example-1 (example). In P1C114YBXG, example, section 1

History

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

C8MJK1B26S C8MJK1B26S

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

Mentions

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

History

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

Properties C8MSBJ1WV1

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

Mentions

wikipedia: Wikipedia Conformal dimension#XVLO, Properties (statement)

History

2026-11-02: add by m2/dev

restricted representation C8MVTSPAB1

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

Mentions

wikidata: Wikidata Q7316307, restricted representation (unknown). Also nLab restricted representation
wikipedia: Wikipedia Restricted representation, Restricted representation (definition). Also Wikidata Q7316307

History

2026-10-26: add by m2/dev

Waring's problem C8MW02TK81

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

Mentions

wikipedia: Wikipedia List of number theory topics#4GVZ, Waring's problem (conjecture)
wikipedia: Wikipedia List of mathematics history topics#E0BG, Waring's problem (conjecture)

History

2026-11-02: add by m2/dev

C8MXGK7E8T C8MXGK7E8T

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

Mentions

arxiv: arXiv 2510.12502#P8S2 (definition). In 3A4K47Y9F2/e1, definition 5.14

History

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

C8N2R9MQ5F C8N2R9MQ5F

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

Mentions

austin_ula: austin_ula src/exercises/exercises5-1.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 5.1

History

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

C8N3DP6739 C8N3DP6739

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

Mentions

arxiv: arXiv 2610.15219#L4LT (definition). In QMKFWSF9QZ/e1, definition 1

History

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

C8N4MKT77B C8N4MKT77B

URI	`m2://inv/C8N4MKT77B`
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.02628#E1RF (statement). In G4S9C5M1A4/e1, proposition C.2

History

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

Strengthening of the theorem C8NCRFSZ87

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

Mentions

wikipedia: Wikipedia Gershgorin circle theorem#WQ9T, Strengthening of the theorem (statement)

History

2026-11-02: add by m2/dev

Exact mixed nonlocal residual--boundary certificate C8NE30Y1PP

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

Mentions

arxiv: arXiv 2610.04357#ECKS, Exact mixed nonlocal residual--boundary certificate (example). In 6FY8BVP1F3/e1, example E.11

History

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

C8NG8METVM C8NG8METVM

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

Mentions

arxiv: arXiv 2610.21960#OWMJ (example). In QX77AN49J0/e1, example 7.3

History

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

C8NY7A71M7 C8NY7A71M7

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

Mentions

arxiv: arXiv 2112.14455#7V2Z (definition). In VDE5R8HBS1/e1, definition 3.3

History

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

L. Tschakaloff C8NZD1Y8HK

URI	`m2://inv/C8NZD1Y8HK`
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#BO8V, L. Tschakaloff (unknown)

History

2026-11-02: add by m2/dev

Square Root Day C8P05VEBBH

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

Mentions

wikipedia: Wikipedia Square Root Day, Square Root Day (definition). Also Wikidata Q2672046

History

2026-11-02: add by m2/dev

C8PC5RVE9E C8PC5RVE9E

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

Mentions

napkin: napkin tex/diffgeo/stokes.tex#example-4 (example). In RZP28ERRZV, example, section 46.4

History

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

∈ C8PD96CSKP

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#E019, ∈ (definition)

History

2026-11-02: add by m2/dev

C8PJ87GJZR C8PJ87GJZR

URI	`m2://inv/C8PJ87GJZR`
Kind	definition
Layer	research
MSC	18-XX, 49-XX, 51-XX, 52-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 1904.08413#B9HO (definition). In X88HPQ0W8C/e1, definition 2.17

History

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

C8PK7C3CTZ C8PK7C3CTZ

URI	`m2://inv/C8PK7C3CTZ`
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.39293#14M0 (statement). In S26QVW5613/e1, corollary 4.4.5

History

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

Feller's coin-tossing constants C8PKBJEHK4

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

Mentions

wikipedia: Wikipedia List of statistics articles#HCKS, Feller's coin-tossing constants (definition)

History

2026-11-02: add by m2/dev

Stratified sampling C8PKCFHZNC

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

Mentions

wikipedia: Wikipedia List of statistics articles#U1TD, Stratified sampling (definition)
wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#APVI, Stratified sampling (definition)

History

2026-11-02: add by m2/dev

loop space C8PPZEHXCR

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

Mentions

hott_book: hott_book index/1.1/loop-space, loop space (concept). In N54F33XE07, index, section 1.1

History

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

Wasserstein convergence of generic matrix AMP C8PT8J00DX

URI	`m2://inv/C8PT8J00DX`
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.20798#QZN7, Wasserstein convergence of generic matrix AMP (statement). In 947GFWDY7C/e1, lemma A.1

History

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

Amphichirality C8PX58R21F

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

Mentions

arxiv: arXiv 2610.18512#71ZL, Amphichirality (statement). In 11JNM66Z09/e1, proposition 5.2

History

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

odious number C8Q16S6EDQ

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

Mentions

wikidata: Wikidata Q25303606, odious number (unknown). Also MathWorld OdiousNumber, OEIS A000069
wikipedia: Wikipedia Odious number, Odious number (definition). Also Wikidata Q25303606

History

2026-10-26: add by m2/dev

C8QG5Z2VT4 C8QG5Z2VT4

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

Mentions

arxiv: arXiv 2610.06529#X2LP (definition). In JFQY4CYHKP/e1, definition 2.1

History

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

Hartman–Watson distribution C8QNJ3NJA3

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

Mentions

wikipedia: Wikipedia List of probability distributions#A92K, Hartman–Watson distribution (unknown)

History

2026-11-02: add by m2/dev

C8QQEC4XM4 C8QQEC4XM4

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

Mentions

lebl_scv: lebl_scv scv.tex#thm:regptsdense2 (statement). In VNMV985MXX, thm, section 6.5

History

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

C8QY5M4JW2 C8QY5M4JW2

URI	`m2://inv/C8QY5M4JW2`
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#P7ZA (statement). In S284XRA4WK/e1, proposition 4.1

History

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

LCS35 C8R09VF1PP

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

Mentions

wikipedia: Wikipedia LCS35, LCS35 (definition). Also Wikidata Q6457446

History

2026-11-02: add by m2/dev

Bonnie Averbach C8R4E03S48

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

Mentions

wikipedia: Wikipedia Bonnie Averbach, Bonnie Averbach (topic). Also Wikidata Q110920293

History

2026-11-02: add by m2/dev

C8R7BVP2DE C8R7BVP2DE

URI	`m2://inv/C8R7BVP2DE`
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.33926#6DUS (statement). In 1XF3T5HXNV/e1, lemma

History

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

Limits and colimits in an ∞-category C8R8QW4GKX

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

Mentions

wikipedia: Wikipedia Limits and colimits in an ∞-category, Limits and colimits in an ∞-category (definition). Also Wikidata Q134389629

History

2026-11-02: add by m2/dev

Tail bound for the maximum cover time in a cube C8R8X0PHSV

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

Mentions

arxiv: arXiv 2610.06372#KNS4, Tail bound for the maximum cover time in a cube (statement). In G3E1P350Z6/e1, lemma D.4

History

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

random variable C8R980A4Y1

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#M5MF, random variable (definition)

History

2026-11-02: add by m2/dev

Separable extension C8RDKBAMBJ

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

Mentions

wikipedia: Wikipedia Glossary of field theory#LWA6, Separable extension (definition)

History

2026-11-02: add by m2/dev

C8RK1G1Z41 C8RK1G1Z41

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

Mentions

arxiv: arXiv 2609.25353#8KKQ (statement)

History

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

correlator C8RNB9J2CW

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#NC1D, correlator (definition)

History

2026-11-02: add by m2/dev

No tree-level counterterm for an edge subdivision C8RTGF1WMY

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

Mentions

arxiv: arXiv 2609.27799#D7LR, No tree-level counterterm for an edge subdivision (statement)

History

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

C8S0TX6NJN C8S0TX6NJN

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

Mentions

arxiv: arXiv 2609.36423#3Z0N (example). In Q5Z178SAHP/e1, example 7.5

History

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

Finsler geometry C8S70T11H6

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

Mentions

wikidata: Wikidata Q130619523, Finsler geometry (topic). Also EoM Finsler_geometry

History

2026-10-26: add by m2/dev

The Borell-Brascamp-Lieb inequality C8SCYEKXGH

URI	`m2://inv/C8SCYEKXGH`
Kind	statement
Layer	research
MSC	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 2404.08319#DVTT, The Borell-Brascamp-Lieb inequality (statement). In MA1CZ2GTAF/e1, theorem D

History

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

function C8T6TGG9ZQ

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

Mentions

wikipedia: Wikipedia Glossary of calculus#AZCO, function (definition)

History

2026-11-02: add by m2/dev

C8TAK7Z02G C8TAK7Z02G

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

Mentions

arxiv: arXiv 2609.37520#5DBZ (example). In BDN507RN7J/e1, example 4.6.2

History

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

C8TAKMR960 C8TAKMR960

URI	`m2://inv/C8TAKMR960`
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 2610.11869#34KM (statement). In B5GGGWNJA6/e1, corollary 6

History

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

C8TEJTKXKK C8TEJTKXKK

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

Mentions

hott_book: hott_book hits.tex#ex:nspheres (exercise). In N54F33XE07, ex, section 5.13

History

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

star graph C8TJ5G1JM2

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

Mentions

wikidata: Wikidata Q2589168, star graph (definition). Also MathWorld StarGraph, ProofWiki Definition:Star_Graph
wikipedia: Wikipedia Star (graph theory), Star (definition). Also Wikidata Q2589168

History

2026-10-26: add by m2/dev

*{Theorem 1 C8TJPZ44E5

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

Mentions

arxiv: arXiv 2610.21945#YGCQ, *{Theorem 1 (statement). In 371P9QASSJ/e1, theorem 2.4

History

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

Jeremiah Owen C8TM3K8ZTT

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

Mentions

wikipedia: Wikipedia Jeremiah Owen, Jeremiah Owen (topic). Also Wikidata Q113686601

History

2026-11-02: add by m2/dev

Sub-gaussian concentration of JE weights C8TMRWXD6P

URI	`m2://inv/C8TMRWXD6P`
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.30590#7HLR, Sub-gaussian concentration of JE weights (statement). In WYE2JVEZBT/e1, corollary 3.15

History

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

comparison test C8TSS0JDAS

URI	`m2://inv/C8TSS0JDAS`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Comparison test 04Z5G0THN6

Mentions

wikidata: Wikidata Q1050206, comparison test (unknown). Also MathWorld ComparisonTest
wikipedia: Wikipedia Direct comparison test, Direct comparison test (definition). Also Wikidata Q1050206

History

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

Rota's basis conjecture C8TY0MP49P

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

Mentions

wikipedia: Wikipedia Rota's basis conjecture, Rota's basis conjecture (conjecture). Also Wikidata Q7370200

History

2026-11-02: add by m2/dev

Definition C8TYJEW1Z1

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

Mentions

wikipedia: Wikipedia Power associativity#LPZ4, Definition (definition)

History

2026-11-02: add by m2/dev

Beth definability theorem C8TZTQBKNC

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

Mentions

wikipedia: Wikipedia Beth definability theorem, Beth definability theorem (statement). Also Wikidata Q4897670

History

2026-11-02: add by m2/dev

Cayley's mousetrap C8VAPRZHNZ

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

Mentions

wikipedia: Wikipedia List of things named after Arthur Cayley#Y1A8, Cayley's mousetrap (definition)

History

2026-11-02: add by m2/dev

Covariance matrix C8VCTEZ34G

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

Mentions

wikipedia: Wikipedia List of named matrices#DWDD, Covariance matrix (definition)

History

2026-11-02: add by m2/dev

C8VDHJWPYV C8VDHJWPYV

URI	`m2://inv/C8VDHJWPYV`
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 2610.10074#E4IK (statement). In BYAANB1NG0/e1, proposition 5.1

History

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

Joseph J. Kohn C8VJ3JDSFE

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#EDR0, Joseph J. Kohn (unknown)

History

2026-11-02: add by m2/dev

Landau damping C8VPCWCZ7T

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

Mentions

wikipedia: Wikipedia Landau damping, Landau damping (definition). Also Wikidata Q675721

History

2026-11-02: add by m2/dev

Example C8VYY269T2

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

Mentions

wikipedia: Wikipedia Frobenius characteristic map#QHJD, Example (example)

History

2026-11-02: add by m2/dev

Definitions C8W33ANBQF

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

Mentions

wikipedia: Wikipedia Quartile#CHHC, Definitions (definition)

History

2026-11-02: add by m2/dev

C8WEHWFYGX C8WEHWFYGX

URI	`m2://inv/C8WEHWFYGX`
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 1810.06028#D1FG (statement). In ZPFHH6YJG3/e1, lemma 4.3

History

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

C8WKGXVW03 C8WKGXVW03

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

Mentions

arxiv: arXiv 1610.01054#EFJL (definition). In WNTFRFJ8SE/e1, definition II.4

History

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

microbundle C8WP5JNA1Y

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#FU0E, microbundle (definition)

History

2026-11-02: add by m2/dev

Proposition C8WSB2CQNW

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

Mentions

wikipedia: Wikipedia Filters in topology#88IO, Proposition (statement)

History

2026-11-02: add by m2/dev

Sieve theory C8WWKTG6CB

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#B3O5, Sieve theory (definition)

History

2026-11-02: add by m2/dev

C8WX6DQB3H C8WX6DQB3H

URI	`m2://inv/C8WX6DQB3H`
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.14652#TXEO (statement). In A50CHJ6Q4V/e1, lemma 2.7

History

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

Definition C8WZQQFZMW

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

Mentions

wikipedia: Wikipedia Uniform isomorphism#0TTS, Definition (definition)

History

2026-11-02: add by m2/dev

C8X09C9259 C8X09C9259

URI	`m2://inv/C8X09C9259`
Kind	definition
Layer	research
MSC	13-XX, 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 2505.05539#DB7T (definition). In 8SVVEVGMNE/e1, definition 2.8

History

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

Ahlfors measure conjecture C8X48NFWNQ

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

Mentions

wikipedia: Wikipedia Ahlfors measure conjecture, Ahlfors measure conjecture (statement). Also Wikidata Q4695182

History

2026-11-02: add by m2/dev

Scattered order C8XB6GQZ80

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

Mentions

wikipedia: Wikipedia Scattered order, Scattered order (definition). Also Wikidata Q7430614

History

2026-11-02: add by m2/dev

Deterministic multilevel summation C8XCH420DM

URI	`m2://inv/C8XCH420DM`
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 2609.20520#K5W0, Deterministic multilevel summation (statement)

History

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

588 (number) C8XF1KQ165

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

Mentions

wikipedia: Wikipedia 500 (number)#9U15, 588 (number) (unknown)

History

2026-11-02: add by m2/dev

C8XPPNS4HK C8XPPNS4HK

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

Mentions

arxiv: arXiv 2609.30067#4N0J (statement)

History

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

Chaim Samuel Hönig C8XWDKVJP6

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

Mentions

wikipedia: Wikipedia Chaim Samuel Hönig, Chaim Samuel Hönig (topic). Also Wikidata Q40367791

History

2026-11-02: add by m2/dev

C8XZ3Z2XMQ C8XZ3Z2XMQ

URI	`m2://inv/C8XZ3Z2XMQ`
Kind	conjecture
Layer	research
MSC	19-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 2610.19791#IMQL (conjecture). In AVDB4KJ6XB/e1, conjecture 4.13

History

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

$\Op L=P(\Op D)$ on $\Spc S(\R)$ C8Y2B83S9J

URI	`m2://inv/C8Y2B83S9J`
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 2610.14906#CSVK, $\Op L=P(\Op D)$ on $\Spc S(\R)$ (example). In 1F8ENX770M/e1, example 6.3

History

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

C8Y8304RCX C8Y8304RCX

URI	`m2://inv/C8Y8304RCX`
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 2310.14879#ZK71 (statement). In 3VZ55B2N0D/e1, proposition 6.24

History

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

Triplet loss C8YBEJRRC9

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

Mentions

wikipedia: Wikipedia Triplet loss, Triplet loss (definition). Also Wikidata Q60795200

History

2026-11-02: add by m2/dev

Theorem C8YBTK64SD

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

Mentions

wikipedia: Wikipedia Polynomial interpolation#EDVT, Theorem (statement)

History

2026-11-02: add by m2/dev

bicentric polygon C8YCG799KD

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

Mentions

wikidata: Wikidata Q4903575, bicentric polygon (unknown). Also MathWorld BicentricPolygon
wikipedia: Wikipedia Bicentric polygon, Bicentric polygon (definition). Also Wikidata Q4903575

History

2026-10-26: add by m2/dev

C8YK3NM127 C8YK3NM127

URI	`m2://inv/C8YK3NM127`
Kind	definition
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 2312.06581#APJA (definition). In WXJ2V3HA2R/e1, definition D.11

History

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

Maria Chudnovsky C8YS384159

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#700M, Maria Chudnovsky (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#F2ZE, Maria Chudnovsky (topic)

History

2026-11-02: add by m2/dev

Wertrational C8YVA98MPT

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

Mentions

wikipedia: Wikipedia Rationality#ELNI, Wertrational (unknown)

History

2026-11-02: add by m2/dev

C8Z0Z0QMV8 C8Z0Z0QMV8

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

Mentions

arxiv: arXiv 2609.39104#52YF (statement). In V2NTW27MSJ/e1, lemma 3.4

History

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

Definition and properties C8Z3K6V8CT

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

Mentions

wikipedia: Wikipedia Signed-digit representation#MND2, Definition and properties (definition)

History

2026-11-02: add by m2/dev

Subset C8Z3X7JVS9

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

Mentions

open_logic: open_logic content/sets-functions-relations/sets/subsets.tex#defn-1, Subset (definition). In PKGMM3P5QY, defn, section 83.1

History

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

Differentiation under the integral C8Z58HH1XW

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

Mentions

lebl_scv: lebl_scv index/E.1/differentiation-under-the-integral, Differentiation under the integral (concept). In VNMV985MXX, index, section E.1

History

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

Statement of the theorem C8Z9H5GVVX

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

Mentions

wikipedia: Wikipedia Ladyzhenskaya–Babuška–Brezzi condition#MHIL, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

C8ZKT9GXKB C8ZKT9GXKB

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_counting-proofs.ptx#example-3 (example). In Y91XFCEVHQ, example, section 2.4.1

History

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

Unsolved problems C8ZPCAV4TS

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

Mentions

wikipedia: Wikipedia Millennium Prize Problems#HBYK, Unsolved problems (statement)

History

2026-11-02: add by m2/dev

Dini's theorem C8ZPEFJGBN

URI	`m2://inv/C8ZPEFJGBN`
Kind	statement
Layer	textbook
MSC	26-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Dini's theorem 0XRRYF1HPE

Mentions

mathlib_1000: mathlib_1000 Q595466, Dini's theorem (statement). Also Mathlib Monotone.tendstoLocallyUniformly_of_forall_tendsto, Wikidata Q595466
thousand_plus: thousand_plus Q595466, Dini's theorem (statement). Also Mathlib Monotone.tendstoLocallyUniformly_of_forall_tendsto, Wikidata Q595466, Wikipedia Dini's theorem
wikidata: Wikidata Q595466, Dini's theorem (statement). Also EoM Dini_theorem, MathWorld DinisTheorem
wikipedia: Wikipedia Dini's theorem, Dini's theorem (statement). Also Wikidata Q595466

History

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

Ingleton's inequality C8ZT5JK2MS

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

Mentions

wikipedia: Wikipedia List of inequalities#TKJP, Ingleton's inequality (statement)

History

2026-11-02: add by m2/dev

C8ZXDJNAD9 C8ZXDJNAD9

URI	`m2://inv/C8ZXDJNAD9`
Kind	statement
Layer	research
MSC	26-XX, 51-XX, 52-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.20385#DOUE (statement). In 54HS9AHWPE/e1, corollary 3.2

History

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