Inventory rows PF
The cards of the rows of the inventory whose ids start with PF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
S. Goette PF06WTDDH1
| URI | m2://inv/PF06WTDDH1 |
|---|---|
| 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 dg-ga/9612010#7W9N, S. Goette (example). In CM39SWC4A6/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
PF0H2YGGE4 PF0H2YGGE4
| URI | m2://inv/PF0H2YGGE4 |
|---|---|
| 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 2506.07061#HBZP (statement). In G2PA4KAGRP/e1, proposition 5.6
History
- 2026-10-27: add by m2/v0.3.6
George W. Brown PF0QDHBEJS
| URI | m2://inv/PF0QDHBEJS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#70L3, George W. Brown (topic)
History
- 2026-11-02: add by m2/dev
Federico Cafiero PF0TQRQPKQ
| URI | m2://inv/PF0TQRQPKQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#N13P, Federico Cafiero (topic)
History
- 2026-11-02: add by m2/dev
PF10XE30GJ PF10XE30GJ
| URI | m2://inv/PF10XE30GJ |
|---|---|
| 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.19437#SFKS (statement). In 9PXXGQ978Z/e1, proposition 5.5
History
- 2026-10-28: add by m2/v0.4.2
Main lemma PF13KR7WQ7
| URI | m2://inv/PF13KR7WQ7 |
|---|---|
| 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 2102.11076#GDPT, Main lemma (statement). In T9HZXHTQBJ/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.6
PF15E6P4H7 PF15E6P4H7
| URI | m2://inv/PF15E6P4H7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#CLI6 (statement). In GMRT5GHBZS/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
PF16T1J16M PF16T1J16M
| URI | m2://inv/PF16T1J16M |
|---|---|
| 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.11043#R3I7 (statement). In R3NJYPZH52/e1, theorem 3.8
History
- 2026-10-28: add by m2/v0.4.3
PF1EVC0BPS PF1EVC0BPS
| URI | m2://inv/PF1EVC0BPS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.18859#OTII (statement). In EVRAASXEDY/e1, corollary 4.9
History
- 2026-10-27: add by m2/v0.4.0
Definition PF1FJVKT74
| URI | m2://inv/PF1FJVKT74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayes error rate#LCNO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Etendue PF1FRE8HP6
| URI | m2://inv/PF1FRE8HP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Etendue, Etendue (definition). Also Wikidata Q1370994
History
- 2026-11-02: add by m2/dev
PF1H6AYBEQ PF1H6AYBEQ
| URI | m2://inv/PF1H6AYBEQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 11-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21725#RTZY (statement). In BQDZN6GRGF/e1, proposition 4.9
History
- 2026-10-27: add by m2/v0.4.2
David Kellogg Lewis PF1J3PJ526
| URI | m2://inv/PF1J3PJ526 |
|---|---|
| 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#8RSG, David Kellogg Lewis (unknown)
History
- 2026-11-02: add by m2/dev
Formula PF1J8949XB
| URI | m2://inv/PF1J8949XB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomae's formula#2RSR, Formula (statement)
History
- 2026-11-02: add by m2/dev
Alain Connes PF1JC3XFXG
| URI | m2://inv/PF1JC3XFXG |
|---|---|
| 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 Q313590, Alain Connes (unknown). Also nLab Alain Connes, ProofWiki Mathematician:Alain_Connes
- wikipedia: Wikipedia Alain Connes, Alain Connes (topic). Also Wikidata Q313590
History
- 2026-10-26: add by m2/dev
List of things named after John Milnor PF1QDSW5QB
| URI | m2://inv/PF1QDSW5QB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#XBXG, List of things named after John Milnor (unknown)
History
- 2026-11-02: add by m2/dev
maximum principle, plurisubharmonic functions PF223QEQEJ
| URI | m2://inv/PF223QEQEJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.4/maximum-principle-plurisubharmonic-functions, maximum principle, plurisubharmonic functions (concept). In VNMV985MXX, index, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
PF26N3PEKA PF26N3PEKA
| URI | m2://inv/PF26N3PEKA |
|---|---|
| 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.25367#1AWH (statement)
History
- 2026-11-01: add by m2/v0.6.15
PF29C70J30 PF29C70J30
| URI | m2://inv/PF29C70J30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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 2306.00590#9D9W (statement). In D3WTQN2F7B/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
Ernst Leonard Lindelöf PF2DPJXME9
| URI | m2://inv/PF2DPJXME9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#BK2W, Ernst Leonard Lindelöf (topic)
History
- 2026-11-02: add by m2/dev
Definition PF2E0D5T4S
| URI | m2://inv/PF2E0D5T4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frölicher space#5X0Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
PF2RCF3RZ4 PF2RCF3RZ4
| URI | m2://inv/PF2RCF3RZ4 |
|---|---|
| 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 2406.07116#MDHF (statement). In 5B030CB2RK/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.3.6
Weihrauch reducibility PF2X921SER
| URI | m2://inv/PF2X921SER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weihrauch reducibility, Weihrauch reducibility (definition). Also Wikidata Q113039465
History
- 2026-11-02: add by m2/dev
Division algorithm PF329PPHMD
| URI | m2://inv/PF329PPHMD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/6.2.1/division-algorithm, Division algorithm (concept). In Y91XFCEVHQ, index, section 6.2.1
History
- 2026-11-01: add by m2/v0.6.13
John Whitefield Kendrick PF32MMX84M
| URI | m2://inv/PF32MMX84M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#RFUP, John Whitefield Kendrick (topic)
History
- 2026-11-02: add by m2/dev
Examples PF38W11NPR
| URI | m2://inv/PF38W11NPR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lax pair#XDB4, Examples (example)
History
- 2026-11-02: add by m2/dev
PF3QAD270V PF3QAD270V
| URI | m2://inv/PF3QAD270V |
|---|---|
| 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 2208.04502#ER9H (statement). In BT6E9BXXF3/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
PF3RTW2KKQ PF3RTW2KKQ
| URI | m2://inv/PF3RTW2KKQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#proof-4 (proof). In E59CDZA4DP, proof, section 1.3.3
History
- 2026-11-01: add by m2/v0.6.13
Roberta Gottlieb PF3ZWB6J4N
| URI | m2://inv/PF3ZWB6J4N |
|---|---|
| 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#RSSG, Roberta Gottlieb (unknown)
History
- 2026-11-02: add by m2/dev
PF4022XMDD PF4022XMDD
| URI | m2://inv/PF4022XMDD |
|---|---|
| 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#FM9K (statement). In RBQ5FNCVNZ/e1, proposition 8.1
History
- 2026-10-30: add by m2/v0.4.12
Definition PF4CJ801NQ
| URI | m2://inv/PF4CJ801NQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Growth curve (statistics)#RADQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Pedal triangle PF4G7GR5PB
| URI | m2://inv/PF4G7GR5PB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#9IYT, Pedal triangle (definition)
History
- 2026-11-02: add by m2/dev
Kevin Iga PF4HHHAJFK
| URI | m2://inv/PF4HHHAJFK |
|---|---|
| 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 Q59753345, Kevin Iga (unknown). Also nLab Kevin Iga
History
- 2026-10-26: add by m2/dev
Kato's inequality PF4QQYGKKX
| URI | m2://inv/PF4QQYGKKX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kato's inequality, Kato's inequality (statement). Also Wikidata Q117307583
History
- 2026-11-02: add by m2/dev
PF4WGCW0EY PF4WGCW0EY
| URI | m2://inv/PF4WGCW0EY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#71A2 (statement). In KZ71GXT2B0/e1, lemma 6.17
History
- 2026-10-28: add by m2/v0.4.2
PF4XEMRN5Z PF4XEMRN5Z
| URI | m2://inv/PF4XEMRN5Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19285#HJGR (definition). In 6DJR9DKY5W/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
Exact insertion index PF525NNZ55
| URI | m2://inv/PF525NNZ55 |
|---|---|
| Kind | definition |
| 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 2609.37704#UVSQ, Exact insertion index (definition). In HGTFJ325A4/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Five Houses and Lower LaHave PF544Q7NBY
| URI | m2://inv/PF544Q7NBY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MCGZ, Five Houses and Lower LaHave (unknown)
History
- 2026-11-02: add by m2/dev
Examples PF54HY66RJ
| URI | m2://inv/PF54HY66RJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turing completeness#G1IL, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples PF57Y9DZER
| URI | m2://inv/PF57Y9DZER |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CAT(0) group#Z322, Examples (example)
History
- 2026-11-02: add by m2/dev
Harper PF5CV1EAM7
| URI | m2://inv/PF5CV1EAM7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#EO70, Harper (statement)
History
- 2026-11-01: add by m2/v0.6.15
PF5FDH4SHW PF5FDH4SHW
| URI | m2://inv/PF5FDH4SHW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#4BRI (definition). In BSWNH3NW1M/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.0
PF5GSAH8D8 PF5GSAH8D8
| URI | m2://inv/PF5GSAH8D8 |
|---|---|
| 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.23287#QN5Q (statement)
History
- 2026-11-02: add by m2/v0.6.17
Barnes lemmas PF5HKZSG8G
| URI | m2://inv/PF5HKZSG8G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barnes integral#CSVH, Barnes lemmas (statement)
History
- 2026-11-02: add by m2/dev
Compound of two great retrosnub icosidodecahedra PF5QNFRV7F
| URI | m2://inv/PF5QNFRV7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#TTIA, Compound of two great retrosnub icosidodecahedra (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#PKJ2, Compound of two great retrosnub icosidodecahedra (definition)
History
- 2026-11-02: add by m2/dev
PF5TCA9Y38 PF5TCA9Y38
| URI | m2://inv/PF5TCA9Y38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19455#2EFD (statement). In CBF6TQS4DW/e1, proposition 1.12
History
- 2026-10-28: add by m2/v0.4.2
Faddeev-Popov procedure PF5VYKK032
| URI | m2://inv/PF5VYKK032 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faddeev–Popov ghost#WZT2, Faddeev-Popov procedure (unknown)
History
- 2026-11-02: add by m2/dev
PF5ZBQRCSY PF5ZBQRCSY
| URI | m2://inv/PF5ZBQRCSY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#QV9V (statement). In QHFP0837Q8/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
Limit formula for higher-order poles PF5ZTG90BE
| URI | m2://inv/PF5ZTG90BE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residue (complex analysis)#COBC, Limit formula for higher-order poles (statement)
History
- 2026-11-02: add by m2/dev
type, small PF6AFGP1Q3
| URI | m2://inv/PF6AFGP1Q3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u3/type-small, type, small (concept). In N54F33XE07, index, section u1.u3
History
- 2026-11-01: add by m2/v0.6.13
PF6GXQ2VHM PF6GXQ2VHM
| URI | m2://inv/PF6GXQ2VHM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#HCH8 (statement). In X47RYAZF8P/e1, lemma 5.18
History
- 2026-10-28: add by m2/v0.4.2
Srinivasacharya Raghavan PF6GXZXS0T
| URI | m2://inv/PF6GXZXS0T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Srinivasacharya Raghavan, Srinivasacharya Raghavan (topic). Also Wikidata Q7586458
History
- 2026-11-02: add by m2/dev
PF6JB7Q7TY PF6JB7Q7TY
| URI | m2://inv/PF6JB7Q7TY |
|---|---|
| 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.31604#X97G (statement). In GSN5YTQS2K/e1, lemma 1.26
History
- 2026-10-31: add by m2/v0.5.6
Properties PF6VCDJYCX
| URI | m2://inv/PF6VCDJYCX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symplectic matrix#DJ4P, Properties (statement)
History
- 2026-11-02: add by m2/dev
PF6WFRT3BR PF6WFRT3BR
| URI | m2://inv/PF6WFRT3BR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.10964#DZUE (statement). In 16KVMD76PZ/e1, theorem 3.6
History
- 2026-10-28: add by m2/v0.4.3
PF7680VY6Z PF7680VY6Z
| URI | m2://inv/PF7680VY6Z |
|---|---|
| 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.30663#RYLF (statement). In 3JZDKWS8NK/e1, lemma 6.2
History
- 2026-10-31: add by m2/v0.5.6
Logarithmic-prefix functional PF78VG93HF
| URI | m2://inv/PF78VG93HF |
|---|---|
| Kind | definition |
| 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 2610.13658#82IV, Logarithmic-prefix functional (definition). In R9BC934K3E/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
General lower bound PF7PGJDQ5J
| URI | m2://inv/PF7PGJDQ5J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-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.24131#YYP7, General lower bound (statement)
History
- 2026-11-02: add by m2/v0.6.17
Pontryagin duality PF7Q1PW6WF
| URI | m2://inv/PF7Q1PW6WF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1632419, Pontryagin duality (statement). Also MathWorld PontryaginDuality, nLab Pontryagin duality
- wikipedia: Wikipedia Pontryagin duality, Pontryagin duality (definition). Also Wikidata Q1632419
History
- 2026-10-26: add by m2/dev
Eisenstein triple PF7Q569XNN
| URI | m2://inv/PF7Q569XNN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eisenstein triple, Eisenstein triple (definition). Also Wikidata Q17008946
History
- 2026-11-02: add by m2/dev
PF7TY0FQ50 PF7TY0FQ50
| URI | m2://inv/PF7TY0FQ50 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-ax.tex#ex-1 (example). In PKGMM3P5QY, ex, section 27.5
History
- 2026-11-01: add by m2/v0.6.13
Representations PF7YMWWBBS
| URI | m2://inv/PF7YMWWBBS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical formulation of quantum mechanics#ZLDO, Representations (definition)
History
- 2026-11-02: add by m2/dev
quantum master equation PF83K0XP6D
| URI | m2://inv/PF83K0XP6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18389871, quantum master equation (unknown). Also nLab quantum master equation
- wikipedia: Wikipedia Quantum master equation, Quantum master equation (definition). Also Wikidata Q18389871
History
- 2026-10-26: add by m2/dev
Hidden message PF87ZXB594
| URI | m2://inv/PF87ZXB594 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hidden message, Hidden message (definition). Also Wikidata Q16252144
History
- 2026-11-02: add by m2/dev
Gallai's Theorem PF88FP2VKJ
| URI | m2://inv/PF88FP2VKJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#KV2K, Gallai's Theorem (statement). In BSWNH3NW1M/e1, theorem 5.5
History
- 2026-10-27: add by m2/v0.4.0
PF8DWWX8K8 PF8DWWX8K8
| URI | m2://inv/PF8DWWX8K8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
PF8SG1VSSP PF8SG1VSSP
| URI | m2://inv/PF8SG1VSSP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#1HDX (statement). In 1QSCT53ZED/e1, corollary 7.18
History
- 2026-10-27: add by m2/v0.4.0
Use PF9771N0ZJ
| URI | m2://inv/PF9771N0ZJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric topology (object)#E1WS, Use (example)
History
- 2026-11-02: add by m2/dev
Riemann-Roch theorem for surfaces PF9BPP16PF
| URI | m2://inv/PF9BPP16PF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic surface#O3G3, Riemann-Roch theorem for surfaces (statement)
History
- 2026-11-02: add by m2/dev
Definition PF9DRV3FZ5
| URI | m2://inv/PF9DRV3FZ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit in the last place#9PUB, Definition (definition)
History
- 2026-11-02: add by m2/dev
trichotomy law PF9ETK3GJ1
| URI | m2://inv/PF9ETK3GJ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2713184, trichotomy law (unknown). Also MathWorld TrichotomyLaw
- wikipedia: Wikipedia Law of trichotomy, Law of trichotomy (statement). Also Wikidata Q2713184
History
- 2026-10-26: add by m2/dev
Mary Clem PF9FPYS5V9
| URI | m2://inv/PF9FPYS5V9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Clem, Mary Clem (topic). Also Wikidata Q101206348
History
- 2026-11-02: add by m2/dev
Pogorelov's theorem PF9GMPQF4X
| URI | m2://inv/PF9GMPQF4X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's fourth problem#3BH2, Pogorelov's theorem (statement)
History
- 2026-11-02: add by m2/dev
Joan Moschovakis PF9HFMFJE3
| URI | m2://inv/PF9HFMFJE3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joan Moschovakis, Joan Moschovakis (topic). Also Wikidata Q20934537
History
- 2026-11-02: add by m2/dev
PF9RRH3PW3 PF9RRH3PW3
| URI | m2://inv/PF9RRH3PW3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29918#HE9E (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition PF9WT718FJ
| URI | m2://inv/PF9WT718FJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modularity (networks)#686I, Definition (definition)
History
- 2026-11-02: add by m2/dev
PF9XDGM77D PF9XDGM77D
| URI | m2://inv/PF9XDGM77D |
|---|---|
| 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 2204.01073#Q63S (statement). In W4TYN4PGE8/e1, lemma 2.59
History
- 2026-10-27: add by m2/v0.3.5
Moesia Secunda PF9YK30YZD
| URI | m2://inv/PF9YK30YZD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#V7BX, Moesia Secunda (unknown)
History
- 2026-11-02: add by m2/dev
890 (number) PF9YT1KQ4R
| URI | m2://inv/PF9YT1KQ4R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 800 (number)#PV97, 890 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Cauchy completeness PFA3QNB4N4
| URI | m2://inv/PFA3QNB4N4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#Z06Y, Cauchy completeness (definition)
History
- 2026-11-02: add by m2/dev
Michela Redivo-Zaglia PFBAMZWN2A
| URI | m2://inv/PFBAMZWN2A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michela Redivo-Zaglia, Michela Redivo-Zaglia (topic). Also Wikidata Q110607261
History
- 2026-11-02: add by m2/dev
PFBCBH0GM2 PFBCBH0GM2
| URI | m2://inv/PFBCBH0GM2 |
|---|---|
| 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 2610.20386#E68Y (statement). In 4WC4V49KAC/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.4.2
More estimates on the perturbative operator PFBCRJ389Z
| URI | m2://inv/PFBCRJ389Z |
|---|---|
| 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.22513#5UQS, More estimates on the perturbative operator (statement)
History
- 2026-11-02: add by m2/v0.6.17
PFBG9DP9DF PFBG9DP9DF
| URI | m2://inv/PFBG9DP9DF |
|---|---|
| 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.25269#ALCE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Minimal surface PFBJTM4W1D
| URI | m2://inv/PFBJTM4W1D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#P1BV, Minimal surface (definition)
- wikipedia: Wikipedia List of variational topics#PPSF, Minimal surface (definition)
History
- 2026-11-02: add by m2/dev
Statement of the theorem PFCET2SPT9
| URI | m2://inv/PFCET2SPT9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz–Thorin theorem#UPWT, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
PFCFXHJV65 PFCFXHJV65
| URI | m2://inv/PFCFXHJV65 |
|---|---|
| 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#7AV8 (definition). In Q70CTMCJTP/e1, definition 3.18
History
- 2026-10-27: add by m2/v0.3.5
PFCQSXFQ9Y PFCQSXFQ9Y
| URI | m2://inv/PFCQSXFQ9Y |
|---|---|
| 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.33027#630X (statement). In E2AF84709B/e1, theorem B
History
- 2026-10-31: add by m2/v0.5.6
PFCX1X5R1C PFCX1X5R1C
| URI | m2://inv/PFCX1X5R1C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-30 (exercise). In E9HS8K3A52, exercise, section 10.3.1
History
- 2026-11-01: add by m2/v0.6.13
Unrestricted algorithm PFCYF60Z9S
| URI | m2://inv/PFCYF60Z9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unrestricted algorithm, Unrestricted algorithm (definition). Also Wikidata Q30674308
History
- 2026-11-02: add by m2/dev
cardinality PFCYMFCRNV
| URI | m2://inv/PFCYMFCRNV |
|---|---|
| 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 2609.39511#DZDH, cardinality (statement). In 6W9H24A378/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
universal, property, of $\Sn^n$ PFCYXAQ8HF
| URI | m2://inv/PFCYXAQ8HF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.5/universal-property-of-sn-n, universal, property, of $\Sn^n$ (concept). In N54F33XE07, index, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
Reinhardt's conjecture PFCZWH9H00
| URI | m2://inv/PFCZWH9H00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#YP2Q, Reinhardt's conjecture (definition)
History
- 2026-11-02: add by m2/dev
Method of the moving frame PFD4V6M9CZ
| URI | m2://inv/PFD4V6M9CZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moving frame#ECWS, Method of the moving frame (definition)
History
- 2026-11-02: add by m2/dev
Generalizations PFD87KQ8M1
| URI | m2://inv/PFD87KQ8M1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gregory coefficients#OH5B, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
PFD99KJT5K PFD99KJT5K
| URI | m2://inv/PFD99KJT5K |
|---|---|
| Kind | example |
| 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.29878#BXQJ (example)
History
- 2026-11-01: add by m2/v0.6.15
PFDCF9G656 PFDCF9G656
| URI | m2://inv/PFDCF9G656 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 26-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22407#8LGY (problem)
History
- 2026-11-02: add by m2/v0.6.17
Corollary PFE1RFJH73
| URI | m2://inv/PFE1RFJH73 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial interpolation#BRG8, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Countably additive companion PFE5H28B6Q
| URI | m2://inv/PFE5H28B6Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20683#2G4B, Countably additive companion (statement)
History
- 2026-11-02: add by m2/v0.6.18
PFEPRWQ8CP PFEPRWQ8CP
| URI | m2://inv/PFEPRWQ8CP |
|---|---|
| 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 2401.15490#KM8G (statement). In AAY60GVERS/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
PFET7KYNYY PFET7KYNYY
| URI | m2://inv/PFET7KYNYY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#TYKH (statement)
History
- 2026-11-01: add by m2/v0.6.15
PFEZEDQ3FG PFEZEDQ3FG
| URI | m2://inv/PFEZEDQ3FG |
|---|---|
| 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.18632#ONHG (statement). In PTM5MVD4M0/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
PFEZSS5KPK PFEZSS5KPK
| URI | m2://inv/PFEZSS5KPK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/theories-computability/q-is-ce.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 30.14
History
- 2026-11-01: add by m2/v0.6.13
PFF3YQ8CCV PFF3YQ8CCV
| URI | m2://inv/PFF3YQ8CCV |
|---|---|
| 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#3WYI (statement). In PG0B4PH9YH/e1, fact 2.3
History
- 2026-10-27: add by m2/v0.4.2
Example PFF46XBWQR
| URI | m2://inv/PFF46XBWQR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chomsky normal form#Q07S, Example (example)
History
- 2026-11-02: add by m2/dev
PFFBTC6EBA PFFBTC6EBA
| URI | m2://inv/PFFBTC6EBA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#proof-1 (proof). In RZP28ERRZV, proof, section 22.2
History
- 2026-11-01: add by m2/v0.6.13
Hyperparameter (Bayesian statistics) PFFKHC31E1
| URI | m2://inv/PFFKHC31E1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#C9XD, Hyperparameter (Bayesian statistics) (definition)
History
- 2026-11-02: add by m2/dev
specialization (pre)order PFFKRJDZ0Q
| URI | m2://inv/PFFKRJDZ0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Specialization preorder CMYVK9CEKZ |
Mentions
- wikidata: Wikidata Q5569420, specialization (pre)order (unknown). Also EoM Specialization_of_a_point, nLab specialization order
- wikipedia: Wikipedia Specialization preorder, Specialization preorder (definition). Also Wikidata Q5569420
History
- 2026-10-26: add by m2/dev
program PFFR1AHS14
| URI | m2://inv/PFFR1AHS14 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4303335, program (unknown). Also MathWorld Program
History
- 2026-10-26: add by m2/dev
PFFR601CTZ PFFR601CTZ
| URI | m2://inv/PFFR601CTZ |
|---|---|
| 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.16339#TECH (statement). In ER5EH4W919/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
PFFZJ26X4F PFFZJ26X4F
| URI | m2://inv/PFFZJ26X4F |
|---|---|
| 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#J7AJ (statement). In PX8D91DQCX/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Index (physical sciences) PFGABEDTC9
| URI | m2://inv/PFGABEDTC9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ratio#A55C, Index (physical sciences) (unknown)
History
- 2026-11-02: add by m2/dev
PFGCET5T5K PFGCET5T5K
| URI | m2://inv/PFGCET5T5K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#D5I4 (statement). In REDG6QVHM3/e1, lemma 6.6
History
- 2026-10-29: add by m2/v0.4.12
up set PFGDG9A4N9
| URI | m2://inv/PFGDG9A4N9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.3/up-set, up set (concept). In QKM9DD2H56, index, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Perpetual motion PFGFGEQTV5
| URI | m2://inv/PFGFGEQTV5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perpetual motion, Perpetual motion (definition). Also Wikidata Q12623
History
- 2026-11-02: add by m2/dev
PFGTNGVW5H PFGTNGVW5H
| URI | m2://inv/PFGTNGVW5H |
|---|---|
| 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.03437#B97H (statement). In EDTV1EDV7M/e1, theorem 2.6
History
- 2026-10-29: add by m2/v0.4.12
Branch (descriptive set theory) PFGTNSKK51
| URI | m2://inv/PFGTNSKK51 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tree (descriptive set theory)#F4GG, Branch (descriptive set theory) (unknown)
History
- 2026-11-02: add by m2/dev
Theodore Wilbur Anderson PFGXXE2MCD
| URI | m2://inv/PFGXXE2MCD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theodore Wilbur Anderson, Theodore Wilbur Anderson (topic). Also Wikidata Q1527954
History
- 2026-11-02: add by m2/dev
Properties PFGYQN2HWK
| URI | m2://inv/PFGYQN2HWK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dodecagonal number#1LP2, Properties (statement)
History
- 2026-11-02: add by m2/dev
Changing criterion design PFH2DAF0HT
| URI | m2://inv/PFH2DAF0HT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Single-subject design#ODO7, Changing criterion design (statement)
History
- 2026-11-02: add by m2/dev
Shannon multigraph PFH423HVHN
| URI | m2://inv/PFH423HVHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shannon multigraph, Shannon multigraph (definition). Also Wikidata Q1390132
History
- 2026-11-02: add by m2/dev
even permutation PFH9829RX1
| URI | m2://inv/PFH9829RX1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78485892, even permutation (unknown). Also MathWorld EvenPermutation
History
- 2026-10-26: add by m2/dev
Jacobian of projection to the river PFHA1RV9B7
| URI | m2://inv/PFHA1RV9B7 |
|---|---|
| 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.30957#AQFC, Jacobian of projection to the river (statement). In P5YB6R0RK3/e1, lemma D.10
History
- 2026-10-31: add by m2/v0.5.6
Permutation pattern PFHAWJS7YN
| URI | m2://inv/PFHAWJS7YN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#1FH0, Permutation pattern (definition)
History
- 2026-11-02: add by m2/dev
PFHJ2JFVGZ PFHJ2JFVGZ
| URI | m2://inv/PFHJ2JFVGZ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fáry's theorem#3H96 (problem)
History
- 2026-11-02: add by m2/dev
augmented truncated tetrahedron PFHJ88HK4S
| URI | m2://inv/PFHJ88HK4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2402112, augmented truncated tetrahedron (object). Also MathWorld AugmentedTruncatedTetrahedron
- wikipedia: Wikipedia Augmented truncated tetrahedron, Augmented truncated tetrahedron (definition). Also Wikidata Q2402112
History
- 2026-10-26: add by m2/dev
PFHKV130JB PFHKV130JB
| URI | m2://inv/PFHKV130JB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.03745#T1QI (statement). In YWXVX6AX8F/e1, lemma 8.1
History
- 2026-10-29: add by m2/v0.4.12
Construction PFHVAS112J
| URI | m2://inv/PFHVAS112J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apollonian gasket#MZ3F, Construction (definition)
History
- 2026-11-02: add by m2/dev
PFHY65HA5V PFHY65HA5V
| URI | m2://inv/PFHY65HA5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/natural-deduction/rules-proofs.tex#defn:proof (definition). In PKGMM3P5QY, defn, section 58.2
History
- 2026-11-01: add by m2/v0.6.13
PFJ4Q99Y75 PFJ4Q99Y75
| URI | m2://inv/PFJ4Q99Y75 |
|---|---|
| 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#6FJL (statement). In VQ0K2GV62A/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
PFJ7A1EQ9Y PFJ7A1EQ9Y
| URI | m2://inv/PFJ7A1EQ9Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#8C7D (statement). In RK0ZMDJ23T/e1, lemma 2.1.9
History
- 2026-10-31: add by m2/v0.5.6
PFJ7EW3XGW PFJ7EW3XGW
| URI | m2://inv/PFJ7EW3XGW |
|---|---|
| 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.01354#WYVD (definition). In BWD76W20W8/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.12
Equal breaks: distinct kernels PFJ8ZTXJTW
| URI | m2://inv/PFJ8ZTXJTW |
|---|---|
| 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.30301#KEEO, Equal breaks: distinct kernels (statement). In 7NS75J7HAM/e1, proposition 9.40
History
- 2026-10-31: add by m2/v0.5.6
PFJ9GQ112Q PFJ9GQ112Q
| URI | m2://inv/PFJ9GQ112Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.39317#GZYP (statement). In QM1T8JDK4A/e1, lemma 6.20
History
- 2026-10-30: add by m2/v0.4.12
Definition PFJHQP3M2B
| URI | m2://inv/PFJHQP3M2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signed distance function#AF1Y, Definition (definition)
History
- 2026-11-02: add by m2/dev
PFJHRTQDDD PFJHRTQDDD
| URI | m2://inv/PFJHRTQDDD |
|---|---|
| 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.00625#AZD6 (statement). In BGA625B7W1/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Heinrich Bruns PFJYHEZG2X
| URI | m2://inv/PFJYHEZG2X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#3QDE, Heinrich Bruns (topic)
History
- 2026-11-02: add by m2/dev
Phillip Rogaway PFK242MGKH
| URI | m2://inv/PFK242MGKH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#TD2G, Phillip Rogaway (unknown)
History
- 2026-11-02: add by m2/dev
PFK56FCMM8 PFK56FCMM8
| URI | m2://inv/PFK56FCMM8 |
|---|---|
| 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.22528#7471 (statement)
History
- 2026-11-02: add by m2/v0.6.17
No greatest element in type $E_8$ PFK5YQ3H9V
| URI | m2://inv/PFK5YQ3H9V |
|---|---|
| Kind | example |
| 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.16931#C79W, No greatest element in type $E_8$ (example). In H7DMRWBBJN/e1, example 9.2
History
- 2026-10-28: add by m2/v0.4.2
Icositetragon PFKF4SDZZN
| URI | m2://inv/PFKF4SDZZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#QB3D, Icositetragon (definition)
History
- 2026-11-02: add by m2/dev
Mount Tvitoppen PFKHR5W10W
| URI | m2://inv/PFKHR5W10W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#89YG, Mount Tvitoppen (unknown)
History
- 2026-11-02: add by m2/dev
PFKHRWX1E7 PFKHRWX1E7
| URI | m2://inv/PFKHRWX1E7 |
|---|---|
| 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.04673#OAU6 (statement). In KKC0CT44FJ/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.12
PFKNGXNE65 PFKNGXNE65
| URI | m2://inv/PFKNGXNE65 |
|---|---|
| Kind | statement |
| 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 2610.11048#AF5T (statement). In H6TK4V0YVQ/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.3
PFKQVGVCA8 PFKQVGVCA8
| URI | m2://inv/PFKQVGVCA8 |
|---|---|
| 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 2605.30679#01KG (statement). In Z31GMHMG7B/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Masahito Hasegawa PFKWD5T5SN
| URI | m2://inv/PFKWD5T5SN |
|---|---|
| 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 Q93944812, Masahito Hasegawa (unknown). Also nLab Masahito Hasegawa
History
- 2026-10-26: add by m2/dev
Scalene Triangle PFM0S7W29M
| URI | m2://inv/PFM0S7W29M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangle#9N26, Scalene Triangle (unknown)
History
- 2026-11-02: add by m2/dev
PFM1S45V4P PFM1S45V4P
| URI | m2://inv/PFM1S45V4P |
|---|---|
| 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 2210.01497#HECX (statement). In QAKFAHRC8Z/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
Definitions PFM42WSQP0
| URI | m2://inv/PFM42WSQP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia False discovery rate#KJA1, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Artificial intelligence content detection PFM70KFJZJ
| URI | m2://inv/PFM70KFJZJ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artificial intelligence content detection, Artificial intelligence content detection (conjecture). Also Wikidata Q120883091
History
- 2026-11-02: add by m2/dev
Real numbers PFMMY8HZD6
| URI | m2://inv/PFMMY8HZD6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#QA0F, Real numbers (definition)
History
- 2026-11-02: add by m2/dev
Freddy Delbaen PFMS15NKPG
| URI | m2://inv/PFMS15NKPG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freddy Delbaen, Freddy Delbaen (topic). Also Wikidata Q102076828
History
- 2026-11-02: add by m2/dev
PFMSE37J4V PFMSE37J4V
| URI | m2://inv/PFMSE37J4V |
|---|---|
| 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.16877#3N66 (statement). In YY4KFNMPC0/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
PFMTEEJ7CK PFMTEEJ7CK
| URI | m2://inv/PFMTEEJ7CK |
|---|---|
| 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.22090#MQHV (statement). In NKJWGF050C/e1, lemma 2.11
History
- 2026-10-27: add by m2/v0.4.0
PFMWVMCXRE PFMWVMCXRE
| URI | m2://inv/PFMWVMCXRE |
|---|---|
| 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 2508.17181#K2FA (statement). In 2QR18WK8KH/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.6
List of things named after Thomas Bayes PFMXQHXADZ
| URI | m2://inv/PFMXQHXADZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Thomas Bayes, List of things named after Thomas Bayes (topic). Also Wikidata Q6643312
History
- 2026-11-02: add by m2/dev
PFN7B9ZKMR PFN7B9ZKMR
| URI | m2://inv/PFN7B9ZKMR |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-17 (proof). In N54F33XE07, proof, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
PFN7SPA259 PFN7SPA259
| URI | m2://inv/PFN7SPA259 |
|---|---|
| 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.33771#X2UM (statement). In ZXQA7QH0H0/e1, theorem 4.25
History
- 2026-10-30: add by m2/v0.4.12
PFN9A3T55N PFN9A3T55N
| URI | m2://inv/PFN9A3T55N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_kitchensink_extremal-set-theory.ptx#exa_Sperner (example). In QKM9DD2H56, example, section 16.2
History
- 2026-11-01: add by m2/v0.6.13
PFN9PBVF3C PFN9PBVF3C
| URI | m2://inv/PFN9PBVF3C |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19449#0JRW (example). In 8ZKPJ3CBDF/e1, example 4.6
History
- 2026-10-28: add by m2/v0.4.2
PFNFCMNXWX PFNFCMNXWX
| URI | m2://inv/PFNFCMNXWX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24577#XQG7 (example)
History
- 2026-11-01: add by m2/v0.6.15
Hagen-Poiseuille flow from the Navier-Stokes equations PFNP35RTDK
| URI | m2://inv/PFNP35RTDK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hagen–Poiseuille equation#B2ZU, Hagen-Poiseuille flow from the Navier-Stokes equations (unknown)
History
- 2026-11-02: add by m2/dev
2D geometric model PFNZK4PN61
| URI | m2://inv/PFNZK4PN61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2D geometric model, 2D geometric model (definition). Also Wikidata Q4633094
History
- 2026-11-02: add by m2/dev
PFP12DQ31H PFP12DQ31H
| URI | m2://inv/PFP12DQ31H |
|---|---|
| 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.19959#O2KX (statement)
History
- 2026-11-02: add by m2/v0.6.18
PFP47FW679 PFP47FW679
| URI | m2://inv/PFP47FW679 |
|---|---|
| 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.20170#969C (statement)
History
- 2026-11-02: add by m2/v0.6.18
PFP5C9M94Q PFP5C9M94Q
| URI | m2://inv/PFP5C9M94Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#0K3F (definition). In REDG6QVHM3/e1, definition 8.1
History
- 2026-10-29: add by m2/v0.4.12
Bolzano's theorem PFP6NSN3PJ
| URI | m2://inv/PFP6NSN3PJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/2.3.2/bolzano-s-theorem, Bolzano's theorem (concept). In E59CDZA4DP, index, section 2.3.2
History
- 2026-11-01: add by m2/v0.6.13
Puig subgroup PFPBYH8XP4
| URI | m2://inv/PFPBYH8XP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Puig subgroup, Puig subgroup (definition). Also Wikidata Q7259034
History
- 2026-11-02: add by m2/dev
Acta Eruditorum PFPFGY1H2J
| URI | m2://inv/PFPFGY1H2J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q343161, Acta Eruditorum (unknown). Also ProofWiki Book:Journal/Acta_Eruditorum
History
- 2026-10-26: add by m2/dev
PFPPW8N8M4 PFPPW8N8M4
| URI | m2://inv/PFPPW8N8M4 |
|---|---|
| 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 2609.37747#R1L2 (statement). In GEYDNVZEP7/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Smooth hypersurface PFPSBEBQK6
| URI | m2://inv/PFPSBEBQK6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypersurface#KU2X, Smooth hypersurface (unknown)
History
- 2026-11-02: add by m2/dev
Emptiness problem PFPSS71ZY6
| URI | m2://inv/PFPSS71ZY6 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#DHH6, Emptiness problem (problem)
History
- 2026-11-02: add by m2/dev
Helmholtz decomposition PFPY4T0EG8
| URI | m2://inv/PFPY4T0EG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1153588, Helmholtz decomposition (statement). Also MathWorld HelmholtzsTheorem, ProofWiki Helmholtz's_Theorem
- wikipedia: Wikipedia Helmholtz decomposition, Helmholtz decomposition (definition). Also Wikidata Q1153588
History
- 2026-10-26: add by m2/dev
Selberg's identity PFPY6RMW1E
| URI | m2://inv/PFPY6RMW1E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selberg's identity, Selberg's identity (statement). Also Wikidata Q20752005
History
- 2026-11-02: add by m2/dev
Privacy caps the signed loss difference of every pair PFQ59P78XQ
| URI | m2://inv/PFQ59P78XQ |
|---|---|
| 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.09206#THR3, Privacy caps the signed loss difference of every pair (statement). In T7R1Q29DQK/e1, proposition F.2
History
- 2026-10-29: add by m2/v0.4.10
PFQAA6FC6V PFQAA6FC6V
| URI | m2://inv/PFQAA6FC6V |
|---|---|
| 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.39700#W15N (statement). In E7W2HDNEKJ/e1, lemma H.16
History
- 2026-10-30: add by m2/v0.4.12
Hamiltonian group PFQCPNB9TK
| URI | m2://inv/PFQCPNB9TK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1573561, Hamiltonian group (definition). Also MathWorld HamiltonianGroup, ProofWiki Definition:Hamiltonian_Group
History
- 2026-10-26: add by m2/dev
Backfitting algorithm PFQD77GE5T
| URI | m2://inv/PFQD77GE5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OHCF, Backfitting algorithm (definition)
History
- 2026-11-02: add by m2/dev
PFQMW91G53 PFQMW91G53
| URI | m2://inv/PFQMW91G53 |
|---|---|
| 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.20119#3IVU (definition)
History
- 2026-11-02: add by m2/v0.6.18
PFQNBS7MTT PFQNBS7MTT
| URI | m2://inv/PFQNBS7MTT |
|---|---|
| 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 math/9201244#OTJJ (definition). In 7D3HCN21MK/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
PFR2G0G84Z PFR2G0G84Z
| URI | m2://inv/PFR2G0G84Z |
|---|---|
| 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.28507#J1LK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Del Hoyo--Fernandes, {*{Thm. 1 PFR3403B0Q
| URI | m2://inv/PFR3403B0Q |
|---|---|
| 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.23341#9HI0, Del Hoyo--Fernandes, {*{Thm. 1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
PFRA2G8Y23 PFRA2G8Y23
| URI | m2://inv/PFRA2G8Y23 |
|---|---|
| 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.15217#8PR4 (definition). In G70Q2FB591/e1, definition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Lucas primality test PFRN4CYNHN
| URI | m2://inv/PFRN4CYNHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucas primality test, Lucas primality test (definition). Also Wikidata Q1568194
History
- 2026-11-02: add by m2/dev
Squeeze mapping PFRRARPDXT
| URI | m2://inv/PFRRARPDXT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squeeze mapping, Squeeze mapping (definition). Also Wikidata Q7582218
History
- 2026-11-02: add by m2/dev
Gerd Rudolph PFRWD1G2V2
| URI | m2://inv/PFRWD1G2V2 |
|---|---|
| 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 Q112475035, Gerd Rudolph (unknown). Also ProofWiki Mathematician:Gerd_Rudolph
History
- 2026-10-26: add by m2/dev
quasi-parabolic symplectic bundles PFS2M34V7J
| URI | m2://inv/PFS2M34V7J |
|---|---|
| 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.06458#SXR5, quasi-parabolic symplectic bundles (definition). In 4X93XG8NMD/e1, definition 5.5
History
- 2026-10-29: add by m2/v0.4.10
Geminus PFSFQMHXNM
| URI | m2://inv/PFSFQMHXNM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#TUPW, Geminus (unknown)
History
- 2026-11-02: add by m2/dev
PFT7MSPV4P PFT7MSPV4P
| URI | m2://inv/PFT7MSPV4P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25353#7PPS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uniform factorisation PFT96VFSZ9
| URI | m2://inv/PFT96VFSZ9 |
|---|---|
| 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#LI1L, Uniform factorisation (statement)
History
- 2026-11-01: add by m2/v0.6.15
B. V. Shah PFTA9G9M4N
| URI | m2://inv/PFTA9G9M4N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia B. V. Shah, B. V. Shah (topic). Also Wikidata Q4834241
History
- 2026-11-02: add by m2/dev
PFTDE79J6F PFTDE79J6F
| URI | m2://inv/PFTDE79J6F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13850#4G9A (statement). In KJY735KSMF/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
Orshansky, Mollie PFTE862HXV
| URI | m2://inv/PFTE862HXV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#LIUF, Orshansky, Mollie (unknown)
History
- 2026-11-02: add by m2/dev
foundation axiom PFTJ3BFZBS
| URI | m2://inv/PFTJ3BFZBS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#TGSN, foundation axiom (definition)
History
- 2026-11-02: add by m2/dev
Affine non-malleability implies section decorrelation PFTXC4W3YX
| URI | m2://inv/PFTXC4W3YX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#7VOQ, Affine non-malleability implies section decorrelation (statement). In ZZER8ZBSCR/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
PFTZNP6JFK PFTZNP6JFK
| URI | m2://inv/PFTZNP6JFK |
|---|---|
| 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.24078#JXCJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
extendible cardinal PFV7NC8RWE
| URI | m2://inv/PFV7NC8RWE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5421910, extendible cardinal (unknown). Also nLab extendible cardinal
- wikipedia: Wikipedia Extendible cardinal, Extendible cardinal (definition). Also Wikidata Q5421910
History
- 2026-10-26: add by m2/dev
PFVF81YSME PFVF81YSME
| URI | m2://inv/PFVF81YSME |
|---|---|
| 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.26576#1PLU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties PFVJD4BG79
| URI | m2://inv/PFVJD4BG79 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dense-in-itself#FY78, Properties (statement)
History
- 2026-11-02: add by m2/dev
Myers's theorem PFVWCC525Q
| URI | m2://inv/PFVWCC525Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q929547, Myers theorem (statement). Also Wikidata Q929547
- thousand_plus: thousand_plus Q929547, Myers theorem (statement). Also Wikidata Q929547, Wikipedia Myers theorem
- wikipedia: Wikipedia Myers's theorem, Myers's theorem (statement). Also Wikidata Q929547
History
- 2026-10-26: add by m2/dev
PFVY2A0C77 PFVY2A0C77
| URI | m2://inv/PFVY2A0C77 |
|---|---|
| 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.21322#LTU6 (statement). In CNDA8DBEGD/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
PFVZ5N12BN PFVZ5N12BN
| URI | m2://inv/PFVZ5N12BN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.01868#N5GY (statement). In MQ8S73F6X7/e1, proposition 6
History
- 2026-10-27: add by m2/v0.3.6
PFW4T6RZD2 PFW4T6RZD2
| URI | m2://inv/PFW4T6RZD2 |
|---|---|
| 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 2609.33469#9XQD (statement). In TC5QA4AB4Z/e1, corollary 4.20
History
- 2026-10-30: add by m2/v0.4.12
Torsional angle PFW7EHMPB2
| URI | m2://inv/PFW7EHMPB2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dihedral angle#WK56, Torsional angle (unknown)
History
- 2026-11-02: add by m2/dev
First International Topological Conference PFW88095ZX
| URI | m2://inv/PFW88095ZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First International Topological Conference, First International Topological Conference (definition). Also Wikidata Q65057116
History
- 2026-11-02: add by m2/dev
septimic PFWCZTK7HN
| URI | m2://inv/PFWCZTK7HN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#6UCV, septimic (definition)
History
- 2026-11-02: add by m2/dev
David Makinson PFWDCJX1B2
| URI | m2://inv/PFWDCJX1B2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8HDH, David Makinson (topic)
History
- 2026-11-02: add by m2/dev
Examples PFWE2TW69E
| URI | m2://inv/PFWE2TW69E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Specialization preorder#QKDW, Examples (example)
History
- 2026-11-02: add by m2/dev
Lucas–Carmichael number PFWME2AZ30
| URI | m2://inv/PFWME2AZ30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q507937, Lucas–Carmichael number (object). Also OEIS A006972
- wikipedia: Wikipedia Lucas–Carmichael number, Lucas–Carmichael number (definition). Also Wikidata Q507937
History
- 2026-10-26: add by m2/dev
PFWTW1YJBJ PFWTW1YJBJ
| URI | m2://inv/PFWTW1YJBJ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nd game#GPNQ (problem)
History
- 2026-11-02: add by m2/dev
Lemma PFWWBHZFT5
| URI | m2://inv/PFWWBHZFT5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zassenhaus lemma#MTRK, Lemma (statement)
History
- 2026-11-02: add by m2/dev
The case $m = 2$ PFX9BZX87T
| URI | m2://inv/PFX9BZX87T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25353#EAO2, The case $m = 2$ (example)
History
- 2026-11-01: add by m2/v0.6.15
PFXANRCAW1 PFXANRCAW1
| URI | m2://inv/PFXANRCAW1 |
|---|---|
| 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 2512.22986#MBBN (statement). In GFP8TEKFBC/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
PFXBTKW6FS PFXBTKW6FS
| URI | m2://inv/PFXBTKW6FS |
|---|---|
| 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 0806.0033#UAXN (statement). In RV34HVZMB3/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
PFXJPV25KZ PFXJPV25KZ
| URI | m2://inv/PFXJPV25KZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#example-6 (example). In E59CDZA4DP, example, section 6.2.3
History
- 2026-11-01: add by m2/v0.6.13
Carleman's inequality PFXJYTHHK5
| URI | m2://inv/PFXJYTHHK5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carleman's inequality, Carleman's inequality (statement). Also Wikidata Q378741
History
- 2026-11-02: add by m2/dev
Sean Keel PFXZGBYBR5
| URI | m2://inv/PFXZGBYBR5 |
|---|---|
| Kind | unknown |
| 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#2U2S, Sean Keel (unknown)
History
- 2026-11-02: add by m2/dev
PFY21B70DG PFY21B70DG
| URI | m2://inv/PFY21B70DG |
|---|---|
| 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.28985#40BF (statement)
History
- 2026-11-01: add by m2/v0.6.15
PFY2W2BTPD PFY2W2BTPD
| URI | m2://inv/PFY2W2BTPD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2609.29567#8GAQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hadamard parametrix construction PFY63QNEEF
| URI | m2://inv/PFY63QNEEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jacques Hadamard#ZVY9, Hadamard parametrix construction (definition)
History
- 2026-11-02: add by m2/dev
Nadia Heninger PFY6BG1FJ5
| URI | m2://inv/PFY6BG1FJ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#N6WH, Nadia Heninger (unknown)
History
- 2026-11-02: add by m2/dev
PFYBQ97ESN PFYBQ97ESN
| URI | m2://inv/PFYBQ97ESN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#13LE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Point-Point-Point Constraint PFYC56PKPY
| URI | m2://inv/PFYC56PKPY |
|---|---|
| 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.24314#4NEN, Point-Point-Point Constraint (statement)
History
- 2026-11-01: add by m2/v0.6.15
Converse PFYFXX41Q8
| URI | m2://inv/PFYFXX41Q8 |
|---|---|
| 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.11960#AYWX, Converse (statement). In 7BB4XJNM9F/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.3
Theorems PFYK7D2RGW
| URI | m2://inv/PFYK7D2RGW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inhabited set#KDCB, Theorems (statement)
History
- 2026-11-02: add by m2/dev
PFYST88M29 PFYST88M29
| URI | m2://inv/PFYST88M29 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-29 (exercise). In E9HS8K3A52, exercise, section 2.3.6
History
- 2026-11-01: add by m2/v0.6.13
PFZ4Z7A0YA PFZ4Z7A0YA
| URI | m2://inv/PFZ4Z7A0YA |
|---|---|
| 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 2610.00312#6J3X (statement). In 41NFABHFXH/e1, theorem 1.6
History
- 2026-10-30: add by m2/v0.4.12
1-based ruler function PFZ6JDD77Y
| URI | m2://inv/PFZ6JDD77Y |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122695881, 1-based ruler function (object). Also OEIS A001511
History
- 2026-10-26: add by m2/dev
French curve PFZGJJCYDE
| URI | m2://inv/PFZGJJCYDE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia French curve, French curve (definition). Also Wikidata Q120470
History
- 2026-11-02: add by m2/dev