Inventory rows P0
The cards of the rows of the inventory whose ids start with P0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
P002VZTVSR P002VZTVSR
| URI | m2://inv/P002VZTVSR |
|---|---|
| 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#L8E2 (statement). In E7W2HDNEKJ/e1, lemma 4.30
History
- 2026-10-30: add by m2/v0.4.12
use P004EM26T0
| URI | m2://inv/P004EM26T0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#IHBG, use (definition)
History
- 2026-11-02: add by m2/dev
rocket science P0088SH4C3
| URI | m2://inv/P0088SH4C3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1446961, rocket science (definition). Also ProofWiki Definition:Rocket_Science
History
- 2026-10-26: add by m2/dev
Reduction of Order P008DHY7ZX
| URI | m2://inv/P008DHY7ZX |
|---|---|
| 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 1001.3429#SJKA, Reduction of Order (statement). In 6S4BVGS1VP/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Identifiability under uniform participation P00ENW6A24
| URI | m2://inv/P00ENW6A24 |
|---|---|
| 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.04671#R7QU, Identifiability under uniform participation (statement). In BYP65TRGDT/e1, proposition 5.26
History
- 2026-10-29: add by m2/v0.4.12
unfurling P00GKYY49B
| URI | m2://inv/P00GKYY49B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 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.37520#J11O, unfurling (definition). In BDN507RN7J/e1, definition 3.1.6
History
- 2026-10-30: add by m2/v0.4.12
Principle of Complete Mathematical Induction P00GWVDPZ0
| URI | m2://inv/P00GWVDPZ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompleteInduction.tex#theorem-1, Principle of Complete Mathematical Induction (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
P00PAMZQ4Q P00PAMZQ4Q
| URI | m2://inv/P00PAMZQ4Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_intro.ptx#exa_inclusion-exclusion_prop-derange (example). In QKM9DD2H56, example, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
Infinite-family alternative P00QG7SRG8
| URI | m2://inv/P00QG7SRG8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.12497#ISQ5, Infinite-family alternative (statement). In Z0SAF18JPP/e1, theorem 1.6
History
- 2026-10-28: add by m2/v0.4.2
Natural frequency P00RAMRYAG
| URI | m2://inv/P00RAMRYAG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural frequency (statistics), Natural frequency (definition). Also Wikidata Q135927637
History
- 2026-11-02: add by m2/dev
$S$--$T$ Network reliability P00SB19J8F
| URI | m2://inv/P00SB19J8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06724#4E9E, $S$--$T$ Network reliability (statement). In W5XG3PGVF1/e1, corollary C.10
History
- 2026-10-29: add by m2/v0.4.10
P00SKBGXVK P00SKBGXVK
| URI | m2://inv/P00SKBGXVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21536#LP1G (statement). In NBQK8HJSNY/e1, proposition 4
History
- 2026-10-27: add by m2/v0.4.2
Hyperfactorial P00ZAW1FFN
| URI | m2://inv/P00ZAW1FFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#WBMU, Hyperfactorial (definition)
History
- 2026-11-02: add by m2/dev
Generalizations P014MX88DN
| URI | m2://inv/P014MX88DN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvester's law of inertia#6ZHG, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
P017SMXE6E P017SMXE6E
| URI | m2://inv/P017SMXE6E |
|---|---|
| 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.39726#7P6F (statement). In 4CTC8A57SD/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
P017STHPCC P017STHPCC
| URI | m2://inv/P017STHPCC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#87AJ (example). In 9NVKKW8HDH/e1, example 3.16
History
- 2026-10-28: add by m2/v0.4.2
P01HV6NNE7 P01HV6NNE7
| URI | m2://inv/P01HV6NNE7 |
|---|---|
| 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.02893#B0KY (statement). In DQ9TAGM5XP/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
Dantzig, David van P01J37VVAC
| URI | m2://inv/P01J37VVAC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#0B0J, Dantzig, David van (topic)
History
- 2026-11-02: add by m2/dev
derangement P01RAHEPCA
| URI | m2://inv/P01RAHEPCA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/7.4/derangement, derangement (concept). In QKM9DD2H56, index, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
P01SVMTQY4 P01SVMTQY4
| URI | m2://inv/P01SVMTQY4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/EquivalenceRelations.tex#prob:made up (exercise). In P1C114YBXG, problem, section A
History
- 2026-11-01: add by m2/v0.6.13
Edward Jan Habich P01VZQRF00
| URI | m2://inv/P01VZQRF00 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Jan Habich, Edward Jan Habich (topic). Also Wikidata Q5343739
History
- 2026-11-02: add by m2/dev
Formulas P01WGP6BAK
| URI | m2://inv/P01WGP6BAK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centered cube number#0E1X, Formulas (statement)
History
- 2026-11-02: add by m2/dev
P01ZT657XB P01ZT657XB
| URI | m2://inv/P01ZT657XB |
|---|---|
| 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 2608.24424#0LB3 (example). In RQHGZ4AA5T/e1, example 2.2
History
- 2026-10-27: add by m2/v0.3.6
P023AT1HH8 P023AT1HH8
| URI | m2://inv/P023AT1HH8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2408.01345#A8R6 (example). In PT5PBPCS3P/e1, example 3.7
History
- 2026-10-27: add by m2/v0.3.5
P0243SEVGM P0243SEVGM
| URI | m2://inv/P0243SEVGM |
|---|---|
| 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#92WG (statement). In KJY735KSMF/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
Bing double P02C7W9023
| URI | m2://inv/P02C7W9023 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bing double, Bing double (definition). Also Wikidata Q128811542
History
- 2026-11-02: add by m2/dev
P02DAGRY39 P02DAGRY39
| URI | m2://inv/P02DAGRY39 |
|---|---|
| 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 2609.33771#7NNG (definition). In ZXQA7QH0H0/e1, definition 4.2
History
- 2026-10-30: add by m2/v0.4.12
P02MYY1P16 P02MYY1P16
| URI | m2://inv/P02MYY1P16 |
|---|---|
| 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.16606#9NEU (statement). In A798V7TX99/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
accidental P031VVHBVN
| URI | m2://inv/P031VVHBVN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#ARJ6, accidental (definition)
History
- 2026-11-02: add by m2/dev
Averaging algebraic heights P037KK91PC
| URI | m2://inv/P037KK91PC |
|---|---|
| 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.18907#K71X, Averaging algebraic heights (statement). In 4SSZ4PF2P2/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
P037T4RXF1 P037T4RXF1
| URI | m2://inv/P037T4RXF1 |
|---|---|
| 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.35030#8IBY (statement). In DPT4P2BTEW/e1, lemma 9.2
History
- 2026-10-30: add by m2/v0.4.12
Olga Rapay-Markish P038FBNRZT
| URI | m2://inv/P038FBNRZT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#6FNM, Olga Rapay-Markish (unknown)
History
- 2026-11-02: add by m2/dev
P03SQN1NHP P03SQN1NHP
| URI | m2://inv/P03SQN1NHP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31127#DH6S (statement). In NS3RZ26JC7/e1, lemma 3
History
- 2026-10-31: add by m2/v0.5.6
P03W2MQSYM P03W2MQSYM
| URI | m2://inv/P03W2MQSYM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.11545#2X9A (statement). In VN084GGZGK/e1, theorem 4.29
History
- 2026-10-28: add by m2/v0.4.3
Jane Pendergast P03X456847
| URI | m2://inv/P03X456847 |
|---|---|
| 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#XYZW, Jane Pendergast (topic)
History
- 2026-11-02: add by m2/dev
magic constant P03XTEB5AY
| URI | m2://inv/P03XTEB5AY |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1993508, magic constant (object). Also MathWorld MagicConstant, OEIS A006003
- wikipedia: Wikipedia Magic constant, Magic constant (object). Also Wikidata Q1993508
History
- 2026-10-26: add by m2/dev
P041K910R7 P041K910R7
| URI | m2://inv/P041K910R7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13980#X86N (statement). In 6DNZE6RT72/e1, corollary 5.1
History
- 2026-10-28: add by m2/v0.4.2
P04DA1QEWK P04DA1QEWK
| URI | m2://inv/P04DA1QEWK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-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.25449#2MRY (statement). In 9JHMTYGWFQ/e1, corollary 10.6
History
- 2026-10-27: add by m2/v0.3.6
P04DDPH2AN P04DDPH2AN
| URI | m2://inv/P04DDPH2AN |
|---|---|
| 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 2607.01109#S9VO (statement). In V35F0T5RQ2/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
P04PTTJHCR P04PTTJHCR
| URI | m2://inv/P04PTTJHCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2004.12552#2LRK (statement). In TWPE10CZ1S/e1, corollary 4.4
History
- 2026-10-27: add by m2/v0.3.5
Contraposition P04T82AHKK
| URI | m2://inv/P04T82AHKK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contraposition, Contraposition (definition). Also Wikidata Q1077442
History
- 2026-11-02: add by m2/dev
Chicken P04X07EA1Z
| URI | m2://inv/P04X07EA1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chicken (game), Chicken (definition). Also Wikidata Q41720
History
- 2026-11-02: add by m2/dev
P04YXJXZJ1 P04YXJXZJ1
| URI | m2://inv/P04YXJXZJ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06081#AVUF (statement). In 7Z3KQRFEVG/e1, proposition 8.4
History
- 2026-10-29: add by m2/v0.4.10
P052RAEVXT P052RAEVXT
| URI | m2://inv/P052RAEVXT |
|---|---|
| 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 2110.08714#I0EV (definition). In A3RAXBSWA5/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
P05535TR0C P05535TR0C
| URI | m2://inv/P05535TR0C |
|---|---|
| Kind | statement |
| 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.13877#A022 (statement). In NBMA6DBKJG/e1, theorem 5.7
History
- 2026-10-28: add by m2/v0.4.2
The Art of Computer Programming P0575RVFJN
| URI | m2://inv/P0575RVFJN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#ZGFS, The Art of Computer Programming (unknown)
History
- 2026-11-02: add by m2/dev
P057B8ZKJD P057B8ZKJD
| URI | m2://inv/P057B8ZKJD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#TSCA (definition). In 46370P3Y9S/e1, definition 6.3
History
- 2026-10-27: add by m2/v0.4.2
Representer theorem for generalized variational splines P05BEPQZRD
| URI | m2://inv/P05BEPQZRD |
|---|---|
| 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.14920#85FJ, Representer theorem for generalized variational splines (statement). In 1F8ENX770M/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
Properties P05CQH95VF
| URI | m2://inv/P05CQH95VF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expected value#WBI9, Properties (statement)
History
- 2026-11-02: add by m2/dev
Applications P05DXPXM1T
| URI | m2://inv/P05DXPXM1T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-uniform discrete Fourier transform#N48C, Applications (example)
History
- 2026-11-02: add by m2/dev
Inverse filter P05E744ZPN
| URI | m2://inv/P05E744ZPN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17092649, Inverse filter (unknown). Also MathWorld InverseFilter
History
- 2026-10-26: add by m2/dev
John Meadows Jackson P05F1G6D0F
| URI | m2://inv/P05F1G6D0F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Meadows Jackson, John Meadows Jackson (topic). Also Wikidata Q28180299
History
- 2026-11-02: add by m2/dev
P05G4T7ZWH P05G4T7ZWH
| URI | m2://inv/P05G4T7ZWH |
|---|---|
| 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.20588#KA7H (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples P05SNJR5A9
| URI | m2://inv/P05SNJR5A9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indefinite orthogonal group#03DJ, Examples (example)
History
- 2026-11-02: add by m2/dev
European Congress of Mathematics P05T9DS8CX
| URI | m2://inv/P05T9DS8CX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia European Congress of Mathematics, European Congress of Mathematics (definition). Also Wikidata Q1377907
History
- 2026-11-02: add by m2/dev
P05TCV6MC4 P05TCV6MC4
| URI | m2://inv/P05TCV6MC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-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.13213#L51C (statement). In V97F4YZ8B0/e1, lemma 8.2
History
- 2026-10-28: add by m2/v0.4.2
Wolfgang Heinrich Johannes Fuchs P05TSRDNMC
| URI | m2://inv/P05TSRDNMC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolfgang Heinrich Johannes Fuchs, Wolfgang Heinrich Johannes Fuchs (topic). Also Wikidata Q72994
History
- 2026-11-02: add by m2/dev
P05YM7AQEM P05YM7AQEM
| URI | m2://inv/P05YM7AQEM |
|---|---|
| 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 2208.05288#TW36 (statement). In RTW3GDYPND/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.4.0
club P05ZFWWPC9
| URI | m2://inv/P05ZFWWPC9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#EY39, club (definition)
History
- 2026-11-02: add by m2/dev
P0655JJDCW P0655JJDCW
| URI | m2://inv/P0655JJDCW |
|---|---|
| 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#FVGQ (statement). In E7W2HDNEKJ/e1, theorem 7.35
History
- 2026-10-30: add by m2/v0.4.12
Marginal equivalence of the ODE and the SDE family P068YZ6BZD
| URI | m2://inv/P068YZ6BZD |
|---|---|
| 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.02663#GPWR, Marginal equivalence of the ODE and the SDE family (statement). In PGAZ70WGMG/e1, theorem 13
History
- 2026-10-29: add by m2/v0.4.12
Bas van Fraassen P06E7WG97Q
| URI | m2://inv/P06E7WG97Q |
|---|---|
| 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 Q809744, Bas van Fraassen (unknown). Also nLab Bas van Fraassen
- wikipedia: Wikipedia Bas van Fraassen, Bas van Fraassen (topic). Also Wikidata Q809744
History
- 2026-10-26: add by m2/dev
Williamson conjecture P06NS2S7Y6
| URI | m2://inv/P06NS2S7Y6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Williamson conjecture, Williamson conjecture (statement). Also Wikidata Q85815823
History
- 2026-11-02: add by m2/dev
bargaining P06VHZ6GXK
| URI | m2://inv/P06VHZ6GXK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.6/bargaining, bargaining (concept). In N54F33XE07, index, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
P06XM2JZA7 P06XM2JZA7
| URI | m2://inv/P06XM2JZA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15817#14QL (statement). In NVJMA8ARHP/e1, proposition 3.1.2
History
- 2026-10-28: add by m2/v0.4.2
Transcendental number P070MF5R43
| URI | m2://inv/P070MF5R43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#6XYM, Transcendental number (definition)
History
- 2026-11-02: add by m2/dev
Generalized Distribution of Union and Intersection P071P7NER6
| URI | m2://inv/P071P7NER6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IndexingSets.tex#theorem-1, Generalized Distribution of Union and Intersection (statement). In P1C114YBXG, theorem, section C
History
- 2026-11-01: add by m2/v0.6.13
repdigit P0733MZRCS
| URI | m2://inv/P0733MZRCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1200532, repdigit (unknown). Also MathWorld Repdigit, OEIS A010785
- wikipedia: Wikipedia Repdigit, Repdigit (definition). Also Wikidata Q1200532
History
- 2026-10-26: add by m2/dev
P077BF85SH P077BF85SH
| URI | m2://inv/P077BF85SH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#R1JY (example). In XGPZ0G9E1Q/e1, example 7.15
History
- 2026-10-29: add by m2/v0.4.12
Zeta function of an operator P077KH6AQ1
| URI | m2://inv/P077KH6AQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of zeta functions#JRW7, Zeta function of an operator (definition)
History
- 2026-11-02: add by m2/dev
P07FHAWVNA P07FHAWVNA
| URI | m2://inv/P07FHAWVNA |
|---|---|
| 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.18016#WSDN (statement). In V5PVKDKGGG/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Cohomology and extension obstructions P07M76GCYK
| URI | m2://inv/P07M76GCYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#LG5T, Cohomology and extension obstructions (statement). In TBFPBPQV3G/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
P07MVWNT89 P07MVWNT89
| URI | m2://inv/P07MVWNT89 |
|---|---|
| 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 2212.01916#6XRS (statement). In XTGB5Z08YH/e1, theorem 3.16
History
- 2026-10-27: add by m2/v0.4.0
P07PH97E9N P07PH97E9N
| URI | m2://inv/P07PH97E9N |
|---|---|
| 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 0806.0033#DPB5 (definition). In RV34HVZMB3/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Strong cryptography P07PRQVJ9C
| URI | m2://inv/P07PRQVJ9C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong cryptography, Strong cryptography (definition). Also Wikidata Q4241181
History
- 2026-11-02: add by m2/dev
Compound of twenty octahedra P07S3PT1GS
| URI | m2://inv/P07S3PT1GS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of twenty octahedra, Compound of twenty octahedra (definition). Also Wikidata Q5156904
History
- 2026-11-02: add by m2/dev
P07ZF2RKSF P07ZF2RKSF
| URI | m2://inv/P07ZF2RKSF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#limandineq:lemma (statement). In E59CDZA4DP, lemma, section 10.2.1
History
- 2026-11-01: add by m2/v0.6.13
Definition P0806E0DJQ
| URI | m2://inv/P0806E0DJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric group action#SN45, Definition (definition)
History
- 2026-11-02: add by m2/dev
Torus knot P0822AF8ZE
| URI | m2://inv/P0822AF8ZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical knots and links#ZLIL, Torus knot (definition)
History
- 2026-11-02: add by m2/dev
P08EYTGZ0Y P08EYTGZ0Y
| URI | m2://inv/P08EYTGZ0Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.04407#AHS1 (statement). In XCZS191H6Q/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.6
Financial econometrics P08GAKET6A
| URI | m2://inv/P08GAKET6A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Financial econometrics, Financial econometrics (definition). Also Wikidata Q657107
History
- 2026-11-02: add by m2/dev
Combination of Lemma 6.1 and 6.4 of for the extremal case P08HDHVRQ9
| URI | m2://inv/P08HDHVRQ9 |
|---|---|
| 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.06340#KVXY, Combination of Lemma 6.1 and 6.4 of for the extremal case (statement). In PKNZPECH82/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
P08KYP8FNK P08KYP8FNK
| URI | m2://inv/P08KYP8FNK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04140#CZY5 (statement). In BTT0FX7XMC/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Thomas Percy Nunn P08Q1PTACX
| URI | m2://inv/P08Q1PTACX |
|---|---|
| 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#0TNS, Thomas Percy Nunn (unknown)
History
- 2026-11-02: add by m2/dev
Kakeya needle problem P08QJMKG3P
| URI | m2://inv/P08QJMKG3P |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3406254, Kakeya needle problem (problem). Also MathWorld KakeyaNeedleProblem, MathWorld KakeyaSet
History
- 2026-10-26: add by m2/dev
P08VYX1C5P P08VYX1C5P
| URI | m2://inv/P08VYX1C5P |
|---|---|
| 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 1009.3308#02CG (statement). In KGBKNQB52Z/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
Giovanni Salvemini P08X4JZPFS
| URI | m2://inv/P08X4JZPFS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Salvemini, Giovanni Salvemini (topic). Also Wikidata Q1371138
History
- 2026-11-02: add by m2/dev
Examples P0937FHYV9
| URI | m2://inv/P0937FHYV9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elastic collision#HK8K, Examples (example)
History
- 2026-11-02: add by m2/dev
Inductive fallacy P095E0E0DA
| URI | m2://inv/P095E0E0DA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#L8LU, Inductive fallacy (definition)
History
- 2026-11-02: add by m2/dev
P09GRXGZPP P09GRXGZPP
| URI | m2://inv/P09GRXGZPP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#F67B (statement). In HVY45JQRNK/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
Theorems P09HPKY2AX
| URI | m2://inv/P09HPKY2AX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shehu transform#QSJA, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Wiener filter P09S25AJFV
| URI | m2://inv/P09S25AJFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#20PE, Wiener filter (definition)
History
- 2026-11-02: add by m2/dev
P09SZ0DK2R P09SZ0DK2R
| URI | m2://inv/P09SZ0DK2R |
|---|---|
| Kind | example |
| 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.36811#YH6F (example). In ZQDX8E43SQ/e1, example 3
History
- 2026-10-30: add by m2/v0.4.12
P09Y8QX19E P09Y8QX19E
| URI | m2://inv/P09Y8QX19E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30544#CUMJ (definition). In CB35ZBBBPT/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
Péter Frankl P0A0026RXY
| URI | m2://inv/P0A0026RXY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Péter Frankl, Péter Frankl (topic). Also Wikidata Q718082
History
- 2026-11-02: add by m2/dev
Nucleate boiling P0A7D8FDPY
| URI | m2://inv/P0A7D8FDPY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nucleate boiling, Nucleate boiling (definition). Also Wikidata Q7068214
History
- 2026-11-02: add by m2/dev
P0A8BEVBFK P0A8BEVBFK
| URI | m2://inv/P0A8BEVBFK |
|---|---|
| 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.36421#JWK3 (statement). In E0ZRSZ0YHT/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Euler $\phi$ function P0AF1TRS50
| URI | m2://inv/P0AF1TRS50 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/7.5/euler-phi-function, Euler $\phi$ function (concept). In QKM9DD2H56, index, section 7.5
History
- 2026-11-01: add by m2/v0.6.13
P0B4EXGG8Z P0B4EXGG8Z
| URI | m2://inv/P0B4EXGG8Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-92 (exercise). In VNMV985MXX, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
P0BCQCS7YZ P0BCQCS7YZ
| URI | m2://inv/P0BCQCS7YZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-9 (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
Applications P0BQ1YX16Y
| URI | m2://inv/P0BQ1YX16Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier transform#QVS8, Applications (example)
History
- 2026-11-02: add by m2/dev
P0BQH70PPS P0BQH70PPS
| URI | m2://inv/P0BQH70PPS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#cor:continterval (statement). In E59CDZA4DP, cor, section 2.6.1
History
- 2026-11-01: add by m2/v0.6.13
formal consequence P0BV97MJWN
| URI | m2://inv/P0BV97MJWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#YYGA, formal consequence (definition)
History
- 2026-11-02: add by m2/dev
Examples P0C6447QNS
| URI | m2://inv/P0C6447QNS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Location–scale family#99XR, Examples (example)
History
- 2026-11-02: add by m2/dev
Taijitu P0C6Q0ATMF
| URI | m2://inv/P0C6Q0ATMF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#82CH, Taijitu (unknown)
History
- 2026-11-02: add by m2/dev
P0CFJ4EPVT P0CFJ4EPVT
| URI | m2://inv/P0CFJ4EPVT |
|---|---|
| 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 0904.2051#IW5S (statement). In JYRVG8P8KC/e1, theorem 0
History
- 2026-10-27: add by m2/v0.3.5
Cap-mean discrepancy P0CGAVBWNZ
| URI | m2://inv/P0CGAVBWNZ |
|---|---|
| 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.12387#LJBI, Cap-mean discrepancy (statement). In 3Z0PRE77SY/e1, corollary 5.5
History
- 2026-10-28: add by m2/v0.4.2
P0CH7BE9H9 P0CH7BE9H9
| URI | m2://inv/P0CH7BE9H9 |
|---|---|
| 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#91OP (statement). In TC5QA4AB4Z/e1, theorem 4.15
History
- 2026-10-30: add by m2/v0.4.12
Lie derivative P0CK4RG510
| URI | m2://inv/P0CK4RG510 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#EIQZ, Lie derivative (definition)
History
- 2026-11-02: add by m2/dev
Examples P0CRNKW523
| URI | m2://inv/P0CRNKW523 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov's inequality#U96Y, Examples (example)
History
- 2026-11-02: add by m2/dev
P0CVBA38YN P0CVBA38YN
| URI | m2://inv/P0CVBA38YN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03517#C2XA (statement). In 3CGS9GSKTQ/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
Scorer's function P0D4B13GPV
| URI | m2://inv/P0D4B13GPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scorer's function, Scorer's function (definition). Also Wikidata Q1092942
History
- 2026-11-02: add by m2/dev
P0D9MYV6XH P0D9MYV6XH
| URI | m2://inv/P0D9MYV6XH |
|---|---|
| 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.20242#XDBZ (statement). In TAX627CRH2/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
Annales de l’Institut Henri Poincaré P0D9XEA2AX
| URI | m2://inv/P0D9XEA2AX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#FFOW, Annales de l’Institut Henri Poincaré (unknown)
History
- 2026-11-02: add by m2/dev
Elliptic Curve Digital Signature Algorithm P0DG27BXYE
| URI | m2://inv/P0DG27BXYE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic Curve Digital Signature Algorithm, Elliptic Curve Digital Signature Algorithm (definition). Also Wikidata Q915079
History
- 2026-11-02: add by m2/dev
Definition P0DGEB442J
| URI | m2://inv/P0DGEB442J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional convergence#HXMD, Definition (definition)
History
- 2026-11-02: add by m2/dev
P0DGX4K60X P0DGX4K60X
| URI | m2://inv/P0DGX4K60X |
|---|---|
| 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.18600#WPHP (statement). In 31D6TQVCNZ/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
P0DRBKEQY8 P0DRBKEQY8
| URI | m2://inv/P0DRBKEQY8 |
|---|---|
| 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.39539#7SJ6 (statement). In GVR218P3ZR/e1, proposition 2.4.4
History
- 2026-10-30: add by m2/v0.4.12
P0DSF052KF P0DSF052KF
| URI | m2://inv/P0DSF052KF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/derived-rules.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 50.2
History
- 2026-11-01: add by m2/v0.6.13
Definition P0DSH2TNM8
| URI | m2://inv/P0DSH2TNM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse tangent integral#MG3R, Definition (definition)
History
- 2026-11-02: add by m2/dev
Local subgroup P0DXW0HYVB
| URI | m2://inv/P0DXW0HYVB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local property#FCEB, Local subgroup (unknown)
History
- 2026-11-02: add by m2/dev
Cartan's theorem P0DZ47MXH2
| URI | m2://inv/P0DZ47MXH2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#NU5T, Cartan's theorem (statement)
- wikipedia: Wikipedia List of Lie groups topics#VRVO, Cartan's theorem (statement)
History
- 2026-11-02: add by m2/dev
Aleph-one P0E40ADHHV
| URI | m2://inv/P0E40ADHHV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#VUJB, Aleph-one (definition)
History
- 2026-11-02: add by m2/dev
regular value P0EBGRHS6B
| URI | m2://inv/P0EBGRHS6B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77880977, regular value (unknown). Also nLab regular value
History
- 2026-10-26: add by m2/dev
Dalene Stangl P0EDXEX0H3
| URI | m2://inv/P0EDXEX0H3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dalene Stangl, Dalene Stangl (topic). Also Wikidata Q58010303
History
- 2026-11-02: add by m2/dev
Call By Reference P0EFS90PKF
| URI | m2://inv/P0EFS90PKF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evaluation strategy#7LQ3, Call By Reference (unknown)
History
- 2026-11-02: add by m2/dev
Mixed vector fields P0EKA1TFWJ
| URI | m2://inv/P0EKA1TFWJ |
|---|---|
| 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.08091#40NV, Mixed vector fields (definition). In MS13WE3CSD/e1, definition 2.8
History
- 2026-10-29: add by m2/v0.4.10
P0FFY9XJS0 P0FFY9XJS0
| URI | m2://inv/P0FFY9XJS0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05403#MTQV (statement). In PQGGCD09KP/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.10
.exit P0FQVQBKH4
| URI | m2://inv/P0FQVQBKH4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia .onion#VXNE, .exit (unknown)
History
- 2026-11-02: add by m2/dev
P0FQX0D9PK P0FQX0D9PK
| URI | m2://inv/P0FQX0D9PK |
|---|---|
| Kind | example |
| 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 2609.25289#79G6 (example)
History
- 2026-11-01: add by m2/v0.6.15
Examples P0GDS02FX4
| URI | m2://inv/P0GDS02FX4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Context-free language#LSAN, Examples (example)
History
- 2026-11-02: add by m2/dev
Leonardo da Vinci P0GPKR45FJ
| URI | m2://inv/P0GPKR45FJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#XYJ9, Leonardo da Vinci (unknown)
History
- 2026-11-02: add by m2/dev
Four-dimensional near-null space P0GPPJM4JB
| URI | m2://inv/P0GPPJM4JB |
|---|---|
| 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#5VTU, Four-dimensional near-null space (statement)
History
- 2026-11-01: add by m2/v0.6.15
Convergence of the mixed polynomial components P0GTDWC8X7
| URI | m2://inv/P0GTDWC8X7 |
|---|---|
| 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 2609.22027#MH2J, Convergence of the mixed polynomial components (statement)
History
- 2026-11-02: add by m2/v0.6.17
$\eta $-expansion P0GVV8NYHC
| URI | m2://inv/P0GVV8NYHC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.2/eta-expansion, $\eta $-expansion (concept). In N54F33XE07, index, section A.2
History
- 2026-11-01: add by m2/v0.6.13
Definition P0GXZK7F30
| URI | m2://inv/P0GXZK7F30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard probability space#GUEJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Constant curvature P0H0J6QKRJ
| URI | m2://inv/P0H0J6QKRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant curvature, Constant curvature (definition). Also Wikidata Q2250422
History
- 2026-11-02: add by m2/dev
*{Sec.\ 2.1}, *{Sec.\ 2.4}, *{Sec.\ 3.2 P0H7MBVJ28
| URI | m2://inv/P0H7MBVJ28 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20306#MM64, *{Sec.\ 2.1}, *{Sec.\ 2.4}, *{Sec.\ 3.2 (definition). In YG5EX49042/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.4.2
Rongwei Fu P0HG7CA8TN
| URI | m2://inv/P0HG7CA8TN |
|---|---|
| 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#QSWP, Rongwei Fu (topic)
History
- 2026-11-02: add by m2/dev
P0HKAYNY8J P0HKAYNY8J
| URI | m2://inv/P0HKAYNY8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18744#MP7H (statement). In AE07JDH5D3/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
propositional, resizing P0HV8J9RDF
| URI | m2://inv/P0HV8J9RDF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.6/propositional-resizing, propositional, resizing (concept). In N54F33XE07, index, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
P0HXJPET6P P0HXJPET6P
| URI | m2://inv/P0HXJPET6P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#prob:compact or not (exercise). In P1C114YBXG, problem, section K
History
- 2026-11-01: add by m2/v0.6.13
Mean absolute scaled error P0J3V80JT5
| URI | m2://inv/P0J3V80JT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7FS3, Mean absolute scaled error (definition)
History
- 2026-11-02: add by m2/dev
Monotone convergence theorem P0J7NV7182
| URI | m2://inv/P0J7NV7182 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/E.1/monotone-convergence-theorem, Monotone convergence theorem (concept). In VNMV985MXX, index, section E.1
History
- 2026-11-01: add by m2/v0.6.13
ordered set P0JECX9DXH
| URI | m2://inv/P0JECX9DXH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Data structures > Sets > ordered set, ordered set (unknown). Also Mathlib Ordset
History
- 2026-10-26: add by m2/dev
Moment bounds (Achlioptas, 2003, Section 6) P0JF41VVRK
| URI | m2://inv/P0JF41VVRK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johnson–Lindenstrauss lemma#M2N1, Moment bounds (Achlioptas, 2003, Section 6) (statement)
History
- 2026-11-02: add by m2/dev
P0JFTENXER P0JFTENXER
| URI | m2://inv/P0JFTENXER |
|---|---|
| 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.32733#0USK (definition). In PCAS8S14J6/e1, definition 6.1
History
- 2026-10-31: add by m2/v0.5.6
Euler's tritone P0JHPHB2AK
| URI | m2://inv/P0JHPHB2AK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#9LRJ, Euler's tritone (unknown)
History
- 2026-11-02: add by m2/dev
P0JMGWR35Z P0JMGWR35Z
| URI | m2://inv/P0JMGWR35Z |
|---|---|
| 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#87E5 (statement). In CB89152EQW/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
Analytic double-cap entropy bound P0JN6571KJ
| URI | m2://inv/P0JN6571KJ |
|---|---|
| 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 2609.24931#60GD, Analytic double-cap entropy bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
P0JPH1WVTB P0JPH1WVTB
| URI | m2://inv/P0JPH1WVTB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39465#RK2M (definition). In 17F6FDEA3W/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
P0JQ91JTF7 P0JQ91JTF7
| URI | m2://inv/P0JQ91JTF7 |
|---|---|
| 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#VN0W (statement). In RBQ5FNCVNZ/e1, corollary 9.2
History
- 2026-10-30: add by m2/v0.4.12
factor P0JT8CBG66
| URI | m2://inv/P0JT8CBG66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#ZIYK, factor (definition)
History
- 2026-11-02: add by m2/dev
figure-eight knot P0K9JJCAK3
| URI | m2://inv/P0K9JJCAK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Figure-eight knot C01XBGAHC6 |
Mentions
- wikidata: Wikidata Q168697, figure-eight knot (unknown). Also MathWorld FigureEightKnot
- wikipedia: Wikipedia Figure-eight knot (mathematics), Figure-eight knot (definition). Also Wikidata Q168697
History
- 2026-10-26: add by m2/dev
Lewy P0KC2AWR3V
| URI | m2://inv/P0KC2AWR3V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-16, Lewy (statement). In VNMV985MXX, thm, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Cayley's ruled cubic surface P0KEKN0XWC
| URI | m2://inv/P0KEKN0XWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#UBL8, Cayley's ruled cubic surface (definition)
- wikipedia: Wikipedia List of things named after Arthur Cayley#FQ2U, Cayley's ruled cubic surface (definition)
History
- 2026-11-02: add by m2/dev
P0KM4FC6QM P0KM4FC6QM
| URI | m2://inv/P0KM4FC6QM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.22326#TJLC (statement). In EAABRG99V8/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.4.0
P0KVVVQ9Z8 P0KVVVQ9Z8
| URI | m2://inv/P0KVVVQ9Z8 |
|---|---|
| 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 2609.25289#SOA7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Issachar ibn Susan P0M22CJJ2X
| URI | m2://inv/P0M22CJJ2X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#O8QW, Issachar ibn Susan (unknown)
History
- 2026-11-02: add by m2/dev
Osculating sphere P0M30M1KNK
| URI | m2://inv/P0M30M1KNK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Figure of the Earth#R00R, Osculating sphere (unknown)
History
- 2026-11-02: add by m2/dev
Thermal conduction P0MN2ZS6EX
| URI | m2://inv/P0MN2ZS6EX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermal conduction, Thermal conduction (definition). Also Wikidata Q7465774
History
- 2026-11-02: add by m2/dev
P0MRV3CDQ4 P0MRV3CDQ4
| URI | m2://inv/P0MRV3CDQ4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/soundness.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 15.11
History
- 2026-11-01: add by m2/v0.6.13
Applications P0MW5KQ0PN
| URI | m2://inv/P0MW5KQ0PN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular number#OHIT, Applications (example)
History
- 2026-11-02: add by m2/dev
Anatoly Vershik P0MY4KTZMM
| URI | m2://inv/P0MY4KTZMM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#S61N, Anatoly Vershik (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#R20N, Anatoly Vershik (topic)
History
- 2026-11-02: add by m2/dev
Definition P0N2QVN2VR
| URI | m2://inv/P0N2QVN2VR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiset#WKMC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Algorithms P0NGHFMDP3
| URI | m2://inv/P0NGHFMDP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planarity testing#EFEU, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
P0NQ6NACN5 P0NQ6NACN5
| URI | m2://inv/P0NQ6NACN5 |
|---|---|
| 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 2404.06445#VLMZ (statement). In 12JKZ8EN52/e1, lemma 1.6
History
- 2026-10-27: add by m2/v0.3.5
Generalization P0NZ21ADY6
| URI | m2://inv/P0NZ21ADY6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal ideal#O0JI, Generalization (statement)
History
- 2026-11-02: add by m2/dev
order-preserving gluing datum P0P10TCHZ3
| URI | m2://inv/P0P10TCHZ3 |
|---|---|
| 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.32733#HQWS, order-preserving gluing datum (definition). In PCAS8S14J6/e1, definition E.1
History
- 2026-10-31: add by m2/v0.5.6
P0P48V6332 P0P48V6332
| URI | m2://inv/P0P48V6332 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/wo.tex#wo:strictorder (statement). In PKGMM3P5QY, prop, section 73.4
History
- 2026-11-01: add by m2/v0.6.13
Weight-dependent emergence after increasing the weight of an existing edge P0P7YPXGZ2
| URI | m2://inv/P0P7YPXGZ2 |
|---|---|
| Kind | example |
| 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.14310#JS3F, Weight-dependent emergence after increasing the weight of an existing edge (example). In 8GSG7024NW/e1, example 3.2
History
- 2026-10-28: add by m2/v0.4.2
P0PEK7C60C P0PEK7C60C
| URI | m2://inv/P0PEK7C60C |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/more-soundness.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 55.8
History
- 2026-11-01: add by m2/v0.6.13
Betty O'Connell P0PF2W8D2P
| URI | m2://inv/P0PF2W8D2P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Betty O'Connell, Betty O'Connell (topic). Also Wikidata Q141139230
History
- 2026-11-02: add by m2/dev
P0PKWPEP66 P0PKWPEP66
| URI | m2://inv/P0PKWPEP66 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-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.06699#IQ7L (definition). In GXHKRV5BPY/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Submodules, quotients, products, and sums, Bass-Papp Theorem P0PP0JT8C9
| URI | m2://inv/P0PP0JT8C9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective module#HJAG, Submodules, quotients, products, and sums, Bass-Papp Theorem (statement)
History
- 2026-11-02: add by m2/dev
Planar separator theorem P0PQRS4XY3
| URI | m2://inv/P0PQRS4XY3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#E7XI, Planar separator theorem (statement)
History
- 2026-11-02: add by m2/dev
C space P0PRYDNNF6
| URI | m2://inv/P0PRYDNNF6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C space, C space (definition). Also Wikidata Q5015141
History
- 2026-11-02: add by m2/dev
Driemond P0PW5XFT27
| URI | m2://inv/P0PW5XFT27 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#DBF1, Driemond (unknown)
History
- 2026-11-02: add by m2/dev
P0PY9RMNHX P0PY9RMNHX
| URI | m2://inv/P0PY9RMNHX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.20131#NET8 (statement). In 29D4TTE3J2/e1, theorem 10.5
History
- 2026-10-27: add by m2/v0.4.2
Anders Wiman P0Q0GR0G2Q
| URI | m2://inv/P0Q0GR0G2Q |
|---|---|
| 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#KJTP, Anders Wiman (topic)
History
- 2026-11-02: add by m2/dev
Parking function P0Q1KGZ5AM
| URI | m2://inv/P0Q1KGZ5AM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parking function, Parking function (definition). Also Wikidata Q109037852
History
- 2026-11-02: add by m2/dev
P0QG543YNQ P0QG543YNQ
| URI | m2://inv/P0QG543YNQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2508.21045#2613 (statement). In CGA36VE1C5/e1, fact 3.10.2
History
- 2026-10-27: add by m2/v0.3.6
P0QJ5B9ZPZ P0QJ5B9ZPZ
| URI | m2://inv/P0QJ5B9ZPZ |
|---|---|
| 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.01197#1LXU (statement). In WDWDY0VP18/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.12
Dot plot P0QJJGEN60
| URI | m2://inv/P0QJJGEN60 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dot plot (statistics), Dot plot (definition). Also Wikidata Q3268533
History
- 2026-11-02: add by m2/dev
P0QNYQP6XD P0QNYQP6XD
| URI | m2://inv/P0QNYQP6XD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-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.23527#CYSZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
P0QQEXYTRC P0QQEXYTRC
| URI | m2://inv/P0QQEXYTRC |
|---|---|
| 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.23470#3AKW (statement)
History
- 2026-11-02: add by m2/v0.6.17
Boolean analysis P0QWYBAD4Q
| URI | m2://inv/P0QWYBAD4Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LOC5, Boolean analysis (definition)
- wikipedia: Wikipedia List of Boolean algebra topics#YCVM, Boolean analysis (definition)
History
- 2026-11-02: add by m2/dev
Last-color blocks P0QZ5GSHK0
| URI | m2://inv/P0QZ5GSHK0 |
|---|---|
| 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.01240#7JPY, Last-color blocks (statement). In XD5HCP8DHF/e1, lemma 23
History
- 2026-10-29: add by m2/v0.4.12
Gibbard's theorem: Non-dictatorial strategyproof games P0R27DVT3E
| URI | m2://inv/P0R27DVT3E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof of impossibility#U1UB, Gibbard's theorem: Non-dictatorial strategyproof games (statement)
History
- 2026-11-02: add by m2/dev
Robert C. James P0R60684D8
| URI | m2://inv/P0R60684D8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert C. James, Robert C. James (topic). Also Wikidata Q1580530
History
- 2026-11-02: add by m2/dev
Wolfram Physics Project P0R7SYDR7A
| URI | m2://inv/P0R7SYDR7A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen Wolfram#CQOQ, Wolfram Physics Project (unknown)
History
- 2026-11-02: add by m2/dev
Greedy coloring P0R8FKKNVP
| URI | m2://inv/P0R8FKKNVP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greedy coloring, Greedy coloring (definition). Also Wikidata Q5601715
History
- 2026-11-02: add by m2/dev
Agora P0RB1VCE4C
| URI | m2://inv/P0RB1VCE4C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#T0CY, Agora (unknown)
History
- 2026-11-02: add by m2/dev
P0SA2RXD66 P0SA2RXD66
| URI | m2://inv/P0SA2RXD66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#RGYQ (statement). In CY1FE8W1ZW/e1, corollary 0.132
History
- 2026-10-27: add by m2/v0.4.0
Individual smoothness P0SA3YHAVE
| URI | m2://inv/P0SA3YHAVE |
|---|---|
| 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.04944#O9RR, Individual smoothness (statement). In BHSY6QQCVK/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.12
P0SJKAKN01 P0SJKAKN01
| URI | m2://inv/P0SJKAKN01 |
|---|---|
| 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.39430#KIGS (statement). In 6FH24CYAMW/e1, proposition 5.6
History
- 2026-10-30: add by m2/v0.4.12
Artin–Wedderburn theorem P0SM33PQAB
| URI | m2://inv/P0SM33PQAB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncommutative ring#108U, Artin–Wedderburn theorem (statement)
History
- 2026-11-02: add by m2/dev
P0SMMN9ESV P0SMMN9ESV
| URI | m2://inv/P0SMMN9ESV |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37271#YE10 (problem). In 9WP2QGKMG8/e1, problem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Herbert Clemens P0STF76QX3
| URI | m2://inv/P0STF76QX3 |
|---|---|
| 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#T2OQ, Herbert Clemens (topic)
History
- 2026-11-02: add by m2/dev
quantum information P0SVYZ09X5
| URI | m2://inv/P0SVYZ09X5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2122243, quantum information (unknown). Also nLab quantum information
- wikipedia: Wikipedia Quantum information, Quantum information (definition). Also Wikidata Q2122243
History
- 2026-10-26: add by m2/dev
P0SY34RGYT P0SY34RGYT
| URI | m2://inv/P0SY34RGYT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-40 (proof). In N54F33XE07, proof, section C.4
History
- 2026-11-01: add by m2/v0.6.13
Applications P0T0JCY9YA
| URI | m2://inv/P0T0JCY9YA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zipf's law#J255, Applications (example)
History
- 2026-11-02: add by m2/dev
domino graph P0T25JM8YJ
| URI | m2://inv/P0T25JM8YJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115558, domino graph (unknown). Also House of Graphs 1045, MathWorld DominoGraph
History
- 2026-10-26: add by m2/dev
P0TSJCNPXR P0TSJCNPXR
| URI | m2://inv/P0TSJCNPXR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21972#J1OF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Scale P0TXV1HW0A
| URI | m2://inv/P0TXV1HW0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scale (descriptive set theory), Scale (definition). Also Wikidata Q7429715
History
- 2026-11-02: add by m2/dev
Torsion (differential geometry) P0V6GT5271
| URI | m2://inv/P0V6GT5271 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#0YWY, Torsion (differential geometry) (definition)
History
- 2026-11-02: add by m2/dev
Duration Models with Time-Varying Data P0V79DNARG
| URI | m2://inv/P0V79DNARG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proportional hazards model#IF6G, Duration Models with Time-Varying Data (unknown)
History
- 2026-11-02: add by m2/dev
Quart, Girona P0VJ1RC52F
| URI | m2://inv/P0VJ1RC52F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#9Z36, Quart, Girona (unknown)
History
- 2026-11-02: add by m2/dev
Central limit theorem P0VK638TJB
| URI | m2://inv/P0VK638TJB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability theory#NY34, Central limit theorem (statement)
History
- 2026-11-02: add by m2/dev
P0VNCD5TX3 P0VNCD5TX3
| URI | m2://inv/P0VNCD5TX3 |
|---|---|
| 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.20556#JV8G (statement)
History
- 2026-11-02: add by m2/v0.6.18
P0VV012P8P P0VV012P8P
| URI | m2://inv/P0VV012P8P |
|---|---|
| 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.17547#RGR6 (statement). In XJ59TDP4HA/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
P0VXW7G56D P0VXW7G56D
| URI | m2://inv/P0VXW7G56D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#I7VA (definition). In DZ12XTTJSM/e1, definition 2.13
History
- 2026-10-28: add by m2/v0.4.2
Candidate solution P0VYN6GGS9
| URI | m2://inv/P0VYN6GGS9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feasible region#T0TB, Candidate solution (unknown)
History
- 2026-11-02: add by m2/dev
Definition P0W1HQ2DFG
| URI | m2://inv/P0W1HQ2DFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler product#1Q1F, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties P0W1PTZ6N2
| URI | m2://inv/P0W1PTZ6N2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonparametric skew#EMEQ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples P0W85Q1823
| URI | m2://inv/P0W85Q1823 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idempotent relation#76Z8, Examples (example)
History
- 2026-11-02: add by m2/dev
P0W88QBG5V P0W88QBG5V
| URI | m2://inv/P0W88QBG5V |
|---|---|
| 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.35683#0IL5 (statement). In A4S9A3X494/e1, corollary 4
History
- 2026-10-30: add by m2/v0.4.12
Uncovered inliers are rare P0WA6DAFZN
| URI | m2://inv/P0WA6DAFZN |
|---|---|
| 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.31363#VWZL, Uncovered inliers are rare (statement). In XB8NYRD86J/e1, lemma D.7
History
- 2026-10-31: add by m2/v0.5.6
Ilya Prigogine P0WN1EHP8C
| URI | m2://inv/P0WN1EHP8C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#GJMK, Ilya Prigogine (unknown)
History
- 2026-11-02: add by m2/dev
Quantifier elimination P0WP4X1QF8
| URI | m2://inv/P0WP4X1QF8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#B4XK, Quantifier elimination (definition)
History
- 2026-11-02: add by m2/dev
P0WRDGWPZA P0WRDGWPZA
| URI | m2://inv/P0WRDGWPZA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/soundness-identity.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 19.1
History
- 2026-11-01: add by m2/v0.6.13
Full-employment theorem P0WSQ5C7WN
| URI | m2://inv/P0WSQ5C7WN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5508180, Full employment theorem (statement). Also Wikidata Q5508180
- thousand_plus: thousand_plus Q5508180, Full employment theorem (statement). Also Wikidata Q5508180, Wikipedia Full employment theorem
- wikipedia: Wikipedia Full-employment theorem, Full-employment theorem (statement). Also Wikidata Q5508180
History
- 2026-10-26: add by m2/dev
P0X19HYS6J P0X19HYS6J
| URI | m2://inv/P0X19HYS6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00512#GL4G (statement). In RB5QBG3MJY/e1, proposition 4.13
History
- 2026-10-30: add by m2/v0.4.12
Notation P0XCZDE12Z
| URI | m2://inv/P0XCZDE12Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mohr–Mascheroni theorem#N1Y9, Notation (definition)
History
- 2026-11-02: add by m2/dev
Solnechny, Krasnoyarsk Krai P0XH2092FH
| URI | m2://inv/P0XH2092FH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#EO73, Solnechny, Krasnoyarsk Krai (unknown)
History
- 2026-11-02: add by m2/dev
Properties P0XQVHT77F
| URI | m2://inv/P0XQVHT77F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jordan's totient function#F3ZZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Kerrie Mengersen P0XZFQV6DD
| URI | m2://inv/P0XZFQV6DD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kerrie Mengersen, Kerrie Mengersen (topic). Also Wikidata Q22915106
History
- 2026-11-02: add by m2/dev
P0Y0P3CENN P0Y0P3CENN
| URI | m2://inv/P0Y0P3CENN |
|---|---|
| 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 2610.15111#23FD (definition). In 6RE6JYE4GP/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
P0Y6C08TM5 P0Y6C08TM5
| URI | m2://inv/P0Y6C08TM5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#theorem-4 (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
P0Y7C9XFG3 P0Y7C9XFG3
| URI | m2://inv/P0Y7C9XFG3 |
|---|---|
| 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.02379#L8MW (statement). In W9E40AZJ03/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
P0YC5SNE2A P0YC5SNE2A
| URI | m2://inv/P0YC5SNE2A |
|---|---|
| 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.19437#XWYG (example). In 9PXXGQ978Z/e1, example 6.4
History
- 2026-10-28: add by m2/v0.4.2
Maximum-norm stability of the regularized reconstruction operator P0YQMRJ8VT
| URI | m2://inv/P0YQMRJ8VT |
|---|---|
| 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.10484#CETK, Maximum-norm stability of the regularized reconstruction operator (statement). In 5B4AX4SF88/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.10
Axioms P0Z3V3EYY0
| URI | m2://inv/P0Z3V3EYY0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skolem arithmetic#JZOS, Axioms (statement)
History
- 2026-11-02: add by m2/dev
BCM theory P0Z5K66S2S
| URI | m2://inv/P0Z5K66S2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BCM theory, BCM theory (definition). Also Wikidata Q4835208
History
- 2026-11-02: add by m2/dev
Fuchs P0Z80RZZP9
| URI | m2://inv/P0Z80RZZP9 |
|---|---|
| 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.17547#TCPR, Fuchs (statement). In XJ59TDP4HA/e1, fact 2.18
History
- 2026-10-28: add by m2/v0.4.2
unit sphere P0Z9GE0VMR
| URI | m2://inv/P0Z9GE0VMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1307800, unit sphere (unknown). Also MathWorld UnitSphere, nLab unit sphere
- wikipedia: Wikipedia Unit sphere, Unit sphere (definition). Also Wikidata Q1307800
History
- 2026-10-26: add by m2/dev
P0ZA788D3H P0ZA788D3H
| URI | m2://inv/P0ZA788D3H |
|---|---|
| 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 0809.0068#O4CT (statement). In MBKYGM01FK/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.5
The KL penalty is a mixed-channel instrument P0ZB2ZGEYT
| URI | m2://inv/P0ZB2ZGEYT |
|---|---|
| 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 2609.25039#S4TB, The KL penalty is a mixed-channel instrument (statement)
History
- 2026-11-01: add by m2/v0.6.15
Timeline of Plato's works P0ZB9FB2SX
| URI | m2://inv/P0ZB9FB2SX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plato#3RNS, Timeline of Plato's works (unknown)
History
- 2026-11-02: add by m2/dev
P0ZBTP5B7V P0ZBTP5B7V
| URI | m2://inv/P0ZBTP5B7V |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#proof-20 (proof). In E59CDZA4DP, proof, section 1.7.1
History
- 2026-11-01: add by m2/v0.6.13
Piecewise polynomials P0ZMYZ6KY8
| URI | m2://inv/P0ZMYZ6KY8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21033#HSMP, Piecewise polynomials (definition). In A8C1M9BSWH/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.2
Least action principle P0ZPJ8R57D
| URI | m2://inv/P0ZPJ8R57D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian sandpile model#OC80, Least action principle (statement)
History
- 2026-11-02: add by m2/dev
Definition P0ZX62F36W
| URI | m2://inv/P0ZX62F36W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn polynomials#EMRA, Definition (definition)
History
- 2026-11-02: add by m2/dev
\Bezout's theorem P0ZZVQZSRY
| URI | m2://inv/P0ZZVQZSRY |
|---|---|
| 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.08610#HE4W, \Bezout's theorem (statement). In CB2JWNS1E9/e1, theorem A.2
History
- 2026-10-29: add by m2/v0.4.10