Inventory rows 45
The cards of the rows of the inventory whose ids start with 45. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Theorem 4507S65EGT
| URI | m2://inv/4507S65EGT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally convex topological vector space#8PCO, Theorem (statement)
History
- 2026-11-02: add by m2/dev
group of isometries stabilizing a subset of the plane or of space 45096JB6CR
| URI | m2://inv/45096JB6CR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > group of isometries stabilizing a subset of the plane or of space, group of isometries stabilizing a subset of the plane or of space (unknown)
History
- 2026-10-26: add by m2/dev
450BQH5CBW 450BQH5CBW
| URI | m2://inv/450BQH5CBW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#XRIQ (statement). In PEXJPV3NP8/e1, proposition 2.14
History
- 2026-10-27: add by m2/v0.3.5
Prasad V. Tetali 450E0PBZ2P
| URI | m2://inv/450E0PBZ2P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prasad V. Tetali, Prasad V. Tetali (topic). Also Wikidata Q19664569
History
- 2026-11-02: add by m2/dev
Example 450H08H4CV
| URI | m2://inv/450H08H4CV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brier score#8D92, Example (example)
History
- 2026-11-02: add by m2/dev
A metric Minty's lemma 450PH8PT8V
| URI | m2://inv/450PH8PT8V |
|---|---|
| Kind | statement |
| 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.20998#NJF8, A metric Minty's lemma (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definitions 45100E93J9
| URI | m2://inv/45100E93J9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemannian manifold#RCFC, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Applications 451A1RJ48M
| URI | m2://inv/451A1RJ48M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-validation (statistics)#A5CU, Applications (example)
History
- 2026-11-02: add by m2/dev
Refactorization of a fixed lower product, row by row 451DER0RQ9
| URI | m2://inv/451DER0RQ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08568#G4LA, Refactorization of a fixed lower product, row by row (statement). In FDDA562VCA/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Novikov's compact leaf theorem for any M3 4521RE4HHK
| URI | m2://inv/4521RE4HHK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Novikov's compact leaf theorem#ETYA, Novikov's compact leaf theorem for any M3 (statement)
History
- 2026-11-02: add by m2/dev
4522V1V9JG 4522V1V9JG
| URI | m2://inv/4522V1V9JG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1902.04230#QCCJ (statement). In 22JZ68FGCW/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
45270P8C94 45270P8C94
| URI | m2://inv/45270P8C94 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#3K5W (statement). In E7W2HDNEKJ/e1, corollary 4.33
History
- 2026-10-30: add by m2/v0.4.12
Example 1 4527V4YZWR
| URI | m2://inv/4527V4YZWR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite compositions of analytic functions#72R1, Example 1 (example)
History
- 2026-11-02: add by m2/dev
4529FNM9Y4 4529FNM9Y4
| URI | m2://inv/4529FNM9Y4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/frobenius.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 13.6.2
History
- 2026-11-01: add by m2/v0.6.13
452EPBKX05 452EPBKX05
| URI | m2://inv/452EPBKX05 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#proof-3 (proof). In Y91XFCEVHQ, proof, section 4.2.1
History
- 2026-11-01: add by m2/v0.6.13
452F2730N4 452F2730N4
| URI | m2://inv/452F2730N4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.34289#VPVI (statement). In 9RBATD2Z1F/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
452GTCSJ89 452GTCSJ89
| URI | m2://inv/452GTCSJ89 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20860#D55Q (statement)
History
- 2026-11-02: add by m2/v0.6.18
Stability under additive convolution for compactly supported measures 452HJRRVWW
| URI | m2://inv/452HJRRVWW |
|---|---|
| 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 2610.18436#WP5U, Stability under additive convolution for compactly supported measures (statement). In M0Z0XAXZYW/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
452J0C6SFE 452J0C6SFE
| URI | m2://inv/452J0C6SFE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#HVUC (statement). In 9YAE8FNQST/e1, lemma 30.6
History
- 2026-10-30: add by m2/v0.4.12
452KCJVW2V 452KCJVW2V
| URI | m2://inv/452KCJVW2V |
|---|---|
| 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.07180#LJFU (statement). In TM4H1RV0BQ/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
Computation 452Q8C5ZWT
| URI | m2://inv/452Q8C5ZWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Florence Weldon#22AY, Computation (definition)
History
- 2026-11-02: add by m2/dev
University of Malaya in Singapore 452ST5X54M
| URI | m2://inv/452ST5X54M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National University of Singapore#SIM6, University of Malaya in Singapore (unknown)
History
- 2026-11-02: add by m2/dev
Weakly countably compact 452ZCXJPQH
| URI | m2://inv/452ZCXJPQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#JFCM, Weakly countably compact (definition)
History
- 2026-11-02: add by m2/dev
Standard siren 453390QATA
| URI | m2://inv/453390QATA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmic distance ladder#QLPD, Standard siren (unknown)
History
- 2026-11-02: add by m2/dev
4533N85K5G 4533N85K5G
| URI | m2://inv/4533N85K5G |
|---|---|
| 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.07122#K3B2 (statement). In W0ZHX9DHPV/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.10
Bhatia–Davis inequality 4534WR6R0M
| URI | m2://inv/4534WR6R0M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#T208, Bhatia–Davis inequality (statement)
History
- 2026-11-02: add by m2/dev
Subjective expected utility 453DKJYP3E
| URI | m2://inv/453DKJYP3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subjective expected utility, Subjective expected utility (definition). Also Wikidata Q1425777
History
- 2026-11-02: add by m2/dev
Karush–Kuhn–Tucker conditions 453GA3M14M
| URI | m2://inv/453GA3M14M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karush–Kuhn–Tucker conditions, Karush–Kuhn–Tucker conditions (definition). Also Wikidata Q2075125
History
- 2026-11-02: add by m2/dev
Example 453HM8KPYH
| URI | m2://inv/453HM8KPYH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real hyperelliptic curve#GO86, Example (example)
History
- 2026-11-02: add by m2/dev
Combinatorial optimization 453MAPDYB1
| URI | m2://inv/453MAPDYB1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#TWHZ, Combinatorial optimization (definition)
History
- 2026-11-02: add by m2/dev
Entropy influence conjecture 453MY4MQ3J
| URI | m2://inv/453MY4MQ3J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#GKPW, Entropy influence conjecture (statement)
History
- 2026-11-02: add by m2/dev
Chordal graph 453NQCX02Y
| URI | m2://inv/453NQCX02Y |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 14-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19669#TVXW, Chordal graph (example). In 1QPAA94Q76/e1, example 1
History
- 2026-10-28: add by m2/v0.4.2
552 (number) 453QGD2GJF
| URI | m2://inv/453QGD2GJF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#K4YX, 552 (number) (unknown)
History
- 2026-11-02: add by m2/dev
fractional Brownian motion 453RJ82D2K
| URI | m2://inv/453RJ82D2K |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 94A12 |
| Sources | 2 |
| Outcome | open |
| Node | Fractional Brownian motion VC6R7XSKRQ |
Mentions
- wikidata: Wikidata Q1143293, fractional Brownian motion (topic)
- wikipedia: Wikipedia Fractional Brownian motion, Fractional Brownian motion (definition). Also Wikidata Q1143293
History
- 2026-10-26: add by m2/dev
Indifference graph 453VY3R6T6
| URI | m2://inv/453VY3R6T6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indifference graph, Indifference graph (definition). Also Wikidata Q3115472
History
- 2026-11-02: add by m2/dev
SQH method 453XJ3MJDK
| URI | m2://inv/453XJ3MJDK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01015#G9IU, SQH method (definition). In PSH07NKZ62/e1, definition 13
History
- 2026-10-29: add by m2/v0.4.12
453YVRMVPF 453YVRMVPF
| URI | m2://inv/453YVRMVPF |
|---|---|
| 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#JG6N (statement). In FNG4B47MRV/e1, proposition 6.4
History
- 2026-10-29: add by m2/v0.4.10
History of chaos theory 4545WMM618
| URI | m2://inv/4545WMM618 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chaos theory#REQ7, History of chaos theory (unknown)
History
- 2026-11-02: add by m2/dev
Examples 454706DV41
| URI | m2://inv/454706DV41 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dagger symmetric monoidal category#QR6N, Examples (example)
History
- 2026-11-02: add by m2/dev
Whitney–Graustein Theorem 454GTD1HNV
| URI | m2://inv/454GTD1HNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#LFZH, Whitney–Graustein Theorem (definition)
History
- 2026-11-02: add by m2/dev
complete Heyting algebra 454J22JH2S
| URI | m2://inv/454J22JH2S |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5156470, complete Heyting algebra (concept). Also nLab complete Heyting algebra
- wikipedia: Wikipedia Complete Heyting algebra, Complete Heyting algebra (definition). Also Wikidata Q5156470
History
- 2026-10-26: add by m2/dev
Finite additions beyond the insertion index 454JQTH4ED
| URI | m2://inv/454JQTH4ED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37704#LNS3, Finite additions beyond the insertion index (statement). In HGTFJ325A4/e1, corollary 4.9
History
- 2026-10-30: add by m2/v0.4.12
454QNRJQFQ 454QNRJQFQ
| URI | m2://inv/454QNRJQFQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-starsbars.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
454YEXPPYM 454YEXPPYM
| URI | m2://inv/454YEXPPYM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#thm:dpath-arrow (statement). In N54F33XE07, lem, section 1.9
History
- 2026-11-01: add by m2/v0.6.13
4551K5DGJD 4551K5DGJD
| URI | m2://inv/4551K5DGJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31858#1L07 (statement). In QV16PHDXKJ/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
bimagic square 4551VNW59C
| URI | m2://inv/4551VNW59C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q282796, bimagic square (unknown). Also MathWorld BimagicSquare
History
- 2026-10-26: add by m2/dev
Rafael Artzy 455KPCSSHE
| URI | m2://inv/455KPCSSHE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rafael Artzy, Rafael Artzy (topic). Also Wikidata Q7282028
History
- 2026-11-02: add by m2/dev
Near-Jung geometric estimate 455MXQG7PE
| URI | m2://inv/455MXQG7PE |
|---|---|
| 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 2610.13964#EG26, Near-Jung geometric estimate (statement). In 7Q47472TKR/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
series expansion 455NXFQN06
| URI | m2://inv/455NXFQN06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q358733, series expansion (unknown). Also MathWorld SeriesExpansion
- wikipedia: Wikipedia Series expansion, Series expansion (definition). Also Wikidata Q358733
History
- 2026-10-26: add by m2/dev
455SXPR1ST 455SXPR1ST
| URI | m2://inv/455SXPR1ST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.04145#7GKB (statement). In 7TNHVC586V/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.5
François Bruhat 455WSCDK5Q
| URI | m2://inv/455WSCDK5Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q931374, François Bruhat (unknown). Also ProofWiki Mathematician:François_Georges_René_Bruhat
- wikipedia: Wikipedia François Bruhat, François Bruhat (topic). Also Wikidata Q931374
History
- 2026-10-26: add by m2/dev
45607VSRCV 45607VSRCV
| URI | m2://inv/45607VSRCV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21627#SI44 (definition). In 4Z44S003HM/e1, definition 9
History
- 2026-10-27: add by m2/v0.4.2
Power series solution of differential equations 4563T389FN
| URI | m2://inv/4563T389FN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power series solution of differential equations, Power series solution of differential equations (definition). Also Wikidata Q7236612
History
- 2026-11-02: add by m2/dev
Isotropic Grassmannian 4563XC1KZ9
| URI | m2://inv/4563XC1KZ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grassmannian#QRTX, Isotropic Grassmannian (unknown)
History
- 2026-11-02: add by m2/dev
Medial rhombic triacontahedron 45674MF71X
| URI | m2://inv/45674MF71X |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of regular polytopes#VJ0E, Medial rhombic triacontahedron (object)
History
- 2026-11-02: add by m2/dev
456DFDXVYW 456DFDXVYW
| URI | m2://inv/456DFDXVYW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28203#FF8Q (definition)
History
- 2026-11-01: add by m2/v0.6.15
Pia Nalli 456N4TDXPC
| URI | m2://inv/456N4TDXPC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#366D, Pia Nalli (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#V9IO, Pia Nalli (topic)
History
- 2026-11-02: add by m2/dev
Linear versus Displacement Monotonicity 456RQAFQ4S
| URI | m2://inv/456RQAFQ4S |
|---|---|
| Kind | example |
| 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.20998#A2FI, Linear versus Displacement Monotonicity (example)
History
- 2026-11-02: add by m2/v0.6.18
Bad Gap Inference 456YZRCZZW
| URI | m2://inv/456YZRCZZW |
|---|---|
| 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 math/0003117#2PVV, Bad Gap Inference (statement). In WD2NCBV9F0/e1, lemma 15.17
History
- 2026-10-27: add by m2/v0.3.5
456Z3AJ4EK 456Z3AJ4EK
| URI | m2://inv/456Z3AJ4EK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#0W98 (statement). In HVY45JQRNK/e1, theorem 1.8
History
- 2026-10-31: add by m2/v0.5.6
Construction 4570KKRJBJ
| URI | m2://inv/4570KKRJBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polycon#ECMU, Construction (definition)
History
- 2026-11-02: add by m2/dev
Inductive graphical extension 457HE9DZ86
| URI | m2://inv/457HE9DZ86 |
|---|---|
| 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.10790#MEZS, Inductive graphical extension (statement). In HHQ6P3RRB8/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.3
457RKB2Q7J 457RKB2Q7J
| URI | m2://inv/457RKB2Q7J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-71 (exercise). In E59CDZA4DP, exercise, section 4.6.3
History
- 2026-11-01: add by m2/v0.6.13
Convex function 457VZB6G8M
| URI | m2://inv/457VZB6G8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#1J44, Convex function (definition)
History
- 2026-11-02: add by m2/dev
Examples 4580G48KGT
| URI | m2://inv/4580G48KGT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cotangent bundle#K915, Examples (example)
History
- 2026-11-02: add by m2/dev
Nonlinear system identification 4583KGX5TM
| URI | m2://inv/4583KGX5TM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear system identification, Nonlinear system identification (definition). Also Wikidata Q17080460
History
- 2026-11-02: add by m2/dev
Isotropic link, $m=d$ 4583MJAJW6
| URI | m2://inv/4583MJAJW6 |
|---|---|
| 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.19208#58M2, Isotropic link, $m=d$ (statement). In Z4R05936J8/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Applications 4584RF4HPS
| URI | m2://inv/4584RF4HPS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized singular value decomposition#JEOR, Applications (example)
History
- 2026-11-02: add by m2/dev
4584Z5W4Y1 4584Z5W4Y1
| URI | m2://inv/4584Z5W4Y1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11143#91Y8 (statement). In 9CS15SV662/e1, corollary 1.3
History
- 2026-10-28: add by m2/v0.4.3
Unique continuation in Bessel potential spaces 458AJ2N25V
| URI | m2://inv/458AJ2N25V |
|---|---|
| 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.17524#F654, Unique continuation in Bessel potential spaces (statement). In MKA4QH9VRE/e1, corollary 3.2
History
- 2026-10-28: add by m2/v0.4.2
Borel–Weil theorem 458C8YTF8N
| URI | m2://inv/458C8YTF8N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4944922, Borel–Weil theorem (statement). Also MathWorld Borel-WeilTheorem, nLab Borel-Weil theorem
History
- 2026-10-26: add by m2/dev
Daniel J. Bernstein 458D2XNS65
| URI | m2://inv/458D2XNS65 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel J. Bernstein, Daniel J. Bernstein (topic). Also Wikidata Q92865
History
- 2026-11-02: add by m2/dev
4591606RYK 4591606RYK
| URI | m2://inv/4591606RYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32138#JGYE (statement). In ZG0GNHTCWB/e1, theorem 6.9
History
- 2026-10-31: add by m2/v0.5.6
4595CBFHK3 4595CBFHK3
| URI | m2://inv/4595CBFHK3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/z/separation.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 76.8
History
- 2026-11-01: add by m2/v0.6.13
459AC63A17 459AC63A17
| URI | m2://inv/459AC63A17 |
|---|---|
| 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.04165#0RI7 (statement). In PKN283MHF8/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
maximal 459CM9NF25
| URI | m2://inv/459CM9NF25 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#7GZC, maximal (definition)
History
- 2026-11-02: add by m2/dev
$n=3$, $r=3$: nontrivial roots of unity 459E8VGVZD
| URI | m2://inv/459E8VGVZD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 13-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29683#87HT, $n=3$, $r=3$: nontrivial roots of unity (example)
History
- 2026-11-01: add by m2/v0.6.15
Normalized Jacobi representatives 459J3NAFEN
| URI | m2://inv/459J3NAFEN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22027#29T7, Normalized Jacobi representatives (statement)
History
- 2026-11-02: add by m2/v0.6.17
459M2B3QBB 459M2B3QBB
| URI | m2://inv/459M2B3QBB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-4.xml#activity-2 (exercise). In 649HGZKE96, activity, section 3.4.3
History
- 2026-11-01: add by m2/v0.6.13
459NWTYQQP 459NWTYQQP
| URI | m2://inv/459NWTYQQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.07642#S5K2 (statement). In 27HQYN07NQ/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
459PRA436S 459PRA436S
| URI | m2://inv/459PRA436S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04874#818S (statement). In X365951S4Q/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.12
459Z8JG994 459Z8JG994
| URI | m2://inv/459Z8JG994 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35678#7CU6 (definition). In 4X4ZS7CEKD/e1, definition 4
History
- 2026-10-30: add by m2/v0.4.12
orientifold 459ZGX2VQP
| URI | m2://inv/459ZGX2VQP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3356307, orientifold (unknown). Also nLab orientifold
History
- 2026-10-26: add by m2/dev
Algorithm 45A1WQ1F1V
| URI | m2://inv/45A1WQ1F1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ElGamal encryption#FKLK, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
45A3B2NTNM 45A3B2NTNM
| URI | m2://inv/45A3B2NTNM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#WHTX (statement). In 9TR5E527P5/e1, lemma 1.18
History
- 2026-10-29: add by m2/v0.4.10
$\beta$-reduction, $\bred$ 45AE3GYX5Q
| URI | m2://inv/45AE3GYX5Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/beta.tex#defn:betared, $\beta$-reduction, $\bred$ (definition). In PKGMM3P5QY, defn, section 38.10
History
- 2026-11-01: add by m2/v0.6.13
45AEK50VYD 45AEK50VYD
| URI | m2://inv/45AEK50VYD |
|---|---|
| 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.12691#AFJO (statement). In YVQKT91MYN/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
zero of a function 45AFK7GV14
| URI | m2://inv/45AFK7GV14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q214604, zero of a function (unknown). Also MathWorld Root
- wikipedia: Wikipedia Zero of a function, Zero of a function (definition). Also Wikidata Q214604
History
- 2026-10-26: add by m2/dev
Realizability criterion, Bonahon--Otal , Lecuire 45AMZ089P6
| URI | m2://inv/45AMZ089P6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29450#EGTE, Realizability criterion, Bonahon--Otal , Lecuire (statement)
History
- 2026-11-01: add by m2/v0.6.15
45APXEBP2G 45APXEBP2G
| URI | m2://inv/45APXEBP2G |
|---|---|
| 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.17720#W5P6 (statement). In QPM0GQYNZ9/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Definition 45BDPTGWRV
| URI | m2://inv/45BDPTGWRV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5-polytope#4K0V, Definition (definition)
History
- 2026-11-02: add by m2/dev
45BEKXQAVV 45BEKXQAVV
| URI | m2://inv/45BEKXQAVV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#TZTT (statement). In 9EMCPF1F2T/e1, lemma 32
History
- 2026-10-29: add by m2/v0.4.10
45BXT6Z3SG 45BXT6Z3SG
| URI | m2://inv/45BXT6Z3SG |
|---|---|
| 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.37739#65CD (statement). In F5XF5VXTXY/e1, lemma 7.5
History
- 2026-10-30: add by m2/v0.4.12
Differential calculus over commutative algebras 45C7WFGJGR
| URI | m2://inv/45C7WFGJGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential calculus over commutative algebras, Differential calculus over commutative algebras (definition). Also Wikidata Q5275336
History
- 2026-11-02: add by m2/dev
Slothouber–Graatsma puzzle 45CRKYZ887
| URI | m2://inv/45CRKYZ887 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slothouber–Graatsma puzzle, Slothouber–Graatsma puzzle (problem). Also Wikidata Q1130016
History
- 2026-11-02: add by m2/dev
45CT6XGERR 45CT6XGERR
| URI | m2://inv/45CT6XGERR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40054#3N05 (example). In CA4C9PFM1E/e1, example 4.3.2
History
- 2026-10-30: add by m2/v0.4.12
Path integral formulation 45CTF277EG
| URI | m2://inv/45CTF277EG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of variational topics#9YWS, Path integral formulation (definition)
History
- 2026-11-02: add by m2/dev
Faithful matching 45CV01RXFK
| URI | m2://inv/45CV01RXFK |
|---|---|
| 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 2610.14217#TWVH, Faithful matching (definition). In K0DHYQC5B7/e1, definition 2.8
History
- 2026-10-28: add by m2/v0.4.2
Theorem 45D1PKKACF
| URI | m2://inv/45D1PKKACF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov complexity#5Y2L, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Journal of the American Statistical Association 45D4ZZ667Q
| URI | m2://inv/45D4ZZ667Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#1JYI, Journal of the American Statistical Association (definition)
History
- 2026-11-02: add by m2/dev
45DPPY95SE 45DPPY95SE
| URI | m2://inv/45DPPY95SE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.02022#T93J (statement). In RZDNWV9E29/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.6
45E3JNP4WG 45E3JNP4WG
| URI | m2://inv/45E3JNP4WG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 2208.05276#GPG3 (statement). In 4C5XHYTRT2/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.5
Modulation space 45EA27DTRX
| URI | m2://inv/45EA27DTRX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modulation space, Modulation space (definition). Also Wikidata Q6889770
History
- 2026-11-02: add by m2/dev
Formulation 45EACJ4CSW
| URI | m2://inv/45EACJ4CSW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steenrod problem#I5WD, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Properties 45ETVXDZTV
| URI | m2://inv/45ETVXDZTV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proper map#OL87, Properties (statement)
History
- 2026-11-02: add by m2/dev
45EXTGTS6V 45EXTGTS6V
| URI | m2://inv/45EXTGTS6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#FN5Z (statement). In MRR92GQNZE/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Ettore Cavalli 45EXTKHTDV
| URI | m2://inv/45EXTKHTDV |
|---|---|
| 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#3KBF, Ettore Cavalli (unknown)
History
- 2026-11-02: add by m2/dev
Vātsyāyana 45F2YV1J31
| URI | m2://inv/45F2YV1J31 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vātsyāyana, Vātsyāyana (topic). Also Wikidata Q380234
History
- 2026-11-02: add by m2/dev
45F9MJ9JFF 45F9MJ9JFF
| URI | m2://inv/45F9MJ9JFF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14615#13GZ (statement). In 7D5MMP8XB5/e1, fact 2.13
History
- 2026-10-28: add by m2/v0.4.2
Intrinsic mode function 45FE4S3DMA
| URI | m2://inv/45FE4S3DMA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert–Huang transform#5123, Intrinsic mode function (unknown)
History
- 2026-11-02: add by m2/dev
Kiepert hyperbola 45FJ5QEAE0
| URI | m2://inv/45FJ5QEAE0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q113502, Kiepert hyperbola (unknown). Also MathWorld KiepertHyperbola
History
- 2026-10-26: add by m2/dev
Generalizations 45FSSBM5BT
| URI | m2://inv/45FSSBM5BT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector field#NZEU, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
right eigenvector 45FTMR9CB6
| URI | m2://inv/45FTMR9CB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalues and eigenvectors#OBSC, right eigenvector (definition)
- wikipedia: Wikipedia Eigenvalues and eigenvectors#W6E8, left eigenvector (definition)
History
- 2026-11-02: add by m2/dev
45FTTE53AQ 45FTTE53AQ
| URI | m2://inv/45FTTE53AQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#2DFN (statement). In M4ZVJWM8YA/e1, theorem 5.4
History
- 2026-10-27: add by m2/v0.4.2
Product formulas 45FZXWJP6R
| URI | m2://inv/45FZXWJP6R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian simulation#8O5G, Product formulas (statement)
History
- 2026-11-02: add by m2/dev
45FZZCWQ5H 45FZZCWQ5H
| URI | m2://inv/45FZZCWQ5H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#I0NK (statement). In 9ZD87293QS/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.4.0
Generalization 45G2AZJFDF
| URI | m2://inv/45G2AZJFDF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weierstrass M-test#5XH1, Generalization (statement)
History
- 2026-11-02: add by m2/dev
present value 45G6Y1VJ05
| URI | m2://inv/45G6Y1VJ05 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1100466, present value (unknown). Also MathWorld PresentValue
History
- 2026-10-26: add by m2/dev
Arkady Tseytlin 45GECMBSQT
| URI | m2://inv/45GECMBSQT |
|---|---|
| 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 Q28500849, Arkady Tseytlin (unknown). Also nLab Arkady Tseytlin
History
- 2026-10-26: add by m2/dev
O(1) 45GESCGHJE
| URI | m2://inv/45GESCGHJE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Big O notation#TBYO, O(1) (unknown)
History
- 2026-11-02: add by m2/dev
Examples 45GHRXBJ7X
| URI | m2://inv/45GHRXBJ7X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spurious relationship#VANO, Examples (example)
History
- 2026-11-02: add by m2/dev
45GJ59CHMV 45GJ59CHMV
| URI | m2://inv/45GJ59CHMV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_polya_exercises.ptx#ex_polya_perm-pairs (exercise). In QKM9DD2H56, exercise, section 15
History
- 2026-11-01: add by m2/v0.6.13
Legendre function 45GNA3B832
| URI | m2://inv/45GNA3B832 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38741#06ET, Legendre function (definition). In 1SQH3PTYMD/e1, definition 4
History
- 2026-10-30: add by m2/v0.4.12
hexagon 45GPQFB1DD
| URI | m2://inv/45GPQFB1DD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#C6TL, hexagon (definition)
History
- 2026-11-02: add by m2/dev
Variants 45GQM44YAM
| URI | m2://inv/45GQM44YAM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bekić's theorem#NSDT, Variants (statement)
History
- 2026-11-02: add by m2/dev
Lecture Notes in Mathematics 45GS4Y92X4
| URI | m2://inv/45GS4Y92X4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lecture Notes in Mathematics, Lecture Notes in Mathematics (definition). Also Wikidata Q19358233
History
- 2026-11-02: add by m2/dev
45GXG9WP1T 45GXG9WP1T
| URI | m2://inv/45GXG9WP1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#EQJK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations 45H4CS9K94
| URI | m2://inv/45H4CS9K94 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kronecker–Weber theorem#9MHP, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
345 (number) 45HA3MBVJP
| URI | m2://inv/45HA3MBVJP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#EGOP, 345 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Formulation 45HGW84WPE
| URI | m2://inv/45HGW84WPE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov's zero–one law#QX4M, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Rapid mixing with constant decay rate 45HSG1C4YW
| URI | m2://inv/45HSG1C4YW |
|---|---|
| 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 2609.36016#V6R4, Rapid mixing with constant decay rate (definition). In NAM9ZMPHZ9/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Applications 45HTZYCPYE
| URI | m2://inv/45HTZYCPYE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elastic map#6H2G, Applications (example)
History
- 2026-11-02: add by m2/dev
45HZEJRMJS 45HZEJRMJS
| URI | m2://inv/45HZEJRMJS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#theorem-1 (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
45J4HR3B0Y 45J4HR3B0Y
| URI | m2://inv/45J4HR3B0Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33231#K041 (definition). In WPDRT63QNW/e1, definition 1.2
History
- 2026-10-30: add by m2/v0.4.12
Blow-up for nonpositive shifted energy 45JCSNQJT4
| URI | m2://inv/45JCSNQJT4 |
|---|---|
| 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.15528#KFK7, Blow-up for nonpositive shifted energy (statement). In G9GEE64N32/e1, theorem 2.5
History
- 2026-10-28: add by m2/v0.4.2
tangential 2-type 45JHWZ345H
| URI | m2://inv/45JHWZ345H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07608#3EM5, tangential 2-type (definition). In X8FQD4TEVG/e1, definition 3.5
History
- 2026-10-29: add by m2/v0.4.10
45JWX3SR5Z 45JWX3SR5Z
| URI | m2://inv/45JWX3SR5Z |
|---|---|
| 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.09168#7T2D (statement). In 12T5QRMZN8/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
45JZ9VQMPJ 45JZ9VQMPJ
| URI | m2://inv/45JZ9VQMPJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21475#1QNC (statement). In TTRSZVT4VX/e1, theorem 4.13
History
- 2026-10-27: add by m2/v0.4.2
45K0YGRZVR 45K0YGRZVR
| URI | m2://inv/45K0YGRZVR |
|---|---|
| Kind | definition |
| 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.12736#RANH (definition). In 5350Q52F6P/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Andrew Strominger 45K0Z6AAQT
| URI | m2://inv/45K0Z6AAQT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#52G9, Andrew Strominger (unknown)
History
- 2026-11-02: add by m2/dev
pentagon tiling 45K1V6SQQN
| URI | m2://inv/45K1V6SQQN |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3372904, pentagon tiling (unknown). Also MathWorld PentagonTiling
- wikipedia: Wikipedia Pentagonal tiling, Pentagonal tiling (object). Also Wikidata Q3372904
History
- 2026-10-26: add by m2/dev
Definition 45K2WYQRYF
| URI | m2://inv/45K2WYQRYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luttinger's theorem#ML48, Definition (definition)
History
- 2026-11-02: add by m2/dev
Taivo Arak 45K2XWHQ7B
| URI | m2://inv/45K2XWHQ7B |
|---|---|
| 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#UH9U, Taivo Arak (topic)
History
- 2026-11-02: add by m2/dev
Primitive notion 45K3TR55AS
| URI | m2://inv/45K3TR55AS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive notion, Primitive notion (definition). Also Wikidata Q6453739
History
- 2026-11-02: add by m2/dev
45K4DT176Z 45K4DT176Z
| URI | m2://inv/45K4DT176Z |
|---|---|
| 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.28181#NE3F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dorian Abbot 45K9XSAZMK
| URI | m2://inv/45K9XSAZMK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dorian Abbot, Dorian Abbot (topic). Also Wikidata Q102087559
History
- 2026-11-02: add by m2/dev
Nonlinear sigma model 45KA2TDZ7X
| URI | m2://inv/45KA2TDZ7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#15HK, Nonlinear sigma model (definition)
History
- 2026-11-02: add by m2/dev
Bakhadyr Khoussainov 45KAPBC470
| URI | m2://inv/45KAPBC470 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bakhadyr Khoussainov, Bakhadyr Khoussainov (topic). Also Wikidata Q59610289
History
- 2026-11-02: add by m2/dev
Slonimski's Theorem 45KBEV3CQ9
| URI | m2://inv/45KBEV3CQ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slonimski's Theorem, Slonimski's Theorem (statement). Also Wikidata Q21041417
History
- 2026-11-02: add by m2/dev
45M6JXMHH5 45M6JXMHH5
| URI | m2://inv/45M6JXMHH5 |
|---|---|
| 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.03837#QJA3 (statement). In TX88QS0A8M/e1, theorem 7
History
- 2026-10-29: add by m2/v0.4.12
Affine changes of the support 45MHSCQN86
| URI | m2://inv/45MHSCQN86 |
|---|---|
| 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.09341#BDHB, Affine changes of the support (statement). In DSXBMRYE0V/e1, lemma D.2
History
- 2026-10-29: add by m2/v0.4.10
Cohen's class distribution function 45MJHHRWCZ
| URI | m2://inv/45MJHHRWCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2I9X, Cohen's class distribution function (definition)
History
- 2026-11-02: add by m2/dev
Sixteen-witness lemma 45MQ1FFEET
| URI | m2://inv/45MQ1FFEET |
|---|---|
| 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.10950#530P, Sixteen-witness lemma (statement). In P392PEVRAY/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.3
Generalizations 45MT28NSNN
| URI | m2://inv/45MT28NSNN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iwasawa theory#0Y37, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Michael T. Anderson 45N0DW49AD
| URI | m2://inv/45N0DW49AD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael T. Anderson, Michael T. Anderson (topic). Also Wikidata Q6828199
History
- 2026-11-02: add by m2/dev
45N8Y92G06 45N8Y92G06
| URI | m2://inv/45N8Y92G06 |
|---|---|
| Kind | definition |
| 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 2609.33590#PJLE (definition). In WRE0P7V6Z3/e1, definition D.17
History
- 2026-10-30: add by m2/v0.4.12
Examples 45NDAHY6DS
| URI | m2://inv/45NDAHY6DS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ward's conjecture#ZA2B, Examples (example)
History
- 2026-11-02: add by m2/dev
4-color theorem 45NE4Y3BG2
| URI | m2://inv/45NE4Y3BG2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#7F8Z, 4-color theorem (statement)
History
- 2026-11-02: add by m2/dev
45NMY43BBC 45NMY43BBC
| URI | m2://inv/45NMY43BBC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15313#7EZM (definition). In KWKY1CWG1Z/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Legendre's theorem on continued fractions 45NQTM4S15
| URI | m2://inv/45NQTM4S15 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple continued fraction#40YY, Legendre's theorem on continued fractions (statement)
History
- 2026-11-02: add by m2/dev
45NRD7T0A6 45NRD7T0A6
| URI | m2://inv/45NRD7T0A6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#SORR (statement). In 7V3HG30ZGW/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.4.0
equals may be substituted for equals 45NW34MPNR
| URI | m2://inv/45NW34MPNR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12/equals-may-be-substituted-for-equals, equals may be substituted for equals (concept). In N54F33XE07, index, section A.12
History
- 2026-11-01: add by m2/v0.6.13
Boolean model 45NZAFR3P5
| URI | m2://inv/45NZAFR3P5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean model (probability theory), Boolean model (definition). Also Wikidata Q4943358
History
- 2026-11-02: add by m2/dev
Examples 45PDQTKQKB
| URI | m2://inv/45PDQTKQKB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evolute#UNM5, Examples (example)
History
- 2026-11-02: add by m2/dev
45PDXJ6HGE 45PDXJ6HGE
| URI | m2://inv/45PDXJ6HGE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#1G29 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fritz Noether 45PE0DF7H3
| URI | m2://inv/45PE0DF7H3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#2R4D, Fritz Noether (topic)
History
- 2026-11-02: add by m2/dev
Horocone limit for general radial laws 45PE7HRJJH
| URI | m2://inv/45PE7HRJJH |
|---|---|
| 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#4INE, Horocone limit for general radial laws (statement)
History
- 2026-11-01: add by m2/v0.6.15
Failure of perfectness outside the near-diagonal range 45PGQMBBXQ
| URI | m2://inv/45PGQMBBXQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22027#56ZD, Failure of perfectness outside the near-diagonal range (example)
History
- 2026-11-02: add by m2/v0.6.17
45PQZQR206 45PQZQR206
| URI | m2://inv/45PQZQR206 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27301#16SI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ferran Hurtado 45Q1MENGYM
| URI | m2://inv/45Q1MENGYM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EEZC, Ferran Hurtado (topic)
History
- 2026-11-02: add by m2/dev
Complete Transfer System, $T_c$ 45Q7Z2JZV1
| URI | m2://inv/45Q7Z2JZV1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.13523#ENSN, Complete Transfer System, $T_c$ (definition). In DDA62XQTWW/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
45QG943M3Y 45QG943M3Y
| URI | m2://inv/45QG943M3Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#ONWQ (statement). In S26QVW5613/e1, proposition A.3.6
History
- 2026-10-30: add by m2/v0.4.12
Knower paradox 45QRDQ5QZV
| URI | m2://inv/45QRDQ5QZV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knower paradox, Knower paradox (statement). Also Wikidata Q48724533
History
- 2026-11-02: add by m2/dev
Rejection rule and rejection time 45QSR151GD
| URI | m2://inv/45QSR151GD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 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 2609.27765#NQV5, Rejection rule and rejection time (definition)
History
- 2026-11-01: add by m2/v0.6.15
Decomposition theorem 45QV29RKR7
| URI | m2://inv/45QV29RKR7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divergence#2YSJ, Decomposition theorem (statement)
History
- 2026-11-02: add by m2/dev
45R4N8MGBW 45R4N8MGBW
| URI | m2://inv/45R4N8MGBW |
|---|---|
| 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.20682#OY6Q (statement)
History
- 2026-11-02: add by m2/v0.6.18
45R8FV997R 45R8FV997R
| URI | m2://inv/45R8FV997R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_flowapplications_exercises.ptx#exercise-7 (exercise). In QKM9DD2H56, exercise, section 14
History
- 2026-11-01: add by m2/v0.6.13
Marsaglia's theorem 45RAXAZQMM
| URI | m2://inv/45RAXAZQMM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marsaglia's theorem, Marsaglia's theorem (statement). Also Wikidata Q2226739
History
- 2026-11-02: add by m2/dev
45RDAX9JC8 45RDAX9JC8
| URI | m2://inv/45RDAX9JC8 |
|---|---|
| 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.15367#DK81 (statement). In 9AFZ1S368G/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Occupation-number formula 45RFDQRH00
| URI | m2://inv/45RFDQRH00 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00396#WXME, Occupation-number formula (statement). In V13TE1RWT9/e1, proposition A.1
History
- 2026-10-30: add by m2/v0.4.12
S. Barry Cooper 45RHWJJZCA
| URI | m2://inv/45RHWJJZCA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S. Barry Cooper, S. Barry Cooper (topic). Also Wikidata Q7387391
History
- 2026-11-02: add by m2/dev
45RJ1VMEE0 45RJ1VMEE0
| URI | m2://inv/45RJ1VMEE0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.33651#OGFW (statement). In 69DBD2HKGK/e1, theorem 7.7
History
- 2026-10-30: add by m2/v0.4.12
Gibbard–Satterthwaite theorem 45RJMNH58T
| URI | m2://inv/45RJMNH58T |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q612021, Gibbard–Satterthwaite theorem (statement). Also Wikidata Q612021
- thousand_plus: thousand_plus Q612021, Gibbard–Satterthwaite theorem (statement). Also Wikidata Q612021, Wikipedia Gibbard–Satterthwaite theorem
- wikipedia: Wikipedia Gibbard–Satterthwaite theorem, Gibbard–Satterthwaite theorem (statement). Also Wikidata Q612021
History
- 2026-10-26: add by m2/dev
45RJY68A59 45RJY68A59
| URI | m2://inv/45RJY68A59 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-3.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
Existence via compactness 45RYH454BS
| URI | m2://inv/45RYH454BS |
|---|---|
| Kind | statement |
| 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.20998#4T60, Existence via compactness (statement)
History
- 2026-11-02: add by m2/v0.6.18
multiplicative inverse 45S1YE5PVX
| URI | m2://inv/45S1YE5PVX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.16/multiplicative-inverse, multiplicative inverse (concept). In QKM9DD2H56, index, section B.16
History
- 2026-11-01: add by m2/v0.6.13
45S9T62FTM 45S9T62FTM
| URI | m2://inv/45S9T62FTM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19791#19IP (definition). In AVDB4KJ6XB/e1, definition 5.4
History
- 2026-10-28: add by m2/v0.4.2
45SBN669HC 45SBN669HC
| URI | m2://inv/45SBN669HC |
|---|---|
| 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 2609.33476#19LV (statement). In DAQW640R25/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
45SMFN3JG0 45SMFN3JG0
| URI | m2://inv/45SMFN3JG0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14160#SGN7 (statement). In Y4TP36M0C7/e1, proposition 28
History
- 2026-10-28: add by m2/v0.4.2
45SNSH0RAV 45SNSH0RAV
| URI | m2://inv/45SNSH0RAV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39260#VMT3 (statement). In ZNDB1AZZSA/e1, theorem 1.6
History
- 2026-10-30: add by m2/v0.4.12
45SPG0B6M4 45SPG0B6M4
| URI | m2://inv/45SPG0B6M4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#5GN3 (statement). In PG0B4PH9YH/e1, lemma 2.17
History
- 2026-10-27: add by m2/v0.4.2
loop space 45SQAWP76S
| URI | m2://inv/45SQAWP76S |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/loop-space, loop space (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
ample 45T0X4NRZX
| URI | m2://inv/45T0X4NRZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#W6TF, ample (definition)
History
- 2026-11-02: add by m2/dev
45T5MHZ4PF 45T5MHZ4PF
| URI | m2://inv/45T5MHZ4PF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises5-1.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
45TANEG2WZ 45TANEG2WZ
| URI | m2://inv/45TANEG2WZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 2502.14306#JFKX (statement). In ZNBQD5WH1M/e1, proposition 5.7
History
- 2026-10-27: add by m2/v0.3.5
45TC9713CW 45TC9713CW
| URI | m2://inv/45TC9713CW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#2QYG (statement). In W4TYN4PGE8/e1, theorem 6.16
History
- 2026-10-27: add by m2/v0.3.5
incommensurability and non-trivial $\bf m$-stability 45TFJGTHA0
| URI | m2://inv/45TFJGTHA0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2210.06147#V39W, incommensurability and non-trivial $\bf m$-stability (example). In 94RBNQA07A/e1, example 2.35
History
- 2026-10-27: add by m2/v0.3.5
Nim multiplication 45TGF9GZ23
| URI | m2://inv/45TGF9GZ23 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nimber#V9AR, Nim multiplication (unknown)
History
- 2026-11-02: add by m2/dev
45TJSKRH7P 45TJSKRH7P
| URI | m2://inv/45TJSKRH7P |
|---|---|
| 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#ML4U (statement). In QR8H4M1X4N/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
45TNVBQFED 45TNVBQFED
| URI | m2://inv/45TNVBQFED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#defn-7 (definition). In E59CDZA4DP, defn, section 11.9.3
History
- 2026-11-01: add by m2/v0.6.13
Blakers--Massey theorem 45V2TGH5ZE
| URI | m2://inv/45V2TGH5ZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#Blakers-Massey, Blakers--Massey theorem (statement). In N54F33XE07, thm, section 7.10
History
- 2026-11-01: add by m2/v0.6.13
45V5FQR6CK 45V5FQR6CK
| URI | m2://inv/45V5FQR6CK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30519#URWA (statement). In GQQZNRYK15/e1, proposition 3.3
History
- 2026-10-31: add by m2/v0.5.6
45V8SEZ5XM 45V8SEZ5XM
| URI | m2://inv/45V8SEZ5XM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39104#GI31 (statement). In V2NTW27MSJ/e1, corollary 3.6
History
- 2026-10-30: add by m2/v0.4.12
coefficient ring 45V8YT4FMX
| URI | m2://inv/45V8YT4FMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#R5L1, coefficient ring (definition)
History
- 2026-11-02: add by m2/dev
Properties 45VA2S7DZV
| URI | m2://inv/45VA2S7DZV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinal arithmetic#GD2E, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties 45VGDDDWSW
| URI | m2://inv/45VGDDDWSW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal number#7AIK, Properties (statement)
History
- 2026-11-02: add by m2/dev
cube root 45VHYRY1S5
| URI | m2://inv/45VHYRY1S5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1774143, cube root (unknown). Also MathWorld CubeRoot
- wikipedia: Wikipedia Cube root, Cube root (definition). Also Wikidata Q1774143
History
- 2026-10-26: add by m2/dev
Lagrange number 45VQ68AZ2T
| URI | m2://inv/45VQ68AZ2T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#Q84U, Lagrange number (definition)
History
- 2026-11-02: add by m2/dev
45VSKDW2P7 45VSKDW2P7
| URI | m2://inv/45VSKDW2P7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22759#ZZG1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Fibre identities 45VTGT3KFG
| URI | m2://inv/45VTGT3KFG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15887#7ETJ, Fibre identities (statement). In 87QYNZZ67Z/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Theorem E2 45VYM5CFFB
| URI | m2://inv/45VYM5CFFB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite compositions of analytic functions#CQMS, Theorem E2 (statement)
History
- 2026-11-02: add by m2/dev
GLIM 45VYY72ZCZ
| URI | m2://inv/45VYY72ZCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#4MU2, GLIM (definition)
History
- 2026-11-02: add by m2/dev
salient cone 45WCQNK0WA
| URI | m2://inv/45WCQNK0WA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Convex geometry > salient cone, salient cone (unknown). Also Mathlib ConvexCone.Salient
History
- 2026-10-26: add by m2/dev
45WGTRP725 45WGTRP725
| URI | m2://inv/45WGTRP725 |
|---|---|
| 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 2502.08738#S7EN (statement). In 9GMTVSTAVN/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
45WH69SHJB 45WH69SHJB
| URI | m2://inv/45WH69SHJB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09086#4QJ0 (statement). In JPC86V77CH/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
45WH8G2MGG 45WH8G2MGG
| URI | m2://inv/45WH8G2MGG |
|---|---|
| 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.01915#BYFU (definition). In 6HJQXZS0A6/e1, definition 1.3
History
- 2026-10-29: add by m2/v0.4.12
45WHSHNKBH 45WHSHNKBH
| URI | m2://inv/45WHSHNKBH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-49 (exercise). In E9HS8K3A52, exercise, section 10.4.4
History
- 2026-11-01: add by m2/v0.6.13
Definition 45WHTYC6FT
| URI | m2://inv/45WHTYC6FT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability generating function#4Z20, Definition (definition)
History
- 2026-11-02: add by m2/dev
45WJRQ4F7V 45WJRQ4F7V
| URI | m2://inv/45WJRQ4F7V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/coding-formulas.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 27.1
History
- 2026-11-01: add by m2/v0.6.13
45WRY0EEPE 45WRY0EEPE
| URI | m2://inv/45WRY0EEPE |
|---|---|
| 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.02141#OIVT (statement). In 5AB8YPS19N/e1, theorem 2.7
History
- 2026-10-29: add by m2/v0.4.12
Banker's rounding 45WS7WHN8F
| URI | m2://inv/45WS7WHN8F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rounding#QC60, Banker's rounding (unknown)
History
- 2026-11-02: add by m2/dev
non-standard model of arithmetic 45WSMD65C2
| URI | m2://inv/45WSMD65C2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Non-standard model of arithmetic 1QWN5CV4CG |
Mentions
- wikidata: Wikidata Q3318130, non-standard model of arithmetic (unknown). Also nLab nonstandard model of arithmetic
- wikipedia: Wikipedia Non-standard model of arithmetic, Non-standard model of arithmetic (definition). Also Wikidata Q3318130
History
- 2026-10-26: add by m2/dev
45WYC8HT8F 45WYC8HT8F
| URI | m2://inv/45WYC8HT8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18929#16GW (statement). In ZRJ2DZT6P1/e1, theorem 5.7
History
- 2026-10-28: add by m2/v0.4.2
45X6C0DPH7 45X6C0DPH7
| URI | m2://inv/45X6C0DPH7 |
|---|---|
| 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.19590#PDJL (definition). In AZFARX0CXG/e1, definition 1.4
History
- 2026-10-28: add by m2/v0.4.2
Use 45XRXG9300
| URI | m2://inv/45XRXG9300 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pattern Blocks#3SW6, Use (example)
History
- 2026-11-02: add by m2/dev
45Y7A98T9P 45Y7A98T9P
| URI | m2://inv/45Y7A98T9P |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oberwolfach problem#5UBS (problem)
History
- 2026-11-02: add by m2/dev
45YJCN6ZVN 45YJCN6ZVN
| URI | m2://inv/45YJCN6ZVN |
|---|---|
| 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.20231#BYHY (statement)
History
- 2026-11-02: add by m2/v0.6.18
45YK6FKF82 45YK6FKF82
| URI | m2://inv/45YK6FKF82 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.23106#YDJ4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Problems in Latin squares 45YKS0YPSA
| URI | m2://inv/45YKS0YPSA |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#D41E, Problems in Latin squares (conjecture)
History
- 2026-11-02: add by m2/dev
Mean identity 45YMTDKNCC
| URI | m2://inv/45YMTDKNCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00453#E58O, Mean identity (statement). In ESPJMBH2R2/e1, lemma 4.8
History
- 2026-10-30: add by m2/v0.4.12
45YS6E2W7N 45YS6E2W7N
| URI | m2://inv/45YS6E2W7N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.36332#875F (statement). In APK7X4MFAX/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Examples 45Z0CWY63Q
| URI | m2://inv/45Z0CWY63Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf manifold#EG95, Examples (example)
History
- 2026-11-02: add by m2/dev
45Z2FYW1QD 45Z2FYW1QD
| URI | m2://inv/45Z2FYW1QD |
|---|---|
| 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 2308.08081#ZMBQ (statement). In FJ8XVQ6F0T/e1, theorem 2.10
History
- 2026-10-27: add by m2/v0.4.0
Definition 45ZDPRXAV6
| URI | m2://inv/45ZDPRXAV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral risk measure#QQMC, Definition (definition)
History
- 2026-11-02: add by m2/dev
45ZFPMPWPE 45ZFPMPWPE
| URI | m2://inv/45ZFPMPWPE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/integrate.tex#thm:gaitsgory_riemann (statement). In RZP28ERRZV, theorem, section 31.3
History
- 2026-11-01: add by m2/v0.6.13
45ZH8WS3X6 45ZH8WS3X6
| URI | m2://inv/45ZH8WS3X6 |
|---|---|
| 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.07927#DJ9Q (statement). In GKM19DHQTM/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
Kerr constant 45ZQPTYH16
| URI | m2://inv/45ZQPTYH16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#GOXL, Kerr constant (definition)
History
- 2026-11-02: add by m2/dev
cyclohedron 45ZVM9J898
| URI | m2://inv/45ZVM9J898 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5198709, cyclohedron (unknown). Also MathWorld Cyclohedron
- wikipedia: Wikipedia Cyclohedron, Cyclohedron (object). Also Wikidata Q5198709
History
- 2026-10-26: add by m2/dev
45ZVNA8GVD 45ZVNA8GVD
| URI | m2://inv/45ZVNA8GVD |
|---|---|
| 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 2208.05288#21XW (statement). In RTW3GDYPND/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.4.0
45ZW21B3YX 45ZW21B3YX
| URI | m2://inv/45ZW21B3YX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/examples-of-filtrations.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 51.9
History
- 2026-11-01: add by m2/v0.6.13
45ZX3YDM5V 45ZX3YDM5V
| URI | m2://inv/45ZX3YDM5V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09694#VFIU (statement). In 7VXBVQ5SAC/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10