Inventory rows AN
The cards of the rows of the inventory whose ids start with AN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
AN082RDSNN AN082RDSNN
| URI | m2://inv/AN082RDSNN |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37769#5GRT (conjecture). In MJWNGM4S01/e1, conjecture 2.4
History
- 2026-10-30: add by m2/v0.4.12
Challenge-Handshake Authentication Protocol AN0C2F431B
| URI | m2://inv/AN0C2F431B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Challenge-Handshake Authentication Protocol, Challenge-Handshake Authentication Protocol (definition). Also Wikidata Q1060131
History
- 2026-11-02: add by m2/dev
Definition AN0C95K29S
| URI | m2://inv/AN0C95K29S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius inner product#FFN7, Definition (definition)
History
- 2026-11-02: add by m2/dev
cohomology operation AN0ET1NTN3
| URI | m2://inv/AN0ET1NTN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Cohomology operation K8T15QHN3W |
Mentions
- wikidata: Wikidata Q5141397, cohomology operation (unknown). Also nLab cohomology operation
- wikipedia: Wikipedia Cohomology operation, Cohomology operation (definition). Also Wikidata Q5141397
History
- 2026-10-26: add by m2/dev
Spin-orbit resonance AN0G97T6CV
| URI | m2://inv/AN0G97T6CV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tidal locking#37EW, Spin-orbit resonance (unknown)
History
- 2026-11-02: add by m2/dev
Blaschke–Santaló inequality AN0JRJ7GF6
| URI | m2://inv/AN0JRJ7GF6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#9Q0A, Blaschke–Santaló inequality (definition)
History
- 2026-11-02: add by m2/dev
recurrence equation, constant coefficients AN0NZ9N4RT
| URI | m2://inv/AN0NZ9N4RT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/9.2/recurrence-equation-constant-coefficients, recurrence equation, constant coefficients (concept). In QKM9DD2H56, index, section 9.2
History
- 2026-11-01: add by m2/v0.6.13
Fixed-beta lower and upper inclusions AN0P5AG1ZC
| URI | m2://inv/AN0P5AG1ZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27752#WSX7, Fixed-beta lower and upper inclusions (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalization AN0RBW8KAP
| URI | m2://inv/AN0RBW8KAP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability.tex#thm:Generalization, Generalization (statement). In PKGMM3P5QY, thm, section 8.10
History
- 2026-11-01: add by m2/v0.6.13
AN0W47PR9N AN0W47PR9N
| URI | m2://inv/AN0W47PR9N |
|---|---|
| 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.18803#AUC1 (statement). In VG8AF124T3/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
projective bundle AN0X0NMF1B
| URI | m2://inv/AN0X0NMF1B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7249462, projective bundle (unknown). Also nLab projective bundle
- wikipedia: Wikipedia Projective bundle, Projective bundle (definition). Also Wikidata Q7249462
History
- 2026-10-26: add by m2/dev
AN0XHWDNK5 AN0XHWDNK5
| URI | m2://inv/AN0XHWDNK5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#FA0P (statement). In E7W2HDNEKJ/e1, theorem 6.27
History
- 2026-10-30: add by m2/v0.4.12
primitive recursive function AN14DR28ZM
| URI | m2://inv/AN14DR28ZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#08H6, primitive recursive function (definition)
History
- 2026-11-02: add by m2/dev
AN156C214B AN156C214B
| URI | m2://inv/AN156C214B |
|---|---|
| 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 2108.09796#W3JQ (statement). In NAA7WFQN20/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
AN174ZV4CM AN174ZV4CM
| URI | m2://inv/AN174ZV4CM |
|---|---|
| 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.35442#D5PI (statement). In C6R0DAA279/e1, lemma 3.8
History
- 2026-10-30: add by m2/v0.4.12
AN19T5WM7Q AN19T5WM7Q
| URI | m2://inv/AN19T5WM7Q |
|---|---|
| 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#QO1A (statement). In F1CYVYK7YB/e1, proposition 5.10
History
- 2026-10-29: add by m2/v0.4.10
Bures metric AN1G1C4N98
| URI | m2://inv/AN1G1C4N98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bures metric, Bures metric (definition). Also Wikidata Q4998463
History
- 2026-11-02: add by m2/dev
spoke graph AN1GY6SNNF
| URI | m2://inv/AN1GY6SNNF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137560095, spoke graph (unknown). Also MathWorld SpokeGraph
History
- 2026-10-26: add by m2/dev
AN1YGE5AVX AN1YGE5AVX
| URI | m2://inv/AN1YGE5AVX |
|---|---|
| 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.20119#9EJV (statement)
History
- 2026-11-02: add by m2/v0.6.18
AN21JMF6P8 AN21JMF6P8
| URI | m2://inv/AN21JMF6P8 |
|---|---|
| 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.17240#E3N3 (statement). In 59BZ4V9RQW/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
AN220NP3VN AN220NP3VN
| URI | m2://inv/AN220NP3VN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.05529#RCO0 (statement). In 9VPMHV0M4R/e1, lemma 1.16
History
- 2026-10-27: add by m2/v0.3.5
Linear search problem AN24B303P6
| URI | m2://inv/AN24B303P6 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#3YHC, Linear search problem (problem)
History
- 2026-11-02: add by m2/dev
AN2CCKPWDS AN2CCKPWDS
| URI | m2://inv/AN2CCKPWDS |
|---|---|
| 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.19093#NXZB (statement). In S2K79KESZ4/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Almost-sure and almost-uniform learning AN2CQDN6XZ
| URI | m2://inv/AN2CQDN6XZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-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 2609.20683#PRJL, Almost-sure and almost-uniform learning (definition)
History
- 2026-11-02: add by m2/v0.6.18
Lower bound for Lipschitz monotone VIs with large Lipschitz constant AN2H74TH50
| URI | m2://inv/AN2H74TH50 |
|---|---|
| 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.32981#9SNY, Lower bound for Lipschitz monotone VIs with large Lipschitz constant (statement). In AXDF7YN2RW/e1, theorem 5.1
History
- 2026-10-31: add by m2/v0.5.6
Definition AN2NDSFYK8
| URI | m2://inv/AN2NDSFYK8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius–Schur indicator#T3Q4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Poisson’s formula AN2Q0S4XKQ
| URI | m2://inv/AN2Q0S4XKQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Applications > Poisson’s formula, Poisson’s formula (unknown). Also Mathlib SchwartzMap.tsum_eq_tsum_fourier
History
- 2026-10-26: add by m2/dev
Bins AN2ZF605EF
| URI | m2://inv/AN2ZF605EF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#VGIK, Bins (statement). In P3RTT99C41/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
Design family is complete AN3F51N0FE
| URI | m2://inv/AN3F51N0FE |
|---|---|
| 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.22384#HC0E, Design family is complete (statement)
History
- 2026-11-02: add by m2/v0.6.17
Oskar Anderson AN3TN5Y8HZ
| URI | m2://inv/AN3TN5Y8HZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q72979, Oskar Anderson (unknown). Also EoM Anderson,_Oskar
- wikipedia: Wikipedia Oskar Anderson, Oskar Anderson (topic). Also Wikidata Q72979
History
- 2026-10-26: add by m2/dev
Generalizations AN3XRRJT7Y
| URI | m2://inv/AN3XRRJT7Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflection group#EBSZ, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
AN3YGHS1K6 AN3YGHS1K6
| URI | m2://inv/AN3YGHS1K6 |
|---|---|
| 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.21305#SFLQ (definition)
History
- 2026-11-02: add by m2/v0.6.18
Baudline AN48BZH1QZ
| URI | m2://inv/AN48BZH1QZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#1E1R, Baudline (unknown)
History
- 2026-11-02: add by m2/dev
AN4AB3X2YJ AN4AB3X2YJ
| URI | m2://inv/AN4AB3X2YJ |
|---|---|
| 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.26600#FJJ1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Message bounded by branch mass AN4AY2P13J
| URI | m2://inv/AN4AY2P13J |
|---|---|
| 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 2609.39633#RRCA, Message bounded by branch mass (statement). In B339AJZP2S/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Exponential race AN4JNNZRPS
| URI | m2://inv/AN4JNNZRPS |
|---|---|
| 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.06028#EZGU, Exponential race (statement). In GAZRH97SXG/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Planck statement AN4NEXWK93
| URI | m2://inv/AN4NEXWK93 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second law of thermodynamics#GHV5, Planck statement (unknown)
History
- 2026-11-02: add by m2/dev
AN4TAESKM4 AN4TAESKM4
| URI | m2://inv/AN4TAESKM4 |
|---|---|
| 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.05193#QY6N (statement). In XDMM0KNNZ9/e1, theorem 43
History
- 2026-10-29: add by m2/v0.4.10
Al-Akhdari AN4VBYVTN4
| URI | m2://inv/AN4VBYVTN4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Al-Akhdari, Al-Akhdari (topic). Also Wikidata Q4702171
History
- 2026-11-02: add by m2/dev
Grundlehren der mathematischen Wissenschaften AN4ZX4XGJ1
| URI | m2://inv/AN4ZX4XGJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grundlehren der mathematischen Wissenschaften, Grundlehren der mathematischen Wissenschaften (definition). Also Wikidata Q1030561
History
- 2026-11-02: add by m2/dev
Harish-Chandra's regularity theorem AN514XRRHV
| URI | m2://inv/AN514XRRHV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5657833, Harish–Chandra's regularity theorem (statement). Also Wikidata Q5657833
- thousand_plus: thousand_plus Q5657833, Harish–Chandra's regularity theorem (statement). Also Wikidata Q5657833, Wikipedia Harish–Chandra's regularity theorem
- wikipedia: Wikipedia Harish-Chandra's regularity theorem, Harish-Chandra's regularity theorem (statement). Also Wikidata Q5657833
History
- 2026-10-26: add by m2/dev
AN55PWQ3QY AN55PWQ3QY
| URI | m2://inv/AN55PWQ3QY |
|---|---|
| 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 2604.10080#FEQD (statement). In KM2FWKP93A/e1, proposition 4.11
History
- 2026-10-27: add by m2/v0.4.0
Channel code AN5BE0MSRK
| URI | m2://inv/AN5BE0MSRK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coding theory#OMNL, Channel code (unknown)
History
- 2026-11-02: add by m2/dev
Known characteristic AN5C43YSRF
| URI | m2://inv/AN5C43YSRF |
|---|---|
| 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 1308.2487#WI6I, Known characteristic (statement). In 322XSWF4EA/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Subjective validation AN5DNS9C6J
| URI | m2://inv/AN5DNS9C6J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#22IC, Subjective validation (unknown)
History
- 2026-11-02: add by m2/dev
Definition AN5MTXFV54
| URI | m2://inv/AN5MTXFV54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PTAS reduction#U2MB, Definition (definition)
History
- 2026-11-02: add by m2/dev
AN5WC5634X AN5WC5634X
| URI | m2://inv/AN5WC5634X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.02961#EXVZ (statement). In 986DENWM1D/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
nilpotent group AN65SA9AHA
| URI | m2://inv/AN65SA9AHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 3 |
| Outcome | node (a node has the same name as the row) |
| Node | Nilpotent group 0DZPD2MG33 |
Mentions
- mathlib_overview: mathlib_overview General algebra > Group theory > nilpotent group, nilpotent group (unknown). Also Mathlib Group.IsNilpotent
- wikidata: Wikidata Q1755242, nilpotent group (unknown). Also EoM Nilpotent_group, Mathlib Group.IsNilpotent, MathWorld NilpotentGroup, nLab nilpotent group
- wikipedia: Wikipedia Nilpotent group, Nilpotent group (definition). Also Wikidata Q1755242
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Representability data AN6ARXHJ7G
| URI | m2://inv/AN6ARXHJ7G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-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.28220#1N4Z, Representability data (definition)
History
- 2026-11-01: add by m2/v0.6.15
Noise-assisted global stabilization AN6FPKCQK6
| URI | m2://inv/AN6FPKCQK6 |
|---|---|
| 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.03264#1P1A, Noise-assisted global stabilization (statement). In 5TXRSPPTHP/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.12
Harmonicity obstruction AN6JQ9RK5K
| URI | m2://inv/AN6JQ9RK5K |
|---|---|
| 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#Q85C, Harmonicity obstruction (statement)
History
- 2026-11-02: add by m2/v0.6.18
separating vector AN6V1QGSC5
| URI | m2://inv/AN6V1QGSC5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121142028, separating vector (unknown). Also MathWorld SeparatingVector, nLab separating vector
History
- 2026-10-26: add by m2/dev
Riemann–Liouville integral AN75DCYZ3W
| URI | m2://inv/AN75DCYZ3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#PLNC, Riemann–Liouville integral (definition)
History
- 2026-11-02: add by m2/dev
stably free AN7D58XMX0
| URI | m2://inv/AN7D58XMX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#7IB2, stably free (definition)
History
- 2026-11-02: add by m2/dev
AN7EZWW0BH AN7EZWW0BH
| URI | m2://inv/AN7EZWW0BH |
|---|---|
| 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 2504.21000#SXLD (statement). In BCVFS160MF/e1, corollary B.2
History
- 2026-10-27: add by m2/v0.3.5
David Gieseker AN7JC1TW0D
| URI | m2://inv/AN7JC1TW0D |
|---|---|
| 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#12R5, David Gieseker (topic)
History
- 2026-11-02: add by m2/dev
AN7JV4Z19A AN7JV4Z19A
| URI | m2://inv/AN7JV4Z19A |
|---|---|
| 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.30976#C291 (definition). In 4QY9J1A0KT/e1, definition 3
History
- 2026-10-31: add by m2/v0.5.6
Reflection theorems AN7VMJGBAK
| URI | m2://inv/AN7VMJGBAK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nome (mathematics)#SFI2, Reflection theorems (statement)
History
- 2026-11-02: add by m2/dev
AN7WWDZF3K AN7WWDZF3K
| URI | m2://inv/AN7WWDZF3K |
|---|---|
| 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.27689#L2VI (statement)
History
- 2026-11-01: add by m2/v0.6.15
AN80KC5E3P AN80KC5E3P
| URI | m2://inv/AN80KC5E3P |
|---|---|
| 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.03520#HXR6 (statement). In CSRZ9CWK69/e1, corollary 8.17
History
- 2026-10-29: add by m2/v0.4.12
Monotone VIs under mixed noise AN82GE3MT7
| URI | m2://inv/AN82GE3MT7 |
|---|---|
| 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.12641#1DHG, Monotone VIs under mixed noise (statement). In X5BYGZZHPF/e1, corollary J.8
History
- 2026-10-28: add by m2/v0.4.2
The two initial specializations AN85TA8FVD
| URI | m2://inv/AN85TA8FVD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-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.10828#VQHV, The two initial specializations (example). In 8PTDFHV8SQ/e1, example 8.5
History
- 2026-10-28: add by m2/v0.4.3
Further examples AN88BNBQ15
| URI | m2://inv/AN88BNBQ15 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conoid#X5OV, Further examples (example)
History
- 2026-11-02: add by m2/dev
Left convolution of Driscoll \& Healy AN89W1H6RA
| URI | m2://inv/AN89W1H6RA |
|---|---|
| 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 2610.13892#3ZSQ, Left convolution of Driscoll \& Healy (definition). In HV9KKEBBDD/e1, definition III.2
History
- 2026-10-28: add by m2/v0.4.2
AN8GYYVCHP AN8GYYVCHP
| URI | m2://inv/AN8GYYVCHP |
|---|---|
| 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 2310.14879#Y9Q5 (statement). In 3VZ55B2N0D/e1, lemma 6.20
History
- 2026-10-27: add by m2/v0.4.0
Gieseking's constant AN8H0KPBZC
| URI | m2://inv/AN8H0KPBZC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1523351, Gieseking's constant (concept). Also MathWorld GiesekingsConstant
History
- 2026-10-26: add by m2/dev
AN8KF39YZ4 AN8KF39YZ4
| URI | m2://inv/AN8KF39YZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28365#9LW7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algorithms AN8N7RGQYQ
| URI | m2://inv/AN8N7RGQYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diameter (graph theory)#RNQY, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
AN8PBRCBKS AN8PBRCBKS
| URI | m2://inv/AN8PBRCBKS |
|---|---|
| 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.30165#279M (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ordinary differential equation AN8SNP7KQX
| URI | m2://inv/AN8SNP7KQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics#G6M9, Ordinary differential equation (definition)
History
- 2026-11-02: add by m2/dev
Random walk hypothesis AN91CV7PVP
| URI | m2://inv/AN91CV7PVP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random walk hypothesis, Random walk hypothesis (statement). Also Wikidata Q1935853
History
- 2026-11-02: add by m2/dev
Variations AN9ARZDP6F
| URI | m2://inv/AN9ARZDP6F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chaffing and winnowing#2EX6, Variations (statement)
History
- 2026-11-02: add by m2/dev
Henselian field AN9CT2X2Y8
| URI | m2://inv/AN9CT2X2Y8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#IFGV, Henselian field (definition)
History
- 2026-11-02: add by m2/dev
Balance equation AN9E8W40X8
| URI | m2://inv/AN9E8W40X8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balance equation, Balance equation (definition). Also Wikidata Q4849964
History
- 2026-11-02: add by m2/dev
Abraham Adrian Albert AN9EFGFTFK
| URI | m2://inv/AN9EFGFTFK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#W6YS, Abraham Adrian Albert (topic)
History
- 2026-11-02: add by m2/dev
Definition AN9G83FFA1
| URI | m2://inv/AN9G83FFA1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Verma module#QM2R, Definition (definition)
History
- 2026-11-02: add by m2/dev
Category of preordered sets AN9KG6BG8N
| URI | m2://inv/AN9KG6BG8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of preordered sets, Category of preordered sets (definition). Also Wikidata Q5051853
History
- 2026-11-02: add by m2/dev
Proposition AN9M1TBFYK
| URI | m2://inv/AN9M1TBFYK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chain Monte Carlo#NLHG, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Lennart Carleson AN9NQB8RJ9
| URI | m2://inv/AN9NQB8RJ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lennart Carleson, Lennart Carleson (topic). Also Wikidata Q343420
History
- 2026-11-02: add by m2/dev
AN9RSZQ052 AN9RSZQ052
| URI | m2://inv/AN9RSZQ052 |
|---|---|
| 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.19812#NGLL (statement). In ZS89RH18QM/e1, proposition 11
History
- 2026-10-28: add by m2/v0.4.2
AN9SJ2RD15 AN9SJ2RD15
| URI | m2://inv/AN9SJ2RD15 |
|---|---|
| Kind | definition |
| 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.25167#3FUV (definition)
History
- 2026-11-01: add by m2/v0.6.15
AN9XKJ3RDQ AN9XKJ3RDQ
| URI | m2://inv/AN9XKJ3RDQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#problem-14 (exercise). In P1C114YBXG, problem, section G
History
- 2026-11-01: add by m2/v0.6.13
Expert Fallacy AN9YHMQ9V1
| URI | m2://inv/AN9YHMQ9V1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fallacy#9LS6, Expert Fallacy (unknown)
History
- 2026-11-02: add by m2/dev
Uniform boundedness principle ANA151QSRY
| URI | m2://inv/ANA151QSRY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ursescu theorem#B4MD, Uniform boundedness principle (statement)
History
- 2026-11-02: add by m2/dev
Applications ANA54F08D5
| URI | m2://inv/ANA54F08D5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal parabolic constant#FFLK, Applications (example)
History
- 2026-11-02: add by m2/dev
Kaprekar number ANA76TVHDM
| URI | m2://inv/ANA76TVHDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#LDTD, Kaprekar number (definition)
History
- 2026-11-02: add by m2/dev
Example ANAGABD3NC
| URI | m2://inv/ANAGABD3NC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular measure#M55Q, Example (example)
History
- 2026-11-02: add by m2/dev
Drift-aware coverage ANANFGXTVM
| URI | m2://inv/ANANFGXTVM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07162#FZ8M, Drift-aware coverage (statement). In MQEB9ZHQAT/e1, theorem C.5
History
- 2026-10-29: add by m2/v0.4.10
ANAS00BT0T ANAS00BT0T
| URI | m2://inv/ANAS00BT0T |
|---|---|
| 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.09201#NHV7 (definition). In JQFPH09JG8/e1, definition 2.8
History
- 2026-10-29: add by m2/v0.4.10
ANAXVGR2J7 ANAXVGR2J7
| URI | m2://inv/ANAXVGR2J7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15887#RO3H (statement). In 87QYNZZ67Z/e1, lemma 7.3
History
- 2026-10-28: add by m2/v0.4.2
ANB6XT58BY ANB6XT58BY
| URI | m2://inv/ANB6XT58BY |
|---|---|
| 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.12295#0YSO (statement). In 6DZPR52HRP/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
ANB8D4ADB4 ANB8D4ADB4
| URI | m2://inv/ANB8D4ADB4 |
|---|---|
| Kind | definition |
| 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#1EMG (definition). In VTVC0TCWSB/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
Andrei S. Rapinchuk ANB8RD3XYV
| URI | m2://inv/ANB8RD3XYV |
|---|---|
| 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#P7RG, Andrei S. Rapinchuk (unknown)
History
- 2026-11-02: add by m2/dev
Pestov–Ionin theorem ANBFWCAGJ4
| URI | m2://inv/ANBFWCAGJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pestov–Ionin theorem, Pestov–Ionin theorem (statement). Also Wikidata Q60406167
History
- 2026-11-02: add by m2/dev
relative complement ANBGVN7MTE
| URI | m2://inv/ANBGVN7MTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#ZQTU, relative complement (definition)
History
- 2026-11-02: add by m2/dev
ANBV64HMJT ANBV64HMJT
| URI | m2://inv/ANBV64HMJT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07790#A8M2 (statement). In A5YJDDM0NX/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Lanczos approximation ANBW6XF1Y0
| URI | m2://inv/ANBW6XF1Y0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#8ZQF, Lanczos approximation (definition)
History
- 2026-11-02: add by m2/dev
Example ANC4XFFVR7
| URI | m2://inv/ANC4XFFVR7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Durand–Kerner method#UKR8, Example (example)
History
- 2026-11-02: add by m2/dev
Trigram search ANC7QPPQ39
| URI | m2://inv/ANC7QPPQ39 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#WIGR, Trigram search (unknown)
History
- 2026-11-02: add by m2/dev
Boolean-valued model ANCPXN1XMH
| URI | m2://inv/ANCPXN1XMH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#Z71O, Boolean-valued model (definition)
- wikipedia: Wikipedia List of Boolean algebra topics#VYP6, Boolean-valued model (definition)
History
- 2026-11-02: add by m2/dev
Algorithms ANCZJTPND5
| URI | m2://inv/ANCZJTPND5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irreducible polynomial#BTML, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Human penis size AND53Y6TYH
| URI | m2://inv/AND53Y6TYH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#1ULS, Human penis size (unknown)
History
- 2026-11-02: add by m2/dev
AND9EX7PHM AND9EX7PHM
| URI | m2://inv/AND9EX7PHM |
|---|---|
| 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.17553#CLC6 (statement). In ETMBHKF5A9/e1, theorem 4.8
History
- 2026-10-28: add by m2/v0.4.2
ANDB17X8H3 ANDB17X8H3
| URI | m2://inv/ANDB17X8H3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#example-2 (example). In RZP28ERRZV, example, section 55.2
History
- 2026-11-01: add by m2/v0.6.13
Single crossing ANDPS84KVT
| URI | m2://inv/ANDPS84KVT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#KQQI, Single crossing (statement). In P3RTT99C41/e1, lemma 7.3
History
- 2026-10-30: add by m2/v0.4.12
Interaction Morawetz functional ANDRR4BCEJ
| URI | m2://inv/ANDRR4BCEJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28454#6T0S, Interaction Morawetz functional (definition)
History
- 2026-11-01: add by m2/v0.6.15
Pullback suspension ANDTYE86F4
| URI | m2://inv/ANDTYE86F4 |
|---|---|
| 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.00115#FNSE, Pullback suspension (statement). In JK8PYKCZRA/e1, lemma 7.1
History
- 2026-10-30: add by m2/v0.4.12
Even and odd numbers ANE11H0MCV
| URI | m2://inv/ANE11H0MCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#UFD3, Even and odd numbers (definition)
History
- 2026-11-02: add by m2/dev
ANE80WCCP6 ANE80WCCP6
| URI | m2://inv/ANE80WCCP6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#Q546 (definition)
History
- 2026-11-02: add by m2/v0.6.18
ANECXYY90G ANECXYY90G
| URI | m2://inv/ANECXYY90G |
|---|---|
| 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.32997#R1XJ (statement). In N380GY9A9N/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
Nigel Hitchin ANEMHHQZAH
| URI | m2://inv/ANEMHHQZAH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q916607, Nigel Hitchin (unknown). Also nLab Nigel Hitchin
- wikipedia: Wikipedia Nigel Hitchin, Nigel Hitchin (topic). Also Wikidata Q916607
History
- 2026-10-26: add by m2/dev
ANERPAATJS ANERPAATJS
| URI | m2://inv/ANERPAATJS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20421#3JE8 (statement). In Q4R7J8JE3F/e1, theorem 2.22
History
- 2026-10-27: add by m2/v0.4.2
Compactness for geodesics ANEVZRPE46
| URI | m2://inv/ANEVZRPE46 |
|---|---|
| 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 2610.11911#T25O, Compactness for geodesics (statement). In 5BYE5NYB89/e1, corollary 2.15
History
- 2026-10-28: add by m2/v0.4.3
The result: Faulhaber's formula ANEYD71WC6
| URI | m2://inv/ANEYD71WC6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faulhaber's formula#OTWF, The result: Faulhaber's formula (statement)
History
- 2026-11-02: add by m2/dev
Square lattice ANFDZZTVPH
| URI | m2://inv/ANFDZZTVPH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square lattice, Square lattice (definition). Also Wikidata Q7582067
History
- 2026-11-02: add by m2/dev
ANFMAJS2ZB ANFMAJS2ZB
| URI | m2://inv/ANFMAJS2ZB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-1-6-1.xml#act-1-6-1 (exercise). In 907G4C4EJ1, activity, section 1.6.4
History
- 2026-11-01: add by m2/v0.6.13
Gravitational microlensing ANFPNA9KSP
| URI | m2://inv/ANFPNA9KSP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gravitational microlensing, Gravitational microlensing (definition). Also Wikidata Q1028022
History
- 2026-11-02: add by m2/dev
Composition Preserves Weakening Typing ANFQJ004PC
| URI | m2://inv/ANFQJ004PC |
|---|---|
| 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.21131#WG1D, Composition Preserves Weakening Typing (statement). In CPYWHRTPKC/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.4.2
ANFTM0BBP8 ANFTM0BBP8
| URI | m2://inv/ANFTM0BBP8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31365#6SIL (example). In 19GENJ3NCP/e1, example 4.2
History
- 2026-10-31: add by m2/v0.5.6
ANFVNEG05T ANFVNEG05T
| URI | m2://inv/ANFVNEG05T |
|---|---|
| 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.04466#9S2O (statement). In EHW82CK883/e1, proposition 4.9
History
- 2026-10-29: add by m2/v0.4.12
One-step energy decay ANG1EPSHTA
| URI | m2://inv/ANG1EPSHTA |
|---|---|
| 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.16248#PNDT, One-step energy decay (statement). In TP61DYMBMK/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
Differentiability of $\bar F_N$ ANG9WZWWTB
| URI | m2://inv/ANG9WZWWTB |
|---|---|
| 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.32710#DRWA, Differentiability of $\bar F_N$ (statement). In KVYG6R7CGJ/e1, proposition 2.1
History
- 2026-10-31: add by m2/v0.5.6
Proposition ANGAEEMS2W
| URI | m2://inv/ANGAEEMS2W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete homogeneous symmetric polynomial#CG7R, Proposition (statement)
History
- 2026-11-02: add by m2/dev
ANGFJE3A3Y ANGFJE3A3Y
| URI | m2://inv/ANGFJE3A3Y |
|---|---|
| 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 2606.00589#56QK (statement). In C8JAGP8VCQ/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
British Manufacturing Industries series ANGG8QEA7B
| URI | m2://inv/ANGG8QEA7B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G. Phillips Bevan#DI2L, British Manufacturing Industries series (unknown)
History
- 2026-11-02: add by m2/dev
ANGGCT55E9 ANGGCT55E9
| URI | m2://inv/ANGGCT55E9 |
|---|---|
| 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.21733#DFW1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Formal proof ANGHEPRJN5
| URI | m2://inv/ANGHEPRJN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal proof, Formal proof (definition). Also Wikidata Q2762418
History
- 2026-11-02: add by m2/dev
Thomson cubic ANGNHXDH6A
| URI | m2://inv/ANGNHXDH6A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1909679, Thomson cubic (unknown). Also MathWorld ThomsonCubic
- wikipedia: Wikipedia Thomson cubic, Thomson cubic (definition). Also Wikidata Q1909679
History
- 2026-10-26: add by m2/dev
The Edinburgh philosophical journal ANGP02QACD
| URI | m2://inv/ANGP02QACD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5818510, The Edinburgh philosophical journal (unknown). Also ProofWiki Book:Journal/The_Edinburgh_Philosophical_Journal
History
- 2026-10-26: add by m2/dev
Hans Samelson ANGPKJGQ47
| URI | m2://inv/ANGPKJGQ47 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#5LER, Hans Samelson (topic)
History
- 2026-11-02: add by m2/dev
ANGS9ASJGV ANGS9ASJGV
| URI | m2://inv/ANGS9ASJGV |
|---|---|
| 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.11757#V476 (statement). In VSJRVTHWWA/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.3
Definition ANGSY8AMK9
| URI | m2://inv/ANGSY8AMK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral triple#IPS3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Top trading cycle ANH1X1NT90
| URI | m2://inv/ANH1X1NT90 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Top trading cycle, Top trading cycle (definition). Also Wikidata Q24964889
History
- 2026-11-02: add by m2/dev
Surface of class VII ANH2G6T78Z
| URI | m2://inv/ANH2G6T78Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surface of class VII, Surface of class VII (definition). Also Wikidata Q7645998
History
- 2026-11-02: add by m2/dev
Applications ANH5JB9Y55
| URI | m2://inv/ANH5JB9Y55 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation#MBI5, Applications (example)
History
- 2026-11-02: add by m2/dev
ANHN9R72F7 ANHN9R72F7
| URI | m2://inv/ANHN9R72F7 |
|---|---|
| Kind | conjecture |
| 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.35245#Z6X4 (conjecture). In CV1VT7QSVN/e1, conjecture 1.1
History
- 2026-10-30: add by m2/v0.4.12
Main Theorem: The Precise Version ANHTNVQNQ1
| URI | m2://inv/ANHTNVQNQ1 |
|---|---|
| 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 2601.15010#B44D, Main Theorem: The Precise Version (statement). In K3WJ6ZN184/e1, theorem 14.1
History
- 2026-10-27: add by m2/v0.3.5
Multivariate Behavioral Research ANHTSVS2GP
| URI | m2://inv/ANHTSVS2GP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate Behavioral Research, Multivariate Behavioral Research (definition). Also Wikidata Q6935130
History
- 2026-11-02: add by m2/dev
genus ANHX2M1SSH
| URI | m2://inv/ANHX2M1SSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#G8NB, genus (definition)
History
- 2026-11-02: add by m2/dev
Torsion free ANJ9DB8BED
| URI | m2://inv/ANJ9DB8BED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#6XQ9, Torsion free (definition)
History
- 2026-11-02: add by m2/dev
$\pi = 0$ on the ladder ANJBCDZ70W
| URI | m2://inv/ANJBCDZ70W |
|---|---|
| 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.00902#GEKF, $\pi = 0$ on the ladder (statement). In 1BYMXTH5MW/e1, theorem 9.6
History
- 2026-10-29: add by m2/v0.4.12
matching, maximum ANJN3BNNBP
| URI | m2://inv/ANJN3BNNBP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/14.2/matching-maximum, matching, maximum (concept). In QKM9DD2H56, index, section 14.2
History
- 2026-11-01: add by m2/v0.6.13
magnetic moment ANKJ8HAAGY
| URI | m2://inv/ANKJ8HAAGY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q242657, magnetic moment (definition). Also ProofWiki Definition:Magnetic_Moment
- wikipedia: Wikipedia Magnetic moment, Magnetic moment (definition). Also Wikidata Q242657
History
- 2026-10-26: add by m2/dev
acyclic graph ANKP4QS18Q
| URI | m2://inv/ANKP4QS18Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Acyclic graph 0SXHBTNM9T |
Mentions
- wikidata: Wikidata Q3115453, acyclic graph (definition). Also MathWorld AcyclicGraph, ProofWiki Definition:Acyclic_Graph
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Formulation ANM1CP1Y9D
| URI | m2://inv/ANM1CP1Y9D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boundary knot method#TFLO, Formulation (definition)
History
- 2026-11-02: add by m2/dev
ANMBV2X7EC ANMBV2X7EC
| URI | m2://inv/ANMBV2X7EC |
|---|---|
| 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.36613#WJNI (statement). In GX0K0ZM700/e1, lemma 2.14
History
- 2026-10-30: add by m2/v0.4.12
Galois connection ANMC3DMTGB
| URI | m2://inv/ANMC3DMTGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Galois connection Q5JHEPRYQ6 |
Mentions
- wikidata: Wikidata Q1491747, Galois connection (unknown). Also nLab Galois connection
- wikipedia: Wikipedia Galois connection, Galois connection (definition). Also Wikidata Q1491747
History
- 2026-10-26: add by m2/dev
Grace Bates ANMCVM0TE1
| URI | m2://inv/ANMCVM0TE1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grace Bates, Grace Bates (topic). Also Wikidata Q15110561
History
- 2026-11-02: add by m2/dev
Max Gut ANMEEAVDFR
| URI | m2://inv/ANMEEAVDFR |
|---|---|
| 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#J7XB, Max Gut (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YR8G, Max Gut (topic)
History
- 2026-11-02: add by m2/dev
indefinite quadratic form ANMFEV6T3W
| URI | m2://inv/ANMFEV6T3W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77594514, indefinite quadratic form (unknown). Also MathWorld IndefiniteQuadraticForm
History
- 2026-10-26: add by m2/dev
ANMWH5N82K ANMWH5N82K
| URI | m2://inv/ANMWH5N82K |
|---|---|
| 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.25367#NVAP (statement)
History
- 2026-11-01: add by m2/v0.6.15
ANMYY5SE61 ANMYY5SE61
| URI | m2://inv/ANMYY5SE61 |
|---|---|
| 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.21645#FUAC (statement)
History
- 2026-11-02: add by m2/v0.6.18
Pinocchio paradox ANN1D595WW
| URI | m2://inv/ANN1D595WW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pinocchio paradox, Pinocchio paradox (statement). Also Wikidata Q7196392
History
- 2026-11-02: add by m2/dev
Additional repeated observations ANN2CC5H35
| URI | m2://inv/ANN2CC5H35 |
|---|---|
| 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.37247#7OMD, Additional repeated observations (statement). In HMA5T6VHCN/e1, proposition 2.5
History
- 2026-10-30: add by m2/v0.4.12
ANN3FRVERX ANN3FRVERX
| URI | m2://inv/ANN3FRVERX |
|---|---|
| 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 2610.15511#IQH6 (statement). In TZM08VJAQT/e1, proposition 2.8
History
- 2026-10-28: add by m2/v0.4.2
ANN67YKG8K ANN67YKG8K
| URI | m2://inv/ANN67YKG8K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37698#SQNR (statement). In HA2GG72C23/e1, proposition 1.4
History
- 2026-10-30: add by m2/v0.4.12
ANN7A534F4 ANN7A534F4
| URI | m2://inv/ANN7A534F4 |
|---|---|
| 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#7DPO (statement). In F7C1RM5VA4/e1, theorem 2.4
History
- 2026-10-31: add by m2/v0.5.6
ANNA31G26C ANNA31G26C
| URI | m2://inv/ANNA31G26C |
|---|---|
| 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.03126#SAV3 (statement). In ZJ6VQCRDVR/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.12
Nelly Litvak ANNESBR11C
| URI | m2://inv/ANNESBR11C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nelly Litvak, Nelly Litvak (topic). Also Wikidata Q88955970
History
- 2026-11-02: add by m2/dev
Extensions ANNW41YSDQ
| URI | m2://inv/ANNW41YSDQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Period (number theory)#H3I3, Extensions (statement)
History
- 2026-11-02: add by m2/dev
ANNXNW4K61 ANNXNW4K61
| URI | m2://inv/ANNXNW4K61 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-5-3-substitution.xml#Ex-5-3-usub (example). In 907G4C4EJ1, example, section 5.3.3
History
- 2026-11-01: add by m2/v0.6.13
Psychology of analogy ANP0HFCDZM
| URI | m2://inv/ANP0HFCDZM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analogy#33ID, Psychology of analogy (unknown)
History
- 2026-11-02: add by m2/dev
localisation ANP89PDXWA
| URI | m2://inv/ANP89PDXWA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#VKSN, localisation (statement)
History
- 2026-11-01: add by m2/v0.6.15
ANPBZ0FM62 ANPBZ0FM62
| URI | m2://inv/ANPBZ0FM62 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#T8A4 (definition). In PEXJPV3NP8/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Generalizations ANPS65BQZM
| URI | m2://inv/ANPS65BQZM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szász–Mirakyan operator#NSN4, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Katrina Ligett ANQ1G36P2X
| URI | m2://inv/ANQ1G36P2X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#56HT, Katrina Ligett (unknown)
History
- 2026-11-02: add by m2/dev
Special cases ANQDM65EA0
| URI | m2://inv/ANQDM65EA0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frenet–Serret formulas#AHVI, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Definitions ANQFJ1K8WB
| URI | m2://inv/ANQFJ1K8WB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spline wavelet#MWMF, Definitions (definition)
History
- 2026-11-02: add by m2/dev
RSA-370 ANQNQPGQZQ
| URI | m2://inv/ANQNQPGQZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#A4RQ, RSA-370 (unknown)
History
- 2026-11-02: add by m2/dev
Direction-preserving function ANQWESCKTQ
| URI | m2://inv/ANQWESCKTQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direction-preserving function, Direction-preserving function (definition). Also Wikidata Q96376408
History
- 2026-11-02: add by m2/dev
Integral of the secant function ANR1HSDGAB
| URI | m2://inv/ANR1HSDGAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#3JHA, Integral of the secant function (definition)
History
- 2026-11-02: add by m2/dev
ANR3PNNBM2 ANR3PNNBM2
| URI | m2://inv/ANR3PNNBM2 |
|---|---|
| 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.32088#ED9G (statement). In 7781ARDE06/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
ANR6BGPR0N ANR6BGPR0N
| URI | m2://inv/ANR6BGPR0N |
|---|---|
| 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.19260#75NV (statement). In PWXT7J9JX3/e1, proposition 3.13
History
- 2026-10-28: add by m2/v0.4.2
ANR915TG9Z ANR915TG9Z
| URI | m2://inv/ANR915TG9Z |
|---|---|
| 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 2506.07061#13HK (statement). In G2PA4KAGRP/e1, proposition 2.15
History
- 2026-10-27: add by m2/v0.3.6
Lyapunov's central limit theorem ANRFPPMQHH
| URI | m2://inv/ANRFPPMQHH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NLLC, Lyapunov's central limit theorem (statement)
History
- 2026-11-02: add by m2/dev
Normal closure ANRJ9JKNR3
| URI | m2://inv/ANRJ9JKNR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal closure (group theory), Normal closure (definition). Also Wikidata Q5161151
History
- 2026-11-02: add by m2/dev
ANRQSFAHQS ANRQSFAHQS
| URI | m2://inv/ANRQSFAHQS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34081#7X7M (statement). In 3RVGEKGX46/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
Representation, descent and observable recovery ANRS6VF2Y9
| URI | m2://inv/ANRS6VF2Y9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20207#MA9M, Representation, descent and observable recovery (statement)
History
- 2026-11-02: add by m2/v0.6.18
Main theorem ANRZRAE6RS
| URI | m2://inv/ANRZRAE6RS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix factorization (algebra)#QUNA, Main theorem (statement)
History
- 2026-11-02: add by m2/dev
cf.\ *{proof of Prop.\ 6.1 ANSJP0JMZD
| URI | m2://inv/ANSJP0JMZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20306#TWV4, cf.\ *{proof of Prop.\ 6.1 (statement). In YG5EX49042/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.2
Pochhammer contour ANSXE3W2HA
| URI | m2://inv/ANSXE3W2HA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#HALL, Pochhammer contour (definition)
History
- 2026-11-02: add by m2/dev
denial ANSY4G5VSP
| URI | m2://inv/ANSY4G5VSP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.4/denial, denial (concept). In N54F33XE07, index, section 9.4
History
- 2026-11-01: add by m2/v0.6.13
Localization of minimizers and application of CGMT ANT6ABP9Z8
| URI | m2://inv/ANT6ABP9Z8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38453#KBTX, Localization of minimizers and application of CGMT (statement). In DWKWF242Y0/e1, lemma 19
History
- 2026-10-30: add by m2/v0.4.12
Properties ANT7D68GC3
| URI | m2://inv/ANT7D68GC3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed binomial process#7FHJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
ANT9ZYQBQK ANT9ZYQBQK
| URI | m2://inv/ANT9ZYQBQK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-9 (example). In E9HS8K3A52, example, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
Mauretania Secunda ANTG8XBEAD
| URI | m2://inv/ANTG8XBEAD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#8A5D, Mauretania Secunda (unknown)
History
- 2026-11-02: add by m2/dev
ANTMQS7GJ3 ANTMQS7GJ3
| URI | m2://inv/ANTMQS7GJ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10474#II0M (statement). In MB29RAAQMG/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Microsoft Math Solver ANV009VS15
| URI | m2://inv/ANV009VS15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Microsoft Math Solver, Microsoft Math Solver (definition). Also Wikidata Q1995050
History
- 2026-11-02: add by m2/dev
ANV40S6R7H ANV40S6R7H
| URI | m2://inv/ANV40S6R7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2609.29574#3MDK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Purification theorem ANV57653PD
| URI | m2://inv/ANV57653PD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Purification theorem, Purification theorem (statement). Also Wikidata Q5313424
History
- 2026-11-02: add by m2/dev
Properties of the ring of symmetric functions ANV6RRZNRC
| URI | m2://inv/ANV6RRZNRC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring of symmetric functions#WVD3, Properties of the ring of symmetric functions (statement)
History
- 2026-11-02: add by m2/dev
Louis Weisner ANVGN6406B
| URI | m2://inv/ANVGN6406B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#7PPQ, Louis Weisner (unknown)
History
- 2026-11-02: add by m2/dev
ANVJJPZHX8 ANVJJPZHX8
| URI | m2://inv/ANVJJPZHX8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#B0G6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples ANVK934JD4
| URI | m2://inv/ANVK934JD4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artinian ideal#Q47U, Examples (example)
History
- 2026-11-02: add by m2/dev
ANVNHKC9VX ANVNHKC9VX
| URI | m2://inv/ANVNHKC9VX |
|---|---|
| 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.20002#OB80 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Formula ANVX1RW9VG
| URI | m2://inv/ANVX1RW9VG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclomatic number#7511, Formula (statement)
History
- 2026-11-02: add by m2/dev
ANVY4ZW1Z2 ANVY4ZW1Z2
| URI | m2://inv/ANVY4ZW1Z2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05471#Q9KS (example). In WDWF9WKNK1/e1, example 3.2
History
- 2026-10-27: add by m2/v0.3.5
Bryant surface ANWAM3NGAS
| URI | m2://inv/ANWAM3NGAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bryant surface, Bryant surface (definition). Also Wikidata Q4980628
History
- 2026-11-02: add by m2/dev
ANWMTH1QBN ANWMTH1QBN
| URI | m2://inv/ANWMTH1QBN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-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.19787#CQ5X (statement). In A4VP56CT7B/e1, theorem 1.6
History
- 2026-10-28: add by m2/v0.4.2
convergent series ANWN0Z1HYT
| URI | m2://inv/ANWN0Z1HYT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Convergent series 0AF7X08PCR |
Mentions
- wikidata: Wikidata Q1211057, convergent series (unknown). Also MathWorld ConvergentSeries
- wikipedia: Wikipedia Convergent series, Convergent series (definition). Also Wikidata Q1211057
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Demetrios Christodoulou ANWV20ECJJ
| URI | m2://inv/ANWV20ECJJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#87PD, Demetrios Christodoulou (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#18C8, Demetrios Christodoulou (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WXP9, Demetrios Christodoulou (topic)
History
- 2026-11-02: add by m2/dev
Properties ANWYFB854T
| URI | m2://inv/ANWYFB854T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed Poisson distribution#IYD1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Julianna Tymoczko ANX1TW9278
| URI | m2://inv/ANX1TW9278 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julianna Tymoczko, Julianna Tymoczko (topic). Also Wikidata Q73420699
History
- 2026-11-02: add by m2/dev
Nikolai Georgievich Makarov ANX3H184W8
| URI | m2://inv/ANX3H184W8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolai Georgievich Makarov, Nikolai Georgievich Makarov (topic). Also Wikidata Q19513535
History
- 2026-11-02: add by m2/dev
ANX49S9B9Y ANX49S9B9Y
| URI | m2://inv/ANX49S9B9Y |
|---|---|
| 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.04124#Z295 (statement). In DB9WCCW840/e1, lemma 0.10
History
- 2026-10-29: add by m2/v0.4.12
Meshulam's conditions - the topological Hall theorems ANX4Z84Z50
| URI | m2://inv/ANX4Z84Z50 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall-type theorems for hypergraphs#MZ41, Meshulam's conditions - the topological Hall theorems (statement)
History
- 2026-11-02: add by m2/dev
ANX8CHMMQZ ANX8CHMMQZ
| URI | m2://inv/ANX8CHMMQZ |
|---|---|
| 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.17957#D43F (statement). In T5ZBX4YPZB/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Special cases ANXE3CXYCB
| URI | m2://inv/ANXE3CXYCB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#KL1W, Special cases (example). In WD2NCBV9F0/e1, example 10.17
History
- 2026-10-27: add by m2/v0.3.5
Brauner space ANXKE8JDVW
| URI | m2://inv/ANXKE8JDVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brauner space, Brauner space (definition). Also Wikidata Q15124483
History
- 2026-11-02: add by m2/dev
ANXTED48YC ANXTED48YC
| URI | m2://inv/ANXTED48YC |
|---|---|
| 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.07963#Y7MI (statement). In HAGJKEZ1CK/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.10
Diffusion-limited aggregation ANXX2G7FWN
| URI | m2://inv/ANXX2G7FWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffusion-limited aggregation, Diffusion-limited aggregation (definition). Also Wikidata Q1224521
History
- 2026-11-02: add by m2/dev
Augmented dg operad ANXX8AWZ7Z
| URI | m2://inv/ANXX8AWZ7Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.05005#QDGO, Augmented dg operad (definition). In SMJMAQ2S3J/e1, definition 11
History
- 2026-10-27: add by m2/v0.4.0
ANXYWHDYX1 ANXYWHDYX1
| URI | m2://inv/ANXYWHDYX1 |
|---|---|
| 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 2610.16461#2B8S (statement). In XPT71YR4V7/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
ANXZCV08E6 ANXZCV08E6
| URI | m2://inv/ANXZCV08E6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#definition-1 (definition). In RZP28ERRZV, definition, section 22.1
History
- 2026-11-01: add by m2/v0.6.13
Unit in the last place ANY49KW92B
| URI | m2://inv/ANY49KW92B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10819#YR9L, Unit in the last place (definition). In M96CSJBYGW/e1, definition 4
History
- 2026-10-28: add by m2/v0.4.3
ANY8RP5E59 ANY8RP5E59
| URI | m2://inv/ANY8RP5E59 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10559#F3XI (statement). In WEP0PNJW09/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Examples ANYCZWRF3D
| URI | m2://inv/ANYCZWRF3D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boltzmann sampler#DE31, Examples (example)
History
- 2026-11-02: add by m2/dev
ANYEK0BX58 ANYEK0BX58
| URI | m2://inv/ANYEK0BX58 |
|---|---|
| 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#KM88 (statement). In Q74G3BVZAQ/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
Jyā, koti-jyā and utkrama-jyā ANYEX6C6CN
| URI | m2://inv/ANYEX6C6CN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jyā, koti-jyā and utkrama-jyā, Jyā, koti-jyā and utkrama-jyā (topic). Also Wikidata Q6319559
History
- 2026-11-02: add by m2/dev
Hensel's lemma, cf.\ ANYMBA8T1T
| URI | m2://inv/ANYMBA8T1T |
|---|---|
| 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.01273#TZRH, Hensel's lemma, cf.\ (statement). In RAT41DDR51/e1, theorem 2.9
History
- 2026-10-29: add by m2/v0.4.12
Jean-Yves Béziau ANYT7EV3WH
| URI | m2://inv/ANYT7EV3WH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Yves Béziau, Jean-Yves Béziau (topic). Also Wikidata Q116987
History
- 2026-11-02: add by m2/dev
ANYT9R3KZY ANYT9R3KZY
| URI | m2://inv/ANYT9R3KZY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 19.15
History
- 2026-11-01: add by m2/v0.6.13
Droz-Farny line theorem ANYVA3T97W
| URI | m2://inv/ANYVA3T97W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2392296, Droz-Farny line theorem (statement). Also MathWorld Droz-FarnyTheorem
- wikipedia: Wikipedia Droz-Farny line theorem, Droz-Farny line theorem (statement). Also Wikidata Q2392296
History
- 2026-10-26: add by m2/dev
Fixed-offset logarithmic ergodic law ANYZW5KMJX
| URI | m2://inv/ANYZW5KMJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23339#E3XT, Fixed-offset logarithmic ergodic law (statement)
History
- 2026-11-02: add by m2/v0.6.17
ANZ6RBQ6AD ANZ6RBQ6AD
| URI | m2://inv/ANZ6RBQ6AD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00134#NKSP (statement). In S654779J5P/e1, theorem 6
History
- 2026-10-30: add by m2/v0.4.12
History-indexed kernels and finite horizons ANZBFV8ZPR
| URI | m2://inv/ANZBFV8ZPR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#QRYI, History-indexed kernels and finite horizons (statement). In 9YAE8FNQST/e1, corollary 11.15
History
- 2026-10-30: add by m2/v0.4.12
ADMB ANZCP4EG8Z
| URI | m2://inv/ANZCP4EG8Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#PZA4, ADMB (definition)
History
- 2026-11-02: add by m2/dev
Paracompact space ANZFMQRKH2
| URI | m2://inv/ANZFMQRKH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#KWQX, Paracompact space (definition)
History
- 2026-11-02: add by m2/dev
⇔ ANZH4W0Q1A
| URI | m2://inv/ANZH4W0Q1A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#ZTE6, ⇔ (definition)
History
- 2026-11-02: add by m2/dev
Olimpíada Brasileira de Matemática ANZK4SY0SM
| URI | m2://inv/ANZK4SY0SM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#RUKR, Olimpíada Brasileira de Matemática (definition)
History
- 2026-11-02: add by m2/dev
ANZM08SMQ6 ANZM08SMQ6
| URI | m2://inv/ANZM08SMQ6 |
|---|---|
| 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.28649#6ZMH (statement)
History
- 2026-11-01: add by m2/v0.6.15
ANZR1JA2WX ANZR1JA2WX
| URI | m2://inv/ANZR1JA2WX |
|---|---|
| Kind | definition |
| 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.21507#O1B4 (definition). In 879ZDHVK7N/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.4.2
Giuseppe Veronese ANZS9FSMR6
| URI | m2://inv/ANZS9FSMR6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giuseppe Veronese, Giuseppe Veronese (topic). Also Wikidata Q785984
History
- 2026-11-02: add by m2/dev
Complex polytope ANZXF4497T
| URI | m2://inv/ANZXF4497T |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex polytope, Complex polytope (object). Also Wikidata Q1500531
History
- 2026-11-02: add by m2/dev