Inventory rows GH

Algebraic equation GH05C9JE2H

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

Mentions

wikipedia: Wikipedia List of polynomial topics#VWPS, Algebraic equation (definition)

History

2026-11-02: add by m2/dev

Shimura variety GH06116GQT

URI	`m2://inv/GH06116GQT`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Shimura variety QT4CF7ZKK5

Mentions

wikidata: Wikidata Q7497063, Shimura variety (concept). Also LMFDB knowl ag.shimura_variety, nLab Shimura variety
wikipedia: Wikipedia Shimura variety, Shimura variety (definition). Also Wikidata Q7497063

History

2026-10-26: add by m2/dev

GH076J8K8P GH076J8K8P

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

Mentions

open_logic: open_logic content/turing-machines/undecidability/verification.tex#lem:halt-if-valid (statement). In PKGMM3P5QY, lem, section 87.3

History

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

Differential equation solvers GH0EZTG1RM

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

Mentions

wikipedia: Wikipedia Differential equation#TPC6, Differential equation solvers (unknown)

History

2026-11-02: add by m2/dev

Theorem (Cobham 1969) GH0GJSQ3N3

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

Mentions

wikipedia: Wikipedia Cobham's theorem#SAC3, Theorem (Cobham 1969) (statement)

History

2026-11-02: add by m2/dev

Möbius strip GH0REZBBHQ

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#YXDR, Möbius strip (definition)
wikipedia: Wikipedia List of surfaces#VQLE, Möbius strip (definition)
wikipedia: Wikipedia List of manifolds#8AQZ, Möbius strip (definition)

History

2026-11-02: add by m2/dev

Uses GH0S16NHDQ

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

Mentions

wikipedia: Wikipedia Tonelli–Shanks algorithm#MB17, Uses (example)

History

2026-11-02: add by m2/dev

Kahn–Kalai conjecture GH0T312FMH

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

Mentions

wikipedia: Wikipedia Kahn–Kalai conjecture, Kahn–Kalai conjecture (statement). Also Wikidata Q111724047

History

2026-11-02: add by m2/dev

Complex 1-polytope GH0TCXB9RF

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

Mentions

wikipedia: Wikipedia Complex polytope#D8XP, Complex 1-polytope (unknown)

History

2026-11-02: add by m2/dev

Multiplication operator form of the spectral theorem GH0W7T8SVA

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

Mentions

wikipedia: Wikipedia Self-adjoint operator#IFZ6, Multiplication operator form of the spectral theorem (statement)

History

2026-11-02: add by m2/dev

Applications GH12GZYJYY

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

Mentions

wikipedia: Wikipedia Doléans-Dade exponential#U6ZS, Applications (example)

History

2026-11-02: add by m2/dev

Karl Schröter GH144J4MJD

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

Mentions

wikipedia: Wikipedia List of German mathematicians#A627, Karl Schröter (topic)

History

2026-11-02: add by m2/dev

Applications GH1CMRNE4Y

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

Mentions

wikipedia: Wikipedia Loop group#5RY2, Applications (example)

History

2026-11-02: add by m2/dev

Solution concepts GH1FKYKFD8

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

Mentions

arxiv: arXiv 2610.08074#L32I, Solution concepts (definition). In ZRPYF750AV/e1, definition 2.10

History

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

residue field GH1PM8A9SN

URI	`m2://inv/GH1PM8A9SN`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Residue field NJ3APQ8BHH

Mentions

wikidata: Wikidata Q7315530, residue field (unknown). Also Mathlib IsLocalRing.ResidueField, MathWorld ResidueField, nLab residue field
wikipedia: Wikipedia Residue field, Residue field (definition). Also Wikidata Q7315530

History

2026-10-26: add by m2/dev

GH1RGJ5G9N GH1RGJ5G9N

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

Mentions

austin_ula: austin_ula src/section7-2.xml#activity-2 (exercise). In 649HGZKE96, activity, section 7.2.2

History

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

GH20JXAM00 GH20JXAM00

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

Mentions

arxiv: arXiv 2601.10370#RQ6F (definition). In S5ZSEFYBD3/e1, definition 2.1

History

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

GH21D0P1TC GH21D0P1TC

URI	`m2://inv/GH21D0P1TC`
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.12483#MK6A (statement). In 159250CY6S/e1, theorem 3.1

History

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

GH2239AT7X GH2239AT7X

URI	`m2://inv/GH2239AT7X`
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 2509.05577#WW6J (statement). In EFWBREMZAP/e1, proposition 3.14

History

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

GH22H0FJGM GH22H0FJGM

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

Mentions

arxiv: arXiv 2610.03138#5KZ3 (statement). In P5SY7AVP5E/e1, lemma 4.10

History

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

Logical connective GH2DYTNBXN

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

Mentions

wikipedia: Wikipedia List of Boolean algebra topics#610H, Logical connective (definition)

History

2026-11-02: add by m2/dev

Derek Taunt GH2T12W13C

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

Mentions

wikipedia: Wikipedia Derek Taunt, Derek Taunt (topic). Also Wikidata Q5262394

History

2026-11-02: add by m2/dev

Sasakian manifold GH30BKTW54

URI	`m2://inv/GH30BKTW54`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Sasakian manifold B21YEPS76G

Mentions

wikidata: Wikidata Q7424986, Sasakian manifold (concept). Also nLab Sasakian manifold
wikipedia: Wikipedia Sasakian manifold, Sasakian manifold (definition). Also Wikidata Q7424986

History

2026-10-26: add by m2/dev

GH333M3Z30 GH333M3Z30

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

Mentions

open_logic: open_logic content/model-theory/basics/partial-iso.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 46.5

History

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

GH38TM2V5E GH38TM2V5E

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

Mentions

lebl_scv: lebl_scv scv.tex#prop-29 (statement). In VNMV985MXX, prop, section B

History

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

Japanese cryptology from the 1500s to Meiji GH3CMWSFA1

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

Mentions

wikipedia: Wikipedia Japanese cryptology from the 1500s to Meiji, Japanese cryptology from the 1500s to Meiji (definition). Also Wikidata Q6158484

History

2026-11-02: add by m2/dev

Behrens–Fisher distribution GH3F4P5BMX

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

Mentions

wikipedia: Wikipedia List of probability distributions#PRI3, Behrens–Fisher distribution (definition)

History

2026-11-02: add by m2/dev

Closed-form smoothed CDF and density GH3GV19B11

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

Mentions

arxiv: arXiv 2609.23350#IYMU, Closed-form smoothed CDF and density (statement)

History

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

GH3HMA4KED GH3HMA4KED

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-16 (exercise). In E9HS8K3A52, exercise, section 7.1.4

History

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

double six GH3HMSPVXJ

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#PX36, double six (definition)

History

2026-11-02: add by m2/dev

The gimel hypothesis GH3WX4QFDN

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

Mentions

wikipedia: Wikipedia Gimel function#UWQ5, The gimel hypothesis (statement)

History

2026-11-02: add by m2/dev

Analysis paralysis GH40TB4K6Z

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

Mentions

wikipedia: Wikipedia Analysis paralysis, Analysis paralysis (definition). Also Wikidata Q4751112

History

2026-11-02: add by m2/dev

Strobogrammatic year GH48RQE0T5

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

Mentions

wikipedia: Wikipedia Strobogrammatic number#I53C, Strobogrammatic year (unknown)

History

2026-11-02: add by m2/dev

GH4HSC3AG5 GH4HSC3AG5

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

Mentions

arxiv: arXiv 2609.23279#KJIR (definition)

History

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

GH4TABC7ZF GH4TABC7ZF

URI	`m2://inv/GH4TABC7ZF`
Kind	statement
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.14055#MYSB (statement). In AKMGN13HE1/e1, lemma 2.2

History

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

GH50392MFZ GH50392MFZ

URI	`m2://inv/GH50392MFZ`
Kind	example
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.21274#OL2L (example)

History

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

Geodesics on a triaxial ellipsoid GH583NVCD4

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

Mentions

wikipedia: Wikipedia Geodesics on an ellipsoid#2AC9, Geodesics on a triaxial ellipsoid (unknown)

History

2026-11-02: add by m2/dev

cf GH59VM2XTT

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

Mentions

wikipedia: Wikipedia Glossary of set theory#6TTA, cf (definition)

History

2026-11-02: add by m2/dev

GH5E0EMPQT GH5E0EMPQT

URI	`m2://inv/GH5E0EMPQT`
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.36909#063G (statement). In S5SKFZB5WH/e1, lemma 2.1

History

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

Definable real number GH5KEC509D

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#KS3K, Definable real number (definition)
wikipedia: Wikipedia List of mathematical logic topics#XF0T, Definable real number (definition)

History

2026-11-02: add by m2/dev

GH5M48EN0F GH5M48EN0F

URI	`m2://inv/GH5M48EN0F`
Kind	definition
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 2311.16205#36WW (definition). In 3GE9PS9AH0/e1, definition 3.0.1

History

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

Brown, Lawrence D. GH5MAX4VNH

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

Mentions

wikipedia: Wikipedia List of statisticians#QDJY, Brown, Lawrence D. (topic)

History

2026-11-02: add by m2/dev

Ten Sleep, Wyoming GH5P4K4M4F

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

Mentions

wikipedia: Wikipedia List of places with numeric names#Y0M9, Ten Sleep, Wyoming (unknown)

History

2026-11-02: add by m2/dev

GH5PH6ZV6Z GH5PH6ZV6Z

URI	`m2://inv/GH5PH6ZV6Z`
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.25129#L1S5 (statement)

History

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

GH5X372QB9 GH5X372QB9

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

Mentions

arxiv: arXiv 2609.22394#IERG (conjecture)

History

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

Trigonometric approximation GH63A719C1

URI	`m2://inv/GH63A719C1`
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 2606.02312#4V9Y, Trigonometric approximation (statement). In 1SZV94R22Y/e1, lemma 2.8

History

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

GH6KNHHFJW GH6KNHHFJW

URI	`m2://inv/GH6KNHHFJW`
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.27049#PAAB (statement)

History

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

GH6WDN7RCS GH6WDN7RCS

URI	`m2://inv/GH6WDN7RCS`
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.04835#TWLK (statement). In P6PHR4W23S/e1, lemma 2.1

History

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

Examples GH7691423Q

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

Mentions

wikipedia: Wikipedia Additive category#ADGZ, Examples (example)

History

2026-11-02: add by m2/dev

GH7JEDZW8T GH7JEDZW8T

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

Mentions

arxiv: arXiv 2609.25761#CFC0 (statement)

History

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

1887 Puerto Rico census GH7KSJF1CH

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

Mentions

wikipedia: Wikipedia 1887 Puerto Rico census, 1887 Puerto Rico census (definition). Also Wikidata Q131703624

History

2026-11-02: add by m2/dev

GH7MQ33547 GH7MQ33547

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

Mentions

arxiv: arXiv 2606.18859#XLFR (statement). In EVRAASXEDY/e1, corollary 2.4

History

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

GH82CTEHV6 GH82CTEHV6

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

Mentions

arxiv: arXiv 2610.07122#2GTE (example). In W0ZHX9DHPV/e1, example 2

History

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

GH8JHQFRGV GH8JHQFRGV

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

Mentions

arxiv: arXiv 2609.30519#HFTF (statement). In GQQZNRYK15/e1, proposition 4.1

History

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

Definition GH8JW9D8J3

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

Mentions

wikipedia: Wikipedia Genus of a multiplicative sequence#453L, Definition (definition)

History

2026-11-02: add by m2/dev

GH8M4VWRET GH8M4VWRET

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

Mentions

arxiv: arXiv 2610.14045#HB4I (statement). In KZ71GXT2B0/e1, theorem 2.3

History

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

Christof Schütte GH8PQQJSSH

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

Mentions

wikipedia: Wikipedia Christof Schütte, Christof Schütte (topic). Also Wikidata Q50977868

History

2026-11-02: add by m2/dev

GH8SW5QKXA GH8SW5QKXA

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

Mentions

arxiv: arXiv 2610.03368#KODB (statement). In 1X4EY4YCQJ/e1, corollary 3.4

History

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

Sexdrega GH92V16ZZR

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

Mentions

wikipedia: Wikipedia List of places with numeric names#NMH9, Sexdrega (unknown)

History

2026-11-02: add by m2/dev

GH977B51WR GH977B51WR

URI	`m2://inv/GH977B51WR`
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 2410.10337#3ONW (statement). In RBBF0XNZ5E/e1, corollary 11

History

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

Corollary GH9BR13GXE

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

Mentions

wikipedia: Wikipedia Borel–Carathéodory theorem#MMVN, Corollary (statement)

History

2026-11-02: add by m2/dev

Glossary of general topology GH9F84ZGYD

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

Mentions

wikipedia: Wikipedia Glossary of general topology, Glossary of general topology (topic). Also Wikidata Q2358888

History

2026-11-02: add by m2/dev

GH9HC9WS0R GH9HC9WS0R

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

Mentions

arxiv: arXiv 2211.01586#MQ8O (proof). In P39MF3ZJC0/e1, proof

History

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

GH9QK0GTH0 GH9QK0GTH0

URI	`m2://inv/GH9QK0GTH0`
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.14240#YBKF (statement). In HGQCBDDMQJ/e1, theorem 3.12

History

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

Generalizations GHA4VDS25K

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

Mentions

wikipedia: Wikipedia Uniform convergence#ZBIN, Generalizations (statement)

History

2026-11-02: add by m2/dev

GHA9MG8TN3 GHA9MG8TN3

URI	`m2://inv/GHA9MG8TN3`
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.04989#UVDX (statement). In 1T4SYTCKW8/e1, proposition S2

History

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

GHACD72JWY GHACD72JWY

URI	`m2://inv/GHACD72JWY`
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.28143#3HLN (statement)

History

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

independent variable GHAXQ2Z7CE

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

Mentions

wikidata: Wikidata Q2487752, independent variable (definition). Also ProofWiki Definition:Independent_Variable

History

2026-10-26: add by m2/dev

GHB3R47FWA GHB3R47FWA

URI	`m2://inv/GHB3R47FWA`
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#80CR (statement). In HPBCRT0Z0V/e1, theorem 11

History

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

Theorem GHB8QE0J4S

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

Mentions

wikipedia: Wikipedia Prokhorov's theorem#R5QR, Theorem (statement)

History

2026-11-02: add by m2/dev

GHB8QXCVTW GHB8QXCVTW

URI	`m2://inv/GHB8QXCVTW`
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 2609.37562#1BZW (definition). In PYY8DFK2JS/e1, definition 2.1

History

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

center of a power series GHBFXHXXTG

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

Mentions

lebl_diffyqs: lebl_diffyqs index/9.1.1/center-of-a-power-series, center of a power series (concept). In E9HS8K3A52, index, section 9.1.1

History

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

Parameter reduction GHBRJVBDX2

URI	`m2://inv/GHBRJVBDX2`
Kind	statement
Layer	research
MSC	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.25805#2EOR, Parameter reduction (statement)

History

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

GHC535MH60 GHC535MH60

URI	`m2://inv/GHC535MH60`
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 2207.11097#ZY27 (statement). In 13H5BTAXHF/e1, proposition 10

History

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

scatter plot GHC8DB7FJ7

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

Mentions

wikidata: Wikidata Q1045782, scatter plot (unknown). Also MathWorld ScatterDiagram
wikipedia: Wikipedia Scatter plot, Scatter plot (definition). Also Wikidata Q1045782

History

2026-10-26: add by m2/dev

GHC9CVKBMZ GHC9CVKBMZ

URI	`m2://inv/GHC9CVKBMZ`
Kind	statement
Layer	research
MSC	26-XX, 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.06455#BA7Z (statement). In N6GB5J5BAY/e1, lemma 6.8

History

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

Nonabelian Hodge theorem GHCET516G5

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

Mentions

wikipedia: Wikipedia Nonabelian Hodge correspondence#59HW, Nonabelian Hodge theorem (statement)

History

2026-11-02: add by m2/dev

Beta prime distribution GHCG9C4WQN

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

Mentions

wikipedia: Wikipedia List of probability distributions#RQ5Z, Beta prime distribution (definition)

History

2026-11-02: add by m2/dev

GHCRNYBQFA GHCRNYBQFA

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

Mentions

arxiv: arXiv 2609.33805#9PLS (statement). In XM98BX97RT/e1, lemma A.3

History

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

Feature summability GHCXB2F8KM

URI	`m2://inv/GHCXB2F8KM`
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.29147#2E7R, Feature summability (statement)

History

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

GHCZ81E2BJ GHCZ81E2BJ

URI	`m2://inv/GHCZ81E2BJ`
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.09044#EUA9 (statement). In 4KYENHR0J8/e1, theorem 6

History

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

Peter Heinig GHD4E4AF8X

URI	`m2://inv/GHD4E4AF8X`
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 Q1772676, Peter Heinig (unknown). Also nLab Peter Heinig

History

2026-10-26: add by m2/dev

Binomial test GHD98C842Q

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

Mentions

wikipedia: Wikipedia List of statistics articles#ACYV, Binomial test (definition)

History

2026-11-02: add by m2/dev

GHDBMD19CG GHDBMD19CG

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

Mentions

arxiv: arXiv 2609.33313#E3RP (definition). In HRCEFY172P/e1, definition 2.7

History

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

Irrational winding of a torus GHDBT84FCX

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

Mentions

wikipedia: Wikipedia List of topologies#RR42, Irrational winding of a torus (definition)

History

2026-11-02: add by m2/dev

GHDDH9PWP5 GHDDH9PWP5

URI	`m2://inv/GHDDH9PWP5`
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 2212.05398#LWKY (statement). In WQKQ8438M7/e1, theorem 4.1

History

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

Lindenbaum–Tarski algebra GHDGB08DCS

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

Mentions

wikipedia: Wikipedia Lindenbaum–Tarski algebra, Lindenbaum–Tarski algebra (definition). Also Wikidata Q841805

History

2026-11-02: add by m2/dev

GHDXSES0PP GHDXSES0PP

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

Mentions

open_logic: open_logic content/normal-modal-logic/tableaux/more-soundness.tex#prop:soundness-4r (statement). In PKGMM3P5QY, prop, section 55.8

History

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

Block 3 GHEEX34ZPJ

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

Mentions

arxiv: arXiv 2609.30302#PYUG, Block 3 (statement). In R6ABTE22G0/e1, lemma 21

History

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

Notation GHEG0SBGY6

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

Mentions

wikipedia: Wikipedia Poisson point process#EKFB, Notation (definition)

History

2026-11-02: add by m2/dev

conservation law GHENATAW7H

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

Mentions

applied_combinatorics: applied_combinatorics index/13.1/conservation-law, conservation law (concept). In QKM9DD2H56, index, section 13.1

History

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

cardinal number GHER5PHWQC

URI	`m2://inv/GHER5PHWQC`
Kind	definition
Layer	textbook
Sources	3
Outcome	node (a node has the same name as the row)
Node	Cardinal number 0EBACQFAZW

Mentions

mathlib_overview: mathlib_overview Logic and computation > Set theory > Cardinals > cardinal, cardinal (unknown). Also Mathlib Cardinal
wikidata: Wikidata Q163875, cardinal number (definition). Also Mathlib Cardinal, MathWorld CardinalNumber, nLab cardinal number, ProofWiki Definition:Cardinal, ProofWiki Definition:Cardinal_Number
wikipedia: Wikipedia Cardinal number, Cardinal number (definition). Also Wikidata Q163875

History

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

GHERYKMBFR GHERYKMBFR

URI	`m2://inv/GHERYKMBFR`
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.22218#KS94 (statement). In 338GKREFVP/e1, lemma 51

History

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

GHEVC1SQZN GHEVC1SQZN

URI	`m2://inv/GHEVC1SQZN`
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.10365#60UL (statement). In PRVQPSBVHK/e1, proposition 20

History

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

Clive Humby GHEWWNA7XJ

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

Mentions

wikipedia: Wikipedia Clive Humby, Clive Humby (topic). Also Wikidata Q72144700

History

2026-11-02: add by m2/dev

great rhombicosidodecahedral graph GHF550KBRY

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

Mentions

wikidata: Wikidata Q3115578, great rhombicosidodecahedral graph (unknown). Also House of Graphs 1122, MathWorld GreatRhombicosidodecahedralGraph

History

2026-10-26: add by m2/dev

GHF6460CWQ GHF6460CWQ

URI	`m2://inv/GHF6460CWQ`
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.02061#T6TI (statement). In F5STMSPR6X/e1, proposition 3.17

History

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

A conic in $\CP^2$, or a cone in $\CC^3$ GHF6XFXEA3

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

Mentions

napkin: napkin tex/alg-geom/proj-var.tex#example-4, A conic in $\CP^2$, or a cone in $\CC^3$ (example). In RZP28ERRZV, example, section 23.2

History

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

GHFN9CNKJT GHFN9CNKJT

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

Mentions

arxiv: arXiv 2609.24465#F39H (definition)

History

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

Glossary of systems theory GHFXJTN1G7

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

Mentions

wikipedia: Wikipedia Glossary of systems theory, Glossary of systems theory (topic). Also Wikidata Q5571876

History

2026-11-02: add by m2/dev

Birthday paradox GHG8FDNRDX

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

Mentions

wikipedia: Wikipedia List of probability topics#6MRJ, Birthday paradox (problem)

History

2026-11-02: add by m2/dev

Boundedness on $\dot H^\alpha$ spaces GHG8K3S76N

URI	`m2://inv/GHG8K3S76N`
Kind	statement
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#BNE0, Boundedness on $\dot H^\alpha$ spaces (statement). In Y27BAB2BB4/e1, theorem 1.9

History

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

GHG9A35Y8N GHG9A35Y8N

URI	`m2://inv/GHG9A35Y8N`
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.22855#3AJA (statement)

History

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

Properties GHGBXRVFWG

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

Mentions

wikipedia: Wikipedia Fibbinary number#5LEE, Properties (statement)

History

2026-11-02: add by m2/dev

First-order covariance response GHGFHE99FM

URI	`m2://inv/GHGFHE99FM`
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#KBAO, First-order covariance response (statement)

History

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

GHGFPM46HC GHGFPM46HC

URI	`m2://inv/GHGFPM46HC`
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 2610.08193#RM0M (statement). In 8XAKGH8S2D/e1, corollary 3.22

History

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

Statement GHGFWFBJEJ

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

Mentions

wikipedia: Wikipedia Janson inequality#C0DZ, Statement (statement)

History

2026-11-02: add by m2/dev

The generality of the paradox GHGJ3T44K8

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

Mentions

wikipedia: Wikipedia Ellsberg paradox#IPNS, The generality of the paradox (statement)

History

2026-11-02: add by m2/dev

Small area estimation GHGJ5KHZX1

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

Mentions

wikipedia: Wikipedia Small area estimation, Small area estimation (definition). Also Wikidata Q17105857

History

2026-11-02: add by m2/dev

Examples GHGSYWMRJN

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

Mentions

wikipedia: Wikipedia Formal group law#934R, Examples (example)

History

2026-11-02: add by m2/dev

Nikolai G. Makarov GHGTCGP9Q6

URI	`m2://inv/GHGTCGP9Q6`
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#BS23, Nikolai G. Makarov (topic)

History

2026-11-02: add by m2/dev

GHGV6RT4A1 GHGV6RT4A1

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

Mentions

arxiv: arXiv 2609.23605#DC14 (statement)

History

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

List of eponyms of special functions GHGZZZ9M0A

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

Mentions

wikipedia: Wikipedia List of eponyms of special functions, List of eponyms of special functions (topic). Also Wikidata Q3249678

History

2026-11-02: add by m2/dev

Composite rows over a base family of linear observations GHH68R9M3H

URI	`m2://inv/GHH68R9M3H`
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.04357#MAEY, Composite rows over a base family of linear observations (definition). In 6FY8BVP1F3/e1, definition K.2

History

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

GHH8FGN39N GHH8FGN39N

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#proof-13 (proof). In E59CDZA4DP, proof, section 8.3.1

History

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

Stability GHHEB5MVRD

URI	`m2://inv/GHHEB5MVRD`
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.01015#DA4Z, Stability (statement). In PSH07NKZ62/e1, theorem 3

History

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

impossible object GHHHQBZBT1

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

Mentions

wikidata: Wikidata Q601362, impossible object (unknown). Also MathWorld ImpossibleFigure
wikipedia: Wikipedia Impossible object, Impossible object (definition). Also Wikidata Q601362

History

2026-10-26: add by m2/dev

Generalizations GHHJ6M7CJT

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

Mentions

wikipedia: Wikipedia Bent function#NIQY, Generalizations (statement)

History

2026-11-02: add by m2/dev

GHHK9BSHCZ GHHK9BSHCZ

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

Mentions

arxiv: arXiv 2610.21954#4QJR (statement). In F2XATDBRK4/e1, lemma 4

History

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

Georg Nöbeling GHHNFSX111

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

Mentions

wikipedia: Wikipedia Georg Nöbeling, Georg Nöbeling (topic). Also Wikidata Q78087

History

2026-11-02: add by m2/dev

GHHPBHA6VX GHHPBHA6VX

URI	`m2://inv/GHHPBHA6VX`
Kind	unknown
Layer	research
MSC	14-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2106.06387#I9KP (unknown). In 4YJH4FPWDA/e1, unknown 2.5

History

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

GHHRPAFAWV GHHRPAFAWV

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

Mentions

open_logic: open_logic content/lambda-calculus/lambda-definability/primitive-recursive-functions.tex#lem:prim (statement). In PKGMM3P5QY, lem, section 38.6

History

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

Gaussian integral GHHRSFD0WY

URI	`m2://inv/GHHRSFD0WY`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Gaussian integral 0DFT1GP1JP

Mentions

wikidata: Wikidata Q1060321, Gaussian integral (statement). Also MathWorld GaussianIntegral, nLab Gaussian integral
wikipedia: Wikipedia Gaussian integral, Gaussian integral (definition). Also Wikidata Q1060321

History

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

Equilibria with exact cyclic symmetry GHHY640T3X

URI	`m2://inv/GHHY640T3X`
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 2609.24739#6H4X, Equilibria with exact cyclic symmetry (statement)

History

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

GHJ4JJY8TM GHJ4JJY8TM

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

Mentions

arxiv: arXiv 2610.05672#78VC (statement). In BQGX0XE2A6/e1, corollary 4.3

History

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

power rule GHJ65MK13Q

URI	`m2://inv/GHJ65MK13Q`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Power rule 0JZGW75C5Z

Mentions

wikidata: Wikidata Q1190543, power rule (statement). Also MathWorld PowerRule, ProofWiki Power_Rule_for_Derivatives
wikipedia: Wikipedia Power rule, Power rule (definition). Also Wikidata Q1190543

History

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

Liouville's theorem GHJA7B45ZT

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

Mentions

wikipedia: Wikipedia List of theorems#6SX8, Liouville's theorem (statement)

History

2026-11-02: add by m2/dev

GHJFVS931K GHJFVS931K

URI	`m2://inv/GHJFVS931K`
Kind	statement
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.01216#W8TY (statement). In 59016RQTW6/e1, lemma 2.1

History

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

Definition GHJJY5GBAN

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

Mentions

wikipedia: Wikipedia Field of fractions#E4N2, Definition (definition)

History

2026-11-02: add by m2/dev

Reynolds-averaged Navier–Stokes equations GHJSYS33P4

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

Mentions

wikipedia: Wikipedia Reynolds-averaged Navier–Stokes equations, Reynolds-averaged Navier–Stokes equations (definition). Also Wikidata Q1536235

History

2026-11-02: add by m2/dev

Richard Brauer GHJYTVQKEX

URI	`m2://inv/GHJYTVQKEX`
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#L2Y3, Richard Brauer (topic)

History

2026-11-02: add by m2/dev

Critical point GHKD48J5HX

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

Mentions

wikipedia: Wikipedia List of mathematical properties of points#PR1V, Critical point (definition)

History

2026-11-02: add by m2/dev

Trimmed estimator GHKF80FT9Y

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

Mentions

wikipedia: Wikipedia List of statistics articles#9VRH, Trimmed estimator (definition)

History

2026-11-02: add by m2/dev

List of numerical-analysis software GHKN65531J

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software, List of numerical-analysis software (topic). Also Wikidata Q6631529

History

2026-11-02: add by m2/dev

Shepherdson GHKVHX4AR9

URI	`m2://inv/GHKVHX4AR9`
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 1003.2117#8DJM, Shepherdson (statement). In H4D4RFNH2V/e1, theorem 2.1

History

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

Corollary 1 GHKYP3GBTR

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

Mentions

wikipedia: Wikipedia Agnew's theorem#6E86, Corollary 1 (statement)

History

2026-11-02: add by m2/dev

Properties GHKZQEDZSZ

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

Mentions

wikipedia: Wikipedia Pythagorean hodograph curve#KOX7, Properties (statement)

History

2026-11-02: add by m2/dev

GHM9NAB1M7 GHM9NAB1M7

URI	`m2://inv/GHM9NAB1M7`
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.26713#4R1C (statement)

History

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

Extended Euclidean algorithm GHMN5FYPDA

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

Mentions

wikipedia: Wikipedia List of algorithms#8SGJ, Extended Euclidean algorithm (definition)

History

2026-11-02: add by m2/dev

GHMWXPHZGN GHMWXPHZGN

URI	`m2://inv/GHMWXPHZGN`
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.29665#8EOY (statement)

History

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

GHMYJA0GK1 GHMYJA0GK1

URI	`m2://inv/GHMYJA0GK1`
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.04730#IK43 (statement). In QHFP0837Q8/e1, corollary 2.7

History

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

GHMZXYBM5S GHMZXYBM5S

URI	`m2://inv/GHMZXYBM5S`
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.13137#13YX (statement). In NH77XVB03X/e1, lemma 3.1

History

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

GHN12C870V GHN12C870V

URI	`m2://inv/GHN12C870V`
Kind	statement
Layer	research
MSC	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 2610.15926#RTNF (statement). In G0J92BSX4A/e1, proposition 6.2

History

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

GHN1N0ZHDD GHN1N0ZHDD

URI	`m2://inv/GHN1N0ZHDD`
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.19326#63JL (statement). In YFWDHG947Q/e1, lemma 8

History

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

Loop--star generators GHN6NGPRV6

URI	`m2://inv/GHN6NGPRV6`
Kind	statement
Layer	research
MSC	05-XX, 20-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.04305#WC0K, Loop--star generators (statement). In Y1DR0DPWD0/e1, corollary 5.14

History

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

simplicial category GHNADZV1FA

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

Mentions

wikipedia: Wikipedia Glossary of category theory#87ER, simplicial category (definition)

History

2026-11-02: add by m2/dev

Jakob Stix GHNF0BZ5KY

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

Mentions

wikidata: Wikidata Q54554871, Jakob Stix (unknown). Also nLab Jakob Stix
wikipedia: Wikipedia Jakob Stix, Jakob Stix (topic). Also Wikidata Q54554871

History

2026-10-26: add by m2/dev

Alexander Abrosimov GHNKATWBQF

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

Mentions

wikipedia: Wikipedia Alexander Abrosimov, Alexander Abrosimov (topic). Also Wikidata Q4055079

History

2026-11-02: add by m2/dev

GHNNQ1R227 GHNNQ1R227

URI	`m2://inv/GHNNQ1R227`
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.08362#GL25 (statement). In 7JHAD30NBB/e1, lemma 3.3

History

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

GHNNYVP0BK GHNNYVP0BK

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

Mentions

arxiv: arXiv 2609.32977#WN5T (statement). In 4KT9TK3MG4/e1, theorem E.9

History

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

Set axioms GHNTRRYJFK

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

Mentions

wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#7UNP, Set axioms (statement)

History

2026-11-02: add by m2/dev

GHNV47RZG8 GHNV47RZG8

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

Mentions

arxiv: arXiv 2609.20881#CSG8 (statement)

History

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

maximal spectrum of a ring GHP2BJG375

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

Mentions

wikidata: Wikidata Q91442652, maximal spectrum of a ring (definition). Also nLab maximal spectrum, ProofWiki Definition:Maximal_Spectrum_of_Ring

History

2026-10-26: add by m2/dev

Reconstruction of an infinite open path GHP7PZDF3Z

URI	`m2://inv/GHP7PZDF3Z`
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.18312#E3N3, Reconstruction of an infinite open path (statement). In NPEVE32HFP/e1, proposition 7.4

History

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

Eckmann--Hilton argument GHP99J1B07

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

Mentions

hott_book: hott_book index/7.4/eckmann-hilton-argument, Eckmann--Hilton argument (concept). In N54F33XE07, index, section 7.4

History

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

GHPCGGGHEP GHPCGGGHEP

URI	`m2://inv/GHPCGGGHEP`
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.02141#4FAI (statement). In 5AB8YPS19N/e1, theorem 2.2

History

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

Runge's approximation theorem GHPGCPK1KM

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

Mentions

lebl_scv: lebl_scv index/B/runge-s-approximation-theorem, Runge's approximation theorem (concept). In VNMV985MXX, index, section B

History

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

GHPPFT3G8D GHPPFT3G8D

URI	`m2://inv/GHPPFT3G8D`
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.21730#IDUO (statement). In BM64QM6Q7J/e1, lemma 6.1

History

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

GHQ578D2SN GHQ578D2SN

URI	`m2://inv/GHQ578D2SN`
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#IH62 (statement). In TN93YFN45W/e1, corollary 3.17

History

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

Paul Weiss GHQ71AC6EJ

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

Mentions

wikipedia: Wikipedia List of German mathematicians#DRVE, Paul Weiss (topic)

History

2026-11-02: add by m2/dev

GHQAGB49GQ GHQAGB49GQ

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

Mentions

arxiv: arXiv 2610.16431#0YVZ (statement). In 7NX9HA8VPM/e1, proposition 3.1

History

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

Proposition 6 GHQKGFRDQF

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

Mentions

wikipedia: Wikipedia Geiringer–Laman theorem#1K36, Proposition 6 (statement)

History

2026-11-02: add by m2/dev

Hyperbolization theorem GHQKKKZDSK

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

Mentions

wikipedia: Wikipedia Hyperbolization theorem, Hyperbolization theorem (statement). Also Wikidata Q5957808

History

2026-11-02: add by m2/dev

GHQN1E627Y GHQN1E627Y

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

Mentions

napkin: napkin tex/calculus/taylor.tex#proposition-2 (statement). In RZP28ERRZV, proposition, section 34.4

History

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

Jacobian system GHQP4D5SR0

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#UNQO, Jacobian system (definition)

History

2026-11-02: add by m2/dev

Affine sections from future transcripts GHRC3DP19Y

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

Mentions

arxiv: arXiv 2610.02407#KLCM, Affine sections from future transcripts (statement). In ZZER8ZBSCR/e1, lemma 4.7

History

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

GHRNQ4T75F GHRNQ4T75F

URI	`m2://inv/GHRNQ4T75F`
Kind	definition
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.10546#CZ88 (definition). In K5R5RRPMQ5/e1, definition 2.1

History

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

Schauder fixed point theorem GHRYMK3F54

URI	`m2://inv/GHRYMK3F54`
Kind	statement
Layer	textbook
MSC	46-XX, 53-XX
Sources	5
Outcome	open
Node	Schauder fixed-point theorem DCPFVVZZ54

Mentions

arxiv: arXiv 2609.34923#MO7Z, Schauder fixed point theorem (statement). In 7WKVFJEZQT/e1, theorem 6
mathlib_1000: mathlib_1000 Q656176, Schauder fixed-point theorem (statement). Also Wikidata Q656176
thousand_plus: thousand_plus Q656176, Schauder fixed-point theorem (statement). Also Wikidata Q656176, Wikipedia Schauder fixed-point theorem
wikidata: Wikidata Q656176, Schauder fixed point theorem (unknown). Also EoM Schauder_theorem
wikipedia: Wikipedia Schauder fixed-point theorem, Schauder fixed-point theorem (statement). Also Wikidata Q656176

History

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

GHSAK6Z42X GHSAK6Z42X

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

Mentions

austin_ula: austin_ula src/exercises/exercises2-3.xml#exercise-11 (exercise). In 649HGZKE96, exercise, section 2.3

History

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

GHSCKBVDB3 GHSCKBVDB3

URI	`m2://inv/GHSCKBVDB3`
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 2512.07340#TZKH (statement). In WXE3PVAZBT/e1, lemma 3.5

History

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

GHSDG7ASZT GHSDG7ASZT

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

Mentions

arxiv: arXiv 2609.32860#CXG5 (statement). In H71AJ341B3/e1, corollary 4.8

History

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

finite moment detection GHSG3AYYPK

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

Mentions

arxiv: arXiv 2609.26286#ZOLI, finite moment detection (statement)

History

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

Topological string theory GHSG45HV9E

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

Mentions

wikipedia: Wikipedia List of topology topics#KQVQ, Topological string theory (unknown)

History

2026-11-02: add by m2/dev

GHSQC51FFR GHSQC51FFR

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

Mentions

napkin: napkin tex/quantum/circuits.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 75.2

History

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

Cayley–Klein model GHSTDQ9C0J

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

Mentions

wikipedia: Wikipedia List of things named after Arthur Cayley#HL0Z, Cayley–Klein model (definition)

History

2026-11-02: add by m2/dev

GHSW6R8G3N GHSW6R8G3N

URI	`m2://inv/GHSW6R8G3N`
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.01015#L84A (statement). In PSH07NKZ62/e1, theorem 1

History

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

GHT7FMDHFQ GHT7FMDHFQ

URI	`m2://inv/GHT7FMDHFQ`
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.38206#35M3 (statement). In F71MS1F637/e1, theorem F

History

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

Canonical Model GHTKM3M6QW

URI	`m2://inv/GHTKM3M6QW`
Kind	definition
Layer	research
MSC	03-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 1209.3562#BSE7, Canonical Model (definition). In KZH1DCS18C/e1, definition 6.2

History

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

Identifiability of bias-free PNNs for generic $\sigma$ GHTQDAZ58A

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

Mentions

arxiv: arXiv 2610.20825#K5KI, Identifiability of bias-free PNNs for generic $\sigma$ (statement). In K9G02J8MXT/e1, theorem 1.4

History

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

GHTQGATMJ9 GHTQGATMJ9

URI	`m2://inv/GHTQGATMJ9`
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#QYGK (statement). In 1YW6C6XGT3/e1, lemma 2.2

History

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

Plethystic exponential GHTYGKV7FB

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

Mentions

wikipedia: Wikipedia List of exponential topics#DMHZ, Plethystic exponential (definition)

History

2026-11-02: add by m2/dev

logical NOR GHV3HSQMJG

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

Mentions

wikidata: Wikidata Q574946, logical NOR (unknown). Also MathWorld NOR
wikipedia: Wikipedia Logical NOR, Logical NOR (definition). Also Wikidata Q574946

History

2026-10-26: add by m2/dev

Peter Aczel GHV6WH4BTZ

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

Mentions

wikidata: Wikidata Q2073584, Peter Aczel (unknown). Also nLab Peter Aczel
wikipedia: Wikipedia Peter Aczel, Peter Aczel (topic). Also Wikidata Q2073584

History

2026-10-26: add by m2/dev

GHV6ZAVQZV GHV6ZAVQZV

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

Mentions

napkin: napkin tex/alg-geom/spec-examples.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 26.16

History

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

Tollmien–Schlichting wave GHV8P9BSCJ

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

Mentions

wikipedia: Wikipedia Tollmien–Schlichting wave, Tollmien–Schlichting wave (definition). Also Wikidata Q2439370

History

2026-11-02: add by m2/dev

Roger Penrose GHVB35S2WK

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#85NX, Roger Penrose (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#V6ND, Roger Penrose (topic)

History

2026-11-02: add by m2/dev

P-group GHVRS153C6

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

Mentions

wikipedia: Wikipedia List of group theory topics#ETCU, P-group (definition)

History

2026-11-02: add by m2/dev

stability by multiplication by a slowly growing smooth function GHVXR4VQYT

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

Mentions

mathlib_undergrad: mathlib_undergrad Distribution calculus > Spaces $\mathcal{S}(\R^d)$ > stability by multiplication by a slowly growing smooth function, stability by multiplication by a slowly growing smooth function (unknown). Also Mathlib SchwartzMap.bilinLeftCLM

History

2026-10-26: add by m2/dev

GHW0CHF0SV GHW0CHF0SV

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

Mentions

hott_book: hott_book homotopy.tex#defn-1 (definition). In N54F33XE07, defn, section 7.1.4

History

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

Arithmetic and geometric Frobenius GHW0QJ2ADC

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

Mentions

wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#0RNB, Arithmetic and geometric Frobenius (definition)

History

2026-11-02: add by m2/dev

isotomic conjugate GHW6SQ50PE

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

Mentions

wikidata: Wikidata Q1511235, isotomic conjugate (unknown). Also MathWorld IsotomicConjugate
wikipedia: Wikipedia Isotomic conjugate, Isotomic conjugate (definition). Also Wikidata Q1511235

History

2026-10-26: add by m2/dev

implicit function theorem GHW8X0XC43

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

Mentions

lebl_scv: lebl_scv index/1.3/implicit-function-theorem, implicit function theorem (concept). In VNMV985MXX, index, section 1.3

History

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

GHWBRMWY62 GHWBRMWY62

URI	`m2://inv/GHWBRMWY62`
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.29227#V3QI (statement)

History

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

Relation to Gauss's law GHWHRNH7BY

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

Mentions

wikipedia: Wikipedia Coulomb's law#TGFH, Relation to Gauss's law (statement)

History

2026-11-02: add by m2/dev

Anderson-Cook, Christine GHWJRXCYHW

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

Mentions

wikipedia: Wikipedia List of statisticians#3BR6, Anderson-Cook, Christine (unknown)

History

2026-11-02: add by m2/dev

Identity for the magnitude contribution GHWM7AGBA9

URI	`m2://inv/GHWM7AGBA9`
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.02843#L2BZ, Identity for the magnitude contribution (statement). In 2XC1KQXA9H/e1, lemma 2

History

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

Q-bracket GHWMEVBF21

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

Mentions

wikipedia: Wikipedia Q-Pochhammer symbol#66OM, Q-bracket (unknown)

History

2026-11-02: add by m2/dev

Glossary of graph theory GHWWN9Y46R

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#DD3K, Glossary of graph theory (topic)

History

2026-11-02: add by m2/dev

Locally compact GHWYEM93HF

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

Mentions

wikipedia: Wikipedia Glossary of general topology#0H4S, Locally compact (definition)

History

2026-11-02: add by m2/dev

Design of experiments GHX58972WC

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

Mentions

wikipedia: Wikipedia List of statistics articles#2CLU, Design of experiments (definition)

History

2026-11-02: add by m2/dev

Stickelberger GHX6KFHZ0N

URI	`m2://inv/GHX6KFHZ0N`
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.28211#VRRI, Stickelberger (statement)

History

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

GHXAPNT7EF GHXAPNT7EF

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

Mentions

arxiv: arXiv 2610.10930#FEM5 (statement). In HX63A1PH1W/e1, proposition 5.38

History

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

Example GHXBNJDDZ5

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

Mentions

wikipedia: Wikipedia Model theory#SQ5C, Example (example)

History

2026-11-02: add by m2/dev

recursion principle, for empty type GHXC55G4WT

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

Mentions

hott_book: hott_book index/A.7/recursion-principle-for-empty-type, recursion principle, for empty type (concept). In N54F33XE07, index, section A.7

History

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

Edmund Hess GHXDEYRN7R

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

Mentions

wikipedia: Wikipedia Edmund Hess, Edmund Hess (topic). Also Wikidata Q5339557

History

2026-11-02: add by m2/dev

cobar spectral sequence GHXE38EBJB

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#5BJN, cobar spectral sequence (definition)

History

2026-11-02: add by m2/dev

Perturbation bound for the family factor and radius GHXKABR6TN

URI	`m2://inv/GHXKABR6TN`
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.04140#65QC, Perturbation bound for the family factor and radius (statement). In BTT0FX7XMC/e1, theorem 1

History

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

GHXNY3VX26 GHXNY3VX26

URI	`m2://inv/GHXNY3VX26`
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#CSPO (statement). In M3E3ARMJXK/e1, lemma 4.13

History

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

448 (number) GHXQ09GP1T

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

Mentions

wikipedia: Wikipedia 400 (number)#KH77, 448 (number) (unknown)

History

2026-11-02: add by m2/dev

GHXRWK38KT GHXRWK38KT

URI	`m2://inv/GHXRWK38KT`
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.07259#2RFI (statement). In XMR1TTDSPG/e1, lemma 3.4

History

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

GHXY9PYXEQ GHXY9PYXEQ

URI	`m2://inv/GHXY9PYXEQ`
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.14374#XU86 (statement). In YPTC532FEG/e1, lemma 26

History

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

Chalisgaon GHY191FS30

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

Mentions

wikipedia: Wikipedia List of places with numeric names#4UGG, Chalisgaon (unknown)

History

2026-11-02: add by m2/dev

Dieter Lüst GHY1HMVF91

URI	`m2://inv/GHY1HMVF91`
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 Q91412, Dieter Lüst (unknown). Also nLab Dieter Lüst

History

2026-10-26: add by m2/dev

Semiclassical trace formula GHY3RKEJS9

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

Mentions

wikipedia: Wikipedia Poisson summation formula#1TSH, Semiclassical trace formula (statement)

History

2026-11-02: add by m2/dev

GHY5Z5QT6K GHY5Z5QT6K

URI	`m2://inv/GHY5Z5QT6K`
Kind	statement
Layer	research
MSC	35-XX, 46-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.05403#29O0 (statement). In PQGGCD09KP/e1, theorem 1.6

History

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

GHY6S6CAGF GHY6S6CAGF

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

Mentions

arxiv: arXiv 2610.21675#OXSX (statement). In TB1294GY5X/e1, proposition C.4

History

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

GHYAFGWRTK GHYAFGWRTK

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

Mentions

napkin: napkin tex/measure/martingale.tex#definition-6 (definition). In RZP28ERRZV, definition, section 66.5

History

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

quantum fluctuation GHYCJYZQWK

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

Mentions

wikidata: Wikidata Q1193821, quantum fluctuation (unknown). Also nLab quantum fluctuation

History

2026-10-26: add by m2/dev

GHYGT8TTZP GHYGT8TTZP

URI	`m2://inv/GHYGT8TTZP`
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 2609.24374#RPZK (statement)

History

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

Bloch's theorem GHZ3SXVF3G

URI	`m2://inv/GHZ3SXVF3G`
Kind	statement
Layer	textbook
MSC	30-XX
Sources	4
Outcome	open
Node	Bloch's theorem KW31KDX7TB

Mentions

mathlib_1000: mathlib_1000 Q266291, Bloch's theorem (complex variables) (statement). Also Wikidata Q266291
thousand_plus: thousand_plus Q266291, Bloch's theorem (statement). Also Wikidata Q266291, Wikipedia Bloch's theorem (complex variables)
wikidata: Wikidata Q266291, Bloch's theorem (statement). Also MathWorld BlochConstant
wikipedia: Wikipedia Bloch's theorem (complex analysis), Bloch's theorem (conjecture). Also Wikidata Q266291

History

2026-10-26: add by m2/dev

Two-stage border negative moment GHZ8BN4Q6H

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

Mentions

arxiv: arXiv 2610.05498#JTK4, Two-stage border negative moment (statement). In TJT32RQ9GC/e1, lemma 5.11

History

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

GHZDZMPVZ8 GHZDZMPVZ8

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

Mentions

arxiv: arXiv 2609.33584#QYIG (statement). In 3HFBAWQCA1/e1, lemma 3.3

History

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

GHZJCTNXWA GHZJCTNXWA

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

Mentions

arxiv: arXiv 2210.16706#VQ6K (statement). In JSRVKPT87E/e1, theorem

History

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

GHZYP4GNDG GHZYP4GNDG

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

Mentions

wikipedia: Wikipedia Integer factorization#CSLE (problem)

History

2026-11-02: add by m2/dev