Inventory rows N7
The cards of the rows of the inventory whose ids start with N7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Moralistic fallacy N708XT4NWV
| URI | m2://inv/N708XT4NWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#C4FX, Moralistic fallacy (definition)
History
- 2026-11-02: add by m2/dev
530 (number) N709620QHX
| URI | m2://inv/N709620QHX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#ZDBH, 530 (number) (unknown)
History
- 2026-11-02: add by m2/dev
N70C3TRK7G N70C3TRK7G
| URI | m2://inv/N70C3TRK7G |
|---|---|
| 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.31798#KQFI (statement). In HPHBJ4Y04B/e1, lemma 2.6
History
- 2026-10-31: add by m2/v0.5.6
N70CASR71V N70CASR71V
| URI | m2://inv/N70CASR71V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-203 (exercise). In VNMV985MXX, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Informal N70CM2EC2B
| URI | m2://inv/N70CM2EC2B |
|---|---|
| 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.15815#52CM, Informal (statement). In 9C75CTY5C3/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Briar N70K9D7525
| URI | m2://inv/N70K9D7525 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Briar (software), Briar (definition). Also Wikidata Q18210428
History
- 2026-11-02: add by m2/dev
N70P5SBPH6 N70P5SBPH6
| URI | m2://inv/N70P5SBPH6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29877#CFYT (statement)
History
- 2026-11-01: add by m2/v0.6.15
N71HBZCCNQ N71HBZCCNQ
| URI | m2://inv/N71HBZCCNQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07445#L5MX (example). In F1BM3Q8125/e1, example 1.9
History
- 2026-10-29: add by m2/v0.4.10
N71P3HTXCN N71P3HTXCN
| URI | m2://inv/N71P3HTXCN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.05529#AIM2 (statement). In 9VPMHV0M4R/e1, theorem 3.12
History
- 2026-10-27: add by m2/v0.3.5
Galois group of the cyclotomic field N71PNM938J
| URI | m2://inv/N71PNM938J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#prob:galois_cyclotomic, Galois group of the cyclotomic field (exercise). In RZP28ERRZV, sproblem, section 14.6
History
- 2026-11-01: add by m2/v0.6.13
N71WWGK8FT N71WWGK8FT
| URI | m2://inv/N71WWGK8FT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03407#HH4X (statement). In MPGC7SNYAG/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
Circular motion N725C6C9TH
| URI | m2://inv/N725C6C9TH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#K25Z, Circular motion (definition)
History
- 2026-11-02: add by m2/dev
List of basic history of mathematics topics N72R554N8P
| URI | m2://inv/N72R554N8P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics#5HY2, List of basic history of mathematics topics (unknown)
History
- 2026-11-02: add by m2/dev
N72R6WZEQE N72R6WZEQE
| URI | m2://inv/N72R6WZEQE |
|---|---|
| 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 2610.22073#MOUP (statement). In MVWSXXCXB7/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.4.2
Cocker's Decimal Arithmetick N73GNSQ27N
| URI | m2://inv/N73GNSQ27N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cocker's Decimal Arithmetick, Cocker's Decimal Arithmetick (definition). Also Wikidata Q5139573
History
- 2026-11-02: add by m2/dev
N73MJBJ8V0 N73MJBJ8V0
| URI | m2://inv/N73MJBJ8V0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02993#NW2Q (statement). In TJH58FRGEN/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.12
Lucky prime N73N0E8S1T
| URI | m2://inv/N73N0E8S1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#2X4E, Lucky prime (definition)
History
- 2026-11-02: add by m2/dev
Hereditarianism N73V64EN9T
| URI | m2://inv/N73V64EN9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hereditarianism, Hereditarianism (definition). Also Wikidata Q3503927
History
- 2026-11-02: add by m2/dev
N73VZ9SA7T N73VZ9SA7T
| URI | m2://inv/N73VZ9SA7T |
|---|---|
| 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.26769#Y0R1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
N73XBC6W8H N73XBC6W8H
| URI | m2://inv/N73XBC6W8H |
|---|---|
| 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 alg-geom/9506022#LRHJ (statement). In AQGEM4XAKD/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
N73XHA3MG3 N73XHA3MG3
| URI | m2://inv/N73XHA3MG3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#JIPE (statement). In ABS9M47F4K/e1, corollary 3.38
History
- 2026-10-27: add by m2/v0.3.6
Convergence to a Local Min N7413P6ZW5
| URI | m2://inv/N7413P6ZW5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37489#9RIE, Convergence to a Local Min (statement). In 5ZC91T5PHQ/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Wall certificate at zero field N74DNEHHGB
| URI | m2://inv/N74DNEHHGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03823#4O60, Wall certificate at zero field (statement). In 3RQERTJKSF/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
Robert Osserman N74EHQS26X
| URI | m2://inv/N74EHQS26X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Osserman, Robert Osserman (topic). Also Wikidata Q981938
History
- 2026-11-02: add by m2/dev
N74KKD89AJ N74KKD89AJ
| URI | m2://inv/N74KKD89AJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20386#LW32 (statement). In 4WC4V49KAC/e1, corollary 1.9
History
- 2026-10-27: add by m2/v0.4.2
N74KYC2C6E N74KYC2C6E
| URI | m2://inv/N74KYC2C6E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#MYBM (statement). In XK6H7F2F13/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Applications N74NJ0H9E4
| URI | m2://inv/N74NJ0H9E4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DAP (software)#KY98, Applications (example)
History
- 2026-11-02: add by m2/dev
Infinite-dimensional zero spaces with prescribed finite insertion index N75CB461SY
| URI | m2://inv/N75CB461SY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37704#0WFV, Infinite-dimensional zero spaces with prescribed finite insertion index (statement). In HGTFJ325A4/e1, theorem 4.7
History
- 2026-10-30: add by m2/v0.4.12
Nicholas Shepherd-Barron N75H81NXD0
| URI | m2://inv/N75H81NXD0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicholas Shepherd-Barron, Nicholas Shepherd-Barron (topic). Also Wikidata Q470475
History
- 2026-11-02: add by m2/dev
Examples N75JCKGFPA
| URI | m2://inv/N75JCKGFPA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive permutation group#XQ94, Examples (example)
History
- 2026-11-02: add by m2/dev
Overconfidence effect N75JCXRTAY
| URI | m2://inv/N75JCXRTAY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overconfidence effect, Overconfidence effect (definition). Also Wikidata Q16503490
History
- 2026-11-02: add by m2/dev
Winnie Li N75PNDDQZ6
| URI | m2://inv/N75PNDDQZ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Taiwanese mathematicians#R248, Winnie Li (topic)
History
- 2026-11-02: add by m2/dev
N7642EE2WN N7642EE2WN
| URI | m2://inv/N7642EE2WN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32206#BRF6 (statement). In 3C4BQEVRM6/e1, lemma 2
History
- 2026-10-31: add by m2/v0.5.6
N764DCBB3H N764DCBB3H
| URI | m2://inv/N764DCBB3H |
|---|---|
| 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.26191#KH40 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples N76JMQV8EN
| URI | m2://inv/N76JMQV8EN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular form#K6ZT, Examples (example)
History
- 2026-11-02: add by m2/dev
7-cubic honeycomb N76NV991QB
| URI | m2://inv/N76NV991QB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#690I, 7-cubic honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#XNOO, 7-cubic honeycomb (definition)
History
- 2026-11-02: add by m2/dev
Graphon operator on measure profiles N76WCXG8NX
| URI | m2://inv/N76WCXG8NX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21710#WND1, Graphon operator on measure profiles (statement)
History
- 2026-11-02: add by m2/v0.6.18
Nonlinear correctors via contractions N76ZF5HVZ3
| URI | m2://inv/N76ZF5HVZ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#QBRN, Nonlinear correctors via contractions (statement). In 9JHMTYGWFQ/e1, lemma 10.2
History
- 2026-10-27: add by m2/v0.3.6
bit-plane complexity segmentation steganography N777391RAW
| URI | m2://inv/N777391RAW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of steganography techniques#6BAS, bit-plane complexity segmentation steganography (unknown)
History
- 2026-11-02: add by m2/dev
N777A3572D N777A3572D
| URI | m2://inv/N777A3572D |
|---|---|
| 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.20140#G9US (statement)
History
- 2026-11-02: add by m2/v0.6.18
Predicate functor logic N77HCGZGB2
| URI | m2://inv/N77HCGZGB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predicate functor logic, Predicate functor logic (definition). Also Wikidata Q7239631
History
- 2026-11-02: add by m2/dev
Category of manifolds N77MCEPJF9
| URI | m2://inv/N77MCEPJF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of manifolds, Category of manifolds (definition). Also Wikidata Q5051847
History
- 2026-11-02: add by m2/dev
N77MJ43N32 N77MJ43N32
| URI | m2://inv/N77MJ43N32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#Y9RD (definition)
History
- 2026-11-02: add by m2/dev
C-52 N77PQFJ7V9
| URI | m2://inv/N77PQFJ7V9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C-52 (cipher machine), C-52 (definition). Also Wikidata Q2014707
History
- 2026-11-02: add by m2/dev
Comon's conjecture N77QV1MR2C
| URI | m2://inv/N77QV1MR2C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comon's conjecture, Comon's conjecture (statement). Also Wikidata Q140590357
History
- 2026-11-02: add by m2/dev
Picard horn N77TWX6ZVE
| URI | m2://inv/N77TWX6ZVE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#LWRG, Picard horn (unknown)
History
- 2026-11-02: add by m2/dev
N77WXX6DEQ N77WXX6DEQ
| URI | m2://inv/N77WXX6DEQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-statements.ptx#example-6 (example). In Y91XFCEVHQ, example, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
Touchard's formula N77Y0G6022
| URI | m2://inv/N77Y0G6022 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ménage problem#PHMN, Touchard's formula (statement)
History
- 2026-11-02: add by m2/dev
small-world network N780Y2M8GD
| URI | m2://inv/N780Y2M8GD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q840026, small-world network (concept). Also MathWorld SmallWorldNetwork
- wikipedia: Wikipedia Small-world network, Small-world network (definition). Also Wikidata Q840026
History
- 2026-10-26: add by m2/dev
Premise variables retained in the conclusion N780Z648ZA
| URI | m2://inv/N780Z648ZA |
|---|---|
| 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 2609.33469#QY3U, Premise variables retained in the conclusion (statement). In TC5QA4AB4Z/e1, theorem 4.36
History
- 2026-10-30: add by m2/v0.4.12
N78D1YAQXB N78D1YAQXB
| URI | m2://inv/N78D1YAQXB |
|---|---|
| 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.23629#H275 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Ggplot2 N78D22E9WD
| URI | m2://inv/N78D22E9WD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#55N1, Ggplot2 (definition)
History
- 2026-11-02: add by m2/dev
N78D5A0BAY N78D5A0BAY
| URI | m2://inv/N78D5A0BAY |
|---|---|
| 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.10029#W44D (statement). In K7EAM152B0/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
4000 N78FH21PCT
| URI | m2://inv/N78FH21PCT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 4000 (number), 4000 (definition). Also Wikidata Q739023
History
- 2026-11-02: add by m2/dev
N78KV6H4YA N78KV6H4YA
| URI | m2://inv/N78KV6H4YA |
|---|---|
| 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.01912#CA6U (statement). In CTE1C9KYPY/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
N78ZE9928P N78ZE9928P
| URI | m2://inv/N78ZE9928P |
|---|---|
| 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.08480#WWB9 (statement). In R4EEE89C3S/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
Thomas Paul Hackett N78ZG8JCDB
| URI | m2://inv/N78ZG8JCDB |
|---|---|
| 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 Q90688286, Thomas Paul Hackett (unknown). Also nLab Thomas-Paul Hack
History
- 2026-10-26: add by m2/dev
NFA N791QFJ3GM
| URI | m2://inv/N791QFJ3GM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Formal languages > NFA, NFA (unknown). Also Mathlib NFA
History
- 2026-10-26: add by m2/dev
Mean defect criterion N792XXEEQ9
| URI | m2://inv/N792XXEEQ9 |
|---|---|
| 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.37375#ZOWC, Mean defect criterion (statement). In PV4Z2FRXRZ/e1, proposition 7.2
History
- 2026-10-30: add by m2/v0.4.12
N795W067QW N795W067QW
| URI | m2://inv/N795W067QW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09945#F605 (definition). In V7VCEA0VAA/e1, definition 2.10
History
- 2026-10-29: add by m2/v0.4.10
N796CGHFW3 N796CGHFW3
| URI | m2://inv/N796CGHFW3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#LXLF (statement). In V97F4YZ8B0/e1, lemma 8.8
History
- 2026-10-28: add by m2/v0.4.2
N79E4F080F N79E4F080F
| URI | m2://inv/N79E4F080F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#0UY1 (definition). In ESDKTYDHC8/e1, definition 31
History
- 2026-10-29: add by m2/v0.4.12
N79FD1SCMA N79FD1SCMA
| URI | m2://inv/N79FD1SCMA |
|---|---|
| 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 2610.22073#13NS (statement). In MVWSXXCXB7/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
Kayles N79G1GRZ34
| URI | m2://inv/N79G1GRZ34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kayles, Kayles (definition). Also Wikidata Q6380627
History
- 2026-11-02: add by m2/dev
N79HQ4A2Z3 N79HQ4A2Z3
| URI | m2://inv/N79HQ4A2Z3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10365#8WIE (statement). In PRVQPSBVHK/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
N79HQZA2VG N79HQZA2VG
| URI | m2://inv/N79HQZA2VG |
|---|---|
| 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.28669#4JDO (statement)
History
- 2026-11-01: add by m2/v0.6.15
hierarchy N79NQC98TX
| URI | m2://inv/N79NQC98TX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#8SBY, hierarchy (definition)
History
- 2026-11-02: add by m2/dev
Properties N79PTE08JP
| URI | m2://inv/N79PTE08JP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Identity component#HE3R, Properties (statement)
History
- 2026-11-02: add by m2/dev
metric signature N79SNX9T2B
| URI | m2://inv/N79SNX9T2B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q92079911, metric signature (unknown). Also MathWorld MetricSignature
History
- 2026-10-26: add by m2/dev
N79V3MZW28 N79V3MZW28
| URI | m2://inv/N79V3MZW28 |
|---|---|
| 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.04758#VXGR (statement). In DRWDJG2G3S/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.5
N79W2H1ED1 N79W2H1ED1
| URI | m2://inv/N79W2H1ED1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#VLBS (statement). In 7V3HG30ZGW/e1, proposition 5.15
History
- 2026-10-27: add by m2/v0.4.0
Triangular square number N7A0S9022R
| URI | m2://inv/N7A0S9022R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#5S2R, Triangular square number (definition)
History
- 2026-11-02: add by m2/dev
N7A1ME0YE8 N7A1ME0YE8
| URI | m2://inv/N7A1ME0YE8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39642#GRYD (statement). In QR49BK9EF1/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
N7A8H6AFWD N7A8H6AFWD
| URI | m2://inv/N7A8H6AFWD |
|---|---|
| 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.08753#ERQC (statement). In J9P361Z1CX/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.10
Cyclogon N7ACMYRATQ
| URI | m2://inv/N7ACMYRATQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclogon, Cyclogon (definition). Also Wikidata Q25304540
History
- 2026-11-02: add by m2/dev
Feasibility preservation under FKC N7ADQQWXTW
| URI | m2://inv/N7ADQQWXTW |
|---|---|
| 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.03071#4FEO, Feasibility preservation under FKC (statement). In Z2M4D55R57/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
N7ADSV1YHW N7ADSV1YHW
| URI | m2://inv/N7ADSV1YHW |
|---|---|
| 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.38548#TB8P (statement). In Z7ZFV3HM1S/e1, corollary 5.11
History
- 2026-10-30: add by m2/v0.4.12
Kai Behrend N7AF4YBR4F
| URI | m2://inv/N7AF4YBR4F |
|---|---|
| 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#MLSQ, Kai Behrend (topic)
History
- 2026-11-02: add by m2/dev
N7AP90EHSJ N7AP90EHSJ
| URI | m2://inv/N7AP90EHSJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/truth-at-w.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 55.2
History
- 2026-11-01: add by m2/v0.6.13
Corollary $4$ N7AQPFR9ZE
| URI | m2://inv/N7AQPFR9ZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.08272#JUD7, Corollary $4$ (statement). In H72E12TYHA/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.4.0
Type II estimates N7ASET48S8
| URI | m2://inv/N7ASET48S8 |
|---|---|
| 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.11487#JNSR, Type II estimates (statement). In 8S0K3Y25HM/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.3
Descent--Hamiltonian identity N7B2QA7063
| URI | m2://inv/N7B2QA7063 |
|---|---|
| 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.36548#MQRH, Descent--Hamiltonian identity (statement). In TEGEX298ZR/e1, proposition 3.5
History
- 2026-10-30: add by m2/v0.4.12
N7B3C3KRYY N7B3C3KRYY
| URI | m2://inv/N7B3C3KRYY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38741#AH9D (statement). In 1SQH3PTYMD/e1, proposition 4
History
- 2026-10-30: add by m2/v0.4.12
N7B3WZK9P0 N7B3WZK9P0
| URI | m2://inv/N7B3WZK9P0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20972#F8N1 (example). In 6SZE4MTXGZ/e1, example 4.8
History
- 2026-10-27: add by m2/v0.4.2
Statistics education N7B45D71WN
| URI | m2://inv/N7B45D71WN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RT7O, Statistics education (definition)
History
- 2026-11-02: add by m2/dev
N7BBV9Y4N1 N7BBV9Y4N1
| URI | m2://inv/N7BBV9Y4N1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29894#R2IJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
N7BEGW8Q5W N7BEGW8Q5W
| URI | m2://inv/N7BEGW8Q5W |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#TARA (unknown). In QNBFHFZ3H0/e1, unknown 44
History
- 2026-10-28: add by m2/v0.4.2
N7BF5A2TQ8 N7BF5A2TQ8
| URI | m2://inv/N7BF5A2TQ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#7I2W (statement)
History
- 2026-11-01: add by m2/v0.6.15
A non-holomorphic form: $d \ol z$ N7BGTWWTVD
| URI | m2://inv/N7BGTWWTVD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/forms.tex#example-3, A non-holomorphic form: $d \ol z$ (example). In RZP28ERRZV, example, section 84.2
History
- 2026-11-01: add by m2/v0.6.13
graded vector space N7BNDN3RJH
| URI | m2://inv/N7BNDN3RJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3058206, graded vector space (unknown). Also nLab graded vector space
- wikipedia: Wikipedia Graded vector space, Graded vector space (definition). Also Wikidata Q3058206
History
- 2026-10-26: add by m2/dev
Ring isomorphism N7BPZVAHCB
| URI | m2://inv/N7BPZVAHCB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring homomorphism#SOSV, Ring isomorphism (unknown)
History
- 2026-11-02: add by m2/dev
N7BTJMN2ND N7BTJMN2ND
| URI | m2://inv/N7BTJMN2ND |
|---|---|
| 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.04935#SO9H (statement). In 7WVPJVPQH2/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
N7BWBM7SJ6 N7BWBM7SJ6
| URI | m2://inv/N7BWBM7SJ6 |
|---|---|
| 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.04809#08LB (statement). In 2VHV0RNTNV/e1, theorem 7.21
History
- 2026-10-29: add by m2/v0.4.12
N7BZ8ZF7Z6 N7BZ8ZF7Z6
| URI | m2://inv/N7BZ8ZF7Z6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-5.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
N7C22FY8NH N7C22FY8NH
| URI | m2://inv/N7C22FY8NH |
|---|---|
| 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.18797#GV1A (statement). In HVZW77G66Z/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
N7C8DKS6Z9 N7C8DKS6Z9
| URI | m2://inv/N7C8DKS6Z9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.02777#DWGG (definition). In D8T5GDXERW/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
Chand, Rattan N7CJP4H2VQ
| URI | m2://inv/N7CJP4H2VQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#SMNK, Chand, Rattan (unknown)
History
- 2026-11-02: add by m2/dev
Eugène Dupréel N7D3ZDMK25
| URI | m2://inv/N7D3ZDMK25 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eugène Dupréel, Eugène Dupréel (topic). Also Wikidata Q351318
History
- 2026-11-02: add by m2/dev
Kurepa N7DFCVKKHN
| URI | m2://inv/N7DFCVKKHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#7G0K, Kurepa (definition)
History
- 2026-11-02: add by m2/dev
Ione Grogan N7DN5ZS0X8
| URI | m2://inv/N7DN5ZS0X8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ione Grogan, Ione Grogan (topic). Also Wikidata Q102400481
History
- 2026-11-02: add by m2/dev
N7DPJVXK2C N7DPJVXK2C
| URI | m2://inv/N7DPJVXK2C |
|---|---|
| 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.08480#67WZ (statement). In R4EEE89C3S/e1, theorem 4.10
History
- 2026-10-29: add by m2/v0.4.10
Field Axioms N7DQ7YR77B
| URI | m2://inv/N7DQ7YR77B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#axiom:field axioms, Field Axioms (statement). In P1C114YBXG, axioms, section u1
History
- 2026-11-01: add by m2/v0.6.13
Examples N7DS1W6X92
| URI | m2://inv/N7DS1W6X92 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edge cover#LTEY, Examples (example)
History
- 2026-11-02: add by m2/dev
Minkowski's first inequality found N7DWG1EK8Q
| URI | m2://inv/N7DWG1EK8Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.31331#M6R1, Minkowski's first inequality found (statement). In TWB64HRHWZ/e1, theorem 9
History
- 2026-10-31: add by m2/v0.5.6
N7E12TH1CQ N7E12TH1CQ
| URI | m2://inv/N7E12TH1CQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19812#6HH3 (statement). In ZS89RH18QM/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
N7E44999AE N7E44999AE
| URI | m2://inv/N7E44999AE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37589#75B4 (statement). In 18HVB2SKW1/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
propositional letter N7E4NAA1JZ
| URI | m2://inv/N7E4NAA1JZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#0XVU, propositional letter (definition)
History
- 2026-11-02: add by m2/dev
FKG inequality N7E4QT1JYM
| URI | m2://inv/N7E4QT1JYM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FKG inequality, FKG inequality (statement). Also Wikidata Q1784730
History
- 2026-11-02: add by m2/dev
Sohail Nadeem N7E51WT3S4
| URI | m2://inv/N7E51WT3S4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sohail Nadeem, Sohail Nadeem (topic). Also Wikidata Q85317753
History
- 2026-11-02: add by m2/dev
N7ED63ZZT3 N7ED63ZZT3
| URI | m2://inv/N7ED63ZZT3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10937#44S3 (definition). In 6VVK3YTABP/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.3
N7EWP02J4B N7EWP02J4B
| URI | m2://inv/N7EWP02J4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11047#G0OF (statement). In MNQAZ70XTH/e1, proposition 5.6
History
- 2026-10-28: add by m2/v0.4.3
Thomas Baxter (mathematician) N7EYMBV504
| URI | m2://inv/N7EYMBV504 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of circle topics#NZCU, Thomas Baxter (mathematician) (definition)
History
- 2026-11-02: add by m2/dev
Local entropy of rank-one spike classes N7F1AYPN2Q
| URI | m2://inv/N7F1AYPN2Q |
|---|---|
| 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.10840#RQCC, Local entropy of rank-one spike classes (statement). In JSJQEPY71E/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.3
N7F5PH4T19 N7F5PH4T19
| URI | m2://inv/N7F5PH4T19 |
|---|---|
| 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#4AI1 (statement). In 40YZ43TS8K/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.3.5
Western Hemisphere N7FBYQQE68
| URI | m2://inv/N7FBYQQE68 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q181982, Western Hemisphere (definition). Also ProofWiki Definition:Western_Hemisphere
History
- 2026-10-26: add by m2/dev
Frobenius norm N7FCHZDKCX
| URI | m2://inv/N7FCHZDKCX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1004053, Frobenius norm (unknown). Also MathWorld FrobeniusNorm
History
- 2026-10-26: add by m2/dev
N7FFX05H43 N7FFX05H43
| URI | m2://inv/N7FFX05H43 |
|---|---|
| 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.29304#4IJU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Real-order phase count N7FKB0YB7H
| URI | m2://inv/N7FKB0YB7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19461#Y7T3, Real-order phase count (statement). In D5X5P2QD6A/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Subspace clustering N7FMZ22TT8
| URI | m2://inv/N7FMZ22TT8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clustering high-dimensional data#3LFZ, Subspace clustering (unknown)
History
- 2026-11-02: add by m2/dev
Goodstein function N7FQME0K8Z
| URI | m2://inv/N7FQME0K8Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goodstein's theorem#ILY7, Goodstein function (unknown)
History
- 2026-11-02: add by m2/dev
essential singularity N7FRFRV19R
| URI | m2://inv/N7FRFRV19R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/essential-singularity, essential singularity (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
N7FRYYARAX N7FRYYARAX
| URI | m2://inv/N7FRYYARAX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#98XN (statement). In XK6H7F2F13/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
N7FY0GJF62 N7FY0GJF62
| URI | m2://inv/N7FY0GJF62 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24569#GEXU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ruslan L. Stratonovich N7FY18GH3G
| URI | m2://inv/N7FY18GH3G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#FSJ8, Ruslan L. Stratonovich (unknown)
History
- 2026-11-02: add by m2/dev
RMSProp N7GH32VKK3
| URI | m2://inv/N7GH32VKK3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic gradient descent#DPJT, RMSProp (unknown)
History
- 2026-11-02: add by m2/dev
N7GMKRTWM0 N7GMKRTWM0
| URI | m2://inv/N7GMKRTWM0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#8SM3 (statement). In RBQ5FNCVNZ/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
N7H649FNAD N7H649FNAD
| URI | m2://inv/N7H649FNAD |
|---|---|
| Kind | conjecture |
| 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#GADK (conjecture). In 9WFSTGMQ4E/e1, conjecture 6.2
History
- 2026-10-30: add by m2/v0.4.12
N7HG20279T N7HG20279T
| URI | m2://inv/N7HG20279T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.13888#ENO1 (statement). In 2G5K2GZTX7/e1, theorem 2.13
History
- 2026-10-27: add by m2/v0.4.0
N7HGNPZYNJ N7HGNPZYNJ
| URI | m2://inv/N7HGNPZYNJ |
|---|---|
| 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 2304.09819#BSAR (statement). In FYKSPSVT37/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.4.0
N7HJ25D1ES N7HJ25D1ES
| URI | m2://inv/N7HJ25D1ES |
|---|---|
| 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 1902.04230#MMOS (statement). In 22JZ68FGCW/e1, proposition 6.38
History
- 2026-10-27: add by m2/v0.3.5
width N7HMFR4BM5
| URI | m2://inv/N7HMFR4BM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q35059, width (definition). Also MathWorld Width, ProofWiki Definition:Linear_Measure/Breadth
History
- 2026-10-26: add by m2/dev
Hyperfinite equivalence relation N7J7CQGDE9
| URI | m2://inv/N7J7CQGDE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperfinite equivalence relation, Hyperfinite equivalence relation (definition). Also Wikidata Q113505001
History
- 2026-11-02: add by m2/dev
Hamid Naderi Yeganeh N7JBNW5SVX
| URI | m2://inv/N7JBNW5SVX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamid Naderi Yeganeh, Hamid Naderi Yeganeh (topic). Also Wikidata Q19663090
History
- 2026-11-02: add by m2/dev
Bregman–Minc inequality N7JBRR91D8
| URI | m2://inv/N7JBRR91D8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#Q49T, Bregman–Minc inequality (statement)
History
- 2026-11-02: add by m2/dev
Graphing N7JEGBWGSK
| URI | m2://inv/N7JEGBWGSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#785N, Graphing (definition)
History
- 2026-11-02: add by m2/dev
Mean of a function N7K1BRGSW5
| URI | m2://inv/N7K1BRGSW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean of a function, Mean of a function (definition). Also Wikidata Q4438530
History
- 2026-11-02: add by m2/dev
Trilinear interpolation N7K9NV4FW8
| URI | m2://inv/N7K9NV4FW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trilinear interpolation, Trilinear interpolation (definition). Also Wikidata Q861176
History
- 2026-11-02: add by m2/dev
Local form and contact formula N7KBBGP2YA
| URI | m2://inv/N7KBBGP2YA |
|---|---|
| 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.26152#4RYO, Local form and contact formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
Successive sampling on forests N7KCTVMJWQ
| URI | m2://inv/N7KCTVMJWQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13063#RO6U, Successive sampling on forests (statement). In R5AFFWBMAF/e1, corollary 4.9
History
- 2026-10-28: add by m2/v0.4.2
Example N7KVDRVXG5
| URI | m2://inv/N7KVDRVXG5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heron's formula#O1XQ, Example (example)
History
- 2026-11-02: add by m2/dev
Temporal maps N7KWJZK0D6
| URI | m2://inv/N7KWJZK0D6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29597#WQ57, Temporal maps (statement)
History
- 2026-11-01: add by m2/v0.6.15
N7M4B94Q03 N7M4B94Q03
| URI | m2://inv/N7M4B94Q03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.01567#Y4UI (statement). In GB0V23Q6C5/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
Barycenter of the visual measure N7MB9W8PPS
| URI | m2://inv/N7MB9W8PPS |
|---|---|
| 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.28014#VJI6, Barycenter of the visual measure (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tree diagram N7MCXW6JY7
| URI | m2://inv/N7MCXW6JY7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tree diagram (probability theory), Tree diagram (definition). Also Wikidata Q7837579
History
- 2026-11-02: add by m2/dev
J.H. Conway N7MV7C3B1X
| URI | m2://inv/N7MV7C3B1X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#SF4H, J.H. Conway (topic)
History
- 2026-11-02: add by m2/dev
Double extension by precomposed terms N7MZVDX6QJ
| URI | m2://inv/N7MZVDX6QJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#7V91, Double extension by precomposed terms (statement). In CPYWHRTPKC/e1, lemma 6.46
History
- 2026-10-27: add by m2/v0.4.2
N7N2AYMSCN N7N2AYMSCN
| URI | m2://inv/N7N2AYMSCN |
|---|---|
| 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#KUDS (statement). In 67GE5M1GGD/e1, proposition 6.5
History
- 2026-10-30: add by m2/v0.4.12
Stallings–Zeeman theorem N7N2Q2N4X6
| URI | m2://inv/N7N2Q2N4X6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#6FFB, Stallings–Zeeman theorem (statement)
History
- 2026-11-02: add by m2/dev
N7N4M4Q201 N7N4M4Q201
| URI | m2://inv/N7N4M4Q201 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17070#1SF8 (statement). In W3G9Z9B32N/e1, corollary 2.5
History
- 2026-10-28: add by m2/v0.4.2
N7NAG9K3G4 N7NAG9K3G4
| URI | m2://inv/N7NAG9K3G4 |
|---|---|
| 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.34876#2A7O (statement). In XXQAW3ZBDF/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
N7NBSEREEW N7NBSEREEW
| URI | m2://inv/N7NBSEREEW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#GCI2 (statement). In MRR92GQNZE/e1, proposition 3.7
History
- 2026-10-30: add by m2/v0.4.12
N7NC0JCN6C N7NC0JCN6C
| URI | m2://inv/N7NC0JCN6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.08237#QPSS (statement). In E22A2MFR4Y/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.6
A {\bf \texorpdfstring{$(3,3,\{X_i\}_{i\in[3]},\{f_i\}_{i\in[3]})$} Boolean computation broadcast model N7NMBSZ798
| URI | m2://inv/N7NMBSZ798 |
|---|---|
| Kind | example |
| 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.08202#MZUA, A {\bf \texorpdfstring{$(3,3,\{X_i\}_{i\in[3]},\{f_i\}_{i\in[3]})$} Boolean computation broadcast model (example). In N7XJ16700B/e1, example 4
History
- 2026-10-29: add by m2/v0.4.10
Truncus N7NP09B0M5
| URI | m2://inv/N7NP09B0M5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncus (mathematics), Truncus (definition). Also Wikidata Q7847941
History
- 2026-11-02: add by m2/dev
Cofreeness, Burklund--Schlank--Yuan N7NSSS6YS1
| URI | m2://inv/N7NSSS6YS1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18246#8W7C, Cofreeness, Burklund--Schlank--Yuan (statement). In SN6F0MPPVF/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.2
N7P3ZTTH0Z N7P3ZTTH0Z
| URI | m2://inv/N7P3ZTTH0Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10558#W19I (definition). In GYSF9JXQCH/e1, definition 5.3
History
- 2026-10-29: add by m2/v0.4.10
Harold Mead Stark N7P5WFF7P2
| URI | m2://inv/N7P5WFF7P2 |
|---|---|
| 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#G88T, Harold Mead Stark (topic)
History
- 2026-11-02: add by m2/dev
Victor Batyrev N7P7R6WHXY
| URI | m2://inv/N7P7R6WHXY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor Batyrev, Victor Batyrev (topic). Also Wikidata Q13522569
History
- 2026-11-02: add by m2/dev
Definition N7P9QTWQV8
| URI | m2://inv/N7P9QTWQV8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kullback–Leibler divergence#FXJ4, Definition (definition)
History
- 2026-11-02: add by m2/dev
N7PAA8NYBW N7PAA8NYBW
| URI | m2://inv/N7PAA8NYBW |
|---|---|
| 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.38865#KWX9 (statement). In TFZNHCE6EV/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Movement-to-optimization reduction N7PC0JPQ8F
| URI | m2://inv/N7PC0JPQ8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21880#QCEN, Movement-to-optimization reduction (statement)
History
- 2026-11-02: add by m2/v0.6.18
N7PGVAHSMB N7PGVAHSMB
| URI | m2://inv/N7PGVAHSMB |
|---|---|
| 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.14435#7RS8 (statement). In Y9FSN5BVNQ/e1, corollary 15
History
- 2026-10-28: add by m2/v0.4.2
N7PM8ZBYZB N7PM8ZBYZB
| URI | m2://inv/N7PM8ZBYZB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exact:example:2xyandxy (example). In E9HS8K3A52, example, section 4.8.1
History
- 2026-11-01: add by m2/v0.6.13
spectrum N7Q21TJYC6
| URI | m2://inv/N7Q21TJYC6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#1L1B, spectrum (definition)
History
- 2026-11-02: add by m2/dev
N7QEF9RVKQ N7QEF9RVKQ
| URI | m2://inv/N7QEF9RVKQ |
|---|---|
| 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.23343#LGGL (statement)
History
- 2026-11-02: add by m2/v0.6.17
Carathéodory's extension theorem N7QGJKBWMW
| URI | m2://inv/N7QGJKBWMW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1PNI, Carathéodory's extension theorem (statement)
History
- 2026-11-02: add by m2/dev
N7QN49EC3B N7QN49EC3B
| URI | m2://inv/N7QN49EC3B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31783#2MQ2 (statement). In CGNVT4C47F/e1, theorem 3.5
History
- 2026-10-31: add by m2/v0.5.6
N7QP8ZDHBS N7QP8ZDHBS
| URI | m2://inv/N7QP8ZDHBS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 38.9
History
- 2026-11-01: add by m2/v0.6.13
N7QPX021AN N7QPX021AN
| URI | m2://inv/N7QPX021AN |
|---|---|
| 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.10773#D7QD (statement). In 744Y8ZPEV7/e1, theorem 2.5
History
- 2026-10-28: add by m2/v0.4.3
Fuzzy set N7QT6NH0HY
| URI | m2://inv/N7QT6NH0HY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy set, Fuzzy set (definition). Also Wikidata Q1055058
History
- 2026-11-02: add by m2/dev
N7QWR5VP8G N7QWR5VP8G
| URI | m2://inv/N7QWR5VP8G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19296#DA90 (statement). In WFR2WNW8NB/e1, proposition 4.7
History
- 2026-10-28: add by m2/v0.4.2
N7QY88D94Y N7QY88D94Y
| URI | m2://inv/N7QY88D94Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise:selfadjointSW (exercise). In E59CDZA4DP, exercise, section 1.7.3
History
- 2026-11-01: add by m2/v0.6.13
N7RC23KVYB N7RC23KVYB
| URI | m2://inv/N7RC23KVYB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20376#DPGV (statement). In DGTCGQX6YZ/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
Definitions N7RFYDZYXC
| URI | m2://inv/N7RFYDZYXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interior-point method#FO6P, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Flat spacetime N7RN415HSH
| URI | m2://inv/N7RN415HSH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski spacetime#OF78, Flat spacetime (unknown)
History
- 2026-11-02: add by m2/dev
N7RN42WP0F N7RN42WP0F
| URI | m2://inv/N7RN42WP0F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#CU2I (statement)
History
- 2026-11-02: add by m2/v0.6.18
N7RNF34CYP N7RNF34CYP
| URI | m2://inv/N7RNF34CYP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21359#56PX (statement)
History
- 2026-11-02: add by m2/v0.6.18
pentagonal rotunda N7RPZMZSA8
| URI | m2://inv/N7RPZMZSA8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q76058, pentagonal rotunda (object). Also MathWorld PentagonalRotunda
- wikipedia: Wikipedia Pentagonal rotunda, Pentagonal rotunda (definition). Also Wikidata Q76058
History
- 2026-10-26: add by m2/dev
Anthony Weston N7RSZ8MP5M
| URI | m2://inv/N7RSZ8MP5M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anthony Weston, Anthony Weston (topic). Also Wikidata Q16186557
History
- 2026-11-02: add by m2/dev
Intersection of three quadrics in $\PP^{7}$ N7RT8YWHDH
| URI | m2://inv/N7RT8YWHDH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#EH79, Intersection of three quadrics in $\PP^{7}$ (example)
History
- 2026-11-02: add by m2/v0.6.17
Flat Earth N7S0QSSVPR
| URI | m2://inv/N7S0QSSVPR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#ZX2X, Flat Earth (unknown)
History
- 2026-11-02: add by m2/dev
asymptote, vertical N7S3G6R87A
| URI | m2://inv/N7S3G6R87A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/3.2.3/asymptote-vertical, asymptote, vertical (concept). In 907G4C4EJ1, index, section 3.2.3
History
- 2026-11-01: add by m2/v0.6.13
Maximal-LFSR Pauli matrix elements; external N7S42W2942
| URI | m2://inv/N7S42W2942 |
|---|---|
| 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.16351#CMZ5, Maximal-LFSR Pauli matrix elements; external (statement). In 1QSV7EQE3T/e1, theorem S37
History
- 2026-10-28: add by m2/v0.4.2
Square pyramid pyramid N7SH02EWYK
| URI | m2://inv/N7SH02EWYK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octahedral pyramid#2WIS, Square pyramid pyramid (unknown)
History
- 2026-11-02: add by m2/dev
N7SX68CXS2 N7SX68CXS2
| URI | m2://inv/N7SX68CXS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39814#ZB68 (statement). In K6TNNHDFF6/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Generalizations N7SXDWN5Q9
| URI | m2://inv/N7SXDWN5Q9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prüfer domain#CD3V, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Trigonometry N7SY2V2WY1
| URI | m2://inv/N7SY2V2WY1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#0K0T, Trigonometry (definition)
History
- 2026-11-02: add by m2/dev
Example N7SZRXGTZM
| URI | m2://inv/N7SZRXGTZM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planar separator theorem#8R9J, Example (example)
History
- 2026-11-02: add by m2/dev
Properties N7TB76SKP7
| URI | m2://inv/N7TB76SKP7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Depth-first search#EK58, Properties (statement)
History
- 2026-11-02: add by m2/dev
Tensor representation and effective coordinates N7TFEMKYWW
| URI | m2://inv/N7TFEMKYWW |
|---|---|
| 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.06810#L9U7, Tensor representation and effective coordinates (statement). In 1NY2SA03XF/e1, theorem 4.15
History
- 2026-10-29: add by m2/v0.4.10
N7TGHW427J N7TGHW427J
| URI | m2://inv/N7TGHW427J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.06581#AZ2T (statement). In WXJ2V3HA2R/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
N7TM9T2SE0 N7TM9T2SE0
| URI | m2://inv/N7TM9T2SE0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 56.3
History
- 2026-11-01: add by m2/v0.6.13
N7TMEK1T6E N7TMEK1T6E
| URI | m2://inv/N7TMEK1T6E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11869#R955 (statement). In B5GGGWNJA6/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.3
Open problems N7TQ8VYSX6
| URI | m2://inv/N7TQ8VYSX6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-system#8WE6, Open problems (statement)
History
- 2026-11-02: add by m2/dev
Douglas N. Arnold N7TS3N8JQM
| URI | m2://inv/N7TS3N8JQM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Douglas N. Arnold, Douglas N. Arnold (topic). Also Wikidata Q1252003
History
- 2026-11-02: add by m2/dev
N7TVE5Z7T2 N7TVE5Z7T2
| URI | m2://inv/N7TVE5Z7T2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27420#IYIL (statement)
History
- 2026-11-01: add by m2/v0.6.15
N7TXHG92T0 N7TXHG92T0
| URI | m2://inv/N7TXHG92T0 |
|---|---|
| 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.33766#J9S8 (statement). In VGKK4M68EK/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
Approximation algorithms for the maximum independent set problem N7V5PW168H
| URI | m2://inv/N7V5PW168H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independent set (graph theory)#S440, Approximation algorithms for the maximum independent set problem (unknown)
History
- 2026-11-02: add by m2/dev
Nikita Nekrasov N7VCYBW5F7
| URI | m2://inv/N7VCYBW5F7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#NGSL, Nikita Nekrasov (unknown)
History
- 2026-11-02: add by m2/dev
Maxwell's equations N7VGH54E17
| URI | m2://inv/N7VGH54E17 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#GZ24, Maxwell's equations (definition)
- wikipedia: Wikipedia List of partial differential equation topics#R02J, Maxwell's equations (definition)
History
- 2026-11-02: add by m2/dev
One-step coefficient induction N7VJDGPCW9
| URI | m2://inv/N7VJDGPCW9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 51-XX, 52-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07728#S73F, One-step coefficient induction (statement). In B1VVAKFCKZ/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
N7VWYBDCJ8 N7VWYBDCJ8
| URI | m2://inv/N7VWYBDCJ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.19872#WM80 (statement). In DG9TF5X0EG/e1, lemma 4
History
- 2026-10-27: add by m2/v0.4.0
Examples for the exponentiation theorems N7WDHCJMJV
| URI | m2://inv/N7WDHCJMJV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nome (mathematics)#VINL, Examples for the exponentiation theorems (example)
History
- 2026-11-02: add by m2/dev
Chebyshev approximation N7WEPGX0XM
| URI | m2://inv/N7WEPGX0XM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximation theory#BRGJ, Chebyshev approximation (unknown)
History
- 2026-11-02: add by m2/dev
N7WWVGF2EP N7WWVGF2EP
| URI | m2://inv/N7WWVGF2EP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#GCO1 (statement). In TB1294GY5X/e1, theorem 3.20
History
- 2026-10-27: add by m2/v0.4.2
N7WYY5M93X N7WYY5M93X
| URI | m2://inv/N7WYY5M93X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.40200#ZBNH (statement). In VWNB6QJWFN/e1, proposition A.1
History
- 2026-10-30: add by m2/v0.4.12
N7X1WWBWWJ N7X1WWBWWJ
| URI | m2://inv/N7X1WWBWWJ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-23 (proof). In N54F33XE07, proof, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Properties N7X2BVW7QH
| URI | m2://inv/N7X2BVW7QH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Varignon's theorem#06DB, Properties (statement)
History
- 2026-11-02: add by m2/dev
Highway network optimization N7X772Q5BJ
| URI | m2://inv/N7X772Q5BJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Highway network optimization, Highway network optimization (definition). Also Wikidata Q134432802
History
- 2026-11-02: add by m2/dev
N7XAMN4GAZ N7XAMN4GAZ
| URI | m2://inv/N7XAMN4GAZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08196#08NE (statement). In 8QVWZ23N42/e1, lemma 5.13
History
- 2026-10-29: add by m2/v0.4.10
Trace-aware one-step score perturbation N7XB12GZKX
| URI | m2://inv/N7XB12GZKX |
|---|---|
| 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.10640#8AKP, Trace-aware one-step score perturbation (statement). In BAQVK6N0RD/e1, corollary 3
History
- 2026-10-29: add by m2/v0.4.10
N7XK3DYTT1 N7XK3DYTT1
| URI | m2://inv/N7XK3DYTT1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36823#QSA5 (statement). In 55WT8DME6Y/e1, proposition A.2
History
- 2026-10-30: add by m2/v0.4.12
N7XKD11Y05 N7XKD11Y05
| URI | m2://inv/N7XKD11Y05 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/natural-deduction/quantifiers.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 58.1
History
- 2026-11-01: add by m2/v0.6.13
Examples N7XM6137KY
| URI | m2://inv/N7XM6137KY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baire measure#8MQP, Examples (example)
History
- 2026-11-02: add by m2/dev
Ordinal arithmetic is not commutative N7XMP0KX0E
| URI | m2://inv/N7XMP0KX0E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#example-6, Ordinal arithmetic is not commutative (example). In RZP28ERRZV, example, section 92.6
History
- 2026-11-01: add by m2/v0.6.13
N7XPNYTXX7 N7XPNYTXX7
| URI | m2://inv/N7XPNYTXX7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22924#EQI4 (example)
History
- 2026-11-02: add by m2/v0.6.17
N7XS3NPC4Y N7XS3NPC4Y
| URI | m2://inv/N7XS3NPC4Y |
|---|---|
| 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 2511.07697#BJIZ (definition). In 57P5P33HS3/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
N7XYQ9B0WE N7XYQ9B0WE
| URI | m2://inv/N7XYQ9B0WE |
|---|---|
| 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 2609.37815#TRFU (statement). In SVJYA0171G/e1, theorem 7.2
History
- 2026-10-30: add by m2/v0.4.12
Formal definitions N7YD5B7DN9
| URI | m2://inv/N7YD5B7DN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cone condition#UW0R, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Applications N7YF8E0SVM
| URI | m2://inv/N7YF8E0SVM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Color-coding#CFW2, Applications (example)
History
- 2026-11-02: add by m2/dev
Lane-Emden equation N7YJMEG97G
| URI | m2://inv/N7YJMEG97G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#FY4K, Lane-Emden equation (definition)
History
- 2026-11-02: add by m2/dev
N7YQWV7V8D N7YQWV7V8D
| URI | m2://inv/N7YQWV7V8D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#M5LM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pólya inequality N7YTCZK568
| URI | m2://inv/N7YTCZK568 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Remez inequality#UT5H, Pólya inequality (statement)
History
- 2026-11-02: add by m2/dev
Smaller topology N7YYGB37FW
| URI | m2://inv/N7YYGB37FW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#QMPM, Smaller topology (definition)
History
- 2026-11-02: add by m2/dev
pullback N7Z0A0T1Z6
| URI | m2://inv/N7Z0A0T1Z6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.1/pullback, pullback (concept). In N54F33XE07, index, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Sharp profile inequality N7Z2C4KJ2M
| URI | m2://inv/N7Z2C4KJ2M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38041#0IH3, Sharp profile inequality (statement). In 54NQGN1BWM/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
N7Z5QQQE5X N7Z5QQQE5X
| URI | m2://inv/N7Z5QQQE5X |
|---|---|
| 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.20391#A7XG (statement). In CTAS41TRM2/e1, lemma 8.1
History
- 2026-10-27: add by m2/v0.4.2
The root-shell moment estimate N7Z7J06ZHN
| URI | m2://inv/N7Z7J06ZHN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37615#OGFT, The root-shell moment estimate (statement). In T2B54J7121/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
N7Z8AAYP6A N7Z8AAYP6A
| URI | m2://inv/N7Z8AAYP6A |
|---|---|
| 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 2504.14383#IXG8 (statement). In QD0X3XJS6T/e1, lemma 7.16
History
- 2026-10-27: add by m2/v0.3.5
N7ZKFG8AKD N7ZKFG8AKD
| URI | m2://inv/N7ZKFG8AKD |
|---|---|
| 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.19437#5816 (statement). In 9PXXGQ978Z/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
Autoregressive model N7ZKXVHGZM
| URI | m2://inv/N7ZKXVHGZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#O38D, Autoregressive model (definition)
History
- 2026-11-02: add by m2/dev
Graphon N7ZMARP41W
| URI | m2://inv/N7ZMARP41W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphon, Graphon (definition). Also Wikidata Q5165480
History
- 2026-11-02: add by m2/dev
Stokes's theorem N7ZNMF4WY1
| URI | m2://inv/N7ZNMF4WY1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential form#6FVL, Stokes's theorem (statement)
History
- 2026-11-02: add by m2/dev
Quantum ideal gas law N7ZTB7NVSZ
| URI | m2://inv/N7ZTB7NVSZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equation of state#MFOU, Quantum ideal gas law (statement)
History
- 2026-11-02: add by m2/dev