Inventory rows KZ
The cards of the rows of the inventory whose ids start with KZ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
10th-degree equation KZ0113P78G
| URI | m2://inv/KZ0113P78G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degree of a polynomial#YL04, 10th-degree equation (unknown)
History
- 2026-11-02: add by m2/dev
Integer KZ02W9YT7H
| URI | m2://inv/KZ02W9YT7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#JNBG, Integer (definition)
History
- 2026-11-02: add by m2/dev
Correlation KZ0V1SN6FN
| URI | m2://inv/KZ0V1SN6FN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7OT4, Correlation (definition)
- wikipedia: Wikipedia List of probability topics#H94C, Correlation (definition)
History
- 2026-11-02: add by m2/dev
Tarski–Grothendieck set theory KZ0YR7RT89
| URI | m2://inv/KZ0YR7RT89 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3984085, Tarski–Grothendieck set theory (definition). Also ProofWiki Definition:Tarski-Grothendieck_Set_Theory
- wikipedia: Wikipedia Tarski–Grothendieck set theory, Tarski–Grothendieck set theory (definition). Also Wikidata Q3984085
History
- 2026-10-26: add by m2/dev
KZ13MZGH0V KZ13MZGH0V
| URI | m2://inv/KZ13MZGH0V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07790#ZBCW (statement). In A5YJDDM0NX/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
Trivial frames in amplified corners KZ1CZSWEXJ
| URI | m2://inv/KZ1CZSWEXJ |
|---|---|
| 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#NTW9, Trivial frames in amplified corners (statement). In 9CS15SV662/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.3
What the verification establishes KZ1MEXTDYC
| URI | m2://inv/KZ1MEXTDYC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#GNHV, What the verification establishes (statement)
History
- 2026-11-01: add by m2/v0.6.15
Medoid KZ1PGKCKRJ
| URI | m2://inv/KZ1PGKCKRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MZWO, Medoid (definition)
History
- 2026-11-02: add by m2/dev
Method of simulated moments KZ1TMJNNBD
| URI | m2://inv/KZ1TMJNNBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JAPQ, Method of simulated moments (definition)
History
- 2026-11-02: add by m2/dev
Mardia, Kantilal KZ1ZHVVV33
| URI | m2://inv/KZ1ZHVVV33 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#3KTO, Mardia, Kantilal (unknown)
History
- 2026-11-02: add by m2/dev
KZ1ZTEQ77J KZ1ZTEQ77J
| URI | m2://inv/KZ1ZTEQ77J |
|---|---|
| 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.23093#G4M7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Queueing theory KZ1ZXA320C
| URI | m2://inv/KZ1ZXA320C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#VPRM, Queueing theory (definition)
- wikipedia: Wikipedia List of statistics articles#KMCR, Queueing theory (definition)
- wikipedia: Wikipedia List of probability topics#E7K8, Queueing theory (definition)
History
- 2026-11-02: add by m2/dev
universal property KZ24Z55T6Y
| URI | m2://inv/KZ24Z55T6Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.2/universal-property, universal property (concept). In N54F33XE07, index, section 8.2
History
- 2026-11-01: add by m2/v0.6.13
KZ29T2M49Q KZ29T2M49Q
| URI | m2://inv/KZ29T2M49Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#APN1 (statement). In RZWJ0AT8W5/e1, theorem 5.1
History
- 2026-10-31: add by m2/v0.5.6
Connector-free lemma (Bapat) KZ2A0234D6
| URI | m2://inv/KZ2A0234D6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knaster–Kuratowski–Mazurkiewicz lemma#2R9L, Connector-free lemma (Bapat) (statement)
History
- 2026-11-02: add by m2/dev
KZ2A668ZYE KZ2A668ZYE
| URI | m2://inv/KZ2A668ZYE |
|---|---|
| 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.05216#Z4X6 (statement). In J1VCHM6V0S/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.10
Location of $t_j$, Gaussian regime KZ2ATC375M
| URI | m2://inv/KZ2ATC375M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17479#LLC2, Location of $t_j$, Gaussian regime (statement). In 4FWAY748N7/e1, lemma 4.9
History
- 2026-10-28: add by m2/v0.4.2
Examples KZ2DGKBZ6M
| URI | m2://inv/KZ2DGKBZ6M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ambiguous grammar#1GYB, Examples (example)
History
- 2026-11-02: add by m2/dev
Self-verifying theories KZ2NQCZVVN
| URI | m2://inv/KZ2NQCZVVN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-verifying theories, Self-verifying theories (definition). Also Wikidata Q7448234
History
- 2026-11-02: add by m2/dev
Notation KZ2RMNC3CD
| URI | m2://inv/KZ2RMNC3CD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia If and only if#ZNA2, Notation (definition)
History
- 2026-11-02: add by m2/dev
KZ2S03FS4V KZ2S03FS4V
| URI | m2://inv/KZ2S03FS4V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompleteInduction.tex#problem-2 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
KZ2S5SQTAX KZ2S5SQTAX
| URI | m2://inv/KZ2S5SQTAX |
|---|---|
| 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.40355#ZM8C (statement). In SBP98GWKC8/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
KZ2W6HABSB KZ2W6HABSB
| URI | m2://inv/KZ2W6HABSB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19333#ONBD (definition). In 5Y3HF693YB/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
KZ2X31HN7C KZ2X31HN7C
| URI | m2://inv/KZ2X31HN7C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.09700#T7E3 (statement). In XCSQ27P0XW/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.4.0
Spacing effect KZ342MS104
| URI | m2://inv/KZ342MS104 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spacing effect, Spacing effect (definition). Also Wikidata Q1095859
History
- 2026-11-02: add by m2/dev
Example KZ34S74B3X
| URI | m2://inv/KZ34S74B3X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modularity theorem#QU5J, Example (example)
History
- 2026-11-02: add by m2/dev
KZ36FZG551 KZ36FZG551
| URI | m2://inv/KZ36FZG551 |
|---|---|
| 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 2604.10080#YY32 (statement). In KM2FWKP93A/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.4.0
Differential Galois theory KZ39WTMJY0
| URI | m2://inv/KZ39WTMJY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#I9NF, Differential Galois theory (definition)
History
- 2026-11-02: add by m2/dev
stable vector bundle KZ3B3JDF8R
| URI | m2://inv/KZ3B3JDF8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Stable vector bundle RQRJ5H4Y3E |
Mentions
- wikidata: Wikidata Q2325488, stable vector bundle (unknown). Also nLab stable vector bundle
- wikipedia: Wikipedia Stable vector bundle, Stable vector bundle (definition). Also Wikidata Q2325488
History
- 2026-10-26: add by m2/dev
KZ3B4RVM5M KZ3B4RVM5M
| URI | m2://inv/KZ3B4RVM5M |
|---|---|
| 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#J5JP (example). In DDA62XQTWW/e1, example 3.2
History
- 2026-10-27: add by m2/v0.3.5
KZ3ES16T0C KZ3ES16T0C
| URI | m2://inv/KZ3ES16T0C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-6-3-3.xml#act-6-3-3 (exercise). In 907G4C4EJ1, activity, section 6.3.4
History
- 2026-11-01: add by m2/v0.6.13
KZ3HS8YNT1 KZ3HS8YNT1
| URI | m2://inv/KZ3HS8YNT1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08074#362O (statement). In ZRPYF750AV/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
KZ3PW1TYGG KZ3PW1TYGG
| URI | m2://inv/KZ3PW1TYGG |
|---|---|
| Kind | problem |
| 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.10949#CFCR (problem). In ANP2XNAH91/e1, problem 3
History
- 2026-10-28: add by m2/v0.4.3
Generalizations KZ3VY3XNJ4
| URI | m2://inv/KZ3VY3XNJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy–Riemann equations#8U4Z, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
KZ3YXNK55G KZ3YXNK55G
| URI | m2://inv/KZ3YXNK55G |
|---|---|
| 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 2610.12633#GP2V (statement). In NGZ5AZ70NN/e1, proposition 4.11
History
- 2026-10-28: add by m2/v0.4.2
KZ40HW9BET KZ40HW9BET
| URI | m2://inv/KZ40HW9BET |
|---|---|
| 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.12330#E5KP (statement). In XHSKEPT3VD/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
KZ47YETWYJ KZ47YETWYJ
| URI | m2://inv/KZ47YETWYJ |
|---|---|
| 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.04660#FR6F (statement). In 8ABKBS4H0N/e1, corollary 4.3
History
- 2026-10-29: add by m2/v0.4.12
Divisible KZ48Z8J81M
| URI | m2://inv/KZ48Z8J81M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#FHMO, Divisible (definition)
History
- 2026-11-02: add by m2/dev
Properties KZ4BPNQXPC
| URI | m2://inv/KZ4BPNQXPC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fitting ideal#Y8D9, Properties (statement)
History
- 2026-11-02: add by m2/dev
KZ4E3WZ80V KZ4E3WZ80V
| URI | m2://inv/KZ4E3WZ80V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19791#CB8K (statement). In AVDB4KJ6XB/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
KZ4PB3HQG8 KZ4PB3HQG8
| URI | m2://inv/KZ4PB3HQG8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-32 (exercise). In E59CDZA4DP, exercise, section 3.4.2
History
- 2026-11-01: add by m2/v0.6.13
KZ4RH9QPXE KZ4RH9QPXE
| URI | m2://inv/KZ4RH9QPXE |
|---|---|
| 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.19694#5UY6 (statement). In EP0M4RSZ9P/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
KZ4S5Q0A46 KZ4S5Q0A46
| URI | m2://inv/KZ4S5Q0A46 |
|---|---|
| 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.10937#G58H (definition). In 6VVK3YTABP/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.3
KZ50TBN7B8 KZ50TBN7B8
| URI | m2://inv/KZ50TBN7B8 |
|---|---|
| Kind | definition |
| 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 2309.01359#M66B (definition). In BFV19FC2G7/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
KZ52F91SXH KZ52F91SXH
| URI | m2://inv/KZ52F91SXH |
|---|---|
| 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 1804.06366#KSKU (definition). In 89XYDVXG38/e1, definition 3.6
History
- 2026-10-27: add by m2/v0.3.5
Linda Preiss Rothschild KZ586RRZHH
| URI | m2://inv/KZ586RRZHH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#QUJ3, Linda Preiss Rothschild (topic)
History
- 2026-11-02: add by m2/dev
Jon Barwise KZ58BHVTM7
| URI | m2://inv/KZ58BHVTM7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#9EM3, Jon Barwise (topic)
History
- 2026-11-02: add by m2/dev
positive-semidefinite quadratic form KZ5C43DVJZ
| URI | m2://inv/KZ5C43DVJZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77594945, positive-semidefinite quadratic form (unknown). Also MathWorld PositiveSemidefiniteQuadraticForm
History
- 2026-10-26: add by m2/dev
Schubert calculus KZ5CCJR19P
| URI | m2://inv/KZ5CCJR19P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Schubert calculus FWGHMADJR4 |
Mentions
- wikidata: Wikidata Q7432936, Schubert calculus (topic). Also nLab Schubert calculus
- wikipedia: Wikipedia Schubert calculus, Schubert calculus (topic). Also Wikidata Q7432936
History
- 2026-10-26: add by m2/dev
Definitions KZ5F8RKRPD
| URI | m2://inv/KZ5F8RKRPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Word (group theory)#CNWY, Definitions (definition)
History
- 2026-11-02: add by m2/dev
KZ5MHT69CJ KZ5MHT69CJ
| URI | m2://inv/KZ5MHT69CJ |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#L474 (conjecture). In MS7M2BJS9X/e1, conjecture 4.22
History
- 2026-10-29: add by m2/v0.4.10
KZ5QDQ7YD2 KZ5QDQ7YD2
| URI | m2://inv/KZ5QDQ7YD2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17139#U7E7 (statement). In AQWX60Z563/e1, proposition 4.19
History
- 2026-10-28: add by m2/v0.4.2
Van der Waerden number KZ5T35M6X1
| URI | m2://inv/KZ5T35M6X1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#GR3Y, Van der Waerden number (definition)
History
- 2026-11-02: add by m2/dev
KZ5XD107SY KZ5XD107SY
| URI | m2://inv/KZ5XD107SY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#YL6U (definition). In BSWNH3NW1M/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.0
Seven Valleys, Pennsylvania KZ60TW4WJM
| URI | m2://inv/KZ60TW4WJM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#FLA8, Seven Valleys, Pennsylvania (unknown)
History
- 2026-11-02: add by m2/dev
KZ67Y2VAQR KZ67Y2VAQR
| URI | m2://inv/KZ67Y2VAQR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2609.32535#2ONV (statement). In WF27F8CKD2/e1, lemma 2.5
History
- 2026-10-31: add by m2/v0.5.6
KZ6BP4T13P KZ6BP4T13P
| URI | m2://inv/KZ6BP4T13P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37439#I5T1 (statement). In 8K7D3FKJDT/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Clara Grima Ruiz KZ6D15C14S
| URI | m2://inv/KZ6D15C14S |
|---|---|
| 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#VSWV, Clara Grima Ruiz (unknown)
History
- 2026-11-02: add by m2/dev
Large odd parts KZ6DBKCBFQ
| URI | m2://inv/KZ6DBKCBFQ |
|---|---|
| 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.14509#GI8M, Large odd parts (statement). In N6GD8392QB/e1, proposition 18.3
History
- 2026-10-28: add by m2/v0.4.2
Angela Slavova KZ6FHDE1YN
| URI | m2://inv/KZ6FHDE1YN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angela Slavova, Angela Slavova (topic). Also Wikidata Q64358876
History
- 2026-11-02: add by m2/dev
Definition KZ6JGQ7ZYT
| URI | m2://inv/KZ6JGQ7ZYT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean domain#SMHH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Algorithm KZ6W6E8FGR
| URI | m2://inv/KZ6W6E8FGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Big M method#DX7G, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
KZ6XHS0G7Q KZ6XHS0G7Q
| URI | m2://inv/KZ6XHS0G7Q |
|---|---|
| Kind | statement |
| 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 2610.18302#GB8T (statement). In VJTRH1S4JA/e1, theorem 3.17
History
- 2026-10-28: add by m2/v0.4.2
Uvarov case KZ78B0K8SC
| URI | m2://inv/KZ78B0K8SC |
|---|---|
| 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.25060#MNEF, Uvarov case (statement)
History
- 2026-11-01: add by m2/v0.6.15
Inverse second KZ78YV0BMR
| URI | m2://inv/KZ78YV0BMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse second, Inverse second (definition). Also Wikidata Q6137407
History
- 2026-11-02: add by m2/dev
Flux formulas KZ7E31X9XR
| URI | m2://inv/KZ7E31X9XR |
|---|---|
| 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.39790#45NY, Flux formulas (statement). In C2C9GTQFYF/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
KZ7SXNSN3N KZ7SXNSN3N
| URI | m2://inv/KZ7SXNSN3N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#DE3S (statement). In Y1DR0DPWD0/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
Boundary symmetry and ellipticity KZ85EN66VB
| URI | m2://inv/KZ85EN66VB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.03745#IWRE, Boundary symmetry and ellipticity (statement). In YWXVX6AX8F/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.12
KZ85WT5SXM KZ85WT5SXM
| URI | m2://inv/KZ85WT5SXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.03601#G5R7 (statement). In F7TDYCHCSE/e1, proposition 8.7
History
- 2026-10-27: add by m2/v0.3.5
Algorithm KZ886WSY7V
| URI | m2://inv/KZ886WSY7V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cycle (graph theory)#UTD3, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
error equivalence for the PDE-balanced formulation KZ8CYBN9PN
| URI | m2://inv/KZ8CYBN9PN |
|---|---|
| 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.08016#X75L, error equivalence for the PDE-balanced formulation (statement). In YR3CSTYEJW/e1, theorem 7.8
History
- 2026-10-29: add by m2/v0.4.10
Gaussian and Radau rules KZ8E0RJ0AB
| URI | m2://inv/KZ8E0RJ0AB |
|---|---|
| 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.15421#ID1W, Gaussian and Radau rules (statement). In 3RBKH0DA74/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
KZ8HG9AYW4 KZ8HG9AYW4
| URI | m2://inv/KZ8HG9AYW4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-195 (exercise). In VNMV985MXX, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Sy Friedman KZ8QND8Y29
| URI | m2://inv/KZ8QND8Y29 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sy Friedman, Sy Friedman (topic). Also Wikidata Q700374
History
- 2026-11-02: add by m2/dev
KZ8QXHA8YE KZ8QXHA8YE
| URI | m2://inv/KZ8QXHA8YE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20916#4GS8 (statement). In HV598NZW9X/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
Rudolf Wille KZ8SQJE7HA
| URI | m2://inv/KZ8SQJE7HA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rudolf Wille, Rudolf Wille (topic). Also Wikidata Q91668
History
- 2026-11-02: add by m2/dev
KZ94F84XW0 KZ94F84XW0
| URI | m2://inv/KZ94F84XW0 |
|---|---|
| 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.33185#Z0YI (statement). In QX30H2WNA7/e1, proposition 7.1
History
- 2026-10-30: add by m2/v0.4.12
Riesz–Fischer KZ95Z53SZ1
| URI | m2://inv/KZ95Z53SZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#V3RB, Riesz–Fischer (definition)
History
- 2026-11-02: add by m2/dev
Signal analysis KZ96FKYFKY
| URI | m2://inv/KZ96FKYFKY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of harmonic analysis topics#Z0UG, Signal analysis (topic)
History
- 2026-11-02: add by m2/dev
Daniel Goodman KZ96T112FA
| URI | m2://inv/KZ96T112FA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Goodman, Daniel Goodman (topic). Also Wikidata Q22004605
History
- 2026-11-02: add by m2/dev
KZ96VR5R3B KZ96VR5R3B
| URI | m2://inv/KZ96VR5R3B |
|---|---|
| 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.15086#5HII (statement). In V60MVF3KQ1/e1, corollary 1.6
History
- 2026-10-28: add by m2/v0.4.2
De animalibus KZ97N5R4NH
| URI | m2://inv/KZ97N5R4NH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#G9ES, De animalibus (unknown)
History
- 2026-11-02: add by m2/dev
Existence and uniqueness KZ97Z4WTJ6
| URI | m2://inv/KZ97Z4WTJ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Initial and terminal objects#NFC8, Existence and uniqueness (statement)
History
- 2026-11-02: add by m2/dev
KZ9KMHJYV1 KZ9KMHJYV1
| URI | m2://inv/KZ9KMHJYV1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27931#TWA1 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Koszul duality KZ9WDFHSK0
| URI | m2://inv/KZ9WDFHSK0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Koszul duality 6AW49BZ8TM |
Mentions
- wikidata: Wikidata Q16981474, Koszul duality (concept). Also nLab Koszul duality
- wikipedia: Wikipedia Koszul duality, Koszul duality (definition). Also Wikidata Q16981474
History
- 2026-10-26: add by m2/dev
KZ9ZXZJ84T KZ9ZXZJ84T
| URI | m2://inv/KZ9ZXZJ84T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15094#LV11 (statement). In 5AA8PPK2CC/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
Total coloring KZA01HA8S4
| URI | m2://inv/KZA01HA8S4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total coloring, Total coloring (definition). Also Wikidata Q7828102
History
- 2026-11-02: add by m2/dev
KZA3QWP8NR KZA3QWP8NR
| URI | m2://inv/KZA3QWP8NR |
|---|---|
| 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.08382#CK7M (statement). In GYMGDQS25R/e1, lemma 6.18
History
- 2026-10-29: add by m2/v0.4.10
John Lane Bell KZA5BSFMQH
| URI | m2://inv/KZA5BSFMQH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#M139, John Lane Bell (topic)
History
- 2026-11-02: add by m2/dev
KZAADFMF2Q KZAADFMF2Q
| URI | m2://inv/KZAADFMF2Q |
|---|---|
| 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 2511.17751#3ZEG (statement). In J39X0NB31S/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.3.5
KZADYGSZS7 KZADYGSZS7
| URI | m2://inv/KZADYGSZS7 |
|---|---|
| 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.23526#5S2N (statement)
History
- 2026-11-02: add by m2/v0.6.17
M/G/1 queue KZAMV6MC1Y
| URI | m2://inv/KZAMV6MC1Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WYSS, M/G/1 queue (definition)
History
- 2026-11-02: add by m2/dev
KZAQ3X0TR1 KZAQ3X0TR1
| URI | m2://inv/KZAQ3X0TR1 |
|---|---|
| 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.32033#EO64 (statement). In 17W5G060QX/e1, theorem 4.4
History
- 2026-10-31: add by m2/v0.5.6
KZASCQ7HD5 KZASCQ7HD5
| URI | m2://inv/KZASCQ7HD5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/soundness-identity.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 19.1
History
- 2026-11-01: add by m2/v0.6.13
Euler's number KZBD0BWASP
| URI | m2://inv/KZBD0BWASP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | e 0MVCFMW7S4 |
Mentions
- wikidata: Wikidata Q82435, Euler's number (object). Also MathWorld e, nLab e, OEIS A001113, ProofWiki Definition:Euler's_Number
- wikipedia: Wikipedia E (mathematical constant), E (definition). Also Wikidata Q82435
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Gauss's class number conjecture KZBFJ7Q8BW
| URI | m2://inv/KZBFJ7Q8BW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann hypothesis#94HS, Gauss's class number conjecture (statement)
History
- 2026-11-02: add by m2/dev
KZBGAX412P KZBGAX412P
| URI | m2://inv/KZBGAX412P |
|---|---|
| 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.29111#RCGC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lute of Pythagoras KZBHDQM873
| URI | m2://inv/KZBHDQM873 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lute of Pythagoras, Lute of Pythagoras (definition). Also Wikidata Q12757304
History
- 2026-11-02: add by m2/dev
KZBJ2MTJS0 KZBJ2MTJS0
| URI | m2://inv/KZBJ2MTJS0 |
|---|---|
| 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 2401.05118#UNIF (statement). In BT0T0QS2TN/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.4.0
KZBRDXXY7E KZBRDXXY7E
| URI | m2://inv/KZBRDXXY7E |
|---|---|
| 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.13850#AZKE (statement). In KJY735KSMF/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Cauchy's integral formula KZC330B0KW
| URI | m2://inv/KZC330B0KW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/holomorphic.tex#thm:cauchy_integral_formula, Cauchy's integral formula (statement). In RZP28ERRZV, theorem, section 39.5
History
- 2026-11-01: add by m2/v0.6.13
Valery Vasilevich Kozlov KZC67Z2G5H
| URI | m2://inv/KZC67Z2G5H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valery Vasilevich Kozlov, Valery Vasilevich Kozlov (topic). Also Wikidata Q4226696
History
- 2026-11-02: add by m2/dev
KZC9CBB82M KZC9CBB82M
| URI | m2://inv/KZC9CBB82M |
|---|---|
| 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 2609.24523#G3SC (statement)
History
- 2026-11-01: add by m2/v0.6.15
KZCAYV38KB KZCAYV38KB
| URI | m2://inv/KZCAYV38KB |
|---|---|
| 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.40261#YPI5 (statement). In KAVANCCYJW/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
-adic numbers KZCEXCFPB3
| URI | m2://inv/KZCEXCFPB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#8ZWA, -adic numbers (definition)
History
- 2026-11-02: add by m2/dev
K-space KZCK7MEQPD
| URI | m2://inv/KZCK7MEQPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-space (functional analysis), K-space (definition). Also Wikidata Q18386386
History
- 2026-11-02: add by m2/dev
Real-axis variational identity KZCKN6AKFS
| URI | m2://inv/KZCKN6AKFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.15180#RH93, Real-axis variational identity (statement). In AMRWRJDNKJ/e1, theorem 8.1
History
- 2026-10-28: add by m2/v0.4.2
KZCYFX3FP7 KZCYFX3FP7
| URI | m2://inv/KZCYFX3FP7 |
|---|---|
| Kind | definition |
| 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 2507.23666#MAWW (definition). In YKQ89G5QA2/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.6
pronic number KZCYWCGGHB
| URI | m2://inv/KZCYWCGGHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1486643, pronic number (unknown). Also MathWorld PronicNumber, OEIS A002378
- wikipedia: Wikipedia Pronic number, Pronic number (definition). Also Wikidata Q1486643
History
- 2026-10-26: add by m2/dev
Merlise A. Clyde KZD7RWK4Z2
| URI | m2://inv/KZD7RWK4Z2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Merlise A. Clyde, Merlise A. Clyde (topic). Also Wikidata Q42324102
History
- 2026-11-02: add by m2/dev
KZD9TBCS8P KZD9TBCS8P
| URI | m2://inv/KZD9TBCS8P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#PFJS (definition). In 8SVVEVGMNE/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Approximation of the consistency seminorm KZDCPA5BG7
| URI | m2://inv/KZDCPA5BG7 |
|---|---|
| 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.01504#FXVE, Approximation of the consistency seminorm (statement). In JAVB10Q2YZ/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
Exact seed and observables KZDJ67M8EE
| URI | m2://inv/KZDJ67M8EE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18698#GSWP, Exact seed and observables (statement). In AVDZGC7976/e1, corollary 6.2
History
- 2026-10-28: add by m2/v0.4.2
KZDJP131HP KZDJP131HP
| URI | m2://inv/KZDJP131HP |
|---|---|
| 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 2101.07846#ZDV4 (statement). In 9XTXH6H1N7/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
KZDS3DGR8B KZDS3DGR8B
| URI | m2://inv/KZDS3DGR8B |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-35 (proof). In N54F33XE07, proof, section C.4
History
- 2026-11-01: add by m2/v0.6.13
multinomial distribution KZDSF89CTE
| URI | m2://inv/KZDSF89CTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1147928, multinomial distribution (unknown). Also MathWorld MultinomialDistribution
- wikipedia: Wikipedia Multinomial distribution, Multinomial distribution (definition). Also Wikidata Q1147928
History
- 2026-10-26: add by m2/dev
KZDT215XV3 KZDT215XV3
| URI | m2://inv/KZDT215XV3 |
|---|---|
| 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 2306.16411#99EF (statement). In QQ222ZDZC0/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Multivariate interpolation KZDVGVPV8H
| URI | m2://inv/KZDVGVPV8H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#3AVY, Multivariate interpolation (definition)
History
- 2026-11-02: add by m2/dev
KZDY1JG2DH KZDY1JG2DH
| URI | m2://inv/KZDY1JG2DH |
|---|---|
| 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.23202#AK6U (statement)
History
- 2026-11-02: add by m2/v0.6.17
KZE1TYXHQF KZE1TYXHQF
| URI | m2://inv/KZE1TYXHQF |
|---|---|
| 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.02628#8QKC (statement). In G4S9C5M1A4/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Effective stress KZE1Y3F70R
| URI | m2://inv/KZE1Y3F70R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effective stress, Effective stress (definition). Also Wikidata Q2251807
History
- 2026-11-02: add by m2/dev
Statement KZE2BV2TGC
| URI | m2://inv/KZE2BV2TGC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Splitting principle#NTOP, Statement (statement)
History
- 2026-11-02: add by m2/dev
Applications KZE3HFNXJW
| URI | m2://inv/KZE3HFNXJW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Woodbury matrix identity#X1WN, Applications (example)
History
- 2026-11-02: add by m2/dev
KZE4Y4WZ6N KZE4Y4WZ6N
| URI | m2://inv/KZE4Y4WZ6N |
|---|---|
| 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.17135#748N (statement). In XX1J2REXY2/e1, proposition 4.13
History
- 2026-10-28: add by m2/v0.4.2
Geometric Constructions KZE7HJ9MMK
| URI | m2://inv/KZE7HJ9MMK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric Constructions, Geometric Constructions (definition). Also Wikidata Q104834795
History
- 2026-11-02: add by m2/dev
KZEDQAZDAR KZEDQAZDAR
| URI | m2://inv/KZEDQAZDAR |
|---|---|
| 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 2501.17009#AKJC (definition). In PESAKD6SSW/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.6
Coordinate-wise Gradient Estimator KZEKDZEH7Q
| URI | m2://inv/KZEKDZEH7Q |
|---|---|
| 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 2109.08858#JIBG, Coordinate-wise Gradient Estimator (statement). In E6795TKR6R/e1, lemma 16
History
- 2026-10-27: add by m2/v0.3.5
Woods Hole fixed-point theorem KZET7F0QN5
| URI | m2://inv/KZET7F0QN5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atiyah–Bott fixed-point theorem#IIPN, Woods Hole fixed-point theorem (unknown)
History
- 2026-11-02: add by m2/dev
Hippocrates of Chios KZEVSREEFG
| URI | m2://inv/KZEVSREEFG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#17U3, Hippocrates of Chios (topic)
History
- 2026-11-02: add by m2/dev
KZF3VR3PGD KZF3VR3PGD
| URI | m2://inv/KZF3VR3PGD |
|---|---|
| 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 2412.20001#N63W (statement). In Y6YJSB93C3/e1, theorem 20
History
- 2026-10-27: add by m2/v0.3.5
KZF4HYW13Q KZF4HYW13Q
| URI | m2://inv/KZF4HYW13Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33578#87K6 (statement). In 3XTDDKY6YE/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
Batcher, Mary KZF4Q2185K
| URI | m2://inv/KZF4Q2185K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#63HU, Batcher, Mary (topic)
History
- 2026-11-02: add by m2/dev
KZF518QPYB KZF518QPYB
| URI | m2://inv/KZF518QPYB |
|---|---|
| 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 2609.28411#YG2R (statement)
History
- 2026-11-01: add by m2/v0.6.15
KZF5ETD72W KZF5ETD72W
| URI | m2://inv/KZF5ETD72W |
|---|---|
| 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#B70O (statement). In HVY45JQRNK/e1, corollary 2.31
History
- 2026-10-31: add by m2/v0.5.6
greatest common divisor, Euler $\phi$ function KZF77BDXCD
| URI | m2://inv/KZF77BDXCD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/7.5/greatest-common-divisor-euler-phi-function, greatest common divisor, Euler $\phi$ function (concept). In QKM9DD2H56, index, section 7.5
History
- 2026-11-01: add by m2/v0.6.13
Remarkable cardinal KZF8YT7ZSX
| URI | m2://inv/KZF8YT7ZSX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#3ZXH, Remarkable cardinal (definition)
History
- 2026-11-02: add by m2/dev
Chen–Fox–Lyndon theorem KZFJEPV3C6
| URI | m2://inv/KZFJEPV3C6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monoid factorisation#ZJ9F, Chen–Fox–Lyndon theorem (statement)
History
- 2026-11-02: add by m2/dev
KZFS0CR6MQ KZFS0CR6MQ
| URI | m2://inv/KZFS0CR6MQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 14-XX, 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.20361#BWQV (definition)
History
- 2026-11-02: add by m2/v0.6.18
Equality in the Kinser inequality KZFT0XKR6T
| URI | m2://inv/KZFT0XKR6T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06739#T0AS, Equality in the Kinser inequality (statement). In HA9B7PD0YV/e1, corollary 38
History
- 2026-10-29: add by m2/v0.4.10
KZFVB3MC91 KZFVB3MC91
| URI | m2://inv/KZFVB3MC91 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#AMLS (unknown). In QNBFHFZ3H0/e1, unknown 27
History
- 2026-10-28: add by m2/v0.4.2
Definition KZFZ6F0CZQ
| URI | m2://inv/KZFZ6F0CZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stopped process#LCFA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties KZG75D35JB
| URI | m2://inv/KZG75D35JB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cofibration#16LW, Properties (statement)
History
- 2026-11-02: add by m2/dev
KZG7RM1GW2 KZG7RM1GW2
| URI | m2://inv/KZG7RM1GW2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39254#G6Z3 (statement). In A59MZ9H284/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
KZG8TMDDD7 KZG8TMDDD7
| URI | m2://inv/KZG8TMDDD7 |
|---|---|
| Kind | definition |
| 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 2207.12181#VHA8 (definition). In FSD8NE3XSR/e1, definition 3.6
History
- 2026-10-27: add by m2/v0.4.0
Hirzebruch–Riemann–Roch theorem KZGA16DMNE
| URI | m2://inv/KZGA16DMNE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#QW0S, Hirzebruch–Riemann–Roch theorem (statement)
History
- 2026-11-02: add by m2/dev
planar KZGE4ASNAX
| URI | m2://inv/KZGE4ASNAX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.3/planar, planar (concept). In Y91XFCEVHQ, index, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
Global strong solution KZGY02V4ZZ
| URI | m2://inv/KZGY02V4ZZ |
|---|---|
| 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.14555#U690, Global strong solution (definition). In NHW0VEJ09F/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
KZH3Z1P5MS KZH3Z1P5MS
| URI | m2://inv/KZH3Z1P5MS |
|---|---|
| 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.13260#3YQY (statement). In ZBQX9341RV/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
KZH4RWTCF7 KZH4RWTCF7
| URI | m2://inv/KZH4RWTCF7 |
|---|---|
| Kind | statement |
| 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#IPWH (statement). In WRE0P7V6Z3/e1, lemma 5.5
History
- 2026-10-30: add by m2/v0.4.12
Minkowski problem for polytopes KZH9AXEJ71
| URI | m2://inv/KZH9AXEJ71 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski problem for polytopes, Minkowski problem for polytopes (problem). Also Wikidata Q104853627
History
- 2026-11-02: add by m2/dev
law of large numbers for the stock KZHAYBZFT2
| URI | m2://inv/KZHAYBZFT2 |
|---|---|
| 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.00902#UR9E, law of large numbers for the stock (statement). In 1BYMXTH5MW/e1, lemma 9.7
History
- 2026-10-29: add by m2/v0.4.12
forgetful functor KZHDEKW0Z3
| URI | m2://inv/KZHDEKW0Z3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Forgetful functor WV3BPYCHVG |
Mentions
- wikidata: Wikidata Q2646117, forgetful functor (unknown). Also nLab forgetful functor
- wikipedia: Wikipedia Forgetful functor, Forgetful functor (definition). Also Wikidata Q2646117
History
- 2026-10-26: add by m2/dev
KZHDH9RQYS KZHDH9RQYS
| URI | m2://inv/KZHDH9RQYS |
|---|---|
| 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 2609.28411#1Z6P (statement)
History
- 2026-11-01: add by m2/v0.6.15
modular KZHEV87W6M
| URI | m2://inv/KZHEV87W6M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#M6EX, modular (definition)
History
- 2026-11-02: add by m2/dev
KZHK8N3972 KZHK8N3972
| URI | m2://inv/KZHK8N3972 |
|---|---|
| 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.30544#6IRS (statement). In CB35ZBBBPT/e1, corollary 3.11
History
- 2026-10-31: add by m2/v0.5.6
KZHP0S4XTE KZHP0S4XTE
| URI | m2://inv/KZHP0S4XTE |
|---|---|
| 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.15405#N83Z (statement). In 9QCYCXVF5W/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
KZHZ5D19B0 KZHZ5D19B0
| URI | m2://inv/KZHZ5D19B0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/syntax-and-semantics/formulas.tex#ex-1 (example). In PKGMM3P5QY, ex, section 41.3
History
- 2026-11-01: add by m2/v0.6.13
Statement of the theorem KZJ2ZZPVVP
| URI | m2://inv/KZJ2ZZPVVP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lubell–Yamamoto–Meshalkin inequality#L19S, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition KZJ45RX7DK
| URI | m2://inv/KZJ45RX7DK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lawvere theory#FGUI, Definition (definition)
History
- 2026-11-02: add by m2/dev
KZJ9P2B09N KZJ9P2B09N
| URI | m2://inv/KZJ9P2B09N |
|---|---|
| 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 2610.07122#RJ5Q (example). In W0ZHX9DHPV/e1, example 11
History
- 2026-10-29: add by m2/v0.4.10
Augmented pentagonal prism KZJ9YKTCW2
| URI | m2://inv/KZJ9YKTCW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#2R2B, Augmented pentagonal prism (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#K5W5, Augmented pentagonal prism (definition)
History
- 2026-11-02: add by m2/dev
Implementation KZJFGZA00J
| URI | m2://inv/KZJFGZA00J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root algorithms#GAJ2, Implementation (definition)
History
- 2026-11-02: add by m2/dev
KZJGJSFARE KZJGJSFARE
| URI | m2://inv/KZJGJSFARE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.08655#BGQT (statement). In ZT7H1ZDN96/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.10
KZJWG1BCA1 KZJWG1BCA1
| URI | m2://inv/KZJWG1BCA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#BNSP (statement). In X923ZEY423/e1, proposition 1.8.9
History
- 2026-10-27: add by m2/v0.3.5
KZJWN9SGD8 KZJWN9SGD8
| URI | m2://inv/KZJWN9SGD8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33313#5G4T (definition). In HRCEFY172P/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Principle KZJXRFGP5Q
| URI | m2://inv/KZJXRFGP5Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangulation (surveying)#6JXS, Principle (statement)
History
- 2026-11-02: add by m2/dev
Definitions KZK018X0M5
| URI | m2://inv/KZK018X0M5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greedoid#1YSM, Definitions (definition)
History
- 2026-11-02: add by m2/dev
KZK3ZTXNCF KZK3ZTXNCF
| URI | m2://inv/KZK3ZTXNCF |
|---|---|
| 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.31910#BCAL (statement). In E4EK1XXPY4/e1, proposition 5.4
History
- 2026-10-31: add by m2/v0.5.6
Igor Kluvánek KZK5J4PKNT
| URI | m2://inv/KZK5J4PKNT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Igor Kluvánek, Igor Kluvánek (topic). Also Wikidata Q5993387
History
- 2026-11-02: add by m2/dev
KZK62V2GD0 KZK62V2GD0
| URI | m2://inv/KZK62V2GD0 |
|---|---|
| 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 2607.28185#Z2X2 (statement). In EG1XXNSTXX/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
DBAR problem KZK7BK89YD
| URI | m2://inv/KZK7BK89YD |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DBAR problem, DBAR problem (problem). Also Wikidata Q5204385
History
- 2026-11-02: add by m2/dev
Blowfish KZKAJW8773
| URI | m2://inv/KZKAJW8773 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blowfish (cipher), Blowfish (definition). Also Wikidata Q815853
History
- 2026-11-02: add by m2/dev
Perimeter functional KZKGR69KTJ
| URI | m2://inv/KZKGR69KTJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05064#5MKQ, Perimeter functional (definition). In 11SW7NAN7M/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.12
Theorem KZKMZ3HDGC
| URI | m2://inv/KZKMZ3HDGC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bartlett's theorem#IIMD, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Charles E. Lawrence KZKNT4YQ3B
| URI | m2://inv/KZKNT4YQ3B |
|---|---|
| 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#TGU7, Charles E. Lawrence (unknown)
History
- 2026-11-02: add by m2/dev
KZKWJY9BME KZKWJY9BME
| URI | m2://inv/KZKWJY9BME |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.17091#PB9I (definition). In N0JJM098W2/e1, definition 28
History
- 2026-10-27: add by m2/v0.4.0
KZKY3FRS94 KZKY3FRS94
| URI | m2://inv/KZKY3FRS94 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#8W8R (statement). In F5STMSPR6X/e1, proposition 3.12
History
- 2026-10-29: add by m2/v0.4.12
KZKY47NG19 KZKY47NG19
| URI | m2://inv/KZKY47NG19 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
KZKZKF3FBK KZKZKF3FBK
| URI | m2://inv/KZKZKF3FBK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0906.2853#CKAA (statement). In 32ZZ1DETCX/e1, corollary 2.16
History
- 2026-10-27: add by m2/v0.3.5
Extended Mycielski of cycle graph KZM1WKVW1F
| URI | m2://inv/KZM1WKVW1F |
|---|---|
| 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 2609.20881#6O6L, Extended Mycielski of cycle graph (definition)
History
- 2026-11-02: add by m2/v0.6.18
KZM4YK3CPY KZM4YK3CPY
| URI | m2://inv/KZM4YK3CPY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30262#XCZC (definition). In FWA5QW6FCF/e1, definition 4.6
History
- 2026-10-31: add by m2/v0.5.6
KZM4YSNG3P KZM4YSNG3P
| URI | m2://inv/KZM4YSNG3P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27114#9FO4 (definition)
History
- 2026-11-01: add by m2/v0.6.15
KZM9NY2GK4 KZM9NY2GK4
| URI | m2://inv/KZM9NY2GK4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#P83S (statement). In HX63A1PH1W/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.3
KZMAWEH0KP KZMAWEH0KP
| URI | m2://inv/KZMAWEH0KP |
|---|---|
| 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 2610.12502#H1LN (statement). In EMAZEJFRYW/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Applications KZMBSJAY55
| URI | m2://inv/KZMBSJAY55 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Project Jupyter#MCSQ, Applications (example)
History
- 2026-11-02: add by m2/dev
Ralucca Gera KZMFJ618QY
| URI | m2://inv/KZMFJ618QY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ralucca Gera, Ralucca Gera (topic). Also Wikidata Q92161276
History
- 2026-11-02: add by m2/dev
Kaggle KZMKWH91AD
| URI | m2://inv/KZMKWH91AD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaggle, Kaggle (definition). Also Wikidata Q10996045
History
- 2026-11-02: add by m2/dev
KZMPVE0FVG KZMPVE0FVG
| URI | m2://inv/KZMPVE0FVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28677#TDIV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Related conjectures KZMSSRJP2E
| URI | m2://inv/KZMSSRJP2E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Falconer's conjecture#CB3V, Related conjectures (statement)
History
- 2026-11-02: add by m2/dev
Special cases KZMYRD4342
| URI | m2://inv/KZMYRD4342 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A* search algorithm#PZZB, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Tangent complex KZN491P36W
| URI | m2://inv/KZN491P36W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#CSLF, Tangent complex (definition). In A1GWWGRXPA/e1, definition 1.12
History
- 2026-10-27: add by m2/v0.4.2
Vein KZN757N5QR
| URI | m2://inv/KZN757N5QR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#KIW6, Vein (unknown)
History
- 2026-11-02: add by m2/dev
Topological data analysis KZN7XJTQYJ
| URI | m2://inv/KZN7XJTQYJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PPW8, Topological data analysis (definition)
- wikipedia: Wikipedia List of topology topics#607B, Topological data analysis (definition)
History
- 2026-11-02: add by m2/dev
KZNF10KB8W KZNF10KB8W
| URI | m2://inv/KZNF10KB8W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2306.12846#MM8S (statement). In D6XA7JXZF3/e1, corollary 4.15
History
- 2026-10-27: add by m2/v0.3.5
KZNNE958CB KZNNE958CB
| URI | m2://inv/KZNNE958CB |
|---|---|
| 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 2609.35325#W15K (statement). In GHT5WXFA4E/e1, proposition 4.6
History
- 2026-10-30: add by m2/v0.4.12
Domain of discourse KZNNWBJ3AT
| URI | m2://inv/KZNNWBJ3AT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Domain of discourse, Domain of discourse (definition). Also Wikidata Q1228944
History
- 2026-11-02: add by m2/dev
denary KZNRPPERHX
| URI | m2://inv/KZNRPPERHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#Z3LM, denary (definition)
History
- 2026-11-02: add by m2/dev
KZNX7HC8AZ KZNX7HC8AZ
| URI | m2://inv/KZNX7HC8AZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/UncountableSets.tex#prob:sequence01 (exercise). In P1C114YBXG, problem, section K
History
- 2026-11-01: add by m2/v0.6.13
Quantitative upper bound KZP2AVW6Y0
| URI | m2://inv/KZP2AVW6Y0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00103#3QYE, Quantitative upper bound (statement). In S7RDXJWP1A/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
determinant KZP3G1FMMD
| URI | m2://inv/KZP3G1FMMD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/3.4.2/determinant, determinant (concept). In 649HGZKE96, index, section 3.4.2
History
- 2026-11-01: add by m2/v0.6.13
KZP3NWM4MD KZP3NWM4MD
| URI | m2://inv/KZP3NWM4MD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2103.08272#JYTV (statement). In H72E12TYHA/e1, proposition 4.8
History
- 2026-10-27: add by m2/v0.4.0
KZP46GTGJ3 KZP46GTGJ3
| URI | m2://inv/KZP46GTGJ3 |
|---|---|
| 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#VKR0 (definition). In 6HJQXZS0A6/e1, definition 3.6
History
- 2026-10-29: add by m2/v0.4.12
space-filling curve KZP8HX5VZ1
| URI | m2://inv/KZP8HX5VZ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 4 |
| Outcome | open |
| Node | Space-filling curve QPRHC4DZ20 |
Mentions
- mathlib_1000: mathlib_1000 Q567843, Hahn–Mazurkiewicz theorem (statement). Also Wikidata Q567843
- thousand_plus: thousand_plus Q567843, Hahn–Mazurkiewicz theorem (statement). Also Wikidata Q567843, Wikipedia Hahn–Mazurkiewicz theorem
- wikidata: Wikidata Q567843, space-filling curve (unknown). Also MathWorld Space-FillingFunction
- wikipedia: Wikipedia Space-filling curve, Space-filling curve (definition). Also Wikidata Q567843
History
- 2026-10-26: add by m2/dev
Online fair division KZPDJQZDMF
| URI | m2://inv/KZPDJQZDMF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Online fair division, Online fair division (definition). Also Wikidata Q106350161
History
- 2026-11-02: add by m2/dev
KZPDP3A991 KZPDP3A991
| URI | m2://inv/KZPDP3A991 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#Y7ZG (statement). In BDN507RN7J/e1, proposition 3.3.3
History
- 2026-10-30: add by m2/v0.4.12
KZPK2CW453 KZPK2CW453
| URI | m2://inv/KZPK2CW453 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27694#2YXE (definition)
History
- 2026-11-01: add by m2/v0.6.15
Don Zagier KZPM2H7078
| URI | m2://inv/KZPM2H7078 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#O7A6, Don Zagier (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BPD2, Don Zagier (topic)
History
- 2026-11-02: add by m2/dev
Wien displacement law constant KZPMKQ5DJZ
| URI | m2://inv/KZPMKQ5DJZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#4XRU, Wien displacement law constant (statement)
History
- 2026-11-02: add by m2/dev
The two-plane case KZPVX46DZV
| URI | m2://inv/KZPVX46DZV |
|---|---|
| Kind | example |
| 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#081Y, The two-plane case (example). In HHQ6P3RRB8/e1, example 4.5
History
- 2026-10-28: add by m2/v0.4.3
Jensen KZPYR4THA0
| URI | m2://inv/KZPYR4THA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#7IPI, Jensen (definition)
History
- 2026-11-02: add by m2/dev
Illicit minor KZPZPTXX0F
| URI | m2://inv/KZPZPTXX0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Illicit minor, Illicit minor (definition). Also Wikidata Q2911568
History
- 2026-11-02: add by m2/dev
KZQ155TQ39 KZQ155TQ39
| URI | m2://inv/KZQ155TQ39 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#lem-2 (statement). In N54F33XE07, lem, section C.2
History
- 2026-11-01: add by m2/v0.6.13
ABS methods KZQ3E7KT5T
| URI | m2://inv/KZQ3E7KT5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ABS methods, ABS methods (definition). Also Wikidata Q3855613
History
- 2026-11-02: add by m2/dev
Rigid surjection KZQ4ZYQV8G
| URI | m2://inv/KZQ4ZYQV8G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigidity (mathematics)#FNUN, Rigid surjection (unknown)
History
- 2026-11-02: add by m2/dev
KZQ8BJYMCJ KZQ8BJYMCJ
| URI | m2://inv/KZQ8BJYMCJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#thm:equiv-compose-equiv (statement). In N54F33XE07, lem, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Klaus Wagner KZQBD7AQ3E
| URI | m2://inv/KZQBD7AQ3E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#GLDN, Klaus Wagner (unknown)
History
- 2026-11-02: add by m2/dev
Cantellated 8-orthoplex KZQC5YDGCN
| URI | m2://inv/KZQC5YDGCN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform 8-polytope#QPY1, Cantellated 8-orthoplex (unknown)
History
- 2026-11-02: add by m2/dev
List of topics named after Hermann Weyl KZQCVG0YW1
| URI | m2://inv/KZQCVG0YW1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermann Weyl#S81J, List of topics named after Hermann Weyl (unknown)
History
- 2026-11-02: add by m2/dev
Cocompact embedding KZQDWZVYVT
| URI | m2://inv/KZQDWZVYVT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cocompact embedding, Cocompact embedding (definition). Also Wikidata Q25304755
History
- 2026-11-02: add by m2/dev
KZQNT1BGKK KZQNT1BGKK
| URI | m2://inv/KZQNT1BGKK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20718#N52Z (statement)
History
- 2026-11-02: add by m2/v0.6.18
KZQPADTTZ6 KZQPADTTZ6
| URI | m2://inv/KZQPADTTZ6 |
|---|---|
| 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.06326#V1F7 (statement). In DPR6B6X0JX/e1, proposition 18
History
- 2026-10-29: add by m2/v0.4.10
List of places with numeric names KZQTE7JZ7W
| URI | m2://inv/KZQTE7JZ7W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names, List of places with numeric names (topic). Also Wikidata Q21068533
History
- 2026-11-02: add by m2/dev
KZR4K7B8T4 KZR4K7B8T4
| URI | m2://inv/KZR4K7B8T4 |
|---|---|
| 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.19296#IJC7 (statement). In WFR2WNW8NB/e1, corollary 3.12
History
- 2026-10-28: add by m2/v0.4.2
KZRFMH54N7 KZRFMH54N7
| URI | m2://inv/KZRFMH54N7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14068#4JM3 (statement). In JF19FEH3SW/e1, corollary 9.4
History
- 2026-10-28: add by m2/v0.4.2
KZRMY7ZK4Q KZRMY7ZK4Q
| URI | m2://inv/KZRMY7ZK4Q |
|---|---|
| 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 2608.24606#JU3G (statement). In VFV3FFB7Q7/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
Hölder's inequality for increasing seminorms KZRS3PAB69
| URI | m2://inv/KZRS3PAB69 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hölder's inequality#WWJB, Hölder's inequality for increasing seminorms (statement)
History
- 2026-11-02: add by m2/dev
KZRZVXMNXX KZRZVXMNXX
| URI | m2://inv/KZRZVXMNXX |
|---|---|
| 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 2608.24424#IGI4 (statement). In RQHGZ4AA5T/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.6
Criterion for a multiplicative color action KZS0PY2KG4
| URI | m2://inv/KZS0PY2KG4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#AW4V, Criterion for a multiplicative color action (statement). In HF7YNMW39N/e1, proposition 16.3
History
- 2026-10-27: add by m2/v0.4.0
Application KZS7FH6KEP
| URI | m2://inv/KZS7FH6KEP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher transformation#SKVE, Application (example)
History
- 2026-11-02: add by m2/dev
Stephanie Singer KZS7VHRM75
| URI | m2://inv/KZS7VHRM75 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephanie Singer, Stephanie Singer (topic). Also Wikidata Q19877859
History
- 2026-11-02: add by m2/dev
Implementations KZSBDDDJ5Z
| URI | m2://inv/KZSBDDDJ5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Allen's interval algebra#DX72, Implementations (definition)
History
- 2026-11-02: add by m2/dev
New Zealand Mathematical Society KZT0J519TV
| URI | m2://inv/KZT0J519TV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#OLJ0, New Zealand Mathematical Society (unknown)
History
- 2026-11-02: add by m2/dev
The Mathematics of Chip-Firing KZT65NXP2B
| URI | m2://inv/KZT65NXP2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Mathematics of Chip-Firing, The Mathematics of Chip-Firing (definition). Also Wikidata Q96409477
History
- 2026-11-02: add by m2/dev
Cheerleader effect KZT68MRPN9
| URI | m2://inv/KZT68MRPN9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#PGQE, Cheerleader effect (unknown)
History
- 2026-11-02: add by m2/dev
Conway circle KZT6CGBPFD
| URI | m2://inv/KZT6CGBPFD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after John Horton Conway#6305, Conway circle (statement)
History
- 2026-11-02: add by m2/dev
KZT6W6M5P5 KZT6W6M5P5
| URI | m2://inv/KZT6W6M5P5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2306.12846#JF3N (statement). In D6XA7JXZF3/e1, lemma 3.11
History
- 2026-10-27: add by m2/v0.3.5
KZT91386Y4 KZT91386Y4
| URI | m2://inv/KZT91386Y4 |
|---|---|
| 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.31757#14J2 (statement). In KBJHAD5TTY/e1, corollary 1.5
History
- 2026-10-31: add by m2/v0.5.6
Optimal files lie inside the accretion closure KZTCTG2QB3
| URI | m2://inv/KZTCTG2QB3 |
|---|---|
| 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.11007#5ZJ6, Optimal files lie inside the accretion closure (statement). In MF0H78XZXC/e1, proposition A.2
History
- 2026-10-28: add by m2/v0.4.3
KZTE0VGB64 KZTE0VGB64
| URI | m2://inv/KZTE0VGB64 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#proof-1 (proof). In P1C114YBXG, proof, section F
History
- 2026-11-01: add by m2/v0.6.13
KZTRHRY2XR KZTRHRY2XR
| URI | m2://inv/KZTRHRY2XR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.13241#KAMY (statement). In DWQWQ5KTEE/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
Additive-domain BCH--RS correspondence KZV0Y4GBET
| URI | m2://inv/KZV0Y4GBET |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15815#X1O8, Additive-domain BCH--RS correspondence (statement). In 9C75CTY5C3/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
471 (number) KZV2C26PQP
| URI | m2://inv/KZV2C26PQP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#7YRB, 471 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Mathematical principle KZV3HH6GP3
| URI | m2://inv/KZV3HH6GP3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shamir's secret sharing#HEXO, Mathematical principle (statement)
History
- 2026-11-02: add by m2/dev
Basic identities and estimates KZV74V070J
| URI | m2://inv/KZV74V070J |
|---|---|
| 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.15805#3F1O, Basic identities and estimates (statement). In 2XVWG0Z18V/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Orlicz norm of a bounded integrable kernel KZVG0BPCBS
| URI | m2://inv/KZVG0BPCBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08074#7NH0, Orlicz norm of a bounded integrable kernel (statement). In ZRPYF750AV/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
Johnson, George KZVG29DJC2
| URI | m2://inv/KZVG29DJC2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#JSTJ, Johnson, George (topic)
History
- 2026-11-02: add by m2/dev
KZW8AXSPC7 KZW8AXSPC7
| URI | m2://inv/KZW8AXSPC7 |
|---|---|
| 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 2207.11097#ZXKW (statement). In 13H5BTAXHF/e1, fact 1
History
- 2026-10-27: add by m2/v0.3.5
Properties KZWDGKD14X
| URI | m2://inv/KZWDGKD14X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lemke–Howson algorithm#UJ64, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition KZWDMRK88M
| URI | m2://inv/KZWDMRK88M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thom–Mather stratified space#M3BJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
KZWGZSS8ZZ KZWGZSS8ZZ
| URI | m2://inv/KZWGZSS8ZZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.04870#43K6 (statement). In X765ZXXVC3/e1, lemma 4.22
History
- 2026-10-29: add by m2/v0.4.12
Helge Tverberg KZWK6ZAAPR
| URI | m2://inv/KZWK6ZAAPR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9M4F, Helge Tverberg (topic)
History
- 2026-11-02: add by m2/dev
KZWM4T3BA6 KZWM4T3BA6
| URI | m2://inv/KZWM4T3BA6 |
|---|---|
| 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 2509.16898#BI5S (statement). In FXBFTRHBAH/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
KZWRH0HQCM KZWRH0HQCM
| URI | m2://inv/KZWRH0HQCM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02042#1ZDK (statement). In P3HWTYFDBX/e1, lemma 6.13
History
- 2026-10-29: add by m2/v0.4.12
KZWSVBTFY5 KZWSVBTFY5
| URI | m2://inv/KZWSVBTFY5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-zariski.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 28.6
History
- 2026-11-01: add by m2/v0.6.13
Nambu–Goto action KZX2K4KD6J
| URI | m2://inv/KZX2K4KD6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#2CLK, Nambu–Goto action (definition)
History
- 2026-11-02: add by m2/dev
Uniform index-one product tail KZX69E53BP
| URI | m2://inv/KZX69E53BP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29658#PLO7, Uniform index-one product tail (statement)
History
- 2026-11-01: add by m2/v0.6.15
KZXF98WEHC KZXF98WEHC
| URI | m2://inv/KZXF98WEHC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/nonstandard-arithmetic.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 46.3
History
- 2026-11-01: add by m2/v0.6.13
Replicator dynamics KZXGBBETWZ
| URI | m2://inv/KZXGBBETWZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#D4DG, Replicator dynamics (definition)
History
- 2026-11-02: add by m2/dev
Generalised Axiom of Revealed Preference (GARP) KZXHFE71Q4
| URI | m2://inv/KZXHFE71Q4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Revealed preference#99O1, Generalised Axiom of Revealed Preference (GARP) (statement)
History
- 2026-11-02: add by m2/dev
KZXJV38Y21 KZXJV38Y21
| URI | m2://inv/KZXJV38Y21 |
|---|---|
| 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#TLYU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Spanning implies global identifiability KZXRK5QY46
| URI | m2://inv/KZXRK5QY46 |
|---|---|
| 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.00117#QZZL, Spanning implies global identifiability (statement). In 4G2BDP206S/e1, lemma 19
History
- 2026-10-30: add by m2/v0.4.12
The groupoid comparison KZXTPC4YQQ
| URI | m2://inv/KZXTPC4YQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.03424#NNZW, The groupoid comparison (statement). In Q6HRJP4AWA/e1, theorem 9.4
History
- 2026-10-29: add by m2/v0.4.12
Equipotential KZY11MMGQY
| URI | m2://inv/KZY11MMGQY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equipotential, Equipotential (definition). Also Wikidata Q3175077
History
- 2026-11-02: add by m2/dev
Schrödinger method KZY3P669HF
| URI | m2://inv/KZY3P669HF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schrödinger method, Schrödinger method (definition). Also Wikidata Q5389080
History
- 2026-11-02: add by m2/dev
Dorothy Adkins KZYDRFHQR5
| URI | m2://inv/KZYDRFHQR5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dorothy Adkins, Dorothy Adkins (topic). Also Wikidata Q19282000
History
- 2026-11-02: add by m2/dev
Douglas Rayner Hartree KZYGMQTSC7
| URI | m2://inv/KZYGMQTSC7 |
|---|---|
| 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#DD3O, Douglas Rayner Hartree (topic)
History
- 2026-11-02: add by m2/dev
RO KZYKZMM1ST
| URI | m2://inv/KZYKZMM1ST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#AI7N, RO (definition)
History
- 2026-11-02: add by m2/dev
Properties KZYQ2EPHT1
| URI | m2://inv/KZYQ2EPHT1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electrical impedance tomography#T075, Properties (statement)
History
- 2026-11-02: add by m2/dev
Vorticity confinement KZYQG3J885
| URI | m2://inv/KZYQG3J885 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#RVIC, Vorticity confinement (unknown)
History
- 2026-11-02: add by m2/dev
Analysis of Boolean functions KZYVEWVC8Q
| URI | m2://inv/KZYVEWVC8Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#E92I, Analysis of Boolean functions (topic)
History
- 2026-11-02: add by m2/dev
Ornstein–Uhlenbeck operator KZYWX47ZVY
| URI | m2://inv/KZYWX47ZVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ornstein–Uhlenbeck operator, Ornstein–Uhlenbeck operator (definition). Also Wikidata Q7103671
History
- 2026-11-02: add by m2/dev
Definition KZYWZ8ABC3
| URI | m2://inv/KZYWZ8ABC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Groupoid object#OF02, Definition (definition)
History
- 2026-11-02: add by m2/dev
KZYZCJTW7N KZYZCJTW7N
| URI | m2://inv/KZYZCJTW7N |
|---|---|
| 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.06381#IZI2 (statement). In X9JKBDHACW/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.10
Scrabble KZZ212JGSD
| URI | m2://inv/KZZ212JGSD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#9EP8, Scrabble (unknown)
History
- 2026-11-02: add by m2/dev
KZZ2S6191K KZZ2S6191K
| URI | m2://inv/KZZ2S6191K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-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.10591#QZ6K (definition). In FTEA0TM35J/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
KZZ65S9B69 KZZ65S9B69
| URI | m2://inv/KZZ65S9B69 |
|---|---|
| Kind | example |
| 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#PJDU (example). In M0SQY5EZN5/e1, example 4.8.2
History
- 2026-10-27: add by m2/v0.3.5
KZZ6WKF78M KZZ6WKF78M
| URI | m2://inv/KZZ6WKF78M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#KMEV (statement). In 6WJ0R9YEBR/e1, lemma 5.12
History
- 2026-10-28: add by m2/v0.4.2
Applications KZZP94406V
| URI | m2://inv/KZZP94406V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hydrology#XLPI, Applications (example)
History
- 2026-11-02: add by m2/dev
Vector logic KZZT4D5ZJY
| URI | m2://inv/KZZT4D5ZJY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector logic, Vector logic (definition). Also Wikidata Q17104546
History
- 2026-11-02: add by m2/dev
$n$-dimensional space KZZVG3E75F
| URI | m2://inv/KZZVG3E75F |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/2.1.1/n-dimensional-space, $n$-dimensional space (concept). In E9HS8K3A52, index, section 2.1.1
History
- 2026-11-01: add by m2/v0.6.13
KZZW9NM229 KZZW9NM229
| URI | m2://inv/KZZW9NM229 |
|---|---|
| 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#4Z0F (statement). In M4ZVJWM8YA/e1, lemma 4.12
History
- 2026-10-27: add by m2/v0.4.2