Inventory rows KW
The cards of the rows of the inventory whose ids start with KW. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Hasse–Arf theorem KW048YTKPP
| URI | m2://inv/KW048YTKPP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5680041, Hasse–Arf theorem (statement). Also Wikidata Q5680041
- thousand_plus: thousand_plus Q5680041, Hasse–Arf theorem (statement). Also Wikidata Q5680041, Wikipedia Hasse–Arf theorem
- wikipedia: Wikipedia Hasse–Arf theorem, Hasse–Arf theorem (statement). Also Wikidata Q5680041
History
- 2026-10-26: add by m2/dev
First few levels of the name hierarchy KW09TP0C5K
| URI | m2://inv/KW09TP0C5K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#example-7, First few levels of the name hierarchy (example). In RZP28ERRZV, example, section 90.3
History
- 2026-11-01: add by m2/v0.6.13
KW0HKDWP8S KW0HKDWP8S
| URI | m2://inv/KW0HKDWP8S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.33841#3E80 (statement). In 3CVQHT206K/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
$\mathcal{T}$-entropy-adapted KW0KHJSXBF
| URI | m2://inv/KW0KHJSXBF |
|---|---|
| Kind | definition |
| 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.21872#F7MK, $\mathcal{T}$-entropy-adapted (definition). In HEA1ME2ZE4/e1, definition 8
History
- 2026-10-27: add by m2/v0.4.2
KW0KRM0XWF KW0KRM0XWF
| URI | m2://inv/KW0KRM0XWF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-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.16541#63L3 (definition). In D0XH7W96T3/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Holt graph KW0RERNE7A
| URI | m2://inv/KW0RERNE7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115479, Holt graph (unknown). Also House of Graphs 1051, MathWorld DoyleGraph
- wikipedia: Wikipedia Holt graph, Holt graph (definition). Also Wikidata Q3115479
History
- 2026-10-26: add by m2/dev
Jeffrey Ullman KW0VVFM2SY
| URI | m2://inv/KW0VVFM2SY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#79KW, Jeffrey Ullman (unknown)
History
- 2026-11-02: add by m2/dev
Time series KW0WQ3FARP
| URI | m2://inv/KW0WQ3FARP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#90RF, Time series (definition)
- wikipedia: Wikipedia List of statistics articles#Z7XJ, Time series (definition)
History
- 2026-11-02: add by m2/dev
The lower-width, fixed-time obstruction KW0XJ6ZGAJ
| URI | m2://inv/KW0XJ6ZGAJ |
|---|---|
| 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.39408#R69R, The lower-width, fixed-time obstruction (statement). In T8E6F01RTM/e1, proposition U.9
History
- 2026-10-30: add by m2/v0.4.12
KW0ZT59VA3 KW0ZT59VA3
| URI | m2://inv/KW0ZT59VA3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13295#9ZRC (example). In 8Q7QXTWD0S/e1, example 4.6
History
- 2026-10-28: add by m2/v0.4.2
Closure under a transformation KW10BJYV6F
| URI | m2://inv/KW10BJYV6F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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.33541#7R36, Closure under a transformation (definition). In N3P196CEAJ/e1, definition 3.4
History
- 2026-10-30: add by m2/v0.4.12
Gaussian common/private second-order region KW13GP75XK
| URI | m2://inv/KW13GP75XK |
|---|---|
| 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.09472#X3GW, Gaussian common/private second-order region (statement). In 35925M9GJW/e1, theorem 18
History
- 2026-10-29: add by m2/v0.4.10
Single-edge updates KW15WNBTB2
| URI | m2://inv/KW15WNBTB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14310#PVW1, Single-edge updates (statement). In 8GSG7024NW/e1, corollary 7.5
History
- 2026-10-28: add by m2/v0.4.2
KW1G512VBB KW1G512VBB
| URI | m2://inv/KW1G512VBB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-conc.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 3.6
History
- 2026-11-01: add by m2/v0.6.13
Castelnuovo curve KW1SX19MSD
| URI | m2://inv/KW1SX19MSD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Castelnuovo curve, Castelnuovo curve (definition). Also Wikidata Q5049715
History
- 2026-11-02: add by m2/dev
KW1TN2EJ5W KW1TN2EJ5W
| URI | m2://inv/KW1TN2EJ5W |
|---|---|
| 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#ZJI6 (statement). In BSWNH3NW1M/e1, corollary 5.7
History
- 2026-10-27: add by m2/v0.3.5
simple point process KW1WFHD1DV
| URI | m2://inv/KW1WFHD1DV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55648628, simple point process (unknown). Also MathWorld SimplePointProcess
- wikipedia: Wikipedia Simple point process, Simple point process (definition). Also Wikidata Q55648628
History
- 2026-10-26: add by m2/dev
KW24XZJEWF KW24XZJEWF
| URI | m2://inv/KW24XZJEWF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#8CCE (example). In WD2NCBV9F0/e1, example 9.10
History
- 2026-10-27: add by m2/v0.3.5
KW2B9G5Q35 KW2B9G5Q35
| URI | m2://inv/KW2B9G5Q35 |
|---|---|
| Kind | problem |
| 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 2609.24449#4RZZ (problem)
History
- 2026-11-01: add by m2/v0.6.15
Karl F. Sundman KW2C0E8GW6
| URI | m2://inv/KW2C0E8GW6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl F. Sundman, Karl F. Sundman (topic). Also Wikidata Q1733149
History
- 2026-11-02: add by m2/dev
Special cases KW2C6V426G
| URI | m2://inv/KW2C6V426G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-body problem#6GIG, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Closed normalizing factors KW2GKB7NBY
| URI | m2://inv/KW2GKB7NBY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.26110#933H, Closed normalizing factors (statement)
History
- 2026-11-01: add by m2/v0.6.15
KW2PVD5GSJ KW2PVD5GSJ
| URI | m2://inv/KW2PVD5GSJ |
|---|---|
| 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.05506#D3Q5 (statement). In FT53PMB1TE/e1, lemma 6.2.5
History
- 2026-10-29: add by m2/v0.4.10
KW2Q5SE23V KW2Q5SE23V
| URI | m2://inv/KW2Q5SE23V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.08222#DY5I (statement). In A4192ETKBD/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
Continuity KW2YAJXZ3N
| URI | m2://inv/KW2YAJXZ3N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equation of time#JK0F, Continuity (statement)
History
- 2026-11-02: add by m2/dev
Definition KW31KDX7Z1
| URI | m2://inv/KW31KDX7Z1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secure Shell#KD4J, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sylow divisibility KW32KZ12M2
| URI | m2://inv/KW32KZ12M2 |
|---|---|
| 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.07508#EP59, Sylow divisibility (statement). In TPA3E67MKK/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.10
Diminishment (geometry) KW3544GZ9M
| URI | m2://inv/KW3544GZ9M |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#Z97A, Diminishment (geometry) (object)
History
- 2026-11-02: add by m2/dev
KW377B49KZ KW377B49KZ
| URI | m2://inv/KW377B49KZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 53-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 hep-th/9409063#R1H7 (statement). In 145ETYF9CG/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Chevalley's structure theorem KW3PKSNJH1
| URI | m2://inv/KW3PKSNJH1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5094298, Chevalley's structure theorem (statement). Also Wikidata Q5094298
- thousand_plus: thousand_plus Q5094298, Chevalley's structure theorem (statement). Also Wikidata Q5094298, Wikipedia Chevalley's structure theorem
- wikipedia: Wikipedia Chevalley's structure theorem, Chevalley's structure theorem (statement). Also Wikidata Q5094298
History
- 2026-10-26: add by m2/dev
Baire KW3Z2BAN4R
| URI | m2://inv/KW3Z2BAN4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#GI4B, Baire (definition)
History
- 2026-11-02: add by m2/dev
Small-defect counting KW3ZR9CQK8
| URI | m2://inv/KW3ZR9CQK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02216#0MD7, Small-defect counting (statement). In 34JGRZ2M5F/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
Pure formulas are robust KW410T678Q
| URI | m2://inv/KW410T678Q |
|---|---|
| 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 2506.08233#4YXB, Pure formulas are robust (statement). In 2TXXQ2575Y/e1, theorem 5.9
History
- 2026-10-27: add by m2/v0.3.5
Banach–Tarski paradox KW4308JTWJ
| URI | m2://inv/KW4308JTWJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#2QKH, Banach–Tarski paradox (statement)
- wikipedia: Wikipedia List of things named after Alfred Tarski#VPWE, Banach–Tarski paradox (statement)
- wikipedia: Wikipedia List of mathematical proofs#JKGQ, Banach–Tarski paradox (statement)
- wikipedia: Wikipedia List of integration and measure theory topics#FB3Z, Banach–Tarski paradox (statement)
History
- 2026-11-02: add by m2/dev
Finite-rank exponential kernels KW4532XYJA
| URI | m2://inv/KW4532XYJA |
|---|---|
| Kind | example |
| 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.31102#EXZ7, Finite-rank exponential kernels (example). In 7CADATJMAA/e1, example 4.3
History
- 2026-10-31: add by m2/v0.5.6
No small subgroup KW4AD16KN6
| URI | m2://inv/KW4AD16KN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia No small subgroup, No small subgroup (definition). Also Wikidata Q7045262
History
- 2026-11-02: add by m2/dev
Thoralf Albert Skolem KW4C8VNZWV
| URI | m2://inv/KW4C8VNZWV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XRNG, Thoralf Albert Skolem (topic)
History
- 2026-11-02: add by m2/dev
KW4CREZ5CE KW4CREZ5CE
| URI | m2://inv/KW4CREZ5CE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29759#3SHN (definition)
History
- 2026-11-01: add by m2/v0.6.15
disjunction KW4M6RY599
| URI | m2://inv/KW4M6RY599 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.1/disjunction, disjunction (concept). In Y91XFCEVHQ, index, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
KW4MFG7DS5 KW4MFG7DS5
| URI | m2://inv/KW4MFG7DS5 |
|---|---|
| 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.20588#NDPH (statement)
History
- 2026-11-02: add by m2/v0.6.18
Duopyramid KW4PJPR7YF
| URI | m2://inv/KW4PJPR7YF |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duopyramid, Duopyramid (object). Also Wikidata Q5315901
History
- 2026-11-02: add by m2/dev
Fundamental groups don't depend on basepoint KW4V8YE2VQ
| URI | m2://inv/KW4V8YE2VQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#theorem-1, Fundamental groups don't depend on basepoint (statement). In RZP28ERRZV, theorem, section 98.2
History
- 2026-11-01: add by m2/v0.6.13
Scott continuity KW55143XJ0
| URI | m2://inv/KW55143XJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scott continuity, Scott continuity (definition). Also Wikidata Q895815
History
- 2026-11-02: add by m2/dev
Abakumov, Borichev, Fedorovskiy KW5AY7MJFC
| URI | m2://inv/KW5AY7MJFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21121#KMTE, Abakumov, Borichev, Fedorovskiy (statement)
History
- 2026-11-02: add by m2/v0.6.18
Robert Guralnick KW5B2N0M5H
| URI | m2://inv/KW5B2N0M5H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NWIT, Robert Guralnick (topic)
History
- 2026-11-02: add by m2/dev
Jensen's inequality (finite sum version) KW5EC8A164
| URI | m2://inv/KW5EC8A164 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Convexity > Jensen's inequality (finite sum version), Jensen's inequality (finite sum version) (unknown). Also Mathlib ConvexOn.map_sum_le
History
- 2026-10-26: add by m2/dev
Representation KW5ETZ39VB
| URI | m2://inv/KW5ETZ39VB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphic matroid#GZU9, Representation (definition)
History
- 2026-11-02: add by m2/dev
Interaction KW5KBHB201
| URI | m2://inv/KW5KBHB201 |
|---|---|
| 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.12731#6QYA, Interaction (definition). In 2NCV1M6WYS/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Uniform diagonal control KW5PJPY62V
| URI | m2://inv/KW5PJPY62V |
|---|---|
| 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.30590#LVBS, Uniform diagonal control (statement). In WYE2JVEZBT/e1, lemma 6.6
History
- 2026-10-31: add by m2/v0.5.6
KW5R5YK75V KW5R5YK75V
| URI | m2://inv/KW5R5YK75V |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 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.00856#42SR (problem). In W6VHD4QBY4/e1, problem 1.2
History
- 2026-10-29: add by m2/v0.4.12
facet KW618QFK2M
| URI | m2://inv/KW618QFK2M |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Facet DPDXN2FJC4 |
Mentions
- wikidata: Wikidata Q3847020, facet (unknown). Also MathWorld Facet
- wikipedia: Wikipedia Facet (geometry), Facet (object). Also Wikidata Q3847020
History
- 2026-10-26: add by m2/dev
Interaction-matrix criterion with a far region KW6H4WP5M1
| URI | m2://inv/KW6H4WP5M1 |
|---|---|
| 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#GFZG, Interaction-matrix criterion with a far region (statement)
History
- 2026-11-02: add by m2/v0.6.17
KW6MBV7YTB KW6MBV7YTB
| URI | m2://inv/KW6MBV7YTB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30098#6NF1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Representations KW6VX5VNCJ
| URI | m2://inv/KW6VX5VNCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fischer group Fi22#RAHK, Representations (definition)
History
- 2026-11-02: add by m2/dev
Palindromic wing prime KW6XT8QD8B
| URI | m2://inv/KW6XT8QD8B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of prime numbers#0K57, Palindromic wing prime (unknown)
History
- 2026-11-02: add by m2/dev
parametric equation KW700HCZPT
| URI | m2://inv/KW700HCZPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q35889, parametric equation (unknown). Also MathWorld ParametricEquations
- wikipedia: Wikipedia Parametric equation, Parametric equation (definition). Also Wikidata Q35889
History
- 2026-10-26: add by m2/dev
Paolo Dagomari di Prato KW70GHGRZ5
| URI | m2://inv/KW70GHGRZ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paolo Dagomari di Prato, Paolo Dagomari di Prato (topic). Also Wikidata Q1168587
History
- 2026-11-02: add by m2/dev
Brook Taylor KW74XHPTGQ
| URI | m2://inv/KW74XHPTGQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brook Taylor, Brook Taylor (topic). Also Wikidata Q212085
History
- 2026-11-02: add by m2/dev
KW75TW4461 KW75TW4461
| URI | m2://inv/KW75TW4461 |
|---|---|
| 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.25717#AFSB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example KW7A8MM6YN
| URI | m2://inv/KW7A8MM6YN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separable partial differential equation#0VIH, Example (example)
History
- 2026-11-02: add by m2/dev
Timelike quantitative focusing for general bounds KW7EC3TWHJ
| URI | m2://inv/KW7EC3TWHJ |
|---|---|
| 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 2610.11911#0OOO, Timelike quantitative focusing for general bounds (statement). In 5BYE5NYB89/e1, proposition 4.7
History
- 2026-10-28: add by m2/v0.4.3
KW7EJ302V0 KW7EJ302V0
| URI | m2://inv/KW7EJ302V0 |
|---|---|
| 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#1957 (statement). In HV598NZW9X/e1, theorem 1.7
History
- 2026-10-27: add by m2/v0.4.2
Multiple representations KW7H4805FB
| URI | m2://inv/KW7H4805FB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple representations (mathematics education), Multiple representations (definition). Also Wikidata Q6934962
History
- 2026-11-02: add by m2/dev
KW7J4AVZBZ KW7J4AVZBZ
| URI | m2://inv/KW7J4AVZBZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 16-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 2504.07573#NS4F (example). In 78X5SKJX8J/e1, example 7.1
History
- 2026-10-27: add by m2/v0.3.5
KW7RB6HKF7 KW7RB6HKF7
| URI | m2://inv/KW7RB6HKF7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/fixpoints.tex#defn:Turing-Y (definition). In PKGMM3P5QY, defn, section 37.9
History
- 2026-11-01: add by m2/v0.6.13
KW83D8F82Y KW83D8F82Y
| URI | m2://inv/KW83D8F82Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21090#RKA7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Six Mile, Alabama KW8FC61VQM
| URI | m2://inv/KW8FC61VQM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#KZXA, Six Mile, Alabama (unknown)
History
- 2026-11-02: add by m2/dev
\bf Characteristic graph KW8FF4E2NK
| URI | m2://inv/KW8FF4E2NK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08202#67H4, \bf Characteristic graph (definition). In N7XJ16700B/e1, definition 5
History
- 2026-10-29: add by m2/v0.4.10
Two Mile House KW8J29BVMM
| URI | m2://inv/KW8J29BVMM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#XV8T, Two Mile House (unknown)
History
- 2026-11-02: add by m2/dev
Theorem KW8N0CNEWT
| URI | m2://inv/KW8N0CNEWT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open mapping theorem (functional analysis)#3JDE, Theorem (statement)
History
- 2026-11-02: add by m2/dev
KW8PRP23M0 KW8PRP23M0
| URI | m2://inv/KW8PRP23M0 |
|---|---|
| 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/9807180#YX0Y (statement). In VR3766BVE5/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.5
Bunimovich stadium KW8QMDKD7Y
| URI | m2://inv/KW8QMDKD7Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamical billiards#4OOT, Bunimovich stadium (unknown)
History
- 2026-11-02: add by m2/dev
Psychometrika KW8XPCRXNY
| URI | m2://inv/KW8XPCRXNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#86HV, Psychometrika (definition)
History
- 2026-11-02: add by m2/dev
Definition KW90526VZS
| URI | m2://inv/KW90526VZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-sphere#8FPW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Maximal planar graph KW91M7FDVR
| URI | m2://inv/KW91M7FDVR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planar graph#JFQ2, Maximal planar graph (unknown)
History
- 2026-11-02: add by m2/dev
Location estimation KW92BD2WPS
| URI | m2://inv/KW92BD2WPS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Summary statistics#OR1V, Location estimation (unknown)
History
- 2026-11-02: add by m2/dev
Restriction of a universally defined cycle KW92NNBV3J
| URI | m2://inv/KW92NNBV3J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10828#JWW2, Restriction of a universally defined cycle (statement). In 8PTDFHV8SQ/e1, lemma C.2
History
- 2026-10-28: add by m2/v0.4.3
Exact Total Area Formula KW97H7ZQZ5
| URI | m2://inv/KW97H7ZQZ5 |
|---|---|
| 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.07671#J6FE, Exact Total Area Formula (statement). In XHHBGCVG90/e1, theorem 4.2.1
History
- 2026-10-29: add by m2/v0.4.10
Maximum principle KW9BJQ0WAM
| URI | m2://inv/KW9BJQ0WAM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-7, Maximum principle (statement). In VNMV985MXX, prop, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Mario Pulvirenti KW9BNGZXFB
| URI | m2://inv/KW9BNGZXFB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HD4Z, Mario Pulvirenti (topic)
History
- 2026-11-02: add by m2/dev
KW9KZ24N1R KW9KZ24N1R
| URI | m2://inv/KW9KZ24N1R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_binom-app.ptx#l_newbinom (statement). In QKM9DD2H56, lemma, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
Basic principles KW9ZCZJ9XC
| URI | m2://inv/KW9ZCZJ9XC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perpetual motion#NR4F, Basic principles (statement)
History
- 2026-11-02: add by m2/dev
KWA234RSN8 KWA234RSN8
| URI | m2://inv/KWA234RSN8 |
|---|---|
| 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.16399#9C8V (statement). In 2N87D4KTSY/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Abel sum KWA5EZY9NR
| URI | m2://inv/KWA5EZY9NR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divergent series#FX68, Abel sum (unknown)
History
- 2026-11-02: add by m2/dev
Practical \ac{pcs} design KWA7NAATTA
| URI | m2://inv/KWA7NAATTA |
|---|---|
| Kind | problem |
| 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.21653#ZKNU, Practical \ac{pcs} design (problem). In 266RE655Z2/e1, problem 2
History
- 2026-10-27: add by m2/v0.4.2
geodesic KWAAF9VKVQ
| URI | m2://inv/KWAAF9VKVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#O42A, geodesic (definition)
History
- 2026-11-02: add by m2/dev
KWADJMEF3J KWADJMEF3J
| URI | m2://inv/KWADJMEF3J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#example-2 (example). In RZP28ERRZV, example, section 14.2
History
- 2026-11-01: add by m2/v0.6.13
KWAF06CYC6 KWAF06CYC6
| URI | m2://inv/KWAF06CYC6 |
|---|---|
| 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.04172#8DZ4 (statement). In 9Q1D1NMTTS/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.12
KWAG442CZY KWAG442CZY
| URI | m2://inv/KWAG442CZY |
|---|---|
| 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 2510.12502#9YB7 (statement). In 3A4K47Y9F2/e1, lemma 5.21
History
- 2026-10-27: add by m2/v0.4.0
List of definite integrals KWAGDDSQXD
| URI | m2://inv/KWAGDDSQXD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of definite integrals, List of definite integrals (topic). Also Wikidata Q6615800
History
- 2026-11-02: add by m2/dev
Induction theorems KWAGG714TP
| URI | m2://inv/KWAGG714TP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of finite groups#JOPS, Induction theorems (statement)
History
- 2026-11-02: add by m2/dev
Repdigit KWAKBR930K
| URI | m2://inv/KWAKBR930K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#0LFB, Repdigit (definition)
History
- 2026-11-02: add by m2/dev
KWAVWQWHDT KWAVWQWHDT
| URI | m2://inv/KWAVWQWHDT |
|---|---|
| Kind | definition |
| 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.35180#3IWW (definition). In ZA34B1CR9M/e1, definition 3.11
History
- 2026-10-30: add by m2/v0.4.12
coherent topos KWB1JP6CAZ
| URI | m2://inv/KWB1JP6CAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q97354613, coherent topos (unknown). Also nLab coherent topos
- wikipedia: Wikipedia Coherent topos, Coherent topos (definition). Also Wikidata Q97354613
History
- 2026-10-26: add by m2/dev
KWBB775NBJ KWBB775NBJ
| URI | m2://inv/KWBB775NBJ |
|---|---|
| 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.38532#Y9QN (statement). In X7YYWCZFTV/e1, corollary 2.8
History
- 2026-10-30: add by m2/v0.4.12
Naïve realism KWBMHZ4FW1
| URI | m2://inv/KWBMHZ4FW1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#KZRY, Naïve realism (unknown)
History
- 2026-11-02: add by m2/dev
KWBP10YVXW KWBP10YVXW
| URI | m2://inv/KWBP10YVXW |
|---|---|
| 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.11974#9FSN (statement). In AW6S4XZ9ZZ/e1, corollary 6.1
History
- 2026-10-28: add by m2/v0.4.3
KWBX2P608M KWBX2P608M
| URI | m2://inv/KWBX2P608M |
|---|---|
| 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.07673#HDQI (statement). In 37B1MPV8GX/e1, theorem 7.7
History
- 2026-10-29: add by m2/v0.4.10
KWC2Y5RQDZ KWC2Y5RQDZ
| URI | m2://inv/KWC2Y5RQDZ |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
KWC3ASN6RK KWC3ASN6RK
| URI | m2://inv/KWC3ASN6RK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-55 (proof). In VNMV985MXX, proof, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
Example KWCANVQ6GZ
| URI | m2://inv/KWCANVQ6GZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval propagation#TGFH, Example (example)
History
- 2026-11-02: add by m2/dev
KWCGJX3C3V KWCGJX3C3V
| URI | m2://inv/KWCGJX3C3V |
|---|---|
| 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.25120#3YB0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
KWCNWRWKP6 KWCNWRWKP6
| URI | m2://inv/KWCNWRWKP6 |
|---|---|
| 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.15460#96Z9 (statement). In T2Z3D2VQ9B/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Dominic Borg KWCY3Q2BB5
| URI | m2://inv/KWCY3Q2BB5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominic Borg, Dominic Borg (topic). Also Wikidata Q5290468
History
- 2026-11-02: add by m2/dev
Steve Vickers KWD8WKDS0W
| URI | m2://inv/KWD8WKDS0W |
|---|---|
| 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 Q3817613, Steve Vickers (unknown). Also nLab Steve Vickers
History
- 2026-10-26: add by m2/dev
Definition KWDCZ8H1XH
| URI | m2://inv/KWDCZ8H1XH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equal parallelians point#4A9K, Definition (definition)
History
- 2026-11-02: add by m2/dev
KWDE1D0BC3 KWDE1D0BC3
| URI | m2://inv/KWDE1D0BC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2005.03073#7WFY (statement). In P2ETMXKVDS/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Examples KWDFX26SJD
| URI | m2://inv/KWDFX26SJD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Condorcet loser criterion#0MQL, Examples (example)
History
- 2026-11-02: add by m2/dev
Nicole Lazar KWDG3HCBW0
| URI | m2://inv/KWDG3HCBW0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#B2W6, Nicole Lazar (unknown)
History
- 2026-11-02: add by m2/dev
KWDG4M3NZX KWDG4M3NZX
| URI | m2://inv/KWDG4M3NZX |
|---|---|
| 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 2603.21971#GSSQ (definition). In R6KSZ9H8CY/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Properties KWDG80E3E8
| URI | m2://inv/KWDG80E3E8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted median#6S3M, Properties (statement)
History
- 2026-11-02: add by m2/dev
Minimal-entropy martingale measure KWDGDF5MH9
| URI | m2://inv/KWDGDF5MH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal-entropy martingale measure, Minimal-entropy martingale measure (definition). Also Wikidata Q17058048
History
- 2026-11-02: add by m2/dev
Schwarzwald KWDK17A950
| URI | m2://inv/KWDK17A950 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#ANTD, Schwarzwald (unknown)
History
- 2026-11-02: add by m2/dev
KWDK8X889S KWDK8X889S
| URI | m2://inv/KWDK8X889S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#8TXY (statement)
History
- 2026-11-02: add by m2/v0.6.17
KWDKRMXDF5 KWDKRMXDF5
| URI | m2://inv/KWDKRMXDF5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 30.3
History
- 2026-11-01: add by m2/v0.6.13
KWDM43NCBQ KWDM43NCBQ
| URI | m2://inv/KWDM43NCBQ |
|---|---|
| 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#9OG4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
KWDNNXYXN1 KWDNNXYXN1
| URI | m2://inv/KWDNNXYXN1 |
|---|---|
| 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.20316#P3GO (statement). In YRJS76169Z/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
Definition KWDQKY1M57
| URI | m2://inv/KWDQKY1M57 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Willmore energy#3GDX, Definition (definition)
History
- 2026-11-02: add by m2/dev
KWE0A0P01Y KWE0A0P01Y
| URI | m2://inv/KWE0A0P01Y |
|---|---|
| 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 2608.00864#2VRC (statement). In PRF0P3D637/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
augmented dodecahedron KWE1GQQECK
| URI | m2://inv/KWE1GQQECK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2748485, augmented dodecahedron (object). Also MathWorld AugmentedDodecahedron
- wikipedia: Wikipedia Augmented dodecahedron, Augmented dodecahedron (definition). Also Wikidata Q2748485
History
- 2026-10-26: add by m2/dev
KWE2X1JS3Z KWE2X1JS3Z
| URI | m2://inv/KWE2X1JS3Z |
|---|---|
| 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.03292#DUT6 (statement). In SN2PBM95HT/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.12
Statement KWE4SCJGSP
| URI | m2://inv/KWE4SCJGSP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann's inequality#JSOR, Statement (statement)
History
- 2026-11-02: add by m2/dev
Weyl curvature KWESAGY9W5
| URI | m2://inv/KWESAGY9W5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#73BL, Weyl curvature (definition)
History
- 2026-11-02: add by m2/dev
KWF695KPVE KWF695KPVE
| URI | m2://inv/KWF695KPVE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-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 2609.03601#VIOO (statement). In F7TDYCHCSE/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.3.5
Arden's lemma KWF9B81MD8
| URI | m2://inv/KWF9B81MD8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Formal languages > Arden's lemma, Arden's lemma (unknown). Also Mathlib Language.self_eq_mul_add_iff
History
- 2026-10-26: add by m2/dev
History of geometric algebra KWF9JM4AYE
| URI | m2://inv/KWF9JM4AYE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric algebra#FCH3, History of geometric algebra (unknown)
History
- 2026-11-02: add by m2/dev
KWFADW66WM KWFADW66WM
| URI | m2://inv/KWFADW66WM |
|---|---|
| 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.09704#YS1N (statement). In FNG4B47MRV/e1, theorem 6.9
History
- 2026-10-29: add by m2/v0.4.10
Disjunction introduction KWFFYDTVFR
| URI | m2://inv/KWFFYDTVFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjunction introduction, Disjunction introduction (definition). Also Wikidata Q5282267
History
- 2026-11-02: add by m2/dev
Finite system KWFJKDKWP9
| URI | m2://inv/KWFJKDKWP9 |
|---|---|
| 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.13347#GEST, Finite system (definition). In Z6QS82DPHE/e1, definition Definition
History
- 2026-10-28: add by m2/v0.4.2
KWG24GP4CS KWG24GP4CS
| URI | m2://inv/KWG24GP4CS |
|---|---|
| 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 2609.20665#T4UL (definition)
History
- 2026-11-02: add by m2/v0.6.18
utility graph KWGJ0ZAZV1
| URI | m2://inv/KWGJ0ZAZV1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123375397, utility graph (unknown). Also House of Graphs 84, MathWorld UtilityGraph
History
- 2026-10-26: add by m2/dev
Conditional cycle counts KWGVYA2GEA
| URI | m2://inv/KWGVYA2GEA |
|---|---|
| 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.14085#IHQ3, Conditional cycle counts (statement). In T8F19ZGHF3/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Banker's algorithm KWGXE1AQEV
| URI | m2://inv/KWGXE1AQEV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#CI03, Banker's algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Window bounds hold on the board KWH3N6GMSY
| URI | m2://inv/KWH3N6GMSY |
|---|---|
| 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.31336#SJO0, Window bounds hold on the board (statement). In 70RV7J456D/e1, lemma 23
History
- 2026-10-31: add by m2/v0.5.6
Boneh–Franklin scheme KWH49TJRRW
| URI | m2://inv/KWH49TJRRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boneh–Franklin scheme, Boneh–Franklin scheme (definition). Also Wikidata Q4941711
History
- 2026-11-02: add by m2/dev
Tatiana Toro KWHJEX3V8Y
| URI | m2://inv/KWHJEX3V8Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tatiana Toro, Tatiana Toro (topic). Also Wikidata Q21074913
History
- 2026-11-02: add by m2/dev
Mental Calculation World Cup KWHR1TE6Z5
| URI | m2://inv/KWHR1TE6Z5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mental Calculation World Cup, Mental Calculation World Cup (definition). Also Wikidata Q6817387
History
- 2026-11-02: add by m2/dev
KWJ2G85V08 KWJ2G85V08
| URI | m2://inv/KWJ2G85V08 |
|---|---|
| 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.23128#13LO (statement)
History
- 2026-11-02: add by m2/v0.6.17
metatheory KWJD70DRPY
| URI | m2://inv/KWJD70DRPY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.4/metatheory, metatheory (concept). In N54F33XE07, index, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
KWJFG550R8 KWJFG550R8
| URI | m2://inv/KWJFG550R8 |
|---|---|
| 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.20588#19QN (statement)
History
- 2026-11-02: add by m2/v0.6.18
Leifur Ásgeirsson KWJM95M8HS
| URI | m2://inv/KWJM95M8HS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UI8U, Leifur Ásgeirsson (topic)
History
- 2026-11-02: add by m2/dev
Grothendieck–Ogg–Shafarevich formula KWJPCTEGX9
| URI | m2://inv/KWJPCTEGX9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck–Ogg–Shafarevich formula, Grothendieck–Ogg–Shafarevich formula (statement). Also Wikidata Q5610735
History
- 2026-11-02: add by m2/dev
Examples KWJR2GNFEP
| URI | m2://inv/KWJR2GNFEP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed geodesic#1IZ2, Examples (example)
History
- 2026-11-02: add by m2/dev
KWKG057JSE KWKG057JSE
| URI | m2://inv/KWKG057JSE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-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 2410.14097#KSHH (statement). In H52QQS8WZA/e1, corollary 9.5
History
- 2026-10-27: add by m2/v0.3.5
Escape velocity KWKGK22QTD
| URI | m2://inv/KWKGK22QTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Escape velocity, Escape velocity (definition). Also Wikidata Q166530
History
- 2026-11-02: add by m2/dev
KWKKY36MSG KWKKY36MSG
| URI | m2://inv/KWKKY36MSG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability-consistency.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
Statement of the theorem KWKVX21RQN
| URI | m2://inv/KWKVX21RQN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tennenbaum's theorem#L8QC, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
KWKWK7BJKX KWKWK7BJKX
| URI | m2://inv/KWKWK7BJKX |
|---|---|
| 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 2610.01802#DNWK (definition). In XGPZ0G9E1Q/e1, definition 6.7
History
- 2026-10-29: add by m2/v0.4.12
KWKYVJZW3E KWKYVJZW3E
| URI | m2://inv/KWKYVJZW3E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36823#P0NA (statement). In 55WT8DME6Y/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
KWM0BSVYK9 KWM0BSVYK9
| URI | m2://inv/KWM0BSVYK9 |
|---|---|
| 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#S05T (statement). In TVE5WK2MH8/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
KWM1K6B353 KWM1K6B353
| URI | m2://inv/KWM1K6B353 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-2-5-1.xml#act-2-5-1 (exercise). In 907G4C4EJ1, activity, section 2.5.2
History
- 2026-11-01: add by m2/v0.6.13
KWM344X3PT KWM344X3PT
| URI | m2://inv/KWM344X3PT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13142#IE3K (statement). In KYW4YMVQAB/e1, lemma 12
History
- 2026-10-28: add by m2/v0.4.2
Birkhoff contraction theorem KWM4H27MNY
| URI | m2://inv/KWM4H27MNY |
|---|---|
| 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.04264#OP8R, Birkhoff contraction theorem (statement). In 5YRJ4HGY4N/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
KWM5T4XWQG KWM5T4XWQG
| URI | m2://inv/KWM5T4XWQG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11487#JN2Y (statement). In 8S0K3Y25HM/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
KWM7HD7K6G KWM7HD7K6G
| URI | m2://inv/KWM7HD7K6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28677#YQHW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Demographics of Asia KWM8F2532V
| URI | m2://inv/KWM8F2532V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Asia, Demographics of Asia (definition). Also Wikidata Q3044208
History
- 2026-11-02: add by m2/dev
Philosophy of logic KWMA2ZCYFK
| URI | m2://inv/KWMA2ZCYFK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philosophy of logic, Philosophy of logic (topic). Also Wikidata Q2476757
History
- 2026-11-02: add by m2/dev
Global bounded-template reduction KWMAQAXZNC
| URI | m2://inv/KWMAQAXZNC |
|---|---|
| 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.37208#48ZP, Global bounded-template reduction (statement). In 7MCBCP4T0B/e1, theorem 4.14
History
- 2026-10-30: add by m2/v0.4.12
KWMCATJ04D KWMCATJ04D
| URI | m2://inv/KWMCATJ04D |
|---|---|
| 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#84I7 (statement). In CRFDGFZHBF/e1, lemma 9.1
History
- 2026-10-28: add by m2/v0.4.3
KWMFHHAAR2 KWMFHHAAR2
| URI | m2://inv/KWMFHHAAR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09678#JA6M (statement). In 9VG7PNZHZT/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
Property \textup{(P KWMFJY93M4
| URI | m2://inv/KWMFJY93M4 |
|---|---|
| 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.01240#OEVY, Property \textup{(P (statement). In XD5HCP8DHF/e1, proposition 21
History
- 2026-10-29: add by m2/v0.4.12
KWMQ6FA5NY KWMQ6FA5NY
| URI | m2://inv/KWMQ6FA5NY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-2 (exercise). In E9HS8K3A52, exercise, section 10.1.6
History
- 2026-11-01: add by m2/v0.6.13
Uses KWMQJM1X9K
| URI | m2://inv/KWMQJM1X9K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interactive computation#XQ5Q, Uses (example)
History
- 2026-11-02: add by m2/dev
Join and meet KWMVDNT4DQ
| URI | m2://inv/KWMVDNT4DQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Join and meet, Join and meet (definition). Also Wikidata Q6269005
History
- 2026-11-02: add by m2/dev
Mathematics Made Difficult KWN4G3DPD0
| URI | m2://inv/KWN4G3DPD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics Made Difficult, Mathematics Made Difficult (definition). Also Wikidata Q6786885
History
- 2026-11-02: add by m2/dev
KWN83R036X KWN83R036X
| URI | m2://inv/KWN83R036X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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 2104.12015#REUW (statement). In ZZ2P08DVQW/e1, theorem 11.1
History
- 2026-10-27: add by m2/v0.3.5
KWNK27NRXP KWNK27NRXP
| URI | m2://inv/KWNK27NRXP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07790#UFKC (statement). In A5YJDDM0NX/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.10
Vanishing moment KWNS2KGMZE
| URI | m2://inv/KWNS2KGMZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vanishing moment, Vanishing moment (definition). Also Wikidata Q11151693
History
- 2026-11-02: add by m2/dev
Nash–Sutcliffe model efficiency coefficient KWNS87PT99
| URI | m2://inv/KWNS87PT99 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nash–Sutcliffe model efficiency coefficient, Nash–Sutcliffe model efficiency coefficient (definition). Also Wikidata Q6967037
History
- 2026-11-02: add by m2/dev
Gian-Carlo Rota KWNYWPXMJH
| URI | m2://inv/KWNYWPXMJH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#EENQ, Gian-Carlo Rota (topic)
History
- 2026-11-02: add by m2/dev
Stokes's theorem KWP0C0M170
| URI | m2://inv/KWP0C0M170 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#AOR8, Stokes's theorem (statement)
History
- 2026-11-02: add by m2/dev
Subgradient of the weight objective KWPD9ET1WM
| URI | m2://inv/KWPD9ET1WM |
|---|---|
| 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.13773#C0TK, Subgradient of the weight objective (statement). In E75XQY0QFM/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.2
KWPGT1KANE KWPGT1KANE
| URI | m2://inv/KWPGT1KANE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#XBN9 (definition)
History
- 2026-11-02: add by m2/v0.6.17
equivalence KWPHK2X9YN
| URI | m2://inv/KWPHK2X9YN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#MWZI, equivalence (definition)
History
- 2026-11-02: add by m2/dev
KWPRJD41W4 KWPRJD41W4
| URI | m2://inv/KWPRJD41W4 |
|---|---|
| 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.20135#DSVH (statement). In ZQQEN3J866/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.4.2
Convergence when all errors lie in a fixed subspace KWPS8J1F9J
| URI | m2://inv/KWPS8J1F9J |
|---|---|
| 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.04357#5UNT, Convergence when all errors lie in a fixed subspace (statement). In 6FY8BVP1F3/e1, corollary H.4
History
- 2026-10-29: add by m2/v0.4.12
Ronald Kay Getoor KWQ5C6Y0SV
| URI | m2://inv/KWQ5C6Y0SV |
|---|---|
| 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#KDQA, Ronald Kay Getoor (unknown)
History
- 2026-11-02: add by m2/dev
Order-6 square tiling KWQ8Q1Y6TY
| URI | m2://inv/KWQ8Q1Y6TY |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-6 square tiling, Order-6 square tiling (object). Also Wikidata Q7100405
History
- 2026-11-02: add by m2/dev
Thomas R. Kane KWQG8X0635
| URI | m2://inv/KWQG8X0635 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas R. Kane, Thomas R. Kane (topic). Also Wikidata Q7793353
History
- 2026-11-02: add by m2/dev
Frame-to-full-AGOP comparison KWQJF82A32
| URI | m2://inv/KWQJF82A32 |
|---|---|
| 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.39408#PQ13, Frame-to-full-AGOP comparison (statement). In T8E6F01RTM/e1, lemma K.1
History
- 2026-10-30: add by m2/v0.4.12
National Longitudinal Surveys KWQKM0EQE3
| URI | m2://inv/KWQKM0EQE3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Longitudinal Surveys, National Longitudinal Surveys (definition). Also Wikidata Q6974212
History
- 2026-11-02: add by m2/dev
KWQKN28V2Z KWQKN28V2Z
| URI | m2://inv/KWQKN28V2Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#exercise-5 (exercise). In RZP28ERRZV, exercise, section 52.8
History
- 2026-11-01: add by m2/v0.6.13
KWQR4BMW2T KWQR4BMW2T
| URI | m2://inv/KWQR4BMW2T |
|---|---|
| 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 2305.18021#ULGN (statement). In GQVSX93P6C/e1, theorem B.1
History
- 2026-10-27: add by m2/v0.3.5
Empty statement axiom schema KWQYJC4FWF
| URI | m2://inv/KWQYJC4FWF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hoare logic#MZU6, Empty statement axiom schema (statement)
History
- 2026-11-02: add by m2/dev
KWR1Q7SXCD KWR1Q7SXCD
| URI | m2://inv/KWR1Q7SXCD |
|---|---|
| Kind | definition |
| 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.05320#VC4K (definition). In MVXZWHKEX8/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.10
Definition KWR4KF22TQ
| URI | m2://inv/KWR4KF22TQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conductor of an elliptic curve#N7B2, Definition (definition)
History
- 2026-11-02: add by m2/dev
KWR6990M3H KWR6990M3H
| URI | m2://inv/KWR6990M3H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/pr-relations.tex#prop-3 (statement). In PKGMM3P5QY, prop, section 3.31
History
- 2026-11-01: add by m2/v0.6.13
Frank Merle KWRE97G0QN
| URI | m2://inv/KWRE97G0QN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3S41, Frank Merle (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9TU9, Frank Merle (topic)
History
- 2026-11-02: add by m2/dev
KWRGN5BDWG KWRGN5BDWG
| URI | m2://inv/KWRGN5BDWG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/CH.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 88.1
History
- 2026-11-01: add by m2/v0.6.13
Method KWRQD08ZK5
| URI | m2://inv/KWRQD08ZK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel–Tukey test#RDWM, Method (definition)
History
- 2026-11-02: add by m2/dev
Shortlex order KWRT4M1WS5
| URI | m2://inv/KWRT4M1WS5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shortlex order, Shortlex order (definition). Also Wikidata Q7502202
History
- 2026-11-02: add by m2/dev
Bradley Thiessen KWRZMA6ZRY
| URI | m2://inv/KWRZMA6ZRY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bradley Thiessen (statistician), Bradley Thiessen (topic). Also Wikidata Q116786375
History
- 2026-11-02: add by m2/dev
KWS4FJARFC KWS4FJARFC
| URI | m2://inv/KWS4FJARFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38396#FPVR (statement). In FGNNVKQR1Z/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
Differentiation rules KWS8V1ZAC9
| URI | m2://inv/KWS8V1ZAC9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiation rules, Differentiation rules (definition). Also Wikidata Q1079958
History
- 2026-11-02: add by m2/dev
Resolution under fixed damping KWSABYMJAX
| URI | m2://inv/KWSABYMJAX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33499#NC7J, Resolution under fixed damping (statement). In AAH14S2JJ2/e1, proposition E.4
History
- 2026-10-30: add by m2/v0.4.12
An exponential bound from two moments KWSEDBY1XY
| URI | m2://inv/KWSEDBY1XY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37615#67UA, An exponential bound from two moments (statement). In T2B54J7121/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Weil–Deligne group scheme KWSNRCK3J9
| URI | m2://inv/KWSNRCK3J9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after André Weil#H9RG, Weil–Deligne group scheme (definition)
History
- 2026-11-02: add by m2/dev
Horrocks bundle KWSPEWV2TE
| URI | m2://inv/KWSPEWV2TE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horrocks bundle, Horrocks bundle (definition). Also Wikidata Q5905122
History
- 2026-11-02: add by m2/dev
KWT0CHFRFB KWT0CHFRFB
| URI | m2://inv/KWT0CHFRFB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 92.7
History
- 2026-11-01: add by m2/v0.6.13
KWT8TJJ472 KWT8TJJ472
| URI | m2://inv/KWT8TJJ472 |
|---|---|
| Kind | example |
| 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 2609.36884#TQ1L (example). In Z7E16PFFCP/e1, example 2.7
History
- 2026-10-30: add by m2/v0.4.12
KWTA0SZBD1 KWTA0SZBD1
| URI | m2://inv/KWTA0SZBD1 |
|---|---|
| Kind | example |
| 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 2508.07340#IMZR (example). In 2HSB99DW4M/e1, example 6.3
History
- 2026-10-27: add by m2/v0.3.6
KWTWBSAJ4F KWTWBSAJ4F
| URI | m2://inv/KWTWBSAJ4F |
|---|---|
| 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.26410#B1WD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rodney Alcala KWTXE9F8AC
| URI | m2://inv/KWTXE9F8AC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#S7M5, Rodney Alcala (unknown)
History
- 2026-11-02: add by m2/dev
Lucien Le Cam KWV07KJSZ8
| URI | m2://inv/KWV07KJSZ8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LFJN, Lucien Le Cam (topic)
History
- 2026-11-02: add by m2/dev
Removal of the common valuation KWV6P73NHE
| URI | m2://inv/KWV6P73NHE |
|---|---|
| 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.02585#6OCX, Removal of the common valuation (statement). In V0KBBY82SY/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Definition KWV8VD0395
| URI | m2://inv/KWV8VD0395 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kostant polynomial#6W7D, Definition (definition)
History
- 2026-11-02: add by m2/dev
Jim Propp KWVE65FY8V
| URI | m2://inv/KWVE65FY8V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jim Propp, Jim Propp (topic). Also Wikidata Q6197614
History
- 2026-11-02: add by m2/dev
KWVF33GJMJ KWVF33GJMJ
| URI | m2://inv/KWVF33GJMJ |
|---|---|
| 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 1904.09810#VBTK (statement). In T1VFA7TXPA/e1, lemma 56
History
- 2026-10-27: add by m2/v0.3.5
Carl Christ KWVFBE92X4
| URI | m2://inv/KWVFBE92X4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#EBOP, Carl Christ (unknown)
History
- 2026-11-02: add by m2/dev
harmonic number KWVHW50KVD
| URI | m2://inv/KWVHW50KVD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Harmonic number 0D2Y6G4C4S |
Mentions
- wikidata: Wikidata Q13407133, harmonic number (unknown). Also EoM Harmonic_number, MathWorld HarmonicNumber
- wikipedia: Wikipedia Harmonic number, Harmonic number (definition). Also Wikidata Q13407133
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Chen Mufa KWVM603Z5Q
| URI | m2://inv/KWVM603Z5Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chen Mufa, Chen Mufa (topic). Also Wikidata Q9365160
History
- 2026-11-02: add by m2/dev
KWVMXFT7N1 KWVMXFT7N1
| URI | m2://inv/KWVMXFT7N1 |
|---|---|
| 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.20760#YJTK (statement). In 6G9JSJ5JMP/e1, theorem 4
History
- 2026-10-27: add by m2/v0.4.2
Geometrization theorem KWVSAWGPTH
| URI | m2://inv/KWVSAWGPTH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometrization conjecture#NXSS, Geometrization theorem (statement)
History
- 2026-11-02: add by m2/dev
KWVSJ6RTFS KWVSJ6RTFS
| URI | m2://inv/KWVSJ6RTFS |
|---|---|
| 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 2012.06334#ERHQ (statement). In QD725J6HV4/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
KWW5KH07V9 KWW5KH07V9
| URI | m2://inv/KWW5KH07V9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#problem-3 (exercise). In P1C114YBXG, problem, section K
History
- 2026-11-01: add by m2/v0.6.13
Divergence (statistics) KWW8HY89VB
| URI | m2://inv/KWW8HY89VB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SXS8, Divergence (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Deborah Loewenberg Ball KWW96X2TVX
| URI | m2://inv/KWW96X2TVX |
|---|---|
| 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#F4M0, Deborah Loewenberg Ball (unknown)
History
- 2026-11-02: add by m2/dev
Carathéodory's extension theorem KWW9BZ4JCM
| URI | m2://inv/KWW9BZ4JCM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pre-measure#RNC4, Carathéodory's extension theorem (statement)
History
- 2026-11-02: add by m2/dev
Newton polytope KWWB1NRJE3
| URI | m2://inv/KWWB1NRJE3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton polytope, Newton polytope (definition). Also Wikidata Q99705926
History
- 2026-11-02: add by m2/dev
Geometric series KWWF12CTNM
| URI | m2://inv/KWWF12CTNM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#V7J3, Geometric series (definition)
History
- 2026-11-02: add by m2/dev
De Bruijn–Erdős theorem (graph theory) KWWWAJCYPZ
| URI | m2://inv/KWWWAJCYPZ |
|---|---|
| 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#62P5, De Bruijn–Erdős theorem (graph theory) (statement)
- wikipedia: Wikipedia List of theorems#A1TW, De Bruijn–Erdős theorem (graph theory) (statement)
History
- 2026-11-02: add by m2/dev
Metric Entropy Manifold Adaptation KWWYKG4DYX
| URI | m2://inv/KWWYKG4DYX |
|---|---|
| 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.21340#AHKU, Metric Entropy Manifold Adaptation (statement). In AEYX7SEVBG/e1, theorem 5
History
- 2026-10-27: add by m2/v0.4.2
Applications KWWZ6C3BB6
| URI | m2://inv/KWWZ6C3BB6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebotarev theorem on roots of unity#H2AA, Applications (example)
History
- 2026-11-02: add by m2/dev
KWX3X3E120 KWX3X3E120
| URI | m2://inv/KWX3X3E120 |
|---|---|
| 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.17408#A3HT (statement). In QR8H4M1X4N/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2
much greater than KWX48SSTEC
| URI | m2://inv/KWX48SSTEC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110064531, much greater than (unknown). Also MathWorld MuchGreater
History
- 2026-10-26: add by m2/dev
Quarter, South Lanarkshire KWX4R2WR4J
| URI | m2://inv/KWX4R2WR4J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#ADNO, Quarter, South Lanarkshire (unknown)
History
- 2026-11-02: add by m2/dev
KWXQN0XGP8 KWXQN0XGP8
| URI | m2://inv/KWXQN0XGP8 |
|---|---|
| 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.27752#WEQQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
forward difference KWXXDAR0SX
| URI | m2://inv/KWXXDAR0SX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.5.3/forward-difference, forward difference (concept). In 907G4C4EJ1, index, section 1.5.3
History
- 2026-11-01: add by m2/v0.6.13
Caloric theory KWXXJ0RAF7
| URI | m2://inv/KWXXJ0RAF7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#NWKH, Caloric theory (unknown)
History
- 2026-11-02: add by m2/dev
KWY1E5000Y KWY1E5000Y
| URI | m2://inv/KWY1E5000Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.06746#VC3S (statement). In B8A6BPP922/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.10
Hausdorff maximal principle KWY2EC5VAX
| URI | m2://inv/KWY2EC5VAX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Felix Hausdorff#OWW0, Hausdorff maximal principle (statement)
History
- 2026-11-02: add by m2/dev
KWYDYNC1BJ KWYDYNC1BJ
| URI | m2://inv/KWYDYNC1BJ |
|---|---|
| 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.33578#C32I (statement). In 3XTDDKY6YE/e1, lemma 4.9
History
- 2026-10-30: add by m2/v0.4.12
Applications KWYG42266G
| URI | m2://inv/KWYG42266G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permanent (mathematics)#S8K6, Applications (example)
History
- 2026-11-02: add by m2/dev
KWYJKYJRJ7 KWYJKYJRJ7
| URI | m2://inv/KWYJKYJRJ7 |
|---|---|
| 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.08664#QMAS (statement). In 1YY0P4ZS0T/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
surface KWYMEA6HBK
| URI | m2://inv/KWYMEA6HBK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#ILG4, surface (definition)
History
- 2026-11-02: add by m2/dev
univalent function KWYMECV6MY
| URI | m2://inv/KWYMECV6MY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Univalent function R91E83SDBD |
Mentions
- wikidata: Wikidata Q2608535, univalent function (unknown). Also MathWorld UnivalentFunction
- wikipedia: Wikipedia Univalent function, Univalent function (definition). Also Wikidata Q2608535
History
- 2026-10-26: add by m2/dev
Stanley Deser KWYRV0YSMJ
| URI | m2://inv/KWYRV0YSMJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#M2Q9, Stanley Deser (unknown)
History
- 2026-11-02: add by m2/dev
Nuel Belnap KWZ0MFGF1M
| URI | m2://inv/KWZ0MFGF1M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nuel Belnap, Nuel Belnap (topic). Also Wikidata Q2004296
History
- 2026-11-02: add by m2/dev
1 000 000 000 000 000 000 000 000 000 000 000 000 KWZ37WKWEJ
| URI | m2://inv/KWZ37WKWEJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (numbers)#WO5Z, 1 000 000 000 000 000 000 000 000 000 000 000 000 (unknown)
History
- 2026-11-02: add by m2/dev
KWZ4DYTSTZ KWZ4DYTSTZ
| URI | m2://inv/KWZ4DYTSTZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#99WG (statement). In RZWJ0AT8W5/e1, lemma 2.10
History
- 2026-10-31: add by m2/v0.5.6
trapezoidal rule KWZ63D9K3T
| URI | m2://inv/KWZ63D9K3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Trapezoidal rule FH0538XCZR |
Mentions
- wikidata: Wikidata Q833293, trapezoidal rule (statement). Also Mathlib trapezoidal_integral, MathWorld TrapezoidalRule, ProofWiki Trapezium_Rule_for_Definite_Integrals
- wikipedia: Wikipedia Trapezoidal rule, Trapezoidal rule (definition). Also Wikidata Q833293
History
- 2026-10-26: add by m2/dev
KWZJ51F4C7 KWZJ51F4C7
| URI | m2://inv/KWZJ51F4C7 |
|---|---|
| Kind | counterexample |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#P9SQ (counterexample). In HX63A1PH1W/e1, counterexample 5.6
History
- 2026-10-28: add by m2/v0.4.3
Rape in Turkey KWZJ7R562J
| URI | m2://inv/KWZJ7R562J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rape statistics#SXTI, Rape in Turkey (unknown)
History
- 2026-11-02: add by m2/dev
Penrose–Hawking singularity theorems KWZQKZN3FN
| URI | m2://inv/KWZQKZN3FN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#3I2Y, Penrose–Hawking singularity theorems (statement)
History
- 2026-11-02: add by m2/dev
KWZQXK1ZQ9 KWZQXK1ZQ9
| URI | m2://inv/KWZQXK1ZQ9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0804.3628#YU86 (example). In E2WHVW5VSD/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
Needham–Schroeder protocol KWZSPGJSRS
| URI | m2://inv/KWZSPGJSRS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Needham–Schroeder protocol, Needham–Schroeder protocol (definition). Also Wikidata Q934370
History
- 2026-11-02: add by m2/dev