Inventory rows 71
The cards of the rows of the inventory whose ids start with 71. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Computer-assisted bounds 7101PS4M2A
| URI | m2://inv/7101PS4M2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23685#W0A7, Computer-assisted bounds (statement)
History
- 2026-11-02: add by m2/v0.6.17
7104QQNNBH 7104QQNNBH
| URI | m2://inv/7104QQNNBH |
|---|---|
| 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.07828#QMTO (statement). In TWGMVT1N1G/e1, lemma 9.1
History
- 2026-10-29: add by m2/v0.4.10
Lilliefors test 710A630VKP
| URI | m2://inv/710A630VKP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NT7N, Lilliefors test (definition)
History
- 2026-11-02: add by m2/dev
São José dos Quatro Marcos 710D9Y401A
| URI | m2://inv/710D9Y401A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MH2I, São José dos Quatro Marcos (unknown)
History
- 2026-11-02: add by m2/dev
identity function 710MGMS4KA
| URI | m2://inv/710MGMS4KA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#E6PW, identity function (definition)
History
- 2026-11-02: add by m2/dev
710RBBSS1A 710RBBSS1A
| URI | m2://inv/710RBBSS1A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#K7L0 (definition). In CY1FE8W1ZW/e1, definition 0.33
History
- 2026-10-27: add by m2/v0.3.5
710T64GDEX 710T64GDEX
| URI | m2://inv/710T64GDEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32181#IGHW (statement). In 8FKEQSPN7M/e1, proposition 1.6
History
- 2026-10-31: add by m2/v0.5.6
7112ZE7B15 7112ZE7B15
| URI | m2://inv/7112ZE7B15 |
|---|---|
| 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#OCEB (statement). In E7W2HDNEKJ/e1, theorem 6.3
History
- 2026-10-30: add by m2/v0.4.12
711605DQ91 711605DQ91
| URI | m2://inv/711605DQ91 |
|---|---|
| Kind | definition |
| 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#9678 (definition). In V7SN19J84T/e1, definition 3.5
History
- 2026-10-28: add by m2/v0.4.2
711B9VXKNY 711B9VXKNY
| URI | m2://inv/711B9VXKNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24448#Y8HQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
711MNCEJ78 711MNCEJ78
| URI | m2://inv/711MNCEJ78 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28143#CFFT (definition)
History
- 2026-11-01: add by m2/v0.6.15
Spectral Form 711QD2HCAS
| URI | m2://inv/711QD2HCAS |
|---|---|
| Kind | definition |
| 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.25091#AZ86, Spectral Form (definition)
History
- 2026-11-01: add by m2/v0.6.15
Frattini subgroup 711RJE2DZM
| URI | m2://inv/711RJE2DZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#666R, Frattini subgroup (definition)
History
- 2026-11-02: add by m2/dev
Betweenness centrality 711RQAT3AJ
| URI | m2://inv/711RQAT3AJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Betweenness centrality, Betweenness centrality (definition). Also Wikidata Q4899215
History
- 2026-11-02: add by m2/dev
711TF5FN6K 711TF5FN6K
| URI | m2://inv/711TF5FN6K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/replacement/absinf.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 73.5
History
- 2026-11-01: add by m2/v0.6.13
Applications 711VXR40R8
| URI | m2://inv/711VXR40R8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Savitzky–Golay filter#Q3BW, Applications (example)
History
- 2026-11-02: add by m2/dev
711YBM61W1 711YBM61W1
| URI | m2://inv/711YBM61W1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#FYL4 (statement). In X47RYAZF8P/e1, corollary 3.3
History
- 2026-10-28: add by m2/v0.4.2
Alfred Horn 7120SJ7N21
| URI | m2://inv/7120SJ7N21 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#W8W4, Alfred Horn (topic)
History
- 2026-11-02: add by m2/dev
Characterization 7123Z7WA01
| URI | m2://inv/7123Z7WA01 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangential trapezoid#OUNV, Characterization (statement)
History
- 2026-11-02: add by m2/dev
Ros--Pinkall 712BWSMAMM
| URI | m2://inv/712BWSMAMM |
|---|---|
| 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.26665#08J3, Ros--Pinkall (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pocock boundary 712EFFCG0A
| URI | m2://inv/712EFFCG0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pocock boundary, Pocock boundary (definition). Also Wikidata Q7206501
History
- 2026-11-02: add by m2/dev
712KGCN90S 712KGCN90S
| URI | m2://inv/712KGCN90S |
|---|---|
| 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.25880#7MXR (statement)
History
- 2026-11-01: add by m2/v0.6.15
712NFVE4QG 712NFVE4QG
| URI | m2://inv/712NFVE4QG |
|---|---|
| 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.04264#UA86 (statement). In 5YRJ4HGY4N/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.12
\textbf{Fixed embedding, fixed metric: extrinsic operator identifies density up to almost everywhere equality 712VN9YDCW
| URI | m2://inv/712VN9YDCW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.17032#E0GR, \textbf{Fixed embedding, fixed metric: extrinsic operator identifies density up to almost everywhere equality (statement). In MXPK9A2HK2/e1, corollary B.3
History
- 2026-10-28: add by m2/v0.4.2
Law 7131DB9SA6
| URI | m2://inv/7131DB9SA6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Error#MWA9, Law (statement)
History
- 2026-11-02: add by m2/dev
71363FWZXX 71363FWZXX
| URI | m2://inv/71363FWZXX |
|---|---|
| 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.18536#82YW (statement). In JM5KKNKK1J/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
713DMZ8S8X 713DMZ8S8X
| URI | m2://inv/713DMZ8S8X |
|---|---|
| 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#FAKK (statement). In BSWNH3NW1M/e1, lemma 7.5
History
- 2026-10-27: add by m2/v0.4.0
713F9BT050 713F9BT050
| URI | m2://inv/713F9BT050 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13745#UF39 (statement). In CFJH0Q39FZ/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
7141X0V6EM 7141X0V6EM
| URI | m2://inv/7141X0V6EM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-conc.ptx#exercise-18 (exercise). In Y91XFCEVHQ, exercise, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
7143QHAK9D 7143QHAK9D
| URI | m2://inv/7143QHAK9D |
|---|---|
| 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.21682#Y9LI (statement)
History
- 2026-11-02: add by m2/v0.6.18
7144EYG2WF 7144EYG2WF
| URI | m2://inv/7144EYG2WF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#0ZIG (statement). In QM1T8JDK4A/e1, proposition 6.2
History
- 2026-10-30: add by m2/v0.4.12
71450P9CK9 71450P9CK9
| URI | m2://inv/71450P9CK9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.16491#2BLP (definition). In P9J6P06Y40/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Szegő limit theorems 7149RABMPE
| URI | m2://inv/7149RABMPE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8EXQ, Szegő limit theorems (statement)
History
- 2026-11-02: add by m2/dev
DST-ICTP-IMU Ramanujan Prize 714BT6BSBY
| URI | m2://inv/714BT6BSBY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#22RK, DST-ICTP-IMU Ramanujan Prize (definition)
History
- 2026-11-02: add by m2/dev
714D5HRCBE 714D5HRCBE
| URI | m2://inv/714D5HRCBE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35467#C66A (definition). In FK89DQ9J4S/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
714FCPM2X6 714FCPM2X6
| URI | m2://inv/714FCPM2X6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34731#RSSC (statement). In MH54AS0Y61/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
Hadamard's dynamical system 714TY0NZZ9
| URI | m2://inv/714TY0NZZ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jacques Hadamard#7GGL, Hadamard's dynamical system (definition)
History
- 2026-11-02: add by m2/dev
Null cipher 71577R14HH
| URI | m2://inv/71577R14HH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of steganography techniques#XZJ4, Null cipher (definition)
History
- 2026-11-02: add by m2/dev
Example 715AXHWS0Z
| URI | m2://inv/715AXHWS0Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Piston motion equations#QECF, Example (example)
History
- 2026-11-02: add by m2/dev
715D48CHBB 715D48CHBB
| URI | m2://inv/715D48CHBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#KFLT (statement)
History
- 2026-11-01: add by m2/v0.6.15
715JNHS4W9 715JNHS4W9
| URI | m2://inv/715JNHS4W9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25367#579G (statement)
History
- 2026-11-01: add by m2/v0.6.15
double affine Hecke algebra 715R90M9DH
| URI | m2://inv/715R90M9DH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5299963, double affine Hecke algebra (concept). Also nLab double affine Hecke algebra
- wikipedia: Wikipedia Double affine Hecke algebra, Double affine Hecke algebra (definition). Also Wikidata Q5299963
History
- 2026-10-26: add by m2/dev
Moments 715TT8DAJ7
| URI | m2://inv/715TT8DAJ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31919#SXRJ, Moments (statement). In RHN12PW9P9/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
Climate of Nauru 716EY1Z11Q
| URI | m2://inv/716EY1Z11Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nauru#KH9L, Climate of Nauru (unknown)
History
- 2026-11-02: add by m2/dev
716F4BG6QD 716F4BG6QD
| URI | m2://inv/716F4BG6QD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-7 (exercise). In E9HS8K3A52, exercise, section 9.1.6
History
- 2026-11-01: add by m2/v0.6.13
Zhang Heng 716GAWWM5E
| URI | m2://inv/716GAWWM5E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zhang Heng, Zhang Heng (topic). Also Wikidata Q197206
History
- 2026-11-02: add by m2/dev
Stochastic Models 716WJDFSQH
| URI | m2://inv/716WJDFSQH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#JLVK, Stochastic Models (unknown)
History
- 2026-11-02: add by m2/dev
Outline of geometry 716XPNSPE1
| URI | m2://inv/716XPNSPE1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#6UOJ, Outline of geometry (topic)
History
- 2026-11-02: add by m2/dev
Definition 7173MJAR5F
| URI | m2://inv/7173MJAR5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisor summatory function#XBTT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Expansion 1.6c 7176HC5XJ2
| URI | m2://inv/7176HC5XJ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08500#U4OI, Expansion 1.6c (statement). In ZPCYW4N0EH/e1, lemma 4.10
History
- 2026-10-29: add by m2/v0.4.10
Multiplication theorem 7176YGYZWV
| URI | m2://inv/7176YGYZWV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GURQ, Multiplication theorem (statement)
History
- 2026-11-02: add by m2/dev
Fair PSD partition input 7178B65P0Z
| URI | m2://inv/7178B65P0Z |
|---|---|
| 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#KTD2, Fair PSD partition input (statement). In 9YAE8FNQST/e1, lemma 7.9
History
- 2026-10-30: add by m2/v0.4.12
The Grauert–Remmert–de Jong Criterion 7178TMT6JJ
| URI | m2://inv/7178TMT6JJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral element#5WFR, The Grauert–Remmert–de Jong Criterion (statement)
- wikipedia: Wikipedia Integral element#JK6F, The Grauert–Remmert–de Jong Criterion (statement)
History
- 2026-11-02: add by m2/dev
∁ 717FSPABAR
| URI | m2://inv/717FSPABAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#ROIZ, ∁ (definition)
History
- 2026-11-02: add by m2/dev
717J22385K 717J22385K
| URI | m2://inv/717J22385K |
|---|---|
| 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.10902#20PF (statement). In 96T1K6C3NZ/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.3
717MZ8FVSW 717MZ8FVSW
| URI | m2://inv/717MZ8FVSW |
|---|---|
| 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#VRL1 (statement). In ZJQB9W60T6/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
717SPKMAYT 717SPKMAYT
| URI | m2://inv/717SPKMAYT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21929#QMO5 (statement). In 2PP4XRVS0J/e1, theorem 6.6
History
- 2026-10-27: add by m2/v0.4.2
7182DBDWDA 7182DBDWDA
| URI | m2://inv/7182DBDWDA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09694#TSO6 (example). In 7VXBVQ5SAC/e1, example 3.3
History
- 2026-10-29: add by m2/v0.4.10
718300ZGP2 718300ZGP2
| URI | m2://inv/718300ZGP2 |
|---|---|
| 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.38772#SPJD (statement). In 1C3R5NAQAP/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
Cassini's identity 718ASJGP7D
| URI | m2://inv/718ASJGP7D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Cassini's identity 01WQZK97Z5 |
Mentions
- wikidata: Wikidata Q123169377, Cassini's identity (concept). Also MathWorld CassinisIdentity
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
718E5NWGK4 718E5NWGK4
| URI | m2://inv/718E5NWGK4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25391#CI6N (definition)
History
- 2026-11-01: add by m2/v0.6.15
K\'{a}tai 718EE2SMCP
| URI | m2://inv/718EE2SMCP |
|---|---|
| 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.08424#QMQ7, K\'{a}tai (statement). In BVD2HAAKD5/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.10
718N61F82N 718N61F82N
| URI | m2://inv/718N61F82N |
|---|---|
| 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 2309.01359#62AM (statement). In BFV19FC2G7/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
718RY7EVBR 718RY7EVBR
| URI | m2://inv/718RY7EVBR |
|---|---|
| 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.26852#HWOG (statement)
History
- 2026-11-01: add by m2/v0.6.15
718YCMNDKR 718YCMNDKR
| URI | m2://inv/718YCMNDKR |
|---|---|
| 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 2306.08237#HDAM (statement). In E22A2MFR4Y/e1, theorem 2.10
History
- 2026-10-27: add by m2/v0.3.6
Chomsky–Schützenberger enumeration theorem 7198PZ6J45
| URI | m2://inv/7198PZ6J45 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q19323571, Chomsky–Schützenberger enumeration theorem (statement). Also Wikidata Q19323571
- thousand_plus: thousand_plus Q19323571, Chomsky–Schützenberger enumeration theorem (statement). Also Wikidata Q19323571, Wikipedia Chomsky–Schützenberger enumeration theorem
- wikipedia: Wikipedia Chomsky–Schützenberger enumeration theorem, Chomsky–Schützenberger enumeration theorem (statement). Also Wikidata Q19323571
History
- 2026-10-26: add by m2/dev
719CJB4TBB 719CJB4TBB
| URI | m2://inv/719CJB4TBB |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01087#4FPP (problem). In 7QXAZXGNPQ/e1, problem 9.5
History
- 2026-10-29: add by m2/v0.4.12
Definition 719GBS9BZ4
| URI | m2://inv/719GBS9BZ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf algebra of permutations#VWCG, Definition (definition)
History
- 2026-11-02: add by m2/dev
719KVZEWX3 719KVZEWX3
| URI | m2://inv/719KVZEWX3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 55-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.37524#7VE1 (definition). In 4GTJAPF7Q3/e1, definition 2.10
History
- 2026-10-30: add by m2/v0.4.12
Donald Goldfarb 719SE6MHZB
| URI | m2://inv/719SE6MHZB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald Goldfarb, Donald Goldfarb (topic). Also Wikidata Q15806309
History
- 2026-11-02: add by m2/dev
Feasibility 71A7PKVSY9
| URI | m2://inv/71A7PKVSY9 |
|---|---|
| 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 2609.23106#F7Y1, Feasibility (statement)
History
- 2026-11-02: add by m2/v0.6.17
71AG19QGJY 71AG19QGJY
| URI | m2://inv/71AG19QGJY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-17 (exercise). In E59CDZA4DP, exercise, section 1.2.4
History
- 2026-11-01: add by m2/v0.6.13
Argument from inertia 71AHKMR1KR
| URI | m2://inv/71AHKMR1KR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appeal to tradition#TDP3, Argument from inertia (unknown)
History
- 2026-11-02: add by m2/dev
Definition 71AJMNBSE2
| URI | m2://inv/71AJMNBSE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radonifying operator#J1QC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Berry–Esseen Theorem 71ANN221A2
| URI | m2://inv/71ANN221A2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#3R2L, Berry–Esseen Theorem (statement)
History
- 2026-11-02: add by m2/dev
Subspace 71AY6BJKQ1
| URI | m2://inv/71AY6BJKQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#0QPV, Subspace (definition)
History
- 2026-11-02: add by m2/dev
71B2QHEG9V 71B2QHEG9V
| URI | m2://inv/71B2QHEG9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21921#FNNZ (statement). In CM2YEK9T4F/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.2
71B7DCC2TZ 71B7DCC2TZ
| URI | m2://inv/71B7DCC2TZ |
|---|---|
| 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#GP2L (statement). In BDN507RN7J/e1, proposition 3.6.25
History
- 2026-10-30: add by m2/v0.4.12
Definitions 71BE0PGNSE
| URI | m2://inv/71BE0PGNSE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff space#2HBF, Definitions (definition)
History
- 2026-11-02: add by m2/dev
secant line 71BJAAPA76
| URI | m2://inv/71BJAAPA76 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.3.2/secant-line, secant line (concept). In 907G4C4EJ1, index, section 1.3.2
History
- 2026-11-01: add by m2/v0.6.13
Hiroshi Matano 71BM4KK4TC
| URI | m2://inv/71BM4KK4TC |
|---|---|
| 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#W4OV, Hiroshi Matano (unknown)
History
- 2026-11-02: add by m2/dev
order, non-strict 71BQP4NV9V
| URI | m2://inv/71BQP4NV9V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/order-non-strict, order, non-strict (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Operational Chow ring 71BXQEE2MT
| URI | m2://inv/71BXQEE2MT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bivariant theory#ZE2Y, Operational Chow ring (unknown)
History
- 2026-11-02: add by m2/dev
$(\infty,1)$-topos 71C3B8B34Q
| URI | m2://inv/71C3B8B34Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.12/infty-1-topos, $(\infty,1)$-topos (concept). In N54F33XE07, index, section 5.12
History
- 2026-11-01: add by m2/v0.6.13
Climograph 71C3K525JW
| URI | m2://inv/71C3K525JW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Climograph, Climograph (definition). Also Wikidata Q1430754
History
- 2026-11-02: add by m2/dev
71C9BJJJJC 71C9BJJJJC
| URI | m2://inv/71C9BJJJJC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19449#SKV8 (example). In 8ZKPJ3CBDF/e1, example 5.6
History
- 2026-10-28: add by m2/v0.4.2
71CC9Z35ZJ 71CC9Z35ZJ
| URI | m2://inv/71CC9Z35ZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#LR54 (statement). In HVY45JQRNK/e1, theorem 1.7
History
- 2026-10-31: add by m2/v0.5.6
Axiom systems 71CHYRTW9G
| URI | m2://inv/71CHYRTW9G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epistemic modal logic#00W0, Axiom systems (statement)
History
- 2026-11-02: add by m2/dev
71CJ3QZTWR 71CJ3QZTWR
| URI | m2://inv/71CJ3QZTWR |
|---|---|
| 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.09721#WFLC (statement). In 7MZ1MS2N11/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Insular biogeography 71CZV6HX4N
| URI | m2://inv/71CZV6HX4N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Insular biogeography, Insular biogeography (topic). Also Wikidata Q1664460
History
- 2026-11-02: add by m2/dev
71D6JY1D4Q 71D6JY1D4Q
| URI | m2://inv/71D6JY1D4Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13877#1H67 (statement). In NBMA6DBKJG/e1, lemma 5.10
History
- 2026-10-28: add by m2/v0.4.2
71DHYWXVYT 71DHYWXVYT
| URI | m2://inv/71DHYWXVYT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21507#4U12 (statement). In 879ZDHVK7N/e1, proposition 3.19
History
- 2026-10-27: add by m2/v0.4.2
Arithmetic progression of squares 71DMQNV3VE
| URI | m2://inv/71DMQNV3VE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean triple#2GAE, Arithmetic progression of squares (unknown)
History
- 2026-11-02: add by m2/dev
Definitions 71DN2BK1SR
| URI | m2://inv/71DN2BK1SR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morley centers#E2UL, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Eliminating the multiplier enforces feasibility 71DXYZCG78
| URI | m2://inv/71DXYZCG78 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-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.15180#C1JZ, Eliminating the multiplier enforces feasibility (statement). In AMRWRJDNKJ/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Poly1305 71E8DAN45G
| URI | m2://inv/71E8DAN45G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poly1305, Poly1305 (definition). Also Wikidata Q7226098
History
- 2026-11-02: add by m2/dev
71E8GWGEW8 71E8GWGEW8
| URI | m2://inv/71E8GWGEW8 |
|---|---|
| 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 2601.22681#25NK (statement). In 68VEQQX68G/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.4.0
Theorem 1 71EAJ41G9Y
| URI | m2://inv/71EAJ41G9Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum theorem#6QC7, Theorem 1 (statement)
History
- 2026-11-02: add by m2/dev
Theorem (Andenaes, 1970) 71EH0CWYPM
| URI | m2://inv/71EH0CWYPM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn–Banach theorem#HPLJ, Theorem (Andenaes, 1970) (statement)
History
- 2026-11-02: add by m2/dev
71EKPTTH77 71EKPTTH77
| URI | m2://inv/71EKPTTH77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09206#3UQM (statement). In T7R1Q29DQK/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
Burrows–Wheeler transform 71ENQP749Q
| URI | m2://inv/71ENQP749Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#YGRW, Burrows–Wheeler transform (unknown)
History
- 2026-11-02: add by m2/dev
71ERDST6HC 71ERDST6HC
| URI | m2://inv/71ERDST6HC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14318#YW9I (example). In HA4SZZJ831/e1, example 2.2
History
- 2026-10-28: add by m2/v0.4.2
71ETRGSAC5 71ETRGSAC5
| URI | m2://inv/71ETRGSAC5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_intro.ptx#exa_construct (example). In QKM9DD2H56, example, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Birkhoff interpolation 71EXZSZR33
| URI | m2://inv/71EXZSZR33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#XJY1, Birkhoff interpolation (definition)
History
- 2026-11-02: add by m2/dev
Magic formula investing 71FBCN4ZKD
| URI | m2://inv/71FBCN4ZKD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic formula investing, Magic formula investing (statement). Also Wikidata Q6730920
History
- 2026-11-02: add by m2/dev
71FFG8ZX4Q 71FFG8ZX4Q
| URI | m2://inv/71FFG8ZX4Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36823#5WFP (statement). In 55WT8DME6Y/e1, corollary B.2
History
- 2026-10-30: add by m2/v0.4.12
71FGBZB0DY 71FGBZB0DY
| URI | m2://inv/71FGBZB0DY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#defn:homotopy (definition). In N54F33XE07, defn, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
71FGRE8RC4 71FGRE8RC4
| URI | m2://inv/71FGRE8RC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32524#DL5V (statement). In XGCND7R0B0/e1, theorem 3.4
History
- 2026-10-31: add by m2/v0.5.6
71FH2V5WFZ 71FH2V5WFZ
| URI | m2://inv/71FH2V5WFZ |
|---|---|
| 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 2203.07710#DJ5P (statement). In NESGAWA54K/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
71FHBWX31G 71FHBWX31G
| URI | m2://inv/71FHBWX31G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.08018#RYSN (statement). In TN93YFN45W/e1, corollary 5.5
History
- 2026-10-27: add by m2/v0.4.0
71FT9Y5RWE 71FT9Y5RWE
| URI | m2://inv/71FT9Y5RWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#GY9C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Torrence Parsons 71G3YKRR0M
| URI | m2://inv/71G3YKRR0M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torrence Parsons, Torrence Parsons (topic). Also Wikidata Q7827016
History
- 2026-11-02: add by m2/dev
71GAQ9XEWC 71GAQ9XEWC
| URI | m2://inv/71GAQ9XEWC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21752#BW1A (definition). In E4DJTPKHAX/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.4.2
71GH9R83W9 71GH9R83W9
| URI | m2://inv/71GH9R83W9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35030#CPK7 (statement). In DPT4P2BTEW/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
71GRY6E36A 71GRY6E36A
| URI | m2://inv/71GRY6E36A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27843#CZMP (statement)
History
- 2026-11-01: add by m2/v0.6.15
71GZPGQH5A 71GZPGQH5A
| URI | m2://inv/71GZPGQH5A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2105.03252#PJCM (statement). In 2E47BDDDR4/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.3.5
71H3SVWG0M 71H3SVWG0M
| URI | m2://inv/71H3SVWG0M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20909#YGUM (statement). In 7ZBX5WVEZP/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.4.2
Global heat flow 71HARWB31W
| URI | m2://inv/71HARWB31W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25037#41LE, Global heat flow (statement)
History
- 2026-11-01: add by m2/v0.6.15
71HBH5HZ97 71HBH5HZ97
| URI | m2://inv/71HBH5HZ97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05391#XLDK (statement). In 9B5TNEBJHV/e1, lemma 2.20
History
- 2026-10-29: add by m2/v0.4.10
Probabilistically checkable proof 71HMW6DRNY
| URI | m2://inv/71HMW6DRNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#7JOQ, Probabilistically checkable proof (definition)
History
- 2026-11-02: add by m2/dev
Phase formula 71HN67XJ0S
| URI | m2://inv/71HN67XJ0S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07905#PRDL, Phase formula (statement). In 88GEN3Z5VG/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.10
Full linear ring 71HPDCJ1H9
| URI | m2://inv/71HPDCJ1H9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive ring#YMPD, Full linear ring (unknown)
History
- 2026-11-02: add by m2/dev
71HRRT6TRM 71HRRT6TRM
| URI | m2://inv/71HRRT6TRM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06645#4DDI (statement). In 79H1DEK4M9/e1, theorem 5.10
History
- 2026-10-29: add by m2/v0.4.10
Tyranny of the rocket equation 71HVDC81E0
| URI | m2://inv/71HVDC81E0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tsiolkovsky rocket equation#SGX8, Tyranny of the rocket equation (unknown)
History
- 2026-11-02: add by m2/dev
standardized normal distribution 71HVDH2MXN
| URI | m2://inv/71HVDH2MXN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q104217085, standardized normal distribution (unknown). Also MathWorld StandardNormalDistribution
History
- 2026-10-26: add by m2/dev
Orthotransversal 71JVXCS5TX
| URI | m2://inv/71JVXCS5TX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130765438, Orthotransversal (concept). Also MathWorld Orthotransversal
History
- 2026-10-26: add by m2/dev
580 (number) 71JW5RMQ9W
| URI | m2://inv/71JW5RMQ9W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#6XJ5, 580 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Quine's paradox 71JWRT1NK7
| URI | m2://inv/71JWRT1NK7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quine's paradox, Quine's paradox (statement). Also Wikidata Q7272211
History
- 2026-11-02: add by m2/dev
71JWV9RPM0 71JWV9RPM0
| URI | m2://inv/71JWV9RPM0 |
|---|---|
| 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.07631#0AIN (statement). In 6JVJ5GCQ1E/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
universal closure 71K9EQ3GGQ
| URI | m2://inv/71K9EQ3GGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9209930, universal closure (definition). Also ProofWiki Definition:Universal_Closure_of_Well-Formed_Formula
History
- 2026-10-26: add by m2/dev
Askey scheme 71KCS5PR7K
| URI | m2://inv/71KCS5PR7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Askey scheme, Askey scheme (definition). Also Wikidata Q4807189
History
- 2026-11-02: add by m2/dev
71KPPXSQ9E 71KPPXSQ9E
| URI | m2://inv/71KPPXSQ9E |
|---|---|
| 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.20444#77FJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Lebesgue spine 71M6ZJKKS4
| URI | m2://inv/71M6ZJKKS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lebesgue spine, Lebesgue spine (definition). Also Wikidata Q6511322
History
- 2026-11-02: add by m2/dev
71MAH8Y177 71MAH8Y177
| URI | m2://inv/71MAH8Y177 |
|---|---|
| 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.14458#Z1HH (statement). In WJ76MVYAZQ/e1, lemma 3.18
History
- 2026-10-28: add by m2/v0.4.2
Logic and rationality 71MBCKZ5BR
| URI | m2://inv/71MBCKZ5BR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic and rationality, Logic and rationality (definition). Also Wikidata Q25110272
History
- 2026-11-02: add by m2/dev
Construction 71MCK18ECY
| URI | m2://inv/71MCK18ECY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witch of Agnesi#U8WQ, Construction (definition)
History
- 2026-11-02: add by m2/dev
Demographics of Canada 71MED0JYC5
| URI | m2://inv/71MED0JYC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Canada, Demographics of Canada (definition). Also Wikidata Q2492796
History
- 2026-11-02: add by m2/dev
71MKEFYN2M 71MKEFYN2M
| URI | m2://inv/71MKEFYN2M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2510.05499#3513 (statement). In WRMNCC8VBC/e1, lemma 34
History
- 2026-10-27: add by m2/v0.3.6
71MN1TCNYD 71MN1TCNYD
| URI | m2://inv/71MN1TCNYD |
|---|---|
| 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.10365#U30J (statement). In PRVQPSBVHK/e1, corollary 8
History
- 2026-10-29: add by m2/v0.4.10
Thomas Lengauer 71MNW23CPS
| URI | m2://inv/71MNW23CPS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#63HI, Thomas Lengauer (unknown)
History
- 2026-11-02: add by m2/dev
71NBF0CES4 71NBF0CES4
| URI | m2://inv/71NBF0CES4 |
|---|---|
| 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.23128#FWCM (statement)
History
- 2026-11-02: add by m2/v0.6.17
The effect of row operations on the determinant 71NH4XJS66
| URI | m2://inv/71NH4XJS66 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-4.xml#proposition-det-row-operations, The effect of row operations on the determinant (statement). In 649HGZKE96, proposition, section 3.4.3
History
- 2026-11-01: add by m2/v0.6.13
71NK5QGJ6K 71NK5QGJ6K
| URI | m2://inv/71NK5QGJ6K |
|---|---|
| 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.20018#1ANE (statement)
History
- 2026-11-02: add by m2/v0.6.18
71NQXRE9YT 71NQXRE9YT
| URI | m2://inv/71NQXRE9YT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-intro.tex#example-1 (example). In E9HS8K3A52, example, section 6.8.3
History
- 2026-11-01: add by m2/v0.6.13
71NXTVJ1AZ 71NXTVJ1AZ
| URI | m2://inv/71NXTVJ1AZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#DTKP (statement)
History
- 2026-11-01: add by m2/v0.6.15
71P0Q43RCV 71P0Q43RCV
| URI | m2://inv/71P0Q43RCV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/proving-things.tex#ex-1 (example). In PKGMM3P5QY, ex, section 17.11
History
- 2026-11-01: add by m2/v0.6.13
Pair of pants 71PBXHWC8R
| URI | m2://inv/71PBXHWC8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pair of pants (mathematics), Pair of pants (definition). Also Wikidata Q7125122
History
- 2026-11-02: add by m2/dev
71PCJH3JG9 71PCJH3JG9
| URI | m2://inv/71PCJH3JG9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.22636#XTR2 (definition). In 2X2A6MT0QD/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
71PZEZB01J 71PZEZB01J
| URI | m2://inv/71PZEZB01J |
|---|---|
| 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#9UGX (statement). In SBZNH932ZV/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
71PZNEK5TB 71PZNEK5TB
| URI | m2://inv/71PZNEK5TB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#PO08 (statement). In MRR92GQNZE/e1, proposition 5.5
History
- 2026-10-30: add by m2/v0.4.12
71Q0PVFCXN 71Q0PVFCXN
| URI | m2://inv/71Q0PVFCXN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#0XE4 (statement). In PA6JQDSKQT/e1, corollary 6.9
History
- 2026-10-28: add by m2/v0.4.2
Nandini Kannan 71Q7YDG7FB
| URI | m2://inv/71Q7YDG7FB |
|---|---|
| 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#VRFF, Nandini Kannan (topic)
History
- 2026-11-02: add by m2/dev
Joseph Kampé de Fériet 71Q9J9QCCR
| URI | m2://inv/71Q9J9QCCR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Kampé de Fériet, Joseph Kampé de Fériet (topic). Also Wikidata Q3185154
History
- 2026-11-02: add by m2/dev
71QAH94GWV 71QAH94GWV
| URI | m2://inv/71QAH94GWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/unions-and-intersections.tex#defn-4 (definition). In PKGMM3P5QY, defn, section 83.2
History
- 2026-11-01: add by m2/v0.6.13
Belief revision 71QBDTZ5JT
| URI | m2://inv/71QBDTZ5JT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Belief revision, Belief revision (definition). Also Wikidata Q3566063
History
- 2026-11-02: add by m2/dev
National Crime Recording Standards (England and Wales) 71QHWQEDJK
| URI | m2://inv/71QHWQEDJK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crime statistics in the United Kingdom#9EDR, National Crime Recording Standards (England and Wales) (unknown)
History
- 2026-11-02: add by m2/dev
University of Singapore (1962-1980) 71QJJDXAC1
| URI | m2://inv/71QJJDXAC1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National University of Singapore#VDGH, University of Singapore (1962-1980) (unknown)
History
- 2026-11-02: add by m2/dev
James Stark 71QKBWB9D4
| URI | m2://inv/71QKBWB9D4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Stark (statistician), James Stark (topic). Also Wikidata Q56254691
History
- 2026-11-02: add by m2/dev
Channel Class 71QMPXMKBJ
| URI | m2://inv/71QMPXMKBJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01932#WW5R, Channel Class (definition). In XDKWW6NR0K/e1, definition 7.2
History
- 2026-10-29: add by m2/v0.4.12
71QMXTJ3GG 71QMXTJ3GG
| URI | m2://inv/71QMXTJ3GG |
|---|---|
| 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#HDTR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example 71QQYZ7T15
| URI | m2://inv/71QQYZ7T15 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proper equilibrium#QOVU, Example (example)
History
- 2026-11-02: add by m2/dev
Religious views of Isaac Newton 71QV18QVQ4
| URI | m2://inv/71QV18QVQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Religious views of Isaac Newton, Religious views of Isaac Newton (definition). Also Wikidata Q2991689
History
- 2026-11-02: add by m2/dev
Tensor Hessian identity for $p$ 71QXFYCMGW
| URI | m2://inv/71QXFYCMGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#N8T3, Tensor Hessian identity for $p$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
algorithm 71QYEZ0N76
| URI | m2://inv/71QYEZ0N76 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u4/algorithm, algorithm (concept). In N54F33XE07, index, section u1.u4
History
- 2026-11-01: add by m2/v0.6.13
Mariana Kotzeva 71R6CNJF0S
| URI | m2://inv/71R6CNJF0S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mariana Kotzeva, Mariana Kotzeva (topic). Also Wikidata Q31191531
History
- 2026-11-02: add by m2/dev
71R9WNP3DZ 71R9WNP3DZ
| URI | m2://inv/71R9WNP3DZ |
|---|---|
| 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 2610.12777#2AT1 (statement). In 1YFK2FB3JY/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
71RAMY8NJ5 71RAMY8NJ5
| URI | m2://inv/71RAMY8NJ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_euler-phi.ptx#prop_num-divisible (statement). In QKM9DD2H56, proposition, section 7.5
History
- 2026-11-01: add by m2/v0.6.13
point estimation 71RBR2PQHV
| URI | m2://inv/71RBR2PQHV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Point estimation ATQPY2WPTA |
Mentions
- wikidata: Wikidata Q1192065, point estimation (unknown). Also MathWorld PointEstimator
- wikipedia: Wikipedia Point estimation, Point estimation (definition). Also Wikidata Q1192065
History
- 2026-10-26: add by m2/dev
71RGZ61AV8 71RGZ61AV8
| URI | m2://inv/71RGZ61AV8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.33704#JXTZ (statement). In STRVMT83HE/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
fixed interface, trainable amplitude 71RMCV4JF1
| URI | m2://inv/71RMCV4JF1 |
|---|---|
| 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.08016#5QXV, fixed interface, trainable amplitude (statement). In YR3CSTYEJW/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.10
Compound of five small stellated dodecahedra 71RN3YD18W
| URI | m2://inv/71RN3YD18W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#L31W, Compound of five small stellated dodecahedra (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#026M, Compound of five small stellated dodecahedra (definition)
History
- 2026-11-02: add by m2/dev
71RTBS4QV1 71RTBS4QV1
| URI | m2://inv/71RTBS4QV1 |
|---|---|
| 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.20994#1YA4 (statement). In E90KYMVZMR/e1, theorem 6.3
History
- 2026-10-27: add by m2/v0.4.2
Cryptography law in different countries 71RXZAPT0K
| URI | m2://inv/71RXZAPT0K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptography law#T7EG, Cryptography law in different countries (statement)
History
- 2026-11-02: add by m2/dev
71S4R5WQ2G 71S4R5WQ2G
| URI | m2://inv/71S4R5WQ2G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#NZJZ (statement). In 7SSKW778T8/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Finite-sample approximation of covariance-induced instability subspaces 71S5CB1YS3
| URI | m2://inv/71S5CB1YS3 |
|---|---|
| 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.30746#J6K5, Finite-sample approximation of covariance-induced instability subspaces (statement). In WQEK6H3DZJ/e1, theorem A.3
History
- 2026-10-31: add by m2/v0.5.6
71S6FMM0V6 71S6FMM0V6
| URI | m2://inv/71S6FMM0V6 |
|---|---|
| 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 2204.13401#4E3E (statement). In B8MJT0GGW8/e1, theorem 4.23
History
- 2026-10-27: add by m2/v0.4.0
71S7EBHYSW 71S7EBHYSW
| URI | m2://inv/71S7EBHYSW |
|---|---|
| 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.11120#95VN (statement). In KCY80F2YGP/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.3
71S7JMB2PS 71S7JMB2PS
| URI | m2://inv/71S7JMB2PS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9201244#1PWO (definition). In 7D3HCN21MK/e1, definition 0.4
History
- 2026-10-27: add by m2/v0.3.5
alternative hypothesis 71SC73WRN5
| URI | m2://inv/71SC73WRN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#EVI9, alternative hypothesis (definition)
History
- 2026-11-02: add by m2/dev
71SCV7A6KK 71SCV7A6KK
| URI | m2://inv/71SCV7A6KK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23470#RR3N (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples 71SHM6HG6Z
| URI | m2://inv/71SHM6HG6Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound probability distribution#JHGN, Examples (example)
History
- 2026-11-02: add by m2/dev
Results 71SMA9NBKG
| URI | m2://inv/71SMA9NBKG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-subset meet-in-the-middle attack#JSS6, Results (statement)
History
- 2026-11-02: add by m2/dev
71SPEX49AA 71SPEX49AA
| URI | m2://inv/71SPEX49AA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#5G5K (statement). In 8H0KHK7AMN/e1, proposition 4.18
History
- 2026-10-30: add by m2/v0.4.12
Econometrics 71SWMNFX6X
| URI | m2://inv/71SWMNFX6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fields of application of statistics#8UDB, Econometrics (definition)
History
- 2026-11-02: add by m2/dev
71SZ77R0A5 71SZ77R0A5
| URI | m2://inv/71SZ77R0A5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-26 (exercise). In E9HS8K3A52, exercise, section 5.3.4
History
- 2026-11-01: add by m2/v0.6.13
Examples of ordinal data 71SZGMC834
| URI | m2://inv/71SZGMC834 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinal data#IVXC, Examples of ordinal data (example)
History
- 2026-11-02: add by m2/dev
Splitting operator 71T1KZZ1A1
| URI | m2://inv/71T1KZZ1A1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20979#GBS9, Splitting operator (definition)
History
- 2026-11-02: add by m2/v0.6.18
71T6DY1PBG 71T6DY1PBG
| URI | m2://inv/71T6DY1PBG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22528#XJ91 (statement)
History
- 2026-11-02: add by m2/v0.6.17
71T6MKHMAF 71T6MKHMAF
| URI | m2://inv/71T6MKHMAF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#GFXI (example). In 9ZSNSJRJ5N/e1, example 6
History
- 2026-10-27: add by m2/v0.4.2
Existence of $C_{n,r}(P;S)$ 71T7ZHXNA1
| URI | m2://inv/71T7ZHXNA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.10801#XJHI, Existence of $C_{n,r}(P;S)$ (statement). In BWJS3H55WH/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
71T8DDFBNS 71T8DDFBNS
| URI | m2://inv/71T8DDFBNS |
|---|---|
| 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 2411.01837#UMEU (statement). In 2XBYZ1QP22/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Kryha 71TF1FT97G
| URI | m2://inv/71TF1FT97G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kryha, Kryha (definition). Also Wikidata Q734597
History
- 2026-11-02: add by m2/dev
71TQ2N0ACA 71TQ2N0ACA
| URI | m2://inv/71TQ2N0ACA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-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.21860#MZ6Y (statement)
History
- 2026-11-02: add by m2/v0.6.18
71V5ADP0CF 71V5ADP0CF
| URI | m2://inv/71V5ADP0CF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36212#EY24 (definition). In N1GH8M0BVW/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
71V9DAVERQ 71V9DAVERQ
| URI | m2://inv/71V9DAVERQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-48 (exercise). In E9HS8K3A52, exercise, section 7.3.4
History
- 2026-11-01: add by m2/v0.6.13
Theorem 71VC1R6G0R
| URI | m2://inv/71VC1R6G0R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic boundary value problem#KKG7, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Daniel W. Stroock 71VHSR7MT7
| URI | m2://inv/71VHSR7MT7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#0LCT, Daniel W. Stroock (unknown)
History
- 2026-11-02: add by m2/dev
Bishop–Gromov inequality 71VJ9DQN6S
| URI | m2://inv/71VJ9DQN6S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bishop–Gromov inequality, Bishop–Gromov inequality (statement). Also Wikidata Q4918129
History
- 2026-11-02: add by m2/dev
71VJCEH994 71VJCEH994
| URI | m2://inv/71VJCEH994 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.07116#MIA1 (statement). In 5B030CB2RK/e1, proposition A.7
History
- 2026-10-27: add by m2/v0.3.6
Reparametrization 71VKVS98GW
| URI | m2://inv/71VKVS98GW |
|---|---|
| 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.05204#14E3, Reparametrization (statement). In ET0TQ8YF7Z/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
71VRRFD3NT 71VRRFD3NT
| URI | m2://inv/71VRRFD3NT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-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 2512.16003#TS46 (example). In BJGS6ZCQ12/e1, example 9.9
History
- 2026-10-27: add by m2/v0.3.6
Ruelle--Perron--Frobenius asymptotics 71VXS6WXK7
| URI | m2://inv/71VXS6WXK7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04834#IWN4, Ruelle--Perron--Frobenius asymptotics (statement). In YZNK67K060/e1, lemma 10.1
History
- 2026-10-29: add by m2/v0.4.12
Anatolii Goldberg 71WJNJQMCE
| URI | m2://inv/71WJNJQMCE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anatolii Goldberg, Anatolii Goldberg (topic). Also Wikidata Q4752149
History
- 2026-11-02: add by m2/dev
Basic properties 71WN6MAH8E
| URI | m2://inv/71WN6MAH8E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmic derivative#4INX, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Theorem 71WRHRJFZJ
| URI | m2://inv/71WRHRJFZJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Program equilibrium#06BJ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
vector derivative 71WRNZVDHF
| URI | m2://inv/71WRNZVDHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric calculus#VW1O, vector derivative (definition)
History
- 2026-11-02: add by m2/dev
Venvaroha 71WTCYRD8T
| URI | m2://inv/71WTCYRD8T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Venvaroha, Venvaroha (definition). Also Wikidata Q7920670
History
- 2026-11-02: add by m2/dev
71WY05F31J 71WY05F31J
| URI | m2://inv/71WY05F31J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#XB5A (statement). In X47RYAZF8P/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Formal definition 71WYKQ4B41
| URI | m2://inv/71WYKQ4B41 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability density function#LHW1, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Example 71X1E8FKJV
| URI | m2://inv/71X1E8FKJV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loop integral#2DTI, Example (example)
History
- 2026-11-02: add by m2/dev
Density-based clustering validation 71X6ECQZD0
| URI | m2://inv/71X6ECQZD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density-based clustering validation, Density-based clustering validation (definition). Also Wikidata Q135687110
History
- 2026-11-02: add by m2/dev
Pinhas Krasny 71X8F66MXF
| URI | m2://inv/71X8F66MXF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#JPST, Pinhas Krasny (unknown)
History
- 2026-11-02: add by m2/dev
DES Challenges 71XBAT44N6
| URI | m2://inv/71XBAT44N6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DES Challenges, DES Challenges (definition). Also Wikidata Q5204873
History
- 2026-11-02: add by m2/dev
71XGNS3TY5 71XGNS3TY5
| URI | m2://inv/71XGNS3TY5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20028#Y410 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Adriaan Cornelis Zaanen 71XJWDWRWM
| URI | m2://inv/71XJWDWRWM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adriaan Cornelis Zaanen, Adriaan Cornelis Zaanen (topic). Also Wikidata Q4684773
History
- 2026-11-02: add by m2/dev
71XN49K3F8 71XN49K3F8
| URI | m2://inv/71XN49K3F8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24860#4AQ5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition 71XRVAZ2T7
| URI | m2://inv/71XRVAZ2T7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CW complex#AMBV, Definition (definition)
History
- 2026-11-02: add by m2/dev
71XTZ3FK5Z 71XTZ3FK5Z
| URI | m2://inv/71XTZ3FK5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#defn-2 (definition). In E59CDZA4DP, defn, section 11.9.1
History
- 2026-11-01: add by m2/v0.6.13
25 great circles of the spherical octahedron 71XYFSW5Y6
| URI | m2://inv/71XYFSW5Y6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 25 great circles of the spherical octahedron, 25 great circles of the spherical octahedron (definition). Also Wikidata Q39045797
History
- 2026-11-02: add by m2/dev
Petersen graph 71Y4D0ADA1
| URI | m2://inv/71Y4D0ADA1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of impossible puzzles#THNK, Petersen graph (definition)
History
- 2026-11-02: add by m2/dev
71Y6B4MGKM 71Y6B4MGKM
| URI | m2://inv/71Y6B4MGKM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02174#WMRG (definition). In 7JPHSV4NXW/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
Water-induced wrinkles 71YHQ5QXNR
| URI | m2://inv/71YHQ5QXNR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#KU4F, Water-induced wrinkles (unknown)
History
- 2026-11-02: add by m2/dev
Example 71YKZSJGMB
| URI | m2://inv/71YKZSJGMB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-covariance matrix#5LC4, Example (example)
History
- 2026-11-02: add by m2/dev
71YMM3RX14 71YMM3RX14
| URI | m2://inv/71YMM3RX14 |
|---|---|
| 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.28518#D4SU (statement)
History
- 2026-11-01: add by m2/v0.6.15
71YNFTT066 71YNFTT066
| URI | m2://inv/71YNFTT066 |
|---|---|
| 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.00379#2U9R (statement). In BTSCWAGACB/e1, lemma 11
History
- 2026-10-30: add by m2/v0.4.12
Distances between Hamiltonian cut spectra 71YQ83R9AW
| URI | m2://inv/71YQ83R9AW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03763#7KHU, Distances between Hamiltonian cut spectra (statement). In ARZ4X5PXXC/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
71Z9BKNFAJ 71Z9BKNFAJ
| URI | m2://inv/71Z9BKNFAJ |
|---|---|
| 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.33068#A287 (statement). In V9Z9Z0V5Y0/e1, proposition 8
History
- 2026-10-30: add by m2/v0.4.12
71ZFAAEG5F 71ZFAAEG5F
| URI | m2://inv/71ZFAAEG5F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13385#RSWB (definition). In J99CBQ3QYD/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Chiral Potts model 71ZFCCDHKD
| URI | m2://inv/71ZFCCDHKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chiral Potts model, Chiral Potts model (definition). Also Wikidata Q17004982
History
- 2026-11-02: add by m2/dev
Simply typed lambda calculus 71ZJG4JKX8
| URI | m2://inv/71ZJG4JKX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#DKGC, Simply typed lambda calculus (definition)
History
- 2026-11-02: add by m2/dev
71ZWD2WW9K 71ZWD2WW9K
| URI | m2://inv/71ZWD2WW9K |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bellman's lost-in-a-forest problem#2WVY (problem)
History
- 2026-11-02: add by m2/dev