Inventory rows Z4

Z404GCM1NQ Z404GCM1NQ

URI	`m2://inv/Z404GCM1NQ`
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 math/0003117#RWDJ (definition). In WD2NCBV9F0/e1, definition 2.9

History

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

hedgehog Z4061X8BQE

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

Mentions

wikidata: Wikidata Q104868325, hedgehog (unknown). Also MathWorld Hedgehog
wikipedia: Wikipedia Hedgehog (geometry), Hedgehog (definition). Also Wikidata Q104868325

History

2026-10-26: add by m2/dev

Z40C0CAPRA Z40C0CAPRA

URI	`m2://inv/Z40C0CAPRA`
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.26496#72WI (statement)

History

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

Example Z40C7Q762M

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

Mentions

wikipedia: Wikipedia Jackson network#4VOU, Example (example)

History

2026-11-02: add by m2/dev

O'Nan group Z40FH0EXHF

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

Mentions

wikipedia: Wikipedia List of mathematical examples#CBUV, O'Nan group (object)

History

2026-11-02: add by m2/dev

Z40GCX3P4M Z40GCX3P4M

URI	`m2://inv/Z40GCX3P4M`
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#7LOE (statement). In SQZGKRDVBX/e1, theorem 5.3

History

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

Jean-Joseph Rallier des Ourmes Z40R9G0HGH

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

Mentions

wikipedia: Wikipedia Jean-Joseph Rallier des Ourmes, Jean-Joseph Rallier des Ourmes (topic). Also Wikidata Q1684941

History

2026-11-02: add by m2/dev

Mimi Kim Z40Z7JD2AE

URI	`m2://inv/Z40Z7JD2AE`
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#AL6H, Mimi Kim (topic)

History

2026-11-02: add by m2/dev

Definition Z413N7Y0XE

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

Mentions

wikipedia: Wikipedia Shearlet#7MAW, Definition (definition)

History

2026-11-02: add by m2/dev

Ernest William Brown Z414BMXK5N

URI	`m2://inv/Z414BMXK5N`
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#Y416, Ernest William Brown (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Z2IN, Ernest William Brown (unknown)

History

2026-11-02: add by m2/dev

Opaque forest problem Z416SEMM3H

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#7LYU, Opaque forest problem (definition)

History

2026-11-02: add by m2/dev

Z41C8QJDYS Z41C8QJDYS

URI	`m2://inv/Z41C8QJDYS`
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#THME (statement). In SN9RSTHQ07/e1, corollary D.4

History

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

Ralph P. Boas Jr. Z41DBE88GH

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

Mentions

wikipedia: Wikipedia Ralph P. Boas Jr., Ralph P. Boas Jr. (topic). Also Wikidata Q787704

History

2026-11-02: add by m2/dev

Great inverted pentagonal hexecontahedron Z41JFNP9SD

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#ES8P, Great inverted pentagonal hexecontahedron (object)

History

2026-11-02: add by m2/dev

$(\infty,1)$-topos Z41KN0Y3MM

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

Mentions

hott_book: hott_book index/3.8/infty-1-topos, $(\infty,1)$-topos (concept). In N54F33XE07, index, section 3.8

History

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

Z41R0ACD0M Z41R0ACD0M

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

History

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

Lennart Åqvist Z41RNH9H7P

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

Mentions

wikipedia: Wikipedia Lennart Åqvist, Lennart Åqvist (topic). Also Wikidata Q6522766

History

2026-11-02: add by m2/dev

Z41WM9DZTZ Z41WM9DZTZ

URI	`m2://inv/Z41WM9DZTZ`
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.05582#99IH (definition). In 9X4TANWWWR/e1, definition 3.1

History

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

Circular arc Z41YC5DW8T

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

Mentions

wikipedia: Wikipedia Circular arc, Circular arc (definition). Also Wikidata Q18335820

History

2026-11-02: add by m2/dev

Z42418BYQ8 Z42418BYQ8

URI	`m2://inv/Z42418BYQ8`
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.32651#8QSN (definition). In WFJXSE3VDT/e1, definition 4.4

History

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

Growth of the $C^{s,1}$-Constant Z424YRXR8X

URI	`m2://inv/Z424YRXR8X`
Kind	statement
Layer	research
MSC	03-XX, 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 2610.12239#J23I, Growth of the $C^{s,1}$-Constant (statement). In CW9MNA6K58/e1, lemma 9.21

History

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

Rainbow coloring Z4269BR7D4

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

Mentions

wikipedia: Wikipedia Rainbow coloring, Rainbow coloring (definition). Also Wikidata Q18393198

History

2026-11-02: add by m2/dev

Big-little-big lemma Z429CA8KVM

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

Mentions

wikipedia: Wikipedia List of lemmas#U5KZ, Big-little-big lemma (statement)

History

2026-11-02: add by m2/dev

Null and planted models Z42BBXEE57

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

Mentions

arxiv: arXiv 2609.40345#1GAS, Null and planted models (definition). In WK0PT95WW1/e1, definition 5.5

History

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

Z42FG3BK2S Z42FG3BK2S

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

Mentions

arxiv: arXiv 2610.18219#MHOG (statement). In X1AGBB90EH/e1, proposition 2.10

History

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

Lagrangian Z42FZ1D9CF

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

Mentions

wikipedia: Wikipedia List of variational topics#ABCJ, Lagrangian (definition)
wikipedia: Wikipedia List of mathematical topics in classical mechanics#LA4K, Lagrangian (definition)

History

2026-11-02: add by m2/dev

Z42KK3GS10 Z42KK3GS10

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

Mentions

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

History

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

Z42S57TBGE Z42S57TBGE

URI	`m2://inv/Z42S57TBGE`
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.26600#F0BO (statement)

History

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

Z42V9266JK Z42V9266JK

URI	`m2://inv/Z42V9266JK`
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.18358#P576 (definition). In SPZ446XNDW/e1, definition 3.2

History

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

Characteristic three Z42VEMN0E7

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

Mentions

arxiv: arXiv 2609.38212#OODR, Characteristic three (example). In 5821K2RD8J/e1, example 5.2

History

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

Z42VGSDRXQ Z42VGSDRXQ

URI	`m2://inv/Z42VGSDRXQ`
Kind	definition
Layer	research
MSC	26-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 2610.06455#AINZ (definition). In N6GB5J5BAY/e1, definition

History

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

The Bulletin of Symbolic Logic Z42XFWSNV3

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

Mentions

wikipedia: Wikipedia List of logic journals#B65W, The Bulletin of Symbolic Logic (definition)

History

2026-11-02: add by m2/dev

Solomon Gandz Z42ZJQ2QQM

URI	`m2://inv/Z42ZJQ2QQM`
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#OXI9, Solomon Gandz (unknown)

History

2026-11-02: add by m2/dev

Z435SX1YY5 Z435SX1YY5

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

Mentions

arxiv: arXiv 2610.10262#Y5J2 (statement). In MVSGDTN2PB/e1, proposition 4.11

History

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

analytic Z43AH47484

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

Mentions

wikipedia: Wikipedia Glossary of logic#JY24, analytic (definition)

History

2026-11-02: add by m2/dev

Z43BBBP7KG Z43BBBP7KG

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

Mentions

arxiv: arXiv 2610.03619#UZW3 (definition). In 7SRERSS1PF/e1, definition 1.3

History

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

Statistical parameter Z43CYYZHPK

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

Mentions

wikipedia: Wikipedia Statistical parameter, Statistical parameter (definition). Also Wikidata Q3776487

History

2026-11-02: add by m2/dev

LU decomposition Z43DVG0BPB

URI	`m2://inv/Z43DVG0BPB`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	LU decomposition 0RKG5YW66Y

Mentions

wikidata: Wikidata Q833089, LU decomposition (unknown). Also MathWorld LUDecomposition
wikipedia: Wikipedia LU decomposition, LU decomposition (definition). Also Wikidata Q833089

History

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

Z43K36JK5P Z43K36JK5P

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

Mentions

napkin: napkin tex/alg-NT/dedekind.tex#proof-3 (proof). In RZP28ERRZV, proof, section 10.3

History

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

Z43SFA5NJJ Z43SFA5NJJ

URI	`m2://inv/Z43SFA5NJJ`
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.35398#ON4W (statement). In NAJCCHYXR6/e1, proposition 4.1

History

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

angle brackets Z440QKZ3HE

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

Mentions

wikidata: Wikidata Q110502275, angle brackets (unknown). Also MathWorld AngleBracket, ProofWiki Symbols:Brackets/Angle_Brackets

History

2026-10-26: add by m2/dev

Definition Z4432B1BB0

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

Mentions

wikipedia: Wikipedia Minimum-variance unbiased estimator#TC44, Definition (definition)

History

2026-11-02: add by m2/dev

scope Z44EMEEY4E

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

Mentions

hott_book: hott_book index/sec:formal-prelim/scope, scope (concept). In N54F33XE07, index, section sec:formal-prelim

History

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

Z44K3AH6K2 Z44K3AH6K2

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

Mentions

arxiv: arXiv 2609.20675#PGW1 (statement)

History

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

Z44KCAAKV2 Z44KCAAKV2

URI	`m2://inv/Z44KCAAKV2`
Kind	statement
Layer	research
MSC	46-XX, 51-XX, 52-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 2503.19528#YY6X (statement). In EM5955MDHN/e1, lemma 2.2

History

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

Z44MC0G4SH Z44MC0G4SH

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

Mentions

arxiv: arXiv 2609.34295#PVGL (statement). In A93R925Z24/e1, corollary 10.3

History

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

Examples Z44MEYHPGD

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

Mentions

wikipedia: Wikipedia Reshetikhin–Turaev invariant#39JR, Examples (example)

History

2026-11-02: add by m2/dev

Deltoidal tetrapentagonal tiling Z44P3PXS63

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

Mentions

wikipedia: Wikipedia Rhombitetrapentagonal tiling#2JAN, Deltoidal tetrapentagonal tiling (unknown)

History

2026-11-02: add by m2/dev

``Non-negative Reals'' Z456TDXHC7

URI	`m2://inv/Z456TDXHC7`
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 2104.00162#ZG2A, ``Non-negative Reals'' (definition). In HVGT9D84WV/e1, definition 2.6

History

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

Biochemical systems theory Z45AKB8CGT

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

Mentions

wikipedia: Wikipedia Biochemical systems theory, Biochemical systems theory (definition). Also Wikidata Q4914715

History

2026-11-02: add by m2/dev

quiver diagram Z45CRNTRYQ

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

Mentions

wikidata: Wikidata Q7272681, quiver diagram (unknown). Also nLab quiver gauge theory

History

2026-10-26: add by m2/dev

universal sentence Z45D7RGSRN

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

Mentions

wikidata: Wikidata Q141488365, universal sentence (unknown). Also MathWorld UniversalSentence

History

2026-10-26: add by m2/dev

Z45EMMRTRC Z45EMMRTRC

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

Mentions

arxiv: arXiv 2610.04382#T4IW (definition). In 7VW8XD28G1/e1, definition 3.1

History

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

Z45ZP68YKC Z45ZP68YKC

URI	`m2://inv/Z45ZP68YKC`
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.21399#H72X (statement)

History

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

Examples Z462CA1JR8

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

Mentions

wikipedia: Wikipedia Ducci sequence#2A2C, Examples (example)

History

2026-11-02: add by m2/dev

Crime clearance rate Z46474F5WZ

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

Mentions

wikipedia: Wikipedia Crime clearance rate, Crime clearance rate (definition). Also Wikidata Q378749

History

2026-11-02: add by m2/dev

Implementation Z46VFAJ8PM

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

Mentions

wikipedia: Wikipedia Uzawa iteration#YU9R, Implementation (definition)

History

2026-11-02: add by m2/dev

Z46WQKV7BZ Z46WQKV7BZ

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

Mentions

lebl_scv: lebl_scv scv.tex#thm:injective (statement). In VNMV985MXX, thm, section 1.6

History

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

Notation Z46WR9TR54

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

Mentions

wikipedia: Wikipedia Preference (economics)#QIM7, Notation (definition)

History

2026-11-02: add by m2/dev

Z46YQG6Q2D Z46YQG6Q2D

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

Mentions

arxiv: arXiv 2610.01888#UEN6 (statement). In A89G9GMPC9/e1, corollary 2.2

History

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

Historical Dialectic Z470GVBT6Q

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

Mentions

wikipedia: Wikipedia Dialectic#FYLZ, Historical Dialectic (unknown)

History

2026-11-02: add by m2/dev

Z472RZM076 Z472RZM076

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

Mentions

lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-4 (exercise). In E59CDZA4DP, exercise, section 11.9.6

History

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

trefoil Z479V6Q5VY

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

Mentions

arxiv: arXiv 2610.18803#9DV1, trefoil (example). In VG8AF124T3/e1, example 6.13

History

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

Amit Sahai Z47ECWW456

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

Mentions

wikipedia: Wikipedia List of cryptographers#Z44F, Amit Sahai (unknown)

History

2026-11-02: add by m2/dev

Lock Five, Alabama Z47JCR850R

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

Mentions

wikipedia: Wikipedia List of places with numeric names#OOLV, Lock Five, Alabama (unknown)

History

2026-11-02: add by m2/dev

Z47K34QP61 Z47K34QP61

URI	`m2://inv/Z47K34QP61`
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.07644#Q8VB (statement). In TFAN2DR6FD/e1, lemma 15

History

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

Statement Z47PE327YJ

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

Mentions

wikipedia: Wikipedia Ramsey's theorem#TQYD, Statement (statement)

History

2026-11-02: add by m2/dev

Applications Z47SWBSGEK

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

Mentions

wikipedia: Wikipedia Semi-continuity#KCED, Applications (example)

History

2026-11-02: add by m2/dev

Z47T2YSY4T Z47T2YSY4T

URI	`m2://inv/Z47T2YSY4T`
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.12329#BKF5 (statement). In ZJQB9W60T6/e1, corollary 3.4

History

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

Z47VA332WW Z47VA332WW

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

Mentions

hott_book: hott_book homotopy.tex#proof-6 (proof). In N54F33XE07, proof, section 7.1.4

History

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

Francisco Santos Leal Z47ZJXC1NA

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

Mentions

wikipedia: Wikipedia Francisco Santos Leal, Francisco Santos Leal (topic). Also Wikidata Q18223274

History

2026-11-02: add by m2/dev

Z4816P7H51 Z4816P7H51

URI	`m2://inv/Z4816P7H51`
Kind	problem
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 2411.13671#AGOM (problem). In PN02WN5AA6/e1, problem

History

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

Z481GTMYK3 Z481GTMYK3

URI	`m2://inv/Z481GTMYK3`
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 math/0411039#W44W (statement). In ZTBDXSKFFW/e1, lemma 2.3

History

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

Wayne Nelson Z483P9XHFA

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

Mentions

wikipedia: Wikipedia Wayne Nelson (statistician), Wayne Nelson (topic). Also Wikidata Q102146118

History

2026-11-02: add by m2/dev

limit of a map with respect to filters Z48BP63YFD

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

Mentions

mathlib_overview: mathlib_overview Topology > General topology > limit of a map with respect to filters, limit of a map with respect to filters (unknown). Also Mathlib Filter.Tendsto
mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Real-valued functions defined on a subset of $\R$ > limits, limits (unknown). Also Mathlib Filter.Tendsto
mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences of real numbers > convergence, convergence (unknown). Also Mathlib Filter.Tendsto

History

2026-10-26: add by m2/dev

Plateau for classes of segments Z48M4FVQA0

URI	`m2://inv/Z48M4FVQA0`
Kind	statement
Layer	research
MSC	37-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.09912#8IEB, Plateau for classes of segments (statement). In 65TJENWK7X/e1, lemma 59

History

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

Blakers–Massey theorem Z48RT85SP8

URI	`m2://inv/Z48RT85SP8`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	Blakers–Massey theorem QF764XKBA3

Mentions

wikidata: Wikidata Q4924632, Blakers–Massey theorem (statement). Also nLab Blakers-Massey theorem
wikipedia: Wikipedia Blakers–Massey theorem, Blakers–Massey theorem (statement). Also Wikidata Q4924632

History

2026-10-26: add by m2/dev

Z491YSEP02 Z491YSEP02

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

History

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

Z495V80HR5 Z495V80HR5

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

Mentions

arxiv: arXiv 2609.28411#2PZ7 (statement)

History

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

Z49HB0MD9W Z49HB0MD9W

URI	`m2://inv/Z49HB0MD9W`
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.01501#36ES (statement). In 8Q2PXZDGB5/e1, theorem 5.3

History

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

Z49N25DTJM Z49N25DTJM

URI	`m2://inv/Z49N25DTJM`
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 2601.15403#49RB (statement). In BSWNH3NW1M/e1, lemma 6.2

History

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

Z49NRZ3VY8 Z49NRZ3VY8

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

Mentions

open_logic: open_logic content/set-theory/ord-arithmetic/addition.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 71.8

History

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

Z4A4P9K3VE Z4A4P9K3VE

URI	`m2://inv/Z4A4P9K3VE`
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#M9HC (statement). In E7W2HDNEKJ/e1, lemma 4.10

History

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

A validated flow step Z4A65A6R6Z

URI	`m2://inv/Z4A65A6R6Z`
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#KVWQ, A validated flow step (statement). In JY6RYSNXMJ/e1, lemma 21

History

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

Z4A8KPFN9Z Z4A8KPFN9Z

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

Mentions

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

History

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

Z4A9GNPF70 Z4A9GNPF70

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

Mentions

arxiv: arXiv 2405.09294#WPTA (statement). In 2WZQC0TKVK/e1, theorem 3.4

History

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

Tsit Yuen Lam Z4AG5Q8XWJ

URI	`m2://inv/Z4AG5Q8XWJ`
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 Q1644671, Tsit Yuen Lam (unknown). Also ProofWiki Mathematician:Tsit_Yuen_Lam

History

2026-10-26: add by m2/dev

Matías Plaza Z4AM2EG9S6

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

Mentions

wikipedia: Wikipedia List of twin teammates in sports#3UWU, Matías Plaza (unknown)

History

2026-11-02: add by m2/dev

Z4ARDF4P18 Z4ARDF4P18

URI	`m2://inv/Z4ARDF4P18`
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.20588#41FC (statement)

History

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

Z4ASFPGCDN Z4ASFPGCDN

URI	`m2://inv/Z4ASFPGCDN`
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 1001.3429#ME0R (statement). In 6S4BVGS1VP/e1, lemma 2.1

History

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

Z4AVF08A4E Z4AVF08A4E

URI	`m2://inv/Z4AVF08A4E`
Kind	statement
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#JHS7 (statement). In G1RP4JY5PE/e1, proposition 5.4.13

History

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

Z4AVX65VXD Z4AVX65VXD

URI	`m2://inv/Z4AVX65VXD`
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.23593#96MK (statement)

History

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

Z4AYSQQS3K Z4AYSQQS3K

URI	`m2://inv/Z4AYSQQS3K`
Kind	definition
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.06463#B9AF (definition). In 3WWY9K1K9V/e1, definition 1

History

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

Z4B9DFMDY2 Z4B9DFMDY2

URI	`m2://inv/Z4B9DFMDY2`
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#3VYA (definition). In REDG6QVHM3/e1, definition 5.1

History

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

Theorem 1 Z4BG8HGGZ6

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

Mentions

wikipedia: Wikipedia Carmichael function#849Q, Theorem 1 (statement)

History

2026-11-02: add by m2/dev

Conditional dominance and distributional dependence Z4BJV2RTFK

URI	`m2://inv/Z4BJV2RTFK`
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.26265#UBNG, Conditional dominance and distributional dependence (statement)

History

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

Z4BTQPGZBJ Z4BTQPGZBJ

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

History

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

monotonicity of the integral Z4BTX02YM7

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

Mentions

lebl_ra: lebl_ra index/5.1.3/monotonicity-of-the-integral, monotonicity of the integral (concept). In E59CDZA4DP, index, section 5.1.3

History

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

Z4BYTXG3VW Z4BYTXG3VW

URI	`m2://inv/Z4BYTXG3VW`
Kind	statement
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.30200#JMT9 (statement)

History

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

Z4BZHPDAAQ Z4BZHPDAAQ

URI	`m2://inv/Z4BZHPDAAQ`
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 2305.10202#BGQT (statement). In ER06JKXR8B/e1, theorem 1.4

History

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

Z4C2GGF6DM Z4C2GGF6DM

URI	`m2://inv/Z4C2GGF6DM`
Kind	definition
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.30976#AC8D (definition). In 4QY9J1A0KT/e1, definition 11

History

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

Doriot Anthony Dwyer Z4C5T69TJM

URI	`m2://inv/Z4C5T69TJM`
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#VDPN, Doriot Anthony Dwyer (unknown)

History

2026-11-02: add by m2/dev

Global incidence-level classical abelian BF under \textup{(G5 Z4C8Y9F4BZ

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

Mentions

arxiv: arXiv 2609.27799#90J0, Global incidence-level classical abelian BF under \textup{(G5 (statement)

History

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

Z4CF63R6BT Z4CF63R6BT

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

Mentions

arxiv: arXiv 2108.01302#5CA0 (statement). In KTQS6YPA4E/e1, corollary 1.4

History

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

Z4CH6RC64A Z4CH6RC64A

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

Mentions

arxiv: arXiv 2610.05784#X1YS (statement). In 6NVP3YRWVA/e1, theorem 2.16

History

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

Bernard Silverman Z4CJT2GY9B

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

Mentions

wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#SGY3, Bernard Silverman (topic)

History

2026-11-02: add by m2/dev

Bharath Sriraman Z4CKEWW54M

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

Mentions

wikipedia: Wikipedia Bharath Sriraman, Bharath Sriraman (topic). Also Wikidata Q4901178

History

2026-11-02: add by m2/dev

Substitution Z4CP5X7ZKM

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

Mentions

open_logic: open_logic content/lambda-calculus/syntax/substitution.tex#defn:substitution, Substitution (definition). In PKGMM3P5QY, defn, section 38.15

History

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

Very smooth hash Z4D14VF2TA

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

Mentions

wikipedia: Wikipedia Very smooth hash, Very smooth hash (definition). Also Wikidata Q3553011

History

2026-11-02: add by m2/dev

Coversine Z4D7WHNF5E

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#Z0U4, Coversine (definition)

History

2026-11-02: add by m2/dev

Helmut Röhrl Z4DEB7E2NF

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

Mentions

wikipedia: Wikipedia Helmut Röhrl, Helmut Röhrl (topic). Also Wikidata Q15298483

History

2026-11-02: add by m2/dev

Principle of Orthogonality Z4DHCVARS0

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

Mentions

wikipedia: Wikipedia Orthogonal array testing#RHP3, Principle of Orthogonality (statement)

History

2026-11-02: add by m2/dev

Werner Müller Z4DJBJS9RW

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

Mentions

wikipedia: Wikipedia Werner Müller (mathematician), Werner Müller (topic). Also Wikidata Q108600

History

2026-11-02: add by m2/dev

Andrei Moroianu Z4DKJD1769

URI	`m2://inv/Z4DKJD1769`
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 Q59911151, Andrei Moroianu (unknown). Also nLab Andrei Moroianu

History

2026-10-26: add by m2/dev

Z4DM9BYEDD Z4DM9BYEDD

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise:bergmanpunctureddisc (exercise). In VNMV985MXX, exercise, section 5.2

History

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

Z4DRQ5NNT2 Z4DRQ5NNT2

URI	`m2://inv/Z4DRQ5NNT2`
Kind	statement
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#X135 (statement). In YZNK67K060/e1, lemma 10.2

History

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

Z4E0YQD0R2 Z4E0YQD0R2

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

Mentions

arxiv: arXiv 2609.21692#UNTB (definition)

History

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

𝖌 Z4E1APAFCV

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

Mentions

wikipedia: Wikipedia Glossary of set theory#WF02, 𝖌 (definition)

History

2026-11-02: add by m2/dev

Lens equation Z4EB25XXJG

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

Mentions

wikipedia: Wikipedia Lens#S58I, Lens equation (unknown)

History

2026-11-02: add by m2/dev

Third Lake, Illinois Z4EB620GQ9

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

Mentions

wikipedia: Wikipedia List of places with numeric names#CPDS, Third Lake, Illinois (unknown)

History

2026-11-02: add by m2/dev

Robert Calderbank Z4EC2Q107A

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

Mentions

wikipedia: Wikipedia Robert Calderbank, Robert Calderbank (topic). Also Wikidata Q7342689

History

2026-11-02: add by m2/dev

Z4ET8K6PQK Z4ET8K6PQK

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

Mentions

open_logic: open_logic content/methods/proofs/example-2.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 44.8

History

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

Shura Cherkassky Z4F02A6NM7

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#871M, Shura Cherkassky (unknown)

History

2026-11-02: add by m2/dev

Z4F39FHB9V Z4F39FHB9V

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

Mentions

arxiv: arXiv 2610.05784#GTTJ (statement). In 6NVP3YRWVA/e1, fact 4.14

History

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

Statement Z4FD47VT58

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

Mentions

wikipedia: Wikipedia Kakutani fixed-point theorem#1TK2, Statement (statement)

History

2026-11-02: add by m2/dev

Z4FDD41QGT Z4FDD41QGT

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

Mentions

arxiv: arXiv 2609.25449#IX3M (statement). In 9JHMTYGWFQ/e1, lemma 4.4

History

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

De Rham cohomology Z4FDM0DW91

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#89JU, De Rham cohomology (definition)
wikipedia: Wikipedia List of differential geometry topics#R8JG, De Rham cohomology (definition)
wikipedia: Wikipedia List of algebraic topology topics#BV66, De Rham cohomology (definition)

History

2026-11-02: add by m2/dev

Z4FGHM4MS9 Z4FGHM4MS9

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

Mentions

arxiv: arXiv 2609.33590#021H (definition). In WRE0P7V6Z3/e1, definition D.5

History

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

Z4FGV71435 Z4FGV71435

URI	`m2://inv/Z4FGV71435`
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.04323#68HX (statement). In 3Z0D2NCJ0B/e1, lemma 20

History

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

Z4FNYVQS9R Z4FNYVQS9R

URI	`m2://inv/Z4FNYVQS9R`
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.28702#EBFU (statement)

History

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

Stable range condition Z4FPZT11M4

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#EZAL, Stable range condition (definition)

History

2026-11-02: add by m2/dev

mathematics, constructive Z4GM4VK1FZ

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

Mentions

hott_book: hott_book index/u1.u7/mathematics-constructive, mathematics, constructive (concept). In N54F33XE07, index, section u1.u7

History

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

Buchstab function Z4GV905P1D

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

Mentions

wikidata: Wikidata Q21072754, Buchstab function (concept). Also MathWorld BuchstabFunction
wikipedia: Wikipedia Buchstab function, Buchstab function (definition). Also Wikidata Q21072754

History

2026-10-26: add by m2/dev

Z4GVMNR272 Z4GVMNR272

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

Mentions

arxiv: arXiv 2610.07285#ZNOR (statement). In S284XRA4WK/e1, lemma G.1

History

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

Z4GW3J71PC Z4GW3J71PC

URI	`m2://inv/Z4GW3J71PC`
Kind	definition
Layer	research
MSC	26-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.06152#ZP7T (definition). In HH35K7S17H/e1, definition A.3

History

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

Spherical mean Z4GXKX1BBR

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

Mentions

wikipedia: Wikipedia Spherical mean, Spherical mean (definition). Also Wikidata Q7576710

History

2026-11-02: add by m2/dev

Broer–Kaup equations Z4H4Y4059Y

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

Mentions

wikipedia: Wikipedia List of partial differential equation topics#R21A, Broer–Kaup equations (unknown)

History

2026-11-02: add by m2/dev

Z4H5PD7CE5 Z4H5PD7CE5

URI	`m2://inv/Z4H5PD7CE5`
Kind	statement
Layer	research
MSC	26-XX, 35-XX, 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 2610.12430#WUNR (statement). In VGKCBWQ65N/e1, lemma 3.1

History

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

Erdal İnönü Z4J0ZMWQR4

URI	`m2://inv/Z4J0ZMWQR4`
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 Q1348747, Erdal İnönü (unknown). Also nLab Erdal İnönü

History

2026-10-26: add by m2/dev

Randomized function view of PML Z4J351VC6V

URI	`m2://inv/Z4J351VC6V`
Kind	definition
Layer	research
MSC	62-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.28297#70OG, Randomized function view of PML (definition)

History

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

Z4J5815DPY Z4J5815DPY

URI	`m2://inv/Z4J5815DPY`
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 2609.24902#UUF0 (definition)

History

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

Strong solutions Z4JJ7JNR11

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

Mentions

arxiv: arXiv 2609.20998#I0YL, Strong solutions (definition)

History

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

Z4JM0F708Q Z4JM0F708Q

URI	`m2://inv/Z4JM0F708Q`
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.03144#ENFI (statement). In 9QW88325GS/e1, lemma 4.13

History

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

Z4JWSR11HB Z4JWSR11HB

URI	`m2://inv/Z4JWSR11HB`
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 2304.09819#TSOM (statement). In FYKSPSVT37/e1, theorem 1.1

History

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

Continuity of $h$ Z4JXC1J4W0

URI	`m2://inv/Z4JXC1J4W0`
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.39409#CIUN, Continuity of $h$ (statement). In CQ0Z7QA0A5/e1, theorem 2.12

History

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

Z4JXW8EMRS Z4JXW8EMRS

URI	`m2://inv/Z4JXW8EMRS`
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 2610.18803#MBJV (statement). In VG8AF124T3/e1, theorem 5.2

History

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

Adabaria Union Z4K3HR5CZ3

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

Mentions

wikipedia: Wikipedia List of places with numeric names#3O61, Adabaria Union (unknown)

History

2026-11-02: add by m2/dev

Z4K7EBYDQF Z4K7EBYDQF

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

Mentions

napkin: napkin tex/homology/cellular.tex#proof-3 (proof). In RZP28ERRZV, proof, section 50.2

History

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

deterministic Turing machine Z4KEG5W033

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

Mentions

wikipedia: Wikipedia Glossary of logic#HO6G, deterministic Turing machine (definition)

History

2026-11-02: add by m2/dev

Z4KNBQPDNF Z4KNBQPDNF

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

Mentions

arxiv: arXiv 2610.10930#67TP (example). In HX63A1PH1W/e1, example 7.4

History

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

Mathematical table Z4KXK0V9ZK

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

Mentions

wikipedia: Wikipedia Mathematical table, Mathematical table (definition). Also Wikidata Q1763948

History

2026-11-02: add by m2/dev

Lasse Rempe-Gillen Z4KXWYGY2Z

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

Mentions

wikipedia: Wikipedia List of German mathematicians#VUZ4, Lasse Rempe-Gillen (topic)

History

2026-11-02: add by m2/dev

Kitchen sink regression Z4M186XC2J

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

Mentions

wikipedia: Wikipedia List of statistics articles#YN18, Kitchen sink regression (definition)

History

2026-11-02: add by m2/dev

Hilbert's thirteenth problem Z4M5PDNZVM

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

Mentions

wikipedia: Wikipedia Hilbert's thirteenth problem, Hilbert's thirteenth problem (conjecture). Also Wikidata Q838094

History

2026-11-02: add by m2/dev

Fourier amplitude sensitivity testing Z4MCZBZ5PD

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

Mentions

wikipedia: Wikipedia Fourier amplitude sensitivity testing, Fourier amplitude sensitivity testing (definition). Also Wikidata Q5475788

History

2026-11-02: add by m2/dev

metric geometry Z4MG1VENYS

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

Mentions

wikidata: Wikidata Q122488935, metric geometry (topic). Also ProofWiki Definition:Metrical_Geometry

History

2026-10-26: add by m2/dev

Set of all sets Z4MYVRMESX

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

Mentions

wikipedia: Wikipedia List of paradoxes#W9TC, Set of all sets (definition)

History

2026-11-02: add by m2/dev

Statement Z4MZJQCH48

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

Mentions

wikipedia: Wikipedia Hautus lemma#6NGP, Statement (statement)

History

2026-11-02: add by m2/dev

Z4N2QKDZ4D Z4N2QKDZ4D

URI	`m2://inv/Z4N2QKDZ4D`
Kind	statement
Layer	research
MSC	05-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.33512#2JN4 (statement). In WYHZMYZT31/e1, corollary 4.8

History

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

Z4N6B1SA4G Z4N6B1SA4G

URI	`m2://inv/Z4N6B1SA4G`
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.09019#V2O0 (statement). In 8V6YECFCC1/e1, theorem 4.13

History

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

Properties Z4NCK7YCQ0

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

Mentions

wikipedia: Wikipedia Bateman function#H6UG, Properties (statement)

History

2026-11-02: add by m2/dev

Population genetics Z4NDREBKPG

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

Mentions

wikipedia: Wikipedia Population genetics, Population genetics (topic). Also Wikidata Q31151

History

2026-11-02: add by m2/dev

Z4NEJG1128 Z4NEJG1128

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

Mentions

arxiv: arXiv 1805.04646#M6JR (proof). In WDDY7P9T66/e1, proof

History

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

An elliptic curve, again Z4NGT0847B

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

Mentions

napkin: napkin tex/riemann-surface/affine-projective.tex#example-6, An elliptic curve, again (example). In RZP28ERRZV, example, section 82.3

History

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

Xinwen Zhu Z4NKQCG4HW

URI	`m2://inv/Z4NKQCG4HW`
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#0OR6, Xinwen Zhu (topic)

History

2026-11-02: add by m2/dev

Characteristic class Z4NN7JPZZJ

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#QXBK, Characteristic class (definition)
wikipedia: Wikipedia List of algebraic topology topics#GR8M, Characteristic class (definition)

History

2026-11-02: add by m2/dev

Z4NPNKZM7X Z4NPNKZM7X

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

Mentions

arxiv: arXiv 2609.20153#FTWH (statement)

History

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

General elephant Z4NW9NQFWR

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

Mentions

wikipedia: Wikipedia General elephant, General elephant (definition). Also Wikidata Q5532342

History

2026-11-02: add by m2/dev

Properties Z4NZGB0W19

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

Mentions

wikipedia: Wikipedia Collectionwise Hausdorff space#WT7O, Properties (statement)

History

2026-11-02: add by m2/dev

Gil Kalai Z4P1JZMMN3

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#NS6C, Gil Kalai (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JFIP, Gil Kalai (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Y6FW, Gil Kalai (topic)

History

2026-11-02: add by m2/dev

factorization Z4P5WAXCE5

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#ND57, factorization (definition)

History

2026-11-02: add by m2/dev

Caustic Z4PW5XPB77

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#BYOO, Caustic (definition)
wikipedia: Wikipedia List of curves#Z8R1, Caustic (definition)

History

2026-11-02: add by m2/dev

envelope Z4Q4D8QKWD

URI	`m2://inv/Z4Q4D8QKWD`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Envelope 827KR3MVVY

Mentions

wikidata: Wikidata Q1060372, envelope (unknown). Also MathWorld Envelope
wikipedia: Wikipedia Envelope (mathematics), Envelope (definition). Also Wikidata Q1060372

History

2026-10-26: add by m2/dev

Z4Q5AR6P8B Z4Q5AR6P8B

URI	`m2://inv/Z4Q5AR6P8B`
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.20050#JK9K (definition). In T41GD0Y0GX/e1, definition 3.2

History

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

Z4QDBXD951 Z4QDBXD951

URI	`m2://inv/Z4QDBXD951`
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.06340#BP3X (statement). In PKNZPECH82/e1, theorem 1.4

History

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

Z4QES7H3E4 Z4QES7H3E4

URI	`m2://inv/Z4QES7H3E4`
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.24078#LH6B (statement)

History

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

Z4QHHPE9KR Z4QHHPE9KR

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

Mentions

arxiv: arXiv 2610.13100#G77G (statement). In CC6S1HVK0T/e1, theorem B.1

History

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

Vanishing asymptotic SQCQP frequency Z4QHS80PWK

URI	`m2://inv/Z4QHS80PWK`
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.18428#LVDT, Vanishing asymptotic SQCQP frequency (statement). In 6BGSQT7SV8/e1, corollary 3

History

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

Z4QQW06FG2 Z4QQW06FG2

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

Mentions

arxiv: arXiv 2609.34382#QPTO (example). In MEF2VCAYXS/e1, example 2.11

History

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

Z4R31SGC4S Z4R31SGC4S

URI	`m2://inv/Z4R31SGC4S`
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 2107.00792#T35A (statement). In TD16A541ZN/e1, corollary 1.5

History

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

Algorithm Z4R3GBDAC1

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

Mentions

wikipedia: Wikipedia Cipolla's algorithm#KPBB, Algorithm (definition)

History

2026-11-02: add by m2/dev

tensor product Z4R5XAN8Q0

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#HF2J, tensor product (definition)

History

2026-11-02: add by m2/dev

Trivial topology Z4R6D0GCHW

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

Mentions

wikipedia: Wikipedia List of general topology topics#4HSS, Trivial topology (definition)
wikipedia: Wikipedia List of examples in general topology#VU0O, Trivial topology (definition)

History

2026-11-02: add by m2/dev

Gaussian graphical model Z4RFGCRTH2

URI	`m2://inv/Z4RFGCRTH2`
Kind	definition
Layer	research
MSC	05-XX, 14-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.19669#04ZX, Gaussian graphical model (definition). In 1QPAA94Q76/e1, definition 1

History

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

Bernoulli polynomials Z4RKKZY2XS

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

Mentions

wikipedia: Wikipedia List of polynomial topics#413F, Bernoulli polynomials (definition)

History

2026-11-02: add by m2/dev

Z4RV11K68H Z4RV11K68H

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

Mentions

arxiv: arXiv 2609.20607#VK2U (problem)

History

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

All private channels factor through the modulo release Z4RW1AMMSM

URI	`m2://inv/Z4RW1AMMSM`
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#VY3I, All private channels factor through the modulo release (statement). In 9YAE8FNQST/e1, theorem 28.23

History

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

Carl N. Morris Z4S2AC3Z03

URI	`m2://inv/Z4S2AC3Z03`
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#85K0, Carl N. Morris (unknown)

History

2026-11-02: add by m2/dev

symmetric difference Z4S2Y4SM1Y

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

Mentions

wikipedia: Wikipedia Glossary of set theory#XEFU, symmetric difference (definition)

History

2026-11-02: add by m2/dev

Abu al-Hasan al-Ahwazi Z4S3F78KAB

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

Mentions

wikipedia: Wikipedia List of Iranian mathematicians#6TSQ, Abu al-Hasan al-Ahwazi (topic)

History

2026-11-02: add by m2/dev

Open castles Z4S51CA2MR

URI	`m2://inv/Z4S51CA2MR`
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.11143#YX9S, Open castles (statement). In 9CS15SV662/e1, lemma 12.1

History

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

Z4S5FDGFM1 Z4S5FDGFM1

URI	`m2://inv/Z4S5FDGFM1`
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.21535#FDKW (statement)

History

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

Z4S6N64XZF Z4S6N64XZF

URI	`m2://inv/Z4S6N64XZF`
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.23941#UG2Z (statement)

History

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

Z4S9RB1TNY Z4S9RB1TNY

URI	`m2://inv/Z4S9RB1TNY`
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 2409.20170#7D1W (statement). In QXJP79APHN/e1, theorem 2.12

History

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

Applications Z4SB45JRCX

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

Mentions

wikipedia: Wikipedia Frobenius's theorem (group theory)#H1JM, Applications (example)

History

2026-11-02: add by m2/dev

Euclidean algorithm Z4SHQN5ZZD

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

Mentions

wikipedia: Wikipedia List of algorithms#DQ6J, Euclidean algorithm (definition)

History

2026-11-02: add by m2/dev

Z4STT9434Z Z4STT9434Z

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

Mentions

arxiv: arXiv 2609.32233#CVPS (statement). In V42PPD7SWH/e1, theorem 1.2

History

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

Z4SZH49FPP Z4SZH49FPP

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

Mentions

arxiv: arXiv 2610.14189#71ZW (statement). In 39VAB08YDJ/e1, lemma 4.3

History

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

Reach Z4SZJ59JJR

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

Mentions

wikipedia: Wikipedia Reach (mathematics), Reach (definition). Also Wikidata Q7300166

History

2026-11-02: add by m2/dev

Z4T1EF6BJ0 Z4T1EF6BJ0

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

Mentions

arxiv: arXiv 2609.30821#LFSG (example). In 1MZ9XBPTFQ/e1, example 4

History

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

applications of probability generating functions to sums of independent random variables Z4T27REJDR

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

Mentions

mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > applications of probability generating functions to sums of independent random variables, applications of probability generating functions to sums of independent random variables (unknown)

History

2026-10-26: add by m2/dev

Z4T36G4EQ4 Z4T36G4EQ4

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/provability-properties.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 50.11

History

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

Variations Z4TNHE381J

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

Mentions

wikipedia: Wikipedia El Niño–Southern Oscillation#VDLG, Variations (statement)

History

2026-11-02: add by m2/dev

Z4TS0Z3WFG Z4TS0Z3WFG

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

Mentions

hott_book: hott_book hits.tex#thm:pushout-ump (statement). In N54F33XE07, lem, section 5.8

History

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

Daniel Friedrich Hecht Z4V8BQ8ZPN

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

Mentions

wikipedia: Wikipedia Daniel Friedrich Hecht, Daniel Friedrich Hecht (topic). Also Wikidata Q5217208

History

2026-11-02: add by m2/dev

Z4V9Y397MV Z4V9Y397MV

URI	`m2://inv/Z4V9Y397MV`
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.04901#BEIT (statement). In XBWHYW36TP/e1, lemma 2.4

History

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

Z4VAE0Y6E1 Z4VAE0Y6E1

URI	`m2://inv/Z4VAE0Y6E1`
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 2609.20961#I9F3 (statement)

History

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

Authority distribution Z4VF4Z9D2D

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

Mentions

wikipedia: Wikipedia Authority distribution, Authority distribution (definition). Also Wikidata Q25304435

History

2026-11-02: add by m2/dev

Two Brownian completions Z4VMVT3DVQ

URI	`m2://inv/Z4VMVT3DVQ`
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#C6VM, Two Brownian completions (statement). In 9YAE8FNQST/e1, lemma 15.5

History

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

Z4VNYVRE4J Z4VNYVRE4J

URI	`m2://inv/Z4VNYVRE4J`
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 2409.20170#5VI8 (definition). In QXJP79APHN/e1, definition 2.3

History

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

Z4VVQHQWF2 Z4VVQHQWF2

URI	`m2://inv/Z4VVQHQWF2`
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 2406.19866#NA1B (statement). In 9F94CEQ1ZM/e1, proposition 5.4

History

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

Z4VWKEJH2V Z4VWKEJH2V

URI	`m2://inv/Z4VWKEJH2V`
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#3Z9B (statement). In WYDHWYFRFK/e1, theorem 3.19

History

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

Greedoid Z4VXJM3VQ0

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

Mentions

wikipedia: Wikipedia Greedoid, Greedoid (definition). Also Wikidata Q637575

History

2026-11-02: add by m2/dev

Moser estimates Z4W5Y18YBX

URI	`m2://inv/Z4W5Y18YBX`
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.37593#QEIG, Moser estimates (statement). In YTF96VHKAH/e1, lemma A.7

History

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

Z4W7EGBYJR Z4W7EGBYJR

URI	`m2://inv/Z4W7EGBYJR`
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.23522#2EKM (statement)

History

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

Functionally graded element Z4WBADCPTN

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

Mentions

wikipedia: Wikipedia Functionally graded element, Functionally graded element (definition). Also Wikidata Q5508861

History

2026-11-02: add by m2/dev

Weyl relations Z4WWGRX638

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

Mentions

wikipedia: Wikipedia List of things named after Hermann Weyl#OZBH, Weyl relations (definition)

History

2026-11-02: add by m2/dev

Z4X3M385RD Z4X3M385RD

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#prop:seqtosubseq (statement). In E59CDZA4DP, prop, section 10.1.3

History

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

Dionigi Galletto Z4XAPW1FZZ

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#HG46, Dionigi Galletto (topic)

History

2026-11-02: add by m2/dev

Connexive logic Z4XTBHMCSS

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

Mentions

wikipedia: Wikipedia Connexive logic, Connexive logic (definition). Also Wikidata Q5161806

History

2026-11-02: add by m2/dev

Lie groupoid Z4XYPBH57P

URI	`m2://inv/Z4XYPBH57P`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Lie groupoid HNVW0E732J

Mentions

wikidata: Wikidata Q6543824, Lie groupoid (unknown). Also MathWorld LieGroupoid, nLab Lie groupoid
wikipedia: Wikipedia Lie groupoid, Lie groupoid (definition). Also Wikidata Q6543824

History

2026-10-26: add by m2/dev

Z4YTAHM06C Z4YTAHM06C

URI	`m2://inv/Z4YTAHM06C`
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.13295#BA4N (statement). In 8Q7QXTWD0S/e1, proposition 3.3

History

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

Non-malleable affine extractors for linear entropy Z4YYEW3111

URI	`m2://inv/Z4YYEW3111`
Kind	statement
Layer	research
MSC	05-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.02407#MPPP, Non-malleable affine extractors for linear entropy (statement). In ZZER8ZBSCR/e1, theorem 1.2

History

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

Kseniya Garaschuk Z4YZTV7P0D

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

Mentions

wikipedia: Wikipedia Kseniya Garaschuk, Kseniya Garaschuk (topic). Also Wikidata Q102582221

History

2026-11-02: add by m2/dev

Lower bound on the conditional probability of activating a $V_1$-vertex Z4Z276PV1Y

URI	`m2://inv/Z4Z276PV1Y`
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.08766#GVZN, Lower bound on the conditional probability of activating a $V_1$-vertex (statement). In QA4JM9SHPA/e1, lemma 7.1

History

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

Z4Z39JP034 Z4Z39JP034

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

Mentions

napkin: napkin tex/alg-NT/pell.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 17.2

History

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

Linear tilts of the cascade Z4ZGDCNHTQ

URI	`m2://inv/Z4ZGDCNHTQ`
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.32710#ST2E, Linear tilts of the cascade (statement). In KVYG6R7CGJ/e1, lemma 2.6

History

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

small icosacronic hexecontahedron Z4ZN94CX1W

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

Mentions

wikidata: Wikidata Q7543084, small icosacronic hexecontahedron (unknown). Also MathWorld SmallIcosacronicHexecontahedron
wikipedia: Wikipedia Small icosacronic hexecontahedron, Small icosacronic hexecontahedron (object). Also Wikidata Q7543084

History

2026-10-26: add by m2/dev

The theorem Z4ZNPJ97FK

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

Mentions

wikipedia: Wikipedia Cheung–Marks theorem#NETI, The theorem (statement)

History

2026-11-02: add by m2/dev

John Forbes Nash Jr. Z4ZQTQN49T

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#845E, John Forbes Nash Jr. (topic)

History

2026-11-02: add by m2/dev

Lawrence Markus Z4ZRATA54Q

URI	`m2://inv/Z4ZRATA54Q`
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#T7S0, Lawrence Markus (unknown)

History

2026-11-02: add by m2/dev

Basque Statistics Office Z4ZREGM5EG

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

Mentions

wikipedia: Wikipedia Basque Statistics Office, Basque Statistics Office (definition). Also Wikidata Q810379

History

2026-11-02: add by m2/dev

Transseries Z4ZTF32Y01

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

Mentions

wikipedia: Wikipedia List of exponential topics#MN16, Transseries (definition)

History

2026-11-02: add by m2/dev

Fourier theorem Z4ZZMQRJKN

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

Mentions

wikipedia: Wikipedia List of theorems#ZJR1, Fourier theorem (definition)

History

2026-11-02: add by m2/dev

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