Inventory rows 96
The cards of the rows of the inventory whose ids start with 96. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Example 9604RK8NHR
| URI | m2://inv/9604RK8NHR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hosoya index#HO4Z, Example (example)
History
- 2026-11-02: add by m2/dev
960CKEJMTS 960CKEJMTS
| URI | m2://inv/960CKEJMTS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-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.03138#XGC9 (statement). In P5SY7AVP5E/e1, theorem 8.2
History
- 2026-10-29: add by m2/v0.4.12
960DCBF3T2 960DCBF3T2
| URI | m2://inv/960DCBF3T2 |
|---|---|
| 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.21668#Y8WB (statement)
History
- 2026-11-02: add by m2/v0.6.18
960HR53Z4M 960HR53Z4M
| URI | m2://inv/960HR53Z4M |
|---|---|
| Kind | definition |
| 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.26813#9GQK (definition)
History
- 2026-11-01: add by m2/v0.6.15
Quadrature domains 960MHGW5JY
| URI | m2://inv/960MHGW5JY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadrature domains, Quadrature domains (definition). Also Wikidata Q7268380
History
- 2026-11-02: add by m2/dev
960NNZX4XF 960NNZX4XF
| URI | m2://inv/960NNZX4XF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-309 (exercise). In VNMV985MXX, exercise, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Inverse hyperbolic secant 960RYSHSW5
| URI | m2://inv/960RYSHSW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#E2JM, Inverse hyperbolic secant (definition)
History
- 2026-11-02: add by m2/dev
960XDQSD98 960XDQSD98
| URI | m2://inv/960XDQSD98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2210.06147#G4P6 (statement). In 94RBNQA07A/e1, proposition 3.10
History
- 2026-10-27: add by m2/v0.3.5
trefoil knot 961093BERW
| URI | m2://inv/961093BERW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Trefoil knot VYTYSVHN4A |
Mentions
- wikidata: Wikidata Q168620, trefoil knot (unknown). Also MathWorld TrefoilKnot, nLab trefoil knot
- wikipedia: Wikipedia Trefoil knot, Trefoil knot (definition). Also Wikidata Q168620
History
- 2026-10-26: add by m2/dev
orthogonal projection 9612HPM9EX
| URI | m2://inv/9612HPM9EX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q980329, orthogonal projection (unknown). Also MathWorld OrthogonalProjection, MathWorld VectorSpaceProjection
- wikipedia: Wikipedia Orthographic projection, Orthographic projection (definition). Also Wikidata Q980329
History
- 2026-10-26: add by m2/dev
Examples 9614GZ3RTF
| URI | m2://inv/9614GZ3RTF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polarization of an algebraic form#YYUL, Examples (example)
History
- 2026-11-02: add by m2/dev
Statistics Mauritius 961J11RN8V
| URI | m2://inv/961J11RN8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistics Mauritius, Statistics Mauritius (definition). Also Wikidata Q7604428
History
- 2026-11-02: add by m2/dev
Reach 961KHATQS7
| URI | m2://inv/961KHATQS7 |
|---|---|
| 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 2609.23872#FAXQ, Reach (definition)
History
- 2026-11-02: add by m2/v0.6.17
961NDF3JBT 961NDF3JBT
| URI | m2://inv/961NDF3JBT |
|---|---|
| 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.13513#JV2L (statement). In BAGX2TDXM4/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
Ergodic flow 961QEHTHB6
| URI | m2://inv/961QEHTHB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ergodic flow, Ergodic flow (definition). Also Wikidata Q30323947
History
- 2026-11-02: add by m2/dev
961R9D1WN6 961R9D1WN6
| URI | m2://inv/961R9D1WN6 |
|---|---|
| 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 1011.4141#QV0Y (statement). In YQ4JYF18NH/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
96281S74VR 96281S74VR
| URI | m2://inv/96281S74VR |
|---|---|
| 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#ODS0 (statement). In 37B1MPV8GX/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Equichordal point problem 9628V5HTBD
| URI | m2://inv/9628V5HTBD |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equichordal point problem, Equichordal point problem (problem). Also Wikidata Q5384440
History
- 2026-11-02: add by m2/dev
Oum Sang-il 962TS1R0AH
| URI | m2://inv/962TS1R0AH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oum Sang-il, Oum Sang-il (topic). Also Wikidata Q95719643
History
- 2026-11-02: add by m2/dev
Corollary 2 962WA4QKRX
| URI | m2://inv/962WA4QKRX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple continued fraction#QENC, Corollary 2 (statement)
History
- 2026-11-02: add by m2/dev
962YJBV44K 962YJBV44K
| URI | m2://inv/962YJBV44K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#SOE4 (statement). In PQHTR84RAJ/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.4.0
The algorithm 9631549RFB
| URI | m2://inv/9631549RFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarz alternating method#AAB6, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
Generalization 9639W2VSYH
| URI | m2://inv/9639W2VSYH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisible group#THAC, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Unit fraction 963AX6XMTK
| URI | m2://inv/963AX6XMTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#7RL4, Unit fraction (definition)
History
- 2026-11-02: add by m2/dev
Gila Sher 963E3NCGZJ
| URI | m2://inv/963E3NCGZJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gila Sher, Gila Sher (topic). Also Wikidata Q5560671
History
- 2026-11-02: add by m2/dev
Lebesgue's number lemma 963HP6YQM1
| URI | m2://inv/963HP6YQM1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#4NVC, Lebesgue's number lemma (statement)
History
- 2026-11-02: add by m2/dev
963NDDMVF4 963NDDMVF4
| URI | m2://inv/963NDDMVF4 |
|---|---|
| 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 2501.02331#078U (problem). In N9J5DJCTJZ/e1, problem 3
History
- 2026-10-27: add by m2/v0.3.5
XGBoost 963NZFEGBX
| URI | m2://inv/963NZFEGBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia XGBoost, XGBoost (definition). Also Wikidata Q23793561
History
- 2026-11-02: add by m2/dev
Near-optimal OPI Discrepancy 963Q7814CQ
| URI | m2://inv/963Q7814CQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12357#TA44, Near-optimal OPI Discrepancy (definition). In 1F26AF81XP/e1, definition 1.6
History
- 2026-10-28: add by m2/v0.4.2
963VKXP7AV 963VKXP7AV
| URI | m2://inv/963VKXP7AV |
|---|---|
| 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 2308.02672#5IPU (statement). In ETRT1R1CQ8/e1, corollary 4.1
History
- 2026-10-27: add by m2/v0.4.0
Lebesgue measure 964K9T7X2J
| URI | m2://inv/964K9T7X2J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > Lebesgue measure, Lebesgue measure (unknown). Also Mathlib Real.measureSpace
History
- 2026-10-26: add by m2/dev
Sarvadaman Chowla 964VH93760
| URI | m2://inv/964VH93760 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sarvadaman Chowla, Sarvadaman Chowla (topic). Also Wikidata Q967584
History
- 2026-11-02: add by m2/dev
Extraneous and missing solutions 964VNHKNAS
| URI | m2://inv/964VNHKNAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extraneous and missing solutions, Extraneous and missing solutions (definition). Also Wikidata Q3523172
History
- 2026-11-02: add by m2/dev
List of recreational number theory topics 964VTYTCJC
| URI | m2://inv/964VTYTCJC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#WGRN, List of recreational number theory topics (topic)
History
- 2026-11-02: add by m2/dev
William F. Friedman 964Y8KBWK6
| URI | m2://inv/964Y8KBWK6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William F. Friedman, William F. Friedman (topic). Also Wikidata Q969082
History
- 2026-11-02: add by m2/dev
Computation 96500PDXSY
| URI | m2://inv/96500PDXSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Induced subgraph#7K51, Computation (definition)
History
- 2026-11-02: add by m2/dev
Arithmetic surface 96593SEW0Y
| URI | m2://inv/96593SEW0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic surface, Arithmetic surface (definition). Also Wikidata Q4791131
History
- 2026-11-02: add by m2/dev
965DZXXKH4 965DZXXKH4
| URI | m2://inv/965DZXXKH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.09812#U6MV (statement). In NWWKD8YX57/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.10
965JA2YGAN 965JA2YGAN
| URI | m2://inv/965JA2YGAN |
|---|---|
| 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.25595#WOLI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement of theorem 965NNVKZFZ
| URI | m2://inv/965NNVKZFZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Girsanov theorem#LS3Q, Statement of theorem (statement)
History
- 2026-11-02: add by m2/dev
965PQHDFTA 965PQHDFTA
| URI | m2://inv/965PQHDFTA |
|---|---|
| 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.31278#PFHA (statement). In KEP21CZFV9/e1, lemma #1
History
- 2026-10-31: add by m2/v0.5.6
965T2TE99F 965T2TE99F
| URI | m2://inv/965T2TE99F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-138 (exercise). In VNMV985MXX, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Even more signatures 965WHZXP9X
| URI | m2://inv/965WHZXP9X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#example-6, Even more signatures (example). In RZP28ERRZV, example, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
965YQMF6ZT 965YQMF6ZT
| URI | m2://inv/965YQMF6ZT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-17 (exercise). In Y91XFCEVHQ, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Definition 9661G550VM
| URI | m2://inv/9661G550VM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet convolution#UQOF, Definition (definition)
History
- 2026-11-02: add by m2/dev
9667XJJ2SE 9667XJJ2SE
| URI | m2://inv/9667XJJ2SE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31910#5BZ1 (example). In E4EK1XXPY4/e1, example 5.11
History
- 2026-10-31: add by m2/v0.5.6
966DNP62HX 966DNP62HX
| URI | m2://inv/966DNP62HX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05850#T0E6 (statement). In D424GB5MAW/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Bankoff circle 966EECPDM3
| URI | m2://inv/966EECPDM3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q806818, Bankoff circle (unknown). Also MathWorld BankoffCircle
- wikipedia: Wikipedia Bankoff circle, Bankoff circle (definition). Also Wikidata Q806818
History
- 2026-10-26: add by m2/dev
In silico clinical trials 966F8DQDP7
| URI | m2://inv/966F8DQDP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia In silico clinical trials, In silico clinical trials (definition). Also Wikidata Q22909167
History
- 2026-11-02: add by m2/dev
Distance to the minimizer 966KKFTZTA
| URI | m2://inv/966KKFTZTA |
|---|---|
| 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.21461#U15R, Distance to the minimizer (statement). In DWQANBV7B7/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.4.2
conformal anomaly 966NAV5P3J
| URI | m2://inv/966NAV5P3J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5160243, conformal anomaly (unknown). Also nLab conformal anomaly
History
- 2026-10-26: add by m2/dev
966QE4TDQM 966QE4TDQM
| URI | m2://inv/966QE4TDQM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/replacement/finiteaxiomatizability.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 73.7
History
- 2026-11-01: add by m2/v0.6.13
966QW4VPV4 966QW4VPV4
| URI | m2://inv/966QW4VPV4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01924#VX1Z (definition). In CB89152EQW/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.12
966ZPEJAR2 966ZPEJAR2
| URI | m2://inv/966ZPEJAR2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-16 (exercise). In E59CDZA4DP, exercise, section 2.2.4
History
- 2026-11-01: add by m2/v0.6.13
Bernhard Neumann 9677ZQDDXV
| URI | m2://inv/9677ZQDDXV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernhard Neumann, Bernhard Neumann (topic). Also Wikidata Q72078
History
- 2026-11-02: add by m2/dev
Chebyshev-filtered datum 967K7P8FF6
| URI | m2://inv/967K7P8FF6 |
|---|---|
| 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.39262#7BY4, Chebyshev-filtered datum (definition). In XA2NE2Z06S/e1, definition 7.1
History
- 2026-10-30: add by m2/v0.4.12
Special cases 967Y0KVVEV
| URI | m2://inv/967Y0KVVEV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lp space#B520, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Local stable manifolds 96804E4FN0
| URI | m2://inv/96804E4FN0 |
|---|---|
| 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.33771#URZA, Local stable manifolds (statement). In ZXQA7QH0H0/e1, theorem 4.18
History
- 2026-10-30: add by m2/v0.4.12
Eccentricity (mathematics) 9680755GTP
| URI | m2://inv/9680755GTP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#SCDN, Eccentricity (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Mathematical software 9688WCM9PC
| URI | m2://inv/9688WCM9PC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical software, Mathematical software (definition). Also Wikidata Q1639024
History
- 2026-11-02: add by m2/dev
9689YFSVXT 9689YFSVXT
| URI | m2://inv/9689YFSVXT |
|---|---|
| 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#A1DP (statement). In 7SSKW778T8/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
maximum, global 968HDE02A9
| URI | m2://inv/968HDE02A9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/3.3.1/maximum-global, maximum, global (concept). In 907G4C4EJ1, index, section 3.3.1
History
- 2026-11-01: add by m2/v0.6.13
Chernoff bound 968QTASZSX
| URI | m2://inv/968QTASZSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11517#A4DB, Chernoff bound (statement). In 87NF85QAKT/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.3
968V2AHYN3 968V2AHYN3
| URI | m2://inv/968V2AHYN3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.14956#DJM8 (definition). In T8BQ6HHZYT/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Transparent decryption 968ZCVPY5H
| URI | m2://inv/968ZCVPY5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transparent decryption, Transparent decryption (definition). Also Wikidata Q130289101
History
- 2026-11-02: add by m2/dev
Discrete broken line lemma 96914Q88D4
| URI | m2://inv/96914Q88D4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19010#UNKZ, Discrete broken line lemma (statement). In 6315NJBYJM/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
969DT6Q3V5 969DT6Q3V5
| URI | m2://inv/969DT6Q3V5 |
|---|---|
| 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.11671#OHID (statement). In V06H8BAGEH/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.3
Variants 969FJ7469V
| URI | m2://inv/969FJ7469V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverted pendulum#3XGH, Variants (statement)
History
- 2026-11-02: add by m2/dev
Dual resonance model 969H06N24A
| URI | m2://inv/969H06N24A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#67JZ, Dual resonance model (unknown)
History
- 2026-11-02: add by m2/dev
Advice (complexity) 969J9KQ717
| URI | m2://inv/969J9KQ717 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#EVLH, Advice (complexity) (definition)
History
- 2026-11-02: add by m2/dev
Algorithm 969YZ6W1W0
| URI | m2://inv/969YZ6W1W0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sieve of Sundaram#QUT8, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
96A1WRB8DA 96A1WRB8DA
| URI | m2://inv/96A1WRB8DA |
|---|---|
| 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.27715#IFTR (statement)
History
- 2026-11-01: add by m2/v0.6.15
96AA89F4XM 96AA89F4XM
| URI | m2://inv/96AA89F4XM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#12G2 (definition). In M0SQY5EZN5/e1, definition 2.1.6
History
- 2026-10-27: add by m2/v0.3.5
96AE2A8BRC 96AE2A8BRC
| URI | m2://inv/96AE2A8BRC |
|---|---|
| Kind | problem |
| 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.02935#7BNO (problem). In WE2KKAMEFW/e1, problem
History
- 2026-10-29: add by m2/v0.4.12
Implicit generating functions and the Lagrange inversion formula 96AGFZA2N6
| URI | m2://inv/96AGFZA2N6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generating function#WVZD, Implicit generating functions and the Lagrange inversion formula (statement)
History
- 2026-11-02: add by m2/dev
96AH3SR2KA 96AH3SR2KA
| URI | m2://inv/96AH3SR2KA |
|---|---|
| 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.16727#9E32 (statement). In Z5QS3MD8HN/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
96AN00EZE8 96AN00EZE8
| URI | m2://inv/96AN00EZE8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31090#WBCL (definition). In SMTJDX0Q6R/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
96AX0SNFNS 96AX0SNFNS
| URI | m2://inv/96AX0SNFNS |
|---|---|
| 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.23994#1DX8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples 96AXAK7KTT
| URI | m2://inv/96AXAK7KTT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dehn surgery#0ANS, Examples (example)
History
- 2026-11-02: add by m2/dev
Thomas Fink 96B0XVSZXF
| URI | m2://inv/96B0XVSZXF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YHSJ, Thomas Fink (unknown)
History
- 2026-11-02: add by m2/dev
Jacob Levitzki 96BAHDC4X1
| URI | m2://inv/96BAHDC4X1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#OGQF, Jacob Levitzki (topic)
History
- 2026-11-02: add by m2/dev
96BCS804TJ 96BCS804TJ
| URI | m2://inv/96BCS804TJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20386#5359 (statement). In 4WC4V49KAC/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.2
96BHW11N56 96BHW11N56
| URI | m2://inv/96BHW11N56 |
|---|---|
| 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 2504.00267#CYSZ (definition). In 38XJWDZ2PH/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
96BVQR16NX 96BVQR16NX
| URI | m2://inv/96BVQR16NX |
|---|---|
| Kind | example |
| 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#FR4V (example). In YZNK67K060/e1, example 8.7
History
- 2026-10-29: add by m2/v0.4.12
96BWEGZZQX 96BWEGZZQX
| URI | m2://inv/96BWEGZZQX |
|---|---|
| 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#VMW2 (statement). In B8MJT0GGW8/e1, lemma 3.22
History
- 2026-10-27: add by m2/v0.4.0
Uniform stationary policy bound 96BYBEE1JE
| URI | m2://inv/96BYBEE1JE |
|---|---|
| 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.37380#IKAR, Uniform stationary policy bound (statement). In 14Y4SA4SX0/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
orthogonality of characters 96C7P6QVM3
| URI | m2://inv/96C7P6QVM3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Representation theory > orthogonality of characters, orthogonality of characters (unknown). Also Mathlib FDRep.char_orthonormal
- mathlib_undergrad: mathlib_undergrad Group Theory > Representation theory of finite groups > orthogonality of irreducible characters, orthogonality of irreducible characters (unknown). Also Mathlib FDRep.char_orthonormal
History
- 2026-10-26: add by m2/dev
96CB2SEK4H 96CB2SEK4H
| URI | m2://inv/96CB2SEK4H |
|---|---|
| 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.14741#5NX8 (statement). In RK1VPWWX9E/e1, lemma 4.17
History
- 2026-10-28: add by m2/v0.4.2
96CF645M83 96CF645M83
| URI | m2://inv/96CF645M83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04434#BXEX (statement). In EY0QS456EC/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.12
Paradox of place 96CG8ZCXT7
| URI | m2://inv/96CG8ZCXT7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeno's paradoxes#5Q51, Paradox of place (statement)
History
- 2026-11-02: add by m2/dev
96D2EYTAWT 96D2EYTAWT
| URI | m2://inv/96D2EYTAWT |
|---|---|
| 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.01615#8JYU (statement). In CJYRXT18TD/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.12
96D4QZKS8C 96D4QZKS8C
| URI | m2://inv/96D4QZKS8C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14236#LUYR (statement). In XEQD21EBTT/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
96DRWXGCWT 96DRWXGCWT
| URI | m2://inv/96DRWXGCWT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-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.21090#9DVM (example)
History
- 2026-11-02: add by m2/v0.6.18
96DSVCFR4M 96DSVCFR4M
| URI | m2://inv/96DSVCFR4M |
|---|---|
| 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.37026#EBLX (statement). In QGZPH9W8GY/e1, lemma 2.12
History
- 2026-10-30: add by m2/v0.4.12
96DZWE1PGF 96DZWE1PGF
| URI | m2://inv/96DZWE1PGF |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#PT3X (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Bondy's theorem 96EEXHMMNA
| URI | m2://inv/96EEXHMMNA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3443426, Bondy's theorem (statement). Also Wikidata Q3443426
- thousand_plus: thousand_plus Q3443426, Bondy's theorem (statement). Also Wikidata Q3443426, Wikipedia Bondy's theorem
- wikipedia: Wikipedia Bondy's theorem, Bondy's theorem (statement). Also Wikidata Q3443426
History
- 2026-10-26: add by m2/dev
Institute of Mathematical Problems of Biology 96ERJW6D5G
| URI | m2://inv/96ERJW6D5G |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institute of Mathematical Problems of Biology, Institute of Mathematical Problems of Biology (problem). Also Wikidata Q4201582
History
- 2026-11-02: add by m2/dev
Selma Fine Goldsmith 96ET7WTN4P
| URI | m2://inv/96ET7WTN4P |
|---|---|
| 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#28NR, Selma Fine Goldsmith (topic)
History
- 2026-11-02: add by m2/dev
96EW8829K4 96EW8829K4
| URI | m2://inv/96EW8829K4 |
|---|---|
| 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.15176#99F1 (statement). In RKV0144CGA/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Applications 96EZZ50Z0A
| URI | m2://inv/96EZZ50Z0A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four-bar linkage#DGS1, Applications (example)
History
- 2026-11-02: add by m2/dev
Local version 96FHCC29CG
| URI | m2://inv/96FHCC29CG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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 2601.13782#SD06, Local version (statement). In 12RSHWCNMX/e1, corollary 3
History
- 2026-10-27: add by m2/v0.3.5
Björn Sandstede 96FX8NFWYH
| URI | m2://inv/96FX8NFWYH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Björn Sandstede, Björn Sandstede (topic). Also Wikidata Q20675673
History
- 2026-11-02: add by m2/dev
Counting bound 96FXSWNM7H
| URI | m2://inv/96FXSWNM7H |
|---|---|
| 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#5IG5, Counting bound (statement). In 5B030CB2RK/e1, lemma 9.3
History
- 2026-10-27: add by m2/v0.3.6
96FZ3J85JS 96FZ3J85JS
| URI | m2://inv/96FZ3J85JS |
|---|---|
| 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 2603.26376#BXH4 (statement). In PJAT9YDX7Y/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.4.0
Handle decomposition 96G1JRNDJC
| URI | m2://inv/96G1JRNDJC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometric topology topics#7R7M, Handle decomposition (definition)
History
- 2026-11-02: add by m2/dev
96GF4Y8NCN 96GF4Y8NCN
| URI | m2://inv/96GF4Y8NCN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#B88M (definition). In PG0B4PH9YH/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.4.2
Karl Strehl 96GH0ARABV
| URI | m2://inv/96GH0ARABV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#MQVD, Karl Strehl (unknown)
History
- 2026-11-02: add by m2/dev
Simplex Bound 96GSRETKDD
| URI | m2://inv/96GSRETKDD |
|---|---|
| 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.24878#0085, Simplex Bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Superposition calculus 96GY2N55KT
| URI | m2://inv/96GY2N55KT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superposition calculus, Superposition calculus (definition). Also Wikidata Q7644107
History
- 2026-11-02: add by m2/dev
Strongly convex 96GZZ1BMHV
| URI | m2://inv/96GZZ1BMHV |
|---|---|
| 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.35418#QWK8, Strongly convex (statement). In JHD3TW67QT/e1, proposition 10
History
- 2026-10-30: add by m2/v0.4.12
96H1WZFCSF 96H1WZFCSF
| URI | m2://inv/96H1WZFCSF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11652#D0YP (statement). In VEXM27M8Q1/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.3
Using Sage to find row reduced echelon matrices 96HC1JVR3G
| URI | m2://inv/96HC1JVR3G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section1-3.xml#activity-2, Using Sage to find row reduced echelon matrices (exercise). In 649HGZKE96, activity, section 1.3.2
History
- 2026-11-01: add by m2/v0.6.13
Reduction lemma 96HH9RFXFH
| URI | m2://inv/96HH9RFXFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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.18512#G0N7, Reduction lemma (statement). In 11JNM66Z09/e1, lemma G.3
History
- 2026-10-28: add by m2/v0.4.2
Projection 96HP7SFFQC
| URI | m2://inv/96HP7SFFQC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection (measure theory), Projection (definition). Also Wikidata Q55630563
History
- 2026-11-02: add by m2/dev
Reliability of the delta-method MCSE 96HRMYR7VQ
| URI | m2://inv/96HRMYR7VQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17403#KR8A, Reliability of the delta-method MCSE (statement). In 9EMNMAW8YH/e1, theorem 10
History
- 2026-10-28: add by m2/v0.4.2
Jun-Ichi Igusa 96HTRPGSJ5
| URI | m2://inv/96HTRPGSJ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8BPT, Jun-Ichi Igusa (topic)
History
- 2026-11-02: add by m2/dev
96HX5BRPXH 96HX5BRPXH
| URI | m2://inv/96HX5BRPXH |
|---|---|
| Kind | example |
| 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 2011.08789#9DGY (example). In 43AGRMP7T3/e1, example 1.12
History
- 2026-10-27: add by m2/v0.3.5
96J0B6RG30 96J0B6RG30
| URI | m2://inv/96J0B6RG30 |
|---|---|
| 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.01946#ZTS9 (statement). In NB1Z31FMXN/e1, lemma 3.12
History
- 2026-10-29: add by m2/v0.4.12
96JAG4TYF3 96JAG4TYF3
| URI | m2://inv/96JAG4TYF3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#proof-2 (proof). In RZP28ERRZV, proof, section 55.3.1
History
- 2026-11-01: add by m2/v0.6.13
96JB3F38A1 96JB3F38A1
| URI | m2://inv/96JB3F38A1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10828#WKUV (statement). In 8PTDFHV8SQ/e1, lemma 19.2
History
- 2026-10-28: add by m2/v0.4.3
Richard von Mises 96JBYBFDTG
| URI | m2://inv/96JBYBFDTG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#OEDA, Richard von Mises (topic)
History
- 2026-11-02: add by m2/dev
96JEXWEW30 96JEXWEW30
| URI | m2://inv/96JEXWEW30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2602.15812#FKRM (statement). In GAAZD3SGPN/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
1 E -18 m 96JMM5Q7M2
| URI | m2://inv/96JMM5Q7M2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (length)#DBYU, 1 E -18 m (unknown)
History
- 2026-11-02: add by m2/dev
Examples 96JNEQ0RKW
| URI | m2://inv/96JNEQ0RKW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-step M-estimator#0LU2, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties 96JRK0FJGK
| URI | m2://inv/96JRK0FJGK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism of schemes#0W84, Properties (statement)
History
- 2026-11-02: add by m2/dev
96JX8DCW2H 96JX8DCW2H
| URI | m2://inv/96JX8DCW2H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19455#P0K6 (statement). In CBF6TQS4DW/e1, proposition 1.4
History
- 2026-10-28: add by m2/v0.4.2
Circular cause and consequence 96K1WQZRYW
| URI | m2://inv/96K1WQZRYW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation does not imply causation#B0GA, Circular cause and consequence (unknown)
History
- 2026-11-02: add by m2/dev
Conductor–discriminant formula 96K3EKYMHV
| URI | m2://inv/96K3EKYMHV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conductor–discriminant formula, Conductor–discriminant formula (statement). Also Wikidata Q5159392
History
- 2026-11-02: add by m2/dev
Upper Bound 96K4J13156
| URI | m2://inv/96K4J13156 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.33590#4X3W, Upper Bound (statement). In WRE0P7V6Z3/e1, lemma 15.1
History
- 2026-10-30: add by m2/v0.4.12
96K9KAQGAM 96K9KAQGAM
| URI | m2://inv/96K9KAQGAM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#proof-1 (proof). In P1C114YBXG, proof, section C
History
- 2026-11-01: add by m2/v0.6.13
Definition 96KCRA5J5M
| URI | m2://inv/96KCRA5J5M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally nilpotent derivation#3GJI, Definition (definition)
History
- 2026-11-02: add by m2/dev
96KDWJCRB3 96KDWJCRB3
| URI | m2://inv/96KDWJCRB3 |
|---|---|
| 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.04411#UL9R (statement). In 6AY8SX3XBW/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
96KDYPM1JJ 96KDYPM1JJ
| URI | m2://inv/96KDYPM1JJ |
|---|---|
| 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.20406#WSQM (statement). In 1YW6C6XGT3/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.4.2
Geometric class field theory 96KG1JBGGP
| URI | m2://inv/96KG1JBGGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#DPQC, Geometric class field theory (definition)
History
- 2026-11-02: add by m2/dev
96KNANG9FV 96KNANG9FV
| URI | m2://inv/96KNANG9FV |
|---|---|
| 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.06521#6AN4 (statement). In NVXWD513NM/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
Dialectic 96M3P08TRM
| URI | m2://inv/96M3P08TRM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dialectic, Dialectic (definition). Also Wikidata Q9453
History
- 2026-11-02: add by m2/dev
A one-winner projection bound at general rank 96MCB45J2S
| URI | m2://inv/96MCB45J2S |
|---|---|
| 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.39408#MV5T, A one-winner projection bound at general rank (statement). In T8E6F01RTM/e1, proposition U.12
History
- 2026-10-30: add by m2/v0.4.12
96MCR89JWX 96MCR89JWX
| URI | m2://inv/96MCR89JWX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-34 (proof). In E59CDZA4DP, proof, section 10.6.4
History
- 2026-11-01: add by m2/v0.6.13
Formalism 96MFFZPN57
| URI | m2://inv/96MFFZPN57 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formalism (philosophy), Formalism (definition). Also Wikidata Q539750
History
- 2026-11-02: add by m2/dev
Tanya P. Garcia 96MFK4DD5M
| URI | m2://inv/96MFK4DD5M |
|---|---|
| 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#CH0L, Tanya P. Garcia (unknown)
History
- 2026-11-02: add by m2/dev
Shilov boundary 96MPQZ687S
| URI | m2://inv/96MPQZ687S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shilov boundary, Shilov boundary (definition). Also Wikidata Q1632516
History
- 2026-11-02: add by m2/dev
96MWAZDFBH 96MWAZDFBH
| URI | m2://inv/96MWAZDFBH |
|---|---|
| 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.32599#1YHI (statement). In E1Y93JNBJA/e1, lemma 8.3
History
- 2026-10-31: add by m2/v0.5.6
Applications 96N6AWYSP4
| URI | m2://inv/96N6AWYSP4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total variation#81FP, Applications (example)
History
- 2026-11-02: add by m2/dev
96NB8TRR0Z 96NB8TRR0Z
| URI | m2://inv/96NB8TRR0Z |
|---|---|
| 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 2301.04933#05BE (definition). In Q70CTMCJTP/e1, definition 4.11
History
- 2026-10-27: add by m2/v0.3.5
Properties 96NEY60PWX
| URI | m2://inv/96NEY60PWX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rudvalis group#SA94, Properties (statement)
History
- 2026-11-02: add by m2/dev
96NYACGG38 96NYACGG38
| URI | m2://inv/96NYACGG38 |
|---|---|
| Kind | definition |
| 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#836Z (definition). In HX63A1PH1W/e1, definition 5.12
History
- 2026-10-28: add by m2/v0.4.3
Additive number system 96NZXW2G91
| URI | m2://inv/96NZXW2G91 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract analytic number theory#0GTK, Additive number system (unknown)
History
- 2026-11-02: add by m2/dev
Construction 96P1PBMN3Y
| URI | m2://inv/96P1PBMN3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated tesseract#Y00M, Construction (definition)
History
- 2026-11-02: add by m2/dev
Lane P. Hughston 96P3FQT8AJ
| URI | m2://inv/96P3FQT8AJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lane P. Hughston, Lane P. Hughston (topic). Also Wikidata Q6485432
History
- 2026-11-02: add by m2/dev
Tangle denominator closure 96PATB9YAD
| URI | m2://inv/96PATB9YAD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#GIS7, Tangle denominator closure (unknown)
History
- 2026-11-02: add by m2/dev
definition, inductive 96PEKBZAGH
| URI | m2://inv/96PEKBZAGH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8/definition-inductive, definition, inductive (concept). In N54F33XE07, index, section 8
History
- 2026-11-01: add by m2/v0.6.13
discrete Gronwall lemma 2 96PMGZ3KZF
| URI | m2://inv/96PMGZ3KZF |
|---|---|
| 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.28961#0S96, discrete Gronwall lemma 2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
The Yamabe problem in special cases 96PQAKK4GH
| URI | m2://inv/96PQAKK4GH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yamabe problem#SNEK, The Yamabe problem in special cases (statement)
History
- 2026-11-02: add by m2/dev
Institute for Administrators in Catholic Higher Education 96PVFVDBZ3
| URI | m2://inv/96PVFVDBZ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#PNB7, Institute for Administrators in Catholic Higher Education (unknown)
History
- 2026-11-02: add by m2/dev
Examples 96QA63YNTS
| URI | m2://inv/96QA63YNTS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galton board#MRPE, Examples (example)
History
- 2026-11-02: add by m2/dev
96QECWWVG2 96QECWWVG2
| URI | m2://inv/96QECWWVG2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#7ICV (statement). In RBQ5FNCVNZ/e1, lemma 9.7
History
- 2026-10-30: add by m2/v0.4.12
96QHD626T9 96QHD626T9
| URI | m2://inv/96QHD626T9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18922#WKVY (definition). In 6FKDYENQ8M/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Record value 96QK4BBZV7
| URI | m2://inv/96QK4BBZV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Record value, Record value (definition). Also Wikidata Q16917816
History
- 2026-11-02: add by m2/dev
96QWJ3D9DR 96QWJ3D9DR
| URI | m2://inv/96QWJ3D9DR |
|---|---|
| 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 0809.4587#URYC (statement). In KQ8JPHDKKE/e1, proposition 9.8.13
History
- 2026-10-27: add by m2/v0.3.5
Definition 96QZWRPGXH
| URI | m2://inv/96QZWRPGXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi identity#63MF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Shape holomorphy of the EFIE solution on closed surfaces 96RBWM0BMB
| URI | m2://inv/96RBWM0BMB |
|---|---|
| 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.14888#D0YP, Shape holomorphy of the EFIE solution on closed surfaces (statement). In GN3ZT9DAD9/e1, corollary 4.1
History
- 2026-10-28: add by m2/v0.4.2
Network congestion 96RE0ZMYCB
| URI | m2://inv/96RE0ZMYCB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#ZQNY, Network congestion (unknown)
History
- 2026-11-02: add by m2/dev
alpha 96RFWAX1J4
| URI | m2://inv/96RFWAX1J4 |
|---|---|
| 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#MVF5, alpha (unknown)
History
- 2026-11-02: add by m2/dev
Properties 96RJ0HA8C0
| URI | m2://inv/96RJ0HA8C0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Microbundle#BDCH, Properties (statement)
History
- 2026-11-02: add by m2/dev
Application 96RKC6TJY2
| URI | m2://inv/96RKC6TJY2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wald's equation#BDYS, Application (example)
History
- 2026-11-02: add by m2/dev
Leon E. Truesdell 96RN8GN2S2
| URI | m2://inv/96RN8GN2S2 |
|---|---|
| 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#0PLS, Leon E. Truesdell (unknown)
History
- 2026-11-02: add by m2/dev
Associated point 96RSSTTY5M
| URI | m2://inv/96RSSTTY5M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#SMFV, Associated point (unknown)
History
- 2026-11-02: add by m2/dev
Fourier series 96S7MFMTMA
| URI | m2://inv/96S7MFMTMA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 43-XX |
| Sources | 6 |
| Outcome | open |
| Node | Fourier series G12KXDHPPS |
Mentions
- mathlib_1000: mathlib_1000 Q179467, Fourier theorem (statement). Also Mathlib MeasureTheory.Integrable.fourierInv_fourier_eq, Mathlib Continuous.fourierInv_fourier_eq, Wikidata Q179467
- mathlib_1000: mathlib_1000 Q3984053, Fourier inversion theorem (statement). Also Mathlib Continuous.fourierInv_fourier_eq, Wikidata Q3984053
- mathlib_overview: mathlib_overview Analysis > Fourier analysis > inversion formula, inversion formula (unknown). Also Mathlib Continuous.fourierInv_fourier_eq
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Fourier analysis > Fourier inversion formula, Fourier inversion formula (unknown). Also Mathlib Continuous.fourierInv_fourier_eq
- thousand_plus: thousand_plus Q179467, Fourier theorem (statement). Also Mathlib MeasureTheory.Integrable.fourierInv_fourier_eq, Mathlib Continuous.fourierInv_fourier_eq, Wikidata Q179467, Wikipedia Fourier theorem
- thousand_plus: thousand_plus Q3984053, Fourier inversion theorem (statement). Also Mathlib Continuous.fourierInv_fourier_eq, Wikidata Q3984053, Wikipedia Fourier inversion theorem
- wikidata: Wikidata Q179467, Fourier series (concept). Also EoM Fourier_series, MathWorld FourierSeries, ProofWiki Definition:Fourier_Series/Formulation_1
- wikidata: Wikidata Q3984053, Fourier inversion theorem (statement). Also nLab Fourier inversion theorem
- wikipedia: Wikipedia Fourier inversion theorem, Fourier inversion theorem (statement). Also Wikidata Q3984053
- wikipedia: Wikipedia Fourier series, Fourier series (definition). Also Wikidata Q179467
History
- 2026-10-26: add by m2/dev
- 2026-10-26: merge by m2/dev
Walter Benz 96SA336R4P
| URI | m2://inv/96SA336R4P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#2FWY, Walter Benz (topic)
History
- 2026-11-02: add by m2/dev
96SB7BE3P5 96SB7BE3P5
| URI | m2://inv/96SB7BE3P5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32860#SNCW (statement). In H71AJ341B3/e1, proposition 5.1
History
- 2026-10-31: add by m2/v0.5.6
HP-12C 96SFKGAFJ7
| URI | m2://inv/96SFKGAFJ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP-12C, HP-12C (definition). Also Wikidata Q1565772
History
- 2026-11-02: add by m2/dev
Johannes Schöner 96SS03YPZ7
| URI | m2://inv/96SS03YPZ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#4WJR, Johannes Schöner (unknown)
History
- 2026-11-02: add by m2/dev
96T1DZYK33 96T1DZYK33
| URI | m2://inv/96T1DZYK33 |
|---|---|
| Kind | conjecture |
| 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#CRJ2 (conjecture). In 8FKEQSPN7M/e1, conjecture 1.9
History
- 2026-10-31: add by m2/v0.5.6
96T7E9BD7P 96T7E9BD7P
| URI | m2://inv/96T7E9BD7P |
|---|---|
| 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 2610.19426#I3JP (definition). In Y28XB7TPPZ/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Chern class of the excess bundle 96T7ZPYTY3
| URI | m2://inv/96T7ZPYTY3 |
|---|---|
| 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.01731#IMEM, Chern class of the excess bundle (statement). In 3TJ2FWXQ0D/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.12
96TJDJPES7 96TJDJPES7
| URI | m2://inv/96TJDJPES7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#cor:metricuniformcontinuous (statement). In E59CDZA4DP, cor, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
Examples 96TX1027YC
| URI | m2://inv/96TX1027YC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplace expansion#CR2S, Examples (example)
History
- 2026-11-02: add by m2/dev
Guo--Jian--Shi--Song 96VK9AC6RK
| URI | m2://inv/96VK9AC6RK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21934#4FQ0, Guo--Jian--Shi--Song (statement). In YKD51BX3XB/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.4.2
96VN0X2X2T 96VN0X2X2T
| URI | m2://inv/96VN0X2X2T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#example-22 (example). In E59CDZA4DP, example, section 2.6.2
History
- 2026-11-01: add by m2/v0.6.13
96VND9SJKD 96VND9SJKD
| URI | m2://inv/96VND9SJKD |
|---|---|
| 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 2411.07061#8RV5 (statement). In S988ZVA1QE/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.6
Jonathan Partington 96VWQAV3AE
| URI | m2://inv/96VWQAV3AE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jonathan Partington, Jonathan Partington (topic). Also Wikidata Q10978647
History
- 2026-11-02: add by m2/dev
Proebsting's paradox 96W0BQS930
| URI | m2://inv/96W0BQS930 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proebsting's paradox, Proebsting's paradox (statement). Also Wikidata Q7247873
History
- 2026-11-02: add by m2/dev
96W6SZRTWK 96W6SZRTWK
| URI | m2://inv/96W6SZRTWK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19707#4IBC (statement). In R6SEBXARYC/e1, proposition 8.1
History
- 2026-10-28: add by m2/v0.4.2
Examples 96WFTXNDR5
| URI | m2://inv/96WFTXNDR5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opposite ring#W600, Examples (example)
History
- 2026-11-02: add by m2/dev
96WHTW26E7 96WHTW26E7
| URI | m2://inv/96WHTW26E7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#example-14 (example). In E59CDZA4DP, example, section 1.7.2
History
- 2026-11-01: add by m2/v0.6.13
96WPVZRX77 96WPVZRX77
| URI | m2://inv/96WPVZRX77 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-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 2311.00585#6LH7 (problem). In 332PQD90SW/e1, problem 3.8
History
- 2026-10-27: add by m2/v0.3.5
96WQ1EJHYN 96WQ1EJHYN
| URI | m2://inv/96WQ1EJHYN |
|---|---|
| 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 0904.3493#CCTI (statement). In 1ARY7220P4/e1, fact 2.2
History
- 2026-10-27: add by m2/v0.3.5
Axiom of countable choice 96WQ6SGC7R
| URI | m2://inv/96WQ6SGC7R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#G0MV, Axiom of countable choice (statement)
History
- 2026-11-02: add by m2/dev
Quantitative sticky-elastic homogenization 96WQACP6KY
| URI | m2://inv/96WQACP6KY |
|---|---|
| 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.07380#MAHR, Quantitative sticky-elastic homogenization (statement). In XM2CDRKSGE/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
96WQE664PS 96WQE664PS
| URI | m2://inv/96WQE664PS |
|---|---|
| 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.01015#7UAE (statement). In PSH07NKZ62/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.12
Super-Turing computation 96WWQS8BFJ
| URI | m2://inv/96WWQS8BFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#BCYO, Super-Turing computation (definition)
History
- 2026-11-02: add by m2/dev
96WYPKQ15Q 96WYPKQ15Q
| URI | m2://inv/96WYPKQ15Q |
|---|---|
| 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.10875#9Z9O (statement). In N91F15MHW1/e1, proposition 5
History
- 2026-10-28: add by m2/v0.4.3
96XBHXBCGZ 96XBHXBCGZ
| URI | m2://inv/96XBHXBCGZ |
|---|---|
| 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.14249#XUJC (statement). In B6P8PG8R8T/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Hierarchy theorem 96XDECKYVW
| URI | m2://inv/96XDECKYVW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DSPACE#JFNP, Hierarchy theorem (statement)
History
- 2026-11-02: add by m2/dev
Intersection theorem 96XQ0RGVQK
| URI | m2://inv/96XQ0RGVQK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#KJVI, Intersection theorem (statement)
History
- 2026-11-02: add by m2/dev
Generalizations 96XR35144W
| URI | m2://inv/96XR35144W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorem of calculus#TU3G, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Propagation with zero residual covariance 96XSX8DY7B
| URI | m2://inv/96XSX8DY7B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04989#WHB1, Propagation with zero residual covariance (statement). In 1T4SYTCKW8/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.12
96XWSMVC8Q 96XWSMVC8Q
| URI | m2://inv/96XWSMVC8Q |
|---|---|
| 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.11965#W07E (statement). In 48QX0QD0XR/e1, corollary 5.5
History
- 2026-10-28: add by m2/v0.4.3
Matching polytope 96YB7VFEJ6
| URI | m2://inv/96YB7VFEJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matching polytope, Matching polytope (definition). Also Wikidata Q97516289
History
- 2026-11-02: add by m2/dev
Anonymous functions in Scala 96YE5JVW46
| URI | m2://inv/96YE5JVW46 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scala (programming language)#KVB2, Anonymous functions in Scala (unknown)
History
- 2026-11-02: add by m2/dev
Four loops in terms of two diagonal series 96YFZJHVAS
| URI | m2://inv/96YFZJHVAS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10821#G865, Four loops in terms of two diagonal series (statement). In RWNP4FEE65/e1, corollary 2.4
History
- 2026-10-28: add by m2/v0.4.3
Descending equivariant and geometric fixed point homotopy groups 96YTR527ZH
| URI | m2://inv/96YTR527ZH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#4DCE, Descending equivariant and geometric fixed point homotopy groups (definition). In TB1294GY5X/e1, definition A.15
History
- 2026-10-27: add by m2/v0.4.2
Poisson random measure 96YWXEY7Z3
| URI | m2://inv/96YWXEY7Z3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson random measure, Poisson random measure (definition). Also Wikidata Q7208502
History
- 2026-11-02: add by m2/dev
Loop quantum gravity 96ZF2X8FS7
| URI | m2://inv/96ZF2X8FS7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#JJ0J, Loop quantum gravity (topic)
History
- 2026-11-02: add by m2/dev
Interpretation of the formula 96ZKDB5P3B
| URI | m2://inv/96ZKDB5P3B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's formula#9Y2G, Interpretation of the formula (statement)
History
- 2026-11-02: add by m2/dev