Inventory rows 5G

degree 5G00ANBGQ8

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

Mentions

wikidata: Wikidata Q28390, degree (definition). Also EoM Degree, MathWorld Degree, ProofWiki Definition:Angle/Unit/Degree
wikipedia: Wikipedia Degree (angle), Degree (definition). Also Wikidata Q28390

History

2026-10-26: add by m2/dev

5G0H6T04BN 5G0H6T04BN

URI	`m2://inv/5G0H6T04BN`
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.00076#QPTB (statement). In 2VQ90WEZKB/e1, proposition 10.4

History

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

5G0N43MRCD 5G0N43MRCD

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

Mentions

arxiv: arXiv 2609.24777#HLNR (example)

History

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

5G0P1GFH2B 5G0P1GFH2B

URI	`m2://inv/5G0P1GFH2B`
Kind	statement
Layer	research
MSC	16-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 2507.20176#QUMG (statement). In CX4WDA2KAR/e1, theorem 4.6

History

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

5G0XK66KB7 5G0XK66KB7

URI	`m2://inv/5G0XK66KB7`
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 2108.00412#C462 (definition). In APD8GE0E4F/e1, definition 2.15

History

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

Development 5G0ZSECS77

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

Mentions

wikipedia: Wikipedia Glossary of general topology#BZMV, Development (definition)

History

2026-11-02: add by m2/dev

Prediction by partial matching 5G141STGZ1

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

Mentions

wikipedia: Wikipedia Prediction by partial matching, Prediction by partial matching (definition). Also Wikidata Q2541

History

2026-11-02: add by m2/dev

François Jaeger 5G14VQZPQE

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

Mentions

wikipedia: Wikipedia François Jaeger, François Jaeger (topic). Also Wikidata Q102262331

History

2026-11-02: add by m2/dev

Periodic thermal equilibrium 5G156K2PRN

URI	`m2://inv/5G156K2PRN`
Kind	definition
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 2503.08018#AGH8, Periodic thermal equilibrium (definition). In TN93YFN45W/e1, definition 3.3

History

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

supersymmetry 5G15YG9N0B

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

Mentions

wikidata: Wikidata Q193442, supersymmetry (topic). Also nLab supersymmetry
wikipedia: Wikipedia Supersymmetry, Supersymmetry (definition). Also Wikidata Q193442

History

2026-10-26: add by m2/dev

Partition via characteristics 5G1D9E1VHQ

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

Mentions

arxiv: arXiv 2610.17129#2X12, Partition via characteristics (definition). In TCZWAMNYCV/e1, definition 6.7

History

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

James Devereux Hustler 5G1JC8TKVK

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

Mentions

wikipedia: Wikipedia James Devereux Hustler, James Devereux Hustler (topic). Also Wikidata Q21165259

History

2026-11-02: add by m2/dev

Rowan Yeats 5G1JXX8PWV

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

Mentions

wikipedia: Wikipedia Rowan Yeats, Rowan Yeats (topic). Also Wikidata Q50284982

History

2026-11-02: add by m2/dev

Feedback fallacy 5G1PQ3PNNF

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

Mentions

wikipedia: Wikipedia List of fallacies#3FVE, Feedback fallacy (unknown)

History

2026-11-02: add by m2/dev

Pivot element 5G1XSVBN9W

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#2VTD, Pivot element (definition)

History

2026-11-02: add by m2/dev

Relating the second law to the definition of temperature 5G20GSWBCC

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

Mentions

wikipedia: Wikipedia Second law of thermodynamics#F7OG, Relating the second law to the definition of temperature (definition)

History

2026-11-02: add by m2/dev

Quantitative perturbation of pseudospectra 5G22420EG7

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

Mentions

arxiv: arXiv 2610.01501#7S01, Quantitative perturbation of pseudospectra (statement). In 8Q2PXZDGB5/e1, theorem 3.5

History

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

Applications 5G2476MY7N

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

Mentions

wikipedia: Wikipedia Signpost sequence#SD5P, Applications (example)

History

2026-11-02: add by m2/dev

Examples 5G27ZFGRCW

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

Mentions

wikipedia: Wikipedia Point reflection#QY3E, Examples (example)

History

2026-11-02: add by m2/dev

Pokrass brothers 5G2A8ZJRZD

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#SOAN, Pokrass brothers (unknown)

History

2026-11-02: add by m2/dev

Circuit diagram 5G2CX1GQPN

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

Mentions

wikipedia: Wikipedia List of graphical methods#7YKM, Circuit diagram (unknown)

History

2026-11-02: add by m2/dev

Efron–Stein inequality 5G2D1R9D1T

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

Mentions

wikipedia: Wikipedia Concentration inequality#2BAM, Efron–Stein inequality (statement)

History

2026-11-02: add by m2/dev

Ajima-Malfatti point 5G2NEXM0EF

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

Mentions

wikipedia: Wikipedia Malfatti circles#R3FQ, Ajima-Malfatti point (unknown)

History

2026-11-02: add by m2/dev

Properties 5G2NH3D7BG

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

Mentions

wikipedia: Wikipedia Deterministic context-free language#LFLV, Properties (statement)

History

2026-11-02: add by m2/dev

category 5G2PWJ09A4

URI	`m2://inv/5G2PWJ09A4`
Kind	definition
Layer	textbook
Sources	3
Outcome	open
Node	Category A2DE66937D

Mentions

mathlib_overview: mathlib_overview General algebra > Category theory > category, category (unknown). Also Mathlib CategoryTheory.Category
wikidata: Wikidata Q719395, category (definition). Also Mathlib CategoryTheory.Category, MathWorld Category, nLab category, ProofWiki Definition:Category
wikipedia: Wikipedia Category (mathematics), Category (definition). Also Wikidata Q719395

History

2026-10-26: add by m2/dev

5G2YR1AQWE 5G2YR1AQWE

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

Mentions

arxiv: arXiv 2610.22288#1CY9 (statement). In X38P26DK6S/e1, proposition 5.11

History

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

Periodic tail 5G303A0JAA

URI	`m2://inv/5G303A0JAA`
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.30302#9NZ4, Periodic tail (statement). In R6ABTE22G0/e1, lemma 25

History

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

Interpretation of exceptional interactions 5G3A13483V

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

Mentions

arxiv: arXiv 2609.27799#DF6Y, Interpretation of exceptional interactions (statement)

History

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

5G3G4WM7S9 5G3G4WM7S9

URI	`m2://inv/5G3G4WM7S9`
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 2610.21475#SQOY (definition). In TTRSZVT4VX/e1, definition 2.17

History

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

5G3MNTF94R 5G3MNTF94R

URI	`m2://inv/5G3MNTF94R`
Kind	statement
Layer	research
MSC	16-XX, 19-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.23527#LNDB (statement)

History

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

Restricted eigenvalue condition 5G3TQ4YYJK

URI	`m2://inv/5G3TQ4YYJK`
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 2609.39449#34S0, Restricted eigenvalue condition (definition). In GWC70X14RG/e1, definition 1

History

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

List of things named after Sophus Lie 5G45CFM132

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#YA8G, List of things named after Sophus Lie (unknown)

History

2026-11-02: add by m2/dev

5G4AR8K935 5G4AR8K935

URI	`m2://inv/5G4AR8K935`
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 2610.16931#2MMK (statement). In H7DMRWBBJN/e1, theorem 4.2

History

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

Antonio Ros 5G4F9ACGGA

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#S62A, Antonio Ros (unknown)

History

2026-11-02: add by m2/dev

Staged tree 5G4N2RGMXX

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

Mentions

wikipedia: Wikipedia Staged tree (mathematics), Staged tree (definition). Also Wikidata Q136089322

History

2026-11-02: add by m2/dev

D'Alembert's principle of virtual work 5G4RSP22R6

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

Mentions

wikipedia: Wikipedia Analytical mechanics#YNC5, D'Alembert's principle of virtual work (statement)

History

2026-11-02: add by m2/dev

5G4XQ5BQY3 5G4XQ5BQY3

URI	`m2://inv/5G4XQ5BQY3`
Kind	example
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.07122#4UDZ (example). In W0ZHX9DHPV/e1, example 1

History

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

5G53DQ50Y1 5G53DQ50Y1

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

Mentions

arxiv: arXiv math/9902147#5MUR (statement). In 7CK21JGM5A/e1, lemma 5.2

History

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

5G53YJPJVM 5G53YJPJVM

URI	`m2://inv/5G53YJPJVM`
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.35123#JOPU (statement). In 6106R88BNE/e1, corollary 1.2

History

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

5G561CSM1Z 5G561CSM1Z

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

Mentions

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

History

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

Memory wheels 5G5BP981RS

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

Mentions

wikipedia: Wikipedia Memory wheels, Memory wheels (definition). Also Wikidata Q139505270

History

2026-11-02: add by m2/dev

5G5JPZA9D7 5G5JPZA9D7

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

Mentions

arxiv: arXiv 2610.14045#CYKO (example). In KZ71GXT2B0/e1, example 3.7

History

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

5G5SN72F3R 5G5SN72F3R

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

Mentions

arxiv: arXiv 2608.24190#V7XG (problem). In DW7FVA587C/e1, problem 5.3

History

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

5G62636Q7R 5G62636Q7R

URI	`m2://inv/5G62636Q7R`
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 2602.07485#K4G6 (statement). In 8KAC1E81JQ/e1, theorem 14

History

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

essentially bounded function 5G6621MPJB

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

Mentions

wikidata: Wikidata Q91316547, essentially bounded function (unknown). Also nLab essentially bounded function

History

2026-10-26: add by m2/dev

Ionic equation 5G6HRMR257

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

Mentions

wikipedia: Wikipedia Chemical equation#6091, Ionic equation (unknown)

History

2026-11-02: add by m2/dev

Termination (rewriting) 5G6M1H792R

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

Mentions

wikipedia: Wikipedia Rewriting#3776, Termination (rewriting) (unknown)

History

2026-11-02: add by m2/dev

Definition 5G77AGR3B3

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

Mentions

wikipedia: Wikipedia Chain (algebraic topology)#2T6U, Definition (definition)

History

2026-11-02: add by m2/dev

5G79PNKGS3 5G79PNKGS3

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

Mentions

arxiv: arXiv 2506.07061#CFJ8 (statement). In G2PA4KAGRP/e1, lemma 2.10

History

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

Normal-exponential-gamma distribution 5G7DWYVE47

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

Mentions

wikipedia: Wikipedia List of statistics articles#B2BJ, Normal-exponential-gamma distribution (topic)

History

2026-11-02: add by m2/dev

5G7P1QM0RF 5G7P1QM0RF

URI	`m2://inv/5G7P1QM0RF`
Kind	example
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.38548#CBD4 (example). In Z7ZFV3HM1S/e1, example 4.1

History

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

Closed Graph Theorem 5G85N3186D

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

Mentions

wikipedia: Wikipedia Webbed space#LBDZ, Closed Graph Theorem (statement)

History

2026-11-02: add by m2/dev

Pascal's simplex 5G8CWEA4YE

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

Mentions

wikipedia: Wikipedia List of factorial and binomial topics#0K5P, Pascal's simplex (definition)

History

2026-11-02: add by m2/dev

5G8K1DVQVF 5G8K1DVQVF

URI	`m2://inv/5G8K1DVQVF`
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.26813#UZ9K (statement)

History

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

5G8VG2Z2CZ 5G8VG2Z2CZ

URI	`m2://inv/5G8VG2Z2CZ`
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.23128#ERVG (statement)

History

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

Guido Weiss 5G90T2MG7P

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

Mentions

wikipedia: Wikipedia Guido Weiss, Guido Weiss (topic). Also Wikidata Q1553697

History

2026-11-02: add by m2/dev

Mike Giles 5G99QAY4EN

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5CAF, Mike Giles (unknown)

History

2026-11-02: add by m2/dev

Properties 5G9GED5WYR

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

Mentions

wikipedia: Wikipedia Ultrametric space#KQC1, Properties (statement)

History

2026-11-02: add by m2/dev

Shi Jin 5G9J5DGZ6Z

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9LXD, Shi Jin (unknown)

History

2026-11-02: add by m2/dev

Examples 5G9X0NZ39E

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

Mentions

wikipedia: Wikipedia Hamiltonian vector field#TKDU, Examples (example)

History

2026-11-02: add by m2/dev

5G9YWD944J 5G9YWD944J

URI	`m2://inv/5G9YWD944J`
Kind	problem
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.03477#R0XP (problem). In GXN3D4G4HE/e1, problem 2

History

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

Generalizations 5GA0N0AB6W

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

Mentions

wikipedia: Wikipedia Perfect graph theorem#1VOB, Generalizations (statement)

History

2026-11-02: add by m2/dev

A percolating interval 5GA0P1EE8A

URI	`m2://inv/5GA0P1EE8A`
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.22301#ZZGP, A percolating interval (statement)

History

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

Smooth test transfer 5GAB1YPKXC

URI	`m2://inv/5GAB1YPKXC`
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.30590#4IID, Smooth test transfer (statement). In WYE2JVEZBT/e1, lemma 5.7

History

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

5GAED58XA4 5GAED58XA4

URI	`m2://inv/5GAED58XA4`
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.38532#GTTZ (statement). In X7YYWCZFTV/e1, proposition 4.6

History

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

causal logic 5GAF9AD27X

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

Mentions

wikipedia: Wikipedia Glossary of logic#LPQG, causal logic (definition)

History

2026-11-02: add by m2/dev

Bottleneck matching distance 5GAKPEDM1M

URI	`m2://inv/5GAKPEDM1M`
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.08152#KHMR, Bottleneck matching distance (definition). In T1GYQ6SCCZ/e1, definition 2.5

History

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

Myers theorem 5GANH1835W

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

Mentions

wikipedia: Wikipedia List of theorems#027E, Myers theorem (statement)

History

2026-11-02: add by m2/dev

Examples 5GASDAGGTF

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

Mentions

wikipedia: Wikipedia Continuous poset#435H, Examples (example)

History

2026-11-02: add by m2/dev

Metric map 5GBAK2GFZE

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

Mentions

wikipedia: Wikipedia List of real analysis topics#9DJU, Metric map (definition)

History

2026-11-02: add by m2/dev

Collinear triples 5GBGC8P9H7

URI	`m2://inv/5GBGC8P9H7`
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.15340#8008, Collinear triples (statement). In 9NVKKW8HDH/e1, theorem 2.104

History

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

5GBKCPP85G 5GBKCPP85G

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

Mentions

arxiv: arXiv 2610.03612#H6YH (statement). In REDG6QVHM3/e1, lemma 4.2

History

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

5GBKKQWDS6 5GBKKQWDS6

URI	`m2://inv/5GBKKQWDS6`
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 2211.14214#JCHU (statement). In SY85Y9E45A/e1, theorem 2

History

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

5GBMMCM0T9 5GBMMCM0T9

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

Mentions

arxiv: arXiv 2610.03327#15CD (definition). In EBNXA84CPM/e1, definition 4.1

History

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

Runge's theorem 5GBRDX152P

URI	`m2://inv/5GBRDX152P`
Kind	statement
Layer	textbook
MSC	30-XX
Sources	4
Outcome	open
Node	Runge's theorem 6DG4CTGXJD

Mentions

mathlib_1000: mathlib_1000 Q1505529, Runge's theorem (statement). Also Wikidata Q1505529
thousand_plus: thousand_plus Q1505529, Runge's theorem (statement). Also Wikidata Q1505529, Wikipedia Runge's theorem
wikidata: Wikidata Q1505529, Runge's theorem (statement). Also MathWorld RungesTheorem
wikipedia: Wikipedia Runge's theorem, Runge's theorem (statement). Also Wikidata Q1505529

History

2026-10-26: add by m2/dev

5GBWHPANP5 5GBWHPANP5

URI	`m2://inv/5GBWHPANP5`
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 2306.08237#E7JT (definition). In E22A2MFR4Y/e1, definition 2.16

History

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

5GBXD9FX3F 5GBXD9FX3F

URI	`m2://inv/5GBXD9FX3F`
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.23004#EH2R (statement)

History

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

Bhāsavarajña 5GBXDN6DSR

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

Mentions

wikipedia: Wikipedia List of teachers of Nyaya#SDD3, Bhāsavarajña (unknown)

History

2026-11-02: add by m2/dev

5GBYDEEX3B 5GBYDEEX3B

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

Mentions

arxiv: arXiv 2610.06321#Q2KB (statement). In PGV1116XX4/e1, theorem B

History

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

Atomic and open formulas 5GC2CGE2AJ

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

Mentions

wikipedia: Wikipedia Well-formed formula#NRH7, Atomic and open formulas (statement)

History

2026-11-02: add by m2/dev

Bertrand's postulate 5GC3DXPFC0

URI	`m2://inv/5GC3DXPFC0`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Bertrand's postulate 0FJTGZA4GS

Mentions

mathlib_100: mathlib_100 98, Bertrand’s Postulate (statement). Also Mathlib Nat.bertrand
mathlib_1000: mathlib_1000 Q632546, Bertrand's postulate (statement). Also Mathlib Nat.bertrand, Wikidata Q632546
mathlib_1000: mathlib_1000 Q632546X, Sylvester's theorem (statement). Also Wikidata Q632546
thousand_plus: thousand_plus Q632546, Bertrand's postulate (statement). Also Mathlib Nat.bertrand, Wikidata Q632546, Wikipedia Bertrand's postulate
thousand_plus: thousand_plus Q632546X, Sylvester's theorem (statement). Also Wikidata Q632546
wikidata: Wikidata Q632546, Bertrand's postulate (statement). Also MathWorld BertrandsPostulate, nLab Bertrand's postulate, ProofWiki Bertrand-Chebyshev_Theorem
wikipedia: Wikipedia Bertrand's postulate, Bertrand's postulate (definition). Also Wikidata Q632546

History

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

Hereditary 5GC3T1TPXF

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

Mentions

wikipedia: Wikipedia Glossary of general topology#LFB8, Hereditary (definition)

History

2026-11-02: add by m2/dev

5GCK5J2HEE 5GCK5J2HEE

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

Mentions

arxiv: arXiv 2609.13888#G4A8 (statement). In 2G5K2GZTX7/e1, lemma 3.4

History

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

5GCMT5ETDG 5GCMT5ETDG

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

Mentions

arxiv: arXiv 2610.06045#JVES (statement). In SVKM0852RJ/e1, theorem 3

History

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

5GCT1M0TWB 5GCT1M0TWB

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

Mentions

arxiv: arXiv 2304.02722#HNFZ (statement). In AH7D55D3WV/e1, lemma 20.2

History

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

5GCWND2PC8 5GCWND2PC8

URI	`m2://inv/5GCWND2PC8`
Kind	example
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#DTRF (example). In ZZ2P08DVQW/e1, example 10.4

History

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

5GD8CW481Y 5GD8CW481Y

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

Mentions

napkin: napkin tex/quantum/vectors.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 77.4

History

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

Metric graph 5GDA9XEMTE

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

Mentions

wikipedia: Wikipedia Quantum graph#H8AG, Metric graph (unknown)

History

2026-11-02: add by m2/dev

Koichiro Harada 5GDBGVGBC1

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

Mentions

wikipedia: Wikipedia Koichiro Harada, Koichiro Harada (topic). Also Wikidata Q1791707

History

2026-11-02: add by m2/dev

Srinivasa Ramanujan Medal 5GDPV16264

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

Mentions

wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#FR32, Srinivasa Ramanujan Medal (definition)

History

2026-11-02: add by m2/dev

Algorithms 5GDTJRMA8J

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

Mentions

wikipedia: Wikipedia HEAAN#ZQXO, Algorithms (definition)

History

2026-11-02: add by m2/dev

5GDYQCVCEM 5GDYQCVCEM

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

Mentions

arxiv: arXiv 2609.24701#G6LT (statement)

History

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

5GDZMCNWYM 5GDZMCNWYM

URI	`m2://inv/5GDZMCNWYM`
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#2W17 (statement). In Y7TVAQE9PF/e1, proposition 2.2

History

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

Janez Mrčun 5GDZPHYTC0

URI	`m2://inv/5GDZPHYTC0`
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 Q18587207, Janez Mrčun (unknown). Also nLab Janez Mrčun

History

2026-10-26: add by m2/dev

law of large numbers (LLN) 5GE302HH49

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#VYB9, law of large numbers (LLN) (definition)

History

2026-11-02: add by m2/dev

Properties 5GE88BZZZA

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

Mentions

wikipedia: Wikipedia Radical extension#XETD, Properties (statement)

History

2026-11-02: add by m2/dev

Terminology 5GEBSS7G4D

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

Mentions

wikipedia: Wikipedia Meromorphic function#HFNV, Terminology (definition)

History

2026-11-02: add by m2/dev

Theorem 5GEE5NFKGB

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

Mentions

wikipedia: Wikipedia Kolmogorov complexity#BQMW, Theorem (statement)

History

2026-11-02: add by m2/dev

5GF0QFNB5A 5GF0QFNB5A

URI	`m2://inv/5GF0QFNB5A`
Kind	problem
Layer	research
MSC	20-XX, 22-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 math/0512416#9UAO (problem). In WJD9YPGGYH/e1, problem 1.1

History

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

5GF0XK5353 5GF0XK5353

URI	`m2://inv/5GF0XK5353`
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 1011.5443#0RP5 (definition). In VQ0K2GV62A/e1, definition 2.11

History

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

Kramkov's optional decomposition theorem 5GF8HJJF1N

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

Mentions

wikipedia: Wikipedia Kramkov's optional decomposition theorem#I7CW, Kramkov's optional decomposition theorem (statement)

History

2026-11-02: add by m2/dev

Convergence for a finite Witt truncation 5GFDTKGP7E

URI	`m2://inv/5GFDTKGP7E`
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.05652#UYDV, Convergence for a finite Witt truncation (statement). In 8BNPFYQDQX/e1, lemma 3.17

History

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

5GFECY0W16 5GFECY0W16

URI	`m2://inv/5GFECY0W16`
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#045C (definition). In 160PQ7F1AS/e1, definition 3.8

History

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

Non-Oblivious Local Depth 5GG53KPX1V

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

Mentions

arxiv: arXiv 2610.02407#VDBP, Non-Oblivious Local Depth (statement). In ZZER8ZBSCR/e1, theorem 1.10

History

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

Direct overlapping size--depth tradeoff 5GGBN4PQQR

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

Mentions

arxiv: arXiv 2610.02407#HB07, Direct overlapping size--depth tradeoff (statement). In ZZER8ZBSCR/e1, theorem 1.11

History

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

Joseph-Louis Lagrange 5GGP4HW60Q

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#J7W4, Joseph-Louis Lagrange (topic)

History

2026-11-02: add by m2/dev

5GGP616MX7 5GGP616MX7

URI	`m2://inv/5GGP616MX7`
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.21972#TIP0 (statement)

History

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

5GGQ094NPV 5GGQ094NPV

URI	`m2://inv/5GGQ094NPV`
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.03835#PYE6 (statement). In KAYGQMQPGS/e1, corollary 3.4

History

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

Extensions 5GGQB4WG6Z

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

Mentions

wikipedia: Wikipedia Flux balance analysis#TE0A, Extensions (statement)

History

2026-11-02: add by m2/dev

Marie-Hélène Schwartz 5GGS8YVM67

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#6F2D, Marie-Hélène Schwartz (topic)

History

2026-11-02: add by m2/dev

5GGSK95PRB 5GGSK95PRB

URI	`m2://inv/5GGSK95PRB`
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.30527#E1NJ (statement). In E3WQDZY388/e1, lemma 5.1

History

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

5GGXZAKA0E 5GGXZAKA0E

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

Mentions

arxiv: arXiv 2610.17045#3TC0 (statement). In PA6JQDSKQT/e1, proposition 3.27

History

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

First integrability gain 5GH68SKX2C

URI	`m2://inv/5GH68SKX2C`
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.00339#LM42, First integrability gain (statement). In ZRG6NY1ECH/e1, proposition 25

History

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

5GHFQ7GXKS 5GHFQ7GXKS

URI	`m2://inv/5GHFQ7GXKS`
Kind	problem
Layer	research
MSC	03-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.12612#MMYY (problem). In 8A0VZV8PBN/e1, problem 8.3

History

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

Properties 5GHJD85MWR

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

Mentions

wikipedia: Wikipedia Doob's h-transform#U7T1, Properties (statement)

History

2026-11-02: add by m2/dev

Waraszkiewicz spiral 5GHJG7G5MT

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

Mentions

wikipedia: Wikipedia Waraszkiewicz spiral, Waraszkiewicz spiral (definition). Also Wikidata Q7968805

History

2026-11-02: add by m2/dev

5GHMHF3HJ1 5GHMHF3HJ1

URI	`m2://inv/5GHMHF3HJ1`
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.31907#7YVK (statement). In 6B2PCEGCYZ/e1, proposition 4.5

History

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

Hermann Brunn 5GHWDQ48WD

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

Mentions

wikipedia: Wikipedia Hermann Brunn, Hermann Brunn (topic). Also Wikidata Q3134140

History

2026-11-02: add by m2/dev

Enneagon 5GJ6ZFMTG9

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#363Y, Enneagon (definition)

History

2026-11-02: add by m2/dev

5GJ71EN0C7 5GJ71EN0C7

URI	`m2://inv/5GJ71EN0C7`
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.05696#4OL5 (statement). In MG81A9XJTQ/e1, lemma VI.1

History

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

Converse nonimplication 5GJ7PCST0M

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

Mentions

wikipedia: Wikipedia List of rules of inference#OBMK, Converse nonimplication (definition)

History

2026-11-02: add by m2/dev

Janet basis 5GJ9056SQZ

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

Mentions

wikipedia: Wikipedia Janet basis, Janet basis (definition). Also Wikidata Q17092828

History

2026-11-02: add by m2/dev

Variance function 5GJ9GTD6W4

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

Mentions

wikipedia: Wikipedia Variance function, Variance function (definition). Also Wikidata Q17016064

History

2026-11-02: add by m2/dev

Theorem 1.1. 5GJKD3E1BY

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

Mentions

arxiv: arXiv 2609.39675#9X1B, Theorem 1.1. (statement). In VM16G3PPH3/e1, theorem 2.1

History

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

class function over a group 5GJPD5TSC6

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

Mentions

mathlib_undergrad: mathlib_undergrad Group Theory > Representation theory of finite groups > class function over a group, class function over a group (unknown)

History

2026-10-26: add by m2/dev

Gilbert Ritschard 5GJWSNKY7A

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

Mentions

wikipedia: Wikipedia Gilbert Ritschard, Gilbert Ritschard (topic). Also Wikidata Q57904849

History

2026-11-02: add by m2/dev

5GK7FNS3YJ 5GK7FNS3YJ

URI	`m2://inv/5GK7FNS3YJ`
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.28993#EO5R (statement)

History

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

5GK8SDH9H8 5GK8SDH9H8

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

Mentions

arxiv: arXiv 2610.20972#88O5 (example). In 6SZE4MTXGZ/e1, example 4.10

History

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

Definitions 5GKBDATKCG

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

Mentions

wikipedia: Wikipedia Schwartz–Bruhat function#QUD2, Definitions (definition)

History

2026-11-02: add by m2/dev

5GKC0FVB10 5GKC0FVB10

URI	`m2://inv/5GKC0FVB10`
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.34675#K258 (statement). In C93BAXKJVD/e1, theorem 2.4

History

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

5GKCXKTZXP 5GKCXKTZXP

URI	`m2://inv/5GKCXKTZXP`
Kind	statement
Layer	research
MSC	35-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.19463#QYRX (statement). In Q4HWFFK0R9/e1, lemma 6.2

History

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

Color trickle-down 5GKHBEP5T3

URI	`m2://inv/5GKHBEP5T3`
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 math/0003117#SO7T, Color trickle-down (statement). In WD2NCBV9F0/e1, lemma 21.8

History

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

5GKMFZC0KF 5GKMFZC0KF

URI	`m2://inv/5GKMFZC0KF`
Kind	problem
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.10077#9ERP (problem). In YA7H9PY3R1/e1, problem 5.2

History

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

5GKMK63VPG 5GKMK63VPG

URI	`m2://inv/5GKMK63VPG`
Kind	definition
Layer	research
MSC	03-XX, 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 math/0406514#8ERZ (definition). In CY1FE8W1ZW/e1, definition 0.79

History

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

5GKVNA1V0J 5GKVNA1V0J

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

Mentions

arxiv: arXiv 2304.02722#XLJO (statement). In AH7D55D3WV/e1, lemma 16.2

History

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

5GM4E9NTVR 5GM4E9NTVR

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

Mentions

arxiv: arXiv 2610.12329#0DRV (statement). In ZJQB9W60T6/e1, lemma 4.12

History

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

5GM4Q2M7R7 5GM4Q2M7R7

URI	`m2://inv/5GM4Q2M7R7`
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 2405.05684#P92M (definition). In 1PR73ECTZB/e1, definition 5

History

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

5GM7MJ2VMK 5GM7MJ2VMK

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

Mentions

arxiv: arXiv 1009.2043#HFLH (definition). In 7DCNHRBK5A/e1, definition 2.5

History

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

5GMBMAZCCW 5GMBMAZCCW

URI	`m2://inv/5GMBMAZCCW`
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.31604#TI2S (statement). In GSN5YTQS2K/e1, lemma 2.18

History

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

Outermorphism 5GME3FNHPH

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

Mentions

wikipedia: Wikipedia Outermorphism, Outermorphism (definition). Also Wikidata Q17097714

History

2026-11-02: add by m2/dev

Block-intersection lemma 5GMKDTGAM2

URI	`m2://inv/5GMKDTGAM2`
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.14217#C9T0, Block-intersection lemma (statement). In K0DHYQC5B7/e1, lemma 4.9

History

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

PiHex 5GMQVP6Y1D

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

Mentions

wikipedia: Wikipedia List of topics related to π#QHXL, PiHex (unknown)

History

2026-11-02: add by m2/dev

5GMYCSZSGN 5GMYCSZSGN

URI	`m2://inv/5GMYCSZSGN`
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.24041#DM0Z (statement)

History

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

Motivic cohomology 5GMZFBHM8E

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#WYFZ, Motivic cohomology (definition)

History

2026-11-02: add by m2/dev

Orazio Grassi 5GN0PCWVDM

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#GI5W, Orazio Grassi (topic)

History

2026-11-02: add by m2/dev

5GN4ZZPCX5 5GN4ZZPCX5

URI	`m2://inv/5GN4ZZPCX5`
Kind	statement
Layer	research
MSC	19-XX, 46-XX, 47-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.17060#14E2 (statement). In 5KR3MHYVV6/e1, lemma 5.5

History

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

5GN8J5E2N0 5GN8J5E2N0

URI	`m2://inv/5GN8J5E2N0`
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.24041#6AT1 (statement)

History

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

5GN8TPF53Z 5GN8TPF53Z

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

Mentions

arxiv: arXiv 2609.35213#8CEA (statement). In T5KCTZ3H08/e1, lemma 9

History

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

Jerry Bona 5GNC5C4RDZ

URI	`m2://inv/5GNC5C4RDZ`
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#VZ0O, Jerry Bona (topic)

History

2026-11-02: add by m2/dev

5GNCG1BNCA 5GNCG1BNCA

URI	`m2://inv/5GNCG1BNCA`
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.11082#13BM (statement). In GFPFFN0BXV/e1, lemma 6

History

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

Examples 5GNKB8E5J4

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

Mentions

wikipedia: Wikipedia Stationary increments#82P0, Examples (example)

History

2026-11-02: add by m2/dev

5GNR23AS71 5GNR23AS71

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

Mentions

napkin: napkin tex/linalg/vector-space.tex#example-2 (example). In RZP28ERRZV, example, section 62.2

History

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

open interval 5GNYRT1VXT

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

Mentions

wikidata: Wikidata Q16690243, open interval (definition). Also EoM Interval,_open, MathWorld OpenInterval, ProofWiki Definition:Interval/Ordered_Set/Open

History

2026-10-26: add by m2/dev

Hosoya index 5GP2QY6FBS

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

Mentions

wikidata: Wikidata Q4200699, Hosoya index (unknown). Also MathWorld HosoyaIndex
wikipedia: Wikipedia Hosoya index, Hosoya index (definition). Also Wikidata Q4200699

History

2026-10-26: add by m2/dev

non-standard logic 5GP2V7WW04

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

Mentions

wikipedia: Wikipedia Glossary of logic#BGAE, non-standard logic (definition)

History

2026-11-02: add by m2/dev

5GP3G4Q3X4 5GP3G4Q3X4

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

Mentions

arxiv: arXiv 2609.29450#B4A0 (definition)

History

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

Remark 5GP8KDJEVK

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

Mentions

wikipedia: Wikipedia Quadric#WMX1, Remark (unknown)

History

2026-11-02: add by m2/dev

Elizabeth Margosches 5GPATJC7G8

URI	`m2://inv/5GPATJC7G8`
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#EM1T, Elizabeth Margosches (topic)

History

2026-11-02: add by m2/dev

5GPC0TVTQK 5GPC0TVTQK

URI	`m2://inv/5GPC0TVTQK`
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 2609.31269#YCMJ (problem). In ZPT9XCCAPQ/e1, problem 2.1.12

History

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

5GPG7ZNZVV 5GPG7ZNZVV

URI	`m2://inv/5GPG7ZNZVV`
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#3WES (statement). In CRFDGFZHBF/e1, proposition 9.13

History

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

Sum rule in integration 5GPKBE1QXE

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#93YU, Sum rule in integration (definition)

History

2026-11-02: add by m2/dev

Gustavo Sannia 5GPQ8V8VTQ

URI	`m2://inv/5GPQ8V8VTQ`
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#OUSD, Gustavo Sannia (topic)

History

2026-11-02: add by m2/dev

5GPRKXB42Z 5GPRKXB42Z

URI	`m2://inv/5GPRKXB42Z`
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.23339#RBWP (statement)

History

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

Consistency 5GQ0A4XY06

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

Mentions

open_logic: open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#defn-3, Consistency (definition). In PKGMM3P5QY, defn, section 40.4

History

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

A tree obstruction to transversality 5GQ6Z7DXER

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

Mentions

arxiv: arXiv 2610.10993#LHB2, A tree obstruction to transversality (statement). In 1JCPN0K7DB/e1, proposition 5.11

History

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

5GQ805V6YG 5GQ805V6YG

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

Mentions

arxiv: arXiv 2609.30579#66Z8 (statement). In FDYZFDHZH9/e1, proposition 2.15

History

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

5GQCVVS07R 5GQCVVS07R

URI	`m2://inv/5GQCVVS07R`
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.11829#C8LC (statement). In 76DK6SPN88/e1, corollary 1.3

History

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

5GQDE7G311 5GQDE7G311

URI	`m2://inv/5GQDE7G311`
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#G8NF (statement). In M4JGP708F4/e1, fact 3.6

History

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

5GQK53DX2W 5GQK53DX2W

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

Mentions

arxiv: arXiv 2610.07285#Y32Q (statement). In S284XRA4WK/e1, lemma B.9

History

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

5GQN0KWK3X 5GQN0KWK3X

URI	`m2://inv/5GQN0KWK3X`
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 2301.02848#HTA1 (statement). In G6WQDW52TJ/e1, lemma A.2

History

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

5GQPZYQKRH 5GQPZYQKRH

URI	`m2://inv/5GQPZYQKRH`
Kind	statement
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 2609.34081#NP48 (statement). In 3RVGEKGX46/e1, proposition 5.1

History

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

5GQYAFGW5F 5GQYAFGW5F

URI	`m2://inv/5GQYAFGW5F`
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.12371#5MLI (statement). In 8TTFQH19QR/e1, lemma 8

History

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

5GR3WM53PB 5GR3WM53PB

URI	`m2://inv/5GR3WM53PB`
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.09042#LZ6V (statement). In 7CS3N5K9FJ/e1, lemma 21

History

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

DiVincenzo's criteria 5GRD3Y054Q

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

Mentions

wikipedia: Wikipedia DiVincenzo's criteria, DiVincenzo's criteria (definition). Also Wikidata Q25305215

History

2026-11-02: add by m2/dev

List of mathematical art software 5GRNEQKHMC

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

Mentions

wikipedia: Wikipedia List of mathematical art software, List of mathematical art software (topic). Also Wikidata Q134311606

History

2026-11-02: add by m2/dev

Unital 5GRRC3KP05

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

Mentions

wikipedia: Wikipedia Unital (geometry), Unital (definition). Also Wikidata Q17148807

History

2026-11-02: add by m2/dev

Variants 5GRZ1V6DRF

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

Mentions

wikipedia: Wikipedia Euclidean division#5M4X, Variants (statement)

History

2026-11-02: add by m2/dev

Local switching form 5GRZ3CGMRY

URI	`m2://inv/5GRZ3CGMRY`
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.10002#YDMG, Local switching form (statement). In 5ZYWF6HAXJ/e1, lemma 2

History

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

Goodman and Kruskal's lambda 5GS0CYMJF4

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

Mentions

wikipedia: Wikipedia List of analyses of categorical data#9FFI, Goodman and Kruskal's lambda (definition)
wikipedia: Wikipedia List of statistics articles#NC4H, Goodman and Kruskal's lambda (definition)

History

2026-11-02: add by m2/dev

5GS2TAW7N7 5GS2TAW7N7

URI	`m2://inv/5GS2TAW7N7`
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.26357#2MHY (statement)

History

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

Partial linear space 5GSDDWE1TY

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

Mentions

wikipedia: Wikipedia Partial linear space, Partial linear space (definition). Also Wikidata Q7140375

History

2026-11-02: add by m2/dev

5GSDTDM80K 5GSDTDM80K

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

Mentions

arxiv: arXiv 2609.32903#WL5Z (statement). In S8NB83KQX3/e1, lemma 13

History

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

5GSG8CP5CX 5GSG8CP5CX

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

Mentions

napkin: napkin tex/homology/singular.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 55.4

History

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

5GSGN1V82M 5GSGN1V82M

URI	`m2://inv/5GSGN1V82M`
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.18544#C5I0 (statement). In HT5MC1SPD9/e1, lemma 4.3

History

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

Optimized heterogeneous windows 5GSKH6S74N

URI	`m2://inv/5GSKH6S74N`
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.15543#0W1J, Optimized heterogeneous windows (statement). In TQSHQZFCS5/e1, corollary 4.2

History

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

Pyramid 5GSWPV266S

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

Mentions

wikipedia: Wikipedia List of formulas in elementary geometry#COUR, Pyramid (definition)

History

2026-11-02: add by m2/dev

Definition 5GT3D8VS5J

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

Mentions

wikipedia: Wikipedia McShane integral#UTX9, Definition (definition)

History

2026-11-02: add by m2/dev

Mean value inequality in span seminorm 5GTQ4FYVQW

URI	`m2://inv/5GTQ4FYVQW`
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.14988#J8OZ, Mean value inequality in span seminorm (statement). In B29M4E6KGC/e1, proposition E.1

History

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

K-theory 5GTTW3QFE1

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

Mentions

wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#KBX7, K-theory (definition)

History

2026-11-02: add by m2/dev

5GTY354MSS 5GTY354MSS

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

Mentions

arxiv: arXiv 2610.09319#7Y3Y (statement). In GMRT5GHBZS/e1, lemma 6.2

History

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

Padding identities 5GV1P9BY4W

URI	`m2://inv/5GV1P9BY4W`
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#6G8P, Padding identities (statement). In DP5KJ7AATM/e1, lemma 2.3

History

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

Dyck Path Area 5GV3MKCSMP

URI	`m2://inv/5GV3MKCSMP`
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 2610.07671#UDBY, Dyck Path Area (definition). In XHHBGCVG90/e1, definition 2.1.2

History

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

5GV3TY8DV5 5GV3TY8DV5

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

Mentions

arxiv: arXiv 2610.16731#DUX1 (definition). In D68KBZQ4Q6/e1, definition 3.23

History

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

Conditional variance 5GV66TRXVY

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

Mentions

wikipedia: Wikipedia Conditional variance, Conditional variance (definition). Also Wikidata Q5159279

History

2026-11-02: add by m2/dev

V. S. Varadarajan 5GVC1WA8ED

URI	`m2://inv/5GVC1WA8ED`
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#2TJC, V. S. Varadarajan (topic)

History

2026-11-02: add by m2/dev

5GVJ0HVA0B 5GVJ0HVA0B

URI	`m2://inv/5GVJ0HVA0B`
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 2606.00589#CZ3T (statement). In C8JAGP8VCQ/e1, lemma 2.21

History

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

5GVX5X3K82 5GVX5X3K82

URI	`m2://inv/5GVX5X3K82`
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.15217#3DAH (definition). In G70Q2FB591/e1, definition 4.31

History

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

Free group 5GVXV2TEGN

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

Mentions

wikipedia: Wikipedia List of group theory topics#LASQ, Free group (definition)
wikipedia: Wikipedia List of abstract algebra topics#B19G, Free group (definition)

History

2026-11-02: add by m2/dev

5GVYK6RTQA 5GVYK6RTQA

URI	`m2://inv/5GVYK6RTQA`
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.12324#P07E (definition). In CJDCSSCF1V/e1, definition 4

History

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

Natural process variation 5GW22R6PJ8

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

Mentions

wikipedia: Wikipedia Natural process variation, Natural process variation (definition). Also Wikidata Q6980756

History

2026-11-02: add by m2/dev

Examples 5GW6ZYJG77

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

Mentions

wikipedia: Wikipedia Empirical statistical laws#X1JR, Examples (example)

History

2026-11-02: add by m2/dev

Applications 5GWFVMCKJ3

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

Mentions

wikipedia: Wikipedia Geometric separator#T4TC, Applications (example)

History

2026-11-02: add by m2/dev

5GWGCH53DD 5GWGCH53DD

URI	`m2://inv/5GWGCH53DD`
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 2506.09840#8EJ5 (statement). In Y7TWHSF2HC/e1, proposition 2.9

History

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

Exponentiation theorems with Jacobi amplitude functions 5GWJRF38QY

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

Mentions

wikipedia: Wikipedia Nome (mathematics)#KL5G, Exponentiation theorems with Jacobi amplitude functions (statement)

History

2026-11-02: add by m2/dev

5GWP1HMC8Z 5GWP1HMC8Z

URI	`m2://inv/5GWP1HMC8Z`
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.13103#8WCX (statement). In GG2ZZV6KEQ/e1, theorem 5.1

History

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

Applications 5GX07ZWMN6

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

Mentions

wikipedia: Wikipedia Circular segment#3JKP, Applications (example)

History

2026-11-02: add by m2/dev

Jerzy Różycki 5GX6445WWT

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

Mentions

wikipedia: Wikipedia Jerzy Różycki, Jerzy Różycki (topic). Also Wikidata Q660251

History

2026-11-02: add by m2/dev

Stimulus–response model 5GX6VC4A1E

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

Mentions

wikipedia: Wikipedia Stimulus–response model, Stimulus–response model (definition). Also Wikidata Q448916

History

2026-11-02: add by m2/dev

Isothermal process 5GX6W1ZD9D

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

Mentions

wikipedia: Wikipedia Isothermal process, Isothermal process (object). Also Wikidata Q486921

History

2026-11-02: add by m2/dev

5GX7XQH9G5 5GX7XQH9G5

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

Mentions

arxiv: arXiv 2609.32916#RVO9 (definition). In G1RP4JY5PE/e1, definition 3.2.3

History

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

5GX8CR5MDV 5GX8CR5MDV

URI	`m2://inv/5GX8CR5MDV`
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 1903.07030#7N32 (definition). In 9H45HQE7AZ/e1, definition 5.1

History

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

5GX8SMDXDB 5GX8SMDXDB

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

Mentions

austin_ula: austin_ula src/exercises/exercises5-2.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 5.2

History

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

Labourie , Schoen 5GXA8K9AJX

URI	`m2://inv/5GXA8K9AJX`
Kind	statement
Layer	research
MSC	53-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.32300#C2XA, Labourie , Schoen (statement). In VNE8N0D2FB/e1, theorem 5.8

History

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

mixed concomitant 5GXN4F61JD

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#AX0M, mixed concomitant (definition)

History

2026-11-02: add by m2/dev

Definition 5GXXRBZDNV

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

Mentions

wikipedia: Wikipedia Fast-growing hierarchy#5ZH3, Definition (definition)

History

2026-11-02: add by m2/dev

Yum-Tong Siu 5GXYSC6WY9

URI	`m2://inv/5GXYSC6WY9`
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#2YIU, Yum-Tong Siu (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#R0YS, Yum-Tong Siu (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#S2NK, Yum-Tong Siu (topic)

History

2026-11-02: add by m2/dev

Zamfirescu graph 48 5GXZMAKDTG

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

Mentions

wikidata: Wikidata Q2816902, Zamfirescu graph 48 (unknown). Also House of Graphs 1437

History

2026-10-26: add by m2/dev

5GY10V5S42 5GY10V5S42

URI	`m2://inv/5GY10V5S42`
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.10519#RJ0W (statement). In 83MMH8VF1X/e1, theorem 4.3

History

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

María Manzano 5GY381VV4V

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

Mentions

wikipedia: Wikipedia List of logicians#7R7Y, María Manzano (topic)

History

2026-11-02: add by m2/dev

5GYAZ98S46 5GYAZ98S46

URI	`m2://inv/5GYAZ98S46`
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.32680#ANUX (statement). In XVJGVCZA7V/e1, proposition 5.1

History

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

Unique information 5GYBV360KH

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

Mentions

arxiv: arXiv 2610.00571#YLSO, Unique information (definition). In W50NNC2MJS/e1, definition 1

History

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

Sheaf of algebras 5GYC6GPHRJ

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

Mentions

wikipedia: Wikipedia Sheaf of algebras, Sheaf of algebras (definition). Also Wikidata Q48971898

History

2026-11-02: add by m2/dev

Anodyne extension 5GYH5SDNTH

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

Mentions

wikipedia: Wikipedia Fibration of simplicial sets#VRK2, Anodyne extension (unknown)

History

2026-11-02: add by m2/dev

Cantelli's inequality 5GYJV5DZVB

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

Mentions

wikipedia: Wikipedia List of inequalities#3U68, Cantelli's inequality (statement)

History

2026-11-02: add by m2/dev

Adaptive stepsize 5GYNXYSCW3

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#YA9S, Adaptive stepsize (definition)

History

2026-11-02: add by m2/dev

Quadratic variance inequality 5GYRPSET2H

URI	`m2://inv/5GYRPSET2H`
Kind	statement
Layer	research
MSC	51-XX, 52-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.17909#1GB8, Quadratic variance inequality (statement). In YXZX6Z8S6A/e1, proposition 4.6

History

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

Lanczos resampling 5GYWD5WRY0

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

Mentions

wikipedia: Wikipedia Lanczos resampling, Lanczos resampling (definition). Also Wikidata Q913012

History

2026-11-02: add by m2/dev

5GYZ7RGZH1 5GYZ7RGZH1

URI	`m2://inv/5GYZ7RGZH1`
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.15648#FMOY (statement). In 5TM775V8HQ/e1, lemma 11

History

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

5GYZXBD2CG 5GYZXBD2CG

URI	`m2://inv/5GYZXBD2CG`
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.23634#1K59 (statement)

History

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

5GZ94T2BYG 5GZ94T2BYG

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

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#example-1 (example). In E59CDZA4DP, example, section 9.1.1

History

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

Theorem 5GZB4RK746

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

Mentions

wikipedia: Wikipedia Central limit theorem#ANA1, Theorem (statement)

History

2026-11-02: add by m2/dev

Multicoloring identities 5GZQK7TD8G

URI	`m2://inv/5GZQK7TD8G`
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.04325#C138, Multicoloring identities (statement). In 42XHT97E64/e1, theorem 3.2

History

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