Inventory rows PB

E7-polytope PB0605JGSN

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

Mentions

wikipedia: Wikipedia Uniform 7-polytope#BLOE, E7-polytope (unknown)

History

2026-11-02: add by m2/dev

GLIM PB069S4ATG

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

Mentions

wikipedia: Wikipedia GLIM (software), GLIM (definition). Also Wikidata Q5513629

History

2026-11-02: add by m2/dev

Class-centered population prediction-risk bound PB0D7K8TWQ

URI	`m2://inv/PB0D7K8TWQ`
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.32652#4G0Y, Class-centered population prediction-risk bound (statement). In 6KAZWJ8RFX/e1, proposition 2.1

History

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

PB0JYNYXPX PB0JYNYXPX

URI	`m2://inv/PB0JYNYXPX`
Kind	statement
Layer	research
MSC	19-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.01473#N6FS (statement). In ABS9M47F4K/e1, lemma 3.12

History

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

Buzen's algorithm PB101VJH67

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

Mentions

wikipedia: Wikipedia List of statistics articles#8VA0, Buzen's algorithm (definition)

History

2026-11-02: add by m2/dev

conjugate prior PB11X7D2MY

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#WRAS, conjugate prior (definition)

History

2026-11-02: add by m2/dev

Definition PB19BAEHAW

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

Mentions

wikipedia: Wikipedia Curve complex#65SY, Definition (definition)

History

2026-11-02: add by m2/dev

Procedure PB1WHDE8YS

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

Mentions

wikipedia: Wikipedia Binary search#QRYW, Procedure (definition)

History

2026-11-02: add by m2/dev

PB2BF7QXK1 PB2BF7QXK1

URI	`m2://inv/PB2BF7QXK1`
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.30018#M32A (definition)

History

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

Implementations PB2J2N46ZC

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

Mentions

wikipedia: Wikipedia Von Neumann universal constructor#V474, Implementations (definition)

History

2026-11-02: add by m2/dev

PB2K0X25ZC PB2K0X25ZC

URI	`m2://inv/PB2K0X25ZC`
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.01932#PFBJ (statement). In XDKWW6NR0K/e1, proposition 2.14

History

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

Sequentially complete PB2PZB73Q4

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

Mentions

wikipedia: Wikipedia Sequentially complete, Sequentially complete (definition). Also Wikidata Q96405314

History

2026-11-02: add by m2/dev

PB2S7E5WNY PB2S7E5WNY

URI	`m2://inv/PB2S7E5WNY`
Kind	statement
Layer	research
MSC	14-XX, 20-XX, 22-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.01694#SU88 (statement). In EBMHYN0XK9/e1, theorem 5.4

History

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

Quantum neural network PB2TDPB0H1

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

Mentions

wikipedia: Wikipedia Quantum neural network, Quantum neural network (definition). Also Wikidata Q1981341

History

2026-11-02: add by m2/dev

linearly independent PB2TZW5GVY

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

Mentions

austin_ula: austin_ula index/2.4.2/linearly-independent, linearly independent (concept). In 649HGZKE96, index, section 2.4.2

History

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

PB2W761KHW PB2W761KHW

URI	`m2://inv/PB2W761KHW`
Kind	example
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#YTN3 (example). In 8XAKGH8S2D/e1, example 4.19

History

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

Singular operators PB2Y63X2ZV

URI	`m2://inv/PB2Y63X2ZV`
Kind	definition
Layer	research
MSC	26-XX, 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.29712#IG7S, Singular operators (definition)

History

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

Gyroelongated bicupola PB364F3Q6W

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

Mentions

wikipedia: Wikipedia Gyroelongated bicupola, Gyroelongated bicupola (definition). Also Wikidata Q5625473

History

2026-11-02: add by m2/dev

Standard properties PB369FW4HV

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

Mentions

arxiv: arXiv 2610.06480#MPAR, Standard properties (statement). In 2Y47E704Z9/e1, lemma 3.1

History

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

Survival rate PB37E5JHMV

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

Mentions

wikipedia: Wikipedia List of statistics articles#7JXN, Survival rate (definition)

History

2026-11-02: add by m2/dev

Placebo-controlled study PB3856XAE9

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

Mentions

wikipedia: Wikipedia List of statistics articles#32S3, Placebo-controlled study (definition)

History

2026-11-02: add by m2/dev

PB3C8TWFKX PB3C8TWFKX

URI	`m2://inv/PB3C8TWFKX`
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.08288#YOEA (statement). In CHVWYJM7RM/e1, proposition 2.7

History

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

Chern Institute of Mathematics PB3GP5GWZ4

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

Mentions

wikipedia: Wikipedia Chern Institute of Mathematics, Chern Institute of Mathematics (definition). Also Wikidata Q24836559

History

2026-11-02: add by m2/dev

PB3N76BN70 PB3N76BN70

URI	`m2://inv/PB3N76BN70`
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.01912#2TZR (statement). In CTE1C9KYPY/e1, lemma 3.3

History

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

PB3PA2852X PB3PA2852X

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

Mentions

arxiv: arXiv 2607.25960#RC2O (statement). In 13GSWBXPCM/e1, proposition 5.4

History

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

The Mathematics of Games and Gambling PB3TG6EAA7

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

Mentions

wikipedia: Wikipedia The Mathematics of Games and Gambling, The Mathematics of Games and Gambling (definition). Also Wikidata Q96409478

History

2026-11-02: add by m2/dev

Tyranny of averages PB3Y16PWVW

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

Mentions

wikipedia: Wikipedia List of statistics articles#9JKO, Tyranny of averages (definition)

History

2026-11-02: add by m2/dev

Average sieve error PB3ZVV8FWS

URI	`m2://inv/PB3ZVV8FWS`
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.30207#8ODU, Average sieve error (statement)

History

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

PB44NFP0FQ PB44NFP0FQ

URI	`m2://inv/PB44NFP0FQ`
Kind	example
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.16554#4KWF (example). In GWNT8HEZG1/e1, example 3.26

History

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

total order PB46RRHZP2

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

Mentions

wikipedia: Wikipedia Glossary of set theory#EL0F, total order (definition)

History

2026-11-02: add by m2/dev

Compact Steiner minimal trees PB48JXC2YZ

URI	`m2://inv/PB48JXC2YZ`
Kind	statement
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.17400#VT9C, Compact Steiner minimal trees (statement). In 8VDXGR4SVD/e1, theorem 5.6

History

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

Grauert–Riemenschneider vanishing theorem PB4BY1CDFM

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

Mentions

mathlib_1000: mathlib_1000 Q16978447, Grauert–Riemenschneider vanishing theorem (statement). Also Wikidata Q16978447
thousand_plus: thousand_plus Q16978447, Grauert–Riemenschneider vanishing theorem (statement). Also Wikidata Q16978447, Wikipedia Grauert–Riemenschneider vanishing theorem
wikipedia: Wikipedia Grauert–Riemenschneider vanishing theorem, Grauert–Riemenschneider vanishing theorem (statement). Also Wikidata Q16978447

History

2026-10-26: add by m2/dev

Application PB4G8GGXEP

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

Mentions

wikipedia: Wikipedia Relevance#PH51, Application (example)

History

2026-11-02: add by m2/dev

PB4K097RY1 PB4K097RY1

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

Mentions

arxiv: arXiv 2609.40191#W96N (problem). In F0D8VSM4Z4/e1, problem 7.1

History

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

PB4X5A3B4P PB4X5A3B4P

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-13 (exercise). In Y91XFCEVHQ, exercise, section 2.3

History

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

PB5345F5XG PB5345F5XG

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-66 (exercise). In E9HS8K3A52, exercise, section 4.4.1

History

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

Protorus PB5721KZ60

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

Mentions

wikipedia: Wikipedia Protorus, Protorus (definition). Also Wikidata Q7252108

History

2026-11-02: add by m2/dev

PB5E5QAWV8 PB5E5QAWV8

URI	`m2://inv/PB5E5QAWV8`
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.30336#C9L1 (statement). In CCWHTB3911/e1, proposition 3.3

History

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

PB5KTRJ378 PB5KTRJ378

URI	`m2://inv/PB5KTRJ378`
Kind	statement
Layer	research
MSC	26-XX, 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 1008.4254#ANJ0 (statement). In SXTX59QBVT/e1, lemma 2.7

History

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

PB5TEEKFMV PB5TEEKFMV

URI	`m2://inv/PB5TEEKFMV`
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#TIFO (statement). In Y1DR0DPWD0/e1, corollary 7.3

History

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

Dual theorems PB64HVCTTK

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

Mentions

wikipedia: Wikipedia Duality (projective geometry)#P2W2, Dual theorems (statement)

History

2026-11-02: add by m2/dev

Friend-to-friend PB68W864Y6

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

Mentions

wikipedia: Wikipedia Friend-to-friend, Friend-to-friend (definition). Also Wikidata Q285582

History

2026-11-02: add by m2/dev

Sorting networks PB68Z7PVF8

URI	`m2://inv/PB68Z7PVF8`
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.14615#UHAQ, Sorting networks (statement). In 7D5MMP8XB5/e1, theorem 2.14

History

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

PB6DS94V2C PB6DS94V2C

URI	`m2://inv/PB6DS94V2C`
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.08873#US66 (statement). In 7WMNVJBAVR/e1, lemma 5.5

History

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

PB76GKMD7W PB76GKMD7W

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

Mentions

arxiv: arXiv 1512.06981#8CCE (definition). In X923ZEY423/e1, definition 1.7.1

History

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

PB77NBCVYD PB77NBCVYD

URI	`m2://inv/PB77NBCVYD`
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.37450#CYDK (statement). In FP05Z6EBV4/e1, lemma 3.8

History

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

field PB78KT4JQ8

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

Mentions

wikipedia: Wikipedia Glossary of ring theory#C49G, field (definition)

History

2026-11-02: add by m2/dev

PB7FX9HB5F PB7FX9HB5F

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

Mentions

napkin: napkin tex/alg-NT/norm-trace.tex#definition-1 (definition). In RZP28ERRZV, definition, section 15.1

History

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

PB7HXPFZYY PB7HXPFZYY

URI	`m2://inv/PB7HXPFZYY`
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.23629#BXR2 (statement)

History

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

Iteration theorem PB7RS4B10M

URI	`m2://inv/PB7RS4B10M`
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 2609.20401#9CV4, Iteration theorem (statement)

History

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

Eckmann–Hilton argument PB83PT8Q15

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#90RA, Eckmann–Hilton argument (definition)

History

2026-11-02: add by m2/dev

PB84M5HJN6 PB84M5HJN6

URI	`m2://inv/PB84M5HJN6`
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 2501.17276#32CB (statement). In EWKHA675JY/e1, lemma 4.8

History

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

PB890EXG2J PB890EXG2J

URI	`m2://inv/PB890EXG2J`
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.21085#0MLK (statement)

History

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

PB8PB3AQ3R PB8PB3AQ3R

URI	`m2://inv/PB8PB3AQ3R`
Kind	statement
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#XWL7 (statement). In Y8XQT02BBF/e1, theorem 4.5

History

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

Generalized Restricted Trace Test PB9AC6F8J3

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

Mentions

arxiv: arXiv 2609.23238#LRXV, Generalized Restricted Trace Test (statement)

History

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

PB9BF0MZH2 PB9BF0MZH2

URI	`m2://inv/PB9BF0MZH2`
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 2103.12669#2Z8K (statement). In ZA6XNBA90V/e1, lemma 1.5

History

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

The $23$-point case from a uniqueness statement PB9E9FD27X

URI	`m2://inv/PB9E9FD27X`
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.25120#PFMY, The $23$-point case from a uniqueness statement (statement)

History

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

Statement PB9HTQZ4MD

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

Mentions

wikipedia: Wikipedia Beck–Fiala theorem#TA9S, Statement (statement)

History

2026-11-02: add by m2/dev

Jerzy Łoś PB9JFQEKY3

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#5CM6, Jerzy Łoś (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GS18, Jerzy Łoś (topic)

History

2026-11-02: add by m2/dev

Characteristic polynomials of principal ideals PB9K34Z6MB

URI	`m2://inv/PB9K34Z6MB`
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.24541#60IM, Characteristic polynomials of principal ideals (statement)

History

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

PB9SRHRDPG PB9SRHRDPG

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

Mentions

arxiv: arXiv 2609.32916#UX7V (statement). In G1RP4JY5PE/e1, corollary 1.5.2

History

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

PB9TJG5PTJ PB9TJG5PTJ

URI	`m2://inv/PB9TJG5PTJ`
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.19845#DCWM (statement). In A8Y7B1MD91/e1, theorem C.1

History

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

Game I $\geqslant$ Game IV PB9VXKR3FV

URI	`m2://inv/PB9VXKR3FV`
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 1803.10042#WQ0M, Game I $\geqslant$ Game IV (statement). In 718SP8YERQ/e1, corollary A3

History

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

PBA0VHJBGV PBA0VHJBGV

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

Mentions

arxiv: arXiv 2610.03327#4RBA (statement). In EBNXA84CPM/e1, theorem 1.4

History

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

PBA24J026A PBA24J026A

URI	`m2://inv/PBA24J026A`
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.09810#1X5Z (statement). In B6PCH930FV/e1, lemma 1

History

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

The method PBA98PRZDV

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

Mentions

wikipedia: Wikipedia Horvitz–Thompson estimator#2IPE, The method (definition)

History

2026-11-02: add by m2/dev

transitivity, of equality PBAAKZ6A54

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

Mentions

hott_book: hott_book index/1.1/transitivity-of-equality, transitivity, of equality (concept). In N54F33XE07, index, section 1.1

History

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

PBAJZNEX0N PBAJZNEX0N

URI	`m2://inv/PBAJZNEX0N`
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.06461#4JCN (statement). In QXY3W2JV2N/e1, proposition 3.6

History

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

PBARC6HG19 PBARC6HG19

URI	`m2://inv/PBARC6HG19`
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.39505#3F6W (statement). In WAXS6FS388/e1, proposition 3.2

History

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

Petr Vopěnka PBAY2PNCF7

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#40JB, Petr Vopěnka (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1UVU, Petr Vopěnka (topic)

History

2026-11-02: add by m2/dev

PBB69S1ZX5 PBB69S1ZX5

URI	`m2://inv/PBB69S1ZX5`
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#652W (statement)

History

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

PBB777JS3J PBB777JS3J

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

Mentions

applied_combinatorics: applied_combinatorics source/s_background_rationals.ptx#theorem-1 (statement). In QKM9DD2H56, theorem, section B.16

History

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

PBBCECPT79 PBBCECPT79

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

Mentions

napkin: napkin tex/cats/functors.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 37.2

History

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

PBBECTKKR7 PBBECTKKR7

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

Mentions

hott_book: hott_book reals.tex#inductive-cover-classical (statement). In N54F33XE07, thm, section B.5

History

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

Fourier number PBBFCFENEF

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

Mentions

wikipedia: Wikipedia List of things named after Joseph Fourier#5XDH, Fourier number (definition)

History

2026-11-02: add by m2/dev

Method of virtual quanta PBBHABDRM7

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

Mentions

wikipedia: Wikipedia Method of virtual quanta, Method of virtual quanta (definition). Also Wikidata Q115805660

History

2026-11-02: add by m2/dev

PBBJK3EJ5Y PBBJK3EJ5Y

URI	`m2://inv/PBBJK3EJ5Y`
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.10525#DDCM (statement). In N3K26VPX0R/e1, lemma 3.1

History

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

Definitions PBBQPP8DJP

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

Mentions

wikipedia: Wikipedia Gelfand pair#J4DX, Definitions (definition)

History

2026-11-02: add by m2/dev

Oscar Zariski PBBV17CPRF

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

Mentions

wikipedia: Wikipedia Oscar Zariski, Oscar Zariski (topic). Also Wikidata Q381307

History

2026-11-02: add by m2/dev

Discrete element method PBC0H666ES

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#SJ5X, Discrete element method (definition)

History

2026-11-02: add by m2/dev

Heinrich Jung PBC11BP8ST

URI	`m2://inv/PBC11BP8ST`
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 Q92329, Heinrich Jung (unknown). Also ProofWiki Mathematician:Heinrich_Wilhelm_Ewald_Jung
wikipedia: Wikipedia Heinrich Jung, Heinrich Jung (topic). Also Wikidata Q92329

History

2026-10-26: add by m2/dev

PBC56CHD11 PBC56CHD11

URI	`m2://inv/PBC56CHD11`
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.15402#IPQB (statement). In WSE8SEHVXG/e1, lemma 21

History

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

Non-convexity of $G_\lambda$ PBC9ZDQ5DD

URI	`m2://inv/PBC9ZDQ5DD`
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.17579#41XG, Non-convexity of $G_\lambda$ (statement). In 1H021CTR3A/e1, proposition 1

History

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

Non Positively Curved metric spaces PBCDKQMA66

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

Mentions

arxiv: arXiv 2609.20998#V4PV, Non Positively Curved metric spaces (example)

History

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

Hurwitz curve PBCF03Y4MM

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#TIQO, Hurwitz curve (definition)

History

2026-11-02: add by m2/dev

PBCN49HK76 PBCN49HK76

URI	`m2://inv/PBCN49HK76`
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 2605.29624#XNIE (statement). In TAD5A4R089/e1, theorem 2.2

History

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

Moser PBCY5HGZR6

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

Mentions

arxiv: arXiv 2609.31757#I6LC, Moser (statement). In KBJHAD5TTY/e1, theorem 2.9

History

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

Fast ODE global asymptotic stability PBCYPG4BAE

URI	`m2://inv/PBCYPG4BAE`
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.27741#RVK1, Fast ODE global asymptotic stability (statement)

History

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

axiomatic quantum field theory PBD0ZP60WM

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

Mentions

wikidata: Wikidata Q257189, axiomatic quantum field theory (topic)
wikipedia: Wikipedia Axiomatic quantum field theory, Axiomatic quantum field theory (definition). Also Wikidata Q257189

History

2026-10-26: add by m2/dev

PBDEZQ9QC9 PBDEZQ9QC9

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

History

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

Negative base PBDN1GH0VD

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

Mentions

wikipedia: Wikipedia List of numeral system topics#3222, Negative base (definition)

History

2026-11-02: add by m2/dev

Business Intelligence Competency Center PBDQD9SK2A

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

Mentions

wikipedia: Wikipedia Business intelligence#70G6, Business Intelligence Competency Center (unknown)

History

2026-11-02: add by m2/dev

Mass-weighted ReCAP reliability certificate PBDV1C2YD9

URI	`m2://inv/PBDV1C2YD9`
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.09510#NCXI, Mass-weighted ReCAP reliability certificate (statement). In JR1HE83H93/e1, theorem B.1

History

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

PBDWTCTHAQ PBDWTCTHAQ

URI	`m2://inv/PBDWTCTHAQ`
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.27301#GFOT (statement)

History

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

PBDX92EX04 PBDX92EX04

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

Mentions

arxiv: arXiv 2609.39707#W97E (statement). In NFH5VEY1D1/e1, lemma 3.4

History

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

PBEVK7256E PBEVK7256E

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

Mentions

arxiv: arXiv 2610.00339#DB6O (statement). In ZRG6NY1ECH/e1, theorem 29

History

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

Definitions PBF5AMPCG3

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

Mentions

wikipedia: Wikipedia End-to-end encryption#TASI, Definitions (definition)

History

2026-11-02: add by m2/dev

commutative property PBFMBP4BME

URI	`m2://inv/PBFMBP4BME`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Commutativity 099E72KTF8

Mentions

wikidata: Wikidata Q165474, commutative property (unknown). Also EoM Commutativity, LMFDB knowl alg.binary_operation.commutative, MathWorld Commutative
wikipedia: Wikipedia Commutative property, Commutative property (definition). Also Wikidata Q165474

History

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

PBFT0S05CT PBFT0S05CT

URI	`m2://inv/PBFT0S05CT`
Kind	statement
Layer	research
MSC	17-XX, 19-XX, 46-XX, 47-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 2504.00596#XKCO (statement). In F8RC6AENB0/e1, lemma 6.10

History

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

PBFT8AM029 PBFT8AM029

URI	`m2://inv/PBFT8AM029`
Kind	definition
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#JVNT (definition). In QHFP0837Q8/e1, definition 4.18

History

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

PBFVVV0SE8 PBFVVV0SE8

URI	`m2://inv/PBFVVV0SE8`
Kind	statement
Layer	research
MSC	03-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 2110.11143#7MR1 (statement). In VTVC0TCWSB/e1, theorem

History

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

Raymond Ogden PBFW4A935X

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

Mentions

wikipedia: Wikipedia Raymond Ogden, Raymond Ogden (topic). Also Wikidata Q21165369

History

2026-11-02: add by m2/dev

Ólafur Daníelsson PBFW6ZA2RW

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

Mentions

wikipedia: Wikipedia Ólafur Daníelsson, Ólafur Daníelsson (topic). Also Wikidata Q16420420

History

2026-11-02: add by m2/dev

PBGEAHN2XC PBGEAHN2XC

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

Mentions

arxiv: arXiv 2609.19945#A9RF (statement)

History

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

Regular observation points PBGFD7KG7J

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

Mentions

arxiv: arXiv 2610.09602#NM97, Regular observation points (statement). In 4AQ48WSBDQ/e1, lemma 2.8

History

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

PBGHMY5WRR PBGHMY5WRR

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

Mentions

arxiv: arXiv 2610.21934#WV6J (statement). In YKD51BX3XB/e1, lemma 6.3

History

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

subcompact PBGMDDDTB2

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

Mentions

wikipedia: Wikipedia List of large cardinal properties#ZSBX, subcompact (definition)

History

2026-11-02: add by m2/dev

Differential of the chart PBGR6G1ZR1

URI	`m2://inv/PBGR6G1ZR1`
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.06653#1CI0, Differential of the chart (statement). In 9D2N76AJAT/e1, lemma 4.2

History

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

PBGWG6QWA5 PBGWG6QWA5

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

Mentions

arxiv: arXiv 2610.05179#EV9D (statement). In 9EMCPF1F2T/e1, theorem 2

History

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

Formula for Pythagorean Triples PBGY8JDBCA

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

Mentions

mathlib_100: mathlib_100 23, Formula for Pythagorean Triples (statement). Also Mathlib PythagoreanTriple.classification

History

2026-10-26: add by m2/dev

PBH4MDDDSH PBH4MDDDSH

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

Mentions

arxiv: arXiv 2610.09333#77LF (definition). In Z9HC1EDTQP/e1, definition 3.13

History

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

PBHD9P98FR PBHD9P98FR

URI	`m2://inv/PBHD9P98FR`
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.25345#RAP8 (definition)

History

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

PBHQ14HJKC PBHQ14HJKC

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

Mentions

arxiv: arXiv 2610.11047#GDWR (statement). In MNQAZ70XTH/e1, proposition 13.5

History

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

constructor PBHQ9NGKWT

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

Mentions

hott_book: hott_book index/8.6/constructor, constructor (concept). In N54F33XE07, index, section 8.6

History

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

Credal network PBHT77997D

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

Mentions

wikipedia: Wikipedia Credal network, Credal network (definition). Also Wikidata Q5183677

History

2026-11-02: add by m2/dev

PBHTK2VQ76 PBHTK2VQ76

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

Mentions

open_logic: open_logic content/turing-machines/machines-computations/representing-tms.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 86.1

History

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

Ludwig Hopf PBJ395CF9G

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#83CD, Ludwig Hopf (unknown)

History

2026-11-02: add by m2/dev

Jean Berstel PBJ4D5B505

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

Mentions

wikipedia: Wikipedia Jean Berstel, Jean Berstel (topic). Also Wikidata Q29024889

History

2026-11-02: add by m2/dev

Max Brückner PBJFT4EN8T

URI	`m2://inv/PBJFT4EN8T`
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#CN3G, Max Brückner (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#E8P1, Max Brückner (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#P8PE, Max Brückner (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RN0S, Max Brückner (topic)
wikipedia: Wikipedia List of German mathematicians#9SKS, Max Brückner (topic)

History

2026-11-02: add by m2/dev

PBJKAW7HVA PBJKAW7HVA

URI	`m2://inv/PBJKAW7HVA`
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.00358#T4FR (statement). In C5WGCSPM6W/e1, corollary 7.2

History

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

Uniform 5-honeycomb PBJRGZQCYK

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

Mentions

wikipedia: Wikipedia Uniform 6-polytope#3BKY, Uniform 5-honeycomb (unknown)

History

2026-11-02: add by m2/dev

degree sequence PBJZ0VSTZX

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

Mentions

wikidata: Wikidata Q13368642, degree sequence (unknown). Also MathWorld DegreeSequence

History

2026-10-26: add by m2/dev

tangent lines to circles PBK3N3K7SF

URI	`m2://inv/PBK3N3K7SF`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Tangent line to a circle 0T7DX8NY1X

Mentions

wikidata: Wikidata Q647040, tangent lines to circles (unknown). Also MathWorld CircleTangentLine
wikipedia: Wikipedia Tangent lines to circles, Tangent lines to circles (definition). Also Wikidata Q647040

History

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

Hasty generalization PBKFZMKAN3

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

Mentions

wikipedia: Wikipedia List of fallacies#GAPH, Hasty generalization (definition)

History

2026-11-02: add by m2/dev

Normal score PBKGJB2RE9

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

Mentions

wikipedia: Wikipedia List of statistics articles#1PAG, Normal score (definition)

History

2026-11-02: add by m2/dev

PBKSD3D7PX PBKSD3D7PX

URI	`m2://inv/PBKSD3D7PX`
Kind	statement
Layer	research
MSC	19-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.02017#1I96 (statement). In F6C80AEXC1/e1, theorem 2.17

History

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

PBKT9288EZ PBKT9288EZ

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-22 (exercise). In Y91XFCEVHQ, exercise, section 1.3

History

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

Examples PBKXXKHHF4

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

Mentions

wikipedia: Wikipedia Interpolation inequality#WKDD, Examples (example)

History

2026-11-02: add by m2/dev

Seismic moment PBKZYWBWB1

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

Mentions

wikipedia: Wikipedia Seismic moment, Seismic moment (definition). Also Wikidata Q1481983

History

2026-11-02: add by m2/dev

Definition PBM19Q3TZP

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

Mentions

wikipedia: Wikipedia Incidence coloring#MKGO, Definition (definition)

History

2026-11-02: add by m2/dev

PBM617W938 PBM617W938

URI	`m2://inv/PBM617W938`
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 2507.05923#D2S2 (statement). In ZFKZ6YDT62/e1, theorem 1

History

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

Definitions PBM68284MA

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

Mentions

wikipedia: Wikipedia Hyperbola#4EVB, Definitions (definition)

History

2026-11-02: add by m2/dev

Example PBMR4R9F5W

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

Mentions

wikipedia: Wikipedia Dehn twist#5HWB, Example (example)

History

2026-11-02: add by m2/dev

PBMTR00QC5 PBMTR00QC5

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#prop-2 (statement). In E59CDZA4DP, prop, section 10.1.2

History

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

PBN7P4PXW2 PBN7P4PXW2

URI	`m2://inv/PBN7P4PXW2`
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.09129#DBRY (statement). In Z1RZSF68XZ/e1, fact 3.9

History

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

PBNF04RPMT PBNF04RPMT

URI	`m2://inv/PBNF04RPMT`
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#BSLF (statement). In ZJQB9W60T6/e1, lemma 5.12

History

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

number class PBNP7P1B86

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

Mentions

wikipedia: Wikipedia Glossary of set theory#1VDK, number class (definition)

History

2026-11-02: add by m2/dev

Sum-of-squares formula PBNRZZ4XQK

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

Mentions

arxiv: arXiv 2609.29877#UETQ, Sum-of-squares formula (statement)

History

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

701 (number) PBP5CY3RW9

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

Mentions

wikipedia: Wikipedia 700 (number)#5EL1, 701 (number) (unknown)

History

2026-11-02: add by m2/dev

IA automorphism PBPREV8FTR

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

Mentions

wikipedia: Wikipedia IA automorphism, IA automorphism (definition). Also Wikidata Q5968468

History

2026-11-02: add by m2/dev

Theorems PBPYY506R4

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

Mentions

wikipedia: Wikipedia Stokes flow#ZUBU, Theorems (statement)

History

2026-11-02: add by m2/dev

PBQBYY1JJT PBQBYY1JJT

URI	`m2://inv/PBQBYY1JJT`
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.14838#00M0 (statement). In J7ZX3WWRQP/e1, theorem 3.18

History

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

PBQF0QWR8J PBQF0QWR8J

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

Mentions

napkin: napkin tex/topology/cover-project.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 97.2

History

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

PBQF5E3W9Y PBQF5E3W9Y

URI	`m2://inv/PBQF5E3W9Y`
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.08664#RX2S (statement). In 1YY0P4ZS0T/e1, theorem 28

History

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

PBQZSN93D3 PBQZSN93D3

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

Mentions

arxiv: arXiv 2609.25742#H2WJ (statement)

History

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

PBR07EDN28 PBR07EDN28

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

Mentions

arxiv: arXiv 2610.20153#G4DT (example). In EYB107TM4Q/e1, example 5.11

History

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

PBR2C64ATG PBR2C64ATG

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

Mentions

arxiv: arXiv 2609.29489#SWH0 (statement)

History

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

PBR7RP3CPA PBR7RP3CPA

URI	`m2://inv/PBR7RP3CPA`
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.25431#CVW9 (statement)

History

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

PBRBEB9TNE PBRBEB9TNE

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

Mentions

arxiv: arXiv 2609.20531#MO1U (statement)

History

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

great truncated cuboctahedron PBRDP48VBR

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

Mentions

wikidata: Wikidata Q34289, great truncated cuboctahedron (unknown). Also MathWorld GreatTruncatedCuboctahedron
wikipedia: Wikipedia Great truncated cuboctahedron, Great truncated cuboctahedron (object). Also Wikidata Q34289

History

2026-10-26: add by m2/dev

PBRE10ZPM9 PBRE10ZPM9

URI	`m2://inv/PBRE10ZPM9`
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.27715#Z3HK (statement)

History

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

Baudhayana PBRKBC768Y

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

Mentions

wikipedia: Wikipedia Baudhayana, Baudhayana (topic). Also Wikidata Q3384944

History

2026-11-02: add by m2/dev

PBRV892HZF PBRV892HZF

URI	`m2://inv/PBRV892HZF`
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 2610.03520#PTNO (definition). In CSRZ9CWK69/e1, definition 9.4

History

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

Pfaltzgraff ; see , Theorem 8.4.1 PBRWAN4K2K

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

Mentions

arxiv: arXiv 2610.09133#VAZN, Pfaltzgraff ; see , Theorem 8.4.1 (statement). In E7BPGPP9Z5/e1, theorem 2.1

History

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

primitive recursive function PBRX2QR6BJ

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

Mentions

mathlib_overview: mathlib_overview Logic and computation > Computability > primitive recursive function, primitive recursive function (unknown). Also Mathlib Primrec

History

2026-10-26: add by m2/dev

Changpeng Zhao PBRXBVGM4C

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

Mentions

wikipedia: Wikipedia Changpeng Zhao, Changpeng Zhao (topic). Also Wikidata Q52714313

History

2026-11-02: add by m2/dev

Applications of condensation PBS3VDQTKY

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

Mentions

wikipedia: Wikipedia Condensation#QB3E, Applications of condensation (example)

History

2026-11-02: add by m2/dev

PBS9ASSE0Y PBS9ASSE0Y

URI	`m2://inv/PBS9ASSE0Y`
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.10406#OEOY (statement). In VQA35Q7C00/e1, theorem 3.2

History

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

PBSGZP2BF3 PBSGZP2BF3

URI	`m2://inv/PBSGZP2BF3`
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.06899#S06V (statement). In 5Z2K9JGFSS/e1, lemma 3.4

History

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

Dini series PBSJZSETA1

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

Mentions

wikipedia: Wikipedia Fourier–Bessel series#BNFB, Dini series (unknown)

History

2026-11-02: add by m2/dev

Quadratic Jordan algebra PBSK5DX7BK

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

Mentions

wikipedia: Wikipedia Quadratic Jordan algebra, Quadratic Jordan algebra (definition). Also Wikidata Q17099687

History

2026-11-02: add by m2/dev

PBSK9HY8HQ PBSK9HY8HQ

URI	`m2://inv/PBSK9HY8HQ`
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.16821#TJEM (statement). In EFSGMHG5BW/e1, corollary 3.5

History

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

Universal sign PBSK9QM9J2

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

Mentions

arxiv: arXiv 2610.06480#ATHB, Universal sign (statement). In 2Y47E704Z9/e1, lemma 4.4

History

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

PBSQY4K8GD PBSQY4K8GD

URI	`m2://inv/PBSQY4K8GD`
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#5DKL (statement). In WNFW6GY38C/e1, lemma 2.3

History

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

Non-abelian class field theory PBSXQF8HPC

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

Mentions

wikipedia: Wikipedia Non-abelian class field theory, Non-abelian class field theory (definition). Also Wikidata Q7048823

History

2026-11-02: add by m2/dev

Frequency of light PBT03TVEZF

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

Mentions

wikipedia: Wikipedia Frequency#IDPL, Frequency of light (unknown)

History

2026-11-02: add by m2/dev

PBT38AZMZ4 PBT38AZMZ4

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

Mentions

arxiv: arXiv 2610.10511#XNC7 (statement). In BTX64QG716/e1, lemma 2.1

History

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

Coordinate rings correspond to ideal PBT88H2DHP

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

Mentions

napkin: napkin tex/alg-geom/zariski.tex#theorem-1, Coordinate rings correspond to ideal (statement). In RZP28ERRZV, theorem, section 29.4

History

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

PBTJZMWQKQ PBTJZMWQKQ

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

Mentions

arxiv: arXiv 2609.35191#1HC6 (statement). In W9Z6S1PDTP/e1, proposition 6.3

History

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

Numerical fixed-point criterion PBTKSC1BN9

URI	`m2://inv/PBTKSC1BN9`
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.33185#RL8K, Numerical fixed-point criterion (statement). In QX30H2WNA7/e1, theorem 10.1

History

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

symplectic variety PBTMN78R05

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

Mentions

wikipedia: Wikipedia Glossary of symplectic geometry#YYOF, symplectic variety (definition)

History

2026-11-02: add by m2/dev

Specialization to three loops PBTPSND9FM

URI	`m2://inv/PBTPSND9FM`
Kind	statement
Layer	research
MSC	14-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.10828#XB8N, Specialization to three loops (statement). In 8PTDFHV8SQ/e1, corollary 10.2

History

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

PBTVFS5BSS PBTVFS5BSS

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

Mentions

arxiv: arXiv 2609.21914#XA22 (definition)

History

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

PBTVS4HM42 PBTVS4HM42

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

Mentions

arxiv: arXiv 2610.05611#IBOW (definition). In QDTX6NXFEB/e1, definition 2.15

History

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

Simultaneous diagonalizability PBV1M8G13Q

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

Mentions

wikipedia: Wikipedia Diagonalizable matrix#JV04, Simultaneous diagonalizability (unknown)

History

2026-11-02: add by m2/dev

PBV38E9SWC PBV38E9SWC

URI	`m2://inv/PBV38E9SWC`
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.19273#3HRA (statement). In T3BY4TXYT4/e1, theorem 5.1

History

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

Definition PBV4YKRBHY

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

Mentions

wikipedia: Wikipedia Convex optimization#PEMW, Definition (definition)

History

2026-11-02: add by m2/dev

Federal laws PBV5VWCX04

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

Mentions

wikipedia: Wikipedia LGBTQ rights in Nigeria#WCTX, Federal laws (statement)

History

2026-11-02: add by m2/dev

PBV6DJJBFH PBV6DJJBFH

URI	`m2://inv/PBV6DJJBFH`
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.00914#H5SA (statement). In TQ9CKHBTWN/e1, proposition

History

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

General relativity PBV8ST8BW8

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#8YY8, General relativity (topic)

History

2026-11-02: add by m2/dev

Problem \relaxR PBVACMBYEB

URI	`m2://inv/PBVACMBYEB`
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.28794#ORAT, Problem \relaxR (definition)

History

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

Bott-Duffin synthesis PBVD7QPA5Y

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

Mentions

wikipedia: Wikipedia Network synthesis#7BSR, Bott-Duffin synthesis (unknown)

History

2026-11-02: add by m2/dev

PBVK0TA4K5 PBVK0TA4K5

URI	`m2://inv/PBVK0TA4K5`
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 2604.02255#A6E9 (statement). In 14NGZPH8B9/e1, lemma 6

History

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

perverse PBVM7PKWGN

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#CZO9, perverse (definition)

History

2026-11-02: add by m2/dev

PBVSNVSJYG PBVSNVSJYG

URI	`m2://inv/PBVSNVSJYG`
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.06521#MK35 (statement). In NVXWD513NM/e1, lemma 2.4

History

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

Triad Islands PBVVQP2227

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

Mentions

wikipedia: Wikipedia List of places with numeric names#6R3M, Triad Islands (unknown)

History

2026-11-02: add by m2/dev

PBVWYXN5QW PBVWYXN5QW

URI	`m2://inv/PBVWYXN5QW`
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.24206#AM8J (statement)

History

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

Hensel's lemma PBVY4GM7DH

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

Mentions

wikipedia: Wikipedia List of lemmas#55N8, Hensel's lemma (statement)

History

2026-11-02: add by m2/dev

Quantitative Cone Splitting PBVYBVG84H

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

Mentions

arxiv: arXiv 2609.26592#ZFF4, Quantitative Cone Splitting (statement)

History

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

Algorithms PBVZF7011A

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

Mentions

wikipedia: Wikipedia Vertex cover in hypergraphs#MLRA, Algorithms (definition)

History

2026-11-02: add by m2/dev

PBW42H5MT3 PBW42H5MT3

URI	`m2://inv/PBW42H5MT3`
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.17817#UB1N (statement). In M8TSJ24RC2/e1, proposition 3.16

History

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

1-Sphere PBW9MR3QDE

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

Mentions

wikipedia: Wikipedia Sphere#D4RF, 1-Sphere (unknown)

History

2026-11-02: add by m2/dev

Rudin-Osher-Fatemi equation PBWABT06M6

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

Mentions

wikipedia: Wikipedia List of named differential equations#9L3E, Rudin-Osher-Fatemi equation (definition)

History

2026-11-02: add by m2/dev

Construction PBWD4J8NY6

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

Mentions

wikipedia: Wikipedia Shapiro polynomials#KGUG, Construction (definition)

History

2026-11-02: add by m2/dev

Critical point PBWFPTZB63

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

Mentions

wikipedia: Wikipedia Critical point (set theory), Critical point (definition). Also Wikidata Q5186748

History

2026-11-02: add by m2/dev

Tempered distinction: parameter form PBWH51B1NH

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

Mentions

arxiv: arXiv 2610.05364#CIMJ, Tempered distinction: parameter form (conjecture). In TPYRE2ARMD/e1, conjecture 4.3

History

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

PBWPB003NN PBWPB003NN

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

Mentions

arxiv: arXiv 2609.25348#G06W (statement)

History

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

De Morgan's laws PBWYRE2J7E

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

Mentions

levin_dmoi: levin_dmoi index/4.1.2/de-morgan-s-laws, De Morgan's laws (concept). In Y91XFCEVHQ, index, section 4.1.2

History

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

Application PBWYTW94H7

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

Mentions

wikipedia: Wikipedia Pseudorandom function family#FZ21, Application (example)

History

2026-11-02: add by m2/dev

PBX0XMCKJE PBX0XMCKJE

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

Mentions

arxiv: arXiv 0809.4587#60U7 (statement). In KQ8JPHDKKE/e1, lemma 9.4.12

History

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

Antisound PBX49YQFS8

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

Mentions

wikipedia: Wikipedia Wave interference#L83J, Antisound (unknown)

History

2026-11-02: add by m2/dev

Shintani zeta function PBX89D0CS7

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

Mentions

wikipedia: Wikipedia Shintani zeta function, Shintani zeta function (definition). Also Wikidata Q7497777

History

2026-11-02: add by m2/dev

PBX9NEY1N2 PBX9NEY1N2

URI	`m2://inv/PBX9NEY1N2`
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.14914#K0QW (statement). In CHC3T113Y4/e1, theorem 3.7

History

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

Non-commutative localization PBXE6JZ03W

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

Mentions

wikipedia: Wikipedia Noncommutative ring#T385, Non-commutative localization (unknown)

History

2026-11-02: add by m2/dev

Error PBXFQT0F14

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

Mentions

wikipedia: Wikipedia Error, Error (definition). Also Wikidata Q29485

History

2026-11-02: add by m2/dev

Properties PBXKAA2WPF

URI	`m2://inv/PBXKAA2WPF`
Kind	statement
Layer	textbook
Sources	1
Outcome	deferred (the cue heading names a section and not one item)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Group homomorphism#SVN4, Properties (statement)

History

2026-11-02: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

Examples PBXKAE0JXB

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

Mentions

wikipedia: Wikipedia Salem–Spencer set#IDAC, Examples (example)

History

2026-11-02: add by m2/dev

PBXVSWCMQ8 PBXVSWCMQ8

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

Mentions

hott_book: hott_book homotopy.tex#proof-9 (proof). In N54F33XE07, proof, section 7.1.5

History

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

PBXZNANZN4 PBXZNANZN4

URI	`m2://inv/PBXZNANZN4`
Kind	problem
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 2411.01837#KZPK (problem). In 2XBYZ1QP22/e1, problem 1.4

History

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

PBY0FNTNCP PBY0FNTNCP

URI	`m2://inv/PBY0FNTNCP`
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.18555#M38E (statement). In JPR62EY6A5/e1, lemma 6

History

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

GitOps PBY20T5TM2

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

Mentions

wikipedia: Wikipedia DevOps#RHYK, GitOps (unknown)

History

2026-11-02: add by m2/dev

Giada De Laurentiis PBY9X8NESK

URI	`m2://inv/PBY9X8NESK`
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#2M6V, Giada De Laurentiis (unknown)

History

2026-11-02: add by m2/dev

Hyperbolic tetrahedral-octahedral honeycomb PBYSR4B0XC

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

Mentions

wikipedia: Wikipedia Hyperbolic tetrahedral-octahedral honeycomb, Hyperbolic tetrahedral-octahedral honeycomb (definition). Also Wikidata Q17077848

History

2026-11-02: add by m2/dev

Notation PBYSSMHWPZ

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

Mentions

wikipedia: Wikipedia Knuth's up-arrow notation#X1Z2, Notation (definition)

History

2026-11-02: add by m2/dev

Essentially Unitary PBYZH3CPA4

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

Mentions

wikidata: Wikidata Q105332775, Essentially Unitary (concept). Also MathWorld EssentiallyUnitary

History

2026-10-26: add by m2/dev

PBZ8X7GMBM PBZ8X7GMBM

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

Mentions

arxiv: arXiv 2411.07061#9170 (statement). In S988ZVA1QE/e1, proposition 5

History

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

PBZB38VRY4 PBZB38VRY4

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

Mentions

arxiv: arXiv 2609.21528#2RGD (statement)

History

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

PBZDZV7S99 PBZDZV7S99

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

Mentions

arxiv: arXiv 2408.01345#GVFO (statement). In PT5PBPCS3P/e1, proposition 4.4

History

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

Asymptotic normality PBZECJ2AWA

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

Mentions

wikipedia: Wikipedia Kendall rank correlation coefficient#0ORR, Asymptotic normality (statement)

History

2026-11-02: add by m2/dev

PBZKFB4SRV PBZKFB4SRV

URI	`m2://inv/PBZKFB4SRV`
Kind	statement
Layer	research
MSC	30-XX, 32-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.15019#71KX (statement). In 9GWQN1DYM1/e1, theorem 1.1

History

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

PBZM0V290D PBZM0V290D

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

Mentions

arxiv: arXiv 2610.01919#VQ3T (statement). In 4H727T2YAS/e1, proposition 4.1

History

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

Joan Clarke PBZMABVEGG

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

Mentions

wikipedia: Wikipedia List of cryptographers#LFQD, Joan Clarke (topic)

History

2026-11-02: add by m2/dev

codomain PBZNEH9SQD

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#OG69, codomain (definition)

History

2026-11-02: add by m2/dev

PBZWQS0TBN PBZWQS0TBN

URI	`m2://inv/PBZWQS0TBN`
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.38844#GJTR (statement). In PX8D91DQCX/e1, corollary 2.8

History

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

PBZY113FBX PBZY113FBX

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

Mentions

arxiv: arXiv 2610.14318#BXC8 (statement). In HA4SZZJ831/e1, lemma 3.3

History

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

Jacob Milich PBZYSBYNHR

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

Mentions

wikipedia: Wikipedia Jacob Milich, Jacob Milich (topic). Also Wikidata Q77962

History

2026-11-02: add by m2/dev