Inventory rows FW
The cards of the rows of the inventory whose ids start with FW. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
FW0073T8HN FW0073T8HN
| URI | m2://inv/FW0073T8HN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cellular.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 50.4
History
- 2026-11-01: add by m2/v0.6.13
Definition FW027NST5A
| URI | m2://inv/FW027NST5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection-valued measure#MCVR, Definition (definition)
History
- 2026-11-02: add by m2/dev
great rhombihexahedron FW05ED0KF7
| URI | m2://inv/FW05ED0KF7 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47688, great rhombihexahedron (unknown). Also MathWorld GreatRhombihexahedron
- wikipedia: Wikipedia Great rhombihexahedron, Great rhombihexahedron (object). Also Wikidata Q47688
History
- 2026-10-26: add by m2/dev
sharp subconfiguration criterion FW063K64R6
| URI | m2://inv/FW063K64R6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.04000#JXQ0, sharp subconfiguration criterion (statement). In CBCCH5VTMQ/e1, corollary 3.18
History
- 2026-10-29: add by m2/v0.4.12
Formal definition FW0A5ZWV9D
| URI | m2://inv/FW0A5ZWV9D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hodge star operator#18MU, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
unit interval FW0B04RJMB
| URI | m2://inv/FW0B04RJMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1987578, unit interval (unknown). Also MathWorld UnitInterval
- wikipedia: Wikipedia Unit interval, Unit interval (definition). Also Wikidata Q1987578
History
- 2026-10-26: add by m2/dev
FW0EBY0J58 FW0EBY0J58
| URI | m2://inv/FW0EBY0J58 |
|---|---|
| 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.30097#MZF1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
FW0EP2T6J9 FW0EP2T6J9
| URI | m2://inv/FW0EP2T6J9 |
|---|---|
| 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.17863#HYXU (statement). In Y8XQT02BBF/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Examples FW0F08QWQN
| URI | m2://inv/FW0F08QWQN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chevalley's structure theorem#O96A, Examples (example)
History
- 2026-11-02: add by m2/dev
Viktor Vekselberg FW0F6AH63J
| URI | m2://inv/FW0F6AH63J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#9MMX, Viktor Vekselberg (unknown)
History
- 2026-11-02: add by m2/dev
Lord's paradox FW0JJWNW9T
| URI | m2://inv/FW0JJWNW9T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lord's paradox, Lord's paradox (statement). Also Wikidata Q28455144
History
- 2026-11-02: add by m2/dev
FW0TTV4W88 FW0TTV4W88
| URI | m2://inv/FW0TTV4W88 |
|---|---|
| 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.15291#N4MN (statement). In YVS8268AG8/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Variants FW0YCBGSGA
| URI | m2://inv/FW0YCBGSGA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander–Spanier cohomology#DBWL, Variants (statement)
History
- 2026-11-02: add by m2/dev
Ralph Merkle FW0Z50C0TG
| URI | m2://inv/FW0Z50C0TG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ralph Merkle, Ralph Merkle (topic). Also Wikidata Q92884
History
- 2026-11-02: add by m2/dev
FW17KT3M2Y FW17KT3M2Y
| URI | m2://inv/FW17KT3M2Y |
|---|---|
| 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.25843#70H3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
The opposite affine CFO FW1826SVH1
| URI | m2://inv/FW1826SVH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#R7YA, The opposite affine CFO (statement)
History
- 2026-11-01: add by m2/v0.6.15
FW1A18505W FW1A18505W
| URI | m2://inv/FW1A18505W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03517#ROFT (statement). In 3CGS9GSKTQ/e1, lemma 8.1
History
- 2026-10-29: add by m2/v0.4.12
FW1BNTGG2Z FW1BNTGG2Z
| URI | m2://inv/FW1BNTGG2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09949#J3EO (statement). In VGJVFCDV8A/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Fast ray FW1EHAEAWA
| URI | m2://inv/FW1EHAEAWA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birefringence#QH8E, Fast ray (unknown)
History
- 2026-11-02: add by m2/dev
FW1FBK653N FW1FBK653N
| URI | m2://inv/FW1FBK653N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-8 (exercise). In E9HS8K3A52, exercise, section 10.1.6
History
- 2026-11-01: add by m2/v0.6.13
Remark FW1JDJ2A88
| URI | m2://inv/FW1JDJ2A88 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wald's equation#A16C, Remark (unknown)
History
- 2026-11-02: add by m2/dev
FW21K2VKYH FW21K2VKYH
| URI | m2://inv/FW21K2VKYH |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#4HT0 (proof). In S1F2QW24YW/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Weyl–Brauer matrices FW21YM0JV7
| URI | m2://inv/FW21YM0JV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl–Brauer matrices, Weyl–Brauer matrices (definition). Also Wikidata Q7990340
History
- 2026-11-02: add by m2/dev
Myhill's constructive set theory FW248313WD
| URI | m2://inv/FW248313WD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructive set theory#H7O4, Myhill's constructive set theory (unknown)
History
- 2026-11-02: add by m2/dev
Continuous authentication FW27HVRNKG
| URI | m2://inv/FW27HVRNKG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Authentication#N9TK, Continuous authentication (unknown)
History
- 2026-11-02: add by m2/dev
articulation point FW27N0C9GE
| URI | m2://inv/FW27N0C9GE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#TWF4, articulation point (definition)
History
- 2026-11-02: add by m2/dev
Twisted cubic FW2AFCR6YT
| URI | m2://inv/FW2AFCR6YT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#UMX0, Twisted cubic (definition)
- wikipedia: Wikipedia List of algebraic geometry topics#19EA, Twisted cubic (definition)
- wikipedia: Wikipedia List of curves#Z1VR, Twisted cubic (definition)
History
- 2026-11-02: add by m2/dev
Example FW2R6C5SHC
| URI | m2://inv/FW2R6C5SHC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of total probability#F9GW, Example (example)
History
- 2026-11-02: add by m2/dev
FW305Z22YM FW305Z22YM
| URI | m2://inv/FW305Z22YM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-65 (exercise). In E9HS8K3A52, exercise, section 6.5.4
History
- 2026-11-01: add by m2/v0.6.13
FW37R51ETY FW37R51ETY
| URI | m2://inv/FW37R51ETY |
|---|---|
| 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#A48C (statement). In 22JZ68FGCW/e1, lemma 6.29
History
- 2026-10-27: add by m2/v0.3.5
Bolzano Circle FW38ARV22F
| URI | m2://inv/FW38ARV22F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernard Bolzano#VGOI, Bolzano Circle (unknown)
History
- 2026-11-02: add by m2/dev
FW3B839X75 FW3B839X75
| URI | m2://inv/FW3B839X75 |
|---|---|
| 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 2609.25957#ZS08 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties FW3BE6C55C
| URI | m2://inv/FW3BE6C55C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate random variable#NT20, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition FW3EXB2VP0
| URI | m2://inv/FW3EXB2VP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed preordered set#S9ZR, Definition (definition)
History
- 2026-11-02: add by m2/dev
FW3EYJTX65 FW3EYJTX65
| URI | m2://inv/FW3EYJTX65 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14435#0W8W (example). In Y9FSN5BVNQ/e1, example 26
History
- 2026-10-28: add by m2/v0.4.2
FW3JGBF86G FW3JGBF86G
| URI | m2://inv/FW3JGBF86G |
|---|---|
| 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-4 (exercise). In 649HGZKE96, exercise, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
FW3JW18F1K FW3JW18F1K
| URI | m2://inv/FW3JW18F1K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#YX7M (statement). In 48QX0QD0XR/e1, lemma 8.3
History
- 2026-10-28: add by m2/v0.4.3
Symmetry group FW3RXYZ5SR
| URI | m2://inv/FW3RXYZ5SR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#QAKY, Symmetry group (definition)
History
- 2026-11-02: add by m2/dev
FW3Y1W5E52 FW3Y1W5E52
| URI | m2://inv/FW3Y1W5E52 |
|---|---|
| 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#1M79 (statement)
History
- 2026-11-01: add by m2/v0.6.15
FW4179VGTA FW4179VGTA
| URI | m2://inv/FW4179VGTA |
|---|---|
| Kind | problem |
| 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.15086#O24P (problem). In V60MVF3KQ1/e1, problem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Nancy K. Stanton FW44HYY5ZR
| URI | m2://inv/FW44HYY5ZR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nancy K. Stanton, Nancy K. Stanton (topic). Also Wikidata Q1964523
History
- 2026-11-02: add by m2/dev
FW45E1CDNC FW45E1CDNC
| URI | m2://inv/FW45E1CDNC |
|---|---|
| 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.21533#8JHU (statement). In N3Z6JFEPCF/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.4.2
Quasi-isometry FW476HJS6G
| URI | m2://inv/FW476HJS6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-isometry, Quasi-isometry (definition). Also Wikidata Q614527
History
- 2026-11-02: add by m2/dev
FW4E8XYKZM FW4E8XYKZM
| URI | m2://inv/FW4E8XYKZM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#DAW3 (definition). In M0SQY5EZN5/e1, definition 4.4.5
History
- 2026-10-27: add by m2/v0.3.5
FW4M2HB75E FW4M2HB75E
| URI | m2://inv/FW4M2HB75E |
|---|---|
| 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.29759#D9EP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Other formulas FW4SSCEFYY
| URI | m2://inv/FW4SSCEFYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambert W function#JJC0, Other formulas (statement)
History
- 2026-11-02: add by m2/dev
Generalized additive model for location, scale and shape FW4YVRMNVW
| URI | m2://inv/FW4YVRMNVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized additive model for location, scale and shape, Generalized additive model for location, scale and shape (definition). Also Wikidata Q5532460
History
- 2026-11-02: add by m2/dev
objectual quantifier FW4ZK0A5HW
| URI | m2://inv/FW4ZK0A5HW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#UKDJ, objectual quantifier (definition)
History
- 2026-11-02: add by m2/dev
Applications FW541KH92K
| URI | m2://inv/FW541KH92K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Game theory on networks#K88T, Applications (example)
History
- 2026-11-02: add by m2/dev
FW562JPCK0 FW562JPCK0
| URI | m2://inv/FW562JPCK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16431#ACLM (statement). In 7NX9HA8VPM/e1, proposition 2.11
History
- 2026-10-28: add by m2/v0.4.2
FW58RZYP1F FW58RZYP1F
| URI | m2://inv/FW58RZYP1F |
|---|---|
| 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 2309.16041#SMYN (statement). In 2GD6NWJVRM/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
FW5PJ0SY3A FW5PJ0SY3A
| URI | m2://inv/FW5PJ0SY3A |
|---|---|
| Kind | problem |
| 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.36818#D2OT (problem). In SK6AP2B9JH/e1, problem 1.5
History
- 2026-10-30: add by m2/v0.4.12
FW5RXG2H20 FW5RXG2H20
| URI | m2://inv/FW5RXG2H20 |
|---|---|
| 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.13103#MD5S (statement). In GG2ZZV6KEQ/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Stagewise convergence FW5SSZM9E3
| URI | m2://inv/FW5SSZM9E3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21139#JONM, Stagewise convergence (statement). In E3NM0QN6KK/e1, proposition 1
History
- 2026-10-27: add by m2/v0.4.2
Discrete Bochner Formula FW613M09HK
| URI | m2://inv/FW613M09HK |
|---|---|
| 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.23994#LHZS, Discrete Bochner Formula (statement)
History
- 2026-11-02: add by m2/v0.6.17
Lemoine's conjecture and extensions FW61TSGTM7
| URI | m2://inv/FW61TSGTM7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Émile Lemoine#IS9W, Lemoine's conjecture and extensions (statement)
History
- 2026-11-02: add by m2/dev
Unital *-algebra FW62FPY1WD
| URI | m2://inv/FW62FPY1WD |
|---|---|
| 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.37074#F83R, Unital *-algebra (definition). In VTNV72MCVD/e1, definition 4.3
History
- 2026-10-30: add by m2/v0.4.12
semantic tableau FW62TTXD6N
| URI | m2://inv/FW62TTXD6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#F98U, semantic tableau (definition)
History
- 2026-11-02: add by m2/dev
FW65C9ETKQ FW65C9ETKQ
| URI | m2://inv/FW65C9ETKQ |
|---|---|
| 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#PEZW (statement). In M4ZVJWM8YA/e1, lemma 6.8
History
- 2026-10-27: add by m2/v0.4.2
Krikor Peshtimaldjian FW6BY5VXW0
| URI | m2://inv/FW6BY5VXW0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krikor Peshtimaldjian, Krikor Peshtimaldjian (topic). Also Wikidata Q6437035
History
- 2026-11-02: add by m2/dev
FW6C2XZB3X FW6C2XZB3X
| URI | m2://inv/FW6C2XZB3X |
|---|---|
| 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 2507.05417#5PHZ (statement). In RGHZ863Q26/e1, lemma 3.17
History
- 2026-10-27: add by m2/v0.3.5
Applications FW6C9A9NQW
| URI | m2://inv/FW6C9A9NQW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skewness#5PI0, Applications (example)
History
- 2026-11-02: add by m2/dev
FW6FPXWQGG FW6FPXWQGG
| URI | m2://inv/FW6FPXWQGG |
|---|---|
| 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.20716#0NEQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
David Hilbert FW6H5YW8NN
| URI | m2://inv/FW6H5YW8NN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#44OM, David Hilbert (topic)
History
- 2026-11-02: add by m2/dev
Formulation FW6PTVCATX
| URI | m2://inv/FW6PTVCATX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck–Katz p-curvature conjecture#69GW, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Orthogonal tilt--height excess estimate FW713BQBGB
| URI | m2://inv/FW713BQBGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#SB6W, Orthogonal tilt--height excess estimate (statement). In HXFA55BREZ/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
FW76QY8G21 FW76QY8G21
| URI | m2://inv/FW76QY8G21 |
|---|---|
| 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.38014#YFQV (statement). In F3X5W4E0AJ/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Spin operator FW78A2DBBZ
| URI | m2://inv/FW78A2DBBZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spin (physics)#RUL4, Spin operator (unknown)
History
- 2026-11-02: add by m2/dev
FW7JHR94VY FW7JHR94VY
| URI | m2://inv/FW7JHR94VY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35213#NRN2 (statement). In T5KCTZ3H08/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
FW7TRAQ0P7 FW7TRAQ0P7
| URI | m2://inv/FW7TRAQ0P7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24569#25I6 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Kefeng Liu FW80V1V7RF
| URI | m2://inv/FW80V1V7RF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#84JM, Kefeng Liu (topic)
History
- 2026-11-02: add by m2/dev
Roger Millsap FW893B31KE
| URI | m2://inv/FW893B31KE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roger Millsap, Roger Millsap (topic). Also Wikidata Q56599711
History
- 2026-11-02: add by m2/dev
FW8K6F244R FW8K6F244R
| URI | m2://inv/FW8K6F244R |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28677#ZAI3 (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Statement FW8KR1NKGJ
| URI | m2://inv/FW8KR1NKGJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blattner's conjecture#3SVE, Statement (statement)
History
- 2026-11-02: add by m2/dev
FW8TXVSSB4 FW8TXVSSB4
| URI | m2://inv/FW8TXVSSB4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#KKEB (definition). In A93R925Z24/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Therese Biedl FW8VGDCGSJ
| URI | m2://inv/FW8VGDCGSJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Therese Biedl, Therese Biedl (topic). Also Wikidata Q47028524
History
- 2026-11-02: add by m2/dev
Valentine Bargmann FW9243RJCC
| URI | m2://inv/FW9243RJCC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#P09G, Valentine Bargmann (topic)
History
- 2026-11-02: add by m2/dev
Rubin causal model FW92YBQPKY
| URI | m2://inv/FW92YBQPKY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7GHJ, Rubin causal model (definition)
History
- 2026-11-02: add by m2/dev
Example FW9ANZGY3V
| URI | m2://inv/FW9ANZGY3V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stars and bars (combinatorics)#WQ3L, Example (example)
History
- 2026-11-02: add by m2/dev
Sackur–Tetrode constant FW9NYFM7H0
| URI | m2://inv/FW9NYFM7H0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#JSZ6, Sackur–Tetrode constant (definition)
History
- 2026-11-02: add by m2/dev
KeeWeb FW9QGE38AC
| URI | m2://inv/FW9QGE38AC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia KeeWeb, KeeWeb (definition). Also Wikidata Q96385555
History
- 2026-11-02: add by m2/dev
Shigefumi Mori FW9TNTX0T5
| URI | m2://inv/FW9TNTX0T5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shigefumi Mori, Shigefumi Mori (topic). Also Wikidata Q206215
History
- 2026-11-02: add by m2/dev
FWAHSDETXG FWAHSDETXG
| URI | m2://inv/FWAHSDETXG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.09810#I0I8 (example). In T1VFA7TXPA/e1, example 63
History
- 2026-10-27: add by m2/v0.3.5
rounded, relation FWAPJEA13E
| URI | m2://inv/FWAPJEA13E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.2/rounded-relation, rounded, relation (concept). In N54F33XE07, index, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
Computational chemistry FWAR4B4XW9
| URI | m2://inv/FWAR4B4XW9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#SJH5, Computational chemistry (unknown)
History
- 2026-11-02: add by m2/dev
FWARTDB12X FWARTDB12X
| URI | m2://inv/FWARTDB12X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02798#8RNZ (statement). In 446QW3DHTN/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
FWB3ZDTW9Y FWB3ZDTW9Y
| URI | m2://inv/FWB3ZDTW9Y |
|---|---|
| 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#O5DR (statement). In 9ZD87293QS/e1, lemma 3.18
History
- 2026-10-27: add by m2/v0.4.0
Local distortion FWBA3DGNC5
| URI | m2://inv/FWBA3DGNC5 |
|---|---|
| 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#O3XH, Local distortion (definition). In 1SQH3PTYMD/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
FWBEP2EAFF FWBEP2EAFF
| URI | m2://inv/FWBEP2EAFF |
|---|---|
| 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.35323#GJGY (statement). In 5CKPXBWSCX/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Applications FWBFEDQ8Y4
| URI | m2://inv/FWBFEDQ8Y4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral density#H51U, Applications (example)
History
- 2026-11-02: add by m2/dev
mathematics, classical FWBPY5YXY1
| URI | m2://inv/FWBPY5YXY1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/mathematics-classical, mathematics, classical (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Belphegor's prime FWBWBTANNG
| URI | m2://inv/FWBWBTANNG |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#FWBN, Belphegor's prime (object)
History
- 2026-11-02: add by m2/dev
Asuman Aksoy FWBYCT0TY9
| URI | m2://inv/FWBYCT0TY9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asuman Aksoy, Asuman Aksoy (topic). Also Wikidata Q66789609
History
- 2026-11-02: add by m2/dev
Seven Corners, Virginia FWC1QM9ME8
| URI | m2://inv/FWC1QM9ME8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#NIGZ, Seven Corners, Virginia (unknown)
History
- 2026-11-02: add by m2/dev
stalemate FWCB528MBX
| URI | m2://inv/FWCB528MBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q208330, stalemate (definition). Also ProofWiki Definition:Chess/Draw/Stalemate
History
- 2026-10-26: add by m2/dev
FWCCW8Q0SZ FWCCW8Q0SZ
| URI | m2://inv/FWCCW8Q0SZ |
|---|---|
| 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.28898#P21R (statement)
History
- 2026-11-01: add by m2/v0.6.15
FWCGRPGJCC FWCGRPGJCC
| URI | m2://inv/FWCGRPGJCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2110.11143#FSZK (statement). In VTVC0TCWSB/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Prime model FWCPCHQP7W
| URI | m2://inv/FWCPCHQP7W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime model, Prime model (definition). Also Wikidata Q7243376
History
- 2026-11-02: add by m2/dev
Moi National Mathematics Contest FWCR4FE58E
| URI | m2://inv/FWCR4FE58E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#59MK, Moi National Mathematics Contest (unknown)
History
- 2026-11-02: add by m2/dev
Clifton–Pohl torus FWD41DYHM2
| URI | m2://inv/FWD41DYHM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifton–Pohl torus, Clifton–Pohl torus (definition). Also Wikidata Q5133156
History
- 2026-11-02: add by m2/dev
Bell II, British Columbia FWD875RQ41
| URI | m2://inv/FWD875RQ41 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#XWIM, Bell II, British Columbia (unknown)
History
- 2026-11-02: add by m2/dev
normal mode of oscillation FWD9TMMVB0
| URI | m2://inv/FWD9TMMVB0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.6.2/normal-mode-of-oscillation, normal mode of oscillation (concept). In E9HS8K3A52, index, section 10.6.2
History
- 2026-11-01: add by m2/v0.6.13
Gale duality FWDCBFSR2C
| URI | m2://inv/FWDCBFSR2C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13291#0X7Y, Gale duality (statement). In D16PSAVVWV/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Example FWDDEYZT0C
| URI | m2://inv/FWDDEYZT0C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete topological vector space#5E9Z, Example (example)
History
- 2026-11-02: add by m2/dev
FWDEF1DW8S FWDEF1DW8S
| URI | m2://inv/FWDEF1DW8S |
|---|---|
| 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.36827#SALI (statement). In VSHAQTB2CA/e1, theorem 7.1
History
- 2026-10-30: add by m2/v0.4.12
Properties FWDHYCB45E
| URI | m2://inv/FWDHYCB45E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex function#MU3B, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples FWDT7BPE7G
| URI | m2://inv/FWDT7BPE7G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite type invariant#0135, Examples (example)
History
- 2026-11-02: add by m2/dev
FWDVN88PS5 FWDVN88PS5
| URI | m2://inv/FWDVN88PS5 |
|---|---|
| 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.03288#K4YI (statement). In ZHP1MFSACN/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Carnot's theorem (inradius, circumradius) FWDWD62HT6
| URI | m2://inv/FWDWD62HT6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#4YBT, Carnot's theorem (inradius, circumradius) (statement)
History
- 2026-11-02: add by m2/dev
Christian Juel FWDZ05TP8D
| URI | m2://inv/FWDZ05TP8D |
|---|---|
| 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#P91K, Christian Juel (topic)
History
- 2026-11-02: add by m2/dev
J. Lynn Palmer FWDZ2EZRE8
| URI | m2://inv/FWDZ2EZRE8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#T0U9, J. Lynn Palmer (unknown)
History
- 2026-11-02: add by m2/dev
FWDZPVF47N FWDZPVF47N
| URI | m2://inv/FWDZPVF47N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03422#PSQ0 (statement). In SF88CM0957/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
FWEA8G3BM6 FWEA8G3BM6
| URI | m2://inv/FWEA8G3BM6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#Q3YV (statement). In B9EX6K51RD/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
Applications FWEABAC0CG
| URI | m2://inv/FWEABAC0CG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eulerian path#E29P, Applications (example)
History
- 2026-11-02: add by m2/dev
Hugh Lowell Montgomery FWECH85T9X
| URI | m2://inv/FWECH85T9X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hugh Lowell Montgomery, Hugh Lowell Montgomery (topic). Also Wikidata Q740818
History
- 2026-11-02: add by m2/dev
The Design of Experiments FWEH5KXY03
| URI | m2://inv/FWEH5KXY03 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Design of Experiments, The Design of Experiments (definition). Also Wikidata Q7729822
History
- 2026-11-02: add by m2/dev
FWEHWRMXE6 FWEHWRMXE6
| URI | m2://inv/FWEHWRMXE6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#B2B6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
FWEHX4WTRP FWEHX4WTRP
| URI | m2://inv/FWEHX4WTRP |
|---|---|
| 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.08042#8AC8 (statement). In SSEDAYK3CQ/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
Applications FWEKK7P884
| URI | m2://inv/FWEKK7P884 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perron–Frobenius theorem#JIXH, Applications (example)
History
- 2026-11-02: add by m2/dev
FWEPDET9YH FWEPDET9YH
| URI | m2://inv/FWEPDET9YH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28961#LMZD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formula and examples FWEPEPK4KG
| URI | m2://inv/FWEPEPK4KG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sorting number#VXLA, Formula and examples (example)
History
- 2026-11-02: add by m2/dev
MANCOVA FWETGHMB9R
| URI | m2://inv/FWETGHMB9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8YW5, MANCOVA (definition)
History
- 2026-11-02: add by m2/dev
Ziegler spectrum FWF3VWEYA4
| URI | m2://inv/FWF3VWEYA4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q48996495, Ziegler spectrum (unknown). Also nLab Ziegler spectrum
- wikipedia: Wikipedia Ziegler spectrum, Ziegler spectrum (definition). Also Wikidata Q48996495
History
- 2026-10-26: add by m2/dev
FWF92Z55RW FWF92Z55RW
| URI | m2://inv/FWF92Z55RW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31276#NDL3 (statement). In WYDHWYFRFK/e1, corollary 4.2
History
- 2026-10-31: add by m2/v0.5.6
Theoretical philosophy FWFB5Z7MKB
| URI | m2://inv/FWFB5Z7MKB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theoretical philosophy, Theoretical philosophy (topic). Also Wikidata Q2166096
History
- 2026-11-02: add by m2/dev
FWFFVDZE6W FWFFVDZE6W
| URI | m2://inv/FWFFVDZE6W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-1 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
Massimiliano Gubinelli FWFNVW88WF
| URI | m2://inv/FWFNVW88WF |
|---|---|
| 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#NNA6, Massimiliano Gubinelli (unknown)
History
- 2026-11-02: add by m2/dev
Alphabetum Kaldeorum FWFVTATK06
| URI | m2://inv/FWFVTATK06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alphabetum Kaldeorum, Alphabetum Kaldeorum (definition). Also Wikidata Q731132
History
- 2026-11-02: add by m2/dev
H\"older early-stopping error bound on the cube FWFWQA5DFY
| URI | m2://inv/FWFWQA5DFY |
|---|---|
| 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.05333#Q6Y1, H\"older early-stopping error bound on the cube (statement). In N37WKFTR7Q/e1, lemma G.1
History
- 2026-10-29: add by m2/v0.4.10
Reciprocal subslopes of maxima and minima FWFZQPRRNG
| URI | m2://inv/FWFZQPRRNG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#9WBF, Reciprocal subslopes of maxima and minima (statement). In KM3Q791JY0/e1, lemma 3.21
History
- 2026-10-27: add by m2/v0.4.2
Definition (1): Number of n-bead binary necklaces with beads of 2 colors where the colors may be swapped but turning over is not FWG16M3KVM
| URI | m2://inv/FWG16M3KVM |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100192992, Definition (1): Number of n-bead binary necklaces with beads of 2 colors where the colors may be swapped but turning over is not (object). Also OEIS A000013
History
- 2026-10-26: add by m2/dev
FWG1FSHZSR FWG1FSHZSR
| URI | m2://inv/FWG1FSHZSR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07280#DB4F (example). In 1FJKW4WGEN/e1, example 5.3
History
- 2026-10-29: add by m2/v0.4.10
FWG34PCGZX FWG34PCGZX
| URI | m2://inv/FWG34PCGZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27295#XU4U (statement)
History
- 2026-11-01: add by m2/v0.6.15
Evolutionary graph theory FWG38ZJ6RQ
| URI | m2://inv/FWG38ZJ6RQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evolutionary graph theory, Evolutionary graph theory (definition). Also Wikidata Q5418703
History
- 2026-11-02: add by m2/dev
FWG6ZPR40N FWG6ZPR40N
| URI | m2://inv/FWG6ZPR40N |
|---|---|
| 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.28597#6TBM (statement)
History
- 2026-11-01: add by m2/v0.6.15
FWGF5CEVXE FWGF5CEVXE
| URI | m2://inv/FWGF5CEVXE |
|---|---|
| Kind | example |
| 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.23871#ZJHW (example)
History
- 2026-11-02: add by m2/v0.6.17
FWGHJP86JY FWGHJP86JY
| URI | m2://inv/FWGHJP86JY |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#U48F (unknown). In QNBFHFZ3H0/e1, unknown
History
- 2026-10-28: add by m2/v0.4.2
knot FWH1RRV0W9
| URI | m2://inv/FWH1RRV0W9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q128822, knot (definition). Also ProofWiki Definition:Knot_(Unit_of_Measurement)
History
- 2026-10-26: add by m2/dev
Formal definition FWHEY5177W
| URI | m2://inv/FWHEY5177W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibered manifold#UOK0, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Generalizations FWHTZFTN2D
| URI | m2://inv/FWHTZFTN2D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dowling geometry#ILW4, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Corollary FWHZDTCE34
| URI | m2://inv/FWHZDTCE34 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological homomorphism#DQ26, Corollary (statement)
History
- 2026-11-02: add by m2/dev
FWHZZNMFYV FWHZZNMFYV
| URI | m2://inv/FWHZZNMFYV |
|---|---|
| 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.05784#YADY (statement). In 6NVP3YRWVA/e1, theorem 4.19
History
- 2026-10-29: add by m2/v0.4.10
Gifting And Investment Network FWJ3XEKS2H
| URI | m2://inv/FWJ3XEKS2H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pyramid scheme#SQ8R, Gifting And Investment Network (unknown)
History
- 2026-11-02: add by m2/dev
FWJ73P01W4 FWJ73P01W4
| URI | m2://inv/FWJ73P01W4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-basics.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
FWJ8E9ND2R FWJ8E9ND2R
| URI | m2://inv/FWJ8E9ND2R |
|---|---|
| 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.06875#5TK7 (statement). In ZDT5J9KQVQ/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
FWJC79Y4FZ FWJC79Y4FZ
| URI | m2://inv/FWJC79Y4FZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#JVRZ (statement). In CY1FE8W1ZW/e1, theorem 0.250
History
- 2026-10-27: add by m2/v0.3.5
FWJF1PXCBX FWJF1PXCBX
| URI | m2://inv/FWJF1PXCBX |
|---|---|
| Kind | definition |
| 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.34168#LWOP (definition). In 30YQV8N04M/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
Affine hardness with independent uniform auxiliary variables FWJF6QMBPE
| URI | m2://inv/FWJF6QMBPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#WYRB, Affine hardness with independent uniform auxiliary variables (statement). In ZZER8ZBSCR/e1, theorem A.4
History
- 2026-10-29: add by m2/v0.4.12
FWJKZ31AZ1 FWJKZ31AZ1
| URI | m2://inv/FWJKZ31AZ1 |
|---|---|
| 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.05486#NIWW (statement). In 5Z46AK2XTC/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
FWJSJ8KM4R FWJSJ8KM4R
| URI | m2://inv/FWJSJ8KM4R |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0902.4012#SNBJ (problem). In 6FH16YESRH/e1, problem 1
History
- 2026-10-27: add by m2/v0.3.5
FWJWX60ZQP FWJWX60ZQP
| URI | m2://inv/FWJWX60ZQP |
|---|---|
| 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 2203.15223#J19E (statement). In HSY17Q75DM/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Arguments for and against the continuum hypothesis FWJYC5AXQ6
| URI | m2://inv/FWJYC5AXQ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuum hypothesis#J2Z3, Arguments for and against the continuum hypothesis (statement)
History
- 2026-11-02: add by m2/dev
FWK0V4QF14 FWK0V4QF14
| URI | m2://inv/FWK0V4QF14 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example-10 (example). In VNMV985MXX, example, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Numerical methods for linear least squares FWK2PD8HF4
| URI | m2://inv/FWK2PD8HF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical methods for linear least squares, Numerical methods for linear least squares (definition). Also Wikidata Q55627115
History
- 2026-11-02: add by m2/dev
Example FWK6SVRE0C
| URI | m2://inv/FWK6SVRE0C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse function rule#MA9A, Example (example)
History
- 2026-11-02: add by m2/dev
Definite conjugate forms without integrality FWK97X8BWQ
| URI | m2://inv/FWK97X8BWQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#XIN2, Definite conjugate forms without integrality (example)
History
- 2026-11-01: add by m2/v0.6.15
Meijer G-function FWK9X1VW4Z
| URI | m2://inv/FWK9X1VW4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Meijer G-function 19JNNN5KV7 |
Mentions
- wikidata: Wikidata Q1917756, Meijer G-function (unknown). Also MathWorld MeijerG-Function
- wikipedia: Wikipedia Meijer G-function, Meijer G-function (definition). Also Wikidata Q1917756
History
- 2026-10-26: add by m2/dev
Uniform boundedness rough estimate FWKF138TD7
| URI | m2://inv/FWKF138TD7 |
|---|---|
| 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.24185#CU9G, Uniform boundedness rough estimate (statement)
History
- 2026-11-01: add by m2/v0.6.15
Richard S. Varga FWKNA7M9C5
| URI | m2://inv/FWKNA7M9C5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of operator splitting topics#FFDC, Richard S. Varga (topic)
History
- 2026-11-02: add by m2/dev
projective FWKRTKD8GW
| URI | m2://inv/FWKRTKD8GW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#6WO2, projective (definition)
History
- 2026-11-02: add by m2/dev
FWKWXD23HH FWKWXD23HH
| URI | m2://inv/FWKWXD23HH |
|---|---|
| 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#68ZE (statement). In 7V3HG30ZGW/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.4.0
Morita equivalence FWKYMY6S69
| URI | m2://inv/FWKYMY6S69 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Morita equivalence RD5WKA1VK7 |
Mentions
- wikidata: Wikidata Q6912366, Morita equivalence (unknown). Also nLab Morita equivalence
- wikipedia: Wikipedia Morita equivalence, Morita equivalence (definition). Also Wikidata Q6912366
History
- 2026-10-26: add by m2/dev
FWM41G68BX FWM41G68BX
| URI | m2://inv/FWM41G68BX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/numfield.tex#proposition-2 (statement). In RZP28ERRZV, proposition, section 16.2
History
- 2026-11-01: add by m2/v0.6.13
FWMJA59WH1 FWMJA59WH1
| URI | m2://inv/FWMJA59WH1 |
|---|---|
| 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.32903#GF0T (statement). In S8NB83KQX3/e1, lemma 1
History
- 2026-10-31: add by m2/v0.5.6
FWN2AA4WJJ FWN2AA4WJJ
| URI | m2://inv/FWN2AA4WJJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 62.5
History
- 2026-11-01: add by m2/v0.6.13
$H^1_0$--controllability, $n=2,3$ FWN2WX9AQR
| URI | m2://inv/FWN2WX9AQR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11968#OSPU, $H^1_0$--controllability, $n=2,3$ (statement). In X6E7P2ACAS/e1, proposition 3.9
History
- 2026-10-28: add by m2/v0.4.3
Affine minimax rate under SGC FWN3PXA9KA
| URI | m2://inv/FWN3PXA9KA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#RPO4, Affine minimax rate under SGC (statement). In X5BYGZZHPF/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
FWN6KDAGX2 FWN6KDAGX2
| URI | m2://inv/FWN6KDAGX2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33027#LLIM (statement). In E2AF84709B/e1, theorem 30
History
- 2026-10-31: add by m2/v0.5.6
FWNACAW656 FWNACAW656
| URI | m2://inv/FWNACAW656 |
|---|---|
| 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.12013#OATE (statement). In 3V26T0265C/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.3
Sudakov minoration FWNENFAV9J
| URI | m2://inv/FWNENFAV9J |
|---|---|
| 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.19908#59BC, Sudakov minoration (statement)
History
- 2026-11-02: add by m2/v0.6.18
FWNHM5ZKJ5 FWNHM5ZKJ5
| URI | m2://inv/FWNHM5ZKJ5 |
|---|---|
| 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.31269#9MLE (statement). In ZPT9XCCAPQ/e1, lemma A.0.3
History
- 2026-10-31: add by m2/v0.5.6
Examples FWNK7EDE12
| URI | m2://inv/FWNK7EDE12 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraically closed field#XGKI, Examples (example)
History
- 2026-11-02: add by m2/dev
Intersection graph conjecture FWNKJQXX4C
| URI | m2://inv/FWNKJQXX4C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#ULTF, Intersection graph conjecture (unknown)
History
- 2026-11-02: add by m2/dev
M-estimator FWNQPVY1ZZ
| URI | m2://inv/FWNQPVY1ZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | M-estimator 4503R8BVF8 |
Mentions
- wikidata: Wikidata Q475208, M-estimator (unknown). Also MathWorld M-Estimate
- wikipedia: Wikipedia M-estimator, M-estimator (definition). Also Wikidata Q475208
History
- 2026-10-26: add by m2/dev
Timeline of calculus and mathematical analysis FWP2R9F5T5
| URI | m2://inv/FWP2R9F5T5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Timeline of calculus and mathematical analysis, Timeline of calculus and mathematical analysis (topic). Also Wikidata Q16000506
History
- 2026-11-02: add by m2/dev
Universal hyperbolic trigonometry FWPBJCP5M2
| URI | m2://inv/FWPBJCP5M2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#3KSM, Universal hyperbolic trigonometry (definition)
History
- 2026-11-02: add by m2/dev
Conjugacy problem FWPRM47CJN
| URI | m2://inv/FWPRM47CJN |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugacy problem, Conjugacy problem (problem). Also Wikidata Q5161137
History
- 2026-11-02: add by m2/dev
FWPSE8QBG1 FWPSE8QBG1
| URI | m2://inv/FWPSE8QBG1 |
|---|---|
| Kind | example |
| 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 2011.08789#GG7K (example). In 43AGRMP7T3/e1, example 2.3
History
- 2026-10-27: add by m2/v0.3.5
FWPVQWS72N FWPVQWS72N
| URI | m2://inv/FWPVQWS72N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.10963#IF3N (statement). In F32XWYWG8E/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
BLAS FWPWQFZ6A6
| URI | m2://inv/FWPWQFZ6A6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#1G80, BLAS (unknown)
History
- 2026-11-02: add by m2/dev
FWQ1TJD5SX FWQ1TJD5SX
| URI | m2://inv/FWQ1TJD5SX |
|---|---|
| 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 0809.0068#LXP7 (statement). In MBKYGM01FK/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.3.5
Algebraic Riccati equation FWQ3B5K79S
| URI | m2://inv/FWQ3B5K79S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic Riccati equation, Algebraic Riccati equation (definition). Also Wikidata Q4723989
History
- 2026-11-02: add by m2/dev
Construction FWQ4P0JKDM
| URI | m2://inv/FWQ4P0JKDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter complex#8U81, Construction (definition)
History
- 2026-11-02: add by m2/dev
A¹ homotopy theory FWQKCG0XGY
| URI | m2://inv/FWQKCG0XGY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#JDU4, A¹ homotopy theory (definition)
History
- 2026-11-02: add by m2/dev
FWQVF73D9J FWQVF73D9J
| URI | m2://inv/FWQVF73D9J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-25 (exercise). In VNMV985MXX, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Divergence FWR29NXYMA
| URI | m2://inv/FWR29NXYMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#P2HK, Divergence (statement)
History
- 2026-11-01: add by m2/v0.6.15
Abe Gelbart FWR748VXPX
| URI | m2://inv/FWR748VXPX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abe Gelbart, Abe Gelbart (topic). Also Wikidata Q11100642
History
- 2026-11-02: add by m2/dev
FWR9RBDHWC FWR9RBDHWC
| URI | m2://inv/FWR9RBDHWC |
|---|---|
| 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.11772#BWO1 (statement). In 2GW9HYGZ8S/e1, corollary 3.1
History
- 2026-10-28: add by m2/v0.4.3
Linear functional FWRCHEW1SB
| URI | m2://inv/FWRCHEW1SB |
|---|---|
| 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.37074#O33I, Linear functional (definition). In VTNV72MCVD/e1, definition 4.5
History
- 2026-10-30: add by m2/v0.4.12
FWRS46FZ49 FWRS46FZ49
| URI | m2://inv/FWRS46FZ49 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#2BF0 (statement). In 3A4K47Y9F2/e1, theorem 4.10
History
- 2026-10-27: add by m2/v0.4.0
FWRTFBXC27 FWRTFBXC27
| URI | m2://inv/FWRTFBXC27 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.06319#0VUI (statement). In 48AVW2CYCR/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.6
Rate FWRY9QSEQY
| URI | m2://inv/FWRY9QSEQY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate (mathematics), Rate (definition). Also Wikidata Q1144560
History
- 2026-11-02: add by m2/dev
FWS7J1JDWV FWS7J1JDWV
| URI | m2://inv/FWS7J1JDWV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompleteInduction.tex#theorem-2 (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
FWS7XPN2CP FWS7XPN2CP
| URI | m2://inv/FWS7XPN2CP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28803#EYQT (example)
History
- 2026-11-01: add by m2/v0.6.15
FWSBF5CM4H FWSBF5CM4H
| URI | m2://inv/FWSBF5CM4H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#ex:ntype-from-nconn-const (exercise). In N54F33XE07, ex, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
FWSDGWR4FP FWSDGWR4FP
| URI | m2://inv/FWSDGWR4FP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/lukasiewicz.tex#mvl:thr:luk:prob:luk-iff (exercise). In PKGMM3P5QY, prob, section 42.5
History
- 2026-11-01: add by m2/v0.6.13
FWSDXYEV6A FWSDXYEV6A
| URI | m2://inv/FWSDXYEV6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39659#C409 (statement). In BGVX27ZP22/e1, corollary 2.4
History
- 2026-10-30: add by m2/v0.4.12
Neal Koblitz FWSE6V55TT
| URI | m2://inv/FWSE6V55TT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neal Koblitz, Neal Koblitz (topic). Also Wikidata Q931472
History
- 2026-11-02: add by m2/dev
FWSJQNCG77 FWSJQNCG77
| URI | m2://inv/FWSJQNCG77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#IP1W (statement). In V7SN19J84T/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
Constructions FWSKCFCJGE
| URI | m2://inv/FWSKCFCJGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-4 octagonal tiling#VO6D, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Examples FWSTPXJCGX
| URI | m2://inv/FWSTPXJCGX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-order#T1OF, Examples (example)
History
- 2026-11-02: add by m2/dev
Proposition 5 FWSWW15G9H
| URI | m2://inv/FWSWW15G9H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geiringer–Laman theorem#8A7C, Proposition 5 (statement)
History
- 2026-11-02: add by m2/dev
Definition FWT15KZ1HG
| URI | m2://inv/FWT15KZ1HG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neighbourhood components analysis#LPD7, Definition (definition)
History
- 2026-11-02: add by m2/dev
FWT2EH03X4 FWT2EH03X4
| URI | m2://inv/FWT2EH03X4 |
|---|---|
| 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.01737#EIFJ (statement). In M4JGP708F4/e1, fact 4.28
History
- 2026-10-29: add by m2/v0.4.12
FWT4NQE352 FWT4NQE352
| URI | m2://inv/FWT4NQE352 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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 math/0512416#HV08 (statement). In WJD9YPGGYH/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
Generalizations FWT4WDXVBV
| URI | m2://inv/FWT4WDXVBV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's identity#8NLZ, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
FWT5N9G3MB FWT5N9G3MB
| URI | m2://inv/FWT5N9G3MB |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#9PFL (unknown). In QNBFHFZ3H0/e1, unknown 59
History
- 2026-10-28: add by m2/v0.4.2
Orbit capacity FWT7MYD8TC
| URI | m2://inv/FWT7MYD8TC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbit capacity, Orbit capacity (definition). Also Wikidata Q42417872
History
- 2026-11-02: add by m2/dev
Logarithmic pair FWT83VGD5G
| URI | m2://inv/FWT83VGD5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmic pair, Logarithmic pair (definition). Also Wikidata Q6667314
History
- 2026-11-02: add by m2/dev
FWT9HR7Y01 FWT9HR7Y01
| URI | m2://inv/FWT9HR7Y01 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26191#PZQR (statement)
History
- 2026-11-01: add by m2/v0.6.15
loop space, iterated FWTQC29KA7
| URI | m2://inv/FWTQC29KA7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.4/loop-space-iterated, loop space, iterated (concept). In N54F33XE07, index, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
Gaussian binomial coefficient FWTSVQA094
| URI | m2://inv/FWTSVQA094 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#K97N, Gaussian binomial coefficient (definition)
History
- 2026-11-02: add by m2/dev
FWV2NK6G67 FWV2NK6G67
| URI | m2://inv/FWV2NK6G67 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#VNVP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Emden–Chandrasekhar equation FWV2YQ34P2
| URI | m2://inv/FWV2YQ34P2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#CTGC, Emden–Chandrasekhar equation (definition)
History
- 2026-11-02: add by m2/dev
FWV633HHM3 FWV633HHM3
| URI | m2://inv/FWV633HHM3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#prop-3 (statement). In E59CDZA4DP, prop, section 5.4.1
History
- 2026-11-01: add by m2/v0.6.13
FWVD3MDA04 FWVD3MDA04
| URI | m2://inv/FWVD3MDA04 |
|---|---|
| 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.06108#L671 (statement). In D3WKY1PW64/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
FWVWASQEFB FWVWASQEFB
| URI | m2://inv/FWVWASQEFB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-81 (exercise). In VNMV985MXX, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Quatro Barras FWVYC49H2E
| URI | m2://inv/FWVYC49H2E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#VB0S, Quatro Barras (unknown)
History
- 2026-11-02: add by m2/dev
FWW8PT95Z8 FWW8PT95Z8
| URI | m2://inv/FWW8PT95Z8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#OU7S (statement). In 68AE571S4P/e1, proposition 1.1
History
- 2026-10-29: add by m2/v0.4.10
physical quantity FWW9WYGKYW
| URI | m2://inv/FWW9WYGKYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q107715, physical quantity (definition). Also ProofWiki Definition:Physical_Quantity
History
- 2026-10-26: add by m2/dev
sampling FWWBGJJ2NX
| URI | m2://inv/FWWBGJJ2NX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q49908, sampling (unknown). Also MathWorld Sampling
- wikipedia: Wikipedia Sampling (statistics), Sampling (definition). Also Wikidata Q49908
History
- 2026-10-26: add by m2/dev
Vienna FWWDAANVD2
| URI | m2://inv/FWWDAANVD2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#AOHV, Vienna (unknown)
History
- 2026-11-02: add by m2/dev
Definition of Friedrichs extension FWWFRRBJ45
| URI | m2://inv/FWWFRRBJ45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedrichs extension#LGL8, Definition of Friedrichs extension (definition)
History
- 2026-11-02: add by m2/dev
word FWWJ3J3XRF
| URI | m2://inv/FWWJ3J3XRF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10944557, word (concept). Also MathWorld Word
- wikipedia: Wikipedia Word (group theory), Word (definition). Also Wikidata Q10944557
History
- 2026-10-26: add by m2/dev
FWWVEQDAEZ FWWVEQDAEZ
| URI | m2://inv/FWWVEQDAEZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17565#TTEK (example). In C422901XCN/e1, example 4.8
History
- 2026-10-28: add by m2/v0.4.2
Legendre's differential equation FWWVZAWEMS
| URI | m2://inv/FWWVZAWEMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#XF0E, Legendre's differential equation (definition)
History
- 2026-11-02: add by m2/dev
FWX6CGYAHK FWX6CGYAHK
| URI | m2://inv/FWX6CGYAHK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11002#J57N (statement). In P55JSAYR3T/e1, lemma
History
- 2026-10-28: add by m2/v0.4.3
FWX80EG0CW FWX80EG0CW
| URI | m2://inv/FWX80EG0CW |
|---|---|
| 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.11905#AUZJ (statement). In QQFXT31CA5/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.3
FWXEP8WT85 FWXEP8WT85
| URI | m2://inv/FWXEP8WT85 |
|---|---|
| Kind | example |
| 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#SFBA (example). In DDA62XQTWW/e1, example 2.6
History
- 2026-10-27: add by m2/v0.3.5
Extinction criterion FWXEWPGCAD
| URI | m2://inv/FWXEWPGCAD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galton–Watson process#ACN2, Extinction criterion (statement)
History
- 2026-11-02: add by m2/dev
Hawkes process FWXR3SCW1Y
| URI | m2://inv/FWXR3SCW1Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#W18Q, Hawkes process (definition)
- wikipedia: Wikipedia List of probability topics#JO7O, Hawkes process (definition)
History
- 2026-11-02: add by m2/dev
Nonlocal NTK: existence, nullspace, and rank FWXSNR64V8
| URI | m2://inv/FWXSNR64V8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#HXRL, Nonlocal NTK: existence, nullspace, and rank (statement). In 6FY8BVP1F3/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
The finite ring reduction FWXTAPTEH1
| URI | m2://inv/FWXTAPTEH1 |
|---|---|
| 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#4XGO, The finite ring reduction (statement). In E7W2HDNEKJ/e1, proposition 2.7
History
- 2026-10-30: add by m2/v0.4.12
Iterated cotangent-difference integral FWXTJMZ3S3
| URI | m2://inv/FWXTJMZ3S3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04214#RP2L, Iterated cotangent-difference integral (definition). In HWY7AQ4KT2/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.12
FWYJPECNM6 FWYJPECNM6
| URI | m2://inv/FWYJPECNM6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21540#8L7Z (statement)
History
- 2026-11-02: add by m2/v0.6.18
Direct isometry FWYK3QFFEG
| URI | m2://inv/FWYK3QFFEG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean group#LSSO, Direct isometry (unknown)
History
- 2026-11-02: add by m2/dev
The Chernoff--Stein exponent of an \evar FWYND6MPA1
| URI | m2://inv/FWYND6MPA1 |
|---|---|
| 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#IXV5, The Chernoff--Stein exponent of an \evar (definition)
History
- 2026-11-01: add by m2/v0.6.15
FWYQGG20ZY FWYQGG20ZY
| URI | m2://inv/FWYQGG20ZY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.19729#SM36 (statement). In 40YZ43TS8K/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
FWYZGQ3EX3 FWYZGQ3EX3
| URI | m2://inv/FWYZGQ3EX3 |
|---|---|
| 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.01731#1GUW (statement). In 3TJ2FWXQ0D/e1, theorem 4.8
History
- 2026-10-29: add by m2/v0.4.12
FWZATPRH2C FWZATPRH2C
| URI | m2://inv/FWZATPRH2C |
|---|---|
| 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 2411.07596#YMSS (statement). In 4SFRNADV8F/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.5
FWZEMS6910 FWZEMS6910
| URI | m2://inv/FWZEMS6910 |
|---|---|
| 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 math/0411039#DNUP (statement). In ZTBDXSKFFW/e1, corollary 9.6
History
- 2026-10-27: add by m2/v0.3.5
Cevian triangle FWZPXWNCKW
| URI | m2://inv/FWZPXWNCKW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2043611, Cevian triangle (unknown). Also MathWorld CevianTriangle
History
- 2026-10-26: add by m2/dev
FWZTFQXJ27 FWZTFQXJ27
| URI | m2://inv/FWZTFQXJ27 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19326#XIAO (statement). In YFWDHG947Q/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2