Inventory rows WQ

Incomparable maximal private releases near a Gaussian WQ04V3YY2K

URI	`m2://inv/WQ04V3YY2K`
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#RHTB, Incomparable maximal private releases near a Gaussian (statement). In 9YAE8FNQST/e1, theorem 28.24

History

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

Collaboration graph WQ05MDM7AH

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

Mentions

wikipedia: Wikipedia Collaboration graph, Collaboration graph (definition). Also Wikidata Q5145801

History

2026-11-02: add by m2/dev

WQ060KHKD7 WQ060KHKD7

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

Mentions

arxiv: arXiv 2610.15771#0SYE (statement). In F2243YZX7A/e1, proposition 5.1

History

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

Statement WQ0ATJ2WV8

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

Mentions

wikipedia: Wikipedia Chebyshev's inequality#P2XS, Statement (statement)

History

2026-11-02: add by m2/dev

Properties WQ0GHEVACP

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

Mentions

wikipedia: Wikipedia Turing reduction#2EI0, Properties (statement)

History

2026-11-02: add by m2/dev

Radon's theorem WQ0K4EQZC1

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

Mentions

wikipedia: Wikipedia List of convexity topics#YOYL, Radon's theorem (statement)

History

2026-11-02: add by m2/dev

Thompson sampling WQ0SYVHSBD

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

Mentions

wikipedia: Wikipedia List of statistics articles#OCG2, Thompson sampling (definition)

History

2026-11-02: add by m2/dev

Bolzano-Weierstra\ss WQ0Y9SHKAX

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

Mentions

napkin: napkin tex/topology/compactness.tex#thm:fakeBW, Bolzano-Weierstra\ss (statement). In RZP28ERRZV, theorem, section 95.2

History

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

pentagonal gyrocupolarotunda WQ0ZK4XT3B

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

Mentions

wikidata: Wikidata Q511766, pentagonal gyrocupolarotunda (object). Also MathWorld PentagonalGyrocupolarotunda
wikipedia: Wikipedia Pentagonal gyrocupolarotunda, Pentagonal gyrocupolarotunda (definition). Also Wikidata Q511766

History

2026-10-26: add by m2/dev

Rust WQ10FGC39K

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#BD01, Rust (unknown)

History

2026-11-02: add by m2/dev

WQ160JMP87 WQ160JMP87

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

Mentions

arxiv: arXiv 2609.21649#SC67 (statement)

History

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

Examples WQ176WGFJA

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

Mentions

wikipedia: Wikipedia Discriminant of an algebraic number field#OSZD, Examples (example)

History

2026-11-02: add by m2/dev

adjugate matrix WQ1C08GYW2

URI	`m2://inv/WQ1C08GYW2`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Adjugate matrix 07W9H8QF38

Mentions

wikidata: Wikidata Q225107, adjugate matrix (definition). Also ProofWiki Definition:Adjugate_Matrix
wikipedia: Wikipedia Adjugate matrix, Adjugate matrix (definition). Also Wikidata Q225107

History

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

Question order bias WQ1CQK2579

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

Mentions

wikipedia: Wikipedia Response bias#1UMD, Question order bias (unknown)

History

2026-11-02: add by m2/dev

WQ1F24F16C WQ1F24F16C

URI	`m2://inv/WQ1F24F16C`
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.23994#MJO4 (statement)

History

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

Example WQ1G8WY3YN

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

Mentions

wikipedia: Wikipedia Knaster–Kuratowski–Mazurkiewicz lemma#JXMB, Example (example)

History

2026-11-02: add by m2/dev

$C^k$-smooth boundary WQ1K28BKZ7

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

Mentions

lebl_scv: lebl_scv index/2.2/c-k-smooth-boundary, $C^k$-smooth boundary (concept). In VNMV985MXX, index, section 2.2

History

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

Equilibrium distribution WQ1T3RYYW2

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

Mentions

wikipedia: Wikipedia Discrete-time Markov chain#PTQK, Equilibrium distribution (unknown)

History

2026-11-02: add by m2/dev

Efficiency (statistics) WQ1VMD7F9E

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

Mentions

wikipedia: Wikipedia List of statistics articles#QDD5, Efficiency (statistics) (definition)

History

2026-11-02: add by m2/dev

WQ1YZRZGZB WQ1YZRZGZB

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

Mentions

arxiv: arXiv 2609.20690#PLMT (statement)

History

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

Gerrit Mannoury WQ1Z6GMWVQ

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

Mentions

wikipedia: Wikipedia Gerrit Mannoury, Gerrit Mannoury (topic). Also Wikidata Q1514782

History

2026-11-02: add by m2/dev

WQ28SXSER2 WQ28SXSER2

URI	`m2://inv/WQ28SXSER2`
Kind	statement
Layer	research
MSC	11-XX, 14-XX, 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.30033#6Z15 (statement)

History

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

WQ2ECH5XYH WQ2ECH5XYH

URI	`m2://inv/WQ2ECH5XYH`
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#LDRB (statement). In GMRT5GHBZS/e1, lemma 4.3

History

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

Universal property WQ2G5XRMCR

URI	`m2://inv/WQ2G5XRMCR`
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.28489#SUYZ, Universal property (statement)

History

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

WQ2KDSY3NV WQ2KDSY3NV

URI	`m2://inv/WQ2KDSY3NV`
Kind	definition
Layer	research
MSC	17-XX, 18-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 2304.07398#JMW1 (definition). In JS5FKV1S9T/e1, definition B.1

History

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

WQ32M1FCMB WQ32M1FCMB

URI	`m2://inv/WQ32M1FCMB`
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#R00N (statement). In M6MQPEDQ8N/e1, proposition 4.3

History

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

Washington Mio WQ37QVPJMH

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

Mentions

wikipedia: Wikipedia Washington Mio, Washington Mio (topic). Also Wikidata Q55450617

History

2026-11-02: add by m2/dev

Hausdorff–Young inequality WQ38QKG598

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

Mentions

wikipedia: Wikipedia Riesz–Thorin theorem#WG12, Hausdorff–Young inequality (statement)

History

2026-11-02: add by m2/dev

Henning Haahr Andersen WQ3E4YB8MF

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

Mentions

wikipedia: Wikipedia Henning Haahr Andersen, Henning Haahr Andersen (topic). Also Wikidata Q21004818

History

2026-11-02: add by m2/dev

WQ3PA685PR WQ3PA685PR

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

Mentions

open_logic: open_logic content/counterfactuals/minimal-change-semantics/sphere-models.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 6.1

History

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

WQ3XX5AP5S WQ3XX5AP5S

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

Mentions

napkin: napkin tex/topology/top-more.tex#definition-12 (definition). In RZP28ERRZV, definition, section 101.8

History

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

Global identifiability up to the time scale WQ41560DWH

URI	`m2://inv/WQ41560DWH`
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.07341#A294, Global identifiability up to the time scale (statement). In 6KFS1X0MZR/e1, theorem 10

History

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

WQ46XAT4RK WQ46XAT4RK

URI	`m2://inv/WQ46XAT4RK`
Kind	statement
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.07631#D656 (statement). In 6JVJ5GCQ1E/e1, lemma 2.4

History

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

WQ47Q5KN3B WQ47Q5KN3B

URI	`m2://inv/WQ47Q5KN3B`
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.19088#7J1V (statement). In 90QTB4CC31/e1, lemma 3.4

History

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

Dennis Shasha WQ4DSZDNA6

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ZFD4, Dennis Shasha (unknown)

History

2026-11-02: add by m2/dev

WQ4F62PA92 WQ4F62PA92

URI	`m2://inv/WQ4F62PA92`
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 2411.01837#9DVV (statement). In 2XBYZ1QP22/e1, corollary 3.1

History

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

Example WQ4FYEZZ48

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

Mentions

wikipedia: Wikipedia Logarithm of a matrix#5GS1, Example (example)

History

2026-11-02: add by m2/dev

Definition WQ4XRFB4N6

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

Mentions

wikipedia: Wikipedia Essential infimum and essential supremum#GSVT, Definition (definition)

History

2026-11-02: add by m2/dev

Percy John Heawood WQ5AGWMX89

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

Mentions

wikipedia: Wikipedia Percy John Heawood, Percy John Heawood (topic). Also Wikidata Q1384937

History

2026-11-02: add by m2/dev

WQ5C8R8XWC WQ5C8R8XWC

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

Mentions

arxiv: arXiv 2610.16114#M0FW (statement). In JZZ3FJ382R/e1, lemma 5.1

History

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

XSalsa20 WQ5G1WCBZP

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

Mentions

wikipedia: Wikipedia Salsa20#2HTS, XSalsa20 (unknown)

History

2026-11-02: add by m2/dev

Nonlinear Plancherel identity for compactly supported coefficients WQ5VZYZN2P

URI	`m2://inv/WQ5VZYZN2P`
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.13753#C4L0, Nonlinear Plancherel identity for compactly supported coefficients (statement). In AHM0PBKZZN/e1, proposition 3.9

History

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

Definition WQ62BVY1N8

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

Mentions

wikipedia: Wikipedia Marginal distribution#WSSO, Definition (definition)

History

2026-11-02: add by m2/dev

Orthogonalization algorithms WQ668ZWKX8

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

Mentions

wikipedia: Wikipedia Orthogonalization#48KJ, Orthogonalization algorithms (definition)

History

2026-11-02: add by m2/dev

WQ686HKVZY WQ686HKVZY

URI	`m2://inv/WQ686HKVZY`
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.28336#1Y5P (statement)

History

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

WQ6CG01EMY WQ6CG01EMY

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

Mentions

arxiv: arXiv 2610.15504#92O5 (statement). In AZ8SEW6HAV/e1, theorem 1

History

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

WQ6J3GCG5A WQ6J3GCG5A

URI	`m2://inv/WQ6J3GCG5A`
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.28046#KVZ6 (statement)

History

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

Jacob Rasmussen WQ6JSGR0E2

URI	`m2://inv/WQ6JSGR0E2`
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#5BWM, Jacob Rasmussen (unknown)

History

2026-11-02: add by m2/dev

Poincar\'e inequality on a unit cell WQ6NC6CFQV

URI	`m2://inv/WQ6NC6CFQV`
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.09001#DRZY, Poincar\'e inequality on a unit cell (statement). In HJC1JJZRSH/e1, lemma 3.1

History

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

David G. Larman WQ6QKVHED0

URI	`m2://inv/WQ6QKVHED0`
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#3439, David G. Larman (unknown)

History

2026-11-02: add by m2/dev

WQ6V51QEZ2 WQ6V51QEZ2

URI	`m2://inv/WQ6V51QEZ2`
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.07598#N085 (statement). In V57RPDNR8H/e1, lemma 4.1

History

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

David Dolidze WQ6WWND888

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

Mentions

wikipedia: Wikipedia David Dolidze, David Dolidze (topic). Also Wikidata Q21176561

History

2026-11-02: add by m2/dev

Definition WQ70552D7M

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

Mentions

wikipedia: Wikipedia Linear space (geometry)#P0SR, Definition (definition)

History

2026-11-02: add by m2/dev

snub icosidodecadodecahedron WQ70DNT2X1

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

Mentions

wikidata: Wikidata Q158475, snub icosidodecadodecahedron (unknown). Also MathWorld SnubIcosidodecadodecahedron
wikipedia: Wikipedia Snub icosidodecadodecahedron, Snub icosidodecadodecahedron (object). Also Wikidata Q158475

History

2026-10-26: add by m2/dev

Cornfield, Jerome WQ7JPZAFY4

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

Mentions

wikipedia: Wikipedia List of statisticians#4MAD, Cornfield, Jerome (unknown)

History

2026-11-02: add by m2/dev

Non-cavitation condition WQ7MPSCCNS

URI	`m2://inv/WQ7MPSCCNS`
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 2508.08809#QG6P, Non-cavitation condition (definition). In X5NX1YEABW/e1, definition 1.3

History

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

Leif Arkeryd WQ861XR2MZ

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

Mentions

wikipedia: Wikipedia Leif Arkeryd, Leif Arkeryd (topic). Also Wikidata Q6519365

History

2026-11-02: add by m2/dev

WQ89YX34S0 WQ89YX34S0

URI	`m2://inv/WQ89YX34S0`
Kind	statement
Layer	research
MSC	11-XX, 14-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.29107#TVUH (statement)

History

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

WQ8GSK7F61 WQ8GSK7F61

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise:supportofpsi (exercise). In VNMV985MXX, exercise, section 4.2

History

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

abstraction WQ8HB0V7YY

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

Mentions

wikipedia: Wikipedia Glossary of logic#Z5X4, abstraction (definition)

History

2026-11-02: add by m2/dev

Pancake graph WQ8JBQ4A2B

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

Mentions

wikipedia: Wikipedia Pancake graph, Pancake graph (definition). Also Wikidata Q34627785

History

2026-11-02: add by m2/dev

Semiregular space WQ8PPCKN69

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

Mentions

wikipedia: Wikipedia Semiregular space, Semiregular space (definition). Also Wikidata Q1458396

History

2026-11-02: add by m2/dev

WQ8XT49E34 WQ8XT49E34

URI	`m2://inv/WQ8XT49E34`
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.24399#4IOP (statement)

History

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

Complement (lattice theory) WQ8Y44573Z

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

Mentions

wikipedia: Wikipedia Lattice (order)#PIRQ, Complement (lattice theory) (unknown)

History

2026-11-02: add by m2/dev

Seventy Six, Kentucky WQ90CZFX52

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

Mentions

wikipedia: Wikipedia List of places with numeric names#X09Z, Seventy Six, Kentucky (unknown)

History

2026-11-02: add by m2/dev

WQ916MF7FT WQ916MF7FT

URI	`m2://inv/WQ916MF7FT`
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 2505.08839#SQ60 (statement). In HJPDS53MX4/e1, lemma 5.7

History

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

Properties WQ9ECBKKAZ

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

Mentions

wikipedia: Wikipedia Webgraph#7G11, Properties (statement)

History

2026-11-02: add by m2/dev

WQ9HXA3WQQ WQ9HXA3WQQ

URI	`m2://inv/WQ9HXA3WQQ`
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 math/9602216#X6C9 (statement). In SD43497T8C/e1, theorem 2.4

History

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

Definition of Nemytskii operator WQ9QV6KMQ0

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

Mentions

wikipedia: Wikipedia Nemytskii operator#TN4P, Definition of Nemytskii operator (definition)

History

2026-11-02: add by m2/dev

WQ9W8CBW68 WQ9W8CBW68

URI	`m2://inv/WQ9W8CBW68`
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.37197#3YZL (statement). In 98ESNNP0CC/e1, theorem 3.1

History

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

Brauer–Cartan–Hua theorem WQ9WMRZ5MM

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

Mentions

wikipedia: Wikipedia List of theorems#QXA3, Brauer–Cartan–Hua theorem (statement)

History

2026-11-02: add by m2/dev

Invariance theorem WQ9WSRZCCM

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

Mentions

wikipedia: Wikipedia Kolmogorov complexity#EQEO, Invariance theorem (statement)

History

2026-11-02: add by m2/dev

WQA04WKTGP WQA04WKTGP

URI	`m2://inv/WQA04WKTGP`
Kind	statement
Layer	research
MSC	37-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.06321#5OW8 (statement). In PGV1116XX4/e1, proposition 2.5

History

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

Herman Chernoff WQA06PY5ZS

URI	`m2://inv/WQA06PY5ZS`
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#HPQ6, Herman Chernoff (topic)

History

2026-11-02: add by m2/dev

WQAA4091B1 WQAA4091B1

URI	`m2://inv/WQAA4091B1`
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.15525#DOCQ (statement). In EFDRME13PT/e1, proposition 5.1

History

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

Addition criterion WQAKXNJENV

URI	`m2://inv/WQAKXNJENV`
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.21388#HRWG, Addition criterion (statement)

History

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

Visibility WQAMNNN9FP

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

Mentions

wikipedia: Wikipedia Visibility (geometry), Visibility (definition). Also Wikidata Q7936079

History

2026-11-02: add by m2/dev

Vladimir Levenshtein WQAV9XAK27

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#0N0Z, Vladimir Levenshtein (topic)

History

2026-11-02: add by m2/dev

WQAVE4DTDK WQAVE4DTDK

URI	`m2://inv/WQAVE4DTDK`
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.22964#CSGH (statement)

History

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

opinion poll WQAY86BX85

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#2N0M, opinion poll (definition)

History

2026-11-02: add by m2/dev

Ilya Kapovich WQAZZV3NTK

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

Mentions

wikipedia: Wikipedia Ilya Kapovich, Ilya Kapovich (topic). Also Wikidata Q102190651

History

2026-11-02: add by m2/dev

Commutativity: yes WQB7TDHXFK

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

Mentions

wikipedia: Wikipedia Exclusive or#JV1V, Commutativity: yes (definition)

History

2026-11-02: add by m2/dev

WQB98YY9QE WQB98YY9QE

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

Mentions

active_calculus: active_calculus source/sec-3-2-LHR.xml#ex-2-8-rational-infty (example). In 907G4C4EJ1, example, section 3.2.3

History

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

Theorem 3 WQBBG4V5J9

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

Mentions

wikipedia: Wikipedia Near sets#UBCW, Theorem 3 (statement)

History

2026-11-02: add by m2/dev

WQBN2QQBAW WQBN2QQBAW

URI	`m2://inv/WQBN2QQBAW`
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.10366#QPBI (statement). In 7HVQ3JRJT3/e1, proposition 1

History

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

WQBQYWJKVV WQBQYWJKVV

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

Mentions

arxiv: arXiv 2609.37578#6Z40 (example). In D7NDCWSDJE/e1, example 4

History

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

WQC15XAHPY WQC15XAHPY

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

Mentions

austin_ula: austin_ula src/section7-1.xml#def-orthog-diag (definition). In 649HGZKE96, definition, section 7.1.2

History

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

Calabi flow WQC953ZXMX

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

Mentions

wikipedia: Wikipedia Calabi flow, Calabi flow (definition). Also Wikidata Q5018295

History

2026-11-02: add by m2/dev

Presentation-parameter ledger WQCCCZ5QDT

URI	`m2://inv/WQCCCZ5QDT`
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.14509#VS8K, Presentation-parameter ledger (statement). In N6GD8392QB/e1, proposition 13.1

History

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

WQCRJKY8X8 WQCRJKY8X8

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

Mentions

arxiv: arXiv 2610.05146#GYDJ (statement). In 63MJS935N4/e1, corollary 1.4

History

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

Inverse WQCV63K3G3

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

Mentions

wikipedia: Wikipedia Abstract algebra#OVJE, Inverse (definition)

History

2026-11-02: add by m2/dev

WQCVFY6JX8 WQCVFY6JX8

URI	`m2://inv/WQCVFY6JX8`
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.06886#BMEJ (statement). In M7E747AYBP/e1, theorem 1.1

History

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

WQCVVZR2HH WQCVVZR2HH

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

Mentions

arxiv: arXiv 2610.15340#EEDB (definition). In 9NVKKW8HDH/e1, definition 3.5

History

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

WQD3YE2KSY WQD3YE2KSY

URI	`m2://inv/WQD3YE2KSY`
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.33027#0BSR (statement). In E2AF84709B/e1, corollary 49

History

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

Quaternionic matrix WQD4A653TP

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

Mentions

wikipedia: Wikipedia Quaternionic matrix, Quaternionic matrix (definition). Also Wikidata Q3029670

History

2026-11-02: add by m2/dev

WQD78JBR0Z WQD78JBR0Z

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

Mentions

hott_book: hott_book hlevels.tex#thm:isntype-mono (statement). In N54F33XE07, thm, section 6.1

History

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

Jean-Yves Girard WQD7QXVWN5

URI	`m2://inv/WQD7QXVWN5`
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#CPHP, Jean-Yves Girard (topic)

History

2026-11-02: add by m2/dev

WQDKXC33P6 WQDKXC33P6

URI	`m2://inv/WQDKXC33P6`
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.16731#TF7U (definition). In D68KBZQ4Q6/e1, definition 3.1

History

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

Jing Fang WQDNH2T0WE

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

Mentions

wikipedia: Wikipedia List of Chinese mathematicians#06CC, Jing Fang (unknown)

History

2026-11-02: add by m2/dev

WQDQ7AM6KH WQDQ7AM6KH

URI	`m2://inv/WQDQ7AM6KH`
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.22237#8DJ1 (statement). In 2FWTWMHA2W/e1, lemma 5.2

History

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

Failure of comparator-only curvature transfer WQDRW4RHTA

URI	`m2://inv/WQDRW4RHTA`
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.15202#YTKT, Failure of comparator-only curvature transfer (statement). In X1FPG0KYBM/e1, corollary R.8

History

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

Leodamas of Thasos WQE42B1C83

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

Mentions

wikipedia: Wikipedia List of Greek mathematicians#9QT7, Leodamas of Thasos (unknown)

History

2026-11-02: add by m2/dev

Andrew Odlyzko WQEA4K6NRX

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#D6I1, Andrew Odlyzko (topic)

History

2026-11-02: add by m2/dev

Magnus Hestenes WQEDSZBZD6

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

Mentions

wikipedia: Wikipedia Magnus Hestenes, Magnus Hestenes (topic). Also Wikidata Q983286

History

2026-11-02: add by m2/dev

Cosine-power estimate WQEF83N312

URI	`m2://inv/WQEF83N312`
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.37375#QI56, Cosine-power estimate (statement). In PV4Z2FRXRZ/e1, lemma 2.2

History

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

Theorem WQEHNH890E

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

Mentions

wikipedia: Wikipedia Spectral theorem#SO6O, Theorem (statement)

History

2026-11-02: add by m2/dev

Quasi-finite morphism WQEPJHCNV4

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

Mentions

wikipedia: Wikipedia Quasi-finite morphism, Quasi-finite morphism (definition). Also Wikidata Q7269449

History

2026-11-02: add by m2/dev

Landau distribution WQEVAAME04

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

Mentions

wikipedia: Wikipedia List of statistics articles#AITR, Landau distribution (definition)

History

2026-11-02: add by m2/dev

Icosidodecahedron stellation WQEVRECBDX

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

Mentions

wikipedia: Wikipedia List of Wenninger polyhedron models#TR3R, Icosidodecahedron stellation (unknown)

History

2026-11-02: add by m2/dev

Mathematics and Synthetic Apriori Propositions. WQF37QN8HM

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

Mentions

wikipedia: Wikipedia Analytic–synthetic distinction#OSNP, Mathematics and Synthetic Apriori Propositions. (statement)

History

2026-11-02: add by m2/dev

Taylor's theorem with little-o remainder WQF78E83NF

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

Mentions

mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Taylor-like theorems > Taylor's theorem with little-o remainder, Taylor's theorem with little-o remainder (unknown)

History

2026-10-26: add by m2/dev

Proposition WQF91KR3W7

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

Mentions

wikipedia: Wikipedia Biquaternion#GSV4, Proposition (statement)

History

2026-11-02: add by m2/dev

Applications WQFM5BXJ0W

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

Mentions

wikipedia: Wikipedia Rhombic dodecahedron#O052, Applications (example)

History

2026-11-02: add by m2/dev

WQFMVCF17E WQFMVCF17E

URI	`m2://inv/WQFMVCF17E`
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.25275#DSGX (statement)

History

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

WQFNBK8X8Q WQFNBK8X8Q

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

Mentions

open_logic: open_logic content/model-theory/models-of-arithmetic/standard-models.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 49.4

History

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

WQFVKHKSAB WQFVKHKSAB

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

Mentions

arxiv: arXiv 2609.36509#J623 (statement). In DPJ15KW23C/e1, lemma 4.9

History

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

Definition WQG6TNT6X9

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

Mentions

wikipedia: Wikipedia Idempotence#IS0S, Definition (definition)

History

2026-11-02: add by m2/dev

perfect set WQG74P2HNA

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

Mentions

wikipedia: Wikipedia Glossary of set theory#XROQ, perfect set (definition)

History

2026-11-02: add by m2/dev

469 (number) WQG75D0RC1

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

Mentions

wikipedia: Wikipedia 400 (number)#PR38, 469 (number) (unknown)

History

2026-11-02: add by m2/dev

Sofia Olhede WQGHN6D637

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#FA1D, Sofia Olhede (topic)

History

2026-11-02: add by m2/dev

WQGKCZX8BC WQGKCZX8BC

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

Mentions

arxiv: arXiv 2610.10790#AMNH (statement). In HHQ6P3RRB8/e1, lemma 2.5

History

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

Via the monadicity theorem WQGM87PX2P

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

Mentions

wikipedia: Wikipedia Faithfully flat descent#MDZY, Via the monadicity theorem (statement)

History

2026-11-02: add by m2/dev

WQGNWQ22G3 WQGNWQ22G3

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

Mentions

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

History

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

Hierarchical decision process WQGR1N52YQ

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

Mentions

wikipedia: Wikipedia Hierarchical decision process, Hierarchical decision process (definition). Also Wikidata Q5753095

History

2026-11-02: add by m2/dev

Properties WQGTJS9H76

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

Mentions

wikipedia: Wikipedia Bornivorous set#414U, Properties (statement)

History

2026-11-02: add by m2/dev

Boris Kruglikov WQGXJTHKE1

URI	`m2://inv/WQGXJTHKE1`
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 Q102123910, Boris Kruglikov (unknown). Also nLab Boris Kruglikov

History

2026-10-26: add by m2/dev

WQH0ZEE17N WQH0ZEE17N

URI	`m2://inv/WQH0ZEE17N`
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.21472#VKTT (statement)

History

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

Pinwheel tiling WQHC43NC2V

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#SQJW, Pinwheel tiling (object)

History

2026-11-02: add by m2/dev

WQHD7WM6NW WQHD7WM6NW

URI	`m2://inv/WQHD7WM6NW`
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.33766#UXYU (statement). In VGKK4M68EK/e1, lemma 3.5

History

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

Pointwise covariance of the local posterior predictive state WQHRCKPETT

URI	`m2://inv/WQHRCKPETT`
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.00117#MN4H, Pointwise covariance of the local posterior predictive state (statement). In 4G2BDP206S/e1, lemma 6

History

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

The two-dimension recursion formula WQHXPEA1NN

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

Mentions

wikipedia: Wikipedia Volume of an n-ball#ORGH, The two-dimension recursion formula (statement)

History

2026-11-02: add by m2/dev

WQJCBJV5NG WQJCBJV5NG

URI	`m2://inv/WQJCBJV5NG`
Kind	definition
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#PZ9Z (definition). In 3A4K47Y9F2/e1, definition 3.3

History

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

WQJD9RY4EQ WQJD9RY4EQ

URI	`m2://inv/WQJD9RY4EQ`
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 2608.24190#DWD2 (statement). In DW7FVA587C/e1, lemma 3.15

History

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

WQJDYXCJHQ WQJDYXCJHQ

URI	`m2://inv/WQJDYXCJHQ`
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#0T7G (statement)

History

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

WQJG16NTP1 WQJG16NTP1

URI	`m2://inv/WQJG16NTP1`
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#JDIS (statement). In A93R925Z24/e1, proposition 5.1

History

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

Progressive function WQJHD0K9CR

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

Mentions

wikipedia: Wikipedia List of complex analysis topics#KNK4, Progressive function (definition)

History

2026-11-02: add by m2/dev

Completeness WQJHXZZTF9

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

Mentions

arxiv: arXiv 2207.11097#SED2, Completeness (statement). In 13H5BTAXHF/e1, theorem 21

History

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

WQJJWVKFM6 WQJJWVKFM6

URI	`m2://inv/WQJJWVKFM6`
Kind	statement
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#R3YB (statement). In 4RPXT0YCS5/e1, lemma 2.5

History

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

WQJQH8ZX53 WQJQH8ZX53

URI	`m2://inv/WQJQH8ZX53`
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.29597#NX3V (statement)

History

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

WQJSK3EBJW WQJSK3EBJW

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

Mentions

arxiv: arXiv 2609.25094#K6Y9 (problem)

History

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

Variants WQK1QR7X78

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

Mentions

wikipedia: Wikipedia Tridiagonal matrix algorithm#QTLA, Variants (statement)

History

2026-11-02: add by m2/dev

WQKA7SB5GW WQKA7SB5GW

URI	`m2://inv/WQKA7SB5GW`
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 2609.27103#6368 (statement)

History

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

WQKB6WCPNX WQKB6WCPNX

URI	`m2://inv/WQKB6WCPNX`
Kind	statement
Layer	research
MSC	35-XX, 46-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.05391#EHEM (statement). In 9B5TNEBJHV/e1, lemma 3.17

History

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

WQKC3EC0KA WQKC3EC0KA

URI	`m2://inv/WQKC3EC0KA`
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.28540#Q0MV (statement)

History

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

Darboux's theorem for contact manifolds WQKCTPX25B

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

Mentions

wikipedia: Wikipedia Darboux's theorem#WKVD, Darboux's theorem for contact manifolds (statement)

History

2026-11-02: add by m2/dev

Turing Robot WQKEHCEENQ

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

Mentions

wikipedia: Wikipedia List of things named after Alan Turing#A8PK, Turing Robot (unknown)

History

2026-11-02: add by m2/dev

WQKG1KQRE1 WQKG1KQRE1

URI	`m2://inv/WQKG1KQRE1`
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.20583#0NEJ (statement). In 5YEEPDPAQE/e1, corollary 2.10

History

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

order, partial WQKQB6ZJBF

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

Mentions

applied_combinatorics: applied_combinatorics index/B.10/order-partial, order, partial (concept). In QKM9DD2H56, index, section B.10

History

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

Definition WQKTBHJSRS

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

Mentions

wikipedia: Wikipedia Grothendieck group#0ZM4, Definition (definition)

History

2026-11-02: add by m2/dev

Ikeda map WQKZM8GXRA

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#PVJE, Ikeda map (definition)

History

2026-11-02: add by m2/dev

WQM28MF42V WQM28MF42V

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#proof-26 (proof). In E59CDZA4DP, proof, section 4.5.2

History

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

WQM4MTAA8J WQM4MTAA8J

URI	`m2://inv/WQM4MTAA8J`
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 2610.11905#2FGA (definition). In QQFXT31CA5/e1, definition 2.7

History

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

homeomorphism WQMCNCT7PV

URI	`m2://inv/WQMCNCT7PV`
Kind	definition
Layer	textbook
MSC	54H20
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Homeomorphism 0QT00PB5G2

Mentions

wikidata: Wikidata Q202906, homeomorphism (topic). Also EoM Homeomorphism, EoM Topological_equivalence, MathWorld Homeomorphic, MathWorld Homeomorphism, nLab homeomorphism, ProofWiki Definition:Homeomorphism
wikipedia: Wikipedia Homeomorphism, Homeomorphism (definition). Also Wikidata Q202906

History

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

WQMGHT7XAV WQMGHT7XAV

URI	`m2://inv/WQMGHT7XAV`
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 2110.12380#YXB5 (definition). In M6MQPEDQ8N/e1, definition 4.12

History

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

WQMKDQA9PS WQMKDQA9PS

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-intro.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 5.1

History

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

WQMNX75P72 WQMNX75P72

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

Mentions

arxiv: arXiv 2609.23276#JZGP (statement)

History

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

Definition WQMYCFF85J

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

Mentions

wikipedia: Wikipedia Logical conjunction#VPLH, Definition (definition)

History

2026-11-02: add by m2/dev

WQN8AZR857 WQN8AZR857

URI	`m2://inv/WQN8AZR857`
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.30336#5O1R (statement). In CCWHTB3911/e1, lemma 3.1

History

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

WQNCEJ9AYJ WQNCEJ9AYJ

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

Mentions

arxiv: arXiv 2609.22374#GVCJ (example)

History

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

Leonard Blumenthal WQNG73W605

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#Z5U7, Leonard Blumenthal (topic)

History

2026-11-02: add by m2/dev

WQNHNS4SN4 WQNHNS4SN4

URI	`m2://inv/WQNHNS4SN4`
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#6K2S (statement). In F3MWRNBNED/e1, proposition 7.7

History

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

818 knot WQNSCSG1W0

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

Mentions

wikipedia: Wikipedia List of mathematical knots and links#8H2V, 818 knot (unknown)

History

2026-11-02: add by m2/dev

WQNXDHP5K4 WQNXDHP5K4

URI	`m2://inv/WQNXDHP5K4`
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 2109.08858#F7A5 (statement). In E6795TKR6R/e1, lemma 12

History

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

WQP09EZG5A WQP09EZG5A

URI	`m2://inv/WQP09EZG5A`
Kind	example
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 2507.23666#NQ3T (example). In YKQ89G5QA2/e1, example 4.2

History

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

WQP0N46KES WQP0N46KES

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

Mentions

arxiv: arXiv 2609.20900#4Y6S (statement)

History

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

resolution of the identity WQP1WK3TT1

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

Mentions

wikidata: Wikidata Q3937040, resolution of the identity (concept). Also EoM Resolution_of_the_identity

History

2026-10-26: add by m2/dev

Distributivity of $\vchoice{p}$ over $\hchoice{q}$ WQP4AR9MK6

URI	`m2://inv/WQP4AR9MK6`
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 1803.10042#4HJS, Distributivity of $\vchoice{p}$ over $\hchoice{q}$ (statement). In 718SP8YERQ/e1, proposition B.3

History

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

LabPlot WQP7PXXX6E

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

Mentions

wikipedia: Wikipedia List of statistical software#H62V, LabPlot (unknown)

History

2026-11-02: add by m2/dev

Louis Rosenhead WQP7SE8T1F

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#YDDM, Louis Rosenhead (topic)

History

2026-11-02: add by m2/dev

Haynes Miller WQPNYWZFPT

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#WCMQ, Haynes Miller (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#90GT, Haynes Miller (unknown)

History

2026-11-02: add by m2/dev

Random optimization WQPV3VXNQ8

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#HQ09, Random optimization (definition)

History

2026-11-02: add by m2/dev

WQPWRQPEY7 WQPWRQPEY7

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

Mentions

arxiv: arXiv 2609.36509#BAQX (statement). In DPJ15KW23C/e1, lemma 3.12

History

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

Artinian module WQQ99X2MN6

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#OXP4, Artinian module (definition)

History

2026-11-02: add by m2/dev

WQQHKDP5M1 WQQHKDP5M1

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

Mentions

lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#example-5 (example). In E9HS8K3A52, example, section 2.4.1

History

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

WQQJBK48R5 WQQJBK48R5

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

Mentions

arxiv: arXiv 2609.30579#A59D (statement). In FDYZFDHZH9/e1, lemma 2.3

History

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

associated bundle WQQR6NDAPQ

URI	`m2://inv/WQQR6NDAPQ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Associated bundle NVVGA3KEWE

Mentions

wikidata: Wikidata Q427018, associated bundle (unknown). Also MathWorld AssociatedFiberBundle, MathWorld AssociatedVectorBundle, nLab associated bundle
wikipedia: Wikipedia Associated bundle, Associated bundle (definition). Also Wikidata Q427018

History

2026-10-26: add by m2/dev

inclusion map WQQRJNDX88

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

Mentions

wikidata: Wikidata Q1663694, inclusion map (unknown). Also MathWorld InclusionMap
wikipedia: Wikipedia Inclusion map, Inclusion map (definition). Also Wikidata Q1663694

History

2026-10-26: add by m2/dev

Harvest now, decrypt later WQQTHJ545T

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

Mentions

wikipedia: Wikipedia Harvest now, decrypt later, Harvest now, decrypt later (definition). Also Wikidata Q117476494

History

2026-11-02: add by m2/dev

Tanner graph WQQTXQBP6X

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#4310, Tanner graph (definition)

History

2026-11-02: add by m2/dev

WQQW8QBVM4 WQQW8QBVM4

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

Mentions

hott_book: hott_book equivalences.tex#lem:coh-hfib (statement). In N54F33XE07, lem, section 3.2

History

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

WQR9HTFS3W WQR9HTFS3W

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

Mentions

arxiv: arXiv 2610.16875#GCV8 (statement). In KS30K5JXGB/e1, lemma A.4

History

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

WQRH262D3D WQRH262D3D

URI	`m2://inv/WQRH262D3D`
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.00902#KN67 (statement). In 1BYMXTH5MW/e1, theorem 4.2

History

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

Killed process WQRJ9WWZJ2

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

Mentions

wikipedia: Wikipedia List of statistics articles#1TWB, Killed process (definition)

History

2026-11-02: add by m2/dev

Tomasulo algorithm WQRJWKT5DD

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

Mentions

wikipedia: Wikipedia List of algorithms#59VC, Tomasulo algorithm (unknown)

History

2026-11-02: add by m2/dev

WQRKCSYKAQ WQRKCSYKAQ

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-44 (exercise). In E9HS8K3A52, exercise, section 6.3.3

History

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

Skorokhod metric WQRX0V3KN3

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

Mentions

wikipedia: Wikipedia Càdlàg#LZ09, Skorokhod metric (unknown)

History

2026-11-02: add by m2/dev

Borell-TIS, Theorem 2.1.1 WQS7TAFNZ5

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

Mentions

arxiv: arXiv 2610.05953#QMCS, Borell-TIS, Theorem 2.1.1 (statement). In P3XHJ1VB8C/e1, fact 18

History

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

WQSAJ7870G WQSAJ7870G

URI	`m2://inv/WQSAJ7870G`
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#5HAX (statement). In VYW16D089Y/e1, theorem 4.6

History

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

Alfréd Haar WQSCAE2PHJ

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

Mentions

wikipedia: Wikipedia Alfréd Haar, Alfréd Haar (topic). Also Wikidata Q551909

History

2026-11-02: add by m2/dev

edge commuting identity WQSCBV4765

URI	`m2://inv/WQSCBV4765`
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 2609.22355#1ORK, edge commuting identity (statement)

History

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

WQSHMX3Q33 WQSHMX3Q33

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

Mentions

arxiv: arXiv 2610.20915#08H9 (definition). In 5M1SXP75D9/e1, definition 2.2

History

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

Problem (Extension of Jones polynomial to general 3-manifolds) WQSN6RWG6F

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

Mentions

wikipedia: Wikipedia Chern–Simons theory#A9J6, Problem (Extension of Jones polynomial to general 3-manifolds) (problem)

History

2026-11-02: add by m2/dev

WQSV6E8W2R WQSV6E8W2R

URI	`m2://inv/WQSV6E8W2R`
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.38118#12CU (statement). In K4KKTYYKKH/e1, theorem 2

History

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

Generalization WQT302BHDN

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

Mentions

wikipedia: Wikipedia Fokker–Planck equation#IWPX, Generalization (statement)

History

2026-11-02: add by m2/dev

Geometric fallacies WQTAPQ5N54

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

Mentions

wikipedia: Wikipedia Mathematical fallacy#AR5S, Geometric fallacies (unknown)

History

2026-11-02: add by m2/dev

WQTB48S78P WQTB48S78P

URI	`m2://inv/WQTB48S78P`
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.02061#VFR7 (statement). In F5STMSPR6X/e1, lemma 6.2

History

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

WQTD6HVT4R WQTD6HVT4R

URI	`m2://inv/WQTD6HVT4R`
Kind	example
Layer	research
MSC	16-XX, 20-XX, 22-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 2607.00146#PE1T (example). In 6KR7Z5ETRY/e1, example 2.13

History

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

The formula of Hlawka–Zaremba WQTHVN8MW1

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

Mentions

wikipedia: Wikipedia Low-discrepancy sequence#MMZG, The formula of Hlawka–Zaremba (statement)

History

2026-11-02: add by m2/dev

Zero-sum problem WQTK23CKET

URI	`m2://inv/WQTK23CKET`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	4
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q716171, Erdős–Ginzburg–Ziv theorem (statement). Also Mathlib ZMod.erdos_ginzburg_ziv, Wikidata Q716171
mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > Erdős–Ginzburg–Ziv theorem, Erdős–Ginzburg–Ziv theorem (unknown). Also Mathlib ZMod.erdos_ginzburg_ziv
thousand_plus: thousand_plus Q716171, Erdős–Ginzburg–Ziv theorem (statement). Also Mathlib ZMod.erdos_ginzburg_ziv, Wikidata Q716171, Wikipedia Erdős–Ginzburg–Ziv theorem
wikipedia: Wikipedia Zero-sum problem, Zero-sum problem (problem). Also Wikidata Q716171

History

2026-10-26: add by m2/dev

WQTQDPGW1N WQTQDPGW1N

URI	`m2://inv/WQTQDPGW1N`
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 2610.10581#60OW (statement). In 6V42A71SPC/e1, theorem 2.2

History

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

Submodular Intersection Cut WQV4R0GZCC

URI	`m2://inv/WQV4R0GZCC`
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.33946#5AE6, Submodular Intersection Cut (statement). In T61D8EZH24/e1, theorem

History

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

Leave-one-out inequality WQVCWDJJ2C

URI	`m2://inv/WQVCWDJJ2C`
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.00501#RP7T, Leave-one-out inequality (statement). In FTPW1SZ8D3/e1, lemma C.2

History

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

WQVEEXW11P WQVEEXW11P

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

Mentions

arxiv: arXiv 2610.07695#UEY8 (statement). In 8Z47D12KSX/e1, corollary 11.5

History

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

WQVG2M9WRJ WQVG2M9WRJ

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

Mentions

arxiv: arXiv 2610.12326#TXJD (statement). In 9S7HGSEX6Q/e1, lemma 7.2

History

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

Extension WQVHQ5C2NF

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

Mentions

wikipedia: Wikipedia Transshipment problem#ZOB7, Extension (statement)

History

2026-11-02: add by m2/dev

Galois and total orthogonality of codes WQVKC4T3KB

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

Mentions

arxiv: arXiv 2610.08664#FYJV, Galois and total orthogonality of codes (definition). In 1YY0P4ZS0T/e1, definition 35

History

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

Pillai's conjecture WQVPNFTAG9

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#876O, Pillai's conjecture (statement)

History

2026-11-02: add by m2/dev

WQVPW2R9AT WQVPW2R9AT

URI	`m2://inv/WQVPW2R9AT`
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.32903#P3KW (statement). In S8NB83KQX3/e1, lemma 16

History

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

natural WQVQYAM371

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

Mentions

wikipedia: Wikipedia Glossary of category theory#H0JN, natural (definition)

History

2026-11-02: add by m2/dev

WQVV0SC4NY WQVV0SC4NY

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

Mentions

arxiv: arXiv 2609.22240#XD1O (statement)

History

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

WQVYE1SVP3 WQVYE1SVP3

URI	`m2://inv/WQVYE1SVP3`
Kind	statement
Layer	research
MSC	14-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.21092#GOC2 (statement). In AGJE43FTF8/e1, lemma 7.3

History

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

WQW0HXEYJR WQW0HXEYJR

URI	`m2://inv/WQW0HXEYJR`
Kind	definition
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#AJHX (definition). In 3A4K47Y9F2/e1, definition 2.20

History

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

WQW4B5TF3E WQW4B5TF3E

URI	`m2://inv/WQW4B5TF3E`
Kind	definition
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 1610.01054#WVLP (definition). In WNTFRFJ8SE/e1, definition II.2

History

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

WQW4PNFAQT WQW4PNFAQT

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

Mentions

arxiv: arXiv 2609.26262#RSBE (statement)

History

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

Serre's inequality on height WQW5AWZ16P

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

Mentions

wikipedia: Wikipedia List of things named after Jean-Pierre Serre#PZO1, Serre's inequality on height (statement)

History

2026-11-02: add by m2/dev

WQWACQ74M3 WQWACQ74M3

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

Mentions

open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/tautological-instances.tex#prop:valid-taut (statement). In PKGMM3P5QY, prop, section 55.1

History

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

Gopakumar-Vafa invariant WQWB3ZG3PP

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

Mentions

wikidata: Wikidata Q18579343, Gopakumar-Vafa invariant (unknown). Also nLab Gopakumar-Vafa invariant

History

2026-10-26: add by m2/dev

Machine learning WQWKQFPY1S

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

Mentions

wikipedia: Wikipedia List of fields of application of statistics#ADGA, Machine learning (definition)

History

2026-11-02: add by m2/dev

George Kempf WQWPTFAVCP

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

Mentions

wikipedia: Wikipedia George Kempf, George Kempf (topic). Also Wikidata Q5541289

History

2026-11-02: add by m2/dev

Mathematical Association of America WQWSCQKDA7

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

Mentions

wikipedia: Wikipedia Mathematical Association of America, Mathematical Association of America (definition). Also Wikidata Q1813899

History

2026-11-02: add by m2/dev

WQWVJVD11Z WQWVJVD11Z

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#prop:topology:subspaceopen (statement). In E59CDZA4DP, prop, section 4.2.1

History

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

Helen Nibouar WQWWD8ZKZ8

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

Mentions

wikipedia: Wikipedia Helen Nibouar, Helen Nibouar (topic). Also Wikidata Q27978994

History

2026-11-02: add by m2/dev

WQX2G6C9BN WQX2G6C9BN

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

Mentions

arxiv: arXiv 2610.16267#TRA1 (statement). In 65GKPZ15VH/e1, theorem 3.12

History

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

skewness WQX9CD5N40

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#3XGF, skewness (definition)

History

2026-11-02: add by m2/dev

twistor theory WQXB6BZZJG

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

Mentions

wikidata: Wikidata Q279082, twistor theory (unknown). Also MathWorld Twistor
wikipedia: Wikipedia Twistor theory, Twistor theory (definition). Also Wikidata Q279082

History

2026-10-26: add by m2/dev

asymptotically flat spacetime WQXGJM4Q29

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

Mentions

wikidata: Wikidata Q4812194, asymptotically flat spacetime (unknown). Also nLab asymptotically flat spacetime
wikipedia: Wikipedia Asymptotically flat spacetime, Asymptotically flat spacetime (definition). Also Wikidata Q4812194

History

2026-10-26: add by m2/dev

WQY712JW4Z WQY712JW4Z

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

Mentions

arxiv: arXiv 2609.28011#OB17 (definition)

History

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

Hermite-Sobolev spaces WQYNWKY81B

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

Mentions

wikipedia: Wikipedia List of things named after Charles Hermite#TTAD, Hermite-Sobolev spaces (definition)

History

2026-11-02: add by m2/dev

Richard Norwood WQYSVQWR1S

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

Mentions

wikipedia: Wikipedia Richard Norwood, Richard Norwood (topic). Also Wikidata Q7328100

History

2026-11-02: add by m2/dev

WQYWDAEPW8 WQYWDAEPW8

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-77 (exercise). In E9HS8K3A52, exercise, section 4.5.4

History

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

WQYXSPCGVE WQYXSPCGVE

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

Mentions

arxiv: arXiv 2610.08873#2Y4K (statement). In 7WMNVJBAVR/e1, lemma 4.10

History

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

Richard Feynman WQYZE0KBMX

URI	`m2://inv/WQYZE0KBMX`
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 Q39246, Richard Feynman (unknown). Also nLab Richard Feynman
wikipedia: Wikipedia Richard Feynman, Richard Feynman (topic). Also Wikidata Q39246

History

2026-10-26: add by m2/dev

Kibble–Slepian formula WQZ1P3FNM4

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

Mentions

wikipedia: Wikipedia List of eponyms of special functions#LDHU, Kibble–Slepian formula (definition)

History

2026-11-02: add by m2/dev

Sylvester's law of inertia WQZFKK7A1E

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

Mentions

wikipedia: Wikipedia List of things named after James Joseph Sylvester#4MBF, Sylvester's law of inertia (statement)

History

2026-11-02: add by m2/dev

Fractional bounded budget connection games WQZGF5406A

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

Mentions

wikipedia: Wikipedia List of PPAD-complete problems#BIL5, Fractional bounded budget connection games (unknown)

History

2026-11-02: add by m2/dev

WQZKNWB5B6 WQZKNWB5B6

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

Mentions

napkin: napkin tex/measure/caratheodory.tex#proof-3 (proof). In RZP28ERRZV, proof, section 63.4

History

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

WQZNEWQJJY WQZNEWQJJY

URI	`m2://inv/WQZNEWQJJY`
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#4H5J (statement). In 3A4K47Y9F2/e1, lemma 3.17

History

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

contractible space WQZTVQ341X

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#ATI8, contractible space (definition)

History

2026-11-02: add by m2/dev

Hölder space WQZV8SDJPM

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

Mentions

wikidata: Wikidata Q1643948, Hölder space (unknown). Also EoM Hölder_space

History

2026-10-26: add by m2/dev

Casson invariant WQZW8X237K

URI	`m2://inv/WQZW8X237K`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Casson invariant 33GY6P5A4T

Mentions

wikidata: Wikidata Q5049507, Casson invariant (unknown). Also nLab Casson invariant
wikipedia: Wikipedia Casson invariant, Casson invariant (definition). Also Wikidata Q5049507

History

2026-10-26: add by m2/dev

WQZX1MP6CK WQZX1MP6CK

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

Mentions

arxiv: arXiv 2610.12736#7OWF (statement). In 5350Q52F6P/e1, corollary

History

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