Inventory rows ET

ET06V742PF ET06V742PF

URI	`m2://inv/ET06V742PF`
Kind	statement
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#48TE (statement). In CY1FE8W1ZW/e1, lemma 3

History

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

Adi Shamir ET07EGWVJY

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#PWYV, Adi Shamir (topic)

History

2026-11-02: add by m2/dev

coadjoint representation ET07VTHRT2

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

Mentions

wikidata: Wikidata Q5137654, coadjoint representation (unknown). Also EoM Coadjoint_representation, nLab coadjoint action
wikipedia: Wikipedia Coadjoint representation, Coadjoint representation (definition). Also Wikidata Q5137654

History

2026-10-26: add by m2/dev

Ext functor ET08CHASQX

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#OB3X, Ext functor (definition)

History

2026-11-02: add by m2/dev

ET0DPZ0J2V ET0DPZ0J2V

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

Mentions

arxiv: arXiv 2610.08682#1GTX (statement). In Y306A1GPM5/e1, lemma 3.1

History

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

ET0JH2188S ET0JH2188S

URI	`m2://inv/ET0JH2188S`
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.08581#2C20 (statement). In VCSPPW15BE/e1, lemma 6.1

History

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

Inversion formula ET0KG74PGG

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

Mentions

wikipedia: Wikipedia Fourier–Bros–Iagolnitzer transform#M7IB, Inversion formula (statement)

History

2026-11-02: add by m2/dev

List of mathematical societies ET0ZXAQH06

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

Mentions

wikipedia: Wikipedia List of mathematical societies, List of mathematical societies (topic). Also Wikidata Q6627333

History

2026-11-02: add by m2/dev

Existence and uniqueness ET13MJ23PP

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

Mentions

wikipedia: Wikipedia Geodesic#GE4B, Existence and uniqueness (statement)

History

2026-11-02: add by m2/dev

ET189NBSM1 ET189NBSM1

URI	`m2://inv/ET189NBSM1`
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.16233#OIYL (statement). In RNXMADQ33J/e1, theorem 3.1

History

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

ET18BH8HEW ET18BH8HEW

URI	`m2://inv/ET18BH8HEW`
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#89LA (statement). In GAGZ2K7VMC/e1, lemma 3

History

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

ET1JT9W52P ET1JT9W52P

URI	`m2://inv/ET1JT9W52P`
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#Q5U0 (statement). In B5XCHJKX7Q/e1, theorem 2.13

History

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

Kari Astala ET1TDM5GDC

URI	`m2://inv/ET1TDM5GDC`
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#QPY6, Kari Astala (topic)

History

2026-11-02: add by m2/dev

ET1TY4ZH6H ET1TY4ZH6H

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

Mentions

arxiv: arXiv 2610.13180#A3EQ (statement). In 7TSVFYEGD8/e1, lemma 3.2

History

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

Spin structures on the third cyclic cover ET1VG5BVP9

URI	`m2://inv/ET1VG5BVP9`
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 2609.29839#W0CZ, Spin structures on the third cyclic cover (statement)

History

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

Knee of a curve ET1WW9FXN4

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

Mentions

wikipedia: Wikipedia Knee of a curve, Knee of a curve (definition). Also Wikidata Q96386125

History

2026-11-02: add by m2/dev

Compatibility of geometric realizations ET1XWN2PNR

URI	`m2://inv/ET1XWN2PNR`
Kind	problem
Layer	research
MSC	14-XX, 53-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.28220#NBY1, Compatibility of geometric realizations (problem)

History

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

ET1ZSBGEA8 ET1ZSBGEA8

URI	`m2://inv/ET1ZSBGEA8`
Kind	statement
Layer	research
MSC	11-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.33590#Z1TC (statement). In WRE0P7V6Z3/e1, corollary 1.38

History

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

ET20SC75N9 ET20SC75N9

URI	`m2://inv/ET20SC75N9`
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.11034#E671 (statement). In 2KACPY9MMF/e1, lemma 3.1

History

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

ET2B358MPZ ET2B358MPZ

URI	`m2://inv/ET2B358MPZ`
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 2609.27851#5ONT (statement)

History

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

ET2CRKD7GM ET2CRKD7GM

URI	`m2://inv/ET2CRKD7GM`
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 2610.06480#1KO5 (definition). In 2Y47E704Z9/e1, definition

History

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

Pyatigorsk ET2FVP5HJA

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

Mentions

wikipedia: Wikipedia List of places with numeric names#9W8R, Pyatigorsk (unknown)

History

2026-11-02: add by m2/dev

Ian Rubin ET2K2HKZEW

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#H7G3, Ian Rubin (unknown)

History

2026-11-02: add by m2/dev

ET2Q4Y4GSY ET2Q4Y4GSY

URI	`m2://inv/ET2Q4Y4GSY`
Kind	statement
Layer	research
MSC	26-XX, 37-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 2609.22058#YI7Y (statement)

History

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

bullet cluster ET2Y8WREGW

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

Mentions

wikidata: Wikidata Q208935, bullet cluster (unknown). Also nLab bullet cluster

History

2026-10-26: add by m2/dev

differential operator ET36N9F8PQ

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

Mentions

wikipedia: Wikipedia Glossary of calculus#JUK7, differential operator (definition)

History

2026-11-02: add by m2/dev

ET3Y8G3AWX ET3Y8G3AWX

URI	`m2://inv/ET3Y8G3AWX`
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.26386#D7VS (definition)

History

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

Prolate ET415PBTGG

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

Mentions

wikipedia: Wikipedia Spheroid#ZQNE, Prolate (unknown)

History

2026-11-02: add by m2/dev

Theta constant ET4GRA4RR6

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

Mentions

wikipedia: Wikipedia Theta constant, Theta constant (definition). Also Wikidata Q25303725

History

2026-11-02: add by m2/dev

ET4RFEXSCJ ET4RFEXSCJ

URI	`m2://inv/ET4RFEXSCJ`
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.11047#F98V (statement). In MNQAZ70XTH/e1, proposition 8.11

History

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

List of mathematical knots and links ET4Z7A4Y9K

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

Mentions

wikipedia: Wikipedia List of knot theory topics#VDB4, List of mathematical knots and links (topic)
wikipedia: Wikipedia Lists of mathematics topics#S70V, List of mathematical knots and links (topic)

History

2026-11-02: add by m2/dev

ET548GCJDR ET548GCJDR

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

Mentions

open_logic: open_logic content/computability/recursive-functions/pr-relations.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 3.31

History

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

ET5A0SARJC ET5A0SARJC

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

Mentions

arxiv: arXiv 2610.17717#1EI1 (statement). In YXRKS451PK/e1, theorem 1.3

History

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

Gauss–Codazzi equations ET5G0G75FF

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#EE7A, Gauss–Codazzi equations (definition)
wikipedia: Wikipedia List of named differential equations#XWMZ, Gauss–Codazzi equations (definition)

History

2026-11-02: add by m2/dev

Application ET5W61WTRK

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

Mentions

wikipedia: Wikipedia Max-flow min-cut theorem#X4CK, Application (example)

History

2026-11-02: add by m2/dev

Shai Evra ET61FMRVX4

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

Mentions

wikipedia: Wikipedia Shai Evra, Shai Evra (topic). Also Wikidata Q103135745

History

2026-11-02: add by m2/dev

Dwork's lemma ET656G2ATT

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

Mentions

wikipedia: Wikipedia List of lemmas#I0YC, Dwork's lemma (definition)

History

2026-11-02: add by m2/dev

Pham Huu Tiep ET65HGRRD3

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

Mentions

wikipedia: Wikipedia Pham Huu Tiep, Pham Huu Tiep (topic). Also Wikidata Q49054670

History

2026-11-02: add by m2/dev

perfect ring ET6D34YV71

URI	`m2://inv/ET6D34YV71`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Perfect ring 49Y9Q949PK

Mentions

wikidata: Wikidata Q7168096, perfect ring (unknown). Also nLab perfect ring
wikipedia: Wikipedia Perfect ring, Perfect ring (definition). Also Wikidata Q7168096

History

2026-10-26: add by m2/dev

Giordano Riccati ET6EFG0J64

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#NPWS, Giordano Riccati (topic)

History

2026-11-02: add by m2/dev

ET6PYVTNG5 ET6PYVTNG5

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

Mentions

arxiv: arXiv 2610.08594#TG9M (statement). In FEE70SSD96/e1, proposition C.1

History

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

ET6QHJYT4K ET6QHJYT4K

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

Mentions

austin_ula: austin_ula src/exercises/exercises7-4.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 7.4

History

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

Berlin Mathematical School ET6QQZHVKM

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

Mentions

wikipedia: Wikipedia Berlin Mathematical School, Berlin Mathematical School (definition). Also Wikidata Q821305

History

2026-11-02: add by m2/dev

Particle in a ring ET6T5JE2DG

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#LEUZ, Particle in a ring (unknown)

History

2026-11-02: add by m2/dev

ET6YXMSNVJ ET6YXMSNVJ

URI	`m2://inv/ET6YXMSNVJ`
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.38838#WCIT (statement). In 3EH8M9GWTX/e1, lemma 4.4

History

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

ET73JE00VF ET73JE00VF

URI	`m2://inv/ET73JE00VF`
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 2407.08004#X4F6 (statement). In TYS65EG479/e1, theorem 3

History

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

Octadecagon ET76K9XNKF

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

Mentions

wikipedia: Wikipedia List of two-dimensional geometric shapes#UB5V, Octadecagon (definition)

History

2026-11-02: add by m2/dev

Mutation ET798QE31B

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

Mentions

wikipedia: Wikipedia Mutation (algebra), Mutation (definition). Also Wikidata Q17099235

History

2026-11-02: add by m2/dev

ET7A3RH3GD ET7A3RH3GD

URI	`m2://inv/ET7A3RH3GD`
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.22469#B022 (statement)

History

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

ET7H3RFR79 ET7H3RFR79

URI	`m2://inv/ET7H3RFR79`
Kind	statement
Layer	research
MSC	05-XX, 14-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.19669#NDS7 (statement). In 1QPAA94Q76/e1, corollary 22

History

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

decidable, equality ET7KQDVJDA

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

Mentions

hott_book: hott_book index/6.2/decidable-equality, decidable, equality (concept). In N54F33XE07, index, section 6.2

History

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

General energy bound ET7RMVRCNR

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

Mentions

arxiv: arXiv 2610.01035#8WVJ, General energy bound (statement). In MVQWXFXWM7/e1, proposition 4.1

History

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

Variants of bisimulation ET7RR6FRJJ

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

Mentions

wikipedia: Wikipedia Bisimulation#07KU, Variants of bisimulation (statement)

History

2026-11-02: add by m2/dev

Quine's dictum ET80BH6R63

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

Mentions

wikipedia: Wikipedia Glossary of logic#BZ37, Quine's dictum (definition)

History

2026-11-02: add by m2/dev

L-functions and Beilinson's conjecture ET80F8DJ24

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

Mentions

wikipedia: Wikipedia Christopher Deninger#AFHM, L-functions and Beilinson's conjecture (statement)

History

2026-11-02: add by m2/dev

Variations ET845D5N8G

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

Mentions

wikipedia: Wikipedia Purchasing power parity#0WXR, Variations (statement)

History

2026-11-02: add by m2/dev

Hilbert–Bernays paradox ET8494HV7M

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

Mentions

wikipedia: Wikipedia Hilbert–Bernays paradox, Hilbert–Bernays paradox (statement). Also Wikidata Q18349476

History

2026-11-02: add by m2/dev

Aubrey William Ingleton ET8BMXHRCP

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#IR8Q, Aubrey William Ingleton (topic)

History

2026-11-02: add by m2/dev

An Introduction to Manifolds ET8BYRENRR

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

Mentions

wikipedia: Wikipedia An Introduction to Manifolds, An Introduction to Manifolds (definition). Also Wikidata Q137189352

History

2026-11-02: add by m2/dev

Riemann's integral formula ET8TM0YVF1

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

Mentions

wikipedia: Wikipedia Riemann–Siegel formula#BFBJ, Riemann's integral formula (statement)

History

2026-11-02: add by m2/dev

Additively separable functions ET8VFMH216

URI	`m2://inv/ET8VFMH216`
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 2610.14616#S3D2, Additively separable functions (definition). In 17ACAG0N9C/e1, definition 5.3

History

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

$\varepsilon$-NFA ET90RXAGMX

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

Mentions

mathlib_overview: mathlib_overview Logic and computation > Formal languages > $\varepsilon$-NFA, $\varepsilon$-NFA (unknown). Also Mathlib εNFA

History

2026-10-26: add by m2/dev

Extension ET924GA6SH

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

Mentions

wikipedia: Wikipedia Prokhorov's theorem#HB9Z, Extension (statement)

History

2026-11-02: add by m2/dev

ET9MTPEDHD ET9MTPEDHD

URI	`m2://inv/ET9MTPEDHD`
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 2610.10469#0QDB (definition). In Q39BEKW6D9/e1, definition A.1

History

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

Color control ET9SE1WE0V

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

Mentions

arxiv: arXiv math/0003117#ZJN3, Color control (definition). In WD2NCBV9F0/e1, definition 21.2

History

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

Radivoj Kašanin ETA1F2GSGT

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

Mentions

wikipedia: Wikipedia Radivoj Kašanin, Radivoj Kašanin (topic). Also Wikidata Q1563547

History

2026-11-02: add by m2/dev

Arithmetical set ETA2RES37H

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#R5KY, Arithmetical set (definition)
wikipedia: Wikipedia List of types of sets#23TV, Arithmetical set (definition)

History

2026-11-02: add by m2/dev

ETA6HP8XNZ ETA6HP8XNZ

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

Mentions

arxiv: arXiv 2610.16123#ZIMJ (statement). In 6VR4TY5BGV/e1, lemma 2.1

History

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

ETACYFMQQF ETACYFMQQF

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

Mentions

arxiv: arXiv 2610.16541#GTSC (definition). In D0XH7W96T3/e1, definition 4.1

History

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

Alexander L. Rosenberg ETAH0QX14A

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

Mentions

wikipedia: Wikipedia Alexander L. Rosenberg, Alexander L. Rosenberg (topic). Also Wikidata Q55264828

History

2026-11-02: add by m2/dev

ETAM41JJX7 ETAM41JJX7

URI	`m2://inv/ETAM41JJX7`
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 1002.0879#R04I (statement). In M0SQY5EZN5/e1, theorem 2.8.5

History

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

Reduced singular value decomposition ETAMVDJCHA

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

Mentions

austin_ula: austin_ula src/section7-4.xml#prop-reduced-svd, Reduced singular value decomposition (statement). In 649HGZKE96, proposition, section 7.4.4

History

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

Peter Gustav Lejeune Dirichlet ETAQ7KV6E5

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

Mentions

wikipedia: Wikipedia List of publications in mathematics#2JR9, Peter Gustav Lejeune Dirichlet (topic)

History

2026-11-02: add by m2/dev

670 (number) ETAR02MCCF

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

Mentions

wikipedia: Wikipedia 600 (number)#NFTN, 670 (number) (unknown)

History

2026-11-02: add by m2/dev

Applications ETAX8S8X03

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

Mentions

wikipedia: Wikipedia Mathematical analysis#4Q9W, Applications (example)

History

2026-11-02: add by m2/dev

Theorem ETB0KSZ62B

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

Mentions

wikipedia: Wikipedia Cayley configuration space#DAOQ, Theorem (statement)

History

2026-11-02: add by m2/dev

Negafibonacci coding ETB6626N0Z

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

Mentions

wikipedia: Wikipedia Negafibonacci coding, Negafibonacci coding (definition). Also Wikidata Q16254296

History

2026-11-02: add by m2/dev

Admissibility of the coupled trial family ETBWTKMV60

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

Mentions

arxiv: arXiv 2610.19837#H86W, Admissibility of the coupled trial family (statement). In 837NSWQM1P/e1, lemma 4.3

History

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

Regular 7-polytope ETC2GCTF5N

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

Mentions

wikipedia: Wikipedia Uniform 7-polytope#93V1, Regular 7-polytope (unknown)

History

2026-11-02: add by m2/dev

Fritz Scheuren ETC54RPQ17

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

Mentions

wikipedia: Wikipedia Fritz Scheuren, Fritz Scheuren (topic). Also Wikidata Q102235270

History

2026-11-02: add by m2/dev

Exponentially large memory time of the PBC helical code ETC617PP3T

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

Mentions

arxiv: arXiv 2610.04834#GT8H, Exponentially large memory time of the PBC helical code (statement). In YZNK67K060/e1, proposition 8.3

History

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

ETC9EKHEH6 ETC9EKHEH6

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

Mentions

arxiv: arXiv 2610.19214#ELVQ (definition). In WZPD7TNNY9/e1, definition 3.1

History

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

ETCA9CVJ2X ETCA9CVJ2X

URI	`m2://inv/ETCA9CVJ2X`
Kind	example
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 2609.25353#9XLE (example)

History

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

Bohumil Bydžovský ETCJXP8QNX

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

Mentions

wikipedia: Wikipedia Bohumil Bydžovský, Bohumil Bydžovský (topic). Also Wikidata Q11218003

History

2026-11-02: add by m2/dev

ETCTZH1XVJ ETCTZH1XVJ

URI	`m2://inv/ETCTZH1XVJ`
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.39790#E6VA (statement). In C2C9GTQFYF/e1, theorem A

History

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

Perfect recall ETD7QKDT4B

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

Mentions

wikipedia: Wikipedia Perfect recall (game theory), Perfect recall (definition). Also Wikidata Q133093508

History

2026-11-02: add by m2/dev

ETD8DTS92M ETD8DTS92M

URI	`m2://inv/ETD8DTS92M`
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.18270#LM3E (statement). In CPDMYJ0NJV/e1, lemma 9.5

History

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

A sufficient condition for (R3 ETDAGCYV7K

URI	`m2://inv/ETDAGCYV7K`
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.32585#JU9L, A sufficient condition for (R3 (statement). In FJFJ3WR1SS/e1, lemma 7.5

History

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

ETDC05WFB1 ETDC05WFB1

URI	`m2://inv/ETDC05WFB1`
Kind	example
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 2404.18704#TQ49 (example). In T4MQVXFGWC/e1, example 5.2

History

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

Qualitative reasoning ETDEQGX17S

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

Mentions

wikipedia: Wikipedia Qualitative reasoning, Qualitative reasoning (topic). Also Wikidata Q7268699

History

2026-11-02: add by m2/dev

Algorithm ETDGQJS4WF

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

Mentions

wikipedia: Wikipedia Social cognitive optimization#IJD9, Algorithm (definition)

History

2026-11-02: add by m2/dev

ETDHMNN5BV ETDHMNN5BV

URI	`m2://inv/ETDHMNN5BV`
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.37471#2BGP (statement). In KDF1GTQV08/e1, lemma 5

History

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

ETDJB82B9Z ETDJB82B9Z

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

Mentions

arxiv: arXiv 2610.04046#5NWF (statement). In 3THDT8WNF7/e1, lemma 2

History

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

free group ETDMCH9TWE

URI	`m2://inv/ETDMCH9TWE`
Kind	definition
Layer	textbook
Sources	3
Outcome	node (a node has the same name as the row)
Node	Free group 020Z5SEN27

Mentions

mathlib_overview: mathlib_overview General algebra > Group theory > free group, free group (unknown). Also Mathlib FreeGroup
wikidata: Wikidata Q431078, free group (definition). Also Mathlib FreeGroup, nLab free group, ProofWiki Definition:Free_Group
wikipedia: Wikipedia Free group, Free group (definition). Also Wikidata Q431078

History

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

Superconnectivity ETDW701VYC

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

Mentions

wikipedia: Wikipedia Connectivity (graph theory)#3XTA, Superconnectivity (unknown)

History

2026-11-02: add by m2/dev

ETDZM6CQS0 ETDZM6CQS0

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

Mentions

arxiv: arXiv 2610.07380#2Y2Q (statement). In XM2CDRKSGE/e1, proposition 4.2

History

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

\textsc{Signomial-Convexity ETE0YTTW8P

URI	`m2://inv/ETE0YTTW8P`
Kind	problem
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.01812#2IUV, \textsc{Signomial-Convexity (problem). In FQPVSYXAGC/e1, problem 2

History

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

ETE1Z105MZ ETE1Z105MZ

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

Mentions

napkin: napkin tex/complex-ana/meromorphic.tex#example-4 (example). In RZP28ERRZV, example, section 41.2

History

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

Estimated information and confidence intervals ETEEKV3MCC

URI	`m2://inv/ETEEKV3MCC`
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.10080#E0GH, Estimated information and confidence intervals (statement). In N6EBNRZCYX/e1, corollary 3.5

History

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

Maltese cross ETERXGKEA2

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

Mentions

wikidata: Wikidata Q225937, Maltese cross (unknown). Also MathWorld MalteseCross

History

2026-10-26: add by m2/dev

Affine transformations of feature maps ETEXDR53CT

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

Mentions

arxiv: arXiv 2610.13916#GLOX, Affine transformations of feature maps (statement). In JS2JSD0507/e1, proposition 3.1

History

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

injection ETEYJ7BA7P

URI	`m2://inv/ETEYJ7BA7P`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Injective function 09NWETVTNY

Mentions

wikidata: Wikidata Q182003, injection (unknown). Also EoM Injection, MathWorld Injection
wikipedia: Wikipedia Injective function, Injective function (definition). Also Wikidata Q182003

History

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

1700 (number) ETF8J31F19

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

Mentions

wikipedia: Wikipedia 1000 (number)#HIRC, 1700 (number) (unknown)

History

2026-11-02: add by m2/dev

Additive model ETF9S5540X

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

Mentions

wikipedia: Wikipedia List of statistics articles#34BV, Additive model (definition)

History

2026-11-02: add by m2/dev

Exact finite-block rank--collision identity ETFFDETYQK

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

Mentions

arxiv: arXiv 2609.29688#6S7C, Exact finite-block rank--collision identity (statement)

History

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

Case–control study ETFJSQZHNN

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

Mentions

wikipedia: Wikipedia Case–control study, Case–control study (definition). Also Wikidata Q961652

History

2026-11-02: add by m2/dev

Statement of the inequality ETG0WKSYN1

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

Mentions

wikipedia: Wikipedia Gagliardo–Nirenberg interpolation inequality#W82Q, Statement of the inequality (statement)

History

2026-11-02: add by m2/dev

Alternative definitions ETG5NY9X28

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

Mentions

wikipedia: Wikipedia Rank (linear algebra)#ZSR1, Alternative definitions (definition)

History

2026-11-02: add by m2/dev

Cohomology theory ETG6JSBPNE

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#MSHH, Cohomology theory (definition)

History

2026-11-02: add by m2/dev

The Principles ETG8HTCQYR

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

Mentions

wikipedia: Wikipedia Littlewood's three principles of real analysis#FT9N, The Principles (statement)

History

2026-11-02: add by m2/dev

ETGGZN9BFA ETGGZN9BFA

URI	`m2://inv/ETGGZN9BFA`
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 2605.24355#AQID (statement). In VV3AJMWWCR/e1, lemma 4

History

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

ETGNXPNHRP ETGNXPNHRP

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

Mentions

arxiv: arXiv 2609.31445#19U9 (statement). In 7V2PVZS04C/e1, corollary 3.8

History

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

ETGRSC9BZP ETGRSC9BZP

URI	`m2://inv/ETGRSC9BZP`
Kind	statement
Layer	research
MSC	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 2210.17066#DKR3 (statement). In X2AEJAQEP8/e1, proposition 3.5

History

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

Wave packet density ETGZR8R0BA

URI	`m2://inv/ETGZR8R0BA`
Kind	definition
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#531P, Wave packet density (definition). In C93BAXKJVD/e1, definition 2.1

History

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

The obstruction at $\omega_1^{L[r]}=\omega_1$ ETH14DWB8X

URI	`m2://inv/ETH14DWB8X`
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.14548#7IFW, The obstruction at $\omega_1^{L[r]}=\omega_1$ (statement). In TTNKABAYVB/e1, theorem 6.2

History

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

Abraham Stern ETH1CE0DFN

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#B3RA, Abraham Stern (topic)

History

2026-11-02: add by m2/dev

ETH80RA78W ETH80RA78W

URI	`m2://inv/ETH80RA78W`
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.13392#EGX2 (statement). In 2FVND41HVS/e1, lemma 5.8

History

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

Elliptic curves over schemes ETH9FY7YB0

URI	`m2://inv/ETH9FY7YB0`
Kind	definition
Layer	research
MSC	11-XX, 14-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.28514#9NRE, Elliptic curves over schemes (definition)

History

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

Filippo Antonio Revelli ETH9VQ8PDG

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

Mentions

wikipedia: Wikipedia Filippo Antonio Revelli, Filippo Antonio Revelli (topic). Also Wikidata Q18945263

History

2026-11-02: add by m2/dev

non-deterministic turing machine ETHB6C94WN

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

Mentions

wikipedia: Wikipedia Glossary of logic#4OF1, non-deterministic turing machine (definition)

History

2026-11-02: add by m2/dev

Permutation polynomial ETHJ72XCRD

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

Mentions

wikipedia: Wikipedia List of polynomial topics#F883, Permutation polynomial (definition)
wikipedia: Wikipedia List of permutation topics#P457, Permutation polynomial (definition)

History

2026-11-02: add by m2/dev

Jacek Banasiak ETHM78S59K

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

Mentions

wikipedia: Wikipedia Jacek Banasiak, Jacek Banasiak (topic). Also Wikidata Q70721384

History

2026-11-02: add by m2/dev

ETHNVGWDY8 ETHNVGWDY8

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

Mentions

arxiv: arXiv 2609.28824#2YLY (statement)

History

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

Definition ETHP52AY4B

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

Mentions

wikipedia: Wikipedia Paratingent cone#3GPV, Definition (definition)

History

2026-11-02: add by m2/dev

conjugacy class ETHRVMPKX9

URI	`m2://inv/ETHRVMPKX9`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Conjugacy class 0DEBXAJ5SA

Mentions

wikidata: Wikidata Q1353233, conjugacy class (definition). Also MathWorld ConjugacyClass, nLab conjugacy class, ProofWiki Definition:Conjugacy_Class
wikipedia: Wikipedia Conjugacy class, Conjugacy class (definition). Also Wikidata Q1353233

History

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

ETHSAXFCYP ETHSAXFCYP

URI	`m2://inv/ETHSAXFCYP`
Kind	statement
Layer	research
MSC	03-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.01919#99ZH (statement). In 4H727T2YAS/e1, lemma 4.3

History

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

ETHTSTJV9E ETHTSTJV9E

URI	`m2://inv/ETHTSTJV9E`
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 2309.15424#IBSI (statement). In NXYZ1EAWKN/e1, corollary 3.3

History

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

ETHX88YXXX ETHX88YXXX

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

Mentions

open_logic: open_logic content/set-theory/card-arithmetic/simp.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 69.5

History

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

ETJ14FT0ND ETJ14FT0ND

URI	`m2://inv/ETJ14FT0ND`
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 2205.09049#BVQ3 (definition). In 37S7MNMZ2F/e1, definition 24

History

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

Ridge regression ETJBPS66AE

URI	`m2://inv/ETJBPS66AE`
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#T8KA, Ridge regression (statement). In 83MMH8VF1X/e1, proposition 4.6

History

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

George Lusztig ETK2MBRGJ7

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#OXM3, George Lusztig (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BVD6, George Lusztig (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FYZT, George Lusztig (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZLIO, George Lusztig (unknown)

History

2026-11-02: add by m2/dev

Scalar stability ETK486GC6G

URI	`m2://inv/ETK486GC6G`
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.21016#K35A, Scalar stability (statement)

History

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

ETK65FS7YD ETK65FS7YD

URI	`m2://inv/ETK65FS7YD`
Kind	statement
Layer	research
MSC	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 2604.07243#IHHG (statement). In 9RH8C8RYW3/e1, proposition 2.1

History

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

ETK73FZHT2 ETK73FZHT2

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

Mentions

arxiv: arXiv 2609.36827#C0ZH (statement). In VSHAQTB2CA/e1, corollary 3.4

History

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

ETK8MRZTG0 ETK8MRZTG0

URI	`m2://inv/ETK8MRZTG0`
Kind	statement
Layer	research
MSC	37-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 2610.19023#L6VS (statement). In QFA8TMJPHZ/e1, theorem 1.1

History

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

Double counting ETKD4T5DT8

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

Mentions

wikipedia: Wikipedia Double counting (proof technique), Double counting (definition). Also Wikidata Q1191750

History

2026-11-02: add by m2/dev

Semantic --- \textsc{N-E ETKFDSK668

URI	`m2://inv/ETKFDSK668`
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.21131#VZP5, Semantic --- \textsc{N-E (statement). In CPYWHRTPKC/e1, lemma 7.45

History

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

ETKJ2WKZM2 ETKJ2WKZM2

URI	`m2://inv/ETKJ2WKZM2`
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 2108.00412#B650 (statement). In APD8GE0E4F/e1, proposition 2.13

History

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

Dimension expanders, Proposition 2.1 ETKJJRFDG8

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

Mentions

arxiv: arXiv 2504.07573#MCTQ, Dimension expanders, Proposition 2.1 (statement). In 78X5SKJX8J/e1, theorem 1.5

History

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

ETKK6NTMNV ETKK6NTMNV

URI	`m2://inv/ETKK6NTMNV`
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.20406#QFQB (statement). In 1YW6C6XGT3/e1, lemma 3.2

History

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

Definitions ETKKPDXWD5

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

Mentions

wikipedia: Wikipedia Fixed-point computation#7O27, Definitions (definition)

History

2026-11-02: add by m2/dev

International Association of Mathematical Physics ETKT9WZN8Q

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

Mentions

wikipedia: Wikipedia List of mathematical societies#M0VJ, International Association of Mathematical Physics (definition)

History

2026-11-02: add by m2/dev

ETKVRX5P6E ETKVRX5P6E

URI	`m2://inv/ETKVRX5P6E`
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.35404#1ZQF (statement). In DH84PYVRCF/e1, lemma 2.4

History

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

ETKWJ79MQ6 ETKWJ79MQ6

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

Mentions

napkin: napkin tex/calculus/differentiate.tex#proof-6 (proof). In RZP28ERRZV, proof, section 30.4

History

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

ETM0XE2Q7F ETM0XE2Q7F

URI	`m2://inv/ETM0XE2Q7F`
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.20153#4S23 (statement). In EYB107TM4Q/e1, proposition 2.2

History

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

restriction ETM66721TE

URI	`m2://inv/ETM66721TE`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Restriction of a function 0NF1KGDXX3

Mentions

wikidata: Wikidata Q1308999, restriction (unknown). Also nLab restriction
wikipedia: Wikipedia Restriction (mathematics), Restriction (definition). Also Wikidata Q1308999

History

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

ETM9JEDTGG ETM9JEDTGG

URI	`m2://inv/ETM9JEDTGG`
Kind	statement
Layer	research
MSC	11-XX, 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.35543#5VIE (statement). In WSG1ZW956E/e1, corollary 1.2

History

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

796 (number) ETMD16YMZW

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

Mentions

wikipedia: Wikipedia 700 (number)#CXBC, 796 (number) (unknown)

History

2026-11-02: add by m2/dev

Paley's theorem ETMGDEAF8P

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

Mentions

wikipedia: Wikipedia List of theorems#TTSM, Paley's theorem (definition)

History

2026-11-02: add by m2/dev

Walter Benz ETMSVB9Q3Q

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

Mentions

wikipedia: Wikipedia Walter Benz, Walter Benz (topic). Also Wikidata Q88485

History

2026-11-02: add by m2/dev

ETMZSF0KFF ETMZSF0KFF

URI	`m2://inv/ETMZSF0KFF`
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 2405.10580#WJQM (statement). In FXEJE0PWEP/e1, proposition 5.6

History

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

ETN2W3TWCR ETN2W3TWCR

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

Mentions

arxiv: arXiv 2610.15037#6XK2 (statement). In 9XCA9T80GJ/e1, theorem 3.2.1

History

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

ETN5RGHZ0Q ETN5RGHZ0Q

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

Mentions

arxiv: arXiv 2609.38243#E39N (statement). In R03K2N7FRF/e1, lemma C.4

History

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

344 (number) ETN7TTPF9V

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

Mentions

wikipedia: Wikipedia 300 (number)#QTW9, 344 (number) (unknown)

History

2026-11-02: add by m2/dev

David E. Zitarelli ETN9SNJC7F

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

Mentions

wikipedia: Wikipedia David E. Zitarelli, David E. Zitarelli (topic). Also Wikidata Q102191153

History

2026-11-02: add by m2/dev

ETNG2VZ1RZ ETNG2VZ1RZ

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-63 (exercise). In E59CDZA4DP, exercise, section 11.5.2

History

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

Singleton bound ETNMG9JDEK

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

Mentions

wikipedia: Wikipedia Singleton bound, Singleton bound (definition). Also Wikidata Q2116294

History

2026-11-02: add by m2/dev

Robert S. Hartman ETNR1V47S8

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

Mentions

wikipedia: Wikipedia List of logicians#5OX9, Robert S. Hartman (topic)

History

2026-11-02: add by m2/dev

Taft equation ETNR8NP2KC

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

Mentions

wikipedia: Wikipedia Taft equation, Taft equation (definition). Also Wikidata Q4476528

History

2026-11-02: add by m2/dev

Curvelet construction ETNRWY0JQF

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

Mentions

wikipedia: Wikipedia Curvelet#TZJW, Curvelet construction (definition)

History

2026-11-02: add by m2/dev

\coqident{Algebra}{DCPO}{isupperbound}, \coqident{Algebra}{DCPO}{islub}, \coqident{Algebra}{DCPO}{isdirectedcomplete ETNX9NM0M9

URI	`m2://inv/ETNX9NM0M9`
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 1904.09810#K74H, \coqident{Algebra}{DCPO}{isupperbound}, \coqident{Algebra}{DCPO}{islub}, \coqident{Algebra}{DCPO}{isdirectedcomplete (definition). In T1VFA7TXPA/e1, definition 7

History

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

Definition ETNXS3GHV3

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

Mentions

wikipedia: Wikipedia Mean curvature#HXH3, Definition (definition)

History

2026-11-02: add by m2/dev

Application ETNY0V52YX

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

Mentions

wikipedia: Wikipedia Chambolle–Pock algorithm#I63P, Application (example)

History

2026-11-02: add by m2/dev

Capillary Santal\'o point ETNYDV7TCC

URI	`m2://inv/ETNYDV7TCC`
Kind	definition
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#NYOZ, Capillary Santal\'o point (definition). In Y7TWHSF2HC/e1, definition 2.10

History

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

ETP46JEKJ7 ETP46JEKJ7

URI	`m2://inv/ETP46JEKJ7`
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 1002.0879#5UMF (definition). In M0SQY5EZN5/e1, definition 1.1.6

History

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

ETPJNJQHN3 ETPJNJQHN3

URI	`m2://inv/ETPJNJQHN3`
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.36078#CZD7 (statement). In MVKXS0Q6XN/e1, theorem

History

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

liquid vector space ETPQGFBZ1Z

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

Mentions

wikidata: Wikidata Q123362177, liquid vector space (unknown). Also nLab liquid vector space

History

2026-10-26: add by m2/dev

Uniform empirical covariance stability and accuracy ETPV5JACMX

URI	`m2://inv/ETPV5JACMX`
Kind	statement
Layer	research
MSC	37-XX, 49-XX, 62-XX, 65-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.23927#SL8N, Uniform empirical covariance stability and accuracy (statement)

History

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

Bottleneck (network) ETPX25W6A4

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

Mentions

wikipedia: Wikipedia List of network theory topics#B98Y, Bottleneck (network) (unknown)

History

2026-11-02: add by m2/dev

ETPZRRW80M ETPZRRW80M

URI	`m2://inv/ETPZRRW80M`
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.10576#0HCP (statement). In N3ZA5MDZBW/e1, lemma 1

History

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

James Clerk Maxwell Medal and Prize ETQ3VCEN5T

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

Mentions

wikipedia: Wikipedia James Clerk Maxwell Medal and Prize, James Clerk Maxwell Medal and Prize (definition). Also Wikidata Q1745209

History

2026-11-02: add by m2/dev

Properties ETQ48PKPR3

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

Mentions

wikipedia: Wikipedia Iterative deepening depth-first search#G9XA, Properties (statement)

History

2026-11-02: add by m2/dev

Stretch ETQ4N00RYQ

URI	`m2://inv/ETQ4N00RYQ`
Kind	definition
Layer	research
MSC	49-XX, 65-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.34025#3N2D, Stretch (definition). In VCG579E7MM/e1, definition 1

History

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

ETQ9DN8DG5 ETQ9DN8DG5

URI	`m2://inv/ETQ9DN8DG5`
Kind	definition
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#9MMT (definition). In W0ZHX9DHPV/e1, definition 1

History

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

ETQPPXFP4Z ETQPPXFP4Z

URI	`m2://inv/ETQPPXFP4Z`
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 2308.02672#4B7V (statement). In ETRT1R1CQ8/e1, lemma 2.5

History

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

Generalizations ETQS94VSV5

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

Mentions

wikipedia: Wikipedia Padé table#N97V, Generalizations (statement)

History

2026-11-02: add by m2/dev

Urbanization in Turkey ETQTDMNDW2

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

Mentions

wikipedia: Wikipedia Demographics of Turkey#XL4I, Urbanization in Turkey (unknown)

History

2026-11-02: add by m2/dev

ETQWTF6GZ0 ETQWTF6GZ0

URI	`m2://inv/ETQWTF6GZ0`
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.23781#CWWG (statement)

History

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

ETR4RSCJ4S ETR4RSCJ4S

URI	`m2://inv/ETR4RSCJ4S`
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 0809.4587#IKUW (statement). In KQ8JPHDKKE/e1, proposition 9.4.34

History

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

Barnaba Tortolini ETRD9C50TF

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#SUAD, Barnaba Tortolini (topic)

History

2026-11-02: add by m2/dev

ETRDBZN9JY ETRDBZN9JY

URI	`m2://inv/ETRDBZN9JY`
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.20273#S9RE (statement). In AEGHDSD5S7/e1, proposition 2.9

History

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

ETRP07C1RJ ETRP07C1RJ

URI	`m2://inv/ETRP07C1RJ`
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.31274#C8RD (statement). In RK0ZMDJ23T/e1, lemma 3.4.1

History

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

$3\times 6$ case ETRPBNPT1F

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

Mentions

arxiv: arXiv 2610.13291#KS2B, $3\times 6$ case (example). In D16PSAVVWV/e1, example 3.6

History

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

Quotient rule ETRRB74ZX2

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

Mentions

lebl_ra: lebl_ra ch-der.tex#prop-4, Quotient rule (statement). In E59CDZA4DP, prop, section 3.1.1

History

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

ETRS88JH74 ETRS88JH74

URI	`m2://inv/ETRS88JH74`
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.05232#4IND (statement). In DA3VN96YX2/e1, lemma 3.11

History

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

Calculus on finite weighted graphs ETS2P35ZKN

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

Mentions

wikipedia: Wikipedia Calculus on finite weighted graphs, Calculus on finite weighted graphs (definition). Also Wikidata Q97359817

History

2026-11-02: add by m2/dev

ETS6DV71J8 ETS6DV71J8

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

Mentions

arxiv: arXiv 2609.29918#FIIL (statement)

History

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

Brooks' Theorem ETSB4JJCE5

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

Mentions

levin_dmoi: levin_dmoi index/5.4.1/brooks-theorem, Brooks' Theorem (concept). In Y91XFCEVHQ, index, section 5.4.1

History

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

ETSEP794HW ETSEP794HW

URI	`m2://inv/ETSEP794HW`
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.40274#18R2 (statement). In 7ZDNJC9MST/e1, theorem 4.2

History

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

probability density function ETSJFGDMCH

URI	`m2://inv/ETSJFGDMCH`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Probability density function 0ZY9DX8FBF

Mentions

wikidata: Wikidata Q207522, probability density function (unknown). Also MathWorld ProbabilityDensityFunction
wikipedia: Wikipedia Probability density function, Probability density function (definition). Also Wikidata Q207522

History

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

ETSJNT9Y1E ETSJNT9Y1E

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

Mentions

arxiv: arXiv 2610.06872#DFCV (statement). In J4H3A11MMX/e1, theorem A

History

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

ETSJRVK8BM ETSJRVK8BM

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

Mentions

arxiv: arXiv 2609.21860#4SQO (definition)

History

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

ETSP9V2535 ETSP9V2535

URI	`m2://inv/ETSP9V2535`
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#S75Y (statement). In GG2ZZV6KEQ/e1, lemma 3.3

History

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

ETSQ9XS2A8 ETSQ9XS2A8

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

Mentions

applied_combinatorics: applied_combinatorics source/s_kitchensink_lovasz-local.ptx#proof-2 (proof). In QKM9DD2H56, proof, section 16.7

History

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

ETSQNTJMMS ETSQNTJMMS

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

Mentions

arxiv: arXiv 2609.21682#0JQH (definition)

History

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

Absolute value of a complex number ETSTF7JX4E

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

Mentions

wikipedia: Wikipedia Absolute value#9VTO, Absolute value of a complex number (unknown)

History

2026-11-02: add by m2/dev

``naturality'' of homotopies ETSZFRVSSZ

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

Mentions

hott_book: hott_book index/1.4/naturality-of-homotopies, ``naturality'' of homotopies (concept). In N54F33XE07, index, section 1.4

History

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

ETSZZ0DVKX ETSZZ0DVKX

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

Mentions

hott_book: hott_book reals.tex#thm:RC-le-grow (statement). In N54F33XE07, lem, section B.3.3

History

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

Fock state ETT1PYKTNX

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#5MQZ, Fock state (unknown)

History

2026-11-02: add by m2/dev

Example ETT5DXYCJB

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

Mentions

wikipedia: Wikipedia Circular shift#9MY7, Example (example)

History

2026-11-02: add by m2/dev

ETT9EV5ZM3 ETT9EV5ZM3

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

Mentions

hott_book: hott_book induction.tex#defn:identity-systems (definition). In N54F33XE07, defn, section 8.8

History

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

ETT9Y86776 ETT9Y86776

URI	`m2://inv/ETT9Y86776`
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 1912.13357#4HOM (statement). In K8CQDCYBR3/e1, theorem 1

History

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

Fatiha Alabau ETTBCNJYGS

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

Mentions

wikipedia: Wikipedia Fatiha Alabau, Fatiha Alabau (topic). Also Wikidata Q102231103

History

2026-11-02: add by m2/dev

Variational message passing ETTD1T1JKH

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

Mentions

wikipedia: Wikipedia List of statistics articles#SUDY, Variational message passing (definition)

History

2026-11-02: add by m2/dev

ETTJVNPMA2 ETTJVNPMA2

URI	`m2://inv/ETTJVNPMA2`
Kind	statement
Layer	research
MSC	13-XX, 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 2609.23469#HVX8 (statement)

History

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

Geometric sum ETTT4730VF

URI	`m2://inv/ETTT4730VF`
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#XH65, Geometric sum (statement). In B29M4E6KGC/e1, lemma J.7

History

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

Smoothed Gaussian reconstruction, empirical basis and rates, oracle score ETTX0S4N4T

URI	`m2://inv/ETTX0S4N4T`
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.10640#1CZ4, Smoothed Gaussian reconstruction, empirical basis and rates, oracle score (statement). In BAQVK6N0RD/e1, theorem 7

History

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

Abstract Balog-Szemer\'edi-Gowers theorem ETTXQKJW0N

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

Mentions

arxiv: arXiv 2609.33733#6VL6, Abstract Balog-Szemer\'edi-Gowers theorem (statement). In QBAP8C82FG/e1, theorem 21

History

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

ETTYN8GE0N ETTYN8GE0N

URI	`m2://inv/ETTYN8GE0N`
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 2310.11101#T9G4 (statement). In YBBKTP4E70/e1, theorem 3.2

History

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

ETV5Q5TBKK ETV5Q5TBKK

URI	`m2://inv/ETV5Q5TBKK`
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 2010.14428#Q9QV (statement). In VTTVY2ZRAN/e1, theorem 1

History

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

Ramaswamy S. Vaidyanathaswamy ETV84FRGS0

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

Mentions

wikipedia: Wikipedia Ramaswamy S. Vaidyanathaswamy, Ramaswamy S. Vaidyanathaswamy (topic). Also Wikidata Q7289090

History

2026-11-02: add by m2/dev

nullform ETVB346A40

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#CDYB, nullform (definition)

History

2026-11-02: add by m2/dev

ETVRWJN6KR ETVRWJN6KR

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

Mentions

arxiv: arXiv 2609.36792#SPFQ (definition). In 3BFA92YW3M/e1, definition 2.1

History

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

Real projective line ETVXM07YJW

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

Mentions

wikipedia: Wikipedia List of manifolds#EHIR, Real projective line (definition)

History

2026-11-02: add by m2/dev

Edward Burger ETW178VK56

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

Mentions

wikipedia: Wikipedia Edward Burger, Edward Burger (topic). Also Wikidata Q5342078

History

2026-11-02: add by m2/dev

Bardeen Potential ETW1GXZVA4

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

Mentions

wikipedia: Wikipedia Post-Newtonian expansion#YXF3, Bardeen Potential (unknown)

History

2026-11-02: add by m2/dev

normally flat ETW2YPSQ3C

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#P1OT, normally flat (definition)

History

2026-11-02: add by m2/dev

Strange fixed point ETW45ER3TC

URI	`m2://inv/ETW45ER3TC`
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 2610.07064#4UVS, Strange fixed point (definition). In GPK6W5XQM3/e1, definition 7

History

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

ETWJA6JA4E ETWJA6JA4E

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

Mentions

arxiv: arXiv 2610.09171#ENCB (statement). In 5ZPSZFE08Q/e1, theorem 7.2

History

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

Monte Carlo method ETWKPEJRDC

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

Mentions

wikipedia: Wikipedia List of statistics articles#ZVNM, Monte Carlo method (definition)
wikipedia: Wikipedia List of probability topics#WF0T, Monte Carlo method (definition)

History

2026-11-02: add by m2/dev

Kachurovskii's theorem ETWP6JKKX8

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

Mentions

wikipedia: Wikipedia List of theorems#MQ1N, Kachurovskii's theorem (statement)

History

2026-11-02: add by m2/dev

ETWP7GX3Z0 ETWP7GX3Z0

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

Mentions

arxiv: arXiv 2610.08196#9MKW (statement). In 8QVWZ23N42/e1, proposition 5.3

History

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

Fritz Gesztesy ETWTAB3J9E

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#VVFH, Fritz Gesztesy (unknown)

History

2026-11-02: add by m2/dev

Definitions ETX148M1N9

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

Mentions

wikipedia: Wikipedia Chi-squared distribution#IUC7, Definitions (definition)

History

2026-11-02: add by m2/dev

G-prior ETX2VNEHTZ

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

Mentions

wikipedia: Wikipedia G-prior, G-prior (definition). Also Wikidata Q25303762

History

2026-11-02: add by m2/dev

norm equivalence ETX516B3K2

URI	`m2://inv/ETX516B3K2`
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.17678#TWG4, norm equivalence (statement). In V753EAWQ3S/e1, theorem 4.4

History

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

Definition ETX6ZEB014

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

Mentions

wikipedia: Wikipedia Conjugacy class#XDCS, Definition (definition)

History

2026-11-02: add by m2/dev

Nice terms ETXN5MEPBM

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

Mentions

open_logic: open_logic content/methods/induction/inductive-definitions.tex#defn-1, Nice terms (definition). In PKGMM3P5QY, defn, section 44.1

History

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

Graph bandwidth ETXY9TJ63M

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

Mentions

wikipedia: Wikipedia Graph bandwidth, Graph bandwidth (definition). Also Wikidata Q5597073

History

2026-11-02: add by m2/dev

Alternative definition ETXZ13GYEG

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

Mentions

wikipedia: Wikipedia Mallows's Cp#42IK, Alternative definition (definition)

History

2026-11-02: add by m2/dev

Duality (electrical circuits) ETXZPRGS3B

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

Mentions

wikipedia: Wikipedia List of dualities#CUPD, Duality (electrical circuits) (unknown)

History

2026-11-02: add by m2/dev

Paul Goerss ETXZQK9NK0

URI	`m2://inv/ETXZQK9NK0`
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 Q15839699, Paul Goerss (unknown). Also nLab Paul Goerss

History

2026-10-26: add by m2/dev

ETYCGXVD1X ETYCGXVD1X

URI	`m2://inv/ETYCGXVD1X`
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 0907.5545#EGJ6 (statement). In K3GWCTV5YE/e1, proposition 2

History

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

ETYDWZFZ0B ETYDWZFZ0B

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

Mentions

austin_ula: austin_ula src/exercises/exercises7-4.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 7.4

History

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

Heap's permutation generation algorithm ETYS8ZPNRJ

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

Mentions

wikipedia: Wikipedia List of algorithms#Z1A8, Heap's permutation generation algorithm (unknown)

History

2026-11-02: add by m2/dev

ordered pair ETYXJP0E7S

URI	`m2://inv/ETYXJP0E7S`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Ordered pair 0JQWWFCS9R

Mentions

wikidata: Wikidata Q191290, ordered pair (unknown). Also MathWorld OrderedPair, nLab ordered pair
wikipedia: Wikipedia Ordered pair, Ordered pair (definition). Also Wikidata Q191290

History

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

ETYZBD9667 ETYZBD9667

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

Mentions

arxiv: arXiv 2609.31781#0BZM (statement). In WTTVKKNPE6/e1, lemma 3

History

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

Fulkerson–Chen–Anstee theorem ETZ00NGBM1

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

Mentions

wikipedia: Wikipedia Fulkerson–Chen–Anstee theorem, Fulkerson–Chen–Anstee theorem (statement). Also Wikidata Q18206243

History

2026-11-02: add by m2/dev

Entropy ETZ8BNG4BX

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

Mentions

wikipedia: Wikipedia Entropy (statistical thermodynamics), Entropy (definition). Also Wikidata Q12727673

History

2026-11-02: add by m2/dev

Anupam Saikia ETZ8BV9Y3W

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

Mentions

wikipedia: Wikipedia Anupam Saikia, Anupam Saikia (topic). Also Wikidata Q51754593

History

2026-11-02: add by m2/dev

ETZCY0KG6Z ETZCY0KG6Z

URI	`m2://inv/ETZCY0KG6Z`
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 1804.06366#UZFJ (statement). In 89XYDVXG38/e1, theorem 5.5

History

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

Perfect two-qudit family on $\mathbb{Z}_{3m}$ ETZK6W63W8

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

Mentions

arxiv: arXiv 2610.04834#70GE, Perfect two-qudit family on $\mathbb{Z}_{3m}$ (example). In YZNK67K060/e1, example 3.4

History

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

School of Mathematics, Peking University ETZTXNZ5GW

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

Mentions

wikipedia: Wikipedia School of Mathematics, Peking University, School of Mathematics, Peking University (definition). Also Wikidata Q141304518

History

2026-11-02: add by m2/dev

Rank-moment spectrum preservation under conditional tilt closure ETZW4F03P8

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

Mentions

arxiv: arXiv 2609.29688#D8KA, Rank-moment spectrum preservation under conditional tilt closure (statement)

History

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

ETZZQ67B1W ETZZQ67B1W

URI	`m2://inv/ETZZQ67B1W`
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.13723#8UII (statement). In HPBCRT0Z0V/e1, lemma 2.1

History

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