Inventory rows YZ
The cards of the rows of the inventory whose ids start with YZ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
YZ03DER3SJ YZ03DER3SJ
| URI | m2://inv/YZ03DER3SJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/beyond/intuitionistic-logic.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
David Catlin YZ07HKVQ2N
| URI | m2://inv/YZ07HKVQ2N |
|---|---|
| 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#0PY0, David Catlin (topic)
History
- 2026-11-02: add by m2/dev
YZ0HNHTBR6 YZ0HNHTBR6
| URI | m2://inv/YZ0HNHTBR6 |
|---|---|
| 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.15700#AAFK (statement). In S95MSZ7MDR/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
YZ0NBY3N3T YZ0NBY3N3T
| URI | m2://inv/YZ0NBY3N3T |
|---|---|
| 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.37337#ZRX2 (statement). In 813JGZV08G/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
Shear transformation zones YZ13Q1ETEX
| URI | m2://inv/YZ13Q1ETEX |
|---|---|
| Kind | example |
| 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.37584#2NMH, Shear transformation zones (example). In 66F6N3BJWV/e1, example 2.1
History
- 2026-10-30: add by m2/v0.4.12
YZ1ER7KHRK YZ1ER7KHRK
| URI | m2://inv/YZ1ER7KHRK |
|---|---|
| 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.24569#JKJ4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nalini Joshi YZ1NJ2FSM6
| URI | m2://inv/YZ1NJ2FSM6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nalini Joshi, Nalini Joshi (topic). Also Wikidata Q6960912
History
- 2026-11-02: add by m2/dev
Lorentz space YZ1X3HAK6V
| URI | m2://inv/YZ1X3HAK6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Banach spaces#F9LJ, Lorentz space (definition)
History
- 2026-11-02: add by m2/dev
YZ2MPWGE76 YZ2MPWGE76
| URI | m2://inv/YZ2MPWGE76 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03175#LW0C (statement). In VMVNYKZ9GG/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
Dirichlet distribution YZ311F6TKZ
| URI | m2://inv/YZ311F6TKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OSAJ, Dirichlet distribution (definition)
History
- 2026-11-02: add by m2/dev
YZ35BE2ACF YZ35BE2ACF
| URI | m2://inv/YZ35BE2ACF |
|---|---|
| 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.13798#CCBE (statement). In GF2MA6Y29D/e1, corollary 2.7
History
- 2026-10-28: add by m2/v0.4.2
YZ376ZR7ZN YZ376ZR7ZN
| URI | m2://inv/YZ376ZR7ZN |
|---|---|
| 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.08193#ZMZ7 (definition). In 8XAKGH8S2D/e1, definition 2.10
History
- 2026-10-29: add by m2/v0.4.10
Steven Haberman YZ37RQGJ8C
| URI | m2://inv/YZ37RQGJ8C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#O8JD, Steven Haberman (unknown)
History
- 2026-11-02: add by m2/dev
YZ3D20EC3Z YZ3D20EC3Z
| URI | m2://inv/YZ3D20EC3Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33841#ML8H (statement). In 3CVQHT206K/e1, theorem 5.2
History
- 2026-10-30: add by m2/v0.4.12
Segre surface YZ3ENS4HR2
| URI | m2://inv/YZ3ENS4HR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Segre surface, Segre surface (definition). Also Wikidata Q7446320
History
- 2026-11-02: add by m2/dev
indefinite extensibility YZ3FKWM81S
| URI | m2://inv/YZ3FKWM81S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#MKMU, indefinite extensibility (definition)
History
- 2026-11-02: add by m2/dev
YZ3G2G611B YZ3G2G611B
| URI | m2://inv/YZ3G2G611B |
|---|---|
| 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.17883#HTGS (statement). In 9WSJV2WY2S/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
YZ3KF1Z0BQ YZ3KF1Z0BQ
| URI | m2://inv/YZ3KF1Z0BQ |
|---|---|
| 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.24412#LNRT (statement)
History
- 2026-11-01: add by m2/v0.6.15
YZ3QWHT6E6 YZ3QWHT6E6
| URI | m2://inv/YZ3QWHT6E6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#2LVO (statement). In ZJQB9W60T6/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Snub infinite-order triangular tiling YZ3QXJ411F
| URI | m2://inv/YZ3QXJ411F |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub infinite-order triangular tiling, Snub infinite-order triangular tiling (object). Also Wikidata Q25104478
History
- 2026-11-02: add by m2/dev
On the Number of Primes Less Than a Given Magnitude YZ3TD0ZBNN
| URI | m2://inv/YZ3TD0ZBNN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#0CTV, On the Number of Primes Less Than a Given Magnitude (definition)
History
- 2026-11-02: add by m2/dev
YZ48QBP9RK YZ48QBP9RK
| URI | m2://inv/YZ48QBP9RK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:idtounitary (statement). In N54F33XE07, lem, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
YZ4T16SE3K YZ4T16SE3K
| URI | m2://inv/YZ4T16SE3K |
|---|---|
| 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.21501#QDLI (example). In 1H64QT301C/e1, example 2.2
History
- 2026-10-27: add by m2/v0.4.2
YZ4YQ0VWA8 YZ4YQ0VWA8
| URI | m2://inv/YZ4YQ0VWA8 |
|---|---|
| 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.25843#GZEE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quadratic relation between correlation and concentration YZ5841EFSB
| URI | m2://inv/YZ5841EFSB |
|---|---|
| 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.20643#F4NT, Quadratic relation between correlation and concentration (statement)
History
- 2026-11-02: add by m2/v0.6.18
Random graph YZ58S3Z76A
| URI | m2://inv/YZ58S3Z76A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BYKG, Random graph (definition)
History
- 2026-11-02: add by m2/dev
Palm Springs North YZ5G2WZNP9
| URI | m2://inv/YZ5G2WZNP9 |
|---|---|
| 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#HFVC, Palm Springs North (unknown)
History
- 2026-11-02: add by m2/dev
SecureLog YZ5GBWW9R5
| URI | m2://inv/YZ5GBWW9R5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SecureLog, SecureLog (definition). Also Wikidata Q7444827
History
- 2026-11-02: add by m2/dev
Michael O. Rabin YZ5KDKZ396
| URI | m2://inv/YZ5KDKZ396 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#Y06Q, Michael O. Rabin (topic)
History
- 2026-11-02: add by m2/dev
Matching (graph theory) YZ5MRQHD70
| URI | m2://inv/YZ5MRQHD70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#8ZEN, Matching (graph theory) (definition)
History
- 2026-11-02: add by m2/dev
Prof: Alan Turing Decoded YZ5MRXNYEK
| URI | m2://inv/YZ5MRXNYEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prof: Alan Turing Decoded, Prof: Alan Turing Decoded (definition). Also Wikidata Q96400247
History
- 2026-11-02: add by m2/dev
Extreme value theorem YZ5MV1C6K9
| URI | m2://inv/YZ5MV1C6K9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous function#4063, Extreme value theorem (statement)
History
- 2026-11-02: add by m2/dev
Angular acceleration YZ5PYNJSGK
| URI | m2://inv/YZ5PYNJSGK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#1DXY, Angular acceleration (definition)
History
- 2026-11-02: add by m2/dev
YZ5X8NKJSC YZ5X8NKJSC
| URI | m2://inv/YZ5X8NKJSC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.07001#99T8 (statement). In 5DFTVG7FFF/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
YZ6AN798BC YZ6AN798BC
| URI | m2://inv/YZ6AN798BC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#prop:Kvalid (statement). In PKGMM3P5QY, prop, section 54.7
History
- 2026-11-01: add by m2/v0.6.13
Applications YZ6GC2JGDZ
| URI | m2://inv/YZ6GC2JGDZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar coordinate system#XKZR, Applications (example)
History
- 2026-11-02: add by m2/dev
Quantum phase estimation algorithm YZ6JBXNAF0
| URI | m2://inv/YZ6JBXNAF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum phase estimation algorithm, Quantum phase estimation algorithm (definition). Also Wikidata Q2835770
History
- 2026-11-02: add by m2/dev
great dodecicosacron YZ6T7TVK7Y
| URI | m2://inv/YZ6T7TVK7Y |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5600350, great dodecicosacron (unknown). Also MathWorld GreatDodecicosacron
- wikipedia: Wikipedia Great dodecicosacron, Great dodecicosacron (object). Also Wikidata Q5600350
History
- 2026-10-26: add by m2/dev
Definition YZ6VPV4PWY
| URI | m2://inv/YZ6VPV4PWY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adaptive estimator#8439, Definition (definition)
History
- 2026-11-02: add by m2/dev
YZ70JRCHXN YZ70JRCHXN
| URI | m2://inv/YZ70JRCHXN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-3.xml#prop-diagonalizability (statement). In 649HGZKE96, proposition, section 4.3.2
History
- 2026-11-01: add by m2/v0.6.13
Stokes flow YZ72D60J6P
| URI | m2://inv/YZ72D60J6P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes flow, Stokes flow (definition). Also Wikidata Q674202
History
- 2026-11-02: add by m2/dev
Algebraic properties YZ77M8CBNG
| URI | m2://inv/YZ77M8CBNG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pauli matrices#MMDS, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
fundamental theorem of algebra YZ7AS6EZKH
| URI | m2://inv/YZ7AS6EZKH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/fundamental-theorem-of-algebra, fundamental theorem of algebra (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
Uses YZ7B7E5BA6
| URI | m2://inv/YZ7B7E5BA6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root mean square deviation of atomic positions#FWV8, Uses (example)
History
- 2026-11-02: add by m2/dev
Petal deletion YZ7TRN9BR8
| URI | m2://inv/YZ7TRN9BR8 |
|---|---|
| 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.30817#6WGC, Petal deletion (statement). In DP5KJ7AATM/e1, lemma 2.7
History
- 2026-10-31: add by m2/v0.5.6
YZ7WA6CJKF YZ7WA6CJKF
| URI | m2://inv/YZ7WA6CJKF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/ce-topmost.tex#thm:cut-elim-G3c-topmost (statement). In PKGMM3P5QY, thm, section 56.2
History
- 2026-11-01: add by m2/v0.6.13
ALTS YZ7X60WD5X
| URI | m2://inv/YZ7X60WD5X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ALTS, ALTS (definition). Also Wikidata Q85738928
History
- 2026-11-02: add by m2/dev
YZ7Z4KA6JX YZ7Z4KA6JX
| URI | m2://inv/YZ7Z4KA6JX |
|---|---|
| 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 2404.14312#VU6Z (statement). In SEPBZN2DRH/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Isotopy of an algebra YZ81600Q2C
| URI | m2://inv/YZ81600Q2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isotopy of an algebra, Isotopy of an algebra (definition). Also Wikidata Q17098216
History
- 2026-11-02: add by m2/dev
YZ82TCW1Q8 YZ82TCW1Q8
| URI | m2://inv/YZ82TCW1Q8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#cor:totrunc-is-connected (statement). In N54F33XE07, cor, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Point location YZ85SPGCYW
| URI | m2://inv/YZ85SPGCYW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of combinatorial computational geometry topics#VRZT, Point location (unknown)
History
- 2026-11-02: add by m2/dev
Local ratio limits YZ89GH6VM9
| URI | m2://inv/YZ89GH6VM9 |
|---|---|
| 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.19930#Q4YP, Local ratio limits (statement). In 7J7F22NVHM/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Ravindra Shripad Kulkarni YZ8NR5TT7C
| URI | m2://inv/YZ8NR5TT7C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ravindra Shripad Kulkarni, Ravindra Shripad Kulkarni (topic). Also Wikidata Q23882392
History
- 2026-11-02: add by m2/dev
YZ8QK68SCF YZ8QK68SCF
| URI | m2://inv/YZ8QK68SCF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08664#ZIDU (statement). In 1YY0P4ZS0T/e1, proposition 54
History
- 2026-10-29: add by m2/v0.4.10
YZ8VP3E97P YZ8VP3E97P
| URI | m2://inv/YZ8VP3E97P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_central-tendency.ptx#example-3 (example). In QKM9DD2H56, example, section 10.5.1
History
- 2026-11-01: add by m2/v0.6.13
Neighbourhood/Neighborhood YZ8WECV4VY
| URI | m2://inv/YZ8WECV4VY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#QIJ8, Neighbourhood/Neighborhood (definition)
History
- 2026-11-02: add by m2/dev
addition, formal definition of YZ90HD5690
| URI | m2://inv/YZ90HD5690 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.7.1/addition-formal-definition-of, addition, formal definition of (concept). In QKM9DD2H56, index, section B.7.1
History
- 2026-11-01: add by m2/v0.6.13
Dorman Luke YZ90N2GXF9
| URI | m2://inv/YZ90N2GXF9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual polyhedron#DMFH, Dorman Luke (unknown)
History
- 2026-11-02: add by m2/dev
Hausdorff moment problem YZ93M4B26Y
| URI | m2://inv/YZ93M4B26Y |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff moment problem, Hausdorff moment problem (problem). Also Wikidata Q5682821
History
- 2026-11-02: add by m2/dev
Uses YZ9BD7KHVQ
| URI | m2://inv/YZ9BD7KHVQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Favard constant#8ROZ, Uses (example)
History
- 2026-11-02: add by m2/dev
YZ9F0G6M59 YZ9F0G6M59
| URI | m2://inv/YZ9F0G6M59 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-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 2609.38068#P3TT (definition). In 67GE5M1GGD/e1, definition 4.11
History
- 2026-10-30: add by m2/v0.4.12
Hermite's problem YZ9FWR8M70
| URI | m2://inv/YZ9FWR8M70 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#MKMJ, Hermite's problem (conjecture)
History
- 2026-11-02: add by m2/dev
1 000 000 000 000 000 000 000 000 000 000 000 000 000 YZ9HH8BYSF
| URI | m2://inv/YZ9HH8BYSF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (numbers)#VLG3, 1 000 000 000 000 000 000 000 000 000 000 000 000 000 (unknown)
History
- 2026-11-02: add by m2/dev
YZ9J54EM3W YZ9J54EM3W
| URI | m2://inv/YZ9J54EM3W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2310.17520#2WH1 (statement). In 93AJXFH963/e1, corollary 3
History
- 2026-10-27: add by m2/v0.3.5
YZ9KA609C4 YZ9KA609C4
| URI | m2://inv/YZ9KA609C4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/functors.tex#definition-1 (definition). In RZP28ERRZV, definition, section 37.2
History
- 2026-11-01: add by m2/v0.6.13
Chair tiling YZ9MA8NPC9
| URI | m2://inv/YZ9MA8NPC9 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chair tiling, Chair tiling (object). Also Wikidata Q96374716
History
- 2026-11-02: add by m2/dev
YZ9MBSXKNP YZ9MBSXKNP
| URI | m2://inv/YZ9MBSXKNP |
|---|---|
| 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.31243#Q77E (statement). In E8FP48FJMZ/e1, theorem 5.1
History
- 2026-10-31: add by m2/v0.5.6
YZ9N4628TE YZ9N4628TE
| URI | m2://inv/YZ9N4628TE |
|---|---|
| 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 2609.37368#M4WA (statement). In FRMCKEGVJZ/e1, lemma 15
History
- 2026-10-30: add by m2/v0.4.12
YZ9W0WY794 YZ9W0WY794
| URI | m2://inv/YZ9W0WY794 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.18704#GCLK (statement). In T4MQVXFGWC/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
Econometrics YZA8DZFB8P
| URI | m2://inv/YZA8DZFB8P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Econometrics, Econometrics (definition). Also Wikidata Q160039
History
- 2026-11-02: add by m2/dev
YZAE0H6P63 YZAE0H6P63
| URI | m2://inv/YZAE0H6P63 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#lemma-4 (statement). In VNMV985MXX, lemma, section 4.6
History
- 2026-11-01: add by m2/v0.6.13
YZAPR7PAAQ YZAPR7PAAQ
| URI | m2://inv/YZAPR7PAAQ |
|---|---|
| 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.12480#PZAR (statement). In 585QYGX4X6/e1, theorem 16
History
- 2026-10-28: add by m2/v0.4.2
Push-forward along a varying map YZAQJGCG2R
| URI | m2://inv/YZAQJGCG2R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26270#NB1Q, Push-forward along a varying map (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formal definition YZAWZ4ZGE6
| URI | m2://inv/YZAWZ4ZGE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absorbing Markov chain#2FL2, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Jacobian conjecture YZAZKQTCYN
| URI | m2://inv/YZAZKQTCYN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#XEVD, Jacobian conjecture (statement)
History
- 2026-11-02: add by m2/dev
YZBDS3F5G7 YZBDS3F5G7
| URI | m2://inv/YZBDS3F5G7 |
|---|---|
| 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#8CQV (statement). In DPT4P2BTEW/e1, theorem 5.13
History
- 2026-10-30: add by m2/v0.4.12
Thomas Kirkman YZBF2AS6YV
| URI | m2://inv/YZBF2AS6YV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Kirkman, Thomas Kirkman (topic). Also Wikidata Q943561
History
- 2026-11-02: add by m2/dev
YZBM7Z8XJV YZBM7Z8XJV
| URI | m2://inv/YZBM7Z8XJV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-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.04694#HB07 (statement). In W9A0Z2NBMA/e1, theorem 17
History
- 2026-10-29: add by m2/v0.4.12
Formal definition YZBMDFR2F0
| URI | m2://inv/YZBMDFR2F0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperrectangle#ULFN, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Constructions YZBQ0C8CQ0
| URI | m2://inv/YZBQ0C8CQ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-category#HV51, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Conformal geometry YZBXY9VBWG
| URI | m2://inv/YZBXY9VBWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#TNKI, Conformal geometry (definition)
History
- 2026-11-02: add by m2/dev
YZC6HGQM56 YZC6HGQM56
| URI | m2://inv/YZC6HGQM56 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10481#3NQ0 (statement). In ETV3D93XYD/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
YZC737R9V7 YZC737R9V7
| URI | m2://inv/YZC737R9V7 |
|---|---|
| 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 2504.02065#08HQ (statement). In 60CK7P5F36/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.3.5
Theorem (Fuglede) YZCABAJDJB
| URI | m2://inv/YZCABAJDJB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuglede's theorem#U2SW, Theorem (Fuglede) (statement)
History
- 2026-11-02: add by m2/dev
YZCDKJMMWG YZCDKJMMWG
| URI | m2://inv/YZCDKJMMWG |
|---|---|
| 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.20422#QU94 (statement). In HCH89W5Y2C/e1, corollary 9
History
- 2026-10-27: add by m2/v0.4.2
YZCJ3KBA5Q YZCJ3KBA5Q
| URI | m2://inv/YZCJ3KBA5Q |
|---|---|
| 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.36423#G4NG (statement). In Q5Z178SAHP/e1, lemma 7.7
History
- 2026-10-30: add by m2/v0.4.12
Menger sponge YZCRDJQ03K
| URI | m2://inv/YZCRDJQ03K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of chaotic maps#UX3G, Menger sponge (definition)
- wikipedia: Wikipedia List of mathematical shapes#Y9TT, Menger sponge (definition)
- wikipedia: Wikipedia List of topologies#3YAK, Menger sponge (definition)
History
- 2026-11-02: add by m2/dev
Cross derivative YZCWM9PPZW
| URI | m2://inv/YZCWM9PPZW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial derivative#PXG4, Cross derivative (unknown)
History
- 2026-11-02: add by m2/dev
YZCXQN4MXM YZCXQN4MXM
| URI | m2://inv/YZCXQN4MXM |
|---|---|
| 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 2204.10840#G6P9 (statement). In EMS1MAJZ4X/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.6
Jacques Hadamard YZD19F63DZ
| URI | m2://inv/YZD19F63DZ |
|---|---|
| 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 Q164425, Jacques Hadamard (unknown). Also nLab Jacques Hadamard, ProofWiki Mathematician:Jacques_Salomon_Hadamard
- wikipedia: Wikipedia Jacques Hadamard, Jacques Hadamard (topic). Also Wikidata Q164425
History
- 2026-10-26: add by m2/dev
almost prime YZDFS18RHW
| URI | m2://inv/YZDFS18RHW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q936614, almost prime (unknown). Also MathWorld AlmostPrime
History
- 2026-10-26: add by m2/dev
Properties YZDQ1R401F
| URI | m2://inv/YZDQ1R401F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grötzsch graph#MX7V, Properties (statement)
History
- 2026-11-02: add by m2/dev
Conservation of mass YZDTXBYR3F
| URI | m2://inv/YZDTXBYR3F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#6V7L, Conservation of mass (unknown)
History
- 2026-11-02: add by m2/dev
YZDWMWK5KP YZDWMWK5KP
| URI | m2://inv/YZDWMWK5KP |
|---|---|
| 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#5OKT (statement). In N3Z6JFEPCF/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.4.2
Small stellated 120-cell honeycomb YZDXVYZ0JM
| URI | m2://inv/YZDXVYZ0JM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small stellated 120-cell honeycomb, Small stellated 120-cell honeycomb (definition). Also Wikidata Q17078271
History
- 2026-11-02: add by m2/dev
Statement YZDYYXJSTZ
| URI | m2://inv/YZDYYXJSTZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poncelet's closure theorem#A5P3, Statement (statement)
History
- 2026-11-02: add by m2/dev
AMS Fellow YZE1QHMH53
| URI | m2://inv/YZE1QHMH53 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia American Mathematical Society#1BDP, AMS Fellow (unknown)
History
- 2026-11-02: add by m2/dev
Centering matrix YZE2E00RXQ
| URI | m2://inv/YZE2E00RXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TZUT, Centering matrix (definition)
History
- 2026-11-02: add by m2/dev
YZE45WF03T YZE45WF03T
| URI | m2://inv/YZE45WF03T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.03424#MBGG (statement). In Q6HRJP4AWA/e1, lemma 8.3
History
- 2026-10-29: add by m2/v0.4.12
Filon quadrature YZEAF9RM66
| URI | m2://inv/YZEAF9RM66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filon quadrature, Filon quadrature (definition). Also Wikidata Q124727399
History
- 2026-11-02: add by m2/dev
YZEAWSPECS YZEAWSPECS
| URI | m2://inv/YZEAWSPECS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-15 (proof). In E59CDZA4DP, proof, section 10.3.1
History
- 2026-11-01: add by m2/v0.6.13
YZEFSP1T1J YZEFSP1T1J
| URI | m2://inv/YZEFSP1T1J |
|---|---|
| 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.30819#BYW7 (statement). In TE6082EE1K/e1, lemma
History
- 2026-10-31: add by m2/v0.5.6
YZEVZQTS7V YZEVZQTS7V
| URI | m2://inv/YZEVZQTS7V |
|---|---|
| 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.29152#YH1B (statement)
History
- 2026-11-01: add by m2/v0.6.15
YZF0FCBMEP YZF0FCBMEP
| URI | m2://inv/YZF0FCBMEP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10525#LXWB (statement). In N3K26VPX0R/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Properties YZF0VQFN21
| URI | m2://inv/YZF0VQFN21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Support polygon#2Y5P, Properties (statement)
History
- 2026-11-02: add by m2/dev
Exact feasibility by contraction YZF19KN1ZN
| URI | m2://inv/YZF19KN1ZN |
|---|---|
| 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#IXWH, Exact feasibility by contraction (statement). In JY6RYSNXMJ/e1, lemma 25
History
- 2026-10-29: add by m2/v0.4.10
YZF4R9QRSE YZF4R9QRSE
| URI | m2://inv/YZF4R9QRSE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21921#DKP7 (statement). In CM2YEK9T4F/e1, corollary 4.14
History
- 2026-10-27: add by m2/v0.4.2
Ptolemy's inequality YZF761A22R
| URI | m2://inv/YZF761A22R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#KI9Y, Ptolemy's inequality (statement)
History
- 2026-11-02: add by m2/dev
Well-behaved statistic YZF8M82Y9S
| URI | m2://inv/YZF8M82Y9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Well-behaved statistic, Well-behaved statistic (definition). Also Wikidata Q7981047
History
- 2026-11-02: add by m2/dev
YZF8TJACNC YZF8TJACNC
| URI | m2://inv/YZF8TJACNC |
|---|---|
| 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#NT1D (statement). In CY1FE8W1ZW/e1, lemma 0.191
History
- 2026-10-27: add by m2/v0.3.5
YZF9FTG44R YZF9FTG44R
| URI | m2://inv/YZF9FTG44R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06463#9IAQ (statement). In 3WWY9K1K9V/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
YZFJ83ANT3 YZFJ83ANT3
| URI | m2://inv/YZFJ83ANT3 |
|---|---|
| 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/proving-things.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 15.7
History
- 2026-11-01: add by m2/v0.6.13
OpenMx YZFM1QR37Q
| URI | m2://inv/YZFM1QR37Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#FQ1P, OpenMx (definition)
History
- 2026-11-02: add by m2/dev
substrategy YZFMM9H45F
| URI | m2://inv/YZFMM9H45F |
|---|---|
| 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 2312.01517#S380, substrategy (definition). In 1H6HQSMYJW/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
YZFNH3X270 YZFNH3X270
| URI | m2://inv/YZFNH3X270 |
|---|---|
| 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.06541#8CHX (statement). In R604B78EVK/e1, theorem 6.4
History
- 2026-10-29: add by m2/v0.4.10
YZFQR5C42S YZFQR5C42S
| URI | m2://inv/YZFQR5C42S |
|---|---|
| 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 2609.28297#LAQF (statement)
History
- 2026-11-01: add by m2/v0.6.15
YZFTR5HHPN YZFTR5HHPN
| URI | m2://inv/YZFTR5HHPN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31126#JAV3 (statement). In GK1V5GEHTK/e1, corollary 4.11
History
- 2026-10-31: add by m2/v0.5.6
Properties YZFVBDWEG0
| URI | m2://inv/YZFVBDWEG0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbrand quotient#ZV1P, Properties (statement)
History
- 2026-11-02: add by m2/dev
YZFZVYPVZB YZFZVYPVZB
| URI | m2://inv/YZFZVYPVZB |
|---|---|
| Kind | definition |
| 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 2312.06581#ADRB (definition). In WXJ2V3HA2R/e1, definition E.13
History
- 2026-10-27: add by m2/v0.3.5
YZG830NMET YZG830NMET
| URI | m2://inv/YZG830NMET |
|---|---|
| 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 2012.06334#3NXX (statement). In QD725J6HV4/e1, corollary 3
History
- 2026-10-27: add by m2/v0.3.5
D'Alembert's form of the principle of virtual work YZGEA5NCWC
| URI | m2://inv/YZGEA5NCWC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virtual work#FWA7, D'Alembert's form of the principle of virtual work (statement)
History
- 2026-11-02: add by m2/dev
YZGHFDYV71 YZGHFDYV71
| URI | m2://inv/YZGHFDYV71 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05703#ZHHF (statement). In 2YS79JFD85/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.10
YZGRB1JZJB YZGRB1JZJB
| URI | m2://inv/YZGRB1JZJB |
|---|---|
| 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 math/0301148#WM74 (statement). In 5RE15848Z0/e1, proposition A.6
History
- 2026-10-27: add by m2/v0.3.5
System F YZGSJE1T8B
| URI | m2://inv/YZGSJE1T8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#33S3, System F (definition)
- wikipedia: Wikipedia List of mathematical logic topics#VI1Z, System F (definition)
History
- 2026-11-02: add by m2/dev
Application YZGZMCJ604
| URI | m2://inv/YZGZMCJ604 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Averaging argument#8DDZ, Application (example)
History
- 2026-11-02: add by m2/dev
Jeremy Gray YZH2KV83RS
| URI | m2://inv/YZH2KV83RS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeremy Gray (mathematician), Jeremy Gray (topic). Also Wikidata Q1544613
History
- 2026-11-02: add by m2/dev
induced topology YZH7B69BTC
| URI | m2://inv/YZH7B69BTC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > induced topology, induced topology (unknown). Also Mathlib TopologicalSpace.induced
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > induced topology, induced topology (unknown). Also Mathlib TopologicalSpace.induced
History
- 2026-10-26: add by m2/dev
YZHGAJP2B6 YZHGAJP2B6
| URI | m2://inv/YZHGAJP2B6 |
|---|---|
| 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.28323#NCH7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Open-shop scheduling YZHJA8WV9D
| URI | m2://inv/YZHJA8WV9D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#TV9O, Open-shop scheduling (unknown)
History
- 2026-11-02: add by m2/dev
Bilinear channel inverse YZHJG4BB9Q
| URI | m2://inv/YZHJG4BB9Q |
|---|---|
| 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 2610.11652#KBFC, Bilinear channel inverse (statement). In VEXM27M8Q1/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.3
Rate-preserving iteration exponent YZHK9T4TSD
| URI | m2://inv/YZHK9T4TSD |
|---|---|
| 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#MHQE, Rate-preserving iteration exponent (statement)
History
- 2026-11-01: add by m2/v0.6.15
YZHQSYEY5N YZHQSYEY5N
| URI | m2://inv/YZHQSYEY5N |
|---|---|
| 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.35691#O9UV (example). In G7R61RPWE2/e1, example 2.3
History
- 2026-10-30: add by m2/v0.4.12
Olry Terquem YZHT590BRR
| URI | m2://inv/YZHT590BRR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olry Terquem, Olry Terquem (topic). Also Wikidata Q245572
History
- 2026-11-02: add by m2/dev
Batalin--Vilkovisky algebra YZJ00TMJM1
| URI | m2://inv/YZJ00TMJM1 |
|---|---|
| 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#CYL7, Batalin--Vilkovisky algebra (definition). In MS13WE3CSD/e1, definition 3.5
History
- 2026-10-29: add by m2/v0.4.10
YZJ6NQDEK8 YZJ6NQDEK8
| URI | m2://inv/YZJ6NQDEK8 |
|---|---|
| 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.11517#FSIB (statement). In 87NF85QAKT/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.3
Characterization theorem YZJ942ZXXN
| URI | m2://inv/YZJ942ZXXN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia White noise analysis#EGS1, Characterization theorem (statement)
History
- 2026-11-02: add by m2/dev
YZJA4YQ0KS YZJA4YQ0KS
| URI | m2://inv/YZJA4YQ0KS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/cardsasords.tex#lem:CardinalsBehaveRight (statement). In PKGMM3P5QY, lem, section 70.1
History
- 2026-11-01: add by m2/v0.6.13
Quaternionic fractal YZJZV5WQ1J
| URI | m2://inv/YZJZV5WQ1J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of chaotic maps#W4MC, Quaternionic fractal (unknown)
History
- 2026-11-02: add by m2/dev
Number needed to vaccinate YZK0AK9RQX
| URI | m2://inv/YZK0AK9RQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Number needed to vaccinate, Number needed to vaccinate (definition). Also Wikidata Q7069572
History
- 2026-11-02: add by m2/dev
Cauchy integral theorem YZK8EG540V
| URI | m2://inv/YZK8EG540V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8GFC, Cauchy integral theorem (statement)
History
- 2026-11-02: add by m2/dev
Minimum value of $R$ YZKFF6CX77
| URI | m2://inv/YZKFF6CX77 |
|---|---|
| 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.33753#R5ZY, Minimum value of $R$ (statement). In CGNMRJYD7Y/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Andrei Bulatov YZKJWCW3DG
| URI | m2://inv/YZKJWCW3DG |
|---|---|
| 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#1MCF, Andrei Bulatov (unknown)
History
- 2026-11-02: add by m2/dev
Parameterized post-Newtonian formalism YZKMDXH20D
| URI | m2://inv/YZKMDXH20D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parameterized post-Newtonian formalism, Parameterized post-Newtonian formalism (definition). Also Wikidata Q2621284
History
- 2026-11-02: add by m2/dev
YZKMXCNV6G YZKMXCNV6G
| URI | m2://inv/YZKMXCNV6G |
|---|---|
| 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#GJ74 (statement). In 3CGS9GSKTQ/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Addition-Deletion Theorem for Multiarrangements YZKQQTERCH
| URI | m2://inv/YZKQQTERCH |
|---|---|
| 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 2406.19866#EBT0, Addition-Deletion Theorem for Multiarrangements (statement). In 9F94CEQ1ZM/e1, theorem 2.10
History
- 2026-10-27: add by m2/v0.3.5
ISO 80000-13 YZKSKDK1QS
| URI | m2://inv/YZKSKDK1QS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ISO/IEC 80000#V856, ISO 80000-13 (unknown)
History
- 2026-11-02: add by m2/dev
Theorem YZM61ZF7FH
| URI | m2://inv/YZM61ZF7FH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct integral#3B33, Theorem (statement)
History
- 2026-11-02: add by m2/dev
YZMBE4VCWM YZMBE4VCWM
| URI | m2://inv/YZMBE4VCWM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01433#XV3Z (definition). In 160PQ7F1AS/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
YZME5MHV9Z YZME5MHV9Z
| URI | m2://inv/YZME5MHV9Z |
|---|---|
| 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.16875#JXYR (statement). In KS30K5JXGB/e1, theorem 4.7
History
- 2026-10-28: add by m2/v0.4.2
YZMYCPGZEK YZMYCPGZEK
| URI | m2://inv/YZMYCPGZEK |
|---|---|
| Kind | definition |
| 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#NFHU (definition). In VN084GGZGK/e1, definition 4.7
History
- 2026-10-28: add by m2/v0.4.3
Jacob Korevaar YZN3KFA4MZ
| URI | m2://inv/YZN3KFA4MZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacob Korevaar, Jacob Korevaar (topic). Also Wikidata Q1677557
History
- 2026-11-02: add by m2/dev
Boundary YZNF4718N6
| URI | m2://inv/YZNF4718N6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#GHDT, Boundary (definition)
History
- 2026-11-02: add by m2/dev
YZNFJ0T2J9 YZNFJ0T2J9
| URI | m2://inv/YZNFJ0T2J9 |
|---|---|
| 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.16245#SAV2 (statement). In 60CQJN845D/e1, theorem 6
History
- 2026-10-28: add by m2/v0.4.2
Population study YZNFN1310Q
| URI | m2://inv/YZNFN1310Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Population study, Population study (topic). Also Wikidata Q7229825
History
- 2026-11-02: add by m2/dev
Jakow Trachtenberg YZNM3WAZQ1
| URI | m2://inv/YZNM3WAZQ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jakow Trachtenberg, Jakow Trachtenberg (topic). Also Wikidata Q572329
History
- 2026-11-02: add by m2/dev
Abu al-Hasan al-Ahwazi YZNMJXZBA5
| URI | m2://inv/YZNMJXZBA5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abu al-Hasan al-Ahwazi, Abu al-Hasan al-Ahwazi (topic). Also Wikidata Q28655379
History
- 2026-11-02: add by m2/dev
type, dependent pair YZNNTVTW5S
| URI | m2://inv/YZNNTVTW5S |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.5/type-dependent-pair, type, dependent pair (concept). In N54F33XE07, index, section 4.2.5
History
- 2026-11-01: add by m2/v0.6.13
Steiner circumellipse YZNS0TBC8M
| URI | m2://inv/YZNS0TBC8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#2GG6, Steiner circumellipse (definition)
History
- 2026-11-02: add by m2/dev
YZP0NVBJZA YZP0NVBJZA
| URI | m2://inv/YZP0NVBJZA |
|---|---|
| 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.18544#DF1Q (statement). In HT5MC1SPD9/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Larry A. Wasserman YZP1T0BQ92
| URI | m2://inv/YZP1T0BQ92 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Larry A. Wasserman, Larry A. Wasserman (topic). Also Wikidata Q6489856
History
- 2026-11-02: add by m2/dev
YZP2ED2MHH YZP2ED2MHH
| URI | m2://inv/YZP2ED2MHH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07280#GY5P (statement). In 1FJKW4WGEN/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
Ultimate Gilbreath principle YZP67M459G
| URI | m2://inv/YZP67M459G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gilbreath shuffle#4J3C, Ultimate Gilbreath principle (statement)
History
- 2026-11-02: add by m2/dev
John Lewis Tiarks YZPB5FTBQ4
| URI | m2://inv/YZPB5FTBQ4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Lewis Tiarks, John Lewis Tiarks (topic). Also Wikidata Q1695378
History
- 2026-11-02: add by m2/dev
YZPEN3YXHY YZPEN3YXHY
| URI | m2://inv/YZPEN3YXHY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28824#7Z34 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Anti-fundamental YZPK1FPJR3
| URI | m2://inv/YZPK1FPJR3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental representation#N24V, Anti-fundamental (unknown)
History
- 2026-11-02: add by m2/dev
Agreement radius at an arbitrary weight YZPMG2QQW1
| URI | m2://inv/YZPMG2QQW1 |
|---|---|
| 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.05652#PO04, Agreement radius at an arbitrary weight (statement). In 8BNPFYQDQX/e1, corollary 5.5
History
- 2026-10-29: add by m2/v0.4.10
*{Lemma 2.8 YZPPBXPT5X
| URI | m2://inv/YZPPBXPT5X |
|---|---|
| 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.36922#M18D, *{Lemma 2.8 (statement). In BMHWE5QTTR/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
YZPR401TB5 YZPR401TB5
| URI | m2://inv/YZPR401TB5 |
|---|---|
| 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.11336#U644 (statement). In X1R1GDAJ0Y/e1, theorem 2.11
History
- 2026-10-28: add by m2/v0.4.3
Function of several complex variables YZPZDN86BX
| URI | m2://inv/YZPZDN86BX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function of several complex variables, Function of several complex variables (definition). Also Wikidata Q2052951
History
- 2026-11-02: add by m2/dev
Uses YZQ54DKA50
| URI | m2://inv/YZQ54DKA50 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root locus analysis#GGNX, Uses (example)
History
- 2026-11-02: add by m2/dev
Implementations YZQ5M6PYP9
| URI | m2://inv/YZQ5M6PYP9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lee–Carter model#AYDH, Implementations (definition)
History
- 2026-11-02: add by m2/dev
YZQJG9WWQN YZQJG9WWQN
| URI | m2://inv/YZQJG9WWQN |
|---|---|
| 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.10773#4YLS (statement). In 744Y8ZPEV7/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.3
Weak order YZQK8MXN2A
| URI | m2://inv/YZQK8MXN2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order structures in mathematics#GEK3, Weak order (definition)
History
- 2026-11-02: add by m2/dev
YZQPCQMAKP YZQPCQMAKP
| URI | m2://inv/YZQPCQMAKP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1008.4254#GQ1H (statement). In SXTX59QBVT/e1, theorem 2.13
History
- 2026-10-27: add by m2/v0.3.5
YZQQQ6KF4B YZQQQ6KF4B
| URI | m2://inv/YZQQQ6KF4B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26896#ZSNG (definition)
History
- 2026-11-01: add by m2/v0.6.15
Burnside's problem YZQS9A61KC
| URI | m2://inv/YZQS9A61KC |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Burnside problem XWEMJ7T2XV |
Mentions
- wikidata: Wikidata Q852206, Burnside's problem (problem). Also MathWorld BurnsideProblem
- wikipedia: Wikipedia Burnside problem, Burnside problem (conjecture). Also Wikidata Q852206
History
- 2026-10-26: add by m2/dev
YZQXMNEG8Y YZQXMNEG8Y
| URI | m2://inv/YZQXMNEG8Y |
|---|---|
| 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.04772#1LVD (statement). In WW08CYN4D4/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.12
mode YZR2SQ5JSR
| URI | m2://inv/YZR2SQ5JSR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q188224, mode (unknown). Also MathWorld Mode
- wikipedia: Wikipedia Mode (statistics), Mode (definition). Also Wikidata Q188224
History
- 2026-10-26: add by m2/dev
Lattice and convexity} properties YZR9VPVW0A
| URI | m2://inv/YZR9VPVW0A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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 2610.21775#B5KZ, Lattice and convexity} properties (statement). In KM3Q791JY0/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.2
List of telecommunications encryption terms YZRBYK9X17
| URI | m2://inv/YZRBYK9X17 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms, List of telecommunications encryption terms (topic). Also Wikidata Q6642549
History
- 2026-11-02: add by m2/dev
Debdeep Mukhopadhyay YZRFB49DWJ
| URI | m2://inv/YZRFB49DWJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Debdeep Mukhopadhyay, Debdeep Mukhopadhyay (topic). Also Wikidata Q109001925
History
- 2026-11-02: add by m2/dev
YZRNBYRC0D YZRNBYRC0D
| URI | m2://inv/YZRNBYRC0D |
|---|---|
| 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.29227#RF2U (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties YZRRHHN7VY
| URI | m2://inv/YZRRHHN7VY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisted polynomial ring#3YK6, Properties (statement)
History
- 2026-11-02: add by m2/dev
Adjoint obstruction YZRX4CQCXC
| URI | m2://inv/YZRX4CQCXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36410#IA1G, Adjoint obstruction (statement). In 1FRV7XDEGF/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Carathéodory's theorem YZS34CNCX8
| URI | m2://inv/YZS34CNCX8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WL9V, Carathéodory's theorem (statement)
History
- 2026-11-02: add by m2/dev
YZS63V7JTN YZS63V7JTN
| URI | m2://inv/YZS63V7JTN |
|---|---|
| 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.18312#KBYY (statement). In NPEVE32HFP/e1, lemma 7.5
History
- 2026-10-28: add by m2/v0.4.2
Seth L. Warner YZS8JVB2FK
| URI | m2://inv/YZS8JVB2FK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q102129718, Seth L. Warner (unknown). Also ProofWiki Mathematician:Seth_L._Warner
History
- 2026-10-26: add by m2/dev
Differential polynomial YZSA8XPFZZ
| URI | m2://inv/YZSA8XPFZZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential algebra#5JBY, Differential polynomial (unknown)
History
- 2026-11-02: add by m2/dev
The Logic of Compatibility Propositions YZSFP4KY8W
| URI | m2://inv/YZSFP4KY8W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ivan Orlov (philosopher)#BGHK, The Logic of Compatibility Propositions (statement)
History
- 2026-11-02: add by m2/dev
Rainbach im Mühlkreis YZSG4GAVXZ
| URI | m2://inv/YZSG4GAVXZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#K8UJ, Rainbach im Mühlkreis (unknown)
History
- 2026-11-02: add by m2/dev
YZSN1FSE8T YZSN1FSE8T
| URI | m2://inv/YZSN1FSE8T |
|---|---|
| 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 2106.11898#SJN7 (definition). In KXXV5X8AG4/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.6
YZSW2ZVB64 YZSW2ZVB64
| URI | m2://inv/YZSW2ZVB64 |
|---|---|
| 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.25111#3TO8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
YZT044SYWS YZT044SYWS
| URI | m2://inv/YZT044SYWS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28664#306Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
chordal graph YZT4A6Q2MQ
| URI | m2://inv/YZT4A6Q2MQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1322892, Dirac's theorem on chordal graphs (statement). Also Wikidata Q1322892
- thousand_plus: thousand_plus Q1322892, Dirac's theorems (statement). Also Wikidata Q1322892, Wikipedia Dirac's theorem on chordal graphs
- wikidata: Wikidata Q1322892, chordal graph (unknown). Also MathWorld ChordalGraph
- wikipedia: Wikipedia Chordal graph, Chordal graph (definition). Also Wikidata Q1322892
History
- 2026-10-26: add by m2/dev
Zig-zag product YZTAJHVY7C
| URI | m2://inv/YZTAJHVY7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zig-zag product, Zig-zag product (definition). Also Wikidata Q8071744
History
- 2026-11-02: add by m2/dev
Maximum common induced subgraph YZTBQ5WWFX
| URI | m2://inv/YZTBQ5WWFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum common induced subgraph, Maximum common induced subgraph (definition). Also Wikidata Q6795883
History
- 2026-11-02: add by m2/dev
Craig Venter YZTHP1XSE0
| URI | m2://inv/YZTHP1XSE0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MRCU, Craig Venter (unknown)
History
- 2026-11-02: add by m2/dev
YZTJ8PPMGN YZTJ8PPMGN
| URI | m2://inv/YZTJ8PPMGN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38030#H47S (definition). In XYYEJN00D8/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Majority logic decoding YZTK3F8GNW
| URI | m2://inv/YZTK3F8GNW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#P0LB, Majority logic decoding (unknown)
History
- 2026-11-02: add by m2/dev
Complete total order YZTN2273WA
| URI | m2://inv/YZTN2273WA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total order#G4HI, Complete total order (unknown)
History
- 2026-11-02: add by m2/dev
Fraction of variance unexplained YZTXCSBMFS
| URI | m2://inv/YZTXCSBMFS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fraction of variance unexplained, Fraction of variance unexplained (definition). Also Wikidata Q5477515
History
- 2026-11-02: add by m2/dev
YZV5CGFH81 YZV5CGFH81
| URI | m2://inv/YZV5CGFH81 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12479#R2K3 (statement). In WE001PR75Z/e1, theorem 11
History
- 2026-10-28: add by m2/v0.4.2
A. P. Balachandran YZVCX5XD6D
| URI | m2://inv/YZVCX5XD6D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4648223, A. P. Balachandran (unknown). Also nLab A. P. Balachandran
History
- 2026-10-26: add by m2/dev
Non-resonance criterion YZVDB256JK
| URI | m2://inv/YZVDB256JK |
|---|---|
| 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.23145#BS1H, Non-resonance criterion (statement)
History
- 2026-11-02: add by m2/v0.6.17
Gaussian width YZVDVSXXB2
| URI | m2://inv/YZVDVSXXB2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 62-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.11869#KXQW, Gaussian width (definition). In B5GGGWNJA6/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.3
Representation of a Lie group YZVKHX708W
| URI | m2://inv/YZVKHX708W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#EZSF, Representation of a Lie group (definition)
- wikipedia: Wikipedia List of Lie groups topics#NM6T, Representation of a Lie group (definition)
- wikipedia: Wikipedia List of harmonic analysis topics#CFC0, Representation of a Lie group (definition)
History
- 2026-11-02: add by m2/dev
Properties YZVMVZCAMR
| URI | m2://inv/YZVMVZCAMR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twin prime#OC73, Properties (statement)
History
- 2026-11-02: add by m2/dev
YZVN2GZRST YZVN2GZRST
| URI | m2://inv/YZVN2GZRST |
|---|---|
| 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.40096#ZWB1 (statement). In XFE35F9NEV/e1, proposition 2.5
History
- 2026-10-30: add by m2/v0.4.12
YZVSZYC5B4 YZVSZYC5B4
| URI | m2://inv/YZVSZYC5B4 |
|---|---|
| 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.08912#XH60 (statement). In DK5QY64NGH/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
YZVT45MGWM YZVT45MGWM
| URI | m2://inv/YZVT45MGWM |
|---|---|
| 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 1902.04230#G3VH (statement). In 22JZ68FGCW/e1, proposition 6.35
History
- 2026-10-27: add by m2/v0.3.5
YZVW033FEX YZVW033FEX
| URI | m2://inv/YZVW033FEX |
|---|---|
| Kind | definition |
| 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.36309#ZF7C (definition). In FAJ10EJMYE/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Lattices YZVXFV3BNV
| URI | m2://inv/YZVXFV3BNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order structures in mathematics#EAM0, Lattices (definition)
History
- 2026-11-02: add by m2/dev
Kirsten Eisenträger YZW1MZV45X
| URI | m2://inv/YZW1MZV45X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirsten Eisenträger, Kirsten Eisenträger (topic). Also Wikidata Q29369071
History
- 2026-11-02: add by m2/dev
paragyrate diminished rhombicosidodecahedron YZW6HQQSD9
| URI | m2://inv/YZW6HQQSD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2590926, paragyrate diminished rhombicosidodecahedron (object). Also MathWorld ParagyrateDiminishedRhombicosidodecahedron
- wikipedia: Wikipedia Paragyrate diminished rhombicosidodecahedron, Paragyrate diminished rhombicosidodecahedron (definition). Also Wikidata Q2590926
History
- 2026-10-26: add by m2/dev
Altcoin YZW9WP3P4F
| URI | m2://inv/YZW9WP3P4F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptocurrency#DJEA, Altcoin (unknown)
History
- 2026-11-02: add by m2/dev
Stefan–Boltzmann constant YZWBGFWPSE
| URI | m2://inv/YZWBGFWPSE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#RCJM, Stefan–Boltzmann constant (statement)
History
- 2026-11-02: add by m2/dev
YZWKMMB4W8 YZWKMMB4W8
| URI | m2://inv/YZWKMMB4W8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#definition-2 (definition). In P1C114YBXG, definition, section D
History
- 2026-11-01: add by m2/v0.6.13
Definition YZWSTGE809
| URI | m2://inv/YZWSTGE809 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thue–Morse sequence#57W5, Definition (definition)
History
- 2026-11-02: add by m2/dev
CRC Standard Mathematical Tables YZWV1801RM
| URI | m2://inv/YZWV1801RM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CRC Standard Mathematical Tables, CRC Standard Mathematical Tables (definition). Also Wikidata Q121009020
History
- 2026-11-02: add by m2/dev
Glossary of calculus YZWV6SBAJ6
| URI | m2://inv/YZWV6SBAJ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus, Glossary of calculus (topic). Also Wikidata Q30680459
History
- 2026-11-02: add by m2/dev
Binet-like formula YZX48CRNE7
| URI | m2://inv/YZX48CRNE7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Padovan sequence#X5E3, Binet-like formula (statement)
History
- 2026-11-02: add by m2/dev
YZX5HYXWDJ YZX5HYXWDJ
| URI | m2://inv/YZX5HYXWDJ |
|---|---|
| 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.09206#J6IC (definition). In T7R1Q29DQK/e1, definition
History
- 2026-10-29: add by m2/v0.4.10
Douglas' lemma YZX87KDRVQ
| URI | m2://inv/YZX87KDRVQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Douglas' lemma, Douglas' lemma (statement). Also Wikidata Q5301141
History
- 2026-11-02: add by m2/dev
YZX99GDNFH YZX99GDNFH
| URI | m2://inv/YZX99GDNFH |
|---|---|
| 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#ZVVK (statement). In MBKYGM01FK/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Carath\'eodory YZXA5TQH2Q
| URI | m2://inv/YZXA5TQH2Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2503.19729#NDYW, Carath\'eodory (statement). In 40YZ43TS8K/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
Joseph A. Ball YZXDQRG4JB
| URI | m2://inv/YZXDQRG4JB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph A. Ball (mathematician), Joseph A. Ball (topic). Also Wikidata Q59743548
History
- 2026-11-02: add by m2/dev
Relative comparison for the whole polygon YZXEGJ5GGD
| URI | m2://inv/YZXEGJ5GGD |
|---|---|
| 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.05652#DMLJ, Relative comparison for the whole polygon (statement). In 8BNPFYQDQX/e1, corollary 18.2
History
- 2026-10-29: add by m2/v0.4.10
Robert Tibshirani YZXGA89G4K
| URI | m2://inv/YZXGA89G4K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Tibshirani, Robert Tibshirani (topic). Also Wikidata Q3938444
History
- 2026-11-02: add by m2/dev
YZXKEYRE8D YZXKEYRE8D
| URI | m2://inv/YZXKEYRE8D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.10460#8RLU (example). In 3N20HKKXTJ/e1, example 2.8
History
- 2026-10-27: add by m2/v0.3.5
``continuity'' of functions in type theory YZXRKJ1FG6
| URI | m2://inv/YZXRKJ1FG6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.9/continuity-of-functions-in-type-theory, ``continuity'' of functions in type theory (concept). In N54F33XE07, index, section 1.9
History
- 2026-11-01: add by m2/v0.6.13
Cauchy–Riemann equations YZXSF9PH43
| URI | m2://inv/YZXSF9PH43 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Cauchy–Riemann equations 0T71SSYZ39 |
Mentions
- wikidata: Wikidata Q622741, Cauchy–Riemann equations (concept). Also EoM Cauchy-Riemann_equations, MathWorld Cauchy-RiemannEquations, ProofWiki Cauchy-Riemann_Equations
- wikipedia: Wikipedia Cauchy–Riemann equations, Cauchy–Riemann equations (definition). Also Wikidata Q622741
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
YZXV65VCV3 YZXV65VCV3
| URI | m2://inv/YZXV65VCV3 |
|---|---|
| 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 2504.18390#NY8T (example). In A1E8BB0QHC/e1, example 3.1
History
- 2026-10-27: add by m2/v0.3.5
YZXWKSNXZ6 YZXWKSNXZ6
| URI | m2://inv/YZXWKSNXZ6 |
|---|---|
| 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#LRF7 (statement). In S26QVW5613/e1, theorem 5.4.7
History
- 2026-10-30: add by m2/v0.4.12
YZXX0MQ9AC YZXX0MQ9AC
| URI | m2://inv/YZXX0MQ9AC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.12619#J4F3 (statement). In 7F8KACT5AJ/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Stripe graphic YZY9SVYX1M
| URI | m2://inv/YZY9SVYX1M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#4L4E, Stripe graphic (unknown)
History
- 2026-11-02: add by m2/dev
YZYCDXHKYH YZYCDXHKYH
| URI | m2://inv/YZYCDXHKYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25957#WFM6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example YZYE5JEHBT
| URI | m2://inv/YZYE5JEHBT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odd greedy expansion#2TN1, Example (example)
History
- 2026-11-02: add by m2/dev
YZYSC3WX6H YZYSC3WX6H
| URI | m2://inv/YZYSC3WX6H |
|---|---|
| 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 1903.07030#5EDZ (statement). In 9H45HQE7AZ/e1, proposition 2.18
History
- 2026-10-27: add by m2/v0.3.5
Special cases YZYVZP0YW0
| URI | m2://inv/YZYVZP0YW0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat's principle#UXLH, Special cases (statement)
History
- 2026-11-02: add by m2/dev
YZZ55C9CQX YZZ55C9CQX
| URI | m2://inv/YZZ55C9CQX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#GZXK (statement). In PG0B4PH9YH/e1, theorem 2.11
History
- 2026-10-27: add by m2/v0.4.2
YZZ67K4D7V YZZ67K4D7V
| URI | m2://inv/YZZ67K4D7V |
|---|---|
| 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.00934#52PD (statement). In SHCQDPCF2J/e1, corollary 3.10
History
- 2026-10-29: add by m2/v0.4.12
YZZ7BR3C1W YZZ7BR3C1W
| URI | m2://inv/YZZ7BR3C1W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-37 (exercise). In E59CDZA4DP, exercise, section 11.3.5
History
- 2026-11-01: add by m2/v0.6.13
Generalizations YZZDFB2NR5
| URI | m2://inv/YZZDFB2NR5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apeirogon#ALE2, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
YZZEQZD740 YZZEQZD740
| URI | m2://inv/YZZEQZD740 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27103#4WNZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
J. Howard Redfield YZZJWAVHG7
| URI | m2://inv/YZZJWAVHG7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J. Howard Redfield, J. Howard Redfield (topic). Also Wikidata Q6240080
History
- 2026-11-02: add by m2/dev
Garfunkel's Inequality YZZMA2EMEF
| URI | m2://inv/YZZMA2EMEF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11860295, Garfunkel's Inequality (unknown). Also MathWorld GarfunkelsInequality
History
- 2026-10-26: add by m2/dev
Rachel Hilliam YZZN6VQCZF
| URI | m2://inv/YZZN6VQCZF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rachel Hilliam, Rachel Hilliam (topic). Also Wikidata Q140237731
History
- 2026-11-02: add by m2/dev
Definitions YZZWF37KNW
| URI | m2://inv/YZZWF37KNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultrabornological space#2W8N, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Refractive index variations YZZZCHEBYS
| URI | m2://inv/YZZZCHEBYS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Refractive index#Z5GK, Refractive index variations (statement)
History
- 2026-11-02: add by m2/dev