Inventory rows N0

Formulation N00B1AMHY7

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

Mentions

wikipedia: Wikipedia Argument principle#JKGG, Formulation (definition)

History

2026-11-02: add by m2/dev

Method of types N00DTCBC9K

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

Mentions

wikipedia: Wikipedia Method of types, Method of types (definition). Also Wikidata Q141253947

History

2026-11-02: add by m2/dev

N00JPMNSV7 N00JPMNSV7

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

Mentions

arxiv: arXiv 2609.40200#Y5AK (statement). In VWNB6QJWFN/e1, theorem 1.4

History

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

Pettis integral N00SC9PAWB

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

Mentions

wikipedia: Wikipedia Pettis integral, Pettis integral (definition). Also Wikidata Q211188

History

2026-11-02: add by m2/dev

N015CT09FN N015CT09FN

URI	`m2://inv/N015CT09FN`
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.18562#M11E (statement). In 793KXAR957/e1, lemma 3.17

History

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

Inverse exsecant N01D6WYJFH

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#1XQ7, Inverse exsecant (definition)

History

2026-11-02: add by m2/dev

Ionescu--Klainerman N01JF9CHCS

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

Mentions

arxiv: arXiv 2609.23872#93LI, Ionescu--Klainerman (statement)

History

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

N01Q1GATGV N01Q1GATGV

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

Mentions

applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-13 (exercise). In QKM9DD2H56, exercise, section 8

History

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

Notations N01SDS046Q

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

Mentions

wikipedia: Wikipedia Expected value#IY1M, Notations (definition)

History

2026-11-02: add by m2/dev

N01TXWMBWN N01TXWMBWN

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

Mentions

arxiv: arXiv 2609.24701#T90E (statement)

History

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

N01Y6QDSX4 N01Y6QDSX4

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

Mentions

arxiv: arXiv 2609.27800#7RKB (statement)

History

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

N020KPAVVE N020KPAVVE

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

Mentions

hott_book: hott_book reals.tex#ex:metric-completion (exercise). In N54F33XE07, ex, section B.6

History

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

Examples N022RM6WHZ

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

Mentions

wikipedia: Wikipedia Graph of groups#1WBW, Examples (example)

History

2026-11-02: add by m2/dev

N02F742135 N02F742135

URI	`m2://inv/N02F742135`
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.09548#9YTL (statement). In 6D6C14KFGJ/e1, theorem 3.5

History

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

N02Q21RNK8 N02Q21RNK8

URI	`m2://inv/N02Q21RNK8`
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.02213#X1RN (statement). In 43B5W08GMR/e1, proposition 3.2

History

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

N02Q2XCQ34 N02Q2XCQ34

URI	`m2://inv/N02Q2XCQ34`
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#5HMQ (statement). In 96D6N9AXQM/e1, theorem 3.1

History

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

N02R1SJD28 N02R1SJD28

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

Mentions

arxiv: arXiv 2609.27886#WKYR (statement)

History

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

John Hammersley N02RPV49TB

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

Mentions

wikipedia: Wikipedia John Hammersley, John Hammersley (topic). Also Wikidata Q1382531

History

2026-11-02: add by m2/dev

Ricardo G. Durán N039FZCMW4

URI	`m2://inv/N039FZCMW4`
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#YI2Z, Ricardo G. Durán (unknown)

History

2026-11-02: add by m2/dev

Covered !!{structure} N03E52XTD6

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/covered-structures.tex#defn-2, Covered !!{structure} (definition). In PKGMM3P5QY, defn, section 19.5

History

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

Consequences under normalization N03H77K3JT

URI	`m2://inv/N03H77K3JT`
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 2609.27851#AXPN, Consequences under normalization (statement)

History

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

Syntactical embedding from $\bf FDE^{\bf S5}_{\circ\bullet}$ into $\bf FDE^{\bf S5}_{\Box\D}$ N03HXQ9VJT

URI	`m2://inv/N03HXQ9VJT`
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 2610.08323#Y0Z1, Syntactical embedding from $\bf FDE^{\bf S5}_{\circ\bullet}$ into $\bf FDE^{\bf S5}_{\Box\D}$ (statement). In FR51ART4NF/e1, theorem 5

History

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

N03QGM40X0 N03QGM40X0

URI	`m2://inv/N03QGM40X0`
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#0RIP (definition). In GHKR740SG3/e1, definition 17.2

History

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

N03SAKYWB0 N03SAKYWB0

URI	`m2://inv/N03SAKYWB0`
Kind	statement
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.13953#03SD (statement). In D8258MF12E/e1, theorem 1.3

History

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

Deniable encryption N03SSXXKJK

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

Mentions

wikipedia: Wikipedia Deniable encryption, Deniable encryption (definition). Also Wikidata Q2657061

History

2026-11-02: add by m2/dev

Properties N03TX7R9QA

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

Mentions

wikipedia: Wikipedia Wreath product#56CL, Properties (statement)

History

2026-11-02: add by m2/dev

Thomas Blundeville N047PRXZ8Q

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

Mentions

wikipedia: Wikipedia Thomas Blundeville, Thomas Blundeville (topic). Also Wikidata Q7787717

History

2026-11-02: add by m2/dev

Frege's theorem N047ZZ9EQS

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

Mentions

wikipedia: Wikipedia Frege's theorem, Frege's theorem (statement). Also Wikidata Q1052005

History

2026-11-02: add by m2/dev

Period of revolution N04A74VKJ2

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

Mentions

wikipedia: Wikipedia Rotation#DRVO, Period of revolution (unknown)

History

2026-11-02: add by m2/dev

Cone N05175KTT1

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

Mentions

wikipedia: Wikipedia Cone (algebraic geometry), Cone (definition). Also Wikidata Q25352175

History

2026-11-02: add by m2/dev

Properties N051X7TJY4

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

Mentions

wikipedia: Wikipedia Gaussian binomial coefficient#MTBT, Properties (statement)

History

2026-11-02: add by m2/dev

N05AWTNTYC N05AWTNTYC

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

Mentions

arxiv: arXiv 2610.04431#810W (statement). In 3PSAWXCCJ8/e1, proposition 12

History

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

weak sequence N05C9NY8WT

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

Mentions

mathlib_overview: mathlib_overview Data structures > List-like structures > weak sequence, weak sequence (unknown). Also Mathlib Stream'.WSeq

History

2026-10-26: add by m2/dev

Definitions N05J6VPZVF

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

Mentions

wikipedia: Wikipedia Kuratowski convergence#3JT2, Definitions (definition)

History

2026-11-02: add by m2/dev

Sparse graph code N05PX5CBN7

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

Mentions

wikipedia: Wikipedia Sparse graph code, Sparse graph code (definition). Also Wikidata Q7573792

History

2026-11-02: add by m2/dev

Hamilton--Jacobi inequality with maximal relaxed subslope N061Z2JHM8

URI	`m2://inv/N061Z2JHM8`
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#75Y5, Hamilton--Jacobi inequality with maximal relaxed subslope (statement). In KM3Q791JY0/e1, lemma 4.28

History

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

multigraph N067X7PM9D

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

Mentions

levin_dmoi: levin_dmoi index/5.1/multigraph, multigraph (concept). In Y91XFCEVHQ, index, section 5.1

History

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

Distance formula N0690RH0TG

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

Mentions

wikipedia: Wikipedia Inversive distance#FN2I, Distance formula (statement)

History

2026-11-02: add by m2/dev

Examples N06J6QFV4K

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

Mentions

wikipedia: Wikipedia Calibrated geometry#IZWP, Examples (example)

History

2026-11-02: add by m2/dev

perihelion N06QFVKZFN

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

Mentions

wikidata: Wikidata Q216807, perihelion (definition). Also ProofWiki Definition:Perihelion

History

2026-10-26: add by m2/dev

Applications N070NS22W4

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

Mentions

wikipedia: Wikipedia Modular multiplicative inverse#Q8EN, Applications (example)

History

2026-11-02: add by m2/dev

N072CGDRRT N072CGDRRT

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#exercise-45 (exercise). In E59CDZA4DP, exercise, section 8.5.2

History

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

Isomonodromic deformation N07GSCK148

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

Mentions

wikipedia: Wikipedia Isomonodromic deformation, Isomonodromic deformation (definition). Also Wikidata Q6086086

History

2026-11-02: add by m2/dev

Applications N07H1JXX0A

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

Mentions

wikipedia: Wikipedia Isomonodromic deformation#KVAI, Applications (example)

History

2026-11-02: add by m2/dev

Repeating legal moves N07M6ZKJFH

URI	`m2://inv/N07M6ZKJFH`
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.06925#Y0JC, Repeating legal moves (statement). In P0NV7337EK/e1, lemma 3.1

History

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

Statement N07NRHB35D

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

Mentions

wikipedia: Wikipedia Lagrange's identity (boundary value problem)#RUCN, Statement (statement)

History

2026-11-02: add by m2/dev

N07NZAZZRT N07NZAZZRT

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

Mentions

arxiv: arXiv 2610.22040#ZNBX (example). In 2QP93JHYNB/e1, example 9.2

History

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

N07W5D0EQQ N07W5D0EQQ

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

Mentions

arxiv: arXiv 2610.06300#HB85 (statement). In 751KSRS7WT/e1, theorem 2.4

History

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

full house (poker hand) N0820SB836

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

Mentions

applied_combinatorics: applied_combinatorics index/10.1/full-house-poker-hand, full house (poker hand) (concept). In QKM9DD2H56, index, section 10.1

History

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

Pascual Jordan N082NZJQT8

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#KWZR, Pascual Jordan (unknown)

History

2026-11-02: add by m2/dev

additive principle N08316D2E2

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

Mentions

levin_dmoi: levin_dmoi index/2.1.1/additive-principle, additive principle (concept). In Y91XFCEVHQ, index, section 2.1.1

History

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

John Robertson N084G819WM

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

Mentions

wikipedia: Wikipedia John Robertson (mathematician), John Robertson (topic). Also Wikidata Q18783793

History

2026-11-02: add by m2/dev

friendship graph N087Q2ZC6P

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

Mentions

mathlib_100: mathlib_100 83, The Friendship Theorem (statement). Also Mathlib Theorems100.friendship_theorem
mathlib_1000: mathlib_1000 Q5504427, Friendship theorem (statement). Also Mathlib Theorems100.friendship_theorem, Wikidata Q5504427
thousand_plus: thousand_plus Q5504427, Friendship theorem (statement). Also Mathlib Theorems100.friendship_theorem, Wikidata Q5504427, Wikipedia Friendship theorem
wikidata: Wikidata Q5504427, friendship graph (unknown). Also MathWorld DutchWindmillGraph
wikipedia: Wikipedia Friendship graph, Friendship graph (definition). Also Wikidata Q5504427

History

2026-10-26: add by m2/dev

absorbing, Markov chain N08851H7WF

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

Mentions

applied_combinatorics: applied_combinatorics index/16.3.1/absorbing-markov-chain, absorbing, Markov chain (concept). In QKM9DD2H56, index, section 16.3.1

History

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

List of U.S. communities with Hispanic-majority populations in the 2000 census N0886M9C8F

URI	`m2://inv/N0886M9C8F`
Kind	topic
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, List of U.S. communities with Hispanic-majority populations in the 2000 census (topic). Also Wikidata Q6600906

History

2026-11-02: add by m2/dev

Dynamic factor N089DR67FS

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

Mentions

wikipedia: Wikipedia List of statistics articles#5SVV, Dynamic factor (definition)

History

2026-11-02: add by m2/dev

N08HDCSP9K N08HDCSP9K

URI	`m2://inv/N08HDCSP9K`
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.24051#0MPV (statement)

History

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

Western Chain N08K53HV23

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

Mentions

wikipedia: Wikipedia List of places with numeric names#199I, Western Chain (unknown)

History

2026-11-02: add by m2/dev

opposite side N08T0YFBCC

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

Mentions

wikidata: Wikidata Q140142007, opposite side (unknown). Also MathWorld OppositeSide

History

2026-10-26: add by m2/dev

N09C3B66YQ N09C3B66YQ

URI	`m2://inv/N09C3B66YQ`
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.33766#4S16 (statement). In VGKK4M68EK/e1, lemma 3.1

History

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

D-space N09F3AH3V7

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

Mentions

wikipedia: Wikipedia D-space, D-space (definition). Also Wikidata Q28454683

History

2026-11-02: add by m2/dev

N09HQWPP04 N09HQWPP04

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

Mentions

arxiv: arXiv 2506.16491#BPGM (definition). In P9J6P06Y40/e1, definition 3.6

History

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

Conjecture N09SM8ARP0

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

Mentions

wikipedia: Wikipedia Core model#OKBI, Conjecture (statement)

History

2026-11-02: add by m2/dev

Definition N09XR1VX2W

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

Mentions

wikipedia: Wikipedia Anscombe transform#4VH0, Definition (definition)

History

2026-11-02: add by m2/dev

Fast convergence N0A1CNJR3G

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

Mentions

wikipedia: Wikipedia Auxiliary normed space#ORAK, Fast convergence (unknown)

History

2026-11-02: add by m2/dev

N0A7ED28VE N0A7ED28VE

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#problem-6 (exercise). In P1C114YBXG, problem, section H

History

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

Definition N0AA9ZZC3N

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

Mentions

wikipedia: Wikipedia Chan–Karolyi–Longstaff–Sanders process#UL8V, Definition (definition)

History

2026-11-02: add by m2/dev

Polynomial identity rings N0ACVN2MWR

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

Mentions

wikipedia: Wikipedia Double centralizer theorem#838O, Polynomial identity rings (statement)

History

2026-11-02: add by m2/dev

N0AGY4KP1H N0AGY4KP1H

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

Mentions

arxiv: arXiv 2506.21337#R0TD (statement). In EPZN0JTG2Z/e1, theorem 4

History

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

Laura Toti Rigatelli N0B7Q5F82T

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

Mentions

wikipedia: Wikipedia Laura Toti Rigatelli, Laura Toti Rigatelli (topic). Also Wikidata Q99218207

History

2026-11-02: add by m2/dev

Complete intersection ring N0BBM567VW

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

Mentions

wikipedia: Wikipedia List of commutative algebra topics#PY26, Complete intersection ring (definition)

History

2026-11-02: add by m2/dev

N0BNSYF6R4 N0BNSYF6R4

URI	`m2://inv/N0BNSYF6R4`
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.24412#NOPJ (statement)

History

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

N0BWXWM98A N0BWXWM98A

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

Mentions

napkin: napkin tex/topology/fundamental-group.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 98.1

History

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

Wagner N0BYTTWRQJ

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#HIES, Wagner (definition)

History

2026-11-02: add by m2/dev

Calendrical Calculations N0C0JFKSNY

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

Mentions

wikipedia: Wikipedia List of mathematics books#WP50, Calendrical Calculations (unknown)

History

2026-11-02: add by m2/dev

N0C3XM298E N0C3XM298E

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

Mentions

arxiv: arXiv 2609.33469#5REQ (statement). In TC5QA4AB4Z/e1, proposition 4.34

History

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

Strong solidity under positive curvature N0C9133009

URI	`m2://inv/N0C9133009`
Kind	statement
Layer	research
MSC	35-XX, 46-XX, 47-XX, 58-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.22109#GCC2, Strong solidity under positive curvature (statement). In MZ60NP20BH/e1, corollary 4.15

History

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

Zariski ring N0C9DK79M7

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

Mentions

wikipedia: Wikipedia Zariski ring, Zariski ring (definition). Also Wikidata Q8066799

History

2026-11-02: add by m2/dev

N0CD9ZZY10 N0CD9ZZY10

URI	`m2://inv/N0CD9ZZY10`
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 2610.11007#E48W (example). In MF0H78XZXC/e1, example

History

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

Collision attack N0CFDX9QYH

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

Mentions

wikipedia: Wikipedia Collision attack, Collision attack (definition). Also Wikidata Q389463

History

2026-11-02: add by m2/dev

Simplex slack inequality N0CJ07WRBX

URI	`m2://inv/N0CJ07WRBX`
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 2609.20514#1SFQ, Simplex slack inequality (statement)

History

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

Abram Slutsky N0CMRBVX4H

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#501K, Abram Slutsky (unknown)

History

2026-11-02: add by m2/dev

Smooth points of positive curvature N0CQ9G32NH

URI	`m2://inv/N0CQ9G32NH`
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 2609.26129#9DWJ, Smooth points of positive curvature (statement)

History

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

$(h,\nu)$-perturbation N0CVP2WGSQ

URI	`m2://inv/N0CVP2WGSQ`
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.30559#HLIK, $(h,\nu)$-perturbation (definition). In 5A9CKXWT3H/e1, definition 1

History

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

Möbius triangle N0CVZXJGZJ

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

Mentions

wikipedia: Wikipedia Schwarz triangle#XCIF, Möbius triangle (unknown)

History

2026-11-02: add by m2/dev

N0D035FN8D N0D035FN8D

URI	`m2://inv/N0D035FN8D`
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.30663#CW7Y (statement). In 3JZDKWS8NK/e1, lemma 8.7

History

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

Tobit model N0D1MH24R7

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

Mentions

wikipedia: Wikipedia Tobit model, Tobit model (definition). Also Wikidata Q1307251

History

2026-11-02: add by m2/dev

ordinal addition N0D2WDRM62

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

Mentions

wikidata: Wikidata Q118133309, ordinal addition (unknown). Also MathWorld OrdinalAddition

History

2026-10-26: add by m2/dev

N0DC2KQGMG N0DC2KQGMG

URI	`m2://inv/N0DC2KQGMG`
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#DY7O (statement). In 39VAB08YDJ/e1, lemma 5.1

History

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

Riemann matrix N0DEGR3BAF

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

Mentions

wikipedia: Wikipedia List of things named after Bernhard Riemann#OGSG, Riemann matrix (problem)

History

2026-11-02: add by m2/dev

N0DHVR5QA6 N0DHVR5QA6

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

Mentions

arxiv: arXiv 2610.19787#WHIS (statement). In A4VP56CT7B/e1, corollary 7.6

History

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

N0DPYE2ND7 N0DPYE2ND7

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

Mentions

arxiv: arXiv 2609.31044#5NE6 (statement). In Z72AEBE4Z6/e1, proposition 5.2

History

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

Westergaard, Harald Ludvig N0DR6SR5VH

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

Mentions

wikipedia: Wikipedia List of statisticians#Z41T, Westergaard, Harald Ludvig (unknown)

History

2026-11-02: add by m2/dev

space N0DW56N1G2

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

Mentions

wikidata: Wikidata Q472971, space (unknown). Also MathWorld Space
wikipedia: Wikipedia Space (mathematics), Space (definition). Also Wikidata Q472971

History

2026-10-26: add by m2/dev

Joachim Jungius N0DZ0SA6XE

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

Mentions

wikipedia: Wikipedia List of logicians#9FLP, Joachim Jungius (topic)

History

2026-11-02: add by m2/dev

Novum Organum N0E2184K74

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

Mentions

wikipedia: Wikipedia Novum Organum, Novum Organum (definition). Also Wikidata Q585046

History

2026-11-02: add by m2/dev

Johann Sturm N0E2XK1BYZ

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

Mentions

wikipedia: Wikipedia List of German mathematicians#RETH, Johann Sturm (topic)

History

2026-11-02: add by m2/dev

N0E96CCNRT N0E96CCNRT

URI	`m2://inv/N0E96CCNRT`
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.38051#TVSS (statement). In 81CGKD8RTP/e1, corollary 3

History

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

N0EQ1QRCK5 N0EQ1QRCK5

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

Mentions

napkin: napkin tex/linalg/eigenvalues.tex#proposition-2 (statement). In RZP28ERRZV, proposition, section 58.8

History

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

D7 polytope N0ES62DFWG

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

Mentions

wikipedia: Wikipedia D7 polytope, D7 polytope (definition). Also Wikidata Q6568312

History

2026-11-02: add by m2/dev

N0ESBFYXG0 N0ESBFYXG0

URI	`m2://inv/N0ESBFYXG0`
Kind	statement
Layer	research
MSC	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 2610.19023#27HB (statement). In QFA8TMJPHZ/e1, theorem 6.9

History

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

N0EYMV2Q5J N0EYMV2Q5J

URI	`m2://inv/N0EYMV2Q5J`
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.01968#3F0W (statement). In 9QE553Z0J5/e1, theorem 2.2

History

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

Tommaso Boggio N0F8DF079D

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

Mentions

wikipedia: Wikipedia Tommaso Boggio, Tommaso Boggio (topic). Also Wikidata Q3992722

History

2026-11-02: add by m2/dev

International Actuarial Association N0FDS76DR6

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

Mentions

wikipedia: Wikipedia International Actuarial Association, International Actuarial Association (definition). Also Wikidata Q547860

History

2026-11-02: add by m2/dev

Richardson resolvent rate N0FF8J83WT

URI	`m2://inv/N0FF8J83WT`
Kind	statement
Layer	research
MSC	35-XX, 37-XX, 46-XX, 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.16094#9ANT, Richardson resolvent rate (statement). In RHBS9QDHC3/e1, proposition 3.4

History

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

Titchmarsh theorem N0FHFZX707

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

Mentions

wikipedia: Wikipedia List of theorems#JRW0, Titchmarsh theorem (definition)

History

2026-11-02: add by m2/dev

N0FP6M6WB3 N0FP6M6WB3

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

Mentions

arxiv: arXiv 2609.32107#H7YE (statement). In F11G5M3JA5/e1, lemma 2.3

History

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

Examples N0FP9KFBZM

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

Mentions

wikipedia: Wikipedia Weak derivative#UQGY, Examples (example)

History

2026-11-02: add by m2/dev

Stein manifold N0FQ4DJ9FZ

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#G62M, Stein manifold (definition)
wikipedia: Wikipedia List of algebraic geometry topics#HFY8, Stein manifold (definition)

History

2026-11-02: add by m2/dev

N0FRCBH0FV N0FRCBH0FV

URI	`m2://inv/N0FRCBH0FV`
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 2609.28011#OMFO (statement)

History

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

N0FTNGX7NN N0FTNGX7NN

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise:continuouskernel (exercise). In E59CDZA4DP, exercise, section 11.1.5

History

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

N0FXZVYY4X N0FXZVYY4X

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

Mentions

arxiv: arXiv 2609.26357#0IRE (statement)

History

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

N0FZE0DPDJ N0FZE0DPDJ

URI	`m2://inv/N0FZE0DPDJ`
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 2606.16311#PF77 (statement). In 3G0HCK0DVA/e1, lemma 5.5

History

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

Kosmann lift N0G888N0XE

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

Mentions

wikipedia: Wikipedia Kosmann lift, Kosmann lift (definition). Also Wikidata Q6433243

History

2026-11-02: add by m2/dev

N0G8EYGCCD N0G8EYGCCD

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-126 (exercise). In VNMV985MXX, exercise, section 2.4

History

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

Mayer problem N0G95DNY8V

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

Mentions

wikidata: Wikidata Q12105293, Mayer problem (problem). Also EoM Mayer_problem

History

2026-10-26: add by m2/dev

N0GGQAHAY1 N0GGQAHAY1

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#definition-2 (definition). In P1C114YBXG, definition, section 1.1

History

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

N0GXS5RS77 N0GXS5RS77

URI	`m2://inv/N0GXS5RS77`
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.16028#0ND4 (statement). In D6MQYXVQEW/e1, proposition 2.2

History

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

N0H0JTXVT8 N0H0JTXVT8

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

Mentions

arxiv: arXiv 2609.21892#DP4E (statement)

History

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

N0H28R0R0G N0H28R0R0G

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

Mentions

wikipedia: Wikipedia Modified Newtonian dynamics#ZZOH (problem)

History

2026-11-02: add by m2/dev

Center for Work and Family (CWF) N0H4DGYEW0

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

Mentions

wikipedia: Wikipedia List of research centers at Boston College#UFVU, Center for Work and Family (CWF) (unknown)

History

2026-11-02: add by m2/dev

Definition N0H9DK64QX

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

Mentions

wikipedia: Wikipedia Saturated set (intersection of open sets)#WURF, Definition (definition)

History

2026-11-02: add by m2/dev

Pugh's closing lemma N0HC1BEVBC

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

Mentions

wikipedia: Wikipedia Pugh's closing lemma, Pugh's closing lemma (statement). Also Wikidata Q7258945

History

2026-11-02: add by m2/dev

Examples N0HCSRH2S3

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

Mentions

wikipedia: Wikipedia Generalized linear model#IBTC, Examples (example)

History

2026-11-02: add by m2/dev

Isoperimetric point N0HEW5R6EK

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

Mentions

wikipedia: Wikipedia List of triangle topics#G2RJ, Isoperimetric point (definition)

History

2026-11-02: add by m2/dev

Mordecai Ezekiel N0HJDBP95V

URI	`m2://inv/N0HJDBP95V`
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#7IVF, Mordecai Ezekiel (unknown)

History

2026-11-02: add by m2/dev

Generalization N0HJZ7KSV3

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

Mentions

wikipedia: Wikipedia Curtis–Hedlund–Lyndon theorem#3B91, Generalization (statement)

History

2026-11-02: add by m2/dev

Examples N0HK7V99PE

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

Mentions

wikipedia: Wikipedia Self-similar process#VAEI, Examples (example)

History

2026-11-02: add by m2/dev

N0HMMAQMYB N0HMMAQMYB

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

Mentions

arxiv: arXiv 2610.13532#BW8K (statement). In 9B0X8YPF3P/e1, theorem 4.1

History

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

N0HVZ800AW N0HVZ800AW

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

Mentions

arxiv: arXiv 2610.21627#EIVC (definition). In 4Z44S003HM/e1, definition 4

History

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

N0J5M5Z9R4 N0J5M5Z9R4

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

History

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

Dmitry Chelkak N0J89QA83X

URI	`m2://inv/N0J89QA83X`
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#PDVB, Dmitry Chelkak (unknown)

History

2026-11-02: add by m2/dev

N0JG74XN0Y N0JG74XN0Y

URI	`m2://inv/N0JG74XN0Y`
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.30407#B4MX (statement). In HNY6N561H5/e1, proposition 2.5

History

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

Definition N0JJAB1RF7

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

Mentions

wikipedia: Wikipedia P-adic distribution#PNW9, Definition (definition)

History

2026-11-02: add by m2/dev

N0JQFH2220 N0JQFH2220

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

Mentions

arxiv: arXiv 2609.33651#6U2I (statement). In 69DBD2HKGK/e1, theorem 8.1

History

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

Direct results of mentioned theorems N0JR7Y2115

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

Mentions

wikipedia: Wikipedia Nome (mathematics)#RGMV, Direct results of mentioned theorems (statement)

History

2026-11-02: add by m2/dev

Applications N0JS914FST

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

Mentions

wikipedia: Wikipedia Graph dynamical system#2OWS, Applications (example)

History

2026-11-02: add by m2/dev

Characterization N0JYFM85RT

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

Mentions

wikipedia: Wikipedia Discrete phase-type distribution#1LWC, Characterization (statement)

History

2026-11-02: add by m2/dev

N0K0KYJHN8 N0K0KYJHN8

URI	`m2://inv/N0K0KYJHN8`
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.01753#Z0UD (statement). In JY50YXMH5N/e1, lemma 16

History

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

Variation ratio N0K0KZ5KFD

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

Mentions

wikipedia: Wikipedia Variation ratio, Variation ratio (definition). Also Wikidata Q17117986

History

2026-11-02: add by m2/dev

Riemann integral N0K6399CX0

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

Mentions

wikipedia: Wikipedia Glossary of calculus#V3ID, Riemann integral (definition)

History

2026-11-02: add by m2/dev

extend periodically N0KAKER3JP

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

Mentions

lebl_diffyqs: lebl_diffyqs index/5.2.1/extend-periodically, extend periodically (concept). In E9HS8K3A52, index, section 5.2.1

History

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

N0KDTG07VY N0KDTG07VY

URI	`m2://inv/N0KDTG07VY`
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.28507#P32T (statement)

History

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

N0KG7GZVCE N0KG7GZVCE

URI	`m2://inv/N0KG7GZVCE`
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 2509.21444#PGIT (statement). In CTVPA2FQT1/e1, lemma 8.5.3

History

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

N0KJVVXSXV N0KJVVXSXV

URI	`m2://inv/N0KJVVXSXV`
Kind	definition
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 0806.0678#8PHY (definition). In 5RMV7VP13X/e1, definition 1.1

History

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

Properties N0KKGJ6SG2

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

Mentions

wikipedia: Wikipedia Representation theory of finite groups#SXDB, Properties (statement)

History

2026-11-02: add by m2/dev

Nonuniqueness and non-Gaussianity for partially pure inputs N0KKPWDNY6

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

Mentions

arxiv: arXiv 2610.01855#JOTQ, Nonuniqueness and non-Gaussianity for partially pure inputs (example). In MM8P5CJR18/e1, example 5.31

History

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

N0KVAZ3KTJ N0KVAZ3KTJ

URI	`m2://inv/N0KVAZ3KTJ`
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.14783#W5B8 (statement). In Y3X5XY2J65/e1, theorem 10.7

History

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

N0M5YXDYFQ N0M5YXDYFQ

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

Mentions

arxiv: arXiv 2610.08594#L07V (statement). In FEE70SSD96/e1, theorem 2.2

History

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

N0M872TA4D N0M872TA4D

URI	`m2://inv/N0M872TA4D`
Kind	definition
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.36377#Z5VZ (definition). In M98F6VRPZ2/e1, definition 1.1

History

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

Truth Lemma N0MBY9TVAQ

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

Mentions

open_logic: open_logic content/first-order-logic/completeness/construction-of-model.tex#lem:truth, Truth Lemma (statement). In PKGMM3P5QY, lem, section 11.1

History

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

N0MEP88JWE N0MEP88JWE

URI	`m2://inv/N0MEP88JWE`
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#UXAG (statement). In CFJH0Q39FZ/e1, proposition A.2

History

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

a lower bound for general $\bf m$ N0MF1A17BJ

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

Mentions

arxiv: arXiv 2210.06147#B8QV, a lower bound for general $\bf m$ (statement). In 94RBNQA07A/e1, proposition 2.19

History

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

Q/q N0MG25VWE4

URI	`m2://inv/N0MG25VWE4`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a notation: the notation register holds it (corpus spec K10.4))
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q9950, Q/q (unknown). Also ProofWiki Symbols:Q

History

2026-10-26: add by m2/dev

N0MN5YXMRF N0MN5YXMRF

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

Mentions

open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 8.10

History

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

N0MPPM2JY2 N0MPPM2JY2

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

Mentions

arxiv: arXiv 2610.03497#64AO (statement). In RRNHC0CAC9/e1, theorem

History

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

Probability N0MWCDDZ2E

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

Mentions

wikipedia: Wikipedia List of statistics articles#SIKV, Probability (definition)
wikipedia: Wikipedia List of probability topics#UM6S, Probability (definition)
wikipedia: Wikipedia List of integration and measure theory topics#LSLF, Probability (definition)

History

2026-11-02: add by m2/dev

N0MXNTQ768 N0MXNTQ768

URI	`m2://inv/N0MXNTQ768`
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.03062#OD4I (statement). In 5H7985A5SD/e1, theorem 1.1

History

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

N0MXYHSJ2R N0MXYHSJ2R

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

Mentions

arxiv: arXiv 1407.0548#LALK (statement). In 3EAQ15QTJC/e1, proposition 2.1

History

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

Strong topology N0MZABHZCM

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

Mentions

wikipedia: Wikipedia List of general topology topics#OG7R, Strong topology (definition)

History

2026-11-02: add by m2/dev

N0NB0V41GT N0NB0V41GT

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

Mentions

arxiv: arXiv 2609.28141#8W0X (statement)

History

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

N0NBWWNGCQ N0NBWWNGCQ

URI	`m2://inv/N0NBWWNGCQ`
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 2607.01109#BVHK (statement). In V35F0T5RQ2/e1, lemma 3.4

History

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

N0NEXGJP3G N0NEXGJP3G

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

Mentions

wikipedia: Wikipedia Kissing number#HS6A (problem)

History

2026-11-02: add by m2/dev

Projection to polytope N0NJN85TC9

URI	`m2://inv/N0NJN85TC9`
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 2609.33313#ARLI, Projection to polytope (statement). In HRCEFY172P/e1, theorem 4.1

History

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

Inspection paradox N0NNWJMFKB

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

Mentions

wikipedia: Wikipedia Renewal theory#IDZR, Inspection paradox (statement)

History

2026-11-02: add by m2/dev

Knaster–Tarski theorem N0NT5NQ3GY

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

Mentions

wikipedia: Wikipedia List of theorems#2CSY, Knaster–Tarski theorem (statement)

History

2026-11-02: add by m2/dev

N0NV795VMA N0NV795VMA

URI	`m2://inv/N0NV795VMA`
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.15744#E7KN (statement). In NV3PBZGBB7/e1, theorem 3.1

History

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

Johnson's parabolic formula N0NWV8YV87

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

Mentions

wikipedia: Wikipedia Johnson's parabolic formula, Johnson's parabolic formula (statement). Also Wikidata Q28405466

History

2026-11-02: add by m2/dev

N0NZBQ0TNS N0NZBQ0TNS

URI	`m2://inv/N0NZBQ0TNS`
Kind	statement
Layer	research
MSC	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.35605#8FVW (statement). In X1KWTAA3M2/e1, proposition 2.2

History

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

N0PAMBVYS2 N0PAMBVYS2

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#problem-9 (exercise). In P1C114YBXG, problem, section K

History

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

Speculated extremal principles for non-equilibrium processes N0PFGWT83S

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

Mentions

wikipedia: Wikipedia Non-equilibrium thermodynamics#1II3, Speculated extremal principles for non-equilibrium processes (statement)

History

2026-11-02: add by m2/dev

Transformation of the Calabi conjecture to a differential equation N0PV3X763G

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

Mentions

wikipedia: Wikipedia Calabi conjecture#Z5B0, Transformation of the Calabi conjecture to a differential equation (statement)

History

2026-11-02: add by m2/dev

N0PWYDH4T6 N0PWYDH4T6

URI	`m2://inv/N0PWYDH4T6`
Kind	statement
Layer	research
MSC	18-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 2609.25761#Y90O (statement)

History

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

N0Q1GK92FZ N0Q1GK92FZ

URI	`m2://inv/N0Q1GK92FZ`
Kind	statement
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#RYPZ (statement). In QX77AN49J0/e1, theorem

History

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

David Eppstein N0Q3CSKXM5

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#JRSP, David Eppstein (topic)

History

2026-11-02: add by m2/dev

James M. Bardeen N0Q50TW6PV

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#3RN3, James M. Bardeen (unknown)

History

2026-11-02: add by m2/dev

Mackey–Arens theorem N0Q68Z3NVZ

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

Mentions

wikipedia: Wikipedia Dual system#6OQI, Mackey–Arens theorem (statement)

History

2026-11-02: add by m2/dev

N0Q6DEFB2B N0Q6DEFB2B

URI	`m2://inv/N0Q6DEFB2B`
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#8I8M (statement). In K7GJA4WGV7/e1, corollary 2.1

History

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

Example N0Q6WNJEPJ

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

Mentions

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

History

2026-11-02: add by m2/dev

N0QCKHEVRT N0QCKHEVRT

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

Mentions

arxiv: arXiv 2609.28141#CB8F (statement)

History

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

Hans Fitting N0QD4TMZ9X

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

Mentions

wikipedia: Wikipedia Hans Fitting, Hans Fitting (topic). Also Wikidata Q71155

History

2026-11-02: add by m2/dev

Pontryagin cohomology operation N0QD93W8JY

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

Mentions

wikipedia: Wikipedia Pontryagin cohomology operation, Pontryagin cohomology operation (definition). Also Wikidata Q7228372

History

2026-11-02: add by m2/dev

N0QE9AHKF8 N0QE9AHKF8

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

Mentions

hott_book: hott_book setmath.tex#thm:wfcat (statement). In N54F33XE07, cor, section C.3

History

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

Construction N0QG7M5V55

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

Mentions

wikipedia: Wikipedia Koch snowflake#VGIE, Construction (definition)

History

2026-11-02: add by m2/dev

N0QK1RJ8K5 N0QK1RJ8K5

URI	`m2://inv/N0QK1RJ8K5`
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 2609.20488#3LAX (statement)

History

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

Examples N0QKD40PC7

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

Mentions

wikipedia: Wikipedia Dirichlet's theorem on arithmetic progressions#0LC6, Examples (example)

History

2026-11-02: add by m2/dev

Example N0QKJVFJBD

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

Mentions

wikipedia: Wikipedia Information gain ratio#TGLH, Example (example)

History

2026-11-02: add by m2/dev

Static analysis N0QNTHRAHD

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

Mentions

wikipedia: Wikipedia List of statistics articles#4Y7V, Static analysis (definition)

History

2026-11-02: add by m2/dev

Singular NTK with distinct constraints and zero nullspace projection N0QSTJZY9Q

URI	`m2://inv/N0QSTJZY9Q`
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#0OHP, Singular NTK with distinct constraints and zero nullspace projection (example). In 6FY8BVP1F3/e1, example E.8

History

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

Argüman N0QVPHD538

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

Mentions

wikipedia: Wikipedia Argüman, Argüman (definition). Also Wikidata Q122382086

History

2026-11-02: add by m2/dev

Example N0QZ7Q1MK5

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

Mentions

wikipedia: Wikipedia Cylinder set measure#G7CP, Example (example)

History

2026-11-02: add by m2/dev

J. Ernest Wilkins Jr. N0R12FMQ56

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

Mentions

wikipedia: Wikipedia J. Ernest Wilkins Jr., J. Ernest Wilkins Jr. (topic). Also Wikidata Q6105619

History

2026-11-02: add by m2/dev

Wilhelmina Luten N0R1H09RT1

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

Mentions

wikipedia: Wikipedia Wilhelmina Luten, Wilhelmina Luten (topic). Also Wikidata Q141503074

History

2026-11-02: add by m2/dev

N0R46N6SYX N0R46N6SYX

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

Mentions

arxiv: arXiv 2609.37747#AELB (statement). In GEYDNVZEP7/e1, proposition 4.5

History

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

N0R68TKDV9 N0R68TKDV9

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#exercise-28 (exercise). In E59CDZA4DP, exercise, section 7.3.1

History

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

smooth partition of unity N0R8SB0GN3

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

Mentions

lebl_scv: lebl_scv index/E.3/smooth-partition-of-unity, smooth partition of unity (concept). In VNMV985MXX, index, section E.3

History

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

N0RDX8ERAC N0RDX8ERAC

URI	`m2://inv/N0RDX8ERAC`
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.16613#OCQQ (statement). In 5GR00PC3QN/e1, proposition 1

History

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

Properties N0RE15XQY0

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

Mentions

wikipedia: Wikipedia Subtraction#UXLB, Properties (statement)

History

2026-11-02: add by m2/dev

Fermat's Room N0RG9HR9CZ

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

Mentions

wikipedia: Wikipedia List of films about mathematicians#75UZ, Fermat's Room (unknown)

History

2026-11-02: add by m2/dev

*{Lemma 5.5 N0RGA8V0F3

URI	`m2://inv/N0RGA8V0F3`
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 2411.17227#79VN, *{Lemma 5.5 (statement). In DDNP38CHQJ/e1, lemma 2.8

History

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

William Crawley-Boevey N0RJF7FX74

URI	`m2://inv/N0RJF7FX74`
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#7Y69, William Crawley-Boevey (topic)

History

2026-11-02: add by m2/dev

Christoph von Sigwart N0RMB9JVGG

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

Mentions

wikipedia: Wikipedia Christoph von Sigwart, Christoph von Sigwart (topic). Also Wikidata Q72050

History

2026-11-02: add by m2/dev

Joseph Fourier N0RN1F8XGG

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

Mentions

wikipedia: Wikipedia Joseph Fourier, Joseph Fourier (topic). Also Wikidata Q8772

History

2026-11-02: add by m2/dev

Elementary Calculus: An Infinitesimal Approach N0S05X1MY8

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

Mentions

wikipedia: Wikipedia List of calculus topics#Y0N3, Elementary Calculus: An Infinitesimal Approach (definition)

History

2026-11-02: add by m2/dev

Courtesy bias N0S58RE50M

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

Mentions

wikipedia: Wikipedia Response bias#H2HA, Courtesy bias (unknown)

History

2026-11-02: add by m2/dev

$L^2(\Omega)$-energy estimates in $H^2$ N0SBFF62T7

URI	`m2://inv/N0SBFF62T7`
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.24789#ZKR3, $L^2(\Omega)$-energy estimates in $H^2$ (statement)

History

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

N0SC38VABH N0SC38VABH

URI	`m2://inv/N0SC38VABH`
Kind	problem
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#AQXY (problem). In BDN507RN7J/e1, problem 3.5.12

History

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

Definition N0SE6EH7WQ

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

Mentions

wikipedia: Wikipedia Kolmogorov complexity#H71I, Definition (definition)

History

2026-11-02: add by m2/dev

Euclidean space N0SVZKGM6M

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

Mentions

wikipedia: Wikipedia List of manifolds#JYOH, Euclidean space (definition)

History

2026-11-02: add by m2/dev

N0T6DRCA8P N0T6DRCA8P

URI	`m2://inv/N0T6DRCA8P`
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.26851#WV07 (statement)

History

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

zero N0TQNZFM37

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

Mentions

wikipedia: Wikipedia Glossary of category theory#M7FC, zero (definition)

History

2026-11-02: add by m2/dev

Applications N0TZM1PR82

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

Mentions

wikipedia: Wikipedia Reynolds equation#7W8S, Applications (example)

History

2026-11-02: add by m2/dev

Wada Nei N0TZXKMRGH

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

Mentions

wikipedia: Wikipedia Wada Nei, Wada Nei (topic). Also Wikidata Q1394237

History

2026-11-02: add by m2/dev

N0VHBHF3Y8 N0VHBHF3Y8

URI	`m2://inv/N0VHBHF3Y8`
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.35597#MK56 (statement). In K424GCJ50P/e1, corollary 4.4

History

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

N0VSSD5H9R N0VSSD5H9R

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

Mentions

arxiv: arXiv 2610.04895#U2KL (statement). In A7M06ZVYA8/e1, lemma 2.7

History

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

N0W2AYZZ34 N0W2AYZZ34

URI	`m2://inv/N0W2AYZZ34`
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.21475#OBWD (statement). In TTRSZVT4VX/e1, theorem 1.2

History

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

N0W5DM66A3 N0W5DM66A3

URI	`m2://inv/N0W5DM66A3`
Kind	statement
Layer	research
MSC	55-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.06747#R6AW (statement). In AB2WPR2FRR/e1, lemma 4.4

History

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

Alfred North Whitehead N0W6WCSE56

URI	`m2://inv/N0W6WCSE56`
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 Q183372, Alfred North Whitehead (unknown). Also ProofWiki Mathematician:Alfred_North_Whitehead
wikipedia: Wikipedia Alfred North Whitehead, Alfred North Whitehead (topic). Also Wikidata Q183372

History

2026-10-26: add by m2/dev

Smith, A.F.M N0WFWR6C8M

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

Mentions

wikipedia: Wikipedia List of statisticians#0E49, Smith, A.F.M (topic)

History

2026-11-02: add by m2/dev

With replacement N0WH96BHBP

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

Mentions

wikipedia: Wikipedia Sampling (statistics)#1UC3, With replacement (unknown)

History

2026-11-02: add by m2/dev

Pitman–Koopman–Darmois theorem N0WNHZN51K

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

Mentions

wikipedia: Wikipedia List of theorems#NVXD, Pitman–Koopman–Darmois theorem (unknown)

History

2026-11-02: add by m2/dev

Definition and properties N0WPTCGS43

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

Mentions

wikipedia: Wikipedia Linear complex structure#XBL7, Definition and properties (definition)

History

2026-11-02: add by m2/dev

N0WZ32Q3MT N0WZ32Q3MT

URI	`m2://inv/N0WZ32Q3MT`
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.08039#IL2P (statement). In Y1K8WE4MDP/e1, lemma 3.1

History

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

Hurwitz determinant N0X11CTQ4Q

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

Mentions

wikipedia: Wikipedia Hurwitz determinant, Hurwitz determinant (definition). Also Wikidata Q3044461

History

2026-11-02: add by m2/dev

N0X4FDRG18 N0X4FDRG18

URI	`m2://inv/N0X4FDRG18`
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.10819#H461 (statement). In M96CSJBYGW/e1, theorem 2

History

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

N0X986X11X N0X986X11X

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

Mentions

hott_book: hott_book setmath.tex#defn-9 (definition). In N54F33XE07, defn, section C.3

History

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

characteristic polynomial N0XP1SNNZA

URI	`m2://inv/N0XP1SNNZA`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Characteristic polynomial 0VSSPAFM2C

Mentions

wikidata: Wikidata Q849705, characteristic polynomial (unknown). Also MathWorld CharacteristicPolynomial, nLab characteristic polynomial
wikipedia: Wikipedia Characteristic polynomial, Characteristic polynomial (definition). Also Wikidata Q849705

History

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

Radon–Nikodym property N0Y1QWW8EF

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

Mentions

wikipedia: Wikipedia Bochner integral#EOTY, Radon–Nikodym property (unknown)

History

2026-11-02: add by m2/dev

Rain follows the plow N0Y50HYWZA

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

Mentions

wikipedia: Wikipedia List of superseded scientific theories#DCJK, Rain follows the plow (unknown)

History

2026-11-02: add by m2/dev

Equations of motion N0Y55295Q1

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

Mentions

arxiv: arXiv 2609.27966#0HRF, Equations of motion (statement)

History

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

Schrödinger equation N0Y60NRV65

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

Mentions

wikipedia: Wikipedia List of named differential equations#SB6N, Schrödinger equation (definition)
wikipedia: Wikipedia List of partial differential equation topics#P3OP, Schrödinger equation (definition)

History

2026-11-02: add by m2/dev

Deng Xi N0YAS0G14H

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

Mentions

wikipedia: Wikipedia Deng Xi, Deng Xi (topic). Also Wikidata Q2495593

History

2026-11-02: add by m2/dev

N0YBVM12W5 N0YBVM12W5

URI	`m2://inv/N0YBVM12W5`
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.17626#ELM3 (statement). In 54ATJS74DT/e1, proposition 4.5

History

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

N0YN5PMTNN N0YN5PMTNN

URI	`m2://inv/N0YN5PMTNN`
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#IU31 (statement). In X1AGBB90EH/e1, lemma 7.15

History

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

altitude N0YPX69BKX

URI	`m2://inv/N0YPX69BKX`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Altitude of a triangle 0C9MZY2RNA

Mentions

mathlib_1000: mathlib_1000 Q339495, Symphonic theorem (statement). Also Wikidata Q339495
thousand_plus: thousand_plus Q339495, Symphonic theorem (statement). Also Wikidata Q339495, Wikipedia Altitude (triangle)
wikidata: Wikidata Q339495, altitude (unknown). Also MathWorld Altitude
wikipedia: Wikipedia Altitude (triangle), Altitude (definition). Also Wikidata Q339495

History

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

First-order alignment of costs and the ordinal potential N0YQGW7G9M

URI	`m2://inv/N0YQGW7G9M`
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.05428#T2V9, First-order alignment of costs and the ordinal potential (statement). In 31MQPCA8SH/e1, lemma C.1

History

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

Failure of Fubini's theorem for non-integrable functions N0YR46EB0B

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

Mentions

wikipedia: Wikipedia Fubini's theorem#SKK6, Failure of Fubini's theorem for non-integrable functions (statement)

History

2026-11-02: add by m2/dev

N0YTX69F5J N0YTX69F5J

URI	`m2://inv/N0YTX69F5J`
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.13670#WAYP (statement). In 4PGTZ19B26/e1, lemma 5.5

History

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

N0YVQH31GN N0YVQH31GN

URI	`m2://inv/N0YVQH31GN`
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.33733#K1XG (statement). In QBAP8C82FG/e1, theorem 54

History

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

N0YWGKXX3A N0YWGKXX3A

URI	`m2://inv/N0YWGKXX3A`
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.21322#LOOA (statement). In CNDA8DBEGD/e1, lemma 7.2

History

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

Paul Lévy N0Z83TT0C1

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

Mentions

wikipedia: Wikipedia List of mathematical probabilists#UFEY, Paul Lévy (topic)

History

2026-11-02: add by m2/dev

$SL_2$ criterion for unimodality N0ZA2250V5

URI	`m2://inv/N0ZA2250V5`
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 2609.33173#61PF, $SL_2$ criterion for unimodality (statement). In R630A60CMM/e1, theorem 2.1

History

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

Continuous-time stochastic process N0ZAZG8ZCP

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

Mentions

wikipedia: Wikipedia List of statistics articles#NQZE, Continuous-time stochastic process (definition)

History

2026-11-02: add by m2/dev

Interval exchange transformation N0ZKER4C7D

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

Mentions

wikipedia: Wikipedia Interval exchange transformation, Interval exchange transformation (definition). Also Wikidata Q17081747

History

2026-11-02: add by m2/dev

Properties of the stalk N0ZKZY612N

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

Mentions

wikipedia: Wikipedia Stalk (sheaf)#UXD8, Properties of the stalk (statement)

History

2026-11-02: add by m2/dev

N0ZWGV8BD9 N0ZWGV8BD9

URI	`m2://inv/N0ZWGV8BD9`
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.17589#QPZK (statement). In GSTK4569X1/e1, lemma 5.1

History

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

Silvio Canevazzi N0ZZ8WX86W

URI	`m2://inv/N0ZZ8WX86W`
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#91VR, Silvio Canevazzi (unknown)

History

2026-11-02: add by m2/dev