Inventory rows AF

Corollary AF0190H84Q

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

Mentions

wikipedia: Wikipedia Gibbs' inequality#STM6, Corollary (statement)

History

2026-11-02: add by m2/dev

Timelike homotopy AF09JAHY8M

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

Mentions

wikipedia: Wikipedia Timelike homotopy, Timelike homotopy (definition). Also Wikidata Q7805573

History

2026-11-02: add by m2/dev

Mean difference AF0C4RZTPB

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

Mentions

wikipedia: Wikipedia List of statistics articles#NV06, Mean difference (definition)

History

2026-11-02: add by m2/dev

Three Bridges (disambiguation) AF0P6TFMBS

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

Mentions

wikipedia: Wikipedia List of places with numeric names#4IVK, Three Bridges (disambiguation) (unknown)

History

2026-11-02: add by m2/dev

Differential Privacy (DP AF0QGF6HFV

URI	`m2://inv/AF0QGF6HFV`
Kind	definition
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.19573#6OEP, Differential Privacy (DP (definition). In NM6Z2R61CN/e1, definition 1

History

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

Fitting intervals and refinement windows AF146PAYCB

URI	`m2://inv/AF146PAYCB`
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#U2R0, Fitting intervals and refinement windows (statement). In 8JDQ9FWFRK/e1, lemma B.1

History

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

AF14AN1K2N AF14AN1K2N

URI	`m2://inv/AF14AN1K2N`
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.05672#GE5K (statement). In BQGX0XE2A6/e1, lemma 2.3

History

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

AF1D66B7B9 AF1D66B7B9

URI	`m2://inv/AF1D66B7B9`
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 2308.05715#QYVU (definition). In FC0SB9JFWH/e1, definition 5.14

History

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

AF1X85SAM3 AF1X85SAM3

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

Mentions

napkin: napkin tex/set-theory/cardinal.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 89.6

History

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

AF1Y28F0JE AF1Y28F0JE

URI	`m2://inv/AF1Y28F0JE`
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.30961#NN38 (statement). In FFG2DDWEVB/e1, proposition 4.1

History

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

AF27N8F8B3 AF27N8F8B3

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

Mentions

arxiv: arXiv 2212.01916#NN4U (definition). In XTGB5Z08YH/e1, definition 2.7

History

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

Stephen Arthur Cook AF2BCY9SST

URI	`m2://inv/AF2BCY9SST`
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#D067, Stephen Arthur Cook (topic)

History

2026-11-02: add by m2/dev

AF2F8PTSNB AF2F8PTSNB

URI	`m2://inv/AF2F8PTSNB`
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.02158#VE3E (statement). In PCV12VAD47/e1, lemma 1

History

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

AF2G740MJY AF2G740MJY

URI	`m2://inv/AF2G740MJY`
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.24007#B03E (statement)

History

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

AF2GFBPM9D AF2GFBPM9D

URI	`m2://inv/AF2GFBPM9D`
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.19296#5V7S (statement). In WFR2WNW8NB/e1, corollary 3.14

History

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

AF2Q2TP23F AF2Q2TP23F

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 1.3

History

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

Characterization of key quantities; Theorem 2 AF2WDQY21B

URI	`m2://inv/AF2WDQY21B`
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 2102.11076#NIHB, Characterization of key quantities; Theorem 2 (statement). In T9HZXHTQBJ/e1, lemma 10

History

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

Steven L. Brunton AF2YN8YJPC

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

Mentions

wikipedia: Wikipedia Steven L. Brunton, Steven L. Brunton (topic). Also Wikidata Q77021524

History

2026-11-02: add by m2/dev

Card Verifiable Certificate AF3E7FVN8G

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

Mentions

wikipedia: Wikipedia Card Verifiable Certificate, Card Verifiable Certificate (definition). Also Wikidata Q1035647

History

2026-11-02: add by m2/dev

AF3G6RV1RT AF3G6RV1RT

URI	`m2://inv/AF3G6RV1RT`
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#D3D9 (statement). In TTRSZVT4VX/e1, proposition 4.18

History

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

AF3SGHVCK2 AF3SGHVCK2

URI	`m2://inv/AF3SGHVCK2`
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.32033#MFL2 (statement). In 17W5G060QX/e1, proposition 9.1

History

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

The full tangential quotient AF3T69EYSV

URI	`m2://inv/AF3T69EYSV`
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.00490#XX2Y, The full tangential quotient (statement). In PZJDV6SJ9E/e1, lemma 3.6

History

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

day AF3TD5GK0A

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

Mentions

wikidata: Wikidata Q573, day (definition). Also ProofWiki Definition:Time/Unit/Day

History

2026-10-26: add by m2/dev

Example AF3W7CKS1Z

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

Mentions

wikipedia: Wikipedia Representation theory of finite groups#DOUW, Example (example)

History

2026-11-02: add by m2/dev

Extensions AF3YNBGY8M

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

Mentions

wikipedia: Wikipedia McDiarmid's inequality#FMDM, Extensions (statement)

History

2026-11-02: add by m2/dev

Direct stiffness method AF3Z5AD06Y

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

Mentions

wikipedia: Wikipedia Direct stiffness method, Direct stiffness method (definition). Also Wikidata Q2280635

History

2026-11-02: add by m2/dev

AF401PHX2S AF401PHX2S

URI	`m2://inv/AF401PHX2S`
Kind	statement
Layer	research
MSC	20-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 2503.00560#BLO1 (statement). In KH1H3TSWPS/e1, lemma 3.6

History

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

AF43JJWDGM AF43JJWDGM

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

Mentions

arxiv: arXiv 2610.01273#MR9D (statement). In RAT41DDR51/e1, lemma 5.8

History

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

clause AF46NT23PP

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

Mentions

wikidata: Wikidata Q1228746, clause (unknown). Also MathWorld Clause
wikipedia: Wikipedia Clause (logic), Clause (definition). Also Wikidata Q1228746

History

2026-10-26: add by m2/dev

Quantitative uniqueness consequence AF474PNEEV

URI	`m2://inv/AF474PNEEV`
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.14323#9UNE, Quantitative uniqueness consequence (statement). In VAWEP32BEX/e1, corollary 11.2

History

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

Equal ambiguity, different data cost AF4CA1GHTD

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

Mentions

arxiv: arXiv 2609.39121#JUAZ, Equal ambiguity, different data cost (example). In A42CWWRZJE/e1, example 4

History

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

osculate AF4HXWJZ5Z

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#X3VW, osculate (definition)

History

2026-11-02: add by m2/dev

Conviction rate AF4JKP645C

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

Mentions

wikipedia: Wikipedia Conviction rate, Conviction rate (definition). Also Wikidata Q5166580

History

2026-11-02: add by m2/dev

Short-time Fourier transform AF4NTW2DZZ

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

Mentions

wikipedia: Wikipedia Short-time Fourier transform, Short-time Fourier transform (definition). Also Wikidata Q1477735

History

2026-11-02: add by m2/dev

Properties AF4PFHNW25

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

Mentions

wikipedia: Wikipedia Homology (mathematics)#BWZT, Properties (statement)

History

2026-11-02: add by m2/dev

AF52N3YQN4 AF52N3YQN4

URI	`m2://inv/AF52N3YQN4`
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.22847#FFUX (statement)

History

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

Simplicial diagram AF566F3Q0N

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

Mentions

wikipedia: Wikipedia Simplicial diagram, Simplicial diagram (definition). Also Wikidata Q135512478

History

2026-11-02: add by m2/dev

Additive function AF5AMNJDFV

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

Mentions

wikipedia: Wikipedia List of number theory topics#TN4K, Additive function (definition)

History

2026-11-02: add by m2/dev

AF5DCMANKA AF5DCMANKA

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

Mentions

arxiv: arXiv 2610.22074#K898 (definition). In F3BKXXPR3K/e1, definition 3.3

History

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

AF5RW1DQGF AF5RW1DQGF

URI	`m2://inv/AF5RW1DQGF`
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.36181#7G4G (statement). In 1KSE33PVS6/e1, proposition 66

History

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

Gerhard Frey AF60H15N46

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

Mentions

wikipedia: Wikipedia Gerhard Frey (mathematician), Gerhard Frey (topic). Also Wikidata Q66105

History

2026-11-02: add by m2/dev

Bessel polynomials AF65TXNDPN

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

Mentions

wikipedia: Wikipedia List of polynomial topics#RA9C, Bessel polynomials (definition)

History

2026-11-02: add by m2/dev

AF6NAMRJ57 AF6NAMRJ57

URI	`m2://inv/AF6NAMRJ57`
Kind	example
Layer	research
MSC	14-XX, 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 2504.07573#1X9Z (example). In 78X5SKJX8J/e1, example 7.15

History

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

Proxy re-encryption AF74TAGYGC

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

Mentions

wikipedia: Wikipedia Proxy re-encryption, Proxy re-encryption (definition). Also Wikidata Q7252899

History

2026-11-02: add by m2/dev

Example AF755RT9SQ

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

Mentions

wikipedia: Wikipedia Gadget (computer science)#73O4, Example (example)

History

2026-11-02: add by m2/dev

\emph{in $\ZF$} AF7HWN8JFG

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

Mentions

open_logic: open_logic content/set-theory/choice/hartogs.tex#HartogsLemma, \emph{in $\ZF$} (statement). In PKGMM3P5QY, lem, section 71.2

History

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

AF7QMACHD2 AF7QMACHD2

URI	`m2://inv/AF7QMACHD2`
Kind	definition
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.26386#ID00 (definition)

History

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

AF7TY11FEA AF7TY11FEA

URI	`m2://inv/AF7TY11FEA`
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#VS7B (statement). In V6EPE8XHAD/e1, lemma 6.3

History

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

Relative subspace design AF83SJFD98

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

Mentions

arxiv: arXiv 2609.40252#SC63, Relative subspace design (definition). In 7MVPNFPRKB/e1, definition 1.7

History

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

Closing the Gap: The Quest to Understand Prime Numbers AF8TT1D2KT

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

Mentions

wikipedia: Wikipedia Closing the Gap: The Quest to Understand Prime Numbers, Closing the Gap: The Quest to Understand Prime Numbers (definition). Also Wikidata Q85752994

History

2026-11-02: add by m2/dev

International Workshop on Operator Theory and its Applications AF8WD9J8AD

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

Mentions

wikipedia: Wikipedia International Workshop on Operator Theory and its Applications, International Workshop on Operator Theory and its Applications (definition). Also Wikidata Q25304134

History

2026-11-02: add by m2/dev

AF8ZXTQXK6 AF8ZXTQXK6

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

Mentions

arxiv: arXiv 2610.19590#GTGA (statement). In AZFARX0CXG/e1, proposition A.1

History

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

Hamilton router AF908C0RYT

URI	`m2://inv/AF908C0RYT`
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.35766#NGK4, Hamilton router (definition). In 6638EFW1NG/e1, definition 4.1

History

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

AF973PMN9R AF973PMN9R

URI	`m2://inv/AF973PMN9R`
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.35460#UY6H (statement). In R515NECVME/e1, theorem 8.6

History

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

Equivalence of both theorems AF9BQTBD84

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

Mentions

wikipedia: Wikipedia Original proof of Gödel's completeness theorem#BI06, Equivalence of both theorems (statement)

History

2026-11-02: add by m2/dev

AF9TJF5FRK AF9TJF5FRK

URI	`m2://inv/AF9TJF5FRK`
Kind	statement
Layer	research
MSC	16-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.21507#LRZW (statement). In 879ZDHVK7N/e1, lemma 3.9

History

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

Applications AF9X9BCSRF

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

Mentions

wikipedia: Wikipedia Folk theorem (game theory)#TEZ2, Applications (example)

History

2026-11-02: add by m2/dev

TI-84 Plus series AF9XBMEJCY

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

Mentions

wikipedia: Wikipedia TI-84 Plus series, TI-84 Plus series (definition). Also Wikidata Q393223

History

2026-11-02: add by m2/dev

AFA5H11DM8 AFA5H11DM8

URI	`m2://inv/AFA5H11DM8`
Kind	statement
Layer	research
MSC	16-XX, 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 2610.18302#XKQU (statement). In VJTRH1S4JA/e1, theorem 4.19

History

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

Pattern Blocks AFA6PCG9NN

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

Mentions

wikipedia: Wikipedia Pattern Blocks, Pattern Blocks (definition). Also Wikidata Q7148374

History

2026-11-02: add by m2/dev

AFAB5X50HA AFAB5X50HA

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

Mentions

arxiv: arXiv 2610.13680#EZYI (unknown). In QNBFHFZ3H0/e1, unknown 64

History

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

AFABZ1GFYH AFABZ1GFYH

URI	`m2://inv/AFABZ1GFYH`
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.35030#JOHB (statement). In DPT4P2BTEW/e1, proposition 5.7

History

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

Initial properties AFACMJN2BZ

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

Mentions

arxiv: arXiv 2203.01511#MMBV, Initial properties (statement). In QA7EPHDTV2/e1, lemma 5.1

History

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

o-proposition AFAE5262BB

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

Mentions

wikipedia: Wikipedia Glossary of logic#7Q6L, o-proposition (definition)

History

2026-11-02: add by m2/dev

AFAG0Q8Y4C AFAG0Q8Y4C

URI	`m2://inv/AFAG0Q8Y4C`
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.26576#TCVQ (statement)

History

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

Hans Lewy AFAJ6J9QRZ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#HK01, Hans Lewy (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GPLS, Hans Lewy (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#R42Y, Hans Lewy (topic)

History

2026-11-02: add by m2/dev

Occupancy frequency distribution AFARAFGYRY

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

Mentions

wikipedia: Wikipedia Occupancy frequency distribution, Occupancy frequency distribution (definition). Also Wikidata Q7075746

History

2026-11-02: add by m2/dev

Definition AFARNCSEZT

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

Mentions

wikipedia: Wikipedia Laguerre form#NBAC, Definition (definition)

History

2026-11-02: add by m2/dev

AFB06AF8DH AFB06AF8DH

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

Mentions

arxiv: arXiv 2603.21971#HT04 (statement). In R6KSZ9H8CY/e1, proposition 1.6

History

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

Characterization AFB3ZRGW2C

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

Mentions

wikipedia: Wikipedia Process variation (semiconductor)#FJXS, Characterization (statement)

History

2026-11-02: add by m2/dev

AFB68CDTN6 AFB68CDTN6

URI	`m2://inv/AFB68CDTN6`
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#53XM (example). In Q5Z178SAHP/e1, example 6.3

History

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

AFB82BERE0 AFB82BERE0

URI	`m2://inv/AFB82BERE0`
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.33219#4PTC (statement). In ETTQWMJZXJ/e1, proposition 2

History

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

Teofilo Bruni AFB8PP7AF6

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

Mentions

wikipedia: Wikipedia Teofilo Bruni, Teofilo Bruni (topic). Also Wikidata Q18945802

History

2026-11-02: add by m2/dev

Paul Erdős AFBF7ZRM9M

URI	`m2://inv/AFBF7ZRM9M`
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 Q173746, Paul Erdős (unknown). Also ProofWiki Mathematician:Paul_Erdős
wikipedia: Wikipedia Paul Erdős, Paul Erdős (topic). Also Wikidata Q173746

History

2026-10-26: add by m2/dev

Triangle AFBHJXFS7F

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

Mentions

wikipedia: Wikipedia List of triangle topics#QUQS, Triangle (definition)
wikipedia: Wikipedia List of mathematical shapes#9CXZ, Triangle (definition)
wikipedia: Wikipedia List of mathematical shapes#HLNE, Triangle (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#JEPY, Triangle (definition)

History

2026-11-02: add by m2/dev

AFBMTAS1RF AFBMTAS1RF

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

Mentions

arxiv: arXiv 2610.10505#UTOW (definition). In JW8HH6EPG2/e1, definition 2.7

History

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

Applications AFBSCCFJ5G

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

Mentions

wikipedia: Wikipedia Earth mover's distance#IQP1, Applications (example)

History

2026-11-02: add by m2/dev

StochSD AFBSH0SBN2

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#2HI4, StochSD (unknown)

History

2026-11-02: add by m2/dev

Quantum KZ equations AFBTQGXTNE

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

Mentions

wikipedia: Wikipedia Quantum KZ equations, Quantum KZ equations (definition). Also Wikidata Q7268987

History

2026-11-02: add by m2/dev

The chain of equalities AFBVE45FP6

URI	`m2://inv/AFBVE45FP6`
Kind	statement
Layer	research
MSC	01-XX
Sources	1
Outcome	record (an item of a paper that no node asks 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.14735#E3NY, The chain of equalities (statement). In XB5GPTZ6JF/e1, statement 5

History

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

AFC0V28WZ1 AFC0V28WZ1

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

Mentions

arxiv: arXiv 2609.39293#WUZ6 (example). In S26QVW5613/e1, example 4.4.6

History

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

Flow-shop scheduling AFCASGSGES

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

Mentions

wikipedia: Wikipedia Flow-shop scheduling, Flow-shop scheduling (definition). Also Wikidata Q3074426

History

2026-11-02: add by m2/dev

Degenerate solutions AFCCGCCY1M

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

Mentions

arxiv: arXiv 2610.12434#FPQC, Degenerate solutions (statement). In YCRZC9SDCE/e1, lemma 10.4

History

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

Bryson of Heraclea AFCF7REKMR

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

Mentions

wikipedia: Wikipedia List of Greek mathematicians#ZU51, Bryson of Heraclea (topic)

History

2026-11-02: add by m2/dev

AFCFTH5FEV AFCFTH5FEV

URI	`m2://inv/AFCFTH5FEV`
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.39269#VD4B (statement). In HS4X20TX33/e1, fact 0.23

History

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

Properties AFCRRDQTY9

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

Mentions

wikipedia: Wikipedia Formally étale morphism#CAQL, Properties (statement)

History

2026-11-02: add by m2/dev

Repunit AFDCAVPNMX

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#D8GR, Repunit (definition)

History

2026-11-02: add by m2/dev

Corollary AFDHK3R0ZR

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

Mentions

wikipedia: Wikipedia Ekeland's variational principle#WVJY, Corollary (statement)

History

2026-11-02: add by m2/dev

AFDJP2C38Q AFDJP2C38Q

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

Mentions

lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-67 (exercise). In E9HS8K3A52, exercise, section 2.5.5

History

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

AFDJZ6N91P AFDJZ6N91P

URI	`m2://inv/AFDJZ6N91P`
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 1303.4328#NBLP (statement). In HCTYW6VH87/e1, lemma 8.10

History

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

Duoprism AFDQCDS4YK

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#HHXR, Duoprism (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#ORFN, Duoprism (definition)

History

2026-11-02: add by m2/dev

AFDX3TY9F2 AFDX3TY9F2

URI	`m2://inv/AFDX3TY9F2`
Kind	definition
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.02935#5UEZ (definition). In WE2KKAMEFW/e1, definition 1.1

History

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

Essential points are independent AFE05W948N

URI	`m2://inv/AFE05W948N`
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.18154#KLAA, Essential points are independent (statement). In 4W7ARR1DAR/e1, lemma 3.2

History

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

AFE3H8GT0R AFE3H8GT0R

URI	`m2://inv/AFE3H8GT0R`
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.07608#QBYK (statement). In X8FQD4TEVG/e1, proposition 2.6

History

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

Examples AFE3VC1AYJ

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

Mentions

wikipedia: Wikipedia Moore machine#6EO8, Examples (example)

History

2026-11-02: add by m2/dev

Uniform local robustness AFEG2S5VWP

URI	`m2://inv/AFEG2S5VWP`
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.28028#9DKO, Uniform local robustness (statement)

History

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

Applications AFEJ5ZM3W1

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

Mentions

wikipedia: Wikipedia Polygon partition#LAXD, Applications (example)

History

2026-11-02: add by m2/dev

Properties AFEJ8FK09Q

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

Mentions

wikipedia: Wikipedia Gateaux derivative#LJ64, Properties (statement)

History

2026-11-02: add by m2/dev

AAA Theorem AFENY9W417

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

Mentions

wikidata: Wikidata Q122897541, AAA Theorem (statement). Also MathWorld AAATheorem

History

2026-10-26: add by m2/dev

AFEQFXXS1S AFEQFXXS1S

URI	`m2://inv/AFEQFXXS1S`
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.08288#935E (statement). In CHVWYJM7RM/e1, lemma D.2

History

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

Symmetry AFF23RHP06

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

Mentions

wikipedia: Wikipedia Equilateral triangle#JL4R, Symmetry (statement)

History

2026-11-02: add by m2/dev

List of complexity classes AFF8TT1YZ9

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

Mentions

wikipedia: Wikipedia List of complexity classes, List of complexity classes (topic). Also Wikidata Q1191786

History

2026-11-02: add by m2/dev

AFFA2QJBRS AFFA2QJBRS

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

Mentions

arxiv: arXiv 2610.03619#YJIR (statement). In 7SRERSS1PF/e1, theorem

History

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

Adi Shamir AFFA8BMB8P

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

Mentions

wikipedia: Wikipedia List of cryptographers#JB41, Adi Shamir (topic)

History

2026-11-02: add by m2/dev

Weyl–von Neumann theorem AFFJ3R5WYC

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

Mentions

wikipedia: Wikipedia Weyl–von Neumann theorem, Weyl–von Neumann theorem (statement). Also Wikidata Q7990342

History

2026-11-02: add by m2/dev

Examples of generating functions AFFNGAZEFM

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

Mentions

wikipedia: Wikipedia List of mathematical examples#KR1O, Examples of generating functions (definition)

History

2026-11-02: add by m2/dev

surface area AFG22KF82S

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

Mentions

wikipedia: Wikipedia N-sphere#ZLHY, surface area (definition)

History

2026-11-02: add by m2/dev

Euler's quadrilateral theorem AFG2QTFSA6

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

Mentions

wikipedia: Wikipedia List of theorems#NGTV, Euler's quadrilateral theorem (statement)

History

2026-11-02: add by m2/dev

Definition AFG57ZGR57

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

Mentions

wikipedia: Wikipedia Pseudo-tensor category#GZU3, Definition (definition)

History

2026-11-02: add by m2/dev

Amy Richlin AFGC9P8CEG

URI	`m2://inv/AFGC9P8CEG`
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#4WGI, Amy Richlin (unknown)

History

2026-11-02: add by m2/dev

AFGEA453ZA AFGEA453ZA

URI	`m2://inv/AFGEA453ZA`
Kind	example
Layer	research
MSC	17-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.20558#C25Y (example). In 46370P3Y9S/e1, example 5.21

History

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

Lie-admissible algebra AFGNDWF661

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

Mentions

wikipedia: Wikipedia Lie-admissible algebra, Lie-admissible algebra (definition). Also Wikidata Q16999447

History

2026-11-02: add by m2/dev

Hayashi track AFGW81EADF

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

Mentions

wikipedia: Wikipedia Hayashi track, Hayashi track (definition). Also Wikidata Q504908

History

2026-11-02: add by m2/dev

Wine/water paradox AFGYBCTJR4

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

Mentions

wikipedia: Wikipedia Wine/water paradox, Wine/water paradox (statement). Also Wikidata Q65070045

History

2026-11-02: add by m2/dev

AFGZFT7KCC AFGZFT7KCC

URI	`m2://inv/AFGZFT7KCC`
Kind	statement
Layer	research
MSC	13-XX, 14-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.38068#Y0P9 (statement). In 67GE5M1GGD/e1, proposition 5.15

History

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

AFH49BH69Y AFH49BH69Y

URI	`m2://inv/AFH49BH69Y`
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.26262#QFIQ (statement)

History

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

AFH4ZTQ5WG AFH4ZTQ5WG

URI	`m2://inv/AFH4ZTQ5WG`
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.05146#52TP (statement). In 63MJS935N4/e1, proposition 4.2

History

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

upstairs, downstairs AFHA87M5YE

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

Mentions

wikipedia: Wikipedia Glossary of mathematical jargon#Q31Y, upstairs, downstairs (definition)

History

2026-11-02: add by m2/dev

Mahesh Kakde AFHAB61DVE

URI	`m2://inv/AFHAB61DVE`
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#ZE1Y, Mahesh Kakde (topic)

History

2026-11-02: add by m2/dev

AFHB7FQNYH AFHB7FQNYH

URI	`m2://inv/AFHB7FQNYH`
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 2309.16041#IBD5 (statement). In 2GD6NWJVRM/e1, lemma 5.5

History

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

Uses AFHDHP0Q0X

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

Mentions

wikipedia: Wikipedia Enhanced privacy ID#UIMU, Uses (example)

History

2026-11-02: add by m2/dev

truncated cubical graph AFHFATR94V

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

Mentions

wikidata: Wikidata Q3115571, truncated cubical graph (unknown). Also House of Graphs 1385, MathWorld TruncatedCubicalGraph

History

2026-10-26: add by m2/dev

A saturated configuration is far from every root system AFHGB4KPZM

URI	`m2://inv/AFHGB4KPZM`
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.25120#3GNF, A saturated configuration is far from every root system (statement)

History

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

RR-RowSGDM versus AdamProxy accuracy ordering AFHGZKWHYH

URI	`m2://inv/AFHGZKWHYH`
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.11309#3PNS, RR-RowSGDM versus AdamProxy accuracy ordering (statement). In TTEAQA1XXR/e1, proposition 3.6

History

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

AFHHT3N2BE AFHHT3N2BE

URI	`m2://inv/AFHHT3N2BE`
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.10233#DIRY (statement). In QR9WE79ERQ/e1, lemma 8.10

History

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

AFHS4TQ8EC AFHS4TQ8EC

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

Mentions

arxiv: arXiv 2609.27301#P7NG (definition)

History

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

Sheaf duality AFHXRJ2DWG

URI	`m2://inv/AFHXRJ2DWG`
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.28028#S8IB, Sheaf duality (statement)

History

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

Egorov's theorem AFHYNGWC9A

URI	`m2://inv/AFHYNGWC9A`
Kind	statement
Layer	textbook
MSC	28-XX
Sources	4
Outcome	open
Node	Egorov's theorem 762Y2NYA7W

Mentions

mathlib_1000: mathlib_1000 Q1191709, Egorov's theorem (statement). Also Mathlib MeasureTheory.tendstoUniformlyOn_of_ae_tendsto, Wikidata Q1191709
thousand_plus: thousand_plus Q1191709, Egorov's theorem (statement). Also Mathlib MeasureTheory.tendstoUniformlyOn_of_ae_tendsto, Wikidata Q1191709, Wikipedia Egorov's theorem
wikidata: Wikidata Q1191709, Egorov's theorem (statement). Also MathWorld EgorovsTheorem
wikipedia: Wikipedia Egorov's theorem, Egorov's theorem (statement). Also Wikidata Q1191709

History

2026-10-26: add by m2/dev

tube--slab estimate AFHZW1F65K

URI	`m2://inv/AFHZW1F65K`
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.14050#TSUO, tube--slab estimate (statement). In RENT22YXW3/e1, lemma 4.2

History

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

logic of questions and answers AFJ5B8WMDE

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

Mentions

wikipedia: Wikipedia Glossary of logic#LZ2M, logic of questions and answers (definition)

History

2026-11-02: add by m2/dev

Coefficient projection AFJ5YKBNV1

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

Mentions

arxiv: arXiv 2610.08664#6FE7, Coefficient projection (definition). In 1YY0P4ZS0T/e1, definition 31

History

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

Properties AFJAMTV4FJ

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

Mentions

wikipedia: Wikipedia Overlapping interval topology#S8H3, Properties (statement)

History

2026-11-02: add by m2/dev

Kuder–Richardson formulas AFJCF7XEY1

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

Mentions

wikipedia: Wikipedia Kuder–Richardson formulas, Kuder–Richardson formulas (statement). Also Wikidata Q916953

History

2026-11-02: add by m2/dev

AFJQS09VY4 AFJQS09VY4

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

Mentions

arxiv: arXiv 2610.22288#JPDV (statement). In X38P26DK6S/e1, proposition 5.29

History

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

Children in clinical research AFK11PKNHY

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

Mentions

wikipedia: Wikipedia Children in clinical research, Children in clinical research (definition). Also Wikidata Q5403423

History

2026-11-02: add by m2/dev

Amenability and capture AFK24YAHH6

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

Mentions

arxiv: arXiv 2610.09086#YD9U, Amenability and capture (definition). In JPC86V77CH/e1, definition 1.2

History

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

hexagonal pyramid AFK7T9XG5W

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

Mentions

wikidata: Wikidata Q5748768, hexagonal pyramid (object). Also MathWorld HexagonalPyramid
wikipedia: Wikipedia Hexagonal pyramid, Hexagonal pyramid (object). Also Wikidata Q5748768

History

2026-10-26: add by m2/dev

Properties AFKBWK2QMV

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

Mentions

wikipedia: Wikipedia Minimum bottleneck spanning tree#TFS2, Properties (statement)

History

2026-11-02: add by m2/dev

Random-target CVP AFKGJT22PM

URI	`m2://inv/AFKGJT22PM`
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.37482#ASB0, Random-target CVP (statement). In 9QDRMZX8EY/e1, corollary 2

History

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

AFKR6J6Y0P AFKR6J6Y0P

URI	`m2://inv/AFKR6J6Y0P`
Kind	statement
Layer	research
MSC	20-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.06699#BX5X (statement). In GXHKRV5BPY/e1, corollary 3.12

History

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

cross-ratio AFKXJZTX2Z

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#Q63R, cross-ratio (definition)

History

2026-11-02: add by m2/dev

Trusted Data Format AFKXSRY5QX

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

Mentions

wikipedia: Wikipedia Trusted Data Format, Trusted Data Format (definition). Also Wikidata Q17087630

History

2026-11-02: add by m2/dev

AFM470ECMH AFM470ECMH

URI	`m2://inv/AFM470ECMH`
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 1303.4328#T8BQ (statement). In HCTYW6VH87/e1, lemma 8.8

History

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

Definition AFM6CVRTZH

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

Mentions

wikipedia: Wikipedia Seven-dimensional cross product#8M0R, Definition (definition)

History

2026-11-02: add by m2/dev

One-tailed test AFM9SGAJMS

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

Mentions

wikipedia: Wikipedia List of statistics articles#3CNF, One-tailed test (definition)

History

2026-11-02: add by m2/dev

Taylor AFMATZCNCH

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

Mentions

lebl_ra: lebl_ra ch-der.tex#thm:taylor, Taylor (statement). In E59CDZA4DP, thm, section 3.3.2

History

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

AFMCAVAH76 AFMCAVAH76

URI	`m2://inv/AFMCAVAH76`
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.35186#66ZC (statement). In VFNPANY3HD/e1, lemma 2

History

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

AFMV3KMKWB AFMV3KMKWB

URI	`m2://inv/AFMV3KMKWB`
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 2610.07001#I3A2 (statement). In 5DFTVG7FFF/e1, lemma 5.6

History

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

AFMVQ4BDG2 AFMVQ4BDG2

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

Mentions

hott_book: hott_book categories.tex#ct:hilb (example). In N54F33XE07, eg, section 2.7

History

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

AFMVZXK1YR AFMVZXK1YR

URI	`m2://inv/AFMVZXK1YR`
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.15511#T02X (statement). In TZM08VJAQT/e1, theorem

History

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

AFNA3RGJXW AFNA3RGJXW

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

Mentions

napkin: napkin tex/set-theory/ordinal.tex#exercise-6 (exercise). In RZP28ERRZV, exercise, section 92.6

History

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

AFNCY84BWN AFNCY84BWN

URI	`m2://inv/AFNCY84BWN`
Kind	example
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.37578#C2KB (example). In D7NDCWSDJE/e1, example 3

History

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

Line segment intersection AFNFBPEEVP

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

Mentions

wikipedia: Wikipedia Intersection (geometry)#PCAI, Line segment intersection (unknown)

History

2026-11-02: add by m2/dev

AFNHK24FY4 AFNHK24FY4

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

Mentions

arxiv: arXiv 2610.15099#I6F6 (definition). In PF5JJ9DS8Q/e1, definition 5.3.5

History

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

AFNHTTBGFE AFNHTTBGFE

URI	`m2://inv/AFNHTTBGFE`
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.20600#B6I4 (statement). In H5JZ2T9KVT/e1, lemma 2

History

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

Ludwig Kraus AFNKFSCVHJ

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

Mentions

wikipedia: Wikipedia Ludwig Kraus, Ludwig Kraus (topic). Also Wikidata Q94833062

History

2026-11-02: add by m2/dev

AFNM1J7CXN AFNM1J7CXN

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

Mentions

arxiv: arXiv 2609.01473#8POD (statement). In ABS9M47F4K/e1, lemma 4.17

History

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

Conditional increment approximations AFNVQKDPRM

URI	`m2://inv/AFNVQKDPRM`
Kind	statement
Layer	research
MSC	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.21710#Q70T, Conditional increment approximations (statement)

History

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

Generalizations AFNX2RW8Q9

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

Mentions

wikipedia: Wikipedia Marden's theorem#SXI7, Generalizations (statement)

History

2026-11-02: add by m2/dev

AFP03ZXH5N AFP03ZXH5N

URI	`m2://inv/AFP03ZXH5N`
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 2011.07352#UZFS (statement). In 3VPC1GGZ3E/e1, corollary D

History

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

E graph AFP2ZMWSAN

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

Mentions

wikidata: Wikidata Q131369337, E graph (unknown). Also House of Graphs 496, MathWorld EGraph

History

2026-10-26: add by m2/dev

Dan Margalit AFP7C6JV9S

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

Mentions

wikipedia: Wikipedia Dan Margalit (mathematician), Dan Margalit (topic). Also Wikidata Q96065221

History

2026-11-02: add by m2/dev

Paolo dal Pozzo Toscanelli AFP7VKPSYW

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

Mentions

wikipedia: Wikipedia Paolo dal Pozzo Toscanelli, Paolo dal Pozzo Toscanelli (topic). Also Wikidata Q321563

History

2026-11-02: add by m2/dev

Challenging AFPBE9QCMW

URI	`m2://inv/AFPBE9QCMW`
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-4, Challenging (exercise). In E59CDZA4DP, exercise, section 11.1.5

History

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

AFPH4NHYE5 AFPH4NHYE5

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-9 (exercise). In E9HS8K3A52, exercise, section 3.1.5

History

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

AFPHTYG7H1 AFPHTYG7H1

URI	`m2://inv/AFPHTYG7H1`
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.20013#9FPW (statement). In SC5JZQKZH6/e1, proposition 7.1

History

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

Tor AFPK794X2X

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

Mentions

wikipedia: Wikipedia Tor (network), Tor (definition). Also Wikidata Q202044

History

2026-11-02: add by m2/dev

Division by two AFPTXNZGNC

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

Mentions

wikipedia: Wikipedia Division by two, Division by two (definition). Also Wikidata Q2314307

History

2026-11-02: add by m2/dev

Conservation of the total energy AFQ7859PPX

URI	`m2://inv/AFQ7859PPX`
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.31072#ETMM, Conservation of the total energy (statement). In QM7H92J3KV/e1, proposition

History

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

Quotient ring AFQ92803ZQ

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#2JFG, Quotient ring (definition)
wikipedia: Wikipedia List of commutative algebra topics#FK00, Quotient ring (definition)

History

2026-11-02: add by m2/dev

AFQA8HWE3P AFQA8HWE3P

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-23 (exercise). In E9HS8K3A52, exercise, section 8.3.3

History

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

AFQD64WEYD AFQD64WEYD

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

Mentions

arxiv: arXiv 2610.15831#OMBX (definition). In CVESAPNMCQ/e1, definition 5.2

History

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

AFQSBCXXGT AFQSBCXXGT

URI	`m2://inv/AFQSBCXXGT`
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.05427#FE1E (statement). In 4VC60HRHH9/e1, lemma 4.1

History

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

U-chart AFR0ZFTZQV

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

Mentions

wikipedia: Wikipedia List of statistics articles#PTBN, U-chart (definition)

History

2026-11-02: add by m2/dev

Zero function AFRE8P5XXP

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

Mentions

wikipedia: Wikipedia 0#9HM5, Zero function (unknown)

History

2026-11-02: add by m2/dev

Viète's formula AFRN0W4PPG

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

Mentions

wikipedia: Wikipedia List of limits#POU1, Viète's formula (statement)

History

2026-11-02: add by m2/dev

AFRPFGP9TX AFRPFGP9TX

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

Mentions

arxiv: arXiv 2610.00856#1DR4 (statement). In W6VHD4QBY4/e1, lemma 4.1

History

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

functional graph AFRV09V6FD

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#NCCV, functional graph (definition)

History

2026-11-02: add by m2/dev

AFRW8EAHDK AFRW8EAHDK

URI	`m2://inv/AFRW8EAHDK`
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.22384#HYIM (statement)

History

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

Validity of the ten transfer identities AFS1BM3RZ2

URI	`m2://inv/AFS1BM3RZ2`
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.27641#AHO1, Validity of the ten transfer identities (statement)

History

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

Grassmannian AFS9QJ16FT

URI	`m2://inv/AFS9QJ16FT`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Grassmannian CYPA882RB9

Mentions

wikidata: Wikidata Q129638, Grassmannian (concept). Also EoM Grassmann_manifold, MathWorld GrassmannManifold, nLab Grassmannian
wikipedia: Wikipedia Grassmannian, Grassmannian (definition). Also Wikidata Q129638

History

2026-10-26: add by m2/dev

AFSB544M0N AFSB544M0N

URI	`m2://inv/AFSB544M0N`
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.16208#ODX8 (statement). In 7R51MHWQF7/e1, lemma 2.3

History

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

Auxiliary estimates AFSECFDGEF

URI	`m2://inv/AFSECFDGEF`
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.24451#RJEU, Auxiliary estimates (statement)

History

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

Proposition AFSHNJVD96

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

Mentions

wikipedia: Wikipedia Mathematical induction#RSWX, Proposition (statement)

History

2026-11-02: add by m2/dev

Abel–Plana formula AFSNJ4WSYX

URI	`m2://inv/AFSNJ4WSYX`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Abel–Plana formula HMC733EFMD

Mentions

wikidata: Wikidata Q4666730, Abel–Plana formula (concept). Also MathWorld Abel-PlanaFormula
wikipedia: Wikipedia Abel–Plana formula, Abel–Plana formula (statement). Also Wikidata Q4666730

History

2026-10-26: add by m2/dev

AFSPNHETE6 AFSPNHETE6

URI	`m2://inv/AFSPNHETE6`
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.25190#984F (statement)

History

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

Block 2 AFSWETJ96Y

URI	`m2://inv/AFSWETJ96Y`
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.30302#EROY, Block 2 (statement). In R6ABTE22G0/e1, lemma 20

History

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

completely-continuous operator AFT2Z2KY1Y

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

Mentions

wikidata: Wikidata Q21272761, completely-continuous operator (concept). Also EoM Completely-continuous_operator

History

2026-10-26: add by m2/dev

AFT4HK937B AFT4HK937B

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

Mentions

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

History

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

AFT6FG9QN0 AFT6FG9QN0

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/counting-advPIE.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 2.6

History

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

AFT8PXXVSD AFT8PXXVSD

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

Mentions

arxiv: arXiv 2609.20119#N3PT (statement)

History

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

Square-Root-Free Symmetric Turnover AFTCGRG1BB

URI	`m2://inv/AFTCGRG1BB`
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.12228#9ID2, Square-Root-Free Symmetric Turnover (statement). In CTQDSD0HAD/e1, corollary 4.1

History

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

AFTGSN391Z AFTGSN391Z

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise:zeropsufficient (exercise). In VNMV985MXX, exercise, section 4.4

History

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

AFTM2RQZCJ AFTM2RQZCJ

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

Mentions

arxiv: arXiv 2610.19437#D58D (definition). In 9PXXGQ978Z/e1, definition 0.1

History

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

Counterexample AFTQG5S99X

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

Mentions

wikipedia: Wikipedia Hirsch conjecture#2QH8, Counterexample (counterexample)

History

2026-11-02: add by m2/dev

AFTXSD62ZY AFTXSD62ZY

URI	`m2://inv/AFTXSD62ZY`
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 2301.04933#XHN0 (statement). In Q70CTMCJTP/e1, lemma 4.9

History

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

AFV3YDT6KQ AFV3YDT6KQ

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

Mentions

arxiv: arXiv 2609.37739#XQ2G (statement). In F5XF5VXTXY/e1, lemma 8.2

History

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

AFV9S8XC4K AFV9S8XC4K

URI	`m2://inv/AFV9S8XC4K`
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#OR3Y (statement). In 3A4K47Y9F2/e1, lemma 6.21

History

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

AFVCGMDEC5 AFVCGMDEC5

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

Mentions

arxiv: arXiv 2609.36078#51X2 (unknown). In MVKXS0Q6XN/e1, unknown

History

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

Special cases AFVQ82PQJM

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

Mentions

wikipedia: Wikipedia Cairo pentagonal tiling#SRX5, Special cases (statement)

History

2026-11-02: add by m2/dev

Meysam Nassiri AFVTM7JGXC

URI	`m2://inv/AFVTM7JGXC`
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#A78O, Meysam Nassiri (unknown)

History

2026-11-02: add by m2/dev

AFVYP90ZAZ AFVYP90ZAZ

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

Mentions

arxiv: arXiv 2610.09162#TO7Z (statement). In TAPS8P2VYS/e1, corollary 1.12

History

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

Norm of $a+b\sqrt2$ AFVYY92CM9

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

Mentions

napkin: napkin tex/alg-NT/norm-trace.tex#example-1, Norm of $a+b\sqrt2$ (example). In RZP28ERRZV, example, section 15.1

History

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

AFW13QJ3C6 AFW13QJ3C6

URI	`m2://inv/AFW13QJ3C6`
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.25016#XEBF (statement)

History

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

Rita Zemach AFW57BARD0

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#MUZI, Rita Zemach (topic)

History

2026-11-02: add by m2/dev

AFW68YVFK3 AFW68YVFK3

URI	`m2://inv/AFW68YVFK3`
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.37124#WI9K (statement). In 2QF1YG9DD0/e1, corollary 3.18

History

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

AFWA1B6DVX AFWA1B6DVX

URI	`m2://inv/AFWA1B6DVX`
Kind	statement
Layer	research
MSC	16-XX, 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 2610.18302#Q2DD (statement). In VJTRH1S4JA/e1, proposition 3.13

History

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

Sun AFWBWZXWPX

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#8Y2S, Sun (unknown)

History

2026-11-02: add by m2/dev

Examples AFWDR2Y031

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

Mentions

wikipedia: Wikipedia Categorification#Y3VE, Examples (example)

History

2026-11-02: add by m2/dev

Fuchsian model AFWGMTCP03

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

Mentions

wikipedia: Wikipedia Fuchsian model, Fuchsian model (definition). Also Wikidata Q5506950

History

2026-11-02: add by m2/dev

Example AFX3KAV9N3

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

Mentions

wikipedia: Wikipedia Poisson scatter theorem#8YAB, Example (example)

History

2026-11-02: add by m2/dev

Jacqueline Jensen-Vallin AFX3YK66HT

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

Mentions

wikipedia: Wikipedia Jacqueline Jensen-Vallin, Jacqueline Jensen-Vallin (topic). Also Wikidata Q55585012

History

2026-11-02: add by m2/dev

Properties AFX4EBY2V1

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

Mentions

wikipedia: Wikipedia Interior product#RAQF, Properties (statement)

History

2026-11-02: add by m2/dev

Poul Heegaard AFX72J8AH8

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

Mentions

wikipedia: Wikipedia Poul Heegaard, Poul Heegaard (topic). Also Wikidata Q982561

History

2026-11-02: add by m2/dev

AFX8KSTSZD AFX8KSTSZD

URI	`m2://inv/AFX8KSTSZD`
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.02579#9LKB (statement). In CBTJDYHH34/e1, lemma 19

History

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

Generalizations AFX9967VKH

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

Mentions

wikipedia: Wikipedia Conjugate transpose#XL15, Generalizations (statement)

History

2026-11-02: add by m2/dev

Vanishing of primitive torsion at the recurrent endpoint AFXB2R9NN9

URI	`m2://inv/AFXB2R9NN9`
Kind	statement
Layer	research
MSC	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.25762#YNBZ, Vanishing of primitive torsion at the recurrent endpoint (statement)

History

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

Characteristic cancellation AFXDRQJYZB

URI	`m2://inv/AFXDRQJYZB`
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.34066#1AAN, Characteristic cancellation (statement). In F0Y3DZCEH0/e1, lemma 3.1

History

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

AFXFTB2RB1 AFXFTB2RB1

URI	`m2://inv/AFXFTB2RB1`
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.05708#7N1R (statement). In 3BJPFGJNSS/e1, proposition 6.2

History

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

AFXJ8PVRC3 AFXJ8PVRC3

URI	`m2://inv/AFXJ8PVRC3`
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.10230#K0B3 (statement). In YS75517SF7/e1, proposition 2.2

History

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

Applications AFY1ZWYR63

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

Mentions

wikipedia: Wikipedia OMDoc#0I4I, Applications (example)

History

2026-11-02: add by m2/dev

trivial AFY37B0QWM

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#UPEC, trivial (definition)

History

2026-11-02: add by m2/dev

AFY3TD2P7K AFY3TD2P7K

URI	`m2://inv/AFY3TD2P7K`
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#X422 (statement). In 6KST0WX37C/e1, lemma 3.3

History

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

AFY3WYZKVX AFY3WYZKVX

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

Mentions

arxiv: arXiv 2610.06045#6KTX (definition). In SVKM0852RJ/e1, definition 1

History

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

Bollobás–Riordan polynomial AFYEFFDKQ9

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

Mentions

wikipedia: Wikipedia Bollobás–Riordan polynomial, Bollobás–Riordan polynomial (definition). Also Wikidata Q4939809

History

2026-11-02: add by m2/dev

AFYG2EGTVC AFYG2EGTVC

URI	`m2://inv/AFYG2EGTVC`
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.09483#6LGO (statement). In N1MQ8F9JN6/e1, theorem 1.3

History

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

AFYVZB3SNH AFYVZB3SNH

URI	`m2://inv/AFYVZB3SNH`
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.27641#9N2M (statement)

History

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

contact triangle AFYYB5FNQ5

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

Mentions

wikidata: Wikidata Q2739612, contact triangle (concept). Also MathWorld ContactTriangle

History

2026-10-26: add by m2/dev

Hermite spline AFZ78VS81F

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#93NU, Hermite spline (definition)

History

2026-11-02: add by m2/dev

Alexander Rinnooy Kan AFZ8W3GTHW

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#CNSF, Alexander Rinnooy Kan (unknown)

History

2026-11-02: add by m2/dev

AFZ9KKCSWH AFZ9KKCSWH

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

Mentions

hott_book: hott_book logic.tex#thm:isprop-isprop (statement). In N54F33XE07, lem, section 9.3

History

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

The fixed-fibre and moving-centre cases AFZD4PXW5J

URI	`m2://inv/AFZD4PXW5J`
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.10192#7BNV, The fixed-fibre and moving-centre cases (statement). In CEV9Q1KZY7/e1, corollary 10

History

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

anodyne AFZG6H4E6F

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

Mentions

wikipedia: Wikipedia Glossary of category theory#AIT7, anodyne (definition)

History

2026-11-02: add by m2/dev

AFZR2W0TH9 AFZR2W0TH9

URI	`m2://inv/AFZR2W0TH9`
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.11199#IRM7 (statement). In RQ51P6W9C0/e1, theorem 1.2

History

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

Fourier–Legendre series AFZS37EBM8

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

Mentions

wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#F81S, Fourier–Legendre series (definition)

History

2026-11-02: add by m2/dev

Definition AFZS608B0Y

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

Mentions

wikipedia: Wikipedia Herbrand structure#ZJGY, Definition (definition)

History

2026-11-02: add by m2/dev

Unsatisfiable core AFZY0VZA0W

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

Mentions

wikipedia: Wikipedia Unsatisfiable core, Unsatisfiable core (definition). Also Wikidata Q7897421

History

2026-11-02: add by m2/dev