Inventory rows FJ
The cards of the rows of the inventory whose ids start with FJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Piatykhatky, Dnipropetrovsk Oblast FJ02YV188W
| URI | m2://inv/FJ02YV188W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#LWZO, Piatykhatky, Dnipropetrovsk Oblast (unknown)
History
- 2026-11-02: add by m2/dev
Bohm interpretation FJ08Q12KC9
| URI | m2://inv/FJ08Q12KC9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#9EFL, Bohm interpretation (definition)
History
- 2026-11-02: add by m2/dev
FJ0BY5P8TS FJ0BY5P8TS
| URI | m2://inv/FJ0BY5P8TS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26852#M22T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations FJ0DCD0ZSC
| URI | m2://inv/FJ0DCD0ZSC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximation error#PUIU, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Harvey Friedman FJ0JCSS5Q6
| URI | m2://inv/FJ0JCSS5Q6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#856I, Harvey Friedman (topic)
History
- 2026-11-02: add by m2/dev
Mechthild Stoer FJ0SGYWXD8
| URI | m2://inv/FJ0SGYWXD8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mechthild Stoer, Mechthild Stoer (topic). Also Wikidata Q102177760
History
- 2026-11-02: add by m2/dev
FJ0WMD99MT FJ0WMD99MT
| URI | m2://inv/FJ0WMD99MT |
|---|---|
| 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 2104.04145#P8FC (statement). In 7TNHVC586V/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
square root of 3 FJ0X50SSD3
| URI | m2://inv/FJ0X50SSD3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1150815, square root of 3 (object). Also MathWorld TheodorussConstant, OEIS A002194
- wikipedia: Wikipedia Square root of 3, Square root of 3 (definition). Also Wikidata Q1150815
History
- 2026-10-26: add by m2/dev
Smoothing of $K$ and invertibility on modal spaces FJ15D2QHVP
| URI | m2://inv/FJ15D2QHVP |
|---|---|
| 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.08764#PN7X, Smoothing of $K$ and invertibility on modal spaces (statement). In QVFHS1C9BW/e1, lemma \thethrm
History
- 2026-10-29: add by m2/v0.4.10
FJ172V1EYV FJ172V1EYV
| URI | m2://inv/FJ172V1EYV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.05499#2LFU (example). In WRMNCC8VBC/e1, example 20
History
- 2026-10-27: add by m2/v0.3.6
Theorem FJ17QQW5X8
| URI | m2://inv/FJ17QQW5X8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pusey–Barrett–Rudolph theorem#51CK, Theorem (statement)
History
- 2026-11-02: add by m2/dev
394 (number) FJ1C230QBE
| URI | m2://inv/FJ1C230QBE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#VYWD, 394 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Norman Levinson FJ1CVCZ599
| URI | m2://inv/FJ1CVCZ599 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9FEC, Norman Levinson (topic)
History
- 2026-11-02: add by m2/dev
FJ1F91KE6B FJ1F91KE6B
| URI | m2://inv/FJ1F91KE6B |
|---|---|
| Kind | definition |
| 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#defn-1 (definition). In PKGMM3P5QY, defn, section 79.3
History
- 2026-11-01: add by m2/v0.6.13
Second-order Ward addition identity FJ1FNZEQ5R
| URI | m2://inv/FJ1FNZEQ5R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20593#RSS1, Second-order Ward addition identity (statement). In 7GMD8J4200/e1, corollary 13
History
- 2026-10-27: add by m2/v0.4.2
Definition FJ1H5AXBG2
| URI | m2://inv/FJ1H5AXBG2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pascal matrix#QZHI, Definition (definition)
History
- 2026-11-02: add by m2/dev
FJ1NCFJD5P FJ1NCFJD5P
| URI | m2://inv/FJ1NCFJD5P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1406.2996#MDP8 (statement). In 6XENXFC77F/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.5
Eyeball search FJ1QM3GNXT
| URI | m2://inv/FJ1QM3GNXT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Visual inspection#JYJR, Eyeball search (unknown)
History
- 2026-11-02: add by m2/dev
FJ1TBGFPW1 FJ1TBGFPW1
| URI | m2://inv/FJ1TBGFPW1 |
|---|---|
| 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.20126#Q765 (statement). In KVXDWX9B11/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
FJ1VJW6RM5 FJ1VJW6RM5
| URI | m2://inv/FJ1VJW6RM5 |
|---|---|
| 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.12053#H1IL (statement). In MQ226ETRP6/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.3
A variant with a uniform variance bound FJ22WBA30F
| URI | m2://inv/FJ22WBA30F |
|---|---|
| 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.12641#KBEI, A variant with a uniform variance bound (statement). In X5BYGZZHPF/e1, lemma M.2
History
- 2026-10-28: add by m2/v0.4.2
FJ25VGCRJB FJ25VGCRJB
| URI | m2://inv/FJ25VGCRJB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0009023#HXQX (statement). In S937GXH9AS/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Statistical finance FJ2862M9E8
| URI | m2://inv/FJ2862M9E8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DEWS, Statistical finance (definition)
History
- 2026-11-02: add by m2/dev
Definition FJ2A97XSS2
| URI | m2://inv/FJ2A97XSS2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Case–control study#X0EN, Definition (definition)
History
- 2026-11-02: add by m2/dev
FJ2BE7WNK9 FJ2BE7WNK9
| URI | m2://inv/FJ2BE7WNK9 |
|---|---|
| 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.21005#RKMN (statement). In E63NRC7MBE/e1, lemma 2.18
History
- 2026-10-27: add by m2/v0.4.2
Niyogi, Partha FJ2DPG11W6
| URI | m2://inv/FJ2DPG11W6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#Z4RL, Niyogi, Partha (unknown)
History
- 2026-11-02: add by m2/dev
Orbit trap FJ2E6XTZ1Z
| URI | m2://inv/FJ2E6XTZ1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbit trap, Orbit trap (definition). Also Wikidata Q7100052
History
- 2026-11-02: add by m2/dev
Symmetry FJ2J2KM2C0
| URI | m2://inv/FJ2J2KM2C0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta distribution#1AGA, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Example FJ2MASC1DR
| URI | m2://inv/FJ2MASC1DR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imaginary hyperelliptic curve#LBE6, Example (example)
History
- 2026-11-02: add by m2/dev
FJ34NCYRGS FJ34NCYRGS
| URI | m2://inv/FJ34NCYRGS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-functions.ptx#example-2 (example). In Y91XFCEVHQ, example, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
FJ38KMR4KB FJ38KMR4KB
| URI | m2://inv/FJ38KMR4KB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27771#RFBF (statement)
History
- 2026-11-01: add by m2/v0.6.15
FJ38Q4KDB5 FJ38Q4KDB5
| URI | m2://inv/FJ38Q4KDB5 |
|---|---|
| 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.36113#DGDZ (statement). In FSGSVD0XYH/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
FJ3CH6GME4 FJ3CH6GME4
| URI | m2://inv/FJ3CH6GME4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#59OP (statement). In 48QX0QD0XR/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.3
(2,3,7) triangle group FJ3FZNJDR4
| URI | m2://inv/FJ3FZNJDR4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia (2,3,7) triangle group, (2,3,7) triangle group (definition). Also Wikidata Q4542150
History
- 2026-11-02: add by m2/dev
Construction FJ3PPGAZF6
| URI | m2://inv/FJ3PPGAZF6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biorthogonal system#H5W1, Construction (definition)
History
- 2026-11-02: add by m2/dev
FJ3Q2JHGNZ FJ3Q2JHGNZ
| URI | m2://inv/FJ3Q2JHGNZ |
|---|---|
| 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 1011.1990#XMQV (statement). In GV0JBN5DWQ/e1, lemma D.4
History
- 2026-10-27: add by m2/v0.3.5
Definition FJ3WF1VJ7R
| URI | m2://inv/FJ3WF1VJ7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalence of categories#RZSL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Algebraic realization of the cotangent-difference forms FJ45FKBDEK
| URI | m2://inv/FJ45FKBDEK |
|---|---|
| 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.04214#8XIW, Algebraic realization of the cotangent-difference forms (statement). In HWY7AQ4KT2/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
FJ48WB8P0P FJ48WB8P0P
| URI | m2://inv/FJ48WB8P0P |
|---|---|
| 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 2510.23812#J4LP (statement). In D8XZBXJPR5/e1, corollary 3.8
History
- 2026-10-27: add by m2/v0.3.5
Example FJ494684NJ
| URI | m2://inv/FJ494684NJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer complexity#KCY7, Example (example)
History
- 2026-11-02: add by m2/dev
Jury stability criterion FJ4AXXKDYN
| URI | m2://inv/FJ4AXXKDYN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jury stability criterion, Jury stability criterion (statement). Also Wikidata Q3697760
History
- 2026-11-02: add by m2/dev
convenience sampling FJ4EEM9HQR
| URI | m2://inv/FJ4EEM9HQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#OE7Y, convenience sampling (definition)
History
- 2026-11-02: add by m2/dev
FJ4EFVG5A7 FJ4EFVG5A7
| URI | m2://inv/FJ4EFVG5A7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13358#9ZRI (statement). In QHT28GABDG/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
FJ4H2K4Z89 FJ4H2K4Z89
| URI | m2://inv/FJ4H2K4Z89 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07790#AQTN (statement). In A5YJDDM0NX/e1, corollary 3.5
History
- 2026-10-29: add by m2/v0.4.10
Generalized Pareto distribution FJ4KPN68V8
| URI | m2://inv/FJ4KPN68V8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#441X, Generalized Pareto distribution (definition)
History
- 2026-11-02: add by m2/dev
Definition FJ4M2822D8
| URI | m2://inv/FJ4M2822D8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Behrend sequence#725X, Definition (definition)
History
- 2026-11-02: add by m2/dev
Scharlemann--Wu FJ4Q2M3VYV
| URI | m2://inv/FJ4Q2M3VYV |
|---|---|
| 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.08145#R7V2, Scharlemann--Wu (statement). In N0QVPPFFC3/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Properties FJ4SV7TGH9
| URI | m2://inv/FJ4SV7TGH9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplace distribution#EGGL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Analytic polynomial approximation FJ4WXRYT7M
| URI | m2://inv/FJ4WXRYT7M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06875#9B90, Analytic polynomial approximation (statement). In ZDT5J9KQVQ/e1, lemma H.1
History
- 2026-10-29: add by m2/v0.4.10
trivium FJ51H0AFX4
| URI | m2://inv/FJ51H0AFX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q205186, trivium (unknown). Also MathWorld Trivium
- wikipedia: Wikipedia Trivium, Trivium (definition). Also Wikidata Q205186
History
- 2026-10-26: add by m2/dev
Definitions FJ56GF4TAT
| URI | m2://inv/FJ56GF4TAT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mason's gain formula#X2ET, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Formulation FJ5BW67YEM
| URI | m2://inv/FJ5BW67YEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kac ring#PNJM, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Vector operator FJ5CBBTGKD
| URI | m2://inv/FJ5CBBTGKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector operator, Vector operator (definition). Also Wikidata Q7917838
History
- 2026-11-02: add by m2/dev
increasing FJ5M4BW35S
| URI | m2://inv/FJ5M4BW35S |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.6.1/increasing, increasing (concept). In 907G4C4EJ1, index, section 1.6.1
History
- 2026-11-01: add by m2/v0.6.13
Jacob Cohen FJ5RGX96A4
| URI | m2://inv/FJ5RGX96A4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacob Cohen (statistician), Jacob Cohen (topic). Also Wikidata Q1677450
History
- 2026-11-02: add by m2/dev
Classification invariants FJ5SDMW6AC
| URI | m2://inv/FJ5SDMW6AC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20593#N3LQ, Classification invariants (statement). In 7GMD8J4200/e1, corollary 19
History
- 2026-10-27: add by m2/v0.4.2
FJ67NTTWMY FJ67NTTWMY
| URI | m2://inv/FJ67NTTWMY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36313#7NNG (statement). In Z5SP3NW41S/e1, fact 2.5
History
- 2026-10-30: add by m2/v0.4.12
FJ69DWBBY7 FJ69DWBBY7
| URI | m2://inv/FJ69DWBBY7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.39593#61YA (statement). In BF0RYHPMS1/e1, theorem 6.4
History
- 2026-10-30: add by m2/v0.4.12
Higher-rank quaternionic Poincar\'e problem FJ69YQVFBB
| URI | m2://inv/FJ69YQVFBB |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#2J5E, Higher-rank quaternionic Poincar\'e problem (problem)
History
- 2026-11-01: add by m2/v0.6.15
FJ6DT531S3 FJ6DT531S3
| URI | m2://inv/FJ6DT531S3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#AHGI (statement). In X9WFC1D9ZS/e1, proposition 37
History
- 2026-10-27: add by m2/v0.4.2
Constructions FJ6RMZ11C9
| URI | m2://inv/FJ6RMZ11C9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bent function#ES0U, Constructions (definition)
History
- 2026-11-02: add by m2/dev
FJ72DZ57YS FJ72DZ57YS
| URI | m2://inv/FJ72DZ57YS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21256#KH9J (statement)
History
- 2026-11-02: add by m2/v0.6.18
FJ7340Q214 FJ7340Q214
| URI | m2://inv/FJ7340Q214 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#8SGC (statement)
History
- 2026-11-01: add by m2/v0.6.15
FJ74X632KE FJ74X632KE
| URI | m2://inv/FJ74X632KE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#XL9M (example). In 46370P3Y9S/e1, example 6.6
History
- 2026-10-27: add by m2/v0.4.2
Discrete stochastic wave equations, continued FJ79KBPVRE
| URI | m2://inv/FJ79KBPVRE |
|---|---|
| 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 2610.14717#LDWI, Discrete stochastic wave equations, continued (example). In ZB2QPB5EBN/e1, example 4.10
History
- 2026-10-28: add by m2/v0.4.2
FJ7A11FFEC FJ7A11FFEC
| URI | m2://inv/FJ7A11FFEC |
|---|---|
| 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.17608#QBM5 (statement). In VAGWC38NSF/e1, corollary 0.2
History
- 2026-10-28: add by m2/v0.4.2
Orthogonality of Hadamard characters, Theorem 1.5 FJ7G9D310C
| URI | m2://inv/FJ7G9D310C |
|---|---|
| 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.21033#RKGE, Orthogonality of Hadamard characters, Theorem 1.5 (statement). In A8C1M9BSWH/e1, lemma C.1
History
- 2026-10-27: add by m2/v0.4.2
FJ7H94NHY2 FJ7H94NHY2
| URI | m2://inv/FJ7H94NHY2 |
|---|---|
| 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 2609.23972#ER9J (statement)
History
- 2026-11-02: add by m2/v0.6.17
FJ7TAE9PT9 FJ7TAE9PT9
| URI | m2://inv/FJ7TAE9PT9 |
|---|---|
| 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.12371#6K7M (statement). In 8TTFQH19QR/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
Edgeworth series FJ7YZQ80JS
| URI | m2://inv/FJ7YZQ80JS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7WDE, Edgeworth series (definition)
- wikipedia: Wikipedia List of probability topics#Z5F5, Edgeworth series (definition)
History
- 2026-11-02: add by m2/dev
FJ831ET14F FJ831ET14F
| URI | m2://inv/FJ831ET14F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 2503.00440#LXZX (statement). In 3HMRK8KEVD/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.6
FJ85VXAFE8 FJ85VXAFE8
| URI | m2://inv/FJ85VXAFE8 |
|---|---|
| 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.01803#TZKZ (statement). In J6N4X33BME/e1, proposition 13
History
- 2026-10-29: add by m2/v0.4.12
FJ889VD354 FJ889VD354
| URI | m2://inv/FJ889VD354 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-46 (exercise). In E9HS8K3A52, exercise, section 5.4.4
History
- 2026-11-01: add by m2/v0.6.13
Adiantum FJ8P8854KX
| URI | m2://inv/FJ8P8854KX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adiantum (cipher), Adiantum (definition). Also Wikidata Q60772781
History
- 2026-11-02: add by m2/dev
FJ8R5C1Z3B FJ8R5C1Z3B
| URI | m2://inv/FJ8R5C1Z3B |
|---|---|
| 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.16883#WUAQ (statement). In TYS9N30M63/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
FJ8VFHSWXC FJ8VFHSWXC
| URI | m2://inv/FJ8VFHSWXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23872#AMYN (statement)
History
- 2026-11-02: add by m2/v0.6.17
Graph rewriting FJ8XM68SDH
| URI | m2://inv/FJ8XM68SDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph rewriting, Graph rewriting (definition). Also Wikidata Q1508564
History
- 2026-11-02: add by m2/dev
Fricke involution FJ915709D9
| URI | m2://inv/FJ915709D9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5503396, Fricke involution (concept). Also LMFDB knowl cmf.fricke
- wikipedia: Wikipedia Fricke involution, Fricke involution (definition). Also Wikidata Q5503396
History
- 2026-10-26: add by m2/dev
Hyperbolic Riemann surface FJ98MYDDDE
| URI | m2://inv/FJ98MYDDDE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann surface#63E9, Hyperbolic Riemann surface (unknown)
History
- 2026-11-02: add by m2/dev
Examples FJ9F94X05M
| URI | m2://inv/FJ9F94X05M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-group (category theory)#3J65, Examples (example)
History
- 2026-11-02: add by m2/dev
FJ9H00PRYB FJ9H00PRYB
| URI | m2://inv/FJ9H00PRYB |
|---|---|
| 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#KSTE (statement). In 3N9E9T6AF5/e1, theorem 5.6
History
- 2026-10-30: add by m2/v0.4.12
Geometrothermodynamics FJ9VRHQ4BR
| URI | m2://inv/FJ9VRHQ4BR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometrothermodynamics, Geometrothermodynamics (definition). Also Wikidata Q5535512
History
- 2026-11-02: add by m2/dev
FJA41N0VWD FJA41N0VWD
| URI | m2://inv/FJA41N0VWD |
|---|---|
| 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.39103#R1PP (statement). In VGB0N93ES8/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
FJA8CCM88F FJA8CCM88F
| URI | m2://inv/FJA8CCM88F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31090#8SMT (statement). In SMTJDX0Q6R/e1, lemma 8.3
History
- 2026-10-31: add by m2/v0.5.6
Large $p$ FJA9CANWJ5
| URI | m2://inv/FJA9CANWJ5 |
|---|---|
| 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.37479#LHCR, Large $p$ (statement). In P3RTT99C41/e1, theorem 7.15
History
- 2026-10-30: add by m2/v0.4.12
Use FJAT325KSA
| URI | m2://inv/FJAT325KSA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Programming language#09ZO, Use (example)
History
- 2026-11-02: add by m2/dev
Communications in Statistics - Simulation and Computation FJAYHR9YYP
| URI | m2://inv/FJAYHR9YYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#ANML, Communications in Statistics - Simulation and Computation (definition)
History
- 2026-11-02: add by m2/dev
Colombian Mathematical Society FJB2PVAPF8
| URI | m2://inv/FJB2PVAPF8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#LJ01, Colombian Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
Local theory FJB4S8ZGDJ
| URI | m2://inv/FJB4S8ZGDJ |
|---|---|
| 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.02933#5LPH, Local theory (statement). In QSYZKPFRAN/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.12
All branches and generic truth differ FJB5KXBMH4
| URI | m2://inv/FJB5KXBMH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#B52V, All branches and generic truth differ (statement). In 5PN85N6EJF/e1, proposition 6.3
History
- 2026-10-31: add by m2/v0.5.6
Examples FJBJH25RMR
| URI | m2://inv/FJBJH25RMR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bunyakovsky conjecture#MDHL, Examples (example)
History
- 2026-11-02: add by m2/dev
Normalized common-shift invariance FJBMPAZKQE
| URI | m2://inv/FJBMPAZKQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15176#GR91, Normalized common-shift invariance (statement). In RKV0144CGA/e1, proposition 9.1
History
- 2026-10-28: add by m2/v0.4.2
Order-6 cubic honeycomb FJBPEK83SF
| URI | m2://inv/FJBPEK83SF |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#649Z, Order-6 cubic honeycomb (object)
History
- 2026-11-02: add by m2/dev
The Gaussian initial-error cost FJBT0ENEJM
| URI | m2://inv/FJBT0ENEJM |
|---|---|
| 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.09356#11K1, The Gaussian initial-error cost (statement). In 3VVGPXWH6R/e1, proposition C.13
History
- 2026-10-29: add by m2/v0.4.10
Algorithms for Recovery and Isolation Exploiting Semantics FJCGH5TCMP
| URI | m2://inv/FJCGH5TCMP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#57SM, Algorithms for Recovery and Isolation Exploiting Semantics (unknown)
History
- 2026-11-02: add by m2/dev
Arthur Hobbs FJCPG0A4ED
| URI | m2://inv/FJCPG0A4ED |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur Hobbs (mathematician), Arthur Hobbs (topic). Also Wikidata Q16864023
History
- 2026-11-02: add by m2/dev
Supporting hyperplanes and strict convexity FJCW20YPAH
| URI | m2://inv/FJCW20YPAH |
|---|---|
| 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.17519#FSYU, Supporting hyperplanes and strict convexity (statement). In H2DNTQ5MKV/e1, corollary 2.5
History
- 2026-10-28: add by m2/v0.4.2
Situation theory FJCYB62P6R
| URI | m2://inv/FJCYB62P6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Situation theory, Situation theory (definition). Also Wikidata Q7532152
History
- 2026-11-02: add by m2/dev
FJD7E7HP59 FJD7E7HP59
| URI | m2://inv/FJD7E7HP59 |
|---|---|
| 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.32176#ZITZ (statement). In N9F5R2PV0E/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
Judith Roitman FJD89N1VDG
| URI | m2://inv/FJD89N1VDG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7N28, Judith Roitman (topic)
History
- 2026-11-02: add by m2/dev
FJDA4XRZWY FJDA4XRZWY
| URI | m2://inv/FJDA4XRZWY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13877#3QZ5 (definition). In NBMA6DBKJG/e1, definition 4.6
History
- 2026-10-28: add by m2/v0.4.2
FJDC5R0Y18 FJDC5R0Y18
| URI | m2://inv/FJDC5R0Y18 |
|---|---|
| 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.09694#EDZL (statement). In 7VXBVQ5SAC/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
FJDKNQP365 FJDKNQP365
| URI | m2://inv/FJDKNQP365 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32207#QRNC (definition). In R94G9XD5AC/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
Needleman–Wunsch algorithm FJDNGH9R05
| URI | m2://inv/FJDNGH9R05 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#DX7V, Needleman–Wunsch algorithm (definition)
History
- 2026-11-02: add by m2/dev
FJDPKV3T0Y FJDPKV3T0Y
| URI | m2://inv/FJDPKV3T0Y |
|---|---|
| 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.08288#J656 (statement). In CHVWYJM7RM/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
Number needed to harm FJDZWSHR18
| URI | m2://inv/FJDZWSHR18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Number needed to harm, Number needed to harm (definition). Also Wikidata Q7069573
History
- 2026-11-02: add by m2/dev
FJE3QBPHJM FJE3QBPHJM
| URI | m2://inv/FJE3QBPHJM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#proof-25 (proof). In E59CDZA4DP, proof, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
Examples FJE9M4SG6F
| URI | m2://inv/FJE9M4SG6F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double (manifold)#M5CS, Examples (example)
History
- 2026-11-02: add by m2/dev
False nearest neighbor algorithm FJECEN2QE0
| URI | m2://inv/FJECEN2QE0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia False nearest neighbor algorithm, False nearest neighbor algorithm (definition). Also Wikidata Q5426780
History
- 2026-11-02: add by m2/dev
Estimation of covariance matrices FJECSFSB16
| URI | m2://inv/FJECSFSB16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estimation of covariance matrices, Estimation of covariance matrices (definition). Also Wikidata Q5401390
History
- 2026-11-02: add by m2/dev
Simultaneous Schatten rounding FJETG0GYEY
| URI | m2://inv/FJETG0GYEY |
|---|---|
| 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#I1ZU, Simultaneous Schatten rounding (statement). In 9YAE8FNQST/e1, theorem 8.1
History
- 2026-10-30: add by m2/v0.4.12
Kent distribution FJETPFDKEN
| URI | m2://inv/FJETPFDKEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kent distribution, Kent distribution (definition). Also Wikidata Q3258332
History
- 2026-11-02: add by m2/dev
FJEYJMBX26 FJEYJMBX26
| URI | m2://inv/FJEYJMBX26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#A7QR (statement). In CC6S1HVK0T/e1, proposition 5.34
History
- 2026-10-28: add by m2/v0.4.2
A fixed program for twin-prime counting FJF019K20Y
| URI | m2://inv/FJF019K20Y |
|---|---|
| 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.13365#SSZE, A fixed program for twin-prime counting (statement). In YMBTSX10FF/e1, theorem 3.8
History
- 2026-10-28: add by m2/v0.4.2
upper half-plane FJF15JH537
| URI | m2://inv/FJF15JH537 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Upper half-plane X6XGGH5FPW |
Mentions
- wikidata: Wikidata Q3258885, upper half-plane (unknown). Also LMFDB knowl mf.upper_half_plane, MathWorld UpperHalf-Plane, nLab upper half-plane
- wikipedia: Wikipedia Upper half-plane, Upper half-plane (definition). Also Wikidata Q3258885
History
- 2026-10-26: add by m2/dev
FJF3WSFNG9 FJF3WSFNG9
| URI | m2://inv/FJF3WSFNG9 |
|---|---|
| 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.07890#2JOA (statement). In 6F3GSDT2V1/e1, proposition 5.16
History
- 2026-10-29: add by m2/v0.4.10
Peter Gabriel Bergmann FJF80VW2DT
| URI | m2://inv/FJF80VW2DT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2YD4, Peter Gabriel Bergmann (unknown)
History
- 2026-11-02: add by m2/dev
FJFD4XDRAT FJFD4XDRAT
| URI | m2://inv/FJFD4XDRAT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.11346#L4KR (statement). In ZW58VE9XE3/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Example FJFEP5CVTA
| URI | m2://inv/FJFEP5CVTA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integrally convex set#ON5C, Example (example)
History
- 2026-11-02: add by m2/dev
FJFERAC4RW FJFERAC4RW
| URI | m2://inv/FJFERAC4RW |
|---|---|
| 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.03864#3DCN (definition). In 41GB65CTBJ/e1, definition A5
History
- 2026-10-29: add by m2/v0.4.12
FJFF27DB3D FJFF27DB3D
| URI | m2://inv/FJFF27DB3D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04117#CFZF (definition). In 65E9N3DFYP/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
fluid dynamics FJFF8K18NB
| URI | m2://inv/FJFF8K18NB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q216320, fluid dynamics (definition). Also ProofWiki Definition:Fluid_Dynamics
- wikipedia: Wikipedia Fluid dynamics, Fluid dynamics (definition). Also Wikidata Q216320
History
- 2026-10-26: add by m2/dev
FJFGMBA2YV FJFGMBA2YV
| URI | m2://inv/FJFGMBA2YV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20410#XRM2 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Calabi triangle FJFHCNPQN5
| URI | m2://inv/FJFHCNPQN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5018300, Calabi triangle (unknown). Also MathWorld CalabisTriangle
- wikipedia: Wikipedia Calabi triangle, Calabi triangle (definition). Also Wikidata Q5018300
History
- 2026-10-26: add by m2/dev
Definition FJFHSXWYV3
| URI | m2://inv/FJFHSXWYV3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermi–Dirac prime#8277, Definition (definition)
History
- 2026-11-02: add by m2/dev
FJFJGVD72Z FJFJGVD72Z
| URI | m2://inv/FJFJGVD72Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 10.7
History
- 2026-11-01: add by m2/v0.6.13
Problem of multiple generality FJFPCBS84P
| URI | m2://inv/FJFPCBS84P |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Problem of multiple generality, Problem of multiple generality (problem). Also Wikidata Q7246960
History
- 2026-11-02: add by m2/dev
FJFRPSPZAM FJFRPSPZAM
| URI | m2://inv/FJFRPSPZAM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#10K4 (statement). In 67GE5M1GGD/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
FJFWRS87BZ FJFWRS87BZ
| URI | m2://inv/FJFWRS87BZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21535#0YNT (statement)
History
- 2026-11-02: add by m2/v0.6.18
FJFY705S4V FJFY705S4V
| URI | m2://inv/FJFY705S4V |
|---|---|
| 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.06381#ZLTA (statement). In X9JKBDHACW/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Nearest neighbor search FJFZAAAJYJ
| URI | m2://inv/FJFZAAAJYJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#PPJA, Nearest neighbor search (unknown)
History
- 2026-11-02: add by m2/dev
FJFZSSH9PE FJFZSSH9PE
| URI | m2://inv/FJFZSSH9PE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#YR0B (definition). In WJD9YPGGYH/e1, definition 4.3
History
- 2026-10-27: add by m2/v0.3.5
FJG1AJ3WG5 FJG1AJ3WG5
| URI | m2://inv/FJG1AJ3WG5 |
|---|---|
| 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.22218#BQ38 (statement). In 338GKREFVP/e1, lemma 32
History
- 2026-10-27: add by m2/v0.4.0
FJGAACEKHK FJGAACEKHK
| URI | m2://inv/FJGAACEKHK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#N6EI (statement)
History
- 2026-11-02: add by m2/v0.6.17
FJGC330ZQC FJGC330ZQC
| URI | m2://inv/FJGC330ZQC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#theorem-1 (statement). In P1C114YBXG, theorem, section K
History
- 2026-11-01: add by m2/v0.6.13
FJGKTGCR6V FJGKTGCR6V
| URI | m2://inv/FJGKTGCR6V |
|---|---|
| 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.13850#0RQ6 (statement). In KJY735KSMF/e1, corollary E
History
- 2026-10-28: add by m2/v0.4.2
Rational surface FJGQBFP7NM
| URI | m2://inv/FJGQBFP7NM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#SB7X, Rational surface (definition)
History
- 2026-11-02: add by m2/dev
FJGTR59DQH FJGTR59DQH
| URI | m2://inv/FJGTR59DQH |
|---|---|
| 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.28540#N8MV (statement)
History
- 2026-11-01: add by m2/v0.6.15
FJGZEJ8MRD FJGZEJ8MRD
| URI | m2://inv/FJGZEJ8MRD |
|---|---|
| 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 2212.14457#GOVV (statement). In PNRHHWGHM2/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.3.6
Axiality and rhombicity FJHBXZHQTS
| URI | m2://inv/FJHBXZHQTS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiality and rhombicity, Axiality and rhombicity (definition). Also Wikidata Q4830456
History
- 2026-11-02: add by m2/dev
FJHE86HAS9 FJHE86HAS9
| URI | m2://inv/FJHE86HAS9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20028#UAU1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
FJHG681BD2 FJHG681BD2
| URI | m2://inv/FJHG681BD2 |
|---|---|
| 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.23339#2VWY (statement)
History
- 2026-11-02: add by m2/v0.6.17
Takeshi Amemiya FJHGGMVAMY
| URI | m2://inv/FJHGGMVAMY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#Y37A, Takeshi Amemiya (unknown)
History
- 2026-11-02: add by m2/dev
Variations FJHH2NQ2CT
| URI | m2://inv/FJHH2NQ2CT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geothermal gradient#H3XH, Variations (statement)
History
- 2026-11-02: add by m2/dev
Rational algebraic integers are rational integers FJHTPQ0MYY
| URI | m2://inv/FJHTPQ0MYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/numfield.tex#proposition-1, Rational algebraic integers are rational integers (statement). In RZP28ERRZV, proposition, section 16.2
History
- 2026-11-01: add by m2/v0.6.13
FJHWCXYHEJ FJHWCXYHEJ
| URI | m2://inv/FJHWCXYHEJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/provability-propositional.tex#prop:provability-lor (statement). In PKGMM3P5QY, prop, section 22.8
History
- 2026-11-01: add by m2/v0.6.13
FJJ3Q96GER FJJ3Q96GER
| URI | m2://inv/FJJ3Q96GER |
|---|---|
| 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.31104#WP91 (statement). In 67NFPNF39Y/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
Bidirectional type checking FJJ4BS96Y3
| URI | m2://inv/FJJ4BS96Y3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simply typed lambda calculus#P8KH, Bidirectional type checking (unknown)
History
- 2026-11-02: add by m2/dev
rational surface FJJ5DVNZJ2
| URI | m2://inv/FJJ5DVNZJ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 4 |
| Outcome | open |
| Node | Rational surface 55A4A53TRF |
Mentions
- mathlib_1000: mathlib_1000 Q208756, Castelnuovo theorem (statement). Also Wikidata Q208756
- thousand_plus: thousand_plus Q208756, Castelnuovo theorem (statement). Also Wikidata Q208756, Wikipedia Castelnuovo theorem
- wikidata: Wikidata Q208756, rational surface (unknown). Also EoM Rational_surface
- wikipedia: Wikipedia Rational surface, Rational surface (definition). Also Wikidata Q208756
History
- 2026-10-26: add by m2/dev
Rule 158 FJJ6P2KEY4
| URI | m2://inv/FJJ6P2KEY4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary cellular automaton#Z3G3, Rule 158 (unknown)
History
- 2026-11-02: add by m2/dev
Numerical resistivity FJJ6S5XSJM
| URI | m2://inv/FJJ6S5XSJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical resistivity, Numerical resistivity (definition). Also Wikidata Q7069662
History
- 2026-11-02: add by m2/dev
Recursive set FJJ9VS29CD
| URI | m2://inv/FJJ9VS29CD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of sets#0V7M, Recursive set (definition)
History
- 2026-11-02: add by m2/dev
FJJB77HYBM FJJB77HYBM
| URI | m2://inv/FJJB77HYBM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/examples.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 3.20
History
- 2026-11-01: add by m2/v0.6.13
FJJC7RQW2A FJJC7RQW2A
| URI | m2://inv/FJJC7RQW2A |
|---|---|
| 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 2606.02312#UUJO (statement). In 1SZV94R22Y/e1, corollary 6.5
History
- 2026-10-27: add by m2/v0.3.5
Examples FJJGN11T3D
| URI | m2://inv/FJJGN11T3D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Period-doubling bifurcation#6G1A, Examples (example)
History
- 2026-11-02: add by m2/dev
FJJJEXYCT2 FJJJEXYCT2
| URI | m2://inv/FJJJEXYCT2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#M4TP (definition)
History
- 2026-11-02: add by m2/v0.6.17
Dmitry Shirkov FJJN6NV52N
| URI | m2://inv/FJJN6NV52N |
|---|---|
| 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 Q3182292, Dmitry Shirkov (unknown). Also nLab Dmitry Shirkov
History
- 2026-10-26: add by m2/dev
FJJW9ATKDH FJJW9ATKDH
| URI | m2://inv/FJJW9ATKDH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.14214#2OZP (statement). In SY85Y9E45A/e1, fact 2
History
- 2026-10-27: add by m2/v0.3.5
FJJWBZ1385 FJJWBZ1385
| URI | m2://inv/FJJWBZ1385 |
|---|---|
| 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#9RSF (statement). In X88HPQ0W8C/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.5
FJJWYW5RZN FJJWYW5RZN
| URI | m2://inv/FJJWYW5RZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37698#7KIJ (statement). In HA2GG72C23/e1, theorem 2.8
History
- 2026-10-30: add by m2/v0.4.12
FJK2VEK8TY FJK2VEK8TY
| URI | m2://inv/FJK2VEK8TY |
|---|---|
| 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.19535#50C5 (statement). In MJXSE9QR4X/e1, lemma A.5
History
- 2026-10-28: add by m2/v0.4.2
Balanced ternary FJK3911CCD
| URI | m2://inv/FJK3911CCD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numeral system topics#2VOH, Balanced ternary (definition)
History
- 2026-11-02: add by m2/dev
FJKF0C4FME FJKF0C4FME
| URI | m2://inv/FJKF0C4FME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2609.21670#6T15 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Characterization FJKTRRCQ6B
| URI | m2://inv/FJKTRRCQ6B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase-type distribution#4FH8, Characterization (statement)
History
- 2026-11-02: add by m2/dev
Genus 0 surface FJKY59Y9FM
| URI | m2://inv/FJKY59Y9FM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of solids derived from the sphere#2Q44, Genus 0 surface (definition)
History
- 2026-11-02: add by m2/dev
FJM9SN5YGD FJM9SN5YGD
| URI | m2://inv/FJM9SN5YGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37920#IBVB (statement). In GZPF8R6BBF/e1, theorem 3.5
History
- 2026-10-30: add by m2/v0.4.12
FJMATENXXQ FJMATENXXQ
| URI | m2://inv/FJMATENXXQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-5.xml#question-1 (example). In 649HGZKE96, question, section 4.5.3
History
- 2026-11-01: add by m2/v0.6.13
FJMDZ6Y6JD FJMDZ6Y6JD
| URI | m2://inv/FJMDZ6Y6JD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14600#LG7E (statement). In CJHTDS522P/e1, lemma 4.1.1
History
- 2026-10-28: add by m2/v0.4.2
Arbelos FJMF0134AS
| URI | m2://inv/FJMF0134AS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#4B15, Arbelos (definition)
- wikipedia: Wikipedia List of mathematical shapes#HR1N, Arbelos (definition)
History
- 2026-11-02: add by m2/dev
FJMKV4RHV0 FJMKV4RHV0
| URI | m2://inv/FJMKV4RHV0 |
|---|---|
| Kind | definition |
| 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.37112#M8K3 (definition). In 5B10HAY4C3/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Ludwig Wittgenstein FJMY2GVTMV
| URI | m2://inv/FJMY2GVTMV |
|---|---|
| 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 Q9391, Ludwig Wittgenstein (unknown). Also nLab Ludwig Wittgenstein, ProofWiki Mathematician:Ludwig_Josef_Johann_Wittgenstein
- wikipedia: Wikipedia Ludwig Wittgenstein, Ludwig Wittgenstein (topic). Also Wikidata Q9391
History
- 2026-10-26: add by m2/dev
HOLAP FJN03988C6
| URI | m2://inv/FJN03988C6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Online analytical processing#EB70, HOLAP (unknown)
History
- 2026-11-02: add by m2/dev
Anatoli Rybakov FJN7JJFQQ3
| URI | m2://inv/FJN7JJFQQ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#53WC, Anatoli Rybakov (unknown)
History
- 2026-11-02: add by m2/dev
Argument from incredulity FJNSF0E9QT
| URI | m2://inv/FJNSF0E9QT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#DIUC, Argument from incredulity (definition)
History
- 2026-11-02: add by m2/dev
FJPE7584RX FJPE7584RX
| URI | m2://inv/FJPE7584RX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36389#C6XS (definition). In N1S169J2MV/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
exponential sum FJPGCMH2BC
| URI | m2://inv/FJPGCMH2BC |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 11Lxx |
| Sources | 2 |
| Outcome | open |
| Node | Exponential sum 97PBMQCPPM |
Mentions
- wikidata: Wikidata Q4446020, exponential sum (topic). Also EoM Trigonometric_sum, MathWorld ExponentialSumFormulas
- wikipedia: Wikipedia Exponential sum, Exponential sum (definition). Also Wikidata Q4446020
History
- 2026-10-26: add by m2/dev
Variants FJPJAPKH47
| URI | m2://inv/FJPJAPKH47 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krull's theorem#K7OL, Variants (statement)
History
- 2026-11-02: add by m2/dev
Fractional Product Rule FJPN9Z8CD7
| URI | m2://inv/FJPN9Z8CD7 |
|---|---|
| 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 2107.00792#299O, Fractional Product Rule (statement). In TD16A541ZN/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Green's theorem FJPXRQ4C9R
| URI | m2://inv/FJPXRQ4C9R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean plane#GF46, Green's theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples FJPYF02TH6
| URI | m2://inv/FJPYF02TH6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof without words#WS2C, Examples (example)
History
- 2026-11-02: add by m2/dev
Alfred Hoblitzelle Clifford FJPYZ0H12Y
| URI | m2://inv/FJPYZ0H12Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5YFE, Alfred Hoblitzelle Clifford (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LMJH, Alfred Hoblitzelle Clifford (topic)
History
- 2026-11-02: add by m2/dev
FJQCY4F97Z FJQCY4F97Z
| URI | m2://inv/FJQCY4F97Z |
|---|---|
| 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.36922#4ZVL (statement). In BMHWE5QTTR/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
Generalized conceptual statement of the second law principle FJQET7QXSR
| URI | m2://inv/FJQET7QXSR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second law of thermodynamics#0FJ6, Generalized conceptual statement of the second law principle (statement)
History
- 2026-11-02: add by m2/dev
FJQTPR071S FJQTPR071S
| URI | m2://inv/FJQTPR071S |
|---|---|
| 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.23202#RWGH (statement)
History
- 2026-11-02: add by m2/v0.6.17
Exact coefficient factorization FJQXE1E2ED
| URI | m2://inv/FJQXE1E2ED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00396#UOL1, Exact coefficient factorization (statement). In V13TE1RWT9/e1, proposition A.5
History
- 2026-10-30: add by m2/v0.4.12
Definition FJR1S2B3WQ
| URI | m2://inv/FJR1S2B3WQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derived set (mathematics)#MKCJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
FJR4Q71GYP FJR4Q71GYP
| URI | m2://inv/FJR4Q71GYP |
|---|---|
| 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.34339#19EH (statement). In 9WFSTGMQ4E/e1, fact 5.1
History
- 2026-10-30: add by m2/v0.4.12
Algorithms FJRJJYM8EX
| URI | m2://inv/FJRJJYM8EX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice reduction#IVZ8, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
FJRN8PD55V FJRN8PD55V
| URI | m2://inv/FJRN8PD55V |
|---|---|
| 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.14839#0T9O (statement). In CYB41667NA/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
FJRSWTHR7A FJRSWTHR7A
| URI | m2://inv/FJRSWTHR7A |
|---|---|
| Kind | example |
| 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.21060#44XM (example)
History
- 2026-11-02: add by m2/v0.6.18
Kaprekar's constant FJRTTS88QG
| URI | m2://inv/FJRTTS88QG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#EILG, Kaprekar's constant (definition)
History
- 2026-11-02: add by m2/dev
Data collection FJRYHBQ4W7
| URI | m2://inv/FJRYHBQ4W7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data collection, Data collection (definition). Also Wikidata Q4929239
History
- 2026-11-02: add by m2/dev
Definition FJS5Y386G1
| URI | m2://inv/FJS5Y386G1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hecke character#ZEQT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Explanatory indispensability argument FJSCJ8NNDA
| URI | m2://inv/FJSCJ8NNDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Explanatory indispensability argument, Explanatory indispensability argument (definition). Also Wikidata Q130601909
History
- 2026-11-02: add by m2/dev
FJSJ96MKV0 FJSJ96MKV0
| URI | m2://inv/FJSJ96MKV0 |
|---|---|
| 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 2011.07352#GV1O (statement). In 3VPC1GGZ3E/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.3.5
Grothendieck group and extensions FJSPC1PF74
| URI | m2://inv/FJSPC1PF74 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck group#J5E9, Grothendieck group and extensions (statement)
History
- 2026-11-02: add by m2/dev
Stein manifold FJSQ2ZP5XP
| URI | m2://inv/FJSQ2ZP5XP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Stein manifold HMCD0JBFST |
Mentions
- wikidata: Wikidata Q931187, Stein manifold (unknown). Also EoM Stein_manifold, nLab Stein manifold
- wikipedia: Wikipedia Stein manifold, Stein manifold (definition). Also Wikidata Q931187
History
- 2026-10-26: add by m2/dev
Machine learning and data compression FJSTG9D1ZZ
| URI | m2://inv/FJSTG9D1ZZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data compression#TGCK, Machine learning and data compression (unknown)
History
- 2026-11-02: add by m2/dev
FJSWPZD8S0 FJSWPZD8S0
| URI | m2://inv/FJSWPZD8S0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#prop-8 (statement). In E59CDZA4DP, prop, section 10.4
History
- 2026-11-01: add by m2/v0.6.13
Applications FJSZ2K9ACK
| URI | m2://inv/FJSZ2K9ACK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bohemian matrices#6BBU, Applications (example)
History
- 2026-11-02: add by m2/dev
Keith Dienes FJT2DV1BB1
| URI | m2://inv/FJT2DV1BB1 |
|---|---|
| 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 Q105604472, Keith Dienes (unknown). Also nLab Keith Dienes
History
- 2026-10-26: add by m2/dev
MLwiN FJT3BVNT10
| URI | m2://inv/FJT3BVNT10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#XBY1, MLwiN (definition)
History
- 2026-11-02: add by m2/dev
Failure of Tonelli's theorem for non σ-finite spaces FJTCYJ117F
| URI | m2://inv/FJTCYJ117F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fubini's theorem#X74V, Failure of Tonelli's theorem for non σ-finite spaces (statement)
History
- 2026-11-02: add by m2/dev
complete elliptic integral of the first kind FJTR95Q7DW
| URI | m2://inv/FJTR95Q7DW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109752514, complete elliptic integral of the first kind (unknown). Also MathWorld CompleteEllipticIntegraloftheFirstKind
History
- 2026-10-26: add by m2/dev
Banburismus FJTTNY4HD5
| URI | m2://inv/FJTTNY4HD5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ETT6, Banburismus (definition)
History
- 2026-11-02: add by m2/dev
Small set (combinatorics) FJTWJFQ0MK
| URI | m2://inv/FJTWJFQ0MK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exceptional set concepts#E33E, Small set (combinatorics) (definition)
- wikipedia: Wikipedia List of number theory topics#WO9S, Small set (combinatorics) (definition)
History
- 2026-11-02: add by m2/dev
List of derivatives and integrals in alternative calculi FJV73WBC38
| URI | m2://inv/FJV73WBC38 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#G0ZI, List of derivatives and integrals in alternative calculi (topic)
History
- 2026-11-02: add by m2/dev
Stochastic merit-function remainder FJV80W21XN
| URI | m2://inv/FJV80W21XN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18428#IOXR, Stochastic merit-function remainder (statement). In 6BGSQT7SV8/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
Theorem FJVA1KXN34
| URI | m2://inv/FJVA1KXN34 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Gaussian distribution#FJ3I, Theorem (statement)
History
- 2026-11-02: add by m2/dev
William English Kirwan FJVG6D549G
| URI | m2://inv/FJVG6D549G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YE0Y, William English Kirwan (unknown)
History
- 2026-11-02: add by m2/dev
Making Mathematics Count FJVKE93495
| URI | m2://inv/FJVKE93495 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Making Mathematics Count, Making Mathematics Count (definition). Also Wikidata Q6739609
History
- 2026-11-02: add by m2/dev
Rothstein 1935 FJVKVMDQ7W
| URI | m2://inv/FJVKVMDQ7W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:Rothstein, Rothstein 1935 (statement). In VNMV985MXX, thm, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Ice-type model FJVQ9VVDN6
| URI | m2://inv/FJVQ9VVDN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ice-type model, Ice-type model (definition). Also Wikidata Q5985139
History
- 2026-11-02: add by m2/dev
Bullet-nose curve FJVRA9FGKF
| URI | m2://inv/FJVRA9FGKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#SKQ3, Bullet-nose curve (definition)
- wikipedia: Wikipedia List of curves#GYXH, Bullet-nose curve (definition)
History
- 2026-11-02: add by m2/dev
Definitions FJVST635D0
| URI | m2://inv/FJVST635D0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neighbourhood system#EYGH, Definitions (definition)
History
- 2026-11-02: add by m2/dev
FJW58A4QB3 FJW58A4QB3
| URI | m2://inv/FJW58A4QB3 |
|---|---|
| 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.15013#V88E (statement). In JB837X6D1Q/e1, corollary 5.4
History
- 2026-10-28: add by m2/v0.4.2
Lemma FJWEWRMDKV
| URI | m2://inv/FJWEWRMDKV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard factorization theorem#J2PM, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Silviu-Iulian Niculescu FJWH0WC933
| URI | m2://inv/FJWH0WC933 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Silviu-Iulian Niculescu, Silviu-Iulian Niculescu (topic). Also Wikidata Q119796829
History
- 2026-11-02: add by m2/dev
Paolo Straneo FJWHRCZAY3
| URI | m2://inv/FJWHRCZAY3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MWML, Paolo Straneo (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OPSV, Paolo Straneo (unknown)
History
- 2026-11-02: add by m2/dev
True experiment FJWSDE6C9C
| URI | m2://inv/FJWSDE6C9C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9N0K, True experiment (definition)
History
- 2026-11-02: add by m2/dev
Cauchy ratio test FJWXBST573
| URI | m2://inv/FJWXBST573 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#PHF2, Cauchy ratio test (definition)
History
- 2026-11-02: add by m2/dev
Proposition FJX288FX9E
| URI | m2://inv/FJX288FX9E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vitali–Hahn–Saks theorem#U7I5, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Formal definition FJX376NERM
| URI | m2://inv/FJX376NERM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex operator algebra#CPHS, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Theorem FJX391TXP0
| URI | m2://inv/FJX391TXP0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobol sequence#PUYZ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
FJX4T94CTA FJX4T94CTA
| URI | m2://inv/FJX4T94CTA |
|---|---|
| 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.17258#PPOV (statement). In F4M67ZVBF2/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
Geoffrey Thomas Bennett FJXBBQKVFX
| URI | m2://inv/FJXBBQKVFX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geoffrey Thomas Bennett, Geoffrey Thomas Bennett (topic). Also Wikidata Q21166458
History
- 2026-11-02: add by m2/dev
Uniform entropy-energy estimate with explicit time dependence FJXCBZR8EZ
| URI | m2://inv/FJXCBZR8EZ |
|---|---|
| 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.13613#4GZQ, Uniform entropy-energy estimate with explicit time dependence (statement). In 3HCT4TQ5PM/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
FJXGKDXP5P FJXGKDXP5P
| URI | m2://inv/FJXGKDXP5P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.06338#SZGX (definition). In W1VVK7WDPK/e1, definition 2.10
History
- 2026-10-27: add by m2/v0.4.0
Phone hacking FJXNAP98V5
| URI | m2://inv/FJXNAP98V5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phone hacking, Phone hacking (definition). Also Wikidata Q7187193
History
- 2026-11-02: add by m2/dev
Burrows–Abadi–Needham logic FJXZCA605Y
| URI | m2://inv/FJXZCA605Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burrows–Abadi–Needham logic, Burrows–Abadi–Needham logic (definition). Also Wikidata Q1016940
History
- 2026-11-02: add by m2/dev
FJXZTH6AZV FJXZTH6AZV
| URI | m2://inv/FJXZTH6AZV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#8WJM (statement). In PQHTR84RAJ/e1, lemma 5.13
History
- 2026-10-27: add by m2/v0.4.0
FJXZVY7XGN FJXZVY7XGN
| URI | m2://inv/FJXZVY7XGN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21692#2RZ7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Alternative definition FJYATWHD5Y
| URI | m2://inv/FJYATWHD5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbrand quotient#Z90J, Alternative definition (definition)
History
- 2026-11-02: add by m2/dev
Least-upper-bound property FJYDGV2MM9
| URI | m2://inv/FJYDGV2MM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#T4GH, Least-upper-bound property (definition)
History
- 2026-11-02: add by m2/dev
$\infty$-groupoid FJYH4VG7FS
| URI | m2://inv/FJYH4VG7FS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.1/infty-groupoid, $\infty$-groupoid (concept). In N54F33XE07, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
FJYJTPE767 FJYJTPE767
| URI | m2://inv/FJYJTPE767 |
|---|---|
| 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.09201#QKN0 (statement). In JQFPH09JG8/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.10
Predecessors and minimal collision-positive states FJYQB3RNRC
| URI | m2://inv/FJYQB3RNRC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22465#LGUQ, Predecessors and minimal collision-positive states (definition)
History
- 2026-11-02: add by m2/v0.6.17
FJYSXEZA7T FJYSXEZA7T
| URI | m2://inv/FJYSXEZA7T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.00590#VRRS (statement). In D3WTQN2F7B/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5
Thomas Claxton Fidler FJYYF5JBCA
| URI | m2://inv/FJYYF5JBCA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2N7O, Thomas Claxton Fidler (unknown)
History
- 2026-11-02: add by m2/dev
FJYZB01W9E FJYZB01W9E
| URI | m2://inv/FJYZB01W9E |
|---|---|
| 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 2607.28337#XTWV (statement). In 7ZJFWBTBKM/e1, proposition 3.2.2
History
- 2026-10-27: add by m2/v0.3.6
Deterministic Lossless Lifting FJZ0Z4YT0Q
| URI | m2://inv/FJZ0Z4YT0Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#OCPO, Deterministic Lossless Lifting (statement). In ZZER8ZBSCR/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.12
Orbit-stabilizer theorem FJZ27F4117
| URI | m2://inv/FJZ27F4117 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5RBF, Orbit-stabilizer theorem (definition)
History
- 2026-11-02: add by m2/dev
FJZ2AXV0BH FJZ2AXV0BH
| URI | m2://inv/FJZ2AXV0BH |
|---|---|
| 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#4SPX (definition). In CGA36VE1C5/e1, definition 5.3.1
History
- 2026-10-27: add by m2/v0.3.6
FJZ7ZMMJE0 FJZ7ZMMJE0
| URI | m2://inv/FJZ7ZMMJE0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-starsbars.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Ray transfer matrix analysis FJZCSBTSMG
| URI | m2://inv/FJZCSBTSMG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ray transfer matrix analysis, Ray transfer matrix analysis (definition). Also Wikidata Q1760601
History
- 2026-11-02: add by m2/dev
impulse FJZGA7J9JK
| URI | m2://inv/FJZGA7J9JK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q837940, impulse (definition). Also ProofWiki Definition:Impulse
- wikipedia: Wikipedia Impulse (physics), Impulse (definition). Also Wikidata Q837940
History
- 2026-10-26: add by m2/dev
FJZH5FGCGS FJZH5FGCGS
| URI | m2://inv/FJZH5FGCGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2503.19729#AK2Q (statement). In 40YZ43TS8K/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Impulse response FJZK77HDMG
| URI | m2://inv/FJZK77HDMG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Impulse response, Impulse response (definition). Also Wikidata Q1139726
History
- 2026-11-02: add by m2/dev
lower-diagonal-upper decomposition FJZM06K1Q0
| URI | m2://inv/FJZM06K1Q0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LU decomposition#TDYM, lower-diagonal-upper decomposition (definition)
History
- 2026-11-02: add by m2/dev
Prim's algorithm FJZRDBNTJA
| URI | m2://inv/FJZRDBNTJA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#BNHS, Prim's algorithm (definition)
History
- 2026-11-02: add by m2/dev