Inventory rows 47
The cards of the rows of the inventory whose ids start with 47. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
algebraic function field 47016N15CG
| URI | m2://inv/47016N15CG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4724000, algebraic function field (unknown). Also MathWorld FunctionField
- wikipedia: Wikipedia Algebraic function field, Algebraic function field (definition). Also Wikidata Q4724000
History
- 2026-10-26: add by m2/dev
4709HF2Q0V 4709HF2Q0V
| URI | m2://inv/4709HF2Q0V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#XIZ5 (statement). In SVJYA0171G/e1, corollary 6.11
History
- 2026-10-30: add by m2/v0.4.12
470GEEB65H 470GEEB65H
| URI | m2://inv/470GEEB65H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20410#FQO0 (statement)
History
- 2026-11-02: add by m2/v0.6.18
470KAZ8CN4 470KAZ8CN4
| URI | m2://inv/470KAZ8CN4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23544#UH61 (statement)
History
- 2026-11-02: add by m2/v0.6.17
August 470SPK6VQ2
| URI | m2://inv/470SPK6VQ2 |
|---|---|
| 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 Q122, August (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Birthday/August
History
- 2026-10-26: add by m2/dev
Digital watermarking 470VV8RKYP
| URI | m2://inv/470VV8RKYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital watermarking, Digital watermarking (definition). Also Wikidata Q875932
History
- 2026-11-02: add by m2/dev
King Christian IX Land 470XRE1QD2
| URI | m2://inv/470XRE1QD2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#X6RL, King Christian IX Land (unknown)
History
- 2026-11-02: add by m2/dev
Ludwig Bieberbach 4711GGD9FW
| URI | m2://inv/4711GGD9FW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludwig Bieberbach, Ludwig Bieberbach (topic). Also Wikidata Q65202
History
- 2026-11-02: add by m2/dev
Modified Fort space 4717YF6N99
| URI | m2://inv/4717YF6N99 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fort space#6847, Modified Fort space (unknown)
History
- 2026-11-02: add by m2/dev
Synchronous rigidity in the colored models 47187QEP2C
| URI | m2://inv/47187QEP2C |
|---|---|
| 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.17677#TH49, Synchronous rigidity in the colored models (statement). In 5E9G06XJKC/e1, lemma E.14
History
- 2026-10-28: add by m2/v0.4.2
471A0NX7RX 471A0NX7RX
| URI | m2://inv/471A0NX7RX |
|---|---|
| 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 2609.39246#QDXT (statement). In FVK0J9CFEF/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
Kruskal–Wallis test 471E8Y5J79
| URI | m2://inv/471E8Y5J79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kruskal–Wallis test, Kruskal–Wallis test (definition). Also Wikidata Q1790302
History
- 2026-11-02: add by m2/dev
Definition 471RKMX65H
| URI | m2://inv/471RKMX65H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gromov–Witten invariant#D8G2, Definition (definition)
History
- 2026-11-02: add by m2/dev
471TED83C1 471TED83C1
| URI | m2://inv/471TED83C1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26479#NE7Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
471VWJX0ZF 471VWJX0ZF
| URI | m2://inv/471VWJX0ZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#H6KP (statement). In F71MS1F637/e1, corollary 4.10
History
- 2026-10-30: add by m2/v0.4.12
Elementary properties of erosion 471YAV8ZYP
| URI | m2://inv/471YAV8ZYP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25987#AFS0, Elementary properties of erosion (statement)
History
- 2026-11-01: add by m2/v0.6.15
Increasing process 471ZETPXWQ
| URI | m2://inv/471ZETPXWQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TNTU, Increasing process (definition)
- wikipedia: Wikipedia List of probability topics#3UQG, Increasing process (definition)
History
- 2026-11-02: add by m2/dev
Mantel's theorem 4721N4QVHG
| URI | m2://inv/4721N4QVHG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turán's theorem#KSYR, Mantel's theorem (statement)
History
- 2026-11-02: add by m2/dev
Special cases 4723J28G03
| URI | m2://inv/4723J28G03 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trapezoid#WPGS, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Burkholder–Davis–Gundy inequalities 4725E51DFT
| URI | m2://inv/4725E51DFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#VQMF, Burkholder–Davis–Gundy inequalities (definition)
History
- 2026-11-02: add by m2/dev
G/G/1 queue 472CTF8DKS
| URI | m2://inv/472CTF8DKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IZW8, G/G/1 queue (definition)
History
- 2026-11-02: add by m2/dev
472E3KMV7M 472E3KMV7M
| URI | m2://inv/472E3KMV7M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#KI54 (statement). In SBZNH932ZV/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
Generalized Dirichlet distribution 472G7XC71H
| URI | m2://inv/472G7XC71H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XXSC, Generalized Dirichlet distribution (definition)
History
- 2026-11-02: add by m2/dev
472N49FEHR 472N49FEHR
| URI | m2://inv/472N49FEHR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_kitchensink_online.ptx#thm_olforest (statement). In QKM9DD2H56, theorem, section 16.1
History
- 2026-11-01: add by m2/v0.6.13
472NHRXZAF 472NHRXZAF
| URI | m2://inv/472NHRXZAF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#definition-1 (definition). In RZP28ERRZV, definition, section 98.1
History
- 2026-11-01: add by m2/v0.6.13
472R5ZRTG0 472R5ZRTG0
| URI | m2://inv/472R5ZRTG0 |
|---|---|
| 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.37425#80AM (statement). In E02TSC01RN/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
Characterization 472WV08G3M
| URI | m2://inv/472WV08G3M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ptolemaic graph#6R8T, Characterization (statement)
History
- 2026-11-02: add by m2/dev
metric function 472YK7XHHJ
| URI | m2://inv/472YK7XHHJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q865746, metric function (definition). Also MathWorld Metric, ProofWiki Definition:Metric_Space/Distance_Function
History
- 2026-10-26: add by m2/dev
Properties 4731RBPV14
| URI | m2://inv/4731RBPV14 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard manifold#4Y94, Properties (statement)
History
- 2026-11-02: add by m2/dev
Random function 4732056AHB
| URI | m2://inv/4732056AHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#EBKP, Random function (definition)
History
- 2026-11-02: add by m2/dev
Dominance drawing 4738YM86D2
| URI | m2://inv/4738YM86D2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominance drawing, Dominance drawing (definition). Also Wikidata Q17010997
History
- 2026-11-02: add by m2/dev
Mark Krein 473ABQKQMD
| URI | m2://inv/473ABQKQMD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#PKQN, Mark Krein (topic)
History
- 2026-11-02: add by m2/dev
473HJF74TZ 473HJF74TZ
| URI | m2://inv/473HJF74TZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23119#UO08 (statement)
History
- 2026-11-02: add by m2/v0.6.17
47457895NC 47457895NC
| URI | m2://inv/47457895NC |
|---|---|
| Kind | example |
| 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#UCDL (example). In VJTRH1S4JA/e1, example 3.22
History
- 2026-10-28: add by m2/v0.4.2
47493P4YRD 47493P4YRD
| URI | m2://inv/47493P4YRD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-paths.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
Homogenization 474E33ER3R
| URI | m2://inv/474E33ER3R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogenization (climate), Homogenization (definition). Also Wikidata Q17030643
History
- 2026-11-02: add by m2/dev
Properties 474GZ8CYHS
| URI | m2://inv/474GZ8CYHS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tanaka's formula#ZKYQ, Properties (statement)
History
- 2026-11-02: add by m2/dev
474KYEZMT3 474KYEZMT3
| URI | m2://inv/474KYEZMT3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31304#6FOD (statement). In 3YK9MDW1D2/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
474RX7Q3E1 474RX7Q3E1
| URI | m2://inv/474RX7Q3E1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_solving.ptx#ex_recurrence_ternary-strings-no-20-solved (example). In QKM9DD2H56, example, section 9.4.1
History
- 2026-11-01: add by m2/v0.6.13
Vince Fong 474VWN8TR5
| URI | m2://inv/474VWN8TR5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#SOD7, Vince Fong (unknown)
History
- 2026-11-02: add by m2/dev
William G. Unruh 474YG7FPP2
| URI | m2://inv/474YG7FPP2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#LTAE, William G. Unruh (unknown)
History
- 2026-11-02: add by m2/dev
474ZGVVC35 474ZGVVC35
| URI | m2://inv/474ZGVVC35 |
|---|---|
| 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.30323#S75J (statement). In HDJ6N25XVT/e1, theorem 6.4
History
- 2026-10-31: add by m2/v0.5.6
Topological Boolean algebra 4751WPW6ZS
| URI | m2://inv/4751WPW6ZS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#UD9C, Topological Boolean algebra (unknown)
History
- 2026-11-02: add by m2/dev
Polytropic atmosphere 4758N5FD3Y
| URI | m2://inv/4758N5FD3Y |
|---|---|
| Kind | example |
| 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#H0KL, Polytropic atmosphere (example). In G4S9C5M1A4/e1, example 2.1
History
- 2026-10-29: add by m2/v0.4.12
Fisher's inequality 475AHVFQFC
| URI | m2://inv/475AHVFQFC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher's inequality, Fisher's inequality (statement). Also Wikidata Q5454735
History
- 2026-11-02: add by m2/dev
475FPT1PQA 475FPT1PQA
| URI | m2://inv/475FPT1PQA |
|---|---|
| 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.20207#00BX (statement). In 1MPH7GCFJ2/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.4.2
475M4XD9PY 475M4XD9PY
| URI | m2://inv/475M4XD9PY |
|---|---|
| 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 2312.06581#CKHQ (definition). In WXJ2V3HA2R/e1, definition E.6
History
- 2026-10-27: add by m2/v0.3.5
475SGPBGJC 475SGPBGJC
| URI | m2://inv/475SGPBGJC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2301.04933#F6AF (definition). In Q70CTMCJTP/e1, definition 3.25
History
- 2026-10-27: add by m2/v0.3.5
Theorem 475T4D6KHP
| URI | m2://inv/475T4D6KHP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tsirelson's stochastic differential equation#MJ0Z, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Re-proof of Schr\"oder-Bernstein 4761D70R7X
| URI | m2://inv/4761D70R7X |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/cardsasords.tex#proof-3, Re-proof of Schr\"oder-Bernstein (proof). In PKGMM3P5QY, proof, section 70.1
History
- 2026-11-01: add by m2/v0.6.13
47690D80F1 47690D80F1
| URI | m2://inv/47690D80F1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/localization.tex#definition-1 (definition). In RZP28ERRZV, definition, section 21.2
History
- 2026-11-01: add by m2/v0.6.13
4769BGFV2S 4769BGFV2S
| URI | m2://inv/4769BGFV2S |
|---|---|
| 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.17258#BN6A (statement). In F4M67ZVBF2/e1, lemma 1.3
History
- 2026-10-28: add by m2/v0.4.2
Symplectic type 476C7EZM26
| URI | m2://inv/476C7EZM26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10017#SC3E, Symplectic type (statement). In CJRBKR4JKT/e1, proposition 7.9
History
- 2026-10-29: add by m2/v0.4.10
Pseudo-marginal Metropolis–Hastings algorithm 476E9P0YP4
| URI | m2://inv/476E9P0YP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-marginal Metropolis–Hastings algorithm, Pseudo-marginal Metropolis–Hastings algorithm (definition). Also Wikidata Q55630732
History
- 2026-11-02: add by m2/dev
476EEE24CD 476EEE24CD
| URI | m2://inv/476EEE24CD |
|---|---|
| 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.13030#YANJ (statement). In 6NZ0YS5MJ7/e1, theorem III.2
History
- 2026-10-28: add by m2/v0.4.2
Forward–backward algorithm 476K9GY7CM
| URI | m2://inv/476K9GY7CM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#G9MA, Forward–backward algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Coarse space 476XQZG3MD
| URI | m2://inv/476XQZG3MD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coarse space (numerical analysis), Coarse space (definition). Also Wikidata Q5138064
History
- 2026-11-02: add by m2/dev
476Y9BFP6A 476Y9BFP6A
| URI | m2://inv/476Y9BFP6A |
|---|---|
| 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.05327#KADS (statement). In ZD7BWDKT84/e1, corollary 9.8
History
- 2026-10-29: add by m2/v0.4.10
Box–Muller transform 47722YQ3BQ
| URI | m2://inv/47722YQ3BQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QMMM, Box–Muller transform (definition)
- wikipedia: Wikipedia List of probability topics#IBPH, Box–Muller transform (definition)
- wikipedia: Wikipedia List of transforms#0NAK, Box–Muller transform (definition)
History
- 2026-11-02: add by m2/dev
Cheeger constant 4774HQKDKA
| URI | m2://inv/4774HQKDKA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#39UE, Cheeger constant (definition)
History
- 2026-11-02: add by m2/dev
Moses Schönfinkel 4779EM9NKW
| URI | m2://inv/4779EM9NKW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#DW7B, Moses Schönfinkel (topic)
History
- 2026-11-02: add by m2/dev
477GYPA7Y8 477GYPA7Y8
| URI | m2://inv/477GYPA7Y8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.00134#9IA3 (definition). In S654779J5P/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
477JFPH3CZ 477JFPH3CZ
| URI | m2://inv/477JFPH3CZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-3-2-1.xml#act-3-2-1 (exercise). In 907G4C4EJ1, activity, section 3.2.2
History
- 2026-11-01: add by m2/v0.6.13
Gluck twist 477NAR5R9E
| URI | m2://inv/477NAR5R9E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exotic sphere#X9WL, Gluck twist (unknown)
History
- 2026-11-02: add by m2/dev
Tsuruichi Hayashi 477XS8C86Z
| URI | m2://inv/477XS8C86Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tsuruichi Hayashi, Tsuruichi Hayashi (topic). Also Wikidata Q7850281
History
- 2026-11-02: add by m2/dev
477Y6F4SJ4 477Y6F4SJ4
| URI | m2://inv/477Y6F4SJ4 |
|---|---|
| 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 2311.01874#0W0L (statement). In A4TR95VGX2/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
predicate functor logic 4780AGG0GV
| URI | m2://inv/4780AGG0GV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#OT7B, predicate functor logic (definition)
History
- 2026-11-02: add by m2/dev
Local spectral upper bound 4784MM769T
| URI | m2://inv/4784MM769T |
|---|---|
| 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.16668#C6UO, Local spectral upper bound (statement). In W7GPN2AHHM/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
cohesive 47856P5XJE
| URI | m2://inv/47856P5XJE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#QM20, cohesive (definition)
History
- 2026-11-02: add by m2/dev
Computational complexity of polygon triangulation 4785XF4YK5
| URI | m2://inv/4785XF4YK5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polygon triangulation#MSMG, Computational complexity of polygon triangulation (unknown)
History
- 2026-11-02: add by m2/dev
Interacting components 478AWF26WC
| URI | m2://inv/478AWF26WC |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 14-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19669#5BTN, Interacting components (problem). In 1QPAA94Q76/e1, problem 3
History
- 2026-10-28: add by m2/v0.4.2
478FX93YDG 478FX93YDG
| URI | m2://inv/478FX93YDG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/fourier.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 59.3.1
History
- 2026-11-01: add by m2/v0.6.13
478QHQDPX5 478QHQDPX5
| URI | m2://inv/478QHQDPX5 |
|---|---|
| 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.07546#6FEE (statement). In H9YE46CGFN/e1, fact 5
History
- 2026-10-29: add by m2/v0.4.10
478TJMFVZP 478TJMFVZP
| URI | m2://inv/478TJMFVZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37252#8LPU (statement). In E3EK0ESPA7/e1, corollary 4.4
History
- 2026-10-30: add by m2/v0.4.12
478W9H4TBA 478W9H4TBA
| URI | m2://inv/478W9H4TBA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37706#2CZ8 (statement). In 6YY27KRJFN/e1, lemma 6.18
History
- 2026-10-30: add by m2/v0.4.12
amicable numbers 478XTN2TT7
| URI | m2://inv/478XTN2TT7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117927, amicable numbers (concept). Also MathWorld AmicablePair
- wikipedia: Wikipedia Amicable numbers, Amicable numbers (definition). Also Wikidata Q117927
History
- 2026-10-26: add by m2/dev
479D6VVW6C 479D6VVW6C
| URI | m2://inv/479D6VVW6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11048#9UGE (statement). In H6TK4V0YVQ/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.3
Vaidya metric 479NRCPKXJ
| URI | m2://inv/479NRCPKXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vaidya metric, Vaidya metric (definition). Also Wikidata Q7908710
History
- 2026-11-02: add by m2/dev
Definition 479RA18DT0
| URI | m2://inv/479RA18DT0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection (mathematics)#7IY7, Definition (definition)
History
- 2026-11-02: add by m2/dev
479T5R0C95 479T5R0C95
| URI | m2://inv/479T5R0C95 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34020#ZI4L (statement). In DAMYG8BFAK/e1, lemma 4.10
History
- 2026-10-30: add by m2/v0.4.12
479TAMH61J 479TAMH61J
| URI | m2://inv/479TAMH61J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32903#ZYB4 (statement). In S8NB83KQX3/e1, lemma 19
History
- 2026-10-31: add by m2/v0.5.6
47A0CY5C2D 47A0CY5C2D
| URI | m2://inv/47A0CY5C2D |
|---|---|
| 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 0902.4887#3INE (statement). In MYQ05J9R20/e1, theorem 2.13
History
- 2026-10-27: add by m2/v0.3.5
Statements of the lemma (symmetric version) 47AB3EP7XF
| URI | m2://inv/47AB3EP7XF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lovász local lemma#5Y49, Statements of the lemma (symmetric version) (statement)
History
- 2026-11-02: add by m2/dev
One-sided observables 47AP0Y378C
| URI | m2://inv/47AP0Y378C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27752#17IE, One-sided observables (definition)
History
- 2026-11-01: add by m2/v0.6.15
Conics 47AR8Z9E0P
| URI | m2://inv/47AR8Z9E0P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3828633, Conics (unknown). Also ProofWiki Book:Apollonius_of_Perga/Conics
History
- 2026-10-26: add by m2/dev
Liliana Forzani 47ARSM045G
| URI | m2://inv/47ARSM045G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liliana Forzani, Liliana Forzani (topic). Also Wikidata Q102244025
History
- 2026-11-02: add by m2/dev
Einstein notation 47B9K8V7J0
| URI | m2://inv/47B9K8V7J0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#1Z6C, Einstein notation (definition)
History
- 2026-11-02: add by m2/dev
\textsc{Consistency Of $k$-Local Density Matrices 47BA7E40CN
| URI | m2://inv/47BA7E40CN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#5XQQ, \textsc{Consistency Of $k$-Local Density Matrices (definition)
History
- 2026-11-01: add by m2/v0.6.15
Heyde theorem 47BTKTZWVE
| URI | m2://inv/47BTKTZWVE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heyde theorem, Heyde theorem (statement). Also Wikidata Q56375782
History
- 2026-11-02: add by m2/dev
Tom Sanders 47BWCQWFEC
| URI | m2://inv/47BWCQWFEC |
|---|---|
| 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#T88J, Tom Sanders (topic)
History
- 2026-11-02: add by m2/dev
Avoidability index 47C8RZG5B5
| URI | m2://inv/47C8RZG5B5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unavoidable pattern#41JQ, Avoidability index (unknown)
History
- 2026-11-02: add by m2/dev
47CDF0WTC3 47CDF0WTC3
| URI | m2://inv/47CDF0WTC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27752#5ZWX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Classical mathematics 47CGBFYJMC
| URI | m2://inv/47CGBFYJMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#JP6G, Classical mathematics (definition)
History
- 2026-11-02: add by m2/dev
Disk counting statistics with a disk-complement wall 47CQTY4XSQ
| URI | m2://inv/47CQTY4XSQ |
|---|---|
| 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.25307#UZ8R, Disk counting statistics with a disk-complement wall (statement)
History
- 2026-11-01: add by m2/v0.6.15
odd 47CRVYJEQA
| URI | m2://inv/47CRVYJEQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#IBLS, odd (definition)
History
- 2026-11-02: add by m2/dev
47CXTQ8CDT 47CXTQ8CDT
| URI | m2://inv/47CXTQ8CDT |
|---|---|
| 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 2411.17227#S4NR (statement). In DDNP38CHQJ/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.3.5
Definition 47D0B3DMZH
| URI | m2://inv/47D0B3DMZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Montgomery curve#LMUI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Rademacher's theorem 47DB8F8KDG
| URI | m2://inv/47DB8F8KDG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q132427, Rademacher's theorem (statement). Also Mathlib LipschitzOnWith.ae_differentiableWithinAt, Wikidata Q132427
- thousand_plus: thousand_plus Q132427, Rademacher's theorem (statement). Also Mathlib LipschitzOnWith.ae_differentiableWithinAt, Wikidata Q132427, Wikipedia Rademacher's theorem
- wikipedia: Wikipedia Rademacher's theorem, Rademacher's theorem (statement). Also Wikidata Q132427
History
- 2026-10-26: add by m2/dev
47DEB45BQB 47DEB45BQB
| URI | m2://inv/47DEB45BQB |
|---|---|
| Kind | definition |
| 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.21649#HU0J (definition)
History
- 2026-11-02: add by m2/v0.6.18
A Taylor criterion for continuous transitions 47DETXC3S9
| URI | m2://inv/47DETXC3S9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25915#OF3F, A Taylor criterion for continuous transitions (statement)
History
- 2026-11-01: add by m2/v0.6.15
dif\/feologically smooth maps 47DPCXX0HE
| URI | m2://inv/47DPCXX0HE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#J4KL, dif\/feologically smooth maps (definition). In S1F2QW24YW/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Applications 47DX9H0SMN
| URI | m2://inv/47DX9H0SMN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restriction (mathematics)#XIQM, Applications (example)
History
- 2026-11-02: add by m2/dev
Brillouin's negentropy principle of information 47E3DWA7HY
| URI | m2://inv/47E3DWA7HY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negentropy#GBTG, Brillouin's negentropy principle of information (statement)
History
- 2026-11-02: add by m2/dev
attaching map 47F5P99QK8
| URI | m2://inv/47F5P99QK8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.7/attaching-map, attaching map (concept). In N54F33XE07, index, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
Polar triangle 47FCSDF5TF
| URI | m2://inv/47FCSDF5TF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical trigonometry#ZNGP, Polar triangle (unknown)
History
- 2026-11-02: add by m2/dev
47FFJ37BX8 47FFJ37BX8
| URI | m2://inv/47FFJ37BX8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#GD2I (definition)
History
- 2026-11-01: add by m2/v0.6.15
47FKMFAJD8 47FKMFAJD8
| URI | m2://inv/47FKMFAJD8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26191#7KR4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fibonacci sequence 47FKVV5DNC
| URI | m2://inv/47FKVV5DNC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Fibonacci sequence 0GA9K57A39 |
Mentions
- wikidata: Wikidata Q23835349, Fibonacci sequence (object). Also OEIS A000045
- wikipedia: Wikipedia Fibonacci sequence, Fibonacci sequence (definition). Also Wikidata Q23835349
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Uniform separation of the spherical mode 47FMG884X7
| URI | m2://inv/47FMG884X7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38871#S1ZP, Uniform separation of the spherical mode (statement). In X705R2Q780/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Marques-Neves 2014 47FMWYZHKH
| URI | m2://inv/47FMWYZHKH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26745#67M6, Marques-Neves 2014 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Convex geometry 47FSPTG5BQ
| URI | m2://inv/47FSPTG5BQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#O6ZC, Convex geometry (topic)
History
- 2026-11-02: add by m2/dev
Robbins' problem 47FSX5NW59
| URI | m2://inv/47FSX5NW59 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robbins' problem, Robbins' problem (problem). Also Wikidata Q7341042
History
- 2026-11-02: add by m2/dev
47FTFZ7921 47FTFZ7921
| URI | m2://inv/47FTFZ7921 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#C9KS (statement)
History
- 2026-11-02: add by m2/v0.6.17
Uncertainty analysis 47FYZ1ZE16
| URI | m2://inv/47FYZ1ZE16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncertainty analysis, Uncertainty analysis (definition). Also Wikidata Q29205
History
- 2026-11-02: add by m2/dev
47G3CW5Y1F 47G3CW5Y1F
| URI | m2://inv/47G3CW5Y1F |
|---|---|
| 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 2311.16205#K0WM (statement). In 3GE9PS9AH0/e1, theorem 5.3.2
History
- 2026-10-27: add by m2/v0.3.5
47G3WEJ8ZT 47G3WEJ8ZT
| URI | m2://inv/47G3WEJ8ZT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#infsupineq:prop (statement). In E59CDZA4DP, prop, section 7.2.3
History
- 2026-11-01: add by m2/v0.6.13
Theorem 47G5TS59XF
| URI | m2://inv/47G5TS59XF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small boundary property#NAGC, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Dodecahedral-icosahedral honeycomb 47GDD54N4Z
| URI | m2://inv/47GDD54N4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dodecahedral-icosahedral honeycomb, Dodecahedral-icosahedral honeycomb (definition). Also Wikidata Q17077837
History
- 2026-11-02: add by m2/dev
Freedman–Diaconis rule 47GK22HE7R
| URI | m2://inv/47GK22HE7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freedman–Diaconis rule, Freedman–Diaconis rule (definition). Also Wikidata Q5500409
History
- 2026-11-02: add by m2/dev
47GK357R44 47GK357R44
| URI | m2://inv/47GK357R44 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26896#VB93 (definition)
History
- 2026-11-01: add by m2/v0.6.15
47GKQ04CNF 47GKQ04CNF
| URI | m2://inv/47GKQ04CNF |
|---|---|
| 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 2605.30285#6O1E (statement). In YMY0NNSM27/e1, lemma 7.8
History
- 2026-10-27: add by m2/v0.3.6
Compound of six tetrahedra with rotational freedom 47GTQ7NRGW
| URI | m2://inv/47GTQ7NRGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3S2J, Compound of six tetrahedra with rotational freedom (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#SL0Y, Compound of six tetrahedra with rotational freedom (definition)
History
- 2026-11-02: add by m2/dev
47H0A7MD7F 47H0A7MD7F
| URI | m2://inv/47H0A7MD7F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#U75O (statement). In WRE0P7V6Z3/e1, lemma 7.2
History
- 2026-10-30: add by m2/v0.4.12
Equal-entropy facet 47H0ZTASAM
| URI | m2://inv/47H0ZTASAM |
|---|---|
| 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.24931#SZ4M, Equal-entropy facet (statement)
History
- 2026-11-01: add by m2/v0.6.15
47HBN3K2FE 47HBN3K2FE
| URI | m2://inv/47HBN3K2FE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/k-1.tex#prop:k1 (statement). In PKGMM3P5QY, prop, section 3.7
History
- 2026-11-01: add by m2/v0.6.13
Lindenbaum's lemma 47HCNV2ZC1
| URI | m2://inv/47HCNV2ZC1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#0Y7I, Lindenbaum's lemma (statement)
History
- 2026-11-02: add by m2/dev
47HR68SM99 47HR68SM99
| URI | m2://inv/47HR68SM99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19898#0WHB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Black diagonal matrices 47HRRR7WSG
| URI | m2://inv/47HRRR7WSG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block matrix#QGXA, Black diagonal matrices (unknown)
History
- 2026-11-02: add by m2/dev
47HSW94ZYF 47HSW94ZYF
| URI | m2://inv/47HSW94ZYF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#S0RF (statement). In 29D4TTE3J2/e1, corollary 9.11
History
- 2026-10-27: add by m2/v0.4.2
Julius Petersen 47HX50VF6N
| URI | m2://inv/47HX50VF6N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julius Petersen, Julius Petersen (topic). Also Wikidata Q455001
History
- 2026-11-02: add by m2/dev
47J1SRYNDM 47J1SRYNDM
| URI | m2://inv/47J1SRYNDM |
|---|---|
| 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 2306.00212#6AOW (statement). In C9GG9C1X65/e1, lemma 22
History
- 2026-10-27: add by m2/v0.3.5
Example 47J3HB7MC1
| URI | m2://inv/47J3HB7MC1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root locus analysis#VTR3, Example (example)
History
- 2026-11-02: add by m2/dev
Orbifold notation (2D) 47J9PBRYQD
| URI | m2://inv/47J9PBRYQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space group#N72W, Orbifold notation (2D) (definition)
History
- 2026-11-02: add by m2/dev
Zero-based numbering 47JSJ9F5BC
| URI | m2://inv/47JSJ9F5BC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero-based numbering, Zero-based numbering (definition). Also Wikidata Q4355278
History
- 2026-11-02: add by m2/dev
Notation 47JWQ6VKTW
| URI | m2://inv/47JWQ6VKTW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blow-up lemma#3HDE, Notation (definition)
History
- 2026-11-02: add by m2/dev
Example 47JXHCR5WH
| URI | m2://inv/47JXHCR5WH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Visual cryptography#HRGP, Example (example)
History
- 2026-11-02: add by m2/dev
47KCCV9493 47KCCV9493
| URI | m2://inv/47KCCV9493 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.0068#3PN4 (statement). In MBKYGM01FK/e1, corollary 1.11
History
- 2026-10-27: add by m2/v0.3.5
Arrow's impossibility theorem 47KFHK6WGW
| URI | m2://inv/47KFHK6WGW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kenneth Arrow#M764, Arrow's impossibility theorem (statement)
History
- 2026-11-02: add by m2/dev
Zorn's lemma 47KP627S1X
| URI | m2://inv/47KP627S1X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set (mathematics)#2EEY, Zorn's lemma (statement)
History
- 2026-11-02: add by m2/dev
Linear dynamical system 47KQ7M84V6
| URI | m2://inv/47KQ7M84V6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear dynamical system, Linear dynamical system (definition). Also Wikidata Q621512
History
- 2026-11-02: add by m2/dev
Quantum relative entropy 47KVCEXZEK
| URI | m2://inv/47KVCEXZEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum relative entropy, Quantum relative entropy (definition). Also Wikidata Q7269091
History
- 2026-11-02: add by m2/dev
variable 47MAG67NA0
| URI | m2://inv/47MAG67NA0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/variable, variable (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
Implementation 47MCG14QRA
| URI | m2://inv/47MCG14QRA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kruskal–Wallis test#2VD2, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Properties 47MG0P14HS
| URI | m2://inv/47MG0P14HS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur complement#L8CO, Properties (statement)
History
- 2026-11-02: add by m2/dev
47MG7Y983C 47MG7Y983C
| URI | m2://inv/47MG7Y983C |
|---|---|
| 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.05232#D505 (statement). In DA3VN96YX2/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
47MKSAPHPD 47MKSAPHPD
| URI | m2://inv/47MKSAPHPD |
|---|---|
| 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.08370#7XPM (statement). In EQN3EZRZYQ/e1, theorem Theorem
History
- 2026-10-29: add by m2/v0.4.10
47MN48BT59 47MN48BT59
| URI | m2://inv/47MN48BT59 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25391#5O0R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Affine boundary expansions 47MP2QW7EV
| URI | m2://inv/47MP2QW7EV |
|---|---|
| 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.19421#88J2, Affine boundary expansions (statement). In 3S1VFGYWQE/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
47MXF7A6EG 47MXF7A6EG
| URI | m2://inv/47MXF7A6EG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20285#Z7W4 (statement). In RQA728RB77/e1, proposition 21
History
- 2026-10-27: add by m2/v0.4.2
Filippov-Plis-like Lemma 47N0RMDFWZ
| URI | m2://inv/47N0RMDFWZ |
|---|---|
| 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.27414#M1MG, Filippov-Plis-like Lemma (statement)
History
- 2026-11-01: add by m2/v0.6.15
47N2PYM171 47N2PYM171
| URI | m2://inv/47N2PYM171 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#proof-2 (proof). In Y91XFCEVHQ, proof, section 4.2.1
History
- 2026-11-01: add by m2/v0.6.13
century 47ND0BJ64V
| URI | m2://inv/47ND0BJ64V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q578, century (definition). Also ProofWiki Definition:Time/Unit/Century
History
- 2026-10-26: add by m2/dev
47NEB917VS 47NEB917VS
| URI | m2://inv/47NEB917VS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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.22326#8G8W (statement). In EAABRG99V8/e1, proposition 6.6
History
- 2026-10-27: add by m2/v0.4.0
Gaussian chords in a star-shaped set 47NG2JCQ0H
| URI | m2://inv/47NG2JCQ0H |
|---|---|
| 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#KXRJ, Gaussian chords in a star-shaped set (statement). In 9YAE8FNQST/e1, lemma 15.17
History
- 2026-10-30: add by m2/v0.4.12
Evaluation of binary classifiers 47NGWXDR2A
| URI | m2://inv/47NGWXDR2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evaluation of binary classifiers, Evaluation of binary classifiers (definition). Also Wikidata Q18206917
History
- 2026-11-02: add by m2/dev
47NPJ2V48Y 47NPJ2V48Y
| URI | m2://inv/47NPJ2V48Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27200#YCS5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
More hierarchical lattices 47NVYE006M
| URI | m2://inv/47NVYE006M |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#VWMA, More hierarchical lattices (example). In XK6H7F2F13/e1, example 3.11
History
- 2026-10-30: add by m2/v0.4.12
Symmetry 47P2J7G3ZK
| URI | m2://inv/47P2J7G3ZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-8 octagonal tiling#GTNX, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Circular symmetry 47P5ZC3W66
| URI | m2://inv/47P5ZC3W66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular symmetry, Circular symmetry (definition). Also Wikidata Q3271879
History
- 2026-11-02: add by m2/dev
Method 47P7SXF50A
| URI | m2://inv/47P7SXF50A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extrapolation#03R3, Method (definition)
History
- 2026-11-02: add by m2/dev
Mahlo 47PANTWPVF
| URI | m2://inv/47PANTWPVF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#A9ZM, Mahlo (definition)
History
- 2026-11-02: add by m2/dev
47PJGWXM8P 47PJGWXM8P
| URI | m2://inv/47PJGWXM8P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10221#QF3N (definition). In 9Z5M655EPV/e1, definition 6.1
History
- 2026-10-29: add by m2/v0.4.10
Fields medal 47PJJMPZHA
| URI | m2://inv/47PJJMPZHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28835, Fields medal (definition). Also nLab Fields medal, ProofWiki Definition:Fields_Medal
- wikipedia: Wikipedia Fields Medal, Fields Medal (definition). Also Wikidata Q28835
History
- 2026-10-26: add by m2/dev
Example 47PY2R2PVS
| URI | m2://inv/47PY2R2PVS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faddeev–LeVerrier algorithm#7B3A, Example (example)
History
- 2026-11-02: add by m2/dev
Applications 47Q2DZZQXP
| URI | m2://inv/47Q2DZZQXP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvector centrality#IHNG, Applications (example)
History
- 2026-11-02: add by m2/dev
Mike Alder 47Q2THBD2K
| URI | m2://inv/47Q2THBD2K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mike Alder, Mike Alder (topic). Also Wikidata Q6845848
History
- 2026-11-02: add by m2/dev
Velvet 47QAVJQ0F2
| URI | m2://inv/47QAVJQ0F2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#CPCQ, Velvet (unknown)
History
- 2026-11-02: add by m2/dev
Statement 47QF14WASQ
| URI | m2://inv/47QF14WASQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matsumoto's theorem (group theory)#Y6MQ, Statement (statement)
History
- 2026-11-02: add by m2/dev
47QFEN0YH1 47QFEN0YH1
| URI | m2://inv/47QFEN0YH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.14455#G38V (statement). In VDE5R8HBS1/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
47QH2X1Y2C 47QH2X1Y2C
| URI | m2://inv/47QH2X1Y2C |
|---|---|
| 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 2603.21971#DE4F (statement). In R6KSZ9H8CY/e1, proposition 1.7
History
- 2026-11-02: add by m2/v0.6.18
UK Data Service 47QQ8SXSYH
| URI | m2://inv/47QQ8SXSYH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia UK Data Service, UK Data Service (definition). Also Wikidata Q17513757
History
- 2026-11-02: add by m2/dev
Entropic uncertainty principle 47R4WFNRZJ
| URI | m2://inv/47R4WFNRZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34946#A1IS, Entropic uncertainty principle (statement). In Y27BAB2BB4/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Applications 47R8M6N7PA
| URI | m2://inv/47R8M6N7PA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compactness measure#86N3, Applications (example)
History
- 2026-11-02: add by m2/dev
47R9Y72922 47R9Y72922
| URI | m2://inv/47R9Y72922 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#OP22 (statement)
History
- 2026-11-01: add by m2/v0.6.15
harmonic coordinates 47RPY358Q9
| URI | m2://inv/47RPY358Q9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2996688, harmonic coordinates (unknown). Also MathWorld HarmonicCoordinates
- wikipedia: Wikipedia Harmonic coordinates, Harmonic coordinates (definition). Also Wikidata Q2996688
History
- 2026-10-26: add by m2/dev
47RQB9CTV1 47RQB9CTV1
| URI | m2://inv/47RQB9CTV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34020#854O (statement). In DAMYG8BFAK/e1, lemma 4.13
History
- 2026-10-30: add by m2/v0.4.12
Almost periodic modulo symmetries (APMS 47S9E3NVAW
| URI | m2://inv/47S9E3NVAW |
|---|---|
| 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 2609.28454#N7SU, Almost periodic modulo symmetries (APMS (definition)
History
- 2026-11-01: add by m2/v0.6.15
envelope 47SKCE7R2V
| URI | m2://inv/47SKCE7R2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#RAQ4, envelope (definition)
History
- 2026-11-02: add by m2/dev
Richard Proto 47SKP77405
| URI | m2://inv/47SKP77405 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Proto, Richard Proto (topic). Also Wikidata Q29855873
History
- 2026-11-02: add by m2/dev
Friedrich Schottky 47SMGY9D8W
| URI | m2://inv/47SMGY9D8W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedrich Schottky, Friedrich Schottky (topic). Also Wikidata Q77303
History
- 2026-11-02: add by m2/dev
Proof of Lemma A.1 47SNX445D3
| URI | m2://inv/47SNX445D3 |
|---|---|
| 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.11082#914H, Proof of Lemma A.1 (statement). In GFPFFN0BXV/e1, lemma 22
History
- 2026-10-28: add by m2/v0.4.3
47SS5NJX6R 47SS5NJX6R
| URI | m2://inv/47SS5NJX6R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19311#QETS (statement). In 3MFD6RSV41/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
47SV79HPHG 47SV79HPHG
| URI | m2://inv/47SV79HPHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1902.04230#0VUR (statement). In 22JZ68FGCW/e1, corollary 4.13
History
- 2026-10-27: add by m2/v0.3.5
Sreenivasa Rao Jammalamadaka 47T1ZKQT8G
| URI | m2://inv/47T1ZKQT8G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sreenivasa Rao Jammalamadaka, Sreenivasa Rao Jammalamadaka (topic). Also Wikidata Q26466182
History
- 2026-11-02: add by m2/dev
47T6WX9BBD 47T6WX9BBD
| URI | m2://inv/47T6WX9BBD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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 2609.22514#7Q7P (definition)
History
- 2026-11-02: add by m2/v0.6.17
47TPCYTNNV 47TPCYTNNV
| URI | m2://inv/47TPCYTNNV |
|---|---|
| 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.29949#8NEA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Convergence on the retained coordinates 47TT09PCV9
| URI | m2://inv/47TT09PCV9 |
|---|---|
| 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.10640#X94W, Convergence on the retained coordinates (statement). In BAQVK6N0RD/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
47TVJCZGRG 47TVJCZGRG
| URI | m2://inv/47TVJCZGRG |
|---|---|
| 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.06066#PYIW (statement). In V2YFQ5RF6V/e1, proposition 6
History
- 2026-10-29: add by m2/v0.4.10
Properties 47TY3JP6AZ
| URI | m2://inv/47TY3JP6AZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walk-regular graph#DG1E, Properties (statement)
History
- 2026-11-02: add by m2/dev
Generalizations 47V0BTHK5A
| URI | m2://inv/47V0BTHK5A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie derivative#WQW5, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Application 47V1Y45B4V
| URI | m2://inv/47V1Y45B4V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M/D/1 queue#X24B, Application (example)
History
- 2026-11-02: add by m2/dev
Nikhil Srivastava 47V2H54ZAN
| URI | m2://inv/47V2H54ZAN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikhil Srivastava, Nikhil Srivastava (topic). Also Wikidata Q18629448
History
- 2026-11-02: add by m2/dev
Kullback–Leibler divergence 47VBHYHHT5
| URI | m2://inv/47VBHYHHT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Kullback–Leibler divergence PQBW43X5RE |
Mentions
- wikidata: Wikidata Q255166, Kullback–Leibler divergence (unknown). Also MathWorld RelativeEntropy
- wikipedia: Wikipedia Kullback–Leibler divergence, Kullback–Leibler divergence (definition). Also Wikidata Q255166
History
- 2026-10-26: add by m2/dev
Examples 47VEH005SH
| URI | m2://inv/47VEH005SH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlative-based fallacies#TN8Z, Examples (example)
History
- 2026-11-02: add by m2/dev
Jos Baeten 47VGNX7274
| URI | m2://inv/47VGNX7274 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jos Baeten, Jos Baeten (topic). Also Wikidata Q102122624
History
- 2026-11-02: add by m2/dev
Hilbert's twenty-first problem 47VHWE2JXH
| URI | m2://inv/47VHWE2JXH |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#Y0N2, Hilbert's twenty-first problem (problem)
History
- 2026-11-02: add by m2/dev
47VV8E4RJW 47VV8E4RJW
| URI | m2://inv/47VV8E4RJW |
|---|---|
| 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 2312.05005#5ZBA (statement). In SMJMAQ2S3J/e1, proposition 7
History
- 2026-10-27: add by m2/v0.4.0
National Institute of Statistics 47VYX8PHYY
| URI | m2://inv/47VYX8PHYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Institute of Statistics (Guatemala), National Institute of Statistics (definition). Also Wikidata Q3152406
History
- 2026-11-02: add by m2/dev
47WCSR46Q4 47WCSR46Q4
| URI | m2://inv/47WCSR46Q4 |
|---|---|
| Kind | example |
| 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.14616#BS2C (example). In 17ACAG0N9C/e1, example 2.2
History
- 2026-10-28: add by m2/v0.4.2
47WD022SWK 47WD022SWK
| URI | m2://inv/47WD022SWK |
|---|---|
| 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.11487#GOT5 (statement). In 8S0K3Y25HM/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.3
Martin Kreuzer 47WDDRWGYK
| URI | m2://inv/47WDDRWGYK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin Kreuzer, Martin Kreuzer (topic). Also Wikidata Q91643
History
- 2026-11-02: add by m2/dev
47WDVGM479 47WDVGM479
| URI | m2://inv/47WDVGM479 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#SZZ0 (unknown). In 1QSCT53ZED/e1, unknown 1.1
History
- 2026-10-27: add by m2/v0.4.0
Definable set 47WJATN7J1
| URI | m2://inv/47WJATN7J1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#O7RD, Definable set (definition)
History
- 2026-11-02: add by m2/dev
47WN5H28RB 47WN5H28RB
| URI | m2://inv/47WN5H28RB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 1705.01594#H0T5 (statement). In BR3N3GSY2C/e1, corollary 2.6
History
- 2026-10-27: add by m2/v0.3.5
Statement 47WWCK97S5
| URI | m2://inv/47WWCK97S5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pólya's shire theorem#USPK, Statement (statement)
History
- 2026-11-02: add by m2/dev
47X1G382NM 47X1G382NM
| URI | m2://inv/47X1G382NM |
|---|---|
| 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 2303.11021#L5EM (statement). In B2ZK4DF2PM/e1, theorem 3
History
- 2026-10-27: add by m2/v0.4.0
A criterion for submaximal sensitivity 47X2SFZQX1
| URI | m2://inv/47X2SFZQX1 |
|---|---|
| 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.17006#O3EF, A criterion for submaximal sensitivity (statement). In YY81ZEJ82P/e1, corollary 6.5
History
- 2026-10-28: add by m2/v0.4.2
Single-block bounds 47X6AA78NH
| URI | m2://inv/47X6AA78NH |
|---|---|
| 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.15974#YE93, Single-block bounds (statement). In 61ZHQ7BTKP/e1, lemma 2.12
History
- 2026-10-28: add by m2/v0.4.2
47X6ZWMVP4 47X6ZWMVP4
| URI | m2://inv/47X6ZWMVP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#W0UA (statement). In ESDKTYDHC8/e1, corollary 14
History
- 2026-10-29: add by m2/v0.4.12
47XA12G19M 47XA12G19M
| URI | m2://inv/47XA12G19M |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.16411#BJV3 (proof). In QQ222ZDZC0/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Formulation 47XAAKWKW0
| URI | m2://inv/47XAAKWKW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Successive over-relaxation#K1NN, Formulation (definition)
History
- 2026-11-02: add by m2/dev
47XB944326 47XB944326
| URI | m2://inv/47XB944326 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.17785#NNXC (statement). In H3FDP8S1Z7/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
47XD6YEWK0 47XD6YEWK0
| URI | m2://inv/47XD6YEWK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#A6GB (statement). In GHKR740SG3/e1, lemma 20.6
History
- 2026-10-31: add by m2/v0.5.6
Regular representation 47XEPD22BJ
| URI | m2://inv/47XEPD22BJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#12DF, Regular representation (definition)
History
- 2026-11-02: add by m2/dev
homeomorphic 47XGBH27ER
| URI | m2://inv/47XGBH27ER |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.5/homeomorphic, homeomorphic (concept). In QKM9DD2H56, index, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
Line search 47XJEEWRYC
| URI | m2://inv/47XJEEWRYC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line search, Line search (definition). Also Wikidata Q3278015
History
- 2026-11-02: add by m2/dev
Elongated pentagonal gyrocupolarotunda 47XX696QY4
| URI | m2://inv/47XX696QY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#TH31, Elongated pentagonal gyrocupolarotunda (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#8NUV, Elongated pentagonal gyrocupolarotunda (definition)
History
- 2026-11-02: add by m2/dev
Advanced Access Content System 47Y0DMMFHB
| URI | m2://inv/47Y0DMMFHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Advanced Access Content System, Advanced Access Content System (definition). Also Wikidata Q284247
History
- 2026-11-02: add by m2/dev
47Y9RM9PE2 47Y9RM9PE2
| URI | m2://inv/47Y9RM9PE2 |
|---|---|
| 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.08039#HSAJ (statement). In Y1K8WE4MDP/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
Example 2 47YF1858VJ
| URI | m2://inv/47YF1858VJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean algebras canonically defined#06AJ, Example 2 (example)
History
- 2026-11-02: add by m2/dev
47YF7J2V14 47YF7J2V14
| URI | m2://inv/47YF7J2V14 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 61.4
History
- 2026-11-01: add by m2/v0.6.13
47YFXY2XDH 47YFXY2XDH
| URI | m2://inv/47YFXY2XDH |
|---|---|
| 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.28417#YTON (statement)
History
- 2026-11-01: add by m2/v0.6.15
47YP8XQ989 47YP8XQ989
| URI | m2://inv/47YP8XQ989 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#AN61 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Automorphic equivalence 47Z0QQGQJF
| URI | m2://inv/47Z0QQGQJF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Similarity (network science)#RLKR, Automorphic equivalence (unknown)
History
- 2026-11-02: add by m2/dev
47ZDFEBKFJ 47ZDFEBKFJ
| URI | m2://inv/47ZDFEBKFJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06724#M6JB (statement). In W5XG3PGVF1/e1, corollary C.24
History
- 2026-10-29: add by m2/v0.4.10
47ZFY2KGRW 47ZFY2KGRW
| URI | m2://inv/47ZFY2KGRW |
|---|---|
| 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.07092#Y75A (statement). In JWNYJVH8XG/e1, corollary 3.20
History
- 2026-10-29: add by m2/v0.4.10
good quotient 47ZHRK302K
| URI | m2://inv/47ZHRK302K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#VYKM, good quotient (definition)
History
- 2026-11-02: add by m2/dev
total, space 47ZSA4VHW0
| URI | m2://inv/47ZSA4VHW0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.1.5/total-space, total, space (concept). In N54F33XE07, index, section 7.1.5
History
- 2026-11-01: add by m2/v0.6.13
David Spence 47ZT1DNGCP
| URI | m2://inv/47ZT1DNGCP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Spence (mathematician), David Spence (topic). Also Wikidata Q5230715
History
- 2026-11-02: add by m2/dev
500,000 47ZXW8SCR4
| URI | m2://inv/47ZXW8SCR4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 100,000#5RY7, 500,000 (unknown)
History
- 2026-11-02: add by m2/dev