Inventory rows FS

FS00PYY9R7 FS00PYY9R7

URI	`m2://inv/FS00PYY9R7`
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 2405.01860#6UZG (statement). In 8HYS0MFE25/e1, proposition 2.2

History

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

Challenge–response authentication FS060WEH7C

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

Mentions

wikipedia: Wikipedia Challenge–response authentication, Challenge–response authentication (definition). Also Wikidata Q1059963

History

2026-11-02: add by m2/dev

A non-example FS08WGFQBD

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

Mentions

wikipedia: Wikipedia Krull–Schmidt category#WJD7, A non-example (counterexample)

History

2026-11-02: add by m2/dev

Quantum list decoding, list recovery for CSS codes FS125DR5HN

URI	`m2://inv/FS125DR5HN`
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#LHDK, Quantum list decoding, list recovery for CSS codes (definition). In 7MVPNFPRKB/e1, definition 1.5

History

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

Laws of biology FS188TFWW2

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

Mentions

wikipedia: Wikipedia Scientific law#T2LB, Laws of biology (statement)

History

2026-11-02: add by m2/dev

Erhan Çınlar FS1BCG6107

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

Mentions

wikipedia: Wikipedia List of mathematical probabilists#3NPA, Erhan Çınlar (topic)

History

2026-11-02: add by m2/dev

FS1SER2VFX FS1SER2VFX

URI	`m2://inv/FS1SER2VFX`
Kind	definition
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.31289#Z8VN (definition). In CPDM7J0CC0/e1, definition 2.3

History

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

Contraction FS21S00D7P

URI	`m2://inv/FS21S00D7P`
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 2609.33590#1Z5S, Contraction (statement). In WRE0P7V6Z3/e1, lemma A.1

History

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

Publications in topology FS23GS8QHY

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

Mentions

wikipedia: Wikipedia List of topology topics#HBZK, Publications in topology (topic)

History

2026-11-02: add by m2/dev

Cross-entropy method FS23TG737Y

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

Mentions

wikipedia: Wikipedia Cross-entropy method, Cross-entropy method (definition). Also Wikidata Q3333633

History

2026-11-02: add by m2/dev

FS2668T72B FS2668T72B

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

Mentions

arxiv: arXiv 2610.07114#JU5M (statement). In HP3TM356J6/e1, fact 1

History

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

Simpson's paradox FS2CGYNSZQ

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

Mentions

wikipedia: Wikipedia Ecological fallacy#44A8, Simpson's paradox (statement)

History

2026-11-02: add by m2/dev

Examples FS2CK12RCX

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

Mentions

wikipedia: Wikipedia Reach (mathematics)#3GKK, Examples (example)

History

2026-11-02: add by m2/dev

FS2EJ1CW4N FS2EJ1CW4N

URI	`m2://inv/FS2EJ1CW4N`
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 2610.21005#CBJK (definition). In E63NRC7MBE/e1, definition 2.22

History

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

Green, Snashall, Solberg FS2GYP2HQY

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

Mentions

arxiv: arXiv 2610.17070#BCX3, Green, Snashall, Solberg (statement). In W3G9Z9B32N/e1, theorem 5.1

History

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

Energy and velocity spaces on a rectangular domain FS2GZX42HC

URI	`m2://inv/FS2GZX42HC`
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.33033#4P33, Energy and velocity spaces on a rectangular domain (statement). In AJWBAHJ8VD/e1, proposition 5.3

History

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

Sacred Mathematics FS2MCBE8TN

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

Mentions

wikipedia: Wikipedia Sacred Mathematics, Sacred Mathematics (definition). Also Wikidata Q96404773

History

2026-11-02: add by m2/dev

FS2TTPQDH1 FS2TTPQDH1

URI	`m2://inv/FS2TTPQDH1`
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.27301#VLTR (statement)

History

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

Étienne Ghys FS2VTDRBAR

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

Mentions

wikipedia: Wikipedia Étienne Ghys, Étienne Ghys (topic). Also Wikidata Q289674

History

2026-11-02: add by m2/dev

FS2YM9MKW0 FS2YM9MKW0

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

Mentions

arxiv: arXiv 2610.10452#FYUF (unknown). In 2F4PNP1V3B/e1, unknown 6.1

History

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

FS3DKRXDAV FS3DKRXDAV

URI	`m2://inv/FS3DKRXDAV`
Kind	statement
Layer	research
MSC	05-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.00562#C0AL (statement). In 99CQPHSSYF/e1, fact \zarabicsection.\zarabicthrm

History

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

András P. Huhn FS3DRK9C92

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

Mentions

wikipedia: Wikipedia András P. Huhn, András P. Huhn (topic). Also Wikidata Q1056276

History

2026-11-02: add by m2/dev

Smith, Walter L. FS3GP6Z9S5

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

Mentions

wikipedia: Wikipedia List of statisticians#ZPKJ, Smith, Walter L. (topic)

History

2026-11-02: add by m2/dev

vector space FS3H3KZHNY

URI	`m2://inv/FS3H3KZHNY`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Vector space 000AYPA9AJ

Mentions

wikidata: Wikidata Q125977, vector space (definition). Also EoM Vector_space, MathWorld AbstractVectorSpace, MathWorld VectorSpace, nLab vector space, ProofWiki Definition:Vector_Space
wikipedia: Wikipedia Vector space, Vector space (definition). Also Wikidata Q125977

History

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

Quantitative strict crossing (QSC FS3PFGQ0N5

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

Mentions

arxiv: arXiv 2609.33472#I6ZA, Quantitative strict crossing (QSC (definition). In WBQQBZ4FCJ/e1, definition 8.1

History

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

FS3SSN16W1 FS3SSN16W1

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

Mentions

arxiv: arXiv 2609.21034#2XYR (statement)

History

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

A projected-SGD potential with bounded bias FS3WB8MZTC

URI	`m2://inv/FS3WB8MZTC`
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.15543#PRU6, A projected-SGD potential with bounded bias (statement). In TQSHQZFCS5/e1, lemma D.1

History

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

Properties FS3WJ1RD7N

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

Mentions

wikipedia: Wikipedia NP (complexity)#1QUE, Properties (statement)

History

2026-11-02: add by m2/dev

Yuri Aleksandrovich Brychkov FS42QABB13

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

Mentions

wikipedia: Wikipedia Yuri Aleksandrovich Brychkov, Yuri Aleksandrovich Brychkov (topic). Also Wikidata Q38458801

History

2026-11-02: add by m2/dev

Mal'cev operation FS43M6YZ83

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

Mentions

wikipedia: Wikipedia Heap (mathematics)#SOWD, Mal'cev operation (unknown)

History

2026-11-02: add by m2/dev

Detonation FS45WGNFA5

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

Mentions

wikipedia: Wikipedia Detonation, Detonation (definition). Also Wikidata Q786054

History

2026-11-02: add by m2/dev

FS47P53NTR FS47P53NTR

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

Mentions

open_logic: open_logic content/sets-functions-relations/relations/graphs.tex#ex-1 (example). In PKGMM3P5QY, ex, section 80.2

History

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

FS4AZJCACC FS4AZJCACC

URI	`m2://inv/FS4AZJCACC`
Kind	example
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.31910#9VVJ (example). In E4EK1XXPY4/e1, example 3.6

History

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

quantum error correction FS4CFB0S4B

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

Mentions

wikidata: Wikidata Q1536431, quantum error correction (unknown). Also nLab quantum error correction
wikipedia: Wikipedia Quantum error correction, Quantum error correction (definition). Also Wikidata Q1536431

History

2026-10-26: add by m2/dev

FS4HX6GFGY FS4HX6GFGY

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

Mentions

arxiv: arXiv 2609.26127#WDSS (statement)

History

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

neopythagoreanism FS4KBBDGZ4

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

Mentions

wikidata: Wikidata Q1147651, neopythagoreanism (definition). Also ProofWiki Definition:Neo-Pythagoreanism
wikipedia: Wikipedia Neopythagoreanism, Neopythagoreanism (definition). Also Wikidata Q1147651

History

2026-10-26: add by m2/dev

Computation FS4MYWVY2V

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

Mentions

wikipedia: Wikipedia John ellipsoid#NWQM, Computation (definition)

History

2026-11-02: add by m2/dev

Examples FS4WJ4N8YC

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

Mentions

wikipedia: Wikipedia CAT(k) space#58XB, Examples (example)

History

2026-11-02: add by m2/dev

FS4Y06YBMC FS4Y06YBMC

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

Mentions

arxiv: arXiv 2609.27518#1P4C (definition)

History

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

Trichotomy theorem FS4YW7H995

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

Mentions

wikipedia: Wikipedia List of long mathematical proofs#ZWMO, Trichotomy theorem (statement)

History

2026-11-02: add by m2/dev

The Open Mapping Theorem FS4ZQN55P2

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

Mentions

wikipedia: Wikipedia Banach space#8FP7, The Open Mapping Theorem (statement)

History

2026-11-02: add by m2/dev

Lie's theorem FS539687N2

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

Mentions

mathlib_1000: mathlib_1000 Q20971632, Lie's theorem (statement). Also Mathlib LieModule.exists_nontrivial_weightSpace_of_isSolvable, Wikidata Q20971632
thousand_plus: thousand_plus Q20971632, Lie's theorem (statement). Also Wikidata Q20971632, Wikipedia Lie's theorem
wikipedia: Wikipedia Lie's theorem, Lie's theorem (statement). Also Wikidata Q20971632

History

2026-10-26: add by m2/dev

Example FS565EX6Z1

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

Mentions

wikipedia: Wikipedia Quota rule#ZDHJ, Example (example)

History

2026-11-02: add by m2/dev

FS59ZMX5QM FS59ZMX5QM

URI	`m2://inv/FS59ZMX5QM`
Kind	statement
Layer	research
MSC	01-XX, 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.06338#JO3L (statement). In F1CYVYK7YB/e1, corollary 5.3

History

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

DTI measurement FS5CD5V893

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

Mentions

wikipedia: Wikipedia Diffusion-weighted magnetic resonance imaging#RC6S, DTI measurement (unknown)

History

2026-11-02: add by m2/dev

Design matrix FS5FHWZQ0V

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

Mentions

wikipedia: Wikipedia List of statistics articles#4D9K, Design matrix (definition)

History

2026-11-02: add by m2/dev

FS5G8K712S FS5G8K712S

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

Mentions

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

History

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

Yoram Last FS5H2FMTGQ

URI	`m2://inv/FS5H2FMTGQ`
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#8LRT, Yoram Last (unknown)

History

2026-11-02: add by m2/dev

FS5JECHXAH FS5JECHXAH

URI	`m2://inv/FS5JECHXAH`
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.21868#ZPN0 (statement). In WWAQEF0093/e1, lemma 3.5

History

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

Kosnita's theorem FS5PQAXC9Q

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

Mentions

wikidata: Wikidata Q18207105, Kosnita's theorem (statement). Also MathWorld KosnitaTheorem

History

2026-10-26: add by m2/dev

FS5S2V870G FS5S2V870G

URI	`m2://inv/FS5S2V870G`
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.20740#RB5F (statement)

History

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

Definition FS5S93KW70

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

Mentions

wikipedia: Wikipedia Helmholtz free energy#6TYJ, Definition (definition)

History

2026-11-02: add by m2/dev

Lyndon–Hochschild–Serre spectral sequence FS5W45J734

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

Mentions

wikipedia: Wikipedia List of things named after Jean-Pierre Serre#JFSF, Lyndon–Hochschild–Serre spectral sequence (definition)

History

2026-11-02: add by m2/dev

Formal definition FS6AK99SXX

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

Mentions

wikipedia: Wikipedia Markov chain#5086, Formal definition (definition)

History

2026-11-02: add by m2/dev

Yakov Perelman FS6DQCG448

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#CB7Q, Yakov Perelman (unknown)

History

2026-11-02: add by m2/dev

polyhedra models FS6G0XAT7M

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

Mentions

wikipedia: Wikipedia List of uniform polyhedra by vertex figure#B47J, polyhedra models (topic)

History

2026-11-02: add by m2/dev

FS6GR4Z5CW FS6GR4Z5CW

URI	`m2://inv/FS6GR4Z5CW`
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.20783#ELI9 (statement). In KAJXNRDNJP/e1, theorem 1

History

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

FS6Q2SN6HN FS6Q2SN6HN

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

Mentions

arxiv: arXiv 2609.30086#MNGG (definition)

History

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

M-estimator FS6ZR0FEW8

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#WZTN, M-estimator (definition)

History

2026-11-02: add by m2/dev

FS71417R51 FS71417R51

URI	`m2://inv/FS71417R51`
Kind	example
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 2210.16706#MP2G (example). In JSRVKPT87E/e1, example

History

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

Separating set FS740CWWET

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

Mentions

wikipedia: Wikipedia Separating set, Separating set (definition). Also Wikidata Q7451799

History

2026-11-02: add by m2/dev

FS75D9N47P FS75D9N47P

URI	`m2://inv/FS75D9N47P`
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.29824#E6PU (statement)

History

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

Gödel's incompleteness theorem FS78VQ0ZPS

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

Mentions

wikipedia: Wikipedia List of theorems#MO0C, Gödel's incompleteness theorem (statement)

History

2026-11-02: add by m2/dev

Principles FS79V85XVN

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

Mentions

wikipedia: Wikipedia Phase space#ICJ6, Principles (statement)

History

2026-11-02: add by m2/dev

Woo circles FS7FGHKQ7E

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

Mentions

wikipedia: Wikipedia List of circle topics#YVDP, Woo circles (definition)

History

2026-11-02: add by m2/dev

FS7KC7AGF7 FS7KC7AGF7

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

Mentions

arxiv: arXiv 2610.15723#W4RL (statement). In A3KXZ2GBHN/e1, lemma 9

History

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

FS7KHNNNN5 FS7KHNNNN5

URI	`m2://inv/FS7KHNNNN5`
Kind	statement
Layer	research
MSC	13-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 2502.14306#0WYK (statement). In ZNBQD5WH1M/e1, theorem 4.5

History

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

Aviezri Fraenkel FS7Q9AHRBQ

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

Mentions

wikipedia: Wikipedia Aviezri Fraenkel, Aviezri Fraenkel (topic). Also Wikidata Q541206

History

2026-11-02: add by m2/dev

FS7XKQS79M FS7XKQS79M

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

Mentions

arxiv: arXiv 2609.39293#8VYZ (statement). In S26QVW5613/e1, corollary 2.1.2

History

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

Kenneth Ribet FS7Z0NWSES

URI	`m2://inv/FS7Z0NWSES`
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 Q535655, Kenneth Ribet (unknown). Also nLab Ken Ribet
wikipedia: Wikipedia Ken Ribet, Ken Ribet (topic). Also Wikidata Q535655

History

2026-10-26: add by m2/dev

Type 1 migration FS7Z50G6EF

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

Mentions

wikipedia: Wikipedia Planetary migration#RSVK, Type 1 migration (unknown)

History

2026-11-02: add by m2/dev

Properties FS80KADJ1T

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

Mentions

wikipedia: Wikipedia Möbius function#YNMI, Properties (statement)

History

2026-11-02: add by m2/dev

FS80TVQ2R7 FS80TVQ2R7

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

Mentions

arxiv: arXiv 2609.40207#12PO (definition). In JXTG8KP95P/e1, definition 2.29

History

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

Crypto FS84GE2X3Z

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

Mentions

wikipedia: Wikipedia Crypto (book), Crypto (definition). Also Wikidata Q5190792

History

2026-11-02: add by m2/dev

Finer topology FS84J17APA

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

Mentions

wikipedia: Wikipedia Glossary of general topology#HD60, Finer topology (definition)

History

2026-11-02: add by m2/dev

sensible formula FS87HTCCBV

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

Mentions

wikipedia: Wikipedia Glossary of logic#SYJX, sensible formula (definition)

History

2026-11-02: add by m2/dev

Segmented regression FS8B4AGXHV

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

Mentions

wikipedia: Wikipedia Segmented regression, Segmented regression (definition). Also Wikidata Q3775699

History

2026-11-02: add by m2/dev

Bálint Dömölki FS8EQHMM54

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

Mentions

wikipedia: Wikipedia Bálint Dömölki, Bálint Dömölki (topic). Also Wikidata Q17361680

History

2026-11-02: add by m2/dev

Definition FS8GPMEY8Y

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

Mentions

wikipedia: Wikipedia Mosco convergence#6ZSJ, Definition (definition)

History

2026-11-02: add by m2/dev

anomaly FS8GVCR6Q0

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

Mentions

wikidata: Wikidata Q567560, anomaly (unknown). Also nLab quantum anomaly
wikipedia: Wikipedia Anomaly (physics), Anomaly (definition). Also Wikidata Q567560

History

2026-10-26: add by m2/dev

Definition FS8RWA1S11

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

Mentions

wikipedia: Wikipedia Standard linear solid model#P8LC, Definition (definition)

History

2026-11-02: add by m2/dev

Definitions FS8ZBK3KEW

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

Mentions

wikipedia: Wikipedia Credible interval#FGHV, Definitions (definition)

History

2026-11-02: add by m2/dev

Hellinger–Toeplitz theorem FS9019JMN8

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

Mentions

wikipedia: Wikipedia List of theorems#2575, Hellinger–Toeplitz theorem (unknown)

History

2026-11-02: add by m2/dev

graph, interval FS923SYWPG

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

Mentions

applied_combinatorics: applied_combinatorics index/5.4.3/graph-interval, graph, interval (concept). In QKM9DD2H56, index, section 5.4.3

History

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

List of things named after Srinivasa Ramanujan FS92HHM492

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#GFPE, List of things named after Srinivasa Ramanujan (topic)

History

2026-11-02: add by m2/dev

Malwina Luczak FS92RNH6AJ

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

Mentions

wikipedia: Wikipedia Malwina Luczak, Malwina Luczak (topic). Also Wikidata Q78238508

History

2026-11-02: add by m2/dev

Constructive dilemma FS938P5ZTG

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

Mentions

wikipedia: Wikipedia Constructive dilemma#3V8J, Constructive dilemma (statement)

History

2026-11-02: add by m2/dev

Zeeman conjecture FS9DKJSS5V

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#C37Y, Zeeman conjecture (conjecture)

History

2026-11-02: add by m2/dev

Generalizations FS9EVTXAS0

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

Mentions

wikipedia: Wikipedia Vector calculus#ZSDM, Generalizations (statement)

History

2026-11-02: add by m2/dev

Scientific function FS9H25E9V1

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

Mentions

wikipedia: Wikipedia Scientific calculator#WPF7, Scientific function (unknown)

History

2026-11-02: add by m2/dev

trivial group FS9J3BVFFG

URI	`m2://inv/FS9J3BVFFG`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Trivial group 0BNPC9850Y

Mentions

wikidata: Wikidata Q568687, trivial group (definition). Also MathWorld TrivialGroup, nLab trivial group, ProofWiki Definition:Trivial_Group
wikipedia: Wikipedia Trivial group, Trivial group (definition). Also Wikidata Q568687

History

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

FS9NT5HM0H FS9NT5HM0H

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

Mentions

arxiv: arXiv 2302.05529#BVKU (statement). In 9VPMHV0M4R/e1, lemma 1.6

History

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

FS9W9E4J2X FS9W9E4J2X

URI	`m2://inv/FS9W9E4J2X`
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 1902.04230#KWLY (statement). In 22JZ68FGCW/e1, lemma 4.1

History

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

tangent plane FSA3E4MRR0

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

Mentions

wikidata: Wikidata Q2392469, tangent plane (unknown). Also MathWorld TangentPlane

History

2026-10-26: add by m2/dev

FSA75D5M6D FSA75D5M6D

URI	`m2://inv/FSA75D5M6D`
Kind	definition
Layer	research
MSC	03-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 2610.22317#IDN2 (definition). In 2W5Z97BBW4/e1, definition 3.6

History

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

Bloch's theorem FSA7X79C0E

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

Mentions

wikipedia: Wikipedia Bloch's theorem (complex analysis)#6JR2, Bloch's theorem (statement)

History

2026-11-02: add by m2/dev

Crumpling FSA8FQ10A2

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

Mentions

wikipedia: Wikipedia Crumpling, Crumpling (definition). Also Wikidata Q29017879

History

2026-11-02: add by m2/dev

Theorem FSA8YGX1KX

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

Mentions

wikipedia: Wikipedia Lie point symmetry#LH61, Theorem (statement)

History

2026-11-02: add by m2/dev

Lurie characterization theorem FSAANN0233

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

Mentions

wikipedia: Wikipedia ∞-topos#3YRY, Lurie characterization theorem (statement)

History

2026-11-02: add by m2/dev

Applications FSABD02SYP

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

Mentions

wikipedia: Wikipedia Bayesian optimization#XWGB, Applications (example)

History

2026-11-02: add by m2/dev

Admissible functions, cf.\ FSADRNVEFZ

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

Mentions

arxiv: arXiv 2609.24451#6GSK, Admissible functions, cf.\ (definition)

History

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

Marsaglia's theorem FSAMPQVJ4C

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

Mentions

wikipedia: Wikipedia List of theorems#N3T4, Marsaglia's theorem (statement)

History

2026-11-02: add by m2/dev

FSANVZ726E FSANVZ726E

URI	`m2://inv/FSANVZ726E`
Kind	definition
Layer	research
MSC	37-XX, 53-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.26269#3H7E (definition)

History

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

FSAQPPBB2P FSAQPPBB2P

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

Mentions

arxiv: arXiv 2609.39104#IOWC (statement). In V2NTW27MSJ/e1, lemma 2.3

History

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

Applications FSAQXBDATZ

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

Mentions

wikipedia: Wikipedia Irrational rotation#AOF4, Applications (example)

History

2026-11-02: add by m2/dev

FSAVRCG3KJ FSAVRCG3KJ

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

Mentions

arxiv: arXiv 2610.00512#6231 (statement). In RB5QBG3MJY/e1, theorem 6.3

History

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

Studentization FSB9GAZSZ8

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

Mentions

wikipedia: Wikipedia List of statistics articles#51J6, Studentization (definition)

History

2026-11-02: add by m2/dev

context-free grammar FSBDJR2YSM

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

Mentions

wikidata: Wikidata Q338047, context-free grammar (unknown). Also EoM Grammar,_context-free, nLab context-free grammar
wikipedia: Wikipedia Context-free grammar, Context-free grammar (definition). Also Wikidata Q338047

History

2026-10-26: add by m2/dev

Infinite cardinals squared FSBEQB4GFN

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

Mentions

napkin: napkin tex/set-theory/cardinal.tex#theorem-1, Infinite cardinals squared (statement). In RZP28ERRZV, theorem, section 89.4

History

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

FSBSMCAAYA FSBSMCAAYA

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

Mentions

arxiv: arXiv 2609.34295#7NXB (statement). In A93R925Z24/e1, theorem E

History

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

Reification FSBSMM00PG

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

Mentions

wikipedia: Wikipedia List of fallacies#PGUO, Reification (definition)

History

2026-11-02: add by m2/dev

FSBYJK4BJ5 FSBYJK4BJ5

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

Mentions

arxiv: arXiv 2610.18620#7OLS (statement). In 6WJ0R9YEBR/e1, proposition 3.7

History

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

FSC4D6FF1Y FSC4D6FF1Y

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

Mentions

arxiv: arXiv 2609.28893#H8QD (unknown)

History

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

extensional, type theory FSC62TJ17S

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

Mentions

hott_book: hott_book index/1.15/extensional-type-theory, extensional, type theory (concept). In N54F33XE07, index, section 1.15

History

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

Olivier Wittenberg FSC7TC5CXR

URI	`m2://inv/FSC7TC5CXR`
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#9QJJ, Olivier Wittenberg (unknown)

History

2026-11-02: add by m2/dev

Fixed-point lemma for normal functions FSCB12NGPT

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

Mentions

wikipedia: Wikipedia Fixed-point lemma for normal functions, Fixed-point lemma for normal functions (statement). Also Wikidata Q5456327

History

2026-11-02: add by m2/dev

binomial theorem FSCJXA7ZBQ

URI	`m2://inv/FSCJXA7ZBQ`
Kind	statement
Layer	textbook
MSC	05-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Binomial theorem 0EHWPWGHB2

Mentions

mathlib_100: mathlib_100 44, The Binomial Theorem (statement). Also Mathlib add_pow
mathlib_1000: mathlib_1000 Q26708, Binomial theorem (statement). Also Mathlib add_pow, Wikidata Q26708
thousand_plus: thousand_plus Q26708, Binomial theorem (statement). Also Mathlib add_pow, Wikidata Q26708, Wikipedia Binomial theorem
wikidata: Wikidata Q26708, binomial theorem (statement). Also MathWorld BinomialTheorem, nLab binomial theorem, ProofWiki Binomial_Theorem
wikipedia: Wikipedia Binomial theorem, Binomial theorem (statement). Also Wikidata Q26708

History

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

FSCNFZGG62 FSCNFZGG62

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

Mentions

arxiv: arXiv 2610.07240#3VWZ (statement). In D0F1GK5AHW/e1, lemma C.2

History

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

FSCR215N3F FSCR215N3F

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

Mentions

arxiv: arXiv 2609.24542#3I52 (statement)

History

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

Definition FSCS0RY6MM

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

Mentions

wikipedia: Wikipedia Closeness (mathematics)#X08X, Definition (definition)

History

2026-11-02: add by m2/dev

Hilbert curve FSCT77QBG7

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

Mentions

wikidata: Wikidata Q1366592, Hilbert curve (unknown). Also MathWorld HilbertCurve

History

2026-10-26: add by m2/dev

Marin Mersenne FSCTC72S5H

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

Mentions

wikipedia: Wikipedia Marin Mersenne, Marin Mersenne (topic). Also Wikidata Q188663

History

2026-11-02: add by m2/dev

Asian Pacific Mathematics Olympiad FSCTMKS68J

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#S8S3, Asian Pacific Mathematics Olympiad (unknown)

History

2026-11-02: add by m2/dev

History of statistics FSD237YQN1

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

Mentions

wikipedia: Wikipedia List of statistics articles#BUKP, History of statistics (definition)

History

2026-11-02: add by m2/dev

FSDHPHXQ2A FSDHPHXQ2A

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

Mentions

arxiv: arXiv 2207.11097#KFD8 (statement). In 13H5BTAXHF/e1, lemma 4

History

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

survey methodology FSDP6YSBJC

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#BT24, survey methodology (definition)
wikipedia: Wikipedia Glossary of areas of mathematics#6NPB, Survey methodology (definition)

History

2026-11-02: add by m2/dev

Fivefold Gaussian enlargement FSDV385N7S

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

Mentions

arxiv: arXiv 2609.38228#S3FX, Fivefold Gaussian enlargement (statement). In 9YAE8FNQST/e1, theorem 15.18

History

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

Low birth-weight paradox FSDYHS2ETE

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

Mentions

wikipedia: Wikipedia Low birth-weight paradox, Low birth-weight paradox (statement). Also Wikidata Q6692978

History

2026-11-02: add by m2/dev

FSE02498DH FSE02498DH

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-234 (exercise). In VNMV985MXX, exercise, section 4.5

History

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

Shamit Kachru FSE51GQKKD

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

Mentions

wikidata: Wikidata Q368407, Shamit Kachru (unknown). Also nLab Shamit Kachru

History

2026-10-26: add by m2/dev

FSE56VP50F FSE56VP50F

URI	`m2://inv/FSE56VP50F`
Kind	conjecture
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 2404.05451#4SDM (conjecture). In 5YMFYAFFJ7/e1, conjecture 2

History

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

Chebyshev radius and average squared radius of a code FSE8AG5BFE

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

Mentions

arxiv: arXiv 2211.04407#GKEU, Chebyshev radius and average squared radius of a code (definition). In XCZS191H6Q/e1, definition 3

History

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

FSE8SQA6BB FSE8SQA6BB

URI	`m2://inv/FSE8SQA6BB`
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.05506#E2DH (statement). In FT53PMB1TE/e1, lemma 4.3.6

History

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

syllogistic figure FSEAFB6ZAV

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

Mentions

wikipedia: Wikipedia Glossary of logic#5IWO, syllogistic figure (definition)

History

2026-11-02: add by m2/dev

Eilenberg–MacLane space FSEDPKHY0Z

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

Mentions

wikipedia: Wikipedia List of algebraic topology topics#A7FT, Eilenberg–MacLane space (definition)

History

2026-11-02: add by m2/dev

Blass FSEHXFQZX9

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

Mentions

arxiv: arXiv 2609.20140#FSXX, Blass (statement)

History

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

FSEP6QWHAP FSEP6QWHAP

URI	`m2://inv/FSEP6QWHAP`
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.13260#R6Y9 (statement). In ZBQX9341RV/e1, theorem 6.1

History

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

FSEWVJM3NH FSEWVJM3NH

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

Mentions

arxiv: arXiv 2609.35543#T8PL (statement). In WSG1ZW956E/e1, corollary 6.6

History

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

FSEY076ERX FSEY076ERX

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

Mentions

napkin: napkin tex/alg-geom/localization.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 21.4

History

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

Invariant decomposition FSF38FTC7T

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

Mentions

wikipedia: Wikipedia Invariant decomposition, Invariant decomposition (definition). Also Wikidata Q113213706

History

2026-11-02: add by m2/dev

FSFDR96JRN FSFDR96JRN

URI	`m2://inv/FSFDR96JRN`
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 1606.05058#AS1F (statement). In V6392C0ANF/e1, theorem B.1

History

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

FSFEA6265F FSFEA6265F

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

Mentions

open_logic: open_logic content/proof-theory/natural-deduction/grafting.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 57.4

History

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

FSFKHZFP8J FSFKHZFP8J

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

Mentions

arxiv: arXiv 2610.20273#4FCZ (statement). In AEGHDSD5S7/e1, lemma 2.2

History

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

$\star$-Trisection FSFQPEZN7Q

URI	`m2://inv/FSFQPEZN7Q`
Kind	definition
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 1911.06467#PU9K, $\star$-Trisection (definition). In G35G1NJKBX/e1, definition 2.3

History

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

FSFZ2N7GGM FSFZ2N7GGM

URI	`m2://inv/FSFZ2N7GGM`
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.16875#TLCR (statement). In KS30K5JXGB/e1, theorem 3.11

History

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

Accuracy-dependent rank lower bounds FSFZHYG620

URI	`m2://inv/FSFZHYG620`
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.15199#AJVD, Accuracy-dependent rank lower bounds (statement). In EVFTDVP4K4/e1, corollary B.3

History

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

Majority function FSG1N9NBQE

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

Mentions

wikipedia: Wikipedia List of Boolean algebra topics#XHXP, Majority function (definition)

History

2026-11-02: add by m2/dev

Non-examples FSGCE5Y985

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

Mentions

wikipedia: Wikipedia Smooth morphism#KZPR, Non-examples (counterexample)

History

2026-11-02: add by m2/dev

Margaret Wiecek FSGZCRENK1

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

Mentions

wikipedia: Wikipedia Margaret Wiecek, Margaret Wiecek (topic). Also Wikidata Q66750395

History

2026-11-02: add by m2/dev

Googolplex FSGZJQAEVM

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

Mentions

wikipedia: Wikipedia List of numbers#ANIL, Googolplex (definition)

History

2026-11-02: add by m2/dev

Projective unitary group FSH34JW88R

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#CCY2, Projective unitary group (definition)

History

2026-11-02: add by m2/dev

parapluie graph FSH3BJ15R3

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

Mentions

wikidata: Wikidata Q3115595, parapluie graph (unknown). Also House of Graphs 1252, MathWorld ParapluieGraph

History

2026-10-26: add by m2/dev

FSH3FV93S2 FSH3FV93S2

URI	`m2://inv/FSH3FV93S2`
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.36334#HS6J (statement). In YVB70SBGN1/e1, lemma

History

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

translation numbers define a group action up to semiconjugacy FSH8NZXXRB

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

Mentions

mathlib_overview: mathlib_overview Dynamics > Circle dynamics > translation numbers define a group action up to semiconjugacy, translation numbers define a group action up to semiconjugacy (unknown). Also Mathlib CircleDeg1Lift.semiconj_of_group_action_of_forall_translationNumber_eq

History

2026-10-26: add by m2/dev

FSHB4TZSPM FSHB4TZSPM

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

Mentions

arxiv: arXiv 2412.12141#1AXD (statement). In V980ZMH759/e1, corollary 3.8

History

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

Marc Voorhoeve FSHBP07YSF

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

Mentions

wikipedia: Wikipedia Marc Voorhoeve, Marc Voorhoeve (topic). Also Wikidata Q6755943

History

2026-11-02: add by m2/dev

Orbit portrait FSHSR0HZYX

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

Mentions

wikipedia: Wikipedia Orbit portrait, Orbit portrait (definition). Also Wikidata Q7100051

History

2026-11-02: add by m2/dev

Rounding with respect to a fractional ideal FSHWH4W4SK

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

Mentions

arxiv: arXiv 2609.32936#ZHOR, Rounding with respect to a fractional ideal (definition). In QDBYK125AB/e1, definition 3

History

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

FSHXRK9FF6 FSHXRK9FF6

URI	`m2://inv/FSHXRK9FF6`
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 1009.2043#EETY (definition). In 7DCNHRBK5A/e1, definition 2.3

History

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

Definition FSJ5B5EYFC

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

Mentions

wikipedia: Wikipedia Cunningham chain#VQ55, Definition (definition)

History

2026-11-02: add by m2/dev

Corner brackets FSJESB1VV4

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

Mentions

wikipedia: Wikipedia Bracket#ZGT9, Corner brackets (unknown)

History

2026-11-02: add by m2/dev

epicycloid FSJFK4T3KB

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

Mentions

wikidata: Wikidata Q214556, epicycloid (unknown). Also EoM Epicycloid, MathWorld Epicycloid
wikipedia: Wikipedia Epicycloid, Epicycloid (definition). Also Wikidata Q214556

History

2026-10-26: add by m2/dev

Course of Theoretical Physics FSJPQSDKJM

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

Mentions

wikidata: Wikidata Q1965801, Course of Theoretical Physics (unknown). Also nLab Course of Theoretical Physics

History

2026-10-26: add by m2/dev

FSJX4N6GK7 FSJX4N6GK7

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

Mentions

arxiv: arXiv 1904.08413#B95N (statement). In X88HPQ0W8C/e1, proposition 2.18

History

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

spanning set FSKB1FWY71

URI	`m2://inv/FSKB1FWY71`
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.39511#0XLH, spanning set (definition). In 6W9H24A378/e1, definition 2

History

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

FSKEK923KP FSKEK923KP

URI	`m2://inv/FSKEK923KP`
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.35678#AGVH (definition). In 4X4ZS7CEKD/e1, definition 2

History

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

FSKJVDTYHP FSKJVDTYHP

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

Mentions

arxiv: arXiv 2610.10930#LAAO (statement). In HX63A1PH1W/e1, lemma 3.35

History

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

History of game semantics FSKM4N3N6A

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

Mentions

wikipedia: Wikipedia Game semantics#ICBL, History of game semantics (unknown)

History

2026-11-02: add by m2/dev

Generalization FSKN0BMTF1

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

Mentions

wikipedia: Wikipedia Metrizable topological vector space#SM31, Generalization (statement)

History

2026-11-02: add by m2/dev

Valentine Bargmann FSKQ8MWJZX

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

Mentions

wikipedia: Wikipedia Valentine Bargmann, Valentine Bargmann (topic). Also Wikidata Q215977

History

2026-11-02: add by m2/dev

FSKZDFWFYN FSKZDFWFYN

URI	`m2://inv/FSKZDFWFYN`
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 2411.11470#NQDA (statement). In G1E3KERT6K/e1, proposition 3.1

History

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

FSM0C8PN3R FSM0C8PN3R

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-29 (exercise). In QKM9DD2H56, exercise, section 5

History

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

Smallness from almost stability FSM6BB8PHG

URI	`m2://inv/FSM6BB8PHG`
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 2609.32829#3GH9, Smallness from almost stability (statement). In RYWAX33Z51/e1, proposition 10.8

History

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

FSMDX65FW0 FSMDX65FW0

URI	`m2://inv/FSMDX65FW0`
Kind	statement
Layer	research
MSC	05-XX, 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.25168#4CED (statement)

History

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

FSMGFXTDMA FSMGFXTDMA

URI	`m2://inv/FSMGFXTDMA`
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.14458#P83W (statement). In WJ76MVYAZQ/e1, theorem 1.2

History

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

Hartmanis–Stearns conjecture FSMH4CF0HT

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

Mentions

wikipedia: Wikipedia Hartmanis–Stearns conjecture, Hartmanis–Stearns conjecture (conjecture). Also Wikidata Q135650206

History

2026-11-02: add by m2/dev

Variants FSMM1HG0Q9

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

Mentions

wikipedia: Wikipedia Rectified linear unit#7VE1, Variants (statement)

History

2026-11-02: add by m2/dev

FSN518S6GN FSN518S6GN

URI	`m2://inv/FSN518S6GN`
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#3FVP (statement). In X38P26DK6S/e1, proposition 6.10

History

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

Hoeffding's inequality FSN5NJRQ84

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

Mentions

wikipedia: Wikipedia List of statistics articles#DTIY, Hoeffding's inequality (statement)
wikipedia: Wikipedia List of inequalities#U0Q6, Hoeffding's inequality (statement)

History

2026-11-02: add by m2/dev

Homotopy invariance of de Rham cohomology FSNGVEV0YN

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

Mentions

wikipedia: Wikipedia De Rham cohomology#IP2F, Homotopy invariance of de Rham cohomology (unknown)

History

2026-11-02: add by m2/dev

Applications FSNH9P9JQJ

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

Mentions

wikipedia: Wikipedia Zero-knowledge proof#3Q6G, Applications (example)

History

2026-11-02: add by m2/dev

FSNHRXSS3D FSNHRXSS3D

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

Mentions

open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/truth-in-model.tex#prop:truthfacts (statement). In PKGMM3P5QY, prop, section 55.3

History

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

FSNKE5KFR3 FSNKE5KFR3

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

Mentions

arxiv: arXiv 2610.05867#VSKA (statement). In E2TP3AKTNV/e1, theorem 9

History

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

FSP4HX6CC8 FSP4HX6CC8

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

Mentions

arxiv: arXiv 1903.07030#YM1D (definition). In 9H45HQE7AZ/e1, definition 2.35

History

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

Hypergeometric test FSP6KVANAQ

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

Mentions

wikipedia: Wikipedia Hypergeometric distribution#YNN6, Hypergeometric test (unknown)

History

2026-11-02: add by m2/dev

Knapsack problem FSP8NPKDD5

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#6J0V, Knapsack problem (problem)

History

2026-11-02: add by m2/dev

FSPB203ENE FSPB203ENE

URI	`m2://inv/FSPB203ENE`
Kind	problem
Layer	research
MSC	05-XX, 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.16605#SXIR (problem). In KZ175036B5/e1, problem 6.1

History

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

FSPDA6T93H FSPDA6T93H

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

Mentions

arxiv: arXiv 2609.31249#P9JG (statement). In RAVR2W9S0B/e1, proposition 7.1

History

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

A log-pair wall crossing FSPEYFMEZC

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

Mentions

arxiv: arXiv 2610.15831#BJ5L, A log-pair wall crossing (example). In CVESAPNMCQ/e1, example 4.13

History

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

FSPEZQ1PY3 FSPEZQ1PY3

URI	`m2://inv/FSPEZQ1PY3`
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.36321#9XQE (statement). In 3KTZ6Z615H/e1, theorem 2.9

History

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

Ernst Hölder FSPF0X55F3

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

Mentions

wikipedia: Wikipedia Ernst Hölder, Ernst Hölder (topic). Also Wikidata Q92415

History

2026-11-02: add by m2/dev

FSPGDD04Y4 FSPGDD04Y4

URI	`m2://inv/FSPGDD04Y4`
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.02395#P2TG (statement). In APA7TRPA87/e1, theorem 1

History

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

Modulus of Continuity of $U_\omega$ FSPHYBVSZM

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

Mentions

arxiv: arXiv 2610.13222#W58B, Modulus of Continuity of $U_\omega$ (statement). In Z6WA2R0J50/e1, lemma B.4

History

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

Applications FSPNNHTJ12

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

Mentions

wikipedia: Wikipedia Discrete cosine transform#7AQI, Applications (example)

History

2026-11-02: add by m2/dev

Definition FSPQ65TDTX

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

Mentions

wikipedia: Wikipedia DF-space#TA7T, Definition (definition)

History

2026-11-02: add by m2/dev

Local advantage drift FSPVSSQKS0

URI	`m2://inv/FSPVSSQKS0`
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.04638#8X8M, Local advantage drift (statement). In 3YM5F3YHD5/e1, corollary F.4

History

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

FSPZGDEDEA FSPZGDEDEA

URI	`m2://inv/FSPZGDEDEA`
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.17129#TPO0 (statement). In TCZWAMNYCV/e1, proposition 2.3

History

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

Definitions FSQ3M6CHY2

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

Mentions

wikipedia: Wikipedia Radon measure#F15N, Definitions (definition)

History

2026-11-02: add by m2/dev

A Separation principle for delay-differential systems FSQ8HYEKMS

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

Mentions

wikipedia: Wikipedia Separation principle in stochastic control#7UCP, A Separation principle for delay-differential systems (statement)

History

2026-11-02: add by m2/dev

Methods FSQCX4W7RY

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

Mentions

wikipedia: Wikipedia Dasymetric map#9YG5, Methods (definition)

History

2026-11-02: add by m2/dev

FSQD5F2Z3B FSQD5F2Z3B

URI	`m2://inv/FSQD5F2Z3B`
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.18358#MPTF (statement). In SPZ446XNDW/e1, lemma 3.4

History

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

Adi Shamir FSQND6B5K3

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#RJ76, Adi Shamir (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TJKR, Adi Shamir (topic)

History

2026-11-02: add by m2/dev

FSQNWJTEV0 FSQNWJTEV0

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

Mentions

arxiv: arXiv 1002.0879#YZO1 (definition). In M0SQY5EZN5/e1, definition 1.4.3

History

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

Haya Kaspi FSR0KN2PRH

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

Mentions

wikipedia: Wikipedia Haya Kaspi, Haya Kaspi (topic). Also Wikidata Q67361583

History

2026-11-02: add by m2/dev

Identity theorem\index{identity theorem} FSR1AY9BCG

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

Mentions

lebl_scv: lebl_scv scv.tex#thm:identity, Identity theorem\index{identity theorem} (statement). In VNMV985MXX, thm, section 1.2

History

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

Least common multiple (or LCM) of {1, 2, ..., n} for n >= 1, a(0) = 1. FSR4B677NR

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

Mentions

wikidata: Wikidata Q100193223, Least common multiple (or LCM) of {1, 2, ..., n} for n >= 1, a(0) = 1. (object). Also OEIS A003418

History

2026-10-26: add by m2/dev

Characterization FSR73822NJ

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

Mentions

wikipedia: Wikipedia Cut locus#I21F, Characterization (statement)

History

2026-11-02: add by m2/dev

FSRARJ1BF0 FSRARJ1BF0

URI	`m2://inv/FSRARJ1BF0`
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 2204.01073#5IK5 (statement). In W4TYN4PGE8/e1, theorem 1.2

History

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

Ancient Greek mathematics FSRHYRG8FB

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

Mentions

wikipedia: Wikipedia Ancient Greek mathematics, Ancient Greek mathematics (definition). Also Wikidata Q58413

History

2026-11-02: add by m2/dev

Point-preimage evaluation FSRM253GRM

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

Mentions

arxiv: arXiv 2609.29839#XM7O, Point-preimage evaluation (statement)

History

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

Examples FSRY4S0ZXZ

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

Mentions

wikipedia: Wikipedia Casorati–Weierstrass theorem#OD04, Examples (example)

History

2026-11-02: add by m2/dev

FSRZTCPRS0 FSRZTCPRS0

URI	`m2://inv/FSRZTCPRS0`
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 2407.05730#GLYA (statement). In VQ7STN4KDC/e1, corollary 3.7

History

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

From the compactness theorem FSS1J8ADEB

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

Mentions

wikipedia: Wikipedia Non-standard model of arithmetic#HN7W, From the compactness theorem (statement)

History

2026-11-02: add by m2/dev

Important conjectures FSS9DSJWNE

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

Mentions

wikipedia: Wikipedia 3-manifold#ESMT, Important conjectures (statement)

History

2026-11-02: add by m2/dev

FSSCT55W0A FSSCT55W0A

URI	`m2://inv/FSSCT55W0A`
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.25539#BCNG (statement)

History

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

FSSHVB132T FSSHVB132T

URI	`m2://inv/FSSHVB132T`
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.17565#KS0Q (statement). In C422901XCN/e1, lemma 4.3

History

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

Rinat Kashaev FSSTMJSM6E

URI	`m2://inv/FSSTMJSM6E`
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#KUYL, Rinat Kashaev (unknown)

History

2026-11-02: add by m2/dev

FSSXS7N3HE FSSXS7N3HE

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

Mentions

arxiv: arXiv 2609.24614#6KJE (statement)

History

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

rectangle FST3ARHAB2

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

Mentions

lebl_ra: lebl_ra index/5.1.1/rectangle, rectangle (concept). In E59CDZA4DP, index, section 5.1.1

History

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

FSTDXF4481 FSTDXF4481

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

Mentions

arxiv: arXiv 2610.20916#5EZJ (statement). In HV598NZW9X/e1, lemma 3.1

History

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

Examples of graded rings FSTF6PWKXW

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

Mentions

napkin: napkin tex/homology/cup-product.tex#example-1, Examples of graded rings (example). In RZP28ERRZV, example, section 52.3

History

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

Telnet FSTKBQY7WQ

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

Mentions

wikipedia: Wikipedia List of steganography techniques#8NZ5, Telnet (unknown)

History

2026-11-02: add by m2/dev

Cayley's formula FSTPVJX1NE

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

Mentions

applied_combinatorics: applied_combinatorics index/5.6/cayley-s-formula, Cayley's formula (concept). In QKM9DD2H56, index, section 5.6

History

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

FSTTX61SPH FSTTX61SPH

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

Mentions

arxiv: arXiv 2610.03555#2NLY (statement). In 9JZJTRRVR1/e1, lemma 4.10

History

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

Mark Braverman FSTVTPADFF

URI	`m2://inv/FSTVTPADFF`
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#A3I8, Mark Braverman (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#I3YO, Mark Braverman (topic)

History

2026-11-02: add by m2/dev

FSV07SGA8G FSV07SGA8G

URI	`m2://inv/FSV07SGA8G`
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#4ELN (statement). In 4VC60HRHH9/e1, lemma 2.4

History

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

Juan C. Simo FSV278S4PP

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

Mentions

wikipedia: Wikipedia Juan C. Simo, Juan C. Simo (topic). Also Wikidata Q102194749

History

2026-11-02: add by m2/dev

Piling-up lemma FSV5FTK616

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

Mentions

wikipedia: Wikipedia Piling-up lemma, Piling-up lemma (statement). Also Wikidata Q3229327

History

2026-11-02: add by m2/dev

Dominique de Caen FSVHH81J3W

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

Mentions

wikipedia: Wikipedia Dominique de Caen, Dominique de Caen (topic). Also Wikidata Q5291189

History

2026-11-02: add by m2/dev

Mapping space FSVHNRSYBQ

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

Mentions

wikipedia: Wikipedia Mapping space, Mapping space (definition). Also Wikidata Q131374881

History

2026-11-02: add by m2/dev

Census in Botswana FSVHVFQNDX

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

Mentions

wikipedia: Wikipedia Census in Botswana, Census in Botswana (definition). Also Wikidata Q5058968

History

2026-11-02: add by m2/dev

Proving Godel's first incompleteness theorem FSVQ2RTAJV

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

Mentions

wikipedia: Wikipedia Hilbert–Bernays–Löb provability conditions#46X6, Proving Godel's first incompleteness theorem (statement)

History

2026-11-02: add by m2/dev

FSVQATHVZG FSVQATHVZG

URI	`m2://inv/FSVQATHVZG`
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.30892#CP6B (statement). In F7C1RM5VA4/e1, proposition 2.5

History

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

Prime filter FSWET8JSG6

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

Mentions

wikipedia: Wikipedia Ideal (order theory)#DBJO, Prime filter (unknown)

History

2026-11-02: add by m2/dev

Uniform Crime Reports FSWF957BN6

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

Mentions

wikipedia: Wikipedia Uniform Crime Reports, Uniform Crime Reports (definition). Also Wikidata Q438714

History

2026-11-02: add by m2/dev

John Myhill FSWNTMDV6H

URI	`m2://inv/FSWNTMDV6H`
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 Q402579, John Myhill (unknown). Also nLab John Myhill
wikipedia: Wikipedia John Myhill, John Myhill (topic). Also Wikidata Q402579

History

2026-10-26: add by m2/dev

PR FSWRJ7KANG

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

Mentions

wikipedia: Wikipedia PR (complexity), PR (definition). Also Wikidata Q841343

History

2026-11-02: add by m2/dev

FSWYXZB9R8 FSWYXZB9R8

URI	`m2://inv/FSWYXZB9R8`
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.16563#H93Y (statement). In V51HCA9ZAA/e1, lemma 3.1

History

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

FSX08EVJ8Q FSX08EVJ8Q

URI	`m2://inv/FSX08EVJ8Q`
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.13792#KJMY (statement). In ZH0PFTZ12Y/e1, corollary 4.21

History

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

Parabolic subgroups of algebraic groups FSX9T10Q5E

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

Mentions

wikipedia: Wikipedia Borel subgroup#7LMI, Parabolic subgroups of algebraic groups (unknown)

History

2026-11-02: add by m2/dev

FSXCAHNW3G FSXCAHNW3G

URI	`m2://inv/FSXCAHNW3G`
Kind	example
Layer	research
MSC	30-XX, 32-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.12497#Y2HV (example). In Z0SAF18JPP/e1, example 3.1

History

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

Qiang Du FSXCCTMGGP

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#55LE, Qiang Du (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D11S, Qiang Du (unknown)

History

2026-11-02: add by m2/dev

FSXK08Y5EN FSXK08Y5EN

URI	`m2://inv/FSXK08Y5EN`
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 2112.14455#RD3L (statement). In VDE5R8HBS1/e1, theorem 6.1

History

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

FSXRE35KW1 FSXRE35KW1

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

Mentions

arxiv: arXiv 2609.37271#KHSJ (problem). In 9WP2QGKMG8/e1, problem 1.1

History

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

FSXZSSN4S1 FSXZSSN4S1

URI	`m2://inv/FSXZSSN4S1`
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.04355#WRZB (statement). In 99AHANMS2H/e1, proposition 2

History

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

Alexander Scott FSY0TVNAPT

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

Mentions

wikipedia: Wikipedia Alexander Scott (British academic), Alexander Scott (topic). Also Wikidata Q136032251

History

2026-11-02: add by m2/dev

FSYEW08QC6 FSYEW08QC6

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

Mentions

arxiv: arXiv 2609.20894#KP0P (definition)

History

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

Normalized values are uniformly bounded FSYJ86KQ9M

URI	`m2://inv/FSYJ86KQ9M`
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.14988#02O5, Normalized values are uniformly bounded (statement). In B29M4E6KGC/e1, lemma G.6

History

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

FSYJ8DG9ZM FSYJ8DG9ZM

URI	`m2://inv/FSYJ8DG9ZM`
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#NJEK (example). In 2QP93JHYNB/e1, example 5.1

History

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

FSYN9T476G FSYN9T476G

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

Mentions

arxiv: arXiv 2609.39700#HVF6 (statement). In E7W2HDNEKJ/e1, lemma 7.20

History

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

Lanchester's laws FSYS6ZKH9Y

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

Mentions

wikipedia: Wikipedia Lanchester's laws, Lanchester's laws (statement). Also Wikidata Q388738

History

2026-11-02: add by m2/dev

FSZ5ZCR6MT FSZ5ZCR6MT

URI	`m2://inv/FSZ5ZCR6MT`
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 math/0003117#OMMZ (statement). In WD2NCBV9F0/e1, proposition 5.7

History

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

FSZAV857ZH FSZAV857ZH

URI	`m2://inv/FSZAV857ZH`
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.36237#3MG0 (statement). In JNBMSFE14N/e1, theorem 3.1

History

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

GOST FSZB7KWBXZ

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

Mentions

wikipedia: Wikipedia GOST (block cipher), GOST (definition). Also Wikidata Q2507783

History

2026-11-02: add by m2/dev

Mindel C. Sheps FSZV48Z7V2

URI	`m2://inv/FSZV48Z7V2`
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#K3IU, Mindel C. Sheps (topic)

History

2026-11-02: add by m2/dev

Linear Algebra FSZW9X1RBF

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

Mentions

wikipedia: Wikipedia Linear Algebra (book), Linear Algebra (definition). Also Wikidata Q135764737

History

2026-11-02: add by m2/dev

FSZXSR9REW FSZXSR9REW

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

Mentions

arxiv: arXiv 2609.30732#GJ9T (definition). In Q9ZPYJEHT2/e1, definition

History

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