Inventory rows 5Q

Betrothed numbers 5Q006CBZVV

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#NCAA, Betrothed numbers (definition)

History

2026-11-02: add by m2/dev

modified Bessel function of the first kind 5Q01E7AG6B

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

Mentions

wikidata: Wikidata Q109559095, modified Bessel function of the first kind (definition). Also MathWorld ModifiedBesselFunctionoftheFirstKind, ProofWiki Definition:Modified_Bessel_Function/First_Kind

History

2026-10-26: add by m2/dev

Gauss–Codazzi–Mainardi equations 5Q04JAQ81K

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#O1PI, Gauss–Codazzi–Mainardi equations (definition)

History

2026-11-02: add by m2/dev

q-Charlier polynomials 5Q09GPKQX6

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

Mentions

wikipedia: Wikipedia List of q-analogs#9221, q-Charlier polynomials (definition)

History

2026-11-02: add by m2/dev

5Q0CY2PF2M 5Q0CY2PF2M

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

Mentions

hott_book: hott_book setmath.tex#defn-7 (definition). In N54F33XE07, defn, section C.3

History

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

Examples 5Q0JJNFZ3G

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

Mentions

wikipedia: Wikipedia Regenerative process#SN23, Examples (example)

History

2026-11-02: add by m2/dev

5Q0K59E3PD 5Q0K59E3PD

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-1 (exercise). In E9HS8K3A52, exercise, section 8.1.3

History

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

Algorithms 5Q0Q0QDKPQ

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

Mentions

wikipedia: Wikipedia K-means clustering#E75N, Algorithms (definition)

History

2026-11-02: add by m2/dev

5Q0Q19DPWM 5Q0Q19DPWM

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

History

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

5Q0SNYY7A5 5Q0SNYY7A5

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

Mentions

arxiv: arXiv 2609.37846#PE2F (definition). In DCA0M1EE4A/e1, definition 3

History

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

Order-4 24-cell honeycomb honeycomb 5Q0VFCMED9

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#RJFQ, Order-4 24-cell honeycomb honeycomb (definition)

History

2026-11-02: add by m2/dev

Baire one star function 5Q0W035CQV

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

Mentions

wikipedia: Wikipedia Baire one star function, Baire one star function (definition). Also Wikidata Q4848626

History

2026-11-02: add by m2/dev

5Q0W7FGZG5 5Q0W7FGZG5

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

Mentions

napkin: napkin tex/alg-geom/spec-zariski.tex#example-6 (example). In RZP28ERRZV, example, section 28.3

History

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

Fluctuations of $W_1^{\omega}|_{\Sigma_L}$ 5Q16HNW7PJ

URI	`m2://inv/5Q16HNW7PJ`
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 2512.08487#W2G1, Fluctuations of $W_1^{\omega}|_{\Sigma_L}$ (statement). In 77TVQVYN0Z/e1, theorem 19

History

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

A'Campo-L\^e's Theorem 5Q1BKHAH69

URI	`m2://inv/5Q1BKHAH69`
Kind	statement
Layer	research
MSC	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 2610.19357#WXFU, A'Campo-L\^e's Theorem (statement). In RGXQ50RWXV/e1, theorem 2.1

History

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

Tornado diagram 5Q1DFSMYM9

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

Mentions

wikipedia: Wikipedia Tornado diagram, Tornado diagram (definition). Also Wikidata Q7826004

History

2026-11-02: add by m2/dev

5Q1RMFYT5C 5Q1RMFYT5C

URI	`m2://inv/5Q1RMFYT5C`
Kind	definition
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.17875#PVVR (definition). In AQX7DGD360/e1, definition 5.1

History

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

Quantum circuit 5Q21HW74H6

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#ZQV0, Quantum circuit (definition)

History

2026-11-02: add by m2/dev

5Q2563ZC4M 5Q2563ZC4M

URI	`m2://inv/5Q2563ZC4M`
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.18562#2MD1 (statement). In 793KXAR957/e1, theorem 1.2

History

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

5Q271VJVPA 5Q271VJVPA

URI	`m2://inv/5Q271VJVPA`
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#K80D (statement). In 9GMTVSTAVN/e1, proposition 2.7

History

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

Definition 5Q27RG3SN9

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

Mentions

wikipedia: Wikipedia Elliptic unit#CC5G, Definition (definition)

History

2026-11-02: add by m2/dev

5Q28WPECRB 5Q28WPECRB

URI	`m2://inv/5Q28WPECRB`
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 2610.07190#W9CM (statement). In ZWS6Q4467X/e1, lemma A.4

History

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

5Q2FT0ATG8 5Q2FT0ATG8

URI	`m2://inv/5Q2FT0ATG8`
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.28594#ZDY5 (statement)

History

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

Hyperbolic volume 5Q2K2Z6XJQ

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

Mentions

wikipedia: Wikipedia List of knot theory topics#HNBV, Hyperbolic volume (definition)

History

2026-11-02: add by m2/dev

5Q2KQ8ED9P 5Q2KQ8ED9P

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

Mentions

arxiv: arXiv 2212.01916#RWVD (example). In XTGB5Z08YH/e1, example 3.5

History

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

5Q2M18VR62 5Q2M18VR62

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

Mentions

arxiv: arXiv 2609.21668#F9MH (statement)

History

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

5Q2NZ2N50N 5Q2NZ2N50N

URI	`m2://inv/5Q2NZ2N50N`
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 2609.29699#TFDX (statement)

History

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

5Q2PR7X7GA 5Q2PR7X7GA

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

Mentions

arxiv: arXiv 2609.28141#3707 (statement)

History

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

Entourage 5Q2RAWX0MF

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

Mentions

wikipedia: Wikipedia Glossary of general topology#5BZX, Entourage (definition)

History

2026-11-02: add by m2/dev

Octal literal 5Q2SGZBA3W

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

Mentions

wikipedia: Wikipedia Octal#SMFL, Octal literal (unknown)

History

2026-11-02: add by m2/dev

Dragoș Iliescu 5Q2VM575V8

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

Mentions

wikipedia: Wikipedia Dragoș Iliescu, Dragoș Iliescu (topic). Also Wikidata Q103879813

History

2026-11-02: add by m2/dev

5Q32YXPZKA 5Q32YXPZKA

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

Mentions

arxiv: arXiv 2610.08594#QGJ7 (definition). In FEE70SSD96/e1, definition 6.1

History

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

Unbalanced parents have few balanced subflats 5Q340X27CN

URI	`m2://inv/5Q340X27CN`
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.20351#7EZE, Unbalanced parents have few balanced subflats (statement)

History

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

Metric spaces of $\RR$ 5Q39EMXPAV

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

Mentions

napkin: napkin tex/topology/metric-top.tex#example-1, Metric spaces of $\RR$ (example). In RZP28ERRZV, example, section 100.1

History

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

Folded fixed-map probability 5Q3CFZRVBE

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

Mentions

arxiv: arXiv 2609.40252#2LL3, Folded fixed-map probability (statement). In 7MVPNFPRKB/e1, lemma 9.6

History

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

George Szekeres Medal 5Q3CTMMDM5

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

Mentions

wikipedia: Wikipedia George Szekeres Medal, George Szekeres Medal (definition). Also Wikidata Q5545011

History

2026-11-02: add by m2/dev

Odd function 5Q3JD695EM

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

Mentions

wikipedia: Wikipedia Even and odd functions#GMEH, Odd function (unknown)

History

2026-11-02: add by m2/dev

Ribbon detectability 5Q3R6A9WC5

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

Mentions

arxiv: arXiv 2610.03677#GMGT, Ribbon detectability (statement). In J1Y06VVYRG/e1, lemma 11

History

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

5Q3RPTJXT3 5Q3RPTJXT3

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

Mentions

arxiv: arXiv 2610.02295#D7D6 (statement). In PEBD9ZMA1W/e1, lemma 3.1

History

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

Component scores (in PCA) 5Q4FASZD63

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

Mentions

wikipedia: Wikipedia Factor analysis#XAK3, Component scores (in PCA) (definition)

History

2026-11-02: add by m2/dev

5Q4NBW7DR4 5Q4NBW7DR4

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

Mentions

austin_ula: austin_ula src/section7-4.xml#activity-3 (exercise). In 649HGZKE96, activity, section 7.4.3

History

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

nanometre 5Q524Q9FCV

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

Mentions

wikidata: Wikidata Q178674, nanometre (definition). Also ProofWiki Definition:Metric_System/Length/Nanometre

History

2026-10-26: add by m2/dev

Lag operator 5Q540K79Z8

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

Mentions

wikipedia: Wikipedia Lag operator, Lag operator (definition). Also Wikidata Q3354622

History

2026-11-02: add by m2/dev

The method 5Q5695KJC7

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

Mentions

wikipedia: Wikipedia Numerov's method#JJVD, The method (definition)

History

2026-11-02: add by m2/dev

5Q573CM2Q2 5Q573CM2Q2

URI	`m2://inv/5Q573CM2Q2`
Kind	definition
Layer	research
MSC	51-XX, 52-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.11596#9FD6 (definition). In 76850E2X7T/e1, definition 2.12

History

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

5Q57SR8MV8 5Q57SR8MV8

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

Mentions

hott_book: hott_book reals.tex#defn:uniformly-continuous (definition). In N54F33XE07, defn, section B.5

History

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

Divide and choose 5Q59CMRPT4

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

Mentions

wikipedia: Wikipedia Divide and choose, Divide and choose (definition). Also Wikidata Q2139889

History

2026-11-02: add by m2/dev

Large prime gap conjecture 5Q5B4QWMMN

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

Mentions

wikipedia: Wikipedia Riemann hypothesis#NBMT, Large prime gap conjecture (statement)

History

2026-11-02: add by m2/dev

5Q5D8MNJZ8 5Q5D8MNJZ8

URI	`m2://inv/5Q5D8MNJZ8`
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#1NSI (statement). In HJPDS53MX4/e1, lemma 5.1

History

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

\bf Concentration of modularity 5Q5DGT6G2D

URI	`m2://inv/5Q5DGT6G2D`
Kind	statement
Layer	research
MSC	05-XX, 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 2605.10911#HD9H, \bf Concentration of modularity (statement). In Y23VR7N90M/e1, lemma 9

History

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

5Q5P2ZQV58 5Q5P2ZQV58

URI	`m2://inv/5Q5P2ZQV58`
Kind	definition
Layer	research
MSC	03-XX, 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.16475#0QWK (definition). In FM9SKN560Q/e1, definition 2.2

History

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

Nearest-neighbor bounded-interaction bound 5Q5QPT1A19

URI	`m2://inv/5Q5QPT1A19`
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.01669#RCD4, Nearest-neighbor bounded-interaction bound (statement). In 41AVNP6DJ9/e1, corollary B.1

History

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

subset 5Q5RGE6WAJ

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

Mentions

applied_combinatorics: applied_combinatorics index/B.2.4/subset, subset (concept). In QKM9DD2H56, index, section B.2.4

History

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

binomial coefficient, formula for 5Q6AMYCWVQ

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

Mentions

applied_combinatorics: applied_combinatorics index/2.3/binomial-coefficient-formula-for, binomial coefficient, formula for (concept). In QKM9DD2H56, index, section 2.3

History

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

Double-blind controlled 5Q6F53Y8HF

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

Mentions

wikipedia: Wikipedia Randomized controlled trial#FWC7, Double-blind controlled (unknown)

History

2026-11-02: add by m2/dev

Equivalent noise bandwidth 5Q6H82PGZM

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

Mentions

wikipedia: Wikipedia Spectral leakage#XEFL, Equivalent noise bandwidth (unknown)

History

2026-11-02: add by m2/dev

Diophantine equation 5Q6KA89V6B

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

Mentions

wikipedia: Wikipedia Glossary of number theory#R3QJ, Diophantine equation (definition)

History

2026-11-02: add by m2/dev

5Q6NWF649M 5Q6NWF649M

URI	`m2://inv/5Q6NWF649M`
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.22077#RCIO (statement)

History

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

Fibonacci search technique 5Q6TSPVW0X

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

Mentions

wikipedia: Wikipedia Fibonacci search technique, Fibonacci search technique (definition). Also Wikidata Q4925741

History

2026-11-02: add by m2/dev

5Q765K3PBW 5Q765K3PBW

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

Mentions

hott_book: hott_book hlevels.tex#defn-4 (definition). In N54F33XE07, defn, section 6.4

History

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

5Q79WB3EM7 5Q79WB3EM7

URI	`m2://inv/5Q79WB3EM7`
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.04809#QCPI (statement). In 2VHV0RNTNV/e1, corollary 8.16

History

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

Theorem 5Q7DAFZZY6

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

Mentions

wikipedia: Wikipedia Erdős–Szemerédi theorem#SGF4, Theorem (statement)

History

2026-11-02: add by m2/dev

5Q7DNK3CKD 5Q7DNK3CKD

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

Mentions

arxiv: arXiv 2610.16779#H285 (statement). In 1R7H0ZAHWA/e1, proposition 2.2

History

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

Equality in monotonicity of quantum relative entropy inequality 5Q7FJY5NZ1

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

Mentions

wikipedia: Wikipedia Strong subadditivity of quantum entropy#DPYS, Equality in monotonicity of quantum relative entropy inequality (statement)

History

2026-11-02: add by m2/dev

5Q7JGY18T1 5Q7JGY18T1

URI	`m2://inv/5Q7JGY18T1`
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#A4UY (definition). In WD2NCBV9F0/e1, definition 19.2

History

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

5Q7XRJQ7C3 5Q7XRJQ7C3

URI	`m2://inv/5Q7XRJQ7C3`
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 2511.05069#P5UL (statement). In SFQBJBTW8K/e1, theorem 9.3

History

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

5Q84EBFR38 5Q84EBFR38

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

Mentions

arxiv: arXiv 2609.36321#159X (definition). In 3KTZ6Z615H/e1, definition 5.1

History

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

Axiality 5Q84RQN5GJ

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

Mentions

wikipedia: Wikipedia Axiality (geometry), Axiality (definition). Also Wikidata Q17002596

History

2026-11-02: add by m2/dev

Application 5Q85M6M636

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

Mentions

wikipedia: Wikipedia Riemann–Silberstein vector#CAF2, Application (example)

History

2026-11-02: add by m2/dev

John Etchemendy 5Q88A5X760

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

Mentions

wikipedia: Wikipedia John Etchemendy, John Etchemendy (topic). Also Wikidata Q6231954

History

2026-11-02: add by m2/dev

5Q88ST988G 5Q88ST988G

URI	`m2://inv/5Q88ST988G`
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.29521#T5D4 (statement)

History

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

5Q8C17Z2DZ 5Q8C17Z2DZ

URI	`m2://inv/5Q8C17Z2DZ`
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.19288#8BC6 (statement). In 1EA6AM9V01/e1, proposition 2.10

History

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

5Q8DRG85EG 5Q8DRG85EG

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

Mentions

arxiv: arXiv 2610.14838#3AXT (statement). In J7ZX3WWRQP/e1, theorem 1.3

History

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

Rayleigh quotient iteration 5Q8N04R81V

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

Mentions

wikipedia: Wikipedia Rayleigh quotient iteration, Rayleigh quotient iteration (definition). Also Wikidata Q7298489

History

2026-11-02: add by m2/dev

5Q8R1FYMES 5Q8R1FYMES

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

Mentions

arxiv: arXiv 2509.04068#IK1E (example). In Y7TVAQE9PF/e1, example Example

History

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

5Q8TX95TEH 5Q8TX95TEH

URI	`m2://inv/5Q8TX95TEH`
Kind	definition
Layer	research
MSC	62-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.29348#VDBE (definition)

History

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

Fermat's principle in three dimensions 5Q8WVN6WX4

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

Mentions

wikipedia: Wikipedia Calculus of variations#TAFA, Fermat's principle in three dimensions (statement)

History

2026-11-02: add by m2/dev

Right triangle 5Q92KDC7MF

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

Mentions

wikipedia: Wikipedia List of sums of reciprocals#YPBA, Right triangle (definition)

History

2026-11-02: add by m2/dev

5Q9BPKZZDA 5Q9BPKZZDA

URI	`m2://inv/5Q9BPKZZDA`
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 2511.05069#QVPT (statement). In SFQBJBTW8K/e1, proposition 14.7

History

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

The case when the lower threshold is active 5Q9G2FQ54E

URI	`m2://inv/5Q9G2FQ54E`
Kind	example
Layer	research
MSC	35-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.18242#LNX6, The case when the lower threshold is active (example). In VVC2FHQZZR/e1, example 6.11

History

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

5Q9PKG98RN 5Q9PKG98RN

URI	`m2://inv/5Q9PKG98RN`
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.34339#NQUL (statement). In 9WFSTGMQ4E/e1, proposition 3.7

History

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

Analytical regularization 5Q9VWZ8F5H

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

Mentions

wikipedia: Wikipedia Analytical regularization, Analytical regularization (definition). Also Wikidata Q4751157

History

2026-11-02: add by m2/dev

5QA2P0B3D9 5QA2P0B3D9

URI	`m2://inv/5QA2P0B3D9`
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.37026#ZOXC (statement). In QGZPH9W8GY/e1, lemma A.2

History

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

Basel problem 5QAC31Y4HM

URI	`m2://inv/5QAC31Y4HM`
Kind	statement
Layer	textbook
MSC	26-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Basel problem 0DMY75D6FV

Mentions

mathlib_100: mathlib_100 14, Euler’s Summation of 1 + (1/2)^2 + (1/3)^2 + …. (statement). Also Mathlib hasSum_zeta_two
mathlib_1000: mathlib_1000 Q810431, Basel problem (statement). Also Mathlib hasSum_zeta_two, Wikidata Q810431
thousand_plus: thousand_plus Q810431, Basel problem (statement). Also Mathlib hasSum_zeta_two, Wikidata Q810431, Wikipedia Basel problem
wikidata: Wikidata Q810431, Basel problem (problem). Also ProofWiki Basel_Problem
wikipedia: Wikipedia Basel problem, Basel problem (problem). Also Wikidata Q810431

History

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

Examples 5QAEFB6GWZ

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

Mentions

wikipedia: Wikipedia Ultralimit#CPDZ, Examples (example)

History

2026-11-02: add by m2/dev

Peter Geach 5QANRE55H5

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

Mentions

wikipedia: Wikipedia Peter Geach, Peter Geach (topic). Also Wikidata Q725797

History

2026-11-02: add by m2/dev

Final Value Theorem 5QARDQ6J04

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

Mentions

wikipedia: Wikipedia Final value theorem#8MY5, Final Value Theorem (statement)

History

2026-11-02: add by m2/dev

Glossary of mathematical jargon 5QAWE97HTP

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

Mentions

wikipedia: Wikipedia Glossary of mathematical jargon, Glossary of mathematical jargon (topic). Also Wikidata Q728368

History

2026-11-02: add by m2/dev

Basic properties 5QAXGYVA1C

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

Mentions

wikipedia: Wikipedia Sub-Gaussian distribution#TNK0, Basic properties (statement)

History

2026-11-02: add by m2/dev

fiberwise, transformation 5QAXVEV644

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

Mentions

hott_book: hott_book index/3.7/fiberwise-transformation, fiberwise, transformation (concept). In N54F33XE07, index, section 3.7

History

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

5QB31YSNT9 5QB31YSNT9

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

Mentions

arxiv: arXiv 2110.11143#A9I0 (statement). In VTVC0TCWSB/e1, lemma 6.11

History

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

Examples 5QBBVD1NMT

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

Mentions

wikipedia: Wikipedia Statistical fluctuations#02BH, Examples (example)

History

2026-11-02: add by m2/dev

5QBD18RTWE 5QBD18RTWE

URI	`m2://inv/5QBD18RTWE`
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#N29K (statement). In KS30K5JXGB/e1, theorem 2.13

History

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

Generating function transformation 5QBED19B2Z

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

Mentions

wikipedia: Wikipedia Generating function transformation, Generating function transformation (definition). Also Wikidata Q30590894

History

2026-11-02: add by m2/dev

5QBKJC132W 5QBKJC132W

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

Mentions

arxiv: arXiv 2601.15403#YD05 (statement). In BSWNH3NW1M/e1, proposition 2.4

History

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

Symmetry 5QBP3DWZG7

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

Mentions

wikipedia: Wikipedia Truncated infinite-order square tiling#BUTQ, Symmetry (statement)

History

2026-11-02: add by m2/dev

5QC2DRGNZY 5QC2DRGNZY

URI	`m2://inv/5QC2DRGNZY`
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.17677#HXOH (statement). In 5E9G06XJKC/e1, lemma C.8

History

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

$\id$ replacement 5QC2KVGMDM

URI	`m2://inv/5QC2KVGMDM`
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.17875#I15L, $\id$ replacement (statement). In AQX7DGD360/e1, lemma 7.4

History

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

the degenerate reduction with a nonaffine constraint 5QC8HZ234E

URI	`m2://inv/5QC8HZ234E`
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 2610.01029#FYY1, the degenerate reduction with a nonaffine constraint (example). In KA8VS65Z9G/e1, example 14

History

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

Statement of theorem 5QCNE76GYP

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

Mentions

wikipedia: Wikipedia Levinson's theorem#ULZN, Statement of theorem (statement)

History

2026-11-02: add by m2/dev

Simon Sidon 5QD40GR6KK

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

Mentions

wikipedia: Wikipedia Simon Sidon, Simon Sidon (topic). Also Wikidata Q7519776

History

2026-11-02: add by m2/dev

Richard A. Isaacson 5QD5MAABRX

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#JNTR, Richard A. Isaacson (unknown)

History

2026-11-02: add by m2/dev

Gregorio Ricci-Curbastro 5QD6BFM8VJ

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#O833, Gregorio Ricci-Curbastro (topic)

History

2026-11-02: add by m2/dev

Falsidical paradox 5QD6MZZ872

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

Mentions

wikipedia: Wikipedia Paradox#925T, Falsidical paradox (statement)

History

2026-11-02: add by m2/dev

Regularized least squares 5QD6SDFS16

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

Mentions

wikipedia: Wikipedia Regularized least squares, Regularized least squares (definition). Also Wikidata Q25304486

History

2026-11-02: add by m2/dev

5QDAGBK57N 5QDAGBK57N

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

Mentions

arxiv: arXiv 2609.22825#MUOF (statement)

History

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

5QDE1RDSJ5 5QDE1RDSJ5

URI	`m2://inv/5QDE1RDSJ5`
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#978C (statement). In E7W2HDNEKJ/e1, theorem 4.13

History

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

5QDJKEFKM4 5QDJKEFKM4

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

Mentions

arxiv: arXiv 2610.15454#UC43 (statement). In RGQZVNXWM5/e1, lemma 4.4

History

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

homotopy, group, of sphere 5QDQ22Y324

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

Mentions

hott_book: hott_book index/7.10/homotopy-group-of-sphere, homotopy, group, of sphere (concept). In N54F33XE07, index, section 7.10

History

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

Grace E. Kissling 5QDXSTZCTV

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#REXP, Grace E. Kissling (unknown)

History

2026-11-02: add by m2/dev

Submersion 5QE1WWD7N1

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

Mentions

wikipedia: Wikipedia List of multivariable calculus topics#45YT, Submersion (definition)

History

2026-11-02: add by m2/dev

Lissit\'e, purity, rank, and the trace relation 5QE2XF7F6E

URI	`m2://inv/5QE2XF7F6E`
Kind	statement
Layer	research
MSC	11-XX, 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.04099#8NUB, Lissit\'e, purity, rank, and the trace relation (statement). In QPJ6FWG5HD/e1, theorem 1.14

History

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

Theorem 5QE62Q0W06

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

Mentions

wikipedia: Wikipedia Faithfully flat descent#S59H, Theorem (statement)

History

2026-11-02: add by m2/dev

Bounds for $\mathrm{OSPO}$ 5QE7NX3YN5

URI	`m2://inv/5QE7NX3YN5`
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.17677#U7NA, Bounds for $\mathrm{OSPO}$ (statement). In 5E9G06XJKC/e1, lemma 4.1

History

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

Statistical shape analysis 5QEC9RQ2MK

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

Mentions

wikipedia: Wikipedia List of statistics articles#JEEU, Statistical shape analysis (definition)

History

2026-11-02: add by m2/dev

Definitions 5QEEGF541N

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

Mentions

wikipedia: Wikipedia Almost periodic function#LPJP, Definitions (definition)

History

2026-11-02: add by m2/dev

Compound of five cuboctahedra 5QF181KXFD

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#MLBH, Compound of five cuboctahedra (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#5AGG, Compound of five cuboctahedra (definition)

History

2026-11-02: add by m2/dev

Theorem (Lasker–Noether) 5QFEZR8804

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

Mentions

wikipedia: Wikipedia Primary ideal#S76S, Theorem (Lasker–Noether) (statement)

History

2026-11-02: add by m2/dev

Hirzebruch L-polynomial 5QFP5DKR1K

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

Mentions

wikipedia: Wikipedia Genus of a multiplicative sequence#11D4, Hirzebruch L-polynomial (unknown)

History

2026-11-02: add by m2/dev

5QFVK8QZBK 5QFVK8QZBK

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

Mentions

arxiv: arXiv 2610.14434#FXQN (statement). In TW93XZXMHE/e1, corollary 7.2

History

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

Mathemagician 5QFXH7QK6C

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

Mentions

wikipedia: Wikipedia Mathemagician, Mathemagician (topic). Also Wikidata Q11936174

History

2026-11-02: add by m2/dev

Co-root 5QG312A61V

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

Mentions

wikipedia: Wikipedia Root system#EQK6, Co-root (unknown)

History

2026-11-02: add by m2/dev

5QG8DRCB8H 5QG8DRCB8H

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

Mentions

arxiv: arXiv 2609.25291#U54L (definition)

History

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

Example 5QG944V8G9

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

Mentions

wikipedia: Wikipedia DOE mean plot#FO46, Example (example)

History

2026-11-02: add by m2/dev

linear subspace 5QGEM8RZJA

URI	`m2://inv/5QGEM8RZJA`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Linear subspace 00YC1D652K

Mentions

wikidata: Wikidata Q728435, linear subspace (unknown). Also MathWorld Subspace, nLab linear subspace
wikipedia: Wikipedia Linear subspace, Linear subspace (definition). Also Wikidata Q728435

History

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

Symbolic method of invariant theory 5QGG9YY6FX

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

Mentions

wikipedia: Wikipedia Glossary of tensor theory#GGA4, Symbolic method of invariant theory (definition)

History

2026-11-02: add by m2/dev

5QGNHGVNG9 5QGNHGVNG9

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-16 (exercise). In E9HS8K3A52, exercise, section 6.8.5

History

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

George Chrystal 5QGWWF8BNM

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

Mentions

wikipedia: Wikipedia George Chrystal, George Chrystal (topic). Also Wikidata Q200454

History

2026-11-02: add by m2/dev

5QGYBVPB87 5QGYBVPB87

URI	`m2://inv/5QGYBVPB87`
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.22759#8XBS (statement)

History

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

5QH2K41FY1 5QH2K41FY1

URI	`m2://inv/5QH2K41FY1`
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.20128#07FM (statement)

History

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

Diameter of a point set 5QH5MTSQ6Y

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

Mentions

wikipedia: Wikipedia List of combinatorial computational geometry topics#Q43X, Diameter of a point set (definition)

History

2026-11-02: add by m2/dev

Definition and example 5QHB5RR1SA

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

Mentions

wikipedia: Wikipedia Polynomial regression#DRZ0, Definition and example (definition)

History

2026-11-02: add by m2/dev

5QHCY1K0PY 5QHCY1K0PY

URI	`m2://inv/5QHCY1K0PY`
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.03255#2ILB (statement). In DCC0Y18670/e1, lemma 2.2

History

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

5QHQRWK97T 5QHQRWK97T

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

Mentions

arxiv: arXiv 2610.07040#FH62 (definition). In KMNXNW7FHP/e1, definition D.1

History

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

5QHQSCRDAM 5QHQSCRDAM

URI	`m2://inv/5QHQSCRDAM`
Kind	statement
Layer	research
MSC	17-XX, 53-XX, 55-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 hep-th/9409063#0QBS (statement). In 145ETYF9CG/e1, theorem 3

History

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

Vanishing functions and coherent-state codimension 5QHSJB9TBH

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

Mentions

arxiv: arXiv 2609.37704#8L1A, Vanishing functions and coherent-state codimension (statement). In HGTFJ325A4/e1, corollary 9.1

History

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

Identity map 5QHVETN93H

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

Mentions

wikipedia: Wikipedia Tensors in curvilinear coordinates#X6AM, Identity map (statement)

History

2026-11-02: add by m2/dev

5QHZBM871T 5QHZBM871T

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

Mentions

napkin: napkin tex/alg-NT/galois.tex#example-3 (example). In RZP28ERRZV, example, section 14.2

History

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

5QHZCQQH62 5QHZCQQH62

URI	`m2://inv/5QHZCQQH62`
Kind	definition
Layer	research
MSC	05-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.36332#M3W2 (definition). In APK7X4MFAX/e1, definition 6

History

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

orthonormal 5QHZJVQVBX

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#YUTZ, orthonormal (definition)

History

2026-11-02: add by m2/dev

Feldman-Propp 5QJ4696GQP

URI	`m2://inv/5QJ4696GQP`
Kind	statement
Layer	research
MSC	03-XX, 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 1704.04089#J4ZO, Feldman-Propp (statement). In T126FDFXT5/e1, proposition 1

History

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

Italian school of algebraic geometry 5QJ4Z1DGH9

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

Mentions

wikipedia: Wikipedia Italian school of algebraic geometry, Italian school of algebraic geometry (topic). Also Wikidata Q1978447

History

2026-11-02: add by m2/dev

Euclid–Mullin sequence 5QJ6GJK9Q2

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#XFLO, Euclid–Mullin sequence (conjecture)

History

2026-11-02: add by m2/dev

Brouwer–Heyting–Kolmogorov interpretation 5QJ7BEP72Q

URI	`m2://inv/5QJ7BEP72Q`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Brouwer–Heyting–Kolmogorov interpretation 7B53ZGXXEQ

Mentions

wikidata: Wikidata Q3153567, Brouwer–Heyting–Kolmogorov interpretation (concept). Also nLab Brouwer-Heyting-Kolmogorov interpretation
wikipedia: Wikipedia Brouwer–Heyting–Kolmogorov interpretation, Brouwer–Heyting–Kolmogorov interpretation (definition). Also Wikidata Q3153567

History

2026-10-26: add by m2/dev

mathematical psychology 5QJCGSKY55

URI	`m2://inv/5QJCGSKY55`
Kind	definition
Layer	textbook
MSC	91Exx
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q1908389, mathematical psychology (topic)
wikipedia: Wikipedia Mathematical psychology, Mathematical psychology (definition). Also Wikidata Q1908389

History

2026-10-26: add by m2/dev

Examples 5QJCNWB1GF

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

Mentions

wikipedia: Wikipedia Alternating group#SVRI, Examples (example)

History

2026-11-02: add by m2/dev

Christine Bessenrodt 5QJDR3MHMP

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

Mentions

wikipedia: Wikipedia Christine Bessenrodt, Christine Bessenrodt (topic). Also Wikidata Q6451780

History

2026-11-02: add by m2/dev

5QJDZ63E68 5QJDZ63E68

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

Mentions

hott_book: hott_book logic.tex#thm:prop-minusonetype (statement). In N54F33XE07, lem, section 9.11

History

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

Samuel Dickstein 5QJK2Y83CT

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#AKYG, Samuel Dickstein (topic)

History

2026-11-02: add by m2/dev

5QJK5CQVYA 5QJK5CQVYA

URI	`m2://inv/5QJK5CQVYA`
Kind	statement
Layer	research
MSC	11-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.10881#0R5R (statement). In DC01XRB5YE/e1, theorem 3

History

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

Application 5QJYX90J4Y

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

Mentions

wikipedia: Wikipedia Yang–Mills moduli space#4D9N, Application (example)

History

2026-11-02: add by m2/dev

Claim 5QK02N5829

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

Mentions

wikipedia: Wikipedia BQP#98QA, Claim (statement)

History

2026-11-02: add by m2/dev

Underlying $G$-spectrum 5QK3VP4DDS

URI	`m2://inv/5QK3VP4DDS`
Kind	definition
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.21675#0R3G, Underlying $G$-spectrum (definition). In TB1294GY5X/e1, definition 7.2

History

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

5QKAP4K1ZP 5QKAP4K1ZP

URI	`m2://inv/5QKAP4K1ZP`
Kind	statement
Layer	research
MSC	49-XX, 62-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.11906#CMED (statement). In 8S9TEAPCDJ/e1, theorem 3

History

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

Export of cryptography from the United States 5QKDXKFXE6

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

Mentions

wikipedia: Wikipedia Export of cryptography from the United States, Export of cryptography from the United States (definition). Also Wikidata Q5421561

History

2026-11-02: add by m2/dev

5QKEPPNFJ8 5QKEPPNFJ8

URI	`m2://inv/5QKEPPNFJ8`
Kind	statement
Layer	research
MSC	46-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 2609.23167#DEFR (statement)

History

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

Definition 5QKM53NCY3

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

Mentions

wikipedia: Wikipedia Hodge–Tate module#CYNM, Definition (definition)

History

2026-11-02: add by m2/dev

Stability of the discrete information 5QKV9NAR42

URI	`m2://inv/5QKV9NAR42`
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.20090#F5PR, Stability of the discrete information (statement). In 2RV3YSN1NX/e1, lemma 6

History

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

5QM6Q37KV6 5QM6Q37KV6

URI	`m2://inv/5QM6Q37KV6`
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 2310.10361#D29N (statement). In 65ED1ZXG98/e1, lemma 4.5

History

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

Quatro Pontes 5QMBSM6C7Y

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

Mentions

wikipedia: Wikipedia List of places with numeric names#IJP4, Quatro Pontes (unknown)

History

2026-11-02: add by m2/dev

KW-26 5QMGTMPYN7

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

Mentions

wikipedia: Wikipedia KW-26, KW-26 (definition). Also Wikidata Q6340374

History

2026-11-02: add by m2/dev

Formal definition 5QMMBB0JVR

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

Mentions

wikipedia: Wikipedia Complete set of commuting observables#HQHQ, Formal definition (definition)

History

2026-11-02: add by m2/dev

5QMP8TJRQA 5QMP8TJRQA

URI	`m2://inv/5QMP8TJRQA`
Kind	definition
Layer	research
MSC	05-XX, 46-XX, 47-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 1711.00219#HMLS (definition). In 7V3HG30ZGW/e1, definition 5.9

History

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

Alexander Gerschenkron 5QMQH5VAVZ

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#0AP0, Alexander Gerschenkron (unknown)

History

2026-11-02: add by m2/dev

David Gale 5QMRY1ANA3

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#2EQY, David Gale (topic)

History

2026-11-02: add by m2/dev

Uses 5QN4BYQFD4

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

Mentions

wikipedia: Wikipedia Limit (mathematics)#LQQM, Uses (example)

History

2026-11-02: add by m2/dev

Cosmological constant problem 5QN6MASAC6

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

Mentions

wikipedia: Wikipedia Cosmological constant problem, Cosmological constant problem (problem). Also Wikidata Q4379531

History

2026-11-02: add by m2/dev

Beta distribution 5QN7E3A8R1

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

Mentions

wikipedia: Wikipedia List of statistics articles#HHGQ, Beta distribution (definition)

History

2026-11-02: add by m2/dev

5QNDG48NB7 5QNDG48NB7

URI	`m2://inv/5QNDG48NB7`
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.25843#ZRD4 (statement)

History

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

Theorem 5QNDZBTGHN

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

Mentions

wikipedia: Wikipedia Bundle theorem#4Y1N, Theorem (statement)

History

2026-11-02: add by m2/dev

Invariance of Sobolev class under modifications 5QNF9ZNY35

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

Mentions

arxiv: arXiv 2610.21775#ZF7S, Invariance of Sobolev class under modifications (statement). In KM3Q791JY0/e1, corollary 3.29

History

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

Intersections of point kernels 5QNFCHBTM3

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

Mentions

arxiv: arXiv 2610.15887#U162, Intersections of point kernels (statement). In 87QYNZZ67Z/e1, lemma 5.7

History

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

Hyperboloid of two sheets 5QNVKVFY6F

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#O90B, Hyperboloid of two sheets (definition)
wikipedia: Wikipedia List of surfaces#WOFP, Hyperboloid of two sheets (definition)

History

2026-11-02: add by m2/dev

Contractibility of fixed points of finite-order Hamiltonian diffeomorphisms 5QP2ZDV17Y

URI	`m2://inv/5QP2ZDV17Y`
Kind	statement
Layer	research
MSC	37-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.25960#VZTA, Contractibility of fixed points of finite-order Hamiltonian diffeomorphisms (statement). In 13GSWBXPCM/e1, theorem 1.5

History

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

5QP9K0CNDV 5QP9K0CNDV

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

Mentions

austin_ula: austin_ula src/section3-4.xml#example-1 (example). In 649HGZKE96, example, section 3.4.4

History

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

Higher-order factor analysis 5QPB09H2DZ

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

Mentions

wikipedia: Wikipedia List of statistics articles#R4EC, Higher-order factor analysis (definition)

History

2026-11-02: add by m2/dev

Jensen's operator inequality 5QPDQCQY4N

URI	`m2://inv/5QPDQCQY4N`
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.01498#8RC3, Jensen's operator inequality (statement). In 75GDSC8460/e1, theorem 2.3

History

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

Constructions 5QPE9RFR04

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

Mentions

wikipedia: Wikipedia Highly structured ring spectrum#REKH, Constructions (definition)

History

2026-11-02: add by m2/dev

A point without a fixed lift 5QPFJ90KRH

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

Mentions

arxiv: arXiv 2610.21662#L4ZJ, A point without a fixed lift (example). In 25B3WHEKH2/e1, example 7.4

History

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

5QPK96KMJ7 5QPK96KMJ7

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

Mentions

arxiv: arXiv 2609.24577#3JRU (problem)

History

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

Federal statistical system 5QPP13YA2C

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

Mentions

wikipedia: Wikipedia Federal statistical system, Federal statistical system (definition). Also Wikidata Q9568826

History

2026-11-02: add by m2/dev

Full-lattice decomposition 5QPT6PX9KB

URI	`m2://inv/5QPT6PX9KB`
Kind	statement
Layer	research
MSC	35-XX, 46-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.05421#C3MX, Full-lattice decomposition (statement). In 4R1MMSAAVK/e1, proposition 3.2

History

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

A harmonic barrier has a one-saddle separating contour 5QQ0B8B3T4

URI	`m2://inv/5QQ0B8B3T4`
Kind	statement
Layer	research
MSC	26-XX, 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.09602#SJQR, A harmonic barrier has a one-saddle separating contour (statement). In 4AQ48WSBDQ/e1, lemma 2.9

History

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

5QQ2CW1567 5QQ2CW1567

URI	`m2://inv/5QQ2CW1567`
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.37508#CR04 (statement). In WCSDA99ZHA/e1, lemma 2.2

History

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

Brahmagupta–Fibonacci identity 5QQ46PC0N7

URI	`m2://inv/5QQ46PC0N7`
Kind	statement
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Brahmagupta–Fibonacci identity 0K2DMACEZ4

Mentions

wikidata: Wikidata Q279090, Brahmagupta–Fibonacci identity (statement). Also MathWorld FibonacciIdentity
wikipedia: Wikipedia Brahmagupta–Fibonacci identity, Brahmagupta–Fibonacci identity (statement). Also Wikidata Q279090

History

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

Push–relabel maximum flow algorithm 5QQ5GAFHCS

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

Mentions

wikipedia: Wikipedia Push–relabel maximum flow algorithm, Push–relabel maximum flow algorithm (definition). Also Wikidata Q583889

History

2026-11-02: add by m2/dev

Surcomplex number 5QQ773PBY3

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

Mentions

wikipedia: Wikipedia Surreal number#F8V5, Surcomplex number (unknown)

History

2026-11-02: add by m2/dev

5QQ9TNA66Q 5QQ9TNA66Q

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

Mentions

arxiv: arXiv 2610.09333#N0TT (statement). In Z9HC1EDTQP/e1, lemma 4.8

History

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

5QQE1W0HXR 5QQE1W0HXR

URI	`m2://inv/5QQE1W0HXR`
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.21636#1ZXZ (statement). In Z1DGVEHKT6/e1, theorem 1

History

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

5QQE55FAWJ 5QQE55FAWJ

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

Mentions

arxiv: arXiv 2609.40023#9G31 (definition). In JW9ARS9AQE/e1, definition 1.3

History

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

Extended supersymmetry 5QQK30MYWQ

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

Mentions

wikipedia: Wikipedia Supersymmetry#3WPO, Extended supersymmetry (unknown)

History

2026-11-02: add by m2/dev

5QQPH9RRNT 5QQPH9RRNT

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

Mentions

arxiv: arXiv 2609.31556#HZB1 (statement). In 1VBEMR0JXH/e1, lemma 2.1

History

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

Construction 5QQPKGCD9C

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

Mentions

wikipedia: Wikipedia Tutte 12-cage#UMM9, Construction (definition)

History

2026-11-02: add by m2/dev

Numerical hypocoercive contraction 5QQXHWKBX7

URI	`m2://inv/5QQXHWKBX7`
Kind	statement
Layer	research
MSC	62-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.06308#OMCE, Numerical hypocoercive contraction (statement). In HTWSDDAWGS/e1, proposition 4.2

History

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

5QR7VT1JQK 5QR7VT1JQK

URI	`m2://inv/5QR7VT1JQK`
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 2504.13328#UXPP (statement). In 736Q32FYCG/e1, corollary 4.7

History

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

5QRMBPKMXR 5QRMBPKMXR

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

Mentions

arxiv: arXiv 2610.16431#VMC7 (statement). In 7NX9HA8VPM/e1, lemma 2.5

History

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

One switch 5QRPX9EWZX

URI	`m2://inv/5QRPX9EWZX`
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.12641#P30H, One switch (statement). In X5BYGZZHPF/e1, theorem K.6

History

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

Pairs S61--S64 5QRVD90F6N

URI	`m2://inv/5QRVD90F6N`
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.08865#AQVD, Pairs S61--S64 (statement). In SJ5JKGH94M/e1, theorem 19

History

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

Negation 5QRVM5MKSP

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

Mentions

wikipedia: Wikipedia List of rules of inference#HAQS, Negation (definition)

History

2026-11-02: add by m2/dev

Kenneth E. Iverson 5QS0ZKR85Q

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#AK1W, Kenneth E. Iverson (topic)

History

2026-11-02: add by m2/dev

5QS5103X2Y 5QS5103X2Y

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

Mentions

arxiv: arXiv 2610.21627#41D7 (definition). In 4Z44S003HM/e1, definition 2

History

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

Symmetries 5QS7010E4E

URI	`m2://inv/5QS7010E4E`
Kind	statement
Layer	research
MSC	11-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.28282#DXKM, Symmetries (statement)

History

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

5QSEEBSVDF 5QSEEBSVDF

URI	`m2://inv/5QSEEBSVDF`
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 2210.16706#GMEE (statement). In JSRVKPT87E/e1, lemma

History

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

5QSST6N5DE 5QSST6N5DE

URI	`m2://inv/5QSST6N5DE`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-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 2610.17815#3RM4 (statement). In GJ7N2EWACX/e1, lemma 3.12

History

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

Classical Lie algebras 5QSTQ8XZVA

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

Mentions

wikipedia: Wikipedia Classical Lie algebras, Classical Lie algebras (definition). Also Wikidata Q28852305

History

2026-11-02: add by m2/dev

5QTBPA6SD9 5QTBPA6SD9

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

Mentions

napkin: napkin tex/homology/cup-product.tex#corollary-1 (statement). In RZP28ERRZV, corollary, section 52.1

History

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

Splitting Lemma 5QTBVVNE76

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

Mentions

arxiv: arXiv 2609.26201#VIV7, Splitting Lemma (statement)

History

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

J. Barkley Rosser 5QTCBYH6PM

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

Mentions

wikipedia: Wikipedia J. Barkley Rosser, J. Barkley Rosser (topic). Also Wikidata Q332905

History

2026-11-02: add by m2/dev

extreme value theorem 5QTGA6EQK6

URI	`m2://inv/5QTGA6EQK6`
Kind	statement
Layer	textbook
MSC	26-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Extreme value theorem 0WS1A8E2P9

Mentions

mathlib_1000: mathlib_1000 Q752375, Extreme value theorem (statement). Also Mathlib IsCompact.exists_isMinOn, Wikidata Q752375
mathlib_overview: mathlib_overview Topology > Topological algebra > extreme value theorem, extreme value theorem (unknown). Also Mathlib IsCompact.exists_isMinOn
thousand_plus: thousand_plus Q752375, Extreme value theorem (statement). Also Mathlib IsCompact.exists_isMinOn, Wikidata Q752375, Wikipedia Extreme value theorem
wikidata: Wikidata Q752375, extreme value theorem (statement). Also MathWorld ExtremeValueTheorem, nLab extreme value theorem
wikipedia: Wikipedia Extreme value theorem, Extreme value theorem (statement). Also Wikidata Q752375

History

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

transport, in dependent function types 5QTMCF0PR8

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

Mentions

hott_book: hott_book index/1.9/transport-in-dependent-function-types, transport, in dependent function types (concept). In N54F33XE07, index, section 1.9

History

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

5QTMZTFTBF 5QTMZTFTBF

URI	`m2://inv/5QTMZTFTBF`
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.23526#OSMM (statement)

History

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

Examples 5QTZ0JD697

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

Mentions

wikipedia: Wikipedia Inner model theory#AOH3, Examples (example)

History

2026-11-02: add by m2/dev

5QV25PP2DX 5QV25PP2DX

URI	`m2://inv/5QV25PP2DX`
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#VERD (statement). In 90QTB4CC31/e1, theorem 4.2

History

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

5QV5CPWY9C 5QV5CPWY9C

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

Mentions

arxiv: arXiv 0806.0033#3WGJ (definition). In RV34HVZMB3/e1, definition 4

History

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

5QV9NCAG04 5QV9NCAG04

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

Mentions

arxiv: arXiv 2610.14236#QC8G (definition). In XEQD21EBTT/e1, definition 4.8

History

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

5QVAJ766SD 5QVAJ766SD

URI	`m2://inv/5QVAJ766SD`
Kind	example
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.16554#NKA3 (example). In GWNT8HEZG1/e1, example 2.25

History

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

Formal definition 5QVCDTRRZ0

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

Mentions

wikipedia: Wikipedia Flow-shop scheduling#I5ON, Formal definition (definition)

History

2026-11-02: add by m2/dev

Journal of Computational and Applied Mathematics 5QVETR8FQZ

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#0STB, Journal of Computational and Applied Mathematics (definition)

History

2026-11-02: add by m2/dev

Ternary cubic 5QVJRRT2P9

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

Mentions

wikipedia: Wikipedia Ternary cubic, Ternary cubic (definition). Also Wikidata Q7702933

History

2026-11-02: add by m2/dev

5QVK54GXK2 5QVK54GXK2

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

Mentions

arxiv: arXiv 2104.12015#QQY6 (statement). In ZZ2P08DVQW/e1, lemma 8.4

History

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

C-stationarity 5QVKADYZHN

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

Mentions

arxiv: arXiv 2610.00033#B4G7, C-stationarity (definition). In SHMMW4JXZ1/e1, definition 3

History

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

5QVXDM5380 5QVXDM5380

URI	`m2://inv/5QVXDM5380`
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.13271#Q6CU (statement). In G8ZEBKZY8M/e1, lemma 2.1

History

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

Quarter cubic honeycomb 5QVYWQKHZ3

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

Mentions

wikipedia: Wikipedia Quarter cubic honeycomb, Quarter cubic honeycomb (definition). Also Wikidata Q7269258

History

2026-11-02: add by m2/dev

Calculus of predispositions 5QWDBYKB1H

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

Mentions

wikipedia: Wikipedia List of statistics articles#GZD0, Calculus of predispositions (definition)

History

2026-11-02: add by m2/dev

Weak order unit 5QWE5KYS8N

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

Mentions

wikipedia: Wikipedia Weak order unit, Weak order unit (definition). Also Wikidata Q96414357

History

2026-11-02: add by m2/dev

5QWND2VHFF 5QWND2VHFF

URI	`m2://inv/5QWND2VHFF`
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#GOQF (statement)

History

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

Statement 5QWS72H3Q8

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

Mentions

wikipedia: Wikipedia Erdős–Ko–Rado theorem#CFN3, Statement (statement)

History

2026-11-02: add by m2/dev

5QWT3GD53H 5QWT3GD53H

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

Mentions

open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/entailment.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 54.1

History

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

Existence and construction 5QX1GTDZ8Z

URI	`m2://inv/5QX1GTDZ8Z`
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.24569#ACBU, Existence and construction (statement)

History

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

Dehornoy order 5QX2NA1EX2

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

Mentions

wikipedia: Wikipedia Dehornoy order, Dehornoy order (definition). Also Wikidata Q5252352

History

2026-11-02: add by m2/dev

Corollary 5QX6CJCEAT

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

Mentions

wikipedia: Wikipedia Positive current#8B6Z, Corollary (statement)

History

2026-11-02: add by m2/dev

5QX6TWEJRE 5QX6TWEJRE

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

Mentions

napkin: napkin tex/linalg/dual-trace.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 57.5

History

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

5QX8CGY10P 5QX8CGY10P

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

Mentions

napkin: napkin tex/alg-geom/affine-var.tex#example-3 (example). In RZP28ERRZV, example, section 19.5

History

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

Zhao-Zhang 5QXEG3TC81

URI	`m2://inv/5QXEG3TC81`
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.22393#YDYE, Zhao-Zhang (statement)

History

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

Japanese numerals 5QXHQS5X04

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

Mentions

wikipedia: Wikipedia Japanese numerals, Japanese numerals (definition). Also Wikidata Q1337084

History

2026-11-02: add by m2/dev

uniform coloring 5QXPFTR99A

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

Mentions

wikidata: Wikidata Q7885098, uniform coloring (unknown). Also MathWorld PolyhedronColoring
wikipedia: Wikipedia Uniform coloring, Uniform coloring (definition). Also Wikidata Q7885098

History

2026-10-26: add by m2/dev

Structural estimation 5QXPQ43CSP

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

Mentions

wikipedia: Wikipedia Structural estimation, Structural estimation (definition). Also Wikidata Q7625026

History

2026-11-02: add by m2/dev

Endofunctor 5QXQWRDXJ0

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

Mentions

wikipedia: Wikipedia Functor#NFYG, Endofunctor (definition)

History

2026-11-02: add by m2/dev

Environmental statistics 5QYBMVTCFM

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

Mentions

wikipedia: Wikipedia Environmental statistics, Environmental statistics (definition). Also Wikidata Q5381361

History

2026-11-02: add by m2/dev

5QYE815SC8 5QYE815SC8

URI	`m2://inv/5QYE815SC8`
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 1008.4946#620G (statement). In R4ZM6Q4SHH/e1, theorem 5

History

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

5QYMA85AGX 5QYMA85AGX

URI	`m2://inv/5QYMA85AGX`
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#R73D (statement). In F3BKXXPR3K/e1, proposition 3.6

History

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

Dedekind zeta function 5QYWD2HMKC

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

Mentions

wikipedia: Wikipedia List of zeta functions#4K7Y, Dedekind zeta function (definition)

History

2026-11-02: add by m2/dev

Curved dynamic regret 5QYY0RGZ60

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

Mentions

arxiv: arXiv 2610.20187#Q5C7, Curved dynamic regret (statement). In N280AVNNBY/e1, theorem 4.1

History

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

Paradox 5QZ3KMVB4R

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

Mentions

wikipedia: Wikipedia Kavka's toxin puzzle#E6D9, Paradox (statement)

History

2026-11-02: add by m2/dev

Example 5QZ43J9SNE

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

Mentions

wikipedia: Wikipedia Topkis's theorem#01ZH, Example (example)

History

2026-11-02: add by m2/dev

Present bias 5QZ5AJ72Y8

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

Mentions

wikipedia: Wikipedia List of cognitive biases#YAM2, Present bias (unknown)

History

2026-11-02: add by m2/dev

5QZNQF237R 5QZNQF237R

URI	`m2://inv/5QZNQF237R`
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.33775#907H (statement). In VVQ1FMTHXB/e1, lemma 2.6

History

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

Bayes-optimal infinite depth 5QZSEJ0Z2P

URI	`m2://inv/5QZSEJ0Z2P`
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 2212.14457#6RVX, Bayes-optimal infinite depth (statement). In PNRHHWGHM2/e1, corollary 4.13

History

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

Matemateca 5QZVS84CQ7

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

Mentions

wikipedia: Wikipedia Matemateca, Matemateca (definition). Also Wikidata Q27679730

History

2026-11-02: add by m2/dev