Inventory rows FC

Cobb-Douglas utility FC00B54554

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

Mentions

wikipedia: Wikipedia Cobb–Douglas production function#SW70, Cobb-Douglas utility (unknown)

History

2026-11-02: add by m2/dev

Hesse FC0MVX61MR

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#KIBY, Hesse (definition)

History

2026-11-02: add by m2/dev

Product expansion, adapted FC0R4Q5JNR

URI	`m2://inv/FC0R4Q5JNR`
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#MKJK, Product expansion, adapted (statement)

History

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

FC0R96ZV28 FC0R96ZV28

URI	`m2://inv/FC0R96ZV28`
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.22924#R0M2 (statement)

History

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

curl FC0SA9EG92

URI	`m2://inv/FC0SA9EG92`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Curl 0NF6GQNXMY

Mentions

wikidata: Wikidata Q206310, curl (unknown). Also EoM Curl, MathWorld Curl, nLab curl
wikipedia: Wikipedia Curl (mathematics), Curl (definition). Also Wikidata Q206310

History

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

Formal statement FC0XGNXJDW

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

Mentions

wikipedia: Wikipedia Goldbach's conjecture#N6TU, Formal statement (statement)

History

2026-11-02: add by m2/dev

FC10X45BBA FC10X45BBA

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

Mentions

napkin: napkin tex/alg-NT/frobenius.tex#ques-5 (exercise). In RZP28ERRZV, ques, section 13.8

History

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

FC1467AJFS FC1467AJFS

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

Mentions

open_logic: open_logic content/computability/recursive-functions/examples.tex#proof-6 (proof). In PKGMM3P5QY, proof, section 3.20

History

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

20th century in mathematics FC197JRTHX

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

Mentions

wikipedia: Wikipedia History of mathematics#NAYQ, 20th century in mathematics (unknown)

History

2026-11-02: add by m2/dev

Compound probability distribution FC1DX43ZX8

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

Mentions

wikipedia: Wikipedia List of statistics articles#ESB1, Compound probability distribution (definition)

History

2026-11-02: add by m2/dev

Quantum bouncing ball FC1G19SHXT

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

Mentions

wikipedia: Wikipedia WKB approximation#1OC6, Quantum bouncing ball (unknown)

History

2026-11-02: add by m2/dev

Florian Cajori FC1MBZ6W9H

URI	`m2://inv/FC1MBZ6W9H`
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#SWPM, Florian Cajori (topic)

History

2026-11-02: add by m2/dev

Mark Lee Green FC1MHBN213

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

Mentions

wikipedia: Wikipedia Mark Lee Green, Mark Lee Green (topic). Also Wikidata Q15739961

History

2026-11-02: add by m2/dev

Beal's conjecture FC1MPFVNV1

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#4HGE, Beal's conjecture (conjecture)

History

2026-11-02: add by m2/dev

TV-distance between product distributions FC1S0GDW5B

URI	`m2://inv/FC1S0GDW5B`
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.24235#EB2N, TV-distance between product distributions (statement)

History

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

FC2BPEWPY0 FC2BPEWPY0

URI	`m2://inv/FC2BPEWPY0`
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 1512.06981#PGZM (definition). In X923ZEY423/e1, definition 1.1.3

History

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

FC2DN5J85Y FC2DN5J85Y

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

Mentions

napkin: napkin tex/set-theory/forcing.tex#definition-4 (definition). In RZP28ERRZV, definition, section 90.2

History

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

Antonio Montalbán FC2F35AT26

URI	`m2://inv/FC2F35AT26`
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#AFG5, Antonio Montalbán (unknown)

History

2026-11-02: add by m2/dev

FC2KZQQW4P FC2KZQQW4P

URI	`m2://inv/FC2KZQQW4P`
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#ZM31 (statement). In VDE5R8HBS1/e1, proposition 3.6

History

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

FC2N2MXAGZ FC2N2MXAGZ

URI	`m2://inv/FC2N2MXAGZ`
Kind	definition
Layer	research
MSC	16-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 2210.17066#AAFB (definition). In X2AEJAQEP8/e1, definition 3.18

History

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

FC2VSYCJD2 FC2VSYCJD2

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

Mentions

austin_ula: austin_ula src/section2-4.xml#proposition-1 (statement). In 649HGZKE96, proposition, section 2.4.3

History

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

Laws of chemistry FC2XV0KAN2

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

Mentions

wikipedia: Wikipedia Scientific law#WOFO, Laws of chemistry (statement)

History

2026-11-02: add by m2/dev

Mark Iosifovich Graev FC2Y27Y3CH

URI	`m2://inv/FC2Y27Y3CH`
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#Z5S8, Mark Iosifovich Graev (topic)

History

2026-11-02: add by m2/dev

Ordinary six-column values FC3314SGJZ

URI	`m2://inv/FC3314SGJZ`
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.05442#155R, Ordinary six-column values (statement). In WEPE51JCHZ/e1, lemma 2.2

History

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

Kimiko O. Bowman FC3A7NQPX3

URI	`m2://inv/FC3A7NQPX3`
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#KHCA, Kimiko O. Bowman (topic)

History

2026-11-02: add by m2/dev

Exactness and decomposition-dependent cost FC3BWYH7RK

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

Mentions

arxiv: arXiv 2609.34025#68PQ, Exactness and decomposition-dependent cost (statement). In VCG579E7MM/e1, theorem 1

History

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

Serge Massar FC3JAZV0KD

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#UPM0, Serge Massar (topic)

History

2026-11-02: add by m2/dev

Michael Finkelberg FC3JEV36C3

URI	`m2://inv/FC3JEV36C3`
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#NU0B, Michael Finkelberg (unknown)

History

2026-11-02: add by m2/dev

Sixteen Mile Stand, Ohio FC3QQ1J1RJ

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

Mentions

wikipedia: Wikipedia List of places with numeric names#AET3, Sixteen Mile Stand, Ohio (unknown)

History

2026-11-02: add by m2/dev

Philipp Furtwängler FC3QQ2QVB8

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

Mentions

wikipedia: Wikipedia List of German mathematicians#X353, Philipp Furtwängler (topic)

History

2026-11-02: add by m2/dev

FC3ST09G3T FC3ST09G3T

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

Mentions

arxiv: arXiv 2609.21098#AWPN (statement)

History

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

Makoto Matsumoto FC421BMKCB

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

Mentions

wikipedia: Wikipedia Makoto Matsumoto (mathematician), Makoto Matsumoto (topic). Also Wikidata Q18054807

History

2026-11-02: add by m2/dev

FC4966493W FC4966493W

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

History

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

Tuza's conjecture FC4DKBK4WB

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#AO4N, Tuza's conjecture (conjecture)

History

2026-11-02: add by m2/dev

FC4NQQFC7V FC4NQQFC7V

URI	`m2://inv/FC4NQQFC7V`
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 2308.05715#QD2S (statement). In FC0SB9JFWH/e1, corollary 3.5

History

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

FC4VQBMQ89 FC4VQBMQ89

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/counting-starsbars.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 2.5

History

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

Properties FC4WB137K7

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

Mentions

wikipedia: Wikipedia Janko group J1#7XJZ, Properties (statement)

History

2026-11-02: add by m2/dev

Extensions FC4WDWT023

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

Mentions

wikipedia: Wikipedia Pseudo-marginal Metropolis–Hastings algorithm#SXB1, Extensions (statement)

History

2026-11-02: add by m2/dev

Annular fibration FC4ZT63H6H

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

Mentions

arxiv: arXiv 2609.37368#3WJG, Annular fibration (statement). In FRMCKEGVJZ/e1, lemma 24

History

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

Transportation theory FC50VF413Q

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

Mentions

wikipedia: Wikipedia Transportation theory (mathematics), Transportation theory (topic). Also Wikidata Q1929885

History

2026-11-02: add by m2/dev

Applications FC53PPMZKQ

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

Mentions

wikipedia: Wikipedia Elongated bipyramid#VMGH, Applications (example)

History

2026-11-02: add by m2/dev

Spectr-H64 FC56JC6CGW

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

Mentions

wikipedia: Wikipedia Spectr-H64, Spectr-H64 (definition). Also Wikidata Q7575152

History

2026-11-02: add by m2/dev

Face FC57V6R24D

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#MNTV, Face (definition)

History

2026-11-02: add by m2/dev

Gini, Corrado FC5HNBPQNP

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

Mentions

wikipedia: Wikipedia List of statisticians#4V9I, Gini, Corrado (unknown)

History

2026-11-02: add by m2/dev

FC5HS76E23 FC5HS76E23

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

Mentions

arxiv: arXiv 2106.06387#XEEG (unknown). In 4YJH4FPWDA/e1, unknown 4.6

History

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

Notation FC5RNM3APR

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

Mentions

wikipedia: Wikipedia Green measure#Y7P9, Notation (definition)

History

2026-11-02: add by m2/dev

Applications FC5T57HCR1

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

Mentions

wikipedia: Wikipedia Bernays–Schönfinkel class#FQDD, Applications (example)

History

2026-11-02: add by m2/dev

FC5VSG9HPY FC5VSG9HPY

URI	`m2://inv/FC5VSG9HPY`
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 0908.3266#83KA (statement). In B0W6PMDN3N/e1, theorem 2.3

History

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

FC622ZH3D5 FC622ZH3D5

URI	`m2://inv/FC622ZH3D5`
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 2211.04758#T7XY (statement). In DRWDJG2G3S/e1, theorem 1.9

History

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

Optimal memory cost FC62QDGHJN

URI	`m2://inv/FC62QDGHJN`
Kind	statement
Layer	research
MSC	81-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 2610.06742#0ZQP, Optimal memory cost (statement). In 24FJ7C8WPN/e1, theorem 1

History

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

regular icosahedron FC638RNFG4

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

Mentions

wikidata: Wikidata Q18015071, regular icosahedron (definition). Also MathWorld RegularIcosahedron, ProofWiki Definition:Icosahedron/Regular
wikipedia: Wikipedia Regular icosahedron, Regular icosahedron (definition). Also Wikidata Q18015071

History

2026-10-26: add by m2/dev

classification of elements of $\mathrm{O}(2, \R)$ FC638ZFZHR

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

Mentions

mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Low dimensions > classification of elements of $\mathrm{O}(2, \R)$, classification of elements of $\mathrm{O}(2, \R)$ (unknown)

History

2026-10-26: add by m2/dev

Dirichlet's formulas FC6ENYGD6S

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

Mentions

wikipedia: Wikipedia Quadratic residue#N8R4, Dirichlet's formulas (statement)

History

2026-11-02: add by m2/dev

Friedrich Levi FC6RDF7RPP

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#AC82, Friedrich Levi (topic)

History

2026-11-02: add by m2/dev

FF-DHE FC6T6034QB

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

Mentions

wikipedia: Wikipedia Diffie–Hellman key exchange#IU9Q, FF-DHE (unknown)

History

2026-11-02: add by m2/dev

Groceries list FC6XZ1QQF9

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

Mentions

wikipedia: Wikipedia List#UH2P, Groceries list (unknown)

History

2026-11-02: add by m2/dev

Uniform exposure of one candidate type FC75CDDFQ6

URI	`m2://inv/FC75CDDFQ6`
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.20414#HCC5, Uniform exposure of one candidate type (statement). In X2NNNW8CX5/e1, lemma 5.3

History

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

Quasitrace FC773KZBKQ

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

Mentions

wikipedia: Wikipedia Quasitrace, Quasitrace (definition). Also Wikidata Q104849258

History

2026-11-02: add by m2/dev

Stanley–Reisner ring FC7FPS6KQ5

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

Mentions

wikipedia: Wikipedia Stanley–Reisner ring, Stanley–Reisner ring (definition). Also Wikidata Q7600086

History

2026-11-02: add by m2/dev

A hereditary finite-basis criterion FC7JN495CR

URI	`m2://inv/FC7JN495CR`
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#MRZF, A hereditary finite-basis criterion (statement). In E7W2HDNEKJ/e1, theorem 3.1

History

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

Definition FC7RCM1A4G

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

Mentions

wikipedia: Wikipedia Divisible group#5IHD, Definition (definition)

History

2026-11-02: add by m2/dev

Cynthia Rudin FC81W4FGC2

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#L2N0, Cynthia Rudin (unknown)

History

2026-11-02: add by m2/dev

FC858ARTV5 FC858ARTV5

URI	`m2://inv/FC858ARTV5`
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.07259#EIDF (statement). In XMR1TTDSPG/e1, lemma 4.4

History

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

FC88P4CJY6 FC88P4CJY6

URI	`m2://inv/FC88P4CJY6`
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 2404.05965#DS0C (statement). In GD1GED3FZ3/e1, proposition 3.2

History

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

FC8B7ZC8QZ FC8B7ZC8QZ

URI	`m2://inv/FC8B7ZC8QZ`
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 2303.10963#TKYP (statement). In F32XWYWG8E/e1, proposition 4.8

History

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

L\'evy reference completion FC8DQP3NT4

URI	`m2://inv/FC8DQP3NT4`
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#XRXU, L\'evy reference completion (statement). In 9YAE8FNQST/e1, theorem 4.3

History

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

FC8E8V5K64 FC8E8V5K64

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

Mentions

arxiv: arXiv 2610.16657#BYK1 (statement). In SRQ37RX6MK/e1, theorem 6.1

History

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

FC8XTFQ672 FC8XTFQ672

URI	`m2://inv/FC8XTFQ672`
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.13214#PF6M (statement). In 4GRNWWH88J/e1, proposition 5.4

History

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

Applications FC977TF8EK

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

Mentions

wikipedia: Wikipedia Second-harmonic generation#GKJR, Applications (example)

History

2026-11-02: add by m2/dev

Gradients of the observations FC97ESX96R

URI	`m2://inv/FC97ESX96R`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 49-XX, 58-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.05164#EQ2L, Gradients of the observations (statement). In JY6RYSNXMJ/e1, lemma 26

History

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

FC9898NESP FC9898NESP

URI	`m2://inv/FC9898NESP`
Kind	statement
Layer	research
MSC	11-XX, 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.32090#UP1A (statement). In HJWWFBA63D/e1, lemma 3.2

History

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

FC9918R06M FC9918R06M

URI	`m2://inv/FC9918R06M`
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.06806#VEIF (statement). In ZZQT0GFMT2/e1, lemma 5.3

History

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

FC9GF654PN FC9GF654PN

URI	`m2://inv/FC9GF654PN`
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.25823#4RGT (statement)

History

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

Definition FC9P4TPK52

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

Mentions

wikipedia: Wikipedia Maass wave form#N9YB, Definition (definition)

History

2026-11-02: add by m2/dev

FC9VAG6BAT FC9VAG6BAT

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

Mentions

arxiv: arXiv 2610.20972#43Z1 (statement). In 6SZE4MTXGZ/e1, proposition 5.1

History

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

FC9YW1X0VT FC9YW1X0VT

URI	`m2://inv/FC9YW1X0VT`
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.12736#UP73 (statement). In 5350Q52F6P/e1, lemma 2.15

History

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

FCA0Q6RZ0X FCA0Q6RZ0X

URI	`m2://inv/FCA0Q6RZ0X`
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.31607#RZ1B (statement). In H9X9WZ17TT/e1, theorem

History

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

Ye Tian FCA1F57ZAX

URI	`m2://inv/FCA1F57ZAX`
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#KZ55, Ye Tian (topic)

History

2026-11-02: add by m2/dev

FCA8CAZT2V FCA8CAZT2V

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

Mentions

arxiv: arXiv 2610.08231#MLL9 (statement). In 6X46RJWA5S/e1, lemma 1

History

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

Examples FCA9SAE7S6

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

Mentions

wikipedia: Wikipedia Homotopical connectivity#TW1D, Examples (example)

History

2026-11-02: add by m2/dev

Opposite deterministic corner FCABE7CM16

URI	`m2://inv/FCABE7CM16`
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.24931#UU2Y, Opposite deterministic corner (statement)

History

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

Annie Lapin FCAFTFTBXM

URI	`m2://inv/FCAFTFTBXM`
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#N8H9, Annie Lapin (unknown)

History

2026-11-02: add by m2/dev

FCAN431GVS FCAN431GVS

URI	`m2://inv/FCAN431GVS`
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.14455#SEUZ (statement). In 5KARPAJDCP/e1, proposition 4.2

History

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

Alan Turing Institute FCASEHM5M5

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

Mentions

wikipedia: Wikipedia List of things named after Alan Turing#ZSE8, Alan Turing Institute (unknown)

History

2026-11-02: add by m2/dev

Weakly acceptable game FCASYTEA0C

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

Mentions

wikipedia: Wikipedia Glossary of game theory#Q1GA, Weakly acceptable game (definition)

History

2026-11-02: add by m2/dev

Tresca yield criterion FCAVNAC4ZQ

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

Mentions

wikipedia: Wikipedia Yield surface#SA3M, Tresca yield criterion (unknown)

History

2026-11-02: add by m2/dev

FCB15G0M9Z FCB15G0M9Z

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

Mentions

open_logic: open_logic content/methods/proofs/reading-proofs.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 45.1

History

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

385 (number) FCB2WX1F4F

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

Mentions

wikipedia: Wikipedia 300 (number)#WIA3, 385 (number) (unknown)

History

2026-11-02: add by m2/dev

FCB361Y1FM FCB361Y1FM

URI	`m2://inv/FCB361Y1FM`
Kind	problem
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.21600#F5N9 (problem). In EGAXXGHQNK/e1, problem 1

History

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

Pythagorean expectation FCBCV40J5X

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

Mentions

wikipedia: Wikipedia Pythagorean expectation, Pythagorean expectation (definition). Also Wikidata Q7263847

History

2026-11-02: add by m2/dev

A constant translation produces advances and delays FCBDSB11R1

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

Mentions

arxiv: arXiv 2610.15686#0028, A constant translation produces advances and delays (statement). In 4HCK722M2G/e1, lemma 4.4

History

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

Graph skewness FCBMTPPXA3

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

Mentions

wikipedia: Wikipedia Planarization#PXXQ, Graph skewness (unknown)

History

2026-11-02: add by m2/dev

Lévy's stochastic area FCBN2D2J12

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

Mentions

wikipedia: Wikipedia Lévy's stochastic area, Lévy's stochastic area (definition). Also Wikidata Q122200958

History

2026-11-02: add by m2/dev

Cross's theorem FCBP5TVJMM

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

Mentions

wikipedia: Wikipedia Cross's theorem, Cross's theorem (statement). Also Wikidata Q138717109

History

2026-11-02: add by m2/dev

Applications FCBRKEY1JG

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

Mentions

wikipedia: Wikipedia Acoustoelastic effect#8INF, Applications (example)

History

2026-11-02: add by m2/dev

James Aspnes FCBSPGVM2V

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#AVS5, James Aspnes (unknown)

History

2026-11-02: add by m2/dev

Kenneth Arthur Intriligator FCBVV4WYFN

URI	`m2://inv/FCBVV4WYFN`
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 Q102436557, Kenneth Arthur Intriligator (unknown). Also nLab Kenneth Intriligator

History

2026-10-26: add by m2/dev

Discrete sine transform FCC5CPHXH8

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

Mentions

wikipedia: Wikipedia Discrete sine transform, Discrete sine transform (definition). Also Wikidata Q971039

History

2026-11-02: add by m2/dev

grid illusion FCC5DFGBSH

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

Mentions

wikidata: Wikidata Q2344696, grid illusion (unknown). Also MathWorld HermannGridIllusion

History

2026-10-26: add by m2/dev

Sébastien Boucksom FCC703DNSJ

URI	`m2://inv/FCC703DNSJ`
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#KYMM, Sébastien Boucksom (topic)

History

2026-11-02: add by m2/dev

Levitzky's theorem FCCMJEJHE5

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

Mentions

wikipedia: Wikipedia List of theorems#W6XU, Levitzky's theorem (statement)

History

2026-11-02: add by m2/dev

differentiability FCCRRFQ0JJ

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

Mentions

mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Convexity > continuity and differentiability of convex functions > differentiability, differentiability (unknown)

History

2026-10-26: add by m2/dev

FCCXE7Z1SB FCCXE7Z1SB

URI	`m2://inv/FCCXE7Z1SB`
Kind	definition
Layer	research
MSC	11-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 2609.24623#OY3V (definition)

History

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

Centroid FCD320MC4R

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

Mentions

wikipedia: Wikipedia List of triangle topics#ZLIB, Centroid (definition)

History

2026-11-02: add by m2/dev

FCDATNX3TN FCDATNX3TN

URI	`m2://inv/FCDATNX3TN`
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.32077#1HYW (definition). In WYXQDSQR9B/e1, definition 2.6

History

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

FCDAYW68TG FCDAYW68TG

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

Mentions

arxiv: arXiv 2610.01958#0XRV (statement). In NQFYT2M6YZ/e1, proposition 2.7

History

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

Examples of Google matrix FCDB8T16MP

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

Mentions

wikipedia: Wikipedia Google matrix#CY81, Examples of Google matrix (example)

History

2026-11-02: add by m2/dev

FCDE2MJZ1G FCDE2MJZ1G

URI	`m2://inv/FCDE2MJZ1G`
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.28323#0SDG (statement)

History

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

FCDQZK1536 FCDQZK1536

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

Mentions

open_logic: open_logic content/proof-theory/sequent-calculus/rules-proofs.tex#defn:proof (definition). In PKGMM3P5QY, defn, section 61.12

History

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

Osmo Pekonen FCDRKBRANC

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

Mentions

wikipedia: Wikipedia Osmo Pekonen, Osmo Pekonen (topic). Also Wikidata Q3047135

History

2026-11-02: add by m2/dev

uniqueness FCE1QW85T4

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

Mentions

wikidata: Wikidata Q17548110, uniqueness (topic)

History

2026-10-26: add by m2/dev

Mathematics on stamps FCE9HTYQBA

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

Mentions

wikipedia: Wikipedia Mathematics on stamps, Mathematics on stamps (definition). Also Wikidata Q128812005

History

2026-11-02: add by m2/dev

FCEEJ4Y7KR FCEEJ4Y7KR

URI	`m2://inv/FCEEJ4Y7KR`
Kind	statement
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 2504.02065#S1KY (statement). In 60CK7P5F36/e1, theorem 7.5

History

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

General definition FCEQFRKZZ8

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

Mentions

wikipedia: Wikipedia Valuation ring#TTK1, General definition (definition)

History

2026-11-02: add by m2/dev

Christofides algorithm FCEXJ62TBY

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

Mentions

wikipedia: Wikipedia Christofides algorithm, Christofides algorithm (definition). Also Wikidata Q498144

History

2026-11-02: add by m2/dev

FCEXK4JQNB FCEXK4JQNB

URI	`m2://inv/FCEXK4JQNB`
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.01899#46L8 (statement). In 638TEFBFGP/e1, lemma 7.2

History

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

Valuation intersections FCEYZ5D1V6

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

Mentions

arxiv: arXiv 2610.00076#AIN9, Valuation intersections (statement). In 2VQ90WEZKB/e1, lemma 2.1

History

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

BRST algorithm FCF4CVGVH2

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

Mentions

wikipedia: Wikipedia BRST algorithm, BRST algorithm (definition). Also Wikidata Q4836450

History

2026-11-02: add by m2/dev

Geometric Folding Algorithms FCF5A3Y3ZX

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

Mentions

wikipedia: Wikipedia Geometric Folding Algorithms, Geometric Folding Algorithms (definition). Also Wikidata Q85763060

History

2026-11-02: add by m2/dev

FCF7C1AQJ8 FCF7C1AQJ8

URI	`m2://inv/FCF7C1AQJ8`
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.14450#ZGU2 (statement). In ZHTGQT07PE/e1, proposition 2.9

History

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

FCFAM4VTWQ FCFAM4VTWQ

URI	`m2://inv/FCFAM4VTWQ`
Kind	statement
Layer	research
MSC	55-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.16606#WV72 (statement). In A798V7TX99/e1, proposition 5.7

History

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

FCFBGFQGSB FCFBGFQGSB

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

Mentions

arxiv: arXiv 2610.09482#2HEO (statement). In VYMEQQVMBD/e1, theorem B

History

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

Johannes Mollerup FCFFQM9KHY

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

Mentions

wikipedia: Wikipedia Johannes Mollerup, Johannes Mollerup (topic). Also Wikidata Q1698051

History

2026-11-02: add by m2/dev

Constructions FCFGGPDX5G

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

Mentions

wikipedia: Wikipedia Freudenthal magic square#HIB1, Constructions (definition)

History

2026-11-02: add by m2/dev

The theorem FCFHGKVA4A

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

Mentions

wikipedia: Wikipedia Lukacs's proportion-sum independence theorem#9VNF, The theorem (statement)

History

2026-11-02: add by m2/dev

FCFJEHTHFN FCFJEHTHFN

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/IntroQuantification.tex#def:quantifiers (definition). In P1C114YBXG, definition, section D

History

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

Definition FCFSH6CNFB

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

Mentions

wikipedia: Wikipedia Triangle wave#TYWU, Definition (definition)

History

2026-11-02: add by m2/dev

Philip Woodward FCFVBM6GEV

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

Mentions

wikipedia: Wikipedia Philip Woodward, Philip Woodward (topic). Also Wikidata Q10986725

History

2026-11-02: add by m2/dev

FCFXGPRRPE FCFXGPRRPE

URI	`m2://inv/FCFXGPRRPE`
Kind	statement
Layer	research
MSC	11-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 2610.05914#MPTT (statement). In V8MYP6MBAZ/e1, theorem 9

History

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

FCG1CC9JXH FCG1CC9JXH

URI	`m2://inv/FCG1CC9JXH`
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 2210.12291#NONP (statement). In PHPNFMYPPE/e1, lemma 2.1

History

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

Properties FCG2DHM0D5

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

Mentions

wikipedia: Wikipedia Exact sequence#8AT4, Properties (statement)

History

2026-11-02: add by m2/dev

FCG953JH9Q FCG953JH9Q

URI	`m2://inv/FCG953JH9Q`
Kind	example
Layer	research
MSC	11-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 2004.12552#W66W (example). In TWPE10CZ1S/e1, example 5.11

History

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

Choice of block length FCGGWPW9HH

URI	`m2://inv/FCGGWPW9HH`
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.09522#H52A, Choice of block length (statement). In KKR9167FPT/e1, corollary 21

History

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

Examples FCGJ7NBCD4

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

Mentions

wikipedia: Wikipedia Weak dimension#5L1L, Examples (example)

History

2026-11-02: add by m2/dev

Well-posedness and regularity FCGMWFR5NR

URI	`m2://inv/FCGMWFR5NR`
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.18350#MF6Y, Well-posedness and regularity (statement). In A20E8FZS21/e1, lemma 6.1

History

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

FCGTTVRBEK FCGTTVRBEK

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

Mentions

arxiv: arXiv 2610.06488#ANGH (statement). In XG3BJ2QXXP/e1, lemma 5.11

History

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

Cubic ReLU degenerates for a fourth-order strong residual FCGW6SPS9W

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

Mentions

arxiv: arXiv 2610.04357#VBSR, Cubic ReLU degenerates for a fourth-order strong residual (example). In 6FY8BVP1F3/e1, example B.1

History

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

Supersingular variety FCGYPXB3N9

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

Mentions

wikipedia: Wikipedia Supersingular variety, Supersingular variety (definition). Also Wikidata Q30701875

History

2026-11-02: add by m2/dev

FCH28JEBNX FCH28JEBNX

URI	`m2://inv/FCH28JEBNX`
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.13423#8XRQ (statement). In 9JWYWC92M3/e1, theorem 1

History

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

FCHDNMSB17 FCHDNMSB17

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

Mentions

hott_book: hott_book hlevels.tex#lem:hedberg-helper (statement). In N54F33XE07, lem, section 6.2

History

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

FCHJVG7XEK FCHJVG7XEK

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

Mentions

arxiv: arXiv 2609.24325#GG8C (statement)

History

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

FCHVWDSR7S FCHVWDSR7S

URI	`m2://inv/FCHVWDSR7S`
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.29641#OH4Q (statement)

History

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

Multilevel model FCHW9EJQ8B

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

Mentions

wikipedia: Wikipedia List of statistics articles#U4WP, Multilevel model (definition)

History

2026-11-02: add by m2/dev

FCHWB7MRW0 FCHWB7MRW0

URI	`m2://inv/FCHWB7MRW0`
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.26337#0YET (statement)

History

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

FCJ0MGDXPM FCJ0MGDXPM

URI	`m2://inv/FCJ0MGDXPM`
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 2609.38206#UZSU (statement). In F71MS1F637/e1, theorem 5.18

History

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

FCJ1JRSMVN FCJ1JRSMVN

URI	`m2://inv/FCJ1JRSMVN`
Kind	definition
Layer	research
MSC	35-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 2610.08253#2VCW (definition). In 6AD2CTF0QF/e1, definition 3.5

History

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

FCJ2BR095E FCJ2BR095E

URI	`m2://inv/FCJ2BR095E`
Kind	statement
Layer	research
MSC	35-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 2610.08074#5W1Q (statement). In ZRPYF750AV/e1, lemma 7.10

History

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

Vladimir Tretyakov FCJ912VZYH

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

Mentions

wikipedia: Wikipedia Vladimir Tretyakov (mathematician), Vladimir Tretyakov (topic). Also Wikidata Q4462687

History

2026-11-02: add by m2/dev

Nina Holden FCJCCN8Y50

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

Mentions

wikipedia: Wikipedia Nina Holden, Nina Holden (topic). Also Wikidata Q99485329

History

2026-11-02: add by m2/dev

Wieferich prime FCJE8AFFPF

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#UVIO, Wieferich prime (conjecture)

History

2026-11-02: add by m2/dev

FCJGMBR0QD FCJGMBR0QD

URI	`m2://inv/FCJGMBR0QD`
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 1701.00518#06BK (statement). In T93MM0ADE2/e1, theorem 4.3

History

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

Szpiro FCJHCR4MJF

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

Mentions

wikipedia: Wikipedia Glossary of number theory#OM3M, Szpiro (definition)

History

2026-11-02: add by m2/dev

FCJJHMYFD2 FCJJHMYFD2

URI	`m2://inv/FCJJHMYFD2`
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.25111#YQB1 (statement)

History

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

Applications FCJQ2QFT23

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

Mentions

wikipedia: Wikipedia Hankel contour#WYZA, Applications (example)

History

2026-11-02: add by m2/dev

Strong perfect graph theorem FCJR3HKF52

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

Mentions

wikipedia: Wikipedia List of theorems#PDGC, Strong perfect graph theorem (statement)

History

2026-11-02: add by m2/dev

Richard Eliot Chamberlin FCJRK19H38

URI	`m2://inv/FCJRK19H38`
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#O4ZK, Richard Eliot Chamberlin (topic)

History

2026-11-02: add by m2/dev

List of partition topics FCJS9DS8W5

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#82XA, List of partition topics (topic)

History

2026-11-02: add by m2/dev

Method FCJTA5HHZB

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

Mentions

wikipedia: Wikipedia Long division#FPMP, Method (definition)

History

2026-11-02: add by m2/dev

Example FCJXA21FJ8

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

Mentions

wikipedia: Wikipedia Matrix splitting#RNGO, Example (example)

History

2026-11-02: add by m2/dev

FCK1JCMND5 FCK1JCMND5

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

Mentions

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

History

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

Witten-type TQFTs FCK4A2G9VM

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

Mentions

wikipedia: Wikipedia Topological quantum field theory#R3GD, Witten-type TQFTs (unknown)

History

2026-11-02: add by m2/dev

Free filter FCK4H7BFB6

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

Mentions

wikipedia: Wikipedia Filter on a set#5LLH, Free filter (unknown)

History

2026-11-02: add by m2/dev

FCK4MJQNZD FCK4MJQNZD

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

Mentions

open_logic: open_logic content/methods/proofs/reading-proofs.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 45.1

History

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

Uniform 1 k2 polytope FCKD45T9S4

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

Mentions

wikipedia: Wikipedia Uniform 1 k2 polytope, Uniform 1 k2 polytope (object). Also Wikidata Q7884997

History

2026-11-02: add by m2/dev

FCKDCMGPX4 FCKDCMGPX4

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

Mentions

arxiv: arXiv 2610.20891#TC5U (statement). In WH55XAE8E2/e1, proposition 5.2

History

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

Erdős–Gyárfás conjecture FCKFNY67BE

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

Mentions

wikipedia: Wikipedia Erdős–Gyárfás conjecture, Erdős–Gyárfás conjecture (conjecture). Also Wikidata Q3686826

History

2026-11-02: add by m2/dev

FCKG8R1MPM FCKG8R1MPM

URI	`m2://inv/FCKG8R1MPM`
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.15881#JW2L (statement). In RK0JCSYK33/e1, theorem B1

History

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

FCKM426NZH FCKM426NZH

URI	`m2://inv/FCKM426NZH`
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.09765#RLWY (statement). In 79JJCQ63R3/e1, theorem 4.1

History

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

Neil Chriss FCKP17QNCM

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

Mentions

wikipedia: Wikipedia Neil Chriss, Neil Chriss (topic). Also Wikidata Q6988376

History

2026-11-02: add by m2/dev

FCKSTNM6KP FCKSTNM6KP

URI	`m2://inv/FCKSTNM6KP`
Kind	definition
Layer	research
MSC	11-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.13347#SRP2 (definition). In Z6QS82DPHE/e1, definition Definition

History

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

FCKW5DRK96 FCKW5DRK96

URI	`m2://inv/FCKW5DRK96`
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.38188#MGB1 (statement). In 7615KVXDB5/e1, corollary 2.17

History

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

FCKXMBECT1 FCKXMBECT1

URI	`m2://inv/FCKXMBECT1`
Kind	statement
Layer	research
MSC	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.08885#OUHM (statement). In B4RHB3CF12/e1, corollary 1.4

History

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

Z-matrix FCM0ZN1Q8G

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

Mentions

wikipedia: Wikipedia List of named matrices#8N94, Z-matrix (unknown)

History

2026-11-02: add by m2/dev

FCM4CDFEEW FCM4CDFEEW

URI	`m2://inv/FCM4CDFEEW`
Kind	conjecture
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.20025#1F9N (conjecture). In 4W1WR4JB89/e1, conjecture 3.7

History

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

FCMA36QYEE FCMA36QYEE

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

History

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

Properties FCMFHQMPCD

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

Mentions

wikipedia: Wikipedia Kleene star#6UXY, Properties (statement)

History

2026-11-02: add by m2/dev

Albert-László Barabási FCMGD1Q0TY

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#BU72, Albert-László Barabási (unknown)

History

2026-11-02: add by m2/dev

FCMHRC7FF4 FCMHRC7FF4

URI	`m2://inv/FCMHRC7FF4`
Kind	statement
Layer	research
MSC	03-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.20956#GFBC (statement). In X9WFC1D9ZS/e1, corollary 57

History

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

FCMMYK9VD2 FCMMYK9VD2

URI	`m2://inv/FCMMYK9VD2`
Kind	statement
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#7BDZ (statement). In JW8HH6EPG2/e1, lemma 2.11

History

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

Geoff Bascand FCN02WG0WH

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

Mentions

wikipedia: Wikipedia Geoff Bascand, Geoff Bascand (topic). Also Wikidata Q5534040

History

2026-11-02: add by m2/dev

FCN526NT5D FCN526NT5D

URI	`m2://inv/FCN526NT5D`
Kind	statement
Layer	research
MSC	14-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 2401.07983#RLS0 (statement). In 4WJ9HYVSZY/e1, proposition 3.1

History

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

Examples FCNEX6H1Q9

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

Mentions

wikipedia: Wikipedia Pivotal quantity#YANI, Examples (example)

History

2026-11-02: add by m2/dev

FCNF8PHK8G FCNF8PHK8G

URI	`m2://inv/FCNF8PHK8G`
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.16886#M75Q (statement). In Y8QQAH7VCF/e1, theorem 3.2

History

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

Stochastic matrix FCNGQ6BB5V

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

Mentions

wikipedia: Wikipedia List of statistics articles#TBMS, Stochastic matrix (definition)

History

2026-11-02: add by m2/dev

COVID-19 datasets FCNR9C5YQY

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

Mentions

wikipedia: Wikipedia COVID-19 datasets, COVID-19 datasets (definition). Also Wikidata Q91137337

History

2026-11-02: add by m2/dev

FCNSJZ5DQ8 FCNSJZ5DQ8

URI	`m2://inv/FCNSJZ5DQ8`
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.07828#1UE2 (statement). In TWGMVT1N1G/e1, lemma 2.5

History

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

Local stability of the controlled marginals FCP0MJ7HYJ

URI	`m2://inv/FCP0MJ7HYJ`
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.39531#WPO2, Local stability of the controlled marginals (statement). In SN9RSTHQ07/e1, corollary 6.1

History

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

FCPA7ZPX9P FCPA7ZPX9P

URI	`m2://inv/FCPA7ZPX9P`
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.21258#CZR0 (statement). In PN98BKSKZP/e1, theorem 3.3

History

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

Theorem (Cantor) FCPN3PN2FD

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

Mentions

wikipedia: Wikipedia Cantor's theorem#8ZIP, Theorem (Cantor) (statement)

History

2026-11-02: add by m2/dev

Circulation FCPN92F62R

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

Mentions

wikipedia: Wikipedia Circulation (physics), Circulation (definition). Also Wikidata Q205880

History

2026-11-02: add by m2/dev

FCPPMCDAYX FCPPMCDAYX

URI	`m2://inv/FCPPMCDAYX`
Kind	statement
Layer	research
MSC	26-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.14811#SAF0 (statement). In QA5CM6HNM1/e1, theorem 18.1

History

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

Common-heavy-factor aggregation FCPS6WEBC9

URI	`m2://inv/FCPS6WEBC9`
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.29658#Y8QX, Common-heavy-factor aggregation (statement)

History

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

FCQ1B1XP9C FCQ1B1XP9C

URI	`m2://inv/FCQ1B1XP9C`
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.18847#6UFR (statement). In DZ12XTTJSM/e1, proposition 4.5

History

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

David Buchsbaum FCQ43N6PRN

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

Mentions

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

History

2026-11-02: add by m2/dev

Perfect $n$-qudit CSS codes FCQ4HA0QKR

URI	`m2://inv/FCQ4HA0QKR`
Kind	example
Layer	research
MSC	05-XX, 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 2610.04834#O7W7, Perfect $n$-qudit CSS codes (example). In YZNK67K060/e1, example 4.8

History

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

FCQ8KRRP3K FCQ8KRRP3K

URI	`m2://inv/FCQ8KRRP3K`
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.20991#LUPU (statement). In H98ZC5YBSD/e1, theorem 1.1

History

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

Some transforms of this law FCQBK9DCZ7

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

Mentions

wikipedia: Wikipedia Poisson distribution#W43Z, Some transforms of this law (statement)

History

2026-11-02: add by m2/dev

FCQCZBR32S FCQCZBR32S

URI	`m2://inv/FCQCZBR32S`
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.21298#7MBP (statement). In AXWM2MBYXV/e1, lemma 4.5

History

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

Slerp FCQK8ZJSQR

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

Mentions

wikipedia: Wikipedia List of algorithms#O1BZ, Slerp (unknown)

History

2026-11-02: add by m2/dev

Notation FCQVJ75V2Q

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

Mentions

wikipedia: Wikipedia Reductio ad absurdum#MMVE, Notation (definition)

History

2026-11-02: add by m2/dev

FCQWDW1B16 FCQWDW1B16

URI	`m2://inv/FCQWDW1B16`
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.31373#ES0R (statement). In H4XKQM67NA/e1, theorem 1.2

History

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

Higher purity for local degree FCQWK5R3AQ

URI	`m2://inv/FCQWK5R3AQ`
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.07092#9E06, Higher purity for local degree (statement). In JWNYJVH8XG/e1, lemma 4.15

History

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

A Budget of Paradoxes FCR1X60QJ7

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

Mentions

wikipedia: Wikipedia Augustus De Morgan#1SWR, A Budget of Paradoxes (unknown)

History

2026-11-02: add by m2/dev

FCR1Y9GP9N FCR1Y9GP9N

URI	`m2://inv/FCR1Y9GP9N`
Kind	statement
Layer	research
MSC	20-XX, 55-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.20932#MWKB (statement). In FV78KV64B9/e1, lemma 8.1

History

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

Theorem FCR4TNNXWP

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

Mentions

wikipedia: Wikipedia Order of integration (calculus)#E23F, Theorem (statement)

History

2026-11-02: add by m2/dev

FCR9SN7DDZ FCR9SN7DDZ

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

Mentions

arxiv: arXiv 2610.11336#3TBV (statement). In X1R1GDAJ0Y/e1, corollary 2.18

History

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

Demographics of Tehran FCRB4MR3RS

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

Mentions

wikipedia: Wikipedia Demographics of Tehran, Demographics of Tehran (definition). Also Wikidata Q18205768

History

2026-11-02: add by m2/dev

Truncated trapezohedron FCRCAXKR33

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

Mentions

wikipedia: Wikipedia Truncated trapezohedron, Truncated trapezohedron (object). Also Wikidata Q3893527

History

2026-11-02: add by m2/dev

FCRDSPQXY6 FCRDSPQXY6

URI	`m2://inv/FCRDSPQXY6`
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 2512.19872#OS02 (statement). In DG9TF5X0EG/e1, theorem 5

History

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

chemical reaction FCRDVDB9S2

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

Mentions

wikidata: Wikidata Q36534, chemical reaction (definition). Also ProofWiki Definition:Chemical_Reaction

History

2026-10-26: add by m2/dev

intuitionistic propositional logic FCRE8J3S94

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

Mentions

wikipedia: Wikipedia List of PSPACE-complete problems#98CM, intuitionistic propositional logic (definition)

History

2026-11-02: add by m2/dev

Michel Chasles FCRG9EZFXC

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

Mentions

wikipedia: Wikipedia Michel Chasles, Michel Chasles (topic). Also Wikidata Q318067

History

2026-11-02: add by m2/dev

Change of variables FCRH2HS0TQ

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#thm-2, Change of variables (statement). In E59CDZA4DP, thm, section 8.3.3

History

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

FCRHJ3ZCNP FCRHJ3ZCNP

URI	`m2://inv/FCRHJ3ZCNP`
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.26434#70PR (statement)

History

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

Example FCRN3JT2TC

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

Mentions

wikipedia: Wikipedia Gauss–Manin connection#75XT, Example (example)

History

2026-11-02: add by m2/dev

Examples FCRQD5TBWP

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

Mentions

wikipedia: Wikipedia Pfaffian#NHI5, Examples (example)

History

2026-11-02: add by m2/dev

Formula for a harmonic tensor FCRRS2GPY4

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

Mentions

wikipedia: Wikipedia Harmonic tensors#28I3, Formula for a harmonic tensor (statement)

History

2026-11-02: add by m2/dev

Second mean value theorem for definite integrals FCRRVJZ6V8

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

Mentions

wikipedia: Wikipedia Mean value theorem#OVA2, Second mean value theorem for definite integrals (statement)

History

2026-11-02: add by m2/dev

Example FCRV17C1MZ

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

Mentions

wikipedia: Wikipedia Distinguishing attack#8XAP, Example (example)

History

2026-11-02: add by m2/dev

Rank of a partition FCSEN0JJN8

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

Mentions

wikipedia: Wikipedia Rank of a partition, Rank of a partition (definition). Also Wikidata Q7293214

History

2026-11-02: add by m2/dev

FCSH0EBQZR FCSH0EBQZR

URI	`m2://inv/FCSH0EBQZR`
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 2608.24424#O8A8 (statement). In RQHGZ4AA5T/e1, corollary 3.7

History

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

Symmetry FCSHA1FAR4

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

Mentions

wikipedia: Wikipedia Circle Limit III#WNDG, Symmetry (statement)

History

2026-11-02: add by m2/dev

FCSHY6G69P FCSHY6G69P

URI	`m2://inv/FCSHY6G69P`
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.20690#GK1G (statement)

History

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

FCSP0G2XRB FCSP0G2XRB

URI	`m2://inv/FCSP0G2XRB`
Kind	definition
Layer	research
MSC	03-XX, 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.07695#6I9Y (definition). In 8Z47D12KSX/e1, definition 5.1

History

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

Lindley equation FCSPM64ADJ

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

Mentions

wikipedia: Wikipedia Lindley equation, Lindley equation (definition). Also Wikidata Q6552558

History

2026-11-02: add by m2/dev

Axioms of addition (primitives: R, <, +) FCSRAEYNGP

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

Mentions

wikipedia: Wikipedia Tarski's axiomatization of the reals#66CO, Axioms of addition (primitives: R, <, +) (statement)

History

2026-11-02: add by m2/dev

Examples FCSVFP0YMD

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

Mentions

wikipedia: Wikipedia Join (topology)#X0BU, Examples (example)

History

2026-11-02: add by m2/dev

FCT37SMRVZ FCT37SMRVZ

URI	`m2://inv/FCT37SMRVZ`
Kind	statement
Layer	research
MSC	03-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 2609.31445#G708 (statement). In 7V2PVZS04C/e1, theorem 3.4

History

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

FCT3PAB2DN FCT3PAB2DN

URI	`m2://inv/FCT3PAB2DN`
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.09882#FXUF (statement). In 7XV6T4N79V/e1, lemma C.3

History

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

Hans Reissner FCT6SR9C3C

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#VFTG, Hans Reissner (unknown)

History

2026-11-02: add by m2/dev

Institut Henri Poincaré FCTBF77X4Y

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

Mentions

wikipedia: Wikipedia Institut Henri Poincaré, Institut Henri Poincaré (definition). Also Wikidata Q1130982

History

2026-11-02: add by m2/dev

FCTBQWEJGW FCTBQWEJGW

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

Mentions

arxiv: arXiv 2609.30933#W1JE (statement). In KXWYE4SJY3/e1, corollary 2

History

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

FCTMBCDSND FCTMBCDSND

URI	`m2://inv/FCTMBCDSND`
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.06419#A178 (statement). In JSZRXT3W3E/e1, theorem 6.1

History

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

Élie Cartan FCTNHACKVX

URI	`m2://inv/FCTNHACKVX`
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 Q274639, Élie Cartan (unknown). Also nLab Élie Cartan, ProofWiki Mathematician:Élie_Joseph_Cartan
wikipedia: Wikipedia Élie Cartan, Élie Cartan (topic). Also Wikidata Q274639

History

2026-10-26: add by m2/dev

Inexact gradient trick FCTRDQ43P0

URI	`m2://inv/FCTRDQ43P0`
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.21880#LECB, Inexact gradient trick (statement)

History

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

FCTVYFW4MM FCTVYFW4MM

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

Mentions

arxiv: arXiv 2609.23528#7V7Y (statement)

History

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

normalization FCTYA5DBJ0

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

Mentions

hott_book: hott_book index/4.4/normalization, normalization (concept). In N54F33XE07, index, section 4.4

History

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

FCTYJDARH2 FCTYJDARH2

URI	`m2://inv/FCTYJDARH2`
Kind	statement
Layer	research
MSC	14-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.27751#4IFO (statement)

History

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

FCV3GFJY6X FCV3GFJY6X

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

Mentions

arxiv: arXiv 2609.23518#QBFY (statement)

History

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

FCVARDAVVH FCVARDAVVH

URI	`m2://inv/FCVARDAVVH`
Kind	statement
Layer	research
MSC	26-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.27846#9ZHU (statement)

History

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

Attrition bias FCVHM4DCYY

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

Mentions

wikipedia: Wikipedia Selection bias#AMQO, Attrition bias (unknown)

History

2026-11-02: add by m2/dev

FCVNXT7JBZ FCVNXT7JBZ

URI	`m2://inv/FCVNXT7JBZ`
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 2610.16779#19HZ (statement). In 1R7H0ZAHWA/e1, theorem 4.7

History

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

Stackability FCVP3NWGMW

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

Mentions

arxiv: arXiv 2609.39633#3IPL, Stackability (definition). In B339AJZP2S/e1, definition 2.1

History

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

Converse nonimplication FCVSDM49WE

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

Mentions

wikipedia: Wikipedia Converse nonimplication, Converse nonimplication (definition). Also Wikidata Q5166459

History

2026-11-02: add by m2/dev

Ida May Schottenfels FCVYRJJ44D

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

Mentions

wikipedia: Wikipedia Ida May Schottenfels, Ida May Schottenfels (topic). Also Wikidata Q75100301

History

2026-11-02: add by m2/dev

FCW2DFZHVB FCW2DFZHVB

URI	`m2://inv/FCW2DFZHVB`
Kind	statement
Layer	research
MSC	26-XX, 35-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.21949#LJZ9 (statement)

History

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

FCW728YCKT FCW728YCKT

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

Mentions

arxiv: arXiv 2609.20599#FLNJ (statement)

History

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

effective action FCW7E25T4C

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

Mentions

wikidata: Wikidata Q5347246, effective action (unknown). Also nLab effective action

History

2026-10-26: add by m2/dev

Rolf Schock FCWAA5A1RM

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

Mentions

wikipedia: Wikipedia List of logicians#ECJC, Rolf Schock (topic)

History

2026-11-02: add by m2/dev

Homotopy principle FCWPE79A6W

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

Mentions

wikipedia: Wikipedia Homotopy principle, Homotopy principle (statement). Also Wikidata Q5891835

History

2026-11-02: add by m2/dev

Laurent series FCWRF9PVQ7

URI	`m2://inv/FCWRF9PVQ7`
Kind	definition
Layer	textbook
MSC	30-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Laurent series 0GXMPDNYX3

Mentions

mathlib_1000: mathlib_1000 Q425432, Laurent expansion theorem (statement). Also Wikidata Q425432
thousand_plus: thousand_plus Q425432, Laurent expansion theorem (statement). Also Wikidata Q425432, Wikipedia Laurent expansion theorem
wikidata: Wikidata Q425432, Laurent series (definition). Also MathWorld LaurentSeries, nLab Laurent series, ProofWiki Definition:Laurent_Series
wikipedia: Wikipedia Laurent series, Laurent series (definition). Also Wikidata Q425432

History

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

FCWZWRRQSJ FCWZWRRQSJ

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

Mentions

arxiv: arXiv 2310.01868#AA2F (statement). In MQ8S73F6X7/e1, theorem 14

History

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

FCX35MFZW4 FCX35MFZW4

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

Mentions

arxiv: arXiv 2609.31276#CF3X (statement). In WYDHWYFRFK/e1, theorem 3.16

History

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

Ambient metric FCXAV860PS

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

Mentions

wikipedia: Wikipedia Ambient construction#FP8P, Ambient metric (unknown)

History

2026-11-02: add by m2/dev

Generalized Hechler forcing FCXJA99B9X

URI	`m2://inv/FCXJA99B9X`
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#7CJ0, Generalized Hechler forcing (definition). In JPC86V77CH/e1, definition 3.1

History

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

Extensions FCXKRB2E98

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

Mentions

wikipedia: Wikipedia Density matrix renormalization group#GIC6, Extensions (statement)

History

2026-11-02: add by m2/dev

Skew flats FCXYTDPFSC

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

Mentions

wikipedia: Wikipedia Skew lines#Q9LQ, Skew flats (unknown)

History

2026-11-02: add by m2/dev

Data stream mining FCY4HRKT7B

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

Mentions

wikipedia: Wikipedia Data stream mining, Data stream mining (definition). Also Wikidata Q3079880

History

2026-11-02: add by m2/dev

FCY9E57HHD FCY9E57HHD

URI	`m2://inv/FCY9E57HHD`
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#IORS (statement). In 67GE5M1GGD/e1, proposition 7.8

History

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

Convergence rates in the $L^2$-norm FCYEP1MW88

URI	`m2://inv/FCYEP1MW88`
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.23617#EBSG, Convergence rates in the $L^2$-norm (statement)

History

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

FCYK5MFFEZ FCYK5MFFEZ

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

Mentions

arxiv: arXiv 2609.37897#LYZO (statement). In RBQ5FNCVNZ/e1, corollary B.9

History

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

Hilbert's irreducibility theorem FCYK76QDB0

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

Mentions

wikipedia: Wikipedia List of theorems#1K6Y, Hilbert's irreducibility theorem (statement)

History

2026-11-02: add by m2/dev

FCYKMFKF0R FCYKMFKF0R

URI	`m2://inv/FCYKMFKF0R`
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.26386#6N1S (statement)

History

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

FCYSZR6N7T FCYSZR6N7T

URI	`m2://inv/FCYSZR6N7T`
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.02798#FCF2 (statement). In 446QW3DHTN/e1, lemma B.2

History

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

Chunming Zhang FCYTP13N4E

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

Mentions

wikipedia: Wikipedia Chunming Zhang, Chunming Zhang (topic). Also Wikidata Q102207532

History

2026-11-02: add by m2/dev

Compound of ten truncated tetrahedra FCZ0PCEKEK

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#F1YR, Compound of ten truncated tetrahedra (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#5JTI, Compound of ten truncated tetrahedra (definition)

History

2026-11-02: add by m2/dev

FCZ6TZNXKE FCZ6TZNXKE

URI	`m2://inv/FCZ6TZNXKE`
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 2006.12475#2NKE (statement). In 8YWBGQQGA3/e1, proposition 14

History

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

tensor algebra FCZG8G43PF

URI	`m2://inv/FCZG8G43PF`
Kind	definition
Layer	textbook
MSC	15A72
Sources	2
Outcome	open
Node	Tensor algebra P4J5JZDW0B

Mentions

wikidata: Wikidata Q2296021, tensor algebra (topic)
wikipedia: Wikipedia Tensor algebra, Tensor algebra (definition). Also Wikidata Q2296021

History

2026-10-26: add by m2/dev

FCZQE955EG FCZQE955EG

URI	`m2://inv/FCZQE955EG`
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.28323#VIR3 (statement)

History

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