Inventory rows PA

Applications PA04WQV17F

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

Mentions

wikipedia: Wikipedia Chaotic cryptology#SO26, Applications (example)

History

2026-11-02: add by m2/dev

inverse PA0XA3DKAM

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

Mentions

wikipedia: Wikipedia Glossary of category theory#3HJ9, inverse (definition)

History

2026-11-02: add by m2/dev

PA123CGBZ8 PA123CGBZ8

URI	`m2://inv/PA123CGBZ8`
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 2303.14022#6VTW (statement). In NSYR6W27FP/e1, proposition 2.6

History

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

Lagrange point colonization PA12QFAATM

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

Mentions

wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#DI4C, Lagrange point colonization (unknown)
wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#X1AF, Lagrange point colonization (unknown)

History

2026-11-02: add by m2/dev

PA15T8VYM7 PA15T8VYM7

URI	`m2://inv/PA15T8VYM7`
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.07644#X7XQ (statement). In TFAN2DR6FD/e1, proposition 1

History

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

PA1KD3SD1N PA1KD3SD1N

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

Mentions

arxiv: arXiv 2609.30892#CKFJ (example). In F7C1RM5VA4/e1, example 1.7

History

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

PA1PD60G8H PA1PD60G8H

URI	`m2://inv/PA1PD60G8H`
Kind	example
Layer	research
MSC	18-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 1912.02769#OKDE (example). In JH7VQ2EC16/e1, example 6.6

History

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

Alan Baker PA1W9E2NYN

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

Mentions

wikipedia: Wikipedia Alan Baker (mathematician), Alan Baker (topic). Also Wikidata Q310769

History

2026-11-02: add by m2/dev

Poisson cohomology PA1WDQ59MY

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

Mentions

wikipedia: Wikipedia Poisson manifold#QD2F, Poisson cohomology (unknown)

History

2026-11-02: add by m2/dev

PA2803V19G PA2803V19G

URI	`m2://inv/PA2803V19G`
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.04603#JWDM (statement). In HEAG8V2JM1/e1, corollary 4.3

History

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

Review of Lovász local lemma PA2JT39H2M

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

Mentions

wikipedia: Wikipedia Algorithmic Lovász local lemma#BIC3, Review of Lovász local lemma (statement)

History

2026-11-02: add by m2/dev

PA2KF2S3HS PA2KF2S3HS

URI	`m2://inv/PA2KF2S3HS`
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.03555#P53D (statement). In 9JZJTRRVR1/e1, proposition 4.9

History

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

Definition PA2P1Q196Z

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

Mentions

wikipedia: Wikipedia Cylindrical σ-algebra#TW44, Definition (definition)

History

2026-11-02: add by m2/dev

Eduard Helly PA2X37GJBJ

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

Mentions

wikipedia: Wikipedia Eduard Helly, Eduard Helly (topic). Also Wikidata Q84608

History

2026-11-02: add by m2/dev

PA35P0K2DE PA35P0K2DE

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise:C2minusR2 (exercise). In VNMV985MXX, exercise, section 2.1

History

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

PA3C819N8F PA3C819N8F

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

Mentions

arxiv: arXiv 2401.07983#E842 (statement). In 4WJ9HYVSZY/e1, proposition 3.3

History

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

PA3E1KC9PJ PA3E1KC9PJ

URI	`m2://inv/PA3E1KC9PJ`
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 2511.08099#BO3Q (statement). In 5NK801XBGA/e1, lemma 4.3

History

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

PA3Y0420D3 PA3Y0420D3

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

Mentions

arxiv: arXiv 2609.37606#UA0W (statement). In WNFW6GY38C/e1, theorem 1.5

History

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

Statement PA3Z3D34F9

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

Mentions

wikipedia: Wikipedia Littlewood's Tauberian theorem#KSWI, Statement (statement)

History

2026-11-02: add by m2/dev

PA4D9W3BR4 PA4D9W3BR4

URI	`m2://inv/PA4D9W3BR4`
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 2405.02275#0THV (definition). In 1QXCNGRWV1/e1, definition 2.5

History

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

Conductance PA4P50G1JT

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

Mentions

wikipedia: Wikipedia Conductance (graph theory), Conductance (definition). Also Wikidata Q5159376

History

2026-11-02: add by m2/dev

Project Euler PA4YHBTG3A

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

Mentions

wikipedia: Wikipedia Project Euler, Project Euler (definition). Also Wikidata Q168430

History

2026-11-02: add by m2/dev

PA4Z3Z315C PA4Z3Z315C

URI	`m2://inv/PA4Z3Z315C`
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.10873#TBJ0 (statement). In AYG8HYGW6V/e1, lemma C.3

History

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

\textbf{Krull intersection section type theorem PA5M1ER224

URI	`m2://inv/PA5M1ER224`
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.16178#IPB4, \textbf{Krull intersection section type theorem (statement). In 698X5RE1AB/e1, theorem 2.13

History

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

Corollary PA5SCPF51K

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

Mentions

wikipedia: Wikipedia Zorn's lemma#P4JP, Corollary (statement)

History

2026-11-02: add by m2/dev

PA63FS32RA PA63FS32RA

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

Mentions

arxiv: arXiv 2610.12329#ZY7K (statement). In ZJQB9W60T6/e1, lemma 2.2

History

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

PA6CN6WMTY PA6CN6WMTY

URI	`m2://inv/PA6CN6WMTY`
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.02912#FV1I (statement). In 2GP3PK3A0C/e1, theorem 2

History

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

PA6DYJZMZF PA6DYJZMZF

URI	`m2://inv/PA6DYJZMZF`
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#W9PS (statement). In KZ71GXT2B0/e1, lemma 2.14

History

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

Hadwiger conjecture PA6GDGH41T

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#LH8K, Hadwiger conjecture (conjecture)

History

2026-11-02: add by m2/dev

Zermelo–Fraenkel axioms PA6H0MCV21

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#PBKT, Zermelo–Fraenkel axioms (definition)

History

2026-11-02: add by m2/dev

PA6KN6VZX8 PA6KN6VZX8

URI	`m2://inv/PA6KN6VZX8`
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.20119#QCPJ (statement)

History

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

Implicational propositional calculus PA6PVB6JNW

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

Mentions

wikipedia: Wikipedia Implicational propositional calculus, Implicational propositional calculus (definition). Also Wikidata Q6007243

History

2026-11-02: add by m2/dev

Measure-preserving dynamical system PA6YH9RD1K

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#6PSB, Measure-preserving dynamical system (definition)

History

2026-11-02: add by m2/dev

Definition PA74GVZKDF

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

Mentions

wikipedia: Wikipedia E∞-operad#VZ10, Definition (definition)

History

2026-11-02: add by m2/dev

relation, equivalence PA77BCBF1B

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

Mentions

applied_combinatorics: applied_combinatorics index/B.13/relation-equivalence, relation, equivalence (concept). In QKM9DD2H56, index, section B.13

History

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

PA7PM2WFM9 PA7PM2WFM9

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

Mentions

arxiv: arXiv 2610.14240#BLSD (definition). In HGQCBDDMQJ/e1, definition 2.7

History

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

Original rank-one-lower existence PA7WYP98Q3

URI	`m2://inv/PA7WYP98Q3`
Kind	statement
Layer	research
MSC	14-XX, 35-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.18788#JZRY, Original rank-one-lower existence (statement). In KFEASG3ZHS/e1, theorem 7.7

History

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

Gauss lemma PA7XHEG0N1

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

Mentions

lebl_scv: lebl_scv index/D/gauss-lemma, Gauss lemma (concept). In VNMV985MXX, index, section D

History

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

Constant continuous-time directional regret PA8082CG8F

URI	`m2://inv/PA8082CG8F`
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.05428#K1JF, Constant continuous-time directional regret (statement). In 31MQPCA8SH/e1, theorem C.1

History

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

Weil's converse theorem PA8D86K0GE

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

Mentions

wikipedia: Wikipedia Haar measure#MO44, Weil's converse theorem (statement)

History

2026-11-02: add by m2/dev

Alexander Grothendieck PA8ER4BHVR

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#FD6T, Alexander Grothendieck (topic)
wikipedia: Wikipedia List of algebraic geometry topics#RLLN, Alexander Grothendieck (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CSP9, Alexander Grothendieck (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#F0KA, Alexander Grothendieck (topic)

History

2026-11-02: add by m2/dev

Adolphe Buhl PA8GGCPT85

URI	`m2://inv/PA8GGCPT85`
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#8LUH, Adolphe Buhl (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#A82X, Adolphe Buhl (topic)

History

2026-11-02: add by m2/dev

electron PA8N3QYKFS

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

Mentions

wikidata: Wikidata Q2225, electron (definition). Also ProofWiki Definition:Electron

History

2026-10-26: add by m2/dev

PA8XH718XD PA8XH718XD

URI	`m2://inv/PA8XH718XD`
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.13798#30R8 (statement). In GF2MA6Y29D/e1, theorem 1.2

History

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

Wilhelm Fiedler PA928CQHZT

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

Mentions

wikipedia: Wikipedia Wilhelm Fiedler, Wilhelm Fiedler (topic). Also Wikidata Q10843179

History

2026-11-02: add by m2/dev

Generalizations PA9BJBBNM8

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

Mentions

wikipedia: Wikipedia Zone theorem#BE86, Generalizations (statement)

History

2026-11-02: add by m2/dev

Friedrich Kasiski PA9ERBJNDS

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

Mentions

wikipedia: Wikipedia List of cryptographers#FM3M, Friedrich Kasiski (topic)

History

2026-11-02: add by m2/dev

divergent PA9KVAKVX6

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#WEWJ, divergent (definition)

History

2026-11-02: add by m2/dev

Definition PA9PWYF5NW

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

Mentions

wikipedia: Wikipedia Apollonian network#07VC, Definition (definition)

History

2026-11-02: add by m2/dev

Bohuslav Diviš PA9QG9ZDPX

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

Mentions

wikipedia: Wikipedia Bohuslav Diviš, Bohuslav Diviš (topic). Also Wikidata Q890960

History

2026-11-02: add by m2/dev

PA9Y19EJ5P PA9Y19EJ5P

URI	`m2://inv/PA9Y19EJ5P`
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 2504.19468#9301 (statement). In EY54F2SX08/e1, theorem 3.1

History

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

Partition of sums of squares PAA45Z7XQE

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

Mentions

wikipedia: Wikipedia List of statistics articles#YN2P, Partition of sums of squares (definition)

History

2026-11-02: add by m2/dev

apex PAA7MGZXNE

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#ANEX, apex (definition)

History

2026-11-02: add by m2/dev

Moise's theorem PAAE95KYM2

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

Mentions

wikipedia: Wikipedia Moise's theorem, Moise's theorem (statement). Also Wikidata Q6894771

History

2026-11-02: add by m2/dev

Coulomb gas PAAEW645MJ

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

Mentions

wikipedia: Wikipedia Coulomb gas, Coulomb gas (definition). Also Wikidata Q121590477

History

2026-11-02: add by m2/dev

PAAF2P98R1 PAAF2P98R1

URI	`m2://inv/PAAF2P98R1`
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 2609.34168#IG9E (statement). In 30YQV8N04M/e1, lemma 6.1

History

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

PAAJTS5KV1 PAAJTS5KV1

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

Mentions

arxiv: arXiv 2609.28552#R3RB (statement)

History

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

PAANGPPKXE PAANGPPKXE

URI	`m2://inv/PAANGPPKXE`
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.21915#SFRF (statement)

History

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

PAASBNFCMY PAASBNFCMY

URI	`m2://inv/PAASBNFCMY`
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 2504.13328#3FLI (statement). In 736Q32FYCG/e1, proposition 2.10

History

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

PAAYHE4H61 PAAYHE4H61

URI	`m2://inv/PAAYHE4H61`
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 2610.12908#P6TB (statement). In TNC658NVMQ/e1, theorem 9.2

History

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

Middle-third Cantor PAB0Z86WY7

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

Mentions

arxiv: arXiv 2505.10801#3YF8, Middle-third Cantor (example). In BWJS3H55WH/e1, example 32

History

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

Monogon PAB47908CR

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

Mentions

wikipedia: Wikipedia Monogon, Monogon (definition). Also Wikidata Q1070963

History

2026-11-02: add by m2/dev

PAB7E66D3B PAB7E66D3B

URI	`m2://inv/PAB7E66D3B`
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.22825#N4T7 (statement)

History

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

PABAAZ93MR PABAAZ93MR

URI	`m2://inv/PABAAZ93MR`
Kind	definition
Layer	research
MSC	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.17863#CPGC (definition). In Y8XQT02BBF/e1, definition 7.1

History

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

PABJZ3ESCJ PABJZ3ESCJ

URI	`m2://inv/PABJZ3ESCJ`
Kind	definition
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.27694#CNS2 (definition)

History

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

PABNEGJG0X PABNEGJG0X

URI	`m2://inv/PABNEGJG0X`
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.20656#P4QA (statement)

History

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

Herglotz-Riesz representation theorem for harmonic functions PABPJ2AFTY

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

Mentions

wikipedia: Wikipedia Positive harmonic function#ZZIH, Herglotz-Riesz representation theorem for harmonic functions (statement)

History

2026-11-02: add by m2/dev

Axiom PABYCG7MGA

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#CHJA, Axiom (unknown)

History

2026-11-02: add by m2/dev

R.14 -- GF($167$) algebraic insufficiency PAC04V17Y8

URI	`m2://inv/PAC04V17Y8`
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.25543#Z79Q, R.14 -- GF($167$) algebraic insufficiency (statement)

History

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

Examples PACHGERWRK

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

Mentions

wikipedia: Wikipedia Group representation#NSP1, Examples (example)

History

2026-11-02: add by m2/dev

Marcel Grossmann PACRDF5TWK

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#HW2D, Marcel Grossmann (topic)

History

2026-11-02: add by m2/dev

Virginia Lesser PACSSGZ2Q5

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#H8ES, Virginia Lesser (topic)

History

2026-11-02: add by m2/dev

Helmut Grunsky PACXHYR80T

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

Mentions

wikipedia: Wikipedia Helmut Grunsky, Helmut Grunsky (topic). Also Wikidata Q102169

History

2026-11-02: add by m2/dev

Omphalos hypothesis PACZ6JCHZC

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

Mentions

wikipedia: Wikipedia Falsifiability#NLDM, Omphalos hypothesis (statement)

History

2026-11-02: add by m2/dev

Order certificate PAD5B20RR9

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

Mentions

arxiv: arXiv 2610.02276#7SXZ, Order certificate (statement). In 3X0RCNDNZA/e1, lemma 2.1

History

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

PADABQ55WG PADABQ55WG

URI	`m2://inv/PADABQ55WG`
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.20225#U0SV (statement)

History

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

Particle swarm optimization PADEPSKQA9

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#646H, Particle swarm optimization (unknown)

History

2026-11-02: add by m2/dev

finitism PADF7CWTHG

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

Mentions

wikipedia: Wikipedia Glossary of logic#C8XI, finitism (definition)

History

2026-11-02: add by m2/dev

Lois Wilfred Griffiths PADX7P7Z2X

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

Mentions

wikipedia: Wikipedia Lois Wilfred Griffiths, Lois Wilfred Griffiths (topic). Also Wikidata Q27178177

History

2026-11-02: add by m2/dev

Religion in Sabah PADX7RFQ2K

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

Mentions

wikipedia: Wikipedia Demographics of Sabah#R505, Religion in Sabah (unknown)

History

2026-11-02: add by m2/dev

Exact crossing formula and first-order parity PADX8AQMNA

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

Mentions

arxiv: arXiv 2609.20215#8DQT, Exact crossing formula and first-order parity (statement)

History

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

PADZJ9Y86H PADZJ9Y86H

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

Mentions

arxiv: arXiv 2609.23884#QRGR (statement)

History

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

Ercole Dembowski PAE0D8AM3X

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#AHO9, Ercole Dembowski (unknown)

History

2026-11-02: add by m2/dev

Example PAE1A4A0Y3

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

Mentions

wikipedia: Wikipedia Monogamy of entanglement#LBCL, Example (example)

History

2026-11-02: add by m2/dev

PAE33BD4V4 PAE33BD4V4

URI	`m2://inv/PAE33BD4V4`
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 0903.1504#4D46 (statement). In D5YZ438QTY/e1, theorem 2.9

History

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

PAE46KYPPA PAE46KYPPA

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

Mentions

arxiv: arXiv 2610.12329#XJLF (statement). In ZJQB9W60T6/e1, lemma 6.4

History

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

Wheels, Life and Other Mathematical Amusements PAECQHB8TE

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

Mentions

wikipedia: Wikipedia Wheels, Life and Other Mathematical Amusements, Wheels, Life and Other Mathematical Amusements (definition). Also Wikidata Q97166930

History

2026-11-02: add by m2/dev

PAED4J4YV9 PAED4J4YV9

URI	`m2://inv/PAED4J4YV9`
Kind	conjecture
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.22345#B44E (conjecture). In 7JATJ4VG9G/e1, conjecture 1.1

History

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

Properties PAEK1N4B64

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

Mentions

wikipedia: Wikipedia Conformal loop ensemble#ZY3V, Properties (statement)

History

2026-11-02: add by m2/dev

Hebern rotor machine PAEPCFECFA

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

Mentions

wikipedia: Wikipedia Hebern rotor machine, Hebern rotor machine (definition). Also Wikidata Q3274389

History

2026-11-02: add by m2/dev

PAER138BDV PAER138BDV

URI	`m2://inv/PAER138BDV`
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#XFJ7 (statement). In 6VR4TY5BGV/e1, lemma 5.1

History

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

PAEVKPB5XZ PAEVKPB5XZ

URI	`m2://inv/PAEVKPB5XZ`
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.37584#M5DG (statement). In 66F6N3BJWV/e1, theorem 5.1

History

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

PAF9YTJPQ1 PAF9YTJPQ1

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#problem-5 (exercise). In P1C114YBXG, problem, section J

History

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

Definition PAFB8M1G42

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

Mentions

wikipedia: Wikipedia Fréchet derivative#8IC4, Definition (definition)

History

2026-11-02: add by m2/dev

Serpent PAFH57NPBJ

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

Mentions

wikipedia: Wikipedia Serpent (cipher), Serpent (definition). Also Wikidata Q1501904

History

2026-11-02: add by m2/dev

PAFXK1S52A PAFXK1S52A

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

Mentions

arxiv: arXiv 2211.04758#SAIQ (statement). In DRWDJG2G3S/e1, lemma 6.1

History

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

True length PAG28XZ494

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

Mentions

wikipedia: Wikipedia True length, True length (definition). Also Wikidata Q16992621

History

2026-11-02: add by m2/dev

Inserter category PAG4094ESJ

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

Mentions

wikipedia: Wikipedia Inserter category, Inserter category (definition). Also Wikidata Q20164468

History

2026-11-02: add by m2/dev

PAG4FMZG6Q PAG4FMZG6Q

URI	`m2://inv/PAG4FMZG6Q`
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.32174#XRDZ (statement). In GHKR740SG3/e1, theorem

History

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

PAG5FTE7AM PAG5FTE7AM

URI	`m2://inv/PAG5FTE7AM`
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.23595#G91X (statement)

History

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

David Plaisted PAG7XM755N

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#2GP8, David Plaisted (unknown)

History

2026-11-02: add by m2/dev

Six Hill, West Virginia PAGEM7X6SP

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

Mentions

wikipedia: Wikipedia List of places with numeric names#W0EL, Six Hill, West Virginia (unknown)

History

2026-11-02: add by m2/dev

PAGG8XM5MM PAGG8XM5MM

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

Mentions

arxiv: arXiv 2610.12819#LTGN (statement). In JW8S0XEMWG/e1, corollary 1.1

History

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

PAGYTTECEQ PAGYTTECEQ

URI	`m2://inv/PAGYTTECEQ`
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.14154#H89J (statement). In 8X6PXX2TRA/e1, corollary 9.2

History

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

Theorem 1 PAH4N7K405

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

Mentions

wikipedia: Wikipedia Minimax estimator#6GAS, Theorem 1 (statement)

History

2026-11-02: add by m2/dev

PAH6VXHS0G PAH6VXHS0G

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

Mentions

arxiv: arXiv 2609.20599#LQZA (statement)

History

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

positron PAHB4TZ8YN

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

Mentions

wikidata: Wikidata Q3229, positron (definition). Also nLab positron, ProofWiki Definition:Positron

History

2026-10-26: add by m2/dev

Dirichlet approximation PAHCRE5YTY

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

Mentions

arxiv: arXiv 2609.20783#DXR8, Dirichlet approximation (statement)

History

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

Ratio Test PAHEB3K04G

URI	`m2://inv/PAHEB3K04G`
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 1704.08191#F18Y, Ratio Test (definition). In 8DATR785BJ/e1, definition 1

History

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

PAHSHBAN0P PAHSHBAN0P

URI	`m2://inv/PAHSHBAN0P`
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.06466#7BNJ (statement). In 6W451V3N75/e1, corollary 1.6

History

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

Ramification (mathematics) PAHST71N5G

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

Mentions

wikipedia: Wikipedia List of algebraic number theory topics#BE47, Ramification (mathematics) (definition)

History

2026-11-02: add by m2/dev

reductio ad absurdum PAHTJEK1BV

URI	`m2://inv/PAHTJEK1BV`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Proof by contradiction 0J0XBKG64S

Mentions

wikidata: Wikidata Q14402006, reductio ad absurdum (unknown). Also MathWorld ReductioadAbsurdum
wikipedia: Wikipedia Reductio ad absurdum, Reductio ad absurdum (definition). Also Wikidata Q14402006

History

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

PAHV71VQJ9 PAHV71VQJ9

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

Mentions

arxiv: arXiv 2610.06152#B6KQ (statement). In HH35K7S17H/e1, proposition A.8

History

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

Gauss–Bonnet theorem PAHYMEZGRH

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

Mentions

wikipedia: Wikipedia Gaussian curvature#7C4C, Gauss–Bonnet theorem (statement)

History

2026-11-02: add by m2/dev

Conjectures PAHZEH6W82

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

Mentions

wikipedia: Wikipedia Interval edge coloring#BNZ8, Conjectures (statement)

History

2026-11-02: add by m2/dev

Scope ambiguity PAJ7ET0XFC

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

Mentions

wikipedia: Wikipedia Scope (formal semantics)#S85P, Scope ambiguity (unknown)

History

2026-11-02: add by m2/dev

Example PAJEGT4ZXS

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

Mentions

wikipedia: Wikipedia Difference in differences#6DMP, Example (example)

History

2026-11-02: add by m2/dev

Entropy compression PAJJVMDXRZ

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

Mentions

wikipedia: Wikipedia Entropy compression, Entropy compression (definition). Also Wikidata Q22908168

History

2026-11-02: add by m2/dev

PAJS5W9VDY PAJS5W9VDY

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

Mentions

arxiv: arXiv 2609.27775#ZNNU (statement)

History

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

Modulus of convergence PAJW5SBRJJ

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

Mentions

wikipedia: Wikipedia Modulus of convergence, Modulus of convergence (definition). Also Wikidata Q1783484

History

2026-11-02: add by m2/dev

PAJWC0XCNY PAJWC0XCNY

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

Mentions

arxiv: arXiv 2609.23942#ZRNZ (statement)

History

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

PAJXWJ8PFR PAJXWJ8PFR

URI	`m2://inv/PAJXWJ8PFR`
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 2609.37747#FO8D (definition). In GEYDNVZEP7/e1, definition 2.1

History

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

PAK0YMSYBA PAK0YMSYBA

URI	`m2://inv/PAK0YMSYBA`
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 2306.00212#1ZPO (statement). In C9GG9C1X65/e1, lemma 6

History

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

The Geometry of Numbers PAK43CXNMK

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

Mentions

wikipedia: Wikipedia The Geometry of Numbers, The Geometry of Numbers (definition). Also Wikidata Q104880944

History

2026-11-02: add by m2/dev

Lucas number PAKB67PAVP

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

Mentions

wikidata: Wikidata Q2503280, Lucas number (concept). Also MathWorld LucasNumber, OEIS A000032
wikipedia: Wikipedia Lucas number, Lucas number (conjecture). Also Wikidata Q2503280

History

2026-10-26: add by m2/dev

PAKD4MRM1J PAKD4MRM1J

URI	`m2://inv/PAKD4MRM1J`
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#7IVC (statement). In ETRT1R1CQ8/e1, lemma 2.3

History

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

Definition PAKFV9VY1W

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

Mentions

wikipedia: Wikipedia Skew gradient#VQVE, Definition (definition)

History

2026-11-02: add by m2/dev

Generalizations PAKJB7S5V4

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

Mentions

wikipedia: Wikipedia Rubik's Cube group#5WFG, Generalizations (statement)

History

2026-11-02: add by m2/dev

Inverse curve PAKPE0RG63

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#0B41, Inverse curve (definition)
wikipedia: Wikipedia List of curves#HVXT, Inverse curve (definition)

History

2026-11-02: add by m2/dev

Western Chain PAKV271B1D

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

Mentions

wikipedia: Wikipedia List of places with numeric names#NPZ1, Western Chain (unknown)

History

2026-11-02: add by m2/dev

convergence of measures PAKZ6FG9PH

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

Mentions

wikidata: Wikidata Q2105205, convergence of measures (unknown). Also EoM Convergence_of_measures
wikipedia: Wikipedia Convergence of measures, Convergence of measures (definition). Also Wikidata Q2105205

History

2026-10-26: add by m2/dev

Integral of a Gaussian function PAM5ZH8VPK

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

Mentions

wikipedia: Wikipedia Gaussian function#26KK, Integral of a Gaussian function (unknown)

History

2026-11-02: add by m2/dev

PAMDX77CYT PAMDX77CYT

URI	`m2://inv/PAMDX77CYT`
Kind	definition
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.25524#S9I3 (definition)

History

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

PAME0C6KK0 PAME0C6KK0

URI	`m2://inv/PAME0C6KK0`
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 2604.05177#0FHU (statement). In G04BKQV6YM/e1, lemma 5.4

History

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

Reinhardt cardinal PAN2180TGQ

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#01IK, Reinhardt cardinal (definition)

History

2026-11-02: add by m2/dev

Line search PAN4EG55QG

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

Mentions

wikipedia: Wikipedia List of algorithms#ZIRK, Line search (definition)

History

2026-11-02: add by m2/dev

Alain Chenciner PAN7SMK124

URI	`m2://inv/PAN7SMK124`
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#HGZI, Alain Chenciner (topic)

History

2026-11-02: add by m2/dev

Example in a pappian plane of even order PAN8C5ACMG

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

Mentions

wikipedia: Wikipedia Qvist's theorem#H5O5, Example in a pappian plane of even order (example)

History

2026-11-02: add by m2/dev

John A. Thorpe PANB7NN25S

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

Mentions

wikipedia: Wikipedia John A. Thorpe, John A. Thorpe (topic). Also Wikidata Q15456182

History

2026-11-02: add by m2/dev

PANGTQ6KWA PANGTQ6KWA

URI	`m2://inv/PANGTQ6KWA`
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.36423#MY2T (statement). In Q5Z178SAHP/e1, theorem 7.5

History

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

PANK9DCD23 PANK9DCD23

URI	`m2://inv/PANK9DCD23`
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.19088#W45F (statement). In 90QTB4CC31/e1, corollary 3.17

History

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

PANS62YY7E PANS62YY7E

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

Mentions

open_logic: open_logic content/sets-functions-relations/arithmetization/checking-details.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 78.2

History

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

PANS8WCWJ0 PANS8WCWJ0

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

Mentions

hott_book: hott_book reals.tex#reals-formal-topology-locally-compact (statement). In N54F33XE07, lem, section B.5

History

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

Eisenstein integer PANSDT28Y8

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

Mentions

wikidata: Wikidata Q262370, Eisenstein integer (concept). Also MathWorld EisensteinInteger
wikipedia: Wikipedia Eisenstein integer, Eisenstein integer (definition). Also Wikidata Q262370

History

2026-10-26: add by m2/dev

Wan Zhexian PANTXY2HFR

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

Mentions

wikipedia: Wikipedia Wan Zhexian, Wan Zhexian (topic). Also Wikidata Q9098255

History

2026-11-02: add by m2/dev

approximate equality PANZGZN5JA

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

Mentions

wikidata: Wikidata Q26161438, approximate equality (unknown). Also MathWorld ApproximatelyEqual

History

2026-10-26: add by m2/dev

PAP01JBG7M PAP01JBG7M

URI	`m2://inv/PAP01JBG7M`
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 2610.21866#11M5 (statement). In Q3NMYW8ANH/e1, lemma 4.2

History

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

Interpolation Configuration PAP85BFYE7

URI	`m2://inv/PAP85BFYE7`
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.13222#BXIZ, Interpolation Configuration (definition). In Z6WA2R0J50/e1, definition 2.35

History

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

Generalizations PAPAG7E76V

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

Mentions

wikipedia: Wikipedia Invertible matrix#QGZH, Generalizations (statement)

History

2026-11-02: add by m2/dev

List of integrals of hyperbolic functions PAPCME341D

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

Mentions

wikipedia: Wikipedia Lists of integrals#UME6, List of integrals of hyperbolic functions (topic)
wikipedia: Wikipedia List of calculus topics#7O05, List of integrals of hyperbolic functions (topic)
wikipedia: Wikipedia List of exponential topics#5DXV, List of integrals of hyperbolic functions (topic)
wikipedia: Wikipedia Lists of mathematics topics#MWXG, List of integrals of hyperbolic functions (topic)

History

2026-11-02: add by m2/dev

PAPCSZMB34 PAPCSZMB34

URI	`m2://inv/PAPCSZMB34`
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 2609.36725#HQ3U (statement). In AR26SZ8JGN/e1, theorem 1.2

History

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

Algebraic analysis PAPJVWYAFJ

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#2WLN, Algebraic analysis (definition)

History

2026-11-02: add by m2/dev

PAPYAQVQAH PAPYAQVQAH

URI	`m2://inv/PAPYAQVQAH`
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 2511.08099#A1FU (statement). In 5NK801XBGA/e1, lemma 5.1

History

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

Properties PAQ4NFS710

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

Mentions

wikipedia: Wikipedia Normal distribution#ZJ5N, Properties (statement)

History

2026-11-02: add by m2/dev

PAQ5FDA5WR PAQ5FDA5WR

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

Mentions

arxiv: arXiv 2610.07741#QM00 (statement). In K4YV2SF9MG/e1, proposition 4.1

History

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

PAQ8ANCCVE PAQ8ANCCVE

URI	`m2://inv/PAQ8ANCCVE`
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.34831#HJL9 (statement). In YF36GM7X5Y/e1, fact

History

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

Apex graph PAQBTQ4ASY

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#YG4H, Apex graph (definition)

History

2026-11-02: add by m2/dev

Definition PAQGY67P9H

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

Mentions

wikipedia: Wikipedia Covariance#1FSA, Definition (definition)

History

2026-11-02: add by m2/dev

PAQN91K712 PAQN91K712

URI	`m2://inv/PAQN91K712`
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.23779#Y00N (statement)

History

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

PAQSH7H7EH PAQSH7H7EH

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

Mentions

arxiv: arXiv 2609.40355#9K8P (statement). In SBP98GWKC8/e1, lemma 1

History

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

PAQXJJQG4Z PAQXJJQG4Z

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

Mentions

arxiv: arXiv 2610.22074#2XYP (definition). In F3BKXXPR3K/e1, definition 2.26

History

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

PAQZF20Y0X PAQZF20Y0X

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

Mentions

arxiv: arXiv 2610.01071#2VMW (definition). In X1YF62ZFB6/e1, definition 7

History

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

PAR1YZN22A PAR1YZN22A

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

Mentions

austin_ula: austin_ula src/exercises/exercises1-4.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 1.4

History

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

PARBHHKEVD PARBHHKEVD

URI	`m2://inv/PARBHHKEVD`
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.19590#PBUY (statement). In AZFARX0CXG/e1, proposition 2.1

History

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

Schrödinger–Newton equation PARG2534ZP

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

Mentions

wikipedia: Wikipedia List of named differential equations#L5WU, Schrödinger–Newton equation (definition)

History

2026-11-02: add by m2/dev

PARMACHCFQ PARMACHCFQ

URI	`m2://inv/PARMACHCFQ`
Kind	statement
Layer	research
MSC	35-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 2603.28861#C15O (statement). In A3VQ2TNRKK/e1, corollary 8.5

History

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

PARTZ5S4Y6 PARTZ5S4Y6

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

Mentions

arxiv: arXiv 2610.10505#3DCC (statement). In JW8HH6EPG2/e1, lemma 3.46

History

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

PARZ91XTQ2 PARZ91XTQ2

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

Mentions

lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-2 (exercise). In E59CDZA4DP, exercise, section 11.9.6

History

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

Mean squared prediction error PAS10SJ459

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

Mentions

wikipedia: Wikipedia Mean squared prediction error, Mean squared prediction error (definition). Also Wikidata Q6803654

History

2026-11-02: add by m2/dev

Polynomial Function PAS133ATJS

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

Mentions

wikipedia: Wikipedia Polynomial#WNZV, Polynomial Function (unknown)

History

2026-11-02: add by m2/dev

AGPV subspace design PAS2X8PRZD

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

Mentions

arxiv: arXiv 2609.32834#VTD7, AGPV subspace design (definition). In N4M6B8EMCW/e1, definition 3.1

History

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

PASFZA5EF8 PASFZA5EF8

URI	`m2://inv/PASFZA5EF8`
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.25896#POFG (statement)

History

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

PASYC2F2SB PASYC2F2SB

URI	`m2://inv/PASYC2F2SB`
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.30086#K1PT (statement)

History

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

Canon Palmtronic LE-80M PAT1XW6VQ6

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

Mentions

wikipedia: Wikipedia Canon Palmtronic LE-80M, Canon Palmtronic LE-80M (definition). Also Wikidata Q5033254

History

2026-11-02: add by m2/dev

Sienna Green PAT27FBCDS

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#VA12, Sienna Green (unknown)

History

2026-11-02: add by m2/dev

Example PATF3Z4ME8

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

Mentions

wikipedia: Wikipedia Mivar-based approach#PAAL, Example (example)

History

2026-11-02: add by m2/dev

augmented truncated dodecahedron PATG7TW1E6

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

Mentions

wikidata: Wikidata Q1614107, augmented truncated dodecahedron (object). Also MathWorld AugmentedTruncatedDodecahedron
wikipedia: Wikipedia Augmented truncated dodecahedron, Augmented truncated dodecahedron (definition). Also Wikidata Q1614107

History

2026-10-26: add by m2/dev

Eurisko PATGF5D3DA

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#RKEO, Eurisko (unknown)

History

2026-11-02: add by m2/dev

PATJQQTD4J PATJQQTD4J

URI	`m2://inv/PATJQQTD4J`
Kind	conjecture
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 2609.38556#C35L (conjecture). In GC2H0HS7ZM/e1, conjecture 1.3

History

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

Definition PATQJQZKCQ

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

Mentions

wikipedia: Wikipedia Bickley–Naylor functions#VES0, Definition (definition)

History

2026-11-02: add by m2/dev

Khurana, Lam PATSB0JB0N

URI	`m2://inv/PATSB0JB0N`
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.20760#HYXJ, Khurana, Lam (statement). In 6G9JSJ5JMP/e1, theorem 24

History

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

Enumeration PATSB654N6

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

Mentions

wikipedia: Wikipedia Baxter permutation#CZZM, Enumeration (definition)

History

2026-11-02: add by m2/dev

PATW40TQWB PATW40TQWB

URI	`m2://inv/PATW40TQWB`
Kind	statement
Layer	research
MSC	26-XX, 30-XX, 32-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.28814#TERD (statement)

History

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

Internal realism PAV6XK8XN6

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

Mentions

wikipedia: Wikipedia Hilary Putnam#J14X, Internal realism (unknown)

History

2026-11-02: add by m2/dev

Carl Størmer PAVAZ874XM

URI	`m2://inv/PAVAZ874XM`
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#ECXF, Carl Størmer (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GIFD, Carl Størmer (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L55G, Carl Størmer (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LE7F, Carl Størmer (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XMSB, Carl Størmer (topic)

History

2026-11-02: add by m2/dev

PAVCPS68XH PAVCPS68XH

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

Mentions

arxiv: arXiv 2609.31489#QYOL (statement). In ZKBG58PN1J/e1, theorem 2.3

History

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

Rabdology PAVE0NY4TS

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

Mentions

wikipedia: Wikipedia Rabdology, Rabdology (definition). Also Wikidata Q3428999

History

2026-11-02: add by m2/dev

Corollary 2 PAVEPR8253

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

Mentions

wikipedia: Wikipedia Loewy decomposition#W01Z, Corollary 2 (statement)

History

2026-11-02: add by m2/dev

cf.\ PAVKZ7TVTM

URI	`m2://inv/PAVKZ7TVTM`
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.25524#4ZD0, cf.\ (statement)

History

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

Laura Bassi PAVRB9G1DZ

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#4PXV, Laura Bassi (unknown)

History

2026-11-02: add by m2/dev

Descent to a meromorphic line-bundle section PAVTG6RMXH

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

Mentions

arxiv: arXiv 2501.09848#M790, Descent to a meromorphic line-bundle section (statement). In HF7YNMW39N/e1, lemma 14.4

History

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

Lower convex envelope PAVTTEH1VT

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

Mentions

wikipedia: Wikipedia Lower convex envelope, Lower convex envelope (definition). Also Wikidata Q25098570

History

2026-11-02: add by m2/dev

Quarter hypercubic honeycomb PAVVZKV0RX

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

Mentions

wikipedia: Wikipedia Quarter hypercubic honeycomb, Quarter hypercubic honeycomb (definition). Also Wikidata Q14656739

History

2026-11-02: add by m2/dev

The Schur lemma for Codazzi tensors PAW34GEBP1

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

Mentions

wikipedia: Wikipedia Schur's lemma (Riemannian geometry)#DSQ5, The Schur lemma for Codazzi tensors (statement)

History

2026-11-02: add by m2/dev

PAW4GKFEQX PAW4GKFEQX

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

Mentions

arxiv: arXiv 2609.23884#JUCK (statement)

History

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

PAW8DNHNF3 PAW8DNHNF3

URI	`m2://inv/PAW8DNHNF3`
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.06785#WMSZ (statement). In PG6AEWX25E/e1, lemma 5.2

History

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

Bolzano--Weierstrass theorem PAWD5QMJ6V

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

Mentions

lebl_ra: lebl_ra index/10.3.3/bolzano-weierstrass-theorem, Bolzano--Weierstrass theorem (concept). In E59CDZA4DP, index, section 10.3.3

History

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

PAWKQNBQYF PAWKQNBQYF

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

Mentions

arxiv: arXiv 2609.27078#USXE (definition)

History

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

Combinatorics of Finite Geometries PAWN3RC85K

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

Mentions

wikipedia: Wikipedia Combinatorics of Finite Geometries, Combinatorics of Finite Geometries (definition). Also Wikidata Q85753466

History

2026-11-02: add by m2/dev

PAWT9QANE8 PAWT9QANE8

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

Mentions

arxiv: arXiv 2609.20860#C1VU (definition)

History

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

PAWWHMRRTZ PAWWHMRRTZ

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

Mentions

arxiv: arXiv 2011.08789#8GB2 (statement). In 43AGRMP7T3/e1, lemma 2.16

History

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

Constant false alarm rate PAWZGFM2T1

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

Mentions

wikipedia: Wikipedia List of statistics articles#NMEI, Constant false alarm rate (definition)

History

2026-11-02: add by m2/dev

PAXEX1MZW3 PAXEX1MZW3

URI	`m2://inv/PAXEX1MZW3`
Kind	problem
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.31387#OXNH (problem). In GBD60VB1JX/e1, problem 20

History

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

PAXFJ23CF8 PAXFJ23CF8

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

Mentions

arxiv: arXiv 2610.08226#KPBR (statement). In V6EPE8XHAD/e1, lemma A.12

History

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

Holomorphic Zak data imply $\cS_1^1$ PAXJXD0QT8

URI	`m2://inv/PAXJXD0QT8`
Kind	statement
Layer	research
MSC	11-XX, 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 2609.27774#8HYF, Holomorphic Zak data imply $\cS_1^1$ (statement)

History

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

Yasutaka Ihara PAXMHTYQTM

URI	`m2://inv/PAXMHTYQTM`
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#JRY2, Yasutaka Ihara (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LZD0, Yasutaka Ihara (topic)

History

2026-11-02: add by m2/dev

Subsumption lattice PAXWGW0366

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

Mentions

wikipedia: Wikipedia Subsumption lattice, Subsumption lattice (definition). Also Wikidata Q17103767

History

2026-11-02: add by m2/dev

Rational normal curve PAY2V30SNC

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

Mentions

wikipedia: Wikipedia Rational normal curve, Rational normal curve (definition). Also Wikidata Q7295772

History

2026-11-02: add by m2/dev

PAY8Q6K2F8 PAY8Q6K2F8

URI	`m2://inv/PAY8Q6K2F8`
Kind	statement
Layer	research
MSC	20-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.03424#X0QG (statement). In Q6HRJP4AWA/e1, lemma 4.2

History

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

Formulation PAYBXDJ1TY

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

Mentions

wikipedia: Wikipedia Table of Clebsch–Gordan coefficients#5C3E, Formulation (definition)

History

2026-11-02: add by m2/dev

Cleaver (geometry) PAYC4D814J

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

Mentions

wikipedia: Wikipedia List of triangle topics#95N0, Cleaver (geometry) (definition)

History

2026-11-02: add by m2/dev

Rectified tesseract PAYCP11FE5

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

Mentions

wikipedia: Wikipedia Rectified tesseract, Rectified tesseract (definition). Also Wikidata Q7303175

History

2026-11-02: add by m2/dev

explicit extensions with $\ed$ exactly $2$ PAYFSXPQCH

URI	`m2://inv/PAYFSXPQCH`
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.09298#XA8Z, explicit extensions with $\ed$ exactly $2$ (statement). In 1SPQ4J3AWY/e1, theorem 7.5

History

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

PAYQMR6FB3 PAYQMR6FB3

URI	`m2://inv/PAYQMR6FB3`
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.01354#ROGX (statement). In BWD76W20W8/e1, theorem C

History

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

Empty string PAYX1T6R8Z

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

Mentions

wikipedia: Wikipedia Empty string, Empty string (definition). Also Wikidata Q670834

History

2026-11-02: add by m2/dev

Number One, New South Wales PAZ64CND7A

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

Mentions

wikipedia: Wikipedia List of places with numeric names#T2PS, Number One, New South Wales (unknown)

History

2026-11-02: add by m2/dev

Example PAZA648FKA

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

Mentions

wikipedia: Wikipedia Differentiable measure#QJA1, Example (example)

History

2026-11-02: add by m2/dev

PAZCFYY8T8 PAZCFYY8T8

URI	`m2://inv/PAZCFYY8T8`
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.17589#TYS1 (statement). In GSTK4569X1/e1, lemma 7.1

History

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

Longitudinal study PAZP4H7CNP

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

Mentions

wikipedia: Wikipedia List of psychological research methods#D799, Longitudinal study (definition)

History

2026-11-02: add by m2/dev

Schreier vector PAZZ0WCT6H

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

Mentions

wikipedia: Wikipedia Schreier vector, Schreier vector (definition). Also Wikidata Q7432873

History

2026-11-02: add by m2/dev

Broken power law PAZZAJRVHP

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

Mentions

wikipedia: Wikipedia Power law#MTKM, Broken power law (statement)

History

2026-11-02: add by m2/dev