Inventory rows Z5
The cards of the rows of the inventory whose ids start with Z5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Z501Z8C84C Z501Z8C84C
| URI | m2://inv/Z501Z8C84C |
|---|---|
| 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.06909#RTWN (statement). In F1EF8XE30A/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
Examples Z506EK9XMF
| URI | m2://inv/Z506EK9XMF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Piecewise linear function#JK59, Examples (example)
History
- 2026-11-02: add by m2/dev
Nodal surface Z5099C7F7A
| URI | m2://inv/Z5099C7F7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nodal surface, Nodal surface (definition). Also Wikidata Q25303874
History
- 2026-11-02: add by m2/dev
satisfiability Z50GN9D7HM
| URI | m2://inv/Z50GN9D7HM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Model theory > satisfiability, satisfiability (unknown). Also Mathlib FirstOrder.Language.Theory.IsSatisfiable
History
- 2026-10-26: add by m2/dev
RANSAC Z50K43SVEM
| URI | m2://inv/Z50K43SVEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#VEHE, RANSAC (definition)
History
- 2026-11-02: add by m2/dev
computability Z50MZZ5A94
| URI | m2://inv/Z50MZZ5A94 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q818888, computability (unknown). Also MathWorld Computability, nLab computability
History
- 2026-10-26: add by m2/dev
Z50PHKTQMV Z50PHKTQMV
| URI | m2://inv/Z50PHKTQMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.28254#3TMN (statement)
History
- 2026-11-01: add by m2/v0.6.15
saddle point Z50SE42Y5Q
| URI | m2://inv/Z50SE42Y5Q |
|---|---|
| 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.19249#GVPV, saddle point (statement). In 2X586J6KQ1/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Psychographic profile Z50V2GM9KM
| URI | m2://inv/Z50V2GM9KM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Psychographics#9KVU, Psychographic profile (unknown)
History
- 2026-11-02: add by m2/dev
Z5111MDJ95 Z5111MDJ95
| URI | m2://inv/Z5111MDJ95 |
|---|---|
| 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#6Y94 (statement). In VJTRH1S4JA/e1, theorem 2.22
History
- 2026-10-28: add by m2/v0.4.2
Z5172N3V5F Z5172N3V5F
| URI | m2://inv/Z5172N3V5F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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.07695#OIVX (definition). In 8Z47D12KSX/e1, definition 7.1
History
- 2026-10-29: add by m2/v0.4.10
Conditional likelihood Z51D8HW7RV
| URI | m2://inv/Z51D8HW7RV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Likelihood function#4DAG, Conditional likelihood (unknown)
History
- 2026-11-02: add by m2/dev
Final Value Theorem for asymptotic sums of periodic functions Z51Q5CK95K
| URI | m2://inv/Z51Q5CK95K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Final value theorem#JUTH, Final Value Theorem for asymptotic sums of periodic functions (statement)
History
- 2026-11-02: add by m2/dev
Z51QH2Q7J3 Z51QH2Q7J3
| URI | m2://inv/Z51QH2Q7J3 |
|---|---|
| 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.10840#Q7QE (statement). In JSJQEPY71E/e1, lemma B.7
History
- 2026-10-28: add by m2/v0.4.3
Example Z51SN293F1
| URI | m2://inv/Z51SN293F1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindeberg's condition#3782, Example (example)
History
- 2026-11-02: add by m2/dev
Extension Z51WCB8XGD
| URI | m2://inv/Z51WCB8XGD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange's theorem (group theory)#QMSR, Extension (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Example 1 Z522GV4H8H
| URI | m2://inv/Z522GV4H8H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Janet basis#JJYO, Example 1 (example)
History
- 2026-11-02: add by m2/dev
Berlekamp–Zassenhaus algorithm Z523SK07QS
| URI | m2://inv/Z523SK07QS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4892326, Berlekamp–Zassenhaus algorithm (unknown). Also MathWorld Berlekamp-ZassenhausAlgorithm
- wikipedia: Wikipedia Berlekamp–Zassenhaus algorithm, Berlekamp–Zassenhaus algorithm (definition). Also Wikidata Q4892326
History
- 2026-10-26: add by m2/dev
Jean Bellissard Z527VSMEAP
| URI | m2://inv/Z527VSMEAP |
|---|---|
| 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#1OF4, Jean Bellissard (unknown)
History
- 2026-11-02: add by m2/dev
Item-total correlation Z527XC30G3
| URI | m2://inv/Z527XC30G3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Item-total correlation, Item-total correlation (definition). Also Wikidata Q2451559
History
- 2026-11-02: add by m2/dev
Slutsky, Eugen Z529T7QK2D
| URI | m2://inv/Z529T7QK2D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#WBS4, Slutsky, Eugen (unknown)
History
- 2026-11-02: add by m2/dev
Conway's base 13 function Z52E1KFE33
| URI | m2://inv/Z52E1KFE33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway's base 13 function, Conway's base 13 function (definition). Also Wikidata Q2896394
History
- 2026-11-02: add by m2/dev
Z52GB31Z46 Z52GB31Z46
| URI | m2://inv/Z52GB31Z46 |
|---|---|
| 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 2610.19333#8MNP (statement). In 5Y3HF693YB/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
Z52PCSRYJX Z52PCSRYJX
| URI | m2://inv/Z52PCSRYJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21945#AD74 (statement). In 371P9QASSJ/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.4.2
Z52VYJ0TCW Z52VYJ0TCW
| URI | m2://inv/Z52VYJ0TCW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.39593#05CV (statement). In BF0RYHPMS1/e1, corollary 4.15
History
- 2026-10-30: add by m2/v0.4.12
Mathematics, Engineering, Science Achievement Z52WK6XEEA
| URI | m2://inv/Z52WK6XEEA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics, Engineering, Science Achievement, Mathematics, Engineering, Science Achievement (topic). Also Wikidata Q6786878
History
- 2026-11-02: add by m2/dev
Z52WPV4PKF Z52WPV4PKF
| URI | m2://inv/Z52WPV4PKF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15432#G1GH (example). In D1DFM4WYEW/e1, example 7.1
History
- 2026-10-28: add by m2/v0.4.2
Components and local admissibility Z52XHAH6WC
| URI | m2://inv/Z52XHAH6WC |
|---|---|
| Kind | statement |
| 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.30637#RN9G, Components and local admissibility (statement). In 6G1KBA0SXV/e1, lemma 4.32
History
- 2026-10-31: add by m2/v0.5.6
Positive binary discrete Sklar decomposition Z5315V0CNS
| URI | m2://inv/Z5315V0CNS |
|---|---|
| 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.12805#UBI3, Positive binary discrete Sklar decomposition (statement). In M7F1BBDMNQ/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Z531GYK0Q0 Z531GYK0Q0
| URI | m2://inv/Z531GYK0Q0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-5.xml#ula-preview-7-5 (exercise). In 649HGZKE96, exploration, section 7.5.1
History
- 2026-11-01: add by m2/v0.6.13
Hilbert number Z5342D1EGG
| URI | m2://inv/Z5342D1EGG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1440989, Hilbert number (unknown). Also MathWorld HilbertNumber, OEIS A016813
History
- 2026-10-26: add by m2/dev
Sequent calculus Z534B9955J
| URI | m2://inv/Z534B9955J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#R7JT, Sequent calculus (definition)
History
- 2026-11-02: add by m2/dev
F. Michael Christ Z53A5FVCCR
| URI | m2://inv/Z53A5FVCCR |
|---|---|
| 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#O935, F. Michael Christ (topic)
History
- 2026-11-02: add by m2/dev
Z53KFHK0EH Z53KFHK0EH
| URI | m2://inv/Z53KFHK0EH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13291#E8AI (statement). In D16PSAVVWV/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Markov brothers' inequality Z53N59YXCW
| URI | m2://inv/Z53N59YXCW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#DZON, Markov brothers' inequality (statement)
History
- 2026-11-02: add by m2/dev
clutching construction Z53N8WZC42
| URI | m2://inv/Z53N8WZC42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5136742, clutching construction (unknown). Also nLab clutching construction
- wikipedia: Wikipedia Clutching construction, Clutching construction (definition). Also Wikidata Q5136742
History
- 2026-10-26: add by m2/dev
Z53NB6TB05 Z53NB6TB05
| URI | m2://inv/Z53NB6TB05 |
|---|---|
| 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.13869#QZ5L (statement). In AM0K62YRZ3/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Z53P6ZG6SV Z53P6ZG6SV
| URI | m2://inv/Z53P6ZG6SV |
|---|---|
| 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.02709#FN0Q (statement). In TSM48CSQV8/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Z53SDRP6ZS Z53SDRP6ZS
| URI | m2://inv/Z53SDRP6ZS |
|---|---|
| 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.02628#V7SU (definition). In G4S9C5M1A4/e1, definition C.4
History
- 2026-10-29: add by m2/v0.4.12
History of deductive reasoning Z5409T0VM4
| URI | m2://inv/Z5409T0VM4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deductive reasoning#OLAK, History of deductive reasoning (unknown)
History
- 2026-11-02: add by m2/dev
Z5436PJC7G Z5436PJC7G
| URI | m2://inv/Z5436PJC7G |
|---|---|
| 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 2509.21444#PFH1 (statement). In CTVPA2FQT1/e1, lemma 8.4.3
History
- 2026-10-27: add by m2/v0.4.0
Completely uniformizable space Z54JQ07SGB
| URI | m2://inv/Z54JQ07SGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completely uniformizable space, Completely uniformizable space (definition). Also Wikidata Q5156537
History
- 2026-11-02: add by m2/dev
Integral Liouville Theorem Z54PJVDKGG
| URI | m2://inv/Z54PJVDKGG |
|---|---|
| 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 1808.00180#IORY, Integral Liouville Theorem (statement). In XDYCG8DVHE/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Two-term law for a fixed annular sector Z54RS36YQD
| URI | m2://inv/Z54RS36YQD |
|---|---|
| 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.19461#WLUC, Two-term law for a fixed annular sector (statement). In D5X5P2QD6A/e1, theorem 6.3
History
- 2026-10-28: add by m2/v0.4.2
Z54TFQH62R Z54TFQH62R
| URI | m2://inv/Z54TFQH62R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability-propositional.tex#prop:provability-lif (statement). In PKGMM3P5QY, prop, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
Robert Abelson Z550T8SJP3
| URI | m2://inv/Z550T8SJP3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Abelson, Robert Abelson (topic). Also Wikidata Q681576
History
- 2026-11-02: add by m2/dev
Lloyd Demetrius Z552XFRAEF
| URI | m2://inv/Z552XFRAEF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lloyd Demetrius, Lloyd Demetrius (topic). Also Wikidata Q6662390
History
- 2026-11-02: add by m2/dev
Lax 2-functor Z55E88MSJ5
| URI | m2://inv/Z55E88MSJ5 |
|---|---|
| Kind | definition |
| 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#TM66, Lax 2-functor (definition). In HX63A1PH1W/e1, definition 3.63
History
- 2026-10-28: add by m2/v0.4.3
Example run Z55EB66CWQ
| URI | m2://inv/Z55EB66CWQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Longest increasing subsequence#BP8A, Example run (example)
History
- 2026-11-02: add by m2/dev
Z55JMAEC6S Z55JMAEC6S
| URI | m2://inv/Z55JMAEC6S |
|---|---|
| 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 2608.24599#4NPO (definition). In VG8QFWTT8S/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.6
Z55MSHXB2G Z55MSHXB2G
| URI | m2://inv/Z55MSHXB2G |
|---|---|
| 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#LCE5 (statement). In AQWX60Z563/e1, lemma 4.22
History
- 2026-10-28: add by m2/v0.4.2
Z55P2J71PA Z55P2J71PA
| URI | m2://inv/Z55P2J71PA |
|---|---|
| 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.40282#9NPZ (statement). In P86RWY99S2/e1, proposition 2.1.6
History
- 2026-10-30: add by m2/v0.4.12
Heptadecagon Z55P7FW5E5
| URI | m2://inv/Z55P7FW5E5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#U8A0, Heptadecagon (definition)
History
- 2026-11-02: add by m2/dev
Formula Z55SSW7M24
| URI | m2://inv/Z55SSW7M24 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centered hexagonal number#XG8O, Formula (statement)
History
- 2026-11-02: add by m2/dev
Z55VTH239R Z55VTH239R
| URI | m2://inv/Z55VTH239R |
|---|---|
| Kind | statement |
| 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#QV8C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Charles W. Hellaby Z55WVPH5NP
| URI | m2://inv/Z55WVPH5NP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#RQ0P, Charles W. Hellaby (topic)
History
- 2026-11-02: add by m2/dev
Z55ZXND09Q Z55ZXND09Q
| URI | m2://inv/Z55ZXND09Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10206#T5P6 (statement). In 8TRCP1482Q/e1, proposition B.6
History
- 2026-10-29: add by m2/v0.4.10
Z56BSMTGGR Z56BSMTGGR
| URI | m2://inv/Z56BSMTGGR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29653#DZG2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Robert Gordon of Straloch Z56PJ44HYV
| URI | m2://inv/Z56PJ44HYV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Gordon of Straloch, Robert Gordon of Straloch (topic). Also Wikidata Q7344875
History
- 2026-11-02: add by m2/dev
Reciprocity relation Z56PS5VSDR
| URI | m2://inv/Z56PS5VSDR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact differential#BK55, Reciprocity relation (unknown)
History
- 2026-11-02: add by m2/dev
Finite group Z56PSEPHPE
| URI | m2://inv/Z56PSEPHPE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#XS53, Finite group (definition)
History
- 2026-11-02: add by m2/dev
Triangular shear measure Z56RA5W2DA
| URI | m2://inv/Z56RA5W2DA |
|---|---|
| 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.10875#L43Q, Triangular shear measure (definition). In N91F15MHW1/e1, definition 6
History
- 2026-10-28: add by m2/v0.4.3
Intrinsic volumes Z570WX5XCS
| URI | m2://inv/Z570WX5XCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics#PZHF, Intrinsic volumes (definition)
History
- 2026-11-02: add by m2/dev
Z579FMX4YQ Z579FMX4YQ
| URI | m2://inv/Z579FMX4YQ |
|---|---|
| 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.26074#1PWT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Loomis–Whitney inequality Z57CGAZRGZ
| URI | m2://inv/Z57CGAZRGZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropy (information theory)#KWG7, Loomis–Whitney inequality (statement)
History
- 2026-11-02: add by m2/dev
Z57FTXDF9J Z57FTXDF9J
| URI | m2://inv/Z57FTXDF9J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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.25289#NDR6 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Riemann mapping theorem Z57GVNTVE6
| URI | m2://inv/Z57GVNTVE6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/riemann-mapping-theorem, Riemann mapping theorem (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
Z57HNSREKK Z57HNSREKK
| URI | m2://inv/Z57HNSREKK |
|---|---|
| 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.13358#HUKV (statement). In QHT28GABDG/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Z57MAAD9HP Z57MAAD9HP
| URI | m2://inv/Z57MAAD9HP |
|---|---|
| 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 2204.13401#WPEH (statement). In B8MJT0GGW8/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.4.0
Zorn's lemma Z57N8742HN
| URI | m2://inv/Z57N8742HN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Zorn's lemma 04RXTQA5ZA |
Mentions
- wikidata: Wikidata Q290810, Zorn's lemma (statement). Also MathWorld ZornsLemma, nLab Zorn's lemma, ProofWiki Zorn's_Lemma
- wikipedia: Wikipedia Zorn's lemma, Zorn's lemma (statement). Also Wikidata Q290810
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Exponential decay Z57SJFEFGN
| URI | m2://inv/Z57SJFEFGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#368W, Exponential decay (definition)
History
- 2026-11-02: add by m2/dev
multiplicative Z57ZHKR3G4
| URI | m2://inv/Z57ZHKR3G4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#U26V, multiplicative (definition)
History
- 2026-11-02: add by m2/dev
Lambek–Moser theorem Z5816N4RBM
| URI | m2://inv/Z5816N4RBM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5STP, Lambek–Moser theorem (statement)
History
- 2026-11-02: add by m2/dev
Lily Serna Z584WQ5SWW
| URI | m2://inv/Z584WQ5SWW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6548564, Lily Serna (unknown). Also ProofWiki Mathematician:Lily_Serna
History
- 2026-10-26: add by m2/dev
A partial formulation of the strong maximum principle Z58D8YXRNK
| URI | m2://inv/Z58D8YXRNK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum principle#YKYF, A partial formulation of the strong maximum principle (statement)
History
- 2026-11-02: add by m2/dev
Strachey method for magic squares Z58EKKWDAA
| URI | m2://inv/Z58EKKWDAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strachey method for magic squares, Strachey method for magic squares (definition). Also Wikidata Q1861664
History
- 2026-11-02: add by m2/dev
$\pi_\star^G(\bKU_G)$ as an $RO(G)$-graded localization Z58JD8TMP2
| URI | m2://inv/Z58JD8TMP2 |
|---|---|
| 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.21675#XALK, $\pi_\star^G(\bKU_G)$ as an $RO(G)$-graded localization (statement). In TB1294GY5X/e1, theorem 5.17
History
- 2026-10-27: add by m2/v0.4.2
Intertwining and explicit form Z58JSV4S43
| URI | m2://inv/Z58JSV4S43 |
|---|---|
| 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.13892#6AXW, Intertwining and explicit form (statement). In HV9KKEBBDD/e1, proposition IV.10
History
- 2026-10-28: add by m2/v0.4.2
Z58W75DFKD Z58W75DFKD
| URI | m2://inv/Z58W75DFKD |
|---|---|
| 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 2510.17071#DPZW (statement). In T374KWG8AP/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.0
Examples Z596GE5RDS
| URI | m2://inv/Z596GE5RDS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nearest neighbour distribution#286L, Examples (example)
History
- 2026-11-02: add by m2/dev
Point-biserial correlation coefficient Z59F1GQNQP
| URI | m2://inv/Z59F1GQNQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4QC1, Point-biserial correlation coefficient (definition)
History
- 2026-11-02: add by m2/dev
Ruelle-Perron-Fr\"obenius, RPF Z59GCWW235
| URI | m2://inv/Z59GCWW235 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1603.00857#RW4N, Ruelle-Perron-Fr\"obenius, RPF (statement). In XT50B5RJF5/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.5
The principle of unique choice Z59P9SKHM8
| URI | m2://inv/Z59P9SKHM8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#cor:UC, The principle of unique choice (statement). In N54F33XE07, cor, section 9.9
History
- 2026-11-01: add by m2/v0.6.13
Z59TZFDVST Z59TZFDVST
| URI | m2://inv/Z59TZFDVST |
|---|---|
| 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.21781#XWHU (statement). In FEQ72D1AX6/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.4.2
Tunnell's theorem Z59TZJME24
| URI | m2://inv/Z59TZJME24 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7853325, Tunnell's theorem (statement). Also Wikidata Q7853325
- thousand_plus: thousand_plus Q7853325, Tunnell's theorem (statement). Also Wikidata Q7853325, Wikipedia Tunnell's theorem
- wikipedia: Wikipedia Tunnell's theorem, Tunnell's theorem (statement). Also Wikidata Q7853325
History
- 2026-10-26: add by m2/dev
Z5A5YX06E7 Z5A5YX06E7
| URI | m2://inv/Z5A5YX06E7 |
|---|---|
| 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#8F33 (statement). In S95MSZ7MDR/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.2
Z5A6YN6HKC Z5A6YN6HKC
| URI | m2://inv/Z5A6YN6HKC |
|---|---|
| Kind | example |
| 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.02756#LZYN (example). In GCQ5YCQQHD/e1, example 3.5
History
- 2026-10-29: add by m2/v0.4.12
Z5ADCFJ1EJ Z5ADCFJ1EJ
| URI | m2://inv/Z5ADCFJ1EJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.14097#19FN (definition). In H52QQS8WZA/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Gaetano Fichera Z5AHJKCA4N
| URI | m2://inv/Z5AHJKCA4N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaetano Fichera, Gaetano Fichera (topic). Also Wikidata Q982570
History
- 2026-11-02: add by m2/dev
Lemma Z5AJ5EEG4A
| URI | m2://inv/Z5AJ5EEG4A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levitzky's theorem#SISF, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Hermite polynomials Z5AJAXTQ7B
| URI | m2://inv/Z5AJAXTQ7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#ETBR, Hermite polynomials (definition)
History
- 2026-11-02: add by m2/dev
Directional cosine radii Z5AJM8JYNQ
| URI | m2://inv/Z5AJM8JYNQ |
|---|---|
| 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#QGZ9, Directional cosine radii (statement). In 9YAE8FNQST/e1, theorem 19.17
History
- 2026-10-30: add by m2/v0.4.12
Fourier operator Z5AKKB3SX9
| URI | m2://inv/Z5AKKB3SX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier operator, Fourier operator (definition). Also Wikidata Q5475795
History
- 2026-11-02: add by m2/dev
Coral Terrace Z5AQEXSY6V
| URI | m2://inv/Z5AQEXSY6V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#PIGW, Coral Terrace (unknown)
History
- 2026-11-02: add by m2/dev
Z5B2YS7JXK Z5B2YS7JXK
| URI | m2://inv/Z5B2YS7JXK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2307.06098#FND3 (statement). In DK1V8M7DS4/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Z5BA8KGQNP Z5BA8KGQNP
| URI | m2://inv/Z5BA8KGQNP |
|---|---|
| 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.00934#VD4N (definition). In SHCQDPCF2J/e1, definition 2.9
History
- 2026-10-29: add by m2/v0.4.12
Implementations Z5BBTW4TNX
| URI | m2://inv/Z5BBTW4TNX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reverse Polish notation#SQEW, Implementations (definition)
History
- 2026-11-02: add by m2/dev
normal Z5C9VXG3G2
| URI | m2://inv/Z5C9VXG3G2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#S33F, normal (definition)
History
- 2026-11-02: add by m2/dev
Bianchi identities Z5CA1BG2AP
| URI | m2://inv/Z5CA1BG2AP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curvature form#PIBK, Bianchi identities (unknown)
History
- 2026-11-02: add by m2/dev
Rambutan Z5CAK10BJ2
| URI | m2://inv/Z5CAK10BJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rambutan (cryptography), Rambutan (definition). Also Wikidata Q7289274
History
- 2026-11-02: add by m2/dev
Pre-small council lemma Z5CNMKBBR1
| URI | m2://inv/Z5CNMKBBR1 |
|---|---|
| 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.20391#VBF6, Pre-small council lemma (statement). In CTAS41TRM2/e1, lemma 9.7
History
- 2026-10-27: add by m2/v0.4.2
Z5CYSPDXDC Z5CYSPDXDC
| URI | m2://inv/Z5CYSPDXDC |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-24 (proof). In N54F33XE07, proof, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
bridge moments Z5D0QWSF69
| URI | m2://inv/Z5D0QWSF69 |
|---|---|
| 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.22413#CXRE, bridge moments (statement)
History
- 2026-11-02: add by m2/v0.6.17
Biclique attack Z5DCMY9KFC
| URI | m2://inv/Z5DCMY9KFC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biclique attack, Biclique attack (definition). Also Wikidata Q16937479
History
- 2026-11-02: add by m2/dev
L. Mahadevan Z5DGMKPCFZ
| URI | m2://inv/Z5DGMKPCFZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#JJM1, L. Mahadevan (topic)
History
- 2026-11-02: add by m2/dev
cubinvariant Z5DHH3PWSF
| URI | m2://inv/Z5DHH3PWSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#8LUG, cubinvariant (definition)
History
- 2026-11-02: add by m2/dev
Z5DVQKK6B2 Z5DVQKK6B2
| URI | m2://inv/Z5DVQKK6B2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.30579#38Y3 (statement). In FDYZFDHZH9/e1, lemma 2.11
History
- 2026-10-31: add by m2/v0.5.6
Loop-erased random walk Z5E220RKHK
| URI | m2://inv/Z5E220RKHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#BW3G, Loop-erased random walk (definition)
- wikipedia: Wikipedia List of probability topics#J77P, Loop-erased random walk (definition)
History
- 2026-11-02: add by m2/dev
Definition 1 Z5E8T158BT
| URI | m2://inv/Z5E8T158BT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperfinite equivalence relation#U6N6, Definition 1 (definition)
History
- 2026-11-02: add by m2/dev
Artin group Z5EA5K4P4K
| URI | m2://inv/Z5EA5K4P4K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emil Artin#SPQK, Artin group (definition)
History
- 2026-11-02: add by m2/dev
Properties Z5ECFQM9K6
| URI | m2://inv/Z5ECFQM9K6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime power#B62A, Properties (statement)
History
- 2026-11-02: add by m2/dev
Z5EGPD3S1N Z5EGPD3S1N
| URI | m2://inv/Z5EGPD3S1N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04172#IAJS (statement). In 9Q1D1NMTTS/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.12
Properties Z5EJ710G71
| URI | m2://inv/Z5EJ710G71 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene algebra#JJ25, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties Z5EW1RESNA
| URI | m2://inv/Z5EW1RESNA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overring#VQZK, Properties (statement)
History
- 2026-11-02: add by m2/dev
Abelian surface Z5EYCRYGTG
| URI | m2://inv/Z5EYCRYGTG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4666683, Abelian surface (unknown). Also EoM Abelian_surface, LMFDB knowl ag.abelian_surface
- wikipedia: Wikipedia Abelian surface, Abelian surface (definition). Also Wikidata Q4666683
History
- 2026-10-26: add by m2/dev
Z5EYK7T6KJ Z5EYK7T6KJ
| URI | m2://inv/Z5EYK7T6KJ |
|---|---|
| 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 2610.19132#6AHG (statement). In 3CQJND929F/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Z5F9NXKQZG Z5F9NXKQZG
| URI | m2://inv/Z5F9NXKQZG |
|---|---|
| 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.07897#M5GQ (statement). In 1MWYGMR6TJ/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
challenging Z5FFK2KHQZ
| URI | m2://inv/Z5FFK2KHQZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-27, challenging (exercise). In E9HS8K3A52, exercise, section 9.2.1
History
- 2026-11-01: add by m2/v0.6.13
Z5FFT5TBKE Z5FFT5TBKE
| URI | m2://inv/Z5FFT5TBKE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.01860#EYED (definition). In 8HYS0MFE25/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Vincenzo Flauti Z5FG7J127W
| URI | m2://inv/Z5FG7J127W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#S2O5, Vincenzo Flauti (topic)
History
- 2026-11-02: add by m2/dev
Applications Z5FJTHTRPC
| URI | m2://inv/Z5FJTHTRPC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Archimedean spiral#5XZP, Applications (example)
History
- 2026-11-02: add by m2/dev
21 Grams Z5FPP2JY2J
| URI | m2://inv/Z5FPP2JY2J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#C367, 21 Grams (unknown)
History
- 2026-11-02: add by m2/dev
Z5FT3PWG9D Z5FT3PWG9D
| URI | m2://inv/Z5FT3PWG9D |
|---|---|
| Kind | definition |
| 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.10558#FBTI (definition). In GYSF9JXQCH/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
Linear probability model Z5FTA4G1YD
| URI | m2://inv/Z5FTA4G1YD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UJWJ, Linear probability model (definition)
History
- 2026-11-02: add by m2/dev
Z5G4XA4PMB Z5G4XA4PMB
| URI | m2://inv/Z5G4XA4PMB |
|---|---|
| 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#B1PL (statement). In WEP0PNJW09/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
arcminute Z5GCPBRA1T
| URI | m2://inv/Z5GCPBRA1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q209426, arcminute (definition). Also EoM Minute, MathWorld ArcMinute, ProofWiki Definition:Angle/Unit/Minute
History
- 2026-10-26: add by m2/dev
Z5GTXSZ99K Z5GTXSZ99K
| URI | m2://inv/Z5GTXSZ99K |
|---|---|
| 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 2504.04729#LVBB (statement). In DCDJ82120R/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.6
Z5GW9Z8H0D Z5GW9Z8H0D
| URI | m2://inv/Z5GW9Z8H0D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.21255#M9AY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Earl Taft Z5H22BYSVV
| URI | m2://inv/Z5H22BYSVV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Earl Taft, Earl Taft (topic). Also Wikidata Q65600621
History
- 2026-11-02: add by m2/dev
CN-group Z5H2YJFZCK
| URI | m2://inv/Z5H2YJFZCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CN-group, CN-group (definition). Also Wikidata Q5013062
History
- 2026-11-02: add by m2/dev
Shape of a probability distribution Z5H5F4N18P
| URI | m2://inv/Z5H5F4N18P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shape of a probability distribution, Shape of a probability distribution (definition). Also Wikidata Q7489240
History
- 2026-11-02: add by m2/dev
Generalizations Z5H65M6C5K
| URI | m2://inv/Z5H65M6C5K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schouten–Nijenhuis bracket#MJQP, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Laurent polynomial Z5H8TF1CC7
| URI | m2://inv/Z5H8TF1CC7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1701125, Laurent polynomial (unknown). Also MathWorld LaurentPolynomial, nLab Laurent polynomial
- wikipedia: Wikipedia Laurent polynomial, Laurent polynomial (definition). Also Wikidata Q1701125
History
- 2026-10-26: add by m2/dev
Alla Nazimova Z5HDZJPPKH
| URI | m2://inv/Z5HDZJPPKH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#7MWR, Alla Nazimova (unknown)
History
- 2026-11-02: add by m2/dev
Z5HER16F1W Z5HER16F1W
| URI | m2://inv/Z5HER16F1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37606#3OYE (statement). In WNFW6GY38C/e1, proposition 7.3
History
- 2026-10-30: add by m2/v0.4.12
Z5HFEP5MFW Z5HFEP5MFW
| URI | m2://inv/Z5HFEP5MFW |
|---|---|
| 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.04069#SEUB (statement). In ZA7WXGZYWC/e1, proposition 2.12
History
- 2026-10-29: add by m2/v0.4.12
Particular solution Z5HHNFX0YP
| URI | m2://inv/Z5HHNFX0YP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinary differential equation#GHO5, Particular solution (unknown)
History
- 2026-11-02: add by m2/dev
Uniform boundedness conjecture for rational points Z5HZAXBYR4
| URI | m2://inv/Z5HZAXBYR4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform boundedness conjecture for rational points, Uniform boundedness conjecture for rational points (statement). Also Wikidata Q105821090
History
- 2026-11-02: add by m2/dev
Dr. Geo Z5JA5M8RMY
| URI | m2://inv/Z5JA5M8RMY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#9DK5, Dr. Geo (unknown)
History
- 2026-11-02: add by m2/dev
Z5JG54NRS3 Z5JG54NRS3
| URI | m2://inv/Z5JG54NRS3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.16114#HZKY (statement). In JZZ3FJ382R/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
Pi (art project) Z5JG5S1Y20
| URI | m2://inv/Z5JG5S1Y20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#C5Y0, Pi (art project) (definition)
History
- 2026-11-02: add by m2/dev
Properties Z5JG788BA2
| URI | m2://inv/Z5JG788BA2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angelescu polynomials#J004, Properties (statement)
History
- 2026-11-02: add by m2/dev
Quantum affine algebra Z5JTW165Q3
| URI | m2://inv/Z5JTW165Q3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs#INJH, Quantum affine algebra (definition)
History
- 2026-11-02: add by m2/dev
Two-replica leaf identity Z5K1R0SV5B
| URI | m2://inv/Z5K1R0SV5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#FOIU, Two-replica leaf identity (statement)
History
- 2026-11-02: add by m2/v0.6.17
Z5K65SHEX0 Z5K65SHEX0
| URI | m2://inv/Z5K65SHEX0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#proof-4 (proof). In RZP28ERRZV, proof, section 98.5
History
- 2026-11-01: add by m2/v0.6.13
Z5K8F8W5SP Z5K8F8W5SP
| URI | m2://inv/Z5K8F8W5SP |
|---|---|
| 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.20097#M6A4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Necessary Conditions for Global Minimizer of $\varphi(n)$ Z5KHDRRVZ7
| URI | m2://inv/Z5KHDRRVZ7 |
|---|---|
| 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.37489#70I5, Necessary Conditions for Global Minimizer of $\varphi(n)$ (statement). In 5ZC91T5PHQ/e1, corollary
History
- 2026-10-30: add by m2/v0.4.12
397 (number) Z5KHVKTHKD
| URI | m2://inv/Z5KHVKTHKD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#H03K, 397 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Z5KKTMVQYE Z5KKTMVQYE
| URI | m2://inv/Z5KKTMVQYE |
|---|---|
| Kind | statement |
| 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#6SQV (statement). In 8SVVEVGMNE/e1, corollary 5.3
History
- 2026-10-27: add by m2/v0.3.5
Alicia Boole Stott Z5KW3F1P1A
| URI | m2://inv/Z5KW3F1P1A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q441991, Alicia Boole Stott (unknown). Also ProofWiki Mathematician:Alicia_Boole_Stott
- wikipedia: Wikipedia Alicia Boole Stott, Alicia Boole Stott (topic). Also Wikidata Q441991
History
- 2026-10-26: add by m2/dev
Ant on a rubber rope Z5M0XKHZPP
| URI | m2://inv/Z5M0XKHZPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ant on a rubber rope, Ant on a rubber rope (definition). Also Wikidata Q4770869
History
- 2026-11-02: add by m2/dev
Alternative definitions Z5M15KX13K
| URI | m2://inv/Z5M15KX13K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary function#VEV0, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
Z5M4XD7GWG Z5M4XD7GWG
| URI | m2://inv/Z5M4XD7GWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09594#L3OB (statement). In TVE5WK2MH8/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Z5M5WBFVXP Z5M5WBFVXP
| URI | m2://inv/Z5M5WBFVXP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07608#Q097 (definition). In X8FQD4TEVG/e1, definition 3.7
History
- 2026-10-29: add by m2/v0.4.10
Fisher's exact test Z5M7YDBTBW
| URI | m2://inv/Z5M7YDBTBW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#3PLZ, Fisher's exact test (definition)
- wikipedia: Wikipedia List of statistics articles#WM4E, Fisher's exact test (definition)
History
- 2026-11-02: add by m2/dev
Daniel Schaum Z5M87XKCGC
| URI | m2://inv/Z5M87XKCGC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schaum's Outlines#MYNP, Daniel Schaum (unknown)
History
- 2026-11-02: add by m2/dev
Z5MBA12823 Z5MBA12823
| URI | m2://inv/Z5MBA12823 |
|---|---|
| Kind | conjecture |
| 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.33953#7R5L (conjecture). In QS8R9BEJ8N/e1, conjecture 1
History
- 2026-10-27: add by m2/v0.3.5
Z5MDPAPPSS Z5MDPAPPSS
| URI | m2://inv/Z5MDPAPPSS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31300#36C4 (definition). In ERHQDB8M41/e1, definition 5.1
History
- 2026-10-31: add by m2/v0.5.6
Z5MV2SFHAR Z5MV2SFHAR
| URI | m2://inv/Z5MV2SFHAR |
|---|---|
| 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 2609.37931#7MJH (statement). In J8C1EXQW86/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
The required stochastic error multiplier Z5MVTM1YFH
| URI | m2://inv/Z5MVTM1YFH |
|---|---|
| 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.15202#XOPN, The required stochastic error multiplier (statement). In X1FPG0KYBM/e1, corollary Y.2
History
- 2026-10-28: add by m2/v0.4.2
Generalization Z5MX0EX7BG
| URI | m2://inv/Z5MX0EX7BG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth completion#4QTT, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Z5N0FJNA1A Z5N0FJNA1A
| URI | m2://inv/Z5N0FJNA1A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21572#W9PY (statement). In 5TSFJEF45V/e1, proposition 1
History
- 2026-10-27: add by m2/v0.4.2
Sir William Hamilton, 9th Baronet Z5NCTA085M
| URI | m2://inv/Z5NCTA085M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sir William Hamilton, 9th Baronet, Sir William Hamilton, 9th Baronet (topic). Also Wikidata Q15474
History
- 2026-11-02: add by m2/dev
Definition Z5NF1SJRTN
| URI | m2://inv/Z5NF1SJRTN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line (geometry)#0EUW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Andrzej Alexiewicz Z5NN30NC0Z
| URI | m2://inv/Z5NN30NC0Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrzej Alexiewicz, Andrzej Alexiewicz (topic). Also Wikidata Q4759576
History
- 2026-11-02: add by m2/dev
Visual computing Z5NRERYQJC
| URI | m2://inv/Z5NRERYQJC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#66PE, Visual computing (unknown)
History
- 2026-11-02: add by m2/dev
Special Cases Z5NXRRBE8Q
| URI | m2://inv/Z5NXRRBE8Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boustrophedon transform#J1CR, Special Cases (statement)
History
- 2026-11-02: add by m2/dev
Hilbert's tenth problem Z5P0WW1JRN
| URI | m2://inv/Z5P0WW1JRN |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#5ZKI, Hilbert's tenth problem (problem)
History
- 2026-11-02: add by m2/dev
Z5P1B74ZYD Z5P1B74ZYD
| URI | m2://inv/Z5P1B74ZYD |
|---|---|
| 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.16883#SRN5 (statement). In TYS9N30M63/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
Example Z5P2P7ZA9Y
| URI | m2://inv/Z5P2P7ZA9Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropy (information theory)#W63G, Example (example)
History
- 2026-11-02: add by m2/dev
Z5P4F5ZRHE Z5P4F5ZRHE
| URI | m2://inv/Z5P4F5ZRHE |
|---|---|
| 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#MAE3 (statement). In E7W2HDNEKJ/e1, theorem 2.11
History
- 2026-10-30: add by m2/v0.4.12
Initial value problem Z5P5YJ7EMP
| URI | m2://inv/Z5P5YJ7EMP |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#K48U, Initial value problem (problem)
History
- 2026-11-02: add by m2/dev
Z5PW68A0PY Z5PW68A0PY
| URI | m2://inv/Z5PW68A0PY |
|---|---|
| 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#DW8Y (statement). In F7TDYCHCSE/e1, proposition 2.10
History
- 2026-10-27: add by m2/v0.3.5
Restricted isometry property Z5Q0QXC0CH
| URI | m2://inv/Z5Q0QXC0CH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restricted isometry property, Restricted isometry property (definition). Also Wikidata Q17099734
History
- 2026-11-02: add by m2/dev
Z5Q3ME7F6A Z5Q3ME7F6A
| URI | m2://inv/Z5Q3ME7F6A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27775#G05A (definition)
History
- 2026-11-01: add by m2/v0.6.15
Z5QG73ZT91 Z5QG73ZT91
| URI | m2://inv/Z5QG73ZT91 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#example-9 (example). In RZP28ERRZV, example, section 66.6.1
History
- 2026-11-01: add by m2/v0.6.13
Theorem Z5QMGJ5T2Y
| URI | m2://inv/Z5QMGJ5T2Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representer theorem#WOA4, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Z5QMHHSR2P Z5QMHHSR2P
| URI | m2://inv/Z5QMHHSR2P |
|---|---|
| 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.04948#3NKS (statement). In TKHA291X5N/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
Korteweg–de Vries–Burgers equation Z5QRBNTRSA
| URI | m2://inv/Z5QRBNTRSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Korteweg–de Vries–Burgers equation, Korteweg–de Vries–Burgers equation (definition). Also Wikidata Q15838210
History
- 2026-11-02: add by m2/dev
57-cell Z5QSH0JVSY
| URI | m2://inv/Z5QSH0JVSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4640774, 57-cell (unknown). Also MathWorld 57-Cell
- wikipedia: Wikipedia 57-cell, 57-cell (definition). Also Wikidata Q4640774
History
- 2026-10-26: add by m2/dev
Bienvenido Nebres Z5QT7BEN41
| URI | m2://inv/Z5QT7BEN41 |
|---|---|
| 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#LZCK, Bienvenido Nebres (unknown)
History
- 2026-11-02: add by m2/dev
Z5QT8XYZ18 Z5QT8XYZ18
| URI | m2://inv/Z5QT8XYZ18 |
|---|---|
| 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.12188#LRDL (statement). In 52HWCGK5QJ/e1, theorem 3.7
History
- 2026-10-28: add by m2/v0.4.2
Z5QW7041GS Z5QW7041GS
| URI | m2://inv/Z5QW7041GS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20593#J2ON (definition). In 7GMD8J4200/e1, definition 11
History
- 2026-10-27: add by m2/v0.4.2
Example Z5R0EZ3HHP
| URI | m2://inv/Z5R0EZ3HHP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bergman's diamond lemma#GNQG, Example (example)
History
- 2026-11-02: add by m2/dev
Quantile-parameterized distribution Z5R2KHFN5M
| URI | m2://inv/Z5R2KHFN5M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#T1RC, Quantile-parameterized distribution (definition)
History
- 2026-11-02: add by m2/dev
Pythagorean quadruple Z5R3KZJGHA
| URI | m2://inv/Z5R3KZJGHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7263849, Pythagorean quadruple (unknown). Also MathWorld PythagoreanQuadruple
- wikipedia: Wikipedia Pythagorean quadruple, Pythagorean quadruple (definition). Also Wikidata Q7263849
History
- 2026-10-26: add by m2/dev
Uniformization theorem Z5R4FRCAYJ
| URI | m2://inv/Z5R4FRCAYJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#L0ER, Uniformization theorem (statement)
- wikipedia: Wikipedia List of differential geometry topics#T9WQ, Uniformization theorem (statement)
History
- 2026-11-02: add by m2/dev
314 (number) Z5R5KS1C7A
| URI | m2://inv/Z5R5KS1C7A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#22OO, 314 (number) (unknown)
History
- 2026-11-02: add by m2/dev
List of dynamical systems and differential equations topics Z5R5VSMP0Q
| URI | m2://inv/Z5R5VSMP0Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#X5FC, List of dynamical systems and differential equations topics (topic)
History
- 2026-11-02: add by m2/dev
Z5RFWWNVVA Z5RFWWNVVA
| URI | m2://inv/Z5RFWWNVVA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 60-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.07679#2EB6 (statement). In K8JMTRS42G/e1, lemma 7.4
History
- 2026-10-29: add by m2/v0.4.10
Institute of Mathematics and its Applications Z5S4N9P64P
| URI | m2://inv/Z5S4N9P64P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#088U, Institute of Mathematics and its Applications (definition)
History
- 2026-11-02: add by m2/dev
Z5S4R5TFZC Z5S4R5TFZC
| URI | m2://inv/Z5S4R5TFZC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-19 (exercise). In E59CDZA4DP, exercise, section 11.2.4
History
- 2026-11-01: add by m2/v0.6.13
Z5S5GQRHBM Z5S5GQRHBM
| URI | m2://inv/Z5S5GQRHBM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28848#XHD5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statistics Austria Z5S6CRPER7
| URI | m2://inv/Z5S6CRPER7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistics Austria, Statistics Austria (definition). Also Wikidata Q358870
History
- 2026-11-02: add by m2/dev
Anselin, Luc Z5SEMF6DG9
| URI | m2://inv/Z5SEMF6DG9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ZSU3, Anselin, Luc (topic)
History
- 2026-11-02: add by m2/dev
Z5SG913YVB Z5SG913YVB
| URI | m2://inv/Z5SG913YVB |
|---|---|
| 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 2306.08237#DILI (statement). In E22A2MFR4Y/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.6
Cost of soft-information compression Z5SKXZW7YZ
| URI | m2://inv/Z5SKXZW7YZ |
|---|---|
| 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 2609.29688#5IA6, Cost of soft-information compression (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dipole antenna Z5SP7CSYTK
| URI | m2://inv/Z5SP7CSYTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dipole antenna, Dipole antenna (definition). Also Wikidata Q1126859
History
- 2026-11-02: add by m2/dev
Z5SSA307XQ Z5SSA307XQ
| URI | m2://inv/Z5SSA307XQ |
|---|---|
| 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 2610.18016#OE5O (statement). In V5PVKDKGGG/e1, corollary 4.11
History
- 2026-10-28: add by m2/v0.4.2
Z5SXWNY699 Z5SXWNY699
| URI | m2://inv/Z5SXWNY699 |
|---|---|
| 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.19852#HN1V (statement). In SPW2D8X2PG/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
\S 1 Proposition 3.2 Z5SZRD2N67
| URI | m2://inv/Z5SZRD2N67 |
|---|---|
| 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.08434#X0HV, \S 1 Proposition 3.2 (statement). In VN8087G2FC/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
Skeletal Informativeness Z5T0A2DKDA
| URI | m2://inv/Z5T0A2DKDA |
|---|---|
| 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 2610.01937#AP57, Skeletal Informativeness (statement). In BAEDMM7YM5/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.12
Z5T1ZM1QA6 Z5T1ZM1QA6
| URI | m2://inv/Z5T1ZM1QA6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29925#ST6B (example)
History
- 2026-11-01: add by m2/v0.6.15
Hopf fibration Z5TCH94R2B
| URI | m2://inv/Z5TCH94R2B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.5.3/hopf-fibration, Hopf fibration (concept). In N54F33XE07, index, section 7.5.3
History
- 2026-11-01: add by m2/v0.6.13
Z5TGB9CNFD Z5TGB9CNFD
| URI | m2://inv/Z5TGB9CNFD |
|---|---|
| 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.22311#CXGR (statement)
History
- 2026-11-02: add by m2/v0.6.17
Information bounds Z5TQPD0CAP
| URI | m2://inv/Z5TQPD0CAP |
|---|---|
| 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 2610.10080#BLDX, Information bounds (statement). In N6EBNRZCYX/e1, lemma A.13
History
- 2026-10-29: add by m2/v0.4.10
Z5TSFY3WXN Z5TSFY3WXN
| URI | m2://inv/Z5TSFY3WXN |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pure type system#FEU1 (problem)
History
- 2026-11-02: add by m2/dev
Scalar autocorrelation at the reference time Z5TTTT63WP
| URI | m2://inv/Z5TTTT63WP |
|---|---|
| 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.16351#LEB7, Scalar autocorrelation at the reference time (statement). In 1QSV7EQE3T/e1, lemma S84
History
- 2026-10-28: add by m2/v0.4.2
Théophile Lepage Z5V10084AW
| URI | m2://inv/Z5V10084AW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Théophile Lepage, Théophile Lepage (topic). Also Wikidata Q20811168
History
- 2026-11-02: add by m2/dev
Z5V25ZY3C2 Z5V25ZY3C2
| URI | m2://inv/Z5V25ZY3C2 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39347#8IZO (problem). In KBBA2FKDBH/e1, problem 7.2
History
- 2026-10-30: add by m2/v0.4.12
Properties Z5V5ATF61C
| URI | m2://inv/Z5V5ATF61C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virasoro group#IXIF, Properties (statement)
History
- 2026-11-02: add by m2/dev
Z5V6DSN5JQ Z5V6DSN5JQ
| URI | m2://inv/Z5V6DSN5JQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04000#8O0I (statement). In CBCCH5VTMQ/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Z5VA5VX685 Z5VA5VX685
| URI | m2://inv/Z5VA5VX685 |
|---|---|
| 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.15720#I7OP (statement). In VNN52G3BRE/e1, theorem B.10
History
- 2026-10-28: add by m2/v0.4.2
Zhen Luan Z5VAXT0JBY
| URI | m2://inv/Z5VAXT0JBY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#82KN, Zhen Luan (topic)
History
- 2026-11-02: add by m2/dev
Modulus $3$ Z5VEX4X3ZV
| URI | m2://inv/Z5VEX4X3ZV |
|---|---|
| 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.37754#JZAS, Modulus $3$ (statement). In 3HPFAQKBEM/e1, corollary 9.1
History
- 2026-10-30: add by m2/v0.4.12
Card catalog Z5VH51MJVQ
| URI | m2://inv/Z5VH51MJVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Card catalog (cryptology), Card catalog (definition). Also Wikidata Q5038201
History
- 2026-11-02: add by m2/dev
Z5VK48B2WH Z5VK48B2WH
| URI | m2://inv/Z5VK48B2WH |
|---|---|
| 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 2609.30444#2L8K (example). In RZWJ0AT8W5/e1, example 2.7
History
- 2026-10-31: add by m2/v0.5.6
Fürer's algorithm Z5VMSTWYDK
| URI | m2://inv/Z5VMSTWYDK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplication algorithm#TLRJ, Fürer's algorithm (unknown)
History
- 2026-11-02: add by m2/dev
The two-loop graph groupoid Z5VNADEADF
| URI | m2://inv/Z5VNADEADF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#NPKP, The two-loop graph groupoid (example). In 4WPYBTARS2/e1, example 6.7
History
- 2026-10-29: add by m2/v0.4.12
Z5VWYH08N8 Z5VWYH08N8
| URI | m2://inv/Z5VWYH08N8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 62.4
History
- 2026-11-01: add by m2/v0.6.13
Marion Cohen Z5W9ANN0NV
| URI | m2://inv/Z5W9ANN0NV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#YUK9, Marion Cohen (unknown)
History
- 2026-11-02: add by m2/dev
Corollary Z5WA9Z2S43
| URI | m2://inv/Z5WA9Z2S43 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theorem on formal functions#FRXF, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Lindelöf's theorem Z5WSFDVF0S
| URI | m2://inv/Z5WSFDVF0S |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4454973, Lindelöf's theorem (statement). Also Wikidata Q4454973
- thousand_plus: thousand_plus Q4454973, Lindelöf's theorem (statement). Also Wikidata Q4454973, Wikipedia Lindelöf's theorem
- wikipedia: Wikipedia Lindelöf's theorem, Lindelöf's theorem (statement). Also Wikidata Q4454973
History
- 2026-10-26: add by m2/dev
Penrose–Hawking singularity theorems Z5WXPEG15Z
| URI | m2://inv/Z5WXPEG15Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1452678, Penrose–Hawking singularity theorems (statement). Also Wikidata Q1452678
- thousand_plus: thousand_plus Q1452678, Penrose–Hawking singularity theorems (statement). Also Wikidata Q1452678, Wikipedia Penrose–Hawking singularity theorems
- wikipedia: Wikipedia Penrose–Hawking singularity theorems, Penrose–Hawking singularity theorems (statement). Also Wikidata Q1452678
History
- 2026-10-26: add by m2/dev
symmetric groups Z5WZSVK7Z9
| URI | m2://inv/Z5WZSVK7Z9 |
|---|---|
| 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.07508#Z0VF, symmetric groups (example). In TPA3E67MKK/e1, example 9.15
History
- 2026-10-29: add by m2/v0.4.10
Pooling equilibrium Z5XCFQKV1W
| URI | m2://inv/Z5XCFQKV1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pooling equilibrium, Pooling equilibrium (definition). Also Wikidata Q25100357
History
- 2026-11-02: add by m2/dev
Z5XD9GK3VH Z5XD9GK3VH
| URI | m2://inv/Z5XD9GK3VH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#D0YV (definition). In VN084GGZGK/e1, definition 4.3
History
- 2026-10-28: add by m2/v0.4.3
Z5XDW8FP9D Z5XDW8FP9D
| URI | m2://inv/Z5XDW8FP9D |
|---|---|
| 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#LVB3 (definition). In J1VCHM6V0S/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.10
MINQUE Z5XGF9CPKN
| URI | m2://inv/Z5XGF9CPKN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MINQUE, MINQUE (topic). Also Wikidata Q6716177
History
- 2026-11-02: add by m2/dev
Definition Z5XQQ0XWVD
| URI | m2://inv/Z5XQQ0XWVD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel's β function#5MPC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Laplace filter Z5XWCQWHFE
| URI | m2://inv/Z5XWCQWHFE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Laplace operator#NW0F, Laplace filter (unknown)
History
- 2026-11-02: add by m2/dev
Z5XXX5CR4C Z5XXX5CR4C
| URI | m2://inv/Z5XXX5CR4C |
|---|---|
| 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#76N5 (statement). In CC6S1HVK0T/e1, lemma E.15
History
- 2026-10-28: add by m2/v0.4.2
Z5XYBCZMEJ Z5XYBCZMEJ
| URI | m2://inv/Z5XYBCZMEJ |
|---|---|
| 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#09LZ (statement). In XBAXW1YBAK/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
Z5Y1JJF9KS Z5Y1JJF9KS
| URI | m2://inv/Z5Y1JJF9KS |
|---|---|
| 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.17875#HVRV (statement). In AQX7DGD360/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
Z5Y37GNNB8 Z5Y37GNNB8
| URI | m2://inv/Z5Y37GNNB8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/categories.tex#exercise-7 (exercise). In RZP28ERRZV, exercise, section 36.5
History
- 2026-11-01: add by m2/v0.6.13
Goldie's theorem Z5Y3H0TB1Q
| URI | m2://inv/Z5Y3H0TB1Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncommutative ring#69OU, Goldie's theorem (statement)
History
- 2026-11-02: add by m2/dev
Yuri Matiyasevich Z5Y3Q5VY83
| URI | m2://inv/Z5Y3Q5VY83 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#640D, Yuri Matiyasevich (topic)
History
- 2026-11-02: add by m2/dev
Examples Z5Y6Y8TB68
| URI | m2://inv/Z5Y6Y8TB68 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slow manifold#5HKQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Z5Y93XHVQ6 Z5Y93XHVQ6
| URI | m2://inv/Z5Y93XHVQ6 |
|---|---|
| Kind | conjecture |
| 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 2208.07784#3NC1 (conjecture). In X0GJCD9768/e1, conjecture 2.3
History
- 2026-10-27: add by m2/v0.4.0
The Coefficient Algorithm via Interpolation Z5YD0P3QV8
| URI | m2://inv/Z5YD0P3QV8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#3LOB, The Coefficient Algorithm via Interpolation (definition). In 68AE571S4P/e1, definition 4.12
History
- 2026-10-29: add by m2/v0.4.10
Definition Z5YQ95M4MV
| URI | m2://inv/Z5YQ95M4MV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Change of fiber#045U, Definition (definition)
History
- 2026-11-02: add by m2/dev
Z5YSSRMKTA Z5YSSRMKTA
| URI | m2://inv/Z5YSSRMKTA |
|---|---|
| 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 2507.05923#LKF9 (statement). In ZFKZ6YDT62/e1, lemma 4
History
- 2026-10-27: add by m2/v0.4.0
Cubic fourfolds Z5YTKQTNNJ
| URI | m2://inv/Z5YTKQTNNJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#WV6Z, Cubic fourfolds (example)
History
- 2026-11-02: add by m2/v0.6.17
Axioms Z5Z8A96NJJ
| URI | m2://inv/Z5Z8A96NJJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine space#VGW9, Axioms (statement)
History
- 2026-11-02: add by m2/dev
Z5Z9BSA6K4 Z5Z9BSA6K4
| URI | m2://inv/Z5Z9BSA6K4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-52 (exercise). In E59CDZA4DP, exercise, section 5.6.1
History
- 2026-11-01: add by m2/v0.6.13
2E6 Z5Z9VT5JEB
| URI | m2://inv/Z5Z9VT5JEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2E6 (mathematics), 2E6 (definition). Also Wikidata Q4633096
History
- 2026-11-02: add by m2/dev
Z5ZJ2P26AK Z5ZJ2P26AK
| URI | m2://inv/Z5ZJ2P26AK |
|---|---|
| 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.00512#4UYI (statement). In RB5QBG3MJY/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
Z5ZNG83HK1 Z5ZNG83HK1
| URI | m2://inv/Z5ZNG83HK1 |
|---|---|
| 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.35404#D4LN (statement). In DH84PYVRCF/e1, proposition 4.8
History
- 2026-10-30: add by m2/v0.4.12
The Hausdorff axiom Z5ZSK1C8PF
| URI | m2://inv/Z5ZSK1C8PF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological manifold#VOGH, The Hausdorff axiom (statement)
History
- 2026-11-02: add by m2/dev
Bochner's tube theorem Z5ZW2T5R5Q
| URI | m2://inv/Z5ZW2T5R5Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WWHO, Bochner's tube theorem (statement)
History
- 2026-11-02: add by m2/dev
Z5ZXPK3TE4 Z5ZXPK3TE4
| URI | m2://inv/Z5ZXPK3TE4 |
|---|---|
| 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.30637#4H56 (definition). In 6G1KBA0SXV/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
Sind ibn Ali Z5ZY8E30RA
| URI | m2://inv/Z5ZY8E30RA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#SV24, Sind ibn Ali (topic)
History
- 2026-11-02: add by m2/dev