Inventory rows 7A
The cards of the rows of the inventory whose ids start with 7A. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
7A015TC7AG 7A015TC7AG
| URI | m2://inv/7A015TC7AG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#4ZQ4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
7A03FSX9XF 7A03FSX9XF
| URI | m2://inv/7A03FSX9XF |
|---|---|
| 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.20860#37TU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Maupertuis's principle 7A04NM85AW
| URI | m2://inv/7A04NM85AW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Action (physics)#VU8J, Maupertuis's principle (statement)
History
- 2026-11-02: add by m2/dev
Symmetry 7A0A6NC8X2
| URI | m2://inv/7A0A6NC8X2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lissajous knot#PMNY, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
7A0BXHV0T5 7A0BXHV0T5
| URI | m2://inv/7A0BXHV0T5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31278#QNCV (statement). In KEP21CZFV9/e1, proposition #1
History
- 2026-10-31: add by m2/v0.5.6
7A0EC7JVGT 7A0EC7JVGT
| URI | m2://inv/7A0EC7JVGT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11043#2OJH (example). In R3NJYPZH52/e1, example 4.7
History
- 2026-10-28: add by m2/v0.4.3
7A0HERPV7D 7A0HERPV7D
| URI | m2://inv/7A0HERPV7D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#VEGW (definition). In 9EMCPF1F2T/e1, definition 22
History
- 2026-10-29: add by m2/v0.4.10
Boltzmann distribution 7A0MQ2RW0P
| URI | m2://inv/7A0MQ2RW0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#RQW6, Boltzmann distribution (definition)
History
- 2026-11-02: add by m2/dev
Smarandache constant 7A0PA7Q26T
| URI | m2://inv/7A0PA7Q26T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1697948, Smarandache constant (concept). Also MathWorld SmarandacheConstants
History
- 2026-10-26: add by m2/dev
smooth algebra 7A0PAYRSQ7
| URI | m2://inv/7A0PAYRSQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7546409, smooth algebra (unknown). Also nLab smooth algebra
- wikipedia: Wikipedia Smooth algebra, Smooth algebra (definition). Also Wikidata Q7546409
History
- 2026-10-26: add by m2/dev
Projective polytope 7A0PHY95R9
| URI | m2://inv/7A0PHY95R9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract polytope#8I4H, Projective polytope (unknown)
History
- 2026-11-02: add by m2/dev
7A0WCCSGXA 7A0WCCSGXA
| URI | m2://inv/7A0WCCSGXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30519#ARKC (statement). In GQQZNRYK15/e1, corollary 3.13
History
- 2026-10-31: add by m2/v0.5.6
Stan (software) 7A0XGYHGYW
| URI | m2://inv/7A0XGYHGYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#OSYO, Stan (software) (definition)
History
- 2026-11-02: add by m2/dev
Corollary 1 7A0ZKNF8Z8
| URI | m2://inv/7A0ZKNF8Z8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berge's theorem#6ABY, Corollary 1 (statement)
History
- 2026-11-02: add by m2/dev
List of countries by past and projected GDP 7A19A7ZV24
| URI | m2://inv/7A19A7ZV24 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by past and projected GDP (PPP), List of countries by past and projected GDP (topic). Also Wikidata Q6425489
History
- 2026-11-02: add by m2/dev
Herbert Edward Soper 7A1A6SKP2P
| URI | m2://inv/7A1A6SKP2P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbert Edward Soper, Herbert Edward Soper (topic). Also Wikidata Q15994756
History
- 2026-11-02: add by m2/dev
7A1C4PA71Z 7A1C4PA71Z
| URI | m2://inv/7A1C4PA71Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/large-laws.tex#definition-2 (definition). In RZP28ERRZV, definition, section 64.1.2
History
- 2026-11-01: add by m2/v0.6.13
7A1FSPDN2V 7A1FSPDN2V
| URI | m2://inv/7A1FSPDN2V |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sum of four cubes problem#3FI4 (problem)
History
- 2026-11-02: add by m2/dev
Work–energy principle 7A1JKK5TVZ
| URI | m2://inv/7A1JKK5TVZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Work (physics)#R187, Work–energy principle (statement)
History
- 2026-11-02: add by m2/dev
John Charles Fields 7A1Q8YW1VG
| URI | m2://inv/7A1Q8YW1VG |
|---|---|
| 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 Q315431, John Charles Fields (unknown). Also ProofWiki Mathematician:John_Charles_Fields
- wikipedia: Wikipedia John Charles Fields, John Charles Fields (topic). Also Wikidata Q315431
History
- 2026-10-26: add by m2/dev
Hungarian algorithm 7A1RJSAZ1V
| URI | m2://inv/7A1RJSAZ1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#4J77, Hungarian algorithm (definition)
History
- 2026-11-02: add by m2/dev
7A1RVHCF2V 7A1RVHCF2V
| URI | m2://inv/7A1RVHCF2V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#prop-8 (statement). In E59CDZA4DP, prop, section 1.8.1
History
- 2026-11-01: add by m2/v0.6.13
micro 7A1S6M0EC7
| URI | m2://inv/7A1S6M0EC7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q154121, micro (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/micro-
History
- 2026-10-26: add by m2/dev
Notation 7A1VY94JXG
| URI | m2://inv/7A1VY94JXG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least common multiple#8G8R, Notation (definition)
History
- 2026-11-02: add by m2/dev
Mazziotta–Pareto index 7A1WRZA0KZ
| URI | m2://inv/7A1WRZA0KZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YN1N, Mazziotta–Pareto index (unknown)
History
- 2026-11-02: add by m2/dev
Challenging 7A1XPWRMZW
| URI | m2://inv/7A1XPWRMZW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-32, Challenging (exercise). In E59CDZA4DP, exercise, section 10.2.5
History
- 2026-11-01: add by m2/v0.6.13
7A1ZAW7E6F 7A1ZAW7E6F
| URI | m2://inv/7A1ZAW7E6F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-10 (exercise). In E9HS8K3A52, exercise, section 3.1.5
History
- 2026-11-01: add by m2/v0.6.13
7A22MPZ2D8 7A22MPZ2D8
| URI | m2://inv/7A22MPZ2D8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-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.25801#FOSY (example)
History
- 2026-11-01: add by m2/v0.6.15
Dorothy Spiers 7A27CH7Y9P
| URI | m2://inv/7A27CH7Y9P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#KO9D, Dorothy Spiers (unknown)
History
- 2026-11-02: add by m2/dev
Dense matching problem onto principle eigenvector of DTI 7A2C8MJ261
| URI | m2://inv/7A2C8MJ261 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Large deformation diffeomorphic metric mapping#PWSV, Dense matching problem onto principle eigenvector of DTI (problem)
History
- 2026-11-02: add by m2/dev
7A2DCZ2M24 7A2DCZ2M24
| URI | m2://inv/7A2DCZ2M24 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.20257#TINT (statement). In 9NDZ6GG9XZ/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
Fox derivative 7A2F46NX1X
| URI | m2://inv/7A2F46NX1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5477047, Fox derivative (unknown). Also nLab Fox derivative
- wikipedia: Wikipedia Fox derivative, Fox derivative (definition). Also Wikidata Q5477047
History
- 2026-10-26: add by m2/dev
Cyclotomic unit 7A2GJGMBDH
| URI | m2://inv/7A2GJGMBDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclotomic unit, Cyclotomic unit (definition). Also Wikidata Q5199069
History
- 2026-11-02: add by m2/dev
7A2H6H1BPW 7A2H6H1BPW
| URI | m2://inv/7A2H6H1BPW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36186#XMQH (statement). In 30PQN6JP7W/e1, lemma 18
History
- 2026-10-27: add by m2/v0.3.5
Properties 7A36G38DNG
| URI | m2://inv/7A36G38DNG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Core (game theory)#ZDLF, Properties (statement)
History
- 2026-11-02: add by m2/dev
7A375DRZJF 7A375DRZJF
| URI | m2://inv/7A375DRZJF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23332#0ERQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
7A3942797A 7A3942797A
| URI | m2://inv/7A3942797A |
|---|---|
| Kind | example |
| 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.18329#6WGJ (example). In 3VWEPEFHN3/e1, example 3.4
History
- 2026-10-28: add by m2/v0.4.2
7A3A6ZKR0E 7A3A6ZKR0E
| URI | m2://inv/7A3A6ZKR0E |
|---|---|
| Kind | example |
| 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#HH5B (example). In XBHQRTBH62/e1, example 1.11
History
- 2026-10-31: add by m2/v0.5.6
Japanese ring 7A3E0APSSH
| URI | m2://inv/7A3E0APSSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#5DCE, Japanese ring (definition)
History
- 2026-11-02: add by m2/dev
Affine term structure model 7A3P1BRC10
| URI | m2://inv/7A3P1BRC10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine term structure model, Affine term structure model (definition). Also Wikidata Q4688953
History
- 2026-11-02: add by m2/dev
Van der Waerden test 7A3WPECRT6
| URI | m2://inv/7A3WPECRT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van der Waerden test, Van der Waerden test (definition). Also Wikidata Q7913891
History
- 2026-11-02: add by m2/dev
7A4FQCQ5NQ 7A4FQCQ5NQ
| URI | m2://inv/7A4FQCQ5NQ |
|---|---|
| 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.11056#3HE3 (statement). In 1NDB3SAG7K/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.3
principle of least action 7A4N3JRFWT
| URI | m2://inv/7A4N3JRFWT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q722799, principle of least action (unknown). Also nLab principle of least action
- wikipedia: Wikipedia Action principles, Action principles (statement). Also Wikidata Q722799
History
- 2026-10-26: add by m2/dev
Classical well-posedness and $C_0$-semigroup generation 7A4SXX7QQV
| URI | m2://inv/7A4SXX7QQV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#40U2, Classical well-posedness and $C_0$-semigroup generation (statement). In RHBS9QDHC3/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
7A51A56EAP 7A51A56EAP
| URI | m2://inv/7A51A56EAP |
|---|---|
| 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 1909.03896#NGQN (statement). In CX9RVPQVBM/e1, theorem 11
History
- 2026-10-27: add by m2/v0.3.5
Definition 7A55BEEW7F
| URI | m2://inv/7A55BEEW7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Khinchin integral#RAGZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
7A5AAW3Z2V 7A5AAW3Z2V
| URI | m2://inv/7A5AAW3Z2V |
|---|---|
| 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.08682#HCVX (statement). In Y306A1GPM5/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
derived set 7A5EPMT2YV
| URI | m2://inv/7A5EPMT2YV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Derived set 8ZAPAPYJFG |
Mentions
- wikidata: Wikidata Q322340, derived set (concept). Also MathWorld DerivedSet, ProofWiki Definition:Derived_Set
- wikipedia: Wikipedia Derived set (mathematics), Derived set (definition). Also Wikidata Q322340
History
- 2026-10-26: add by m2/dev
7A5F75TX50 7A5F75TX50
| URI | m2://inv/7A5F75TX50 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/soundness.tex#cor-1 (statement). In PKGMM3P5QY, cor, section 62.8
History
- 2026-11-01: add by m2/v0.6.13
7A5HF6MT06 7A5HF6MT06
| URI | m2://inv/7A5HF6MT06 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31458#W8RS (statement). In SNWC76WKWT/e1, corollary F.1
History
- 2026-10-31: add by m2/v0.5.6
7A5JJGS3G0 7A5JJGS3G0
| URI | m2://inv/7A5JJGS3G0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 22.2
History
- 2026-11-01: add by m2/v0.6.13
7A5KBPM4WS 7A5KBPM4WS
| URI | m2://inv/7A5KBPM4WS |
|---|---|
| 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.22657#OA7D (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition 7A5M980YP5
| URI | m2://inv/7A5M980YP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphic matroid#U7YT, Definition (definition)
History
- 2026-11-02: add by m2/dev
7A5PQ8X2P7 7A5PQ8X2P7
| URI | m2://inv/7A5PQ8X2P7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 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 2508.21045#D7U9 (definition). In CGA36VE1C5/e1, definition 9.0.1
History
- 2026-10-27: add by m2/v0.3.6
7A5RE7MRX7 7A5RE7MRX7
| URI | m2://inv/7A5RE7MRX7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0810.2160#Z4GU (statement). In 3HYJ46TKX9/e1, proposition 6
History
- 2026-10-27: add by m2/v0.3.5
7A5RX38HAK 7A5RX38HAK
| URI | m2://inv/7A5RX38HAK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19854#YLYG (statement). In D50WST4CG3/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
7A5VFZ913D 7A5VFZ913D
| URI | m2://inv/7A5VFZ913D |
|---|---|
| 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.11997#5EK5 (statement). In REVYK9ZEP2/e1, corollary 12
History
- 2026-10-28: add by m2/v0.4.3
Kuratowski's free set theorem 7A67MJ10T3
| URI | m2://inv/7A67MJ10T3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuratowski's free set theorem, Kuratowski's free set theorem (statement). Also Wikidata Q6445655
History
- 2026-11-02: add by m2/dev
7A6CJDQPC1 7A6CJDQPC1
| URI | m2://inv/7A6CJDQPC1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28780#7UW4 (example)
History
- 2026-11-01: add by m2/v0.6.15
7A6EP4WYMX 7A6EP4WYMX
| URI | m2://inv/7A6EP4WYMX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28374#A6WG (statement)
History
- 2026-11-01: add by m2/v0.6.15
7A6F3WFV66 7A6F3WFV66
| URI | m2://inv/7A6F3WFV66 |
|---|---|
| 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#9DLD (statement). In X88HPQ0W8C/e1, proposition 2.28
History
- 2026-10-27: add by m2/v0.3.5
Example 7A6TSR52PY
| URI | m2://inv/7A6TSR52PY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neighbor joining#JAKE, Example (example)
History
- 2026-11-02: add by m2/dev
Definition 7A6V6N6CK1
| URI | m2://inv/7A6V6N6CK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential dispersion model#4EPV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples 7A6WBEHECK
| URI | m2://inv/7A6WBEHECK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field line#MTK9, Examples (example)
History
- 2026-11-02: add by m2/dev
Heini Halberstam 7A71KTCCKD
| URI | m2://inv/7A71KTCCKD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#RLVK, Heini Halberstam (unknown)
History
- 2026-11-02: add by m2/dev
Weight--regression interaction remainders 7A728S357P
| URI | m2://inv/7A728S357P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20772#XP3P, Weight--regression interaction remainders (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples 7A72ZXDK8Z
| URI | m2://inv/7A72ZXDK8Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antisymmetric relation#I36G, Examples (example)
History
- 2026-11-02: add by m2/dev
7A73MFPEG3 7A73MFPEG3
| URI | m2://inv/7A73MFPEG3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11604#XA35 (definition). In P1J9MCFE7N/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.3
7A7546H1H0 7A7546H1H0
| URI | m2://inv/7A7546H1H0 |
|---|---|
| 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 2609.29531#JBE5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Poly-Bernoulli number 7A76RKQZ4T
| URI | m2://inv/7A76RKQZ4T |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poly-Bernoulli number, Poly-Bernoulli number (object). Also Wikidata Q7226095
History
- 2026-11-02: add by m2/dev
7A7965F7C3 7A7965F7C3
| URI | m2://inv/7A7965F7C3 |
|---|---|
| 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.16886#5U3N (statement). In Y8QQAH7VCF/e1, lemma C.2
History
- 2026-10-28: add by m2/v0.4.2
Sammon mapping 7A7BRVNV6H
| URI | m2://inv/7A7BRVNV6H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sammon mapping, Sammon mapping (definition). Also Wikidata Q11249674
History
- 2026-11-02: add by m2/dev
Fuzzy Sets and Systems 7A7C1GN6GA
| URI | m2://inv/7A7C1GN6GA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy Sets and Systems, Fuzzy Sets and Systems (definition). Also Wikidata Q5511079
History
- 2026-11-02: add by m2/dev
7A7CNV79ZJ 7A7CNV79ZJ
| URI | m2://inv/7A7CNV79ZJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#ZYT3 (example). In 2QF1YG9DD0/e1, example 4.2
History
- 2026-10-30: add by m2/v0.4.12
Locations for the retrieval rule 7A7ED2E5VR
| URI | m2://inv/7A7ED2E5VR |
|---|---|
| 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 math/0003117#8ZU3, Locations for the retrieval rule (definition). In WD2NCBV9F0/e1, definition 9.15
History
- 2026-10-27: add by m2/v0.3.5
NRNC 7A7EETG0HJ
| URI | m2://inv/7A7EETG0HJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RE (complexity)#V744, NRNC (unknown)
History
- 2026-11-02: add by m2/dev
7A7FSYDTDC 7A7FSYDTDC
| URI | m2://inv/7A7FSYDTDC |
|---|---|
| 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.13691#TO7J (statement). In 3YTKTYTHT6/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Wang Yuan 7A7GA1FH5W
| URI | m2://inv/7A7GA1FH5W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wang Yuan (mathematician), Wang Yuan (topic). Also Wikidata Q2601552
History
- 2026-11-02: add by m2/dev
7A7GHCND2Z 7A7GHCND2Z
| URI | m2://inv/7A7GHCND2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19300#0BXW (statement). In S6S4RD5VXJ/e1, lemma 12
History
- 2026-10-28: add by m2/v0.4.2
Stationary ergodic process 7A7M9HVWGF
| URI | m2://inv/7A7M9HVWGF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stationary ergodic process, Stationary ergodic process (definition). Also Wikidata Q17123911
History
- 2026-11-02: add by m2/dev
7A7NMW8K7F 7A7NMW8K7F
| URI | m2://inv/7A7NMW8K7F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11905#1CN6 (statement). In QQFXT31CA5/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.3
Bernhard Riemann 7A7PGWA3VS
| URI | m2://inv/7A7PGWA3VS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#QWWU, Bernhard Riemann (topic)
History
- 2026-11-02: add by m2/dev
Classical analytic number theory 7A7VHNAME3
| URI | m2://inv/7A7VHNAME3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#GN78, Classical analytic number theory (definition)
History
- 2026-11-02: add by m2/dev
Canonical coordinates 7A7YJN1CP7
| URI | m2://inv/7A7YJN1CP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical coordinates, Canonical coordinates (definition). Also Wikidata Q1501876
History
- 2026-11-02: add by m2/dev
7A80PQ9DXT 7A80PQ9DXT
| URI | m2://inv/7A80PQ9DXT |
|---|---|
| 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.16941#72MB (statement). In T96MPYB0KT/e1, theorem 3.13
History
- 2026-10-28: add by m2/v0.4.2
7A84309SD9 7A84309SD9
| URI | m2://inv/7A84309SD9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#FL0A (statement). In X38P26DK6S/e1, theorem 8.3
History
- 2026-10-27: add by m2/v0.4.0
Plate tectonics 7A8E646EZ1
| URI | m2://inv/7A8E646EZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#Z1D9, Plate tectonics (definition)
History
- 2026-11-02: add by m2/dev
7A8HEJGD51 7A8HEJGD51
| URI | m2://inv/7A8HEJGD51 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31861#SRYE (statement). In G36R6T327W/e1, lemma 2
History
- 2026-10-31: add by m2/v0.5.6
7A8VQCZ6W4 7A8VQCZ6W4
| URI | m2://inv/7A8VQCZ6W4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#PCNU (statement). In 9B5TNEBJHV/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
sulfur-35 7A8YGPRBTJ
| URI | m2://inv/7A8YGPRBTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2311880, sulfur-35 (definition). Also ProofWiki Definition:Sulphur/35
History
- 2026-10-26: add by m2/dev
Chain solvability criterion 7A91M0QHYF
| URI | m2://inv/7A91M0QHYF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.27966#5AKH, Chain solvability criterion (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bronshtein and Semendyayev 7AA2KQMWVR
| URI | m2://inv/7AA2KQMWVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bronshtein and Semendyayev, Bronshtein and Semendyayev (definition). Also Wikidata Q1278045
History
- 2026-11-02: add by m2/dev
De Vaucouleurs's law 7AA7F37EFJ
| URI | m2://inv/7AA7F37EFJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Vaucouleurs's law, De Vaucouleurs's law (statement). Also Wikidata Q1179455
History
- 2026-11-02: add by m2/dev
Conjectures 7AA962AP3D
| URI | m2://inv/7AA962AP3D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michel Las Vergnas#DH4Z, Conjectures (statement)
History
- 2026-11-02: add by m2/dev
Composition 7AAAJD1XZT
| URI | m2://inv/7AAAJD1XZT |
|---|---|
| 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.38668#DD7Q, Composition (statement). In VB1EZ9K6YW/e1, theorem 8.3
History
- 2026-10-30: add by m2/v0.4.12
Bayes' theorem for 3 events 7AABG6K6S2
| URI | m2://inv/7AABG6K6S2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayes' theorem#9M1Y, Bayes' theorem for 3 events (statement)
History
- 2026-11-02: add by m2/dev
Charlie Reeve 7AABJPCYKH
| URI | m2://inv/7AABJPCYKH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charlie Reeve, Charlie Reeve (topic). Also Wikidata Q51718705
History
- 2026-11-02: add by m2/dev
Theorem 7AABTYNKR7
| URI | m2://inv/7AABTYNKR7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kendall rank correlation coefficient#06HD, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Simon Norton 7AAE9HC9D8
| URI | m2://inv/7AAE9HC9D8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#9FJ8, Simon Norton (topic)
History
- 2026-11-02: add by m2/dev
7AAJ3XV6Z3 7AAJ3XV6Z3
| URI | m2://inv/7AAJ3XV6Z3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01694#XJH0 (statement). In EBMHYN0XK9/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
7AB0GGDJT0 7AB0GGDJT0
| URI | m2://inv/7AB0GGDJT0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1006.3331#WHK8 (definition). In AY6WYB9RR3/e1, definition 5.3
History
- 2026-10-27: add by m2/v0.3.5
7AB8ECV5DC 7AB8ECV5DC
| URI | m2://inv/7AB8ECV5DC |
|---|---|
| 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.19453#9ULP (statement). In TX82YAVS5V/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Main result 7ABC6Y5082
| URI | m2://inv/7ABC6Y5082 |
|---|---|
| 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.31187#TMJT, Main result (statement). In 2535DQ1DEG/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
Horizontal line test 7ABH8HR6DF
| URI | m2://inv/7ABH8HR6DF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horizontal line test, Horizontal line test (definition). Also Wikidata Q985704
History
- 2026-11-02: add by m2/dev
Strict-seam minimum exclusion 7ABKD1MDEJ
| URI | m2://inv/7ABKD1MDEJ |
|---|---|
| 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#Z2HA, Strict-seam minimum exclusion (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications 7ABKD4VPBY
| URI | m2://inv/7ABKD4VPBY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shifted log-logistic distribution#7GPT, Applications (example)
History
- 2026-11-02: add by m2/dev
Sorgenfrey plane 7ABN5V5FF1
| URI | m2://inv/7ABN5V5FF1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#2JYE, Sorgenfrey plane (definition)
- wikipedia: Wikipedia List of mathematical examples#2107, Sorgenfrey plane (definition)
- wikipedia: Wikipedia List of examples in general topology#WRHX, Sorgenfrey plane (definition)
History
- 2026-11-02: add by m2/dev
7ABP8KHMSF 7ABP8KHMSF
| URI | m2://inv/7ABP8KHMSF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1907.01440#AFFB (definition). In QDRYC6WJJ7/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.5
Four Bungalows 7ABR6BEDEY
| URI | m2://inv/7ABR6BEDEY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#FHKA, Four Bungalows (unknown)
History
- 2026-11-02: add by m2/dev
Disconnected completed-cycle expansion 7ABSJ84EET
| URI | m2://inv/7ABSJ84EET |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.20572#ILOU, Disconnected completed-cycle expansion (statement)
History
- 2026-11-02: add by m2/v0.6.18
$A[X]$ has gcd and lcm if $A$ does 7ABVCFEJKV
| URI | m2://inv/7ABVCFEJKV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Polynomials and power series > $A[X]$ has gcd and lcm if $A$ does, $A[X]$ has gcd and lcm if $A$ does (unknown). Also Mathlib Polynomial.normalizedGcdMonoid
History
- 2026-10-26: add by m2/dev
Definition 7AC07TN45F
| URI | m2://inv/7AC07TN45F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henstock–Kurzweil integral#PLS3, Definition (definition)
History
- 2026-11-02: add by m2/dev
7AC1B7D3A1 7AC1B7D3A1
| URI | m2://inv/7AC1B7D3A1 |
|---|---|
| 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 2108.03672#KRU6 (statement). In EZZSZ1F071/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.0
\textbf{Boundary layer only on the right edge 7AC9B6J9V6
| URI | m2://inv/7AC9B6J9V6 |
|---|---|
| Kind | example |
| 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.29185#TJBF, \textbf{Boundary layer only on the right edge (example)
History
- 2026-11-01: add by m2/v0.6.15
Danish Mathematical Society 7ACG9AVA5S
| URI | m2://inv/7ACG9AVA5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Danish Mathematical Society, Danish Mathematical Society (definition). Also Wikidata Q1270174
History
- 2026-11-02: add by m2/dev
Euler angles 7ACKGXD1H1
| URI | m2://inv/7ACKGXD1H1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q751290, Euler angles (unknown). Also MathWorld EulerAngles, nLab Euler angle
- wikipedia: Wikipedia Euler angles, Euler angles (definition). Also Wikidata Q751290
History
- 2026-10-26: add by m2/dev
7ACN5SDNH6 7ACN5SDNH6
| URI | m2://inv/7ACN5SDNH6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20663#RXXI (statement). In AZMX0CY5NE/e1, lemma 36
History
- 2026-10-27: add by m2/v0.4.2
Three Oaks, Texas 7ACPV8HDXG
| URI | m2://inv/7ACPV8HDXG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#VA94, Three Oaks, Texas (unknown)
History
- 2026-11-02: add by m2/dev
Łoś–Vaught test 7AD3441YKR
| URI | m2://inv/7AD3441YKR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Łoś–Vaught test, Łoś–Vaught test (definition). Also Wikidata Q25303635
History
- 2026-11-02: add by m2/dev
7AD6Y8BW57 7AD6Y8BW57
| URI | m2://inv/7AD6Y8BW57 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#ex:equiv-concat (exercise). In N54F33XE07, ex, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Characterisation of $\infty$-Harmonic functions via the $\L^\infty$ semi-differential PDI 7AD982VN5X
| URI | m2://inv/7AD982VN5X |
|---|---|
| Kind | statement |
| 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#6VQ1, Characterisation of $\infty$-Harmonic functions via the $\L^\infty$ semi-differential PDI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Frenet–Serret formulas in calculus 7ADBHTCCVB
| URI | m2://inv/7ADBHTCCVB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frenet–Serret formulas#YZAK, Frenet–Serret formulas in calculus (statement)
History
- 2026-11-02: add by m2/dev
Survival of the fittest 7ADFRTABJG
| URI | m2://inv/7ADFRTABJG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#ATDH, Survival of the fittest (unknown)
History
- 2026-11-02: add by m2/dev
7ADFTKHXA3 7ADFTKHXA3
| URI | m2://inv/7ADFTKHXA3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25703#2IXF (statement)
History
- 2026-11-01: add by m2/v0.6.15
7ADHTREEJ1 7ADHTREEJ1
| URI | m2://inv/7ADHTREEJ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32599#004G (statement). In E1Y93JNBJA/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
7ADJJXB5X4 7ADJJXB5X4
| URI | m2://inv/7ADJJXB5X4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX, 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 2609.28552#AMTT (definition)
History
- 2026-11-01: add by m2/v0.6.15
7ADN07N6Z2 7ADN07N6Z2
| URI | m2://inv/7ADN07N6Z2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/circuits.tex#example-2 (example). In RZP28ERRZV, example, section 75.2
History
- 2026-11-01: add by m2/v0.6.13
7ADSEVB25W 7ADSEVB25W
| URI | m2://inv/7ADSEVB25W |
|---|---|
| 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.14455#PD8V (statement). In 5KARPAJDCP/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Example 7ADWBAV7A0
| URI | m2://inv/7ADWBAV7A0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilson's theorem#80M0, Example (example)
History
- 2026-11-02: add by m2/dev
Differential of the first kind 7ADX27ED2S
| URI | m2://inv/7ADX27ED2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential of the first kind, Differential of the first kind (definition). Also Wikidata Q5275357
History
- 2026-11-02: add by m2/dev
7ADYVXWDR5 7ADYVXWDR5
| URI | m2://inv/7ADYVXWDR5 |
|---|---|
| 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.08149#LQOQ (statement). In E128PFR76Q/e1, lemma 2.9
History
- 2026-10-29: add by m2/v0.4.10
James Boness 7ADZ2WMQGE
| URI | m2://inv/7ADZ2WMQGE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black–Scholes model#01GV, James Boness (unknown)
History
- 2026-11-02: add by m2/dev
Graph flattenability 7AE1E7XBSF
| URI | m2://inv/7AE1E7XBSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph flattenability, Graph flattenability (definition). Also Wikidata Q111955002
History
- 2026-11-02: add by m2/dev
Waveguide cutoff frequency 7AE3XYN87F
| URI | m2://inv/7AE3XYN87F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cutoff frequency#PE3O, Waveguide cutoff frequency (unknown)
History
- 2026-11-02: add by m2/dev
Mark V. Lawson 7AED97SH3W
| URI | m2://inv/7AED97SH3W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18507813, Mark V. Lawson (unknown). Also nLab Mark V. Lawson
History
- 2026-10-26: add by m2/dev
Minimal polynomial of 2cos 7AEH8CWGB0
| URI | m2://inv/7AEH8CWGB0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16670620, Minimal polynomial of 2cos (concept). Also MathWorld TrigonometryAngles
- wikipedia: Wikipedia Minimal polynomial of 2cos(2pi/n), Minimal polynomial of 2cos(2pi/n) (definition). Also Wikidata Q16670620
History
- 2026-10-26: add by m2/dev
bmatrix 7AESJQCYX6
| URI | m2://inv/7AESJQCYX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#YBXB, bmatrix (definition)
History
- 2026-11-02: add by m2/dev
Examples 7AEV7Y1F5A
| URI | m2://inv/7AEV7Y1F5A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph property#N536, Examples (example)
History
- 2026-11-02: add by m2/dev
7AF2NHT9AT 7AF2NHT9AT
| URI | m2://inv/7AF2NHT9AT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33300#7RPV (statement). In AWF7ZHK4EM/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
ring of integers 7AF5X3XG9A
| URI | m2://inv/7AF5X3XG9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#9XFI, ring of integers (definition)
History
- 2026-11-02: add by m2/dev
Upper bound theorem 7AFJWHR12R
| URI | m2://inv/7AFJWHR12R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic polytope#DWRA, Upper bound theorem (statement)
History
- 2026-11-02: add by m2/dev
Francesco Severi 7AFVHZ63ZZ
| URI | m2://inv/7AFVHZ63ZZ |
|---|---|
| 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 Q633721, Francesco Severi (unknown). Also nLab contributors to algebraic geometry
- wikipedia: Wikipedia Francesco Severi, Francesco Severi (topic). Also Wikidata Q633721
History
- 2026-10-26: add by m2/dev
7AG1Z3R7DJ 7AG1Z3R7DJ
| URI | m2://inv/7AG1Z3R7DJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20516#IG6B (statement)
History
- 2026-11-02: add by m2/v0.6.18
7AG3QFR168 7AG3QFR168
| URI | m2://inv/7AG3QFR168 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12116#0IES (statement). In WB3F0S794F/e1, corollary 3.3
History
- 2026-10-28: add by m2/v0.4.2
7AG9SMH1EQ 7AG9SMH1EQ
| URI | m2://inv/7AG9SMH1EQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/completeness.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 55.4
History
- 2026-11-01: add by m2/v0.6.13
4 21 polytope 7AGAEV905A
| URI | m2://inv/7AGAEV905A |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 4 21 polytope, 4 21 polytope (object). Also Wikidata Q5791797
History
- 2026-11-02: add by m2/dev
7AGBWZ2H71 7AGBWZ2H71
| URI | m2://inv/7AGBWZ2H71 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#ZCYF (definition)
History
- 2026-11-02: add by m2/v0.6.18
power set 7AGD3F3GBS
| URI | m2://inv/7AGD3F3GBS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.10/power-set, power set (concept). In N54F33XE07, index, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
implicit function 7AGEBBWW11
| URI | m2://inv/7AGEBBWW11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#6XVK, implicit function (definition)
History
- 2026-11-02: add by m2/dev
Lagrangian (field theory) 7AGWG1ATFX
| URI | m2://inv/7AGWG1ATFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#KXYG, Lagrangian (field theory) (definition)
History
- 2026-11-02: add by m2/dev
Mean deviation (disambiguation) 7AGY7Z3AN1
| URI | m2://inv/7AGY7Z3AN1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CP8D, Mean deviation (disambiguation) (unknown)
History
- 2026-11-02: add by m2/dev
7AGYAQVJHJ 7AGYAQVJHJ
| URI | m2://inv/7AGYAQVJHJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13888#8O3L (statement). In XJWYBPS14M/e1, proposition 4.7
History
- 2026-10-28: add by m2/v0.4.2
7AH3DCPW0K 7AH3DCPW0K
| URI | m2://inv/7AH3DCPW0K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.16332#7L9O (statement). In JJQPFXZQ3D/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.2
7AHAKZHA24 7AHAKZHA24
| URI | m2://inv/7AHAKZHA24 |
|---|---|
| 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.12912#LC59 (statement). In PDKBKKJ4BV/e1, corollary 4.5
History
- 2026-10-28: add by m2/v0.4.2
probability, measure 7AHDFQYH69
| URI | m2://inv/7AHDFQYH69 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/10.1/probability-measure, probability, measure (concept). In QKM9DD2H56, index, section 10.1
History
- 2026-11-01: add by m2/v0.6.13
Morley centers 7AHM3C7TXW
| URI | m2://inv/7AHM3C7TXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#XSPD, Morley centers (definition)
History
- 2026-11-02: add by m2/dev
7AHQWH3M8T 7AHQWH3M8T
| URI | m2://inv/7AHQWH3M8T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21475#XEZD (definition). In TTRSZVT4VX/e1, definition 4.7
History
- 2026-10-27: add by m2/v0.4.2
Discrete Potentials 7AHR0PTBWY
| URI | m2://inv/7AHR0PTBWY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#AOSS, Discrete Potentials (statement). In Z6WA2R0J50/e1, lemma B.2
History
- 2026-10-28: add by m2/v0.4.2
7AHYSXK4WK 7AHYSXK4WK
| URI | m2://inv/7AHYSXK4WK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16731#YY40 (statement). In D68KBZQ4Q6/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
Unital algebra 7AJ418BANA
| URI | m2://inv/7AJ418BANA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebra over a field#RZIN, Unital algebra (unknown)
History
- 2026-11-02: add by m2/dev
7AJ8XF3RCV 7AJ8XF3RCV
| URI | m2://inv/7AJ8XF3RCV |
|---|---|
| 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#QXV5 (statement). In 4WPYBTARS2/e1, proposition 2.7
History
- 2026-10-29: add by m2/v0.4.12
nest 7AJPGC98DC
| URI | m2://inv/7AJPGC98DC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#ITNG, nest (definition)
History
- 2026-11-02: add by m2/dev
Kloosterman factorisation 7AJQHZEN4H
| URI | m2://inv/7AJQHZEN4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2610.04099#1QDQ, Kloosterman factorisation (statement). In QPJ6FWG5HD/e1, lemma 1.5
History
- 2026-10-29: add by m2/v0.4.12
Copeland's method 7AJVM55YR1
| URI | m2://inv/7AJVM55YR1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#1LI7, Copeland's method (unknown)
History
- 2026-11-02: add by m2/dev
7AJZJHZYN6 7AJZJHZYN6
| URI | m2://inv/7AJZJHZYN6 |
|---|---|
| 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.33679#2C79 (statement). In 3N9E9T6AF5/e1, lemma 2.8
History
- 2026-10-30: add by m2/v0.4.12
7AK68GQ86R 7AK68GQ86R
| URI | m2://inv/7AK68GQ86R |
|---|---|
| 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.26713#FTUX (statement)
History
- 2026-11-01: add by m2/v0.6.15
7AKARWQHG9 7AKARWQHG9
| URI | m2://inv/7AKARWQHG9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#MXL0 (example). In 9B0X8YPF3P/e1, example 9.11
History
- 2026-10-28: add by m2/v0.4.2
Quadratic term regularity 7AKDSPVBG8
| URI | m2://inv/7AKDSPVBG8 |
|---|---|
| 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 2410.06788#7DSV, Quadratic term regularity (statement). In B2VE3JQZD3/e1, proposition 25
History
- 2026-10-27: add by m2/v0.3.5
Dmitrii Abramovich Raikov 7AKE8QFD9F
| URI | m2://inv/7AKE8QFD9F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dmitrii Abramovich Raikov, Dmitrii Abramovich Raikov (topic). Also Wikidata Q21644165
History
- 2026-11-02: add by m2/dev
Exterior space 7AKP5QVCK0
| URI | m2://inv/7AKP5QVCK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exterior space, Exterior space (definition). Also Wikidata Q5421992
History
- 2026-11-02: add by m2/dev
Meta.Numerics 7AKR0QH9H3
| URI | m2://inv/7AKR0QH9H3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#UFIQ, Meta.Numerics (unknown)
History
- 2026-11-02: add by m2/dev
7AKX0PK2PR 7AKX0PK2PR
| URI | m2://inv/7AKX0PK2PR |
|---|---|
| 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 2610.11869#GJP5 (statement). In B5GGGWNJA6/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.3
Frame clustering 7AKYFP2J2N
| URI | m2://inv/7AKYFP2J2N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37368#6YQ1, Frame clustering (statement). In FRMCKEGVJZ/e1, lemma 28
History
- 2026-10-30: add by m2/v0.4.12
Bryant Tuckerman 7AM56BXC5J
| URI | m2://inv/7AM56BXC5J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HHAA, Bryant Tuckerman (topic)
History
- 2026-11-02: add by m2/dev
Combinatorial chemistry 7AM57P50RV
| URI | m2://inv/7AM57P50RV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial chemistry, Combinatorial chemistry (definition). Also Wikidata Q899212
History
- 2026-11-02: add by m2/dev
Refined discrepancy bound 7AMAN5NZPE
| URI | m2://inv/7AMAN5NZPE |
|---|---|
| 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.22305#WGYE, Refined discrepancy bound (statement). In P6FTXTV09Q/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.4.0
7AMHRTZ9B5 7AMHRTZ9B5
| URI | m2://inv/7AMHRTZ9B5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.09700#O4OJ (statement). In XCSQ27P0XW/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.0
Michael A. Heroux 7AMJC2AM19
| URI | m2://inv/7AMJC2AM19 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael A. Heroux, Michael A. Heroux (topic). Also Wikidata Q92754252
History
- 2026-11-02: add by m2/dev
A strict separation within this estimator class 7AMPYV07WH
| URI | m2://inv/7AMPYV07WH |
|---|---|
| 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.15543#ENGK, A strict separation within this estimator class (statement). In TQSHQZFCS5/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
7AMQVNP9CE 7AMQVNP9CE
| URI | m2://inv/7AMQVNP9CE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09515#X1CJ (definition). In N51RDVGNXG/e1, definition 1.2
History
- 2026-10-29: add by m2/v0.4.10
Veblen 7AN0FA9GHG
| URI | m2://inv/7AN0FA9GHG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#D7KL, Veblen (definition)
History
- 2026-11-02: add by m2/dev
Method 7ANB8YKFK7
| URI | m2://inv/7ANB8YKFK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heckman correction#STAV, Method (definition)
History
- 2026-11-02: add by m2/dev
7ANBS22PBD 7ANBS22PBD
| URI | m2://inv/7ANBS22PBD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05892#W8GU (statement). In PXWRTA62JK/e1, lemma 7.4
History
- 2026-10-29: add by m2/v0.4.10
7ANC1W0B08 7ANC1W0B08
| URI | m2://inv/7ANC1W0B08 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#7OKG (statement). In X38P26DK6S/e1, corollary 5.30
History
- 2026-10-27: add by m2/v0.4.0
Aristotle's theses 7ANC4WB8CQ
| URI | m2://inv/7ANC4WB8CQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#UI64, Aristotle's theses (definition)
History
- 2026-11-02: add by m2/dev
type, circle 7ANNMGHNKG
| URI | m2://inv/7ANNMGHNKG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.4/type-circle, type, circle (concept). In N54F33XE07, index, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
Carl Gustav Jacob Jacobi 7ANPDPDNSN
| URI | m2://inv/7ANPDPDNSN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#EFW1, Carl Gustav Jacob Jacobi (topic)
- wikipedia: Wikipedia List of algebraic geometry topics#QBXC, Carl Gustav Jacob Jacobi (topic)
- wikipedia: Wikipedia List of German mathematicians#OSIS, Carl Gustav Jacob Jacobi (topic)
History
- 2026-11-02: add by m2/dev
7ANSC60N73 7ANSC60N73
| URI | m2://inv/7ANSC60N73 |
|---|---|
| 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 2609.27931#SG3W (definition)
History
- 2026-11-01: add by m2/v0.6.15
7ANZZXG5X1 7ANZZXG5X1
| URI | m2://inv/7ANZZXG5X1 |
|---|---|
| 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 2609.20961#DL2G (statement)
History
- 2026-11-02: add by m2/v0.6.18
Memory estimation and normalization 7AP0FEYXR4
| URI | m2://inv/7AP0FEYXR4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33868#7LY4, Memory estimation and normalization (statement). In 7TQ3XH3X79/e1, lemma 10
History
- 2026-10-30: add by m2/v0.4.12
axiom, Streicher's Axiom K, generalization to $n$-types 7AP2T7AAMP
| URI | m2://inv/7AP2T7AAMP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.2/axiom-streicher-s-axiom-k-generalization-to-n-types, axiom, Streicher's Axiom K, generalization to $n$-types (concept). In N54F33XE07, index, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Zhao-Zhang 7APQYMHJV7
| URI | m2://inv/7APQYMHJV7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22393#0HYI, Zhao-Zhang (statement)
History
- 2026-11-02: add by m2/v0.6.17
Weierstrass approximation theorem 7APRZN9A59
| URI | m2://inv/7APRZN9A59 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone–Weierstrass theorem#CD4H, Weierstrass approximation theorem (statement)
History
- 2026-11-02: add by m2/dev
7APSZCF2ZR 7APSZCF2ZR
| URI | m2://inv/7APSZCF2ZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38793#O0UX (statement). In T2N92YSY5R/e1, theorem 4.10
History
- 2026-10-30: add by m2/v0.4.12
Holtsmark distribution 7AQ4QFS9S8
| URI | m2://inv/7AQ4QFS9S8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#6CWG, Holtsmark distribution (definition)
History
- 2026-11-02: add by m2/dev
7AQ9N8QKT6 7AQ9N8QKT6
| URI | m2://inv/7AQ9N8QKT6 |
|---|---|
| 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.02963#GX1J (statement). In FN8MJK3C6K/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
The positive vacuum of every word: the propagated eigenvector 7AQBTN41B5
| URI | m2://inv/7AQBTN41B5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#D0N5, The positive vacuum of every word: the propagated eigenvector (statement). In 11JNM66Z09/e1, theorem 6.4
History
- 2026-10-28: add by m2/v0.4.2
Notation 7AQEJCFAM9
| URI | m2://inv/7AQEJCFAM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of set identities and relations#V95B, Notation (definition)
History
- 2026-11-02: add by m2/dev
7AQFPY6JX6 7AQFPY6JX6
| URI | m2://inv/7AQFPY6JX6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03004#JN7Q (statement). In 81SMTFDWJ9/e1, lemma C.2
History
- 2026-10-29: add by m2/v0.4.12
Aspect ratio 7AQS0ZCHQ9
| URI | m2://inv/7AQS0ZCHQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aspect ratio, Aspect ratio (definition). Also Wikidata Q3420076
History
- 2026-11-02: add by m2/dev
Pseudo-finite field 7AQW694E4A
| URI | m2://inv/7AQW694E4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-finite field, Pseudo-finite field (definition). Also Wikidata Q7254434
History
- 2026-11-02: add by m2/dev
symplectic geometry 7AQZBJME99
| URI | m2://inv/7AQZBJME99 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2190991, symplectic geometry (topic). Also MathWorld SymplecticGeometry, nLab symplectic geometry
- wikipedia: Wikipedia Symplectic geometry, Symplectic geometry (topic). Also Wikidata Q2190991
History
- 2026-10-26: add by m2/dev
7AR1TMWTXZ 7AR1TMWTXZ
| URI | m2://inv/7AR1TMWTXZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40096#NXRN (statement). In XFE35F9NEV/e1, proposition 2.11
History
- 2026-10-30: add by m2/v0.4.12
7AR2HAMPED 7AR2HAMPED
| URI | m2://inv/7AR2HAMPED |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#example-1 (example). In RZP28ERRZV, example, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Hilbert symbol 7AR32DVTP5
| URI | m2://inv/7AR32DVTP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic constructions#6IST, Hilbert symbol (definition)
History
- 2026-11-02: add by m2/dev
Varimax rotation 7AR4ADM306
| URI | m2://inv/7AR4ADM306 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Varimax rotation, Varimax rotation (definition). Also Wikidata Q2168094
History
- 2026-11-02: add by m2/dev
7AR9P83DNV 7AR9P83DNV
| URI | m2://inv/7AR9P83DNV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#BASK (statement). In 5E9G06XJKC/e1, lemma C.12
History
- 2026-10-28: add by m2/v0.4.2
Horn decomposition 7ARPAMD1JS
| URI | m2://inv/7ARPAMD1JS |
|---|---|
| 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 2609.31189#8A20, Horn decomposition (statement). In 2D061MTT04/e1, theorem 5.1
History
- 2026-10-31: add by m2/v0.5.6
Elena Mantovan 7ARPPXYK5X
| URI | m2://inv/7ARPPXYK5X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elena Mantovan, Elena Mantovan (topic). Also Wikidata Q102112854
History
- 2026-11-02: add by m2/dev
7ARRZXPVS8 7ARRZXPVS8
| URI | m2://inv/7ARRZXPVS8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.17066#1R9N (statement). In X2AEJAQEP8/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.5
7ARVEM6D0K 7ARVEM6D0K
| URI | m2://inv/7ARVEM6D0K |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#UPXV (unknown). In QNBFHFZ3H0/e1, unknown 28
History
- 2026-10-28: add by m2/v0.4.2
Applications 7ARY32ZQ0V
| URI | m2://inv/7ARY32ZQ0V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schönhardt polyhedron#EMTP, Applications (example)
History
- 2026-11-02: add by m2/dev
Marcel Grossmann 7AS02W45BJ
| URI | m2://inv/7AS02W45BJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#H7S1, Marcel Grossmann (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6FWD, Marcel Grossmann (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XD1X, Marcel Grossmann (topic)
History
- 2026-11-02: add by m2/dev
List of complex and algebraic surfaces 7AS22H01T8
| URI | m2://inv/7AS22H01T8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces, List of complex and algebraic surfaces (topic). Also Wikidata Q6612579
History
- 2026-11-02: add by m2/dev
7AS6C2NAF2 7AS6C2NAF2
| URI | m2://inv/7AS6C2NAF2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 30.2
History
- 2026-11-01: add by m2/v0.6.13
7AS8EXSF58 7AS8EXSF58
| URI | m2://inv/7AS8EXSF58 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25080#VS9V (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uniform tree 7ASE2SNWG2
| URI | m2://inv/7ASE2SNWG2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform tree, Uniform tree (definition). Also Wikidata Q7885123
History
- 2026-11-02: add by m2/dev
Formal definition 7ASKMB1ZST
| URI | m2://inv/7ASKMB1ZST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete lattice#PSSW, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Bulk and pre-hard-edge ranges 7ASP5KZE93
| URI | m2://inv/7ASP5KZE93 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#KETM, Bulk and pre-hard-edge ranges (statement)
History
- 2026-11-01: add by m2/v0.6.15
7ASVR0WX91 7ASVR0WX91
| URI | m2://inv/7ASVR0WX91 |
|---|---|
| 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.14838#AER7 (statement). In J7ZX3WWRQP/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Grothendieck–Katz p-curvature conjecture 7ATFKJBFG5
| URI | m2://inv/7ATFKJBFG5 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck–Katz p-curvature conjecture, Grothendieck–Katz p-curvature conjecture (conjecture). Also Wikidata Q17019427
History
- 2026-11-02: add by m2/dev
Krylov subspace 7ATS4J5J9J
| URI | m2://inv/7ATS4J5J9J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krylov subspace, Krylov subspace (definition). Also Wikidata Q1757151
History
- 2026-11-02: add by m2/dev
7ATVV5A4QN 7ATVV5A4QN
| URI | m2://inv/7ATVV5A4QN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#0M3Z (definition). In 5KR3MHYVV6/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Sampling of species problem 7ATZ59QJC8
| URI | m2://inv/7ATZ59QJC8 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in statistics#9OWT, Sampling of species problem (problem)
History
- 2026-11-02: add by m2/dev
7AV5GM0Q1Y 7AV5GM0Q1Y
| URI | m2://inv/7AV5GM0Q1Y |
|---|---|
| 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.15421#OGCX (statement). In 3RBKH0DA74/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Looman–Menchoff theorem 7AV6DWPRN5
| URI | m2://inv/7AV6DWPRN5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#MFXT, Looman–Menchoff theorem (statement)
History
- 2026-11-02: add by m2/dev
Information-theoretic security 7AVKJW39AT
| URI | m2://inv/7AVKJW39AT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information-theoretic security, Information-theoretic security (definition). Also Wikidata Q3510462
History
- 2026-11-02: add by m2/dev
Fabius function 7AVRD95HA7
| URI | m2://inv/7AVRD95HA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fabius function, Fabius function (definition). Also Wikidata Q5427896
History
- 2026-11-02: add by m2/dev
Finite-time SDE Lyapunov envelope 7AVSDVT0BR
| URI | m2://inv/7AVSDVT0BR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18739#6HBA, Finite-time SDE Lyapunov envelope (statement). In VGJXQRC44C/e1, lemma 14
History
- 2026-10-28: add by m2/v0.4.2
7AW2TX826X 7AW2TX826X
| URI | m2://inv/7AW2TX826X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#LN9N (example)
History
- 2026-11-02: add by m2/v0.6.17
7AW3R3CHEK 7AW3R3CHEK
| URI | m2://inv/7AW3R3CHEK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21491#SM06 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Circumscribed circle 7AW3ZY3BKQ
| URI | m2://inv/7AW3ZY3BKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of circle topics#SPR1, Circumscribed circle (definition)
History
- 2026-11-02: add by m2/dev
Judy Green (mathematician) 7AW6TVEH0C
| URI | m2://inv/7AW6TVEH0C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#31OG, Judy Green (mathematician) (topic)
History
- 2026-11-02: add by m2/dev
Open questions 7AW937DF80
| URI | m2://inv/7AW937DF80 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Language identification in the limit#TDNF, Open questions (statement)
History
- 2026-11-02: add by m2/dev
Capacitary bounds for the degeneracy sets 7AW9HWN83E
| URI | m2://inv/7AW9HWN83E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#NSW1, Capacitary bounds for the degeneracy sets (statement). In 9JHMTYGWFQ/e1, theorem 1.8
History
- 2026-10-27: add by m2/v0.3.6
7AW9XED2AD 7AW9XED2AD
| URI | m2://inv/7AW9XED2AD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2507.20176#03VB (definition). In CX4WDA2KAR/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Regularity of invisible solutions 7AWAPKAGNP
| URI | m2://inv/7AWAPKAGNP |
|---|---|
| Kind | statement |
| 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 2610.11968#55P2, Regularity of invisible solutions (statement). In X6E7P2ACAS/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.3
7AWC40AHP9 7AWC40AHP9
| URI | m2://inv/7AWC40AHP9 |
|---|---|
| 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.11939#MP23 (statement). In DQMEN40FZV/e1, lemma 13
History
- 2026-10-28: add by m2/v0.4.3
7AWFH2ACHR 7AWFH2ACHR
| URI | m2://inv/7AWFH2ACHR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/partial-functions.tex#ex-1 (example). In PKGMM3P5QY, ex, section 79.3
History
- 2026-11-01: add by m2/v0.6.13
7AWGA6BVER 7AWGA6BVER
| URI | m2://inv/7AWGA6BVER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1606.05058#YIFA (statement). In V6392C0ANF/e1, theorem C.2
History
- 2026-10-27: add by m2/v0.3.5
Extensions 7AWPQ1TSC3
| URI | m2://inv/7AWPQ1TSC3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deligne cohomology#LP9X, Extensions (statement)
History
- 2026-11-02: add by m2/dev
loop 7AWT7WGN69
| URI | m2://inv/7AWT7WGN69 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1/loop, loop (concept). In N54F33XE07, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
proof assistant 7AWVQC2ACK
| URI | m2://inv/7AWVQC2ACK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11387554, proof assistant (unknown). Also nLab proof assistant
- wikipedia: Wikipedia Proof assistant, Proof assistant (definition). Also Wikidata Q11387554
History
- 2026-10-26: add by m2/dev
7AWXNX58EW 7AWXNX58EW
| URI | m2://inv/7AWXNX58EW |
|---|---|
| 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.14582#B14G (statement). In 6XP6PD2XZA/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Source partition 7AX49W93KZ
| URI | m2://inv/7AX49W93KZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31811#0IJG, Source partition (statement). In A8ZBZW9RNA/e1, lemma 5.8
History
- 2026-10-31: add by m2/v0.5.6
Irene Sciriha 7AXAB4467D
| URI | m2://inv/7AXAB4467D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irene Sciriha, Irene Sciriha (topic). Also Wikidata Q86756309
History
- 2026-11-02: add by m2/dev
History of audio compression 7AXDAECQWP
| URI | m2://inv/7AXDAECQWP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data compression#FYXR, History of audio compression (unknown)
History
- 2026-11-02: add by m2/dev
7AXE6PD4W6 7AXE6PD4W6
| URI | m2://inv/7AXE6PD4W6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-conc.ptx#exercise-16 (exercise). In Y91XFCEVHQ, exercise, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
The error bound in the metastable seminorm 7AXFZ4AFYV
| URI | m2://inv/7AXFZ4AFYV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40214#I4OS, The error bound in the metastable seminorm (statement). In XD603HRHKC/e1, proposition B.7
History
- 2026-10-30: add by m2/v0.4.12
7AXVTHJQ9Y 7AXVTHJQ9Y
| URI | m2://inv/7AXVTHJQ9Y |
|---|---|
| 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.21359#GGJ8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
A coupling to one repeated bit 7AXXKFRV8Y
| URI | m2://inv/7AXXKFRV8Y |
|---|---|
| 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#50NQ, A coupling to one repeated bit (statement). In 9YAE8FNQST/e1, corollary 24.10
History
- 2026-10-30: add by m2/v0.4.12
Manuel Polo y Peyrolón 7AY2WRSBJN
| URI | m2://inv/7AY2WRSBJN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manuel Polo y Peyrolón, Manuel Polo y Peyrolón (topic). Also Wikidata Q5649233
History
- 2026-11-02: add by m2/dev
cdh topology 7AY44V09HR
| URI | m2://inv/7AY44V09HR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies on the category of schemes#C6RT, cdh topology (definition)
History
- 2026-11-02: add by m2/dev
Order automorphism 7AYBMJFYNY
| URI | m2://inv/7AYBMJFYNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#WTIU, Order automorphism (definition)
History
- 2026-11-02: add by m2/dev
7AYD2BYQGT 7AYD2BYQGT
| URI | m2://inv/7AYD2BYQGT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#QY12 (example). In 6HJQXZS0A6/e1, example 2.9
History
- 2026-10-29: add by m2/v0.4.12
trimagic square 7AYSVF8WX5
| URI | m2://inv/7AYSVF8WX5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2940415, trimagic square (unknown). Also MathWorld TrimagicSquare
History
- 2026-10-26: add by m2/dev
Ulam spiral 7AYVNHTMH8
| URI | m2://inv/7AYVNHTMH8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q842172, Ulam spiral (concept). Also MathWorld PrimeSpiral, OEIS A143856
- wikipedia: Wikipedia Ulam spiral, Ulam spiral (definition). Also Wikidata Q842172
History
- 2026-10-26: add by m2/dev
Tammo tom Dieck 7AZ1MFJZAR
| URI | m2://inv/7AZ1MFJZAR |
|---|---|
| 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 Q2391720, Tammo tom Dieck (unknown). Also nLab Tammo tom Dieck
- wikipedia: Wikipedia Tammo tom Dieck, Tammo tom Dieck (topic). Also Wikidata Q2391720
History
- 2026-10-26: add by m2/dev
7AZ3P3XM9N 7AZ3P3XM9N
| URI | m2://inv/7AZ3P3XM9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40023#HPNN (statement). In JW9ARS9AQE/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Nikulin 7AZ4JKSRG1
| URI | m2://inv/7AZ4JKSRG1 |
|---|---|
| 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.16408#GM2U, Nikulin (statement). In VGQ2QT73ZF/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
7AZ4VX338R 7AZ4VX338R
| URI | m2://inv/7AZ4VX338R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09810#CIYN (definition). In B6PCH930FV/e1, definition 19
History
- 2026-10-29: add by m2/v0.4.10
Leonard Eugene Dickson 7AZ8A2DDKX
| URI | m2://inv/7AZ8A2DDKX |
|---|---|
| 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 Q891058, Leonard Eugene Dickson (unknown). Also nLab Leonard Dickson
- wikipedia: Wikipedia Leonard Eugene Dickson, Leonard Eugene Dickson (topic). Also Wikidata Q891058
History
- 2026-10-26: add by m2/dev
Texas A&M University 7AZ8M7T5YT
| URI | m2://inv/7AZ8M7T5YT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of United States regional mathematics competitions#OM5P, Texas A&M University (unknown)
History
- 2026-11-02: add by m2/dev
Hans Rademacher 7AZJJPCYCE
| URI | m2://inv/7AZJJPCYCE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Rademacher, Hans Rademacher (topic). Also Wikidata Q68554
History
- 2026-11-02: add by m2/dev
7AZK3F9V0M 7AZK3F9V0M
| URI | m2://inv/7AZK3F9V0M |
|---|---|
| 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.17541#XVY0 (statement). In 9PHDBFMHH6/e1, proposition 5.4
History
- 2026-10-28: add by m2/v0.4.2
Universality 7AZY6ZG6QA
| URI | m2://inv/7AZY6ZG6QA |
|---|---|
| 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.20431#PN51, Universality (statement)
History
- 2026-11-02: add by m2/v0.6.18
7AZY7FXNKQ 7AZY7FXNKQ
| URI | m2://inv/7AZY7FXNKQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2503.01567#YR6S (statement). In GB0V23Q6C5/e1, proposition 1.6
History
- 2026-10-27: add by m2/v0.3.5