Inventory rows NW
The cards of the rows of the inventory whose ids start with NW. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
covariant NW01YAXH5V
| URI | m2://inv/NW01YAXH5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#RW31, covariant (definition)
History
- 2026-11-02: add by m2/dev
Wiener–Wintner theorem NW043ZFPQD
| URI | m2://inv/NW043ZFPQD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener–Wintner theorem, Wiener–Wintner theorem (statement). Also Wikidata Q7999145
History
- 2026-11-02: add by m2/dev
NW061EJ18D NW061EJ18D
| URI | m2://inv/NW061EJ18D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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.09544#Z4YR (definition). In DYBM6Q2K6R/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
NW08WNTKX0 NW08WNTKX0
| URI | m2://inv/NW08WNTKX0 |
|---|---|
| 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.13884#RRNG (statement). In N2NQ3QJYTW/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
NW08YM4QW8 NW08YM4QW8
| URI | m2://inv/NW08YM4QW8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#1BO0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lexical differential NW0GK3SEMN
| URI | m2://inv/NW0GK3SEMN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.20207#J9VF, Lexical differential (definition)
History
- 2026-11-02: add by m2/v0.6.18
Main convergence bound NW0JMWAQ1N
| URI | m2://inv/NW0JMWAQ1N |
|---|---|
| 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.15419#LJCF, Main convergence bound (statement). In QHMR7JRJ0W/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
NW0V408SHA NW0V408SHA
| URI | m2://inv/NW0V408SHA |
|---|---|
| Kind | example |
| 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 2206.11471#OTD4 (example). In 8387H919D5/e1, example 6
History
- 2026-10-27: add by m2/v0.3.5
Alexander Belavin NW13DQA1HB
| URI | m2://inv/NW13DQA1HB |
|---|---|
| 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#P7Z0, Alexander Belavin (unknown)
History
- 2026-11-02: add by m2/dev
NW18D6NENB NW18D6NENB
| URI | m2://inv/NW18D6NENB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24320#Q7F2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
NW19735DNV NW19735DNV
| URI | m2://inv/NW19735DNV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09506#RXHG (statement). In AQC7E6RAT4/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
NW1SYF84C6 NW1SYF84C6
| URI | m2://inv/NW1SYF84C6 |
|---|---|
| Kind | statement |
| 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#65SU (statement). In GYSF9JXQCH/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
NW1XTSTTMM NW1XTSTTMM
| URI | m2://inv/NW1XTSTTMM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.01087#NBBX (statement). In 7QXAZXGNPQ/e1, corollary 1.3
History
- 2026-10-29: add by m2/v0.4.12
NW1Y0VY73M NW1Y0VY73M
| URI | m2://inv/NW1Y0VY73M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreInduction.tex#theorem-4 (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
NW20BB5H7B NW20BB5H7B
| URI | m2://inv/NW20BB5H7B |
|---|---|
| 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.17571#UBBM (statement). In SWFN2HCEE7/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Lenstra–Lenstra–Lovász algorithm NW25B3CE9Z
| URI | m2://inv/NW25B3CE9Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#CJ8Q, Lenstra–Lenstra–Lovász algorithm (definition)
History
- 2026-11-02: add by m2/dev
Kinoshita–Terasaka knot NW268QE67R
| URI | m2://inv/NW268QE67R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of prime knots#IOTB, Kinoshita–Terasaka knot (definition)
History
- 2026-11-02: add by m2/dev
Examples NW2CPC3SM8
| URI | m2://inv/NW2CPC3SM8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann regular ring#LP9O, Examples (example)
History
- 2026-11-02: add by m2/dev
NW2HCQJXFN NW2HCQJXFN
| URI | m2://inv/NW2HCQJXFN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#5XL4 (definition)
History
- 2026-11-01: add by m2/v0.6.15
topological index NW2JMZ25VV
| URI | m2://inv/NW2JMZ25VV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q904942, topological index (unknown). Also MathWorld TopologicalIndex, nLab topological index
- wikipedia: Wikipedia Topological index, Topological index (definition). Also Wikidata Q904942
History
- 2026-10-26: add by m2/dev
Blossom NW2KC5NX2S
| URI | m2://inv/NW2KC5NX2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blossom (functional), Blossom (definition). Also Wikidata Q4928429
History
- 2026-11-02: add by m2/dev
Michal Feldman NW2N67Z070
| URI | m2://inv/NW2N67Z070 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QL5B, Michal Feldman (unknown)
History
- 2026-11-02: add by m2/dev
NW2R7XCMAJ NW2R7XCMAJ
| URI | m2://inv/NW2R7XCMAJ |
|---|---|
| Kind | definition |
| 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#4RPD (definition). In BF0RYHPMS1/e1, definition 4.3
History
- 2026-10-30: add by m2/v0.4.12
cosheaf NW2ZBZA615
| URI | m2://inv/NW2ZBZA615 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16951980, cosheaf (unknown). Also nLab cosheaf
- wikipedia: Wikipedia Cosheaf, Cosheaf (definition). Also Wikidata Q16951980
History
- 2026-10-26: add by m2/dev
Statement of the theorems NW30DG03J1
| URI | m2://inv/NW30DG03J1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurewicz theorem#R4OB, Statement of the theorems (statement)
History
- 2026-11-02: add by m2/dev
Properties NW38NNWCJ1
| URI | m2://inv/NW38NNWCJ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal space#CZNC, Properties (statement)
History
- 2026-11-02: add by m2/dev
H4 polytope NW3BHJ01EP
| URI | m2://inv/NW3BHJ01EP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H4 polytope, H4 polytope (definition). Also Wikidata Q21067805
History
- 2026-11-02: add by m2/dev
Catherine Hobbs NW3MQKP5K4
| URI | m2://inv/NW3MQKP5K4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catherine Hobbs, Catherine Hobbs (topic). Also Wikidata Q57302679
History
- 2026-11-02: add by m2/dev
NW3Q1CYG01 NW3Q1CYG01
| URI | m2://inv/NW3Q1CYG01 |
|---|---|
| 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.31300#W18T (statement). In ERHQDB8M41/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
NW3XF8RR31 NW3XF8RR31
| URI | m2://inv/NW3XF8RR31 |
|---|---|
| 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 2311.04609#682F (statement). In 66W1NPE62D/e1, theorem 0.5
History
- 2026-10-27: add by m2/v0.3.5
NW3XHWKC7P NW3XHWKC7P
| URI | m2://inv/NW3XHWKC7P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#YP94 (statement). In PA6JQDSKQT/e1, lemma 7.10
History
- 2026-10-28: add by m2/v0.4.2
NW3YHC7DCK NW3YHC7DCK
| URI | m2://inv/NW3YHC7DCK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#R3E5 (statement). In X1AGBB90EH/e1, theorem 7.26
History
- 2026-10-28: add by m2/v0.4.2
NW3ZJ3A567 NW3ZJ3A567
| URI | m2://inv/NW3ZJ3A567 |
|---|---|
| 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.33241#Q6H1 (statement). In NX6QV01PCE/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
NW401MTRWN NW401MTRWN
| URI | m2://inv/NW401MTRWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#1Q35 (statement). In 2381M4GBTT/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
NW41K1FAPK NW41K1FAPK
| URI | m2://inv/NW41K1FAPK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02244#KFOH (statement). In 3REM2EXQK7/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.12
NW42GQ2CYA NW42GQ2CYA
| URI | m2://inv/NW42GQ2CYA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-20 (exercise). In E9HS8K3A52, exercise, section 7.2.1
History
- 2026-11-01: add by m2/v0.6.13
completely positive matrix NW48NCMRXP
| URI | m2://inv/NW48NCMRXP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16663759, completely positive matrix (unknown). Also MathWorld CompletelyPositiveMatrix
History
- 2026-10-26: add by m2/dev
Lehmer's GCD algorithm NW4975PJET
| URI | m2://inv/NW4975PJET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lehmer's GCD algorithm, Lehmer's GCD algorithm (definition). Also Wikidata Q6518927
History
- 2026-11-02: add by m2/dev
NW4A4CX6CT NW4A4CX6CT
| URI | m2://inv/NW4A4CX6CT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19023#76AJ (definition). In QFA8TMJPHZ/e1, definition 2.9
History
- 2026-10-28: add by m2/v0.4.2
Deuring correspondence NW4ABCRKX6
| URI | m2://inv/NW4ABCRKX6 |
|---|---|
| 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.40207#6J9A, Deuring correspondence (statement). In JXTG8KP95P/e1, theorem 2.32
History
- 2026-10-30: add by m2/v0.4.12
Butterfly diagram NW4J3EAWA7
| URI | m2://inv/NW4J3EAWA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Butterfly diagram, Butterfly diagram (definition). Also Wikidata Q1529451
History
- 2026-11-02: add by m2/dev
NW4N84RS0Y NW4N84RS0Y
| URI | m2://inv/NW4N84RS0Y |
|---|---|
| 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.22002#E4SY (statement). In JTND2BM263/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.2
paramodular group NW4QMDV2RT
| URI | m2://inv/NW4QMDV2RT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25111159, paramodular group (unknown). Also LMFDB knowl group.paramodular
- wikipedia: Wikipedia Paramodular group, Paramodular group (definition). Also Wikidata Q25111159
History
- 2026-10-26: add by m2/dev
NW4X99K19Z NW4X99K19Z
| URI | m2://inv/NW4X99K19Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#GIH2 (statement). In YVK8EFSYNJ/e1, lemma 8.4
History
- 2026-10-28: add by m2/v0.4.2
NW4Z9XBQ78 NW4Z9XBQ78
| URI | m2://inv/NW4Z9XBQ78 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/constructions.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 96.3
History
- 2026-11-01: add by m2/v0.6.13
NW51ZA5EYG NW51ZA5EYG
| URI | m2://inv/NW51ZA5EYG |
|---|---|
| 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.15402#4NII (statement). In WSE8SEHVXG/e1, lemma 18
History
- 2026-10-28: add by m2/v0.4.2
Freudenthal suspension theorem NW5B8CFXEH
| URI | m2://inv/NW5B8CFXEH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#K14A, Freudenthal suspension theorem (statement)
History
- 2026-11-02: add by m2/dev
NW5N527TPS NW5N527TPS
| URI | m2://inv/NW5N527TPS |
|---|---|
| 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 2609.33383#Y8LO (definition). In 8AHWRHTP5G/e1, definition 21
History
- 2026-10-30: add by m2/v0.4.12
Specht module NW5RSY00J1
| URI | m2://inv/NW5RSY00J1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Specht module NTFM7X5555 |
Mentions
- wikidata: Wikidata Q7574439, Specht module (unknown). Also nLab Specht module
- wikipedia: Wikipedia Specht module, Specht module (definition). Also Wikidata Q7574439
History
- 2026-10-26: add by m2/dev
NW5SQKG273 NW5SQKG273
| URI | m2://inv/NW5SQKG273 |
|---|---|
| Kind | conjecture |
| 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.31216#7XX8 (conjecture). In M9CSGRSRB3/e1, conjecture
History
- 2026-10-31: add by m2/v0.5.6
Sperner's theorem NW60VVB3Y5
| URI | m2://inv/NW60VVB3Y5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sperner family#YAAL, Sperner's theorem (statement)
History
- 2026-11-02: add by m2/dev
NW62JVWPZX NW62JVWPZX
| URI | m2://inv/NW62JVWPZX |
|---|---|
| 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 2610.02983#0EXE (statement). In HMNKENER22/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.12
NW62V0GYT0 NW62V0GYT0
| URI | m2://inv/NW62V0GYT0 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#TYLV (problem). In ZPT9XCCAPQ/e1, problem 2.1.15
History
- 2026-10-31: add by m2/v0.5.6
Biharmonic DeTurck gauge NW63J2M7BX
| URI | m2://inv/NW63J2M7BX |
|---|---|
| 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.02993#M53O, Biharmonic DeTurck gauge (definition). In TJH58FRGEN/e1, definition 4.2
History
- 2026-10-29: add by m2/v0.4.12
NW660GA1Z3 NW660GA1Z3
| URI | m2://inv/NW660GA1Z3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 2610.01346#S3F8 (statement). In 44DQ7W1NW9/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
Polynomial rate for a Hilbert-valued source NW68PD8G9S
| URI | m2://inv/NW68PD8G9S |
|---|---|
| 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.05388#YK6O, Polynomial rate for a Hilbert-valued source (statement). In 4HJK1986EJ/e1, corollary C.1
History
- 2026-10-29: add by m2/v0.4.10
Astrology NW6CSYZ5RV
| URI | m2://inv/NW6CSYZ5RV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#JVZ1, Astrology (unknown)
History
- 2026-11-02: add by m2/dev
NW6CT3TDTJ NW6CT3TDTJ
| URI | m2://inv/NW6CT3TDTJ |
|---|---|
| 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.10452#8O29 (statement). In 2F4PNP1V3B/e1, theorem F
History
- 2026-10-29: add by m2/v0.4.10
dom NW6GEZXJKE
| URI | m2://inv/NW6GEZXJKE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#U2XP, dom (definition)
History
- 2026-11-02: add by m2/dev
isomorphism NW6MKFP5YM
| URI | m2://inv/NW6MKFP5YM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#AHQ8, isomorphism (definition)
History
- 2026-11-02: add by m2/dev
Index crime NW6NM8R8SV
| URI | m2://inv/NW6NM8R8SV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform Crime Reports#1S3J, Index crime (unknown)
History
- 2026-11-02: add by m2/dev
Definition NW6Q0DM62P
| URI | m2://inv/NW6Q0DM62P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kendall tau distance#M94W, Definition (definition)
History
- 2026-11-02: add by m2/dev
Algorithms NW6VVW2CJA
| URI | m2://inv/NW6VVW2CJA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theoretical computer science#MMM0, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
NW712C5KPG NW712C5KPG
| URI | m2://inv/NW712C5KPG |
|---|---|
| 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.28046#41HY (statement)
History
- 2026-11-01: add by m2/v0.6.15
387 (number) NW7543P0BR
| URI | m2://inv/NW7543P0BR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#2Z7C, 387 (number) (unknown)
History
- 2026-11-02: add by m2/dev
NW7ACWXJBA NW7ACWXJBA
| URI | m2://inv/NW7ACWXJBA |
|---|---|
| Kind | definition |
| 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#139Z (definition). In 6F3GSDT2V1/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.10
NW7B10RDTB NW7B10RDTB
| URI | m2://inv/NW7B10RDTB |
|---|---|
| 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#41MV (statement). In 338GKREFVP/e1, theorem 5
History
- 2026-10-27: add by m2/v0.4.0
Tap code NW7H0G63MJ
| URI | m2://inv/NW7H0G63MJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tap code, Tap code (definition). Also Wikidata Q7684384
History
- 2026-11-02: add by m2/dev
NW7JCYRG2Y NW7JCYRG2Y
| URI | m2://inv/NW7JCYRG2Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33805#47CC (statement). In XM98BX97RT/e1, lemma A.2
History
- 2026-10-30: add by m2/v0.4.12
Properties NW7MEM316M
| URI | m2://inv/NW7MEM316M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational normal curve#NU8J, Properties (statement)
History
- 2026-11-02: add by m2/dev
NW7N4BMWC6 NW7N4BMWC6
| URI | m2://inv/NW7N4BMWC6 |
|---|---|
| Kind | statement |
| 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#THC8 (statement). In CGA36VE1C5/e1, fact 8.2.1
History
- 2026-10-27: add by m2/v0.3.6
Spherical geometry NW7XSDCPTB
| URI | m2://inv/NW7XSDCPTB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#DPZ6, Spherical geometry (definition)
History
- 2026-11-02: add by m2/dev
Example NW7ZB0A16N
| URI | m2://inv/NW7ZB0A16N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great-circle navigation#776I, Example (example)
History
- 2026-11-02: add by m2/dev
Exact PMD and superlinear convergence NW8EKQ4K7M
| URI | m2://inv/NW8EKQ4K7M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04117#7XQP, Exact PMD and superlinear convergence (statement). In 65E9N3DFYP/e1, corollary 4.3
History
- 2026-10-29: add by m2/v0.4.12
Greenwich Apparent Sidereal Time NW8JJHCKB0
| URI | m2://inv/NW8JJHCKB0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sidereal time#NGLG, Greenwich Apparent Sidereal Time (unknown)
History
- 2026-11-02: add by m2/dev
Projective profinite group NW8RRRCGJV
| URI | m2://inv/NW8RRRCGJV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Profinite group#X1O7, Projective profinite group (unknown)
History
- 2026-11-02: add by m2/dev
geometric series NW8YBCW3N2
| URI | m2://inv/NW8YBCW3N2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Geometric series 01X5CVV1Q5 |
Mentions
- wikidata: Wikidata Q1306887, geometric series (unknown). Also MathWorld GeometricSeries, nLab geometric series
- wikipedia: Wikipedia Geometric series, Geometric series (definition). Also Wikidata Q1306887
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Ruth I. Michler NW8ZKP7P25
| URI | m2://inv/NW8ZKP7P25 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruth I. Michler, Ruth I. Michler (topic). Also Wikidata Q61043077
History
- 2026-11-02: add by m2/dev
Applications NW9D4CP1WZ
| URI | m2://inv/NW9D4CP1WZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holography#UFMI, Applications (example)
History
- 2026-11-02: add by m2/dev
NW9KQTZVBV NW9KQTZVBV
| URI | m2://inv/NW9KQTZVBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#WKVI (statement). In E7W2HDNEKJ/e1, lemma 9.34
History
- 2026-10-30: add by m2/v0.4.12
Free critical point NW9ST3R0Y8
| URI | m2://inv/NW9ST3R0Y8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07064#BHRF, Free critical point (definition). In GPK6W5XQM3/e1, definition 11
History
- 2026-10-29: add by m2/v0.4.10
Formal definition NW9XHN3TR1
| URI | m2://inv/NW9XHN3TR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edge connectivity#XMS3, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Hard NWA3RY43PV
| URI | m2://inv/NWA3RY43PV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-31, Hard (exercise). In E59CDZA4DP, exercise, section 7.4.1
History
- 2026-11-01: add by m2/v0.6.13
NWAHAEZYQ6 NWAHAEZYQ6
| URI | m2://inv/NWAHAEZYQ6 |
|---|---|
| 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.09594#Z5EZ (statement). In TVE5WK2MH8/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
NWAKCCNZ6R NWAKCCNZ6R
| URI | m2://inv/NWAKCCNZ6R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#TK9T (statement). In SD43497T8C/e1, fact 1.34
History
- 2026-10-27: add by m2/v0.3.5
NWAPGAPF5Y NWAPGAPF5Y
| URI | m2://inv/NWAPGAPF5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16606#093X (statement). In A798V7TX99/e1, lemma 5.17
History
- 2026-10-28: add by m2/v0.4.2
NWB0W3562K NWB0W3562K
| URI | m2://inv/NWB0W3562K |
|---|---|
| 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.22345#SR8V (statement). In 7JATJ4VG9G/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.4.0
NWB4036XXR NWB4036XXR
| URI | m2://inv/NWB4036XXR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00786#GGS4 (statement). In XKEE0DK6N3/e1, corollary 2.1
History
- 2026-10-29: add by m2/v0.4.12
Ternary equivalence relation NWB80KSPE3
| URI | m2://inv/NWB80KSPE3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ternary equivalence relation, Ternary equivalence relation (definition). Also Wikidata Q25303978
History
- 2026-11-02: add by m2/dev
Descriptive Complexity NWBB29F805
| URI | m2://inv/NWBB29F805 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Descriptive Complexity, Descriptive Complexity (definition). Also Wikidata Q96376265
History
- 2026-11-02: add by m2/dev
Holomorphic Fock space NWBE1FX46S
| URI | m2://inv/NWBE1FX46S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oscillator representation#QWSE, Holomorphic Fock space (unknown)
History
- 2026-11-02: add by m2/dev
Oberwolfach Prize NWBES8A9PG
| URI | m2://inv/NWBES8A9PG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oberwolfach Research Institute for Mathematics#MD6V, Oberwolfach Prize (unknown)
History
- 2026-11-02: add by m2/dev
Gauss–Legendre quadrature NWBHGHA4NX
| URI | m2://inv/NWBHGHA4NX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#DET7, Gauss–Legendre quadrature (definition)
History
- 2026-11-02: add by m2/dev
Total operating characteristic NWBHJV93A9
| URI | m2://inv/NWBHJV93A9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total operating characteristic, Total operating characteristic (definition). Also Wikidata Q55188099
History
- 2026-11-02: add by m2/dev
Pascal's pyramid NWBT4K3KFQ
| URI | m2://inv/NWBT4K3KFQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#KC28, Pascal's pyramid (definition)
History
- 2026-11-02: add by m2/dev
Bagaria, Koellner, Woodin NWBYSDASR7
| URI | m2://inv/NWBYSDASR7 |
|---|---|
| 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.25291#Y09S, Bagaria, Koellner, Woodin (statement)
History
- 2026-11-01: add by m2/v0.6.15
Reliability theory of aging and longevity NWBZ7355E8
| URI | m2://inv/NWBZ7355E8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reliability theory of aging and longevity, Reliability theory of aging and longevity (definition). Also Wikidata Q4455132
History
- 2026-11-02: add by m2/dev
NWC33C6JP1 NWC33C6JP1
| URI | m2://inv/NWC33C6JP1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13214#8H8Z (statement). In 4GRNWWH88J/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Streaming at the rank rate NWC9CB968D
| URI | m2://inv/NWC9CB968D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04271#OTTO, Streaming at the rank rate (statement). In WBXAW9G4JB/e1, theorem 12.2
History
- 2026-10-29: add by m2/v0.4.12
NWCEAZ769T NWCEAZ769T
| URI | m2://inv/NWCEAZ769T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-2-3-3.xml#act-2-3-3 (exercise). In 907G4C4EJ1, activity, section 2.3.4
History
- 2026-11-01: add by m2/v0.6.13
NWCHKCRY0E NWCHKCRY0E
| URI | m2://inv/NWCHKCRY0E |
|---|---|
| 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.11481#1H2Z (statement). In 8XHK5ZCX7H/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.3
NWCR7Q9H01 NWCR7Q9H01
| URI | m2://inv/NWCR7Q9H01 |
|---|---|
| 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 2209.08186#44EP (statement). In X6VGVPQH8V/e1, corollary 4.9
History
- 2026-10-27: add by m2/v0.3.5
NWCS2H9PAQ NWCS2H9PAQ
| URI | m2://inv/NWCS2H9PAQ |
|---|---|
| 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 2112.05010#AG89 (statement). In 4SZNPS3Z00/e1, lemma J.10
History
- 2026-10-27: add by m2/v0.3.6
NWCSH5SN3J NWCSH5SN3J
| URI | m2://inv/NWCSH5SN3J |
|---|---|
| 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.12479#YFYF (statement). In WE001PR75Z/e1, proposition 27
History
- 2026-10-28: add by m2/v0.4.2
NWD0RDVAQH NWD0RDVAQH
| URI | m2://inv/NWD0RDVAQH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2609.28742#ELB0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition NWD6839BM0
| URI | m2://inv/NWD6839BM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variance inflation factor#3MDF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Proof of Rice's theorem NWDFQTX6QQ
| URI | m2://inv/NWDFQTX6QQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/rice-theorem.tex#proof-1, Proof of Rice's theorem (proof). In PKGMM3P5QY, proof, section 3.13
History
- 2026-11-01: add by m2/v0.6.13
Total lower bound NWDG3XCGKX
| URI | m2://inv/NWDG3XCGKX |
|---|---|
| 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.33027#NP9P, Total lower bound (statement). In E2AF84709B/e1, proposition 19
History
- 2026-10-31: add by m2/v0.5.6
NWDNVZEEAP NWDNVZEEAP
| URI | m2://inv/NWDNVZEEAP |
|---|---|
| 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.37439#SRLI (statement). In 8K7D3FKJDT/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Taylor Polynomial of $p$th-order NWDZXD9HBZ
| URI | m2://inv/NWDZXD9HBZ |
|---|---|
| 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.17604#E0TX, Taylor Polynomial of $p$th-order (definition). In CZNRSB168G/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.2
NWE21Y2E8S NWE21Y2E8S
| URI | m2://inv/NWE21Y2E8S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27931#08VR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Michael T. Goodrich NWE8PVDR99
| URI | m2://inv/NWE8PVDR99 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8KEC, Michael T. Goodrich (unknown)
History
- 2026-11-02: add by m2/dev
Examples NWE99B6CQG
| URI | m2://inv/NWE99B6CQG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atiyah–Singer index theorem#ZNIW, Examples (example)
History
- 2026-11-02: add by m2/dev
NWE9Y2ZH05 NWE9Y2ZH05
| URI | m2://inv/NWE9Y2ZH05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1907.01440#K9CJ (statement). In QDRYC6WJJ7/e1, theorem 12
History
- 2026-10-27: add by m2/v0.3.5
Daniel Melanderhjelm NWEB2R9TAP
| URI | m2://inv/NWEB2R9TAP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Melanderhjelm, Daniel Melanderhjelm (topic). Also Wikidata Q5983613
History
- 2026-11-02: add by m2/dev
NWEDNG7XRS NWEDNG7XRS
| URI | m2://inv/NWEDNG7XRS |
|---|---|
| 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.08374#2O0S (statement). In XYVSD6A7GV/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
Coxeter group of finite type NWEGXV02WW
| URI | m2://inv/NWEGXV02WW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter group#V9F7, Coxeter group of finite type (unknown)
History
- 2026-11-02: add by m2/dev
Karin Orvis NWEJVF9YXT
| URI | m2://inv/NWEJVF9YXT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karin Orvis, Karin Orvis (topic). Also Wikidata Q111820842
History
- 2026-11-02: add by m2/dev
Definition NWEKCHYFNA
| URI | m2://inv/NWEKCHYFNA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wave#P2QV, Definition (definition)
History
- 2026-11-02: add by m2/dev
NWENTG9RKJ NWENTG9RKJ
| URI | m2://inv/NWENTG9RKJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 32.8
History
- 2026-11-01: add by m2/v0.6.13
NWF38BB4NR NWF38BB4NR
| URI | m2://inv/NWF38BB4NR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15593#YIVU (statement). In PREJREM4BB/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Both framings of an orbit admit equivariant surgery NWFA98RB5H
| URI | m2://inv/NWFA98RB5H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29839#TZTA, Both framings of an orbit admit equivariant surgery (statement)
History
- 2026-11-01: add by m2/v0.6.15
NWFG5ZB6SK NWFG5ZB6SK
| URI | m2://inv/NWFG5ZB6SK |
|---|---|
| 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 2607.26169#R26H (statement). In Q46QV3B0NF/e1, lemma 8.5
History
- 2026-10-27: add by m2/v0.3.5
NWFJET9V5W NWFJET9V5W
| URI | m2://inv/NWFJET9V5W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.12484#MMVB (statement). In GW23NX78SB/e1, lemma 3.14
History
- 2026-10-28: add by m2/v0.4.2
The first counit–unit equation NWFQ5E2A0Y
| URI | m2://inv/NWFQ5E2A0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjoint functors#IZTT, The first counit–unit equation (definition)
History
- 2026-11-02: add by m2/dev
Gromov's systolic inequality for essential manifolds NWFVZ6GX0X
| URI | m2://inv/NWFVZ6GX0X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gromov's systolic inequality for essential manifolds, Gromov's systolic inequality for essential manifolds (statement). Also Wikidata Q5610194
History
- 2026-11-02: add by m2/dev
Grinberg's theorem NWFWSBGFAX
| URI | m2://inv/NWFWSBGFAX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#VGYE, Grinberg's theorem (statement)
History
- 2026-11-02: add by m2/dev
NWFZ05FEYE NWFZ05FEYE
| URI | m2://inv/NWFZ05FEYE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-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.19787#PLU4 (statement). In A4VP56CT7B/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
NWFZ8D6NQF NWFZ8D6NQF
| URI | m2://inv/NWFZ8D6NQF |
|---|---|
| Kind | statement |
| 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 2609.21052#G4LS (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications NWG2BRZ2XC
| URI | m2://inv/NWG2BRZ2XC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Lebesgue lemma#HT5C, Applications (example)
History
- 2026-11-02: add by m2/dev
Escape of mass NWG4143BMM
| URI | m2://inv/NWG4143BMM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#34N7, Escape of mass (statement). In RPC7VG3KHQ/e1, proposition 4.4
History
- 2026-10-30: add by m2/v0.4.12
Liouville–Neumann series NWG76JRKP2
| URI | m2://inv/NWG76JRKP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics#H9J1, Liouville–Neumann series (definition)
History
- 2026-11-02: add by m2/dev
NWG9F1E7VP NWG9F1E7VP
| URI | m2://inv/NWG9F1E7VP |
|---|---|
| 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.19058#7ES8 (statement). In 9ZW1ZG8ERQ/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
threshold probability NWGCYSWS20
| URI | m2://inv/NWGCYSWS20 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/11/threshold-probability, threshold probability (concept). In QKM9DD2H56, index, section 11
History
- 2026-11-01: add by m2/v0.6.13
NWGHJMEJ9E NWGHJMEJ9E
| URI | m2://inv/NWGHJMEJ9E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2512.16003#PGBH (definition). In BJGS6ZCQ12/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.3.6
Continuity NWGXGT1HRW
| URI | m2://inv/NWGXGT1HRW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore–Penrose inverse#1ZYO, Continuity (statement)
History
- 2026-11-02: add by m2/dev
NWH1GWSVH7 NWH1GWSVH7
| URI | m2://inv/NWH1GWSVH7 |
|---|---|
| Kind | example |
| 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.38051#GJ9F (example). In 81CGKD8RTP/e1, example 5
History
- 2026-10-30: add by m2/v0.4.12
NWH1YXTC1R NWH1YXTC1R
| URI | m2://inv/NWH1YXTC1R |
|---|---|
| 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 2011.12496#1IXT (definition). In 1DH15ZJFRZ/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Lloyd R. Welch NWH2AE890S
| URI | m2://inv/NWH2AE890S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KY19, Lloyd R. Welch (unknown)
History
- 2026-11-02: add by m2/dev
NWH8BXB3X7 NWH8BXB3X7
| URI | m2://inv/NWH8BXB3X7 |
|---|---|
| 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.03520#5BXG (statement). In CSRZ9CWK69/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.12
Morley triangle NWJ4EN6YS2
| URI | m2://inv/NWJ4EN6YS2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#W9J0, Morley triangle (statement)
History
- 2026-11-02: add by m2/dev
Hayato Chiba NWJ4Y704WF
| URI | m2://inv/NWJ4Y704WF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hayato Chiba, Hayato Chiba (topic). Also Wikidata Q48749238
History
- 2026-11-02: add by m2/dev
Uses NWJ89DBNZ3
| URI | m2://inv/NWJ89DBNZ3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monic polynomial#ML2I, Uses (example)
History
- 2026-11-02: add by m2/dev
NWJ8PQ3PGB NWJ8PQ3PGB
| URI | m2://inv/NWJ8PQ3PGB |
|---|---|
| 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.10819#9TGQ (statement). In M96CSJBYGW/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.3
PA degree NWJ9Q9PWFC
| URI | m2://inv/NWJ9Q9PWFC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PA degree, PA degree (definition). Also Wikidata Q7118319
History
- 2026-11-02: add by m2/dev
monotone convergence theorem NWJAKPTDTP
| URI | m2://inv/NWJAKPTDTP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.1.1/monotone-convergence-theorem, monotone convergence theorem (concept). In E59CDZA4DP, index, section 10.1.1
History
- 2026-11-01: add by m2/v0.6.13
NWJCPM7NBE NWJCPM7NBE
| URI | m2://inv/NWJCPM7NBE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#JOAX (definition)
History
- 2026-11-01: add by m2/v0.6.15
NWJMAM5QFS NWJMAM5QFS
| URI | m2://inv/NWJMAM5QFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2006.07610#WUP1 (statement). In RYB8WE6DQ4/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Stability Bounds NWJR7T79D3
| URI | m2://inv/NWJR7T79D3 |
|---|---|
| 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.02944#LJ4B, Stability Bounds (statement). In 1F99Z64AB7/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.12
Conditional change model NWJS64Y40A
| URI | m2://inv/NWJS64Y40A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional change model, Conditional change model (definition). Also Wikidata Q5159253
History
- 2026-11-02: add by m2/dev
Properties NWK1P2Q8N0
| URI | m2://inv/NWK1P2Q8N0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bicorn#JOCS, Properties (statement)
History
- 2026-11-02: add by m2/dev
Result NWKDEB7G5P
| URI | m2://inv/NWKDEB7G5P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Determination of the day of the week#RPGG, Result (statement)
History
- 2026-11-02: add by m2/dev
pattern matching NWKF9Z1MKN
| URI | m2://inv/NWKF9Z1MKN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.10/pattern-matching, pattern matching (concept). In N54F33XE07, index, section A.10
History
- 2026-11-01: add by m2/v0.6.13
NWKRPJFE39 NWKRPJFE39
| URI | m2://inv/NWKRPJFE39 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-11 (exercise). In Y91XFCEVHQ, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
NWKTWQ1YWF NWKTWQ1YWF
| URI | m2://inv/NWKTWQ1YWF |
|---|---|
| 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 2309.15228#NAY3 (statement). In 4778KMFZAF/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Yvonne Choquet-Bruhat NWKX49JKWK
| URI | m2://inv/NWKX49JKWK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#J1PR, Yvonne Choquet-Bruhat (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HE8O, Yvonne Choquet-Bruhat (topic)
History
- 2026-11-02: add by m2/dev
Jacob Schwartz NWKX8GJP7C
| URI | m2://inv/NWKX8GJP7C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#CB52, Jacob Schwartz (unknown)
History
- 2026-11-02: add by m2/dev
Youden's J statistic NWM1EZ40DJ
| URI | m2://inv/NWM1EZ40DJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Youden's J statistic, Youden's J statistic (definition). Also Wikidata Q8057732
History
- 2026-11-02: add by m2/dev
Neural differential equation NWM4ZVQX5W
| URI | m2://inv/NWM4ZVQX5W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neural differential equation, Neural differential equation (definition). Also Wikidata Q130213955
History
- 2026-11-02: add by m2/dev
Joan Leitzel NWM9FC61Q1
| URI | m2://inv/NWM9FC61Q1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joan Leitzel, Joan Leitzel (topic). Also Wikidata Q20737944
History
- 2026-11-02: add by m2/dev
Paradox of hedonism NWMCT8TMGX
| URI | m2://inv/NWMCT8TMGX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paradox of hedonism, Paradox of hedonism (statement). Also Wikidata Q2396377
History
- 2026-11-02: add by m2/dev
NWMGH8KY48 NWMGH8KY48
| URI | m2://inv/NWMGH8KY48 |
|---|---|
| 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.23684#4Q1M (statement)
History
- 2026-11-02: add by m2/v0.6.17
Further examples NWMJEH8AWY
| URI | m2://inv/NWMJEH8AWY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert space#VE56, Further examples (example)
History
- 2026-11-02: add by m2/dev
NWMKQJXNZD NWMKQJXNZD
| URI | m2://inv/NWMKQJXNZD |
|---|---|
| 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 1910.05504#43X5 (statement). In 6ZR1NC9Z1S/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Flat $k$-chains NWMT6SKVP2
| URI | m2://inv/NWMT6SKVP2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24451#0WIF, Flat $k$-chains (definition)
History
- 2026-11-01: add by m2/v0.6.15
NWMVEM315M NWMVEM315M
| URI | m2://inv/NWMVEM315M |
|---|---|
| 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 2601.15010#ZBK0 (statement). In K3WJ6ZN184/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Paul Schatz NWN189P4NR
| URI | m2://inv/NWN189P4NR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#DS30, Paul Schatz (unknown)
History
- 2026-11-02: add by m2/dev
Subir Sachdev NWN3JH3JA9
| URI | m2://inv/NWN3JH3JA9 |
|---|---|
| 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 Q7631351, Subir Sachdev (unknown). Also nLab Subir Sachdev
History
- 2026-10-26: add by m2/dev
Meteorology NWN5963M1N
| URI | m2://inv/NWN5963M1N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#E979, Meteorology (unknown)
History
- 2026-11-02: add by m2/dev
The fixed-time clock tangent NWN6B8MVTH
| URI | m2://inv/NWN6B8MVTH |
|---|---|
| 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.01391#AINE, The fixed-time clock tangent (statement). In MAZNVJX5YK/e1, proposition 17
History
- 2026-10-29: add by m2/v0.4.12
Generalizations NWNFAW3AGY
| URI | m2://inv/NWNFAW3AGY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach space#EJ36, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Rational critical-face series NWNHM0MTEN
| URI | m2://inv/NWNHM0MTEN |
|---|---|
| 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.22082#UQ14, Rational critical-face series (statement). In 7PACGDW3N7/e1, theorem 7.1
History
- 2026-10-27: add by m2/v0.4.0
Mathematics and God NWNKRJZJSM
| URI | m2://inv/NWNKRJZJSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics and God, Mathematics and God (definition). Also Wikidata Q116055752
History
- 2026-11-02: add by m2/dev
Transitivity of context PER NWNM0ENKVQ
| URI | m2://inv/NWNM0ENKVQ |
|---|---|
| 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#QD8A, Transitivity of context PER (statement). In CPYWHRTPKC/e1, lemma 6.23
History
- 2026-10-27: add by m2/v0.4.2
Principles NWNRR0N0NF
| URI | m2://inv/NWNRR0N0NF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CMA-ES#4ZIA, Principles (statement)
History
- 2026-11-02: add by m2/dev
Sphere theorem NWNY6J5XK4
| URI | m2://inv/NWNY6J5XK4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#EBS3, Sphere theorem (statement)
History
- 2026-11-02: add by m2/dev
Erik Winfree NWNZ2R97XZ
| URI | m2://inv/NWNZ2R97XZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CW2V, Erik Winfree (unknown)
History
- 2026-11-02: add by m2/dev
Notation NWNZT9ESE0
| URI | m2://inv/NWNZT9ESE0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equation of time#BTKR, Notation (definition)
History
- 2026-11-02: add by m2/dev
Erdős–Faber–Lovász conjecture NWP2613RZ0
| URI | m2://inv/NWP2613RZ0 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Faber–Lovász conjecture, Erdős–Faber–Lovász conjecture (conjecture). Also Wikidata Q5385322
History
- 2026-11-02: add by m2/dev
Ax–Grothendieck theorem NWP55KZ332
| URI | m2://inv/NWP55KZ332 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4830725, Ax–Grothendieck theorem (statement). Also Mathlib ax_grothendieck_zeroLocus, Wikidata Q4830725
- thousand_plus: thousand_plus Q4830725, Ax–Grothendieck theorem (statement). Also Mathlib ax_grothendieck_zeroLocus, Wikidata Q4830725, Wikipedia Ax–Grothendieck theorem
- wikipedia: Wikipedia Ax–Grothendieck theorem, Ax–Grothendieck theorem (statement). Also Wikidata Q4830725
History
- 2026-10-26: add by m2/dev
Implementations NWP6VZ2SGJ
| URI | m2://inv/NWP6VZ2SGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Model order reduction#UCK0, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Strang splitting NWP7FCCNEJ
| URI | m2://inv/NWP7FCCNEJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strang splitting, Strang splitting (definition). Also Wikidata Q25303744
History
- 2026-11-02: add by m2/dev
NWPA2Z7XXS NWPA2Z7XXS
| URI | m2://inv/NWPA2Z7XXS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-5 (exercise). In QKM9DD2H56, exercise, section 7
History
- 2026-11-01: add by m2/v0.6.13
canonical NWPCW7EW8R
| URI | m2://inv/NWPCW7EW8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#Y1AD, canonical (definition)
History
- 2026-11-02: add by m2/dev
NWPH8WTXT8 NWPH8WTXT8
| URI | m2://inv/NWPH8WTXT8 |
|---|---|
| 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.32906#H6A3 (statement). In R589MXXHX4/e1, lemma 7.1
History
- 2026-10-31: add by m2/v0.5.6
NWQ43VP3YR NWQ43VP3YR
| URI | m2://inv/NWQ43VP3YR |
|---|---|
| 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.21759#C79I (statement). In AFC5D0H4GY/e1, proposition 2
History
- 2026-10-27: add by m2/v0.4.2
Tian's formula for Weil-Petersson metric NWQ6VX53G2
| URI | m2://inv/NWQ6VX53G2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27800#QQRH, Tian's formula for Weil-Petersson metric (definition)
History
- 2026-11-01: add by m2/v0.6.15
NWQ7PA5EER NWQ7PA5EER
| URI | m2://inv/NWQ7PA5EER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#OZKP (statement). In RK0ZMDJ23T/e1, lemma 2.1.8
History
- 2026-10-31: add by m2/v0.5.6
continuous functional calculus NWQDW4CJVZ
| URI | m2://inv/NWQDW4CJVZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous functional calculus#05IX, continuous functional calculus (statement)
History
- 2026-11-02: add by m2/dev
Tres Valles NWQGG7ETFY
| URI | m2://inv/NWQGG7ETFY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#EMPK, Tres Valles (unknown)
History
- 2026-11-02: add by m2/dev
Position--momentum transfer NWQJG1R1QN
| URI | m2://inv/NWQJG1R1QN |
|---|---|
| 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.16248#WSDM, Position--momentum transfer (statement). In TP61DYMBMK/e1, proposition 10
History
- 2026-10-28: add by m2/v0.4.2
Q NWQR620G68
| URI | m2://inv/NWQR620G68 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#7CGL, Q (definition)
History
- 2026-11-02: add by m2/dev
eliminate imaginaries NWR4D7M8Q3
| URI | m2://inv/NWR4D7M8Q3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#H924, eliminate imaginaries (definition)
History
- 2026-11-02: add by m2/dev
NWR5SGHYC7 NWR5SGHYC7
| URI | m2://inv/NWR5SGHYC7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16332#INF7 (statement). In JJQPFXZQ3D/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
NWR8SR2PGT NWR8SR2PGT
| URI | m2://inv/NWR8SR2PGT |
|---|---|
| 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#E0MJ (statement). In E22A2MFR4Y/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.3.6
NWRE39CSPD NWRE39CSPD
| URI | m2://inv/NWRE39CSPD |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#proof-2 (proof). In RZP28ERRZV, proof, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
Virtually Haken conjecture NWRFPEENXJ
| URI | m2://inv/NWRFPEENXJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virtually Haken conjecture, Virtually Haken conjecture (statement). Also Wikidata Q7935203
History
- 2026-11-02: add by m2/dev
Applications NWRGDHD31E
| URI | m2://inv/NWRGDHD31E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raychaudhuri equation#N2UO, Applications (example)
History
- 2026-11-02: add by m2/dev
NWRHXME46W NWRHXME46W
| URI | m2://inv/NWRHXME46W |
|---|---|
| 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 1810.06028#FC44 (definition). In ZPFHH6YJG3/e1, definition 2.14
History
- 2026-10-27: add by m2/v0.3.5
Abel elliptic functions NWRM8VDEQJ
| URI | m2://inv/NWRM8VDEQJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#N3LX, Abel elliptic functions (definition)
History
- 2026-11-02: add by m2/dev
$T_{\mathrm{pa}}$ violates cyclical monotonicity NWRS2F9VRY
| URI | m2://inv/NWRS2F9VRY |
|---|---|
| Kind | example |
| 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.31363#HWN1, $T_{\mathrm{pa}}$ violates cyclical monotonicity (example). In XB8NYRD86J/e1, example 4.1
History
- 2026-10-31: add by m2/v0.5.6
Extending a representable lift NWS2R9PQ30
| URI | m2://inv/NWS2R9PQ30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.28220#1IYP, Extending a representable lift (statement)
History
- 2026-11-01: add by m2/v0.6.15
Wilfrid Dixon NWS50VZAA9
| URI | m2://inv/NWS50VZAA9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilfrid Dixon, Wilfrid Dixon (topic). Also Wikidata Q2571062
History
- 2026-11-02: add by m2/dev
Josef Pieprzyk NWS5A7600T
| URI | m2://inv/NWS5A7600T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RBDD, Josef Pieprzyk (unknown)
History
- 2026-11-02: add by m2/dev
NWS7NA017V NWS7NA017V
| URI | m2://inv/NWS7NA017V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#6ZVG (definition). In G70Q2FB591/e1, definition 3.7
History
- 2026-10-28: add by m2/v0.4.2
False negatives for planted targets NWSASPRGDR
| URI | m2://inv/NWSASPRGDR |
|---|---|
| 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.37483#SAW9, False negatives for planted targets (statement). In DBAPT7KA04/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
Statistical signal processing NWSEPVZWZP
| URI | m2://inv/NWSEPVZWZP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fields of application of statistics#3DH5, Statistical signal processing (topic)
History
- 2026-11-02: add by m2/dev
Statement NWSETTWJ5M
| URI | m2://inv/NWSETTWJ5M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McDiarmid's inequality#IHA7, Statement (statement)
History
- 2026-11-02: add by m2/dev
1 32 polytope NWSRDEN8GJ
| URI | m2://inv/NWSRDEN8GJ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1 32 polytope, 1 32 polytope (object). Also Wikidata Q4595917
History
- 2026-11-02: add by m2/dev
NWSSVEXGA9 NWSSVEXGA9
| URI | m2://inv/NWSSVEXGA9 |
|---|---|
| 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.20916#S5FJ (statement). In HV598NZW9X/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
NWSX65VN7Y NWSX65VN7Y
| URI | m2://inv/NWSX65VN7Y |
|---|---|
| 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.39531#UVWA (statement). In SN9RSTHQ07/e1, lemma E.2
History
- 2026-10-30: add by m2/v0.4.12
Parameters, observation map, inverse image NWSZ020YAK
| URI | m2://inv/NWSZ020YAK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07341#EEBG, Parameters, observation map, inverse image (definition). In 6KFS1X0MZR/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
Paolo da Pergola NWT0FVS4ZN
| URI | m2://inv/NWT0FVS4ZN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#BMIA, Paolo da Pergola (unknown)
History
- 2026-11-02: add by m2/dev
Alec Gallup NWT52P4TE7
| URI | m2://inv/NWT52P4TE7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alec Gallup, Alec Gallup (topic). Also Wikidata Q4714141
History
- 2026-11-02: add by m2/dev
NWT9N2T31M NWT9N2T31M
| URI | m2://inv/NWT9N2T31M |
|---|---|
| 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#C80E (example)
History
- 2026-11-02: add by m2/v0.6.18
NWTDRBKCDE NWTDRBKCDE
| URI | m2://inv/NWTDRBKCDE |
|---|---|
| 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.20991#51NW (statement). In H98ZC5YBSD/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.2
Denjoy's theorem on rotation number NWTNEQ3Y1P
| URI | m2://inv/NWTNEQ3Y1P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denjoy's theorem on rotation number, Denjoy's theorem on rotation number (statement). Also Wikidata Q4454940
History
- 2026-11-02: add by m2/dev
NWTWSVQ5CE NWTWSVQ5CE
| URI | m2://inv/NWTWSVQ5CE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/semisimple.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 81.3
History
- 2026-11-01: add by m2/v0.6.13
Weierstrass approximation theorem NWV0Y59Y56
| URI | m2://inv/NWV0Y59Y56 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone–Weierstrass theorem#KMY5, Weierstrass approximation theorem (statement)
History
- 2026-11-02: add by m2/dev
$ 1 \ll \log(M) \ll N $ and $ \log(L) \ll N $ NWVE799YRW
| URI | m2://inv/NWVE799YRW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.10580#MO4T, $ 1 \ll \log(M) \ll N $ and $ \log(L) \ll N $ (statement). In FXEJE0PWEP/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.3.5
Degenerate distribution NWVEYACJ8K
| URI | m2://inv/NWVEYACJ8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#XSNY, Degenerate distribution (definition)
History
- 2026-11-02: add by m2/dev
Examples NWVFJ0G55Y
| URI | m2://inv/NWVFJ0G55Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Determinantal point process#HVSP, Examples (example)
History
- 2026-11-02: add by m2/dev
Donsker--Varadhan duality, see e.g., Proposition 7.16 NWVGJ1CSW2
| URI | m2://inv/NWVGJ1CSW2 |
|---|---|
| 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.19513#3BVR, Donsker--Varadhan duality, see e.g., Proposition 7.16 (statement). In Q557CNT758/e1, lemma C.1
History
- 2026-10-28: add by m2/v0.4.2
Noetherian commutative ring NWVJA1FS8M
| URI | m2://inv/NWVJA1FS8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q126898826, Noetherian commutative ring (definition). Also ProofWiki Definition:Noetherian_Ring
History
- 2026-10-26: add by m2/dev
NWVJA8368R NWVJA8368R
| URI | m2://inv/NWVJA8368R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.26376#B1ZK (statement). In PJAT9YDX7Y/e1, corollary 4.9
History
- 2026-10-27: add by m2/v0.4.0
Local rings in non-algebraic geometry sheaves NWW10B6GR7
| URI | m2://inv/NWW10B6GR7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#example-5, Local rings in non-algebraic geometry sheaves (example). In RZP28ERRZV, example, section 27.4.1
History
- 2026-11-01: add by m2/v0.6.13
NWWG0MH6MA NWWG0MH6MA
| URI | m2://inv/NWWG0MH6MA |
|---|---|
| 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 2303.10963#ZSCZ (statement). In F32XWYWG8E/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
3-7 kisrhombille NWWQARY2F0
| URI | m2://inv/NWWQARY2F0 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-7 kisrhombille, 3-7 kisrhombille (object). Also Wikidata Q7100425
History
- 2026-11-02: add by m2/dev
NWWQB11B8N NWWQB11B8N
| URI | m2://inv/NWWQB11B8N |
|---|---|
| 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.12640#Q5P1 (statement). In QP9FE1D6PG/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
Graeco-Latin square NWWZ99CT0M
| URI | m2://inv/NWWZ99CT0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#FC8G, Graeco-Latin square (definition)
History
- 2026-11-02: add by m2/dev
Liu Hui NWWZRV4WZJ
| URI | m2://inv/NWWZRV4WZJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#MXDI, Liu Hui (topic)
History
- 2026-11-02: add by m2/dev
Basic versus retained-holonomy sectors NWX6FX81AR
| URI | m2://inv/NWX6FX81AR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.27799#T2D5, Basic versus retained-holonomy sectors (statement)
History
- 2026-11-01: add by m2/v0.6.15
NWX82958HM NWX82958HM
| URI | m2://inv/NWX82958HM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31907#37F3 (example). In 6B2PCEGCYZ/e1, example 2.18
History
- 2026-10-31: add by m2/v0.5.6
NWXEBJT158 NWXEBJT158
| URI | m2://inv/NWXEBJT158 |
|---|---|
| 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.22557#3XNV (statement)
History
- 2026-11-02: add by m2/v0.6.17
NWXG4AV92R NWXG4AV92R
| URI | m2://inv/NWXG4AV92R |
|---|---|
| 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.30302#XWCV (statement). In R6ABTE22G0/e1, lemma 7
History
- 2026-10-31: add by m2/v0.5.6
NWXJC4V63D NWXJC4V63D
| URI | m2://inv/NWXJC4V63D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16241#H70F (definition). In WNDHZVY4WK/e1, definition A.9
History
- 2026-10-28: add by m2/v0.4.2
Formulas NWXJYWGRHQ
| URI | m2://inv/NWXJYWGRHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/terms-formulas.tex#defn:formulas, Formulas (definition). In PKGMM3P5QY, defn, section 22.1
History
- 2026-11-01: add by m2/v0.6.13
NWXKP4FKXE NWXKP4FKXE
| URI | m2://inv/NWXKP4FKXE |
|---|---|
| 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.26129#1QWR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ethnic groups in the Palestinian territories NWXPYTVPX9
| URI | m2://inv/NWXPYTVPX9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Palestine#KSTZ, Ethnic groups in the Palestinian territories (unknown)
History
- 2026-11-02: add by m2/dev
NWXTA1WC50 NWXTA1WC50
| URI | m2://inv/NWXTA1WC50 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2411.00562#SSK2 (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
Definition NWXVXYQEFF
| URI | m2://inv/NWXVXYQEFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pi#A6XJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Metric covariance NWXW263CH3
| URI | m2://inv/NWXW263CH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-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.18788#SO1I, Metric covariance (statement). In KFEASG3ZHS/e1, lemma 1.3
History
- 2026-10-28: add by m2/v0.4.2
Crosby, James NWXZ4RY43R
| URI | m2://inv/NWXZ4RY43R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#8LBT, Crosby, James (unknown)
History
- 2026-11-02: add by m2/dev
General sampling is stronger than insertional sampling NWY3CS79SY
| URI | m2://inv/NWY3CS79SY |
|---|---|
| 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.14615#QF1Q, General sampling is stronger than insertional sampling (statement). In 7D5MMP8XB5/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
NWY4PD995S NWY4PD995S
| URI | m2://inv/NWY4PD995S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-19 (proof). In N54F33XE07, proof, section 3.6
History
- 2026-11-01: add by m2/v0.6.13
NWY5F62N8A NWY5F62N8A
| URI | m2://inv/NWY5F62N8A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16123#4PXV (statement). In 6VR4TY5BGV/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
orbital mechanics NWY5PVNYPS
| URI | m2://inv/NWY5PVNYPS |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 70Mxx |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q842433, orbital mechanics (topic)
- wikipedia: Wikipedia Orbital mechanics, Orbital mechanics (topic). Also Wikidata Q842433
History
- 2026-10-26: add by m2/dev
NWY6DNZN83 NWY6DNZN83
| URI | m2://inv/NWY6DNZN83 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-45 (exercise). In E59CDZA4DP, exercise, section 10.3.5
History
- 2026-11-01: add by m2/v0.6.13
NWYEFX24BN NWYEFX24BN
| URI | m2://inv/NWYEFX24BN |
|---|---|
| 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.09561#X141 (statement). In WDV5E2CVTR/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.10
trapezoid rule NWYGNMXBK0
| URI | m2://inv/NWYGNMXBK0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/5.6.2/trapezoid-rule, trapezoid rule (concept). In 907G4C4EJ1, index, section 5.6.2
History
- 2026-11-01: add by m2/v0.6.13
Erdős–Tetali theorem NWYM2Q838A
| URI | m2://inv/NWYM2Q838A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#6HWW, Erdős–Tetali theorem (statement)
History
- 2026-11-02: add by m2/dev
Brunn–Minkowski inequality NWYP6G7P6T
| URI | m2://inv/NWYP6G7P6T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#N81I, Brunn–Minkowski inequality (statement)
History
- 2026-11-02: add by m2/dev
NWYWR1H9E6 NWYWR1H9E6
| URI | m2://inv/NWYWR1H9E6 |
|---|---|
| Kind | definition |
| 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 2610.04164#RP6U (definition). In KR7WXN4EWR/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
NWZ62DJ5NE NWZ62DJ5NE
| URI | m2://inv/NWZ62DJ5NE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#OB3Q (statement). In S26QVW5613/e1, theorem 5.4.5
History
- 2026-10-30: add by m2/v0.4.12
NWZ7H87WMN NWZ7H87WMN
| URI | m2://inv/NWZ7H87WMN |
|---|---|
| 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#GNYD (statement). In 2VHV0RNTNV/e1, lemma 8.8
History
- 2026-10-29: add by m2/v0.4.12
Inverse hyperbolic sine NWZ8Q0G9DZ
| URI | m2://inv/NWZ8Q0G9DZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#KH8P, Inverse hyperbolic sine (definition)
History
- 2026-11-02: add by m2/dev
Definition NWZDKHY0JK
| URI | m2://inv/NWZDKHY0JK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doubling space#F3SP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Plaintext NWZF6H85PC
| URI | m2://inv/NWZF6H85PC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#QPRJ, Plaintext (definition)
History
- 2026-11-02: add by m2/dev
NWZKBCJDP6 NWZKBCJDP6
| URI | m2://inv/NWZKBCJDP6 |
|---|---|
| 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.32946#4XN7 (statement). In 6AEBXNK614/e1, lemma 3.7
History
- 2026-10-31: add by m2/v0.5.6
Oscar Schlömilch NWZKHV3G0K
| URI | m2://inv/NWZKHV3G0K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#HONW, Oscar Schlömilch (topic)
History
- 2026-11-02: add by m2/dev
Schanuel's conjecture NWZM8TB67J
| URI | m2://inv/NWZM8TB67J |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Schanuel's conjecture 65PV4VFP9Y |
Mentions
- wikidata: Wikidata Q1579982, Schanuel's conjecture (conjecture). Also MathWorld SchanuelsConjecture, nLab Schanuel's conjecture, ProofWiki Schanuel's_Conjecture
- wikipedia: Wikipedia Schanuel's conjecture, Schanuel's conjecture (conjecture). Also Wikidata Q1579982
History
- 2026-10-26: add by m2/dev
Symmetry number NWZP5QJFM6
| URI | m2://inv/NWZP5QJFM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetry number, Symmetry number (definition). Also Wikidata Q7661339
History
- 2026-11-02: add by m2/dev
Uniformly smooth space NWZSF8G4WX
| URI | m2://inv/NWZSF8G4WX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniformly smooth space, Uniformly smooth space (definition). Also Wikidata Q17086866
History
- 2026-11-02: add by m2/dev
induction on well-formed formulas NWZWXN5J0J
| URI | m2://inv/NWZWXN5J0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#174Q, induction on well-formed formulas (definition)
History
- 2026-11-02: add by m2/dev