Inventory rows VC

VC02GG0T64 VC02GG0T64

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

Mentions

arxiv: arXiv 2503.19528#TH7G (statement). In EM5955MDHN/e1, proposition 2.8

History

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

Naum Gabo VC0K6HDYQ6

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#REG3, Naum Gabo (unknown)

History

2026-11-02: add by m2/dev

Example VC0PD0AKCE

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

Mentions

wikipedia: Wikipedia Pi-system#2U53, Example (example)

History

2026-11-02: add by m2/dev

Geoffrey Grimmett VC0RWEGB58

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

Mentions

wikipedia: Wikipedia List of mathematical probabilists#33U6, Geoffrey Grimmett (topic)

History

2026-11-02: add by m2/dev

VC0XMP8DZ5 VC0XMP8DZ5

URI	`m2://inv/VC0XMP8DZ5`
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.33578#X9FI (statement). In 3XTDDKY6YE/e1, lemma 5.3

History

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

VC0Z50G0XR VC0Z50G0XR

URI	`m2://inv/VC0Z50G0XR`
Kind	statement
Layer	research
MSC	46-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 1204.5958#ZUW6 (statement). In XYCBKM4WKY/e1, theorem 8

History

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

Examples VC11RKNQ4C

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

Mentions

wikipedia: Wikipedia Stationary point#AQA9, Examples (example)

History

2026-11-02: add by m2/dev

VC12A5B5TG VC12A5B5TG

URI	`m2://inv/VC12A5B5TG`
Kind	definition
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.21060#X3MU (definition)

History

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

Efficient table; \appproof{pf:efficient VC1DR4214C

URI	`m2://inv/VC1DR4214C`
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.39233#WYG8, Efficient table; \appproof{pf:efficient (statement). In Y7NC12TBNP/e1, theorem 3

History

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

Zuhair Nashed VC1EXNE43Q

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

Mentions

wikipedia: Wikipedia Zuhair Nashed, Zuhair Nashed (topic). Also Wikidata Q27063070

History

2026-11-02: add by m2/dev

VC1GQ2M49V VC1GQ2M49V

URI	`m2://inv/VC1GQ2M49V`
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.23941#B4FF (statement)

History

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

Alexey Leontiev VC1MC2E5XH

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

Mentions

wikipedia: Wikipedia Alexey Leontiev, Alexey Leontiev (topic). Also Wikidata Q4259002

History

2026-11-02: add by m2/dev

Sergei Adian VC1MHTESES

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

Mentions

wikipedia: Wikipedia List of logicians#XHB4, Sergei Adian (topic)

History

2026-11-02: add by m2/dev

Geometry of tangent cones VC230BRG50

URI	`m2://inv/VC230BRG50`
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#B6YQ, Geometry of tangent cones (statement). In YXZX6Z8S6A/e1, proposition 2.12

History

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

333 (number) VC23GBHY6X

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

Mentions

wikipedia: Wikipedia 300 (number)#1GWE, 333 (number) (unknown)

History

2026-11-02: add by m2/dev

K-server problem VC24VH3XWH

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

Mentions

wikipedia: Wikipedia K-server problem, K-server problem (conjecture). Also Wikidata Q6322866

History

2026-11-02: add by m2/dev

Alexander S. Kechris VC2P0705KG

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

Mentions

wikipedia: Wikipedia Alexander S. Kechris, Alexander S. Kechris (topic). Also Wikidata Q450151

History

2026-11-02: add by m2/dev

VC2QEYH9HS VC2QEYH9HS

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

Mentions

arxiv: arXiv 2108.09548#G97U (statement). In 6D6C14KFGJ/e1, proposition 2.5

History

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

Hilbrand J. Groenewold VC2R1NMQ50

URI	`m2://inv/VC2R1NMQ50`
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 Q5761267, Hilbrand J. Groenewold (unknown). Also nLab Hilbrand Groenewold

History

2026-10-26: add by m2/dev

Continuity VC2SP2CT2V

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

Mentions

wikipedia: Wikipedia Marshallian demand function#8Z9X, Continuity (statement)

History

2026-11-02: add by m2/dev

Applications VC2XTT01GB

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

Mentions

wikipedia: Wikipedia Windkessel effect#5165, Applications (example)

History

2026-11-02: add by m2/dev

Data Encryption Standard VC343VF89T

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

Mentions

wikipedia: Wikipedia List of telecommunications encryption terms#LL7M, Data Encryption Standard (definition)

History

2026-11-02: add by m2/dev

Duncan, Otis Dudley VC3D4527ZK

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

Mentions

wikipedia: Wikipedia List of statisticians#WQA2, Duncan, Otis Dudley (unknown)

History

2026-11-02: add by m2/dev

VC3FGX3FT0 VC3FGX3FT0

URI	`m2://inv/VC3FGX3FT0`
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.09704#NJ4Y (statement). In FNG4B47MRV/e1, lemma 5.4

History

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

Oscar Lanford VC3G5PD524

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#I5VS, Oscar Lanford (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7RID, Oscar Lanford (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BAY1, Oscar Lanford (unknown)

History

2026-11-02: add by m2/dev

VC3M40ASCP VC3M40ASCP

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#def:partition (definition). In P1C114YBXG, definition, section G

History

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

Safe and Sophie Germain primes VC3QV5D1SP

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#SHGR, Safe and Sophie Germain primes (conjecture)

History

2026-11-02: add by m2/dev

VC3VJJHNYG VC3VJJHNYG

URI	`m2://inv/VC3VJJHNYG`
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.29501#QIEH (statement)

History

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

Roland Andrew Sweet VC3VQVBDEK

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

Mentions

wikipedia: Wikipedia Roland Andrew Sweet, Roland Andrew Sweet (topic). Also Wikidata Q99996385

History

2026-11-02: add by m2/dev

Lanczos approximation VC45D8W4KA

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

Mentions

wikidata: Wikidata Q6483801, Lanczos approximation (concept). Also MathWorld LanczosApproximation
wikipedia: Wikipedia Lanczos approximation, Lanczos approximation (definition). Also Wikidata Q6483801

History

2026-10-26: add by m2/dev

VC4878RC1R VC4878RC1R

URI	`m2://inv/VC4878RC1R`
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 2503.08018#HE20 (statement). In TN93YFN45W/e1, lemma 2.2

History

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

Grassmann graph VC4EVCBFQG

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

Mentions

wikipedia: Wikipedia Grassmann graph, Grassmann graph (definition). Also Wikidata Q85867362

History

2026-11-02: add by m2/dev

322 (number) VC4JWEQ2QW

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

Mentions

wikipedia: Wikipedia 300 (number)#UM88, 322 (number) (unknown)

History

2026-11-02: add by m2/dev

Fourth derivative VC4N360646

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

Mentions

wikipedia: Wikipedia Derivative#9937, Fourth derivative (unknown)

History

2026-11-02: add by m2/dev

VC4QH4RD3K VC4QH4RD3K

URI	`m2://inv/VC4QH4RD3K`
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.20077#OU7W (statement). In W5XRKWDADE/e1, lemma 6.15

History

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

Carl Snyder VC4SFK45T9

URI	`m2://inv/VC4SFK45T9`
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#P9Z5, Carl Snyder (unknown)

History

2026-11-02: add by m2/dev

The continuous (or Borel) graph homomorphism problem, Gao, Jackson, Krohne and Seward VC4V15A5S7

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

Mentions

arxiv: arXiv 2609.39824#06GQ, The continuous (or Borel) graph homomorphism problem, Gao, Jackson, Krohne and Seward (problem). In REPGS464V6/e1, problem 1.1

History

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

Ran,Kawamata VC4XBK20TP

URI	`m2://inv/VC4XBK20TP`
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 alg-geom/9506022#O2LL, Ran,Kawamata (statement). In AQGEM4XAKD/e1, theorem 1.14

History

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

VC4XNX3GNF VC4XNX3GNF

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

Mentions

arxiv: arXiv 2204.13401#Y02C (statement). In B8MJT0GGW8/e1, theorem 2.13

History

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

VC54XFWJ8A VC54XFWJ8A

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

Mentions

arxiv: arXiv 2610.19283#BTHA (statement). In 28BAGZRCKG/e1, theorem 4.8

History

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

Theorem VC5ANV939W

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

Mentions

wikipedia: Wikipedia Hemicontinuity#DUS8, Theorem (statement)

History

2026-11-02: add by m2/dev

Mauricio Matos Peixoto VC5QCYP3DW

URI	`m2://inv/VC5QCYP3DW`
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#JBE3, Mauricio Matos Peixoto (topic)

History

2026-11-02: add by m2/dev

VC5WDNBW6A VC5WDNBW6A

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

Mentions

arxiv: arXiv 2610.18281#1ONO (definition). In QYD0EJM85G/e1, definition 3.3

History

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

Theorem VC5ZPXAA1A

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

Mentions

wikipedia: Wikipedia Bose–Mesner algebra#DO5J, Theorem (statement)

History

2026-11-02: add by m2/dev

VC69VFTK8A VC69VFTK8A

URI	`m2://inv/VC69VFTK8A`
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.16844#CC56 (statement). In MAY0WVXT07/e1, proposition 2.1

History

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

Lyndon word VC6CP1QAD4

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

Mentions

wikidata: Wikidata Q1878827, Lyndon word (concept). Also MathWorld LyndonWord
wikipedia: Wikipedia Lyndon word, Lyndon word (definition). Also Wikidata Q1878827

History

2026-10-26: add by m2/dev

System size expansion VC6G2R3SXB

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

Mentions

wikipedia: Wikipedia System size expansion, System size expansion (definition). Also Wikidata Q7663749

History

2026-11-02: add by m2/dev

beta distribution VC6VNE8BBC

URI	`m2://inv/VC6VNE8BBC`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Beta distribution 0EW824Z7G2

Mentions

wikidata: Wikidata Q756254, beta distribution (unknown). Also MathWorld BetaDistribution
wikipedia: Wikipedia Beta distribution, Beta distribution (definition). Also Wikidata Q756254

History

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

VC6WE6VKM0 VC6WE6VKM0

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/EquivalenceRelations.tex#problem-2 (exercise). In P1C114YBXG, problem, section A

History

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

VC6WFZXXTB VC6WFZXXTB

URI	`m2://inv/VC6WFZXXTB`
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 2401.00191#OEXC (statement). In ZMH2KJDAWJ/e1, theorem 2.1

History

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

strong harmonic mappings VC6ZJKWNXH

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

Mentions

arxiv: arXiv 2609.25801#BGS6, strong harmonic mappings (definition)

History

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

VC737P346J VC737P346J

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#question-2 (exercise). In P1C114YBXG, question, section 1

History

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

VC7BQD69JE VC7BQD69JE

URI	`m2://inv/VC7BQD69JE`
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.08202#YQG8 (statement). In N7XJ16700B/e1, proposition 2

History

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

Arbitrary intersection VC7D8SRAHV

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

Mentions

wikipedia: Wikipedia Intersection (set theory)#5MQZ, Arbitrary intersection (unknown)

History

2026-11-02: add by m2/dev

Definition VC7SH8497C

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

Mentions

wikipedia: Wikipedia Configuration space (mathematics)#PIH5, Definition (definition)

History

2026-11-02: add by m2/dev

VC7TSMVKAG VC7TSMVKAG

URI	`m2://inv/VC7TSMVKAG`
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.31220#E2I7 (statement). In JMWCGMNE84/e1, theorem 4.3

History

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

One-clock-particle factorisation VC7TVVKP4Y

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

Mentions

arxiv: arXiv 2610.16351#NVOA, One-clock-particle factorisation (statement). In 1QSV7EQE3T/e1, proposition S74

History

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

VC7YT18STX VC7YT18STX

URI	`m2://inv/VC7YT18STX`
Kind	statement
Layer	research
MSC	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.29877#NFYS (statement)

History

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

Properties VC88QR8XGG

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

Mentions

wikipedia: Wikipedia Beam and Warming scheme#D5P2, Properties (statement)

History

2026-11-02: add by m2/dev

Size (statistics) VC8G271C4W

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

Mentions

wikipedia: Wikipedia List of statistics articles#FMZU, Size (statistics) (definition)

History

2026-11-02: add by m2/dev

VC8H3G71V0 VC8H3G71V0

URI	`m2://inv/VC8H3G71V0`
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.37124#S23D (statement). In 2QF1YG9DD0/e1, proposition 2.3

History

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

Strong cosmic censorship VC8MQ25VG2

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#MGTZ, Strong cosmic censorship (unknown)

History

2026-11-02: add by m2/dev

Closed preordered set VC8TCCNX23

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

Mentions

wikipedia: Wikipedia Closed preordered set, Closed preordered set (definition). Also Wikidata Q137784115

History

2026-11-02: add by m2/dev

Examples VC941AS123

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

Mentions

wikipedia: Wikipedia Free variables and bound variables#7IR2, Examples (example)

History

2026-11-02: add by m2/dev

VC94KFSZX4 VC94KFSZX4

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#exercise:rieleblem (exercise). In E59CDZA4DP, exercise, section 8.2.5

History

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

VC9D07V8PB VC9D07V8PB

URI	`m2://inv/VC9D07V8PB`
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-6 (exercise). In 649HGZKE96, exercise, section 4.3

History

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

VC9GCW30C9 VC9GCW30C9

URI	`m2://inv/VC9GCW30C9`
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.14435#K6BF (statement). In Y9FSN5BVNQ/e1, lemma 2

History

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

Equivalence and continuum limit VCAETAE1JT

URI	`m2://inv/VCAETAE1JT`
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.35894#XN4C, Equivalence and continuum limit (statement). In 2BFQZJ0CNM/e1, proposition 1

History

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

VCAGQ8XSXK VCAGQ8XSXK

URI	`m2://inv/VCAGQ8XSXK`
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.23238#R0GJ (statement)

History

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

Shutie Xiao VCAHS8QWGH

URI	`m2://inv/VCAHS8QWGH`
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#55VN, Shutie Xiao (unknown)

History

2026-11-02: add by m2/dev

$d=4$, \(n=2\ VCAMA3K9RX

URI	`m2://inv/VCAMA3K9RX`
Kind	example
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.03775#YWOW, $d=4$, \(n=2\ (example). In NM928YZQVJ/e1, example

History

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

VCAR2TJ5NY VCAR2TJ5NY

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

Mentions

arxiv: arXiv 2506.08233#QZ68 (statement). In 2TXXQ2575Y/e1, corollary 4.8

History

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

VCAZRS1KGA VCAZRS1KGA

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

Mentions

arxiv: arXiv 2609.21052#NSJF (definition)

History

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

Converse VCB2MGRFFE

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

Mentions

wikipedia: Wikipedia Immediate inference#QUGZ, Converse (statement)

History

2026-11-02: add by m2/dev

VCBA199WE8 VCBA199WE8

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-188 (exercise). In VNMV985MXX, exercise, section 3.3

History

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

LGBTSTEM Day VCBBR67MMT

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

Mentions

wikipedia: Wikipedia Pride in STEM#MM4J, LGBTSTEM Day (unknown)

History

2026-11-02: add by m2/dev

VCBJ0M84RW VCBJ0M84RW

URI	`m2://inv/VCBJ0M84RW`
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.35669#9DY5 (statement). In 8380G43M8E/e1, theorem A.3

History

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

Keith Geddes VCBQDHCQT1

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

Mentions

wikipedia: Wikipedia Keith Geddes, Keith Geddes (topic). Also Wikidata Q3709693

History

2026-11-02: add by m2/dev

The Feynman–Kac formula VCBRQVFQJB

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

Mentions

wikipedia: Wikipedia Itô diffusion#QKG5, The Feynman–Kac formula (statement)

History

2026-11-02: add by m2/dev

VCBS7DCRVC VCBS7DCRVC

URI	`m2://inv/VCBS7DCRVC`
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.23262#UKG1 (statement)

History

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

VCC7V0YS57 VCC7V0YS57

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

Mentions

arxiv: arXiv 2609.29699#VAOQ (statement)

History

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

Charles J. Bullock VCC8X1JHXG

URI	`m2://inv/VCC8X1JHXG`
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#483K, Charles J. Bullock (unknown)

History

2026-11-02: add by m2/dev

John C. Baez VCC9GBVVZZ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#2G8I, John C. Baez (unknown)

History

2026-11-02: add by m2/dev

Quantitative Dimension Reduction VCCC6Z35D9

URI	`m2://inv/VCCC6Z35D9`
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.26592#45L0, Quantitative Dimension Reduction (statement)

History

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

VCCFY7MAJT VCCFY7MAJT

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

Mentions

open_logic: open_logic content/set-theory/ord-arithmetic/addition.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 71.8

History

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

All-to-all interaction VCCJH06E2J

URI	`m2://inv/VCCJH06E2J`
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#X4UW, All-to-all interaction (statement). In 1JCPN0K7DB/e1, proposition 5.13

History

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

Brauer algebra VCCMQZG56H

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

Mentions

wikipedia: Wikipedia List of algebras#YUOO, Brauer algebra (definition)

History

2026-11-02: add by m2/dev

Uses VCCN67JBQY

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

Mentions

wikipedia: Wikipedia Open set#Q0W9, Uses (example)

History

2026-11-02: add by m2/dev

VCCPXCS0YR VCCPXCS0YR

URI	`m2://inv/VCCPXCS0YR`
Kind	statement
Layer	research
MSC	05-XX, 49-XX, 51-XX, 52-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.34845#WSRU (statement). In SBZNH932ZV/e1, theorem 2.7

History

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

VCCRE7247M VCCRE7247M

URI	`m2://inv/VCCRE7247M`
Kind	statement
Layer	research
MSC	35-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.01717#ZHTK (statement). In KSK8SVD27S/e1, proposition 4.1

History

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

VCCZTACMFX VCCZTACMFX

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

Mentions

arxiv: arXiv 2609.20740#1QNJ (example)

History

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

VCD2BCNC16 VCD2BCNC16

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

Mentions

arxiv: arXiv 2610.13979#GCWD (statement). In M4W5M33Q60/e1, proposition 4.4

History

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

VCD535A4S8 VCD535A4S8

URI	`m2://inv/VCD535A4S8`
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.00247#3D51 (statement). In ZAM4S2XS9F/e1, proposition 4.4

History

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

Christina Kendziorski VCDCJYYEXE

URI	`m2://inv/VCDCJYYEXE`
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#ATWU, Christina Kendziorski (topic)

History

2026-11-02: add by m2/dev

Karamata's inequality VCDGP0XD4P

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

Mentions

wikipedia: Wikipedia Karamata's inequality, Karamata's inequality (statement). Also Wikidata Q3656857

History

2026-11-02: add by m2/dev

Discrete Green's Function VCDH5QKTEM

URI	`m2://inv/VCDH5QKTEM`
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.13222#4NTX, Discrete Green's Function (statement). In Z6WA2R0J50/e1, corollary 3.7

History

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

John L. Kelley VCDNS40BH9

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ZP1T, John L. Kelley (unknown)

History

2026-11-02: add by m2/dev

VCDTG4PDRS VCDTG4PDRS

URI	`m2://inv/VCDTG4PDRS`
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.26600#PLF9 (definition)

History

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

indeterminate form VCE233XKG7

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

Mentions

active_calculus: active_calculus index/1.2.2/indeterminate-form, indeterminate form (concept). In 907G4C4EJ1, index, section 1.2.2

History

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

Principle of duality VCE3AWP75G

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

Mentions

wikipedia: Wikipedia Algebra of sets#CJLJ, Principle of duality (statement)

History

2026-11-02: add by m2/dev

Calabi–Eckmann manifold VCE42VYSVH

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

Mentions

wikipedia: Wikipedia Calabi–Eckmann manifold, Calabi–Eckmann manifold (definition). Also Wikidata Q5018296

History

2026-11-02: add by m2/dev

History of Analytic philosophy VCE73BEFJS

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

Mentions

wikipedia: Wikipedia Analytic philosophy#K3AY, History of Analytic philosophy (unknown)

History

2026-11-02: add by m2/dev

VCEC3Y2219 VCEC3Y2219

URI	`m2://inv/VCEC3Y2219`
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 2609.25967#LI5D (statement)

History

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

VCEHCAFPEY VCEHCAFPEY

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

Mentions

arxiv: arXiv 2609.34946#0QBM (definition). In Y27BAB2BB4/e1, definition 2.2

History

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

Assembly VCEPQ97HDT

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

Mentions

wikipedia: Wikipedia Assembly (realizability), Assembly (definition). Also Wikidata Q133270226

History

2026-11-02: add by m2/dev

VCESHE9N3A VCESHE9N3A

URI	`m2://inv/VCESHE9N3A`
Kind	definition
Layer	research
MSC	17-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 2401.14143#3QMJ (definition). In 7WV4JVGEN1/e1, definition 2.3

History

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

VCEST9BDYA VCEST9BDYA

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

Mentions

arxiv: arXiv 2610.17737#MJHA (statement). In 8SXY7Y68HV/e1, theorem 8.5

History

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

VCEWTFY3NP VCEWTFY3NP

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

Mentions

arxiv: arXiv 2408.01345#O3AV (statement). In PT5PBPCS3P/e1, proposition 2.7

History

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

Walker, Francis Amasa VCEWZPQTRP

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

Mentions

wikipedia: Wikipedia List of statisticians#JEZQ, Walker, Francis Amasa (topic)

History

2026-11-02: add by m2/dev

Generic common rotation restores the Row coefficient advantage VCEXHEHGBA

URI	`m2://inv/VCEXHEHGBA`
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.11309#VB4G, Generic common rotation restores the Row coefficient advantage (statement). In TTEAQA1XXR/e1, lemma G.6

History

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

VCEYHZM8WQ VCEYHZM8WQ

URI	`m2://inv/VCEYHZM8WQ`
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.07927#93PQ (statement). In GKM19DHQTM/e1, lemma 7.1

History

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

VCF3PDSVFP VCF3PDSVFP

URI	`m2://inv/VCF3PDSVFP`
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.12295#NJZM (statement). In 6DZPR52HRP/e1, lemma 4.20

History

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

VCF4SM9989 VCF4SM9989

URI	`m2://inv/VCF4SM9989`
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-power-method (exercise). In 649HGZKE96, exercise, section 5.2

History

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

VCFBVW461H VCFBVW461H

URI	`m2://inv/VCFBVW461H`
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 2508.08809#UU6J (statement). In X5NX1YEABW/e1, proposition 5.10

History

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

VCFEE8T9TT VCFEE8T9TT

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

Mentions

arxiv: arXiv 2607.00146#FA6V (statement). In 6KR7Z5ETRY/e1, lemma 2.2

History

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

VCFKT38FP8 VCFKT38FP8

URI	`m2://inv/VCFKT38FP8`
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#ZBA4 (statement). In M3E3ARMJXK/e1, corollary 4.6

History

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

Admissible placement VCG27CMT0X

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

Mentions

arxiv: arXiv 2610.17004#R8VA, Admissible placement (definition). In XNJGNMS6H0/e1, definition 3.2

History

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

Gijswijt's sequence VCG85VHXM6

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

Mentions

wikidata: Wikidata Q25305304, Gijswijt's sequence (object). Also OEIS A090822
wikipedia: Wikipedia Gijswijt's sequence, Gijswijt's sequence (object). Also Wikidata Q25305304

History

2026-10-26: add by m2/dev

VCGCF4YMJR VCGCF4YMJR

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

Mentions

arxiv: arXiv 2609.25275#6NDW (statement)

History

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

spiric section VCGET47A1V

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

Mentions

wikidata: Wikidata Q1627103, spiric section (concept). Also MathWorld SpiricSection
wikipedia: Wikipedia Spiric section, Spiric section (definition). Also Wikidata Q1627103

History

2026-10-26: add by m2/dev

Argument from free will VCGS10FMCQ

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

Mentions

wikipedia: Wikipedia Argument from free will, Argument from free will (definition). Also Wikidata Q1279214

History

2026-11-02: add by m2/dev

collection, subset VCGVVFP48T

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

Mentions

hott_book: hott_book index/C.5/collection-subset, collection, subset (concept). In N54F33XE07, index, section C.5

History

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

VCH1YMAJTD VCH1YMAJTD

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

Mentions

arxiv: arXiv 2609.23464#XDG5 (statement)

History

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

Hermitian inner product VCH4372ZTH

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

Mentions

wikidata: Wikidata Q77583424, Hermitian inner product (unknown). Also MathWorld HermitianInnerProduct

History

2026-10-26: add by m2/dev

VCH7WJW823 VCH7WJW823

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

Mentions

napkin: napkin tex/riemann-surface/morphism.tex#example-1 (example). In RZP28ERRZV, example, section 86.1

History

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

VCHB0JMRNH VCHB0JMRNH

URI	`m2://inv/VCHB0JMRNH`
Kind	statement
Layer	research
MSC	03-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.28742#7MKY (statement)

History

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

VCHB2BRGF1 VCHB2BRGF1

URI	`m2://inv/VCHB2BRGF1`
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#3U6V (statement). In S26QVW5613/e1, lemma A.1.3

History

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

chart VCHGGZ423T

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

Mentions

wikidata: Wikidata Q3828144, chart (unknown). Also MathWorld CoordinateChart

History

2026-10-26: add by m2/dev

Moses Schönfinkel VCHPNJYTBT

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#ML2D, Moses Schönfinkel (topic)

History

2026-11-02: add by m2/dev

Berry's paradox VCHSVKPZBN

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

Mentions

wikipedia: Wikipedia Glossary of set theory#JULO, Berry's paradox (definition)

History

2026-11-02: add by m2/dev

spaghetti plot VCHXNFFB8A

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#KNQ1, spaghetti plot (definition)

History

2026-11-02: add by m2/dev

circular prime VCJ33448B5

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

Mentions

wikidata: Wikidata Q5121674, circular prime (unknown). Also MathWorld CircularPrime
wikipedia: Wikipedia Circular prime, Circular prime (object). Also Wikidata Q5121674

History

2026-10-26: add by m2/dev

Definition VCJ4AA1DMY

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

Mentions

wikipedia: Wikipedia Quasivariety#UU8I, Definition (definition)

History

2026-11-02: add by m2/dev

Yusu Wang VCJF0X9V5N

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#7358, Yusu Wang (unknown)

History

2026-11-02: add by m2/dev

Pre-feedback enables controllability for every $\lambda$ VCJMTERHPJ

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

Mentions

arxiv: arXiv 2610.08764#QN9L, Pre-feedback enables controllability for every $\lambda$ (statement). In QVFHS1C9BW/e1, theorem \thethrm

History

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

Shadow zone VCJNPT55AS

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

Mentions

wikipedia: Wikipedia Shadow zone, Shadow zone (definition). Also Wikidata Q1053146

History

2026-11-02: add by m2/dev

Castigliano's method VCJP3641ST

URI	`m2://inv/VCJP3641ST`
Kind	statement
Layer	textbook
MSC	70-XX
Sources	3
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q858978, Castigliano's first and second theorems (statement). Also Wikidata Q858978
thousand_plus: thousand_plus Q858978, Castigliano's first and second theorems (statement). Also Wikidata Q858978, Wikipedia Castigliano's method
wikipedia: Wikipedia Castigliano's method, Castigliano's method (definition). Also Wikidata Q858978

History

2026-10-26: add by m2/dev

abstract algebraic logic VCJSBJMGGX

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

Mentions

wikidata: Wikidata Q4669936, abstract algebraic logic (concept). Also EoM Abstract_algebraic_logic
wikipedia: Wikipedia Abstract algebraic logic, Abstract algebraic logic (definition). Also Wikidata Q4669936

History

2026-10-26: add by m2/dev

Definitions VCJW5H2GZE

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

Mentions

wikipedia: Wikipedia Admissible rule#C8XE, Definitions (definition)

History

2026-11-02: add by m2/dev

Benedict Zuckermann VCK0DGYQEW

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#4H6J, Benedict Zuckermann (unknown)

History

2026-11-02: add by m2/dev

Increasing the common-feature dimension VCK0GCD8Z8

URI	`m2://inv/VCK0GCD8Z8`
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.16845#OMCH, Increasing the common-feature dimension (statement). In 5BHBZF91HS/e1, proposition D.1

History

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

$\cA_k$-norm VCK369Q2VP

URI	`m2://inv/VCK369Q2VP`
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.21033#ZVN1, $\cA_k$-norm (definition). In A8C1M9BSWH/e1, definition B.1

History

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

VCK3KP2G8J VCK3KP2G8J

URI	`m2://inv/VCK3KP2G8J`
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.38815#XQTX (statement). In 2CEETN5YTZ/e1, lemma 7

History

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

Communications security VCKHQEWJ0X

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

Mentions

wikipedia: Wikipedia Communications security, Communications security (topic). Also Wikidata Q5154228

History

2026-11-02: add by m2/dev

Special cases VCKN9ZY926

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

Mentions

wikipedia: Wikipedia Quaternionic projective space#KOHO, Special cases (statement)

History

2026-11-02: add by m2/dev

VCKV34X086 VCKV34X086

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

Mentions

arxiv: arXiv 2609.19945#ZZKH (statement)

History

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

Brown–Forsythe test VCKXJAWQEY

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

Mentions

wikipedia: Wikipedia List of statistics articles#U4ZB, Brown–Forsythe test (definition)

History

2026-11-02: add by m2/dev

VCKZT73J7N VCKZT73J7N

URI	`m2://inv/VCKZT73J7N`
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 1911.06467#41B2 (statement). In G35G1NJKBX/e1, theorem

History

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

Ordinary singularity VCM3Z3G6VH

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

Mentions

wikipedia: Wikipedia Ordinary singularity, Ordinary singularity (definition). Also Wikidata Q7100852

History

2026-11-02: add by m2/dev

Louis Lazarus Silverman VCM4HTC7TZ

URI	`m2://inv/VCM4HTC7TZ`
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#ALP9, Louis Lazarus Silverman (unknown)

History

2026-11-02: add by m2/dev

Henry Flynt VCM99MKCFM

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

Mentions

wikipedia: Wikipedia Henry Flynt, Henry Flynt (topic). Also Wikidata Q971582

History

2026-11-02: add by m2/dev

Steiner ratio VCM9PYJ9CT

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

Mentions

wikipedia: Wikipedia Steiner tree problem#A62E, Steiner ratio (unknown)

History

2026-11-02: add by m2/dev

Original coincidence theorem VCMNHZFKXH

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

Mentions

wikipedia: Wikipedia Lefschetz fixed-point theorem#MBRB, Original coincidence theorem (statement)

History

2026-11-02: add by m2/dev

VCMQQDXBT6 VCMQQDXBT6

URI	`m2://inv/VCMQQDXBT6`
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 2208.06310#715M (definition). In 9YR0E0T9XA/e1, definition 2.14

History

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

R VCMSTGZ3A0

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

Mentions

wikipedia: Wikipedia List of statistical software#GUYZ, R (definition)

History

2026-11-02: add by m2/dev

VCMY7Q6EDX VCMY7Q6EDX

URI	`m2://inv/VCMY7Q6EDX`
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.24043#84MD (statement)

History

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

Truncated trihexagonal tiling VCN18M42JY

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

Mentions

wikipedia: Wikipedia List of Euclidean uniform tilings#QIM7, Truncated trihexagonal tiling (object)

History

2026-11-02: add by m2/dev

VCN2ENJ42J VCN2ENJ42J

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

Mentions

arxiv: arXiv 2610.01737#11EJ (example). In M4JGP708F4/e1, example 4.3

History

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

VCN5G16FFJ VCN5G16FFJ

URI	`m2://inv/VCN5G16FFJ`
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.40345#BOZO (statement). In WK0PT95WW1/e1, proposition B.1

History

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

VCN88DFE1Z VCN88DFE1Z

URI	`m2://inv/VCN88DFE1Z`
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.04673#D9YM (statement). In KKC0CT44FJ/e1, lemma 2.4

History

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

Implementation VCN9T8VXZS

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

Mentions

wikipedia: Wikipedia Change-making problem#7PIT, Implementation (definition)

History

2026-11-02: add by m2/dev

Health care analytics VCNBTE2EVV

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

Mentions

wikipedia: Wikipedia Health care analytics, Health care analytics (definition). Also Wikidata Q5690828

History

2026-11-02: add by m2/dev

Joshua Evan Greene VCNDV7XF0X

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

Mentions

wikipedia: Wikipedia Joshua Evan Greene, Joshua Evan Greene (topic). Also Wikidata Q102109534

History

2026-11-02: add by m2/dev

Harold Douglas Ursell VCNFP0YT4Q

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

Mentions

wikipedia: Wikipedia Harold Douglas Ursell, Harold Douglas Ursell (topic). Also Wikidata Q5660516

History

2026-11-02: add by m2/dev

VCNFVHWE2G VCNFVHWE2G

URI	`m2://inv/VCNFVHWE2G`
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 2609.27366#S9MC (statement)

History

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

reflection principle VCNNEXYB2R

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

Mentions

wikipedia: Wikipedia Glossary of set theory#592R, reflection principle (definition)

History

2026-11-02: add by m2/dev

VCNREFZ6EE VCNREFZ6EE

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

Mentions

arxiv: arXiv 2510.05499#Y54W (definition). In WRMNCC8VBC/e1, definition 29

History

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

VCNXRRQGRW VCNXRRQGRW

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

Mentions

arxiv: arXiv 2610.06200#L3RT (statement). In B5XCHJKX7Q/e1, theorem 2.10

History

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

prefix notation VCNYM0G620

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

Mentions

wikipedia: Wikipedia Glossary of logic#FAK7, prefix notation (definition)

History

2026-11-02: add by m2/dev

Theorem VCP16Q1MET

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

Mentions

wikipedia: Wikipedia Beauville–Laszlo theorem#LL2D, Theorem (statement)

History

2026-11-02: add by m2/dev

Statement VCPF61XYW2

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

Mentions

wikipedia: Wikipedia Volume conjecture#FFKR, Statement (statement)

History

2026-11-02: add by m2/dev

VCPK1PKXE5 VCPK1PKXE5

URI	`m2://inv/VCPK1PKXE5`
Kind	statement
Layer	research
MSC	13-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 2208.05276#2N00 (statement). In 4C5XHYTRT2/e1, lemma 1.9

History

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

VCPPXE1Q6C VCPPXE1Q6C

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#IVT:lemma (statement). In E59CDZA4DP, lemma, section 2.3.2

History

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

Athanassios S. Fokas VCPXJA229C

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

Mentions

wikipedia: Wikipedia List of Greek mathematicians#9Z8H, Athanassios S. Fokas (topic)

History

2026-11-02: add by m2/dev

Geometrical optics VCQ55FZDVD

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#H29Q, Geometrical optics (definition)

History

2026-11-02: add by m2/dev

English et al. VCQ874984J

URI	`m2://inv/VCQ874984J`
Kind	conjecture
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.11409#19HN, English et al. (conjecture). In 3NWSEMTHJR/e1, conjecture 1.1

History

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

Error representation VCQ9221VKV

URI	`m2://inv/VCQ9221VKV`
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 2610.22063#SBRW, Error representation (statement). In JHK0EAV79D/e1, lemma 1

History

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

Birational geometry VCQMVTJ103

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#JDRQ, Birational geometry (definition)

History

2026-11-02: add by m2/dev

triangle inequality, complex numbers VCQPE6XY5K

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

Mentions

lebl_ra: lebl_ra index/1.1.1/triangle-inequality-complex-numbers, triangle inequality, complex numbers (concept). In E59CDZA4DP, index, section 1.1.1

History

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

Henri Fehr VCQVA78F1Q

URI	`m2://inv/VCQVA78F1Q`
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#9KB7, Henri Fehr (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#EFQ1, Henri Fehr (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#H2T9, Henri Fehr (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#I3I7, Henri Fehr (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QR0H, Henri Fehr (topic)

History

2026-11-02: add by m2/dev

Examples VCQWM4FDFW

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

Mentions

wikipedia: Wikipedia Motivic L-function#7D8J, Examples (example)

History

2026-11-02: add by m2/dev

computation VCR4MAPCPF

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

Mentions

wikipedia: Wikipedia Glossary of logic#EA3V, computation (definition)

History

2026-11-02: add by m2/dev

VCR98EDKV1 VCR98EDKV1

URI	`m2://inv/VCR98EDKV1`
Kind	statement
Layer	research
MSC	03-XX, 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.04870#RUQV (statement). In X765ZXXVC3/e1, theorem 4.23

History

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

Gaussian correlation inequality VCR9R8MER2

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

Mentions

wikipedia: Wikipedia Gaussian correlation inequality, Gaussian correlation inequality (statement). Also Wikidata Q29167304

History

2026-11-02: add by m2/dev

VCRCWAQ39S VCRCWAQ39S

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

Mentions

arxiv: arXiv 2609.30444#CFBV (statement). In RZWJ0AT8W5/e1, corollary 3.5

History

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

VCRGS95PHX VCRGS95PHX

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

Mentions

arxiv: arXiv 2609.35927#37K2 (statement). In 7S0DWBCNS8/e1, theorem 3.3

History

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

VCRHH1R13Z VCRHH1R13Z

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

Mentions

open_logic: open_logic content/set-theory/ord-arithmetic/addition.tex#ordinaladditionisnice (statement). In PKGMM3P5QY, lem, section 71.8

History

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

Statement VCRP8VM3AB

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

Mentions

wikipedia: Wikipedia Brauer's theorem on induced characters#23IC, Statement (statement)

History

2026-11-02: add by m2/dev

Centre for Education in Mathematics and Computing VCRPRXMDFM

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#4IGO, Centre for Education in Mathematics and Computing (topic)

History

2026-11-02: add by m2/dev

Einstein tensor VCRW7E7Q47

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

Mentions

wikidata: Wikidata Q550929, Einstein tensor (unknown). Also MathWorld EinsteinTensor, nLab Einstein tensor
wikipedia: Wikipedia Einstein tensor, Einstein tensor (definition). Also Wikidata Q550929

History

2026-10-26: add by m2/dev

VCRX9R95EJ VCRX9R95EJ

URI	`m2://inv/VCRX9R95EJ`
Kind	definition
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 2609.21914#TUCH (definition)

History

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

VCRXSA5APH VCRXSA5APH

URI	`m2://inv/VCRXSA5APH`
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.00337#NF8T (statement). In 5STQ3ABZ60/e1, lemma 2.1

History

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

Example 7 VCSD1WKBAS

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

Mentions

wikipedia: Wikipedia Boolean algebras canonically defined#10YI, Example 7 (example)

History

2026-11-02: add by m2/dev

VCSEGYXAS5 VCSEGYXAS5

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

Mentions

active_calculus: active_calculus source/activities/act-3-5-2.xml#act-3-5-2 (exercise). In 907G4C4EJ1, activity, section 3.5.2

History

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

Selfridge–Conway procedure VCSSCJ3JXM

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

Mentions

wikipedia: Wikipedia List of unsolved problems in fair division#Z4KH, Selfridge–Conway procedure (definition)

History

2026-11-02: add by m2/dev

VCSV0ANZ99 VCSV0ANZ99

URI	`m2://inv/VCSV0ANZ99`
Kind	statement
Layer	research
MSC	11-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.00134#LHZY (statement). In S654779J5P/e1, lemma 4.1

History

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

VCSV82GY2T VCSV82GY2T

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

Mentions

arxiv: arXiv 2610.10927#3L1L (example). In DHEJP3YATV/e1, example 3

History

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

José Felipe Voloch VCSW43JMVK

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#VJ7A, José Felipe Voloch (unknown)

History

2026-11-02: add by m2/dev

de dicto VCSZ0854P8

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

Mentions

wikipedia: Wikipedia Glossary of logic#T94G, de dicto (definition)

History

2026-11-02: add by m2/dev

VCSZPE1CF4 VCSZPE1CF4

URI	`m2://inv/VCSZPE1CF4`
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 2411.07596#HK49 (statement). In 4SFRNADV8F/e1, lemma 2.1

History

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

VCT4EPD21M VCT4EPD21M

URI	`m2://inv/VCT4EPD21M`
Kind	conjecture
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.20513#27S8 (conjecture)

History

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

Example 6 VCT4ZG3JGW

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

Mentions

wikipedia: Wikipedia Boolean algebras canonically defined#NK2O, Example 6 (example)

History

2026-11-02: add by m2/dev

ratio test for series VCTCR3CZZJ

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

Mentions

lebl_ra: lebl_ra index/10.5.6/ratio-test-for-series, ratio test for series (concept). In E59CDZA4DP, index, section 10.5.6

History

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

The last acute branch VCTCWKP34R

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

Mentions

arxiv: arXiv 2610.15369#5YWK, The last acute branch (statement). In JESNVAZEYT/e1, corollary 5

History

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

VCTE13V7JJ VCTE13V7JJ

URI	`m2://inv/VCTE13V7JJ`
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.12169#MMHT (statement). In 645GF9SFWM/e1, theorem 6

History

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

coextensive VCTM9GHFGZ

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

Mentions

wikipedia: Wikipedia Glossary of logic#1F77, coextensive (definition)

History

2026-11-02: add by m2/dev

VCTMZN1XX6 VCTMZN1XX6

URI	`m2://inv/VCTMZN1XX6`
Kind	example
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#SPHQ (example). In H7DMRWBBJN/e1, example 7.7

History

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

VCTNYYWGCQ VCTNYYWGCQ

URI	`m2://inv/VCTNYYWGCQ`
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#24O2 (statement). In S284XRA4WK/e1, lemma B.7

History

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

VCTR7SCQ3M VCTR7SCQ3M

URI	`m2://inv/VCTR7SCQ3M`
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.14240#VU3M (definition). In HGQCBDDMQJ/e1, definition 2.10

History

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

VCTYAFJD1K VCTYAFJD1K

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

Mentions

open_logic: open_logic content/sets-functions-relations/infinite/dedekind-algebra.tex#thm:DedekindInfiniteAlgebra (statement). In PKGMM3P5QY, thm, section 79.6

History

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

Gaussian process emulator VCV2RPXKQ0

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

Mentions

wikipedia: Wikipedia List of statistics articles#5SNL, Gaussian process emulator (definition)

History

2026-11-02: add by m2/dev

An unbounded ratio within the shared-window class VCVCSXJ93P

URI	`m2://inv/VCVCSXJ93P`
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#0Y8W, An unbounded ratio within the shared-window class (statement). In TQSHQZFCS5/e1, corollary G.3

History

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

maximal ideal VCVZ0EPK0S

URI	`m2://inv/VCVZ0EPK0S`
Kind	definition
Layer	textbook
Sources	4
Outcome	node (a node has the same name as the row)
Node	Maximal ideal 09J6KGT65G

Mentions

mathlib_overview: mathlib_overview General algebra > Ideals and quotients > maximal ideal, maximal ideal (unknown). Also Mathlib Ideal.IsMaximal
mathlib_undergrad: mathlib_undergrad Ring Theory > Ideals and Quotients > maximal ideals, maximal ideals (unknown). Also Mathlib Ideal.IsMaximal
wikidata: Wikidata Q1203540, maximal ideal (definition). Also EoM Maximal_ideal, Mathlib Ideal.IsMaximal, MathWorld MaximalIdeal, nLab maximal ideal, ProofWiki Definition:Maximal_Ideal_of_Ring
wikipedia: Wikipedia Maximal ideal, Maximal ideal (definition). Also Wikidata Q1203540

History

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

Fan Li VCWQRZC0BF

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

Mentions

wikipedia: Wikipedia Fan Li (statistician), Fan Li (topic). Also Wikidata Q57220579

History

2026-11-02: add by m2/dev

609 (number) VCWRD5Y923

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

Mentions

wikipedia: Wikipedia 600 (number)#IQ8F, 609 (number) (unknown)

History

2026-11-02: add by m2/dev

VCWTPXJ2V2 VCWTPXJ2V2

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

Mentions

arxiv: arXiv 1806.05002#BFJ4 (statement). In JBAQ7DTW7B/e1, lemma B.3

History

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

Construction VCWXS2R17J

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

Mentions

wikipedia: Wikipedia Sierpiński carpet#UNIG, Construction (definition)

History

2026-11-02: add by m2/dev

VCXCBKDN4P VCXCBKDN4P

URI	`m2://inv/VCXCBKDN4P`
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#Q9VO (statement). In 8KAC1E81JQ/e1, corollary 1

History

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

VCXCGXQ43Z VCXCGXQ43Z

URI	`m2://inv/VCXCGXQ43Z`
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.11145#5OKZ (statement). In 2KME4YY99M/e1, proposition 9

History

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

VCXQT5CWC5 VCXQT5CWC5

URI	`m2://inv/VCXQT5CWC5`
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.31489#UKQU (statement). In ZKBG58PN1J/e1, theorem 5.8

History

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

Classifying space for U(n) VCY18RW0NK

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

Mentions

wikipedia: Wikipedia Classifying space for U(n), Classifying space for U(n) (definition). Also Wikidata Q5128446

History

2026-11-02: add by m2/dev

VCY7NCYFR5 VCY7NCYFR5

URI	`m2://inv/VCY7NCYFR5`
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.21899#I1U8 (statement). In YRN5P43B2N/e1, lemma 3.4

History

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

Regularization perspectives on support vector machines VCYAVNMBFR

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

Mentions

wikipedia: Wikipedia Regularization perspectives on support vector machines, Regularization perspectives on support vector machines (definition). Also Wikidata Q7309628

History

2026-11-02: add by m2/dev

VCYDS3TTRX VCYDS3TTRX

URI	`m2://inv/VCYDS3TTRX`
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#QQS1 (example). In ZZ2P08DVQW/e1, example 10.5

History

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

VCYTNKR0NC VCYTNKR0NC

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

Mentions

arxiv: arXiv 2610.05506#LO58 (statement). In FT53PMB1TE/e1, lemma 7.1.2

History

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

Statement of the theorem VCZ20MX4J4

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

Mentions

wikipedia: Wikipedia Universal chord theorem#LNUR, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

VCZ2W9X499 VCZ2W9X499

URI	`m2://inv/VCZ2W9X499`
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 2304.03611#DH9Z (definition). In 75E8ZB1CBV/e1, definition 2.2.3

History

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

Alessandra Lunardi VCZ31RQNV6

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

Mentions

wikipedia: Wikipedia Alessandra Lunardi, Alessandra Lunardi (topic). Also Wikidata Q59304505

History

2026-11-02: add by m2/dev

VCZ42ZET2X VCZ42ZET2X

URI	`m2://inv/VCZ42ZET2X`
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.14318#JN3N (statement). In HA4SZZJ831/e1, theorem 4.4

History

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

VCZBBHNMYG VCZBBHNMYG

URI	`m2://inv/VCZBBHNMYG`
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 2407.02022#EJXJ (statement). In RZDNWV9E29/e1, lemma 2.6

History

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

Coherent information decomposition VCZJM70Y1W

URI	`m2://inv/VCZJM70Y1W`
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.03674#ZTWT, Coherent information decomposition (statement). In GAGZ2K7VMC/e1, lemma 2

History

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

Scilab VCZZMC1SVR

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

Mentions

wikipedia: Wikipedia List of statistical software#T0ZA, Scilab (unknown)

History

2026-11-02: add by m2/dev