Inventory rows VE
The cards of the rows of the inventory whose ids start with VE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
VE02SRZZVS VE02SRZZVS
| URI | m2://inv/VE02SRZZVS |
|---|---|
| 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.22759#LJBL (definition)
History
- 2026-11-02: add by m2/v0.6.17
VE07DP9G10 VE07DP9G10
| URI | m2://inv/VE07DP9G10 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-17 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
VE08AT1PQY VE08AT1PQY
| URI | m2://inv/VE08AT1PQY |
|---|---|
| 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 2610.17518#DN6Y (statement). In YA4JEWTVS4/e1, corollary 6.4
History
- 2026-10-28: add by m2/v0.4.2
Moving frame VE0GFBDREM
| URI | m2://inv/VE0GFBDREM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moving frame, Moving frame (definition). Also Wikidata Q6927157
History
- 2026-11-02: add by m2/dev
Online overidentification test VE0JBA5JRW
| URI | m2://inv/VE0JBA5JRW |
|---|---|
| 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.12873#4J36, Online overidentification test (statement). In 9MMD2N7DQ1/e1, theorem 4.8
History
- 2026-10-28: add by m2/v0.4.2
examples VE0P5EFY73
| URI | m2://inv/VE0P5EFY73 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Linear representations > examples, examples (unknown)
History
- 2026-10-26: add by m2/dev
VE0Y4XHKSF VE0Y4XHKSF
| URI | m2://inv/VE0Y4XHKSF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.39317#K0S1 (statement). In QM1T8JDK4A/e1, proposition 4.7
History
- 2026-10-30: add by m2/v0.4.12
VE0Y9X5HXR VE0Y9X5HXR
| URI | m2://inv/VE0Y9X5HXR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-253 (exercise). In VNMV985MXX, exercise, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Permutohedron VE1CZDN8K7
| URI | m2://inv/VE1CZDN8K7 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#DPGC, Permutohedron (object)
History
- 2026-11-02: add by m2/dev
Applications VE1EMQ0H8A
| URI | m2://inv/VE1EMQ0H8A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hasse–Schmidt derivation#SN7C, Applications (example)
History
- 2026-11-02: add by m2/dev
AlphaEvolve VE1F9VARHE
| URI | m2://inv/VE1F9VARHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical discoveries by artificial intelligence#6HMC, AlphaEvolve (definition)
History
- 2026-11-02: add by m2/dev
Computation VE1FB7VVEZ
| URI | m2://inv/VE1FB7VVEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric median#RZY9, Computation (definition)
History
- 2026-11-02: add by m2/dev
VE1K25Z28C VE1K25Z28C
| URI | m2://inv/VE1K25Z28C |
|---|---|
| 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 2410.22607#LLI5 (statement). In 6GT33A43SY/e1, theorem 1.7
History
- 2026-10-27: add by m2/v0.3.5
bug-eyed line VE1R3DEKZ0
| URI | m2://inv/VE1R3DEKZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metrizable space#PPKH, bug-eyed line (definition)
History
- 2026-11-02: add by m2/dev
Antiderivation VE1TFDAZAD
| URI | m2://inv/VE1TFDAZAD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivation (differential algebra)#O2TE, Antiderivation (unknown)
History
- 2026-11-02: add by m2/dev
Hugh David Politzer VE1V6JKRX6
| URI | m2://inv/VE1V6JKRX6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3R4U, Hugh David Politzer (unknown)
History
- 2026-11-02: add by m2/dev
VE1ZHWQMJK VE1ZHWQMJK
| URI | m2://inv/VE1ZHWQMJK |
|---|---|
| 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.20409#YTFE (statement)
History
- 2026-11-02: add by m2/v0.6.18
VE203Q2S9B VE203Q2S9B
| URI | m2://inv/VE203Q2S9B |
|---|---|
| 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.05784#J0D2 (definition). In 6NVP3YRWVA/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
legendre VE22MCZ2C7
| URI | m2://inv/VE22MCZ2C7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#FMMG, legendre (definition)
History
- 2026-11-02: add by m2/dev
Eric D'Hoker VE25CJRZ88
| URI | m2://inv/VE25CJRZ88 |
|---|---|
| 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 Q63761838, Eric D'Hoker (unknown). Also nLab Eric D'Hoker
History
- 2026-10-26: add by m2/dev
Subordinator VE28F9SF06
| URI | m2://inv/VE28F9SF06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subordinator (mathematics), Subordinator (definition). Also Wikidata Q7631785
History
- 2026-11-02: add by m2/dev
VE2CTB5APA VE2CTB5APA
| URI | m2://inv/VE2CTB5APA |
|---|---|
| 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#JTBF (statement). In EAABRG99V8/e1, proposition 5.12
History
- 2026-10-27: add by m2/v0.4.0
VE2D01GCYZ VE2D01GCYZ
| URI | m2://inv/VE2D01GCYZ |
|---|---|
| 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 2204.01073#TQG0 (statement). In W4TYN4PGE8/e1, lemma 3.14
History
- 2026-10-27: add by m2/v0.3.5
VE2DKXF83T VE2DKXF83T
| URI | m2://inv/VE2DKXF83T |
|---|---|
| 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 2502.08738#0P62 (example). In 9GMTVSTAVN/e1, example 6
History
- 2026-10-27: add by m2/v0.3.5
VE2E1DYJGA VE2E1DYJGA
| URI | m2://inv/VE2E1DYJGA |
|---|---|
| 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.35460#T1TY (statement). In R515NECVME/e1, lemma 8.2
History
- 2026-10-30: add by m2/v0.4.12
Slack consumption and lateness VE2FJS63QC
| URI | m2://inv/VE2FJS63QC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39269#91Z3, Slack consumption and lateness (definition). In HS4X20TX33/e1, definition 0.20
History
- 2026-10-30: add by m2/v0.4.12
Xiahou Yang Suanjing VE2RDVPV2Y
| URI | m2://inv/VE2RDVPV2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xiahou Yang Suanjing, Xiahou Yang Suanjing (definition). Also Wikidata Q10931861
History
- 2026-11-02: add by m2/dev
VE2XY1GSCA VE2XY1GSCA
| URI | m2://inv/VE2XY1GSCA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-conc.ptx#exercise-13 (exercise). In Y91XFCEVHQ, exercise, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
VE30JCYZCG VE30JCYZCG
| URI | m2://inv/VE30JCYZCG |
|---|---|
| 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 2211.10816#KRN8 (statement). In 8VNN8PX49Y/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.6
Posterior-grid and rank-regret bounds for generalized-Gaussian BPSK VE33H6VHD7
| URI | m2://inv/VE33H6VHD7 |
|---|---|
| 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#YW9W, Posterior-grid and rank-regret bounds for generalized-Gaussian BPSK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition VE37T5AMCM
| URI | m2://inv/VE37T5AMCM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smith normal form#1RC7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bernstein inequalities VE3CN8VBFP
| URI | m2://inv/VE3CN8VBFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernstein inequalities (probability theory), Bernstein inequalities (definition). Also Wikidata Q826791
History
- 2026-11-02: add by m2/dev
Applications VE3ECPS8NK
| URI | m2://inv/VE3ECPS8NK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Room square#PQOB, Applications (example)
History
- 2026-11-02: add by m2/dev
Geoffrey Hunter VE3HVN90DC
| URI | m2://inv/VE3HVN90DC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geoffrey Hunter (logician), Geoffrey Hunter (topic). Also Wikidata Q5534689
History
- 2026-11-02: add by m2/dev
Examples VE3RBYJCJK
| URI | m2://inv/VE3RBYJCJK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Average order of an arithmetic function#UJZF, Examples (example)
History
- 2026-11-02: add by m2/dev
VE42E86GCS VE42E86GCS
| URI | m2://inv/VE42E86GCS |
|---|---|
| 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.15217#6BZQ (definition). In G70Q2FB591/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.2
The Whetstone of Witte VE43X8HQBX
| URI | m2://inv/VE43X8HQBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9087188, The Whetstone of Witte (unknown). Also ProofWiki Book:Robert_Recorde/The_Whetstone_of_Witte,_whiche_is_the_seconde_parte_of_Arithmeteke:_containing_the_extraction_of_rootes;_the_cossike_practise,_with_the_rule_of_equation;_and_the_workes_of_Surde_Nombers
- wikipedia: Wikipedia The Whetstone of Witte, The Whetstone of Witte (definition). Also Wikidata Q9087188
History
- 2026-10-26: add by m2/dev
challenging VE46M0SZKB
| URI | m2://inv/VE46M0SZKB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-126, challenging (exercise). In E9HS8K3A52, exercise, section 5.10.4
History
- 2026-11-01: add by m2/v0.6.13
A nonuniform law VE4AAT88BD
| URI | m2://inv/VE4AAT88BD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 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.13063#L3AZ, A nonuniform law (example). In R5AFFWBMAF/e1, example 6.3
History
- 2026-10-28: add by m2/v0.4.2
Theano VE4AQS9PPC
| URI | m2://inv/VE4AQS9PPC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#Q22P, Theano (topic)
History
- 2026-11-02: add by m2/dev
Statement of the theorem VE4EJJN0NR
| URI | m2://inv/VE4EJJN0NR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kac–Bernstein theorem#Q6L2, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
proof-theoretic semantics VE4HEJJJFZ
| URI | m2://inv/VE4HEJJJFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#BLFI, proof-theoretic semantics (definition)
History
- 2026-11-02: add by m2/dev
VE4QG1TTN0 VE4QG1TTN0
| URI | m2://inv/VE4QG1TTN0 |
|---|---|
| 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.17527#A10Z (statement). In GWSBQ7MN49/e1, corollary 5.5
History
- 2026-10-28: add by m2/v0.4.2
Existence of the $\mathcal Q(q,d)$ family VE509M1D5J
| URI | m2://inv/VE509M1D5J |
|---|---|
| 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.02392#LGPY, Existence of the $\mathcal Q(q,d)$ family (statement). In W066HQZQBF/e1, theorem 7
History
- 2026-10-29: add by m2/v0.4.12
orthogonality VE512RAVCD
| URI | m2://inv/VE512RAVCD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q215067, orthogonality (unknown). Also MathWorld Orthogonal
- wikipedia: Wikipedia Orthogonality, Orthogonality (definition). Also Wikidata Q215067
History
- 2026-10-26: add by m2/dev
Gregor Piatigorsky VE5857CTWD
| URI | m2://inv/VE5857CTWD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#19NZ, Gregor Piatigorsky (unknown)
History
- 2026-11-02: add by m2/dev
dihedral group of order 6 VE5BY0GC6G
| URI | m2://inv/VE5BY0GC6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | The symmetric group S3 09H9Y0Q11W |
Mentions
- wikidata: Wikidata Q2204630, dihedral group of order 6 (definition). Also MathWorld DihedralGroupD3, nLab dihedral group of order 6, ProofWiki Definition:Dihedral_Group_D3, ProofWiki Definition:Symmetry_Group_of_Equilateral_Triangle
- wikipedia: Wikipedia Dihedral group of order 6, Dihedral group of order 6 (definition). Also Wikidata Q2204630
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
VE5EAH013Q VE5EAH013Q
| URI | m2://inv/VE5EAH013Q |
|---|---|
| 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 0805.4273#OZDZ (statement). In ZX3NV58FRX/e1, theorem 5.7
History
- 2026-10-27: add by m2/v0.3.5
Type-$C$ companion formula VE5PKV597R
| URI | m2://inv/VE5PKV597R |
|---|---|
| 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.24541#F4VF, Type-$C$ companion formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
VE5WAF9D91 VE5WAF9D91
| URI | m2://inv/VE5WAF9D91 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15831#066B (statement). In CVESAPNMCQ/e1, theorem 5.6
History
- 2026-10-28: add by m2/v0.4.2
Stein's unbiased risk estimate VE6QPFK9BP
| URI | m2://inv/VE6QPFK9BP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#E80T, Stein's unbiased risk estimate (definition)
History
- 2026-11-02: add by m2/dev
VE6RWBVJEE VE6RWBVJEE
| URI | m2://inv/VE6RWBVJEE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14189#3WZG (statement). In 39VAB08YDJ/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
VE79MYR7BF VE79MYR7BF
| URI | m2://inv/VE79MYR7BF |
|---|---|
| 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 2211.14214#SNDC (statement). In SY85Y9E45A/e1, proposition 24
History
- 2026-10-27: add by m2/v0.3.5
VE7BYMWTW5 VE7BYMWTW5
| URI | m2://inv/VE7BYMWTW5 |
|---|---|
| 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 2602.03058#56U3 (statement). In XQ0ZXH8KAC/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
Vierzehnheiligen VE7DJTTT66
| URI | m2://inv/VE7DJTTT66 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#B24H, Vierzehnheiligen (unknown)
History
- 2026-11-02: add by m2/dev
VE7JMMG26F VE7JMMG26F
| URI | m2://inv/VE7JMMG26F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15736#PQZX (statement). In 17WP1JCDAV/e1, theorem E
History
- 2026-10-28: add by m2/v0.4.2
Applications VE7QFGG6PM
| URI | m2://inv/VE7QFGG6PM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval (mathematics)#W825, Applications (example)
History
- 2026-11-02: add by m2/dev
Example VE7QSPXJZ1
| URI | m2://inv/VE7QSPXJZ1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Number Scrabble#BWZT, Example (example)
History
- 2026-11-02: add by m2/dev
Anton Formann VE7S7QAGBN
| URI | m2://inv/VE7S7QAGBN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anton Formann, Anton Formann (topic). Also Wikidata Q4775757
History
- 2026-11-02: add by m2/dev
VE7T4449MD VE7T4449MD
| URI | m2://inv/VE7T4449MD |
|---|---|
| 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 2407.04161#SG11 (statement). In JBZJ7NPQ4G/e1, corollary 5.10
History
- 2026-10-27: add by m2/v0.4.0
continuity correction VE88DFPH5J
| URI | m2://inv/VE88DFPH5J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5165416, continuity correction (unknown). Also MathWorld ContinuityCorrection
- wikipedia: Wikipedia Continuity correction, Continuity correction (definition). Also Wikidata Q5165416
History
- 2026-10-26: add by m2/dev
Remarkable formulas VE8PY367HZ
| URI | m2://inv/VE8PY367HZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear logic#I7YW, Remarkable formulas (statement)
History
- 2026-11-02: add by m2/dev
VE8REK6V1V VE8REK6V1V
| URI | m2://inv/VE8REK6V1V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#ex:Wbounds (exercise). In N54F33XE07, ex, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
History of trigonometry VE8TN1590J
| URI | m2://inv/VE8TN1590J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of trigonometry, History of trigonometry (definition). Also Wikidata Q2344515
History
- 2026-11-02: add by m2/dev
VE8WWTFG46 VE8WWTFG46
| URI | m2://inv/VE8WWTFG46 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.13464#C7CD (statement). In JPYGC2R3FC/e1, corollary 8.2
History
- 2026-10-27: add by m2/v0.3.6
VE8XF9F9JV VE8XF9F9JV
| URI | m2://inv/VE8XF9F9JV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13888#N570 (statement). In XJWYBPS14M/e1, proposition 6.7
History
- 2026-10-28: add by m2/v0.4.2
VE8ZM3D80Y VE8ZM3D80Y
| URI | m2://inv/VE8ZM3D80Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-5.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 7.5
History
- 2026-11-01: add by m2/v0.6.13
Dorothy Wallace VE94TMC0KX
| URI | m2://inv/VE94TMC0KX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Y3QL, Dorothy Wallace (unknown)
History
- 2026-11-02: add by m2/dev
concrete VE96C17SD9
| URI | m2://inv/VE96C17SD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#UCPH, concrete (definition)
History
- 2026-11-02: add by m2/dev
Hopf algebra VE9E5VVJ7Z
| URI | m2://inv/VE9E5VVJ7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#32OB, Hopf algebra (definition)
- wikipedia: Wikipedia List of mathematical topics in quantum theory#8Z53, Hopf algebra (definition)
History
- 2026-11-02: add by m2/dev
Compactly supported homology VE9WSZ027B
| URI | m2://inv/VE9WSZ027B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compactly supported homology, Compactly supported homology (definition). Also Wikidata Q5155335
History
- 2026-11-02: add by m2/dev
VE9XGNE32K VE9XGNE32K
| URI | m2://inv/VE9XGNE32K |
|---|---|
| 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.30892#LZW6 (statement). In F7C1RM5VA4/e1, proposition 3.2
History
- 2026-10-31: add by m2/v0.5.6
VEA0390KMW VEA0390KMW
| URI | m2://inv/VEA0390KMW |
|---|---|
| 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.35678#DK5P (statement). In 4X4ZS7CEKD/e1, proposition 12
History
- 2026-10-30: add by m2/v0.4.12
VEA6J585JX VEA6J585JX
| URI | m2://inv/VEA6J585JX |
|---|---|
| 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 2608.24190#HXDB (definition). In DW7FVA587C/e1, definition 3.13
History
- 2026-10-27: add by m2/v0.3.5
VEA87941W6 VEA87941W6
| URI | m2://inv/VEA87941W6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37337#YV6N (example). In 813JGZV08G/e1, example 4.4
History
- 2026-10-30: add by m2/v0.4.12
VEAFE4AVFB VEAFE4AVFB
| URI | m2://inv/VEAFE4AVFB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21565#ZW14 (statement)
History
- 2026-11-02: add by m2/v0.6.18
absolute VEAGAP84EX
| URI | m2://inv/VEAGAP84EX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#PFET, absolute (definition)
History
- 2026-11-02: add by m2/dev
VEAPF5JYPY VEAPF5JYPY
| URI | m2://inv/VEAPF5JYPY |
|---|---|
| Kind | definition |
| 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.33704#D5HX (definition). In STRVMT83HE/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Conservation laws VEAPMFG658
| URI | m2://inv/VEAPMFG658 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariant formulation of classical electromagnetism#EMYP, Conservation laws (statement)
History
- 2026-11-02: add by m2/dev
Michael Freedman VEAQM2E5E8
| URI | m2://inv/VEAQM2E5E8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#JGQM, Michael Freedman (topic)
History
- 2026-11-02: add by m2/dev
Properties VEARW2W0GT
| URI | m2://inv/VEARW2W0GT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robinson–Schensted correspondence#2Q31, Properties (statement)
History
- 2026-11-02: add by m2/dev
VEB0C534NK VEB0C534NK
| URI | m2://inv/VEB0C534NK |
|---|---|
| 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 2504.01057#HGAT (statement). In 69QFBXJENW/e1, proposition 3.9
History
- 2026-10-27: add by m2/v0.3.5
\bf Main Lemma VEB3HEPHAZ
| URI | m2://inv/VEB3HEPHAZ |
|---|---|
| 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#QWZK, \bf Main Lemma (statement). In 1MPH7GCFJ2/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.2
Killed-pair spectral limit VEBGRQ1T65
| URI | m2://inv/VEBGRQ1T65 |
|---|---|
| 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.00137#8ODT, Killed-pair spectral limit (statement). In NKW6YQ04QW/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
VEBJKM02WX VEBJKM02WX
| URI | m2://inv/VEBJKM02WX |
|---|---|
| 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.07049#ZP4D (statement). In GMF552ESG6/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Regression validation VEBPY8RWMM
| URI | m2://inv/VEBPY8RWMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regression validation, Regression validation (definition). Also Wikidata Q7309539
History
- 2026-11-02: add by m2/dev
Elongated triangular pyramid VEBQTJC00F
| URI | m2://inv/VEBQTJC00F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#C8YS, Elongated triangular pyramid (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#BTRM, Elongated triangular pyramid (definition)
History
- 2026-11-02: add by m2/dev
Stone–Weierstrass theorem (real numbers) VEC2VQDZ6E
| URI | m2://inv/VEC2VQDZ6E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone–Weierstrass theorem#GK4L, Stone–Weierstrass theorem (real numbers) (statement)
History
- 2026-11-02: add by m2/dev
Folding (Dynkin diagram) VEC366KQP3
| URI | m2://inv/VEC366KQP3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynkin diagram#51NN, Folding (Dynkin diagram) (unknown)
History
- 2026-11-02: add by m2/dev
Ars Magna (Llull book) VECCG0JJ2V
| URI | m2://inv/VECCG0JJ2V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramon Llull#KGP5, Ars Magna (Llull book) (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition VECH7KSWD8
| URI | m2://inv/VECH7KSWD8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local homeomorphism#KKWH, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Integer set library VECQ0QATAK
| URI | m2://inv/VECQ0QATAK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#GANX, Integer set library (unknown)
History
- 2026-11-02: add by m2/dev
Theorem VECQBE5NED
| URI | m2://inv/VECQBE5NED |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic boundary value problem#4KKO, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Trisection of closed 4-manifold VECRP919J5
| URI | m2://inv/VECRP919J5 |
|---|---|
| Kind | definition |
| 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 1911.06467#44UQ, Trisection of closed 4-manifold (definition). In G35G1NJKBX/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
VECSKX0NHE VECSKX0NHE
| URI | m2://inv/VECSKX0NHE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/categories.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 36.5
History
- 2026-11-01: add by m2/v0.6.13
Examples VECZ2QQHJ4
| URI | m2://inv/VECZ2QQHJ4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abel's summation formula#PN0A, Examples (example)
History
- 2026-11-02: add by m2/dev
Holland's schema theorem VED7E1YSVG
| URI | m2://inv/VED7E1YSVG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#RDIY, Holland's schema theorem (statement)
History
- 2026-11-02: add by m2/dev
VEDE5ATS9Z VEDE5ATS9Z
| URI | m2://inv/VEDE5ATS9Z |
|---|---|
| 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#AWDS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Basic Lyapunov theorems for autonomous systems VEDGW39VEC
| URI | m2://inv/VEDGW39VEC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lyapunov function#X1WR, Basic Lyapunov theorems for autonomous systems (statement)
History
- 2026-11-02: add by m2/dev
Posterior predictive state for product Haar-POVM data VEDPSP4SRG
| URI | m2://inv/VEDPSP4SRG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00117#765V, Posterior predictive state for product Haar-POVM data (statement). In 4G2BDP206S/e1, proposition 7
History
- 2026-10-30: add by m2/v0.4.12
Klein configuration VEEA6BHGXG
| URI | m2://inv/VEEA6BHGXG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Felix Klein#SB3W, Klein configuration (unknown)
History
- 2026-11-02: add by m2/dev
Associativity isomorphism VEECEFS944
| URI | m2://inv/VEECEFS944 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associativity isomorphism, Associativity isomorphism (definition). Also Wikidata Q136261365
History
- 2026-11-02: add by m2/dev
Examples VEEGQ4TZZ9
| URI | m2://inv/VEEGQ4TZZ9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of truly large numbers#54UL, Examples (example)
History
- 2026-11-02: add by m2/dev
Charles F. Van Loan VEEHMJ0YES
| URI | m2://inv/VEEHMJ0YES |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ABDF, Charles F. Van Loan (unknown)
History
- 2026-11-02: add by m2/dev
Applications VEF53AZD0W
| URI | m2://inv/VEF53AZD0W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy distribution#T0TT, Applications (example)
History
- 2026-11-02: add by m2/dev
International Social Survey Programme VEFEMH8BJN
| URI | m2://inv/VEFEMH8BJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Social Survey Programme, International Social Survey Programme (definition). Also Wikidata Q1666895
History
- 2026-11-02: add by m2/dev
Brigitte Servatius VEFS90WVNK
| URI | m2://inv/VEFS90WVNK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brigitte Servatius, Brigitte Servatius (topic). Also Wikidata Q48744071
History
- 2026-11-02: add by m2/dev
Lambert's proof of the irrationality of π VEFSKA8SDG
| URI | m2://inv/VEFSKA8SDG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof that pi is irrational#E03F, Lambert's proof of the irrationality of π (unknown)
History
- 2026-11-02: add by m2/dev
VEFY32A62S VEFY32A62S
| URI | m2://inv/VEFY32A62S |
|---|---|
| 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.18992#TW98 (statement). In S7PNTM0GZC/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
VEG1EDDM2Y VEG1EDDM2Y
| URI | m2://inv/VEG1EDDM2Y |
|---|---|
| Kind | definition |
| 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 2105.13129#QINF (definition). In J5Z1JD5VKR/e1, definition 3.7
History
- 2026-10-27: add by m2/v0.4.0
Xishuangbanna VEG5SRGHND
| URI | m2://inv/VEG5SRGHND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#XAQ9, Xishuangbanna (unknown)
History
- 2026-11-02: add by m2/dev
VEG9EVD2F0 VEG9EVD2F0
| URI | m2://inv/VEG9EVD2F0 |
|---|---|
| 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 2111.14143#373B (statement). In QSKV7N0T89/e1, corollary 1.7
History
- 2026-10-27: add by m2/v0.3.5
VEGB7CBQ7T VEGB7CBQ7T
| URI | m2://inv/VEGB7CBQ7T |
|---|---|
| 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 2506.08233#2GEZ (definition). In 2TXXQ2575Y/e1, definition 5.13
History
- 2026-10-27: add by m2/v0.3.5
VEGEMSEE9E VEGEMSEE9E
| URI | m2://inv/VEGEMSEE9E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20516#ZRM7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Stirling numbers of the second kind VEGWFX05E2
| URI | m2://inv/VEGWFX05E2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#K8TK, Stirling numbers of the second kind (definition)
History
- 2026-11-02: add by m2/dev
Properties VEGXJP7935
| URI | m2://inv/VEGXJP7935 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H tree#VMBM, Properties (statement)
History
- 2026-11-02: add by m2/dev
VEGYQFHNPS VEGYQFHNPS
| URI | m2://inv/VEGYQFHNPS |
|---|---|
| Kind | example |
| 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.20740#A9JO (example)
History
- 2026-11-02: add by m2/v0.6.18
VEH9ADW4ZJ VEH9ADW4ZJ
| URI | m2://inv/VEH9ADW4ZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#S1DH (statement). In 6WJ0R9YEBR/e1, lemma 3.15
History
- 2026-10-28: add by m2/v0.4.2
VEH9CVBKFN VEH9CVBKFN
| URI | m2://inv/VEH9CVBKFN |
|---|---|
| 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.31478#AIAE (statement). In 56P0XQZZ3D/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
VEHABJCV4B VEHABJCV4B
| URI | m2://inv/VEHABJCV4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01354#EHYI (statement). In BWD76W20W8/e1, proposition 6.13
History
- 2026-10-29: add by m2/v0.4.12
Donald Gordon Higman VEHCNCZYYV
| URI | m2://inv/VEHCNCZYYV |
|---|---|
| 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#637D, Donald Gordon Higman (topic)
History
- 2026-11-02: add by m2/dev
VEHG7Q6KCC VEHG7Q6KCC
| URI | m2://inv/VEHG7Q6KCC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12330#OX8F (example). In XHSKEPT3VD/e1, example 5.7
History
- 2026-10-28: add by m2/v0.4.2
VEHGBVJ371 VEHGBVJ371
| URI | m2://inv/VEHGBVJ371 |
|---|---|
| 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#URA1 (statement). In WRE0P7V6Z3/e1, theorem 1.20
History
- 2026-10-30: add by m2/v0.4.12
VEHJ0NHJYZ VEHJ0NHJYZ
| URI | m2://inv/VEHJ0NHJYZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-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.20558#B2WO (definition). In 46370P3Y9S/e1, definition 4.4
History
- 2026-10-27: add by m2/v0.4.2
Pentacontagon VEHKCHBHT0
| URI | m2://inv/VEHKCHBHT0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#LRW8, Pentacontagon (definition)
History
- 2026-11-02: add by m2/dev
Krichevsky–Trofimov estimator VEHMSY64AF
| URI | m2://inv/VEHMSY64AF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krichevsky–Trofimov estimator, Krichevsky–Trofimov estimator (definition). Also Wikidata Q6436967
History
- 2026-11-02: add by m2/dev
Generalized geodesics VEHS0ZKGG8
| URI | m2://inv/VEHS0ZKGG8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-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.20998#PGZJ, Generalized geodesics (example)
History
- 2026-11-02: add by m2/v0.6.18
Theorem 1: Existence of sliding mode VEHS673V7X
| URI | m2://inv/VEHS673V7X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sliding mode control#A22F, Theorem 1: Existence of sliding mode (statement)
History
- 2026-11-02: add by m2/dev
VEHSAHGNMV VEHSAHGNMV
| URI | m2://inv/VEHSAHGNMV |
|---|---|
| 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.15217#3Y6K (definition). In G70Q2FB591/e1, definition 3.17
History
- 2026-10-28: add by m2/v0.4.2
VEHTEXFVQX VEHTEXFVQX
| URI | m2://inv/VEHTEXFVQX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#example-16 (example). In E59CDZA4DP, example, section 2.4.3
History
- 2026-11-01: add by m2/v0.6.13
Number theory VEHXHYJW97
| URI | m2://inv/VEHXHYJW97 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#8Z48, Number theory (topic)
History
- 2026-11-02: add by m2/dev
VEJ1GFQ5CS VEJ1GFQ5CS
| URI | m2://inv/VEJ1GFQ5CS |
|---|---|
| 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.19861#HM5L (statement). In 5ZPQ60TM6J/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
Gauss's test VEJ2A74VB0
| URI | m2://inv/VEJ2A74VB0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q727729, Gauss's test (statement). Also MathWorld GausssTest
History
- 2026-10-26: add by m2/dev
Power-law fluid VEJ9WZ3H2T
| URI | m2://inv/VEJ9WZ3H2T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power-law fluid, Power-law fluid (statement). Also Wikidata Q970142
History
- 2026-11-02: add by m2/dev
Upper bound theorem VEJCW44ZF8
| URI | m2://inv/VEJCW44ZF8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Upper bound theorem, Upper bound theorem (statement). Also Wikidata Q17104455
History
- 2026-11-02: add by m2/dev
VEJE6MNVHZ VEJE6MNVHZ
| URI | m2://inv/VEJE6MNVHZ |
|---|---|
| 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-6 (exercise). In Y91XFCEVHQ, exercise, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
Diamond hierarchical gluing data VEJFHTTMG0
| URI | m2://inv/VEJFHTTMG0 |
|---|---|
| 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#6UTT, Diamond hierarchical gluing data (example). In XK6H7F2F13/e1, example 3.10
History
- 2026-10-30: add by m2/v0.4.12
David Gans VEK0BWBK0S
| URI | m2://inv/VEK0BWBK0S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#CKZB, David Gans (unknown)
History
- 2026-11-02: add by m2/dev
VEK100D7P5 VEK100D7P5
| URI | m2://inv/VEK100D7P5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#QFUB (statement). In BVAWVRS3R9/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
VEK4BTH27D VEK4BTH27D
| URI | m2://inv/VEK4BTH27D |
|---|---|
| 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.04809#WF5Z (statement). In 2VHV0RNTNV/e1, proposition 3.12
History
- 2026-10-29: add by m2/v0.4.12
Poincaré plot VEK5BVBD8B
| URI | m2://inv/VEK5BVBD8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MOB7, Poincaré plot (definition)
- wikipedia: Wikipedia List of things named after Henri Poincaré#JMNT, Poincaré plot (definition)
- wikipedia: Wikipedia List of graphical methods#9J3X, Poincaré plot (definition)
History
- 2026-11-02: add by m2/dev
VEK8XV87PJ VEK8XV87PJ
| URI | m2://inv/VEK8XV87PJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34923#AE7X (definition). In 7WKVFJEZQT/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
VEKAB34JNC VEKAB34JNC
| URI | m2://inv/VEKAB34JNC |
|---|---|
| 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 2609.27078#HFNS (definition)
History
- 2026-11-01: add by m2/v0.6.15
VEKGFZBACF VEKGFZBACF
| URI | m2://inv/VEKGFZBACF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28803#Q07N (example)
History
- 2026-11-01: add by m2/v0.6.15
VEKM9E27T0 VEKM9E27T0
| URI | m2://inv/VEKM9E27T0 |
|---|---|
| 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 2610.03754#AJFH (statement). In J1Z9P0H13V/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
VEKQ2P5YS8 VEKQ2P5YS8
| URI | m2://inv/VEKQ2P5YS8 |
|---|---|
| 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.25269#ARNM (statement)
History
- 2026-11-01: add by m2/v0.6.15
VEKXXBEC8S VEKXXBEC8S
| URI | m2://inv/VEKXXBEC8S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#problem-4 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Definition VEM0EQ3MG4
| URI | m2://inv/VEM0EQ3MG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Killing tensor#G079, Definition (definition)
History
- 2026-11-02: add by m2/dev
VEM6B5BCJA VEM6B5BCJA
| URI | m2://inv/VEM6B5BCJA |
|---|---|
| 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.23522#17SG (statement)
History
- 2026-11-02: add by m2/v0.6.17
Katz–Lang finiteness theorem VEMRSJM705
| URI | m2://inv/VEMRSJM705 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NGD6, Katz–Lang finiteness theorem (statement)
History
- 2026-11-02: add by m2/dev
VEMS57HD1P VEMS57HD1P
| URI | m2://inv/VEMS57HD1P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#V7BC (statement). In B9EX6K51RD/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
VEMSPEVZQS VEMSPEVZQS
| URI | m2://inv/VEMSPEVZQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37112#CE79 (statement). In 5B10HAY4C3/e1, theorem 4.9
History
- 2026-10-30: add by m2/v0.4.12
Coordinate transformation law VEMSQD35VV
| URI | m2://inv/VEMSQD35VV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector field#BG0V, Coordinate transformation law (statement)
History
- 2026-11-02: add by m2/dev
VEMXEKK35J VEMXEKK35J
| URI | m2://inv/VEMXEKK35J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.04874#FU95 (statement). In X365951S4Q/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Couple VEN1B1WJDK
| URI | m2://inv/VEN1B1WJDK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Couple (mechanics), Couple (definition). Also Wikidata Q253897
History
- 2026-11-02: add by m2/dev
VEN1KJ5N1N VEN1KJ5N1N
| URI | m2://inv/VEN1KJ5N1N |
|---|---|
| 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.09704#XMUO (definition). In FNG4B47MRV/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Borel measurability of projections VEN54MJQYP
| URI | m2://inv/VEN54MJQYP |
|---|---|
| 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.17129#MNZA, Borel measurability of projections (statement). In TCZWAMNYCV/e1, proposition 6.6
History
- 2026-10-28: add by m2/v0.4.2
Prime implicant VEN82FTG72
| URI | m2://inv/VEN82FTG72 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicant#S4FM, Prime implicant (unknown)
History
- 2026-11-02: add by m2/dev
Dudeney number VENGPQQ235
| URI | m2://inv/VENGPQQ235 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2534385, Dudeney number (object). Also OEIS A061209
- wikipedia: Wikipedia Dudeney number, Dudeney number (definition). Also Wikidata Q2534385
History
- 2026-10-26: add by m2/dev
Black box model of power converter VENKK63GYX
| URI | m2://inv/VENKK63GYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black box model of power converter, Black box model of power converter (definition). Also Wikidata Q96651285
History
- 2026-11-02: add by m2/dev
deformation VENPVBNKB4
| URI | m2://inv/VENPVBNKB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#9X76, deformation (definition)
History
- 2026-11-02: add by m2/dev
Tetrahedral symmetry VENQHGV9EA
| URI | m2://inv/VENQHGV9EA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform tilings on the sphere, plane, and hyperbolic plane#2CJR, Tetrahedral symmetry (definition)
History
- 2026-11-02: add by m2/dev
Equivariance of $\Psi$ VENVS9ZYJQ
| URI | m2://inv/VENVS9ZYJQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36237#9PF0, Equivariance of $\Psi$ (statement). In JNBMSFE14N/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Luus–Jaakola VENVSMQHXK
| URI | m2://inv/VENVSMQHXK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luus–Jaakola, Luus–Jaakola (definition). Also Wikidata Q6706076
History
- 2026-11-02: add by m2/dev
John Dirk Walecka VEP17AR34S
| URI | m2://inv/VEP17AR34S |
|---|---|
| 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 Q1699823, John Dirk Walecka (unknown). Also nLab John Dirk Walecka
History
- 2026-10-26: add by m2/dev
VEP50GBV24 VEP50GBV24
| URI | m2://inv/VEP50GBV24 |
|---|---|
| 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.36321#T272 (statement). In 3KTZ6Z615H/e1, theorem 7.5
History
- 2026-10-30: add by m2/v0.4.12
Martin Gardner bibliography VEP5ATMPX1
| URI | m2://inv/VEP5ATMPX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin Gardner bibliography, Martin Gardner bibliography (definition). Also Wikidata Q6775504
History
- 2026-11-02: add by m2/dev
Pólya enumeration theorem VEP5CCXQKC
| URI | m2://inv/VEP5CCXQKC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of misnamed theorems#GWBF, Pólya enumeration theorem (statement)
History
- 2026-11-02: add by m2/dev
VEPCQG82YM VEPCQG82YM
| URI | m2://inv/VEPCQG82YM |
|---|---|
| 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.33313#0QK1 (statement). In HRCEFY172P/e1, theorem 2.3
History
- 2026-10-30: add by m2/v0.4.12
VEPFGVX032 VEPFGVX032
| URI | m2://inv/VEPFGVX032 |
|---|---|
| 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 2310.11101#ABPD (statement). In YBBKTP4E70/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
VEPN7BEBS6 VEPN7BEBS6
| URI | m2://inv/VEPN7BEBS6 |
|---|---|
| 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.25718#2O2H (statement)
History
- 2026-11-01: add by m2/v0.6.15
History of logic VEPNM00E7M
| URI | m2://inv/VEPNM00E7M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of logic, History of logic (definition). Also Wikidata Q468620
History
- 2026-11-02: add by m2/dev
Induced path VEPZ6T1PTW
| URI | m2://inv/VEPZ6T1PTW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Induced path, Induced path (definition). Also Wikidata Q15704639
History
- 2026-11-02: add by m2/dev
monic VEPZYE2JVQ
| URI | m2://inv/VEPZYE2JVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#ADVJ, monic (definition)
History
- 2026-11-02: add by m2/dev
Octadecagon VEQ2RXARBT
| URI | m2://inv/VEQ2RXARBT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#4C0E, Octadecagon (definition)
- wikipedia: Wikipedia List of mathematical shapes#KADB, Octadecagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#42IO, Octadecagon (definition)
History
- 2026-11-02: add by m2/dev
VEQAAR00GN VEQAAR00GN
| URI | m2://inv/VEQAAR00GN |
|---|---|
| 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.01858#D3XI (statement). In NXSV14WJKJ/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
Number theory VEQF3Y9TK6
| URI | m2://inv/VEQF3Y9TK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#2V43, Number theory (definition)
History
- 2026-11-02: add by m2/dev
Unconditional finiteness and a.e.\ strict complementarity VERC4VJJJZ
| URI | m2://inv/VERC4VJJJZ |
|---|---|
| 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.00033#G5FG, Unconditional finiteness and a.e.\ strict complementarity (statement). In SHMMW4JXZ1/e1, theorem 11
History
- 2026-10-30: add by m2/v0.4.12
VERGCFB83F VERGCFB83F
| URI | m2://inv/VERGCFB83F |
|---|---|
| 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.06521#2PWT (statement). In NVXWD513NM/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
VERGDZRZVT VERGDZRZVT
| URI | m2://inv/VERGDZRZVT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11905#WPNL (statement). In QQFXT31CA5/e1, proposition 6.6
History
- 2026-10-28: add by m2/v0.4.3
VERN4PG9RW VERN4PG9RW
| URI | m2://inv/VERN4PG9RW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-28 (exercise). In E9HS8K3A52, exercise, section 2.2.8
History
- 2026-11-01: add by m2/v0.6.13
VERW2H8V54 VERW2H8V54
| URI | m2://inv/VERW2H8V54 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.16003#PH7V (definition). In BJGS6ZCQ12/e1, definition 9.3
History
- 2026-10-27: add by m2/v0.3.6
VERZQ5ZB7Z VERZQ5ZB7Z
| URI | m2://inv/VERZQ5ZB7Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/natural-deduction/quantifiers.tex#prop:regular (statement). In PKGMM3P5QY, prop, section 58.1
History
- 2026-11-01: add by m2/v0.6.13
Bump mapping VES8X2M1W0
| URI | m2://inv/VES8X2M1W0 |
|---|---|
| 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#62PX, Bump mapping (unknown)
History
- 2026-11-02: add by m2/dev
VESANEWNR6 VESANEWNR6
| URI | m2://inv/VESANEWNR6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#thm:rank_nullity (statement). In RZP28ERRZV, theorem, section 62.7
History
- 2026-11-01: add by m2/v0.6.13
VESBR1BGH2 VESBR1BGH2
| URI | m2://inv/VESBR1BGH2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-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.16541#BVGI (statement). In D0XH7W96T3/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
The Jacobson density theorem VESRZPPE2W
| URI | m2://inv/VESRZPPE2W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple module#ONVI, The Jacobson density theorem (statement)
History
- 2026-11-02: add by m2/dev
VET0FWC87Y VET0FWC87Y
| URI | m2://inv/VET0FWC87Y |
|---|---|
| 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.35632#MBRA (statement). In Q74G3BVZAQ/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
Stephan Körner VET2QJ2T13
| URI | m2://inv/VET2QJ2T13 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#I95X, Stephan Körner (topic)
History
- 2026-11-02: add by m2/dev
right circular cylinder VET5901BPN
| URI | m2://inv/VET5901BPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18466467, right circular cylinder (unknown). Also MathWorld RightCircularCylinder
- wikipedia: Wikipedia Right circular cylinder, Right circular cylinder (definition). Also Wikidata Q18466467
History
- 2026-10-26: add by m2/dev
Goodwin–Staton integral VET7TVK5D9
| URI | m2://inv/VET7TVK5D9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goodwin–Staton integral, Goodwin–Staton integral (definition). Also Wikidata Q19610603
History
- 2026-11-02: add by m2/dev
VET80T9NHT VET80T9NHT
| URI | m2://inv/VET80T9NHT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25703#TQ2Z (definition)
History
- 2026-11-01: add by m2/v0.6.15
Atomic measures with endpoint control VETAEC7JZN
| URI | m2://inv/VETAEC7JZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06875#GENK, Atomic measures with endpoint control (statement). In ZDT5J9KQVQ/e1, lemma F.3
History
- 2026-10-29: add by m2/v0.4.10
VETBJWB9V4 VETBJWB9V4
| URI | m2://inv/VETBJWB9V4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18503#ZFCX (statement). In RW315W172S/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
category of modules VETJDY4M1Y
| URI | m2://inv/VETJDY4M1Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Category of modules JBSSXP4FFY |
Mentions
- wikidata: Wikidata Q5051857, category of modules (unknown). Also nLab Mod
- wikipedia: Wikipedia Category of modules, Category of modules (definition). Also Wikidata Q5051857
History
- 2026-10-26: add by m2/dev
Union of Slovak Mathematicians and Physicists VETSQY93QW
| URI | m2://inv/VETSQY93QW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Union of Slovak Mathematicians and Physicists, Union of Slovak Mathematicians and Physicists (definition). Also Wikidata Q30297544
History
- 2026-11-02: add by m2/dev
VEV209B7W3 VEV209B7W3
| URI | m2://inv/VEV209B7W3 |
|---|---|
| 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.24323#FCKC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Isaak Bacharach VEV579DFZ0
| URI | m2://inv/VEV579DFZ0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#SEC6, Isaak Bacharach (topic)
History
- 2026-11-02: add by m2/dev
Applications VEV8AVX2BT
| URI | m2://inv/VEV8AVX2BT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection number#KD42, Applications (example)
History
- 2026-11-02: add by m2/dev
Rajagopalan Parthasarathy VEVP41WP86
| URI | m2://inv/VEVP41WP86 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#XS36, Rajagopalan Parthasarathy (topic)
History
- 2026-11-02: add by m2/dev
VEVTB1ARRP VEVTB1ARRP
| URI | m2://inv/VEVTB1ARRP |
|---|---|
| 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.36412#8K0E (statement). In 6HKGGCMBCK/e1, lemma 9.1
History
- 2026-10-30: add by m2/v0.4.12
VEVWTMQRMF VEVWTMQRMF
| URI | m2://inv/VEVWTMQRMF |
|---|---|
| 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.05820#QN8F (statement). In S8EGCJQ0JV/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Theorem VEVWXEN464
| URI | m2://inv/VEVWXEN464 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform limit theorem#HGTV, Theorem (statement)
History
- 2026-11-02: add by m2/dev
VEW10FB7HJ VEW10FB7HJ
| URI | m2://inv/VEW10FB7HJ |
|---|---|
| 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.39465#IR4L (statement). In 17F6FDEA3W/e1, theorem 4.3
History
- 2026-10-30: add by m2/v0.4.12
Artinian group VEW2G2SBJT
| URI | m2://inv/VEW2G2SBJT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q128656982, Artinian group (unknown). Also EoM Artinian_group, MathWorld ArtinianGroup
History
- 2026-10-26: add by m2/dev
VEW6CP2ENH VEW6CP2ENH
| URI | m2://inv/VEW6CP2ENH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#61DR (statement)
History
- 2026-11-01: add by m2/v0.6.15
deduction theorem VEW9AYW2SS
| URI | m2://inv/VEW9AYW2SS |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 4 |
| Outcome | open |
| Node | Deduction theorem 9X08XK5RV2 |
Mentions
- mathlib_1000: mathlib_1000 Q1182249, Deduction theorem (statement). Also Wikidata Q1182249
- thousand_plus: thousand_plus Q1182249, Deduction theorem (statement). Also Wikidata Q1182249, Wikipedia Deduction theorem
- wikidata: Wikidata Q1182249, deduction theorem (statement). Also MathWorld DeductionTheorem, nLab deduction theorem
- wikipedia: Wikipedia Deduction theorem, Deduction theorem (statement). Also Wikidata Q1182249
History
- 2026-10-26: add by m2/dev
Kepler conjecture VEWA0TW2KW
| URI | m2://inv/VEWA0TW2KW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#APG9, Kepler conjecture (statement)
History
- 2026-11-02: add by m2/dev
VEWBSB6T2F VEWBSB6T2F
| URI | m2://inv/VEWBSB6T2F |
|---|---|
| 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.01599#MTGM (statement). In K2KYNCWER3/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
Norm form VEWEMQNE5H
| URI | m2://inv/VEWEMQNE5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norm form, Norm form (definition). Also Wikidata Q7051619
History
- 2026-11-02: add by m2/dev
VEWFJATRXW VEWFJATRXW
| URI | m2://inv/VEWFJATRXW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33263#LX11 (definition). In 6S5EH3388Z/e1, definition 4.3
History
- 2026-10-30: add by m2/v0.4.12
VEWJVPVTM9 VEWJVPVTM9
| URI | m2://inv/VEWJVPVTM9 |
|---|---|
| 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 2602.07485#4IZH (example). In 8KAC1E81JQ/e1, example 3
History
- 2026-10-27: add by m2/v0.3.5
Utility VEWV1DGG4Z
| URI | m2://inv/VEWV1DGG4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Utility, Utility (definition). Also Wikidata Q466707
History
- 2026-11-02: add by m2/dev
VEWX43RM69 VEWX43RM69
| URI | m2://inv/VEWX43RM69 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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.24465#H7AK (definition)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations VEWYRZK9F6
| URI | m2://inv/VEWYRZK9F6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lifting-the-exponent lemma#V51Q, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
tilt VEX177R592
| URI | m2://inv/VEX177R592 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14050#U7P0, tilt (statement). In RENT22YXW3/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Breuil--M\'ezard conjecture VEX2CBMYMB
| URI | m2://inv/VEX2CBMYMB |
|---|---|
| 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.16225#NVRR, Breuil--M\'ezard conjecture (statement). In H3DJV9YQW1/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Volume growth and isoperimetric inequality VEX3WENCW6
| URI | m2://inv/VEX3WENCW6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic space#W70G, Volume growth and isoperimetric inequality (statement)
History
- 2026-11-02: add by m2/dev
VEX99HNHND VEX99HNHND
| URI | m2://inv/VEX99HNHND |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31294#D6E7 (problem). In 6GK9EJMWY4/e1, problem 1.1
History
- 2026-10-31: add by m2/v0.5.6
Sparse language VEXAK7T8N0
| URI | m2://inv/VEXAK7T8N0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparse language, Sparse language (definition). Also Wikidata Q7573802
History
- 2026-11-02: add by m2/dev
Stephan Stolz VEXJTXECCW
| URI | m2://inv/VEXJTXECCW |
|---|---|
| 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 Q15455774, Stephan Stolz (unknown). Also nLab Stephan Stolz
History
- 2026-10-26: add by m2/dev
VEXN07Z1WB VEXN07Z1WB
| URI | m2://inv/VEXN07Z1WB |
|---|---|
| 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.00584#8QS9 (definition). In 3CRSR95BNA/e1, definition 3.3
History
- 2026-10-30: add by m2/v0.4.12
divisor, greatest common VEXR19GDSW
| URI | m2://inv/VEXR19GDSW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/3.5.1/divisor-greatest-common, divisor, greatest common (concept). In QKM9DD2H56, index, section 3.5.1
History
- 2026-11-01: add by m2/v0.6.13
Friedrichs commutator in conservative form VEXWWAW84R
| URI | m2://inv/VEXWWAW84R |
|---|---|
| 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.05312#LOZJ, Friedrichs commutator in conservative form (statement). In 1CMMK399WQ/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
VEXYHT0W41 VEXYHT0W41
| URI | m2://inv/VEXYHT0W41 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11021#FLM8 (statement). In R0SSJZYVTJ/e1, theorem 7.3
History
- 2026-10-28: add by m2/v0.4.3
TPE system VEY1X8Z6S2
| URI | m2://inv/VEY1X8Z6S2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11652#PAB6, TPE system (definition). In VEXM27M8Q1/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.3
magma VEY383RYHP
| URI | m2://inv/VEY383RYHP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/magma, magma (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
VEYA29N3PC VEYA29N3PC
| URI | m2://inv/VEYA29N3PC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#theorem-5 (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
VEYF4ZB9XE VEYF4ZB9XE
| URI | m2://inv/VEYF4ZB9XE |
|---|---|
| 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.21036#01FN (statement). In G0M4N3E0CG/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.2
Terminology VEYGZ257C4
| URI | m2://inv/VEYGZ257C4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson point process#9N6Q, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Winfried Scharlau VEYJQ1RT9Z
| URI | m2://inv/VEYJQ1RT9Z |
|---|---|
| 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#D4X2, Winfried Scharlau (topic)
History
- 2026-11-02: add by m2/dev
Initial uniform structure VEYKN0MMZ4
| URI | m2://inv/VEYKN0MMZ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Initial topology#289F, Initial uniform structure (unknown)
History
- 2026-11-02: add by m2/dev
VEYQ497S9X VEYQ497S9X
| URI | m2://inv/VEYQ497S9X |
|---|---|
| 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.37201#UM93 (statement). In HJEK865J7W/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
VEYT883FEV VEYT883FEV
| URI | m2://inv/VEYT883FEV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.16003#XM67 (definition). In BJGS6ZCQ12/e1, definition 6.10
History
- 2026-10-27: add by m2/v0.3.6
VEZ1YS74TY VEZ1YS74TY
| URI | m2://inv/VEZ1YS74TY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#7LW0 (statement). In 9TR5E527P5/e1, lemma 6.16
History
- 2026-10-29: add by m2/v0.4.10
Mariusz Wodzicki VEZ33VCZMR
| URI | m2://inv/VEZ33VCZMR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mariusz Wodzicki, Mariusz Wodzicki (topic). Also Wikidata Q30620953
History
- 2026-11-02: add by m2/dev
Theorem (Gil-Pelaez) VEZ4F440WN
| URI | m2://inv/VEZ4F440WN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic function (probability theory)#YFC8, Theorem (Gil-Pelaez) (statement)
History
- 2026-11-02: add by m2/dev
Walker, Gilbert VEZ5HGNJMY
| URI | m2://inv/VEZ5HGNJMY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#RYFS, Walker, Gilbert (unknown)
History
- 2026-11-02: add by m2/dev
VEZ710G3DN VEZ710G3DN
| URI | m2://inv/VEZ710G3DN |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-19 (proof). In N54F33XE07, proof, section C.2
History
- 2026-11-01: add by m2/v0.6.13
VEZMDR3H5N VEZMDR3H5N
| URI | m2://inv/VEZMDR3H5N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.15716#6PQF (statement). In 7WDA4MEWE2/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.6
VEZN2Y9VXX VEZN2Y9VXX
| URI | m2://inv/VEZN2Y9VXX |
|---|---|
| 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.10558#K3QD (statement). In GYSF9JXQCH/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
The canonical circle action VEZPQX4Z2F
| URI | m2://inv/VEZPQX4Z2F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29839#1PQB, The canonical circle action (statement)
History
- 2026-11-01: add by m2/v0.6.15
fixed end of beam VEZS41K3XN
| URI | m2://inv/VEZS41K3XN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/3.2/fixed-end-of-beam, fixed end of beam (concept). In E9HS8K3A52, index, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
VEZT2RZ4F5 VEZT2RZ4F5
| URI | m2://inv/VEZT2RZ4F5 |
|---|---|
| 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.36423#VSAG (statement). In Q5Z178SAHP/e1, lemma 6.4
History
- 2026-10-30: add by m2/v0.4.12
Doric Tetrapolis VEZYCVTN7K
| URI | m2://inv/VEZYCVTN7K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#VZAB, Doric Tetrapolis (unknown)
History
- 2026-11-02: add by m2/dev