Inventory rows VR
The cards of the rows of the inventory whose ids start with VR. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
\lean{hg\_model VR0710ETXQ
| URI | m2://inv/VR0710ETXQ |
|---|---|
| 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.23143#MYYW, \lean{hg\_model (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples VR0B2ZFQQZ
| URI | m2://inv/VR0B2ZFQQZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intension#NHL2, Examples (example)
History
- 2026-11-02: add by m2/dev
VR0C98C3VS VR0C98C3VS
| URI | m2://inv/VR0C98C3VS |
|---|---|
| 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.29521#KAVF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fourth Crossing, California VR0Y1QQJNE
| URI | m2://inv/VR0Y1QQJNE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#QEZW, Fourth Crossing, California (unknown)
History
- 2026-11-02: add by m2/dev
Prüfer domain VR18TB6R7N
| URI | m2://inv/VR18TB6R7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#JTX5, Prüfer domain (definition)
History
- 2026-11-02: add by m2/dev
VR1FKY1F42 VR1FKY1F42
| URI | m2://inv/VR1FKY1F42 |
|---|---|
| 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.39948#CJJP (definition). In 6R7CBG955V/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
cyclic incidence rank VR1G2NXYYG
| URI | m2://inv/VR1G2NXYYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.02289#KYXL, cyclic incidence rank (statement). In 67BZ87CQ74/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
VR1J62K98F VR1J62K98F
| URI | m2://inv/VR1J62K98F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-18 (exercise). In QKM9DD2H56, exercise, section 7
History
- 2026-11-01: add by m2/v0.6.13
Inverse Compton emission VR1RJSV4QF
| URI | m2://inv/VR1RJSV4QF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compton scattering#FROK, Inverse Compton emission (unknown)
History
- 2026-11-02: add by m2/dev
VR1S5HNATH VR1S5HNATH
| URI | m2://inv/VR1S5HNATH |
|---|---|
| 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.39981#XAQY (statement). In PMMV6YAEVR/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
Theorem statement VR1SZB7Q07
| URI | m2://inv/VR1SZB7Q07 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Büchi–Elgot–Trakhtenbrot theorem#4T64, Theorem statement (statement)
History
- 2026-11-02: add by m2/dev
Peel reciprocity VR1VG3WB52
| URI | m2://inv/VR1VG3WB52 |
|---|---|
| Kind | problem |
| 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.26196#MN0X, Peel reciprocity (problem)
History
- 2026-11-01: add by m2/v0.6.15
VR1ZK9VBT9 VR1ZK9VBT9
| URI | m2://inv/VR1ZK9VBT9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#9BRO (statement)
History
- 2026-11-01: add by m2/v0.6.15
relabelling of barycentric monomials VR20J4NMH2
| URI | m2://inv/VR20J4NMH2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39511#NWUC, relabelling of barycentric monomials (statement). In 6W9H24A378/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
VR2F5TP9BE VR2F5TP9BE
| URI | m2://inv/VR2F5TP9BE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09561#DBB3 (statement). In WDV5E2CVTR/e1, corollary 5.2
History
- 2026-10-29: add by m2/v0.4.10
Kirchhoff's law of thermal radiation VR2GY8QKB0
| URI | m2://inv/VR2GY8QKB0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planck's law#ND25, Kirchhoff's law of thermal radiation (statement)
History
- 2026-11-02: add by m2/dev
VR2J9VJD2R VR2J9VJD2R
| URI | m2://inv/VR2J9VJD2R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.17032#2PDF (statement). In MXPK9A2HK2/e1, proposition 2.12
History
- 2026-10-28: add by m2/v0.4.2
VR2T2K5PX1 VR2T2K5PX1
| URI | m2://inv/VR2T2K5PX1 |
|---|---|
| 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.39726#GBOL (statement). In 4CTC8A57SD/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
VR2ZZXFQ3Q VR2ZZXFQ3Q
| URI | m2://inv/VR2ZZXFQ3Q |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#proof-5 (proof). In E59CDZA4DP, proof, section 3.2.2
History
- 2026-11-01: add by m2/v0.6.13
Kristina Vušković VR31S1GXEW
| URI | m2://inv/VR31S1GXEW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kristina Vušković, Kristina Vušković (topic). Also Wikidata Q63122279
History
- 2026-11-02: add by m2/dev
Kharitonov's theorem VR33TS3RYZ
| URI | m2://inv/VR33TS3RYZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 93-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6400676, Kharitonov's theorem (statement). Also Wikidata Q6400676
- thousand_plus: thousand_plus Q6400676, Kharitonov's theorem (statement). Also Wikidata Q6400676, Wikipedia Kharitonov's theorem
- wikipedia: Wikipedia Kharitonov's theorem, Kharitonov's theorem (statement). Also Wikidata Q6400676
History
- 2026-10-26: add by m2/dev
Gyula Kőnig VR342CNHS8
| URI | m2://inv/VR342CNHS8 |
|---|---|
| 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 Q515891, Gyula Kőnig (unknown). Also ProofWiki Mathematician:Gyula_Kőnig
History
- 2026-10-26: add by m2/dev
VR35H4TANN VR35H4TANN
| URI | m2://inv/VR35H4TANN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06338#WX6R (statement). In F1CYVYK7YB/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.10
Dual group VR361SWSHN
| URI | m2://inv/VR361SWSHN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#FZJA, Dual group (unknown)
History
- 2026-11-02: add by m2/dev
Properties VR36YCYH54
| URI | m2://inv/VR36YCYH54 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quartic graph#E18C, Properties (statement)
History
- 2026-11-02: add by m2/dev
Generalization VR3EYFQ5V6
| URI | m2://inv/VR3EYFQ5V6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Gallai theorem#NVW4, Generalization (statement)
History
- 2026-11-02: add by m2/dev
VR3JNNCJBS VR3JNNCJBS
| URI | m2://inv/VR3JNNCJBS |
|---|---|
| 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#HT1X (statement). In Q5Z178SAHP/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
VR3S168JBJ VR3S168JBJ
| URI | m2://inv/VR3S168JBJ |
|---|---|
| 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 2108.03672#11YH (statement). In EZZSZ1F071/e1, lemma 2.16
History
- 2026-10-27: add by m2/v0.4.0
Determining the number of clusters in a data set VR3TC5V57A
| URI | m2://inv/VR3TC5V57A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#METE, Determining the number of clusters in a data set (definition)
History
- 2026-11-02: add by m2/dev
VR3VSKFMDY VR3VSKFMDY
| URI | m2://inv/VR3VSKFMDY |
|---|---|
| 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 2112.05010#ZDRW (statement). In 4SZNPS3Z00/e1, lemma B.4
History
- 2026-10-27: add by m2/v0.3.6
VR44FW63JQ VR44FW63JQ
| URI | m2://inv/VR44FW63JQ |
|---|---|
| Kind | counterexample |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#G6YI (counterexample). In HX63A1PH1W/e1, counterexample 5.46
History
- 2026-10-28: add by m2/v0.4.3
Klein's inequality VR45VEW2Z5
| URI | m2://inv/VR45VEW2Z5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace inequality#WVM6, Klein's inequality (statement)
History
- 2026-11-02: add by m2/dev
VR465SVXK5 VR465SVXK5
| URI | m2://inv/VR465SVXK5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#Z0J8 (statement). In JWNYJVH8XG/e1, proposition 4.13
History
- 2026-10-29: add by m2/v0.4.10
VR468KHJEF VR468KHJEF
| URI | m2://inv/VR468KHJEF |
|---|---|
| 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.12683#1LHD (statement). In N5ZFFWV3RX/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Mollie Orshansky VR473DPRDG
| URI | m2://inv/VR473DPRDG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#GKFM, Mollie Orshansky (unknown)
History
- 2026-11-02: add by m2/dev
Transcendental log cost function VR4GATW0AY
| URI | m2://inv/VR4GATW0AY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cobb–Douglas production function#4Y5N, Transcendental log cost function (unknown)
History
- 2026-11-02: add by m2/dev
Sextic twisted first moment VR4JZRVEJP
| URI | m2://inv/VR4JZRVEJP |
|---|---|
| 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.15316#ME7S, Sextic twisted first moment (statement). In 3K84E4150C/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
Formal statement VR4NXYPQEV
| URI | m2://inv/VR4NXYPQEV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fiber bundle construction theorem#4CAH, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Generalized variance VR4PEDNHQZ
| URI | m2://inv/VR4PEDNHQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized variance, Generalized variance (definition). Also Wikidata Q85762950
History
- 2026-11-02: add by m2/dev
Finiteness of quotients with positive distance VR4PSN38RC
| URI | m2://inv/VR4PSN38RC |
|---|---|
| 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 2502.09121#CIFU, Finiteness of quotients with positive distance (statement). In 559PF7Q5BT/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.5
Antisymmetrized product of disjoint fermionic states VR4S3H37SS
| URI | m2://inv/VR4S3H37SS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20910#KHFV, Antisymmetrized product of disjoint fermionic states (statement). In CETHKW9EBV/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.4.2
Existential fallacy VR5HY853X9
| URI | m2://inv/VR5HY853X9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#18K1, Existential fallacy (definition)
History
- 2026-11-02: add by m2/dev
VR5MSAXM6V VR5MSAXM6V
| URI | m2://inv/VR5MSAXM6V |
|---|---|
| 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.23562#YZHP (statement)
History
- 2026-11-02: add by m2/v0.6.17
VR5N8R1A1W VR5N8R1A1W
| URI | m2://inv/VR5N8R1A1W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-5 (exercise). In E9HS8K3A52, exercise, section 6.8.5
History
- 2026-11-01: add by m2/v0.6.13
Dirichlet tessellation VR5T7MAQGZ
| URI | m2://inv/VR5T7MAQGZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#QWJG, Dirichlet tessellation (definition)
History
- 2026-11-02: add by m2/dev
760 (number) VR5XW4DEF7
| URI | m2://inv/VR5XW4DEF7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#6GO5, 760 (number) (unknown)
History
- 2026-11-02: add by m2/dev
ElGamal encryption VR630VSE30
| URI | m2://inv/VR630VSE30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ElGamal encryption, ElGamal encryption (definition). Also Wikidata Q1162410
History
- 2026-11-02: add by m2/dev
Information loss paradox VR63BKQ1J4
| URI | m2://inv/VR63BKQ1J4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black hole#JMPV, Information loss paradox (statement)
History
- 2026-11-02: add by m2/dev
Aner Shalev VR63EGBTWD
| URI | m2://inv/VR63EGBTWD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PD33, Aner Shalev (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DC9H, Aner Shalev (unknown)
History
- 2026-11-02: add by m2/dev
Mental age VR68GRVKS7
| URI | m2://inv/VR68GRVKS7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mental age, Mental age (definition). Also Wikidata Q378697
History
- 2026-11-02: add by m2/dev
Freudenburg's theorem VR6BBHBNVH
| URI | m2://inv/VR6BBHBNVH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally nilpotent derivation#2A1D, Freudenburg's theorem (statement)
History
- 2026-11-02: add by m2/dev
Aline Gouget VR6K4XSKWE
| URI | m2://inv/VR6K4XSKWE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aline Gouget, Aline Gouget (topic). Also Wikidata Q66736200
History
- 2026-11-02: add by m2/dev
Ibn al-Haytham VR6Q5PN8HR
| URI | m2://inv/VR6Q5PN8HR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#YJQG, Ibn al-Haytham (topic)
History
- 2026-11-02: add by m2/dev
A* search algorithm VR7097AKF5
| URI | m2://inv/VR7097AKF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A* search algorithm, A* search algorithm (definition). Also Wikidata Q277680
History
- 2026-11-02: add by m2/dev
Feedback with Carry Shift Registers VR70E49GW8
| URI | m2://inv/VR70E49GW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feedback with Carry Shift Registers, Feedback with Carry Shift Registers (definition). Also Wikidata Q3931998
History
- 2026-11-02: add by m2/dev
Rape in Botswana VR79MZ2EGZ
| URI | m2://inv/VR79MZ2EGZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rape statistics#4XWT, Rape in Botswana (unknown)
History
- 2026-11-02: add by m2/dev
VR7A45TNJX VR7A45TNJX
| URI | m2://inv/VR7A45TNJX |
|---|---|
| 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 2206.11809#9DO4 (statement). In YQXYSNW78V/e1, proposition 13
History
- 2026-10-27: add by m2/v0.3.5
EDUindex VR7B7QB3GS
| URI | m2://inv/VR7B7QB3GS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia EDUindex, EDUindex (definition). Also Wikidata Q17009985
History
- 2026-11-02: add by m2/dev
Weakly measurable function VR7EW1S43Y
| URI | m2://inv/VR7EW1S43Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weakly measurable function, Weakly measurable function (definition). Also Wikidata Q195174
History
- 2026-11-02: add by m2/dev
Applications VR7GTM9CJ7
| URI | m2://inv/VR7GTM9CJ7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PDE-constrained optimization#EEUQ, Applications (example)
History
- 2026-11-02: add by m2/dev
Definitions VR7M712B3B
| URI | m2://inv/VR7M712B3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heavy-tailed distribution#N5US, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Parabolic Riemann surface VR7MHSMWK7
| URI | m2://inv/VR7MHSMWK7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann surface#72TB, Parabolic Riemann surface (unknown)
History
- 2026-11-02: add by m2/dev
Expected number of activation switches VR7NHX62NN
| URI | m2://inv/VR7NHX62NN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32695#SB4L, Expected number of activation switches (statement). In VQSF2E35BX/e1, proposition A.4
History
- 2026-10-31: add by m2/v0.5.6
Differential algebra VR7SBX15SX
| URI | m2://inv/VR7SBX15SX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#CN8P, Differential algebra (definition)
- wikipedia: Wikipedia List of commutative algebra topics#2XJO, Differential algebra (definition)
History
- 2026-11-02: add by m2/dev
VR808D4B65 VR808D4B65
| URI | m2://inv/VR808D4B65 |
|---|---|
| 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.17589#5SEE (statement). In GSTK4569X1/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
Nanny Wermuth VR8426J3RT
| URI | m2://inv/VR8426J3RT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nanny Wermuth, Nanny Wermuth (topic). Also Wikidata Q6963931
History
- 2026-11-02: add by m2/dev
Early Ludwig Wittgenstein VR8VAF7KF4
| URI | m2://inv/VR8VAF7KF4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludwig Wittgenstein#P5D2, Early Ludwig Wittgenstein (unknown)
History
- 2026-11-02: add by m2/dev
Kronecker's congruence VR8WB0B9RZ
| URI | m2://inv/VR8WB0B9RZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kronecker's congruence, Kronecker's congruence (definition). Also Wikidata Q6438890
History
- 2026-11-02: add by m2/dev
Golden-section search VR8WD7RXA2
| URI | m2://inv/VR8WD7RXA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golden-section search, Golden-section search (definition). Also Wikidata Q2424337
History
- 2026-11-02: add by m2/dev
Magnetic charges of the circle VR8X81BXV9
| URI | m2://inv/VR8X81BXV9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-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.03865#D462, Magnetic charges of the circle (example). In G3D1YR20BJ/e1, example 2.7
History
- 2026-10-29: add by m2/v0.4.12
Statement VR93KGGZBF
| URI | m2://inv/VR93KGGZBF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom schema of replacement#KKTC, Statement (statement)
History
- 2026-11-02: add by m2/dev
Marc Levine VR97NTRM1C
| URI | m2://inv/VR97NTRM1C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FXNE, Marc Levine (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WZNO, Marc Levine (unknown)
History
- 2026-11-02: add by m2/dev
Rand index VR97TDSEGM
| URI | m2://inv/VR97TDSEGM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8ZFF, Rand index (definition)
History
- 2026-11-02: add by m2/dev
Convergence of the energy VR9AEZD18F
| URI | m2://inv/VR9AEZD18F |
|---|---|
| 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.01928#QOOX, Convergence of the energy (statement). In BSJRRHKGX0/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
VR9P9QDR70 VR9P9QDR70
| URI | m2://inv/VR9P9QDR70 |
|---|---|
| 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 math/0301148#8QXP (statement). In 5RE15848Z0/e1, lemma 1.1
History
- 2026-10-27: add by m2/v0.3.5
Correlation function VR9RWM638V
| URI | m2://inv/VR9RWM638V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AI58, Correlation function (definition)
History
- 2026-11-02: add by m2/dev
Avraham Trahtman VR9SM19KKG
| URI | m2://inv/VR9SM19KKG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Avraham Trahtman, Avraham Trahtman (topic). Also Wikidata Q2874512
History
- 2026-11-02: add by m2/dev
Generalization VR9SPR86SR
| URI | m2://inv/VR9SPR86SR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy category of chain complexes#TA2I, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Completeness of the real numbers VR9W6AMT34
| URI | m2://inv/VR9W6AMT34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completeness of the real numbers, Completeness of the real numbers (definition). Also Wikidata Q1324487
History
- 2026-11-02: add by m2/dev
absolute zero VR9Y62TZ8F
| URI | m2://inv/VR9Y62TZ8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q81182, absolute zero (definition). Also ProofWiki Definition:Absolute_Zero
History
- 2026-10-26: add by m2/dev
Craig's Interpolation Theorem VR9Y6N7V1N
| URI | m2://inv/VR9Y6N7V1N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/interpolation.tex#thm:interpolation, Craig's Interpolation Theorem (statement). In PKGMM3P5QY, thm, section 57.1
History
- 2026-11-01: add by m2/v0.6.13
Lemma VRA1J1RNFJ
| URI | m2://inv/VRA1J1RNFJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#NYQG, Lemma (statement)
History
- 2026-11-02: add by m2/dev
transport equation VRA49SY6ZC
| URI | m2://inv/VRA49SY6ZC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.9/transport-equation, transport equation (concept). In E9HS8K3A52, index, section 6.9
History
- 2026-11-01: add by m2/v0.6.13
Observed Information Convergence VRA53EAWXS
| URI | m2://inv/VRA53EAWXS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20041#9CUB, Observed Information Convergence (statement)
History
- 2026-11-02: add by m2/v0.6.18
Tsirelson's inequality and CHSH rigidity VRA99V0KXS
| URI | m2://inv/VRA99V0KXS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CHSH inequality#HPXM, Tsirelson's inequality and CHSH rigidity (statement)
History
- 2026-11-02: add by m2/dev
Implementations VRAC6HQ0BF
| URI | m2://inv/VRAC6HQ0BF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-key MAC#SCSJ, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Amanda Folsom VRAFPYFH0M
| URI | m2://inv/VRAFPYFH0M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amanda Folsom, Amanda Folsom (topic). Also Wikidata Q59812149
History
- 2026-11-02: add by m2/dev
Jessie MacWilliams VRAGMCRAGW
| URI | m2://inv/VRAGMCRAGW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GZBG, Jessie MacWilliams (topic)
History
- 2026-11-02: add by m2/dev
VRAHFR8R62 VRAHFR8R62
| URI | m2://inv/VRAHFR8R62 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#F8J0 (statement). In ZJQB9W60T6/e1, lemma 6.8
History
- 2026-10-28: add by m2/v0.4.2
Properties VRAJXN3EK0
| URI | m2://inv/VRAJXN3EK0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact completion#JLCM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Generalizations VRANB34RJA
| URI | m2://inv/VRANB34RJA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl law#MXEB, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
VRAQ9A3TXF VRAQ9A3TXF
| URI | m2://inv/VRAQ9A3TXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03719#5PZ1 (statement). In 8MDK189ZMB/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.12
Sufficiency principle (S) VRAWD6TK7B
| URI | m2://inv/VRAWD6TK7B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birnbaum's theorem#T8Y0, Sufficiency principle (S) (statement)
History
- 2026-11-02: add by m2/dev
VRAWQ6SDBP VRAWQ6SDBP
| URI | m2://inv/VRAWQ6SDBP |
|---|---|
| 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 2212.05398#AS7G (statement). In WQKQ8438M7/e1, lemma 1.6
History
- 2026-10-27: add by m2/v0.3.5
VRAXG8WK6Z VRAXG8WK6Z
| URI | m2://inv/VRAXG8WK6Z |
|---|---|
| Kind | statement |
| 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.08638#GJIU (statement). In 113VZ5XX7J/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
Angles of intersection VRAZ5STFYT
| URI | m2://inv/VRAZ5STFYT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2248173, Angles of intersection (unknown). Also MathWorld Line-LineAngle
History
- 2026-10-26: add by m2/dev
David Eisenberg VRB1CT260Y
| URI | m2://inv/VRB1CT260Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#16WZ, David Eisenberg (unknown)
History
- 2026-11-02: add by m2/dev
Bennett's inequality VRB8VB6F2J
| URI | m2://inv/VRB8VB6F2J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bennett's inequality, Bennett's inequality (statement). Also Wikidata Q16840359
History
- 2026-11-02: add by m2/dev
Pentagon group relations VRBBKPAWBD
| URI | m2://inv/VRBBKPAWBD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.27799#0IFX, Pentagon group relations (statement)
History
- 2026-11-01: add by m2/v0.6.15
Subbaramiah Minakshisundaram VRBJG54QH1
| URI | m2://inv/VRBJG54QH1 |
|---|---|
| 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#8NEH, Subbaramiah Minakshisundaram (topic)
History
- 2026-11-02: add by m2/dev
Examples VRBSEWYCJW
| URI | m2://inv/VRBSEWYCJW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birth process#C7F6, Examples (example)
History
- 2026-11-02: add by m2/dev
transpose VRBVQBKEWR
| URI | m2://inv/VRBVQBKEWR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/6.2.3/transpose, transpose (concept). In 649HGZKE96, index, section 6.2.3
History
- 2026-11-01: add by m2/v0.6.13
VRBVZQQSCA VRBVZQQSCA
| URI | m2://inv/VRBVZQQSCA |
|---|---|
| Kind | problem |
| 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.36411#QGPI (problem). In 9QG5CND2RQ/e1, problem
History
- 2026-10-30: add by m2/v0.4.12
Debabrata Basu VRBXBTFWWV
| URI | m2://inv/VRBXBTFWWV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Debabrata Basu, Debabrata Basu (topic). Also Wikidata Q5247806
History
- 2026-11-02: add by m2/dev
VRBXNP7YGG VRBXNP7YGG
| URI | m2://inv/VRBXNP7YGG |
|---|---|
| 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 1004.4564#GQSL (statement). In BZ54C9SKYS/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
mathematics, classical VRC4K1RKTM
| URI | m2://inv/VRC4K1RKTM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2.1/mathematics-classical, mathematics, classical (concept). In N54F33XE07, index, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
Generalizations VRC4RYJ2HW
| URI | m2://inv/VRC4RYJ2HW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line segment#JNKG, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
VRCHJ4QYFM VRCHJ4QYFM
| URI | m2://inv/VRCHJ4QYFM |
|---|---|
| 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.36877#5LF8 (statement). In FYS6VV5M99/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
Limited subtraction VRD2938W2G
| URI | m2://inv/VRD2938W2G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monus#HA9E, Limited subtraction (unknown)
History
- 2026-11-02: add by m2/dev
Peano existence theorem VRDAF4QBXP
| URI | m2://inv/VRDAF4QBXP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 34-XX |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Peano existence theorem 098YP831QY |
Mentions
- mathlib_1000: mathlib_1000 Q740093, Peano existence theorem (statement). Also Wikidata Q740093
- thousand_plus: thousand_plus Q740093, Peano existence theorem (statement). Also Wikidata Q740093, Wikipedia Peano existence theorem
- wikidata: Wikidata Q740093, Peano existence theorem (statement). Also EoM Peano_theorem
- wikipedia: Wikipedia Peano existence theorem, Peano existence theorem (statement). Also Wikidata Q740093
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Armitage–Doll multistage model of carcinogenesis VRDHTMV014
| URI | m2://inv/VRDHTMV014 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Armitage–Doll multistage model of carcinogenesis, Armitage–Doll multistage model of carcinogenesis (definition). Also Wikidata Q4793633
History
- 2026-11-02: add by m2/dev
VRDHX46WJT VRDHX46WJT
| URI | m2://inv/VRDHX46WJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/natural-deduction/grafting.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 57.4
History
- 2026-11-01: add by m2/v0.6.13
Alan Sokal VRDK39CA83
| URI | m2://inv/VRDK39CA83 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alan Sokal, Alan Sokal (topic). Also Wikidata Q370022
History
- 2026-11-02: add by m2/dev
VRDNS6D047 VRDNS6D047
| URI | m2://inv/VRDNS6D047 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20018#HDZH (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition VRE1678QA6
| URI | m2://inv/VRE1678QA6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free module#QR0K, Definition (definition)
History
- 2026-11-02: add by m2/dev
Dijkstra's algorithm VRE44DDNK6
| URI | m2://inv/VRE44DDNK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8548, Dijkstra's algorithm (unknown). Also MathWorld DijkstrasAlgorithm
- wikipedia: Wikipedia Dijkstra's algorithm, Dijkstra's algorithm (definition). Also Wikidata Q8548
History
- 2026-10-26: add by m2/dev
VRE7RFDHBD VRE7RFDHBD
| URI | m2://inv/VRE7RFDHBD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#XS5T (definition). In Z7E16PFFCP/e1, definition 3.32
History
- 2026-10-30: add by m2/v0.4.12
Applications VREA97QJHE
| URI | m2://inv/VREA97QJHE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truth table#DJ4E, Applications (example)
History
- 2026-11-02: add by m2/dev
Dialectica VREDVZDSAB
| URI | m2://inv/VREDVZDSAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dialectica, Dialectica (definition). Also Wikidata Q3025959
History
- 2026-11-02: add by m2/dev
Triangular prismatic honeycomb VREFV9QKX9
| URI | m2://inv/VREFV9QKX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#EM5Q, Triangular prismatic honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#QXNT, Triangular prismatic honeycomb (definition)
History
- 2026-11-02: add by m2/dev
VREGSS5VR3 VREGSS5VR3
| URI | m2://inv/VREGSS5VR3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-60 (exercise). In E9HS8K3A52, exercise, section 7.4.5
History
- 2026-11-01: add by m2/v0.6.13
Antonio Ludeña VREHJNGVAT
| URI | m2://inv/VREHJNGVAT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antonio Ludeña, Antonio Ludeña (topic). Also Wikidata Q18945042
History
- 2026-11-02: add by m2/dev
Stephen F. Bollenbach VREJCXTPX8
| URI | m2://inv/VREJCXTPX8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#ZWIQ, Stephen F. Bollenbach (unknown)
History
- 2026-11-02: add by m2/dev
t-product VREVVWN5HM
| URI | m2://inv/VREVVWN5HM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04063#2QEL, t-product (definition). In TFH7T63DX9/e1, definition A.4
History
- 2026-10-27: add by m2/v0.3.5
Properties VRF16RYJPJ
| URI | m2://inv/VRF16RYJPJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pointwise#5IWA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Straight-line program VRF7GDKTW4
| URI | m2://inv/VRF7GDKTW4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straight-line program, Straight-line program (definition). Also Wikidata Q25344628
History
- 2026-11-02: add by m2/dev
VRFCADW1EG VRFCADW1EG
| URI | m2://inv/VRFCADW1EG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03424#JE7W (statement). In Q6HRJP4AWA/e1, corollary 6.5
History
- 2026-10-29: add by m2/v0.4.12
VRFE73N24Z VRFE73N24Z
| URI | m2://inv/VRFE73N24Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06338#NZ1P (statement). In F1CYVYK7YB/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.10
Apeirogonal hosohedron VRG42ABWFE
| URI | m2://inv/VRG42ABWFE |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apeirogonal hosohedron, Apeirogonal hosohedron (object). Also Wikidata Q16829468
History
- 2026-11-02: add by m2/dev
multiplication by a function $C^\infty$ of slow growth VRG44KTH6Z
| URI | m2://inv/VRG44KTH6Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Tempered distributions > multiplication by a function $C^\infty$ of slow growth, multiplication by a function $C^\infty$ of slow growth (unknown). Also Mathlib TemperedDistribution.smulLeftCLM
History
- 2026-10-26: add by m2/dev
Definition VRG4P6XKN0
| URI | m2://inv/VRG4P6XKN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Split normal distribution#R05M, Definition (definition)
History
- 2026-11-02: add by m2/dev
Kerstin Jordaan VRG6D7XKGT
| URI | m2://inv/VRG6D7XKGT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kerstin Jordaan, Kerstin Jordaan (topic). Also Wikidata Q102337757
History
- 2026-11-02: add by m2/dev
VRG7WJ6N2S VRG7WJ6N2S
| URI | m2://inv/VRG7WJ6N2S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#X8NU (statement). In GMRT5GHBZS/e1, lemma C.9
History
- 2026-10-29: add by m2/v0.4.10
Colm Mulcahy VRG9D99644
| URI | m2://inv/VRG9D99644 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Colm Mulcahy, Colm Mulcahy (topic). Also Wikidata Q25849631
History
- 2026-11-02: add by m2/dev
Applications VRGKE1XTPY
| URI | m2://inv/VRGKE1XTPY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integration by parts#I0KY, Applications (example)
History
- 2026-11-02: add by m2/dev
The BV algebra determines $\pi_1$ VRGMQ1H1DE
| URI | m2://inv/VRGMQ1H1DE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#FYCL, The BV algebra determines $\pi_1$ (statement). In KR7WXN4EWR/e1, corollary 9.5
History
- 2026-10-29: add by m2/v0.4.12
$\lambda$-abstraction VRGNMSFZ6G
| URI | m2://inv/VRGNMSFZ6G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.4/lambda-abstraction, $\lambda$-abstraction (concept). In N54F33XE07, index, section A.4
History
- 2026-11-01: add by m2/v0.6.13
VRGR77X2PS VRGR77X2PS
| URI | m2://inv/VRGR77X2PS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28454#9QA5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
VRGYVYBPN6 VRGYVYBPN6
| URI | m2://inv/VRGYVYBPN6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39675#T97Q (statement). In VM16G3PPH3/e1, theorem 4.6
History
- 2026-10-30: add by m2/v0.4.12
VRH0F0BJTK VRH0F0BJTK
| URI | m2://inv/VRH0F0BJTK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.33512#5C0Y (statement). In WYHZMYZT31/e1, lemma 3.13
History
- 2026-10-30: add by m2/v0.4.12
VRH46V6DJ5 VRH46V6DJ5
| URI | m2://inv/VRH46V6DJ5 |
|---|---|
| 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 2610.15217#7U03 (statement). In G70Q2FB591/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
VRH4EAA1DN VRH4EAA1DN
| URI | m2://inv/VRH4EAA1DN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31102#EPMW (statement). In 7CADATJMAA/e1, corollary 4.1
History
- 2026-10-31: add by m2/v0.5.6
Lawrence D. Brown VRH5EX2127
| URI | m2://inv/VRH5EX2127 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lawrence D. Brown, Lawrence D. Brown (topic). Also Wikidata Q6503967
History
- 2026-11-02: add by m2/dev
Kinematics VRH86BDAM2
| URI | m2://inv/VRH86BDAM2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#SKRR, Kinematics (topic)
History
- 2026-11-02: add by m2/dev
Guy, William VRHF6QG0PE
| URI | m2://inv/VRHF6QG0PE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#X7G5, Guy, William (topic)
History
- 2026-11-02: add by m2/dev
Plethystic substitution VRHP4W0WV1
| URI | m2://inv/VRHP4W0WV1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plethystic substitution, Plethystic substitution (definition). Also Wikidata Q25303796
History
- 2026-11-02: add by m2/dev
Stencil VRHPCZJZ8D
| URI | m2://inv/VRHPCZJZ8D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stencil (numerical analysis), Stencil (definition). Also Wikidata Q7607499
History
- 2026-11-02: add by m2/dev
Definition VRHQJQWWMX
| URI | m2://inv/VRHQJQWWMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphericity#NL6Z, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications VRHS5Y7G0F
| URI | m2://inv/VRHS5Y7G0F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection number (graph theory)#6QZR, Applications (example)
History
- 2026-11-02: add by m2/dev
Heine–Cantor theorem VRJ37GJ105
| URI | m2://inv/VRJ37GJ105 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Eduard Heine#3YF7, Heine–Cantor theorem (statement)
History
- 2026-11-02: add by m2/dev
Fallacy of composition VRJK611GV3
| URI | m2://inv/VRJK611GV3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#R6ZL, Fallacy of composition (definition)
History
- 2026-11-02: add by m2/dev
VRJVXXDZGZ VRJVXXDZGZ
| URI | m2://inv/VRJVXXDZGZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37580#JTAD (statement). In WJQQBTDARA/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
VRJZ1Z404W VRJZ1Z404W
| URI | m2://inv/VRJZ1Z404W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#OYGK (statement)
History
- 2026-11-02: add by m2/v0.6.17
VRK09WQE9D VRK09WQE9D
| URI | m2://inv/VRK09WQE9D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-64 (exercise). In E9HS8K3A52, exercise, section 2.5.5
History
- 2026-11-01: add by m2/v0.6.13
Example VRK56R3E0D
| URI | m2://inv/VRK56R3E0D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zhu algebra#N6IT, Example (example)
History
- 2026-11-02: add by m2/dev
VRK63K8W7H VRK63K8W7H
| URI | m2://inv/VRK63K8W7H |
|---|---|
| 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 2305.06030#U9DY (statement). In 2Q0CNQ8DQB/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.5
Beer Sheva VRK9FF00HH
| URI | m2://inv/VRK9FF00HH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MG3N, Beer Sheva (unknown)
History
- 2026-11-02: add by m2/dev
VRKBWG2RA6 VRKBWG2RA6
| URI | m2://inv/VRKBWG2RA6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#JCV9 (statement). In RTE2C0PH4S/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
heap VRKCR0RPZ7
| URI | m2://inv/VRKCR0RPZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q274089, heap (unknown). Also MathWorld Heap
- wikidata: Wikidata Q803847, binary heap (unknown). Also MathWorld Heap
- wikipedia: Wikipedia Heap (data structure), Heap (definition). Also Wikidata Q274089
History
- 2026-10-26: add by m2/dev
Heartbeat protocol VRKEDB9S36
| URI | m2://inv/VRKEDB9S36 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heartbeat (computing)#XWMK, Heartbeat protocol (unknown)
History
- 2026-11-02: add by m2/dev
Hisato VRKST7Y2JH
| URI | m2://inv/VRKST7Y2JH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of twin teammates in sports#7LE6, Hisato (unknown)
History
- 2026-11-02: add by m2/dev
VRKZV41WDR VRKZV41WDR
| URI | m2://inv/VRKZV41WDR |
|---|---|
| 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#GAHD (statement). In ZX3NV58FRX/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
VRM26QBABD VRM26QBABD
| URI | m2://inv/VRM26QBABD |
|---|---|
| Kind | definition |
| 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.20316#VG6P (definition). In YRJS76169Z/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.4.2
VRMFDA1629 VRMFDA1629
| URI | m2://inv/VRMFDA1629 |
|---|---|
| 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 2305.06030#E1DY (statement). In 2Q0CNQ8DQB/e1, theorem 1.8
History
- 2026-10-27: add by m2/v0.3.5
VRMFM5F29S VRMFM5F29S
| URI | m2://inv/VRMFM5F29S |
|---|---|
| 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 2210.11778#6OSQ (statement). In PPAJZ2JBCE/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.5
Examples VRMHZKGF85
| URI | m2://inv/VRMHZKGF85 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edge-graceful labeling#PWJC, Examples (example)
History
- 2026-11-02: add by m2/dev
TI-84 Plus CE Python VRMPH5SKSH
| URI | m2://inv/VRMPH5SKSH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TI-84 Plus CE series#WVMY, TI-84 Plus CE Python (unknown)
History
- 2026-11-02: add by m2/dev
The Closed Graph Theorem VRN82XFRBH
| URI | m2://inv/VRN82XFRBH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach space#POQL, The Closed Graph Theorem (statement)
History
- 2026-11-02: add by m2/dev
VRN9FMJQWP VRN9FMJQWP
| URI | m2://inv/VRN9FMJQWP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.11143#TB8P (statement). In VTVC0TCWSB/e1, lemma 5.7
History
- 2026-10-27: add by m2/v0.3.5
Journal of Experimental and Theoretical Physics VRNMKCJR5R
| URI | m2://inv/VRNMKCJR5R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Nikolay Bogolyubov#ROWT, Journal of Experimental and Theoretical Physics (unknown)
History
- 2026-11-02: add by m2/dev
Further duality theorems VRNVWKFAR6
| URI | m2://inv/VRNVWKFAR6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjunction/disjunction duality#ABWC, Further duality theorems (statement)
History
- 2026-11-02: add by m2/dev
VRNYR14Y56 VRNYR14Y56
| URI | m2://inv/VRNYR14Y56 |
|---|---|
| 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.14985#DMFD (statement). In DGXJW3SCBR/e1, lemma 24
History
- 2026-10-28: add by m2/v0.4.2
Negative probability VRP3TNZMY7
| URI | m2://inv/VRP3TNZMY7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#M9IX, Negative probability (unknown)
History
- 2026-11-02: add by m2/dev
VRP47PKK7M VRP47PKK7M
| URI | m2://inv/VRP47PKK7M |
|---|---|
| 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 2610.01753#IGSW (statement). In JY50YXMH5N/e1, theorem 47
History
- 2026-10-29: add by m2/v0.4.12
Constancy of $\bar\kappa$ VRP4ZFCRQK
| URI | m2://inv/VRP4ZFCRQK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35531#BKCX, Constancy of $\bar\kappa$ (statement). In 6VBKRCMF4K/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
$\OO_K$ is a free $\ZZ$-module of rank $n$ VRP6RXP76G
| URI | m2://inv/VRP6RXP76G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/norm-trace.tex#thm:OK_free_Z_module, $\OO_K$ is a free $\ZZ$-module of rank $n$ (statement). In RZP28ERRZV, theorem, section 15.2
History
- 2026-11-01: add by m2/v0.6.13
VRP7MZZZKG VRP7MZZZKG
| URI | m2://inv/VRP7MZZZKG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22082#JKO5 (statement). In 7PACGDW3N7/e1, lemma 14.1
History
- 2026-10-27: add by m2/v0.4.0
VRPQJ4J9HK VRPQJ4J9HK
| URI | m2://inv/VRPQJ4J9HK |
|---|---|
| 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 2504.00267#CR6M (statement). In 38XJWDZ2PH/e1, proposition 3.12
History
- 2026-10-27: add by m2/v0.3.5
VRPS0JE3A6 VRPS0JE3A6
| URI | m2://inv/VRPS0JE3A6 |
|---|---|
| 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#52A1 (statement). In CVESAPNMCQ/e1, corollary 4.11
History
- 2026-10-28: add by m2/v0.4.2
VRPSG39ENW VRPSG39ENW
| URI | m2://inv/VRPSG39ENW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#KEIQ (statement). In V7SN19J84T/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Euler's rotation theorem VRPV48W1C7
| URI | m2://inv/VRPV48W1C7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#OK9E, Euler's rotation theorem (statement)
History
- 2026-11-02: add by m2/dev
VRQ3F3FPXF VRQ3F3FPXF
| URI | m2://inv/VRQ3F3FPXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13042#LNQH (statement). In 4QA108C07Y/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Hypre VRQ614J3YH
| URI | m2://inv/VRQ614J3YH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#NIYA, Hypre (unknown)
History
- 2026-11-02: add by m2/dev
Thousand Islands VRQD3NEWG1
| URI | m2://inv/VRQD3NEWG1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#8AEV, Thousand Islands (unknown)
History
- 2026-11-02: add by m2/dev
Odd algebra VRQFYKNCVN
| URI | m2://inv/VRQFYKNCVN |
|---|---|
| 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 2610.08583#Y2X9, Odd algebra (definition). In 5EKTECQ2P1/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Definition VRQJA769W7
| URI | m2://inv/VRQJA769W7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itô diffusion#USA4, Definition (definition)
History
- 2026-11-02: add by m2/dev
VRQMY5FX81 VRQMY5FX81
| URI | m2://inv/VRQMY5FX81 |
|---|---|
| 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.30895#O4I0 (statement). In B8D26BYA7T/e1, lemma 11
History
- 2026-10-31: add by m2/v0.5.6
Algorithmic Combinatorics on Partial Words VRQSQCE082
| URI | m2://inv/VRQSQCE082 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic Combinatorics on Partial Words, Algorithmic Combinatorics on Partial Words (definition). Also Wikidata Q104847171
History
- 2026-11-02: add by m2/dev
Copula function VRQYF9ZTTF
| URI | m2://inv/VRQYF9ZTTF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Copula (statistics)#0R12, Copula function (unknown)
History
- 2026-11-02: add by m2/dev
Larry Page VRR262JF6G
| URI | m2://inv/VRR262JF6G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#25VS, Larry Page (unknown)
History
- 2026-11-02: add by m2/dev
Application VRR2XJJ3M0
| URI | m2://inv/VRR2XJJ3M0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange multipliers on Banach spaces#M91B, Application (example)
History
- 2026-11-02: add by m2/dev
VRR8GD8S2X VRR8GD8S2X
| URI | m2://inv/VRR8GD8S2X |
|---|---|
| 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 0804.2115#V17I (statement). In B9XACVAC6X/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
VRRCQC281B VRRCQC281B
| URI | m2://inv/VRRCQC281B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28189#2LYD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem VRRPDMQVFM
| URI | m2://inv/VRRPDMQVFM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lyapunov–Malkin theorem#ZRJB, Theorem (statement)
History
- 2026-11-02: add by m2/dev
VRRWGQE6CJ VRRWGQE6CJ
| URI | m2://inv/VRRWGQE6CJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05391#MPNM (statement). In 9B5TNEBJHV/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
VRS1Z7PHGR VRS1Z7PHGR
| URI | m2://inv/VRS1Z7PHGR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18600#I8I0 (definition). In 31D6TQVCNZ/e1, definition 3.9
History
- 2026-10-28: add by m2/v0.4.2
World Programming System VRS35M8Q94
| URI | m2://inv/VRS35M8Q94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#J6CX, World Programming System (definition)
History
- 2026-11-02: add by m2/dev
Anioł Dowgird VRS4F72WJG
| URI | m2://inv/VRS4F72WJG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anioł Dowgird, Anioł Dowgird (topic). Also Wikidata Q3917293
History
- 2026-11-02: add by m2/dev
Multiple discriminant analysis VRS7QFV13V
| URI | m2://inv/VRS7QFV13V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IPEA, Multiple discriminant analysis (definition)
History
- 2026-11-02: add by m2/dev
Statement VRS8F2PH6C
| URI | m2://inv/VRS8F2PH6C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tutte homotopy theorem#PUUL, Statement (statement)
History
- 2026-11-02: add by m2/dev
VRSA5EM8PY VRSA5EM8PY
| URI | m2://inv/VRSA5EM8PY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2004.12552#3OTK (example). In TWPE10CZ1S/e1, example 3.5
History
- 2026-10-27: add by m2/v0.3.5
Teitelbaum, Michael VRSFB2JPMK
| URI | m2://inv/VRSFB2JPMK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#PVBB, Teitelbaum, Michael (unknown)
History
- 2026-11-02: add by m2/dev
Conformal symmetry VRSMNZQ4P0
| URI | m2://inv/VRSMNZQ4P0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conformal symmetry, Conformal symmetry (definition). Also Wikidata Q3507963
History
- 2026-11-02: add by m2/dev
dimension VRSP6XC4Y6
| URI | m2://inv/VRSP6XC4Y6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#1VU2, dimension (definition)
History
- 2026-11-02: add by m2/dev
VRSSW4CGPK VRSSW4CGPK
| URI | m2://inv/VRSSW4CGPK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12908#6KN4 (statement). In TNC658NVMQ/e1, proposition 7.13
History
- 2026-10-28: add by m2/v0.4.2
VRSZ1ES3R8 VRSZ1ES3R8
| URI | m2://inv/VRSZ1ES3R8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/norm-trace.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 15.2
History
- 2026-11-01: add by m2/v0.6.13
VRT0CPEZQ4 VRT0CPEZQ4
| URI | m2://inv/VRT0CPEZQ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.04730#OSF5 (statement). In QHFP0837Q8/e1, lemma 2.12
History
- 2026-10-29: add by m2/v0.4.12
Lalla VRT1DD3RP9
| URI | m2://inv/VRT1DD3RP9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#8AMK, Lalla (unknown)
History
- 2026-11-02: add by m2/dev
Variations VRTA4P52FA
| URI | m2://inv/VRTA4P52FA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concyclic points#XNPY, Variations (statement)
History
- 2026-11-02: add by m2/dev
Equivariant map VRTA4ZXCWB
| URI | m2://inv/VRTA4ZXCWB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#E44K, Equivariant map (definition)
History
- 2026-11-02: add by m2/dev
limits of sequences VRTKESCABW
| URI | m2://inv/VRTKESCABW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > limits of sequences, limits of sequences (unknown). Also Mathlib Metric.tendsto_atTop
History
- 2026-10-26: add by m2/dev
Euclidean reduction VRTSDFY25H
| URI | m2://inv/VRTSDFY25H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20197#JADP, Euclidean reduction (statement)
History
- 2026-11-02: add by m2/v0.6.18
VRTWYS5W04 VRTWYS5W04
| URI | m2://inv/VRTWYS5W04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#N87A (statement)
History
- 2026-11-02: add by m2/v0.6.17
Trinity Mathematical Society VRV49C68VD
| URI | m2://inv/VRV49C68VD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#1VLS, Trinity Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
pendant VRVA9P5SNT
| URI | m2://inv/VRVA9P5SNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#CT2Q, pendant (definition)
History
- 2026-11-02: add by m2/dev
Definition VRVAAQYBE1
| URI | m2://inv/VRVAAQYBE1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Link group#FWGC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Emma Lehmer VRVC222VK2
| URI | m2://inv/VRVC222VK2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#RPIM, Emma Lehmer (topic)
History
- 2026-11-02: add by m2/dev
Results VRVD4XZ0RR
| URI | m2://inv/VRVD4XZ0RR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McMullen problem#MEBP, Results (statement)
History
- 2026-11-02: add by m2/dev
VRVG1BG90K VRVG1BG90K
| URI | m2://inv/VRVG1BG90K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12736#IFFX (definition). In 5350Q52F6P/e1, definition 8.8
History
- 2026-10-28: add by m2/v0.4.2
stopping time VRWC32ZAFX
| URI | m2://inv/VRWC32ZAFX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Stochastic Processes > stopping time, stopping time (unknown). Also Mathlib MeasureTheory.IsStoppingTime
History
- 2026-10-26: add by m2/dev
completion VRWFBRABZX
| URI | m2://inv/VRWFBRABZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#GDLY, completion (definition)
History
- 2026-11-02: add by m2/dev
VRWH09TE4K VRWH09TE4K
| URI | m2://inv/VRWH09TE4K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32816#9ZIL (statement). In 10YV2P9E8W/e1, lemma 4.8
History
- 2026-10-31: add by m2/v0.5.6
Simpson's rule VRWR5BK0CC
| URI | m2://inv/VRWR5BK0CC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#4DQK, Simpson's rule (definition)
History
- 2026-11-02: add by m2/dev
VRX1GF7DXF VRX1GF7DXF
| URI | m2://inv/VRX1GF7DXF |
|---|---|
| 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 2505.04063#4LJB (statement). In TFH7T63DX9/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Floor effect VRX7HR090B
| URI | m2://inv/VRX7HR090B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floor effect, Floor effect (definition). Also Wikidata Q132169
History
- 2026-11-02: add by m2/dev
Estimation of signal parameters via rotational invariance techniques VRX88TGKRZ
| URI | m2://inv/VRX88TGKRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estimation of signal parameters via rotational invariance techniques, Estimation of signal parameters via rotational invariance techniques (definition). Also Wikidata Q17011010
History
- 2026-11-02: add by m2/dev
Constructions VRXAEENVMK
| URI | m2://inv/VRXAEENVMK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard code#H8IR, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Extensions VRXAQYRBWA
| URI | m2://inv/VRXAQYRBWA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Science Without Numbers#9U5I, Extensions (statement)
History
- 2026-11-02: add by m2/dev
VRXCN1GEK8 VRXCN1GEK8
| URI | m2://inv/VRXCN1GEK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05391#KSWS (statement). In 9B5TNEBJHV/e1, lemma 2.19
History
- 2026-10-29: add by m2/v0.4.10
VRXDP1B8NJ VRXDP1B8NJ
| URI | m2://inv/VRXDP1B8NJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#Z8AM (statement). In DZ12XTTJSM/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
VRXEBZ847H VRXEBZ847H
| URI | m2://inv/VRXEBZ847H |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sexy primes#H5K1 (problem)
History
- 2026-11-02: add by m2/dev
VRXHPGW6NY VRXHPGW6NY
| URI | m2://inv/VRXHPGW6NY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#YA1B (statement). In F3BKXXPR3K/e1, theorem 3.46
History
- 2026-10-27: add by m2/v0.4.2
classifying topos VRXM0C40N3
| URI | m2://inv/VRXM0C40N3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Classifying topos 85ZZ921DWH |
Mentions
- wikidata: Wikidata Q17006942, classifying topos (unknown). Also nLab classifying topos
- wikipedia: Wikipedia Classifying topos, Classifying topos (definition). Also Wikidata Q17006942
History
- 2026-10-26: add by m2/dev
Symmetries VRXQRT1ZHG
| URI | m2://inv/VRXQRT1ZHG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klein–Gordon equation#2X4Z, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
Duoprism VRY4QAWA3E
| URI | m2://inv/VRY4QAWA3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duoprism, Duoprism (definition). Also Wikidata Q921050
History
- 2026-11-02: add by m2/dev
subspace topology VRY8JPATZ4
| URI | m2://inv/VRY8JPATZ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Subspace topology 0D5YHQGDJY |
Mentions
- wikidata: Wikidata Q660730, subspace topology (unknown). Also MathWorld RelativeTopology, nLab subspace topology
- wikipedia: Wikipedia Subspace topology, Subspace topology (definition). Also Wikidata Q660730
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
David Milman VRY9NP8W5M
| URI | m2://inv/VRY9NP8W5M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#HCV2, David Milman (topic)
History
- 2026-11-02: add by m2/dev
Examples VRYAGW16Z6
| URI | m2://inv/VRYAGW16Z6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distinguishing coloring#G1JN, Examples (example)
History
- 2026-11-02: add by m2/dev
VRYQHMVKB6 VRYQHMVKB6
| URI | m2://inv/VRYQHMVKB6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21295#ZG36 (example)
History
- 2026-11-02: add by m2/v0.6.18
indiscernibility VRYXT4ZSAJ
| URI | m2://inv/VRYXT4ZSAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#MFE3, indiscernibility (definition)
History
- 2026-11-02: add by m2/dev
Cartan's theorems A and B VRYY53W3YG
| URI | m2://inv/VRYY53W3YG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#V78R, Cartan's theorems A and B (statement)
History
- 2026-11-02: add by m2/dev
VRZ9FJQQP6 VRZ9FJQQP6
| URI | m2://inv/VRZ9FJQQP6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0009023#WM1Z (definition). In S937GXH9AS/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
Iain Gordon VRZEYE9KTZ
| URI | m2://inv/VRZEYE9KTZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iain Gordon, Iain Gordon (topic). Also Wikidata Q90723911
History
- 2026-11-02: add by m2/dev
Compound of six pentagonal prisms VRZJQWJ85Y
| URI | m2://inv/VRZJQWJ85Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#55WY, Compound of six pentagonal prisms (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#GCPR, Compound of six pentagonal prisms (definition)
History
- 2026-11-02: add by m2/dev
VRZPKB3VTM VRZPKB3VTM
| URI | m2://inv/VRZPKB3VTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16208#6QTF (statement). In 7R51MHWQF7/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
VRZVS3GJVQ VRZVS3GJVQ
| URI | m2://inv/VRZVS3GJVQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2408.03317#VKK8 (statement). In T2ESY2PE1R/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.3.5
Convexity in logarithmic coordinates VRZXKYYWS4
| URI | m2://inv/VRZXKYYWS4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35325#G34C, Convexity in logarithmic coordinates (statement). In GHT5WXFA4E/e1, lemma 5.8
History
- 2026-10-30: add by m2/v0.4.12