Inventory rows FM

Lambda g conjecture FM04RY0KQS

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

Mentions

wikipedia: Wikipedia Lambda g conjecture, Lambda g conjecture (statement). Also Wikidata Q17098409

History

2026-11-02: add by m2/dev

FM0N75DBX6 FM0N75DBX6

URI	`m2://inv/FM0N75DBX6`
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#AXM4 (statement). In 9YAE8FNQST/e1, lemma 19.2

History

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

Picard group FM0QQHRK91

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#TLIX, Picard group (definition)

History

2026-11-02: add by m2/dev

George Yuri Rainich FM0X6DA48G

URI	`m2://inv/FM0X6DA48G`
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#M0EY, George Yuri Rainich (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XJKX, George Yuri Rainich (unknown)

History

2026-11-02: add by m2/dev

Balázs Szegedy FM0Y7XADSH

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

Mentions

wikipedia: Wikipedia Balázs Szegedy, Balázs Szegedy (topic). Also Wikidata Q19663852

History

2026-11-02: add by m2/dev

Constructions FM14GWPS9K

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

Mentions

wikipedia: Wikipedia Free abelian group#QX8Z, Constructions (definition)

History

2026-11-02: add by m2/dev

Sol Garfunkel FM18ENXF09

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

Mentions

wikipedia: Wikipedia Sol Garfunkel, Sol Garfunkel (topic). Also Wikidata Q7555525

History

2026-11-02: add by m2/dev

Central estimate FM18GNSPXA

URI	`m2://inv/FM18GNSPXA`
Kind	statement
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 2610.14085#E8OT, Central estimate (statement). In T8F19ZGHF3/e1, proposition 4.3

History

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

Constructions FM19F6V5TE

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

Mentions

wikipedia: Wikipedia Truncated order-4 heptagonal tiling#AHG8, Constructions (definition)

History

2026-11-02: add by m2/dev

Definitions FM1BSBFJ75

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

Mentions

wikipedia: Wikipedia Pancyclic graph#HB5U, Definitions (definition)

History

2026-11-02: add by m2/dev

surgery lemma FM1FK0M0HA

URI	`m2://inv/FM1FK0M0HA`
Kind	statement
Layer	research
MSC	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 2005.03073#PYW6, surgery lemma (statement). In P2ETMXKVDS/e1, lemma 2.1

History

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

theory of commutative rings FM1METZMHC

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

Mentions

wikidata: Wikidata Q114705197, theory of commutative rings (topic)

History

2026-10-26: add by m2/dev

Lax–Milgram lemma FM1NCABWTE

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

Mentions

wikipedia: Wikipedia List of lemmas#M75V, Lax–Milgram lemma (definition)

History

2026-11-02: add by m2/dev

Variants of the Lovász conjecture FM1PERCZFD

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

Mentions

wikipedia: Wikipedia Lovász conjecture#8E1J, Variants of the Lovász conjecture (statement)

History

2026-11-02: add by m2/dev

Rigidity of the rectangular envelope FM1QNDEZRH

URI	`m2://inv/FM1QNDEZRH`
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.24541#3ZRJ, Rigidity of the rectangular envelope (statement)

History

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

Definition FM1WXV4850

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

Mentions

wikipedia: Wikipedia Self-similarity matrix#C1B2, Definition (definition)

History

2026-11-02: add by m2/dev

Generalizations FM21JAJ837

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

Mentions

wikipedia: Wikipedia Arithmetic progression topologies#RJDX, Generalizations (statement)

History

2026-11-02: add by m2/dev

Elisha Netanyahu FM25BCFH76

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

Mentions

wikipedia: Wikipedia Elisha Netanyahu, Elisha Netanyahu (topic). Also Wikidata Q5361791

History

2026-11-02: add by m2/dev

FM26CKW50V FM26CKW50V

URI	`m2://inv/FM26CKW50V`
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 2610.18600#03YL (definition). In 31D6TQVCNZ/e1, definition 1.7

History

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

Definitions FM2AZNNN8W

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

Mentions

wikipedia: Wikipedia Scoring rule#WY6T, Definitions (definition)

History

2026-11-02: add by m2/dev

IDEF FM2CECZFJ3

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

Mentions

wikipedia: Wikipedia List of graphical methods#YRCL, IDEF (unknown)

History

2026-11-02: add by m2/dev

Polynomial functor FM2FX221QA

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

Mentions

wikipedia: Wikipedia Polynomial functor, Polynomial functor (definition). Also Wikidata Q48842893

History

2026-11-02: add by m2/dev

FM30CYVW3S FM30CYVW3S

URI	`m2://inv/FM30CYVW3S`
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 2207.07461#BL7V (statement). In GAG532VMPF/e1, lemma 3.5.1

History

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

FM33ZSTXD1 FM33ZSTXD1

URI	`m2://inv/FM33ZSTXD1`
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.36613#OR2N (statement). In GX0K0ZM700/e1, lemma 3.4

History

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

FM38DEHDAM FM38DEHDAM

URI	`m2://inv/FM38DEHDAM`
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.02295#3ORV (statement). In PEBD9ZMA1W/e1, proposition A.5

History

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

Uses FM3T8T9909

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

Mentions

wikipedia: Wikipedia Elongated hexagonal bipyramid#OTSB, Uses (example)

History

2026-11-02: add by m2/dev

Properties FM3TVSW4G0

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

Mentions

wikipedia: Wikipedia Transfer matrix#6B8X, Properties (statement)

History

2026-11-02: add by m2/dev

Concordant pair FM44FWZ603

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

Mentions

wikipedia: Wikipedia Concordant pair, Concordant pair (definition). Also Wikidata Q5158910

History

2026-11-02: add by m2/dev

FM4N04HM3G FM4N04HM3G

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

Mentions

arxiv: arXiv 2610.08196#ILU8 (example). In 8QVWZ23N42/e1, example 3.2

History

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

Matui--Sato's $\Z$-stability theorem FM4PSZF0NN

URI	`m2://inv/FM4PSZF0NN`
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.09390#HX30, Matui--Sato's $\Z$-stability theorem (statement). In 7SSKW778T8/e1, theorem

History

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

FM4PZ3Q01X FM4PZ3Q01X

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#example-1 (example). In E9HS8K3A52, example, section 7.1.1

History

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

FM4TQR5974 FM4TQR5974

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

Mentions

arxiv: arXiv 2609.27646#N6IV (statement)

History

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

Fazari, Mohammad FM4Z943T65

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

Mentions

wikipedia: Wikipedia List of Iranian mathematicians#PVRD, Fazari, Mohammad (unknown)

History

2026-11-02: add by m2/dev

FM519FX7PK FM519FX7PK

URI	`m2://inv/FM519FX7PK`
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.21915#ZR8Q (statement)

History

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

Applications FM5JEB7J27

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

Mentions

wikipedia: Wikipedia Feedback#BFJO, Applications (example)

History

2026-11-02: add by m2/dev

Transverse self-adjointness FM63Z3R5EB

URI	`m2://inv/FM63Z3R5EB`
Kind	statement
Layer	research
MSC	46-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.03745#6OGQ, Transverse self-adjointness (statement). In YWXVX6AX8F/e1, lemma 7.1

History

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

Subnational rank FM65TRVK22

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

Mentions

wikipedia: Wikipedia Subnational rank, Subnational rank (definition). Also Wikidata Q7631716

History

2026-11-02: add by m2/dev

FM68N56GHB FM68N56GHB

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

Mentions

arxiv: arXiv 2610.09319#8K74 (statement). In GMRT5GHBZS/e1, lemma A.6

History

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

FM6APZ1APK FM6APZ1APK

URI	`m2://inv/FM6APZ1APK`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-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.31090#AH4C (statement). In SMTJDX0Q6R/e1, lemma 8.1

History

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

FM6AW8DT3X FM6AW8DT3X

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

Mentions

applied_combinatorics: applied_combinatorics source/s_induction_proofs.ptx#proof-4 (proof). In QKM9DD2H56, proof, section 3.8

History

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

Uniqueness of the very weak solution, case I: $V \geq 0$ FM6GQ5RY8Z

URI	`m2://inv/FM6GQ5RY8Z`
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 2110.12380#GL2N, Uniqueness of the very weak solution, case I: $V \geq 0$ (statement). In M6MQPEDQ8N/e1, theorem 4.16

History

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

Definition FM6H4VZ237

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

Mentions

wikipedia: Wikipedia Collective classification#73F7, Definition (definition)

History

2026-11-02: add by m2/dev

FM6PRYVXYC FM6PRYVXYC

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

Mentions

arxiv: arXiv 2504.07573#Q8B3 (statement). In 78X5SKJX8J/e1, proposition 7.6

History

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

FM6W3HA875 FM6W3HA875

URI	`m2://inv/FM6W3HA875`
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 2610.01946#NSNR (definition). In NB1Z31FMXN/e1, definition 3.9

History

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

Fundamental sequence FM6Y2Q10F9

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

Mentions

wikipedia: Wikipedia Fundamental sequence (set theory), Fundamental sequence (definition). Also Wikidata Q118218208

History

2026-11-02: add by m2/dev

FM6ZFMH3YE FM6ZFMH3YE

URI	`m2://inv/FM6ZFMH3YE`
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#5JUM (statement). In NQFYT2M6YZ/e1, proposition 5.4

History

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

Richard Sylvan FM7C5E5FQM

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

Mentions

wikipedia: Wikipedia List of logicians#XNP7, Richard Sylvan (topic)

History

2026-11-02: add by m2/dev

Lucien Féraud FM7CG0JCSF

URI	`m2://inv/FM7CG0JCSF`
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#ENR2, Lucien Féraud (unknown)

History

2026-11-02: add by m2/dev

FM7DQ538ZJ FM7DQ538ZJ

URI	`m2://inv/FM7DQ538ZJ`
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.38396#EZJT (statement). In FGNNVKQR1Z/e1, proposition 2.4

History

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

Hodge index theorem FM7E11S3ZT

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

Mentions

mathlib_1000: mathlib_1000 Q5876058, Hodge index theorem (statement). Also Wikidata Q5876058
thousand_plus: thousand_plus Q5876058, Hodge index theorem (statement). Also Wikidata Q5876058, Wikipedia Hodge index theorem
wikipedia: Wikipedia Hodge index theorem, Hodge index theorem (statement). Also Wikidata Q5876058

History

2026-10-26: add by m2/dev

Biases in law enforcement FM7ERDR5HV

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

Mentions

wikipedia: Wikipedia Bias#LRCH, Biases in law enforcement (statement)

History

2026-11-02: add by m2/dev

Zogby International FM7MQYSJ0T

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

Mentions

wikipedia: Wikipedia List of polling organizations#1D4H, Zogby International (unknown)

History

2026-11-02: add by m2/dev

De Institutione Musica FM7PM1PF20

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

Mentions

wikipedia: Wikipedia Boethius#FAAF, De Institutione Musica (unknown)

History

2026-11-02: add by m2/dev

Isaac Newton Institute FM7PV1FM2W

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

Mentions

wikipedia: Wikipedia Isaac Newton Institute, Isaac Newton Institute (definition). Also Wikidata Q126075

History

2026-11-02: add by m2/dev

Allowed changes of basis FM7R8785FY

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

Mentions

arxiv: arXiv 2610.20994#JL4N, Allowed changes of basis (statement). In E90KYMVZMR/e1, lemma 4.1

History

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

FM7WQPJA64 FM7WQPJA64

URI	`m2://inv/FM7WQPJA64`
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 2304.08231#W80S (statement). In A91NXD6EPX/e1, theorem 1.3

History

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

Mary Grace Kovar FM7Z9M0X1W

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

Mentions

wikipedia: Wikipedia Mary Grace Kovar, Mary Grace Kovar (topic). Also Wikidata Q44048031

History

2026-11-02: add by m2/dev

FM83R8TGRC FM83R8TGRC

URI	`m2://inv/FM83R8TGRC`
Kind	definition
Layer	research
MSC	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.32916#05RU (definition). In G1RP4JY5PE/e1, definition 3.2.1

History

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

character of a group representation FM859BPSJH

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

Mentions

wikidata: Wikidata Q600043, character of a group representation (unknown). Also LMFDB knowl group.representation.character, nLab character
wikipedia: Wikipedia Character theory, Character theory (definition). Also Wikidata Q600043

History

2026-10-26: add by m2/dev

KRS overapproximation FM875HKR3Q

URI	`m2://inv/FM875HKR3Q`
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 2601.01076#LB4Z, KRS overapproximation (statement). In 2E8DDPAZN3/e1, lemma 1

History

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

Polish School of Mathematics FM885VV8GH

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

Mentions

wikipedia: Wikipedia Polish School of Mathematics, Polish School of Mathematics (definition). Also Wikidata Q762890

History

2026-11-02: add by m2/dev

FM8CW0TYNV FM8CW0TYNV

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

Mentions

arxiv: arXiv 2610.13670#D1IE (statement). In 4PGTZ19B26/e1, lemma 6.6

History

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

Carl Gustav Axel Harnack FM8JKDC3QE

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

Mentions

wikipedia: Wikipedia Carl Gustav Axel Harnack, Carl Gustav Axel Harnack (topic). Also Wikidata Q65214

History

2026-11-02: add by m2/dev

Adolphe Quetelet FM8QJWC4ZB

URI	`m2://inv/FM8QJWC4ZB`
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 Q20012, Adolphe Quetelet (unknown). Also EoM Quetelet,_Adolphe, ProofWiki Mathematician:Lambert_Adolphe_Jacques_Quetelet
wikipedia: Wikipedia Adolphe Quetelet, Adolphe Quetelet (topic). Also Wikidata Q20012

History

2026-10-26: add by m2/dev

Andrzej Buras FM8WH7SV0A

URI	`m2://inv/FM8WH7SV0A`
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 Q24206092, Andrzej Buras (unknown). Also nLab Andrzej Buras

History

2026-10-26: add by m2/dev

Implementation FM8X6FJNN1

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

Mentions

wikipedia: Wikipedia Factorial experiment#UVK1, Implementation (definition)

History

2026-11-02: add by m2/dev

Characterizations FM8Y23YQ13

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

Mentions

wikipedia: Wikipedia Ptak space#X0HY, Characterizations (statement)

History

2026-11-02: add by m2/dev

eccentricity FM8YX6H587

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

Mentions

mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Application of quadratic forms to study proper conic sections of the affine Euclidean plane > eccentricity, eccentricity (unknown)

History

2026-10-26: add by m2/dev

Enumerations FM9090556F

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

Mentions

wikipedia: Wikipedia List of polyhedral stellations#CZ79, Enumerations (definition)

History

2026-11-02: add by m2/dev

Example FM91VS7PJ2

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

Mentions

wikipedia: Wikipedia Ascending chain condition#KPF7, Example (example)

History

2026-11-02: add by m2/dev

Nicolas Bergeron FM9AXFKRZA

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

Mentions

wikipedia: Wikipedia Nicolas Bergeron, Nicolas Bergeron (topic). Also Wikidata Q20732594

History

2026-11-02: add by m2/dev

FM9DY7G7KW FM9DY7G7KW

URI	`m2://inv/FM9DY7G7KW`
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.33050#L39H (statement). In VDSBMQ0G9W/e1, proposition 2.4

History

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

FM9FEJCGS4 FM9FEJCGS4

URI	`m2://inv/FM9FEJCGS4`
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#WKAS (statement). In W4TYN4PGE8/e1, lemma 2.46

History

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

FM9MRKFBA7 FM9MRKFBA7

URI	`m2://inv/FM9MRKFBA7`
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 2104.00162#UTME (statement). In HVGT9D84WV/e1, proposition 2.5

History

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

FM9T7CRYFV FM9T7CRYFV

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

Mentions

arxiv: arXiv 2610.11905#QPND (statement). In QQFXT31CA5/e1, theorem 6.7

History

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

FM9ZA7300W FM9ZA7300W

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

History

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

Two-sided permutation inequality FMA2CHVSX4

URI	`m2://inv/FMA2CHVSX4`
Kind	statement
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 2610.00137#4Y04, Two-sided permutation inequality (statement). In NKW6YQ04QW/e1, theorem 1.2

History

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

Gaussian isoperimetry and transportation for the whole future path FMA8SGFG4S

URI	`m2://inv/FMA8SGFG4S`
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#YBJX, Gaussian isoperimetry and transportation for the whole future path (statement). In 9YAE8FNQST/e1, theorem 16.15

History

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

Symmetric Turnover FMAEPN68VZ

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

Mentions

arxiv: arXiv 2610.12228#POVK, Symmetric Turnover (statement). In CTQDSD0HAD/e1, theorem 2.1

History

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

Real representation FMAJZ8WG0R

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

Mentions

wikipedia: Wikipedia Real representation, Real representation (definition). Also Wikidata Q7301169

History

2026-11-02: add by m2/dev

Steven F. Udvar-Hazy FMAK894NP4

URI	`m2://inv/FMAK894NP4`
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#KK4L, Steven F. Udvar-Hazy (unknown)

History

2026-11-02: add by m2/dev

Christine Anderson-Cook FMAKVYPE4F

URI	`m2://inv/FMAKVYPE4F`
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#5TA4, Christine Anderson-Cook (unknown)

History

2026-11-02: add by m2/dev

Life expectancy FMAKZ4YQ9Y

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

Mentions

wikipedia: Wikipedia Life expectancy, Life expectancy (definition). Also Wikidata Q188419

History

2026-11-02: add by m2/dev

FMAM69PVYC FMAM69PVYC

URI	`m2://inv/FMAM69PVYC`
Kind	conjecture
Layer	research
MSC	11-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.37252#O6HR (conjecture). In E3EK0ESPA7/e1, conjecture 1.1

History

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

Active SDDP slope as water value FMAQ4S6RE2

URI	`m2://inv/FMAQ4S6RE2`
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.27744#DIBD, Active SDDP slope as water value (statement)

History

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

FMB0791F1E FMB0791F1E

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

Mentions

arxiv: arXiv 2609.27752#9WSB (statement)

History

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

Segmented regression FMB1A55ZJG

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

Mentions

wikipedia: Wikipedia List of statistics articles#EHBK, Segmented regression (definition)

History

2026-11-02: add by m2/dev

FMB436ENJJ FMB436ENJJ

URI	`m2://inv/FMB436ENJJ`
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.24463#L8C9 (statement)

History

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

FMB9PC9DQ8 FMB9PC9DQ8

URI	`m2://inv/FMB9PC9DQ8`
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.01268#IZCL (statement). In 80Q4X3WT8W/e1, lemma 3.2

History

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

FMBNQRHK30 FMBNQRHK30

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

Mentions

arxiv: arXiv 2610.07963#Y56Z (example). In HAGJKEZ1CK/e1, example 7.6

History

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

FMC5FWFGQT FMC5FWFGQT

URI	`m2://inv/FMC5FWFGQT`
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.37846#XJEZ (statement). In DCA0M1EE4A/e1, lemma 3

History

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

FMC6DPSHMK FMC6DPSHMK

URI	`m2://inv/FMC6DPSHMK`
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 2007.14459#5QZE (definition). In SGQ7VFEZ22/e1, definition 2.6

History

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

FMC9GBPYS3 FMC9GBPYS3

URI	`m2://inv/FMC9GBPYS3`
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.18152#7W47 (statement). In AAVGAGCWTE/e1, corollary 5.2

History

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

TI-89 series FMCQ73257Q

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

Mentions

wikipedia: Wikipedia TI-89 series, TI-89 series (definition). Also Wikidata Q2295981

History

2026-11-02: add by m2/dev

Barbara Paulson FMCW4ATJ01

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

Mentions

wikipedia: Wikipedia Barbara Paulson, Barbara Paulson (topic). Also Wikidata Q45321187

History

2026-11-02: add by m2/dev

Hausdorff maximal principle FMCX33BWZZ

URI	`m2://inv/FMCX33BWZZ`
Kind	statement
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Hausdorff maximal principle 0KM4KVR9MV

Mentions

wikidata: Wikidata Q738328, Hausdorff maximal principle (unknown). Also nLab Hausdorff maximal principle
wikipedia: Wikipedia Hausdorff maximal principle, Hausdorff maximal principle (statement). Also Wikidata Q738328

History

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

Alpha Data FMCXW9GE9P

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

Mentions

wikipedia: Wikipedia Alpha Data, Alpha Data (definition). Also Wikidata Q85749697

History

2026-11-02: add by m2/dev

Statement FMCZ9WRTQF

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

Mentions

wikipedia: Wikipedia Tikhonov's theorem (dynamical systems)#KGFJ, Statement (statement)

History

2026-11-02: add by m2/dev

Computing an interpolant over $\F(Z)$ FMD24Q7XAM

URI	`m2://inv/FMD24Q7XAM`
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.08610#1X1G, Computing an interpolant over $\F(Z)$ (statement). In CB2JWNS1E9/e1, lemma 6.5

History

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

FMD24XCMVA FMD24XCMVA

URI	`m2://inv/FMD24XCMVA`
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.22469#C0WI (statement)

History

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

Normalized Laguerre representatives of the first kind FMD304SC70

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

Mentions

arxiv: arXiv 2609.22027#UUAB, Normalized Laguerre representatives of the first kind (statement)

History

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

FMD7NREBPP FMD7NREBPP

URI	`m2://inv/FMD7NREBPP`
Kind	statement
Layer	research
MSC	20-XX, 37-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 2409.00806#U29E (statement). In SBN06J39DG/e1, theorem 3.3

History

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

FMD7Y76AKC FMD7Y76AKC

URI	`m2://inv/FMD7Y76AKC`
Kind	statement
Layer	research
MSC	16-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 2610.21954#ECD6 (statement). In F2XATDBRK4/e1, lemma 5

History

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

FMDGEY8Q2Z FMDGEY8Q2Z

URI	`m2://inv/FMDGEY8Q2Z`
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.14692#R2FR (statement). In NE5EH5FXRV/e1, proposition 4.9

History

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

Results FMDQZ32RMP

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

Mentions

wikipedia: Wikipedia 2024 Chilean census#JHF4, Results (statement)

History

2026-11-02: add by m2/dev

Oddness and sign change FMDSC03WRG

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

Mentions

arxiv: arXiv 2609.34918#RNZT, Oddness and sign change (statement). In B3MNVE9149/e1, theorem 7.3

History

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

FMDV0MHKEK FMDV0MHKEK

URI	`m2://inv/FMDV0MHKEK`
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.01354#WUI7 (statement). In BWD76W20W8/e1, theorem B

History

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

FMDV5KKCJ4 FMDV5KKCJ4

URI	`m2://inv/FMDV5KKCJ4`
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.20135#08N9 (statement). In ZQQEN3J866/e1, theorem 1.5

History

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

FMDXDSM1S7 FMDXDSM1S7

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

Mentions

arxiv: arXiv 2610.14308#C9ME (definition). In F67Y6BZVV8/e1, definition 8

History

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

Prince Rupert's cube FMDXFWQRMD

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

Mentions

wikidata: Wikidata Q7244223, Prince Rupert's cube (problem). Also MathWorld PrinceRupertsCube
wikipedia: Wikipedia Prince Rupert's cube, Prince Rupert's cube (definition). Also Wikidata Q7244223

History

2026-10-26: add by m2/dev

David Milman FMDZ794J12

URI	`m2://inv/FMDZ794J12`
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 Q1175698, David Milman (unknown). Also ProofWiki Mathematician:David_Pinhusovich_Milman
wikipedia: Wikipedia David Milman, David Milman (topic). Also Wikidata Q1175698

History

2026-10-26: add by m2/dev

FME4G11J3J FME4G11J3J

URI	`m2://inv/FME4G11J3J`
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 2610.15369#47SU (statement). In JESNVAZEYT/e1, lemma 3

History

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

Strict-open basis of a hyp-affine FME9TE9CWF

URI	`m2://inv/FME9TE9CWF`
Kind	statement
Layer	research
MSC	14-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.28220#7S9X, Strict-open basis of a hyp-affine (statement)

History

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

FMEBA1GSFT FMEBA1GSFT

URI	`m2://inv/FMEBA1GSFT`
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.05459#HH9V (statement). In VYW16D089Y/e1, lemma 4.1

History

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

FMEBQMQ99T FMEBQMQ99T

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

Mentions

arxiv: arXiv 2610.18226#ZEYI (statement). In B3EHT1FRM5/e1, lemma 2.2

History

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

carbon-12 FMECF6KNCE

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

Mentions

wikidata: Wikidata Q1058364, carbon-12 (definition). Also ProofWiki Definition:Carbon/12

History

2026-10-26: add by m2/dev

Stopped Kushner--Stratonovich equation in common-observation form FMECPMZWRS

URI	`m2://inv/FMECPMZWRS`
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.28985#X44X, Stopped Kushner--Stratonovich equation in common-observation form (statement)

History

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

FMEFP79J6Z FMEFP79J6Z

URI	`m2://inv/FMEFP79J6Z`
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.20110#ISU9 (statement). In 1SAMKN4477/e1, theorem 1.4

History

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

FMEGMRDCS8 FMEGMRDCS8

URI	`m2://inv/FMEGMRDCS8`
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.11757#OR1N (statement). In VSJRVTHWWA/e1, corollary 1.3

History

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

FMEM1Y37WR FMEM1Y37WR

URI	`m2://inv/FMEM1Y37WR`
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.34852#8YLJ (statement). In TZXEMCBK5V/e1, theorem 1.6

History

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

Weighted shell errors and the joint batch law FMENRMQ1J3

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

Mentions

arxiv: arXiv 2609.37482#EJ63, Weighted shell errors and the joint batch law (statement). In 9QDRMZX8EY/e1, lemma 28

History

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

FMEXEG0P83 FMEXEG0P83

URI	`m2://inv/FMEXEG0P83`
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 2511.17751#W428 (statement). In J39X0NB31S/e1, proposition 2.4

History

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

FMF81CGYRA FMF81CGYRA

URI	`m2://inv/FMF81CGYRA`
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.25030#ZN4B (statement)

History

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

generating function, ordinary FMF9JFMCF0

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

Mentions

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

History

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

Compound of two great inverted snub icosidodecahedra FMFBWQWSX8

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#WNIB, Compound of two great inverted snub icosidodecahedra (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#8HOK, Compound of two great inverted snub icosidodecahedra (definition)

History

2026-11-02: add by m2/dev

Telegram channel FMFJ1GCB09

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

Mentions

wikipedia: Wikipedia Telegram (software)#GA5D, Telegram channel (unknown)

History

2026-11-02: add by m2/dev

Haar rigidity FMFJWAR75S

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

Mentions

arxiv: arXiv 2610.15424#2PWZ, Haar rigidity (statement). In C4081PN64B/e1, theorem 5.1

History

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

FMFTQF3HY4 FMFTQF3HY4

URI	`m2://inv/FMFTQF3HY4`
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.28669#6ZOR (statement)

History

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

Rushbrooke inequality FMFTRVJQ70

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

Mentions

wikipedia: Wikipedia Rushbrooke inequality, Rushbrooke inequality (statement). Also Wikidata Q7380772

History

2026-11-02: add by m2/dev

FMGEHGRP05 FMGEHGRP05

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

Mentions

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

History

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

Properties FMGJ1YAARC

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

Mentions

wikipedia: Wikipedia Quasitransitive relation#J5LM, Properties (statement)

History

2026-11-02: add by m2/dev

FMGJ2MX5Y6 FMGJ2MX5Y6

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

Mentions

arxiv: arXiv 2609.36021#XNHG (statement). In CB68ATPEV9/e1, proposition 5.5

History

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

FMGRM7HCWX FMGRM7HCWX

URI	`m2://inv/FMGRM7HCWX`
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.02141#KBEI (statement). In 5AB8YPS19N/e1, lemma 3.3

History

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

FLACS FMGRZNT75V

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#WE0L, FLACS (unknown)

History

2026-11-02: add by m2/dev

FMGXS06DMV FMGXS06DMV

URI	`m2://inv/FMGXS06DMV`
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.01796#4SZX (statement). In JC3PAB5DRC/e1, lemma 9

History

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

FMH30GRCX0 FMH30GRCX0

URI	`m2://inv/FMH30GRCX0`
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#NO2B (statement). In 4GRNWWH88J/e1, corollary 6.7

History

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

FMH355JB41 FMH355JB41

URI	`m2://inv/FMH355JB41`
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 2403.08723#7133 (statement). In HGE2NCQW29/e1, theorem 3.2

History

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

metaplectic group FMH6CPEKBJ

URI	`m2://inv/FMH6CPEKBJ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Metaplectic group 8B0JM2YDE2

Mentions

wikidata: Wikidata Q17098877, metaplectic group (unknown). Also MathWorld MetaplecticGroup, nLab metaplectic group
wikipedia: Wikipedia Metaplectic group, Metaplectic group (definition). Also Wikidata Q17098877

History

2026-10-26: add by m2/dev

Spinning top FMH6RMCNXR

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#25XZ, Spinning top (unknown)

History

2026-11-02: add by m2/dev

FMHDYNASQG FMHDYNASQG

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

Mentions

arxiv: arXiv 2609.28742#56LX (example)

History

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

Sally C. Morton FMHG383KJF

URI	`m2://inv/FMHG383KJF`
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#EBN6, Sally C. Morton (topic)

History

2026-11-02: add by m2/dev

Arbitrary-precision arithmetic FMHGQP7PXQ

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

Mentions

wikipedia: Wikipedia Arbitrary-precision arithmetic, Arbitrary-precision arithmetic (definition). Also Wikidata Q527381

History

2026-11-02: add by m2/dev

Properties FMHGW004F0

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

Mentions

wikipedia: Wikipedia Liouville function#EUA0, Properties (statement)

History

2026-11-02: add by m2/dev

Atlas of Lie groups and representations FMHVS60MVC

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

Mentions

wikipedia: Wikipedia Atlas of Lie groups and representations, Atlas of Lie groups and representations (definition). Also Wikidata Q4816860

History

2026-11-02: add by m2/dev

Infinite-order square tiling FMHX38Y8T6

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

Mentions

wikipedia: Wikipedia Infinite-order square tiling, Infinite-order square tiling (object). Also Wikidata Q17077525

History

2026-11-02: add by m2/dev

quantum field theory FMJ0CQQJYW

URI	`m2://inv/FMJ0CQQJYW`
Kind	definition
Layer	textbook
MSC	81T05, 81Txx
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q54505, quantum field theory (topic). Also nLab quantum field theory
wikipedia: Wikipedia Quantum field theory, Quantum field theory (definition). Also Wikidata Q54505

History

2026-10-26: add by m2/dev

FMJ7M6S6D0 FMJ7M6S6D0

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

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-43 (exercise). In E59CDZA4DP, exercise, section 9.3.4

History

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

FMJVASBN86 FMJVASBN86

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

Mentions

arxiv: arXiv 2610.06699#PDOY (statement). In GXHKRV5BPY/e1, corollary 5.6

History

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

Olga Beaver FMJX0Y53NP

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

Mentions

wikipedia: Wikipedia Olga Beaver, Olga Beaver (topic). Also Wikidata Q29616931

History

2026-11-02: add by m2/dev

FMJZ5KJPJD FMJZ5KJPJD

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

Mentions

arxiv: arXiv 2610.07401#4MXH (statement). In FQ5435B36D/e1, theorem 5.1

History

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

Annihilator--colon logical decomposition FMJZN4JQJT

URI	`m2://inv/FMJZN4JQJT`
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.39121#FQ9G, Annihilator--colon logical decomposition (statement). In A42CWWRZJE/e1, proposition 1
arxiv: arXiv 2609.39395#P3PJ, annihilator--colon exact sequence (statement). In ZDVPJ1XX5Z/e1, theorem 1
arxiv: arXiv 2609.39395#VW5H, Frobenius balance (statement). In ZDVPJ1XX5Z/e1, lemma 1

History

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

FMK17BM6B8 FMK17BM6B8

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

Mentions

arxiv: arXiv 2609.28141#B8ZF (statement)

History

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

FMK2ZS9958 FMK2ZS9958

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

Mentions

hott_book: hott_book hits.tex#proof-20 (proof). In N54F33XE07, proof, section 5.10

History

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

Menaechmus FMK6NN7265

URI	`m2://inv/FMK6NN7265`
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 Q451566, Menaechmus (unknown). Also ProofWiki Mathematician:Menaechmus
wikipedia: Wikipedia Menaechmus, Menaechmus (topic). Also Wikidata Q451566

History

2026-10-26: add by m2/dev

FMK77AD4G9 FMK77AD4G9

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

Mentions

arxiv: arXiv 2609.34876#DFG2 (statement). In XXQAW3ZBDF/e1, lemma 4.3

History

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

Applications FMK7GS9CPV

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

Mentions

wikipedia: Wikipedia Fractal analysis#Q0DH, Applications (example)

History

2026-11-02: add by m2/dev

FMKA1SEM74 FMKA1SEM74

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

Mentions

arxiv: arXiv 2602.15812#NP62 (proof). In GAAZD3SGPN/e1, proof

History

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

FMKFYF70AA FMKFYF70AA

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

Mentions

arxiv: arXiv 2609.25289#2MF7 (statement)

History

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

Brian Cornell FMKJ9GMSJC

URI	`m2://inv/FMKJ9GMSJC`
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#D12I, Brian Cornell (unknown)

History

2026-11-02: add by m2/dev

Douglas Hofstadter FMKPZQ10JM

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

Mentions

wikipedia: Wikipedia List of publications in mathematics#KOI8, Douglas Hofstadter (topic)

History

2026-11-02: add by m2/dev

FMKQYR20S4 FMKQYR20S4

URI	`m2://inv/FMKQYR20S4`
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 2502.09442#5LYE (statement). In DNT32YYDM4/e1, theorem 4.1

History

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

FMKRDAE047 FMKRDAE047

URI	`m2://inv/FMKRDAE047`
Kind	statement
Layer	research
MSC	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 2610.13950#D2AA (statement). In 8E5S3VJ8P4/e1, theorem 2

History

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

Cochrane–Orcutt estimation FMKTH18YQC

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

Mentions

wikipedia: Wikipedia Cochrane–Orcutt estimation, Cochrane–Orcutt estimation (definition). Also Wikidata Q5139454

History

2026-11-02: add by m2/dev

The Logic of Scientific Discovery FMKX2ZFPBX

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

Mentions

wikipedia: Wikipedia The Logic of Scientific Discovery, The Logic of Scientific Discovery (definition). Also Wikidata Q1868040

History

2026-11-02: add by m2/dev

Examples FMM6V5TTCW

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

Mentions

wikipedia: Wikipedia Normal order of an arithmetic function#8MDE, Examples (example)

History

2026-11-02: add by m2/dev

FMMK1BWF4N FMMK1BWF4N

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

Mentions

arxiv: arXiv 2610.16583#O1B5 (definition). In 4RPXT0YCS5/e1, definition 2.3

History

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

Extent of block propagation FMMNP9YSG3

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

Mentions

arxiv: arXiv 2610.05652#TAG6, Extent of block propagation (problem). In 8BNPFYQDQX/e1, problem 1.3

History

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

MD4 FMMQ7JWRT8

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

Mentions

wikipedia: Wikipedia MD4, MD4 (definition). Also Wikidata Q1144542

History

2026-11-02: add by m2/dev

Compound of five great dodecahedra FMN0BE5Y87

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#JRHR, Compound of five great dodecahedra (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#26OK, Compound of five great dodecahedra (definition)

History

2026-11-02: add by m2/dev

FMN5SJHB8V FMN5SJHB8V

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#example-1 (example). In E9HS8K3A52, example, section 10.1.3

History

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

FMNFVBVT01 FMNFVBVT01

URI	`m2://inv/FMNFVBVT01`
Kind	definition
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#KRFW (definition). In S26QVW5613/e1, definition 5.1.2

History

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

FMNGE2XAZH FMNGE2XAZH

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

Mentions

arxiv: arXiv 2510.12502#4UHI (statement). In 3A4K47Y9F2/e1, lemma 3.13

History

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

Rule of three (mathematics) FMNQZ2ZAE6

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

Mentions

wikipedia: Wikipedia Cross-multiplication#3BOF, Rule of three (mathematics) (unknown)

History

2026-11-02: add by m2/dev

FMNSCJF7NG FMNSCJF7NG

URI	`m2://inv/FMNSCJF7NG`
Kind	example
Layer	research
MSC	20-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.16834#NQGY (example). In Q0DTV6PJJW/e1, example 6.5

History

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

meridian FMP0KZD2X4

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

Mentions

wikidata: Wikidata Q32099, meridian (definition). Also ProofWiki Definition:Meridian_(Terrestrial)

History

2026-10-26: add by m2/dev

601 (number) FMP7YQFG88

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

Mentions

wikipedia: Wikipedia 600 (number)#H4PQ, 601 (number) (unknown)

History

2026-11-02: add by m2/dev

FMPFK8ZNQ0 FMPFK8ZNQ0

URI	`m2://inv/FMPFK8ZNQ0`
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.21899#JVS8 (statement). In YRN5P43B2N/e1, lemma 2.4

History

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

orbit FMPG5EPXM6

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#HA2W, orbit (definition)

History

2026-11-02: add by m2/dev

Ramsey's theorem FMPQYZD1HG

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

Mentions

applied_combinatorics: applied_combinatorics index/11.1/ramsey-s-theorem, Ramsey's theorem (concept). In QKM9DD2H56, index, section 11.1

History

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

FMPSDN9QWQ FMPSDN9QWQ

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

Mentions

arxiv: arXiv 2609.36016#6F5L (statement). In NAM9ZMPHZ9/e1, lemma F.2

History

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

converges, function FMPTPYHDCM

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

Mentions

lebl_ra: lebl_ra index/2.1.2/converges-function, converges, function (concept). In E59CDZA4DP, index, section 2.1.2

History

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

Calyampudi Radhakrishna Rao FMPW6Y6XJD

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#3UEC, Calyampudi Radhakrishna Rao (topic)

History

2026-11-02: add by m2/dev

Algebroid function FMPWES9KRT

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

Mentions

wikipedia: Wikipedia Algebroid function, Algebroid function (definition). Also Wikidata Q25304743

History

2026-11-02: add by m2/dev

permutation FMQ78CXX6R

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

Mentions

wikipedia: Wikipedia Glossary of set theory#79CA, permutation (definition)

History

2026-11-02: add by m2/dev

Charles Fefferman FMQFZRBW23

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#60IP, Charles Fefferman (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VP8U, Charles Fefferman (topic)

History

2026-11-02: add by m2/dev

FMQG8XVJT4 FMQG8XVJT4

URI	`m2://inv/FMQG8XVJT4`
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 2409.03730#CKMQ (statement). In ADEX39KM1T/e1, lemma 2.2

History

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

quiet NaN FMQH10EHGY

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

Mentions

wikidata: Wikidata Q121189858, quiet NaN (unknown). Also MathWorld QuietNaN

History

2026-10-26: add by m2/dev

Simple type chamber FMQJ4W4D84

URI	`m2://inv/FMQJ4W4D84`
Kind	definition
Layer	research
MSC	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 2609.21670#67CQ, Simple type chamber (definition)

History

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

FMQSXH98JV FMQSXH98JV

URI	`m2://inv/FMQSXH98JV`
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.30664#FQMR (statement). In ZZGDNKDVJW/e1, proposition 4.3

History

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

Applications FMQXVQ53BH

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

Mentions

wikipedia: Wikipedia Ornstein–Uhlenbeck process#SQGP, Applications (example)

History

2026-11-02: add by m2/dev

FMR01RS0P3 FMR01RS0P3

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

Mentions

arxiv: arXiv 2610.11395#4U1X (example). In T3W7SMWQ73/e1, example 48

History

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

Computational minimax closure, up to logarithms FMR4MT7F7B

URI	`m2://inv/FMR4MT7F7B`
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.20187#9JJ8, Computational minimax closure, up to logarithms (statement). In N280AVNNBY/e1, corollary 5.2

History

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

Exp-concavity FMR5SPKNHG

URI	`m2://inv/FMR5SPKNHG`
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 2610.20416#E4YT, Exp-concavity (definition). In P603M3M91A/e1, definition 3.1

History

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

Product row against a linear row FMR9ABHCWD

URI	`m2://inv/FMR9ABHCWD`
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.04357#7TGM, Product row against a linear row (statement). In 6FY8BVP1F3/e1, corollary K.8

History

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

FMRPQBDR5H FMRPQBDR5H

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

Mentions

arxiv: arXiv 2609.31883#DQWH (statement). In XBHQRTBH62/e1, proposition 2.6

History

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

Unreasonable ineffectiveness of mathematics FMRZBHE45D

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

Mentions

wikipedia: Wikipedia Unreasonable ineffectiveness of mathematics, Unreasonable ineffectiveness of mathematics (definition). Also Wikidata Q7897351

History

2026-11-02: add by m2/dev

Bullet graph FMS1S3T922

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

Mentions

wikipedia: Wikipedia List of graphical methods#F35I, Bullet graph (definition)

History

2026-11-02: add by m2/dev

Master reflection identity FMS26E1Z4P

URI	`m2://inv/FMS26E1Z4P`
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.08599#H5FW, Master reflection identity (statement). In DST9FWMHT6/e1, theorem 3.15

History

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

Pie chart FMS5A2TG5H

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

Mentions

wikipedia: Wikipedia List of statistics articles#0H6T, Pie chart (definition)
wikipedia: Wikipedia List of graphical methods#F2IP, Pie chart (definition)
wikipedia: Wikipedia List of graphical methods#VA1O, Pie chart (definition)

History

2026-11-02: add by m2/dev

Step 2 FMSEPWBGC6

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

Mentions

wikipedia: Wikipedia Fatou's lemma#L9FK, Step 2 (statement)

History

2026-11-02: add by m2/dev

FMSJ4QDNKM FMSJ4QDNKM

URI	`m2://inv/FMSJ4QDNKM`
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 2610.21732#2XZ1 (definition). In 6DJDRXDQNB/e1, definition 2.2

History

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

FMSP2FDGWF FMSP2FDGWF

URI	`m2://inv/FMSP2FDGWF`
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.28669#K24F (statement)

History

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

FMTCKKKX71 FMTCKKKX71

URI	`m2://inv/FMTCKKKX71`
Kind	statement
Layer	research
MSC	03-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.31352#Z07E (statement). In SQZGKRDVBX/e1, lemma 4.7

History

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

Giuseppe Dibitetto FMTEKZJDDS

URI	`m2://inv/FMTEKZJDDS`
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 Q61918872, Giuseppe Dibitetto (unknown). Also nLab Giuseppe Dibitetto

History

2026-10-26: add by m2/dev

Variations FMTS86V6P0

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

Mentions

wikipedia: Wikipedia Sorites paradox#6ERG, Variations (statement)

History

2026-11-02: add by m2/dev

Mémoires de la Société mathématique de France FMTVKD444P

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

Mentions

wikidata: Wikidata Q96729412, Mémoires de la Société mathématique de France (unknown). Also ProofWiki Book:Journal/Mémoires_de_la_Société_Mathématique_de_France

History

2026-10-26: add by m2/dev

FMV6ANVTV0 FMV6ANVTV0

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

Mentions

hott_book: hott_book hits.tex#thm:flattening-rectnd-beta-ppt (statement). In N54F33XE07, lem, section 5.12

History

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

FMVCN4MST5 FMVCN4MST5

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

Mentions

arxiv: arXiv 2610.03612#VE4X (definition). In REDG6QVHM3/e1, definition 7.1

History

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

two ears theorem FMVET3Z0Q3

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

Mentions

wikidata: Wikidata Q25304543, two ears theorem (statement). Also MathWorld Two-EarsTheorem, ProofWiki Two_Ears_Theorem
wikipedia: Wikipedia Two ears theorem, Two ears theorem (statement). Also Wikidata Q25304543

History

2026-10-26: add by m2/dev

Welton, Thomas A. FMVPYQMKR0

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

Mentions

wikipedia: Wikipedia List of statisticians#QTOB, Welton, Thomas A. (unknown)

History

2026-11-02: add by m2/dev

FMWQP8SVW2 FMWQP8SVW2

URI	`m2://inv/FMWQP8SVW2`
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.13518#BADF (statement). In 613TY6V089/e1, lemma 4

History

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

Transfer principle for the hyperreals FMWX4R8JWX

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

Mentions

wikipedia: Wikipedia Transfer principle#7B70, Transfer principle for the hyperreals (statement)

History

2026-11-02: add by m2/dev

Thessalia Prima FMX9RR4N5T

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

Mentions

wikipedia: Wikipedia List of places with numeric names#Q4EE, Thessalia Prima (unknown)

History

2026-11-02: add by m2/dev

Sea level equation FMXDN54NYW

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

Mentions

wikipedia: Wikipedia Post-glacial rebound#K7MC, Sea level equation (unknown)

History

2026-11-02: add by m2/dev

Herring, Amy H. FMXGBY8WQM

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

Mentions

wikipedia: Wikipedia List of statisticians#QXG5, Herring, Amy H. (topic)

History

2026-11-02: add by m2/dev

Isabel Dotti FMXT06DMTG

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

Mentions

wikipedia: Wikipedia Isabel Dotti, Isabel Dotti (topic). Also Wikidata Q102124225

History

2026-11-02: add by m2/dev

FMXXGZ2J8G FMXXGZ2J8G

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

Mentions

arxiv: arXiv 2609.26813#NPCG (statement)

History

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

FMXZE3K3H8 FMXZE3K3H8

URI	`m2://inv/FMXZE3K3H8`
Kind	statement
Layer	research
MSC	05-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.12427#ROGK (statement). In 4R7REB1DVD/e1, theorem 1.1

History

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

FMXZZ5VAWP FMXZZ5VAWP

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

Mentions

arxiv: arXiv 2609.24363#J8O9 (statement)

History

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

Oscar Zariski FMY11XFP7F

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#QVAZ, Oscar Zariski (topic)
wikipedia: Wikipedia List of algebraic geometry topics#463M, Oscar Zariski (topic)
wikipedia: Wikipedia List of Ukrainian Jews#9POP, Oscar Zariski (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HNK7, Oscar Zariski (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YN9Q, Oscar Zariski (topic)

History

2026-11-02: add by m2/dev

FMY151M5V0 FMY151M5V0

URI	`m2://inv/FMY151M5V0`
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.19309#8UVM (statement). In XKENQH35DW/e1, lemma 2.2

History

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

Casey Lilly FMY3ENT2Z7

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#RGAC, Casey Lilly (unknown)

History

2026-11-02: add by m2/dev

FMY489V7DW FMY489V7DW

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

Mentions

arxiv: arXiv 2610.19285#MLJ6 (definition). In 6DJR9DKY5W/e1, definition 4.1

History

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

FMY70J9XDF FMY70J9XDF

URI	`m2://inv/FMY70J9XDF`
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.19982#4AC4 (statement)

History

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

Hereditary variance small ball FMY7AJ3WBC

URI	`m2://inv/FMY7AJ3WBC`
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#SWXC, Hereditary variance small ball (statement). In 9YAE8FNQST/e1, theorem 8.7

History

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

FMYA24SBY4 FMYA24SBY4

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

Mentions

open_logic: open_logic content/computability/recursive-functions/examples.tex#prop-5 (statement). In PKGMM3P5QY, prop, section 3.20

History

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

Hosotope FMYC24JV4N

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#EBUP, Hosotope (object)

History

2026-11-02: add by m2/dev

Construction FMYC2WS1BV

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

Mentions

wikipedia: Wikipedia Polar code (coding theory)#XGK8, Construction (definition)

History

2026-11-02: add by m2/dev

Localization theorem FMYDA5NKVP

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

Mentions

wikipedia: Wikipedia Bloch's higher Chow group#D09K, Localization theorem (statement)

History

2026-11-02: add by m2/dev

Stationary points of fixed scalarizations are Pareto stationary FMYHPDFRDP

URI	`m2://inv/FMYHPDFRDP`
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.13773#TR6Y, Stationary points of fixed scalarizations are Pareto stationary (statement). In E75XQY0QFM/e1, proposition 3.2

History

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

List of graphs FMYNH2DN7T

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

Mentions

wikipedia: Wikipedia List of graphs, List of graphs (topic). Also Wikidata Q6621910

History

2026-11-02: add by m2/dev

FMYVZ6195W FMYVZ6195W

URI	`m2://inv/FMYVZ6195W`
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.08935#96QE (conjecture). In G02N9D40B9/e1, conjecture F

History

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

Ehrenfeucht–Mostowski theorem FMZ3MQMYCD

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

Mentions

wikipedia: Wikipedia Ehrenfeucht–Mostowski theorem, Ehrenfeucht–Mostowski theorem (statement). Also Wikidata Q5348612

History

2026-11-02: add by m2/dev

FMZ8BPRQMA FMZ8BPRQMA

URI	`m2://inv/FMZ8BPRQMA`
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 1009.2047#OBU7 (statement). In F3MWRNBNED/e1, proposition 7.2

History

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

Definition FMZB0T9C9T

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

Mentions

wikipedia: Wikipedia A∞-operad#9K8P, Definition (definition)

History

2026-11-02: add by m2/dev

Applications FMZB7P42B0

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

Mentions

wikipedia: Wikipedia Hash list#TJ69, Applications (example)

History

2026-11-02: add by m2/dev

FMZCCA7HE6 FMZCCA7HE6

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

Mentions

arxiv: arXiv 2609.28893#4GSQ (unknown)

History

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

Bertrand Toën FMZK6FS244

URI	`m2://inv/FMZK6FS244`
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#UHIR, Bertrand Toën (unknown)

History

2026-11-02: add by m2/dev