Inventory rows Z2

hemiperfect number Z2053Y34K5

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

Mentions

wikidata: Wikidata Q3281256, hemiperfect number (object). Also OEIS A159907
wikipedia: Wikipedia Hemiperfect number, Hemiperfect number (definition). Also Wikidata Q3281256

History

2026-10-26: add by m2/dev

Fagin's theorem Z205C80P5T

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

Mentions

wikipedia: Wikipedia Descriptive complexity theory#6EM5, Fagin's theorem (statement)

History

2026-11-02: add by m2/dev

Z20H3TGT1H Z20H3TGT1H

URI	`m2://inv/Z20H3TGT1H`
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.20801#PDI2 (statement). In A1GWWGRXPA/e1, theorem 1.5

History

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

Z20Z0TTYVW Z20Z0TTYVW

URI	`m2://inv/Z20Z0TTYVW`
Kind	statement
Layer	research
MSC	19-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.40028#UNO5 (statement). In N8TDKGGC7S/e1, proposition 3.6

History

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

Z2113YDQ31 Z2113YDQ31

URI	`m2://inv/Z2113YDQ31`
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 2212.11038#XWU8 (statement). In M3E3ARMJXK/e1, corollary 4.3

History

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

Properties Z21AQKS0B8

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

Mentions

wikipedia: Wikipedia Dual graph#I97J, Properties (statement)

History

2026-11-02: add by m2/dev

Jump discontinuities Z21EJY96ER

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

Mentions

wikipedia: Wikipedia Classification of discontinuities#OWCZ, Jump discontinuities (unknown)

History

2026-11-02: add by m2/dev

Key management Z21F234JWM

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

Mentions

wikipedia: Wikipedia Key management, Key management (definition). Also Wikidata Q1320561

History

2026-11-02: add by m2/dev

Example Z21G006TG6

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

Mentions

wikipedia: Wikipedia Haar measure#TV8J, Example (example)

History

2026-11-02: add by m2/dev

Statistical survey Z21K99FQ8A

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

Mentions

wikipedia: Wikipedia List of statistics articles#K1AV, Statistical survey (topic)

History

2026-11-02: add by m2/dev

Z21QD1MBV0 Z21QD1MBV0

URI	`m2://inv/Z21QD1MBV0`
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#OGZD (statement). In DC01XRB5YE/e1, lemma 17

History

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

Z21QKDBXNM Z21QKDBXNM

URI	`m2://inv/Z21QKDBXNM`
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 2609.31274#HGAR (definition). In RK0ZMDJ23T/e1, definition 1.1.1

History

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

Alexandre Vinogradov Z21RMCKTJA

URI	`m2://inv/Z21RMCKTJA`
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 Q83589816, Alexandre Vinogradov (unknown). Also nLab Alexandre Vinogradov
wikipedia: Wikipedia Alexandre Mikhailovich Vinogradov, Alexandre Mikhailovich Vinogradov (topic). Also Wikidata Q83589816

History

2026-10-26: add by m2/dev

Z223XY6NAA Z223XY6NAA

URI	`m2://inv/Z223XY6NAA`
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.15511#5RYF (statement). In TZM08VJAQT/e1, corollary 4.7

History

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

16-cell honeycomb honeycomb Z22H5GF925

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#XJQ5, 16-cell honeycomb honeycomb (definition)

History

2026-11-02: add by m2/dev

Units and line bundles on infinitesimal neighborhoods Z22K3HZYDT

URI	`m2://inv/Z22K3HZYDT`
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.21093#3CVH, Units and line bundles on infinitesimal neighborhoods (statement). In TBFPBPQV3G/e1, lemma 5.2

History

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

Z22MWV40ZC Z22MWV40ZC

URI	`m2://inv/Z22MWV40ZC`
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.18205#OADS (statement). In Y37VAPDKE4/e1, lemma 7

History

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

Z22WSQ5RFN Z22WSQ5RFN

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

Mentions

arxiv: arXiv 2609.28552#BF6W (definition)

History

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

Z23B9KFTKA Z23B9KFTKA

URI	`m2://inv/Z23B9KFTKA`
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.02628#JR6A (statement). In G4S9C5M1A4/e1, corollary 6.6

History

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

Helmut Hofer Z23TWZHAQB

URI	`m2://inv/Z23TWZHAQB`
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#18TM, Helmut Hofer (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6FVH, Helmut Hofer (topic)

History

2026-11-02: add by m2/dev

University Statisticians of the Southern Experiment Stations Z23WF4GK4Z

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

Mentions

wikipedia: Wikipedia University Statisticians of the Southern Experiment Stations, University Statisticians of the Southern Experiment Stations (definition). Also Wikidata Q7894944

History

2026-11-02: add by m2/dev

Z23ZXSNXB8 Z23ZXSNXB8

URI	`m2://inv/Z23ZXSNXB8`
Kind	statement
Layer	research
MSC	11-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.02111#TKDG (statement). In NC5ZRF6F8N/e1, corollary 3.7

History

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

Wolfgang Krieger Z246SBV1FX

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

Mentions

wikipedia: Wikipedia Wolfgang Krieger, Wolfgang Krieger (topic). Also Wikidata Q44374756

History

2026-11-02: add by m2/dev

Z24DMJHV2D Z24DMJHV2D

URI	`m2://inv/Z24DMJHV2D`
Kind	statement
Layer	research
MSC	65-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.24232#IC5Y (statement)

History

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

Z24N829KBN Z24N829KBN

URI	`m2://inv/Z24N829KBN`
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.09882#1PHN (statement). In 7XV6T4N79V/e1, lemma D.4

History

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

Complex Gaussian inverse determinants Z24TDQ04NX

URI	`m2://inv/Z24TDQ04NX`
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.05498#063Q, Complex Gaussian inverse determinants (statement). In TJT32RQ9GC/e1, lemma 7.5

History

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

Cancellation for linear products Z25236N9VW

URI	`m2://inv/Z25236N9VW`
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#F2JP, Cancellation for linear products (statement). In E7W2HDNEKJ/e1, lemma 2.16

History

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

Z254DZW65F Z254DZW65F

URI	`m2://inv/Z254DZW65F`
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.12053#AJMU (statement). In MQ226ETRP6/e1, corollary 1.9

History

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

Z25D942J5J Z25D942J5J

URI	`m2://inv/Z25D942J5J`
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.25016#NVU7 (statement)

History

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

Z25EX10B3T Z25EX10B3T

URI	`m2://inv/Z25EX10B3T`
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 2212.00617#JURS (statement). In K7505G10SS/e1, theorem 2.5

History

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

Sharpness at the critical order Z25GHX3BMB

URI	`m2://inv/Z25GHX3BMB`
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.23922#6454, Sharpness at the critical order (statement)

History

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

RC6 Z25NZHD482

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

Mentions

wikipedia: Wikipedia RC6, RC6 (definition). Also Wikidata Q1356939

History

2026-11-02: add by m2/dev

Discrete flux inverse estimate Z25SW4Y3W6

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

Mentions

arxiv: arXiv 2609.31555#91M8, Discrete flux inverse estimate (statement). In 2GC6K487FE/e1, lemma

History

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

Definitions Z25VHYDFP3

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

Mentions

wikipedia: Wikipedia Book embedding#MT33, Definitions (definition)

History

2026-11-02: add by m2/dev

Kolmogorov–Arnold representation theorem Z25WMVV0ZZ

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

Mentions

wikipedia: Wikipedia List of theorems#OC5Q, Kolmogorov–Arnold representation theorem (statement)

History

2026-11-02: add by m2/dev

Z25ZCXMPCA Z25ZCXMPCA

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#prop-1 (statement). In E59CDZA4DP, prop, section 7.1

History

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

Z25ZD9B877 Z25ZD9B877

URI	`m2://inv/Z25ZD9B877`
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.30817#0H5A (statement). In DP5KJ7AATM/e1, theorem 3.2

History

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

Wendy L. Martinez Z26153Q2BY

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#WB1A, Wendy L. Martinez (topic)

History

2026-11-02: add by m2/dev

Z26893558Q Z26893558Q

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

Mentions

arxiv: arXiv 1712.02437#DTS3 (proof). In GZDFK652T9/e1, proof

History

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

Bounds on $\Xi^{\ssc[0]}$ and $\Psi^{\ssc[0],\kappa}$ Z26DJT5VJX

URI	`m2://inv/Z26DJT5VJX`
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 1905.02785#KETQ, Bounds on $\Xi^{\ssc[0]}$ and $\Psi^{\ssc[0],\kappa}$ (statement). In PF9KV74Q02/e1, lemma 5.1

History

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

Sketch of proof Z26P5G42C1

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

Mentions

hott_book: hott_book induction.tex#proof-3, Sketch of proof (proof). In N54F33XE07, proof, section 8.4

History

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

finite type (locally) Z26SBP1QT0

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#09CB, finite type (locally) (definition)

History

2026-11-02: add by m2/dev

Orrin Frink Z26T1HMKRS

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

Mentions

wikipedia: Wikipedia Orrin Frink, Orrin Frink (topic). Also Wikidata Q7104083

History

2026-11-02: add by m2/dev

Gauss–Lucas theorem Z26V1TE3HT

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

Mentions

wikipedia: Wikipedia Geometrical properties of polynomial roots#LZCO, Gauss–Lucas theorem (statement)

History

2026-11-02: add by m2/dev

Properties Z27633XQN5

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

Mentions

wikipedia: Wikipedia Beta distribution#1L8Y, Properties (statement)

History

2026-11-02: add by m2/dev

Z27AT1S65E Z27AT1S65E

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

Mentions

arxiv: arXiv 2404.14312#9IY9 (statement). In SEPBZN2DRH/e1, theorem 5

History

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

Products of partial traces Z27P63MCFS

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

Mentions

arxiv: arXiv 2609.24078#OF90, Products of partial traces (example)

History

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

Village of Four Seasons, Missouri Z27ZCRHDGH

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

Mentions

wikipedia: Wikipedia List of places with numeric names#E25J, Village of Four Seasons, Missouri (unknown)

History

2026-11-02: add by m2/dev

Bhattacharyya angle Z28414CTFN

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

Mentions

wikipedia: Wikipedia Bhattacharyya angle, Bhattacharyya angle (definition). Also Wikidata Q20083923

History

2026-11-02: add by m2/dev

Pentacontagon Z28AT1VC1A

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#T4BZ, Pentacontagon (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#882Y, Pentacontagon (definition)

History

2026-11-02: add by m2/dev

Z28BBE3EJ7 Z28BBE3EJ7

URI	`m2://inv/Z28BBE3EJ7`
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 2211.13105#XU9F (statement). In 5ACPY6CEDV/e1, lemma 4.1

History

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

Statement Z28D9JHYQE

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

Mentions

wikipedia: Wikipedia Pseudoisotopy theorem#CQB7, Statement (statement)

History

2026-11-02: add by m2/dev

Z28F4RDRK7 Z28F4RDRK7

URI	`m2://inv/Z28F4RDRK7`
Kind	statement
Layer	research
MSC	19-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.14278#V5H8 (statement). In RTE2C0PH4S/e1, theorem 2.3

History

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

Maximilian Janisch Z28G00X8V5

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

Mentions

wikipedia: Wikipedia Maximilian Janisch, Maximilian Janisch (topic). Also Wikidata Q27922043

History

2026-11-02: add by m2/dev

Z290Z2HJA3 Z290Z2HJA3

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

Mentions

arxiv: arXiv 2212.02556#YRR6 (statement). In 78QQZYTGTD/e1, theorem 1.1

History

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

Journal of Computational and Graphical Statistics Z292GSCSZ1

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

Mentions

wikipedia: Wikipedia List of statistics journals#OPO9, Journal of Computational and Graphical Statistics (definition)

History

2026-11-02: add by m2/dev

Z29NHHCT58 Z29NHHCT58

URI	`m2://inv/Z29NHHCT58`
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 2404.05965#RK1M (statement). In GD1GED3FZ3/e1, corollary 2.2

History

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

divergent series Z29VW8P46M

URI	`m2://inv/Z29VW8P46M`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Divergent series 0JWMJSTBSG

Mentions

wikidata: Wikidata Q906520, divergent series (unknown). Also MathWorld DivergentSeries
wikipedia: Wikipedia Divergent series, Divergent series (definition). Also Wikidata Q906520

History

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

Z2A2X04K2F Z2A2X04K2F

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-15 (exercise). In QKM9DD2H56, exercise, section 5

History

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

Super linear algebra Z2A586FBWE

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#BY3J, Super linear algebra (definition)

History

2026-11-02: add by m2/dev

Algorithms for lossless data compression Z2A7HFD1HM

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

Mentions

wikipedia: Wikipedia Data compression#ENZ9, Algorithms for lossless data compression (unknown)

History

2026-11-02: add by m2/dev

Binomial transform Z2A8YJ2G5P

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

Mentions

wikipedia: Wikipedia List of transforms#CI7G, Binomial transform (definition)
wikipedia: Wikipedia List of factorial and binomial topics#W4Q1, Binomial transform (definition)

History

2026-11-02: add by m2/dev

Z2AAJGMKSX Z2AAJGMKSX

URI	`m2://inv/Z2AAJGMKSX`
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.02798#2WHB (statement). In 446QW3DHTN/e1, proposition 4.7

History

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

Z2AG08FM6N Z2AG08FM6N

URI	`m2://inv/Z2AG08FM6N`
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.25367#A06O (statement)

History

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

Z2ANBKZ9F7 Z2ANBKZ9F7

URI	`m2://inv/Z2ANBKZ9F7`
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.06108#0GW8 (statement). In D3WKY1PW64/e1, lemma 3.19

History

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

Trombi–Varadarajan theorem Z2AQYDS4VW

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

Mentions

wikipedia: Wikipedia List of theorems#9NEQ, Trombi–Varadarajan theorem (statement)

History

2026-11-02: add by m2/dev

Z2ATWFY713 Z2ATWFY713

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/more-proofs-in-K.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 50.6

History

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

Alfred North Whitehead Z2AVC91VSZ

URI	`m2://inv/Z2AVC91VSZ`
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#KDWD, Alfred North Whitehead (topic)

History

2026-11-02: add by m2/dev

Marian Pour-El Z2AVHKHM03

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

Mentions

wikipedia: Wikipedia Marian Pour-El, Marian Pour-El (topic). Also Wikidata Q60845458

History

2026-11-02: add by m2/dev

René Schoof Z2B2V5AJ4X

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

Mentions

wikipedia: Wikipedia René Schoof, René Schoof (topic). Also Wikidata Q859896

History

2026-11-02: add by m2/dev

Anders Kock Z2B7J37XHC

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

Mentions

wikidata: Wikidata Q102150713, Anders Kock (unknown). Also nLab Anders Kock

History

2026-10-26: add by m2/dev

Jeffrey Shallit Z2BBNBBFY6

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#0C56, Jeffrey Shallit (unknown)

History

2026-11-02: add by m2/dev

Gaussian grid Z2BEY99PBQ

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

Mentions

wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#3ZX6, Gaussian grid (unknown)

History

2026-11-02: add by m2/dev

Toy model III Z2BSBHG8QH

URI	`m2://inv/Z2BSBHG8QH`
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#09X7, Toy model III (definition). In XFBW60M3AR/e1, definition 3.9

History

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

multiplicity Z2BW9ZGVF2

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#KXK4, multiplicity (definition)

History

2026-11-02: add by m2/dev

Laplace lower bound Z2BX4HBHRV

URI	`m2://inv/Z2BX4HBHRV`
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.02531#FYW4, Laplace lower bound (statement). In 44EQ0MZE8G/e1, proposition 8.9

History

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

G. C. Shephard Z2CD1A4M2E

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#WY3H, G. C. Shephard (topic)

History

2026-11-02: add by m2/dev

Weighted recurrence Z2CE8C6N9A

URI	`m2://inv/Z2CE8C6N9A`
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.26152#SMLQ, Weighted recurrence (statement)

History

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

Z2CEJY36XF Z2CEJY36XF

URI	`m2://inv/Z2CEJY36XF`
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.30544#D32F (statement). In CB35ZBBBPT/e1, corollary 3.7

History

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

Z2CF0MFE3J Z2CF0MFE3J

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/counting-starsbars.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 2.5

History

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

Generalized composite Z2CGTWS22D

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

Mentions

wikipedia: Wikipedia Function composition#0ROJ, Generalized composite (unknown)

History

2026-11-02: add by m2/dev

Z2CHFJTBBG Z2CHFJTBBG

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

Mentions

arxiv: arXiv 2610.22082#7X1P (statement). In 7PACGDW3N7/e1, lemma 18.1

History

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

Vaupel, James Z2CMRF953P

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

Mentions

wikipedia: Wikipedia List of statisticians#8GER, Vaupel, James (unknown)

History

2026-11-02: add by m2/dev

Z2CZ11WQ85 Z2CZ11WQ85

URI	`m2://inv/Z2CZ11WQ85`
Kind	example
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 1002.0879#7MMS (example). In M0SQY5EZN5/e1, example 4.3.7

History

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

Z2D0NNCJT6 Z2D0NNCJT6

URI	`m2://inv/Z2D0NNCJT6`
Kind	statement
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#IX1V (statement). In Y7TVAQE9PF/e1, proposition 3.7

History

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

Harry Lehmann Z2D1NTCG0Q

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

Mentions

wikidata: Wikidata Q71575, Harry Lehmann (unknown). Also nLab Harry Lehmann

History

2026-10-26: add by m2/dev

Distance between sets Z2D31JP43Q

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

Mentions

wikipedia: Wikipedia Distance#5AI3, Distance between sets (unknown)

History

2026-11-02: add by m2/dev

Quantile form Z2D8RRG0KC

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

Mentions

arxiv: arXiv 2609.33866#6J5X, Quantile form (statement). In Y3MSGX6472/e1, proposition 9

History

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

Definition Z2DAKZQGHK

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

Mentions

wikipedia: Wikipedia Primitive root modulo n#HARL, Definition (definition)

History

2026-11-02: add by m2/dev

Z2DAWVJ0MS Z2DAWVJ0MS

URI	`m2://inv/Z2DAWVJ0MS`
Kind	problem
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.00271#D4I7 (problem). In T1NSCAZS28/e1, problem 8.1

History

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

Paraboloid Z2DAXYBS91

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#70R7, Paraboloid (definition)
wikipedia: Wikipedia List of complex and algebraic surfaces#JYIN, Paraboloid (definition)
wikipedia: Wikipedia List of surfaces#WMB7, Paraboloid (definition)

History

2026-11-02: add by m2/dev

Z2DB5W087Y Z2DB5W087Y

URI	`m2://inv/Z2DB5W087Y`
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 2309.16041#SPGL (statement). In 2GD6NWJVRM/e1, lemma 4.9

History

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

gömböc Z2DC3FKY7H

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

Mentions

wikidata: Wikidata Q1031518, gömböc (unknown). Also MathWorld Gomboc
wikipedia: Wikipedia Gömböc, Gömböc (definition). Also Wikidata Q1031518

History

2026-10-26: add by m2/dev

Z2DGFFRHZ7 Z2DGFFRHZ7

URI	`m2://inv/Z2DGFFRHZ7`
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 2103.11107#MRSZ (statement). In CC0NDYRS8N/e1, theorem 4.6

History

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

Z2DNMV18Z3 Z2DNMV18Z3

URI	`m2://inv/Z2DNMV18Z3`
Kind	statement
Layer	research
MSC	14-XX, 20-XX, 22-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.01694#ZXA9 (statement). In EBMHYN0XK9/e1, lemma 4.9

History

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

Z2E2D01HP7 Z2E2D01HP7

URI	`m2://inv/Z2E2D01HP7`
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.30961#LYOF (statement). In FFG2DDWEVB/e1, corollary 4.10

History

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

Hostile attribution bias Z2E2KWQEY4

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

Mentions

wikipedia: Wikipedia List of cognitive biases#L5FF, Hostile attribution bias (unknown)

History

2026-11-02: add by m2/dev

Boundary lemma Z2E569RC7Y

URI	`m2://inv/Z2E569RC7Y`
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 2609.39218#7TKC, Boundary lemma (statement). In VPZSCE8HFP/e1, lemma 3.3

History

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

Z2ECKV51YD Z2ECKV51YD

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

Mentions

arxiv: arXiv 2609.28011#8A1W (definition)

History

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

Z2ETQ67N3B Z2ETQ67N3B

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

Mentions

arxiv: arXiv 2405.02275#06SL (example). In 1QXCNGRWV1/e1, example 2.8

History

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

Z2EXGZJQNZ Z2EXGZJQNZ

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

Mentions

austin_ula: austin_ula src/exercises/exercises4-3.xml#exercise-complex-eigenvector (exercise). In 649HGZKE96, exercise, section 4.3

History

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

Z2F0AV1B3Z Z2F0AV1B3Z

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

Mentions

arxiv: arXiv 2610.13100#FEG3 (statement). In CC6S1HVK0T/e1, proposition 9.6

History

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

Z2FDF3AFP3 Z2FDF3AFP3

URI	`m2://inv/Z2FDF3AFP3`
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.39293#KO61 (statement). In S26QVW5613/e1, proposition 3.6.1

History

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

Generalizations Z2FMFQGXQB

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

Mentions

wikipedia: Wikipedia Characteristic function (probability theory)#JOK4, Generalizations (statement)

History

2026-11-02: add by m2/dev

Michael Barr Z2FTRBFSJF

URI	`m2://inv/Z2FTRBFSJF`
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 Q11109023, Michael Barr (unknown). Also nLab Michael Barr
wikipedia: Wikipedia Michael Barr (mathematician), Michael Barr (topic). Also Wikidata Q11109023

History

2026-10-26: add by m2/dev

Z2FW4SH49B Z2FW4SH49B

URI	`m2://inv/Z2FW4SH49B`
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.06381#HF7W (statement). In X9JKBDHACW/e1, theorem 9.3

History

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

Multilevel modeling for repeated measures Z2FZQYE5FP

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

Mentions

wikipedia: Wikipedia Multilevel modeling for repeated measures, Multilevel modeling for repeated measures (definition). Also Wikidata Q6934736

History

2026-11-02: add by m2/dev

Z2G27N75MX Z2G27N75MX

URI	`m2://inv/Z2G27N75MX`
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 2609.26738#OKV9 (statement)

History

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

Algebraic properties Z2G44934D5

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

Mentions

wikipedia: Wikipedia Hoffman–Singleton graph#024E, Algebraic properties (statement)

History

2026-11-02: add by m2/dev

Z2G9ZF46W0 Z2G9ZF46W0

URI	`m2://inv/Z2G9ZF46W0`
Kind	definition
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.09171#ZUCZ (definition). In 5ZPSZFE08Q/e1, definition 5.10

History

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

Z2GE732CSW Z2GE732CSW

URI	`m2://inv/Z2GE732CSW`
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 2610.10329#FS6H (statement). In SCSTR1Q1BW/e1, theorem 7.3

History

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

A parameter-count check Z2GEAP6FM2

URI	`m2://inv/Z2GEAP6FM2`
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 2609.25987#7M8C, A parameter-count check (example)

History

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

Z2GG1Z6ES0 Z2GG1Z6ES0

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

Mentions

arxiv: arXiv 2609.20215#8W3T (definition)

History

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

Absolute continuity removes output ambiguity Z2GJEMR5Z7

URI	`m2://inv/Z2GJEMR5Z7`
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.33472#DVJ0, Absolute continuity removes output ambiguity (statement). In WBQQBZ4FCJ/e1, theorem 7.3

History

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

Z2GRMKN6W0 Z2GRMKN6W0

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

Mentions

napkin: napkin tex/set-theory/forcing.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 90.4

History

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

Z2H3KQ0Y6H Z2H3KQ0Y6H

URI	`m2://inv/Z2H3KQ0Y6H`
Kind	problem
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 2504.14383#9SYS (problem). In QD0X3XJS6T/e1, problem 1.11

History

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

logical validity Z2H53EJ01W

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

Mentions

wikipedia: Wikipedia Glossary of logic#TUD0, logical validity (definition)

History

2026-11-02: add by m2/dev

Z2H9HFEN64 Z2H9HFEN64

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

Mentions

arxiv: arXiv 2610.01433#TDT8 (definition). In 160PQ7F1AS/e1, definition 3.7

History

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

Z2HB3K2CFA Z2HB3K2CFA

URI	`m2://inv/Z2HB3K2CFA`
Kind	example
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.08135#S5E2 (example). In D4PE6R0BT3/e1, example 1.3

History

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

Locally decodable code Z2HJDCZWG8

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

Mentions

wikipedia: Wikipedia Locally decodable code, Locally decodable code (definition). Also Wikidata Q6664678

History

2026-11-02: add by m2/dev

Edge-lift gate Z2HVSKMGMS

URI	`m2://inv/Z2HVSKMGMS`
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.24235#D63O, Edge-lift gate (definition)

History

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

Z2HYVXW4FF Z2HYVXW4FF

URI	`m2://inv/Z2HYVXW4FF`
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.23597#2E9T (statement)

History

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

Z2HZ05CTNV Z2HZ05CTNV

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#exercise:peanoexistence (exercise). In E59CDZA4DP, exercise, section 1.6.1

History

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

Z2J3EQS3YH Z2J3EQS3YH

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

Mentions

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

History

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

nonstandard analysis Z2J6749HAB

URI	`m2://inv/Z2J6749HAB`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Nonstandard analysis WM62GKCBWN

Mentions

wikidata: Wikidata Q1503766, nonstandard analysis (topic). Also EoM Non-standard_analysis, MathWorld NonstandardAnalysis, ProofWiki Definition:Non-Standard_Analysis
wikipedia: Wikipedia Nonstandard analysis, Nonstandard analysis (definition). Also Wikidata Q1503766

History

2026-10-26: add by m2/dev

Definition Z2J9SKW6M3

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

Mentions

wikipedia: Wikipedia Global dominating set#6SQE, Definition (definition)

History

2026-11-02: add by m2/dev

Stone--von Neumann theorem with multiplicity Z2JFA8K6VB

URI	`m2://inv/Z2JFA8K6VB`
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#CZ9K, Stone--von Neumann theorem with multiplicity (statement). In MM8P5CJR18/e1, theorem 3.10

History

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

Z2JGVF7ZB1 Z2JGVF7ZB1

URI	`m2://inv/Z2JGVF7ZB1`
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.32977#IF9F (statement). In 4KT9TK3MG4/e1, lemma F.1

History

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

root Z2JM04QJ7K

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

Mentions

levin_dmoi: levin_dmoi index/5.2.2/root, root (concept). In Y91XFCEVHQ, index, section 5.2.2

History

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

Marin--Michel Z2JMCE1S7Q

URI	`m2://inv/Z2JMCE1S7Q`
Kind	statement
Layer	research
MSC	05-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.07280#RR8L, Marin--Michel (statement). In 1FJKW4WGEN/e1, theorem 2.5

History

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

HP 38G Z2JP3N2PFH

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

Mentions

wikipedia: Wikipedia HP 38G, HP 38G (definition). Also Wikidata Q5635556

History

2026-11-02: add by m2/dev

Z2JQRBPTAC Z2JQRBPTAC

URI	`m2://inv/Z2JQRBPTAC`
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.10567#YDP4 (statement). In Q7TTRJ20KD/e1, theorem 1.1

History

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

dagger Z2JWYF3VWR

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

Mentions

wikipedia: Wikipedia Glossary of logic#3YLU, dagger (definition)

History

2026-11-02: add by m2/dev

Z2K1AE37G7 Z2K1AE37G7

URI	`m2://inv/Z2K1AE37G7`
Kind	statement
Layer	research
MSC	05-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.12576#30OI (statement). In BVAWVRS3R9/e1, lemma 2.10

History

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

Z2K3VB3DX5 Z2K3VB3DX5

URI	`m2://inv/Z2K3VB3DX5`
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.36045#8J6U (statement). In F0E8YBV0Z0/e1, proposition 8.1

History

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

Z2K46CVNQ1 Z2K46CVNQ1

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

Mentions

arxiv: arXiv 2609.32478#4D8Y (statement). In 5QBSYDC2XH/e1, theorem 2.1

History

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

Z2KC0KYH7X Z2KC0KYH7X

URI	`m2://inv/Z2KC0KYH7X`
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.12716#59AC (statement). In M6BCSQSM3R/e1, lemma 4

History

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

Z2KDJ7K8GF Z2KDJ7K8GF

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/systems-distinct.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 50.13

History

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

Borel–Kolmogorov paradox Z2KK5GM32V

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

Mentions

wikipedia: Wikipedia Borel–Kolmogorov paradox, Borel–Kolmogorov paradox (statement). Also Wikidata Q3363312

History

2026-11-02: add by m2/dev

Z2KPCG8RFM Z2KPCG8RFM

URI	`m2://inv/Z2KPCG8RFM`
Kind	definition
Layer	research
MSC	30-XX, 32-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.37606#6HWT (definition). In WNFW6GY38C/e1, definition 11.1

History

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

Irène Gijbels Z2KRABVPGK

URI	`m2://inv/Z2KRABVPGK`
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#6DI7, Irène Gijbels (unknown)

History

2026-11-02: add by m2/dev

Strong key Z2KXNVKK3N

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

Mentions

wikipedia: Wikipedia Strong key, Strong key (definition). Also Wikidata Q7624571

History

2026-11-02: add by m2/dev

10-simplex Z2KXWGM1RQ

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#FVU2, 10-simplex (object)

History

2026-11-02: add by m2/dev

First physical weights Z2KYCZ4A73

URI	`m2://inv/Z2KYCZ4A73`
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.20492#H2C1, First physical weights (statement)

History

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

Pieranna Garavaso Z2M4DQQ0VV

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

Mentions

wikipedia: Wikipedia Pieranna Garavaso, Pieranna Garavaso (topic). Also Wikidata Q7191755

History

2026-11-02: add by m2/dev

Z2M4M71XBD Z2M4M71XBD

URI	`m2://inv/Z2M4M71XBD`
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.01737#XQ1T (statement). In M4JGP708F4/e1, lemma 2.10

History

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

Security level Z2MC98DR0Y

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

Mentions

wikipedia: Wikipedia Security level, Security level (definition). Also Wikidata Q11826103

History

2026-11-02: add by m2/dev

Z2MCENXA2G Z2MCENXA2G

URI	`m2://inv/Z2MCENXA2G`
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 2112.05010#XPZD (statement). In 4SZNPS3Z00/e1, lemma 2

History

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

Strict order Z2MCH7SSA0

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

Mentions

wikipedia: Wikipedia Partially ordered set#P7JE, Strict order (unknown)

History

2026-11-02: add by m2/dev

Z2MF1PE59W Z2MF1PE59W

URI	`m2://inv/Z2MF1PE59W`
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.27078#WS89 (definition)

History

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

Z2MK9WFST9 Z2MK9WFST9

URI	`m2://inv/Z2MK9WFST9`
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.30760#I7GX (statement). In MMVNRRE7N0/e1, corollary 5.2

History

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

Mapping telescope Z2MRF7PVKA

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

Mentions

wikipedia: Wikipedia Mapping cylinder#AOEW, Mapping telescope (unknown)

History

2026-11-02: add by m2/dev

Z2MYD56B3W Z2MYD56B3W

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

Mentions

arxiv: arXiv 2609.27114#N4J6 (definition)

History

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

Z2N0C0A1G6 Z2N0C0A1G6

URI	`m2://inv/Z2N0C0A1G6`
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.40207#7XGZ (statement). In JXTG8KP95P/e1, corollary 4.4

History

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

Statement Z2N2HCHRZ9

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

Mentions

wikipedia: Wikipedia Itô–Nisio theorem#INTV, Statement (statement)

History

2026-11-02: add by m2/dev

Z2N3SAKWFK Z2N3SAKWFK

URI	`m2://inv/Z2N3SAKWFK`
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.09084#3Z3T (statement). In F5VT2K2QYX/e1, lemma 16

History

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

Z2N455B4WE Z2N455B4WE

URI	`m2://inv/Z2N455B4WE`
Kind	example
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 2610.21181#YJP3 (example). In 3D0GJXDY11/e1, example 4.4

History

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

Example Z2N79VZM9V

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

Mentions

wikipedia: Wikipedia Bairstow's method#TXX8, Example (example)

History

2026-11-02: add by m2/dev

Definition Z2N7RSP7K8

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

Mentions

wikipedia: Wikipedia Maass–Shimura operator#GLR7, Definition (definition)

History

2026-11-02: add by m2/dev

formula Z2N7VYD9BZ

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

Mentions

wikidata: Wikidata Q976981, formula (unknown). Also MathWorld Formula
wikipedia: Wikipedia Formula, Formula (statement). Also Wikidata Q976981

History

2026-10-26: add by m2/dev

Riemannian geometry Z2NANMXA14

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

Mentions

wikipedia: Wikipedia List of things named after Bernhard Riemann#DFAV, Riemannian geometry (topic)

History

2026-11-02: add by m2/dev

Monsky's theorem Z2NC3S19Y1

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

Mentions

wikipedia: Wikipedia List of theorems#2869, Monsky's theorem (statement)

History

2026-11-02: add by m2/dev

Z2NFG2XQAW Z2NFG2XQAW

URI	`m2://inv/Z2NFG2XQAW`
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.01599#I6TF (statement). In K2KYNCWER3/e1, lemma 12

History

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

A wealth floor supplies Bernstein moments Z2NJ9ZGESF

URI	`m2://inv/Z2NJ9ZGESF`
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 2609.27766#CLJA, A wealth floor supplies Bernstein moments (statement)

History

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

Application Z2NVZVAH6E

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

Mentions

wikipedia: Wikipedia Minimum-cost flow problem#82PV, Application (example)

History

2026-11-02: add by m2/dev

Z2NX1WZ9Q2 Z2NX1WZ9Q2

URI	`m2://inv/Z2NX1WZ9Q2`
Kind	statement
Layer	research
MSC	05-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.04498#E88L (statement). In HHF08X70P6/e1, lemma 6.1

History

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

Z2NYT8E1T7 Z2NYT8E1T7

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

Mentions

open_logic: open_logic content/sets-functions-relations/infinite/card-sb.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 79.5

History

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

Constrained energetic solution Z2P46699RG

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

Mentions

arxiv: arXiv 2609.37584#QX1Y, Constrained energetic solution (definition). In 66F6N3BJWV/e1, definition 2.4

History

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

inner product space Z2P723Z1AG

URI	`m2://inv/Z2P723Z1AG`
Kind	definition
Layer	textbook
Sources	4
Outcome	node (a node has the same name as the row)
Node	Inner product space 01EK923SKP

Mentions

mathlib_overview: mathlib_overview Analysis > Hilbert spaces > Inner product space, over $R$ or $C$, Inner product space, over $R$ or $C$ (unknown). Also Mathlib InnerProductSpace
mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Euclidean and Hermitian spaces > Euclidean vector spaces, Euclidean vector spaces (unknown). Also Mathlib InnerProductSpace
mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Euclidean and Hermitian spaces > Hermitian vector spaces, Hermitian vector spaces (unknown). Also Mathlib InnerProductSpace
wikidata: Wikidata Q214159, inner product space (unknown). Also Mathlib InnerProductSpace, MathWorld InnerProductSpace, nLab inner product space
wikipedia: Wikipedia Inner product space, Inner product space (definition). Also Wikidata Q214159

History

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

Ideals in \(\mathbb{Z}\ Z2P8F29JMX

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

Mentions

arxiv: arXiv 2610.17137#K4H9, Ideals in \(\mathbb{Z}\ (example). In GKHSE92M91/e1, example 18

History

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

Kummer–Vandiver conjecture Z2P9FQHRJM

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#OXJ0, Kummer–Vandiver conjecture (conjecture)

History

2026-11-02: add by m2/dev

Fractional derivative Z2P9JN2E6H

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

Mentions

wikipedia: Wikipedia Fractional calculus#HVQC, Fractional derivative (unknown)

History

2026-11-02: add by m2/dev

Formal definition Z2PQ38PDMA

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

Mentions

wikipedia: Wikipedia Mutual coherence (linear algebra)#UJRN, Formal definition (definition)

History

2026-11-02: add by m2/dev

Definition Z2PXGQHCVQ

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

Mentions

wikipedia: Wikipedia Simple extension#6E62, Definition (definition)

History

2026-11-02: add by m2/dev

Z2PY2HW2RK Z2PY2HW2RK

URI	`m2://inv/Z2PY2HW2RK`
Kind	statement
Layer	research
MSC	20-XX, 37-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.19787#RHB0 (statement). In A4VP56CT7B/e1, corollary 8.2

History

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

Z2Q316S8VK Z2Q316S8VK

URI	`m2://inv/Z2Q316S8VK`
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 2312.06473#T5EC (definition). In P1MYSYHSGX/e1, definition 2.9

History

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

Z2Q7W0RX02 Z2Q7W0RX02

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

Mentions

arxiv: arXiv 2609.31276#KTRA (statement). In WYDHWYFRFK/e1, lemma 2.5

History

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

Statement Z2Q9QQWRCR

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

Mentions

wikipedia: Wikipedia Chaplygin's Theorem and Method for Solving ODE#T7MO, Statement (statement)

History

2026-11-02: add by m2/dev

Z2QA2N6DKD Z2QA2N6DKD

URI	`m2://inv/Z2QA2N6DKD`
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 2207.05628#7Y23 (statement). In 9JPKTEWW4W/e1, corollary 3.12

History

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

the category of rings Z2QGJJGVCN

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

Mentions

mathlib_overview: mathlib_overview General algebra > Rings > the category of rings, the category of rings (unknown). Also Mathlib RingCat

History

2026-10-26: add by m2/dev

Torsion Z2QHT8GH0G

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

Mentions

wikipedia: Wikipedia Torsion (mechanics), Torsion (definition). Also Wikidata Q826575

History

2026-11-02: add by m2/dev

Trivial gauge transformation Z2QM2214JB

URI	`m2://inv/Z2QM2214JB`
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 2609.27966#SHT0, Trivial gauge transformation (definition)

History

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

Robert Schatten Z2QNXX034R

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

Mentions

wikipedia: Wikipedia Robert Schatten, Robert Schatten (topic). Also Wikidata Q1247528

History

2026-11-02: add by m2/dev

Z2R1CSPV5A Z2R1CSPV5A

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

Mentions

arxiv: arXiv 2610.01653#YWU6 (statement). In WZMHJCQPB2/e1, theorem 4.6

History

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

Z2R5N80J5T Z2R5N80J5T

URI	`m2://inv/Z2R5N80J5T`
Kind	statement
Layer	research
MSC	51-XX, 52-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.25468#G2KS (statement)

History

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

Z2RAVZ7PJ5 Z2RAVZ7PJ5

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

Mentions

arxiv: arXiv 2504.01057#55LW (definition). In 69QFBXJENW/e1, definition 2.17

History

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

Z2RCSDRB8P Z2RCSDRB8P

URI	`m2://inv/Z2RCSDRB8P`
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.27800#D0T3 (statement)

History

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

Z2RXC65BRD Z2RXC65BRD

URI	`m2://inv/Z2RXC65BRD`
Kind	definition
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#4R8K (definition). In Z9HC1EDTQP/e1, definition 4.3

History

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

Supercharge Z2SAT0ATV8

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#CY8C, Supercharge (unknown)

History

2026-11-02: add by m2/dev

Ricker model Z2SBQC38C0

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

Mentions

wikipedia: Wikipedia Ricker model, Ricker model (definition). Also Wikidata Q7331913

History

2026-11-02: add by m2/dev

Higher interior regularity Z2SCQST8EZ

URI	`m2://inv/Z2SCQST8EZ`
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.32561#FLIE, Higher interior regularity (statement). In NBT0ZCHBB6/e1, theorem 12

History

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

Further examples Z2SCS84E63

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

Mentions

wikipedia: Wikipedia Grothendieck group#5C1D, Further examples (example)

History

2026-11-02: add by m2/dev

Z2SFTKS3HW Z2SFTKS3HW

URI	`m2://inv/Z2SFTKS3HW`
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 2011.08789#1BH9 (statement). In 43AGRMP7T3/e1, theorem

History

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

Free Riemann gas Z2SJ3WCAFR

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

Mentions

wikipedia: Wikipedia List of things named after Bernhard Riemann#QTO1, Free Riemann gas (definition)

History

2026-11-02: add by m2/dev

Z2SJQ4TQGT Z2SJQ4TQGT

URI	`m2://inv/Z2SJQ4TQGT`
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 2610.16123#TSBG (statement). In 6VR4TY5BGV/e1, lemma 2.3

History

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

Z2SK5TSG0J Z2SK5TSG0J

URI	`m2://inv/Z2SK5TSG0J`
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.11210#QKDP (statement). In CRFDGFZHBF/e1, proposition 8.2

History

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

Applications Z2SRD2WE73

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

Mentions

wikipedia: Wikipedia Sagnac effect#REVP, Applications (example)

History

2026-11-02: add by m2/dev

Variations Z2SW1SA5E0

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

Mentions

wikipedia: Wikipedia T-structure#TFDE, Variations (statement)

History

2026-11-02: add by m2/dev

Z2T0SXWP6Z Z2T0SXWP6Z

URI	`m2://inv/Z2T0SXWP6Z`
Kind	definition
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 2504.19468#YDBX (definition). In EY54F2SX08/e1, definition 2.4

History

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

On the hypothesis Z2T6YC8NMD

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

Mentions

wikipedia: Wikipedia Brunn–Minkowski theorem#YOTJ, On the hypothesis (statement)

History

2026-11-02: add by m2/dev

Z2T8Z2PZZP Z2T8Z2PZZP

URI	`m2://inv/Z2T8Z2PZZP`
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.02993#J55A (statement). In TJH58FRGEN/e1, proposition 4.3

History

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

Z2T9DQ7H2D Z2T9DQ7H2D

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

Mentions

arxiv: arXiv 1705.01594#UDNM (statement). In BR3N3GSY2C/e1, corollary 2.3

History

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

Bayes' theorem Z2TDRHK2ZK

URI	`m2://inv/Z2TDRHK2ZK`
Kind	statement
Layer	textbook
MSC	60-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Bayes' theorem 0NM6E9VW04

Mentions

mathlib_1000: mathlib_1000 Q182505, Bayes' theorem (statement). Also Mathlib ProbabilityTheory.cond_eq_inv_mul_cond_mul, Wikidata Q182505
thousand_plus: thousand_plus Q182505, Bayes' theorem (statement). Also Mathlib ProbabilityTheory.cond_eq_inv_mul_cond_mul, Wikidata Q182505, Wikipedia Bayes' theorem
wikidata: Wikidata Q182505, Bayes' theorem (statement). Also MathWorld BayesTheorem
wikipedia: Wikipedia Bayes' theorem, Bayes' theorem (statement). Also Wikidata Q182505

History

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

Z2TDW7WBGR Z2TDW7WBGR

URI	`m2://inv/Z2TDW7WBGR`
Kind	statement
Layer	research
MSC	17-XX, 46-XX, 47-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.39254#1YL8 (statement). In A59MZ9H284/e1, theorem 2.13

History

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

Z2TJZEG84T Z2TJZEG84T

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

History

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

continuous probability distribution Z2TKCVW9VB

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

Mentions

wikidata: Wikidata Q917918, continuous probability distribution (unknown). Also EoM Continuous_distribution, MathWorld ContinuousDistribution

History

2026-10-26: add by m2/dev

Z2TKX48SYJ Z2TKX48SYJ

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

Mentions

applied_combinatorics: applied_combinatorics source/s_genfunction_gen-bin-thm.ptx#definition-1 (definition). In QKM9DD2H56, definition, section 8.3

History

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

Algebra factor Z2V1Q3S7RA

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

Mentions

wikipedia: Wikipedia Factorization#N95O, Algebra factor (unknown)

History

2026-11-02: add by m2/dev

Eudoxus reals Z2V4E29935

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

Mentions

wikipedia: Wikipedia Construction of the real numbers#HT6B, Eudoxus reals (unknown)

History

2026-11-02: add by m2/dev

Galen Shorack Z2V6W7EEYV

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

Mentions

wikipedia: Wikipedia Galen Shorack, Galen Shorack (topic). Also Wikidata Q93429762

History

2026-11-02: add by m2/dev

Z2V9XJQJFK Z2V9XJQJFK

URI	`m2://inv/Z2V9XJQJFK`
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.20881#KV5V (statement)

History

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

Z2VJHBKN0C Z2VJHBKN0C

URI	`m2://inv/Z2VJHBKN0C`
Kind	example
Layer	research
MSC	16-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.21703#IDFJ (example)

History

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

NUFFT Z2VN9ZNNCA

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

Mentions

wikipedia: Wikipedia Non-uniform discrete Fourier transform#C4RX, NUFFT (unknown)

History

2026-11-02: add by m2/dev

Specialization of lengths Z2VPW1KQ2P

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

Mentions

arxiv: arXiv 2610.05892#Y69N, Specialization of lengths (statement). In PXWRTA62JK/e1, lemma 6.1

History

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

Martín Z2VSKKK1P0

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

Mentions

wikipedia: Wikipedia List of twin teammates in sports#FUJM, Martín (unknown)

History

2026-11-02: add by m2/dev

Z2VVVMW8TC Z2VVVMW8TC

URI	`m2://inv/Z2VVVMW8TC`
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.20389#VBLZ (statement). In BSHRC0Y3ZZ/e1, theorem 1

History

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

Horace Lamb Z2VW4GJAF7

URI	`m2://inv/Z2VW4GJAF7`
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#QS98, Horace Lamb (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RFUV, Horace Lamb (topic)

History

2026-11-02: add by m2/dev

Z2VXM565H9 Z2VXM565H9

URI	`m2://inv/Z2VXM565H9`
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.16962#NCC8 (statement). In KJC9FRS3C2/e1, proposition 3.2

History

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

Order-4 24-cell honeycomb Z2VXW39P07

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

Mentions

wikipedia: Wikipedia Order-4 24-cell honeycomb, Order-4 24-cell honeycomb (definition). Also Wikidata Q17077788

History

2026-11-02: add by m2/dev

Hilbert's projective metric Z2VZAH2DEQ

URI	`m2://inv/Z2VZAH2DEQ`
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.06653#Q8V8, Hilbert's projective metric (statement). In 9D2N76AJAT/e1, theorem D.9

History

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

Definition Z2W9K4139V

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

Mentions

wikipedia: Wikipedia Hrushovski construction#L0KQ, Definition (definition)

History

2026-11-02: add by m2/dev

Noncommutative harmonic analysis Z2WJENS39V

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

Mentions

wikipedia: Wikipedia Noncommutative harmonic analysis, Noncommutative harmonic analysis (definition). Also Wikidata Q7049222

History

2026-11-02: add by m2/dev

Z2WJEYHXNF Z2WJEYHXNF

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

Mentions

napkin: napkin tex/topology/metric-top.tex#exercise-5 (exercise). In RZP28ERRZV, exercise, section 100.7

History

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

Local Smoothing Theorem of Guth, Wang and Zhang Z2WPAGKP8Z

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

Mentions

arxiv: arXiv 2609.40161#I6UP, Local Smoothing Theorem of Guth, Wang and Zhang (statement). In P2ZW0PZMEH/e1, theorem 4.1

History

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

Z2WRB7CJCF Z2WRB7CJCF

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-93 (exercise). In E9HS8K3A52, exercise, section 10.8.6

History

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

permutation group Z2WXH5VYAR

URI	`m2://inv/Z2WXH5VYAR`
Kind	definition
Layer	textbook
Sources	1
Outcome	deferred (the item has its own article, page 24634)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of group theory#MM8R, permutation group (definition)

History

2026-11-02: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

Examples Z2WYQBYNB6

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

Mentions

wikipedia: Wikipedia Osculating circle#17Y9, Examples (example)

History

2026-11-02: add by m2/dev

Z2X5RSYQ5Q Z2X5RSYQ5Q

URI	`m2://inv/Z2X5RSYQ5Q`
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.35467#8N02 (statement). In FK89DQ9J4S/e1, corollary 4.15

History

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

PAW Z2X88ZWXV0

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#958C, PAW (unknown)

History

2026-11-02: add by m2/dev

Scott Sheffield Z2X8MZ0XYT

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

Mentions

wikipedia: Wikipedia List of mathematical probabilists#LDMM, Scott Sheffield (topic)

History

2026-11-02: add by m2/dev

Z2X9WX8KRH Z2X9WX8KRH

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

History

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

limit, of a Cauchy approximation Z2XGW2F1C2

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

Mentions

hott_book: hott_book index/B.3.1/limit-of-a-cauchy-approximation, limit, of a Cauchy approximation (concept). In N54F33XE07, index, section B.3.1

History

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

Z2XHGVXPRN Z2XHGVXPRN

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

Mentions

austin_ula: austin_ula src/exercises/exercises3-1.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 3.1

History

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

Chabauty topology Z2XJEC15JY

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

Mentions

wikipedia: Wikipedia Chabauty topology, Chabauty topology (definition). Also Wikidata Q5066000

History

2026-11-02: add by m2/dev

Poincar\'e inequality Z2XPMS2P58

URI	`m2://inv/Z2XPMS2P58`
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.32561#B103, Poincar\'e inequality (statement). In NBT0ZCHBB6/e1, theorem 1

History

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

Datasaurus dozen Z2XW3S3BZS

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

Mentions

wikipedia: Wikipedia Datasaurus dozen, Datasaurus dozen (definition). Also Wikidata Q124540379

History

2026-11-02: add by m2/dev

Variants Z2XWFNTHFH

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

Mentions

wikipedia: Wikipedia Carpet plot#S5A0, Variants (statement)

History

2026-11-02: add by m2/dev

Definition Z2XY76KBPK

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

Mentions

wikipedia: Wikipedia Surface area#W4UK, Definition (definition)

History

2026-11-02: add by m2/dev

Variants Z2YFZ47MGD

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

Mentions

wikipedia: Wikipedia Insertion sort#T165, Variants (statement)

History

2026-11-02: add by m2/dev

Domination is not stable under tensor products Z2YGH00QZS

URI	`m2://inv/Z2YGH00QZS`
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.40054#M2UB, Domination is not stable under tensor products (statement). In CA4C9PFM1E/e1, theorem 5.1.2

History

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

programming language Z2YGT7PSTV

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

Mentions

wikidata: Wikidata Q9143, programming language (definition). Also nLab programming language, ProofWiki Definition:Programming_Language
wikipedia: Wikipedia Programming language, Programming language (definition). Also Wikidata Q9143

History

2026-10-26: add by m2/dev

Z2YHT7K1YG Z2YHT7K1YG

URI	`m2://inv/Z2YHT7K1YG`
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 2208.06310#PDVQ (statement). In 9YR0E0T9XA/e1, proposition 5.10

History

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

Hyper-Woodin cardinal Z2YR0VYQX0

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#KDF4, Hyper-Woodin cardinal (definition)

History

2026-11-02: add by m2/dev

Z2Z1WEDCR1 Z2Z1WEDCR1

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise-61 (exercise). In E59CDZA4DP, exercise, section 4.5.6

History

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

Twelfth moment bound Z2Z2XAQ2WF

URI	`m2://inv/Z2Z2XAQ2WF`
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.01035#HKK1, Twelfth moment bound (statement). In MVQWXFXWM7/e1, theorem 10.1

History

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

unstable critical point Z2ZGW6MNP6

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

Mentions

lebl_diffyqs: lebl_diffyqs index/4.6/unstable-critical-point, unstable critical point (concept). In E9HS8K3A52, index, section 4.6

History

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

context, well-formed Z2ZGXXDM18

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

Mentions

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

History

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

Conditional above-average probability Z2ZK1TWCWK

URI	`m2://inv/Z2ZK1TWCWK`
Kind	definition
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#FH03, Conditional above-average probability (definition). In ZWS6Q4467X/e1, definition 5.1

History

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

Z2ZQJVE2XG Z2ZQJVE2XG

URI	`m2://inv/Z2ZQJVE2XG`
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.37201#XOF5 (statement). In HJEK865J7W/e1, lemma 2.1

History

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

Z2ZT4SPRRF Z2ZT4SPRRF

URI	`m2://inv/Z2ZT4SPRRF`
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 2403.02207#2U6S (statement). In 1T3ZYPQZF0/e1, lemma 2.2

History

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

Z2ZX1VA1AX Z2ZX1VA1AX

URI	`m2://inv/Z2ZX1VA1AX`
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.02798#HY7C (statement). In 446QW3DHTN/e1, lemma B.4

History

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

Nicolao Colletti Z2ZZAGP1DN

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

Mentions

wikipedia: Wikipedia Nicolao Colletti, Nicolao Colletti (topic). Also Wikidata Q18945685

History

2026-11-02: add by m2/dev