Inventory rows PZ
The cards of the rows of the inventory whose ids start with PZ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Example n = 4, g = 3 PZ04CHFKMD
| URI | m2://inv/PZ04CHFKMD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bose–Einstein statistics#LJWW, Example n = 4, g = 3 (example)
History
- 2026-11-02: add by m2/dev
Uniform upper bounds on correlations and probabilities PZ074KM6QM
| URI | m2://inv/PZ074KM6QM |
|---|---|
| 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.29671#VYN4, Uniform upper bounds on correlations and probabilities (statement)
History
- 2026-11-01: add by m2/v0.6.15
PZ07818XSW PZ07818XSW
| URI | m2://inv/PZ07818XSW |
|---|---|
| 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.28403#X4K2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Richard Lashof PZ0KJWMHG5
| URI | m2://inv/PZ0KJWMHG5 |
|---|---|
| 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#AAPB, Richard Lashof (topic)
History
- 2026-11-02: add by m2/dev
Pauline van den Driessche PZ0P1HBZ6A
| URI | m2://inv/PZ0P1HBZ6A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#158M, Pauline van den Driessche (topic)
History
- 2026-11-02: add by m2/dev
PZ0V0PTZXM PZ0V0PTZXM
| URI | m2://inv/PZ0V0PTZXM |
|---|---|
| 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.06463#4DTN (statement). In 3WWY9K1K9V/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.10
Generalizations PZ0Y200HF3
| URI | m2://inv/PZ0Y200HF3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangent circles#KL5O, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Nyquist stability criterion PZ15488PKG
| URI | m2://inv/PZ15488PKG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nyquist stability criterion, Nyquist stability criterion (statement). Also Wikidata Q1756793
History
- 2026-11-02: add by m2/dev
Wilson number PZ15GD8B12
| URI | m2://inv/PZ15GD8B12 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilson prime#39NL, Wilson number (unknown)
History
- 2026-11-02: add by m2/dev
PZ1ARG972A PZ1ARG972A
| URI | m2://inv/PZ1ARG972A |
|---|---|
| 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#Z30H (statement)
History
- 2026-11-01: add by m2/v0.6.15
PZ1STDHRC4 PZ1STDHRC4
| URI | m2://inv/PZ1STDHRC4 |
|---|---|
| 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#51I0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conjugate points PZ1TMDSVP7
| URI | m2://inv/PZ1TMDSVP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugate points, Conjugate points (definition). Also Wikidata Q5161158
History
- 2026-11-02: add by m2/dev
Rasch model PZ20QBZKAG
| URI | m2://inv/PZ20QBZKAG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Y96O, Rasch model (definition)
History
- 2026-11-02: add by m2/dev
Coherence, semicontinuity, and base change PZ2DF9MCAK
| URI | m2://inv/PZ2DF9MCAK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.02022#23WK, Coherence, semicontinuity, and base change (statement). In RZDNWV9E29/e1, theorem 2.13
History
- 2026-10-27: add by m2/v0.3.6
Cows sequence PZ2GFSFP5B
| URI | m2://inv/PZ2GFSFP5B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supergolden ratio#INWL, Cows sequence (unknown)
History
- 2026-11-02: add by m2/dev
Pólya urn model PZ2H5NNX1P
| URI | m2://inv/PZ2H5NNX1P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pólya urn model, Pólya urn model (definition). Also Wikidata Q2120628
History
- 2026-11-02: add by m2/dev
Provable security PZ2RYAMEFW
| URI | m2://inv/PZ2RYAMEFW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Provable security, Provable security (definition). Also Wikidata Q852594
History
- 2026-11-02: add by m2/dev
generator matrix PZ3C659RVG
| URI | m2://inv/PZ3C659RVG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1502046, generator matrix (unknown). Also MathWorld GeneratorMatrix
- wikipedia: Wikipedia Generator matrix, Generator matrix (definition). Also Wikidata Q1502046
History
- 2026-10-26: add by m2/dev
Definitions PZ3JRWDZXV
| URI | m2://inv/PZ3JRWDZXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Determinant#0TNW, Definitions (definition)
History
- 2026-11-02: add by m2/dev
topos PZ3QGJF07R
| URI | m2://inv/PZ3QGJF07R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.5/topos, topos (concept). In N54F33XE07, index, section C.1.5
History
- 2026-11-01: add by m2/v0.6.13
PZ45ZRFS7B PZ45ZRFS7B
| URI | m2://inv/PZ45ZRFS7B |
|---|---|
| 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.08658#0OC1 (statement). In 7PK5WS7246/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
Variable Assignment PZ48NBT82D
| URI | m2://inv/PZ48NBT82D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#defn-1, Variable Assignment (definition). In PKGMM3P5QY, defn, section 19.14
History
- 2026-11-01: add by m2/v0.6.13
PZ4CKC5F2G PZ4CKC5F2G
| URI | m2://inv/PZ4CKC5F2G |
|---|---|
| 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.28075#RKR9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ellipsoid PZ4EA7HCA0
| URI | m2://inv/PZ4EA7HCA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q190046, ellipsoid (unknown). Also MathWorld Ellipsoid
- wikipedia: Wikipedia Ellipsoid, Ellipsoid (definition). Also Wikidata Q190046
History
- 2026-10-26: add by m2/dev
Lithuanian Mathematical Society PZ4QE4XP6R
| URI | m2://inv/PZ4QE4XP6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lithuanian Mathematical Society, Lithuanian Mathematical Society (definition). Also Wikidata Q108936707
History
- 2026-11-02: add by m2/dev
The hard-budget optimum with unknown noise scale PZ4X6BHQ9C
| URI | m2://inv/PZ4X6BHQ9C |
|---|---|
| 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.08069#HAJ3, The hard-budget optimum with unknown noise scale (statement). In TVW9BTWJ3D/e1, corollary 11
History
- 2026-10-29: add by m2/v0.4.10
PZ50XZ6PBR PZ50XZ6PBR
| URI | m2://inv/PZ50XZ6PBR |
|---|---|
| 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.32816#G4IH (definition). In 10YV2P9E8W/e1, definition 4.3
History
- 2026-10-31: add by m2/v0.5.6
Zeeman's comparison theorem PZ56MHXV0M
| URI | m2://inv/PZ56MHXV0M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeeman's comparison theorem, Zeeman's comparison theorem (statement). Also Wikidata Q8068449
History
- 2026-11-02: add by m2/dev
Notation PZ577YV0C8
| URI | m2://inv/PZ577YV0C8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alphabet (formal languages)#ZPN8, Notation (definition)
History
- 2026-11-02: add by m2/dev
Properties PZ57KKHH2H
| URI | m2://inv/PZ57KKHH2H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yff center of congruence#SYEC, Properties (statement)
History
- 2026-11-02: add by m2/dev
George Walker PZ57W5282N
| URI | m2://inv/PZ57W5282N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Walker (mathematician), George Walker (topic). Also Wikidata Q5545816
History
- 2026-11-02: add by m2/dev
Daniel Biss PZ580DE5XS
| URI | m2://inv/PZ580DE5XS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#TKC7, Daniel Biss (unknown)
History
- 2026-11-02: add by m2/dev
Definition PZ5JK4K2KX
| URI | m2://inv/PZ5JK4K2KX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic signal#N5AN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Notation PZ5N0TZWW7
| URI | m2://inv/PZ5N0TZWW7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit (mathematics)#IYYP, Notation (definition)
History
- 2026-11-02: add by m2/dev
Marc Culler PZ5T8QYYVQ
| URI | m2://inv/PZ5T8QYYVQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marc Culler, Marc Culler (topic). Also Wikidata Q6755486
History
- 2026-11-02: add by m2/dev
Definitions PZ5WAEZ6H4
| URI | m2://inv/PZ5WAEZ6H4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypergraph regularity method#JISO, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Nicolaas Hendrik Kuiper PZ62VPSDJM
| URI | m2://inv/PZ62VPSDJM |
|---|---|
| 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#SPXA, Nicolaas Hendrik Kuiper (topic)
History
- 2026-11-02: add by m2/dev
Circle packing in an equilateral triangle PZ64AWBRNV
| URI | m2://inv/PZ64AWBRNV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#OA9Z, Circle packing in an equilateral triangle (unknown)
History
- 2026-11-02: add by m2/dev
PZ694T0XAC PZ694T0XAC
| URI | m2://inv/PZ694T0XAC |
|---|---|
| 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.10408#PS8Y (statement). In H976NYKBNT/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
PZ6GVVWPT2 PZ6GVVWPT2
| URI | m2://inv/PZ6GVVWPT2 |
|---|---|
| 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.32903#DBWF (statement). In S8NB83KQX3/e1, lemma 17
History
- 2026-10-31: add by m2/v0.5.6
PZ6VKWX3FE PZ6VKWX3FE
| URI | m2://inv/PZ6VKWX3FE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.05499#QQUR (definition). In WRMNCC8VBC/e1, definition 48
History
- 2026-10-27: add by m2/v0.3.6
Law PZ6X9KCEGZ
| URI | m2://inv/PZ6X9KCEGZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bracket#3TBL, Law (statement)
History
- 2026-11-02: add by m2/dev
Parameter identification problem PZ71RFCM5F
| URI | m2://inv/PZ71RFCM5F |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parameter identification problem, Parameter identification problem (problem). Also Wikidata Q1656743
History
- 2026-11-02: add by m2/dev
Catalan Mathematical Society PZ73NZDZE4
| URI | m2://inv/PZ73NZDZE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catalan Mathematical Society, Catalan Mathematical Society (definition). Also Wikidata Q11703964
History
- 2026-11-02: add by m2/dev
PZ74D7A0M4 PZ74D7A0M4
| URI | m2://inv/PZ74D7A0M4 |
|---|---|
| Kind | definition |
| 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.25897#0UN1 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Double exponential smoothing PZ7A43N121
| URI | m2://inv/PZ7A43N121 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential smoothing#NDB3, Double exponential smoothing (unknown)
History
- 2026-11-02: add by m2/dev
Projection-slice theorem PZ7FKZA9HH
| URI | m2://inv/PZ7FKZA9HH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection-slice theorem, Projection-slice theorem (statement). Also Wikidata Q7249438
History
- 2026-11-02: add by m2/dev
sequence PZ7HH5MG1J
| URI | m2://inv/PZ7HH5MG1J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1/sequence, sequence (concept). In N54F33XE07, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
PZ7MPKWKH3 PZ7MPKWKH3
| URI | m2://inv/PZ7MPKWKH3 |
|---|---|
| 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 1011.5443#SFMN (statement). In VQ0K2GV62A/e1, proposition 2.12
History
- 2026-10-27: add by m2/v0.3.5
PZ7SYQPN3H PZ7SYQPN3H
| URI | m2://inv/PZ7SYQPN3H |
|---|---|
| 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 2606.05329#521O (statement). In DZV8X6MNCH/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.0
On PZ7TSM9JTC
| URI | m2://inv/PZ7TSM9JTC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#7ZSH, On (definition)
History
- 2026-11-02: add by m2/dev
Variable conductance PZ87JJMWAD
| URI | m2://inv/PZ87JJMWAD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22338#ZA05, Variable conductance (example)
History
- 2026-11-02: add by m2/v0.6.17
Aristotle PZ8GE3KJHS
| URI | m2://inv/PZ8GE3KJHS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#VNWB, Aristotle (topic)
History
- 2026-11-02: add by m2/dev
PZ8HNDYPYB PZ8HNDYPYB
| URI | m2://inv/PZ8HNDYPYB |
|---|---|
| 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.20758#CBNK (statement). In PG0B4PH9YH/e1, fact 4.2
History
- 2026-10-27: add by m2/v0.4.2
Epoch length PZ8STC63GT
| URI | m2://inv/PZ8STC63GT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14988#PAOX, Epoch length (statement). In B29M4E6KGC/e1, lemma J.12
History
- 2026-10-28: add by m2/v0.4.2
Baseline and architecture PZ8YXVD086
| URI | m2://inv/PZ8YXVD086 |
|---|---|
| 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.15184#BLK1, Baseline and architecture (statement). In S8A7ZM40DN/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
Frequency illusion PZ92XWGV29
| URI | m2://inv/PZ92XWGV29 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#D4OX, Frequency illusion (unknown)
History
- 2026-11-02: add by m2/dev
Pasting theorem PZ94PAZH1N
| URI | m2://inv/PZ94PAZH1N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pasting theorem, Pasting theorem (statement). Also Wikidata Q136707471
History
- 2026-11-02: add by m2/dev
Examples PZ9B52J1H2
| URI | m2://inv/PZ9B52J1H2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lee–Yang theorem#8USN, Examples (example)
History
- 2026-11-02: add by m2/dev
PZ9BF2FCTR PZ9BF2FCTR
| URI | m2://inv/PZ9BF2FCTR |
|---|---|
| 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 2610.14783#ZHSG (statement). In Y3X5XY2J65/e1, theorem 10.4
History
- 2026-10-28: add by m2/v0.4.2
PZ9D6M267X PZ9D6M267X
| URI | m2://inv/PZ9D6M267X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16541#B88T (statement). In D0XH7W96T3/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.2
PZ9NJW45F1 PZ9NJW45F1
| URI | m2://inv/PZ9NJW45F1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-29 (proof). In N54F33XE07, proof, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
PZ9XTKGPY9 PZ9XTKGPY9
| URI | m2://inv/PZ9XTKGPY9 |
|---|---|
| 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#6LQX (definition)
History
- 2026-11-01: add by m2/v0.6.15
Hasse principle for algebraic groups PZ9ZE94WPD
| URI | m2://inv/PZ9ZE94WPD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hasse principle#85QF, Hasse principle for algebraic groups (statement)
History
- 2026-11-02: add by m2/dev
Lemma 6 of restated PZAD74PJ2Y
| URI | m2://inv/PZAD74PJ2Y |
|---|---|
| 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.02355#IP44, Lemma 6 of restated (statement). In 1AXXV9ZT11/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
PZAFMC0ZQE PZAFMC0ZQE
| URI | m2://inv/PZAFMC0ZQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.24154#NYPC (statement)
History
- 2026-11-02: add by m2/v0.6.17
set PZAK5408ZR
| URI | m2://inv/PZAK5408ZR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.1/set, set (concept). In N54F33XE07, index, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
field extension PZAYGW42D1
| URI | m2://inv/PZAYGW42D1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#UMHB, field extension (definition)
History
- 2026-11-02: add by m2/dev
Alexander Ilyin PZB63G7VNE
| URI | m2://inv/PZB63G7VNE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Ilyin (mathematician), Alexander Ilyin (topic). Also Wikidata Q38692969
History
- 2026-11-02: add by m2/dev
4294967295-gon PZBSRT2G9M
| URI | m2://inv/PZBSRT2G9M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 4,294,967,295#BUQF, 4294967295-gon (unknown)
History
- 2026-11-02: add by m2/dev
Synthetic geometry PZC12JXYBP
| URI | m2://inv/PZC12JXYBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics history topics#WPG9, Synthetic geometry (definition)
History
- 2026-11-02: add by m2/dev
Theorem (Heise) PZC9HQ1ZA4
| URI | m2://inv/PZC9HQ1ZA4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski plane#LHON, Theorem (Heise) (statement)
History
- 2026-11-02: add by m2/dev
Joël Scherk PZCA3DEW4Z
| URI | m2://inv/PZCA3DEW4Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1710260, Joël Scherk (unknown). Also nLab Joël Scherk
History
- 2026-10-26: add by m2/dev
Conway knot PZCCQR9PKT
| URI | m2://inv/PZCCQR9PKT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after John Horton Conway#7SJ8, Conway knot (definition)
History
- 2026-11-02: add by m2/dev
PZCKZGV81S PZCKZGV81S
| URI | m2://inv/PZCKZGV81S |
|---|---|
| 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.03144#H27W (statement). In 9QW88325GS/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
PZCMAFX08T PZCMAFX08T
| URI | m2://inv/PZCMAFX08T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04498#VQHM (statement). In HHF08X70P6/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Rectified 5-simplex PZCVFW59HH
| URI | m2://inv/PZCVFW59HH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 5-simplexes#LHJE, Rectified 5-simplex (unknown)
History
- 2026-11-02: add by m2/dev
PZD3ZEHSYH PZD3ZEHSYH
| URI | m2://inv/PZD3ZEHSYH |
|---|---|
| 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 2609.36509#CSXC (statement). In DPJ15KW23C/e1, lemma 4.11
History
- 2026-10-30: add by m2/v0.4.12
PZD42X44CH PZD42X44CH
| URI | m2://inv/PZD42X44CH |
|---|---|
| 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#L49F (statement). In MNQAZ70XTH/e1, lemma 8.5
History
- 2026-10-28: add by m2/v0.4.3
James Milne PZD4ZTB3X9
| URI | m2://inv/PZD4ZTB3X9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Milne (mathematician), James Milne (topic). Also Wikidata Q1680831
History
- 2026-11-02: add by m2/dev
PER $\textsf{Ty}$ --- Types PZDAZQCPBP
| URI | m2://inv/PZDAZQCPBP |
|---|---|
| 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.21131#08WT, PER $\textsf{Ty}$ --- Types (definition). In CPYWHRTPKC/e1, definition 6.3
History
- 2026-10-27: add by m2/v0.4.2
Mersenne numbers PZDCXV48Z9
| URI | m2://inv/PZDCXV48Z9 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#IXNJ, Mersenne numbers (conjecture)
History
- 2026-11-02: add by m2/dev
PZDSWTV3HH PZDSWTV3HH
| URI | m2://inv/PZDSWTV3HH |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#Z11Z (unknown). In QNBFHFZ3H0/e1, unknown 86
History
- 2026-10-28: add by m2/v0.4.2
PZE2FVFVVD PZE2FVFVVD
| URI | m2://inv/PZE2FVFVVD |
|---|---|
| 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.30961#XE9T (statement). In FFG2DDWEVB/e1, lemma 2.3
History
- 2026-10-31: add by m2/v0.5.6
PZE5187G51 PZE5187G51
| URI | m2://inv/PZE5187G51 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#QRF2 (definition). In X765ZXXVC3/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
PZE80AFRP3 PZE80AFRP3
| URI | m2://inv/PZE80AFRP3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.22560#5YYD (statement)
History
- 2026-11-02: add by m2/v0.6.17
Euler reflection formula PZED379YDM
| URI | m2://inv/PZED379YDM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple zeta function#DUZO, Euler reflection formula (statement)
History
- 2026-11-02: add by m2/dev
Examples PZEGTXWZF0
| URI | m2://inv/PZEGTXWZF0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radial basis function#KYHC, Examples (example)
History
- 2026-11-02: add by m2/dev
Geometric Points PZEPT4BRRA
| URI | m2://inv/PZEPT4BRRA |
|---|---|
| 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.28495#GAPZ, Geometric Points (statement)
History
- 2026-11-01: add by m2/v0.6.15
modality PZETK14AE8
| URI | m2://inv/PZETK14AE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#3SWY, modality (definition)
History
- 2026-11-02: add by m2/dev
PZEVHC36F4 PZEVHC36F4
| URI | m2://inv/PZEVHC36F4 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01087#XD17 (problem). In 7QXAZXGNPQ/e1, problem 1.1
History
- 2026-10-29: add by m2/v0.4.12
PZF7AGDWP8 PZF7AGDWP8
| URI | m2://inv/PZF7AGDWP8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.07280#LYSP (example). In 1FJKW4WGEN/e1, example 1.4
History
- 2026-10-29: add by m2/v0.4.10
Approximation algorithms for graph edit distance PZF91ZQ04N
| URI | m2://inv/PZF91ZQ04N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph edit distance#6ODR, Approximation algorithms for graph edit distance (unknown)
History
- 2026-11-02: add by m2/dev
The case $b = 1$ PZFB3P05QV
| URI | m2://inv/PZFB3P05QV |
|---|---|
| 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.01924#PC3K, The case $b = 1$ (statement). In CB89152EQW/e1, lemma 23
History
- 2026-10-29: add by m2/v0.4.12
PZFGWANNTE PZFGWANNTE
| URI | m2://inv/PZFGWANNTE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#3DJ3 (definition). In A1GWWGRXPA/e1, definition 3.26
History
- 2026-10-27: add by m2/v0.4.2
Many-one reduction PZG0YA7J52
| URI | m2://inv/PZG0YA7J52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Many-one reduction, Many-one reduction (definition). Also Wikidata Q3300648
History
- 2026-11-02: add by m2/dev
Statistical significance PZG19RDB9H
| URI | m2://inv/PZG19RDB9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HMT9, Statistical significance (definition)
History
- 2026-11-02: add by m2/dev
Barratt–Priddy theorem PZGC15QFZ3
| URI | m2://inv/PZGC15QFZ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barratt–Priddy theorem, Barratt–Priddy theorem (statement). Also Wikidata Q4863268
History
- 2026-11-02: add by m2/dev
Lemma 1 PZGJ6PJN8N
| URI | m2://inv/PZGJ6PJN8N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nim#NY12, Lemma 1 (statement)
History
- 2026-11-02: add by m2/dev
discontinuity PZGKFGVY1V
| URI | m2://inv/PZGKFGVY1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Classification of discontinuities 04R9K5H562 |
Mentions
- wikidata: Wikidata Q541961, discontinuity (unknown). Also MathWorld Discontinuity
- wikipedia: Wikipedia Classification of discontinuities, Classification of discontinuities (definition). Also Wikidata Q541961
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Arthur Schoenflies PZGM6QR1TN
| URI | m2://inv/PZGM6QR1TN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#G5UY, Arthur Schoenflies (unknown)
History
- 2026-11-02: add by m2/dev
PZGNSRPEZS PZGNSRPEZS
| URI | m2://inv/PZGNSRPEZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.00585#85FJ (statement). In 332PQD90SW/e1, theorem 3.7
History
- 2026-10-27: add by m2/v0.3.5
Willmore surface PZGP2A92NG
| URI | m2://inv/PZGP2A92NG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Willmore energy#KMG1, Willmore surface (unknown)
History
- 2026-11-02: add by m2/dev
PZGQBJJSB0 PZGQBJJSB0
| URI | m2://inv/PZGQBJJSB0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#PJ0Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
PZGRK9RPF6 PZGRK9RPF6
| URI | m2://inv/PZGRK9RPF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.37252#GUZY (statement). In E3EK0ESPA7/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
PZGSQH1XNG PZGSQH1XNG
| URI | m2://inv/PZGSQH1XNG |
|---|---|
| Kind | definition |
| 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.04709#1DT4 (definition). In 9J260W15RY/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.12
A separating sandwich identity PZGTG0P64X
| URI | m2://inv/PZGTG0P64X |
|---|---|
| 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.12014#7YCB, A separating sandwich identity (statement). In DR7BK4CQ0V/e1, lemma 5.15
History
- 2026-10-28: add by m2/v0.4.3
Kalman filter PZGX8PFSMG
| URI | m2://inv/PZGX8PFSMG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#69OQ, Kalman filter (definition)
History
- 2026-11-02: add by m2/dev
Properties PZGY265P19
| URI | m2://inv/PZGY265P19 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternant matrix#2LMI, Properties (statement)
History
- 2026-11-02: add by m2/dev
Algebraic theorem PZH151DTR0
| URI | m2://inv/PZH151DTR0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serre duality#SLN1, Algebraic theorem (statement)
History
- 2026-11-02: add by m2/dev
Hamming(7,4) PZH1B4AM38
| URI | m2://inv/PZH1B4AM38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamming(7,4), Hamming(7,4) (definition). Also Wikidata Q2322550
History
- 2026-11-02: add by m2/dev
First variation of the regularized objective PZH22P7SXK
| URI | m2://inv/PZH22P7SXK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-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.15180#NCUU, First variation of the regularized objective (statement). In AMRWRJDNKJ/e1, proposition 7.3
History
- 2026-10-28: add by m2/v0.4.2
PZH7SYCS9P PZH7SYCS9P
| URI | m2://inv/PZH7SYCS9P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#E9A5 (statement). In JS5FKV1S9T/e1, proposition B.1
History
- 2026-10-27: add by m2/v0.3.5
Noether's theorem on rationality for surfaces PZHDAEY4PM
| URI | m2://inv/PZHDAEY4PM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#V0DF, Noether's theorem on rationality for surfaces (statement)
History
- 2026-11-02: add by m2/dev
dominated PZHS1S90WJ
| URI | m2://inv/PZHS1S90WJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#ODY6, dominated (definition)
History
- 2026-11-02: add by m2/dev
Stereotype group algebra PZHVGDN6ZR
| URI | m2://inv/PZHVGDN6ZR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflexive space#O2KY, Stereotype group algebra (unknown)
History
- 2026-11-02: add by m2/dev
Elementary properties PZJ5NGRJZD
| URI | m2://inv/PZJ5NGRJZD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conductor (ring theory)#TF7U, Elementary properties (statement)
History
- 2026-11-02: add by m2/dev
PZJ5RTQ3QY PZJ5RTQ3QY
| URI | m2://inv/PZJ5RTQ3QY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-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.13100#QAQB (statement). In CC6S1HVK0T/e1, lemma 5.40
History
- 2026-10-28: add by m2/v0.4.2
Nova fractal PZJ9XEKSMM
| URI | m2://inv/PZJ9XEKSMM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton fractal#7PZE, Nova fractal (unknown)
History
- 2026-11-02: add by m2/dev
PZJD69VKY6 PZJD69VKY6
| URI | m2://inv/PZJD69VKY6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 19-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31883#LVRG (example). In XBHQRTBH62/e1, example 1.18
History
- 2026-10-31: add by m2/v0.5.6
Examples PZJHT3RZKF
| URI | m2://inv/PZJHT3RZKF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double coset#UZOU, Examples (example)
History
- 2026-11-02: add by m2/dev
PZJK67CQT5 PZJK67CQT5
| URI | m2://inv/PZJK67CQT5 |
|---|---|
| Kind | definition |
| 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.13850#NOZ6 (definition). In KJY735KSMF/e1, definition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Thomas Bayes PZJYZPDZJY
| URI | m2://inv/PZJYZPDZJY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#V1GS, Thomas Bayes (topic)
History
- 2026-11-02: add by m2/dev
Bitruncated order-6 dodecahedral honeycomb PZK2VVGBWM
| URI | m2://inv/PZK2VVGBWM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-6 dodecahedral honeycomb#OUJM, Bitruncated order-6 dodecahedral honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
Guo Shoujing PZK81DJY83
| URI | m2://inv/PZK81DJY83 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#A2LT, Guo Shoujing (unknown)
History
- 2026-11-02: add by m2/dev
Mixed primitives: five theorem-prescribed scalars PZKBP5284W
| URI | m2://inv/PZKBP5284W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20106#QYL4, Mixed primitives: five theorem-prescribed scalars (statement). In 6HMZ36ZBXA/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.4.2
Continuous q-Hermite polynomials PZKEXG9MYH
| URI | m2://inv/PZKEXG9MYH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous q-Hermite polynomials, Continuous q-Hermite polynomials (definition). Also Wikidata Q5165508
History
- 2026-11-02: add by m2/dev
Example PZKJW5NA16
| URI | m2://inv/PZKJW5NA16 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supersingular prime (algebraic number theory)#5V31, Example (example)
History
- 2026-11-02: add by m2/dev
List of manifolds PZKQ4X2V4A
| URI | m2://inv/PZKQ4X2V4A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#UGLC, List of manifolds (topic)
- wikipedia: Wikipedia Lists of mathematics topics#NW04, List of manifolds (topic)
History
- 2026-11-02: add by m2/dev
Engineering statistics PZKSB4RH88
| URI | m2://inv/PZKSB4RH88 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#U3PQ, Engineering statistics (definition)
History
- 2026-11-02: add by m2/dev
PZM8J4SCD1 PZM8J4SCD1
| URI | m2://inv/PZM8J4SCD1 |
|---|---|
| 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 2609.24307#HV04 (statement)
History
- 2026-11-01: add by m2/v0.6.15
PZM8JJJ7KS PZM8JJJ7KS
| URI | m2://inv/PZM8JJJ7KS |
|---|---|
| Kind | definition |
| 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.17669#HQFL (definition). In RAWXJ72WWA/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Colored Symmetry PZM9CVFJAB
| URI | m2://inv/PZM9CVFJAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Colored Symmetry, Colored Symmetry (definition). Also Wikidata Q125481288
History
- 2026-11-02: add by m2/dev
PZMHJFRD6W PZMHJFRD6W
| URI | m2://inv/PZMHJFRD6W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34845#8DU2 (statement). In SBZNH932ZV/e1, lemma 2.8
History
- 2026-10-30: add by m2/v0.4.12
PZMSYTVYH3 PZMSYTVYH3
| URI | m2://inv/PZMSYTVYH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25495#JTOM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Opposite ring PZMWPRA937
| URI | m2://inv/PZMWPRA937 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opposite ring, Opposite ring (definition). Also Wikidata Q1940482
History
- 2026-11-02: add by m2/dev
Rooted motif density PZMYQTBR78
| URI | m2://inv/PZMYQTBR78 |
|---|---|
| Kind | definition |
| 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 2607.01358#8N2V, Rooted motif density (definition). In H808CYZ7YM/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
PZN7BN2FKX PZN7BN2FKX
| URI | m2://inv/PZN7BN2FKX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#D8BD (example)
History
- 2026-11-02: add by m2/v0.6.18
PZN86PRNJM PZN86PRNJM
| URI | m2://inv/PZN86PRNJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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 2610.18512#ZX0Q (statement). In 11JNM66Z09/e1, proposition 13.4
History
- 2026-10-28: add by m2/v0.4.2
Loss of long-range order under strong local noise PZNDK51XZJ
| URI | m2://inv/PZNDK51XZJ |
|---|---|
| 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.36016#77U8, Loss of long-range order under strong local noise (statement). In NAM9ZMPHZ9/e1, corollary 4.8
History
- 2026-10-30: add by m2/v0.4.12
PZNJGAXVCY PZNJGAXVCY
| URI | m2://inv/PZNJGAXVCY |
|---|---|
| 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.37562#630M (statement). In PYY8DFK2JS/e1, theorem E
History
- 2026-10-30: add by m2/v0.4.12
Aner Shalev PZNKAESW4X
| URI | m2://inv/PZNKAESW4X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#RQYG, Aner Shalev (unknown)
History
- 2026-11-02: add by m2/dev
Marston Morse PZNRQWVN6E
| URI | m2://inv/PZNRQWVN6E |
|---|---|
| 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 Q723627, Marston Morse (unknown). Also nLab Marston Morse
- wikipedia: Wikipedia Marston Morse, Marston Morse (topic). Also Wikidata Q723627
History
- 2026-10-26: add by m2/dev
Quadratic exact complexity and linear approximate complexity PZNT5CAD6C
| URI | m2://inv/PZNT5CAD6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#S24N, Quadratic exact complexity and linear approximate complexity (statement). In 9YAE8FNQST/e1, corollary 27.12
History
- 2026-10-30: add by m2/v0.4.12
PZP2J8D8A2 PZP2J8D8A2
| URI | m2://inv/PZP2J8D8A2 |
|---|---|
| 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.10230#WYM8 (statement). In YS75517SF7/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
PZP3MKHHJF PZP3MKHHJF
| URI | m2://inv/PZP3MKHHJF |
|---|---|
| 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.26017#RF3O (statement)
History
- 2026-11-01: add by m2/v0.6.15
fibbinary number PZP5218JS8
| URI | m2://inv/PZP5218JS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q108913632, fibbinary number (object). Also OEIS A003714
- wikipedia: Wikipedia Fibbinary number, Fibbinary number (definition). Also Wikidata Q108913632
History
- 2026-10-26: add by m2/dev
PZP8RBWXYG PZP8RBWXYG
| URI | m2://inv/PZP8RBWXYG |
|---|---|
| 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.05299#H2D0 (statement). In 68AE571S4P/e1, lemma 2.18
History
- 2026-10-29: add by m2/v0.4.10
Unseen species problem PZPE079AHK
| URI | m2://inv/PZPE079AHK |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unseen species problem, Unseen species problem (problem). Also Wikidata Q56063388
History
- 2026-11-02: add by m2/dev
Stereotypes of mathematicians PZPGVKVSKP
| URI | m2://inv/PZPGVKVSKP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical joke#BP1E, Stereotypes of mathematicians (unknown)
History
- 2026-11-02: add by m2/dev
PZPRC773QG PZPRC773QG
| URI | m2://inv/PZPRC773QG |
|---|---|
| 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.37897#OXI6 (statement). In RBQ5FNCVNZ/e1, lemma C.9
History
- 2026-10-30: add by m2/v0.4.12
PZPRDC9HH3 PZPRDC9HH3
| URI | m2://inv/PZPRDC9HH3 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unique games conjecture#3CDP (problem)
History
- 2026-11-02: add by m2/dev
Fischer group PZPRX1QE5C
| URI | m2://inv/PZPRX1QE5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#KMN1, Fischer group (definition)
History
- 2026-11-02: add by m2/dev
PZPSBDHXYE PZPSBDHXYE
| URI | m2://inv/PZPSBDHXYE |
|---|---|
| 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.27524#F5GK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Joseph Louis Lagrange PZPV04S9CM
| URI | m2://inv/PZPV04S9CM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#1HBL, Joseph Louis Lagrange (topic)
History
- 2026-11-02: add by m2/dev
PZPX40GJHC PZPX40GJHC
| URI | m2://inv/PZPX40GJHC |
|---|---|
| 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 2301.04933#113P (definition). In Q70CTMCJTP/e1, definition 4.7
History
- 2026-10-27: add by m2/v0.3.5
PZPZVY1REX PZPZVY1REX
| URI | m2://inv/PZPZVY1REX |
|---|---|
| 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.21781#6MV5 (statement). In FEQ72D1AX6/e1, lemma 5.14
History
- 2026-10-27: add by m2/v0.4.2
Exceptional acyclicity for constant coefficients PZQ7K6J515
| URI | m2://inv/PZQ7K6J515 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.27799#9LW1, Exceptional acyclicity for constant coefficients (statement)
History
- 2026-11-01: add by m2/v0.6.15
von Neumann's minimax theorem PZQ87F7GY5
| URI | m2://inv/PZQ87F7GY5 |
|---|---|
| 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#QD34, von Neumann's minimax theorem (statement). In 718SP8YERQ/e1, theorem A1
History
- 2026-10-27: add by m2/v0.3.5
Examples PZQJJN78VC
| URI | m2://inv/PZQJJN78VC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic hyperbolic 3-manifold#AAZF, Examples (example)
History
- 2026-11-02: add by m2/dev
PZQT57J746 PZQT57J746
| URI | m2://inv/PZQT57J746 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25718#WE7Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mackey–Arens theorem PZR906PNFM
| URI | m2://inv/PZR906PNFM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mackey–Arens theorem#DZF1, Mackey–Arens theorem (statement)
History
- 2026-11-02: add by m2/dev
PZRAW8H4M8 PZRAW8H4M8
| URI | m2://inv/PZRAW8H4M8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#thm:equiv relation from preimages (statement). In P1C114YBXG, theorem, section D
History
- 2026-11-01: add by m2/v0.6.13
Continuous extension and the Carathéodory-Torhorst theorem PZRFJ26B2J
| URI | m2://inv/PZRFJ26B2J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory's theorem (conformal mapping)#KDH0, Continuous extension and the Carathéodory-Torhorst theorem (statement)
History
- 2026-11-02: add by m2/dev
Geometric Shapes (Unicode block) PZRJ5RJXYG
| URI | m2://inv/PZRJ5RJXYG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of shapes#WMN4, Geometric Shapes (Unicode block) (unknown)
History
- 2026-11-02: add by m2/dev
PZRM8ESY1Y PZRM8ESY1Y
| URI | m2://inv/PZRM8ESY1Y |
|---|---|
| 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#LGL2 (statement). In WNFW6GY38C/e1, lemma 8.1
History
- 2026-10-30: add by m2/v0.4.12
PZRWTCV2CN PZRWTCV2CN
| URI | m2://inv/PZRWTCV2CN |
|---|---|
| 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#KQ86 (statement). In F6C80AEXC1/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.12
Polygamma function PZS23TAZTQ
| URI | m2://inv/PZS23TAZTQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical series#77WO, Polygamma function (definition)
History
- 2026-11-02: add by m2/dev
enriched category PZS2K0A1Y6
| URI | m2://inv/PZS2K0A1Y6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Enriched category BPH9SJ30Y0 |
Mentions
- wikidata: Wikidata Q5379515, enriched category (unknown). Also nLab enriched category
- wikipedia: Wikipedia Enriched category, Enriched category (definition). Also Wikidata Q5379515
History
- 2026-10-26: add by m2/dev
PZS9DGY7WH PZS9DGY7WH
| URI | m2://inv/PZS9DGY7WH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39745#LRGL (statement). In V276PQS61M/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Sarah J. Greenwald PZSAK88PD8
| URI | m2://inv/PZSAK88PD8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sarah J. Greenwald, Sarah J. Greenwald (topic). Also Wikidata Q82780191
History
- 2026-11-02: add by m2/dev
Hain, Prop 2.10, Prop 2.13 PZSAXARB1M
| URI | m2://inv/PZSAXARB1M |
|---|---|
| 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 0909.0714#1Q98, Hain, Prop 2.10, Prop 2.13 (statement). In XNNM92X6A8/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
PZSFZSHT6H PZSFZSHT6H
| URI | m2://inv/PZSFZSHT6H |
|---|---|
| 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#2D5I (statement)
History
- 2026-11-01: add by m2/v0.6.15
Finiteness of joint moments for bulk/boundary quotients PZSMGZH94S
| URI | m2://inv/PZSMGZH94S |
|---|---|
| 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 2502.09121#GG5B, Finiteness of joint moments for bulk/boundary quotients (statement). In 559PF7Q5BT/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Orientation character PZSNE1N1G2
| URI | m2://inv/PZSNE1N1G2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orientation character, Orientation character (definition). Also Wikidata Q7102405
History
- 2026-11-02: add by m2/dev
logic, of mere propositions PZSRW39MBH
| URI | m2://inv/PZSRW39MBH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.10/logic-of-mere-propositions, logic, of mere propositions (concept). In N54F33XE07, index, section 9.10
History
- 2026-11-01: add by m2/v0.6.13
PZSTWVYRF0 PZSTWVYRF0
| URI | m2://inv/PZSTWVYRF0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38838#ZFVW (statement). In 3EH8M9GWTX/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
PZT77KCS9M PZT77KCS9M
| URI | m2://inv/PZT77KCS9M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-24 (exercise). In E59CDZA4DP, exercise, section 1.3.6
History
- 2026-11-01: add by m2/v0.6.13
Tim Cochran PZT9A67FHW
| URI | m2://inv/PZT9A67FHW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UC6Q, Tim Cochran (topic)
History
- 2026-11-02: add by m2/dev
PZTBM1RGSP PZTBM1RGSP
| URI | m2://inv/PZTBM1RGSP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33018#GH7M (statement). In 8XVS0QJ2AH/e1, proposition 68
History
- 2026-10-31: add by m2/v0.5.6
PZTCS0JTHY PZTCS0JTHY
| URI | m2://inv/PZTCS0JTHY |
|---|---|
| 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 2610.05850#9VDZ (statement). In D424GB5MAW/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
PZTHMWMJVQ PZTHMWMJVQ
| URI | m2://inv/PZTHMWMJVQ |
|---|---|
| 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.15525#HJDC (statement). In EFDRME13PT/e1, lemma 6.5
History
- 2026-10-28: add by m2/v0.4.2
PZTPTRXER2 PZTPTRXER2
| URI | m2://inv/PZTPTRXER2 |
|---|---|
| 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.22784#CSGS (statement)
History
- 2026-11-02: add by m2/v0.6.17
PZTTRF2NH9 PZTTRF2NH9
| URI | m2://inv/PZTTRF2NH9 |
|---|---|
| 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.10248#FQDY (statement). In TMV74X2725/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.10
PZTWGGSAQ6 PZTWGGSAQ6
| URI | m2://inv/PZTWGGSAQ6 |
|---|---|
| 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 2610.14434#KGVK (statement). In TW93XZXMHE/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Φ/φ PZTXGJC3WV
| URI | m2://inv/PZTXGJC3WV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10029, Φ/φ (unknown). Also ProofWiki Symbols:Greek/Phi
History
- 2026-10-26: add by m2/dev
Regiomontanus PZV2PH5TMG
| URI | m2://inv/PZV2PH5TMG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regiomontanus, Regiomontanus (topic). Also Wikidata Q76365
History
- 2026-11-02: add by m2/dev
Properties PZV49E35AT
| URI | m2://inv/PZV49E35AT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic Gauss sum#046K, Properties (statement)
History
- 2026-11-02: add by m2/dev
Stefaan Vaes PZV4QVE89S
| URI | m2://inv/PZV4QVE89S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stefaan Vaes, Stefaan Vaes (topic). Also Wikidata Q19968942
History
- 2026-11-02: add by m2/dev
Proofs of Fermat's little theorem PZVMN5ZW9C
| URI | m2://inv/PZVMN5ZW9C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proofs of Fermat's little theorem, Proofs of Fermat's little theorem (statement). Also Wikidata Q467602
History
- 2026-11-02: add by m2/dev
Basic principle PZVSK5N5VH
| URI | m2://inv/PZVSK5N5VH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root algorithms#4O8B, Basic principle (statement)
History
- 2026-11-02: add by m2/dev
PZVV8G6WV3 PZVV8G6WV3
| URI | m2://inv/PZVV8G6WV3 |
|---|---|
| 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.37897#2ID5 (statement). In RBQ5FNCVNZ/e1, lemma C.5
History
- 2026-10-30: add by m2/v0.4.12
great icosacronic hexecontahedron PZVWMA4W8T
| URI | m2://inv/PZVWMA4W8T |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5600365, great icosacronic hexecontahedron (unknown). Also MathWorld GreatIcosacronicHexecontahedron
- wikipedia: Wikipedia Great icosacronic hexecontahedron, Great icosacronic hexecontahedron (object). Also Wikidata Q5600365
History
- 2026-10-26: add by m2/dev
PZWC10ACXJ PZWC10ACXJ
| URI | m2://inv/PZWC10ACXJ |
|---|---|
| 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 1004.4564#BVYT (statement). In BZ54C9SKYS/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
PZWEMG7QGE PZWEMG7QGE
| URI | m2://inv/PZWEMG7QGE |
|---|---|
| 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.32599#LP3I (definition). In E1Y93JNBJA/e1, definition
History
- 2026-10-31: add by m2/v0.5.6
PZWKE4YGYY PZWKE4YGYY
| URI | m2://inv/PZWKE4YGYY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2005.03073#QY44 (statement). In P2ETMXKVDS/e1, corollary 1.10
History
- 2026-10-27: add by m2/v0.3.5
PZWNY3Z24X PZWNY3Z24X
| URI | m2://inv/PZWNY3Z24X |
|---|---|
| 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.05327#49R1 (statement). In ZD7BWDKT84/e1, proposition 8.10
History
- 2026-10-29: add by m2/v0.4.10
Definition PZWPBFG3KN
| URI | m2://inv/PZWPBFG3KN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pointwise convergence#F5BQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
PZWQJ9VGBS PZWQJ9VGBS
| URI | m2://inv/PZWQJ9VGBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.10925#LPUS (statement). In 9604WYX0BW/e1, theorem D
History
- 2026-10-28: add by m2/v0.4.3
PZWXPGY7MM PZWXPGY7MM
| URI | m2://inv/PZWXPGY7MM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#prop-7 (statement). In E59CDZA4DP, prop, section 8.4.2
History
- 2026-11-01: add by m2/v0.6.13
Definition PZX1HVA1VE
| URI | m2://inv/PZX1HVA1VE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strahler number#QQJJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Volume formula PZX4JM0884
| URI | m2://inv/PZX4JM0884 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic hyperbolic 3-manifold#CIDP, Volume formula (statement)
History
- 2026-11-02: add by m2/dev
PZX4YW9SBV PZX4YW9SBV
| URI | m2://inv/PZX4YW9SBV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#ex:ind-nat-not-equiv (exercise). In N54F33XE07, ex, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
No single observation time PZXDWR7RWW
| URI | m2://inv/PZXDWR7RWW |
|---|---|
| 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.10017#QM3Z, No single observation time (statement). In CJRBKR4JKT/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
PZXMY1CJKP PZXMY1CJKP
| URI | m2://inv/PZXMY1CJKP |
|---|---|
| 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 2506.21337#SSEJ (statement). In EPZN0JTG2Z/e1, theorem 8
History
- 2026-10-27: add by m2/v0.3.5
Local fillings PZXNGNK9C6
| URI | m2://inv/PZXNGNK9C6 |
|---|---|
| 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.04271#QVNZ, Local fillings (statement). In WBXAW9G4JB/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Effective updates within a global block PZXNRWHKRG
| URI | m2://inv/PZXNRWHKRG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14988#HMJF, Effective updates within a global block (statement). In B29M4E6KGC/e1, lemma H.6
History
- 2026-10-28: add by m2/v0.4.2
Poincaré lemma PZXSMZW9GN
| URI | m2://inv/PZXSMZW9GN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed and exact differential forms#T0IK, Poincaré lemma (statement)
History
- 2026-11-02: add by m2/dev
PZXVJFGZSQ PZXVJFGZSQ
| URI | m2://inv/PZXVJFGZSQ |
|---|---|
| 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#2HH2 (statement). In ZA6XNBA90V/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Properties PZXYXT2997
| URI | m2://inv/PZXYXT2997 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Period mapping#PLOC, Properties (statement)
History
- 2026-11-02: add by m2/dev
Loops and parallel edges can add torsion PZXZBB83Z7
| URI | m2://inv/PZXZBB83Z7 |
|---|---|
| Kind | example |
| 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#IEHC, Loops and parallel edges can add torsion (example). In Y1DR0DPWD0/e1, example 6.14
History
- 2026-10-29: add by m2/v0.4.12
Duality of Lp spaces PZYFTQFWG1
| URI | m2://inv/PZYFTQFWG1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lp space#JIVQ, Duality of Lp spaces (unknown)
History
- 2026-11-02: add by m2/dev
Behnke--Stein again PZYJ4JM67E
| URI | m2://inv/PZYJ4JM67E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:behnkestein, Behnke--Stein again (exercise). In VNMV985MXX, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
PZYJV3QCHD PZYJV3QCHD
| URI | m2://inv/PZYJV3QCHD |
|---|---|
| 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.17825#I88Y (statement). In T0ADPX1S05/e1, corollary 4.11
History
- 2026-10-28: add by m2/v0.4.2
PZYPMPSDQK PZYPMPSDQK
| URI | m2://inv/PZYPMPSDQK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.01057#UOXJ (statement). In 69QFBXJENW/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Theory of Probability and Mathematical Statistics PZYPVV1DHX
| URI | m2://inv/PZYPVV1DHX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#UI0O, Theory of Probability and Mathematical Statistics (unknown)
History
- 2026-11-02: add by m2/dev
PZYWC2JBZJ PZYWC2JBZJ
| URI | m2://inv/PZYWC2JBZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04874#BH5E (statement). In X365951S4Q/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.12
Error equivalence sufficient for weak greedy selection PZYYVRVBRQ
| URI | m2://inv/PZYYVRVBRQ |
|---|---|
| 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.12017#PLF7, Error equivalence sufficient for weak greedy selection (statement). In WW04MP0NAZ/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.3
PZYYWVD0CK PZYYWVD0CK
| URI | m2://inv/PZYYWVD0CK |
|---|---|
| Kind | definition |
| 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.12479#KQTA (definition). In WE001PR75Z/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
Transfer PZZ83PSG62
| URI | m2://inv/PZZ83PSG62 |
|---|---|
| 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.35418#OUMA, Transfer (statement). In JHD3TW67QT/e1, lemma 27
History
- 2026-10-30: add by m2/v0.4.12
PZZ9TVJTPG PZZ9TVJTPG
| URI | m2://inv/PZZ9TVJTPG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#LJ5Z (statement). In MS7M2BJS9X/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
Statement PZZA4VD5NY
| URI | m2://inv/PZZA4VD5NY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andronov–Pontryagin criterion#XAU7, Statement (statement)
History
- 2026-11-02: add by m2/dev
Critical growth rate PZZAA3BDN6
| URI | m2://inv/PZZAA3BDN6 |
|---|---|
| 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.28898#VPWY, Critical growth rate (statement)
History
- 2026-11-01: add by m2/v0.6.15
Odd extremal partition theorem PZZVWMCVPD
| URI | m2://inv/PZZVWMCVPD |
|---|---|
| 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.38993#VFDX, Odd extremal partition theorem (statement). In AFKQK866Y1/e1, theorem 4.2
History
- 2026-10-30: add by m2/v0.4.12