Inventory rows Q2
The cards of the rows of the inventory whose ids start with Q2. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Q2001RBSG5 Q2001RBSG5
| URI | m2://inv/Q2001RBSG5 |
|---|---|
| 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 1804.06366#R8PT (statement). In 89XYDVXG38/e1, proposition A.1
History
- 2026-10-27: add by m2/v0.3.5
Q201ZRNB5Q Q201ZRNB5Q
| URI | m2://inv/Q201ZRNB5Q |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independent set (graph theory)#QOAL (problem)
History
- 2026-11-02: add by m2/dev
Janet McDonald Q20323VC7M
| URI | m2://inv/Q20323VC7M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Janet McDonald (mathematician), Janet McDonald (topic). Also Wikidata Q109104563
History
- 2026-11-02: add by m2/dev
Finite coefficient formulas Q20FCH8WM2
| URI | m2://inv/Q20FCH8WM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-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 2610.08568#WVC3, Finite coefficient formulas (statement). In FDDA562VCA/e1, corollary 3.3
History
- 2026-10-29: add by m2/v0.4.10
Stokes' theorem on manifolds Q20KVBY984
| URI | m2://inv/Q20KVBY984 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exterior derivative#LBZK, Stokes' theorem on manifolds (statement)
History
- 2026-11-02: add by m2/dev
obviously Q20SSKE60E
| URI | m2://inv/Q20SSKE60E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#WZLR, obviously (definition)
History
- 2026-11-02: add by m2/dev
Q2113P3W62 Q2113P3W62
| URI | m2://inv/Q2113P3W62 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21668#V0JK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Erdős–Ko–Rado theorem Q214RVE84H
| URI | m2://inv/Q214RVE84H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#XMFR, Erdős–Ko–Rado theorem (statement)
- wikipedia: Wikipedia List of mathematical proofs#POD4, Erdős–Ko–Rado theorem (statement)
- wikipedia: Wikipedia List of factorial and binomial topics#50TB, Erdős–Ko–Rado theorem (statement)
History
- 2026-11-02: add by m2/dev
Q2159G8WD0 Q2159G8WD0
| URI | m2://inv/Q2159G8WD0 |
|---|---|
| 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 2106.01660#E0OH (statement). In DY520CF58X/e1, theorem 10
History
- 2026-10-27: add by m2/v0.3.5
Abu Abd al-Rahman Ibn Aqil al-Zahiri Q219A2DT0T
| URI | m2://inv/Q219A2DT0T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abu Abd al-Rahman Ibn Aqil al-Zahiri, Abu Abd al-Rahman Ibn Aqil al-Zahiri (topic). Also Wikidata Q3210843
History
- 2026-11-02: add by m2/dev
Q21FJRXRHB Q21FJRXRHB
| URI | m2://inv/Q21FJRXRHB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#E03K (statement). In GHKR740SG3/e1, lemma 13.5
History
- 2026-10-31: add by m2/v0.5.6
Kenneth P. Bogart Q21PSPDDEB
| URI | m2://inv/Q21PSPDDEB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kenneth P. Bogart, Kenneth P. Bogart (topic). Also Wikidata Q76662447
History
- 2026-11-02: add by m2/dev
Q21T9P57GS Q21T9P57GS
| URI | m2://inv/Q21T9P57GS |
|---|---|
| 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.07122#WJLY (statement). In W0ZHX9DHPV/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.10
Q21YJNSYZ5 Q21YJNSYZ5
| URI | m2://inv/Q21YJNSYZ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.16205#GXHV (statement). In 3GE9PS9AH0/e1, theorem 5.4.2
History
- 2026-10-27: add by m2/v0.3.5
Applications Q228PBZM2M
| URI | m2://inv/Q228PBZM2M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kazhdan's property (T)#RSXE, Applications (example)
History
- 2026-11-02: add by m2/dev
Q22G7M0VNK Q22G7M0VNK
| URI | m2://inv/Q22G7M0VNK |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.13888#KJVP (problem). In 2G5K2GZTX7/e1, problem 1.1
History
- 2026-10-27: add by m2/v0.4.0
Laws of thermodynamics Q22QKV6CXZ
| URI | m2://inv/Q22QKV6CXZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermodynamics#O7CX, Laws of thermodynamics (statement)
History
- 2026-11-02: add by m2/dev
Potential of a quotient minor Q22RKW2QA1
| URI | m2://inv/Q22RKW2QA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#J55D, Potential of a quotient minor (statement). In 7MVPNFPRKB/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Q22RSBBT4X Q22RSBBT4X
| URI | m2://inv/Q22RSBBT4X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-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 math/0512416#QZSK (definition). In WJD9YPGGYH/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.3.5
Weierstrass function Q22TB4VPCJ
| URI | m2://inv/Q22TB4VPCJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#EIGD, Weierstrass function (unknown)
History
- 2026-11-02: add by m2/dev
Q22ZQ51169 Q22ZQ51169
| URI | m2://inv/Q22ZQ51169 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#ex:equiv-functor-set (exercise). In N54F33XE07, ex, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Q2305YBBBA Q2305YBBBA
| URI | m2://inv/Q2305YBBBA |
|---|---|
| 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.05486#LX3J (statement). In 5Z46AK2XTC/e1, lemma C.14
History
- 2026-10-29: add by m2/v0.4.10
Q2312D7MBZ Q2312D7MBZ
| URI | m2://inv/Q2312D7MBZ |
|---|---|
| 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.16235#FBSO (statement). In RNGNWGMX85/e1, theorem 3.13
History
- 2026-10-28: add by m2/v0.4.2
Q2328FX66V Q2328FX66V
| URI | m2://inv/Q2328FX66V |
|---|---|
| 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.14204#DZLJ (statement). In GZAY1Y12YD/e1, corollary 2.2
History
- 2026-10-28: add by m2/v0.4.2
Q2374R2V3X Q2374R2V3X
| URI | m2://inv/Q2374R2V3X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/UncountableSets.tex#cor:power set of N uncountable (statement). In P1C114YBXG, corollary, section K
History
- 2026-11-01: add by m2/v0.6.13
transitive relation Q23D46R4C1
| URI | m2://inv/Q23D46R4C1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Transitive relation 0CYRECG2YQ |
Mentions
- wikidata: Wikidata Q64861, transitive relation (unknown). Also MathWorld Transitive, nLab transitive relation
- wikipedia: Wikipedia Transitive relation, Transitive relation (definition). Also Wikidata Q64861
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Ellen Hayes Q23JN91P7X
| URI | m2://inv/Q23JN91P7X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellen Hayes, Ellen Hayes (topic). Also Wikidata Q5364875
History
- 2026-11-02: add by m2/dev
Margaret Merrell Q23M571NBQ
| URI | m2://inv/Q23M571NBQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#HZN8, Margaret Merrell (topic)
History
- 2026-11-02: add by m2/dev
Véronique Cortier Q23NVZDCS5
| URI | m2://inv/Q23NVZDCS5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Véronique Cortier, Véronique Cortier (topic). Also Wikidata Q21264854
History
- 2026-11-02: add by m2/dev
Gaussian integral Q23RPQVENX
| URI | m2://inv/Q23RPQVENX |
|---|---|
| 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#C693, Gaussian integral (statement). In VG8AF124T3/e1, lemma 6.5
History
- 2026-10-28: add by m2/v0.4.2
Q23Z998E57 Q23Z998E57
| URI | m2://inv/Q23Z998E57 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-80 (exercise). In E9HS8K3A52, exercise, section 6.6.3
History
- 2026-11-01: add by m2/v0.6.13
Typed lexical transformation Q240EDS5H3
| URI | m2://inv/Q240EDS5H3 |
|---|---|
| Kind | definition |
| 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#43GK, Typed lexical transformation (definition)
History
- 2026-11-02: add by m2/v0.6.18
programming Q245FBP5G6
| URI | m2://inv/Q245FBP5G6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.2/programming, programming (concept). In N54F33XE07, index, section A.2
History
- 2026-11-01: add by m2/v0.6.13
Applications Q245YB9ZTM
| URI | m2://inv/Q245YB9ZTM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-concordant function#YG11, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples Q247AGF04P
| URI | m2://inv/Q247AGF04P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex Lie group#NMIJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Q24CA88FZ1 Q24CA88FZ1
| URI | m2://inv/Q24CA88FZ1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-63 (exercise). In VNMV985MXX, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Wendel's theorem Q24N8581J7
| URI | m2://inv/Q24N8581J7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#SXQE, Wendel's theorem (statement)
History
- 2026-11-02: add by m2/dev
Exact logarithmic equation Q25071YR3V
| URI | m2://inv/Q25071YR3V |
|---|---|
| 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.20414#SGY7, Exact logarithmic equation (statement). In X2NNNW8CX5/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
Q25DH6B691 Q25DH6B691
| URI | m2://inv/Q25DH6B691 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-35 (exercise). In VNMV985MXX, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Likelihoodist statistics Q25HVKBGBE
| URI | m2://inv/Q25HVKBGBE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Likelihoodist statistics, Likelihoodist statistics (topic). Also Wikidata Q65082597
History
- 2026-11-02: add by m2/dev
Q25K07KCEW Q25K07KCEW
| URI | m2://inv/Q25K07KCEW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.09945#FJTZ (statement). In V7VCEA0VAA/e1, corollary 5.1
History
- 2026-10-29: add by m2/v0.4.10
Q25N0T6WK7 Q25N0T6WK7
| URI | m2://inv/Q25N0T6WK7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05056#YHWR (definition). In 4PF04DW3YP/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Formal definition Q262KTZ7FW
| URI | m2://inv/Q262KTZ7FW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Difference in differences#MFI5, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Garden of forking paths fallacy Q26DP4ENFP
| URI | m2://inv/Q26DP4ENFP |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#DL1U, Garden of forking paths fallacy (conjecture)
History
- 2026-11-02: add by m2/dev
Running time Q26GBGQKK4
| URI | m2://inv/Q26GBGQKK4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#8P4V, Running time (definition)
History
- 2026-11-02: add by m2/dev
Q26J5VM0H0 Q26J5VM0H0
| URI | m2://inv/Q26J5VM0H0 |
|---|---|
| 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.17537#S6DB (statement). In P8QECYECXN/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
Conrad Henfling Q26QAKMXB9
| URI | m2://inv/Q26QAKMXB9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conrad Henfling, Conrad Henfling (topic). Also Wikidata Q5162533
History
- 2026-11-02: add by m2/dev
The algorithm Q26QR9ZE7Q
| URI | m2://inv/Q26QR9ZE7Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AKS primality test#NOME, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
Q26YMHZXXM Q26YMHZXXM
| URI | m2://inv/Q26YMHZXXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.25168#7B9L (statement)
History
- 2026-11-01: add by m2/v0.6.15
almost every Q270W9FGQ2
| URI | m2://inv/Q270W9FGQ2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/5.5.2/almost-every, almost every (concept). In E59CDZA4DP, index, section 5.5.2
History
- 2026-11-01: add by m2/v0.6.13
Jinkōki Q271VS4P66
| URI | m2://inv/Q271VS4P66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jinkōki, Jinkōki (definition). Also Wikidata Q8189247
History
- 2026-11-02: add by m2/dev
Hodge−Weyl decomposition Q272R79FF8
| URI | m2://inv/Q272R79FF8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#YCF6, Hodge−Weyl decomposition (definition)
History
- 2026-11-02: add by m2/dev
choice function Q27DBT5AVS
| URI | m2://inv/Q27DBT5AVS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Choice function 0FWBQ53MPJ |
Mentions
- wikidata: Wikidata Q2513496, choice function (definition). Also nLab choice function, ProofWiki Definition:Choice_Function
- wikipedia: Wikipedia Choice function, Choice function (definition). Also Wikidata Q2513496
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Q27ER9RF3K Q27ER9RF3K
| URI | m2://inv/Q27ER9RF3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/de-bruijn.tex#defn-3 (definition). In PKGMM3P5QY, defn, section 38.12
History
- 2026-11-01: add by m2/v0.6.13
Q27GGEVV64 Q27GGEVV64
| URI | m2://inv/Q27GGEVV64 |
|---|---|
| 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 2605.00407#77NB (statement). In TVFD0G3F2W/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
Q27M078D6X Q27M078D6X
| URI | m2://inv/Q27M078D6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 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 2610.16157#M1MH (statement). In GV251MW5RP/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
rational numbers Q27NKGQQJA
| URI | m2://inv/Q27NKGQQJA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.16/rational-numbers, rational numbers (concept). In QKM9DD2H56, index, section B.16
History
- 2026-11-01: add by m2/v0.6.13
Minimum degree spanning tree Q27W89MT7V
| URI | m2://inv/Q27W89MT7V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#SVT0, Minimum degree spanning tree (definition)
History
- 2026-11-02: add by m2/dev
Statistics Belgium Q27XFA85EB
| URI | m2://inv/Q27XFA85EB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistics Belgium, Statistics Belgium (definition). Also Wikidata Q12480
History
- 2026-11-02: add by m2/dev
$C^{(k,l)}$ Lorentz--Finsler structures Q289DDEPNJ
| URI | m2://inv/Q289DDEPNJ |
|---|---|
| Kind | definition |
| 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#O8ZW, $C^{(k,l)}$ Lorentz--Finsler structures (definition). In 5BYE5NYB89/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.3
Tukey–Kramer method Q289FC1VEK
| URI | m2://inv/Q289FC1VEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QVMX, Tukey–Kramer method (definition)
History
- 2026-11-02: add by m2/dev
Definition Q28EMA0S5V
| URI | m2://inv/Q28EMA0S5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical reasoning#W0MK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Q28RF9RTKE Q28RF9RTKE
| URI | m2://inv/Q28RF9RTKE |
|---|---|
| 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.28669#NW7L (statement)
History
- 2026-11-01: add by m2/v0.6.15
Q28WJJH5WB Q28WJJH5WB
| URI | m2://inv/Q28WJJH5WB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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 2607.00146#VH4O (definition). In 6KR7Z5ETRY/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Q29BAN1VN1 Q29BAN1VN1
| URI | m2://inv/Q29BAN1VN1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06488#N5FG (statement). In XG3BJ2QXXP/e1, corollary 3.2
History
- 2026-10-29: add by m2/v0.4.10
Two identities on a plateau Q29BJ6A9FC
| URI | m2://inv/Q29BJ6A9FC |
|---|---|
| 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.06480#9OV4, Two identities on a plateau (statement). In 2Y47E704Z9/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.10
Q29F7Q4GKA Q29F7Q4GKA
| URI | m2://inv/Q29F7Q4GKA |
|---|---|
| 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.21972#TAQY (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties Q29HEHKKKY
| URI | m2://inv/Q29HEHKKKY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular chain#O99T, Properties (statement)
History
- 2026-11-02: add by m2/dev
Variations Q29HV9DQKM
| URI | m2://inv/Q29HV9DQKM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sums of three cubes#USAH, Variations (statement)
History
- 2026-11-02: add by m2/dev
The class $U_2$ Q29WFX8EYB
| URI | m2://inv/Q29WFX8EYB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01216#JKCM, The class $U_2$ (statement). In 59016RQTW6/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.12
Definition Q2A2390T64
| URI | m2://inv/Q2A2390T64 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine space#85EM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Q2A8B1FYRF Q2A8B1FYRF
| URI | m2://inv/Q2A8B1FYRF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36021#447L (statement). In CB68ATPEV9/e1, theorem 5.7
History
- 2026-10-30: add by m2/v0.4.12
Critical scaling for the drift family Q2AAEYNF5K
| URI | m2://inv/Q2AAEYNF5K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17946#5OX8, Critical scaling for the drift family (statement). In A7HTYWJNCX/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
Q2AAP0EWVN Q2AAP0EWVN
| URI | m2://inv/Q2AAP0EWVN |
|---|---|
| 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.30407#OHR0 (statement). In HNY6N561H5/e1, corollary 2.12
History
- 2026-10-31: add by m2/v0.5.6
Q2AC05M3F0 Q2AC05M3F0
| URI | m2://inv/Q2AC05M3F0 |
|---|---|
| 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.26357#9VSB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Antarctica Q2AZF7V96B
| URI | m2://inv/Q2AZF7V96B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of continents by GDP#V39X, Antarctica (unknown)
History
- 2026-11-02: add by m2/dev
Lie–Palais theorem Q2B084DKXX
| URI | m2://inv/Q2B084DKXX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6544508, Lie–Palais theorem (statement). Also Wikidata Q6544508
- thousand_plus: thousand_plus Q6544508, Lie–Palais theorem (statement). Also Wikidata Q6544508, Wikipedia Lie–Palais theorem
- wikipedia: Wikipedia Lie–Palais theorem, Lie–Palais theorem (statement). Also Wikidata Q6544508
History
- 2026-10-26: add by m2/dev
Equivariant boundary extension Q2B1GYE8NA
| URI | m2://inv/Q2B1GYE8NA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14582#F6ZQ, Equivariant boundary extension (statement). In 6XP6PD2XZA/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Q2BNG3FK39 Q2BNG3FK39
| URI | m2://inv/Q2BNG3FK39 |
|---|---|
| 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#88SS (statement). In Q5Z178SAHP/e1, proposition 7.3
History
- 2026-10-30: add by m2/v0.4.12
Q2BS9Q5R4D Q2BS9Q5R4D
| URI | m2://inv/Q2BS9Q5R4D |
|---|---|
| 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#WSCZ (statement). In T5ZBX4YPZB/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Andreas Buja Q2BSN913WE
| URI | m2://inv/Q2BSN913WE |
|---|---|
| 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#S7NQ, Andreas Buja (unknown)
History
- 2026-11-02: add by m2/dev
Q2C30CEM0R Q2C30CEM0R
| URI | m2://inv/Q2C30CEM0R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05850#Q9B9 (statement). In D424GB5MAW/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Q2C7ZVB3Y0 Q2C7ZVB3Y0
| URI | m2://inv/Q2C7ZVB3Y0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#Y4U2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Compatibility of quantifier-free conditions Q2CCSYM57Y
| URI | m2://inv/Q2CCSYM57Y |
|---|---|
| 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.22205#1KMN, Compatibility of quantifier-free conditions (statement). In 7REABAAQED/e1, theorem
History
- 2026-10-27: add by m2/v0.4.0
Deterministic and randomized OSP lower bounds Q2CEFGAGB1
| URI | m2://inv/Q2CEFGAGB1 |
|---|---|
| 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.16715#3VLH, Deterministic and randomized OSP lower bounds (statement). In RA1Z6BV25A/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Q2CESM5AXK Q2CESM5AXK
| URI | m2://inv/Q2CESM5AXK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31523#FYTP (statement). In 2BET1RE1F6/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
Q2CP7YTD3D Q2CP7YTD3D
| URI | m2://inv/Q2CP7YTD3D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability-alt.tex#ex-2 (example). In PKGMM3P5QY, ex, section 83.4
History
- 2026-11-01: add by m2/v0.6.13
Q2CRWS2WJ8 Q2CRWS2WJ8
| URI | m2://inv/Q2CRWS2WJ8 |
|---|---|
| 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.29925#1H3A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Q2CSQA65MB Q2CSQA65MB
| URI | m2://inv/Q2CSQA65MB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#example-6 (example). In RZP28ERRZV, example, section 95.4
History
- 2026-11-01: add by m2/v0.6.13
Q2CSQEHNVJ Q2CSQEHNVJ
| URI | m2://inv/Q2CSQEHNVJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 2609.20718#J0PY (definition)
History
- 2026-11-02: add by m2/v0.6.18
Q2CTGYB5CB Q2CTGYB5CB
| URI | m2://inv/Q2CTGYB5CB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#J2XB (statement). In GHKR740SG3/e1, theorem 16.2
History
- 2026-10-31: add by m2/v0.5.6
Grothendieck's theorem Q2CWB848ZE
| URI | m2://inv/Q2CWB848ZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fredholm kernel#KVT9, Grothendieck's theorem (statement)
History
- 2026-11-02: add by m2/dev
Veneziano amplitude Q2CZGMCZXH
| URI | m2://inv/Q2CZGMCZXH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3614673, Veneziano amplitude (unknown). Also nLab Veneziano amplitude
History
- 2026-10-26: add by m2/dev
Fundamental conjecture of birational geometry Q2D06H7HMG
| URI | m2://inv/Q2D06H7HMG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical ring#Q8VO, Fundamental conjecture of birational geometry (statement)
History
- 2026-11-02: add by m2/dev
Mathukumalli V. Subbarao Q2D1DKFQ58
| URI | m2://inv/Q2D1DKFQ58 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathukumalli V. Subbarao, Mathukumalli V. Subbarao (topic). Also Wikidata Q6787332
History
- 2026-11-02: add by m2/dev
Stable curve Q2D2TRR62B
| URI | m2://inv/Q2D2TRR62B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable curve, Stable curve (definition). Also Wikidata Q3001219
History
- 2026-11-02: add by m2/dev
Open problem Q2D6R0G74E
| URI | m2://inv/Q2D6R0G74E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van der Waerden's theorem#UN75, Open problem (statement)
History
- 2026-11-02: add by m2/dev
Q2D8MC2JKV Q2D8MC2JKV
| URI | m2://inv/Q2D8MC2JKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19852#490C (statement). In SPW2D8X2PG/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
rigidity lemma Q2DHEC10V3
| URI | m2://inv/Q2DHEC10V3 |
|---|---|
| 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.09298#WTC7, rigidity lemma (statement). In 1SPQ4J3AWY/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.10
Q2DMBSWR6N Q2DMBSWR6N
| URI | m2://inv/Q2DMBSWR6N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20153#ZTPP (definition)
History
- 2026-11-02: add by m2/v0.6.18
Q2DNHM1JNA Q2DNHM1JNA
| URI | m2://inv/Q2DNHM1JNA |
|---|---|
| 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.31269#TQ24 (statement). In ZPT9XCCAPQ/e1, corollary 3.3.4
History
- 2026-10-31: add by m2/v0.5.6
Applications Q2DZNKV8ZT
| URI | m2://inv/Q2DZNKV8ZT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flow-based generative model#NBCB, Applications (example)
History
- 2026-11-02: add by m2/dev
Q2E2TSQ563 Q2E2TSQ563
| URI | m2://inv/Q2E2TSQ563 |
|---|---|
| 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.16554#NLXL (statement). In GWNT8HEZG1/e1, corollary 3.34
History
- 2026-10-27: add by m2/v0.3.6
Q2EFFCAEA4 Q2EFFCAEA4
| URI | m2://inv/Q2EFFCAEA4 |
|---|---|
| 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 2610.21632#H4MY (statement). In Q4RZTN2EX6/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.4.2
Discretization Q2EN89KGM5
| URI | m2://inv/Q2EN89KGM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discretization, Discretization (definition). Also Wikidata Q17007827
History
- 2026-11-02: add by m2/dev
law of mass action Q2EQ5MW8ZY
| URI | m2://inv/Q2EQ5MW8ZY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q899494, law of mass action (statement). Also ProofWiki Law_of_Mass_Action
- wikipedia: Wikipedia Law of mass action, Law of mass action (statement). Also Wikidata Q899494
History
- 2026-10-26: add by m2/dev
Willard C. Brinton Q2ET4R1AZE
| URI | m2://inv/Q2ET4R1AZE |
|---|---|
| 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#AUDQ, Willard C. Brinton (unknown)
History
- 2026-11-02: add by m2/dev
Q2EZ1STBPC Q2EZ1STBPC
| URI | m2://inv/Q2EZ1STBPC |
|---|---|
| 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 2304.02722#Y52J (statement). In AH7D55D3WV/e1, lemma 7.7
History
- 2026-10-27: add by m2/v0.3.5
Aitken's delta-squared process Q2F25SBXQA
| URI | m2://inv/Q2F25SBXQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aitken's delta-squared process, Aitken's delta-squared process (definition). Also Wikidata Q492177
History
- 2026-11-02: add by m2/dev
Q2F2NQQQDD Q2F2NQQQDD
| URI | m2://inv/Q2F2NQQQDD |
|---|---|
| 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#I9WG (statement). In WQKQ8438M7/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
Raw data Q2FAF1V96W
| URI | m2://inv/Q2FAF1V96W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raw data, Raw data (definition). Also Wikidata Q2110223
History
- 2026-11-02: add by m2/dev
Open sets of synchronising reciprocal translations Q2FC8D3PN1
| URI | m2://inv/Q2FC8D3PN1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15686#B5YF, Open sets of synchronising reciprocal translations (statement). In 4HCK722M2G/e1, theorem C
History
- 2026-10-28: add by m2/v0.4.2
Entropy change formulas for simple processes Q2FDRQXC5B
| URI | m2://inv/Q2FDRQXC5B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropy#XWK2, Entropy change formulas for simple processes (statement)
History
- 2026-11-02: add by m2/dev
Q2FF5DCYQ6 Q2FF5DCYQ6
| URI | m2://inv/Q2FF5DCYQ6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#LJQZ (example). In M0SQY5EZN5/e1, example 2.2.6
History
- 2026-10-27: add by m2/v0.3.5
Convergence of real-valued series Q2FNEQ2X16
| URI | m2://inv/Q2FNEQ2X16 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Numerical series > Convergence of real-valued series, Convergence of real-valued series (unknown)
History
- 2026-10-26: add by m2/dev
Q2FTJYC587 Q2FTJYC587
| URI | m2://inv/Q2FTJYC587 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#74GL (example)
History
- 2026-11-02: add by m2/v0.6.18
Q2FVH9MYX8 Q2FVH9MYX8
| URI | m2://inv/Q2FVH9MYX8 |
|---|---|
| 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.27641#ATJA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Q2FXSJ7K70 Q2FXSJ7K70
| URI | m2://inv/Q2FXSJ7K70 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27153#SPP0 (example)
History
- 2026-11-01: add by m2/v0.6.15
Q2G9VSJMPF Q2G9VSJMPF
| URI | m2://inv/Q2G9VSJMPF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34845#92NM (example). In SBZNH932ZV/e1, example 2.11
History
- 2026-10-30: add by m2/v0.4.12
matrix, scalar multiplication Q2GA29K733
| URI | m2://inv/Q2GA29K733 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/2.2.1/matrix-scalar-multiplication, matrix, scalar multiplication (concept). In 649HGZKE96, index, section 2.2.1
History
- 2026-11-01: add by m2/v0.6.13
torsion-free module Q2GD8HDNBV
| URI | m2://inv/Q2GD8HDNBV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7827200, torsion-free module (unknown). Also nLab torsion-free module
- wikipedia: Wikipedia Torsion-free module, Torsion-free module (definition). Also Wikidata Q7827200
History
- 2026-10-26: add by m2/dev
Q2GDEZA39X Q2GDEZA39X
| URI | m2://inv/Q2GDEZA39X |
|---|---|
| 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.20135#0KDR (statement). In ZQQEN3J866/e1, corollary 1.6
History
- 2026-10-27: add by m2/v0.4.2
Q2GFMWS0J2 Q2GFMWS0J2
| URI | m2://inv/Q2GFMWS0J2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#G48T (definition). In 9B0X8YPF3P/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Achtmaal Q2GK3KRKC6
| URI | m2://inv/Q2GK3KRKC6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#FGWZ, Achtmaal (unknown)
History
- 2026-11-02: add by m2/dev
Convergence to the strong solution Q2GSAY306H
| URI | m2://inv/Q2GSAY306H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#VWKP, Convergence to the strong solution (statement)
History
- 2026-11-02: add by m2/v0.6.18
Law enforcement and regulation Q2HDSK02A3
| URI | m2://inv/Q2HDSK02A3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia End-to-end encryption#ZRIK, Law enforcement and regulation (statement)
History
- 2026-11-02: add by m2/dev
Q2HW9AR22X Q2HW9AR22X
| URI | m2://inv/Q2HW9AR22X |
|---|---|
| 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.20590#T6AV (statement)
History
- 2026-11-02: add by m2/v0.6.18
Q2HZYEME19 Q2HZYEME19
| URI | m2://inv/Q2HZYEME19 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36113#EJY8 (statement). In FSGSVD0XYH/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Q2J3JVE142 Q2J3JVE142
| URI | m2://inv/Q2J3JVE142 |
|---|---|
| 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.18562#6NBX (statement). In 793KXAR957/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Q2J6CF65H9 Q2J6CF65H9
| URI | m2://inv/Q2J6CF65H9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05696#29Z1 (definition). In MG81A9XJTQ/e1, definition VI.2
History
- 2026-10-29: add by m2/v0.4.10
Löwner’s theorem on holomorphic extension Q2J70KE844
| URI | m2://inv/Q2J70KE844 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operator monotone function#20TY, Löwner’s theorem on holomorphic extension (statement)
History
- 2026-11-02: add by m2/dev
Terminology Q2J7VH44GE
| URI | m2://inv/Q2J7VH44GE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BLOSUM#6Q8H, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Bruce Lee Rothschild Q2JCJD6HRY
| URI | m2://inv/Q2JCJD6HRY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TN37, Bruce Lee Rothschild (unknown)
History
- 2026-11-02: add by m2/dev
Transfer with value errors Q2JCKPMX7D
| URI | m2://inv/Q2JCKPMX7D |
|---|---|
| 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.06544#ZYP4, Transfer with value errors (statement). In VCRB27RMN6/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Q2JCRSNN76 Q2JCRSNN76
| URI | m2://inv/Q2JCRSNN76 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30323#W40J (statement). In HDJ6N25XVT/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
Q2JFQAPH12 Q2JFQAPH12
| URI | m2://inv/Q2JFQAPH12 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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 2112.10058#LRLH (definition). In YQKKA47GS9/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Chebyshev distance Q2JPGF5WW5
| URI | m2://inv/Q2JPGF5WW5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Sup metric on R^n 0VTAXQEWQD |
Mentions
- wikidata: Wikidata Q573482, Chebyshev distance (concept). Also MathWorld L-Infinity-Norm
- wikipedia: Wikipedia Chebyshev distance, Chebyshev distance (definition). Also Wikidata Q573482
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Q2JYW9FQ3F Q2JYW9FQ3F
| URI | m2://inv/Q2JYW9FQ3F |
|---|---|
| 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 2609.30482#DGRI (statement). In KWB9M5YH9G/e1, theorem 2.7
History
- 2026-10-31: add by m2/v0.5.6
Koch's arc theorem Q2JZWEC2K3
| URI | m2://inv/Q2JZWEC2K3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#L2NF, Koch's arc theorem (definition)
History
- 2026-11-02: add by m2/dev
Change detection Q2K33NY5RQ
| URI | m2://inv/Q2K33NY5RQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Change detection, Change detection (definition). Also Wikidata Q25389927
History
- 2026-11-02: add by m2/dev
Weierstrass point Q2K6SSY0JM
| URI | m2://inv/Q2K6SSY0JM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#5LVN, Weierstrass point (definition)
History
- 2026-11-02: add by m2/dev
Corollary 1 Q2KFDM426N
| URI | m2://inv/Q2KFDM426N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loewy decomposition#HOR7, Corollary 1 (statement)
History
- 2026-11-02: add by m2/dev
Excision theorem Q2KKZWABT6
| URI | m2://inv/Q2KKZWABT6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3526998, Excision theorem (statement). Also Wikidata Q3526998
- thousand_plus: thousand_plus Q3526998, Excision theorem (statement). Also Wikidata Q3526998, Wikipedia Excision theorem
- wikipedia: Wikipedia Excision theorem, Excision theorem (statement). Also Wikidata Q3526998
History
- 2026-10-26: add by m2/dev
Example Q2KNXV4093
| URI | m2://inv/Q2KNXV4093 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lyapunov function#IO6Q, Example (example)
History
- 2026-11-02: add by m2/dev
Q2KPB436H9 Q2KPB436H9
| URI | m2://inv/Q2KPB436H9 |
|---|---|
| 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.17817#VIQ6 (definition). In M8TSJ24RC2/e1, definition 2.9
History
- 2026-10-28: add by m2/v0.4.2
Debashish Goswami Q2M2BYGF00
| URI | m2://inv/Q2M2BYGF00 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Debashish Goswami, Debashish Goswami (topic). Also Wikidata Q16864853
History
- 2026-11-02: add by m2/dev
Q2M5WG9K91 Q2M5WG9K91
| URI | m2://inv/Q2M5WG9K91 |
|---|---|
| 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.28664#PVV7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Q2M84FRCFC Q2M84FRCFC
| URI | m2://inv/Q2M84FRCFC |
|---|---|
| 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#2BDT (statement). In E7W2HDNEKJ/e1, lemma 9.23
History
- 2026-10-30: add by m2/v0.4.12
Weighted Roth theorem Q2MC171PEX
| URI | m2://inv/Q2MC171PEX |
|---|---|
| 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#A9R6, Weighted Roth theorem (statement). In GSTK4569X1/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
compact families Q2MRJCZCHF
| URI | m2://inv/Q2MRJCZCHF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01919#QCDM, compact families (example). In 4H727T2YAS/e1, example 6.5
History
- 2026-10-29: add by m2/v0.4.12
Q2MTP15VA5 Q2MTP15VA5
| URI | m2://inv/Q2MTP15VA5 |
|---|---|
| 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.12053#BIPY (statement). In MQ226ETRP6/e1, corollary 1.3
History
- 2026-10-28: add by m2/v0.4.3
Symmetry Q2MV9FWKHV
| URI | m2://inv/Q2MV9FWKHV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triacontagon#T6WY, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/General/Main.lean\#L110}{\Verb|quality\_factorFreeTuples\_ge| Q2MXDGJ46A
| URI | m2://inv/Q2MXDGJ46A |
|---|---|
| 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.16323#KP4P, \href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/General/Main.lean\#L110}{\Verb|quality\_factorFreeTuples\_ge| (statement). In E215DFNY09/e1, theorem Theorem
History
- 2026-10-28: add by m2/v0.4.2
Q2MZ4CZ1WT Q2MZ4CZ1WT
| URI | m2://inv/Q2MZ4CZ1WT |
|---|---|
| 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.24206#UM61 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cayley's sextic Q2N104T0YD
| URI | m2://inv/Q2N104T0YD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Arthur Cayley#3V9R, Cayley's sextic (definition)
History
- 2026-11-02: add by m2/dev
Weighted space Q2N3Z3V56Q
| URI | m2://inv/Q2N3Z3V56Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted space, Weighted space (definition). Also Wikidata Q7979904
History
- 2026-11-02: add by m2/dev
Q2N6SNQQBT Q2N6SNQQBT
| URI | m2://inv/Q2N6SNQQBT |
|---|---|
| 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.15352#SJES (statement). In R39P7AFXM8/e1, corollary 1.7
History
- 2026-10-28: add by m2/v0.4.2
Peerio Q2N88MNHJQ
| URI | m2://inv/Q2N88MNHJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peerio, Peerio (definition). Also Wikidata Q22907688
History
- 2026-11-02: add by m2/dev
William E. Winkler Q2NBAQ7NRT
| URI | m2://inv/Q2NBAQ7NRT |
|---|---|
| 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#SNEP, William E. Winkler (unknown)
History
- 2026-11-02: add by m2/dev
Semi-Fredholm Q2NEWXXJ91
| URI | m2://inv/Q2NEWXXJ91 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fredholm operator#LWTV, Semi-Fredholm (unknown)
History
- 2026-11-02: add by m2/dev
Q2NF95BDFX Q2NF95BDFX
| URI | m2://inv/Q2NF95BDFX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#W214 (statement). In 9ZD87293QS/e1, proposition 3.19
History
- 2026-10-27: add by m2/v0.4.0
Quasi-invariant measure Q2NGTYBKEW
| URI | m2://inv/Q2NGTYBKEW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-invariant measure, Quasi-invariant measure (definition). Also Wikidata Q7269454
History
- 2026-11-02: add by m2/dev
Q2NS9Y90TM Q2NS9Y90TM
| URI | m2://inv/Q2NS9Y90TM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26191#871R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples Q2NTEFMQ7H
| URI | m2://inv/Q2NTEFMQ7H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Directed set#O2BM, Examples (example)
History
- 2026-11-02: add by m2/dev
Q2NXVEPNHX Q2NXVEPNHX
| URI | m2://inv/Q2NXVEPNHX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-12 (proof). In N54F33XE07, proof, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Margaret C. Wu Q2NYGDHG7Q
| URI | m2://inv/Q2NYGDHG7Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Margaret C. Wu, Margaret C. Wu (topic). Also Wikidata Q102214715
History
- 2026-11-02: add by m2/dev
Q2NZK7QR48 Q2NZK7QR48
| URI | m2://inv/Q2NZK7QR48 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/meromorphic.tex#example-2 (example). In RZP28ERRZV, example, section 41.2
History
- 2026-11-01: add by m2/v0.6.13
Q2P82NJQ7Q Q2P82NJQ7Q
| URI | m2://inv/Q2P82NJQ7Q |
|---|---|
| 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.32077#QBB7 (statement). In WYXQDSQR9B/e1, proposition 2.8
History
- 2026-10-31: add by m2/v0.5.6
small rhombidodecacron Q2PKHT2KV4
| URI | m2://inv/Q2PKHT2KV4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7543562, small rhombidodecacron (concept). Also MathWorld SmallRhombidodecacron
- wikipedia: Wikipedia Small rhombidodecacron, Small rhombidodecacron (object). Also Wikidata Q7543562
History
- 2026-10-26: add by m2/dev
Denis-Charles Cisinski Q2PPTP4ESR
| URI | m2://inv/Q2PPTP4ESR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denis-Charles Cisinski, Denis-Charles Cisinski (topic). Also Wikidata Q102254092
History
- 2026-11-02: add by m2/dev
Elizabeth Wilmer Q2PSVAV40D
| URI | m2://inv/Q2PSVAV40D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elizabeth Wilmer, Elizabeth Wilmer (topic). Also Wikidata Q76501058
History
- 2026-11-02: add by m2/dev
Reason-responsiveness Q2PWPCGJHQ
| URI | m2://inv/Q2PWPCGJHQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rationality#FYUN, Reason-responsiveness (unknown)
History
- 2026-11-02: add by m2/dev
Definition Q2PXWTB7BZ
| URI | m2://inv/Q2PXWTB7BZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid#BGE2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Q2PZVPZHXB Q2PZVPZHXB
| URI | m2://inv/Q2PZVPZHXB |
|---|---|
| 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.20273#6JMT (statement). In AEGHDSD5S7/e1, proposition 5.7
History
- 2026-10-27: add by m2/v0.4.2
Q2Q4JEPFZE Q2Q4JEPFZE
| URI | m2://inv/Q2Q4JEPFZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.20542#MRHC (statement). In 8PZXZ8Y9FK/e1, theorem A
History
- 2026-10-27: add by m2/v0.4.2
group representation Q2QHZNM68W
| URI | m2://inv/Q2QHZNM68W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Group representation WYGRXCG2RN |
Mentions
- wikidata: Wikidata Q1055807, group representation (unknown). Also MathWorld GroupRepresentation
- wikipedia: Wikipedia Group representation, Group representation (definition). Also Wikidata Q1055807
History
- 2026-10-26: add by m2/dev
Q2QKJK061D Q2QKJK061D
| URI | m2://inv/Q2QKJK061D |
|---|---|
| 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#R1XB (statement). In ZX3NV58FRX/e1, corollary 1.6
History
- 2026-10-27: add by m2/v0.3.5
recursive definition Q2QMAKGX5X
| URI | m2://inv/Q2QMAKGX5X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#DO3W, recursive definition (definition)
History
- 2026-11-02: add by m2/dev
Convergence of the Discretization of the Dirichlet Force Q2QP764F7H
| URI | m2://inv/Q2QP764F7H |
|---|---|
| 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.13355#1O9I, Convergence of the Discretization of the Dirichlet Force (statement). In QJ1G1HBC6C/e1, proposition 7.3
History
- 2026-10-28: add by m2/v0.4.2
Algorithms Q2QWDM24K7
| URI | m2://inv/Q2QWDM24K7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clique problem#YSKT, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Fixed-breadth relation bound Q2R0D7T9D5
| URI | m2://inv/Q2R0D7T9D5 |
|---|---|
| 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.14509#2TWI, Fixed-breadth relation bound (statement). In N6GD8392QB/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Structural Equation Modeling Q2R4H0H943
| URI | m2://inv/Q2R4H0H943 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#KYI1, Structural Equation Modeling (unknown)
History
- 2026-11-02: add by m2/dev
macron Q2RJDJQN7E
| URI | m2://inv/Q2RJDJQN7E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q627627, macron (unknown). Also MathWorld Macron
History
- 2026-10-26: add by m2/dev
Conversion from cosine comparison Q2RN6VAXVT
| URI | m2://inv/Q2RN6VAXVT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#3VMS, Conversion from cosine comparison (statement). In FTPW1SZ8D3/e1, lemma A.5
History
- 2026-10-30: add by m2/v0.4.12
Q2RVQ1EM5S Q2RVQ1EM5S
| URI | m2://inv/Q2RVQ1EM5S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#ZLHV (statement). In 2VHV0RNTNV/e1, lemma 9.3
History
- 2026-10-29: add by m2/v0.4.12
Wood Q2RWY02R9Q
| URI | m2://inv/Q2RWY02R9Q |
|---|---|
| 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.32475#4TJN, Wood (statement). In 5N606WED8M/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
Example 6 Q2S0CGH3QZ
| URI | m2://inv/Q2S0CGH3QZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation does not imply causation#2RWD, Example 6 (example)
History
- 2026-11-02: add by m2/dev
Q2S90MW3WA Q2S90MW3WA
| URI | m2://inv/Q2S90MW3WA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#example-17 (example). In RZP28ERRZV, example, section 5.9
History
- 2026-11-01: add by m2/v0.6.13
Supermodular game Q2SCBQ9EE7
| URI | m2://inv/Q2SCBQ9EE7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strategic complements#U2BY, Supermodular game (unknown)
History
- 2026-11-02: add by m2/dev
Scalar quadruple product Q2SP70SQAT
| URI | m2://inv/Q2SP70SQAT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector algebra relations#Q47G, Scalar quadruple product (unknown)
History
- 2026-11-02: add by m2/dev
van der Waerden Q2SRD9BPES
| URI | m2://inv/Q2SRD9BPES |
|---|---|
| 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.02833#UNBW, van der Waerden (statement). In TNREX5GDK2/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.12
Q2SRDJPSSZ Q2SRDJPSSZ
| URI | m2://inv/Q2SRDJPSSZ |
|---|---|
| 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.21098#X98E (statement)
History
- 2026-11-02: add by m2/v0.6.18
Results Q2SWV46XS9
| URI | m2://inv/Q2SWV46XS9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Texas Math and Science Coaches Association#6Q7I, Results (statement)
History
- 2026-11-02: add by m2/dev
Q2T4A2848W Q2T4A2848W
| URI | m2://inv/Q2T4A2848W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00109#XHE9 (statement). In FS8J84KFX2/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Q2TA6WA2VV Q2TA6WA2VV
| URI | m2://inv/Q2TA6WA2VV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-25 (exercise). In Y91XFCEVHQ, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Q2TDJ8C0DE Q2TDJ8C0DE
| URI | m2://inv/Q2TDJ8C0DE |
|---|---|
| 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.05486#2O4T (statement). In 5Z46AK2XTC/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.10
logically equivalent Q2TGBFY46R
| URI | m2://inv/Q2TGBFY46R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#9PWO, logically equivalent (definition)
History
- 2026-11-02: add by m2/dev
Q2TRV5R0S2 Q2TRV5R0S2
| URI | m2://inv/Q2TRV5R0S2 |
|---|---|
| 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.32906#445F (statement). In R589MXXHX4/e1, proposition 3.2
History
- 2026-10-31: add by m2/v0.5.6
List of integrals Q2TW9T1A14
| URI | m2://inv/Q2TW9T1A14 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#OJDE, List of integrals (topic)
History
- 2026-11-02: add by m2/dev
Mount Tritoppen Q2TWEQPSTG
| URI | m2://inv/Q2TWEQPSTG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#LVHQ, Mount Tritoppen (unknown)
History
- 2026-11-02: add by m2/dev
Primitive recursive functional Q2V1GBM68C
| URI | m2://inv/Q2V1GBM68C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive recursive functional, Primitive recursive functional (definition). Also Wikidata Q7243582
History
- 2026-11-02: add by m2/dev
Q2V711WEBH Q2V711WEBH
| URI | m2://inv/Q2V711WEBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#9TK1 (statement). In X765ZXXVC3/e1, lemma 6.16
History
- 2026-10-29: add by m2/v0.4.12
Properties Q2V8T23ZP7
| URI | m2://inv/Q2V8T23ZP7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal coordinates#T4UU, Properties (statement)
History
- 2026-11-02: add by m2/dev
Q2VEG23NYF Q2VEG23NYF
| URI | m2://inv/Q2VEG23NYF |
|---|---|
| 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 2610.01915#UEV3 (statement). In 6HJQXZS0A6/e1, lemma 3.13
History
- 2026-10-29: add by m2/v0.4.12
Hamiltonian Q2VJEHASCM
| URI | m2://inv/Q2VJEHASCM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian (control theory), Hamiltonian (definition). Also Wikidata Q5645293
History
- 2026-11-02: add by m2/dev
Geodesic curvature Q2VN98JQTR
| URI | m2://inv/Q2VN98JQTR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#Y34C, Geodesic curvature (definition)
History
- 2026-11-02: add by m2/dev
Q2VQ1CDNZ5 Q2VQ1CDNZ5
| URI | m2://inv/Q2VQ1CDNZ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2303.09207#HYIL (definition). In 9DQKY7KGE8/e1, definition 3.8
History
- 2026-10-27: add by m2/v0.3.5
Variance reduction Q2VT6PGPE9
| URI | m2://inv/Q2VT6PGPE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variance reduction, Variance reduction (definition). Also Wikidata Q3454689
History
- 2026-11-02: add by m2/dev
Q2W7VTB83T Q2W7VTB83T
| URI | m2://inv/Q2W7VTB83T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 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.35577#51ZI (definition). In 4F8QRV05BV/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
geodesic equation in Riemannian manifold Q2WAQEME96
| URI | m2://inv/Q2WAQEME96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3589415, geodesic equation in Riemannian manifold (definition). Also ProofWiki Definition:Geodesic_Equation
History
- 2026-10-26: add by m2/dev
Negativity bias Q2WD7CRZKR
| URI | m2://inv/Q2WD7CRZKR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negativity bias, Negativity bias (definition). Also Wikidata Q16254302
History
- 2026-11-02: add by m2/dev
Poisson majorization Q2WHFM6KYQ
| URI | m2://inv/Q2WHFM6KYQ |
|---|---|
| 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 2608.24606#TXAC, Poisson majorization (statement). In VFV3FFB7Q7/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.5
Theorem Q2WN8TQT70
| URI | m2://inv/Q2WN8TQT70 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonstandard analysis#NN1Y, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Arbitrarily slow last-iterate convergence Q2WNSJY0GY
| URI | m2://inv/Q2WNSJY0GY |
|---|---|
| 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.32729#WFZX, Arbitrarily slow last-iterate convergence (statement). In PGJ37WRB1K/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
Harry R. Lewis Q2WTC7TX35
| URI | m2://inv/Q2WTC7TX35 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CITT, Harry R. Lewis (unknown)
History
- 2026-11-02: add by m2/dev
Dickson's lemma Q2X202V394
| URI | m2://inv/Q2X202V394 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#X2NN, Dickson's lemma (statement)
History
- 2026-11-02: add by m2/dev
Variations Q2XJRH3M6T
| URI | m2://inv/Q2XJRH3M6T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collusion#NIPH, Variations (statement)
History
- 2026-11-02: add by m2/dev
water pouring puzzle Q2XRG3GJXA
| URI | m2://inv/Q2XRG3GJXA |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25113076, water pouring puzzle (unknown). Also MathWorld ThreeJugProblem
- wikipedia: Wikipedia Water pouring puzzle, Water pouring puzzle (problem). Also Wikidata Q25113076
History
- 2026-10-26: add by m2/dev
Upper bound Q2XY5P5K5F
| URI | m2://inv/Q2XY5P5K5F |
|---|---|
| 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.05038#VRWZ, Upper bound (statement). In CR237YRBJW/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Q2Y3JEGBHD Q2Y3JEGBHD
| URI | m2://inv/Q2Y3JEGBHD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00135#FXVM (statement). In PXWXV92SJY/e1, corollary 4.9
History
- 2026-10-30: add by m2/v0.4.12
Q2YC8RDXG6 Q2YC8RDXG6
| URI | m2://inv/Q2YC8RDXG6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#HR55 (statement). In TC5QA4AB4Z/e1, corollary 4.31
History
- 2026-10-30: add by m2/v0.4.12
Mahani Q2YD69RGWP
| URI | m2://inv/Q2YD69RGWP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#JV6P, Mahani (topic)
History
- 2026-11-02: add by m2/dev
Q2YJFH9VY7 Q2YJFH9VY7
| URI | m2://inv/Q2YJFH9VY7 |
|---|---|
| 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.13833#3TLT (statement). In VD4JP4HVBX/e1, proposition 10.14
History
- 2026-10-28: add by m2/v0.4.2
Q2YJG0YPBP Q2YJG0YPBP
| URI | m2://inv/Q2YJG0YPBP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14236#J2FV (definition). In XEQD21EBTT/e1, definition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Suggestibility Q2YQNSQPTX
| URI | m2://inv/Q2YQNSQPTX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#DTW2, Suggestibility (unknown)
History
- 2026-11-02: add by m2/dev
Circle-valued Morse theory Q2YZRGSRPT
| URI | m2://inv/Q2YZRGSRPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circle-valued Morse theory, Circle-valued Morse theory (definition). Also Wikidata Q5121372
History
- 2026-11-02: add by m2/dev
Properties Q2Z6309V4F
| URI | m2://inv/Q2Z6309V4F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T1 space#P5VN, Properties (statement)
History
- 2026-11-02: add by m2/dev
catenary Q2ZB8S17ZM
| URI | m2://inv/Q2ZB8S17ZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#DKNG, catenary (definition)
History
- 2026-11-02: add by m2/dev
dot product Q2ZDE35XFZ
| URI | m2://inv/Q2ZDE35XFZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/6.1.2/dot-product, dot product (concept). In 649HGZKE96, index, section 6.1.2
History
- 2026-11-01: add by m2/v0.6.13
History of automated reasoning Q2ZFTJ4818
| URI | m2://inv/Q2ZFTJ4818 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automated reasoning#85V6, History of automated reasoning (unknown)
History
- 2026-11-02: add by m2/dev
Algebraic computation Q2ZG84NV8P
| URI | m2://inv/Q2ZG84NV8P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#IFP0, Algebraic computation (definition)
History
- 2026-11-02: add by m2/dev
Q2ZH8MXM28 Q2ZH8MXM28
| URI | m2://inv/Q2ZH8MXM28 |
|---|---|
| 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#S58Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Q2ZJ62WNAE Q2ZJ62WNAE
| URI | m2://inv/Q2ZJ62WNAE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-33 (exercise). In E59CDZA4DP, exercise, section 5.4.3
History
- 2026-11-01: add by m2/v0.6.13
Q2ZKZDBV7J Q2ZKZDBV7J
| URI | m2://inv/Q2ZKZDBV7J |
|---|---|
| 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.35558#DHN4 (statement). In HR2TQ292AE/e1, proposition 3.4
History
- 2026-10-30: add by m2/v0.4.12
Q2ZMQBEPXN Q2ZMQBEPXN
| URI | m2://inv/Q2ZMQBEPXN |
|---|---|
| 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.24577#7IXA (definition)
History
- 2026-11-01: add by m2/v0.6.15
Statements Q2ZP3KF9B4
| URI | m2://inv/Q2ZP3KF9B4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypergraph regularity method#CZGQ, Statements (statement)
History
- 2026-11-02: add by m2/dev
Q2ZZCXCX7S Q2ZZCXCX7S
| URI | m2://inv/Q2ZZCXCX7S |
|---|---|
| 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.14741#DKWQ (statement). In RK1VPWWX9E/e1, theorem 3.10
History
- 2026-10-28: add by m2/v0.4.2