Inventory rows PN
The cards of the rows of the inventory whose ids start with PN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Census block PN02AES9QF
| URI | m2://inv/PN02AES9QF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Census block, Census block (definition). Also Wikidata Q5058964
History
- 2026-11-02: add by m2/dev
Statement PN0HAMX88J
| URI | m2://inv/PN0HAMX88J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolchin's problems#YFSM, Statement (statement)
History
- 2026-11-02: add by m2/dev
nonabelian PN0MVYNNBZ
| URI | m2://inv/PN0MVYNNBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#W6N0, nonabelian (definition)
History
- 2026-11-02: add by m2/dev
Russellian proposition PN0WBG14A2
| URI | m2://inv/PN0WBG14A2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proposition#VQ5Q, Russellian proposition (unknown)
History
- 2026-11-02: add by m2/dev
Routh's theorem PN0WDCQENM
| URI | m2://inv/PN0WDCQENM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#EBMZ, Routh's theorem (statement)
History
- 2026-11-02: add by m2/dev
LAPACK PN0YXFCA0M
| URI | m2://inv/PN0YXFCA0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical libraries#O58J, LAPACK (definition)
History
- 2026-11-02: add by m2/dev
PN13KZM4MX PN13KZM4MX
| URI | m2://inv/PN13KZM4MX |
|---|---|
| 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 2509.21444#G6X5 (statement). In CTVPA2FQT1/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.4.0
Shape monotonicity PN14EJKG2F
| URI | m2://inv/PN14EJKG2F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24541#12T0, Shape monotonicity (statement)
History
- 2026-11-01: add by m2/v0.6.15
PN1DFR213E PN1DFR213E
| URI | m2://inv/PN1DFR213E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#example-8 (example). In E59CDZA4DP, example, section 11.9.5
History
- 2026-11-01: add by m2/v0.6.13
four-vertex geometry PN1DS71P1V
| URI | m2://inv/PN1DS71P1V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02289#2KVE, four-vertex geometry (statement). In 67BZ87CQ74/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
PN1K5W1RTM PN1K5W1RTM
| URI | m2://inv/PN1K5W1RTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#Z9A6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Defining function PN1SKBJRJF
| URI | m2://inv/PN1SKBJRJF |
|---|---|
| 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.39409#GXU9, Defining function (statement). In CQ0Z7QA0A5/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
PN1X26EM8N PN1X26EM8N
| URI | m2://inv/PN1X26EM8N |
|---|---|
| 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 2312.14319#5UUG (statement). In V0S2EZ53GB/e1, theorem 2.11
History
- 2026-10-27: add by m2/v0.3.5
PN1YFWW506 PN1YFWW506
| URI | m2://inv/PN1YFWW506 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32077#5IWF (example). In WYXQDSQR9B/e1, example 1.4
History
- 2026-10-31: add by m2/v0.5.6
PN1ZEAWPZ9 PN1ZEAWPZ9
| URI | m2://inv/PN1ZEAWPZ9 |
|---|---|
| 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.31393#VQ26 (statement). In ED0WC9Z55C/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
Generalizations PN21KDN7KC
| URI | m2://inv/PN21KDN7KC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baumslag–Gersten group#8PX3, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
PN289BNTTV PN289BNTTV
| URI | m2://inv/PN289BNTTV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#QQT3 (example). In D6XA7JXZF3/e1, example 6.8
History
- 2026-10-27: add by m2/v0.3.5
Endogeneity (econometrics) PN2FV12SCY
| URI | m2://inv/PN2FV12SCY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#V9VO, Endogeneity (econometrics) (definition)
History
- 2026-11-02: add by m2/dev
PN2HYRE096 PN2HYRE096
| URI | m2://inv/PN2HYRE096 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21533#7KXW (statement). In N3Z6JFEPCF/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.4.2
NUS School of Computing PN2TEVP5T2
| URI | m2://inv/PN2TEVP5T2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National University of Singapore#HCPK, NUS School of Computing (unknown)
History
- 2026-11-02: add by m2/dev
axiom, versus rules PN2TRHVBGV
| URI | m2://inv/PN2TRHVBGV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.5/axiom-versus-rules, axiom, versus rules (concept). In N54F33XE07, index, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
Applications PN2X2TPCDC
| URI | m2://inv/PN2X2TPCDC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Willmore energy#R676, Applications (example)
History
- 2026-11-02: add by m2/dev
PN36HW0257 PN36HW0257
| URI | m2://inv/PN36HW0257 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#ex:utype-ct (exercise). In N54F33XE07, ex, section C.5
History
- 2026-11-01: add by m2/v0.6.13
PN39PFEYNE PN39PFEYNE
| URI | m2://inv/PN39PFEYNE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21414#WWXQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
simplex algorithm PN3B1M4AQP
| URI | m2://inv/PN3B1M4AQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Simplex algorithm MH272QHWPM |
Mentions
- wikidata: Wikidata Q134164, simplex algorithm (unknown). Also EoM Simplex_method, MathWorld SimplexMethod
- wikipedia: Wikipedia Simplex algorithm, Simplex algorithm (definition). Also Wikidata Q134164
History
- 2026-10-26: add by m2/dev
\sigma-algebra PN3CE2CEK1
| URI | m2://inv/PN3CE2CEK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Banach spaces#G58V, \sigma-algebra (definition)
History
- 2026-11-02: add by m2/dev
Nils Dencker PN3EXJF1ZZ
| URI | m2://inv/PN3EXJF1ZZ |
|---|---|
| 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#G6BQ, Nils Dencker (topic)
History
- 2026-11-02: add by m2/dev
Routing PN3GMNB8DJ
| URI | m2://inv/PN3GMNB8DJ |
|---|---|
| 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#H97K, Routing (statement). In XD5HCP8DHF/e1, proposition 29
History
- 2026-10-29: add by m2/v0.4.12
PN3MBDHNXE PN3MBDHNXE
| URI | m2://inv/PN3MBDHNXE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-91 (exercise). In E9HS8K3A52, exercise, section 10.8.6
History
- 2026-11-01: add by m2/v0.6.13
PN40AAB7KM PN40AAB7KM
| URI | m2://inv/PN40AAB7KM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36088#RCLF (statement). In QJD3MZMJHW/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
PN44V0BARA PN44V0BARA
| URI | m2://inv/PN44V0BARA |
|---|---|
| Kind | example |
| 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.20421#4ELK (example). In Q4R7J8JE3F/e1, example 2.2
History
- 2026-10-27: add by m2/v0.4.2
Applications PN47AEQGHB
| URI | m2://inv/PN47AEQGHB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tropical analysis#S5JI, Applications (example)
History
- 2026-11-02: add by m2/dev
Fernando de Helguero PN4AWVRT45
| URI | m2://inv/PN4AWVRT45 |
|---|---|
| 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#EL9C, Fernando de Helguero (topic)
History
- 2026-11-02: add by m2/dev
PN4K8FDTHD PN4K8FDTHD
| URI | m2://inv/PN4K8FDTHD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:symmetric (exercise). In VNMV985MXX, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Algebraic dissipation certificate PN4M4S2F62
| URI | m2://inv/PN4M4S2F62 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 65-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.28611#OYOB, Algebraic dissipation certificate (statement)
History
- 2026-11-01: add by m2/v0.6.15
PN5EW3V8AQ PN5EW3V8AQ
| URI | m2://inv/PN5EW3V8AQ |
|---|---|
| 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.02743#JA0B (statement). In GQH4ZPDWET/e1, corollary 9.3
History
- 2026-10-29: add by m2/v0.4.12
Alasdair Urquhart PN5KC5C0VN
| URI | m2://inv/PN5KC5C0VN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#D1DC, Alasdair Urquhart (topic)
History
- 2026-11-02: add by m2/dev
PN5YSC74CD PN5YSC74CD
| URI | m2://inv/PN5YSC74CD |
|---|---|
| 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 math/0411039#06XG (statement). In ZTBDXSKFFW/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.3.5
PN65PB6SSX PN65PB6SSX
| URI | m2://inv/PN65PB6SSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#7VGN (statement). In PWXT7J9JX3/e1, theorem 4.12
History
- 2026-10-28: add by m2/v0.4.2
Gradients and Lipschitz Constants PN6JWD4V5D
| URI | m2://inv/PN6JWD4V5D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12239#WFPW, Gradients and Lipschitz Constants (statement). In CW9MNA6K58/e1, lemma 9.27
History
- 2026-10-28: add by m2/v0.4.2
Adaptive simulated annealing PN6NQ8A6VN
| URI | m2://inv/PN6NQ8A6VN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adaptive simulated annealing, Adaptive simulated annealing (definition). Also Wikidata Q4680763
History
- 2026-11-02: add by m2/dev
CFG parsing PN6QXX3HZD
| URI | m2://inv/PN6QXX3HZD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Context-free grammar#B14Q, CFG parsing (unknown)
History
- 2026-11-02: add by m2/dev
PN6SF2DYD7 PN6SF2DYD7
| URI | m2://inv/PN6SF2DYD7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00144#TL0S (definition). In HAZGBX88B3/e1, definition 2.7
History
- 2026-10-30: add by m2/v0.4.12
Bessel beam PN7B889D2A
| URI | m2://inv/PN7B889D2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bessel beam, Bessel beam (definition). Also Wikidata Q830111
History
- 2026-11-02: add by m2/dev
PN7ETSFZXW PN7ETSFZXW
| URI | m2://inv/PN7ETSFZXW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#0PYO (statement). In JW8HH6EPG2/e1, lemma 3.20
History
- 2026-10-29: add by m2/v0.4.10
Edward Fredkin PN7GRYZXA1
| URI | m2://inv/PN7GRYZXA1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Fredkin, Edward Fredkin (topic). Also Wikidata Q1292266
History
- 2026-11-02: add by m2/dev
Gaussian acceptance identities PN7HD37274
| URI | m2://inv/PN7HD37274 |
|---|---|
| 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 2610.17946#3JHE, Gaussian acceptance identities (statement). In A7HTYWJNCX/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.2
Richard Johnsonbaugh PN7N02D9DW
| URI | m2://inv/PN7N02D9DW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Johnsonbaugh, Richard Johnsonbaugh (topic). Also Wikidata Q7326910
History
- 2026-11-02: add by m2/dev
Pythagoreanism PN7Q4BPSC8
| URI | m2://inv/PN7Q4BPSC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Pythagoras#Z29A, Pythagoreanism (definition)
History
- 2026-11-02: add by m2/dev
Definition PN82C0KDSD
| URI | m2://inv/PN82C0KDSD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial matrix spectral factorization#FZLE, Definition (definition)
History
- 2026-11-02: add by m2/dev
PN83NRGXCJ PN83NRGXCJ
| URI | m2://inv/PN83NRGXCJ |
|---|---|
| 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 2610.09809#0IWO (definition). In 7NKQ6PR78N/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.10
PN8AVTY961 PN8AVTY961
| URI | m2://inv/PN8AVTY961 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#CWQE (statement). In ESDKTYDHC8/e1, theorem 19
History
- 2026-10-29: add by m2/v0.4.12
Sec. 1.6 + Cor 1.10.9 PN8JAG6V73
| URI | m2://inv/PN8JAG6V73 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19791#VTB1, Sec. 1.6 + Cor 1.10.9 (statement). In AVDB4KJ6XB/e1, proposition 3.11
History
- 2026-10-28: add by m2/v0.4.2
PN8R715YY2 PN8R715YY2
| URI | m2://inv/PN8R715YY2 |
|---|---|
| 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.11082#XU2T (statement). In GFPFFN0BXV/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.3
PN8SYM0Z5V PN8SYM0Z5V
| URI | m2://inv/PN8SYM0Z5V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#Z2JB (statement). In VNE8N0D2FB/e1, proposition 4.17
History
- 2026-10-31: add by m2/v0.5.6
Statement of the Weil conjectures PN8YBJTB6W
| URI | m2://inv/PN8YBJTB6W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weil conjectures#HF5H, Statement of the Weil conjectures (statement)
History
- 2026-11-02: add by m2/dev
432 (number) PN907VD9GZ
| URI | m2://inv/PN907VD9GZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#F0DI, 432 (number) (unknown)
History
- 2026-11-02: add by m2/dev
PN969VJ5TT PN969VJ5TT
| URI | m2://inv/PN969VJ5TT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#example-4 (example). In RZP28ERRZV, example, section 92.3
History
- 2026-11-01: add by m2/v0.6.13
PN99DMM2H7 PN99DMM2H7
| URI | m2://inv/PN99DMM2H7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 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.20932#LA97 (statement). In FV78KV64B9/e1, theorem 7.1
History
- 2026-10-27: add by m2/v0.4.2
Process tracing PN9S441W5Z
| URI | m2://inv/PN9S441W5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Process tracing, Process tracing (definition). Also Wikidata Q7247309
History
- 2026-11-02: add by m2/dev
PN9THGVV8X PN9THGVV8X
| URI | m2://inv/PN9THGVV8X |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31478#ZSUJ (problem). In 56P0XQZZ3D/e1, problem 4.3
History
- 2026-10-31: add by m2/v0.5.6
Quotient space PN9W2ZHMP9
| URI | m2://inv/PN9W2ZHMP9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#MFLO, Quotient space (definition)
History
- 2026-11-02: add by m2/dev
Kahane's convexity inequality PNA1MTP5TZ
| URI | m2://inv/PNA1MTP5TZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.09121#3R3T, Kahane's convexity inequality (statement). In 559PF7Q5BT/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
Hyperplane separation theorem PNA4VB4X0Z
| URI | m2://inv/PNA4VB4X0Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperplane separation theorem#5SUM, Hyperplane separation theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties PNA9QTJA25
| URI | m2://inv/PNA9QTJA25 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar decomposition#G2YY, Properties (statement)
History
- 2026-11-02: add by m2/dev
PNAD54Y0XQ PNAD54Y0XQ
| URI | m2://inv/PNAD54Y0XQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31783#JIGR (statement). In CGNVT4C47F/e1, lemma 4.4
History
- 2026-10-31: add by m2/v0.5.6
Gaussian power-moment asymptotics PNAESAXHXR
| URI | m2://inv/PNAESAXHXR |
|---|---|
| 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.05498#YR9P, Gaussian power-moment asymptotics (statement). In TJT32RQ9GC/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
Trigonometric identities PNAF76BM9B
| URI | m2://inv/PNAF76BM9B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics reference tables#RXAN, Trigonometric identities (topic)
History
- 2026-11-02: add by m2/dev
John Kingman PNAH1J2FJD
| URI | m2://inv/PNAH1J2FJD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6070, John Kingman (unknown)
History
- 2026-11-02: add by m2/dev
PNAP5J2RW3 PNAP5J2RW3
| URI | m2://inv/PNAP5J2RW3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32439#RNUT (statement). In GD8D1YH7K4/e1, theorem 2.4
History
- 2026-10-31: add by m2/v0.5.6
Kleinian integer PNASFQRH4J
| URI | m2://inv/PNASFQRH4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Felix Klein#CM8E, Kleinian integer (definition)
History
- 2026-11-02: add by m2/dev
descent estimate PNB3VZBS2W
| URI | m2://inv/PNB3VZBS2W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.24606#JYM4, descent estimate (statement). In VFV3FFB7Q7/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.5
Elliot Engel PNBQ4VP3KQ
| URI | m2://inv/PNBQ4VP3KQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#90NS, Elliot Engel (unknown)
History
- 2026-11-02: add by m2/dev
PNBQS9QFYT PNBQS9QFYT
| URI | m2://inv/PNBQS9QFYT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22924#QDQ8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Branchwise density criterion PNBREBK0X7
| URI | m2://inv/PNBREBK0X7 |
|---|---|
| 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.32078#W53S, Branchwise density criterion (statement). In 5PN85N6EJF/e1, proposition 9.4
History
- 2026-10-31: add by m2/v0.5.6
Theorem PNBZXCQFMV
| URI | m2://inv/PNBZXCQFMV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regression toward the mean#NKUK, Theorem (statement)
History
- 2026-11-02: add by m2/dev
PNCBKQRBTC PNCBKQRBTC
| URI | m2://inv/PNCBKQRBTC |
|---|---|
| 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.11271#8YS8 (statement). In HF7J38T8Y6/e1, corollary 3.8
History
- 2026-10-28: add by m2/v0.4.3
Irene Mulvey PNCK8Q35BB
| URI | m2://inv/PNCK8Q35BB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irene Mulvey, Irene Mulvey (topic). Also Wikidata Q100282677
History
- 2026-11-02: add by m2/dev
PNCMDH69BW PNCMDH69BW
| URI | m2://inv/PNCMDH69BW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#proof-2 (proof). In RZP28ERRZV, proof, section 27.2.2
History
- 2026-11-01: add by m2/v0.6.13
Gauss interpolation formula PNCMZ6CZ4E
| URI | m2://inv/PNCMZ6CZ4E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4202118, Gauss interpolation formula (unknown). Also EoM Gauss_interpolation_formula
History
- 2026-10-26: add by m2/dev
PNCVCAT0ER PNCVCAT0ER
| URI | m2://inv/PNCVCAT0ER |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Stephen P. Boyd PNCZ6VF1HY
| URI | m2://inv/PNCZ6VF1HY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NCDJ, Stephen P. Boyd (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MB27, Stephen P. Boyd (unknown)
History
- 2026-11-02: add by m2/dev
inscribed circle PND0G8SFR8
| URI | m2://inv/PND0G8SFR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q354337, inscribed circle (definition). Also MathWorld Incircle, ProofWiki Definition:Incircle_of_Triangle
History
- 2026-10-26: add by m2/dev
Drift certificate and majorant PND26B933G
| URI | m2://inv/PND26B933G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-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 2609.27766#96D4, Drift certificate and majorant (definition)
History
- 2026-11-01: add by m2/v0.6.15
Examples PND58PN5XE
| URI | m2://inv/PND58PN5XE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Net (mathematics)#4SJD, Examples (example)
History
- 2026-11-02: add by m2/dev
PND6EQ9B9W PND6EQ9B9W
| URI | m2://inv/PND6EQ9B9W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05184#7WS0 (statement). In JK425E1F77/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
PNDKWSVXXG PNDKWSVXXG
| URI | m2://inv/PNDKWSVXXG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-22 (proof). In N54F33XE07, proof, section B.3.3
History
- 2026-11-01: add by m2/v0.6.13
Reed--Solomon code PNDZPMQXMF
| URI | m2://inv/PNDZPMQXMF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33512#GMNI, Reed--Solomon code (definition). In WYHZMYZT31/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Music cipher PNE9VZYTEG
| URI | m2://inv/PNE9VZYTEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Music cipher, Music cipher (definition). Also Wikidata Q124683255
History
- 2026-11-02: add by m2/dev
PNEGVNB5WJ PNEGVNB5WJ
| URI | m2://inv/PNEGVNB5WJ |
|---|---|
| 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.05722#UFP8 (statement). In NDKWV5J14V/e1, corollary 2.1
History
- 2026-10-29: add by m2/v0.4.10
PNEK3T0H0Y PNEK3T0H0Y
| URI | m2://inv/PNEK3T0H0Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03811#POUL (statement). In DHQWFJW02X/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Howard Heys PNERTB7AM9
| URI | m2://inv/PNERTB7AM9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Howard Heys, Howard Heys (topic). Also Wikidata Q4497092
History
- 2026-11-02: add by m2/dev
Anne Polivka PNESJQ9AJC
| URI | m2://inv/PNESJQ9AJC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anne Polivka, Anne Polivka (topic). Also Wikidata Q103297324
History
- 2026-11-02: add by m2/dev
PNFA8FWDDQ PNFA8FWDDQ
| URI | m2://inv/PNFA8FWDDQ |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
Miami PNFD9VVVWV
| URI | m2://inv/PNFD9VVVWV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#U7IH, Miami (unknown)
History
- 2026-11-02: add by m2/dev
PNFSR0H7RV PNFSR0H7RV
| URI | m2://inv/PNFSR0H7RV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#definition-2 (definition). In RZP28ERRZV, definition, section 92.3
History
- 2026-11-01: add by m2/v0.6.13
Alfred Pringsheim PNG15D7D42
| URI | m2://inv/PNG15D7D42 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#N1Z2, Alfred Pringsheim (topic)
History
- 2026-11-02: add by m2/dev
Henry Atkinson PNG3BB1C35
| URI | m2://inv/PNG3BB1C35 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Atkinson (scientist), Henry Atkinson (topic). Also Wikidata Q15994274
History
- 2026-11-02: add by m2/dev
PNGCXAWZ2G PNGCXAWZ2G
| URI | m2://inv/PNGCXAWZ2G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05314#ZH5K (statement). In PA3B6C0WY7/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.10
Local prediction by finite-volume reconstruction PNGMP01ZS8
| URI | m2://inv/PNGMP01ZS8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.00448#9XRR, Local prediction by finite-volume reconstruction (statement). In N06J7GC05Q/e1, corollary 8.3
History
- 2026-10-30: add by m2/v0.4.12
Dyadic BMO PNGQ0P7KTT
| URI | m2://inv/PNGQ0P7KTT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded mean oscillation#P4U7, Dyadic BMO (unknown)
History
- 2026-11-02: add by m2/dev
PNGWR63N55 PNGWR63N55
| URI | m2://inv/PNGWR63N55 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0906.2853#2AKI (conjecture). In 32ZZ1DETCX/e1, conjecture 1.2
History
- 2026-10-27: add by m2/v0.3.5
Doubled inverse-limit base PNGYDNSSZ5
| URI | m2://inv/PNGYDNSSZ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#12UY, Doubled inverse-limit base (definition). In HF7YNMW39N/e1, definition 13.4
History
- 2026-10-27: add by m2/v0.4.0
Analytic–synthetic distinction PNH0BASBQE
| URI | m2://inv/PNH0BASBQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic–synthetic distinction, Analytic–synthetic distinction (definition). Also Wikidata Q485413
History
- 2026-11-02: add by m2/dev
PNH6XAV0KJ PNH6XAV0KJ
| URI | m2://inv/PNH6XAV0KJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27628#7UQL (example)
History
- 2026-11-01: add by m2/v0.6.15
Marjorie Senechal PNH6YFBX86
| URI | m2://inv/PNH6YFBX86 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OHO2, Marjorie Senechal (unknown)
History
- 2026-11-02: add by m2/dev
PNH8F5CPVB PNH8F5CPVB
| URI | m2://inv/PNH8F5CPVB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20050#KEC9 (definition). In T41GD0Y0GX/e1, definition A.5
History
- 2026-10-27: add by m2/v0.4.2
Duality (mechanical engineering) PNHDTV5NNM
| URI | m2://inv/PNHDTV5NNM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#DCBQ, Duality (mechanical engineering) (unknown)
History
- 2026-11-02: add by m2/dev
Primorial number system PNHHJJHTHK
| URI | m2://inv/PNHHJJHTHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numeral systems#EVER, Primorial number system (definition)
History
- 2026-11-02: add by m2/dev
PNHK4YJAFN PNHK4YJAFN
| URI | m2://inv/PNHK4YJAFN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
Surindar Kumar Trehan PNHKQDRAQ2
| URI | m2://inv/PNHKQDRAQ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surindar Kumar Trehan, Surindar Kumar Trehan (topic). Also Wikidata Q16016290
History
- 2026-11-02: add by m2/dev
N2 chart PNHNCDNMBC
| URI | m2://inv/PNHNCDNMBC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#4NUR, N2 chart (unknown)
History
- 2026-11-02: add by m2/dev
PNHVD5S3VM PNHVD5S3VM
| URI | m2://inv/PNHVD5S3VM |
|---|---|
| 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#QJ0C (statement). In CY1FE8W1ZW/e1, lemma 0.201
History
- 2026-10-27: add by m2/v0.4.0
Java applet PNJ2PM8TDJ
| URI | m2://inv/PNJ2PM8TDJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of interactive geometry software#51D7, Java applet (unknown)
History
- 2026-11-02: add by m2/dev
pancyclic graph PNJ3JVHY2H
| URI | m2://inv/PNJ3JVHY2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7130424, pancyclic graph (unknown). Also MathWorld PancyclicGraph
- wikipedia: Wikipedia Pancyclic graph, Pancyclic graph (definition). Also Wikidata Q7130424
History
- 2026-10-26: add by m2/dev
Affecting PNJ560YN1M
| URI | m2://inv/PNJ560YN1M |
|---|---|
| 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 math/0003117#IRA2, Affecting (definition). In WD2NCBV9F0/e1, definition 10.15
History
- 2026-10-27: add by m2/v0.3.5
Cauchy's mean-value theorem PNJ96T5T9M
| URI | m2://inv/PNJ96T5T9M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3984001, Cauchy's mean-value theorem (statement). Also MathWorld ExtendedMean-ValueTheorem
History
- 2026-10-26: add by m2/dev
PNJ9Q8EMDF PNJ9Q8EMDF
| URI | m2://inv/PNJ9Q8EMDF |
|---|---|
| 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.29501#P7AV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Constructive Seysen reduction PNJAX4FTB2
| URI | m2://inv/PNJAX4FTB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37482#PVDK, Constructive Seysen reduction (statement). In 9QDRMZX8EY/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
Bilevel optimization PNJNGQGENJ
| URI | m2://inv/PNJNGQGENJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bilevel optimization, Bilevel optimization (definition). Also Wikidata Q4907693
History
- 2026-11-02: add by m2/dev
PNJQH84GW6 PNJQH84GW6
| URI | m2://inv/PNJQH84GW6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 1006.3331#0BGM (statement). In AY6WYB9RR3/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
PNJXYB088W PNJXYB088W
| URI | m2://inv/PNJXYB088W |
|---|---|
| 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.01433#ZUWX (statement). In 160PQ7F1AS/e1, corollary 4.31
History
- 2026-10-29: add by m2/v0.4.12
Kepler Follow-up Program PNJZGJS31F
| URI | m2://inv/PNJZGJS31F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#KPMW, Kepler Follow-up Program (unknown)
History
- 2026-11-02: add by m2/dev
Ana Carpio PNK70X1370
| URI | m2://inv/PNK70X1370 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ana Carpio, Ana Carpio (topic). Also Wikidata Q61114737
History
- 2026-11-02: add by m2/dev
Rademacher-Menshov Theorem PNK7M9QSWX
| URI | m2://inv/PNK7M9QSWX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04673#KG00, Rademacher-Menshov Theorem (statement). In KKC0CT44FJ/e1, lemma 1.2
History
- 2026-10-29: add by m2/v0.4.12
Gauge Transformations PNKGS5YC06
| URI | m2://inv/PNKGS5YC06 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauge theory#LQRC, Gauge Transformations (unknown)
History
- 2026-11-02: add by m2/dev
Lanchester's laws PNKJS6YM2Q
| URI | m2://inv/PNKJS6YM2Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#7HGE, Lanchester's laws (statement)
History
- 2026-11-02: add by m2/dev
Lower bound on the shell interaction PNKKWM37H7
| URI | m2://inv/PNKKWM37H7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00453#BGLE, Lower bound on the shell interaction (statement). In ESPJMBH2R2/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
RC4 variants PNKQ37QHBX
| URI | m2://inv/PNKQ37QHBX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RC4#DQBK, RC4 variants (statement)
History
- 2026-11-02: add by m2/dev
PNKQMSFT5W PNKQMSFT5W
| URI | m2://inv/PNKQMSFT5W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26434#W9QG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cube attack PNKRQ54WQR
| URI | m2://inv/PNKRQ54WQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cube attack, Cube attack (definition). Also Wikidata Q5192214
History
- 2026-11-02: add by m2/dev
Louise Duffield Cummings PNKSCXG8RF
| URI | m2://inv/PNKSCXG8RF |
|---|---|
| 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#6P2Q, Louise Duffield Cummings (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WHLU, Louise Duffield Cummings (unknown)
History
- 2026-11-02: add by m2/dev
PNKTCKEM02 PNKTCKEM02
| URI | m2://inv/PNKTCKEM02 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_polya_perm-groups.ptx#example-4 (example). In QKM9DD2H56, example, section 15.2.2
History
- 2026-11-01: add by m2/v0.6.13
Fitted replay value bound PNKWG93A5Q
| URI | m2://inv/PNKWG93A5Q |
|---|---|
| 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.04638#056Y, Fitted replay value bound (statement). In 3YM5F3YHD5/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.12
PNM3C4HRQC PNM3C4HRQC
| URI | m2://inv/PNM3C4HRQC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37252#847F (statement). In E3EK0ESPA7/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Weight stability PNM5VS61P6
| URI | m2://inv/PNM5VS61P6 |
|---|---|
| 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#1RC9, Weight stability (statement). In BYP65TRGDT/e1, lemma 5.9
History
- 2026-10-29: add by m2/v0.4.12
Integrating the residual PNM633F57N
| URI | m2://inv/PNM633F57N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#WH46, Integrating the residual (statement). In JY6RYSNXMJ/e1, proposition 8
History
- 2026-10-29: add by m2/v0.4.10
PNM8889QWK PNM8889QWK
| URI | m2://inv/PNM8889QWK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23119#3RFE (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties PNMBBCCTXV
| URI | m2://inv/PNMBBCCTXV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loewner order#GE13, Properties (statement)
History
- 2026-11-02: add by m2/dev
PNMBPEZH5N PNMBPEZH5N
| URI | m2://inv/PNMBPEZH5N |
|---|---|
| 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 2503.08018#YL35 (statement). In TN93YFN45W/e1, lemma 8.4
History
- 2026-10-27: add by m2/v0.4.0
Product expansion PNMDHXAARS
| URI | m2://inv/PNMDHXAARS |
|---|---|
| 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.02512#BPM0, Product expansion (definition). In 6XDJ8ZEMM3/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.12
PNMGJMDWR5 PNMGJMDWR5
| URI | m2://inv/PNMGJMDWR5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/sol-and-set-theory/cardinalities.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 66.3
History
- 2026-11-01: add by m2/v0.6.13
PNMH0RPCVW PNMH0RPCVW
| URI | m2://inv/PNMH0RPCVW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#KUMM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lucas polynomials PNMK644SVT
| URI | m2://inv/PNMK644SVT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#K0RJ, Lucas polynomials (definition)
History
- 2026-11-02: add by m2/dev
Analysis of molecular variance PNMM29TP9Q
| URI | m2://inv/PNMM29TP9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1JJH, Analysis of molecular variance (definition)
History
- 2026-11-02: add by m2/dev
Genus three surface PNMXM8ZCD2
| URI | m2://inv/PNMXM8ZCD2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genus g surface#W3T7, Genus three surface (unknown)
History
- 2026-11-02: add by m2/dev
PNMZQ6YAYX PNMZQ6YAYX
| URI | m2://inv/PNMZQ6YAYX |
|---|---|
| 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.28649#TN3U (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cours d'Analyse PNN134ZGYW
| URI | m2://inv/PNN134ZGYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics history topics#J3HD, Cours d'Analyse (definition)
History
- 2026-11-02: add by m2/dev
K. S. Chandrasekharan PNN9GX6QBK
| URI | m2://inv/PNN9GX6QBK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#B9CL, K. S. Chandrasekharan (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LYUG, K. S. Chandrasekharan (topic)
History
- 2026-11-02: add by m2/dev
Multi-layer SSM client heterogeneity bound under total variation PNNG8XE858
| URI | m2://inv/PNNG8XE858 |
|---|---|
| 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.02659#VCLV, Multi-layer SSM client heterogeneity bound under total variation (statement). In EV933413SJ/e1, lemma C.7
History
- 2026-10-29: add by m2/v0.4.12
PNNHZYH14S PNNHZYH14S
| URI | m2://inv/PNNHZYH14S |
|---|---|
| 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.15402#G36A (definition). In WSE8SEHVXG/e1, definition 4
History
- 2026-10-28: add by m2/v0.4.2
$h_I$ eventually constant when $\dim \Vp(I) = 0$ PNNK6SV88C
| URI | m2://inv/PNNK6SV88C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/bezout.tex#corollary-1, $h_I$ eventually constant when $\dim \Vp(I) = 0$ (statement). In RZP28ERRZV, corollary, section 20.2
History
- 2026-11-01: add by m2/v0.6.13
PNNMYAHD9P PNNMYAHD9P
| URI | m2://inv/PNNMYAHD9P |
|---|---|
| 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.17677#FYZ1 (statement). In 5E9G06XJKC/e1, lemma F.16
History
- 2026-10-28: add by m2/v0.4.2
PNP43TZDBB PNP43TZDBB
| URI | m2://inv/PNP43TZDBB |
|---|---|
| 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.09084#TNL4 (statement). In F5VT2K2QYX/e1, theorem 8
History
- 2026-10-29: add by m2/v0.4.10
adele PNP5V86NSS
| URI | m2://inv/PNP5V86NSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#3Q3O, adele (definition)
History
- 2026-11-02: add by m2/dev
PNPAGT4AGS PNPAGT4AGS
| URI | m2://inv/PNPAGT4AGS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#FQBF (definition)
History
- 2026-11-01: add by m2/v0.6.15
Donald Ornstein PNPWCN6PTH
| URI | m2://inv/PNPWCN6PTH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#6L7K, Donald Ornstein (topic)
History
- 2026-11-02: add by m2/dev
Related results PNPYCZ8DMP
| URI | m2://inv/PNPYCZ8DMP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strassmann's theorem#ONVM, Related results (statement)
History
- 2026-11-02: add by m2/dev
PNPYRVMZE3 PNPYRVMZE3
| URI | m2://inv/PNPYRVMZE3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26479#VLMZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
PNQ1WDQZJN PNQ1WDQZJN
| URI | m2://inv/PNQ1WDQZJN |
|---|---|
| Kind | example |
| 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.07673#0WI3 (example). In 37B1MPV8GX/e1, example 9.8
History
- 2026-10-29: add by m2/v0.4.10
PNQ48FS2KG PNQ48FS2KG
| URI | m2://inv/PNQ48FS2KG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#WJQM (statement). In 6HJQXZS0A6/e1, lemma 3.18
History
- 2026-10-29: add by m2/v0.4.12
change of variables PNQ4T63A9E
| URI | m2://inv/PNQ4T63A9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#KU30, change of variables (definition)
History
- 2026-11-02: add by m2/dev
Bordiga surface PNQ622FK1G
| URI | m2://inv/PNQ622FK1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bordiga surface, Bordiga surface (definition). Also Wikidata Q4944732
History
- 2026-11-02: add by m2/dev
Sophie Germain prime PNQBCZXDXA
| URI | m2://inv/PNQBCZXDXA |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#K0HM, Sophie Germain prime (conjecture)
History
- 2026-11-02: add by m2/dev
Revaz Gamkrelidze PNQQQBT1K1
| URI | m2://inv/PNQQQBT1K1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Revaz Gamkrelidze, Revaz Gamkrelidze (topic). Also Wikidata Q935280
History
- 2026-11-02: add by m2/dev
PNQTK8RJBD PNQTK8RJBD
| URI | m2://inv/PNQTK8RJBD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22297#EX5F (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties PNQTSYVMEX
| URI | m2://inv/PNQTSYVMEX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hitchin functional#EXGR, Properties (statement)
History
- 2026-11-02: add by m2/dev
PNQW3TKSHG PNQW3TKSHG
| URI | m2://inv/PNQW3TKSHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#V47S (statement). In S26QVW5613/e1, lemma 0.0.6
History
- 2026-10-30: add by m2/v0.4.12
PNQWTN3JR0 PNQWTN3JR0
| URI | m2://inv/PNQWTN3JR0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35632#CJ7Z (statement). In Q74G3BVZAQ/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.3.5
The little Desargues theorem PNQZGADT65
| URI | m2://inv/PNQZGADT65 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Desargues's theorem#37Q9, The little Desargues theorem (statement)
History
- 2026-11-02: add by m2/dev
PNR4H10BGS PNR4H10BGS
| URI | m2://inv/PNR4H10BGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23238#O3QO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Chaplygin sleigh PNRA5W95Z7
| URI | m2://inv/PNRA5W95Z7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chaplygin sleigh, Chaplygin sleigh (definition). Also Wikidata Q17006435
History
- 2026-11-02: add by m2/dev
PNRPFPVXJA PNRPFPVXJA
| URI | m2://inv/PNRPFPVXJA |
|---|---|
| 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.10469#VDDY (definition). In Q39BEKW6D9/e1, definition 2.15
History
- 2026-10-29: add by m2/v0.4.10
PNRRPFC3V7 PNRRPFC3V7
| URI | m2://inv/PNRRPFC3V7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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 2609.35577#JLZW (definition). In 4F8QRV05BV/e1, definition 2.6
History
- 2026-10-30: add by m2/v0.4.12
Francesco Carlini PNRWY3J408
| URI | m2://inv/PNRWY3J408 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#T37Y, Francesco Carlini (unknown)
History
- 2026-11-02: add by m2/dev
PNS5S7Y6QT PNS5S7Y6QT
| URI | m2://inv/PNS5S7Y6QT |
|---|---|
| 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#Z6XK (statement). In NBMA6DBKJG/e1, corollary 3.9
History
- 2026-10-28: add by m2/v0.4.2
Theorem PNS6MREQQ2
| URI | m2://inv/PNS6MREQQ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forbidden subgraph problem#W01O, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Elias Bassalygo bound PNS738JGTC
| URI | m2://inv/PNS738JGTC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elias Bassalygo bound, Elias Bassalygo bound (definition). Also Wikidata Q5360449
History
- 2026-11-02: add by m2/dev
representable morphism PNSA2G9792
| URI | m2://inv/PNSA2G9792 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#HC0Y, representable morphism (definition)
History
- 2026-11-02: add by m2/dev
PNSCKKN3GP PNSCKKN3GP
| URI | m2://inv/PNSCKKN3GP |
|---|---|
| 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.20126#YB14 (statement). In KVXDWX9B11/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.4.2
PNSCWBAX6Y PNSCWBAX6Y
| URI | m2://inv/PNSCWBAX6Y |
|---|---|
| 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.15593#8JUT (statement). In PREJREM4BB/e1, lemma 4.13
History
- 2026-10-28: add by m2/v0.4.2
PNSN83G7T6 PNSN83G7T6
| URI | m2://inv/PNSN83G7T6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IrrationalityRoot2.tex#problem-1 (exercise). In P1C114YBXG, problem, section F
History
- 2026-11-01: add by m2/v0.6.13
Early numeracy PNSQ81YEFT
| URI | m2://inv/PNSQ81YEFT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Early numeracy, Early numeracy (topic). Also Wikidata Q5326889
History
- 2026-11-02: add by m2/dev
Prediction interval PNST96ZP9J
| URI | m2://inv/PNST96ZP9J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5W04, Prediction interval (definition)
History
- 2026-11-02: add by m2/dev
Minimum-energy lift of a covariance velocity PNSY7C4Q76
| URI | m2://inv/PNSY7C4Q76 |
|---|---|
| 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.09356#FN07, Minimum-energy lift of a covariance velocity (statement). In 3VVGPXWH6R/e1, proposition C.25
History
- 2026-10-29: add by m2/v0.4.10
McShane integral PNT0F0JSRW
| URI | m2://inv/PNT0F0JSRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McShane integral, McShane integral (definition). Also Wikidata Q114024141
History
- 2026-11-02: add by m2/dev
PNT1F4HDQ7 PNT1F4HDQ7
| URI | m2://inv/PNT1F4HDQ7 |
|---|---|
| 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.00337#4I4R (statement). In 5STQ3ABZ60/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
PNT38Y43VP PNT38Y43VP
| URI | m2://inv/PNT38Y43VP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2411.16022#04SI (statement). In QG9ATXTKJ6/e1, proposition 2.25
History
- 2026-10-27: add by m2/v0.3.5
Submicroscopic PNT3FTS9HF
| URI | m2://inv/PNT3FTS9HF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (volume)#ED7H, Submicroscopic (unknown)
History
- 2026-11-02: add by m2/dev
D-interval hypergraph PNT5AS8QXN
| URI | m2://inv/PNT5AS8QXN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia D-interval hypergraph, D-interval hypergraph (definition). Also Wikidata Q104864580
History
- 2026-11-02: add by m2/dev
Symmetry PNTAD871N3
| URI | m2://inv/PNTAD871N3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bilinski dodecahedron#F869, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Municipality of Two Borders PNTF0EJHB0
| URI | m2://inv/PNTF0EJHB0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#9XZ4, Municipality of Two Borders (unknown)
History
- 2026-11-02: add by m2/dev
Hex PNTHG3HNC4
| URI | m2://inv/PNTHG3HNC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#BQ0Y, Hex (definition)
History
- 2026-11-02: add by m2/dev
PNTQ0AEVBV PNTQ0AEVBV
| URI | m2://inv/PNTQ0AEVBV |
|---|---|
| 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.27974#IQ6H (definition)
History
- 2026-11-01: add by m2/v0.6.15
Examples PNTRBGCVYV
| URI | m2://inv/PNTRBGCVYV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argumentation scheme#7LGN, Examples (example)
History
- 2026-11-02: add by m2/dev
Formal definition PNTTN3G9KG
| URI | m2://inv/PNTTN3G9KG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dagger compact category#8NGN, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Characterizations PNV45SF3D5
| URI | m2://inv/PNV45SF3D5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval graph#24XF, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Chang's model PNV91WWGWY
| URI | m2://inv/PNV91WWGWY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chang's model, Chang's model (definition). Also Wikidata Q18205929
History
- 2026-11-02: add by m2/dev
subgroup bound PNVA9ZTR7H
| URI | m2://inv/PNVA9ZTR7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07508#VCUP, subgroup bound (statement). In TPA3E67MKK/e1, proposition 5.11
History
- 2026-10-29: add by m2/v0.4.10
PNVDJ4RNM2 PNVDJ4RNM2
| URI | m2://inv/PNVDJ4RNM2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#proof-7 (proof). In RZP28ERRZV, proof, section 61.5
History
- 2026-11-01: add by m2/v0.6.13
PNVDPZ77DZ PNVDPZ77DZ
| URI | m2://inv/PNVDPZ77DZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#DIYU (statement). In XYCBKM4WKY/e1, theorem 31
History
- 2026-10-27: add by m2/v0.3.5
Examples PNVHG29VRN
| URI | m2://inv/PNVHG29VRN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal crossing singularity#LXXS, Examples (example)
History
- 2026-11-02: add by m2/dev
PNVJ81S86X PNVJ81S86X
| URI | m2://inv/PNVJ81S86X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23119#FGJX (statement)
History
- 2026-11-02: add by m2/v0.6.17
Notation PNVM1ZSBN9
| URI | m2://inv/PNVM1ZSBN9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19360#KLX8, Notation (definition). In MFCW5CY96C/e1, definition 14
History
- 2026-10-28: add by m2/v0.4.2
PNVQWK6H5X PNVQWK6H5X
| URI | m2://inv/PNVQWK6H5X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#DRRX (statement). In VNE8N0D2FB/e1, lemma 4.14
History
- 2026-10-31: add by m2/v0.5.6
Biochemical systems equation PNVYAWAZG5
| URI | m2://inv/PNVYAWAZG5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biochemical systems equation, Biochemical systems equation (definition). Also Wikidata Q116756604
History
- 2026-11-02: add by m2/dev
upper irredundance number PNW372RZMS
| URI | m2://inv/PNW372RZMS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130486997, upper irredundance number (unknown). Also MathWorld UpperIrredundanceNumber
History
- 2026-10-26: add by m2/dev
Sakabe Kōhan PNW82BDJD8
| URI | m2://inv/PNW82BDJD8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sakabe Kōhan, Sakabe Kōhan (topic). Also Wikidata Q7402732
History
- 2026-11-02: add by m2/dev
PNWCHPZEP6 PNWCHPZEP6
| URI | m2://inv/PNWCHPZEP6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01912#GG45 (statement). In CTE1C9KYPY/e1, corollary 3.7
History
- 2026-10-29: add by m2/v0.4.12
Moment-generating function PNWMT58RN4
| URI | m2://inv/PNWMT58RN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FCIU, Moment-generating function (definition)
- wikipedia: Wikipedia List of probability topics#KPE9, Moment-generating function (definition)
History
- 2026-11-02: add by m2/dev
PNWQZH678V PNWQZH678V
| URI | m2://inv/PNWQZH678V |
|---|---|
| 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.03337#4N5N (statement). In VH7EZDGTNA/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
Piecewise-deterministic Markov process PNWVMX8CG7
| URI | m2://inv/PNWVMX8CG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Piecewise-deterministic Markov process, Piecewise-deterministic Markov process (definition). Also Wikidata Q7191422
History
- 2026-11-02: add by m2/dev
PNWX5A06P1 PNWX5A06P1
| URI | m2://inv/PNWX5A06P1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#YVPO (statement)
History
- 2026-11-02: add by m2/v0.6.17
PNX664WPSB PNX664WPSB
| URI | m2://inv/PNX664WPSB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#V3VT (example). In 9ZSNSJRJ5N/e1, example 11
History
- 2026-10-27: add by m2/v0.4.2
Criticism of mathematical finance PNX6WBZDWM
| URI | m2://inv/PNX6WBZDWM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical finance#JKMV, Criticism of mathematical finance (unknown)
History
- 2026-11-02: add by m2/dev
Hao Helen Zhang PNX92CJE95
| URI | m2://inv/PNX92CJE95 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hao Helen Zhang, Hao Helen Zhang (topic). Also Wikidata Q42724254
History
- 2026-11-02: add by m2/dev
PNXC3VW16G PNXC3VW16G
| URI | m2://inv/PNXC3VW16G |
|---|---|
| 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 2609.25167#49CP (statement)
History
- 2026-11-01: add by m2/v0.6.15
PNXST5KYJ6 PNXST5KYJ6
| URI | m2://inv/PNXST5KYJ6 |
|---|---|
| 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.39269#EFWF (statement). In HS4X20TX33/e1, corollary 0.13
History
- 2026-10-30: add by m2/v0.4.12
Core PNXT2SNCA1
| URI | m2://inv/PNXT2SNCA1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Core (game theory), Core (definition). Also Wikidata Q2630146
History
- 2026-11-02: add by m2/dev
Ancient Egyptian algebra PNXTP2XGSW
| URI | m2://inv/PNXTP2XGSW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of algebra#D77R, Ancient Egyptian algebra (unknown)
History
- 2026-11-02: add by m2/dev
PNXX2R7CP3 PNXX2R7CP3
| URI | m2://inv/PNXX2R7CP3 |
|---|---|
| Kind | example |
| 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.27056#WVV7 (example)
History
- 2026-11-01: add by m2/v0.6.15
Formal definition PNXXKPWJHV
| URI | m2://inv/PNXXKPWJHV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric projection#X4P2, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
PNY3GWV2G7 PNY3GWV2G7
| URI | m2://inv/PNY3GWV2G7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35858#B2KK (statement). In R2K4HZN8RW/e1, theorem 5.4
History
- 2026-10-30: add by m2/v0.4.12
Median-of-means estimation of $p_{\mathrm{sym}}^{(k)}o$ PNY448GAG1
| URI | m2://inv/PNY448GAG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39992#WJVO, Median-of-means estimation of $p_{\mathrm{sym}}^{(k)}o$ (statement). In WF64CGYVK1/e1, lemma S17
History
- 2026-10-30: add by m2/v0.4.12
Wichmann–Hill PNY8J6G9DA
| URI | m2://inv/PNY8J6G9DA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wichmann–Hill, Wichmann–Hill (definition). Also Wikidata Q22909767
History
- 2026-11-02: add by m2/dev
Ciphertext indistinguishability PNYEDSY94J
| URI | m2://inv/PNYEDSY94J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ciphertext indistinguishability, Ciphertext indistinguishability (definition). Also Wikidata Q840661
History
- 2026-11-02: add by m2/dev
PNYNAKG210 PNYNAKG210
| URI | m2://inv/PNYNAKG210 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30302#8K22 (statement). In R6ABTE22G0/e1, theorem 2
History
- 2026-10-31: add by m2/v0.5.6
Definitions PNYPSVRFY0
| URI | m2://inv/PNYPSVRFY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally compact quantum group#GH8L, Definitions (definition)
History
- 2026-11-02: add by m2/dev
tensor-hom adjunction PNYPWXJR2M
| URI | m2://inv/PNYPWXJR2M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Tensor-hom adjunction AVXARAXHKY |
Mentions
- wikidata: Wikidata Q16147769, tensor-hom adjunction (concept). Also MathWorld Adjunction
- wikipedia: Wikipedia Tensor–hom adjunction, Tensor–hom adjunction (definition). Also Wikidata Q16147769
History
- 2026-10-26: add by m2/dev
Examples PNYX46P8W8
| URI | m2://inv/PNYX46P8W8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiring#FK3N, Examples (example)
History
- 2026-11-02: add by m2/dev
PNZ4JXFSNQ PNZ4JXFSNQ
| URI | m2://inv/PNZ4JXFSNQ |
|---|---|
| Kind | statement |
| 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#8YH8 (statement). In 46370P3Y9S/e1, lemma 6.18
History
- 2026-10-27: add by m2/v0.4.2
Carlson's theorem PNZF1HY0V9
| URI | m2://inv/PNZF1HY0V9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5042898, Carlson's theorem (statement). Also Wikidata Q5042898
- thousand_plus: thousand_plus Q5042898, Carlson's theorem (statement). Also Wikidata Q5042898, Wikipedia Carlson's theorem
- wikipedia: Wikipedia Carlson's theorem, Carlson's theorem (statement). Also Wikidata Q5042898
History
- 2026-10-26: add by m2/dev
Wladimir Lewicki PNZG8YF73P
| URI | m2://inv/PNZG8YF73P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wladimir Lewicki, Wladimir Lewicki (topic). Also Wikidata Q95258526
History
- 2026-11-02: add by m2/dev
Examples PNZKQHGN0P
| URI | m2://inv/PNZKQHGN0P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theta constant#KXUH, Examples (example)
History
- 2026-11-02: add by m2/dev
Theorem PNZT8QDZZ6
| URI | m2://inv/PNZT8QDZZ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential forms on a Riemann surface#QZR8, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Robust quadratic form PNZZC3ABZ7
| URI | m2://inv/PNZZC3ABZ7 |
|---|---|
| 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.39449#JY0E, Robust quadratic form (statement). In GWC70X14RG/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12