Inventory rows FB

Special cases FB07T4D2ZW

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

Mentions

wikipedia: Wikipedia Woodbury matrix identity#RLHR, Special cases (statement)

History

2026-11-02: add by m2/dev

FB0AK3MTE4 FB0AK3MTE4

URI	`m2://inv/FB0AK3MTE4`
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.30274#OQ3S (statement). In 6ASPPVJP5M/e1, proposition 12

History

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

FB0H88WKD8 FB0H88WKD8

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

Mentions

wikipedia: Wikipedia Skolem problem#BL9A (problem)
wikipedia: Wikipedia Constant-recursive sequence#JRS2 (problem)

History

2026-11-02: add by m2/dev

Bounded local subsolutions FB0P15HDVK

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

Mentions

arxiv: arXiv 2609.32829#TH2Y, Bounded local subsolutions (statement). In RYWAX33Z51/e1, lemma 10.9

History

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

FB0V2K2G0H FB0V2K2G0H

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#example-11 (example). In E59CDZA4DP, example, section 11.3.1

History

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

FB0YNHQ7CF FB0YNHQ7CF

URI	`m2://inv/FB0YNHQ7CF`
Kind	statement
Layer	research
MSC	03-XX, 11-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.21725#DLNJ (statement). In BQDZN6GRGF/e1, corollary 4.10

History

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

Kernel--wreath permanence theorem FB0YXRN7ZN

URI	`m2://inv/FB0YXRN7ZN`
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.20401#Y8WF, Kernel--wreath permanence theorem (statement)

History

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

FB0ZDWDV9V FB0ZDWDV9V

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

Mentions

arxiv: arXiv 2609.38844#HAY6 (definition). In PX8D91DQCX/e1, definition 3.1

History

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

John Stillwell FB15CS6XYS

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

Mentions

wikipedia: Wikipedia John Stillwell, John Stillwell (topic). Also Wikidata Q616266

History

2026-11-02: add by m2/dev

FB1DEPG4R0 FB1DEPG4R0

URI	`m2://inv/FB1DEPG4R0`
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#P29G (statement). In AGJE43FTF8/e1, theorem 10.1

History

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

entropic force FB1TMXZYJK

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

Mentions

wikidata: Wikidata Q901768, entropic force (unknown). Also nLab entropic force

History

2026-10-26: add by m2/dev

FB1VSRQAFR FB1VSRQAFR

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

Mentions

arxiv: arXiv 2412.12141#NW6O (statement). In V980ZMH759/e1, theorem 1.1

History

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

FB1X1JMN8P FB1X1JMN8P

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

Mentions

arxiv: arXiv 2302.04566#SJUI (statement). In 80S2NP05HJ/e1, proposition 4.10

History

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

Variants FB1YXM8FTM

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

Mentions

wikipedia: Wikipedia Maximum theorem#SO63, Variants (statement)

History

2026-11-02: add by m2/dev

Applications FB20X1H076

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

Mentions

wikipedia: Wikipedia Cantor–Zassenhaus algorithm#013I, Applications (example)

History

2026-11-02: add by m2/dev

Procedure FB2109ETDS

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

Mentions

wikipedia: Wikipedia LU decomposition#E3NA, Procedure (definition)

History

2026-11-02: add by m2/dev

Linnik, Yuri FB2329B2GA

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

Mentions

wikipedia: Wikipedia List of statisticians#Q02J, Linnik, Yuri (unknown)

History

2026-11-02: add by m2/dev

LF-space FB246QSMH2

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

Mentions

wikipedia: Wikipedia List of vector spaces in mathematics#H6FI, LF-space (definition)

History

2026-11-02: add by m2/dev

pentagrammic prism FB2FGVPDVQ

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

Mentions

wikidata: Wikidata Q399043, pentagrammic prism (object). Also MathWorld PentagrammicPrism
wikipedia: Wikipedia Pentagrammic prism, Pentagrammic prism (definition). Also Wikidata Q399043

History

2026-10-26: add by m2/dev

FB2J5APDAZ FB2J5APDAZ

URI	`m2://inv/FB2J5APDAZ`
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.11693#98K0 (statement). In F8QNPNTBTZ/e1, lemma C.5

History

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

FB2QFN3D6A FB2QFN3D6A

URI	`m2://inv/FB2QFN3D6A`
Kind	definition
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 2209.01576#RX4E (definition). In EF0X4TKTR4/e1, definition 1.1

History

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

Theta operator FB32ENQ427

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

Mentions

wikipedia: Wikipedia Theta operator, Theta operator (definition). Also Wikidata Q7783555

History

2026-11-02: add by m2/dev

Erdős–Diophantine graph FB32YKS7NT

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

Mentions

wikipedia: Wikipedia Erdős–Diophantine graph, Erdős–Diophantine graph (definition). Also Wikidata Q5385321

History

2026-11-02: add by m2/dev

Example FB38WZ81JV

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

Mentions

wikipedia: Wikipedia Radar chart#1SF3, Example (example)

History

2026-11-02: add by m2/dev

David L Wiltshire FB3E5MSFX8

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

Mentions

wikipedia: Wikipedia David L Wiltshire, David L Wiltshire (topic). Also Wikidata Q60536590

History

2026-11-02: add by m2/dev

Dwell period FB3FWX562R

URI	`m2://inv/FB3FWX562R`
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#M0SM, Dwell period (definition). In WD2NCBV9F0/e1, definition 4.11

History

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

FB3G39A60R FB3G39A60R

URI	`m2://inv/FB3G39A60R`
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 2610.22074#W8J6 (statement). In F3BKXXPR3K/e1, corollary 4.12

History

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

FB3KN3DZ87 FB3KN3DZ87

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

Mentions

arxiv: arXiv 2610.17669#SEE7 (statement). In RAWXJ72WWA/e1, theorem 2.8

History

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

FB3P6H7V93 FB3P6H7V93

URI	`m2://inv/FB3P6H7V93`
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.33124#L67I (statement). In P27HYGQDAN/e1, theorem 21

History

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

FB3WRMKJGP FB3WRMKJGP

URI	`m2://inv/FB3WRMKJGP`
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.02669#2MHO (statement). In NSBSWH6XB4/e1, proposition 8.3

History

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

FB47SBBE9M FB47SBBE9M

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

Mentions

arxiv: arXiv 2610.13670#19YJ (statement). In 4PGTZ19B26/e1, lemma 6.7

History

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

Definition FB4AF2BE7K

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

Mentions

wikipedia: Wikipedia Type I and type II errors#53A4, Definition (definition)

History

2026-11-02: add by m2/dev

FB4CMNR6XK FB4CMNR6XK

URI	`m2://inv/FB4CMNR6XK`
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#P5TH (statement). In F5STMSPR6X/e1, corollary 3.26

History

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

Posterior Contraction Rate FB4FETGJ0Q

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

Mentions

arxiv: arXiv 2610.07240#63NB, Posterior Contraction Rate (statement). In D0F1GK5AHW/e1, theorem A.1

History

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

FB4FJ91AG5 FB4FJ91AG5

URI	`m2://inv/FB4FJ91AG5`
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.08480#OOHQ (statement). In R4EEE89C3S/e1, corollary 4.3

History

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

Set existence axiom FB4JJ81R86

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

Mentions

wikipedia: Wikipedia Set-builder notation#IESX, Set existence axiom (statement)

History

2026-11-02: add by m2/dev

JSJ theorem FB4MDMEQR9

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

Mentions

wikipedia: Wikipedia List of theorems#8CNB, JSJ theorem (definition)

History

2026-11-02: add by m2/dev

FB4MYXQ1AX FB4MYXQ1AX

URI	`m2://inv/FB4MYXQ1AX`
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 2512.22986#L8RD (statement). In GFP8TEKFBC/e1, lemma 5

History

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

Arthur Rubin FB4NST7CS0

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#MMZY, Arthur Rubin (unknown)

History

2026-11-02: add by m2/dev

FB5AQKWXYE FB5AQKWXYE

URI	`m2://inv/FB5AQKWXYE`
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.07260#9B5A (statement). In 33KABVV985/e1, theorem 1.4

History

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

Lommel function FB5GZTV88N

URI	`m2://inv/FB5GZTV88N`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Lommel function YJ1JWF6ZDG

Mentions

wikidata: Wikidata Q2279929, Lommel function (unknown). Also EoM Lommel_function, MathWorld LommelFunction
wikipedia: Wikipedia Lommel function, Lommel function (definition). Also Wikidata Q2279929

History

2026-10-26: add by m2/dev

FB5K505Y5Y FB5K505Y5Y

URI	`m2://inv/FB5K505Y5Y`
Kind	example
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#NAMU (example). In G1RP4JY5PE/e1, example 4.3.3

History

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

Reduction of pointwise channels to isotropy FB5TH1BCQY

URI	`m2://inv/FB5TH1BCQY`
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.25987#V2V6, Reduction of pointwise channels to isotropy (statement)

History

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

FB5WM5MEN1 FB5WM5MEN1

URI	`m2://inv/FB5WM5MEN1`
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.28650#3Q34 (statement)

History

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

Monoid ring FB5XXD4ZHY

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

Mentions

wikipedia: Wikipedia Monoid ring, Monoid ring (definition). Also Wikidata Q1945005

History

2026-11-02: add by m2/dev

Krein-Smulian Theorem: FB5Y2FBFGP

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

Mentions

wikipedia: Wikipedia Krein–Smulian theorem#1L9S, Krein-Smulian Theorem: (statement)

History

2026-11-02: add by m2/dev

Hoeffding's lemma FB61KV3MP1

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

Mentions

wikipedia: Wikipedia Hoeffding's inequality#AN3Z, Hoeffding's lemma (statement)

History

2026-11-02: add by m2/dev

FB62M2SWRY FB62M2SWRY

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

Mentions

arxiv: arXiv 2610.15037#4FW8 (statement). In 9XCA9T80GJ/e1, lemma 5.2.1

History

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

A Mathematician's Apology FB66WA33C1

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

Mentions

wikipedia: Wikipedia List of mathematics books#HENW, A Mathematician's Apology (unknown)

History

2026-11-02: add by m2/dev

Analysis Situs FB6A74MRSV

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#VWA3, Analysis Situs (definition)

History

2026-11-02: add by m2/dev

FB6ECA5Q7C FB6ECA5Q7C

URI	`m2://inv/FB6ECA5Q7C`
Kind	statement
Layer	research
MSC	05-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 2208.13855#GJXK (statement). In GJKRVZ5YN5/e1, proposition 6

History

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

FB6FYRFH5E FB6FYRFH5E

URI	`m2://inv/FB6FYRFH5E`
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#1DUQ (example). In HX63A1PH1W/e1, example 3.69

History

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

Tanner graph FB6MTH2FB8

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

Mentions

wikipedia: Wikipedia Tanner graph, Tanner graph (definition). Also Wikidata Q7683664

History

2026-11-02: add by m2/dev

FB6VET68DC FB6VET68DC

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

Mentions

arxiv: arXiv 2609.21098#TX0C (statement)

History

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

Self-dual polytope FB6WCE09JV

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

Mentions

wikipedia: Wikipedia Dual polyhedron#8I0L, Self-dual polytope (unknown)

History

2026-11-02: add by m2/dev

Lemmas 3.4--3.6 FB6WMHT03T

URI	`m2://inv/FB6WMHT03T`
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.12810#A0WH, Lemmas 3.4--3.6 (statement). In DR35633CPN/e1, lemma 3.3

History

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

analytic geometry FB6Y2C9WM6

URI	`m2://inv/FB6Y2C9WM6`
Kind	topic
Layer	textbook
Sources	2
Outcome	open
Node	Analytic geometry H7CXZYANX0

Mentions

wikidata: Wikidata Q134787, analytic geometry (topic). Also EoM Analytic_geometry, MathWorld AnalyticGeometry, nLab analytic geometry
wikipedia: Wikipedia Analytic geometry, Analytic geometry (topic). Also Wikidata Q134787

History

2026-10-26: add by m2/dev

rank of a bilinear form FB71BJCJR5

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

Mentions

mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Bilinear forms > rank of a bilinear form, rank of a bilinear form (unknown)

History

2026-10-26: add by m2/dev

FB730PGCNR FB730PGCNR

URI	`m2://inv/FB730PGCNR`
Kind	statement
Layer	research
MSC	53-XX, 57-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.17045#CXIG (statement). In PA6JQDSKQT/e1, proposition 4.10

History

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

Silvers, Abraham FB7EQXW4N7

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

Mentions

wikipedia: Wikipedia List of statisticians#9CSA, Silvers, Abraham (topic)

History

2026-11-02: add by m2/dev

Definition FB8BG85VZF

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

Mentions

wikipedia: Wikipedia Pontryagin duality#H7V4, Definition (definition)

History

2026-11-02: add by m2/dev

type, of lists FB8BH6757J

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

Mentions

hott_book: hott_book index/8.1/type-of-lists, type, of lists (concept). In N54F33XE07, index, section 8.1

History

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

FB8KJPBK64 FB8KJPBK64

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

History

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

pair, unordered FB8N9M4YJ1

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

Mentions

hott_book: hott_book index/C.5/pair-unordered, pair, unordered (concept). In N54F33XE07, index, section C.5

History

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

FB90H5R911 FB90H5R911

URI	`m2://inv/FB90H5R911`
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.25896#1K84 (statement)

History

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

harmonic map FB91X69BXB

URI	`m2://inv/FB91X69BXB`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Harmonic map KZJYG9DS3M

Mentions

wikidata: Wikidata Q5659257, harmonic map (unknown). Also MathWorld HarmonicMap, nLab harmonic map
wikipedia: Wikipedia Harmonic map, Harmonic map (definition). Also Wikidata Q5659257

History

2026-10-26: add by m2/dev

Real projective space FB9XZPVRZ5

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

Mentions

wikipedia: Wikipedia List of manifolds#MO1W, Real projective space (definition)

History

2026-11-02: add by m2/dev

FBA03Z38JB FBA03Z38JB

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

Mentions

open_logic: open_logic content/sets-functions-relations/sets/unions-and-intersections.tex#ex-1 (example). In PKGMM3P5QY, ex, section 83.2

History

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

FBA602Y9R4 FBA602Y9R4

URI	`m2://inv/FBA602Y9R4`
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.02484#SYHA (statement). In D1V0MQZTFQ/e1, proposition 5.1

History

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

FBA72W0RY7 FBA72W0RY7

URI	`m2://inv/FBA72W0RY7`
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.02692#908F (statement). In P482WJSQSN/e1, corollary 4.5

History

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

Brahmin cross FBAATZ6CQY

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

Mentions

wikipedia: Wikipedia 4#NL8N, Brahmin cross (unknown)

History

2026-11-02: add by m2/dev

FBAEXGA5KA FBAEXGA5KA

URI	`m2://inv/FBAEXGA5KA`
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.01197#P0DV (statement). In WDWDY0VP18/e1, theorem 6

History

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

Ramification FBARX1D746

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

Mentions

wikipedia: Wikipedia Ramification (mathematics), Ramification (definition). Also Wikidata Q225527

History

2026-11-02: add by m2/dev

Sheldon Katz FBASGCFCTY

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#YD09, Sheldon Katz (topic)

History

2026-11-02: add by m2/dev

FBAT1NXR3S FBAT1NXR3S

URI	`m2://inv/FBAT1NXR3S`
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 2110.14727#T11C (statement). In EZTB8NZGVT/e1, lemma 6.3

History

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

Exponential work requirement FBAWB053F6

URI	`m2://inv/FBAWB053F6`
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#IDO2, Exponential work requirement (statement). In X1FPG0KYBM/e1, corollary Z.4

History

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

Properties FBAYBWK135

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

Mentions

wikipedia: Wikipedia Cooperative game theory#KGG6, Properties (statement)

History

2026-11-02: add by m2/dev

Characterizations FBB0ND6TVC

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

Mentions

wikipedia: Wikipedia Nuclear operator#ZJYH, Characterizations (statement)

History

2026-11-02: add by m2/dev

FBB3DQ56B7 FBB3DQ56B7

URI	`m2://inv/FBB3DQ56B7`
Kind	definition
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 2610.11545#5BTR (definition). In VN084GGZGK/e1, definition 2.33

History

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

Determinant constraint FBB5Y8WY8G

URI	`m2://inv/FBB5Y8WY8G`
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#RNU3, Determinant constraint (statement). In N6GD8392QB/e1, proposition 11.10

History

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

PKCS FBBJGVJBWA

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

Mentions

wikipedia: Wikipedia PKCS, PKCS (definition). Also Wikidata Q1193215

History

2026-11-02: add by m2/dev

Uniform first- and second-derivative bounds FBBMVBKGHH

URI	`m2://inv/FBBMVBKGHH`
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.27181#LL2T, Uniform first- and second-derivative bounds (statement)

History

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

FBBQ1QEN4R FBBQ1QEN4R

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

Mentions

arxiv: arXiv 1903.07030#K40Y (statement). In 9H45HQE7AZ/e1, theorem 7.6

History

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

scroll FBBWEHZDDJ

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#AK2W, scroll (definition)

History

2026-11-02: add by m2/dev

Infinite general linear group FBBXXG5ZVS

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

Mentions

wikipedia: Wikipedia General linear group#CPXB, Infinite general linear group (unknown)

History

2026-11-02: add by m2/dev

FBBYYJ0M3T FBBYYJ0M3T

URI	`m2://inv/FBBYYJ0M3T`
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 2501.02331#BX81 (definition). In N9J5DJCTJZ/e1, definition 3

History

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

Boolean algebras canonically defined FBBZJVPAPY

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

Mentions

wikipedia: Wikipedia List of Boolean algebra topics#6WQ6, Boolean algebras canonically defined (definition)

History

2026-11-02: add by m2/dev

Examples FBCC2SYE6Z

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

Mentions

wikipedia: Wikipedia Retrospective determinism#650K, Examples (example)

History

2026-11-02: add by m2/dev

Formal definition FBCTA9GW7X

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

Mentions

wikipedia: Wikipedia Twistor space#4OSR, Formal definition (definition)

History

2026-11-02: add by m2/dev

FBCTZYTVWZ FBCTZYTVWZ

URI	`m2://inv/FBCTZYTVWZ`
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 2006.05158#O3AY (statement). In 4VCW6SZQXK/e1, lemma 1

History

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

FBCWRVEC9X FBCWRVEC9X

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

Mentions

arxiv: arXiv 2609.39505#U6T0 (statement). In WAXS6FS388/e1, theorem 7.6

History

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

Topological stability FBD2H5MHV2

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

Mentions

arxiv: arXiv 2610.04179#BQXH, Topological stability (statement). In D64RQ09KBP/e1, theorem 2.5

History

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

Office for Statistics Regulation FBD6C8W27E

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

Mentions

wikipedia: Wikipedia UK Statistics Authority#E9JL, Office for Statistics Regulation (unknown)

History

2026-11-02: add by m2/dev

Thomas J. Osler FBD8ME06JK

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

Mentions

wikipedia: Wikipedia Thomas J. Osler, Thomas J. Osler (topic). Also Wikidata Q102188339

History

2026-11-02: add by m2/dev

FBDDQCM5DD FBDDQCM5DD

URI	`m2://inv/FBDDQCM5DD`
Kind	definition
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 2503.22636#SGH3 (definition). In 2X2A6MT0QD/e1, definition 2.5

History

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

Burden of proof (logical fallacy) FBDER4YH8W

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

Mentions

wikipedia: Wikipedia Burden of proof (philosophy)#AL18, Burden of proof (logical fallacy) (unknown)

History

2026-11-02: add by m2/dev

FBDF06NA75 FBDF06NA75

URI	`m2://inv/FBDF06NA75`
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 2502.08738#R3Q2 (statement). In 9GMTVSTAVN/e1, proposition 6.12

History

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

FBDHVJ26R8 FBDHVJ26R8

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

Mentions

arxiv: arXiv 2609.35307#DJNZ (statement). In FT5TKY10T8/e1, theorem 6.3

History

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

FBDPVVMTHF FBDPVVMTHF

URI	`m2://inv/FBDPVVMTHF`
Kind	example
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.15489#C9Q1 (example). In 5BCTP0B6Q1/e1, example 1

History

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

open FBDVPAM3SC

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#XDZO, open (definition)

History

2026-11-02: add by m2/dev

FBE8M2RQ1Y FBE8M2RQ1Y

URI	`m2://inv/FBE8M2RQ1Y`
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 2304.02722#R9IU (statement). In AH7D55D3WV/e1, lemma 15.4

History

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

FBE8VQZWQV FBE8VQZWQV

URI	`m2://inv/FBE8VQZWQV`
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#EE5G (statement). In ZJQB9W60T6/e1, corollary 5.14

History

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

FBE9S58RXQ FBE9S58RXQ

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

Mentions

arxiv: arXiv 2610.18620#YBML (statement). In 6WJ0R9YEBR/e1, proposition 3.4

History

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

Notation FBEJCSGJJ0

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

Mentions

wikipedia: Wikipedia Tetration#JBCD, Notation (definition)

History

2026-11-02: add by m2/dev

Henry Pogorzelski FBEY05BEXS

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

Mentions

wikipedia: Wikipedia Henry Pogorzelski, Henry Pogorzelski (topic). Also Wikidata Q5727074

History

2026-11-02: add by m2/dev

FBF67EARDH FBF67EARDH

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

Mentions

arxiv: arXiv 2610.06699#7J04 (statement). In GXHKRV5BPY/e1, fact 2.7

History

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

Round robin test FBF8BHA5N6

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

Mentions

wikipedia: Wikipedia List of statistics articles#UMGW, Round robin test (definition)

History

2026-11-02: add by m2/dev

φ FBFMTVAGGG

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

Mentions

wikipedia: Wikipedia Glossary of set theory#ZZN4, φ (definition)

History

2026-11-02: add by m2/dev

Datafly algorithm FBFNXZJMP4

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

Mentions

wikipedia: Wikipedia Datafly algorithm, Datafly algorithm (definition). Also Wikidata Q17051838

History

2026-11-02: add by m2/dev

FBFZ6HK41G FBFZ6HK41G

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#exercise-14 (exercise). In E59CDZA4DP, exercise, section 1.2.4

History

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

FBG4FS5XZN FBG4FS5XZN

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#theorem-2 (statement). In P1C114YBXG, theorem, section D

History

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

FBGA7W0M46 FBGA7W0M46

URI	`m2://inv/FBGA7W0M46`
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.23341#B7AC (statement)

History

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

FBGBQ7SPBP FBGBQ7SPBP

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

Mentions

arxiv: arXiv 2609.21860#9NQK (statement)

History

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

Sum of the Angles of a Triangle FBGRH7052B

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

Mentions

mathlib_100: mathlib_100 27, Sum of the Angles of a Triangle (statement). Also Mathlib EuclideanGeometry.angle_add_angle_add_angle_eq_pi

History

2026-10-26: add by m2/dev

Nelson's axioms FBGS7XKD5M

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

Mentions

wikipedia: Wikipedia Schwinger function#52FZ, Nelson's axioms (statement)

History

2026-11-02: add by m2/dev

Choice of $\gamma$ and $\epsilon_k$ FBGTPQNZ46

URI	`m2://inv/FBGTPQNZ46`
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.18797#G937, Choice of $\gamma$ and $\epsilon_k$ (statement). In HVZW77G66Z/e1, lemma 4.3

History

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

FBGWJJMVJT FBGWJJMVJT

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

Mentions

arxiv: arXiv 2610.07828#RDGQ (statement). In TWGMVT1N1G/e1, corollary 7.2

History

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

FBGXD24DVH FBGXD24DVH

URI	`m2://inv/FBGXD24DVH`
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.10413#J3QA (statement). In 68MTQ59QTQ/e1, proposition 2.3

History

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

FBGZZCAM9J FBGZZCAM9J

URI	`m2://inv/FBGZZCAM9J`
Kind	definition
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#MT6N (definition). In 9S7HGSEX6Q/e1, definition 3.2

History

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

FBH1MAQ528 FBH1MAQ528

URI	`m2://inv/FBH1MAQ528`
Kind	example
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.29552#10Q9 (example)

History

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

Log FBH6HYE9FA

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

Mentions

wikipedia: Wikipedia Log (unit), Log (definition). Also Wikidata Q31197846

History

2026-11-02: add by m2/dev

FBHBRHMAXS FBHBRHMAXS

URI	`m2://inv/FBHBRHMAXS`
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.26713#OYX0 (statement)

History

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

Andriëtte Bekker FBHC0JM20B

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

Mentions

wikipedia: Wikipedia Andriëtte Bekker, Andriëtte Bekker (topic). Also Wikidata Q86014129

History

2026-11-02: add by m2/dev

FBHC3530FS FBHC3530FS

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#example-6 (example). In E9HS8K3A52, example, section 8.4

History

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

Theorem FBHGTS51AQ

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

Mentions

wikipedia: Wikipedia Jordan curve theorem#EYM3, Theorem (statement)

History

2026-11-02: add by m2/dev

FBHHZE4YQ1 FBHHZE4YQ1

URI	`m2://inv/FBHHZE4YQ1`
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 2604.05177#O8Q8 (statement). In G04BKQV6YM/e1, lemma 5.7

History

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

A whole signing law with exponentially calibrated reference FBHT0Y1HVJ

URI	`m2://inv/FBHT0Y1HVJ`
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#39ZN, A whole signing law with exponentially calibrated reference (statement). In 9YAE8FNQST/e1, corollary 18.26

History

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

FBHTC7WPJ7 FBHTC7WPJ7

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

Mentions

arxiv: arXiv math/9902147#UIYT (statement). In 7CK21JGM5A/e1, lemma 3.14

History

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

FBJ2206HN4 FBJ2206HN4

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

Mentions

austin_ula: austin_ula src/exercises/exercises2-5.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 2.5

History

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

Howard Wright Alexander FBJ5CYJ8BM

URI	`m2://inv/FBJ5CYJ8BM`
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#LO87, Howard Wright Alexander (topic)

History

2026-11-02: add by m2/dev

FBJ9EWF49X FBJ9EWF49X

URI	`m2://inv/FBJ9EWF49X`
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.39330#R911 (statement). In 7ZTJ23YG7A/e1, corollary 1.4

History

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

FBJEMSQV4G FBJEMSQV4G

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

Mentions

arxiv: arXiv 2610.13972#DB0E (statement). In S1KHNS8XQM/e1, lemma 2.1

History

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

FBJJ8EGRDF FBJJ8EGRDF

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

Mentions

arxiv: arXiv 2609.37520#G01U (statement). In BDN507RN7J/e1, theorem 1.5.1

History

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

Example FBJM6QA9F0

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

Mentions

wikipedia: Wikipedia Dirac–von Neumann axioms#O5NE, Example (example)

History

2026-11-02: add by m2/dev

Mathematical models of vagueness FBJP4XV7T4

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

Mentions

wikipedia: Wikipedia Vagueness#IVS5, Mathematical models of vagueness (unknown)

History

2026-11-02: add by m2/dev

FBK79AQVZ4 FBK79AQVZ4

URI	`m2://inv/FBK79AQVZ4`
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.22218#IGC6 (statement). In 338GKREFVP/e1, theorem 65

History

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

Σ-compact space FBKASVN2YE

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

Mentions

wikipedia: Wikipedia Σ-compact space, Σ-compact space (definition). Also Wikidata Q290618

History

2026-11-02: add by m2/dev

van der Corput's difference theorem FBKGK0D6A5

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

Mentions

wikipedia: Wikipedia Equidistributed sequence#6VX5, van der Corput's difference theorem (statement)

History

2026-11-02: add by m2/dev

Properties FBKHNV2NC8

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

Mentions

wikipedia: Wikipedia Balanced set#IOEJ, Properties (statement)

History

2026-11-02: add by m2/dev

Jefferys, William H. FBM1S2K8TM

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

Mentions

wikipedia: Wikipedia List of statisticians#J2AR, Jefferys, William H. (unknown)

History

2026-11-02: add by m2/dev

Normal representation and the adjoint representation up to homotopy FBM2KFDWE4

URI	`m2://inv/FBM2KFDWE4`
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.23341#TWDY, Normal representation and the adjoint representation up to homotopy (statement)

History

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

Closed operator FBM66J6QXC

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

Mentions

arxiv: arXiv 2610.16094#OP9Q, Closed operator (definition). In RHBS9QDHC3/e1, definition 2.2

History

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

FBM7Y4QEFB FBM7Y4QEFB

URI	`m2://inv/FBM7Y4QEFB`
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.35204#Y05G (statement). In 8ZZNDYK76B/e1, corollary 5.3

History

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

FBMC12DRVN FBMC12DRVN

URI	`m2://inv/FBMC12DRVN`
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 2610.11965#5NQD (statement). In 48QX0QD0XR/e1, lemma 7.3

History

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

Pollara FBMF2WECKG

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

Mentions

wikipedia: Wikipedia List of polling organizations#9ZVY, Pollara (unknown)

History

2026-11-02: add by m2/dev

Integer broom topology FBMFNQ9F1T

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

Mentions

wikipedia: Wikipedia List of topologies#VARO, Integer broom topology (definition)

History

2026-11-02: add by m2/dev

Scaling law FBMH9FM6N2

URI	`m2://inv/FBMH9FM6N2`
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.03754#JD9E, Scaling law (statement). In J1Z9P0H13V/e1, theorem 1

History

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

FBMQ4H15Q8 FBMQ4H15Q8

URI	`m2://inv/FBMQ4H15Q8`
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.31126#K53Q (statement). In GK1V5GEHTK/e1, corollary 3.4

History

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

Second theorem FBMX06W30F

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

Mentions

wikipedia: Wikipedia Mertens' theorems#6OZN, Second theorem (statement)

History

2026-11-02: add by m2/dev

◊ FBN208Z7W3

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

Mentions

wikidata: Wikidata Q13127755, ◊ (unknown). Also MathWorld Lozenge

History

2026-10-26: add by m2/dev

George Peacock FBN2C293JP

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

Mentions

wikipedia: Wikipedia George Peacock, George Peacock (topic). Also Wikidata Q1394690

History

2026-11-02: add by m2/dev

FBNDF2JKDD FBNDF2JKDD

URI	`m2://inv/FBNDF2JKDD`
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.18277#1NL3 (statement). In YFRNY7S92A/e1, lemma 6.6

History

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

Observability FBNK4JJQJY

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

Mentions

arxiv: arXiv 2610.11968#EU5T, Observability (statement). In X6E7P2ACAS/e1, proposition 4.6

History

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

FBNK9X428G FBNK9X428G

URI	`m2://inv/FBNK9X428G`
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.25896#BR9L (statement)

History

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

FBNQGSV0H1 FBNQGSV0H1

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

Mentions

arxiv: arXiv 2610.17737#S3WS (statement). In 8SXY7Y68HV/e1, corollary 8.6

History

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

FBNR49W34Z FBNR49W34Z

URI	`m2://inv/FBNR49W34Z`
Kind	statement
Layer	research
MSC	60-XX, 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 2610.21103#44AF (statement). In VZCZEDCG8J/e1, corollary 3.11

History

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

FBNRBZWKZM FBNRBZWKZM

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

Mentions

arxiv: arXiv 2610.22247#5H6I (statement). In SBNH1MWND8/e1, proposition 17

History

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

FBNW31RBYG FBNW31RBYG

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

Mentions

active_calculus: active_calculus source/sec-3-3-tests.xml#definition-4 (definition). In 907G4C4EJ1, definition, section 3.3.3

History

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

Multitrait-multimethod matrix FBP0NC75X5

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

Mentions

wikipedia: Wikipedia Multitrait-multimethod matrix, Multitrait-multimethod matrix (definition). Also Wikidata Q1952507

History

2026-11-02: add by m2/dev

FBP0V2X21J FBP0V2X21J

URI	`m2://inv/FBP0V2X21J`
Kind	statement
Layer	research
MSC	46-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 2104.08176#BGP6 (statement). In SYGR43673J/e1, theorem 8

History

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

Robert Alexander Rankin FBPAAK8X9T

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

Mentions

wikipedia: Wikipedia Robert Alexander Rankin, Robert Alexander Rankin (topic). Also Wikidata Q381352

History

2026-11-02: add by m2/dev

Uses FBPF8C7ENR

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

Mentions

wikipedia: Wikipedia Vapnik–Chervonenkis dimension#8T5T, Uses (example)

History

2026-11-02: add by m2/dev

FBPHT3JKFB FBPHT3JKFB

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

Mentions

arxiv: arXiv 2308.05066#TG1G (unknown). In 1QSCT53ZED/e1, unknown 1.4

History

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

Le Bicorne FBPN8E9ZRN

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

Mentions

wikipedia: Wikipedia List of places with numeric names#QJXZ, Le Bicorne (unknown)

History

2026-11-02: add by m2/dev

FBPT3F8M5D FBPT3F8M5D

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

Mentions

arxiv: arXiv 2610.02564#HK3Y (statement). In CAMS0T9GRF/e1, theorem 2.1

History

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

FBQ6BSBNK1 FBQ6BSBNK1

URI	`m2://inv/FBQ6BSBNK1`
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#SILI (statement). In KS30K5JXGB/e1, lemma 2.2

History

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

FBQFSRMEME FBQFSRMEME

URI	`m2://inv/FBQFSRMEME`
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.27181#XKH9 (statement)

History

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

FBQKYMTKGV FBQKYMTKGV

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

Mentions

arxiv: arXiv 2207.07461#96WR (statement). In GAG532VMPF/e1, lemma 3.4.5

History

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

FBQQX2BQDD FBQQX2BQDD

URI	`m2://inv/FBQQX2BQDD`
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.30165#EKRJ (statement)

History

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

Examples FBQQYV4MA9

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

Mentions

wikipedia: Wikipedia DF-space#UXTZ, Examples (example)

History

2026-11-02: add by m2/dev

FBQVB7ZGE5 FBQVB7ZGE5

URI	`m2://inv/FBQVB7ZGE5`
Kind	definition
Layer	research
MSC	05-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.22708#ZBNL (definition)

History

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

FBQVV1N026 FBQVV1N026

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

Mentions

arxiv: arXiv 2011.06637#QFRP (conjecture). In KFCJ5CFP3G/e1, conjecture II

History

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

FBQYHTJ7G0 FBQYHTJ7G0

URI	`m2://inv/FBQYHTJ7G0`
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 2506.07061#STML (statement). In G2PA4KAGRP/e1, lemma 2.4

History

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

Chisini mean FBR0CFAQ2G

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

Mentions

wikipedia: Wikipedia Chisini mean, Chisini mean (definition). Also Wikidata Q3853675

History

2026-11-02: add by m2/dev

FBR24V9X1G FBR24V9X1G

URI	`m2://inv/FBR24V9X1G`
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.12165#HPKT (statement). In 3JSE8A9CFH/e1, lemma 4.1

History

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

FBR3755V35 FBR3755V35

URI	`m2://inv/FBR3755V35`
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.30301#YMBF (statement). In 7NS75J7HAM/e1, proposition 9.30

History

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

FBR4HGZEBC FBR4HGZEBC

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

Mentions

arxiv: arXiv 2610.03661#SS0Q (statement). In ESDKTYDHC8/e1, corollary 26

History

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

Equatorial saturation and noncommuting limits FBR5NYFDVP

URI	`m2://inv/FBR5NYFDVP`
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.21328#1BKO, Equatorial saturation and noncommuting limits (statement). In BJXVV4ZF7B/e1, theorem 1.5

History

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

FBR670XEWG FBR670XEWG

URI	`m2://inv/FBR670XEWG`
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 1907.01440#D9P4 (statement). In QDRYC6WJJ7/e1, lemma 7

History

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

Latvian Mathematical Society FBR6TVW2BZ

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

Mentions

wikipedia: Wikipedia Latvian Mathematical Society, Latvian Mathematical Society (definition). Also Wikidata Q19597682

History

2026-11-02: add by m2/dev

Compression theorem FBR7S3B083

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

Mentions

wikipedia: Wikipedia List of theorems#Q0ED, Compression theorem (statement)

History

2026-11-02: add by m2/dev

Four Mile Fork, Virginia FBRG778KRD

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

Mentions

wikipedia: Wikipedia List of places with numeric names#TZNZ, Four Mile Fork, Virginia (unknown)

History

2026-11-02: add by m2/dev

Convex hull-distance bound by capped-simplex process FBRPQZ0JFJ

URI	`m2://inv/FBRPQZ0JFJ`
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.20687#MUFU, Convex hull-distance bound by capped-simplex process (statement)

History

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

FBRSTVMYMD FBRSTVMYMD

URI	`m2://inv/FBRSTVMYMD`
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 2609.24917#AFET (statement)

History

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

Bernhard Riemann FBRV1VMM0H

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

Mentions

wikipedia: Wikipedia List of geometers#MNG8, Bernhard Riemann (topic)

History

2026-11-02: add by m2/dev

Diaconescu's theorem FBRY3ARBQD

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

Mentions

hott_book: hott_book index/C.1.5/diaconescu-s-theorem, Diaconescu's theorem (concept). In N54F33XE07, index, section C.1.5

History

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

$S$ topology FBS03B8QBP

URI	`m2://inv/FBS03B8QBP`
Kind	example
Layer	research
MSC	54-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.33841#FK6N, $S$ topology (example). In 3CVQHT206K/e1, example 4.11

History

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

intrinsic forcing FBS22Q2A0S

URI	`m2://inv/FBS22Q2A0S`
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.32733#7RE0, intrinsic forcing (statement). In PCAS8S14J6/e1, lemma C.7

History

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

Toy model II FBS2YTF2TP

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

Mentions

arxiv: arXiv 2609.38061#31KK, Toy model II (definition). In XFBW60M3AR/e1, definition 3.7

History

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

Picard theorem FBS6VZ29YY

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

Mentions

mathlib_1000: mathlib_1000 Q1668861, Picard theorem (statement). Also Wikidata Q1668861
thousand_plus: thousand_plus Q1668861, Picard theorem (statement). Also Wikidata Q1668861, Wikipedia Picard theorem
wikidata: Wikidata Q1668861, Picard theorem (statement). Also MathWorld PicardsGreatTheorem
wikipedia: Wikipedia Picard theorem, Picard theorem (statement). Also Wikidata Q1668861

History

2026-10-26: add by m2/dev

Definition FBS93NC9KR

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

Mentions

wikipedia: Wikipedia Multiplier algebra#K3D9, Definition (definition)

History

2026-11-02: add by m2/dev

FBSCD7YDBQ FBSCD7YDBQ

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

Mentions

arxiv: arXiv 2609.32765#NTC3 (statement). In PNBRW957KP/e1, theorem

History

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

FBSCJ5CGY9 FBSCJ5CGY9

URI	`m2://inv/FBSCJ5CGY9`
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.34168#TNNC (statement). In 30YQV8N04M/e1, corollary 9.1

History

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

Kari Vilonen FBSCJEFRQ0

URI	`m2://inv/FBSCJEFRQ0`
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 Q15454216, Kari Vilonen (unknown). Also nLab Kari Vilonen
wikipedia: Wikipedia Kari Vilonen, Kari Vilonen (topic). Also Wikidata Q15454216

History

2026-10-26: add by m2/dev

FBSD5B8X4D FBSD5B8X4D

URI	`m2://inv/FBSD5B8X4D`
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#2UM4 (statement). In E7W2HDNEKJ/e1, corollary 9.6

History

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

Weak--strong uniqueness FBSNNREAEA

URI	`m2://inv/FBSNNREAEA`
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.05312#62RN, Weak--strong uniqueness (statement). In 1CMMK399WQ/e1, theorem 1.4

History

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

Definition FBSW838RYG

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

Mentions

wikipedia: Wikipedia Weakly chained diagonally dominant matrix#20NQ, Definition (definition)

History

2026-11-02: add by m2/dev

sum-product number FBT20E1ARN

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

Mentions

wikidata: Wikidata Q6575256, sum-product number (unknown). Also MathWorld Sum-ProductNumber, OEIS A038369
wikipedia: Wikipedia Sum-product number, Sum-product number (definition). Also Wikidata Q6575256

History

2026-10-26: add by m2/dev

William Emerson FBT2J6QCNF

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

Mentions

wikipedia: Wikipedia William Emerson (mathematician), William Emerson (topic). Also Wikidata Q3031685

History

2026-11-02: add by m2/dev

Tachypsychia FBT94GDV0C

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

Mentions

wikipedia: Wikipedia List of cognitive biases#E21S, Tachypsychia (unknown)

History

2026-11-02: add by m2/dev

Properties FBTHKY4GFP

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

Mentions

wikipedia: Wikipedia Polar topology#8SAR, Properties (statement)

History

2026-11-02: add by m2/dev

FBTTB76AQ6 FBTTB76AQ6

URI	`m2://inv/FBTTB76AQ6`
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#LHH9 (statement). In WYHZMYZT31/e1, theorem 3.11

History

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

FBV0HAGGRH FBV0HAGGRH

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

Mentions

arxiv: arXiv 2609.24623#ESSU (statement)

History

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

FBV3BW4GBX FBV3BW4GBX

URI	`m2://inv/FBV3BW4GBX`
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.24747#4RP3 (statement)

History

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

Cartan's method of moving frames FBV52S0N17

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

Mentions

wikipedia: Wikipedia List of things named after Élie Cartan#8K93, Cartan's method of moving frames (definition)

History

2026-11-02: add by m2/dev

Finding all eligible pairs efficiently FBV67TDK05

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

Mentions

arxiv: arXiv 2609.37482#ZE3H, Finding all eligible pairs efficiently (statement). In 9QDRMZX8EY/e1, theorem 0.6

History

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

completeness of spaces of bounded continuous functions FBV6CR9JH3

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

Mentions

mathlib_overview: mathlib_overview Analysis > Normed vector spaces/Banach spaces > completeness of spaces of bounded continuous functions, completeness of spaces of bounded continuous functions (unknown). Also Mathlib BoundedContinuousFunction.instCompleteSpace
mathlib_undergrad: mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > completeness of the space of bounded continuous functions, completeness of the space of bounded continuous functions (unknown). Also Mathlib BoundedContinuousFunction.instCompleteSpace

History

2026-10-26: add by m2/dev

FBV980S2AY FBV980S2AY

URI	`m2://inv/FBV980S2AY`
Kind	statement
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#4RX9 (statement). In HH35K7S17H/e1, theorem 3.4

History

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

FBVM5SWFVA FBVM5SWFVA

URI	`m2://inv/FBVM5SWFVA`
Kind	statement
Layer	research
MSC	05-XX, 14-XX, 20-XX, 22-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.03138#II04 (statement). In P5SY7AVP5E/e1, lemma 4.5

History

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

FBVQF134HX FBVQF134HX

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

Mentions

wikipedia: Wikipedia Kepler–Bouwkamp constant#EGD7 (problem)

History

2026-11-02: add by m2/dev

Real form (Lie theory) FBVTAJTARG

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

Mentions

wikipedia: Wikipedia List of Lie groups topics#GF6P, Real form (Lie theory) (definition)

History

2026-11-02: add by m2/dev

FBVTGZERYN FBVTGZERYN

URI	`m2://inv/FBVTGZERYN`
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 2604.23212#X1A6 (statement). In 4X12V9RS0D/e1, proposition G.5

History

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

$\infty$-group FBW2FB7K1G

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

Mentions

hott_book: hott_book index/5.11/infty-group, $\infty$-group (concept). In N54F33XE07, index, section 5.11

History

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

Resolvent transport along the cyclic family FBW6FFXE3W

URI	`m2://inv/FBW6FFXE3W`
Kind	statement
Layer	research
MSC	05-XX, 26-XX, 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 2609.26066#FY67, Resolvent transport along the cyclic family (statement)

History

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

FBWAV2MJW7 FBWAV2MJW7

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

Mentions

arxiv: arXiv 2610.19309#7QWX (statement). In XKENQH35DW/e1, lemma 2.1

History

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

FBWYKH0AAA FBWYKH0AAA

URI	`m2://inv/FBWYKH0AAA`
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 2610.07001#P3BZ (statement). In 5DFTVG7FFF/e1, proposition 5.3

History

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

FBX26A7F23 FBX26A7F23

URI	`m2://inv/FBX26A7F23`
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.36088#YE5P (statement). In QJD3MZMJHW/e1, proposition 2.4

History

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

boundary conditions for a PDE FBX52A328H

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

Mentions

lebl_diffyqs: lebl_diffyqs index/5.6/boundary-conditions-for-a-pde, boundary conditions for a PDE (concept). In E9HS8K3A52, index, section 5.6

History

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

Muzio Oddi FBX5WQNVTC

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

Mentions

wikipedia: Wikipedia Muzio Oddi, Muzio Oddi (topic). Also Wikidata Q3868791

History

2026-11-02: add by m2/dev

Ciesielski isomorphism FBX8RDJ03B

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

Mentions

wikipedia: Wikipedia Ciesielski isomorphism, Ciesielski isomorphism (definition). Also Wikidata Q134609826

History

2026-11-02: add by m2/dev

Symmetry FBXA12QBS1

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

Mentions

wikipedia: Wikipedia Order-4 hexagonal tiling honeycomb#6UGB, Symmetry (statement)

History

2026-11-02: add by m2/dev

Sum of two cubes FBXDFDPTRC

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

Mentions

wikipedia: Wikipedia Sum of two cubes, Sum of two cubes (definition). Also Wikidata Q15907969

History

2026-11-02: add by m2/dev

FBXDKC5165 FBXDKC5165

URI	`m2://inv/FBXDKC5165`
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.07852#YMM3 (statement). In 8X43SAEM99/e1, lemma 2.3

History

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

Arf semigroup FBXHZ25Q33

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

Mentions

wikipedia: Wikipedia Arf semigroup, Arf semigroup (definition). Also Wikidata Q4789140

History

2026-11-02: add by m2/dev

Quillen's lemma FBXYFQT943

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

Mentions

wikipedia: Wikipedia Quillen's lemma, Quillen's lemma (statement). Also Wikidata Q7271994

History

2026-11-02: add by m2/dev

Lemma FBY2WBD3GP

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

Mentions

wikipedia: Wikipedia Picard–Lindelöf theorem#K3J4, Lemma (statement)

History

2026-11-02: add by m2/dev

FBY4QXG7TD FBY4QXG7TD

URI	`m2://inv/FBY4QXG7TD`
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.19959#XXJJ (statement)

History

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

Lemma FBYFN0TA9F

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

Mentions

wikipedia: Wikipedia Hardy–Littlewood maximal function#AKF7, Lemma (statement)

History

2026-11-02: add by m2/dev

FBYSKXQTA0 FBYSKXQTA0

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

Mentions

arxiv: arXiv 2610.05506#KPVA (statement). In FT53PMB1TE/e1, lemma 6.1.2

History

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

FBYTJBAD8Z FBYTJBAD8Z

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

Mentions

arxiv: arXiv 2207.07461#LBZI (statement). In GAG532VMPF/e1, proposition 3.2.6

History

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

Theorem A (Karatsuba) FBYVHVSGX3

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

Mentions

wikipedia: Wikipedia Anatoly Karatsuba#3NSA, Theorem A (Karatsuba) (statement)

History

2026-11-02: add by m2/dev

Definition FBYXGQ45FT

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

Mentions

wikipedia: Wikipedia Principal U(1)-bundle#6GKS, Definition (definition)

History

2026-11-02: add by m2/dev

Condensation point FBYXNRECVV

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

Mentions

wikipedia: Wikipedia List of mathematical properties of points#W55M, Condensation point (definition)

History

2026-11-02: add by m2/dev

FBYZCRD4K6 FBYZCRD4K6

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

Mentions

arxiv: arXiv 2610.16541#XQB9 (statement). In D0XH7W96T3/e1, theorem 1.1

History

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

Applications FBYZEYBZYF

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

Mentions

wikipedia: Wikipedia Hilbert matrix#H3E0, Applications (example)

History

2026-11-02: add by m2/dev

Applications FBZ0398SAC

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

Mentions

wikipedia: Wikipedia Generalized permutation matrix#EGBE, Applications (example)

History

2026-11-02: add by m2/dev

Finite dilation FBZAC8JQ1G

URI	`m2://inv/FBZAC8JQ1G`
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.02218#4HDT, Finite dilation (statement). In 3FY227EFVZ/e1, lemma 3.2

History

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

State reconstruction via a Gaussian channel with full-column-rank \rev{\mbox{phase-space}} transformation matrix FBZHDCG1B9

URI	`m2://inv/FBZHDCG1B9`
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.01855#P61I, State reconstruction via a Gaussian channel with full-column-rank \rev{\mbox{phase-space}} transformation matrix (statement). In MM8P5CJR18/e1, lemma 5.19

History

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

Union FBZX1PPT7E

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

Mentions

open_logic: open_logic content/sets-functions-relations/sets/unions-and-intersections.tex#defn-1, Union (definition). In PKGMM3P5QY, defn, section 83.2

History

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

Analysis FBZZ25SQVF

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#064V, Analysis (definition)

History

2026-11-02: add by m2/dev

Example FBZZ96AHX1

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

Mentions

wikipedia: Wikipedia Lovász local lemma#5CD1, Example (example)

History

2026-11-02: add by m2/dev