Inventory rows XV
The cards of the rows of the inventory whose ids start with XV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
$\pi_n(S^n) \cong \mathbb Z$ XV00XEH48A
| URI | m2://inv/XV00XEH48A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#example-3, $\pi_n(S^n) \cong \mathbb Z$ (example). In RZP28ERRZV, example, section 98.4
History
- 2026-11-01: add by m2/v0.6.13
Euler–Bernoulli beam theory XV06JP1KMB
| URI | m2://inv/XV06JP1KMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#3XO2, Euler–Bernoulli beam theory (definition)
History
- 2026-11-02: add by m2/dev
XV07BYNJ2E XV07BYNJ2E
| URI | m2://inv/XV07BYNJ2E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34845#PA1F (statement). In SBZNH932ZV/e1, lemma 8.7
History
- 2026-10-30: add by m2/v0.4.12
Erica Klarreich XV08YQJR81
| URI | m2://inv/XV08YQJR81 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erica Klarreich, Erica Klarreich (topic). Also Wikidata Q21606697
History
- 2026-11-02: add by m2/dev
XV0CH1381A XV0CH1381A
| URI | m2://inv/XV0CH1381A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#4Y36 (statement). In 5E9G06XJKC/e1, lemma F.31
History
- 2026-10-28: add by m2/v0.4.2
XV0EWDETRF XV0EWDETRF
| URI | m2://inv/XV0EWDETRF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-prop.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Easy XV0K9M632Y
| URI | m2://inv/XV0K9M632Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-59, Easy (exercise). In VNMV985MXX, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Automatic ENNAMCQ without nonconstant affine segments XV0PJREM5X
| URI | m2://inv/XV0PJREM5X |
|---|---|
| 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.39736#WJ75, Automatic ENNAMCQ without nonconstant affine segments (statement). In BB1XJ47PVW/e1, proposition 15
History
- 2026-10-30: add by m2/v0.4.12
Mellen Woodman Haskell XV0QR8XJJ8
| URI | m2://inv/XV0QR8XJJ8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mellen Woodman Haskell, Mellen Woodman Haskell (topic). Also Wikidata Q24284472
History
- 2026-11-02: add by m2/dev
XV0TP66T2K XV0TP66T2K
| URI | m2://inv/XV0TP66T2K |
|---|---|
| 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.20817#R175 (statement). In M1YRBSZT4H/e1, corollary 19
History
- 2026-10-27: add by m2/v0.4.2
473 (number) XV0VVMHCZP
| URI | m2://inv/XV0VVMHCZP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#7GLE, 473 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Definition XV0WESXDR0
| URI | m2://inv/XV0WESXDR0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center (category theory)#28FR, Definition (definition)
History
- 2026-11-02: add by m2/dev
XV147H10F5 XV147H10F5
| URI | m2://inv/XV147H10F5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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.11800#G225 (statement). In 8TSZ2E32K3/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.3
XV1AKRWHGM XV1AKRWHGM
| URI | m2://inv/XV1AKRWHGM |
|---|---|
| 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.15313#Z9ET (statement). In KWKY1CWG1Z/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Bing–Borsuk conjecture XV1B6C8YDX
| URI | m2://inv/XV1B6C8YDX |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#AL8I, Bing–Borsuk conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
XV1JND97BF XV1JND97BF
| URI | m2://inv/XV1JND97BF |
|---|---|
| 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.19464#AXZV (statement). In G8JCZ109A9/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Serpentine shape XV1VJYMADX
| URI | m2://inv/XV1VJYMADX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serpentine shape, Serpentine shape (definition). Also Wikidata Q7455133
History
- 2026-11-02: add by m2/dev
XV1W5H1NR9 XV1W5H1NR9
| URI | m2://inv/XV1W5H1NR9 |
|---|---|
| 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 2610.05142#UFH6 (statement). In 8A0HVCGRR8/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
XV1Y9G2QXJ XV1Y9G2QXJ
| URI | m2://inv/XV1Y9G2QXJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InfiniteSets.tex#thm:infiniteSetTFAE (statement). In P1C114YBXG, theorem, section D
History
- 2026-11-01: add by m2/v0.6.13
Vladimir Abramovich Rokhlin XV1ZHAK3WS
| URI | m2://inv/XV1ZHAK3WS |
|---|---|
| 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 Q383045, Vladimir Abramovich Rokhlin (unknown). Also ProofWiki Mathematician:Vladimir_Abramovich_Rokhlin
- wikipedia: Wikipedia Vladimir Abramovich Rokhlin, Vladimir Abramovich Rokhlin (topic). Also Wikidata Q383045
History
- 2026-10-26: add by m2/dev
XV25GZEFFR XV25GZEFFR
| URI | m2://inv/XV25GZEFFR |
|---|---|
| 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.09810#XXL4 (statement). In B6PCH930FV/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.10
XV285E7Q5Q XV285E7Q5Q
| URI | m2://inv/XV285E7Q5Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40017#X78A (statement). In MBHJA0HT06/e1, proposition 6.3
History
- 2026-10-30: add by m2/v0.4.12
Asymptotic phase XV29VKTBR2
| URI | m2://inv/XV29VKTBR2 |
|---|---|
| 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 2610.15686#D5A6, Asymptotic phase (statement). In 4HCK722M2G/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
XV2D04CKAP XV2D04CKAP
| URI | m2://inv/XV2D04CKAP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29501#KNBR (statement)
History
- 2026-11-01: add by m2/v0.6.15
XV2FTBF06D XV2FTBF06D
| URI | m2://inv/XV2FTBF06D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#ZVKW (example). In HX63A1PH1W/e1, example 3.48
History
- 2026-10-28: add by m2/v0.4.3
Radon–Nikodym theorem XV2NHE054K
| URI | m2://inv/XV2NHE054K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ZQ3D, Radon–Nikodym theorem (statement)
History
- 2026-11-02: add by m2/dev
Larisa Maksimova XV2SA2V1JT
| URI | m2://inv/XV2SA2V1JT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#ZBUZ, Larisa Maksimova (unknown)
History
- 2026-11-02: add by m2/dev
Triangle conic XV2TF7JW30
| URI | m2://inv/XV2TF7JW30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangle conic, Triangle conic (definition). Also Wikidata Q109776146
History
- 2026-11-02: add by m2/dev
XV2VATVSQY XV2VATVSQY
| URI | m2://inv/XV2VATVSQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35543#MXPS (statement). In WSG1ZW956E/e1, theorem 5.8
History
- 2026-10-30: add by m2/v0.4.12
Properties XV30DERGRA
| URI | m2://inv/XV30DERGRA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Base change lifting#Q8B8, Properties (statement)
History
- 2026-11-02: add by m2/dev
George W. Dickerson XV30MGJ37N
| URI | m2://inv/XV30MGJ37N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#TWJ3, George W. Dickerson (unknown)
History
- 2026-11-02: add by m2/dev
XV35GWF1QM XV35GWF1QM
| URI | m2://inv/XV35GWF1QM |
|---|---|
| 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.09086#L1ZL (statement). In JPC86V77CH/e1, corollary 3.12
History
- 2026-10-29: add by m2/v0.4.10
Matiyasevich's Theorem XV35P2FRGS
| URI | m2://inv/XV35P2FRGS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilary Putnam#61HX, Matiyasevich's Theorem (statement)
History
- 2026-11-02: add by m2/dev
Parallelogon XV37K1J238
| URI | m2://inv/XV37K1J238 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallelogon, Parallelogon (definition). Also Wikidata Q7135025
History
- 2026-11-02: add by m2/dev
XV39MRJ762 XV39MRJ762
| URI | m2://inv/XV39MRJ762 |
|---|---|
| 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.07855#QQ1B (statement). In 1VT8CVVCM7/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Sigma notation XV3C5XZTC0
| URI | m2://inv/XV3C5XZTC0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.1/sigma-notation, Sigma notation (concept). In Y91XFCEVHQ, index, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
XV3DVNR36B XV3DVNR36B
| URI | m2://inv/XV3DVNR36B |
|---|---|
| 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.01968#FALR (statement). In 9QE553Z0J5/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
XV3KBKKSTK XV3KBKKSTK
| URI | m2://inv/XV3KBKKSTK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 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.07490#0YHM (statement). In 1BCKN2RQQ4/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Preferred Reporting Items for Systematic Reviews and Meta-Analyses XV3RKVRDVN
| URI | m2://inv/XV3RKVRDVN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preferred Reporting Items for Systematic Reviews and Meta-Analyses, Preferred Reporting Items for Systematic Reviews and Meta-Analyses (definition). Also Wikidata Q7239841
History
- 2026-11-02: add by m2/dev
Saonli Basu XV3TS225DJ
| URI | m2://inv/XV3TS225DJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#W9AS, Saonli Basu (unknown)
History
- 2026-11-02: add by m2/dev
XV3V2G4ZTS XV3V2G4ZTS
| URI | m2://inv/XV3V2G4ZTS |
|---|---|
| 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.37425#6EKK (statement). In E02TSC01RN/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Mittag-Leffler condition XV42RQ90VF
| URI | m2://inv/XV42RQ90VF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#Q42A, Mittag-Leffler condition (definition)
History
- 2026-11-02: add by m2/dev
Associated Legendre functions XV45AVBJTH
| URI | m2://inv/XV45AVBJTH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#U206, Associated Legendre functions (definition)
History
- 2026-11-02: add by m2/dev
XV4AZ70TZS XV4AZ70TZS
| URI | m2://inv/XV4AZ70TZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#TMV1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Soundness XV4BCCFYZR
| URI | m2://inv/XV4BCCFYZR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/soundness.tex#thm:sequent-soundness, Soundness (statement). In PKGMM3P5QY, thm, section 19.2
History
- 2026-11-01: add by m2/v0.6.13
Regular Hausdorff XV4CB75B9J
| URI | m2://inv/XV4CB75B9J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#2RF5, Regular Hausdorff (definition)
History
- 2026-11-02: add by m2/dev
Statisticians in the Pharmaceutical Industry XV4HCTR5AN
| URI | m2://inv/XV4HCTR5AN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of academic statistical associations#FEY2, Statisticians in the Pharmaceutical Industry (definition)
History
- 2026-11-02: add by m2/dev
Hidden line XV4MD75S42
| URI | m2://inv/XV4MD75S42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hidden line, Hidden line (definition). Also Wikidata Q130969925
History
- 2026-11-02: add by m2/dev
DNS-based Authentication of Named Entities XV4PJC9SJB
| URI | m2://inv/XV4PJC9SJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DNS-based Authentication of Named Entities, DNS-based Authentication of Named Entities (definition). Also Wikidata Q4036847
History
- 2026-11-02: add by m2/dev
James Durbin XV58G6GJY1
| URI | m2://inv/XV58G6GJY1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#AA9N, James Durbin (unknown)
History
- 2026-11-02: add by m2/dev
Properties XV5A6QHTHK
| URI | m2://inv/XV5A6QHTHK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum likelihood estimation#E5VZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
XV5FHZ3N1J XV5FHZ3N1J
| URI | m2://inv/XV5FHZ3N1J |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/ordtype.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 73.1
History
- 2026-11-01: add by m2/v0.6.13
Period-doubling bifurcation XV5FPC12XS
| URI | m2://inv/XV5FPC12XS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Period-doubling bifurcation, Period-doubling bifurcation (definition). Also Wikidata Q2181373
History
- 2026-11-02: add by m2/dev
Applications XV5PSX4RJN
| URI | m2://inv/XV5PSX4RJN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyspectra#ET0N, Applications (example)
History
- 2026-11-02: add by m2/dev
Gabriel's horn XV5VD2KVWE
| URI | m2://inv/XV5VD2KVWE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#N8OJ, Gabriel's horn (definition)
- wikipedia: Wikipedia List of calculus topics#47O5, Gabriel's horn (definition)
History
- 2026-11-02: add by m2/dev
Cesare Burali-Forti XV5XCGQC00
| URI | m2://inv/XV5XCGQC00 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#MXOH, Cesare Burali-Forti (topic)
- wikipedia: Wikipedia List of Italian mathematicians#PLZR, Cesare Burali-Forti (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5B0P, Cesare Burali-Forti (topic)
History
- 2026-11-02: add by m2/dev
XV61MHDP3D XV61MHDP3D
| URI | m2://inv/XV61MHDP3D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#6MDM (statement). In CC6S1HVK0T/e1, theorem 3.13
History
- 2026-10-28: add by m2/v0.4.2
Disjunctive Normal Form Theorem XV66AW8ZFV
| URI | m2://inv/XV66AW8ZFV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjunctive normal form#UY76, Disjunctive Normal Form Theorem (statement)
History
- 2026-11-02: add by m2/dev
XV6C8HVJBJ XV6C8HVJBJ
| URI | m2://inv/XV6C8HVJBJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 95.1
History
- 2026-11-01: add by m2/v0.6.13
row-basis invariance XV6E1B5DQX
| URI | m2://inv/XV6E1B5DQX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22355#XH94, row-basis invariance (statement)
History
- 2026-11-02: add by m2/v0.6.17
XV6K9AACAV XV6K9AACAV
| URI | m2://inv/XV6K9AACAV |
|---|---|
| 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.29943#131V (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gallup International Association XV6R4V86DK
| URI | m2://inv/XV6R4V86DK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gallup International Association, Gallup International Association (definition). Also Wikidata Q1572899
History
- 2026-11-02: add by m2/dev
XV6T2SEWN4 XV6T2SEWN4
| URI | m2://inv/XV6T2SEWN4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#6AFT (statement). In BDN507RN7J/e1, theorem 4.5.8
History
- 2026-10-30: add by m2/v0.4.12
Linda J. S. Allen XV6TWH9XQW
| URI | m2://inv/XV6TWH9XQW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linda J. S. Allen, Linda J. S. Allen (topic). Also Wikidata Q1825861
History
- 2026-11-02: add by m2/dev
ruled XV70S1KKVQ
| URI | m2://inv/XV70S1KKVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#QG2O, ruled (definition)
History
- 2026-11-02: add by m2/dev
homomorphism XV71653X07
| URI | m2://inv/XV71653X07 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#SO6K, homomorphism (definition)
History
- 2026-11-02: add by m2/dev
XV75T996VA XV75T996VA
| URI | m2://inv/XV75T996VA |
|---|---|
| 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.28020#7CIZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Data profiling XV7875BWDN
| URI | m2://inv/XV7875BWDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data profiling, Data profiling (definition). Also Wikidata Q1172167
History
- 2026-11-02: add by m2/dev
XV7A38B2FE XV7A38B2FE
| URI | m2://inv/XV7A38B2FE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38268#34TH (statement). In TQ18V9TDQS/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
Exact multitime polynomial moments XV7BJK4VZQ
| URI | m2://inv/XV7BJK4VZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#TYFV, Exact multitime polynomial moments (statement). In 9YAE8FNQST/e1, theorem 13.6
History
- 2026-10-30: add by m2/v0.4.12
Smithy code XV7CR72TW1
| URI | m2://inv/XV7CR72TW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smithy code, Smithy code (definition). Also Wikidata Q7545697
History
- 2026-11-02: add by m2/dev
XV7WXS0PJH XV7WXS0PJH
| URI | m2://inv/XV7WXS0PJH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#ex:alt-dedekind-reals (exercise). In N54F33XE07, ex, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Alexandra M. Schmidt XV845W5M0J
| URI | m2://inv/XV845W5M0J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#9RD7, Alexandra M. Schmidt (topic)
History
- 2026-11-02: add by m2/dev
X/x XV84C43T98
| URI | m2://inv/XV84C43T98 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9968, X/x (unknown). Also ProofWiki Symbols:X
History
- 2026-10-26: add by m2/dev
Symmetry XV88381JHD
| URI | m2://inv/XV88381JHD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrakis hexahedron#R94D, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
\textsf{Subcritical self-similar FCLT XV8AAF2JS4
| URI | m2://inv/XV8AAF2JS4 |
|---|---|
| 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.09404#6L9X, \textsf{Subcritical self-similar FCLT (statement). In D7CZZ48FRN/e1, corollary 1.8
History
- 2026-10-29: add by m2/v0.4.10
XV8E8SQND5 XV8E8SQND5
| URI | m2://inv/XV8E8SQND5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12819#P96Y (statement). In JW8S0XEMWG/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Rosette groups XV8GGK2FSG
| URI | m2://inv/XV8GGK2FSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of planar symmetry groups#302F, Rosette groups (definition)
History
- 2026-11-02: add by m2/dev
Statement XV8R53QTXH
| URI | m2://inv/XV8R53QTXH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gross–Koblitz formula#047Z, Statement (statement)
History
- 2026-11-02: add by m2/dev
homomorphic sensing of a single subspace XV8VGSGJJD
| URI | m2://inv/XV8VGSGJJD |
|---|---|
| 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 2006.05158#DC6L, homomorphic sensing of a single subspace (statement). In 4VCW6SZQXK/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Nomenclator cipher XV91N2V80B
| URI | m2://inv/XV91N2V80B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Substitution cipher#LR7F, Nomenclator cipher (unknown)
History
- 2026-11-02: add by m2/dev
XV932ZNC0V XV932ZNC0V
| URI | m2://inv/XV932ZNC0V |
|---|---|
| Kind | problem |
| 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.12640#CSCR (problem). In QP9FE1D6PG/e1, problem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Oracle martingale limit XV93GQNCRN
| URI | m2://inv/XV93GQNCRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20772#V8WL, Oracle martingale limit (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hessenberg form of the core XV97TSQS8B
| URI | m2://inv/XV97TSQS8B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05498#EFP3, Hessenberg form of the core (statement). In TJT32RQ9GC/e1, fact 5.5
History
- 2026-10-29: add by m2/v0.4.10
Ernest Esclangon XV9CNYSZ3B
| URI | m2://inv/XV9CNYSZ3B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernest Esclangon, Ernest Esclangon (topic). Also Wikidata Q574628
History
- 2026-11-02: add by m2/dev
XV9HDG1XRD XV9HDG1XRD
| URI | m2://inv/XV9HDG1XRD |
|---|---|
| Kind | problem |
| 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.12691#95DO (problem). In YVQKT91MYN/e1, problem 3
History
- 2026-10-28: add by m2/v0.4.2
Type $\omega$-Vaught's conjecture XV9MJW95DJ
| URI | m2://inv/XV9MJW95DJ |
|---|---|
| Kind | conjecture |
| 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.09314#MSBJ, Type $\omega$-Vaught's conjecture (conjecture). In Z04N0B3R0V/e1, conjecture 2.10
History
- 2026-10-29: add by m2/v0.4.10
Moving-average model XV9QQTVGFK
| URI | m2://inv/XV9QQTVGFK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5VCD, Moving-average model (definition)
History
- 2026-11-02: add by m2/dev
Error estimate for the exterior Liouville tail XV9TWJ535W
| URI | m2://inv/XV9TWJ535W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10484#R6O8, Error estimate for the exterior Liouville tail (statement). In 5B4AX4SF88/e1, theorem 4.13
History
- 2026-10-29: add by m2/v0.4.10
Iterated logarithm XV9VYYWFNF
| URI | m2://inv/XV9VYYWFNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterated logarithm, Iterated logarithm (definition). Also Wikidata Q2028293
History
- 2026-11-02: add by m2/dev
F-coalgebra XV9Z6J5CMW
| URI | m2://inv/XV9Z6J5CMW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-coalgebra, F-coalgebra (definition). Also Wikidata Q3062935
History
- 2026-11-02: add by m2/dev
Example XVA3X5XVMM
| URI | m2://inv/XVA3X5XVMM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orlicz sequence space#I2WQ, Example (example)
History
- 2026-11-02: add by m2/dev
XVA96QVMW6 XVA96QVMW6
| URI | m2://inv/XVA96QVMW6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#V0WJ (statement). In G02N9D40B9/e1, proposition 6.2.2
History
- 2026-10-29: add by m2/v0.4.10
Fat rabbit XVACMGV9N6
| URI | m2://inv/XVACMGV9N6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Douady rabbit#D1U1, Fat rabbit (unknown)
History
- 2026-11-02: add by m2/dev
XVAF9RPE8J XVAF9RPE8J
| URI | m2://inv/XVAF9RPE8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#VH6V (statement). In V7SN19J84T/e1, lemma 6.7
History
- 2026-10-28: add by m2/v0.4.2
Vātsyāyana XVAXXPSS7E
| URI | m2://inv/XVAXXPSS7E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of teachers of Nyaya#3R4H, Vātsyāyana (topic)
History
- 2026-11-02: add by m2/dev
Demeter Krupka XVB6D1931W
| URI | m2://inv/XVB6D1931W |
|---|---|
| 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 Q95152095, Demeter Krupka (unknown). Also nLab Demeter Krupka
History
- 2026-10-26: add by m2/dev
Lukacs's proportion-sum independence theorem XVBD4EA8A1
| URI | m2://inv/XVBD4EA8A1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WW6A, Lukacs's proportion-sum independence theorem (statement)
History
- 2026-11-02: add by m2/dev
Tide spectrum XVBEFTM5RF
| URI | m2://inv/XVBEFTM5RF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theory of tides#HYJ7, Tide spectrum (unknown)
History
- 2026-11-02: add by m2/dev
Robert F. Boruch XVBJ4G96P5
| URI | m2://inv/XVBJ4G96P5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#BNXD, Robert F. Boruch (topic)
History
- 2026-11-02: add by m2/dev
Hypothesis testing XVBPM70K3N
| URI | m2://inv/XVBPM70K3N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone likelihood ratio#SNGP, Hypothesis testing (statement)
History
- 2026-11-02: add by m2/dev
Determinant XVC19C04RY
| URI | m2://inv/XVC19C04RY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#G93V, Determinant (definition)
History
- 2026-11-02: add by m2/dev
Harry Yandell Benedict XVC25M5NS0
| URI | m2://inv/XVC25M5NS0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harry Yandell Benedict, Harry Yandell Benedict (topic). Also Wikidata Q62071279
History
- 2026-11-02: add by m2/dev
Comparison in a triangular neighborhood XVC3YDWJGS
| URI | m2://inv/XVC3YDWJGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2610.12203#PUET, Comparison in a triangular neighborhood (statement). In F4YTAZSCS2/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Hypothesis testing XVC4PQH74R
| URI | m2://inv/XVC4PQH74R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Student's t-distribution#D3CP, Hypothesis testing (statement)
History
- 2026-11-02: add by m2/dev
Properties XVCHENEKAD
| URI | m2://inv/XVCHENEKAD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cup product#MY4H, Properties (statement)
History
- 2026-11-02: add by m2/dev
Divisor function XVCKBW4BR9
| URI | m2://inv/XVCKBW4BR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#XV7R, Divisor function (definition)
History
- 2026-11-02: add by m2/dev
Fidelity from diamond error XVCPYJQ29A
| URI | m2://inv/XVCPYJQ29A |
|---|---|
| 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#K6RU, Fidelity from diamond error (statement). In FRMCKEGVJZ/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
XVCRFZSPQ5 XVCRFZSPQ5
| URI | m2://inv/XVCRFZSPQ5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-292 (exercise). In VNMV985MXX, exercise, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Parity fingerprint XVCT8ZWQQA
| URI | m2://inv/XVCT8ZWQQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22356#C07Y, Parity fingerprint (statement)
History
- 2026-11-02: add by m2/v0.6.17
Svetlana Jitomirskaya XVD0YJ3GK4
| URI | m2://inv/XVD0YJ3GK4 |
|---|---|
| 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#C9WW, Svetlana Jitomirskaya (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TM1T, Svetlana Jitomirskaya (topic)
History
- 2026-11-02: add by m2/dev
Minimal surface of revolution XVD13NCA90
| URI | m2://inv/XVD13NCA90 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal surface of revolution, Minimal surface of revolution (definition). Also Wikidata Q6865337
History
- 2026-11-02: add by m2/dev
Example XVD5D2YRB4
| URI | m2://inv/XVD5D2YRB4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneous relation#UQ0N, Example (example)
History
- 2026-11-02: add by m2/dev
XVD5HCXJZG XVD5HCXJZG
| URI | m2://inv/XVD5HCXJZG |
|---|---|
| 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.26477#1NAT (statement)
History
- 2026-11-01: add by m2/v0.6.15
W. Edwards Deming XVDAER7QZE
| URI | m2://inv/XVDAER7QZE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia W. Edwards Deming, W. Edwards Deming (topic). Also Wikidata Q311472
History
- 2026-11-02: add by m2/dev
XVDAV10CQK XVDAV10CQK
| URI | m2://inv/XVDAV10CQK |
|---|---|
| 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 2211.10816#VQG8 (statement). In 8VNN8PX49Y/e1, theorem 11
History
- 2026-10-27: add by m2/v0.3.6
XVDBD2E7Z7 XVDBD2E7Z7
| URI | m2://inv/XVDBD2E7Z7 |
|---|---|
| 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 2410.10337#HBZM (statement). In RBBF0XNZ5E/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.5
Statement XVDFMBFGV8
| URI | m2://inv/XVDFMBFGV8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martingale central limit theorem#BO3K, Statement (statement)
History
- 2026-11-02: add by m2/dev
XVDJ9SHECA XVDJ9SHECA
| URI | m2://inv/XVDJ9SHECA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-4 (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13
XVDN8VRQTK XVDN8VRQTK
| URI | m2://inv/XVDN8VRQTK |
|---|---|
| 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.15787#XCDG (statement). In BPY9RM0VK7/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Robert Giffen XVDQ4AMBDS
| URI | m2://inv/XVDQ4AMBDS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Giffen, Robert Giffen (topic). Also Wikidata Q961773
History
- 2026-11-02: add by m2/dev
retract, of a function XVDQRQTVTC
| URI | m2://inv/XVDQRQTVTC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.5/retract-of-a-function, retract, of a function (concept). In N54F33XE07, index, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Formula for expected utility XVDZ24H67J
| URI | m2://inv/XVDZ24H67J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expected utility hypothesis#22WY, Formula for expected utility (statement)
History
- 2026-11-02: add by m2/dev
Veronese surface XVE3VRBM2E
| URI | m2://inv/XVE3VRBM2E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#EVO1, Veronese surface (definition)
History
- 2026-11-02: add by m2/dev
Zermelo's theorem and backward induction XVE5241YF3
| URI | m2://inv/XVE5241YF3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zermelo's theorem (game theory)#X7IW, Zermelo's theorem and backward induction (statement)
History
- 2026-11-02: add by m2/dev
Results XVEBP70ERG
| URI | m2://inv/XVEBP70ERG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier algebra#XDHT, Results (statement)
History
- 2026-11-02: add by m2/dev
XVEGMECG3S XVEGMECG3S
| URI | m2://inv/XVEGMECG3S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07240#VPEQ (definition). In D0F1GK5AHW/e1, definition D.2
History
- 2026-10-29: add by m2/v0.4.10
Pasquale del Pezzo XVEKAYZWQZ
| URI | m2://inv/XVEKAYZWQZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#POMV, Pasquale del Pezzo (topic)
History
- 2026-11-02: add by m2/dev
XVEN1NC8KV XVEN1NC8KV
| URI | m2://inv/XVEN1NC8KV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#RM1L (statement). In D6XA7JXZF3/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.3.5
Margaret E. Martin XVENZSFXXB
| URI | m2://inv/XVENZSFXXB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#YLVS, Margaret E. Martin (topic)
History
- 2026-11-02: add by m2/dev
Local transport with a fixed exterior XVEQAFW2KJ
| URI | m2://inv/XVEQAFW2KJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18698#420X, Local transport with a fixed exterior (statement). In AVDZGC7976/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
Uses XVEZWBTBK4
| URI | m2://inv/XVEZWBTBK4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirchhoff's circuit laws#Q49J, Uses (example)
History
- 2026-11-02: add by m2/dev
Finite-size comparison XVF4CXTSVE
| URI | m2://inv/XVF4CXTSVE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32710#GAUU, Finite-size comparison (statement). In KVYG6R7CGJ/e1, lemma 6.3
History
- 2026-10-31: add by m2/v0.5.6
Example XVFBC4SNFZ
| URI | m2://inv/XVFBC4SNFZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indifference price#YDRD, Example (example)
History
- 2026-11-02: add by m2/dev
XVFCVXFTQ5 XVFCVXFTQ5
| URI | m2://inv/XVFCVXFTQ5 |
|---|---|
| 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.09882#LOAW (statement). In 7XV6T4N79V/e1, corollary 6.5
History
- 2026-10-29: add by m2/v0.4.10
Anchor map on the full graph XVFHC7YMFD
| URI | m2://inv/XVFHC7YMFD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01937#P6BU, Anchor map on the full graph (definition). In BAEDMM7YM5/e1, definition 24
History
- 2026-10-29: add by m2/v0.4.12
Example XVFM131NE0
| URI | m2://inv/XVFM131NE0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertical tangent#WW0Y, Example (example)
History
- 2026-11-02: add by m2/dev
XVFP63EX0E XVFP63EX0E
| URI | m2://inv/XVFP63EX0E |
|---|---|
| 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.10221#36GQ (statement). In 9Z5M655EPV/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
matrix of ones XVFYB7K8JX
| URI | m2://inv/XVFYB7K8JX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2916484, matrix of ones (unknown). Also MathWorld UnitMatrix
- wikipedia: Wikipedia Matrix of ones, Matrix of ones (definition). Also Wikidata Q2916484
History
- 2026-10-26: add by m2/dev
XVG57N046H XVG57N046H
| URI | m2://inv/XVG57N046H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11785#XQZT (statement). In 2XSZDXZ52E/e1, proposition 1.7
History
- 2026-10-28: add by m2/v0.4.3
primary XVG5EAFHHC
| URI | m2://inv/XVG5EAFHHC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#48FX, primary (definition)
History
- 2026-11-02: add by m2/dev
Knaster–Kuratowski–Mazurkiewicz lemma XVGC3CXAH3
| URI | m2://inv/XVGC3CXAH3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#N66X, Knaster–Kuratowski–Mazurkiewicz lemma (statement)
- wikipedia: Wikipedia List of things named after Kazimierz Kuratowski#QHWQ, Knaster–Kuratowski–Mazurkiewicz lemma (statement)
History
- 2026-11-02: add by m2/dev
Theorem (Hungerford) XVGE270QR8
| URI | m2://inv/XVGE270QR8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal ideal ring#JE1C, Theorem (Hungerford) (statement)
History
- 2026-11-02: add by m2/dev
XVGEDEAACX XVGEDEAACX
| URI | m2://inv/XVGEDEAACX |
|---|---|
| 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 2609.32174#K5F0 (definition). In GHKR740SG3/e1, definition 9.1
History
- 2026-10-31: add by m2/v0.5.6
Algebraic properties XVGGTY2ZMT
| URI | m2://inv/XVGGTY2ZMT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Identity function#IJ9Q, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Height-dependent approximation of regularized mixture logits XVGJACJ1TW
| URI | m2://inv/XVGJACJ1TW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12544#LCVT, Height-dependent approximation of regularized mixture logits (statement). In XXV36V6CK8/e1, proposition 5
History
- 2026-10-28: add by m2/v0.4.2
Barbara Tilley XVGJXT9WA0
| URI | m2://inv/XVGJXT9WA0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#GQOC, Barbara Tilley (unknown)
History
- 2026-11-02: add by m2/dev
XVGK1ZANEG XVGK1ZANEG
| URI | m2://inv/XVGK1ZANEG |
|---|---|
| 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#BLFG (statement). In GF2MA6Y29D/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Uses XVGMRZXGMH
| URI | m2://inv/XVGMRZXGMH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argumentation scheme#C0KH, Uses (example)
History
- 2026-11-02: add by m2/dev
XVGNPD51EK XVGNPD51EK
| URI | m2://inv/XVGNPD51EK |
|---|---|
| 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 alg-geom/9506022#EF4K (statement). In AQGEM4XAKD/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
XVGSKVXPQE XVGSKVXPQE
| URI | m2://inv/XVGSKVXPQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31979#3MFD (statement). In M74V9NBAXB/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
Examples XVGT760ZGV
| URI | m2://inv/XVGT760ZGV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse transform sampling#B41O, Examples (example)
History
- 2026-11-02: add by m2/dev
XVGXB0EPSH XVGXB0EPSH
| URI | m2://inv/XVGXB0EPSH |
|---|---|
| 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.05506#GE7I (statement). In FT53PMB1TE/e1, theorem 1.1.7
History
- 2026-10-29: add by m2/v0.4.10
XVGZPPJAA4 XVGZPPJAA4
| URI | m2://inv/XVGZPPJAA4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.00806#C60Q (definition). In SBN06J39DG/e1, definition 1.3
History
- 2026-10-27: add by m2/v0.3.5
Tali Kaufman XVH2BJNSZT
| URI | m2://inv/XVH2BJNSZT |
|---|---|
| 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#YM9U, Tali Kaufman (unknown)
History
- 2026-11-02: add by m2/dev
XVH4M2KNV5 XVH4M2KNV5
| URI | m2://inv/XVH4M2KNV5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#example-6 (example). In E9HS8K3A52, example, section 2.4.2
History
- 2026-11-01: add by m2/v0.6.13
piecewise algebraic space XVHCPCWK5C
| URI | m2://inv/XVHCPCWK5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#HLRO, piecewise algebraic space (definition)
History
- 2026-11-02: add by m2/dev
Practical syllogism XVHK838XBY
| URI | m2://inv/XVHK838XBY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Practical syllogism, Practical syllogism (definition). Also Wikidata Q2107679
History
- 2026-11-02: add by m2/dev
XVHKBY04V5 XVHKBY04V5
| URI | m2://inv/XVHKBY04V5 |
|---|---|
| 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.03264#2SCR (statement). In 5TXRSPPTHP/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.12
XVHQC7QPRV XVHQC7QPRV
| URI | m2://inv/XVHQC7QPRV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39531#6EAL (statement). In SN9RSTHQ07/e1, lemma C.6
History
- 2026-10-30: add by m2/v0.4.12
XVHVJY2CXY XVHVJY2CXY
| URI | m2://inv/XVHVJY2CXY |
|---|---|
| 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.10205#57G9 (statement). In PQGS7NDMDQ/e1, proposition 15
History
- 2026-10-29: add by m2/v0.4.10
Thermohaline circulation XVJ1JF777D
| URI | m2://inv/XVJ1JF777D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermohaline circulation, Thermohaline circulation (definition). Also Wikidata Q463223
History
- 2026-11-02: add by m2/dev
average absolute deviation XVJ4CM4H9A
| URI | m2://inv/XVJ4CM4H9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1067186, average absolute deviation (unknown). Also MathWorld AbsoluteDeviation
- wikipedia: Wikipedia Average absolute deviation, Average absolute deviation (definition). Also Wikidata Q1067186
History
- 2026-10-26: add by m2/dev
XVJBTW5VH1 XVJBTW5VH1
| URI | m2://inv/XVJBTW5VH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28848#AHQ7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statistical data type XVJHV7YRAD
| URI | m2://inv/XVJHV7YRAD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical data type, Statistical data type (definition). Also Wikidata Q7604387
History
- 2026-11-02: add by m2/dev
XVJJY1SDFQ XVJJY1SDFQ
| URI | m2://inv/XVJJY1SDFQ |
|---|---|
| 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.15504#XXUN (statement). In AZ8SEW6HAV/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
XVJMCJ3E0K XVJMCJ3E0K
| URI | m2://inv/XVJMCJ3E0K |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2005.03073#ANHS (statement). In P2ETMXKVDS/e1, proposition 2.8
History
- 2026-10-27: add by m2/v0.3.5
Ky Fan inequality XVJMT8CCQ1
| URI | m2://inv/XVJMT8CCQ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#V0EB, Ky Fan inequality (statement)
History
- 2026-11-02: add by m2/dev
Mathematics for social justice XVJNM46AHA
| URI | m2://inv/XVJNM46AHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics for social justice, Mathematics for social justice (definition). Also Wikidata Q121909061
History
- 2026-11-02: add by m2/dev
bridge XVJPX76RYC
| URI | m2://inv/XVJPX76RYC |
|---|---|
| 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.20775#4VY3, bridge (statement). In XG27B81T0G/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.4.2
XVJSZH70J9 XVJSZH70J9
| URI | m2://inv/XVJSZH70J9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#JRPN (statement). In BSWNH3NW1M/e1, lemma 9.4
History
- 2026-10-27: add by m2/v0.4.0
XVJTXW0AH7 XVJTXW0AH7
| URI | m2://inv/XVJTXW0AH7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25080#OE8E (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bernardo Uribe Jongbloed XVJXD7PW7G
| URI | m2://inv/XVJXD7PW7G |
|---|---|
| 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#2835, Bernardo Uribe Jongbloed (topic)
History
- 2026-11-02: add by m2/dev
Formulas for continuous probability distributions XVK01Y5849
| URI | m2://inv/XVK01Y5849 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expected shortfall#LG6Z, Formulas for continuous probability distributions (statement)
History
- 2026-11-02: add by m2/dev
Kenneth Stephen Brown XVK2KBWXFV
| URI | m2://inv/XVK2KBWXFV |
|---|---|
| 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#5HX5, Kenneth Stephen Brown (topic)
History
- 2026-11-02: add by m2/dev
upper bounds of $B$ and its variants XVK4CPBWX4
| URI | m2://inv/XVK4CPBWX4 |
|---|---|
| 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 2602.14912#E21E, upper bounds of $B$ and its variants (statement). In A87BVH5DCM/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Equipartition theorem XVK877X5Z7
| URI | m2://inv/XVK877X5Z7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#63B8, Equipartition theorem (statement)
History
- 2026-11-02: add by m2/dev
Bangladesh Mathematical Olympiad XVKCTJPC95
| URI | m2://inv/XVKCTJPC95 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#OSMA, Bangladesh Mathematical Olympiad (unknown)
History
- 2026-11-02: add by m2/dev
XVKEM8FYZ9 XVKEM8FYZ9
| URI | m2://inv/XVKEM8FYZ9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17139#MSO5 (definition). In AQWX60Z563/e1, definition 4.23
History
- 2026-10-28: add by m2/v0.4.2
XVKH438NSF XVKH438NSF
| URI | m2://inv/XVKH438NSF |
|---|---|
| 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 2305.13184#P7C1 (statement). In SKYG9GMA96/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.6
Alfonso Sorrentino XVKQ26Y82S
| URI | m2://inv/XVKQ26Y82S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfonso Sorrentino (mathematician), Alfonso Sorrentino (topic). Also Wikidata Q102337314
History
- 2026-11-02: add by m2/dev
radical XVKRHHD21S
| URI | m2://inv/XVKRHHD21S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#XGGZ, radical (definition)
History
- 2026-11-02: add by m2/dev
compact core XVM1YZXR9Z
| URI | m2://inv/XVM1YZXR9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27136#NNF7, compact core (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kim and Pillay XVM63AZD3S
| URI | m2://inv/XVM63AZD3S |
|---|---|
| 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.22205#BJZ7, Kim and Pillay (statement). In 7REABAAQED/e1, fact
History
- 2026-10-27: add by m2/v0.4.0
Formal definition XVMT3D7PQ1
| URI | m2://inv/XVMT3D7PQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expected shortfall#IYR3, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
XVMV5238BP XVMV5238BP
| URI | m2://inv/XVMV5238BP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31523#2MH6 (statement). In 2BET1RE1F6/e1, proposition 3.3
History
- 2026-10-31: add by m2/v0.5.6
XVMWFNCWC6 XVMWFNCWC6
| URI | m2://inv/XVMWFNCWC6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22082#L9XU (statement). In 7PACGDW3N7/e1, lemma 20.1
History
- 2026-10-27: add by m2/v0.4.0
XVN1QAGFCX XVN1QAGFCX
| URI | m2://inv/XVN1QAGFCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#9Q37 (statement). In E7W2HDNEKJ/e1, proposition 10.5
History
- 2026-10-30: add by m2/v0.4.12
Terminology XVN7RV4DWY
| URI | m2://inv/XVN7RV4DWY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wormhole#S9VB, Terminology (definition)
History
- 2026-11-02: add by m2/dev
XVN7RXVSYX XVN7RXVSYX
| URI | m2://inv/XVN7RXVSYX |
|---|---|
| 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.27484#DZ9M (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sharp rank-two pure-pair extremum XVN8MAXY43
| URI | m2://inv/XVN8MAXY43 |
|---|---|
| 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 2610.20649#1GAY, Sharp rank-two pure-pair extremum (statement). In XDTM624YPE/e1, theorem 11.7
History
- 2026-10-27: add by m2/v0.4.2
XVNBH3XNMN XVNBH3XNMN
| URI | m2://inv/XVNBH3XNMN |
|---|---|
| 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.07673#NMV6 (statement). In 37B1MPV8GX/e1, corollary 9.7
History
- 2026-10-29: add by m2/v0.4.10
XVNENMCA72 XVNENMCA72
| URI | m2://inv/XVNENMCA72 |
|---|---|
| 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 2610.05194#G8FV (statement). In 77R8YQ16JH/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
XVNGJSGZBV XVNGJSGZBV
| URI | m2://inv/XVNGJSGZBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#5GNV (statement). In V7SN19J84T/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
Social desirability bias XVNK0ZK7JT
| URI | m2://inv/XVNK0ZK7JT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#1B5C, Social desirability bias (unknown)
History
- 2026-11-02: add by m2/dev
XVNMVMRPZT XVNMVMRPZT
| URI | m2://inv/XVNMVMRPZT |
|---|---|
| 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 2508.02432#OWRT (statement). In B366ACYB37/e1, corollary 3.31
History
- 2026-10-27: add by m2/v0.3.5
XVNRGZ382N XVNRGZ382N
| URI | m2://inv/XVNRGZ382N |
|---|---|
| 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 2605.16669#XSDK (statement). In 1463YCCRP5/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.0
XVNSQ4ME3P XVNSQ4ME3P
| URI | m2://inv/XVNSQ4ME3P |
|---|---|
| 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 2211.14214#V6TH (statement). In SY85Y9E45A/e1, proposition 37
History
- 2026-10-27: add by m2/v0.3.5
Reynolds decomposition XVNTK194TJ
| URI | m2://inv/XVNTK194TJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reynolds decomposition, Reynolds decomposition (definition). Also Wikidata Q7319682
History
- 2026-11-02: add by m2/dev
Great disdyakis triacontahedron XVNWYYFC3R
| URI | m2://inv/XVNWYYFC3R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great truncated icosidodecahedron#ZG1P, Great disdyakis triacontahedron (unknown)
History
- 2026-11-02: add by m2/dev
natural numbers XVNXAWH7SN
| URI | m2://inv/XVNXAWH7SN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.3.1/natural-numbers, natural numbers (concept). In Y91XFCEVHQ, index, section 1.3.1
History
- 2026-11-01: add by m2/v0.6.13
Interactive computation XVP2Q8X87K
| URI | m2://inv/XVP2Q8X87K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interactive computation, Interactive computation (definition). Also Wikidata Q6045374
History
- 2026-11-02: add by m2/dev
XVP582FNN8 XVP582FNN8
| URI | m2://inv/XVP582FNN8 |
|---|---|
| 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.18084#X2X6 (statement). In PKPT8NY665/e1, lemma 1.2
History
- 2026-10-28: add by m2/v0.4.2
XVPD3QWBK8 XVPD3QWBK8
| URI | m2://inv/XVPD3QWBK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03126#UPDQ (statement). In ZJ6VQCRDVR/e1, corollary 5
History
- 2026-10-29: add by m2/v0.4.12
Applications XVPE9YBTHC
| URI | m2://inv/XVPE9YBTHC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delaunay triangulation#ZUAJ, Applications (example)
History
- 2026-11-02: add by m2/dev
Hyperboloid model XVPETB54D7
| URI | m2://inv/XVPETB54D7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#56RR, Hyperboloid model (definition)
History
- 2026-11-02: add by m2/dev
Open questions XVPJ7WE6W6
| URI | m2://inv/XVPJ7WE6W6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia D'Alembert's paradox#9UPM, Open questions (statement)
History
- 2026-11-02: add by m2/dev
decimetre XVPMTE9G4W
| URI | m2://inv/XVPMTE9G4W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q200323, decimetre (definition). Also ProofWiki Definition:Metric_System/Length/Decimetre
History
- 2026-10-26: add by m2/dev
proportionally-cutting circle XVPQ4C9XZ4
| URI | m2://inv/XVPQ4C9XZ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4673035, proportionally-cutting circle (unknown). Also MathWorld Proportionally-CuttingCircle
History
- 2026-10-26: add by m2/dev
Domenico Guglielmini XVPTWPZR5K
| URI | m2://inv/XVPTWPZR5K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Domenico Guglielmini, Domenico Guglielmini (topic). Also Wikidata Q910092
History
- 2026-11-02: add by m2/dev
monadic first-order logic XVPTZS8QZ5
| URI | m2://inv/XVPTZS8QZ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#N0H0, monadic first-order logic (definition)
History
- 2026-11-02: add by m2/dev
Louis de Broglie XVQ0F9GXWX
| URI | m2://inv/XVQ0F9GXWX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#X7VR, Louis de Broglie (unknown)
History
- 2026-11-02: add by m2/dev
Jan Pelant XVQ50381Z3
| URI | m2://inv/XVQ50381Z3 |
|---|---|
| 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 Q95172472, Jan Pelant (unknown). Also ProofWiki Mathematician:Jan_Pelant
History
- 2026-10-26: add by m2/dev
Definition XVQ81M46TT
| URI | m2://inv/XVQ81M46TT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz space#5S9F, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications XVQB0Q2TT6
| URI | m2://inv/XVQB0Q2TT6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphical model#IXF6, Applications (example)
History
- 2026-11-02: add by m2/dev
Order-5 pentagonal tiling XVQKHVGYH8
| URI | m2://inv/XVQKHVGYH8 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-5 pentagonal tiling, Order-5 pentagonal tiling (object). Also Wikidata Q7100401
History
- 2026-11-02: add by m2/dev
Theorem XVQNXCEHZK
| URI | m2://inv/XVQNXCEHZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric rigidity#75HE, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Mahendra Suri XVQSD62BGJ
| URI | m2://inv/XVQSD62BGJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#GA87, Mahendra Suri (unknown)
History
- 2026-11-02: add by m2/dev
Fifth column (m=4) of unsigned triangle A111595 . XVQY1VXYVG
| URI | m2://inv/XVQY1VXYVG |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100193971, Fifth column (m=4) of unsigned triangle A111595 . (object). Also OEIS A111778
History
- 2026-10-26: add by m2/dev
!!^{valuation}s XVR7AHRQPR
| URI | m2://inv/XVR7AHRQPR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/syntax-and-semantics/valuations-sat.tex#defn-1, !!^{valuation}s (definition). In PKGMM3P5QY, defn, section 42.1
History
- 2026-11-01: add by m2/v0.6.13
XVR90QCVY9 XVR90QCVY9
| URI | m2://inv/XVR90QCVY9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#FQBM (example). In 9EMCPF1F2T/e1, example 24
History
- 2026-10-29: add by m2/v0.4.10
XVRRB2MJQZ XVRRB2MJQZ
| URI | m2://inv/XVRRB2MJQZ |
|---|---|
| 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 2404.05451#CAVS (statement). In 5YMFYAFFJ7/e1, lemma A
History
- 2026-10-27: add by m2/v0.3.5
Weak ordering XVRT30BSXF
| URI | m2://inv/XVRT30BSXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak ordering, Weak ordering (definition). Also Wikidata Q1414271
History
- 2026-11-02: add by m2/dev
Examples XVS7SZZ2E1
| URI | m2://inv/XVS7SZZ2E1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodetic datum#ZUJS, Examples (example)
History
- 2026-11-02: add by m2/dev
5-orthoplex XVSDHDF16F
| URI | m2://inv/XVSDHDF16F |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5-orthoplex, 5-orthoplex (object). Also Wikidata Q4639671
History
- 2026-11-02: add by m2/dev
Haruo Hosoya XVSHC0Y1TV
| URI | m2://inv/XVSHC0Y1TV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OCRO, Haruo Hosoya (unknown)
History
- 2026-11-02: add by m2/dev
Spiral optimization algorithm XVSMFSYSZQ
| URI | m2://inv/XVSMFSYSZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spiral optimization algorithm, Spiral optimization algorithm (definition). Also Wikidata Q49000007
History
- 2026-11-02: add by m2/dev
Class number (binary quadratic forms) XVSNERWTC3
| URI | m2://inv/XVSNERWTC3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary quadratic form#VDE0, Class number (binary quadratic forms) (unknown)
History
- 2026-11-02: add by m2/dev
Gauss's law for gravity XVSTE4XAEW
| URI | m2://inv/XVSTE4XAEW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss's law for gravity, Gauss's law for gravity (statement). Also Wikidata Q3180597
History
- 2026-11-02: add by m2/dev
Algorithm XVSV41Z5CQ
| URI | m2://inv/XVSV41Z5CQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirkpatrick–Seidel algorithm#HJ7V, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Central Limit Theorem for MCMC XVSVGKQSX5
| URI | m2://inv/XVSVGKQSX5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chain Monte Carlo#LEVQ, Central Limit Theorem for MCMC (statement)
History
- 2026-11-02: add by m2/dev
Per-comparison error rate XVSYHY914X
| URI | m2://inv/XVSYHY914X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DS4M, Per-comparison error rate (definition)
History
- 2026-11-02: add by m2/dev
XVT35F2RKP XVT35F2RKP
| URI | m2://inv/XVT35F2RKP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/proofs-in-K.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 55.9
History
- 2026-11-01: add by m2/v0.6.13
XVT41T7CPE XVT41T7CPE
| URI | m2://inv/XVT41T7CPE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#example-4 (example). In RZP28ERRZV, example, section 55.2
History
- 2026-11-01: add by m2/v0.6.13
Egon Pearson XVT8VF85HF
| URI | m2://inv/XVT8VF85HF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Egon Pearson, Egon Pearson (topic). Also Wikidata Q1298830
History
- 2026-11-02: add by m2/dev
Composition of Kripke weakenings XVT92D56VM
| URI | m2://inv/XVT92D56VM |
|---|---|
| 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.21131#R57T, Composition of Kripke weakenings (statement). In CPYWHRTPKC/e1, lemma 7.3
History
- 2026-10-27: add by m2/v0.4.2
XVTBF9V86R XVTBF9V86R
| URI | m2://inv/XVTBF9V86R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05221#9KTA (definition). In 53YVH3QS37/e1, definition
History
- 2026-10-29: add by m2/v0.4.10
Ohlson O-score XVTE90H529
| URI | m2://inv/XVTE90H529 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ohlson O-score, Ohlson O-score (definition). Also Wikidata Q18356449
History
- 2026-11-02: add by m2/dev
XVTP7P6KZX XVTP7P6KZX
| URI | m2://inv/XVTP7P6KZX |
|---|---|
| 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.19036#6DUT (statement). In 76GJ814P0A/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
George O. Abell XVTXDZTHV2
| URI | m2://inv/XVTXDZTHV2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#3V37, George O. Abell (unknown)
History
- 2026-11-02: add by m2/dev
Israel Gelfand XVV8S1TTK1
| URI | m2://inv/XVV8S1TTK1 |
|---|---|
| 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 Q315414, Israel Gelfand (unknown). Also MathWorld GelfandMazurTheorem, nLab Israel Gelfand, ProofWiki Mathematician:Israel_Moiseevich_Gelfand
- wikipedia: Wikipedia Israel Gelfand, Israel Gelfand (topic). Also Wikidata Q315414
History
- 2026-10-26: add by m2/dev
Immersed boundary method XVV8XJK2CX
| URI | m2://inv/XVV8XJK2CX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Immersed boundary method, Immersed boundary method (definition). Also Wikidata Q11425899
History
- 2026-11-02: add by m2/dev
Halin graph XVVB40B0RS
| URI | m2://inv/XVVB40B0RS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2913731, Halin graph (unknown). Also EoM Halin_graph, MathWorld HalinGraph
- wikipedia: Wikipedia Halin graph, Halin graph (definition). Also Wikidata Q2913731
History
- 2026-10-26: add by m2/dev
Magnus Wenninger XVVHQRYWHZ
| URI | m2://inv/XVVHQRYWHZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform polyhedra#G04F, Magnus Wenninger (topic)
History
- 2026-11-02: add by m2/dev
XVVMYKFEF5 XVVMYKFEF5
| URI | m2://inv/XVVMYKFEF5 |
|---|---|
| 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.07442#7031 (statement). In 6SDC2Z8Y8M/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.10
Energy correction and modified energy XVVNVGS0KX
| URI | m2://inv/XVVNVGS0KX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.07116#OQ37, Energy correction and modified energy (definition). In 5B030CB2RK/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.6
XVVYHH5RKR XVVYHH5RKR
| URI | m2://inv/XVVYHH5RKR |
|---|---|
| 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.36300#XZ85 (statement). In MNWD3Y6W56/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
XVW1A3DNEE XVW1A3DNEE
| URI | m2://inv/XVW1A3DNEE |
|---|---|
| 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.00551#IIMB (statement). In AJRYG47JCE/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
XVW3GY8DHF XVW3GY8DHF
| URI | m2://inv/XVW3GY8DHF |
|---|---|
| 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 2012.05048#JKAV (statement). In NY9HW1E6DY/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Seismic interferometry XVW7NTQVB5
| URI | m2://inv/XVW7NTQVB5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seismic interferometry, Seismic interferometry (definition). Also Wikidata Q7446966
History
- 2026-11-02: add by m2/dev
Computation XVWAYGWG49
| URI | m2://inv/XVWAYGWG49 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heegner point#YT3X, Computation (definition)
History
- 2026-11-02: add by m2/dev
Examples XVWC4VZXCE
| URI | m2://inv/XVWC4VZXCE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal form (natural deduction)#F4EX, Examples (example)
History
- 2026-11-02: add by m2/dev
XVWG09RX34 XVWG09RX34
| URI | m2://inv/XVWG09RX34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.28742#FJ50 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications XVWTZH7584
| URI | m2://inv/XVWTZH7584 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MacMahon's master theorem#TO9R, Applications (example)
History
- 2026-11-02: add by m2/dev
repeated integral XVX884YTB6
| URI | m2://inv/XVX884YTB6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q116483799, repeated integral (concept). Also MathWorld RepeatedIntegral
History
- 2026-10-26: add by m2/dev
Self-dual figure XVXANR598Z
| URI | m2://inv/XVXANR598Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual polyhedron#E2OR, Self-dual figure (unknown)
History
- 2026-11-02: add by m2/dev
Michele Benzi XVXD1T2A0R
| URI | m2://inv/XVXD1T2A0R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7E5B, Michele Benzi (topic)
History
- 2026-11-02: add by m2/dev
basis filter XVXEV6C6XB
| URI | m2://inv/XVXEV6C6XB |
|---|---|
| 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.39511#26VV, basis filter (definition). In 6W9H24A378/e1, definition 6
History
- 2026-10-30: add by m2/v0.4.12
Infinitesimal transformation XVXPN697JA
| URI | m2://inv/XVXPN697JA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinitesimal transformation, Infinitesimal transformation (definition). Also Wikidata Q10310534
History
- 2026-11-02: add by m2/dev
Toral action XVY56TD0PV
| URI | m2://inv/XVY56TD0PV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#PNAJ, Toral action (statement). In 25B3WHEKH2/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.4.2
Center for Undergraduate Research in Mathematics XVY9QHNBGD
| URI | m2://inv/XVY9QHNBGD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center for Undergraduate Research in Mathematics, Center for Undergraduate Research in Mathematics (definition). Also Wikidata Q24944562
History
- 2026-11-02: add by m2/dev
Armijo backtracking termination XVYQM0M3JW
| URI | m2://inv/XVYQM0M3JW |
|---|---|
| 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.18428#SHUT, Armijo backtracking termination (statement). In 6BGSQT7SV8/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
Stufe XVYSCN9AWJ
| URI | m2://inv/XVYSCN9AWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stufe (algebra), Stufe (definition). Also Wikidata Q1538648
History
- 2026-11-02: add by m2/dev
Tensor decomposition XVYWERK367
| URI | m2://inv/XVYWERK367 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor decomposition, Tensor decomposition (definition). Also Wikidata Q30103009
History
- 2026-11-02: add by m2/dev
XVYWNX24F3 XVYWNX24F3
| URI | m2://inv/XVYWNX24F3 |
|---|---|
| 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.19464#PFA4 (statement). In G8JCZ109A9/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
G*Power XVYZ2HW19D
| URI | m2://inv/XVYZ2HW19D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G*Power, G*Power (definition). Also Wikidata Q18411871
History
- 2026-11-02: add by m2/dev
XVZ2HDDHDM XVZ2HDDHDM
| URI | m2://inv/XVZ2HDDHDM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/examples.tex#proof-8 (proof). In PKGMM3P5QY, proof, section 3.20
History
- 2026-11-01: add by m2/v0.6.13
Truncated order-7 triangular tiling XVZ6DY0A4V
| URI | m2://inv/XVZ6DY0A4V |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-7 triangular tiling, Truncated order-7 triangular tiling (object). Also Wikidata Q3817791
History
- 2026-11-02: add by m2/dev
Continuation XVZG4M5BEE
| URI | m2://inv/XVZG4M5BEE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#LZA1, Continuation (statement). In 65TJENWK7X/e1, lemma 60
History
- 2026-10-29: add by m2/v0.4.10
XVZQK4S11K XVZQK4S11K
| URI | m2://inv/XVZQK4S11K |
|---|---|
| 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#RHX3 (statement). In ZJQB9W60T6/e1, theorem 7.6
History
- 2026-10-28: add by m2/v0.4.2