Inventory rows 3H
The cards of the rows of the inventory whose ids start with 3H. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
3H0038RXK6 3H0038RXK6
| URI | m2://inv/3H0038RXK6 |
|---|---|
| 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 2511.05069#5XN5 (statement). In SFQBJBTW8K/e1, theorem 10.2
History
- 2026-10-27: add by m2/v0.3.5
Examples 3H07WC7NJN
| URI | m2://inv/3H07WC7NJN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform space#NRLG, Examples (example)
History
- 2026-11-02: add by m2/dev
3H08JG16NS 3H08JG16NS
| URI | m2://inv/3H08JG16NS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-84 (proof). In VNMV985MXX, proof, section D
History
- 2026-11-01: add by m2/v0.6.13
3H0JT8V49D 3H0JT8V49D
| URI | m2://inv/3H0JT8V49D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.13822#YMKF (statement). In R9D4FQR3TA/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
sheaf of modules 3H0K4PXHYF
| URI | m2://inv/3H0K4PXHYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#7EHR, sheaf of modules (definition)
History
- 2026-11-02: add by m2/dev
3H0P7HVCCS 3H0P7HVCCS
| URI | m2://inv/3H0P7HVCCS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/eigenvalues.tex#proof-2 (proof). In RZP28ERRZV, proof, section 58.6
History
- 2026-11-01: add by m2/v0.6.13
PSPACE 3H0XTHAPE0
| URI | m2://inv/3H0XTHAPE0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PSPACE, PSPACE (definition). Also Wikidata Q500716
History
- 2026-11-02: add by m2/dev
Hajer Bahouri 3H13ZK45J0
| URI | m2://inv/3H13ZK45J0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hajer Bahouri, Hajer Bahouri (topic). Also Wikidata Q38231454
History
- 2026-11-02: add by m2/dev
Albert J. Reiss 3H15D3F35T
| URI | m2://inv/3H15D3F35T |
|---|---|
| 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#FWTR, Albert J. Reiss (unknown)
History
- 2026-11-02: add by m2/dev
John Lennox 3H1634CSSK
| URI | m2://inv/3H1634CSSK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Lennox, John Lennox (topic). Also Wikidata Q975795
History
- 2026-11-02: add by m2/dev
Burt Ovrut 3H19R54NPY
| URI | m2://inv/3H19R54NPY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#OOML, Burt Ovrut (unknown)
History
- 2026-11-02: add by m2/dev
3H19SY28D7 3H19SY28D7
| URI | m2://inv/3H19SY28D7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/lists.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 38.2
History
- 2026-11-01: add by m2/v0.6.13
Properties 3H19ZWKS2Z
| URI | m2://inv/3H19ZWKS2Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive-real function#NIIS, Properties (statement)
History
- 2026-11-02: add by m2/dev
Recovering a biquadratic polynomial 3H1D9KPVRW
| URI | m2://inv/3H1D9KPVRW |
|---|---|
| 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#FP1E, Recovering a biquadratic polynomial (statement)
History
- 2026-11-01: add by m2/v0.6.15
tree 3H1G38CWJG
| URI | m2://inv/3H1G38CWJG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#ENEG, tree (definition)
History
- 2026-11-02: add by m2/dev
skew-symmetric bilinear form 3H1G9FH1YN
| URI | m2://inv/3H1G9FH1YN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77584712, skew-symmetric bilinear form (unknown). Also EoM Skew-symmetric_bilinear_form
History
- 2026-10-26: add by m2/dev
3H1MP0SCPT 3H1MP0SCPT
| URI | m2://inv/3H1MP0SCPT |
|---|---|
| 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.02352#E2U9 (statement). In EAMF68FANV/e1, proposition 5
History
- 2026-10-29: add by m2/v0.4.12
3H1ZKDAN0B 3H1ZKDAN0B
| URI | m2://inv/3H1ZKDAN0B |
|---|---|
| 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.24043#VN21 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Very large-scale neighborhood search 3H20SBV3M4
| URI | m2://inv/3H20SBV3M4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Very large-scale neighborhood search, Very large-scale neighborhood search (definition). Also Wikidata Q3421943
History
- 2026-11-02: add by m2/dev
Archive for Mathematical Logic 3H22KXN2BW
| URI | m2://inv/3H22KXN2BW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#FIED, Archive for Mathematical Logic (definition)
History
- 2026-11-02: add by m2/dev
\myindex{Hartogs triangle} 3H26NX9WK2
| URI | m2://inv/3H26NX9WK2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:hartogstriangle, \myindex{Hartogs triangle} (exercise). In VNMV985MXX, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Scalenohedron 3H29GXQWCV
| URI | m2://inv/3H29GXQWCV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipyramid#VYAA, Scalenohedron (unknown)
History
- 2026-11-02: add by m2/dev
Definition 3H2B3P5084
| URI | m2://inv/3H2B3P5084 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ackermann function#DWPS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Conventions 3H2P9BV8HG
| URI | m2://inv/3H2P9BV8HG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical harmonics#BQUT, Conventions (definition)
History
- 2026-11-02: add by m2/dev
3H2R8PS2AY 3H2R8PS2AY
| URI | m2://inv/3H2R8PS2AY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise:msconnconn (exercise). In E59CDZA4DP, exercise, section 4.5.6
History
- 2026-11-01: add by m2/v0.6.13
3H2RAG78VW 3H2RAG78VW
| URI | m2://inv/3H2RAG78VW |
|---|---|
| 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.11047#G0YL (statement). In MNQAZ70XTH/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.3
3H2SVK7CDE 3H2SVK7CDE
| URI | m2://inv/3H2SVK7CDE |
|---|---|
| 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#5STX (statement). In EY0QS456EC/e1, proposition 7.7
History
- 2026-10-29: add by m2/v0.4.12
5-simplex honeycomb 3H2W5CDJH4
| URI | m2://inv/3H2W5CDJH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5-simplex honeycomb, 5-simplex honeycomb (definition). Also Wikidata Q4639675
History
- 2026-11-02: add by m2/dev
De Laval nozzle 3H306E5X10
| URI | m2://inv/3H306E5X10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Laval nozzle, De Laval nozzle (definition). Also Wikidata Q902354
History
- 2026-11-02: add by m2/dev
Heap's algorithm 3H314P5R4T
| URI | m2://inv/3H314P5R4T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#RAZO, Heap's algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Sylvester equation 3H3CT2KMG4
| URI | m2://inv/3H3CT2KMG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after James Joseph Sylvester#MXQ7, Sylvester equation (definition)
History
- 2026-11-02: add by m2/dev
3H3NH8RTGQ 3H3NH8RTGQ
| URI | m2://inv/3H3NH8RTGQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-5.xml#prop-linear-trans-columns (statement). In 649HGZKE96, proposition, section 2.5.2
History
- 2026-11-01: add by m2/v0.6.13
3H3PYF534C 3H3PYF534C
| URI | m2://inv/3H3PYF534C |
|---|---|
| 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.32207#VPGJ (statement). In R94G9XD5AC/e1, lemma 5.2
History
- 2026-10-31: add by m2/v0.5.6
Max/min CSP/Ones classification theorems 3H3VF8G4Y0
| URI | m2://inv/3H3VF8G4Y0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#T07I, Max/min CSP/Ones classification theorems (unknown)
History
- 2026-11-02: add by m2/dev
Expectation–maximization algorithm 3H3XRXYNKZ
| URI | m2://inv/3H3XRXYNKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expectation–maximization algorithm, Expectation–maximization algorithm (definition). Also Wikidata Q1275153
History
- 2026-11-02: add by m2/dev
Lefschetz–Hopf theorem 3H3YBZZKMN
| URI | m2://inv/3H3YBZZKMN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lefschetz fixed-point theorem#MXZI, Lefschetz–Hopf theorem (statement)
History
- 2026-11-02: add by m2/dev
Hamiltonian Monte Carlo 3H444MZ8QB
| URI | m2://inv/3H444MZ8QB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian Monte Carlo, Hamiltonian Monte Carlo (definition). Also Wikidata Q1639846
History
- 2026-11-02: add by m2/dev
Anecdotal evidence 3H450F5TRR
| URI | m2://inv/3H450F5TRR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anecdotal evidence, Anecdotal evidence (definition). Also Wikidata Q143636
History
- 2026-11-02: add by m2/dev
Rafael Bombelli 3H45KJMF0B
| URI | m2://inv/3H45KJMF0B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rafael Bombelli, Rafael Bombelli (topic). Also Wikidata Q358547
History
- 2026-11-02: add by m2/dev
Bimagic square 3H47HSFJYH
| URI | m2://inv/3H47HSFJYH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multimagic square#3ZXH, Bimagic square (unknown)
History
- 2026-11-02: add by m2/dev
Growth curve 3H47VBWQ8R
| URI | m2://inv/3H47VBWQ8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Growth curve (statistics), Growth curve (definition). Also Wikidata Q25345887
History
- 2026-11-02: add by m2/dev
Constructions 3H4TF15HGC
| URI | m2://inv/3H4TF15HGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 120-cell#F0IR, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Semantic --- \textsc{Ze-I 3H52G320JG
| URI | m2://inv/3H52G320JG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#ELLU, Semantic --- \textsc{Ze-I (statement). In CPYWHRTPKC/e1, lemma 7.40
History
- 2026-10-27: add by m2/v0.4.2
Example 3H539QXNAF
| URI | m2://inv/3H539QXNAF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach fixed-point theorem#UE94, Example (example)
History
- 2026-11-02: add by m2/dev
Kadec's -theorem 3H55J4MHGP
| URI | m2://inv/3H55J4MHGP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frame (linear algebra)#7ZZX, Kadec's -theorem (statement)
History
- 2026-11-02: add by m2/dev
Tangential Laplace asymptotics 3H5E9B7F4F
| URI | m2://inv/3H5E9B7F4F |
|---|---|
| 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.21328#G3M9, Tangential Laplace asymptotics (statement). In BJXVV4ZF7B/e1, lemma 9.1
History
- 2026-10-27: add by m2/v0.4.2
Generalizations 3H5KY8XCW7
| URI | m2://inv/3H5KY8XCW7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular mean#1GWF, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
3H5R8MYBFX 3H5R8MYBFX
| URI | m2://inv/3H5R8MYBFX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#lem:BisimEqualsId (statement). In N54F33XE07, lem, section C.5
History
- 2026-11-01: add by m2/v0.6.13
3H5TE24HM5 3H5TE24HM5
| URI | m2://inv/3H5TE24HM5 |
|---|---|
| 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 2303.10636#DGJF (statement). In 9SV2RAEPXM/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.6
dual graph 3H618NPXDK
| URI | m2://inv/3H618NPXDK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Dual graph 1QHTD1DS5J |
Mentions
- wikidata: Wikidata Q2294516, dual graph (concept). Also MathWorld DualGraph
- wikipedia: Wikipedia Dual graph, Dual graph (definition). Also Wikidata Q2294516
History
- 2026-10-26: add by m2/dev
School Mathematics Study Group 3H62DSG5SF
| URI | m2://inv/3H62DSG5SF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia School Mathematics Study Group, School Mathematics Study Group (definition). Also Wikidata Q7432287
History
- 2026-11-02: add by m2/dev
3H6EXX8MCV 3H6EXX8MCV
| URI | m2://inv/3H6EXX8MCV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/provability-propositional.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 15.4
History
- 2026-11-01: add by m2/v0.6.13
Yakov Smirnoff 3H6KGH35M4
| URI | m2://inv/3H6KGH35M4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#LIV8, Yakov Smirnoff (unknown)
History
- 2026-11-02: add by m2/dev
Dual EC DRBG 3H6Q9QSB8F
| URI | m2://inv/3H6Q9QSB8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual EC DRBG, Dual EC DRBG (definition). Also Wikidata Q309607
History
- 2026-11-02: add by m2/dev
Xu and Ji 3H778KNFGP
| URI | m2://inv/3H778KNFGP |
|---|---|
| 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.21274#ZSPP, Xu and Ji (statement)
History
- 2026-11-02: add by m2/v0.6.18
3H7GEQM3DJ 3H7GEQM3DJ
| URI | m2://inv/3H7GEQM3DJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#KE2O (statement). In DZ12XTTJSM/e1, lemma 1.8
History
- 2026-10-28: add by m2/v0.4.2
Neža Mramor Kosta 3H7K5N14SG
| URI | m2://inv/3H7K5N14SG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neža Mramor Kosta, Neža Mramor Kosta (topic). Also Wikidata Q48074993
History
- 2026-11-02: add by m2/dev
Sketch of proof 3H7PRZH3N4
| URI | m2://inv/3H7PRZH3N4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#proof-12, Sketch of proof (proof). In E59CDZA4DP, proof, section 8.2.4
History
- 2026-11-01: add by m2/v0.6.13
Learning with errors 3H7Q7VV2CA
| URI | m2://inv/3H7Q7VV2CA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Learning with errors, Learning with errors (definition). Also Wikidata Q6510239
History
- 2026-11-02: add by m2/dev
bimorphism 3H7RY321JS
| URI | m2://inv/3H7RY321JS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#N480, bimorphism (definition)
History
- 2026-11-02: add by m2/dev
3H80P57GAN 3H80P57GAN
| URI | m2://inv/3H80P57GAN |
|---|---|
| Kind | conjecture |
| 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#OIYK (conjecture). In KQ8JPHDKKE/e1, conjecture 9.7.22
History
- 2026-10-27: add by m2/v0.3.5
3H8AEBJJGG 3H8AEBJJGG
| URI | m2://inv/3H8AEBJJGG |
|---|---|
| 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.02141#4RDE (statement). In 5AB8YPS19N/e1, corollary 5.2
History
- 2026-10-29: add by m2/v0.4.12
3H8BEK2487 3H8BEK2487
| URI | m2://inv/3H8BEK2487 |
|---|---|
| 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 2501.17009#N4Y7 (statement). In PESAKD6SSW/e1, theorem 5.8
History
- 2026-10-27: add by m2/v0.3.6
Survival asymptotic 3H8C71BJ2J
| URI | m2://inv/3H8C71BJ2J |
|---|---|
| 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.27335#ZFK0, Survival asymptotic (statement)
History
- 2026-11-01: add by m2/v0.6.15
3H8CXV40N4 3H8CXV40N4
| URI | m2://inv/3H8CXV40N4 |
|---|---|
| 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.26180#7P5T (definition)
History
- 2026-11-01: add by m2/v0.6.15
Gail F. Burrill 3H8QR3P7KK
| URI | m2://inv/3H8QR3P7KK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gail F. Burrill, Gail F. Burrill (topic). Also Wikidata Q41798387
History
- 2026-11-02: add by m2/dev
Ludwig Mehlhorn 3H8S05S7VA
| URI | m2://inv/3H8S05S7VA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludwig Mehlhorn, Ludwig Mehlhorn (topic). Also Wikidata Q92284
History
- 2026-11-02: add by m2/dev
3H8TH4X51P 3H8TH4X51P
| URI | m2://inv/3H8TH4X51P |
|---|---|
| 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.20190#7XD2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Example 3H91ADW36D
| URI | m2://inv/3H91ADW36D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial distribution#20SS, Example (example)
History
- 2026-11-02: add by m2/dev
Null energy condition 3H9203BKVJ
| URI | m2://inv/3H9203BKVJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Energy condition#HRIC, Null energy condition (unknown)
History
- 2026-11-02: add by m2/dev
range condition for convex piecewise linear regularization 3H92FKB5VJ
| URI | m2://inv/3H92FKB5VJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.03461#TS9M, range condition for convex piecewise linear regularization (statement). In XJVZSGCX5V/e1, proposition 9
History
- 2026-10-27: add by m2/v0.3.5
3H92YWE896 3H92YWE896
| URI | m2://inv/3H92YWE896 |
|---|---|
| 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.24701#ZTGL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hilbert–Kunz function 3H96HAYTZE
| URI | m2://inv/3H96HAYTZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert–Kunz function, Hilbert–Kunz function (definition). Also Wikidata Q17508729
History
- 2026-11-02: add by m2/dev
Theorem 3H9A2TRSY8
| URI | m2://inv/3H9A2TRSY8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford theory#C6L4, Theorem (statement)
History
- 2026-11-02: add by m2/dev
3H9J2R3011 3H9J2R3011
| URI | m2://inv/3H9J2R3011 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-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 2511.06555#DPGV (example). In 5GDDS20Q3D/e1, example 2.2
History
- 2026-10-27: add by m2/v0.4.0
(exponential) periods 3H9RR30043
| URI | m2://inv/3H9RR30043 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#HYZE, (exponential) periods (definition)
History
- 2026-11-02: add by m2/dev
Pointwise 3H9V5ZN5G2
| URI | m2://inv/3H9V5ZN5G2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pointwise, Pointwise (definition). Also Wikidata Q122391649
History
- 2026-11-02: add by m2/dev
Poincaré group 3H9XJ88C1F
| URI | m2://inv/3H9XJ88C1F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré#AP2M, Poincaré group (definition)
History
- 2026-11-02: add by m2/dev
Highest-term ratio 3HA1QSCGMV
| URI | m2://inv/3HA1QSCGMV |
|---|---|
| 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.04189#18DG, Highest-term ratio (statement). In 1KRZ5ACTKE/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
Self-stress 3HA2B2HNH0
| URI | m2://inv/3HA2B2HNH0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17004#62U2, Self-stress (definition). In XNJGNMS6H0/e1, definition 5.5
History
- 2026-10-28: add by m2/v0.4.2
3HA5NRD8N0 3HA5NRD8N0
| URI | m2://inv/3HA5NRD8N0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-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.22161#T9UF (statement). In FVM35KPN8C/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.4.0
correspondence 3HA7DQ7GW6
| URI | m2://inv/3HA7DQ7GW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#E362, correspondence (definition)
History
- 2026-11-02: add by m2/dev
3HAC9P8GBB 3HAC9P8GBB
| URI | m2://inv/3HAC9P8GBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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.23527#VVUQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
3HAD6XGM0A 3HAD6XGM0A
| URI | m2://inv/3HAD6XGM0A |
|---|---|
| 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.00775#5G6R (statement). In WVHA7H05QC/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Examples 3HAK2HHY0C
| URI | m2://inv/3HAK2HHY0C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coefficient of variation#CHHH, Examples (example)
History
- 2026-11-02: add by m2/dev
3HAKP6FKHV 3HAKP6FKHV
| URI | m2://inv/3HAKP6FKHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.05451#3NIX (statement). In 5YMFYAFFJ7/e1, theorem H
History
- 2026-10-27: add by m2/v0.3.5
Richard Earl Block 3HAPJ8TSWB
| URI | m2://inv/3HAPJ8TSWB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Earl Block, Richard Earl Block (topic). Also Wikidata Q7325416
History
- 2026-11-02: add by m2/dev
3HAR9C454A 3HAR9C454A
| URI | m2://inv/3HAR9C454A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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.25289#FH5S (definition)
History
- 2026-11-01: add by m2/v0.6.15
Kleinian integer 3HB0SZ2N32
| URI | m2://inv/3HB0SZ2N32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#JD3F, Kleinian integer (definition)
History
- 2026-11-02: add by m2/dev
Generalizations 3HBE4KXMW2
| URI | m2://inv/3HBE4KXMW2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehrhart polynomial#4DUE, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
isohedral figure 3HBERCRAJ8
| URI | m2://inv/3HBERCRAJ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3847067, isohedral figure (unknown). Also MathWorld IsohedralTiling
- wikipedia: Wikipedia Isohedral figure, Isohedral figure (definition). Also Wikidata Q3847067
History
- 2026-10-26: add by m2/dev
Static induction for the hybrid candidate 3HBY7M3C5Q
| URI | m2://inv/3HBY7M3C5Q |
|---|---|
| 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.24931#RV57, Static induction for the hybrid candidate (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cubic field 3HC1N3QRS8
| URI | m2://inv/3HC1N3QRS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic field, Cubic field (definition). Also Wikidata Q5192244
History
- 2026-11-02: add by m2/dev
Edwin Hewitt 3HC2ES2FWE
| URI | m2://inv/3HC2ES2FWE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edwin Hewitt, Edwin Hewitt (topic). Also Wikidata Q451213
History
- 2026-11-02: add by m2/dev
paraboloid 3HC6K43CEJ
| URI | m2://inv/3HC6K43CEJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#X49Z, paraboloid (definition)
History
- 2026-11-02: add by m2/dev
3HCA1J1NFY 3HCA1J1NFY
| URI | m2://inv/3HCA1J1NFY |
|---|---|
| Kind | problem |
| 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.29918#0OD9 (problem)
History
- 2026-11-01: add by m2/v0.6.15
Victor Vasilievich Grushin 3HCPGXNG3W
| URI | m2://inv/3HCPGXNG3W |
|---|---|
| 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#BNTL, Victor Vasilievich Grushin (unknown)
History
- 2026-11-02: add by m2/dev
Subsemigroup 3HCQYAEM3X
| URI | m2://inv/3HCQYAEM3X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semigroup#X9XT, Subsemigroup (unknown)
History
- 2026-11-02: add by m2/dev
3HCSN876JC 3HCSN876JC
| URI | m2://inv/3HCSN876JC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.05423#FZCO (statement). In 3ABGS3F1JG/e1, corollary 5.6
History
- 2026-10-29: add by m2/v0.4.10
More challenging 3HD6S95Y6S
| URI | m2://inv/3HD6S95Y6S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-53, More challenging (exercise). In E59CDZA4DP, exercise, section 8.5.2
History
- 2026-11-01: add by m2/v0.6.13
Riemann integral 3HDA2RR864
| URI | m2://inv/3HDA2RR864 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#ULNF, Riemann integral (definition)
History
- 2026-11-02: add by m2/dev
Self-affinity 3HDCVCTQ2G
| URI | m2://inv/3HDCVCTQ2G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-similarity#KBYJ, Self-affinity (unknown)
History
- 2026-11-02: add by m2/dev
Explicit sweep clock 3HDDZTQ6XS
| URI | m2://inv/3HDDZTQ6XS |
|---|---|
| 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.18884#FJCC, Explicit sweep clock (statement). In 8WM10QMA9E/e1, corollary F.3
History
- 2026-10-28: add by m2/v0.4.2
Properties 3HDGQ4VF7R
| URI | m2://inv/3HDGQ4VF7R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Folium of Descartes#2RND, Properties (statement)
History
- 2026-11-02: add by m2/dev
3HDNRSJCHW 3HDNRSJCHW
| URI | m2://inv/3HDNRSJCHW |
|---|---|
| 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.26500#IGDD (statement)
History
- 2026-11-01: add by m2/v0.6.15
3HDPT585XF 3HDPT585XF
| URI | m2://inv/3HDPT585XF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 19-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 2505.05539#H539 (definition). In 8SVVEVGMNE/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
3HDQH4MNS0 3HDQH4MNS0
| URI | m2://inv/3HDQH4MNS0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 37-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.31883#9PFR (statement). In XBHQRTBH62/e1, lemma 2.11
History
- 2026-10-31: add by m2/v0.5.6
Definition 3HDXYY210J
| URI | m2://inv/3HDXYY210J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean relation#OUD0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sophia Rabe-Hesketh 3HE24MV476
| URI | m2://inv/3HE24MV476 |
|---|---|
| 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#HXS7, Sophia Rabe-Hesketh (topic)
History
- 2026-11-02: add by m2/dev
Bregman divergence and local norms 3HEA72V9TY
| URI | m2://inv/3HEA72V9TY |
|---|---|
| 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.38741#7TIM, Bregman divergence and local norms (statement). In 1SQH3PTYMD/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
3HEDZF1HY2 3HEDZF1HY2
| URI | m2://inv/3HEDZF1HY2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
Taylor's theorem 3HEVBMCTB0
| URI | m2://inv/3HEVBMCTB0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#BQL4, Taylor's theorem (statement)
History
- 2026-11-02: add by m2/dev
heptadecagon 3HEWP3S137
| URI | m2://inv/3HEWP3S137 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q542476, heptadecagon (unknown). Also MathWorld Heptadecagon
- wikipedia: Wikipedia Heptadecagon, Heptadecagon (definition). Also Wikidata Q542476
History
- 2026-10-26: add by m2/dev
Definition 3HEXQ0WMP7
| URI | m2://inv/3HEXQ0WMP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radical of an ideal#BWTF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Daniel A. Griffith 3HF048J3KC
| URI | m2://inv/3HF048J3KC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel A. Griffith, Daniel A. Griffith (topic). Also Wikidata Q42759520
History
- 2026-11-02: add by m2/dev
Hyperbolic orthogonality 3HF7Z36ERQ
| URI | m2://inv/3HF7Z36ERQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#7ZC8, Hyperbolic orthogonality (definition)
History
- 2026-11-02: add by m2/dev
Peter O'Hearn 3HFHA096HB
| URI | m2://inv/3HFHA096HB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9770, Peter O'Hearn (unknown)
History
- 2026-11-02: add by m2/dev
Deterministic realization of the joint signing law 3HFJYWB69J
| URI | m2://inv/3HFJYWB69J |
|---|---|
| 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#JWKW, Deterministic realization of the joint signing law (statement). In 9YAE8FNQST/e1, corollary 10.5
History
- 2026-10-30: add by m2/v0.4.12
Decentralized graph coloring 3HFSH6JXZ8
| URI | m2://inv/3HFSH6JXZ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph coloring#KNRW, Decentralized graph coloring (unknown)
History
- 2026-11-02: add by m2/dev
Thom conjecture 3HFYKPAGZD
| URI | m2://inv/3HFYKPAGZD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thom conjecture, Thom conjecture (statement). Also Wikidata Q2421730
History
- 2026-11-02: add by m2/dev
3HG02QQZ5N 3HG02QQZ5N
| URI | m2://inv/3HG02QQZ5N |
|---|---|
| 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.18270#2Q1O (statement). In CPDMYJ0NJV/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Applications 3HG0RQSAH0
| URI | m2://inv/3HG0RQSAH0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bartlett's theorem#842S, Applications (example)
History
- 2026-11-02: add by m2/dev
Rodion Kuzmin 3HG1Z5X3CD
| URI | m2://inv/3HG1Z5X3CD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MDHE, Rodion Kuzmin (topic)
History
- 2026-11-02: add by m2/dev
Jana Asher 3HGEK609JZ
| URI | m2://inv/3HGEK609JZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jana Asher, Jana Asher (topic). Also Wikidata Q59884141
History
- 2026-11-02: add by m2/dev
3HGM0SQA4T 3HGM0SQA4T
| URI | m2://inv/3HGM0SQA4T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21533#GY4Q (statement). In N3Z6JFEPCF/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.2
pi 3HGMBPDGD4
| URI | m2://inv/3HGMBPDGD4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | pi 0C1VYVNV2N |
Mentions
- wikidata: Wikidata Q167, pi (object). Also EoM Pi(number), Mathlib Real.pi, MathWorld Pi, nLab pi, OEIS A000796, ProofWiki Definition:Pi
- wikipedia: Wikipedia Pi, Pi (definition). Also Wikidata Q167
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
row operations 3HGMZADSJK
| URI | m2://inv/3HGMZADSJK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/2.3.2/row-operations, row operations (concept). In E9HS8K3A52, index, section 2.3.2
History
- 2026-11-01: add by m2/v0.6.13
3HGN8447AW 3HGN8447AW
| URI | m2://inv/3HGN8447AW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#RTPB (definition). In ESDKTYDHC8/e1, definition 9
History
- 2026-10-29: add by m2/v0.4.12
Dowling geometry 3HGSZ6HN74
| URI | m2://inv/3HGSZ6HN74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dowling geometry, Dowling geometry (definition). Also Wikidata Q5302749
History
- 2026-11-02: add by m2/dev
3HGTXZEPNQ 3HGTXZEPNQ
| URI | m2://inv/3HGTXZEPNQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#J3H5 (statement). In CC6S1HVK0T/e1, lemma 5.22
History
- 2026-10-28: add by m2/v0.4.2
Grand 120-cell 3HGTYESAMX
| URI | m2://inv/3HGTYESAMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grand 120-cell, Grand 120-cell (definition). Also Wikidata Q5594220
History
- 2026-11-02: add by m2/dev
general Leibniz rule 3HGW4QVC8T
| URI | m2://inv/3HGW4QVC8T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | General Leibniz rule 0K9QCK6WJC |
Mentions
- wikidata: Wikidata Q2586745, general Leibniz rule (unknown). Also MathWorld LeibnizIdentity
- wikipedia: Wikipedia General Leibniz rule, General Leibniz rule (definition). Also Wikidata Q2586745
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
3HGW9XG7R4 3HGW9XG7R4
| URI | m2://inv/3HGW9XG7R4 |
|---|---|
| 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.19959#ZX6M (statement)
History
- 2026-11-02: add by m2/v0.6.18
Rank factorization 3HH89S6XDG
| URI | m2://inv/3HH89S6XDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank factorization, Rank factorization (definition). Also Wikidata Q7293212
History
- 2026-11-02: add by m2/dev
quantifier 3HHAXKT0R8
| URI | m2://inv/3HHAXKT0R8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#ZZK2, quantifier (definition)
History
- 2026-11-02: add by m2/dev
Giovanni Gherardi 3HHCSM2RGP
| URI | m2://inv/3HHCSM2RGP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Gherardi, Giovanni Gherardi (topic). Also Wikidata Q3768485
History
- 2026-11-02: add by m2/dev
Scattered 3HHDN815AB
| URI | m2://inv/3HHDN815AB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#C02W, Scattered (definition)
History
- 2026-11-02: add by m2/dev
3HHEZG3J81 3HHEZG3J81
| URI | m2://inv/3HHEZG3J81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-1.xml#definition-1 (definition). In 649HGZKE96, definition, section 6.1.2
History
- 2026-11-01: add by m2/v0.6.13
3HHS23Z38M 3HHS23Z38M
| URI | m2://inv/3HHS23Z38M |
|---|---|
| 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 0810.0962#BVJH (statement). In 80YMRN5KS9/e1, theorem 8
History
- 2026-10-27: add by m2/v0.3.5
3HHTWZ53XC 3HHTWZ53XC
| URI | m2://inv/3HHTWZ53XC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24845#WI0Y (example)
History
- 2026-11-01: add by m2/v0.6.15
Properties 3HHTZPYR3W
| URI | m2://inv/3HHTZPYR3W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological K-theory#Q5T2, Properties (statement)
History
- 2026-11-02: add by m2/dev
3HHZ0HA1AD 3HHZ0HA1AD
| URI | m2://inv/3HHZ0HA1AD |
|---|---|
| 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.05784#K6GK (definition). In 6NVP3YRWVA/e1, definition 5.2
History
- 2026-10-29: add by m2/v0.4.10
Givens rotation 3HJ639DTC3
| URI | m2://inv/3HJ639DTC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Givens rotation, Givens rotation (definition). Also Wikidata Q1367799
History
- 2026-11-02: add by m2/dev
Monotonicity of entailment 3HJBEA880V
| URI | m2://inv/3HJBEA880V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotonicity of entailment, Monotonicity of entailment (definition). Also Wikidata Q1945137
History
- 2026-11-02: add by m2/dev
3HJG5XY0DP 3HJG5XY0DP
| URI | m2://inv/3HJG5XY0DP |
|---|---|
| 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 2609.31269#B94N (statement). In ZPT9XCCAPQ/e1, proposition 2.1.3
History
- 2026-10-31: add by m2/v0.5.6
3HJMYTBR35 3HJMYTBR35
| URI | m2://inv/3HJMYTBR35 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#YXNH (example)
History
- 2026-11-02: add by m2/v0.6.17
Aligned toggle 3HJNE4NW6W
| URI | m2://inv/3HJNE4NW6W |
|---|---|
| Kind | definition |
| 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.30637#3UEP, Aligned toggle (definition). In 6G1KBA0SXV/e1, definition 4.6
History
- 2026-10-31: add by m2/v0.5.6
Statement 3HJSN9X2V3
| URI | m2://inv/3HJSN9X2V3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zariski's connectedness theorem#J8TA, Statement (statement)
History
- 2026-11-02: add by m2/dev
List of finite simple groups 3HJT51P00J
| URI | m2://inv/3HJT51P00J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#9FJQ, List of finite simple groups (topic)
- wikipedia: Wikipedia List of mathematical examples#TANB, List of finite simple groups (topic)
- wikipedia: Wikipedia List of mathematical examples#ZD2R, List of finite simple groups (topic)
- wikipedia: Wikipedia Lists of mathematics topics#C32W, List of finite simple groups (topic)
History
- 2026-11-02: add by m2/dev
3HJWXE489X 3HJWXE489X
| URI | m2://inv/3HJWXE489X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:prod-cat (definition). In N54F33XE07, defn, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
addition 3HK43QVZEF
| URI | m2://inv/3HK43QVZEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q32043, addition (unknown). Also EoM Addition, MathWorld Addition
- wikipedia: Wikipedia Addition, Addition (definition). Also Wikidata Q32043
History
- 2026-10-26: add by m2/dev
Intersection theory 3HKBSB5V92
| URI | m2://inv/3HKBSB5V92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#3HX7, Intersection theory (definition)
History
- 2026-11-02: add by m2/dev
Formulation 3HKHXSNQ8B
| URI | m2://inv/3HKHXSNQ8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geopotential spherical harmonic model#S83R, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Generalizations 3HKMTD5QRT
| URI | m2://inv/3HKMTD5QRT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval (mathematics)#G1IM, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
metabiaugmented truncated dodecahedron 3HKQ3333W0
| URI | m2://inv/3HKQ3333W0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q669613, metabiaugmented truncated dodecahedron (object). Also MathWorld MetabiaugmentedTruncatedDodecahedron
- wikipedia: Wikipedia Metabiaugmented truncated dodecahedron, Metabiaugmented truncated dodecahedron (definition). Also Wikidata Q669613
History
- 2026-10-26: add by m2/dev
3HM7TQ32F7 3HM7TQ32F7
| URI | m2://inv/3HM7TQ32F7 |
|---|---|
| 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.31604#RH6H (statement). In GSN5YTQS2K/e1, lemma 3.20
History
- 2026-10-31: add by m2/v0.5.6
Eugenio Calabi 3HMAQFPCY2
| URI | m2://inv/3HMAQFPCY2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#T1SO, Eugenio Calabi (topic)
History
- 2026-11-02: add by m2/dev
Supersonic speed 3HMB0W62M2
| URI | m2://inv/3HMB0W62M2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supersonic speed, Supersonic speed (definition). Also Wikidata Q221337
History
- 2026-11-02: add by m2/dev
3HMGF22NB1 3HMGF22NB1
| URI | m2://inv/3HMGF22NB1 |
|---|---|
| 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.00789#SCNY (statement). In 4WPYBTARS2/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
encode-decode method 3HMQ5WB9CC
| URI | m2://inv/3HMQ5WB9CC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.2/encode-decode-method, encode-decode method (concept). In N54F33XE07, index, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
3HMV9NMM4S 3HMV9NMM4S
| URI | m2://inv/3HMV9NMM4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 1904.08413#8A4Q (statement). In X88HPQ0W8C/e1, proposition 2.39
History
- 2026-10-27: add by m2/v0.3.5
Definition 3HMWJQBQJP
| URI | m2://inv/3HMWJQBQJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reduced derivative#NQ9U, Definition (definition)
History
- 2026-11-02: add by m2/dev
Representation-moment identity 3HMXCQ0CQS
| URI | m2://inv/3HMXCQ0CQS |
|---|---|
| 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.23922#8ZHT, Representation-moment identity (statement)
History
- 2026-11-02: add by m2/v0.6.17
inverse 3HMXQSSQAX
| URI | m2://inv/3HMXQSSQAX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/15.1/inverse, inverse (concept). In QKM9DD2H56, index, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
Jörg-Rüdiger Sack 3HN04MB66T
| URI | m2://inv/3HN04MB66T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DWZW, Jörg-Rüdiger Sack (unknown)
History
- 2026-11-02: add by m2/dev
Properties 3HN3NS3X76
| URI | m2://inv/3HN3NS3X76 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wieferich prime#AU8G, Properties (statement)
History
- 2026-11-02: add by m2/dev
Shanti S. Gupta 3HNF3C5D30
| URI | m2://inv/3HNF3C5D30 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#M98G, Shanti S. Gupta (topic)
History
- 2026-11-02: add by m2/dev
3HNH07SYNA 3HNH07SYNA
| URI | m2://inv/3HNH07SYNA |
|---|---|
| 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.14308#0A9T (definition). In F67Y6BZVV8/e1, definition 4
History
- 2026-10-28: add by m2/v0.4.2
3HNH86MBTE 3HNH86MBTE
| URI | m2://inv/3HNH86MBTE |
|---|---|
| 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.32505#9CTK (statement). In N8MYP1Z659/e1, lemma H.2
History
- 2026-10-31: add by m2/v0.5.6
Archimedean group 3HNJF13GEV
| URI | m2://inv/3HNJF13GEV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes#BDIQ, Archimedean group (definition)
History
- 2026-11-02: add by m2/dev
Pyritohedral 3HNR8QTDY0
| URI | m2://inv/3HNR8QTDY0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrahedral symmetry#36E2, Pyritohedral (unknown)
History
- 2026-11-02: add by m2/dev
Examples 3HNY6Z7ZG7
| URI | m2://inv/3HNY6Z7ZG7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inellipse#S9V1, Examples (example)
History
- 2026-11-02: add by m2/dev
3HNYE972PY 3HNYE972PY
| URI | m2://inv/3HNYE972PY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06895#KW1F (definition). In PBB3PSDP0S/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
3HNYEDF74A 3HNYEDF74A
| URI | m2://inv/3HNYEDF74A |
|---|---|
| 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.12683#KBM5 (statement). In N5ZFFWV3RX/e1, corollary 4.7
History
- 2026-10-28: add by m2/v0.4.2
3HNZAST2NG 3HNZAST2NG
| URI | m2://inv/3HNZAST2NG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-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 2505.04593#UUL6 (definition). In PEXJPV3NP8/e1, definition 2.24
History
- 2026-10-27: add by m2/v0.3.5
3HP1NB6G5Z 3HP1NB6G5Z
| URI | m2://inv/3HP1NB6G5Z |
|---|---|
| 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.21298#1I14 (statement). In AXWM2MBYXV/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.4.2
Dirichlet divisor problem 3HP3QNSJN5
| URI | m2://inv/3HP3QNSJN5 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#9TRK, Dirichlet divisor problem (conjecture)
History
- 2026-11-02: add by m2/dev
Method of characteristics 3HP59S4VH6
| URI | m2://inv/3HP59S4VH6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#ED78, Method of characteristics (definition)
History
- 2026-11-02: add by m2/dev
3HP5TG5HYT 3HP5TG5HYT
| URI | m2://inv/3HP5TG5HYT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35538#E4Q6 (example). In 87TWXCBZ4M/e1, example 1
History
- 2026-10-30: add by m2/v0.4.12
David Olive 3HP9RPJKVX
| URI | m2://inv/3HP9RPJKVX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#X6OZ, David Olive (unknown)
History
- 2026-11-02: add by m2/dev
3HPA33HPHD 3HPA33HPHD
| URI | m2://inv/3HPA33HPHD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-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.26269#YJCA (statement)
History
- 2026-11-01: add by m2/v0.6.15
3HPCQMYD5S 3HPCQMYD5S
| URI | m2://inv/3HPCQMYD5S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 35-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.11048#DZDU (definition). In H6TK4V0YVQ/e1, definition 1.3
History
- 2026-10-28: add by m2/v0.4.3
quantum state 3HPJ9W57H8
| URI | m2://inv/3HPJ9W57H8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q230883, quantum state (unknown). Also nLab quantum state
- wikipedia: Wikipedia Quantum state, Quantum state (definition). Also Wikidata Q230883
History
- 2026-10-26: add by m2/dev
Proposition 3HPN025XB8
| URI | m2://inv/3HPN025XB8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn–Banach theorem#T07H, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Directional Pitt's inequality for $p=q=2$ 3HPRJ9D34H
| URI | m2://inv/3HPRJ9D34H |
|---|---|
| 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 2609.34946#OM23, Directional Pitt's inequality for $p=q=2$ (statement). In Y27BAB2BB4/e1, proposition 1.5
History
- 2026-10-30: add by m2/v0.4.12
3HQ2QV5NCQ 3HQ2QV5NCQ
| URI | m2://inv/3HQ2QV5NCQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#example-20 (example). In E59CDZA4DP, example, section 4.4.2
History
- 2026-11-01: add by m2/v0.6.13
Statement of the theorem 3HQ46CB71Z
| URI | m2://inv/3HQ46CB71Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cameron–Martin theorem#VKJR, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
locally linear 3HQ9FG90XP
| URI | m2://inv/3HQ9FG90XP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.7.4/locally-linear, locally linear (concept). In 907G4C4EJ1, index, section 1.7.4
History
- 2026-11-01: add by m2/v0.6.13
3HQHHQPPH9 3HQHHQPPH9
| URI | m2://inv/3HQHHQPPH9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 18-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30262#F7AW (example). In FWA5QW6FCF/e1, example 7.5
History
- 2026-10-31: add by m2/v0.5.6
Permutable prime 3HQSM4R02Z
| URI | m2://inv/3HQSM4R02Z |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#WM18, Permutable prime (object)
- wikipedia: Wikipedia List of permutation topics#M1O4, Permutable prime (object)
History
- 2026-11-02: add by m2/dev
Weight of a representation 3HQXD9D85E
| URI | m2://inv/3HQXD9D85E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weight (representation theory)#O5TQ, Weight of a representation (definition)
History
- 2026-11-02: add by m2/dev
Symmetry 3HQZTKGZXR
| URI | m2://inv/3HQZTKGZXR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free abelian group#A6XM, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
3HR1JK99NS 3HR1JK99NS
| URI | m2://inv/3HR1JK99NS |
|---|---|
| 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.36334#14VT (statement). In YVB70SBGN1/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
3HR72X3V1D 3HR72X3V1D
| URI | m2://inv/3HR72X3V1D |
|---|---|
| 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.05396#9ID9 (statement). In WMVRX5GV9P/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Example 3HR98RZT54
| URI | m2://inv/3HR98RZT54 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Visual Turing Test#QY6W, Example (example)
History
- 2026-11-02: add by m2/dev
3HRGEVMH1N 3HRGEVMH1N
| URI | m2://inv/3HRGEVMH1N |
|---|---|
| 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 2512.21427#MLNQ (statement). In G9XD78ZCAS/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
3HRGQRAB5R 3HRGQRAB5R
| URI | m2://inv/3HRGQRAB5R |
|---|---|
| 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 2609.40207#BZLV (definition). In JXTG8KP95P/e1, definition 5.18
History
- 2026-10-30: add by m2/v0.4.12
Explicit three-level formula 3HRJKBAF3B
| URI | m2://inv/3HRJKBAF3B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00396#VFOT, Explicit three-level formula (statement). In V13TE1RWT9/e1, proposition A.3
History
- 2026-10-30: add by m2/v0.4.12
Wedge connectivity lemma 3HRM7CZJHP
| URI | m2://inv/3HRM7CZJHP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm:wedge-connectivity, Wedge connectivity lemma (statement). In N54F33XE07, lem, section 7.6
History
- 2026-11-01: add by m2/v0.6.13
Realization of small imbalance directions 3HRMSVKRB1
| URI | m2://inv/3HRMSVKRB1 |
|---|---|
| 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.19837#DTTX, Realization of small imbalance directions (statement). In 837NSWQM1P/e1, lemma 9.2
History
- 2026-10-28: add by m2/v0.4.2
Design of experiments 3HRS8XYPPJ
| URI | m2://inv/3HRS8XYPPJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Design of experiments, Design of experiments (definition). Also Wikidata Q2334061
History
- 2026-11-02: add by m2/dev
3HRXCZX5JZ 3HRXCZX5JZ
| URI | m2://inv/3HRXCZX5JZ |
|---|---|
| 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.01498#2GV5 (statement). In 75GDSC8460/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.12
3HSKK7CGDK 3HSKK7CGDK
| URI | m2://inv/3HSKK7CGDK |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1809.07362#FX8X (proof). In GJ61KHH4AD/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
3HSNV0CKB9 3HSNV0CKB9
| URI | m2://inv/3HSNV0CKB9 |
|---|---|
| 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.01572#44VE (statement). In 7BJK23Q7GH/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Bartlett's test 3HSPVN41WJ
| URI | m2://inv/3HSPVN41WJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bartlett's test, Bartlett's test (definition). Also Wikidata Q809441
History
- 2026-11-02: add by m2/dev
Pu's inequality 3HSTGS6A8W
| URI | m2://inv/3HSTGS6A8W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pu's inequality, Pu's inequality (statement). Also Wikidata Q7257195
History
- 2026-11-02: add by m2/dev
Apollonius of Perga 3HSV8HZWE3
| URI | m2://inv/3HSV8HZWE3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q180109, Apollonius of Perga (unknown). Also ProofWiki Mathematician:Apollonius_of_Perga
- wikipedia: Wikipedia Apollonius of Perga, Apollonius of Perga (topic). Also Wikidata Q180109
History
- 2026-10-26: add by m2/dev
Height-preserving admissibility of weakening and contraction 3HSZ7NP213
| URI | m2://inv/3HSZ7NP213 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08293#62BF, Height-preserving admissibility of weakening and contraction (statement). In 90A5DJG27R/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
3HT252ERR1 3HT252ERR1
| URI | m2://inv/3HT252ERR1 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#3NW2 (proof). In S1F2QW24YW/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Mahler's inequality 3HT26JEJ14
| URI | m2://inv/3HT26JEJ14 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#DOXC, Mahler's inequality (statement)
History
- 2026-11-02: add by m2/dev
Miscellanea Logica 3HT5S6KPC1
| URI | m2://inv/3HT5S6KPC1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#ZDAU, Miscellanea Logica (definition)
History
- 2026-11-02: add by m2/dev
achieves absolute maximum 3HT75C1390
| URI | m2://inv/3HT75C1390 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/2.3.1/achieves-absolute-maximum, achieves absolute maximum (concept). In E59CDZA4DP, index, section 2.3.1
History
- 2026-11-01: add by m2/v0.6.13
!□! 3HTBC88Z98
| URI | m2://inv/3HTBC88Z98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#6RMH, !□! (definition)
History
- 2026-11-02: add by m2/dev
3HTJ0SY55X 3HTJ0SY55X
| URI | m2://inv/3HTJ0SY55X |
|---|---|
| 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 2405.10580#UDMC (statement). In FXEJE0PWEP/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.3.5
Terminology 3HTRR01K3G
| URI | m2://inv/3HTRR01K3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics of sudoku#V0AH, Terminology (definition)
History
- 2026-11-02: add by m2/dev
A semi-infinite obstruction from inverse entries 3HTW74ZK3E
| URI | m2://inv/3HTW74ZK3E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-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 2610.08568#3DIR, A semi-infinite obstruction from inverse entries (statement). In FDDA562VCA/e1, corollary 2.19
History
- 2026-10-29: add by m2/v0.4.10
evidence, of the truth of a proposition 3HTWJGS3J8
| URI | m2://inv/3HTWJGS3J8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/evidence-of-the-truth-of-a-proposition, evidence, of the truth of a proposition (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
3HV1SAH86X 3HV1SAH86X
| URI | m2://inv/3HV1SAH86X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.00617#2GVI (definition). In K7505G10SS/e1, definition 4.4
History
- 2026-10-27: add by m2/v0.3.5
Generalizations 3HV2EBMA86
| URI | m2://inv/3HV2EBMA86 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relation (mathematics)#7HGY, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
About level-convexity and non-degeneracy 3HV2Z341XA
| URI | m2://inv/3HV2Z341XA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27918#B0ST, About level-convexity and non-degeneracy (example)
History
- 2026-11-01: add by m2/v0.6.15
3HV3X915JZ 3HV3X915JZ
| URI | m2://inv/3HV3X915JZ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#NDWD (problem). In TC5QA4AB4Z/e1, problem 4.55
History
- 2026-10-30: add by m2/v0.4.12
Lauricella's theorem 3HV4JNJ2CN
| URI | m2://inv/3HV4JNJ2CN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6501470, Lauricella's theorem (statement). Also Wikidata Q6501470
- thousand_plus: thousand_plus Q6501470, Lauricella's theorem (statement). Also Wikidata Q6501470, Wikipedia Lauricella's theorem
- wikipedia: Wikipedia Lauricella's theorem, Lauricella's theorem (statement). Also Wikidata Q6501470
History
- 2026-10-26: add by m2/dev
Conditional Kolmogorov complexity 3HV5TWA9TA
| URI | m2://inv/3HV5TWA9TA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov complexity#K7L3, Conditional Kolmogorov complexity (unknown)
History
- 2026-11-02: add by m2/dev
3HV8SDE616 3HV8SDE616
| URI | m2://inv/3HV8SDE616 |
|---|---|
| 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 math/9602216#XX26 (statement). In SD43497T8C/e1, fact 1.4
History
- 2026-10-27: add by m2/v0.3.5
3HVBTNEEHG 3HVBTNEEHG
| URI | m2://inv/3HVBTNEEHG |
|---|---|
| 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.07790#S2L6 (statement). In A5YJDDM0NX/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.10
\bf Conditional a.e. notions 3HVPTPY7P0
| URI | m2://inv/3HVPTPY7P0 |
|---|---|
| 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 2312.14445#95MP, \bf Conditional a.e. notions (definition). In V56MKF0KW2/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
3HVTAKWD35 3HVTAKWD35
| URI | m2://inv/3HVTAKWD35 |
|---|---|
| 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.21102#JUHZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications 3HVY49NZPC
| URI | m2://inv/3HVY49NZPC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robust regression#J8Z0, Applications (example)
History
- 2026-11-02: add by m2/dev
Simple theory of types 3HW1JJ5VFN
| URI | m2://inv/3HW1JJ5VFN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of type theory#FI4B, Simple theory of types (unknown)
History
- 2026-11-02: add by m2/dev
3HW37V2F9Z 3HW37V2F9Z
| URI | m2://inv/3HW37V2F9Z |
|---|---|
| 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.15217#7T2B (definition). In G70Q2FB591/e1, definition 4.26
History
- 2026-10-28: add by m2/v0.4.2
3HW3C4SG2A 3HW3C4SG2A
| URI | m2://inv/3HW3C4SG2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22077#DQR6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
LFA critic lower bound 3HW5BHW47S
| URI | m2://inv/3HW5BHW47S |
|---|---|
| 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.04117#401P, LFA critic lower bound (statement). In 65E9N3DFYP/e1, proposition 5.9
History
- 2026-10-29: add by m2/v0.4.12
Examples 3HW5C7JA3Q
| URI | m2://inv/3HW5C7JA3Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atom (measure theory)#0V2R, Examples (example)
History
- 2026-11-02: add by m2/dev
3HW5WMPXCW 3HW5WMPXCW
| URI | m2://inv/3HW5WMPXCW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11800#YYNM (definition). In 8TSZ2E32K3/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.3
3HW935PM1S 3HW935PM1S
| URI | m2://inv/3HW935PM1S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises1-2.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
3HWA00EJWZ 3HWA00EJWZ
| URI | m2://inv/3HWA00EJWZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00811#J68N (definition). In G1SKAMET0T/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.12
3HWN7GKT4M 3HWN7GKT4M
| URI | m2://inv/3HWN7GKT4M |
|---|---|
| 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.07260#CTDA (statement). In 33KABVV985/e1, corollary 1.2
History
- 2026-10-29: add by m2/v0.4.10
Takagi existence theorem 3HWNZWDN49
| URI | m2://inv/3HWNZWDN49 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3526993, Takagi existence theorem (statement). Also Wikidata Q3526993
- thousand_plus: thousand_plus Q3526993, Takagi existence theorem (statement). Also Wikidata Q3526993, Wikipedia Takagi existence theorem
- wikipedia: Wikipedia Takagi existence theorem, Takagi existence theorem (statement). Also Wikidata Q3526993
History
- 2026-10-26: add by m2/dev
Applications 3HWPVQBST8
| URI | m2://inv/3HWPVQBST8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear flow on the torus#PP5Q, Applications (example)
History
- 2026-11-02: add by m2/dev
Keisler-Shelah isomorphism theorem 3HWR569XPC
| URI | m2://inv/3HWR569XPC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Model theory#YB2S, Keisler-Shelah isomorphism theorem (unknown)
History
- 2026-11-02: add by m2/dev
3HWT5P48PS 3HWT5P48PS
| URI | m2://inv/3HWT5P48PS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.08625#JAU2 (statement). In F2Y9SQ2VP4/e1, proposition 1
History
- 2026-10-27: add by m2/v0.4.0
permutant 3HWXFSAFJM
| URI | m2://inv/3HWXFSAFJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#0ZVT, permutant (definition)
History
- 2026-11-02: add by m2/dev
3HXCWQ0DAH 3HXCWQ0DAH
| URI | m2://inv/3HXCWQ0DAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.14143#PIWI (statement). In 7WV4JVGEN1/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.4.0
Modified axioms 3HXXCCP2PH
| URI | m2://inv/3HXXCCP2PH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic order#XZJ2, Modified axioms (statement)
History
- 2026-11-02: add by m2/dev
Perron–Frobenius theorem 3HY1JBHZ97
| URI | m2://inv/3HY1JBHZ97 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#9UU4, Perron–Frobenius theorem (statement)
History
- 2026-11-02: add by m2/dev
Link 16 3HY3EVJVTX
| URI | m2://inv/3HY3EVJVTX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Link 16, Link 16 (definition). Also Wikidata Q544907
History
- 2026-11-02: add by m2/dev
3HY3TP1WW7 3HY3TP1WW7
| URI | m2://inv/3HY3TP1WW7 |
|---|---|
| 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 2608.23797#XUC4 (definition). In PZCA01JXVR/e1, definition 7.3
History
- 2026-10-27: add by m2/v0.3.5
Applications 3HYA745RHB
| URI | m2://inv/3HYA745RHB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frenet–Serret formulas#TXZD, Applications (example)
History
- 2026-11-02: add by m2/dev
Order-3-7 hexagonal honeycomb 3HYAPDRH30
| URI | m2://inv/3HYAPDRH30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-3-7 hexagonal honeycomb, Order-3-7 hexagonal honeycomb (definition). Also Wikidata Q17078065
History
- 2026-11-02: add by m2/dev
Robert M. Solovay 3HYGWAD54J
| URI | m2://inv/3HYGWAD54J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#Y6Y7, Robert M. Solovay (topic)
History
- 2026-11-02: add by m2/dev
3HYH2HC252 3HYH2HC252
| URI | m2://inv/3HYH2HC252 |
|---|---|
| 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.04165#D1ZQ (statement). In PKN283MHF8/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.12
Stanisław Zaremba 3HYMKJQN6F
| URI | m2://inv/3HYMKJQN6F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanisław Zaremba (mathematician), Stanisław Zaremba (topic). Also Wikidata Q896660
History
- 2026-11-02: add by m2/dev
3HYPWK0FV4 3HYPWK0FV4
| URI | m2://inv/3HYPWK0FV4 |
|---|---|
| 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.17240#33YS (statement). In 59BZ4V9RQW/e1, lemma 8.9
History
- 2026-10-28: add by m2/v0.4.2
Generalized Trace Test 3HYSPJ4XAV
| URI | m2://inv/3HYSPJ4XAV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23238#ICZY, Generalized Trace Test (statement)
History
- 2026-11-02: add by m2/v0.6.17
Thomas Jech 3HYVK70H90
| URI | m2://inv/3HYVK70H90 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q924992, Thomas Jech (unknown). Also ProofWiki Mathematician:Thomas_J._Jech
- wikipedia: Wikipedia Thomas Jech, Thomas Jech (topic). Also Wikidata Q924992
History
- 2026-10-26: add by m2/dev
3HZ2E4G0TJ 3HZ2E4G0TJ
| URI | m2://inv/3HZ2E4G0TJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11800#JITQ (definition). In 8TSZ2E32K3/e1, definition 4.3
History
- 2026-10-28: add by m2/v0.4.3
Kenneth Walters 3HZAACKVQF
| URI | m2://inv/3HZAACKVQF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kenneth Walters, Kenneth Walters (topic). Also Wikidata Q21166501
History
- 2026-11-02: add by m2/dev
3HZCC4XRTT 3HZCC4XRTT
| URI | m2://inv/3HZCC4XRTT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#C7FX (statement). In 43TBS9P2PX/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.2
Transfer at level \(1/2\ 3HZESSB5BZ
| URI | m2://inv/3HZESSB5BZ |
|---|---|
| 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.20010#BXYW, Transfer at level \(1/2\ (statement). In AK2DV65PRT/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.4.2
spin structure 3HZMBB0S6G
| URI | m2://inv/3HZMBB0S6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Spin structure RSPZ9TCFQ8 |
Mentions
- wikidata: Wikidata Q7577418, spin structure (unknown). Also EoM Spinor_structure, nLab spin structure
- wikipedia: Wikipedia Spin structure, Spin structure (definition). Also Wikidata Q7577418
History
- 2026-10-26: add by m2/dev
The Howe–Umeda–Kostant–Sahi identity for antisymmetric matrices 3HZNXMJ1W7
| URI | m2://inv/3HZNXMJ1W7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capelli's identity#G1S3, The Howe–Umeda–Kostant–Sahi identity for antisymmetric matrices (statement)
History
- 2026-11-02: add by m2/dev
Rhind Mathematical Papyrus 3HZP4CD05W
| URI | m2://inv/3HZP4CD05W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#OF6E, Rhind Mathematical Papyrus (definition)
History
- 2026-11-02: add by m2/dev
Adams-Bashforth method 3HZWHFBKEQ
| URI | m2://inv/3HZWHFBKEQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear multistep method#LVO4, Adams-Bashforth method (unknown)
History
- 2026-11-02: add by m2/dev
3HZXXQC7B6 3HZXXQC7B6
| URI | m2://inv/3HZXXQC7B6 |
|---|---|
| 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.01858#GQ9K (statement). In NXSV14WJKJ/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Anchor family 3HZYAHFHKH
| URI | m2://inv/3HZYAHFHKH |
|---|---|
| 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.15815#W21O, Anchor family (definition). In 9C75CTY5C3/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2