Inventory rows N5

N50DC1YJV4 N50DC1YJV4

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

Mentions

arxiv: arXiv 2609.39700#P1SX (statement). In E7W2HDNEKJ/e1, lemma 9.21

History

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

Block filter N50FFDQKVX

URI	`m2://inv/N50FFDQKVX`
Kind	definition
Layer	research
MSC	03-XX, 46-XX, 54-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.20683#5HC3, Block filter (definition)

History

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

Polygonal curve N50KMCVTQ8

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#2Q11, Polygonal curve (definition)
wikipedia: Wikipedia List of curves#F76X, Polygonal curve (definition)

History

2026-11-02: add by m2/dev

N50M8N873T N50M8N873T

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphalgorithms_shortest-paths.ptx#proposition-1 (statement). In QKM9DD2H56, proposition, section 12.3.3

History

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

Instant Insanity N510FJMEAK

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

Mentions

wikipedia: Wikipedia List of PSPACE-complete problems#XM2G, Instant Insanity (definition)

History

2026-11-02: add by m2/dev

N512EWE3VY N512EWE3VY

URI	`m2://inv/N512EWE3VY`
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 2509.05577#F51Q (statement). In EFWBREMZAP/e1, theorem 2.9

History

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

N51ANY2M6Q N51ANY2M6Q

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

Mentions

arxiv: arXiv 2610.07240#ACX9 (statement). In D0F1GK5AHW/e1, lemma D.5

History

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

Detlef Gromoll N51BDQ0QD1

URI	`m2://inv/N51BDQ0QD1`
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#KQCS, Detlef Gromoll (topic)
wikipedia: Wikipedia List of German mathematicians#7EKH, Detlef Gromoll (topic)

History

2026-11-02: add by m2/dev

Erdős cardinal N51CRWMYN3

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

Mentions

wikipedia: Wikipedia Erdős cardinal, Erdős cardinal (definition). Also Wikidata Q5385318

History

2026-11-02: add by m2/dev

N51D1MT4ZK N51D1MT4ZK

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

Mentions

arxiv: arXiv 2610.13734#BOAV (statement). In XB23QP7GK9/e1, lemma 3.4

History

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

Lyons group N51KJB5WY8

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

Mentions

wikidata: Wikidata Q3117691, Lyons group (unknown). Also MathWorld LyonsGroup
wikipedia: Wikipedia Lyons group, Lyons group (object). Also Wikidata Q3117691

History

2026-10-26: add by m2/dev

N51NEZ07XW N51NEZ07XW

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

Mentions

arxiv: arXiv 2609.21513#7HNJ (statement)

History

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

Symmetric hypergraph theorem N51V494W1W

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

Mentions

mathlib_1000: mathlib_1000 Q7661308, Symmetric hypergraph theorem (statement). Also Wikidata Q7661308
thousand_plus: thousand_plus Q7661308, Symmetric hypergraph theorem (statement). Also Wikidata Q7661308, Wikipedia Symmetric hypergraph theorem
wikipedia: Wikipedia Symmetric hypergraph theorem, Symmetric hypergraph theorem (statement). Also Wikidata Q7661308

History

2026-10-26: add by m2/dev

Branched surface N526C2QWQJ

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

Mentions

wikipedia: Wikipedia List of geometric topology topics#E5FS, Branched surface (definition)

History

2026-11-02: add by m2/dev

N52A1DQ77F N52A1DQ77F

URI	`m2://inv/N52A1DQ77F`
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.20866#IO9U (statement)

History

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

N52R8JDRBA N52R8JDRBA

URI	`m2://inv/N52R8JDRBA`
Kind	definition
Layer	research
MSC	30-XX, 32-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.37606#SRG6 (definition). In WNFW6GY38C/e1, definition 4.1

History

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

Inhomogeneous electromagnetic wave equation N52RFS4JE7

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

Mentions

wikipedia: Wikipedia Inhomogeneous electromagnetic wave equation, Inhomogeneous electromagnetic wave equation (definition). Also Wikidata Q6033855

History

2026-11-02: add by m2/dev

N52VXEVTQ8 N52VXEVTQ8

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

Mentions

arxiv: arXiv 2204.04820#5OZI (statement). In 9EJ71MW89B/e1, theorem 3.1

History

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

Examples N52WSXAJ1R

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

Mentions

wikipedia: Wikipedia Frobenius algebra#PJNK, Examples (example)

History

2026-11-02: add by m2/dev

absolute convergence N52WTYZHRW

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

Mentions

lebl_ra: lebl_ra index/10.5.4/absolute-convergence, absolute convergence (concept). In E59CDZA4DP, index, section 10.5.4

History

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

Małgorzata Bogdan N52YRR9GPP

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

Mentions

wikipedia: Wikipedia Małgorzata Bogdan, Małgorzata Bogdan (topic). Also Wikidata Q95991574

History

2026-11-02: add by m2/dev

Jared Diamond N53B1MHWJ5

URI	`m2://inv/N53B1MHWJ5`
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#DUZ5, Jared Diamond (unknown)

History

2026-11-02: add by m2/dev

N53EGXA3AK N53EGXA3AK

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

Mentions

arxiv: arXiv 2510.12502#9XOI (statement). In 3A4K47Y9F2/e1, theorem 4.6

History

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

Hilbert's Basis Theorem N544ZN98Q7

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

Mentions

wikipedia: Wikipedia Hilbert's basis theorem#2XGX, Hilbert's Basis Theorem (statement)

History

2026-11-02: add by m2/dev

Klartag--AGZ estimate with weights given by orbit size N5460D3JNJ

URI	`m2://inv/N5460D3JNJ`
Kind	statement
Layer	research
MSC	11-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.12619#EDTU, Klartag--AGZ estimate with weights given by orbit size (statement). In 7F8KACT5AJ/e1, proposition 4.3

History

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

Quillen's Theorem A N546FGNDPF

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

Mentions

wikipedia: Wikipedia Quillen's theorems A and B#PG1L, Quillen's Theorem A (statement)

History

2026-11-02: add by m2/dev

Jennifer A. Hoeting N54AS9HPJ4

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

Mentions

wikipedia: Wikipedia Jennifer A. Hoeting, Jennifer A. Hoeting (topic). Also Wikidata Q42780397

History

2026-11-02: add by m2/dev

Definition N54HYRN1XV

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

Mentions

wikipedia: Wikipedia Pisano period#2M6G, Definition (definition)

History

2026-11-02: add by m2/dev

N54JX2G4YQ N54JX2G4YQ

URI	`m2://inv/N54JX2G4YQ`
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 2304.13811#1GJC (definition). In HGKYMFSDEM/e1, definition 1

History

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

Modal Phase Structure of the Test Space N54KMRA3MM

URI	`m2://inv/N54KMRA3MM`
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.13222#THF6, Modal Phase Structure of the Test Space (statement). In Z6WA2R0J50/e1, lemma 3.3

History

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

Bonne projection N54KQ70J1B

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

Mentions

wikidata: Wikidata Q2630681, Bonne projection (unknown). Also MathWorld BonneProjection

History

2026-10-26: add by m2/dev

N54RPQTA37 N54RPQTA37

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

Mentions

napkin: napkin tex/alg-geom/mor-scheme.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 22.7

History

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

Shigeru Iitaka N54YBJ0AT3

URI	`m2://inv/N54YBJ0AT3`
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#9ZBH, Shigeru Iitaka (topic)

History

2026-11-02: add by m2/dev

Related conjectures N553B47J09

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

Mentions

wikipedia: Wikipedia Chern's conjecture (affine geometry)#9VD6, Related conjectures (statement)

History

2026-11-02: add by m2/dev

N5599WMRN3 N5599WMRN3

URI	`m2://inv/N5599WMRN3`
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.36811#NSOH (statement). In ZQDX8E43SQ/e1, corollary 4.4

History

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

Relationships between the axioms N55EWCAV04

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

Mentions

wikipedia: Wikipedia Separation axiom#A0DI, Relationships between the axioms (statement)

History

2026-11-02: add by m2/dev

Positive upper--lower exchange N55FFSXZZ7

URI	`m2://inv/N55FFSXZZ7`
Kind	statement
Layer	research
MSC	26-XX, 35-XX, 47-XX, 58-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.08568#KPX5, Positive upper--lower exchange (statement). In FDDA562VCA/e1, lemma 2.35

History

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

Degree of a principal divisor N55H181R2D

URI	`m2://inv/N55H181R2D`
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.32834#E6X6, Degree of a principal divisor (statement). In N4M6B8EMCW/e1, lemma 2.5

History

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

Mahmoud Shehabi Khorassani N55HB9AVSM

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

Mentions

wikipedia: Wikipedia Mahmoud Shehabi Khorassani, Mahmoud Shehabi Khorassani (topic). Also Wikidata Q16053863

History

2026-11-02: add by m2/dev

senary N55HDDY0KA

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

Mentions

wikidata: Wikidata Q1034350, senary (definition). Also ProofWiki Definition:Senary_Notation
wikipedia: Wikipedia Senary, Senary (definition). Also Wikidata Q1034350

History

2026-10-26: add by m2/dev

N55HWZFK28 N55HWZFK28

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

Mentions

napkin: napkin tex/homology/long-exact.tex#prob:triple_long_exact (exercise). In RZP28ERRZV, sproblem, section 54.3

History

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

N55J6KS5A9 N55J6KS5A9

URI	`m2://inv/N55J6KS5A9`
Kind	statement
Layer	research
MSC	14-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.06669#ZZEM (statement). In YXD3950ZXR/e1, proposition 5.5

History

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

Joseph Neisendorfer N55SGMERF6

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

Mentions

wikidata: Wikidata Q15445237, Joseph Neisendorfer (unknown). Also nLab Joseph Neisendorfer
wikipedia: Wikipedia Joseph Neisendorfer, Joseph Neisendorfer (topic). Also Wikidata Q15445237

History

2026-10-26: add by m2/dev

Stochastic drift N55TBY1E9P

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

Mentions

wikipedia: Wikipedia List of statistics articles#AN1E, Stochastic drift (definition)

History

2026-11-02: add by m2/dev

Cylindric algebra N55WTSN825

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

Mentions

wikipedia: Wikipedia Cylindric algebra, Cylindric algebra (definition). Also Wikidata Q5199278

History

2026-11-02: add by m2/dev

generating function N564PAH1TG

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

Mentions

applied_combinatorics: applied_combinatorics index/8.1/generating-function, generating function (concept). In QKM9DD2H56, index, section 8.1

History

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

In law N564RF3882

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

Mentions

wikipedia: Wikipedia Burden of proof (philosophy)#5MJZ, In law (statement)

History

2026-11-02: add by m2/dev

N565FHCHDD N565FHCHDD

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

Mentions

arxiv: arXiv 2610.16731#4FU0 (statement). In D68KBZQ4Q6/e1, lemma 5.8

History

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

N56C2M5Y88 N56C2M5Y88

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

Mentions

arxiv: arXiv 2610.07122#XWFV (statement). In W0ZHX9DHPV/e1, proposition 1

History

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

Applications N56D1GRARS

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

Mentions

wikipedia: Wikipedia Implicit computational complexity#RM62, Applications (example)

History

2026-11-02: add by m2/dev

N56EZ7KPWT N56EZ7KPWT

URI	`m2://inv/N56EZ7KPWT`
Kind	example
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 2509.21444#V160 (example). In CTVPA2FQT1/e1, example 3.1.2

History

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

Susan Montgomery N56G12E2N7

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#WGLF, Susan Montgomery (topic)

History

2026-11-02: add by m2/dev

Scaling and reversal of linearizations N56PQVZY6V

URI	`m2://inv/N56PQVZY6V`
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.20285#WI6H, Scaling and reversal of linearizations (statement). In RQA728RB77/e1, lemma 6

History

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

N56Y1KTEXK N56Y1KTEXK

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#prop:matrixcont (statement). In E59CDZA4DP, prop, section 11.2.2

History

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

Marie Diener-West N570EVJ26R

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#PZLT, Marie Diener-West (unknown)

History

2026-11-02: add by m2/dev

3D projection N57D8AQABC

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

Mentions

wikipedia: Wikipedia 3D projection, 3D projection (definition). Also Wikidata Q249013

History

2026-11-02: add by m2/dev

N57GW1G772 N57GW1G772

URI	`m2://inv/N57GW1G772`
Kind	statement
Layer	research
MSC	13-XX, 14-XX, 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.22161#UKS9 (statement). In FVM35KPN8C/e1, lemma 3.5

History

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

N57JFDAW2H N57JFDAW2H

URI	`m2://inv/N57JFDAW2H`
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.02963#MF8D (statement). In FN8MJK3C6K/e1, proposition A.2

History

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

ringed topos N57JQHEPF0

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

Mentions

wikidata: Wikidata Q55631722, ringed topos (unknown). Also nLab ringed topos
wikipedia: Wikipedia Ringed topos, Ringed topos (definition). Also Wikidata Q55631722

History

2026-10-26: add by m2/dev

One-pair guessing estimate; cf. Lemma 13 N57MXVSMGG

URI	`m2://inv/N57MXVSMGG`
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.01843#8S4S, One-pair guessing estimate; cf. Lemma 13 (statement). In EDG9ZFDSWK/e1, lemma B.12

History

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

A single nonnegative unitarity defect N57Q8VWA0X

URI	`m2://inv/N57Q8VWA0X`
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 2610.11652#1YA4, A single nonnegative unitarity defect (statement). In VEXM27M8Q1/e1, corollary 6.1

History

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

N57S3C6ZEG N57S3C6ZEG

URI	`m2://inv/N57S3C6ZEG`
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.08682#QMP6 (statement). In Y306A1GPM5/e1, lemma 2.3

History

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

Paul Baum N57TAPNBMZ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#MT1F, Paul Baum (topic)

History

2026-11-02: add by m2/dev

N57VT6A10Q N57VT6A10Q

URI	`m2://inv/N57VT6A10Q`
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.12481#4XLK (statement). In TD288AK3EJ/e1, corollary 15

History

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

N57Y75D6VT N57Y75D6VT

URI	`m2://inv/N57Y75D6VT`
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 2303.00676#WUTE (definition). In 5351H04TJY/e1, definition 1.3

History

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

N57Z0DD0MK N57Z0DD0MK

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

Mentions

arxiv: arXiv 2609.20361#1DML (statement)

History

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

Orthogonality of the direct contour representative N582GR1SVK

URI	`m2://inv/N582GR1SVK`
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.22027#9N4X, Orthogonality of the direct contour representative (statement)

History

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

N5833TA5VD N5833TA5VD

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

Mentions

arxiv: arXiv 2610.02407#TVNF (statement). In ZZER8ZBSCR/e1, lemma B.13

History

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

N588FA5W34 N588FA5W34

URI	`m2://inv/N588FA5W34`
Kind	problem
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.16225#GJNP (problem). In H3DJV9YQW1/e1, problem 1.3

History

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

Time series models N58JT7141A

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

Mentions

wikipedia: Wikipedia Time series#VSIS, Time series models (unknown)

History

2026-11-02: add by m2/dev

Samuelson's inequality N58K07NZT7

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

Mentions

wikipedia: Wikipedia Chebyshev's inequality#PZ7J, Samuelson's inequality (statement)

History

2026-11-02: add by m2/dev

N58VNHJPRX N58VNHJPRX

URI	`m2://inv/N58VNHJPRX`
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 2610.03835#6NN2 (statement). In KAYGQMQPGS/e1, corollary 4.11

History

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

N596BNZARK N596BNZARK

URI	`m2://inv/N596BNZARK`
Kind	definition
Layer	research
MSC	14-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.36884#1ZTD (definition). In Z7E16PFFCP/e1, definition 5.6

History

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

N59ARXVGW6 N59ARXVGW6

URI	`m2://inv/N59ARXVGW6`
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.13076#15IK (statement). In K7GJA4WGV7/e1, lemma 2.1

History

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

N59EA8GFTF N59EA8GFTF

URI	`m2://inv/N59EA8GFTF`
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.36423#FK8C (statement). In Q5Z178SAHP/e1, theorem 4.3

History

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

N59T1515FR N59T1515FR

URI	`m2://inv/N59T1515FR`
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.29022#5QCH (statement)

History

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

E6 lattice N5A2HYND6N

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

Mentions

wikipedia: Wikipedia 2 22 honeycomb#COR3, E6 lattice (unknown)

History

2026-11-02: add by m2/dev

Formal definition N5A2WD3P88

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

Mentions

wikipedia: Wikipedia Partition matroid#HZ9F, Formal definition (definition)

History

2026-11-02: add by m2/dev

normal N5A70KT0RW

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#IFFB, normal (definition)

History

2026-11-02: add by m2/dev

Airy stress function N5A7P3C79M

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

Mentions

wikipedia: Wikipedia Stress functions#XRK5, Airy stress function (unknown)

History

2026-11-02: add by m2/dev

Beltrami identity N5A8FSG7XT

URI	`m2://inv/N5A8FSG7XT`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	Beltrami identity F7EKTEESQ5

Mentions

wikidata: Wikidata Q3303275, Beltrami identity (unknown). Also MathWorld BeltramiIdentity
wikipedia: Wikipedia Beltrami identity, Beltrami identity (statement). Also Wikidata Q3303275

History

2026-10-26: add by m2/dev

N5ABNPFEAG N5ABNPFEAG

URI	`m2://inv/N5ABNPFEAG`
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.14189#LE7T (statement). In 39VAB08YDJ/e1, theorem 4.15

History

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

Theorem N5AHTNJ6NB

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

Mentions

wikipedia: Wikipedia Direct integral#5VMB, Theorem (statement)

History

2026-11-02: add by m2/dev

SFV N5AQ30E8NG

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#ZLFM, SFV (unknown)

History

2026-11-02: add by m2/dev

Deficiency N5ARXSZQ5G

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

Mentions

wikipedia: Wikipedia Deficiency (graph theory), Deficiency (definition). Also Wikidata Q97184960

History

2026-11-02: add by m2/dev

False radiosity N5AT89PAP5

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#GAGL, False radiosity (unknown)

History

2026-11-02: add by m2/dev

Sweedler notation N5B1HWB1MT

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

Mentions

wikipedia: Wikipedia Coalgebra#I2R2, Sweedler notation (unknown)

History

2026-11-02: add by m2/dev

N5B7ETK945 N5B7ETK945

URI	`m2://inv/N5B7ETK945`
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.31276#O7GV (statement). In WYDHWYFRFK/e1, lemma 3.6

History

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

Matching upper-tail rates N5BDJ1Z9TA

URI	`m2://inv/N5BDJ1Z9TA`
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.05498#8YZL, Matching upper-tail rates (statement). In TJT32RQ9GC/e1, theorem 1.2

History

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

helix N5BKZTQPJ4

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

Mentions

wikidata: Wikidata Q201717, helix (unknown). Also MathWorld Helix
wikipedia: Wikipedia Helix, Helix (definition). Also Wikidata Q201717

History

2026-10-26: add by m2/dev

N5BRSYHB03 N5BRSYHB03

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

Mentions

napkin: napkin tex/complex-ana/quintic.tex#definition-3 (definition). In RZP28ERRZV, definition, section 42.4

History

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

Hahn embedding theorem N5C6GD72ZN

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

Mentions

wikipedia: Wikipedia List of theorems#KGXL, Hahn embedding theorem (statement)

History

2026-11-02: add by m2/dev

N5CAS8CNNV N5CAS8CNNV

URI	`m2://inv/N5CAS8CNNV`
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.35183#PML8 (statement). In FYM5XFD9RR/e1, theorem 1.1

History

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

Clinical utility of diagnostic tests N5CBYFMNSG

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

Mentions

wikipedia: Wikipedia List of statistics articles#Q3GR, Clinical utility of diagnostic tests (definition)

History

2026-11-02: add by m2/dev

Riemann sphere N5CPEK3S76

URI	`m2://inv/N5CPEK3S76`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Riemann sphere 0CDMXGPSES

Mentions

wikidata: Wikidata Q825857, Riemann sphere (unknown). Also MathWorld RiemannSphere, nLab Riemann sphere
wikipedia: Wikipedia Riemann sphere, Riemann sphere (definition). Also Wikidata Q825857

History

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

N5D2DXZQAK N5D2DXZQAK

URI	`m2://inv/N5D2DXZQAK`
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.25967#RPNT (statement)

History

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

Eberhard Hopf N5D5N6BNP8

URI	`m2://inv/N5D5N6BNP8`
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#RPXW, Eberhard Hopf (topic)
wikipedia: Wikipedia List of German mathematicians#4ILN, Eberhard Hopf (topic)

History

2026-11-02: add by m2/dev

N5D9E5YH1W N5D9E5YH1W

URI	`m2://inv/N5D9E5YH1W`
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.01276#R2H7 (statement). In 7JJPPMS2DN/e1, proposition 5.2

History

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

chromatic number N5D9WSV2F4

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

Mentions

applied_combinatorics: applied_combinatorics index/5.4/chromatic-number, chromatic number (concept). In QKM9DD2H56, index, section 5.4

History

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

N5DD045TNP N5DD045TNP

URI	`m2://inv/N5DD045TNP`
Kind	definition
Layer	research
MSC	01-XX, 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 2609.28552#QIHK (definition)

History

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

Elementary Theory of the Category of Sets N5DF4NSXV3

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

Mentions

hott_book: hott_book index/C.1.5/elementary-theory-of-the-category-of-sets, Elementary Theory of the Category of Sets (concept). In N54F33XE07, index, section C.1.5

History

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

Properties N5DKKADK05

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

Mentions

wikipedia: Wikipedia Quantum Fourier transform#FIAO, Properties (statement)

History

2026-11-02: add by m2/dev

N5DNJEJG3K N5DNJEJG3K

URI	`m2://inv/N5DNJEJG3K`
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.32374#0P8Z (statement). In 96D6N9AXQM/e1, theorem 4.4

History

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

Jean-Michel Bismut N5DTRNYPZ4

URI	`m2://inv/N5DTRNYPZ4`
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#K1D2, Jean-Michel Bismut (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NZIF, Jean-Michel Bismut (topic)

History

2026-11-02: add by m2/dev

N5DWS59VGM N5DWS59VGM

URI	`m2://inv/N5DWS59VGM`
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 2610.15771#KJ1A (statement). In F2243YZX7A/e1, theorem 2.1

History

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

N5DZ54YC00 N5DZ54YC00

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

Mentions

open_logic: open_logic content/first-order-logic/natural-deduction/proving-things-quant.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 15.6

History

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

Circuits over sets of natural numbers N5DZ6BWSP1

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

Mentions

wikipedia: Wikipedia Circuits over sets of natural numbers, Circuits over sets of natural numbers (definition). Also Wikidata Q5121632

History

2026-11-02: add by m2/dev

Family bound N5E285TVDK

URI	`m2://inv/N5E285TVDK`
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.02219#JO2U, Family bound (statement). In 8XMASJX0GZ/e1, lemma 7.1

History

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

Step-RRI under Repetitive Reasoning N5EF7A7VCC

URI	`m2://inv/N5EF7A7VCC`
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.00571#QHAN, Step-RRI under Repetitive Reasoning (statement). In W50NNC2MJS/e1, theorem 2

History

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

Gerda Claeskens N5EJ1J49NJ

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

Mentions

wikipedia: Wikipedia Gerda Claeskens, Gerda Claeskens (topic). Also Wikidata Q43611952

History

2026-11-02: add by m2/dev

List of group theory topics N5EJZTCCDB

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

Mentions

wikipedia: Wikipedia List of group theory topics, List of group theory topics (topic). Also Wikidata Q1052627

History

2026-11-02: add by m2/dev

J. Roe N5F2BDGV65

URI	`m2://inv/N5F2BDGV65`
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 dg-ga/9612010#MLKP, J. Roe (statement). In CM39SWC4A6/e1, proposition 2.1

History

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

N5FGQE4SAG N5FGQE4SAG

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

Mentions

open_logic: open_logic content/turing-machines/machines-computations/unary-numbers.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 86.3

History

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

Theorem (The functional problem) N5FHWCTPXP

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

Mentions

wikipedia: Wikipedia Hahn–Banach theorem#4BRH, Theorem (The functional problem) (statement)

History

2026-11-02: add by m2/dev

Complex conjugate representation N5FXATVSV0

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

Mentions

wikipedia: Wikipedia Complex conjugate representation, Complex conjugate representation (definition). Also Wikidata Q3427364

History

2026-11-02: add by m2/dev

Shou-Wu Zhang N5G3BHERSY

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

Mentions

wikipedia: Wikipedia Shou-Wu Zhang, Shou-Wu Zhang (topic). Also Wikidata Q7502629

History

2026-11-02: add by m2/dev

N5G3C4AZ4N N5G3C4AZ4N

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

Mentions

hott_book: hott_book setmath.tex#ex:strong-collection (exercise). In N54F33XE07, ex, section C.5

History

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

N5G50JXEWP N5G50JXEWP

URI	`m2://inv/N5G50JXEWP`
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.16359#HAYJ (statement). In NY1DBAW7CG/e1, lemma 4.1

History

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

N5GB5A7CWX N5GB5A7CWX

URI	`m2://inv/N5GB5A7CWX`
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.19470#9DDC (statement). In Y24F6WTV90/e1, theorem 3.2

History

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

ergodic theory N5GBNTH587

URI	`m2://inv/N5GBNTH587`
Kind	statement
Layer	textbook
MSC	35-XX, 37-XX
Sources	5
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2512.08487#J317, Birkhoff ergodic Theorem (statement). In 77TVQVYN0Z/e1, theorem 3
mathlib_1000: mathlib_1000 Q5498822, Birkhoff's ergodic theorem (statement). Also Wikidata Q5498822
thousand_plus: thousand_plus Q5498822, Birkhoff's theorem (statement). Also Wikidata Q5498822, Wikipedia Birkhoff's ergodic theorem
wikidata: Wikidata Q5498822, ergodic theory (topic). Also MathWorld ErgodicTheory, ProofWiki Definition:Ergodic_Theory
wikipedia: Wikipedia Ergodic theory, Ergodic theory (topic). Also Wikidata Q5498822

History

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

Color space N5GVXAH4SN

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#X3PY, Color space (unknown)

History

2026-11-02: add by m2/dev

N5H0281NRS N5H0281NRS

URI	`m2://inv/N5H0281NRS`
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.32078#96FS (statement). In 5PN85N6EJF/e1, lemma A.1

History

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

N5H14JP36P N5H14JP36P

URI	`m2://inv/N5H14JP36P`
Kind	definition
Layer	research
MSC	17-XX, 18-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 2406.13841#8G0T (definition). In AB2EMMXC7X/e1, definition 5.2

History

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

Brinkman form of Darcy's law N5H3KCQ5QM

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

Mentions

wikipedia: Wikipedia Darcy's law#51O4, Brinkman form of Darcy's law (statement)

History

2026-11-02: add by m2/dev

N5H3W1X1GK N5H3W1X1GK

URI	`m2://inv/N5H3W1X1GK`
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 2610.13667#06L0 (statement). In 820GZB4VEN/e1, lemma C.1

History

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

algebra, for an endofunctor N5HDJETP3W

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

Mentions

hott_book: hott_book index/8.4/algebra-for-an-endofunctor, algebra, for an endofunctor (concept). In N54F33XE07, index, section 8.4

History

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

Composite bar chart N5HE6MYQAQ

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

Mentions

wikipedia: Wikipedia Bar chart#8PWA, Composite bar chart (unknown)

History

2026-11-02: add by m2/dev

N5HVVHW5QX N5HVVHW5QX

URI	`m2://inv/N5HVVHW5QX`
Kind	statement
Layer	research
MSC	65-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.24232#NJCK (statement)

History

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

N5J1B0V0NJ N5J1B0V0NJ

URI	`m2://inv/N5J1B0V0NJ`
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 math/0411039#M9E0 (statement). In ZTBDXSKFFW/e1, theorem 2.5

History

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

Theorem B (Karatsuba) N5J28MEJ3H

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

Mentions

wikipedia: Wikipedia Anatoly Karatsuba#1CY1, Theorem B (Karatsuba) (statement)

History

2026-11-02: add by m2/dev

Singular trace N5J5YB6S6D

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

Mentions

wikipedia: Wikipedia Singular trace, Singular trace (definition). Also Wikidata Q17103311

History

2026-11-02: add by m2/dev

N5J8BXDGF8 N5J8BXDGF8

URI	`m2://inv/N5J8BXDGF8`
Kind	statement
Layer	research
MSC	19-XX
Sources	1
Outcome	record (an item of a paper that no node asks 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.09812#V9TH (statement). In NWWKD8YX57/e1, lemma 2.3

History

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

N5J8MCK83S N5J8MCK83S

URI	`m2://inv/N5J8MCK83S`
Kind	statement
Layer	research
MSC	13-XX, 14-XX, 30-XX, 32-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.23469#U46W (statement)

History

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

Asymptotics under the best linear encoder N5JDWA34CS

URI	`m2://inv/N5JDWA34CS`
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.08007#FJEI, Asymptotics under the best linear encoder (statement). In MBFRRC83TH/e1, lemma 2

History

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

Formal definition N5JMQZ1ZSN

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

Mentions

wikipedia: Wikipedia Bessel process#M4CD, Formal definition (definition)

History

2026-11-02: add by m2/dev

Ribet's theorem N5JMT0S0DN

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

Mentions

wikipedia: Wikipedia List of theorems#L0B6, Ribet's theorem (statement)

History

2026-11-02: add by m2/dev

Failure of the interchange even in rank two N5JSQ33C70

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

Mentions

arxiv: arXiv 2609.21534#VRAW, Failure of the interchange even in rank two (statement)

History

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

Short polynomial under Lindelöf N5JVMACFET

URI	`m2://inv/N5JVMACFET`
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.22107#PB6N, Short polynomial under Lindelöf (statement). In SN5RJPQ713/e1, lemma 3.2

History

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

domatic N5JZTKZTGA

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#H2A1, domatic (definition)

History

2026-11-02: add by m2/dev

N5K2PMXB5P N5K2PMXB5P

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

Mentions

arxiv: arXiv 2510.12502#5UCL (statement). In 3A4K47Y9F2/e1, theorem 2.31

History

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

Half-rank log bound N5K7NSY5C4

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

Mentions

arxiv: arXiv 2609.30561#EDYE, Half-rank log bound (statement). In EHQBEXHF9W/e1, theorem 4.4

History

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

Riemannian prestress stability N5KFMY6GEV

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

Mentions

arxiv: arXiv 2610.17004#D2DI, Riemannian prestress stability (definition). In XNJGNMS6H0/e1, definition 5.11

History

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

N5KSHNASEF N5KSHNASEF

URI	`m2://inv/N5KSHNASEF`
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#W8GT (statement). In GYMGDQS25R/e1, lemma 6.14

History

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

power set N5M2T675ZR

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

Mentions

hott_book: hott_book index/C.1.4/power-set, power set (concept). In N54F33XE07, index, section C.1.4

History

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

Lawvere N5M9YHJ76R

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

Mentions

hott_book: hott_book index/B.6/lawvere, Lawvere (concept). In N54F33XE07, index, section B.6

History

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

N5MDPP2QFY N5MDPP2QFY

URI	`m2://inv/N5MDPP2QFY`
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 2610.15771#0371 (statement). In F2243YZX7A/e1, proposition 3.1

History

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

Alan Reid N5MMBT99CG

URI	`m2://inv/N5MMBT99CG`
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#JU5E, Alan Reid (topic)

History

2026-11-02: add by m2/dev

Scaling N5N0669B2J

URI	`m2://inv/N5N0669B2J`
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 2610.07909#06OD, Scaling (statement). In 6KST0WX37C/e1, proposition 3.7

History

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

N5N4G78KNB N5N4G78KNB

URI	`m2://inv/N5N4G78KNB`
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#CCHE (statement). In T3BY4TXYT4/e1, theorem 1.1

History

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

N5N8CET6V5 N5N8CET6V5

URI	`m2://inv/N5N8CET6V5`
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.31861#E5K6 (statement). In G36R6T327W/e1, corollary 10

History

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

Toric ideal N5NB9MATQQ

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

Mentions

wikipedia: Wikipedia Toric ideal, Toric ideal (definition). Also Wikidata Q131758875

History

2026-11-02: add by m2/dev

N5NCP4H211 N5NCP4H211

URI	`m2://inv/N5NCP4H211`
Kind	statement
Layer	research
MSC	19-XX, 37-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.31883#IFE6 (statement). In XBHQRTBH62/e1, theorem 1.13

History

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

N5NDKT94E5 N5NDKT94E5

URI	`m2://inv/N5NDKT94E5`
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.01932#SYB0 (statement). In XDKWW6NR0K/e1, fact 3.6

History

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

Carlos Graef Fernández N5NR3KNKHK

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

Mentions

wikipedia: Wikipedia Carlos Graef Fernández, Carlos Graef Fernández (topic). Also Wikidata Q5391183

History

2026-11-02: add by m2/dev

Properties N5NSGYRPAJ

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

Mentions

wikipedia: Wikipedia Frobenius pseudoprime#Z983, Properties (statement)

History

2026-11-02: add by m2/dev

Properties N5NTQ61Y94

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

Mentions

wikipedia: Wikipedia Subderivative#L4ME, Properties (statement)

History

2026-11-02: add by m2/dev

Symmetric (secret key) encryption N5NXHMTS7N

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

Mentions

wikipedia: Wikipedia List of algorithms#KLYH, Symmetric (secret key) encryption (definition)

History

2026-11-02: add by m2/dev

Applications N5NXQKJPQW

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

Mentions

wikipedia: Wikipedia Weierstrass preparation theorem#DSPS, Applications (example)

History

2026-11-02: add by m2/dev

Classical shadow theorem N5P3PD9V7B

URI	`m2://inv/N5P3PD9V7B`
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.36548#BNFH, Classical shadow theorem (statement). In TEGEX298ZR/e1, theorem 3.3

History

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

N5PEZZ9VK3 N5PEZZ9VK3

URI	`m2://inv/N5PEZZ9VK3`
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.38567#SLFV (statement). In 59AXA7QFTE/e1, theorem 3

History

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

Definition N5Q07HTV2E

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

Mentions

wikipedia: Wikipedia Markov renewal process#MS7H, Definition (definition)

History

2026-11-02: add by m2/dev

Demographics of New Caledonia N5Q7N1EB15

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

Mentions

wikipedia: Wikipedia Demographics of New Caledonia, Demographics of New Caledonia (definition). Also Wikidata Q4313703

History

2026-11-02: add by m2/dev

thin $B_h[g]$ subsets of a thick $B_{h-1}$ set N5Q8ZX9KDY

URI	`m2://inv/N5Q8ZX9KDY`
Kind	statement
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.23922#IEHF, thin $B_h[g]$ subsets of a thick $B_{h-1}$ set (statement)

History

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

Dover N5QJGF9061

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#3B0O, Dover (unknown)

History

2026-11-02: add by m2/dev

Exceptional events are rare N5QJZA3ZKT

URI	`m2://inv/N5QJZA3ZKT`
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.17329#GJEP, Exceptional events are rare (statement). In F6GD5JWK9M/e1, corollary 4.5

History

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

N5QN7CX839 N5QN7CX839

URI	`m2://inv/N5QN7CX839`
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#QF7H (example). In Q5Z178SAHP/e1, example 5.8

History

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

N5QTM9VVH0 N5QTM9VVH0

URI	`m2://inv/N5QTM9VVH0`
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 2609.27103#K41R (statement)

History

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

N5QTVV1YMC N5QTVV1YMC

URI	`m2://inv/N5QTVV1YMC`
Kind	example
Layer	research
MSC	19-XX, 37-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.31883#UPYP (example). In XBHQRTBH62/e1, example 5.6

History

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

Meusnier's theorem N5QWVM2SZY

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

Mentions

mathlib_1000: mathlib_1000 Q4454989, Meusnier's theorem (statement). Also Wikidata Q4454989
thousand_plus: thousand_plus Q4454989, Meusnier's theorem (statement). Also Wikidata Q4454989, Wikipedia Meusnier's theorem
wikidata: Wikidata Q4454989, Meusnier's theorem (statement). Also EoM Meusnier_theorem
wikipedia: Wikipedia Meusnier's theorem, Meusnier's theorem (statement). Also Wikidata Q4454989

History

2026-10-26: add by m2/dev

Convex space N5R0QVCBFM

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

Mentions

wikipedia: Wikipedia Convex space, Convex space (definition). Also Wikidata Q117443049

History

2026-11-02: add by m2/dev

William Lloyd Garrison Williams N5RJAXPXR1

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

Mentions

wikipedia: Wikipedia William Lloyd Garrison Williams, William Lloyd Garrison Williams (topic). Also Wikidata Q37738828

History

2026-11-02: add by m2/dev

N5RWW0FE4P N5RWW0FE4P

URI	`m2://inv/N5RWW0FE4P`
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.15720#5UJA (statement). In VNN52G3BRE/e1, theorem B.3

History

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

Global well-posedness of the closed-loop system N5RZTPS8V3

URI	`m2://inv/N5RZTPS8V3`
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.34938#OQPO, Global well-posedness of the closed-loop system (statement). In N57GZ5N6E1/e1, theorem 6

History

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

Katrin Wendland N5S1CSK0H1

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

Mentions

wikidata: Wikidata Q1736765, Katrin Wendland (unknown). Also nLab Katrin Wendland
wikipedia: Wikipedia Katrin Wendland, Katrin Wendland (topic). Also Wikidata Q1736765

History

2026-10-26: add by m2/dev

maximum likelihood estimation N5S5BGB1GT

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#2RPL, maximum likelihood estimation (definition)

History

2026-11-02: add by m2/dev

N5S8HFKVQJ N5S8HFKVQJ

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

Mentions

arxiv: arXiv 2610.06066#DC89 (statement). In V2YFQ5RF6V/e1, corollary 1

History

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

N5S8SHE2P6 N5S8SHE2P6

URI	`m2://inv/N5S8SHE2P6`
Kind	statement
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 2510.01873#ZOEM (statement). In FVZZDPEYNM/e1, proposition 1.6

History

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

Symmetry N5SG44R47Y

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

Mentions

wikipedia: Wikipedia Heptagon#OHB5, Symmetry (statement)

History

2026-11-02: add by m2/dev

group homology N5SG5AVQJ6

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

Mentions

wikidata: Wikidata Q56298292, group homology (unknown). Also nLab group homology

History

2026-10-26: add by m2/dev

N5SKEMJY0Q N5SKEMJY0Q

URI	`m2://inv/N5SKEMJY0Q`
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.36186#RTL3 (definition). In 30PQN6JP7W/e1, definition 11

History

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

N5SNKFQBMF N5SNKFQBMF

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

Mentions

arxiv: arXiv 2609.34946#K6JP (statement). In Y27BAB2BB4/e1, proposition 5.2

History

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

N5SQ3DRZ6Q N5SQ3DRZ6Q

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

Mentions

austin_ula: austin_ula src/exercises/exercises3-4.xml#exercise-9 (exercise). In 649HGZKE96, exercise, section 3.4

History

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

N5SVXH1ECE N5SVXH1ECE

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

Mentions

arxiv: arXiv 2610.09333#D369 (definition). In Z9HC1EDTQP/e1, definition 5.5

History

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

proof, assistant, Agda N5SYJSXEDY

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

Mentions

hott_book: hott_book index/A.12.3/proof-assistant-agda, proof, assistant, Agda (concept). In N54F33XE07, index, section A.12.3

History

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

Mellin transform N5TC5Z9MGZ

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

Mentions

wikipedia: Wikipedia List of complex analysis topics#G2Y5, Mellin transform (definition)
wikipedia: Wikipedia List of transforms#VQ0B, Mellin transform (definition)

History

2026-11-02: add by m2/dev

vertex angle N5TCW5G1K8

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

Mentions

wikidata: Wikidata Q7922772, vertex angle (unknown). Also MathWorld VertexAngle

History

2026-10-26: add by m2/dev

Correction to the Gaussian reference score N5TNJTPXKP

URI	`m2://inv/N5TNJTPXKP`
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.10640#IMZK, Correction to the Gaussian reference score (statement). In BAQVK6N0RD/e1, proposition 2

History

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

Soundness N5TVYKWFNX

URI	`m2://inv/N5TVYKWFNX`
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 2207.11097#MA2R, Soundness (statement). In 13H5BTAXHF/e1, theorem 22

History

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

N5TXV5Y3E6 N5TXV5Y3E6

URI	`m2://inv/N5TXV5Y3E6`
Kind	statement
Layer	research
MSC	37-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.06321#MGJA (statement). In PGV1116XX4/e1, theorem A

History

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

Example N5V030MGB4

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

Mentions

wikipedia: Wikipedia Linear response function#XYDB, Example (example)

History

2026-11-02: add by m2/dev

Smooth function N5V2JTDC0J

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

Mentions

wikipedia: Wikipedia List of real analysis topics#EZNS, Smooth function (definition)

History

2026-11-02: add by m2/dev

N5V89C51PV N5V89C51PV

URI	`m2://inv/N5V89C51PV`
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.20866#MFDF (statement)

History

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

N5VA1PY07C N5VA1PY07C

URI	`m2://inv/N5VA1PY07C`
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 2610.16123#Z44D (statement). In 6VR4TY5BGV/e1, corollary 8.4

History

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

N5VA9EWT9A N5VA9EWT9A

URI	`m2://inv/N5VA9EWT9A`
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.18312#3WRZ (statement). In NPEVE32HFP/e1, lemma 3.4

History

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

Tommaso Ceva N5VFF2ZYM4

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

Mentions

wikipedia: Wikipedia Tommaso Ceva, Tommaso Ceva (topic). Also Wikidata Q635581

History

2026-11-02: add by m2/dev

Hoeffding's inequality for supermartingales N5VHSCGGXX

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

Mentions

arxiv: arXiv 2609.27766#UFBV, Hoeffding's inequality for supermartingales (statement)

History

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

N5VSBFD2Z0 N5VSBFD2Z0

URI	`m2://inv/N5VSBFD2Z0`
Kind	definition
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#8KXZ (definition). In 6HKGGCMBCK/e1, definition

History

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

A squarefree-column witness N5VXWHHRV0

URI	`m2://inv/N5VXWHHRV0`
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.17675#IJJD, A squarefree-column witness (statement). In 7NMQ6QBYKZ/e1, proposition 3.1

History

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

N5VYGM03X8 N5VYGM03X8

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

Mentions

arxiv: arXiv 2609.32174#C8DB (definition). In GHKR740SG3/e1, definition 4.1

History

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

Band-sum description of $\gamma$ N5VZDYMT3S

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

Mentions

arxiv: arXiv 2609.29839#OFZX, Band-sum description of $\gamma$ (statement)

History

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

skein relation N5W2V48CHV

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

Mentions

wikidata: Wikidata Q4421793, skein relation (concept). Also MathWorld SkeinRelationship
wikipedia: Wikipedia Skein relation, Skein relation (definition). Also Wikidata Q4421793

History

2026-10-26: add by m2/dev

centerless group N5WS40DQPR

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

Mentions

wikipedia: Wikipedia Glossary of group theory#CZJP, centerless group (definition)

History

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

Finite coefficient certificate N5WT9H10C0

URI	`m2://inv/N5WT9H10C0`
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.13962#5H2S, Finite coefficient certificate (statement). In 7NP5QKECVA/e1, lemma 3.7

History

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

Mahler's compactness theorem N5WZ55EBRH

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

Mentions

mathlib_1000: mathlib_1000 Q6734194, Mahler's compactness theorem (statement). Also Wikidata Q6734194
thousand_plus: thousand_plus Q6734194, Mahler's compactness theorem (statement). Also Wikidata Q6734194, Wikipedia Mahler's compactness theorem
wikipedia: Wikipedia Mahler's compactness theorem, Mahler's compactness theorem (statement). Also Wikidata Q6734194

History

2026-10-26: add by m2/dev

Unwrapped covers are non-collapsed N5WZPPQJN9

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

Mentions

arxiv: arXiv 2610.18219#Z691, Unwrapped covers are non-collapsed (statement). In X1AGBB90EH/e1, lemma 7.18

History

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

N5X3JXMNHF N5X3JXMNHF

URI	`m2://inv/N5X3JXMNHF`
Kind	example
Layer	research
MSC	20-XX, 22-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.09319#M48X (example). In GMRT5GHBZS/e1, example 6.9

History

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

Equiprobable N5X60RKQT4

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

Mentions

wikipedia: Wikipedia List of statistics articles#YHCM, Equiprobable (definition)
wikipedia: Wikipedia List of probability topics#AR76, Equiprobable (definition)

History

2026-11-02: add by m2/dev

Applications N5X7KJZNTC

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

Mentions

wikipedia: Wikipedia AES implementations#4EXH, Applications (example)

History

2026-11-02: add by m2/dev

Charles Rackoff N5X9R0WZQM

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

Mentions

wikipedia: Wikipedia List of cryptographers#7I01, Charles Rackoff (unknown)

History

2026-11-02: add by m2/dev

N5XEE4SNV8 N5XEE4SNV8

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

Mentions

arxiv: arXiv 2610.03337#ESYZ (statement). In VH7EZDGTNA/e1, lemma 3.3

History

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

Fixed interval-direction concentration N5XFK42E09

URI	`m2://inv/N5XFK42E09`
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.36594#4WM1, Fixed interval-direction concentration (statement). In 8JDQ9FWFRK/e1, lemma E.2

History

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

Michel Waldschmidt N5XG5Y5KD6

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#2RCM, Michel Waldschmidt (topic)

History

2026-11-02: add by m2/dev

Constructive solid geometry N5XG7PMYHQ

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#E886, Constructive solid geometry (unknown)

History

2026-11-02: add by m2/dev

N5XT4GPVZW N5XT4GPVZW

URI	`m2://inv/N5XT4GPVZW`
Kind	statement
Layer	research
MSC	05-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.08500#C2BY (statement). In ZPCYW4N0EH/e1, lemma 4.5

History

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

N5Y7KWXHC5 N5Y7KWXHC5

URI	`m2://inv/N5Y7KWXHC5`
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.17408#NBCI (statement). In QR8H4M1X4N/e1, proposition 9.1

History

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

metaphysics N5Y82YSRJS

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

Mentions

wikidata: Wikidata Q35277, metaphysics (unknown). Also nLab metaphysics

History

2026-10-26: add by m2/dev

Statement N5Y9ADCZR1

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

Mentions

wikipedia: Wikipedia Krivine–Stengle Positivstellensatz#0B56, Statement (statement)

History

2026-11-02: add by m2/dev

N5YBQB2ED2 N5YBQB2ED2

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

Mentions

napkin: napkin tex/cats/categories.tex#example-4 (example). In RZP28ERRZV, example, section 36.3

History

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

N5YMMANZVB N5YMMANZVB

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

Mentions

arxiv: arXiv 2610.11395#W9NS (problem). In T3W7SMWQ73/e1, problem 51

History

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

N5YN1WGM6Z N5YN1WGM6Z

URI	`m2://inv/N5YN1WGM6Z`
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.31858#Q272 (statement). In QV16PHDXKJ/e1, lemma A.9

History

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

induction principle, for interval type N5YQ34RK54

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

Mentions

hott_book: hott_book index/5.3/induction-principle-for-interval-type, induction principle, for interval type (concept). In N54F33XE07, index, section 5.3

History

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

N5YT16MWJ7 N5YT16MWJ7

URI	`m2://inv/N5YT16MWJ7`
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.18078#1PRD (statement). In YVK8EFSYNJ/e1, lemma B.6

History

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

N5YT1AADYF N5YT1AADYF

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

Mentions

arxiv: arXiv 2610.13833#AL08 (statement). In VD4JP4HVBX/e1, proposition 2.2

History

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

Jules Antoine Lissajous N5YVD0EX3Z

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

Mentions

wikipedia: Wikipedia Jules Antoine Lissajous, Jules Antoine Lissajous (topic). Also Wikidata Q385440

History

2026-11-02: add by m2/dev

Thomas L. Magnanti N5YWMRSVXD

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#YYQP, Thomas L. Magnanti (unknown)

History

2026-11-02: add by m2/dev

Radius of curvature N5YYG0YYNE

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#NZLW, Radius of curvature (definition)

History

2026-11-02: add by m2/dev

N5YZHEJYPK N5YZHEJYPK

URI	`m2://inv/N5YZHEJYPK`
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 2504.13802#8LAJ (statement). In MH358B1GVQ/e1, theorem 1

History

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

Invariant (computer science) N5Z3W1DB8Z

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

Mentions

wikipedia: Wikipedia Invariant (mathematics)#7H0D, Invariant (computer science) (unknown)

History

2026-11-02: add by m2/dev

N5Z616WMNB N5Z616WMNB

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

Mentions

arxiv: arXiv 2610.08226#25A1 (statement). In V6EPE8XHAD/e1, lemma 8.4

History

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

N5Z7XJ7ZYK N5Z7XJ7ZYK

URI	`m2://inv/N5Z7XJ7ZYK`
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#NTNG (statement). In R68THJCHX6/e1, corollary 10

History

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

Nicole Tomczak-Jaegermann N5Z996S3GS

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#OMIP, Nicole Tomczak-Jaegermann (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D283, Nicole Tomczak-Jaegermann (topic)

History

2026-11-02: add by m2/dev

Erdős–Hajnal conjecture N5ZGHJ7BFN

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

Mentions

wikipedia: Wikipedia List of conjectures by Paul Erdős#SESB, Erdős–Hajnal conjecture (conjecture)

History

2026-11-02: add by m2/dev

N5ZHNVE23P N5ZHNVE23P

URI	`m2://inv/N5ZHNVE23P`
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.23804#86HT (statement)

History

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

Ordinary least squares N5ZVGZR97E

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

Mentions

wikipedia: Wikipedia Ordinary least squares, Ordinary least squares (definition). Also Wikidata Q2912993

History

2026-11-02: add by m2/dev

theta N5ZYQT556F

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#KGRP, theta (definition)

History

2026-11-02: add by m2/dev