Inventory rows NP
The cards of the rows of the inventory whose ids start with NP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
NP03Q4BCBH NP03Q4BCBH
| URI | m2://inv/NP03Q4BCBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#PS7D (statement). In 9TR5E527P5/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Causal graph NP05TCYJZB
| URI | m2://inv/NP05TCYJZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal graph, Causal graph (definition). Also Wikidata Q25048149
History
- 2026-11-02: add by m2/dev
Examples NP0G3EFAJE
| URI | m2://inv/NP0G3EFAJE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cobordism#SA8A, Examples (example)
History
- 2026-11-02: add by m2/dev
NP0Q1CPK3M NP0Q1CPK3M
| URI | m2://inv/NP0Q1CPK3M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40028#W3AJ (statement). In N8TDKGGC7S/e1, lemma 3.10
History
- 2026-10-30: add by m2/v0.4.12
NP0Q2V98M6 NP0Q2V98M6
| URI | m2://inv/NP0Q2V98M6 |
|---|---|
| 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.07162#U0BR (statement). In MQEB9ZHQAT/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
XiaoFeng Wang NP0S6TFF75
| URI | m2://inv/NP0S6TFF75 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia XiaoFeng Wang (computer scientist), XiaoFeng Wang (topic). Also Wikidata Q131122267
History
- 2026-11-02: add by m2/dev
NP0SJDHCQP NP0SJDHCQP
| URI | m2://inv/NP0SJDHCQP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#proof-2 (proof). In RZP28ERRZV, proof, section 89.3
History
- 2026-11-01: add by m2/v0.6.13
Definition NP0Y3AGP7C
| URI | m2://inv/NP0Y3AGP7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measure space#VCX6, Definition (definition)
History
- 2026-11-02: add by m2/dev
NP0ZTBCM4C NP0ZTBCM4C
| URI | m2://inv/NP0ZTBCM4C |
|---|---|
| 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.18101#KVRD (statement). In XXN6KKXPYF/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Parabolic line NP10WX9B6Y
| URI | m2://inv/NP10WX9B6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parabolic line, Parabolic line (definition). Also Wikidata Q60569803
History
- 2026-11-02: add by m2/dev
Clifford module NP19JX0X4D
| URI | m2://inv/NP19JX0X4D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#BYA9, Clifford module (definition)
History
- 2026-11-02: add by m2/dev
Definition (Explicit Extractor) NP1K8TE3W8
| URI | m2://inv/NP1K8TE3W8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomness extractor#ICIH, Definition (Explicit Extractor) (definition)
History
- 2026-11-02: add by m2/dev
Mikhail Lyubich NP1M5W2FGF
| URI | m2://inv/NP1M5W2FGF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mikhail Lyubich, Mikhail Lyubich (topic). Also Wikidata Q3819070
History
- 2026-11-02: add by m2/dev
NP1RKB86B7 NP1RKB86B7
| URI | m2://inv/NP1RKB86B7 |
|---|---|
| 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.38838#9QJI (statement). In 3EH8M9GWTX/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
NP1TQY3TKF NP1TQY3TKF
| URI | m2://inv/NP1TQY3TKF |
|---|---|
| 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.25896#W38N (statement)
History
- 2026-11-01: add by m2/v0.6.15
NP1VFFCJWJ NP1VFFCJWJ
| URI | m2://inv/NP1VFFCJWJ |
|---|---|
| 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.19853#9BYR (statement). In BDD1M5GZR3/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Polynomial chaos NP2250MB5H
| URI | m2://inv/NP2250MB5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#E1CI, Polynomial chaos (definition)
History
- 2026-11-02: add by m2/dev
Vorticity tensor NP23RGS0JZ
| URI | m2://inv/NP23RGS0JZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence (general relativity)#RX5T, Vorticity tensor (unknown)
History
- 2026-11-02: add by m2/dev
NP262EST5C NP262EST5C
| URI | m2://inv/NP262EST5C |
|---|---|
| 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 2610.21954#GYFM (statement). In F2XATDBRK4/e1, lemma 8
History
- 2026-10-27: add by m2/v0.4.2
Application NP28AY5TGW
| URI | m2://inv/NP28AY5TGW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel identity#LKLT, Application (example)
History
- 2026-11-02: add by m2/dev
NP2BDECRXX NP2BDECRXX
| URI | m2://inv/NP2BDECRXX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08873#9TUW (statement). In 7WMNVJBAVR/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Properties NP2G7CAB58
| URI | m2://inv/NP2G7CAB58 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous function#YLVJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Closed graph theorems NP2GGZ17D8
| URI | m2://inv/NP2GGZ17D8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed graph property#NJEC, Closed graph theorems (statement)
History
- 2026-11-02: add by m2/dev
NP2K8SHAWS NP2K8SHAWS
| URI | m2://inv/NP2K8SHAWS |
|---|---|
| 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.18632#DRTP (statement). In PTM5MVD4M0/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
NP2S99SA34 NP2S99SA34
| URI | m2://inv/NP2S99SA34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30330#8NZ9 (statement). In QBMDTMP5CX/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
algebra NP2VCMMD4P
| URI | m2://inv/NP2VCMMD4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Banach spaces#8WKM, algebra (definition)
History
- 2026-11-02: add by m2/dev
Skilling's figure NP2YFRC435
| URI | m2://inv/NP2YFRC435 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform polyhedra by Schwarz triangle#ZJ3K, Skilling's figure (object)
History
- 2026-11-02: add by m2/dev
NP2YSJYMRP NP2YSJYMRP
| URI | m2://inv/NP2YSJYMRP |
|---|---|
| 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.25896#I59M (statement)
History
- 2026-11-01: add by m2/v0.6.15
NP356G1J20 NP356G1J20
| URI | m2://inv/NP356G1J20 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09810#VSAX (statement). In B6PCH930FV/e1, theorem 8
History
- 2026-10-29: add by m2/v0.4.10
NP3ABFYKKK NP3ABFYKKK
| URI | m2://inv/NP3ABFYKKK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03864#YUQX (definition). In 41GB65CTBJ/e1, definition A1
History
- 2026-10-29: add by m2/v0.4.12
Fáry–Milnor theorem NP3ABQ0YH1
| URI | m2://inv/NP3ABQ0YH1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4AXK, Fáry–Milnor theorem (statement)
History
- 2026-11-02: add by m2/dev
László Babai NP3DT6F9SQ
| URI | m2://inv/NP3DT6F9SQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia László Babai, László Babai (topic). Also Wikidata Q92845
History
- 2026-11-02: add by m2/dev
Solution methods for stochastic dynamic programs NP3EC093X3
| URI | m2://inv/NP3EC093X3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic dynamic programming#OL67, Solution methods for stochastic dynamic programs (unknown)
History
- 2026-11-02: add by m2/dev
Fundamental matrix (absorbing Markov chain) NP3N3VHVKY
| URI | m2://inv/NP3N3VHVKY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absorbing Markov chain#W46M, Fundamental matrix (absorbing Markov chain) (unknown)
History
- 2026-11-02: add by m2/dev
R-matrix NP3PVBZP7Y
| URI | m2://inv/NP3PVBZP7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R-matrix, R-matrix (definition). Also Wikidata Q7273285
History
- 2026-11-02: add by m2/dev
Stephanus of Alexandria NP3YGYSSXN
| URI | m2://inv/NP3YGYSSXN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#YUDX, Stephanus of Alexandria (unknown)
History
- 2026-11-02: add by m2/dev
Multi-binomial theorem NP42F83H96
| URI | m2://inv/NP42F83H96 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multi-index notation#D62N, Multi-binomial theorem (statement)
History
- 2026-11-02: add by m2/dev
NP46DTCAGT NP46DTCAGT
| URI | m2://inv/NP46DTCAGT |
|---|---|
| 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 2609.26201#KH2C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hyperbolic paraboloid NP4736K30T
| URI | m2://inv/NP4736K30T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#F88Z, Hyperbolic paraboloid (definition)
- wikipedia: Wikipedia List of surfaces#ST4P, Hyperbolic paraboloid (definition)
History
- 2026-11-02: add by m2/dev
Schouten–Nijenhuis bracket NP476PG3M1
| URI | m2://inv/NP476PG3M1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Schouten–Nijenhuis bracket FJ1MDBZ680 |
Mentions
- wikidata: Wikidata Q7432782, Schouten–Nijenhuis bracket (concept). Also nLab Schouten bracket
- wikipedia: Wikipedia Schouten–Nijenhuis bracket, Schouten–Nijenhuis bracket (definition). Also Wikidata Q7432782
History
- 2026-10-26: add by m2/dev
Theorems NP4DGKP124
| URI | m2://inv/NP4DGKP124 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transversal plane#MPEB, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Padovan sequence NP4FM3YXAE
| URI | m2://inv/NP4FM3YXAE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2706626, Padovan sequence (object). Also MathWorld PadovanSequence, OEIS A000931
- wikipedia: Wikipedia Padovan sequence, Padovan sequence (definition). Also Wikidata Q2706626
History
- 2026-10-26: add by m2/dev
History of wavelets NP4FRHAEJZ
| URI | m2://inv/NP4FRHAEJZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wavelet#6FPV, History of wavelets (unknown)
History
- 2026-11-02: add by m2/dev
NP4KXVR3HQ NP4KXVR3HQ
| URI | m2://inv/NP4KXVR3HQ |
|---|---|
| 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.01354#T4CJ (statement). In BWD76W20W8/e1, corollary 5.10
History
- 2026-10-29: add by m2/v0.4.12
Shell theorem NP4PYE1B25
| URI | m2://inv/NP4PYE1B25 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2222575, Shell theorem (statement). Also Wikidata Q2222575
- thousand_plus: thousand_plus Q2222575, Shell theorem (statement). Also Wikidata Q2222575, Wikipedia Shell theorem
- wikipedia: Wikipedia Shell theorem, Shell theorem (statement). Also Wikidata Q2222575
History
- 2026-10-26: add by m2/dev
Definitions NP4TPBXNBZ
| URI | m2://inv/NP4TPBXNBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Packing dimension#O7UV, Definitions (definition)
History
- 2026-11-02: add by m2/dev
White dwarf pulsar NP4YKRTM0H
| URI | m2://inv/NP4YKRTM0H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pulsar#4JCG, White dwarf pulsar (unknown)
History
- 2026-11-02: add by m2/dev
invalid deductive argument NP50NDF7GQ
| URI | m2://inv/NP50NDF7GQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#1ZLY, invalid deductive argument (definition)
History
- 2026-11-02: add by m2/dev
NP5FNNZDEY NP5FNNZDEY
| URI | m2://inv/NP5FNNZDEY |
|---|---|
| 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.11455#EW6X (definition). In Z1EBVH5SP1/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.3
NP5GET7AQ8 NP5GET7AQ8
| URI | m2://inv/NP5GET7AQ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#RZ1T (statement). In Q5Z178SAHP/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Pi NP5S91AVS7
| URI | m2://inv/NP5S91AVS7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#O8V6, Pi (definition)
- wikipedia: Wikipedia List of topics related to π#TROM, Pi (definition)
History
- 2026-11-02: add by m2/dev
Unimodular polynomial matrix NP5XD3CVTK
| URI | m2://inv/NP5XD3CVTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unimodular polynomial matrix, Unimodular polynomial matrix (definition). Also Wikidata Q7885227
History
- 2026-11-02: add by m2/dev
NP5ZWYY38F NP5ZWYY38F
| URI | m2://inv/NP5ZWYY38F |
|---|---|
| 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.26896#D4Y9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations NP60H0A0KN
| URI | m2://inv/NP60H0A0KN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariance#03SO, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Lefschetz zeta function NP666R7M31
| URI | m2://inv/NP666R7M31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of zeta functions#BTN9, Lefschetz zeta function (definition)
History
- 2026-11-02: add by m2/dev
Aharoni-Korman conjecture NP6P65V085
| URI | m2://inv/NP6P65V085 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#DMAG, Aharoni-Korman conjecture (unknown)
History
- 2026-11-02: add by m2/dev
Coaxial NP6TPDCC4K
| URI | m2://inv/NP6TPDCC4K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coaxial, Coaxial (definition). Also Wikidata Q1751466
History
- 2026-11-02: add by m2/dev
Lower leading-edge barrier NP70G4TVRB
| URI | m2://inv/NP70G4TVRB |
|---|---|
| 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#XUBF, Lower leading-edge barrier (statement). In XM98BX97RT/e1, lemma C.5
History
- 2026-10-30: add by m2/v0.4.12
Capacitance NP75KJT4XZ
| URI | m2://inv/NP75KJT4XZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capacitance, Capacitance (definition). Also Wikidata Q164399
History
- 2026-11-02: add by m2/dev
Statement NP75YMVCMF
| URI | m2://inv/NP75YMVCMF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ajtai–Komlós–Tusnády theorem#I9H0, Statement (statement)
History
- 2026-11-02: add by m2/dev
NP7KH9QW31 NP7KH9QW31
| URI | m2://inv/NP7KH9QW31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21945#7WEL (statement). In 371P9QASSJ/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.4.2
Loop count NP7VXDXKMQ
| URI | m2://inv/NP7VXDXKMQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 55-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.37524#I2E1, Loop count (definition). In 4GTJAPF7Q3/e1, definition 7.3
History
- 2026-10-30: add by m2/v0.4.12
abstract NP7WEEM6RB
| URI | m2://inv/NP7WEEM6RB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#GUN6, abstract (definition)
History
- 2026-11-02: add by m2/dev
Heil–Ramanathan–Topiwala conjecture NP823D7KC1
| URI | m2://inv/NP823D7KC1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#HDGF, Heil–Ramanathan–Topiwala conjecture (unknown)
History
- 2026-11-02: add by m2/dev
Engelbert–Schmidt 0–1 law NP88ES0CPS
| URI | m2://inv/NP88ES0CPS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Engelbert–Schmidt zero–one law#1ZE9, Engelbert–Schmidt 0–1 law (statement)
History
- 2026-11-02: add by m2/dev
Farkas' Lemma NP8C7G1Q8W
| URI | m2://inv/NP8C7G1Q8W |
|---|---|
| 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.09634#PQMU, Farkas' Lemma (statement). In FH42QK814C/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
Theorem NP8HXV7EK5
| URI | m2://inv/NP8HXV7EK5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone–von Neumann theorem#BOBG, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Bonaventura Cavalieri NP8KYG4QM7
| URI | m2://inv/NP8KYG4QM7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#CLL5, Bonaventura Cavalieri (topic)
- wikipedia: Wikipedia List of Italian mathematicians#MZBK, Bonaventura Cavalieri (topic)
History
- 2026-11-02: add by m2/dev
NP8VYMEGQ8 NP8VYMEGQ8
| URI | m2://inv/NP8VYMEGQ8 |
|---|---|
| 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#IUDZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Magne S. Espedal NP8YQGTZ7G
| URI | m2://inv/NP8YQGTZ7G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magne S. Espedal, Magne S. Espedal (topic). Also Wikidata Q102124385
History
- 2026-11-02: add by m2/dev
Examples NP8ZE18QDJ
| URI | m2://inv/NP8ZE18QDJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adversarial machine learning#0SBH, Examples (example)
History
- 2026-11-02: add by m2/dev
NP9131BS5C NP9131BS5C
| URI | m2://inv/NP9131BS5C |
|---|---|
| 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.22040#X5HN (statement). In 2QP93JHYNB/e1, corollary 6.10
History
- 2026-10-27: add by m2/v0.4.2
Petr Mandl NP9AEPCJG6
| URI | m2://inv/NP9AEPCJG6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petr Mandl, Petr Mandl (topic). Also Wikidata Q7178554
History
- 2026-11-02: add by m2/dev
Jordan–Schönflies theorem NP9QBHWDSP
| URI | m2://inv/NP9QBHWDSP |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TDM8, Jordan–Schönflies theorem (problem)
History
- 2026-11-02: add by m2/dev
Sturmian morphism NP9YH3X343
| URI | m2://inv/NP9YH3X343 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sturmian word#2SA4, Sturmian morphism (unknown)
History
- 2026-11-02: add by m2/dev
Independent set problem NP9ZRXY0WA
| URI | m2://inv/NP9ZRXY0WA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#Q66K, Independent set problem (definition)
History
- 2026-11-02: add by m2/dev
Principle of duality NPA0PZTKGP
| URI | m2://inv/NPA0PZTKGP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duality (projective geometry)#R5AN, Principle of duality (statement)
History
- 2026-11-02: add by m2/dev
Properties NPA1D22PTZ
| URI | m2://inv/NPA1D22PTZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 21 (number)#F8FR, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition NPADCJDPPQ
| URI | m2://inv/NPADCJDPPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson wavelet#SOA7, Definition (definition)
History
- 2026-11-02: add by m2/dev
NPAHVFB5FV NPAHVFB5FV
| URI | m2://inv/NPAHVFB5FV |
|---|---|
| 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.10206#5Z4A (statement). In 8TRCP1482Q/e1, theorem B.34
History
- 2026-10-29: add by m2/v0.4.10
Scholz's reciprocity law NPAWYGP3M9
| URI | m2://inv/NPAWYGP3M9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scholz's reciprocity law, Scholz's reciprocity law (statement). Also Wikidata Q7432097
History
- 2026-11-02: add by m2/dev
NPAX29RZEN NPAX29RZEN
| URI | m2://inv/NPAX29RZEN |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/coding-terms.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 27.3
History
- 2026-11-01: add by m2/v0.6.13
NPB5GPQR06 NPB5GPQR06
| URI | m2://inv/NPB5GPQR06 |
|---|---|
| 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.03298#H7D2 (definition). In 9SBZP218SM/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
NPBBPAHB5F NPBBPAHB5F
| URI | m2://inv/NPBBPAHB5F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38375#KRA8 (statement). In CHSB1TGAKB/e1, proposition 7
History
- 2026-10-30: add by m2/v0.4.12
NPBZ15HF1F NPBZ15HF1F
| URI | m2://inv/NPBZ15HF1F |
|---|---|
| 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 2610.15444#AZZL (definition). In M2X9TEYRPC/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Commuting square NPC4AYYRNH
| URI | m2://inv/NPC4AYYRNH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#Y28X, Commuting square (definition). In MRR92GQNZE/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Definition NPC668BTT8
| URI | m2://inv/NPC668BTT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal on a set#V5U7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Reinhardt cardinal NPCE7MZP10
| URI | m2://inv/NPCE7MZP10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#X7PV, Reinhardt cardinal (definition)
History
- 2026-11-02: add by m2/dev
Defensive attribution hypothesis NPCG0W7K5G
| URI | m2://inv/NPCG0W7K5G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#FB0M, Defensive attribution hypothesis (unknown)
History
- 2026-11-02: add by m2/dev
Ordinal definable set NPCN8QVB6X
| URI | m2://inv/NPCN8QVB6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinal definable set, Ordinal definable set (definition). Also Wikidata Q384699
History
- 2026-11-02: add by m2/dev
120-cell prism NPCQ0CFQHC
| URI | m2://inv/NPCQ0CFQHC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform 5-polytope#CK4M, 120-cell prism (unknown)
History
- 2026-11-02: add by m2/dev
NPCT5F8RVN NPCT5F8RVN
| URI | m2://inv/NPCT5F8RVN |
|---|---|
| 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#WCTP (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition NPCXQK82WX
| URI | m2://inv/NPCXQK82WX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective module#AXLE, Definition (definition)
History
- 2026-11-02: add by m2/dev
MLP residual networks satisfy the main theorems NPD5TKXSAG
| URI | m2://inv/NPD5TKXSAG |
|---|---|
| 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.14344#8WIH, MLP residual networks satisfy the main theorems (statement). In ZVCD8RG1JJ/e1, corollary 6
History
- 2026-10-28: add by m2/v0.4.2
Law of the lever NPD8K2WVD6
| URI | m2://inv/NPD8K2WVD6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virtual work#0JSW, Law of the lever (statement)
History
- 2026-11-02: add by m2/dev
NPD9ZT582D NPD9ZT582D
| URI | m2://inv/NPD9ZT582D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.08319#MAJS (statement). In MA1CZ2GTAF/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.0
Fermat polygonal number theorem NPDHSNR8BX
| URI | m2://inv/NPDHSNR8BX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1146791, Fermat polygonal number theorem (statement). Also Wikidata Q1146791
- thousand_plus: thousand_plus Q1146791, Fermat polygonal number theorem (statement). Also Wikidata Q1146791, Wikipedia Fermat polygonal number theorem
- wikidata: Wikidata Q1146791, Fermat polygonal number theorem (statement). Also MathWorld FermatsPolygonalNumberTheorem
- wikipedia: Wikipedia Fermat polygonal number theorem, Fermat polygonal number theorem (statement). Also Wikidata Q1146791
History
- 2026-10-26: add by m2/dev
total jump NPDHWJ7EBQ
| URI | m2://inv/NPDHWJ7EBQ |
|---|---|
| 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.10408#65W1, total jump (statement). In H976NYKBNT/e1, proposition A.4
History
- 2026-10-29: add by m2/v0.4.10
Construction NPDM4DNRQA
| URI | m2://inv/NPDM4DNRQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ree group#BFTC, Construction (definition)
History
- 2026-11-02: add by m2/dev
NPDSR2DX2Y NPDSR2DX2Y
| URI | m2://inv/NPDSR2DX2Y |
|---|---|
| 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 2409.20170#FXS4 (statement). In QXJP79APHN/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
Total internal reflection NPDTCREQTK
| URI | m2://inv/NPDTCREQTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total internal reflection, Total internal reflection (definition). Also Wikidata Q234943
History
- 2026-11-02: add by m2/dev
NPDYWZP6PF NPDYWZP6PF
| URI | m2://inv/NPDYWZP6PF |
|---|---|
| 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.24578#9S89 (statement)
History
- 2026-11-01: add by m2/v0.6.15
NPE2S9GRK5 NPE2S9GRK5
| URI | m2://inv/NPE2S9GRK5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.09171#45Z4 (statement). In 5ZPSZFE08Q/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
NPE7D2QJHW NPE7D2QJHW
| URI | m2://inv/NPE7D2QJHW |
|---|---|
| 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 1004.4564#RVQJ (statement). In BZ54C9SKYS/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
NPEDCQN04M NPEDCQN04M
| URI | m2://inv/NPEDCQN04M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09129#EGV8 (definition). In Z1RZSF68XZ/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Quadratic rank and Hamming weight NPEH428CK5
| URI | m2://inv/NPEH428CK5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15815#1WQQ, Quadratic rank and Hamming weight (statement). In 9C75CTY5C3/e1, proposition 5.7
History
- 2026-10-28: add by m2/v0.4.2
NPEW8GDSZN NPEW8GDSZN
| URI | m2://inv/NPEW8GDSZN |
|---|---|
| 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.00364#WYNV (statement). In ANR3DHYQPQ/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
arithmetic NPEWW24AKK
| URI | m2://inv/NPEWW24AKK |
|---|---|
| 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.37459#J5Y9, arithmetic (statement). In RPBXABNQTG/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
Definition NPF674EGC5
| URI | m2://inv/NPF674EGC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartesian fibration#31AL, Definition (definition)
History
- 2026-11-02: add by m2/dev
NPFAH5E3N5 NPFAH5E3N5
| URI | m2://inv/NPFAH5E3N5 |
|---|---|
| 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.00292#KLP3 (statement). In NX3EFW0D0X/e1, proposition 7.3
History
- 2026-10-30: add by m2/v0.4.12
Shapley, Lloyd NPFNP6NSWW
| URI | m2://inv/NPFNP6NSWW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#GOVI, Shapley, Lloyd (unknown)
History
- 2026-11-02: add by m2/dev
NPFP6BKMR8 NPFP6BKMR8
| URI | m2://inv/NPFP6BKMR8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39992#OPHD (statement). In WF64CGYVK1/e1, corollary S13
History
- 2026-10-30: add by m2/v0.4.12
Definition NPFZ6MXXK3
| URI | m2://inv/NPFZ6MXXK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum and minimum#53YL, Definition (definition)
History
- 2026-11-02: add by m2/dev
NPG1H3XKED NPG1H3XKED
| URI | m2://inv/NPG1H3XKED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#E9B0 (statement). In SD28S3K7BT/e1, proposition 37
History
- 2026-10-29: add by m2/v0.4.12
Change of bound variable, $\aconvone$ NPG63ZFNF2
| URI | m2://inv/NPG63ZFNF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#defn:aconvone, Change of bound variable, $\aconvone$ (definition). In PKGMM3P5QY, defn, section 38.9
History
- 2026-11-01: add by m2/v0.6.13
structural, recursion NPG8802M38
| URI | m2://inv/NPG8802M38 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.1/structural-recursion, structural, recursion (concept). In N54F33XE07, index, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
NPGN4C4A8K NPGN4C4A8K
| URI | m2://inv/NPGN4C4A8K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.09599#1NFZ (statement). In 4JYGH9XNA9/e1, theorem 2.8
History
- 2026-10-29: add by m2/v0.4.10
The Gaussian kernel NPGRW80MR0
| URI | m2://inv/NPGRW80MR0 |
|---|---|
| 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.19356#3G8P, The Gaussian kernel (statement). In 2B5QA28NCX/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
NPGTNJYN0N NPGTNJYN0N
| URI | m2://inv/NPGTNJYN0N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ord-arithmetic/exponentiation.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 71.9
History
- 2026-11-01: add by m2/v0.6.13
Random algebra NPHMV7BP1W
| URI | m2://inv/NPHMV7BP1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random algebra, Random algebra (definition). Also Wikidata Q18393451
History
- 2026-11-02: add by m2/dev
NPHPNEV8XK NPHPNEV8XK
| URI | m2://inv/NPHPNEV8XK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#CCZ2 (statement). In BSWNH3NW1M/e1, lemma 9.24
History
- 2026-10-27: add by m2/v0.4.0
Comparison with an arbitrary compact orbit NPHR8M5GRN
| URI | m2://inv/NPHR8M5GRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#4BCN, Comparison with an arbitrary compact orbit (statement). In 9YAE8FNQST/e1, theorem 22.1
History
- 2026-10-30: add by m2/v0.4.12
NPHVP7E7SQ NPHVP7E7SQ
| URI | m2://inv/NPHVP7E7SQ |
|---|---|
| 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 2206.11809#AM6F (statement). In YQXYSNW78V/e1, lemma 22
History
- 2026-10-27: add by m2/v0.3.5
NPJ1XPPM31 NPJ1XPPM31
| URI | m2://inv/NPJ1XPPM31 |
|---|---|
| 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 2204.01073#MSCO (statement). In W4TYN4PGE8/e1, lemma 5.8
History
- 2026-10-27: add by m2/v0.3.5
Computation NPJ9CG4STK
| URI | m2://inv/NPJ9CG4STK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/unary-numbers.tex#defn-1, Computation (definition). In PKGMM3P5QY, defn, section 86.3
History
- 2026-11-01: add by m2/v0.6.13
Properties NPJ9J67MNS
| URI | m2://inv/NPJ9J67MNS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measurable cardinal#DB8C, Properties (statement)
History
- 2026-11-02: add by m2/dev
Subspace identification method NPJB76CSRS
| URI | m2://inv/NPJB76CSRS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subspace identification method, Subspace identification method (definition). Also Wikidata Q85803902
History
- 2026-11-02: add by m2/dev
NPJDD0TG38 NPJDD0TG38
| URI | m2://inv/NPJDD0TG38 |
|---|---|
| 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 2609.27775#8LSM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Distributed ray tracing NPJF6B9GYN
| URI | m2://inv/NPJF6B9GYN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#H9NH, Distributed ray tracing (unknown)
History
- 2026-11-02: add by m2/dev
Statement of Malgrange preparation theorem NPJHJGM0CK
| URI | m2://inv/NPJHJGM0CK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Malgrange preparation theorem#IYYF, Statement of Malgrange preparation theorem (statement)
History
- 2026-11-02: add by m2/dev
NPJMMBP89B NPJMMBP89B
| URI | m2://inv/NPJMMBP89B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/abelian.tex#definition-2 (definition). In RZP28ERRZV, definition, section 35.1
History
- 2026-11-01: add by m2/v0.6.13
NPJYKX3HG0 NPJYKX3HG0
| URI | m2://inv/NPJYKX3HG0 |
|---|---|
| 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.17476#9OPZ (statement). In 6HXD74FA4S/e1, corollary 8.5
History
- 2026-10-28: add by m2/v0.4.2
subtraction NPK3CFJZZB
| URI | m2://inv/NPK3CFJZZB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q40754, subtraction (concept). Also MathWorld Subtraction
- wikipedia: Wikipedia Subtraction, Subtraction (definition). Also Wikidata Q40754
History
- 2026-10-26: add by m2/dev
NPK4DMGH0M NPK4DMGH0M
| URI | m2://inv/NPK4DMGH0M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-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.12330#JT12 (definition). In XHSKEPT3VD/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
BPST instanton NPKCKQM84N
| URI | m2://inv/NPKCKQM84N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BPST instanton, BPST instanton (definition). Also Wikidata Q4836279
History
- 2026-11-02: add by m2/dev
Joseph Mugisha NPKCTECDKX
| URI | m2://inv/NPKCTECDKX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Mugisha, Joseph Mugisha (topic). Also Wikidata Q25112522
History
- 2026-11-02: add by m2/dev
NPKG7CR93E NPKG7CR93E
| URI | m2://inv/NPKG7CR93E |
|---|---|
| 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.28993#LU0B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Complex structures on homogeneous spaces NPKK4MM7V2
| URI | m2://inv/NPKK4MM7V2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complexification (Lie group)#Q1I0, Complex structures on homogeneous spaces (unknown)
History
- 2026-11-02: add by m2/dev
Muhammad Baqir Yazdi NPKQP371E6
| URI | m2://inv/NPKQP371E6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#W3RK, Muhammad Baqir Yazdi (unknown)
History
- 2026-11-02: add by m2/dev
NPKRHYXK73 NPKRHYXK73
| URI | m2://inv/NPKRHYXK73 |
|---|---|
| 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.36389#PECR (statement). In N1S169J2MV/e1, proposition 11
History
- 2026-10-30: add by m2/v0.4.12
polynomial functions NPKRZF3MV1
| URI | m2://inv/NPKRZF3MV1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Elementary functions (trigonometric, rational, $\exp$, $\log$, etc) > polynomial functions, polynomial functions (unknown). Also Mathlib Polynomial.eval
History
- 2026-10-26: add by m2/dev
Self-normalized martingale NPKWESFR73
| URI | m2://inv/NPKWESFR73 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22338#WW4R, Self-normalized martingale (statement)
History
- 2026-11-02: add by m2/v0.6.17
NPMCJKFTYX NPMCJKFTYX
| URI | m2://inv/NPMCJKFTYX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03719#MFPS (statement). In 8MDK189ZMB/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.12
André Blondel NPMFEKNGB7
| URI | m2://inv/NPMFEKNGB7 |
|---|---|
| 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#69D8, André Blondel (unknown)
History
- 2026-11-02: add by m2/dev
NPMMGGCQ9G NPMMGGCQ9G
| URI | m2://inv/NPMMGGCQ9G |
|---|---|
| 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 0902.4887#DUY3 (statement). In MYQ05J9R20/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
NPMX7XB7HE NPMX7XB7HE
| URI | m2://inv/NPMX7XB7HE |
|---|---|
| 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.34923#MLFZ (statement). In 7WKVFJEZQT/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
Mark Krasnoselsky NPN2HTY4S1
| URI | m2://inv/NPN2HTY4S1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#X0Z7, Mark Krasnoselsky (unknown)
History
- 2026-11-02: add by m2/dev
Variations NPN4PBP7PQ
| URI | m2://inv/NPN4PBP7PQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncertainty coefficient#2MVA, Variations (statement)
History
- 2026-11-02: add by m2/dev
NPN606JQ0C NPN606JQ0C
| URI | m2://inv/NPN606JQ0C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#thm-6 (statement). In N54F33XE07, thm, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
NPNB19TCHT NPNB19TCHT
| URI | m2://inv/NPNB19TCHT |
|---|---|
| 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.11210#TOWB (statement). In CRFDGFZHBF/e1, proposition 7.12
History
- 2026-10-28: add by m2/v0.4.3
Kinnosuke Ogura NPNCXT62G4
| URI | m2://inv/NPNCXT62G4 |
|---|---|
| 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#YBB7, Kinnosuke Ogura (unknown)
History
- 2026-11-02: add by m2/dev
NPNH0CS5Y2 NPNH0CS5Y2
| URI | m2://inv/NPNH0CS5Y2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.00516#GT97 (definition). In PJEV6WWX0C/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
NPNMANKXN8 NPNMANKXN8
| URI | m2://inv/NPNMANKXN8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16178#8TOF (statement). In 698X5RE1AB/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Fundamental axiom NPNP3XH3HJ
| URI | m2://inv/NPNP3XH3HJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paravector#DOE6, Fundamental axiom (statement)
History
- 2026-11-02: add by m2/dev
Example NPNPD1P5EN
| URI | m2://inv/NPNPD1P5EN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvester's formula#EMBH, Example (example)
History
- 2026-11-02: add by m2/dev
approximations of π NPNRES2YAH
| URI | m2://inv/NPNRES2YAH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1130396, approximations of π (unknown). Also MathWorld PiApproximations
- wikipedia: Wikipedia Approximations of pi, Approximations of pi (definition). Also Wikidata Q1130396
History
- 2026-10-26: add by m2/dev
Carleman's condition NPNVZRQF04
| URI | m2://inv/NPNVZRQF04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#DA9S, Carleman's condition (definition)
History
- 2026-11-02: add by m2/dev
Pi Mu Epsilon Journal NPNWC7VBHM
| URI | m2://inv/NPNWC7VBHM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pi Mu Epsilon#GP3F, Pi Mu Epsilon Journal (unknown)
History
- 2026-11-02: add by m2/dev
NPNY0C36HV NPNY0C36HV
| URI | m2://inv/NPNY0C36HV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.01237#T8UY (statement). In M9VHCG48HB/e1, theorem 7.1
History
- 2026-10-27: add by m2/v0.3.5
NPNZC3YMBK NPNZC3YMBK
| URI | m2://inv/NPNZC3YMBK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.12513#0TT2 (statement). In VM9V8SXEA2/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
Examples NPP1XB9Q5R
| URI | m2://inv/NPP1XB9Q5R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inertial frame of reference#QRBB, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples NPPJ5CR2HM
| URI | m2://inv/NPPJ5CR2HM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert C*-module#CIAP, Examples (example)
History
- 2026-11-02: add by m2/dev
Principle of explosion NPPQ04QTZF
| URI | m2://inv/NPPQ04QTZF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principle of explosion, Principle of explosion (statement). Also Wikidata Q60190
History
- 2026-11-02: add by m2/dev
Complete moment criterion for the strict cross-half endpoint representation NPPQYM0XN2
| URI | m2://inv/NPPQYM0XN2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#1W47, Complete moment criterion for the strict cross-half endpoint representation (statement)
History
- 2026-11-01: add by m2/v0.6.15
NPPRR1N2B5 NPPRR1N2B5
| URI | m2://inv/NPPRR1N2B5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10860#46BH (statement). In PBYNV2WF2H/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.3
Asplund space NPPSHKTAH1
| URI | m2://inv/NPPSHKTAH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Banach spaces#7NQU, Asplund space (definition)
History
- 2026-11-02: add by m2/dev
NPPTTEK3FD NPPTTEK3FD
| URI | m2://inv/NPPTTEK3FD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#OP7V (statement). In X9WFC1D9ZS/e1, proposition 27
History
- 2026-10-27: add by m2/v0.4.2
Second-moment criterion NPPWZV19TW
| URI | m2://inv/NPPWZV19TW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#TXQM, Second-moment criterion (statement)
History
- 2026-11-02: add by m2/v0.6.17
Skolem normal form NPQ0V05V5A
| URI | m2://inv/NPQ0V05V5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#4IAA, Skolem normal form (definition)
History
- 2026-11-02: add by m2/dev
Poisson bipolar model NPQ4QD4KVY
| URI | m2://inv/NPQ4QD4KVY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic geometry models of wireless networks#OS7V, Poisson bipolar model (unknown)
History
- 2026-11-02: add by m2/dev
NPQ927612B NPQ927612B
| URI | m2://inv/NPQ927612B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-6.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
NPQ9DCJBQ2 NPQ9DCJBQ2
| URI | m2://inv/NPQ9DCJBQ2 |
|---|---|
| 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.05706#UT6H (statement). In 8EHE8CX1KJ/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.10
NPQEVDDXEB NPQEVDDXEB
| URI | m2://inv/NPQEVDDXEB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#2P32 (statement)
History
- 2026-11-02: add by m2/v0.6.18
NPQMWBJ23B NPQMWBJ23B
| URI | m2://inv/NPQMWBJ23B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16605#7W94 (statement). In KZ175036B5/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
NPQX21NSWH NPQX21NSWH
| URI | m2://inv/NPQX21NSWH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36668#1DNE (statement). In RD729BY377/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Poincaré inequality NPQXRGXHDC
| URI | m2://inv/NPQXRGXHDC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brascamp–Lieb inequality#WXDC, Poincaré inequality (statement)
History
- 2026-11-02: add by m2/dev
$n=127$, by congruence NPR5P560K4
| URI | m2://inv/NPR5P560K4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#I2RS, $n=127$, by congruence (statement). In QPJ6FWG5HD/e1, theorem 2.74
History
- 2026-10-29: add by m2/v0.4.12
NPR8GECWF5 NPR8GECWF5
| URI | m2://inv/NPR8GECWF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.10505#S45T (statement). In JW8HH6EPG2/e1, lemma 4.22
History
- 2026-10-29: add by m2/v0.4.10
Propagation graph NPRBPPZQK3
| URI | m2://inv/NPRBPPZQK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propagation graph, Propagation graph (definition). Also Wikidata Q106901147
History
- 2026-11-02: add by m2/dev
NPRJH6EKTF NPRJH6EKTF
| URI | m2://inv/NPRJH6EKTF |
|---|---|
| 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.20385#N4LJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
NPRK1S5GDC NPRK1S5GDC
| URI | m2://inv/NPRK1S5GDC |
|---|---|
| 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 2503.16884#P034 (statement). In B984KNW591/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Even subalgebra NPRM1A19F5
| URI | m2://inv/NPRM1A19F5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superalgebra#54BZ, Even subalgebra (unknown)
History
- 2026-11-02: add by m2/dev
Theodoros Varopoulos NPRN98WD1Q
| URI | m2://inv/NPRN98WD1Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theodoros Varopoulos, Theodoros Varopoulos (topic). Also Wikidata Q12877915
History
- 2026-11-02: add by m2/dev
NPRZK86KMR NPRZK86KMR
| URI | m2://inv/NPRZK86KMR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21388#1NE3 (example). In 3X4E9KSVWV/e1, example 3.2
History
- 2026-10-27: add by m2/v0.4.2
NPS2BT2ZQ8 NPS2BT2ZQ8
| URI | m2://inv/NPS2BT2ZQ8 |
|---|---|
| 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.27941#UHAM (statement)
History
- 2026-11-01: add by m2/v0.6.15
NPSDJ3NS75 NPSDJ3NS75
| URI | m2://inv/NPSDJ3NS75 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.21960#J5NX (definition). In QX77AN49J0/e1, definition 6.2
History
- 2026-10-27: add by m2/v0.4.2
Example NPSHEFCR8G
| URI | m2://inv/NPSHEFCR8G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré complex#1WXF, Example (example)
History
- 2026-11-02: add by m2/dev
The leafwise Chern equations NPSJ4AQDXH
| URI | m2://inv/NPSJ4AQDXH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#6MQ4, The leafwise Chern equations (statement)
History
- 2026-11-01: add by m2/v0.6.15
𝔱 NPSQ5QZXKH
| URI | m2://inv/NPSQ5QZXKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#SQ28, 𝔱 (definition)
History
- 2026-11-02: add by m2/dev
NPSTY2QNWP NPSTY2QNWP
| URI | m2://inv/NPSTY2QNWP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-13 (exercise). In E59CDZA4DP, exercise, section 8.1.4
History
- 2026-11-01: add by m2/v0.6.13
NPSWA00VTC NPSWA00VTC
| URI | m2://inv/NPSWA00VTC |
|---|---|
| Kind | definition |
| 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 2506.07061#Y0YW (definition). In G2PA4KAGRP/e1, definition 3.12
History
- 2026-10-27: add by m2/v0.3.6
Generalizations NPSYH3DGW5
| URI | m2://inv/NPSYH3DGW5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sperner's theorem#B628, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
NPSYV5HC4V NPSYV5HC4V
| URI | m2://inv/NPSYV5HC4V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#XSVG (statement). In 43TBS9P2PX/e1, lemma 8.6
History
- 2026-10-28: add by m2/v0.4.2
Non-deterministic time hierarchy theorem NPT063FHAR
| URI | m2://inv/NPT063FHAR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time hierarchy theorem#6U2B, Non-deterministic time hierarchy theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties NPTD80HAMQ
| URI | m2://inv/NPTD80HAMQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G2 manifold#ASZE, Properties (statement)
History
- 2026-11-02: add by m2/dev
NPTDF6QM5C NPTDF6QM5C
| URI | m2://inv/NPTDF6QM5C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17258#5YSZ (statement). In F4M67ZVBF2/e1, proposition A.3
History
- 2026-10-28: add by m2/v0.4.2
NPTJVW115R NPTJVW115R
| URI | m2://inv/NPTJVW115R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18246#Y05R (statement). In SN6F0MPPVF/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
NPTNZE47R8 NPTNZE47R8
| URI | m2://inv/NPTNZE47R8 |
|---|---|
| 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 1011.5443#XAQT (statement). In VQ0K2GV62A/e1, proposition 4.8
History
- 2026-10-27: add by m2/v0.3.5
NPTRGYTYQH NPTRGYTYQH
| URI | m2://inv/NPTRGYTYQH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#4NQV (statement). In 47WN78VDDF/e1, theorem 3.7
History
- 2026-10-30: add by m2/v0.4.12
NPTXCYT5HT NPTXCYT5HT
| URI | m2://inv/NPTXCYT5HT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25269#WVHG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mixing length model NPV07JSQMN
| URI | m2://inv/NPV07JSQMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixing length model, Mixing length model (definition). Also Wikidata Q6884077
History
- 2026-11-02: add by m2/dev
Proebsting's paradox NPV3AT2E13
| URI | m2://inv/NPV3AT2E13 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#A7G1, Proebsting's paradox (statement)
History
- 2026-11-02: add by m2/dev
Theorem NPV3YWQVZ3
| URI | m2://inv/NPV3YWQVZ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hemicontinuity#ULBY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Linear threshold unit NPV7SP1169
| URI | m2://inv/NPV7SP1169 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artificial neuron#F5LV, Linear threshold unit (unknown)
History
- 2026-11-02: add by m2/dev
NPV97GE1CC NPV97GE1CC
| URI | m2://inv/NPV97GE1CC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08837#7S8L (statement). In KBH265QSBT/e1, theorem 7.10
History
- 2026-10-29: add by m2/v0.4.10
NPVQ13BP8G NPVQ13BP8G
| URI | m2://inv/NPVQ13BP8G |
|---|---|
| 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.28075#4PPP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Robert Lee Moore NPVYDCD35X
| URI | m2://inv/NPVYDCD35X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Lee Moore, Robert Lee Moore (topic). Also Wikidata Q1398957
History
- 2026-11-02: add by m2/dev
List of acquisitions by Cisco NPVZ4YY63T
| URI | m2://inv/NPVZ4YY63T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of acquisitions by Cisco, List of acquisitions by Cisco (topic). Also Wikidata Q6604905
History
- 2026-11-02: add by m2/dev
NPWGW6C3S9 NPWGW6C3S9
| URI | m2://inv/NPWGW6C3S9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40271#IHGA (example). In 9MXMRKFKDW/e1, example 3.1
History
- 2026-10-30: add by m2/v0.4.12
NPWMKGGHH6 NPWMKGGHH6
| URI | m2://inv/NPWMKGGHH6 |
|---|---|
| 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.03629#LDGA (statement). In T6W0HCPXFN/e1, theorem A1
History
- 2026-10-29: add by m2/v0.4.12
NPWMTZZFEM NPWMTZZFEM
| URI | m2://inv/NPWMTZZFEM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.21921#XKEV (example). In CM2YEK9T4F/e1, example 7.9
History
- 2026-10-27: add by m2/v0.4.2
NPWQBHH5TB NPWQBHH5TB
| URI | m2://inv/NPWQBHH5TB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.05005#A8L2 (definition). In SMJMAQ2S3J/e1, definition Notation
History
- 2026-10-27: add by m2/v0.4.0
NPWQWYYE0D NPWQWYYE0D
| URI | m2://inv/NPWQWYYE0D |
|---|---|
| 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.22825#9LLS (example)
History
- 2026-11-02: add by m2/v0.6.17
Delayed martingale differences NPWT73GVRE
| URI | m2://inv/NPWT73GVRE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12873#1PP8, Delayed martingale differences (statement). In 9MMD2N7DQ1/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
Applications NPX9S18K4W
| URI | m2://inv/NPX9S18K4W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reuleaux triangle#YES2, Applications (example)
History
- 2026-11-02: add by m2/dev
NPXBB1EFNC NPXBB1EFNC
| URI | m2://inv/NPXBB1EFNC |
|---|---|
| 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.18016#4RQG (statement). In V5PVKDKGGG/e1, corollary 3.6
History
- 2026-10-28: add by m2/v0.4.2
Quantum secret sharing NPXBNCGYRJ
| URI | m2://inv/NPXBNCGYRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum secret sharing, Quantum secret sharing (definition). Also Wikidata Q110877322
History
- 2026-11-02: add by m2/dev
Definition via linkages NPXSSAJR3B
| URI | m2://inv/NPXSSAJR3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley configuration space#MVRT, Definition via linkages (definition)
History
- 2026-11-02: add by m2/dev
NPYBRK9MDK NPYBRK9MDK
| URI | m2://inv/NPYBRK9MDK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19300#FEZ0 (statement). In S6S4RD5VXJ/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
NPYC0APJ61 NPYC0APJ61
| URI | m2://inv/NPYC0APJ61 |
|---|---|
| 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.16431#BK7D (statement). In 7NX9HA8VPM/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Nicholas J. Higham NPYF74HDFK
| URI | m2://inv/NPYF74HDFK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#3U4X, Nicholas J. Higham (topic)
History
- 2026-11-02: add by m2/dev
Gabriele Steidl NPYPW4END4
| URI | m2://inv/NPYPW4END4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabriele Steidl, Gabriele Steidl (topic). Also Wikidata Q102180213
History
- 2026-11-02: add by m2/dev
NPYQJ88Q2K NPYQJ88Q2K
| URI | m2://inv/NPYQJ88Q2K |
|---|---|
| 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.20165#JCQ8 (statement). In QTD3BP5GA0/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.2
Basic properties NPZ0W3F47M
| URI | m2://inv/NPZ0W3F47M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 55-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.37524#X791, Basic properties (statement). In 4GTJAPF7Q3/e1, proposition 7.5
History
- 2026-10-30: add by m2/v0.4.12
NPZ5ZP9D6V NPZ5ZP9D6V
| URI | m2://inv/NPZ5ZP9D6V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#ZFP0 (definition). In G1RP4JY5PE/e1, definition 5.1.1
History
- 2026-10-31: add by m2/v0.5.6
NPZ6W9SFET NPZ6W9SFET
| URI | m2://inv/NPZ6W9SFET |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20909#86F4 (statement). In 7ZBX5WVEZP/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.4.2
Parabolic cylinder function NPZ7VQNG2C
| URI | m2://inv/NPZ7VQNG2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#IXBE, Parabolic cylinder function (definition)
History
- 2026-11-02: add by m2/dev
Examples NPZCMNW2GT
| URI | m2://inv/NPZCMNW2GT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithm#63DT, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications NPZHB6Q3MR
| URI | m2://inv/NPZHB6Q3MR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maslov index#AY2C, Applications (example)
History
- 2026-11-02: add by m2/dev
Permutation graph NPZJ2BCS2A
| URI | m2://inv/NPZJ2BCS2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#MPER, Permutation graph (definition)
History
- 2026-11-02: add by m2/dev
NPZJ2HSD7B NPZJ2HSD7B
| URI | m2://inv/NPZJ2HSD7B |
|---|---|
| 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#8173 (statement). In WE001PR75Z/e1, proposition 19
History
- 2026-10-28: add by m2/v0.4.2
NPZTPNZ6AB NPZTPNZ6AB
| URI | m2://inv/NPZTPNZ6AB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.18620#KIYM (statement). In 6WJ0R9YEBR/e1, corollary 3.11
History
- 2026-10-28: add by m2/v0.4.2