Inventory rows 98
The cards of the rows of the inventory whose ids start with 98. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Sujatha Ramdorai 9805S2ZFSB
| URI | m2://inv/9805S2ZFSB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#M79F, Sujatha Ramdorai (topic)
History
- 2026-11-02: add by m2/dev
biregular 980EVKAMH3
| URI | m2://inv/980EVKAMH3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#MFQT, biregular (definition)
History
- 2026-11-02: add by m2/dev
980TG85FM1 980TG85FM1
| URI | m2://inv/980TG85FM1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31090#LIER (statement). In SMTJDX0Q6R/e1, lemma 8.4
History
- 2026-10-31: add by m2/v0.5.6
List of Lie groups topics 980YY6N5BZ
| URI | m2://inv/980YY6N5BZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics, List of Lie groups topics (topic). Also Wikidata Q6576836
History
- 2026-11-02: add by m2/dev
Power-law spacing 980ZVV02VW
| URI | m2://inv/980ZVV02VW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grandi's series#WIUX, Power-law spacing (statement)
History
- 2026-11-02: add by m2/dev
The supercritical dHYM/LYZ polynomial 981DCFXKF4
| URI | m2://inv/981DCFXKF4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#D0AJ, The supercritical dHYM/LYZ polynomial (example)
History
- 2026-11-02: add by m2/v0.6.17
Giovanni Ceva 981MEWYJ41
| URI | m2://inv/981MEWYJ41 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#T2P7, Giovanni Ceva (topic)
History
- 2026-11-02: add by m2/dev
Examples 981YH87PDX
| URI | m2://inv/981YH87PDX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyadic algebra#XW7F, Examples (example)
History
- 2026-11-02: add by m2/dev
981Z4T04NM 981Z4T04NM
| URI | m2://inv/981Z4T04NM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/finite-field.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 12.5
History
- 2026-11-01: add by m2/v0.6.13
Velocity consensus 98261QCJS6
| URI | m2://inv/98261QCJS6 |
|---|---|
| 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.21828#O738, Velocity consensus (statement). In B5M7S1FGS0/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.4.2
The potential does not depend on the multipliers 982D9TFDD4
| URI | m2://inv/982D9TFDD4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27966#K5MS, The potential does not depend on the multipliers (statement)
History
- 2026-11-01: add by m2/v0.6.15
982QHVMKJC 982QHVMKJC
| URI | m2://inv/982QHVMKJC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#G9QS (definition)
History
- 2026-11-01: add by m2/v0.6.15
Peter Wai-Kwong Li 983AJ2H1XG
| URI | m2://inv/983AJ2H1XG |
|---|---|
| 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#QB50, Peter Wai-Kwong Li (unknown)
History
- 2026-11-02: add by m2/dev
983FXJ2N8V 983FXJ2N8V
| URI | m2://inv/983FXJ2N8V |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13556#R5IP (problem). In 5ZB8N3YY72/e1, problem 6.1
History
- 2026-10-28: add by m2/v0.4.2
983HM5T67R 983HM5T67R
| URI | m2://inv/983HM5T67R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.01642#U8VT (example). In CD9T8ZFES1/e1, example 2.3.1
History
- 2026-10-27: add by m2/v0.3.6
983N0EBQSX 983N0EBQSX
| URI | m2://inv/983N0EBQSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32903#LK1Q (statement). In S8NB83KQX3/e1, lemma 13
History
- 2026-10-31: add by m2/v0.5.6
983Q0G0N8M 983Q0G0N8M
| URI | m2://inv/983Q0G0N8M |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/valuations-sat.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 63.1
History
- 2026-11-01: add by m2/v0.6.13
$L^1$ comparison with a $C^2$ submanifold 983QQ91Y0H
| URI | m2://inv/983QQ91Y0H |
|---|---|
| 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.24716#VC0V, $L^1$ comparison with a $C^2$ submanifold (statement)
History
- 2026-11-01: add by m2/v0.6.15
983SQBFA4X 983SQBFA4X
| URI | m2://inv/983SQBFA4X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/overspill.tex#overspill (statement). In PKGMM3P5QY, thm, section 46.4
History
- 2026-11-01: add by m2/v0.6.13
Properties 983XWGHFZ9
| URI | m2://inv/983XWGHFZ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability of direction#NNRC, Properties (statement)
History
- 2026-11-02: add by m2/dev
Isolation lemma 9842JDPWG0
| URI | m2://inv/9842JDPWG0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isolation lemma, Isolation lemma (statement). Also Wikidata Q6085965
History
- 2026-11-02: add by m2/dev
Alexander I Island 9846JGB0P0
| URI | m2://inv/9846JGB0P0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#M3VO, Alexander I Island (unknown)
History
- 2026-11-02: add by m2/dev
Special case: $p=2$ 984CWZ1G9P
| URI | m2://inv/984CWZ1G9P |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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.28295#P1FZ, Special case: $p=2$ (example)
History
- 2026-11-01: add by m2/v0.6.15
Privacy-preserving record linkage 984EFAJNK7
| URI | m2://inv/984EFAJNK7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Record linkage#6Z6X, Privacy-preserving record linkage (unknown)
History
- 2026-11-02: add by m2/dev
Plaquette violations 984J58PXFJ
| URI | m2://inv/984J58PXFJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03677#O7W7, Plaquette violations (statement). In J1Y06VVYRG/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.12
Properties 984JWJ01X5
| URI | m2://inv/984JWJ01X5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermitian matrix#PEVJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Positive anticommutator factorization 985ERJ2ZVH
| URI | m2://inv/985ERJ2ZVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#7FZM, Positive anticommutator factorization (statement). In 9YAE8FNQST/e1, lemma 8.3
History
- 2026-10-30: add by m2/v0.4.12
Doxastic logic 985Q2ZGEFN
| URI | m2://inv/985Q2ZGEFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doxastic logic, Doxastic logic (definition). Also Wikidata Q669180
History
- 2026-11-02: add by m2/dev
Log-Laplace distribution 9862CFANBJ
| URI | m2://inv/9862CFANBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#4PZG, Log-Laplace distribution (definition)
History
- 2026-11-02: add by m2/dev
Overlap matrix 986DDBKJSW
| URI | m2://inv/986DDBKJSW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#X7OR, Overlap matrix (definition)
History
- 2026-11-02: add by m2/dev
986H10NV3V 986H10NV3V
| URI | m2://inv/986H10NV3V |
|---|---|
| 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.32104#EWEX (statement). In YRJSYFXNM8/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
Degree of an extension 986RWC2F50
| URI | m2://inv/986RWC2F50 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#NBPK, Degree of an extension (definition)
History
- 2026-11-02: add by m2/dev
986YKN3TMQ 986YKN3TMQ
| URI | m2://inv/986YKN3TMQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30750#HPBU (example). In DACV7NTAAK/e1, example D.9
History
- 2026-10-31: add by m2/v0.5.6
Computer algebra 986YV74NTC
| URI | m2://inv/986YV74NTC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#0GP7, Computer algebra (definition)
History
- 2026-11-02: add by m2/dev
Michael V. Pimsner 9870FECC08
| URI | m2://inv/9870FECC08 |
|---|---|
| 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#F92P, Michael V. Pimsner (unknown)
History
- 2026-11-02: add by m2/dev
Nemmers Prize in Mathematics 9871N6WZDM
| URI | m2://inv/9871N6WZDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nemmers Prize in Mathematics, Nemmers Prize in Mathematics (definition). Also Wikidata Q742399
History
- 2026-11-02: add by m2/dev
987BYCZ7T9 987BYCZ7T9
| URI | m2://inv/987BYCZ7T9 |
|---|---|
| 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 2102.12931#6AQ6 (statement). In PQHTR84RAJ/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.0
square matrix 987NK4YWW6
| URI | m2://inv/987NK4YWW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#Q2O6, square matrix (definition)
History
- 2026-11-02: add by m2/dev
Average penalty residual 987NKSCEA9
| URI | m2://inv/987NKSCEA9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34099#LFQE, Average penalty residual (statement). In 4X2SAM9HR2/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
Reference stability 987Q1MP41R
| URI | m2://inv/987Q1MP41R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#TVJE, Reference stability (statement). In 9YAE8FNQST/e1, theorem 17.17
History
- 2026-10-30: add by m2/v0.4.12
987WGA30N0 987WGA30N0
| URI | m2://inv/987WGA30N0 |
|---|---|
| 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.08028#Z74L (statement). In Z19XDA8QY9/e1, proposition 19
History
- 2026-10-29: add by m2/v0.4.10
Leakage and Restricted Marcinkiewicz--Zygmund Constants 988A0Q099T
| URI | m2://inv/988A0Q099T |
|---|---|
| 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.13222#QA7R, Leakage and Restricted Marcinkiewicz--Zygmund Constants (definition). In Z6WA2R0J50/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
988A2SCW6F 988A2SCW6F
| URI | m2://inv/988A2SCW6F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.08738#C1VJ (statement). In 9GMTVSTAVN/e1, theorem 6.14
History
- 2026-10-27: add by m2/v0.3.5
988DJC8BMM 988DJC8BMM
| URI | m2://inv/988DJC8BMM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2610.13532#S6C6 (statement). In 9B0X8YPF3P/e1, theorem E
History
- 2026-10-28: add by m2/v0.4.2
Example 988FXT4X37
| URI | m2://inv/988FXT4X37 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small control property#JMBF, Example (example)
History
- 2026-11-02: add by m2/dev
988K2C6E3K 988K2C6E3K
| URI | m2://inv/988K2C6E3K |
|---|---|
| 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.15926#3BSE (statement). In G0J92BSX4A/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
monad 988M04K293
| URI | m2://inv/988M04K293 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.13/monad, monad (concept). In N54F33XE07, index, section 5.13
History
- 2026-11-01: add by m2/v0.6.13
Definition 988MKG9774
| URI | m2://inv/988MKG9774 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supermanifold#38L8, Definition (definition)
History
- 2026-11-02: add by m2/dev
"Gluing=Composition" 9893S35KSB
| URI | m2://inv/9893S35KSB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10078#0LH1, "Gluing=Composition" (statement). In YVGRZK1HRS/e1, corollary 3.9
History
- 2026-10-29: add by m2/v0.4.10
Dalanzadgad 989EMW99TH
| URI | m2://inv/989EMW99TH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#B9JU, Dalanzadgad (unknown)
History
- 2026-11-02: add by m2/dev
Indication of medical tests 989Q58K41Y
| URI | m2://inv/989Q58K41Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Medical test#1WH6, Indication of medical tests (unknown)
History
- 2026-11-02: add by m2/dev
Mirsky–Newman theorem 989R55D934
| URI | m2://inv/989R55D934 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#9WJZ, Mirsky–Newman theorem (conjecture)
History
- 2026-11-02: add by m2/dev
989VYN2F68 989VYN2F68
| URI | m2://inv/989VYN2F68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25353#MPVP (statement)
History
- 2026-11-01: add by m2/v0.6.15
989Y8JH1M7 989Y8JH1M7
| URI | m2://inv/989Y8JH1M7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17691#W9O9 (statement). In AT8VD3XB8M/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Definition 989ZS78712
| URI | m2://inv/989ZS78712 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermite normal form#4CG6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Context-free language 989ZT8C36H
| URI | m2://inv/989ZT8C36H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Context-free language, Context-free language (definition). Also Wikidata Q729271
History
- 2026-11-02: add by m2/dev
Bing , McCord , Fokkink and Oversteegen 98A3T283J0
| URI | m2://inv/98A3T283J0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.20131#49SV, Bing , McCord , Fokkink and Oversteegen (statement). In 29D4TTE3J2/e1, theorem 10.3
History
- 2026-10-27: add by m2/v0.4.2
98A8VGHDJE 98A8VGHDJE
| URI | m2://inv/98A8VGHDJE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08873#Z1BK (statement). In 7WMNVJBAVR/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.10
98A9KV7A8Z 98A9KV7A8Z
| URI | m2://inv/98A9KV7A8Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#SXEK (definition). In 90QTB4CC31/e1, definition 4.5
History
- 2026-10-28: add by m2/v0.4.2
The field kernel 98ABC0Y8SQ
| URI | m2://inv/98ABC0Y8SQ |
|---|---|
| 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.21662#YFSS, The field kernel (statement). In 25B3WHEKH2/e1, lemma 5.6
History
- 2026-10-27: add by m2/v0.4.2
Petri net 98ABZYR1EW
| URI | m2://inv/98ABZYR1EW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q724168, Petri net (unknown). Also nLab Petri net
- wikipedia: Wikipedia Petri net, Petri net (definition). Also Wikidata Q724168
History
- 2026-10-26: add by m2/dev
Rebecca N. Wright 98AGCG0D37
| URI | m2://inv/98AGCG0D37 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IGSG, Rebecca N. Wright (unknown)
History
- 2026-11-02: add by m2/dev
Stochastic error 98AQSCXMST
| URI | m2://inv/98AQSCXMST |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Observational error#FART, Stochastic error (unknown)
History
- 2026-11-02: add by m2/dev
98ARQ661C0 98ARQ661C0
| URI | m2://inv/98ARQ661C0 |
|---|---|
| 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.24577#AEGA (statement)
History
- 2026-11-01: add by m2/v0.6.15
98ASR84CCM 98ASR84CCM
| URI | m2://inv/98ASR84CCM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37739#2MBN (statement). In F5XF5VXTXY/e1, lemma 7.7
History
- 2026-10-30: add by m2/v0.4.12
98B7QD4YCF 98B7QD4YCF
| URI | m2://inv/98B7QD4YCF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19311#SNXO (statement). In 3MFD6RSV41/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
98BBDNFZ4H 98BBDNFZ4H
| URI | m2://inv/98BBDNFZ4H |
|---|---|
| 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.03222#8XWF (statement). In BB0JGNK4YF/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Dual object 98BGGZSPME
| URI | m2://inv/98BGGZSPME |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual object, Dual object (definition). Also Wikidata Q5310222
History
- 2026-11-02: add by m2/dev
Harish-Chandra 98CAX76HG4
| URI | m2://inv/98CAX76HG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#2DJ5, Harish-Chandra (definition)
History
- 2026-11-02: add by m2/dev
Significance 98CBNT290H
| URI | m2://inv/98CBNT290H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Significance (magazine), Significance (definition). Also Wikidata Q7512948
History
- 2026-11-02: add by m2/dev
98CCSAE6QM 98CCSAE6QM
| URI | m2://inv/98CCSAE6QM |
|---|---|
| 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.17602#RU5H (statement). In BH62508WHJ/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
Stochastic logarithm 98CFJ33JQG
| URI | m2://inv/98CFJ33JQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic logarithm, Stochastic logarithm (definition). Also Wikidata Q110442605
History
- 2026-11-02: add by m2/dev
Seasonality 98CPMY1MJP
| URI | m2://inv/98CPMY1MJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seasonality, Seasonality (definition). Also Wikidata Q2111082
History
- 2026-11-02: add by m2/dev
Axel Frey Samsioe 98CS61XZAT
| URI | m2://inv/98CS61XZAT |
|---|---|
| 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#8VLJ, Axel Frey Samsioe (unknown)
History
- 2026-11-02: add by m2/dev
98CY1T7X5Z 98CY1T7X5Z
| URI | m2://inv/98CY1T7X5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08149#CMKR (statement). In E128PFR76Q/e1, lemma 2.10
History
- 2026-10-29: add by m2/v0.4.10
many-valued logic 98CZJ3H83P
| URI | m2://inv/98CZJ3H83P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#UMCA, many-valued logic (definition)
History
- 2026-11-02: add by m2/dev
projective set 98D0P74Q3K
| URI | m2://inv/98D0P74Q3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Projective hierarchy 8DZTNVTGY2 |
Mentions
- wikidata: Wikidata Q219448, projective set (unknown). Also EoM Projective_set, nLab projective set
- wikipedia: Wikipedia Projective hierarchy, Projective hierarchy (definition). Also Wikidata Q219448
History
- 2026-10-26: add by m2/dev
98DKM8X0M4 98DKM8X0M4
| URI | m2://inv/98DKM8X0M4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02295#43Q9 (definition). In PEBD9ZMA1W/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
$\Gamma$-consistency 98DN2ZV7P9
| URI | m2://inv/98DN2ZV7P9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20106#0OXY, $\Gamma$-consistency (statement). In 6HMZ36ZBXA/e1, theorem 6.4
History
- 2026-10-27: add by m2/v0.4.2
Manipulability ellipsoid 98DQ0G842D
| URI | m2://inv/98DQ0G842D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manipulability ellipsoid, Manipulability ellipsoid (definition). Also Wikidata Q6749818
History
- 2026-11-02: add by m2/dev
John Wermer 98DXA9E763
| URI | m2://inv/98DXA9E763 |
|---|---|
| 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#DWUK, John Wermer (topic)
History
- 2026-11-02: add by m2/dev
Applications 98DZ2ZX9PS
| URI | m2://inv/98DZ2ZX9PS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagonal tiling#MPF0, Applications (example)
History
- 2026-11-02: add by m2/dev
Fredholm equation 98E0XHD6RD
| URI | m2://inv/98E0XHD6RD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics#1UJX, Fredholm equation (definition)
History
- 2026-11-02: add by m2/dev
Applications 98E5CF301P
| URI | m2://inv/98E5CF301P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dubins path#ZH20, Applications (example)
History
- 2026-11-02: add by m2/dev
Dimitrie D. Stancu 98ED5ZCW2W
| URI | m2://inv/98ED5ZCW2W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimitrie D. Stancu, Dimitrie D. Stancu (topic). Also Wikidata Q18548092
History
- 2026-11-02: add by m2/dev
Canonical asymptotic metric 98EEVXM5XZ
| URI | m2://inv/98EEVXM5XZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.00560#PTHQ, Canonical asymptotic metric (definition). In KH1H3TSWPS/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.6
Exact empirical reduction for the two-budget OT--$\phi$ set 98EN5KFKRP
| URI | m2://inv/98EN5KFKRP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07162#0Z20, Exact empirical reduction for the two-budget OT--$\phi$ set (statement). In MQEB9ZHQAT/e1, proposition C.7
History
- 2026-10-29: add by m2/v0.4.10
98ETCZCEJE 98ETCZCEJE
| URI | m2://inv/98ETCZCEJE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35191#G1BH (statement). In W9Z6S1PDTP/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
98F2PS60HH 98F2PS60HH
| URI | m2://inv/98F2PS60HH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#6EYV (definition). In 9TR5E527P5/e1, definition 1.7
History
- 2026-10-29: add by m2/v0.4.10
98FAKZ0X1S 98FAKZ0X1S
| URI | m2://inv/98FAKZ0X1S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19455#VWCN (statement). In CBF6TQS4DW/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
98FT4AETKZ 98FT4AETKZ
| URI | m2://inv/98FT4AETKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.03972#G8R7 (statement). In 2JD3KNKJ1P/e1, lemma 5.10
History
- 2026-10-27: add by m2/v0.3.5
Euclid–Euler theorem 98FYR6TEP3
| URI | m2://inv/98FYR6TEP3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Euclid#28YG, Euclid–Euler theorem (statement)
History
- 2026-11-02: add by m2/dev
Penrose triangle 98G8QBBP2K
| URI | m2://inv/98G8QBBP2K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12141, Penrose triangle (concept). Also MathWorld PenroseTriangle, MathWorld Tribar
- wikipedia: Wikipedia Penrose triangle, Penrose triangle (definition). Also Wikidata Q12141
History
- 2026-10-26: add by m2/dev
Butterfly lemma 98GDB7CK0G
| URI | m2://inv/98GDB7CK0G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#JKOS, Butterfly lemma (statement)
History
- 2026-11-02: add by m2/dev
98GVQHVVDY 98GVQHVVDY
| URI | m2://inv/98GVQHVVDY |
|---|---|
| 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.36113#0Q3W (statement). In FSGSVD0XYH/e1, proposition 12
History
- 2026-10-30: add by m2/v0.4.12
Haagerup property 98H8NPS2CD
| URI | m2://inv/98H8NPS2CD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haagerup property, Haagerup property (definition). Also Wikidata Q5636478
History
- 2026-11-02: add by m2/dev
98HH0HN953 98HH0HN953
| URI | m2://inv/98HH0HN953 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#KX9F (statement). In E7W2HDNEKJ/e1, theorem 11.5
History
- 2026-10-30: add by m2/v0.4.12
Brāhmasphuṭasiddhānta 98HSYRQBB5
| URI | m2://inv/98HSYRQBB5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1290001, Brāhmasphuṭasiddhānta (unknown). Also ProofWiki Book:Brahmagupta/Brahmasphutasiddhanta
History
- 2026-10-26: add by m2/dev
98HT740PD7 98HT740PD7
| URI | m2://inv/98HT740PD7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.05914#1S8Y (statement). In V8MYP6MBAZ/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
98HWGXY94V 98HWGXY94V
| URI | m2://inv/98HWGXY94V |
|---|---|
| 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 2511.08099#2N8F (statement). In 5NK801XBGA/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
98J9V6EMSR 98J9V6EMSR
| URI | m2://inv/98J9V6EMSR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23804#VE14 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Scalar criterion 98JCKX8SH5
| URI | m2://inv/98JCKX8SH5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15262#DMM2, Scalar criterion (statement). In C44HVXWYRF/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.2
Wolfgang Gaschütz 98JEECVE9M
| URI | m2://inv/98JEECVE9M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolfgang Gaschütz, Wolfgang Gaschütz (topic). Also Wikidata Q1688614
History
- 2026-11-02: add by m2/dev
98JFY8149N 98JFY8149N
| URI | m2://inv/98JFY8149N |
|---|---|
| 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.06724#WXIQ (statement). In W5XG3PGVF1/e1, corollary C.16
History
- 2026-10-29: add by m2/v0.4.10
98JMA44YSW 98JMA44YSW
| URI | m2://inv/98JMA44YSW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-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 2601.04559#SSL7 (statement). In WWMHZKWZSM/e1, proposition 24
History
- 2026-10-27: add by m2/v0.3.5
98JWVQA27K 98JWVQA27K
| URI | m2://inv/98JWVQA27K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07508#T0QZ (statement). In TPA3E67MKK/e1, corollary 9.9
History
- 2026-10-29: add by m2/v0.4.10
Nodec space 98JYS06DA3
| URI | m2://inv/98JYS06DA3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nodec space, Nodec space (definition). Also Wikidata Q7046674
History
- 2026-11-02: add by m2/dev
Klein geometry 98K0Y3ARWT
| URI | m2://inv/98K0Y3ARWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#ERX2, Klein geometry (definition)
History
- 2026-11-02: add by m2/dev
98K6TT6M42 98K6TT6M42
| URI | m2://inv/98K6TT6M42 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 13-XX, 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26127#WQ30 (statement)
History
- 2026-11-01: add by m2/v0.6.15
98K6ZQQTHQ 98K6ZQQTHQ
| URI | m2://inv/98K6ZQQTHQ |
|---|---|
| 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 2610.05216#HFF4 (definition). In J1VCHM6V0S/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.10
Eigenvalue-free interval 98K8V8YDK7
| URI | m2://inv/98K8V8YDK7 |
|---|---|
| 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.08599#XYC1, Eigenvalue-free interval (statement). In DST9FWMHT6/e1, theorem 4.11
History
- 2026-10-29: add by m2/v0.4.10
judgmental equality 98KABWQVGR
| URI | m2://inv/98KABWQVGR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.5/judgmental-equality, judgmental equality (concept). In N54F33XE07, index, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
98KE7W82NA 98KE7W82NA
| URI | m2://inv/98KE7W82NA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.01860#IYJG (statement). In 8HYS0MFE25/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
98KN6V8ZXS 98KN6V8ZXS
| URI | m2://inv/98KN6V8ZXS |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25188#R9XR (problem)
History
- 2026-11-01: add by m2/v0.6.15
98KNPQ7YV3 98KNPQ7YV3
| URI | m2://inv/98KNPQ7YV3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#D1RV (statement). In CC6S1HVK0T/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Bézout matrix 98KPKK2YYG
| URI | m2://inv/98KPKK2YYG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5005076, Bézout matrix (concept). Also LMFDB knowl alg.bezout_matrix
- wikipedia: Wikipedia Bézout matrix, Bézout matrix (definition). Also Wikidata Q5005076
History
- 2026-10-26: add by m2/dev
98KS7GZJ95 98KS7GZJ95
| URI | m2://inv/98KS7GZJ95 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06338#UZ7R (statement). In F1CYVYK7YB/e1, corollary 9.6
History
- 2026-10-29: add by m2/v0.4.10
98M4NZHBAD 98M4NZHBAD
| URI | m2://inv/98M4NZHBAD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.09945#1L8M (statement). In V7VCEA0VAA/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
Gaussian projection 98M5P022G4
| URI | m2://inv/98M5P022G4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#GICY, Gaussian projection (statement). In 9YAE8FNQST/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
98M5TR3B1R 98M5TR3B1R
| URI | m2://inv/98M5TR3B1R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25983#CP8N (example)
History
- 2026-11-01: add by m2/v0.6.15
98M9NF3RNH 98M9NF3RNH
| URI | m2://inv/98M9NF3RNH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18709#80QW (statement). In K7VY50VFK6/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Definitions 98MBTK65C1
| URI | m2://inv/98MBTK65C1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type safety#VU33, Definitions (definition)
History
- 2026-11-02: add by m2/dev
98MEKN01KB 98MEKN01KB
| URI | m2://inv/98MEKN01KB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#FZL0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pythagorean Triangles 98MM5HDFH2
| URI | m2://inv/98MM5HDFH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean Triangles, Pythagorean Triangles (definition). Also Wikidata Q86755737
History
- 2026-11-02: add by m2/dev
Qi-Man Shao 98MNGEMVA1
| URI | m2://inv/98MNGEMVA1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qi-Man Shao, Qi-Man Shao (topic). Also Wikidata Q102343469
History
- 2026-11-02: add by m2/dev
Special cases 98MTT4GC1V
| URI | m2://inv/98MTT4GC1V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Student's t-distribution#OUBN, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Periodic replacement from a bounded decomposition 98MWHZ2V7J
| URI | m2://inv/98MWHZ2V7J |
|---|---|
| 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.00099#2H9W, Periodic replacement from a bounded decomposition (statement). In NNBY2AEHP4/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
98MYE5M80D 98MYE5M80D
| URI | m2://inv/98MYE5M80D |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 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 2610.04164#K3S1 (conjecture). In KR7WXN4EWR/e1, conjecture
History
- 2026-10-29: add by m2/v0.4.12
Indirect speech act 98N3NT85W5
| URI | m2://inv/98N3NT85W5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Speech act#BLC5, Indirect speech act (unknown)
History
- 2026-11-02: add by m2/dev
Random-pairing Rank Centrality 98N5BTPKQQ
| URI | m2://inv/98N5BTPKQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09030#V8MR, Random-pairing Rank Centrality (statement). In BYN44C0X0C/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
98N6ZFJP7Y 98N6ZFJP7Y
| URI | m2://inv/98N6ZFJP7Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_exercises.ptx#exercise-1 (exercise). In QKM9DD2H56, exercise, section 10
History
- 2026-11-01: add by m2/v0.6.13
Hu Hesheng 98N8T7DX7J
| URI | m2://inv/98N8T7DX7J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hu Hesheng, Hu Hesheng (topic). Also Wikidata Q438582
History
- 2026-11-02: add by m2/dev
98NEAPC58P 98NEAPC58P
| URI | m2://inv/98NEAPC58P |
|---|---|
| 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#7QFD (statement). In X923ZEY423/e1, lemma 1.0.2
History
- 2026-10-27: add by m2/v0.3.5
98NPPQF7RB 98NPPQF7RB
| URI | m2://inv/98NPPQF7RB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06810#47JC (statement). In 1NY2SA03XF/e1, lemma 5.9
History
- 2026-10-29: add by m2/v0.4.10
98NS99KHJA 98NS99KHJA
| URI | m2://inv/98NS99KHJA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13142#U8DU (statement). In KYW4YMVQAB/e1, proposition 5
History
- 2026-10-28: add by m2/v0.4.2
98P7AEFH1Z 98P7AEFH1Z
| URI | m2://inv/98P7AEFH1Z |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1704.04089#HEDX (problem). In T126FDFXT5/e1, problem 1
History
- 2026-10-27: add by m2/v0.3.5
Negative shifted energy with the full history 98P7JQ1M4R
| URI | m2://inv/98P7JQ1M4R |
|---|---|
| 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.21256#06ND, Negative shifted energy with the full history (statement)
History
- 2026-11-02: add by m2/v0.6.18
convergent sequence 98PCNKCB7Y
| URI | m2://inv/98PCNKCB7Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Convergent sequence 0AZ3R52593 |
Mentions
- wikidata: Wikidata Q2996364, convergent sequence (unknown). Also MathWorld ConvergentSequence
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
98PF9Q233M 98PF9Q233M
| URI | m2://inv/98PF9Q233M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14502#0DCO (definition). In 6BVBMTYXNZ/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
\bf Strong reduced echelon form 98PNBPDQNW
| URI | m2://inv/98PNBPDQNW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2609.37893#G8LZ, \bf Strong reduced echelon form (definition). In 8H0KHK7AMN/e1, definition 1.3
History
- 2026-10-30: add by m2/v0.4.12
98PYBTB3M9 98PYBTB3M9
| URI | m2://inv/98PYBTB3M9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.34016#BPX3 (statement). In 1E4AJ49FWV/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
prime meridian 98PZVP5KYK
| URI | m2://inv/98PZVP5KYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3401774, prime meridian (definition). Also ProofWiki Definition:Meridian_(Terrestrial)/Principal
History
- 2026-10-26: add by m2/dev
98Q1N8MQTE 98Q1N8MQTE
| URI | m2://inv/98Q1N8MQTE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.06927#6DYQ (statement). In YM4CSJJDJZ/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.6
Johnson SU distribution 98Q6J29RC8
| URI | m2://inv/98Q6J29RC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#4X2S, Johnson SU distribution (definition)
History
- 2026-11-02: add by m2/dev
98QH3YHK9T 98QH3YHK9T
| URI | m2://inv/98QH3YHK9T |
|---|---|
| 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 2207.07461#1PCK (statement). In GAG532VMPF/e1, lemma 3.4.6
History
- 2026-10-27: add by m2/v0.3.5
98QSC6D6JV 98QSC6D6JV
| URI | m2://inv/98QSC6D6JV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.24777#UQN9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Raphaël Cerf 98QSP2DMJW
| URI | m2://inv/98QSP2DMJW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raphaël Cerf, Raphaël Cerf (topic). Also Wikidata Q1757430
History
- 2026-11-02: add by m2/dev
\textbf{Collineations 98QZ7YEM5J
| URI | m2://inv/98QZ7YEM5J |
|---|---|
| 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 2609.23526#J4XH, \textbf{Collineations (definition)
History
- 2026-11-02: add by m2/v0.6.17
98QZQ3S8XG 98QZQ3S8XG
| URI | m2://inv/98QZQ3S8XG |
|---|---|
| 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 2205.13464#7L3Z (statement). In JPYGC2R3FC/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.6
98R3YBN7YV 98R3YBN7YV
| URI | m2://inv/98R3YBN7YV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#2U7F (statement)
History
- 2026-11-02: add by m2/v0.6.18
Pentagrammic antiprismatic prism 98RABASE6Y
| URI | m2://inv/98RABASE6Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#R3WX, Pentagrammic antiprismatic prism (unknown)
History
- 2026-11-02: add by m2/dev
98RB0YK0J0 98RB0YK0J0
| URI | m2://inv/98RB0YK0J0 |
|---|---|
| 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.05168#1FKD (statement). In 2PW0WEPJBH/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
Statement 98RCF9KK24
| URI | m2://inv/98RCF9KK24 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropy influence conjecture#J9DL, Statement (statement)
History
- 2026-11-02: add by m2/dev
98RF28Q803 98RF28Q803
| URI | m2://inv/98RF28Q803 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/comparing-size.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 83.3
History
- 2026-11-01: add by m2/v0.6.13
98RGPP7G4W 98RGPP7G4W
| URI | m2://inv/98RGPP7G4W |
|---|---|
| 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.12357#ZN6O (statement). In 1F26AF81XP/e1, proposition 2.12
History
- 2026-10-28: add by m2/v0.4.2
Implicit computational complexity 98RH2MJ61Z
| URI | m2://inv/98RH2MJ61Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicit computational complexity, Implicit computational complexity (definition). Also Wikidata Q30324433
History
- 2026-11-02: add by m2/dev
98RS4Q79DC 98RS4Q79DC
| URI | m2://inv/98RS4Q79DC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.10559#C06C (statement). In WEP0PNJW09/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
uniform law 98RTY5ZXRC
| URI | m2://inv/98RTY5ZXRC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > uniform law, uniform law (unknown)
History
- 2026-10-26: add by m2/dev
Definition 98RVYCSWSF
| URI | m2://inv/98RVYCSWSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia André–Quillen cohomology#MW3R, Definition (definition)
History
- 2026-11-02: add by m2/dev
Enrico Arbarello 98RW6NC9EV
| URI | m2://inv/98RW6NC9EV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#L07E, Enrico Arbarello (topic)
History
- 2026-11-02: add by m2/dev
Axioms and models 98RYNV31WH
| URI | m2://inv/98RYNV31WH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiomatic system#ZHCX, Axioms and models (statement)
History
- 2026-11-02: add by m2/dev
Rose Peltesohn 98S4MZKP0A
| URI | m2://inv/98S4MZKP0A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rose Peltesohn, Rose Peltesohn (topic). Also Wikidata Q1502073
History
- 2026-11-02: add by m2/dev
Smoothed Discrepancy 98SC18NC14
| URI | m2://inv/98SC18NC14 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21017#IO2H, Smoothed Discrepancy (statement)
History
- 2026-11-02: add by m2/v0.6.18
98SPAZPEXM 98SPAZPEXM
| URI | m2://inv/98SPAZPEXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#QEN6 (statement). In S26QVW5613/e1, theorem 5.2.4
History
- 2026-10-30: add by m2/v0.4.12
Example 98SRCMYRJN
| URI | m2://inv/98SRCMYRJN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zak transform#3HVG, Example (example)
History
- 2026-11-02: add by m2/dev
Icosahedral honeycomb 98SWJ9BENT
| URI | m2://inv/98SWJ9BENT |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3J5M, Icosahedral honeycomb (object)
- wikipedia: Wikipedia List of mathematical shapes#QWOQ, Icosahedral honeycomb (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#86C6, Icosahedral honeycomb (object)
History
- 2026-11-02: add by m2/dev
98SZS9ZFYD 98SZS9ZFYD
| URI | m2://inv/98SZS9ZFYD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35229#ZIJT (statement). In XBAXW1YBAK/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
Selberg's zeta function conjecture 98T2GZ4031
| URI | m2://inv/98T2GZ4031 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selberg's zeta function conjecture, Selberg's zeta function conjecture (statement). Also Wikidata Q7447523
History
- 2026-11-02: add by m2/dev
Boolean homomorphism 98TADYB5Q5
| URI | m2://inv/98TADYB5Q5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean algebra (structure)#B0TM, Boolean homomorphism (unknown)
History
- 2026-11-02: add by m2/dev
Extensions 98TJM4X764
| URI | m2://inv/98TJM4X764 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Economic order quantity#BSE2, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Linear term 98TNXSM598
| URI | m2://inv/98TNXSM598 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Term (logic)#5R3J, Linear term (unknown)
History
- 2026-11-02: add by m2/dev
Rattan Chand 98TQWC4W65
| URI | m2://inv/98TQWC4W65 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#M6Y4, Rattan Chand (unknown)
History
- 2026-11-02: add by m2/dev
Energy minimization 98TW46NTX7
| URI | m2://inv/98TW46NTX7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#UGG9, Energy minimization (unknown)
History
- 2026-11-02: add by m2/dev
98TY7B3K1Z 98TY7B3K1Z
| URI | m2://inv/98TY7B3K1Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15700#JA84 (statement). In S95MSZ7MDR/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Nathaniel Dean 98V9Y559YM
| URI | m2://inv/98V9Y559YM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nathaniel Dean (mathematician), Nathaniel Dean (topic). Also Wikidata Q23541337
History
- 2026-11-02: add by m2/dev
98VBNJ1G1K 98VBNJ1G1K
| URI | m2://inv/98VBNJ1G1K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23682#S8WK (statement)
History
- 2026-11-02: add by m2/v0.6.17
98VMBEMDZ2 98VMBEMDZ2
| URI | m2://inv/98VMBEMDZ2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#XUME (example). In G02N9D40B9/e1, example 7.1.1
History
- 2026-10-29: add by m2/v0.4.10
98VN7MKMA9 98VN7MKMA9
| URI | m2://inv/98VN7MKMA9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22825#8JHS (statement)
History
- 2026-11-02: add by m2/v0.6.17
Complete partial order 98VPYYN3EM
| URI | m2://inv/98VPYYN3EM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#8HEN, Complete partial order (definition)
History
- 2026-11-02: add by m2/dev
98W6SV4Y1H 98W6SV4Y1H
| URI | m2://inv/98W6SV4Y1H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#BY69 (statement). In YVK8EFSYNJ/e1, corollary 5.7
History
- 2026-10-28: add by m2/v0.4.2
98WASWMV48 98WASWMV48
| URI | m2://inv/98WASWMV48 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13518#9E2Y (statement). In 613TY6V089/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
98WFTJW9NA 98WFTJW9NA
| URI | m2://inv/98WFTJW9NA |
|---|---|
| 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#SP81 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bidyut Baran Chaudhuri 98WYXQR4FA
| URI | m2://inv/98WYXQR4FA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RAIE, Bidyut Baran Chaudhuri (topic)
History
- 2026-11-02: add by m2/dev
Infiltration 98WZZ9WQS3
| URI | m2://inv/98WZZ9WQS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infiltration (hydrology), Infiltration (definition). Also Wikidata Q1127330
History
- 2026-11-02: add by m2/dev
Einstein–Infeld–Hoffmann equations 98X3YMC4RA
| URI | m2://inv/98X3YMC4RA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Einstein–Infeld–Hoffmann equations, Einstein–Infeld–Hoffmann equations (definition). Also Wikidata Q1309251
History
- 2026-11-02: add by m2/dev
98XC4GD3M1 98XC4GD3M1
| URI | m2://inv/98XC4GD3M1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09672#5KQL (statement). In TXBXCPP0QH/e1, proposition 13
History
- 2026-10-29: add by m2/v0.4.10
Data compression 98Y1Q97N37
| URI | m2://inv/98Y1Q97N37 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data compression, Data compression (definition). Also Wikidata Q2493
History
- 2026-11-02: add by m2/dev
Algorithms 98Y2EK269W
| URI | m2://inv/98Y2EK269W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brooks' theorem#DZYU, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Theorem 98Y3NNY59J
| URI | m2://inv/98Y3NNY59J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peano existence theorem#LO12, Theorem (statement)
History
- 2026-11-02: add by m2/dev
98YGS9N4DM 98YGS9N4DM
| URI | m2://inv/98YGS9N4DM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24154#HXJ1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Lance, Davidson 98YTJCRB10
| URI | m2://inv/98YTJCRB10 |
|---|---|
| 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 2408.03317#E3JR, Lance, Davidson (statement). In T2ESY2PE1R/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Pacu 98YX90F4C0
| URI | m2://inv/98YX90F4C0 |
|---|---|
| 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#DOAD, Pacu (unknown)
History
- 2026-11-02: add by m2/dev
98Z9R9FG1M 98Z9R9FG1M
| URI | m2://inv/98Z9R9FG1M |
|---|---|
| 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 2502.08738#RP0M (definition). In 9GMTVSTAVN/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.3.5
Conway group Co3 98ZB3D6V9G
| URI | m2://inv/98ZB3D6V9G |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway group Co3, Conway group Co3 (object). Also Wikidata Q5166742
History
- 2026-11-02: add by m2/dev
Applications 98ZBFYB3EB
| URI | m2://inv/98ZBFYB3EB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mapping cone (topology)#3NVK, Applications (example)
History
- 2026-11-02: add by m2/dev
98ZEZ101V1 98ZEZ101V1
| URI | m2://inv/98ZEZ101V1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroInduction.tex#theorem-3 (statement). In P1C114YBXG, theorem, section D
History
- 2026-11-01: add by m2/v0.6.13
98ZH26KR53 98ZH26KR53
| URI | m2://inv/98ZH26KR53 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-22 (exercise). In E59CDZA4DP, exercise, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
98ZNGS8XVM 98ZNGS8XVM
| URI | m2://inv/98ZNGS8XVM |
|---|---|
| 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.24878#8BU5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
7-orthoplex 98ZQG8J26M
| URI | m2://inv/98ZQG8J26M |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#H6JV, 7-orthoplex (object)
History
- 2026-11-02: add by m2/dev
98ZRBQY34T 98ZRBQY34T
| URI | m2://inv/98ZRBQY34T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16875#9J0S (statement). In KS30K5JXGB/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
98ZRFF4692 98ZRFF4692
| URI | m2://inv/98ZRFF4692 |
|---|---|
| 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.06340#BCRY (statement). In PKNZPECH82/e1, corollary 6.4
History
- 2026-10-29: add by m2/v0.4.10
Example 98ZYJYP8R0
| URI | m2://inv/98ZYJYP8R0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relationships among probability distributions#5Q7J, Example (example)
History
- 2026-11-02: add by m2/dev