Inventory rows QJ
The cards of the rows of the inventory whose ids start with QJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
QJ08BD0QT8 QJ08BD0QT8
| URI | m2://inv/QJ08BD0QT8 |
|---|---|
| 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 2312.06473#5ZBY (statement). In P1MYSYHSGX/e1, proposition 1.2
History
- 2026-10-27: add by m2/v0.3.5
descent QJ09P9ZRRR
| URI | m2://inv/QJ09P9ZRRR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5263725, descent (concept). Also nLab descent
- wikipedia: Wikipedia Descent (mathematics), Descent (definition). Also Wikidata Q5263725
History
- 2026-10-26: add by m2/dev
Prandtl hypothesis QJ0DTX29JE
| URI | m2://inv/QJ0DTX29JE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inviscid flow#6BH9, Prandtl hypothesis (statement)
History
- 2026-11-02: add by m2/dev
QJ0GYD70WY QJ0GYD70WY
| URI | m2://inv/QJ0GYD70WY |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1805.04646#3Y8N (proof). In WDDY7P9T66/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
QJ0JWXRNAX QJ0JWXRNAX
| URI | m2://inv/QJ0JWXRNAX |
|---|---|
| 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 2405.14678#OS2B (statement). In 9ZSNSJRJ5N/e1, proposition 4
History
- 2026-10-27: add by m2/v0.4.2
law of noncontradiction QJ0QDWZ455
| URI | m2://inv/QJ0QDWZ455 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q868437, law of noncontradiction (statement). Also MathWorld ContradictionLaw
- wikipedia: Wikipedia Law of noncontradiction, Law of noncontradiction (statement). Also Wikidata Q868437
History
- 2026-10-26: add by m2/dev
Kuiper QJ0XBMR92T
| URI | m2://inv/QJ0XBMR92T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#75RB, Kuiper (definition)
History
- 2026-11-02: add by m2/dev
tower QJ12C8EFM7
| URI | m2://inv/QJ12C8EFM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7829620, tower (unknown). Also nLab tower
- wikipedia: Wikipedia Tower of objects, Tower of objects (definition). Also Wikidata Q7829620
History
- 2026-10-26: add by m2/dev
Henri Gillet QJ13N6E8Z6
| URI | m2://inv/QJ13N6E8Z6 |
|---|---|
| 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#2H8Y, Henri Gillet (topic)
History
- 2026-11-02: add by m2/dev
QJ16YPE24Y QJ16YPE24Y
| URI | m2://inv/QJ16YPE24Y |
|---|---|
| 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.05784#CRNA (statement). In 6NVP3YRWVA/e1, theorem 3.15
History
- 2026-10-29: add by m2/v0.4.10
QJ1AYE9G06 QJ1AYE9G06
| URI | m2://inv/QJ1AYE9G06 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/non-enumerability.tex#thm:nonenum-bin-omega (statement). In PKGMM3P5QY, thm, section 83.9
History
- 2026-11-01: add by m2/v0.6.13
Symmetry QJ1ERZ119A
| URI | m2://inv/QJ1ERZ119A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odds ratio#0EHG, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Z-score QJ1ESJZ63Z
| URI | m2://inv/QJ1ESJZ63Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NY71, Z-score (definition)
History
- 2026-11-02: add by m2/dev
decidable, equality QJ1GSMWSER
| URI | m2://inv/QJ1GSMWSER |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.10/decidable-equality, decidable, equality (concept). In N54F33XE07, index, section 7.10
History
- 2026-11-01: add by m2/v0.6.13
Bertrand Rémy QJ1HHEK01J
| URI | m2://inv/QJ1HHEK01J |
|---|---|
| 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#XX19, Bertrand Rémy (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations QJ1HWCZ7AD
| URI | m2://inv/QJ1HWCZ7AD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical commutation relation#IE68, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Student's t-statistic QJ1S1DH40E
| URI | m2://inv/QJ1S1DH40E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Q5U4, Student's t-statistic (definition)
History
- 2026-11-02: add by m2/dev
QJ1Y3E6W9H QJ1Y3E6W9H
| URI | m2://inv/QJ1Y3E6W9H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 1704.04089#P76C (statement). In T126FDFXT5/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
QJ25K0DEF9 QJ25K0DEF9
| URI | m2://inv/QJ25K0DEF9 |
|---|---|
| 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.09672#XUXI (statement). In TXBXCPP0QH/e1, theorem 7
History
- 2026-10-29: add by m2/v0.4.10
QJ2C38B8MT QJ2C38B8MT
| URI | m2://inv/QJ2C38B8MT |
|---|---|
| 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.21116#GRBL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Generalization QJ2F219G6S
| URI | m2://inv/QJ2F219G6S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive category#MI60, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Examples QJ2HWB0X41
| URI | m2://inv/QJ2HWB0X41 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmically convex function#6R8B, Examples (example)
History
- 2026-11-02: add by m2/dev
Bell-shaped function QJ2NCXT3QA
| URI | m2://inv/QJ2NCXT3QA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bell-shaped function, Bell-shaped function (definition). Also Wikidata Q60766410
History
- 2026-11-02: add by m2/dev
QJ2P75JQFR QJ2P75JQFR
| URI | m2://inv/QJ2P75JQFR |
|---|---|
| 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.22218#4AHD (statement). In 338GKREFVP/e1, theorem 10
History
- 2026-10-27: add by m2/v0.4.0
QJ2P7QF70V QJ2P7QF70V
| URI | m2://inv/QJ2P7QF70V |
|---|---|
| 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 2206.05392#MMPF (statement). In 58D1ZC82DW/e1, proposition 23
History
- 2026-10-27: add by m2/v0.3.5
Examples QJ2QXFX8PA
| URI | m2://inv/QJ2QXFX8PA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nash equilibrium#OIXK, Examples (example)
History
- 2026-11-02: add by m2/dev
QJ2RJTRD06 QJ2RJTRD06
| URI | m2://inv/QJ2RJTRD06 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-17 (exercise). In E59CDZA4DP, exercise, section 3.2.6
History
- 2026-11-01: add by m2/v0.6.13
QJ2ZW28WBZ QJ2ZW28WBZ
| URI | m2://inv/QJ2ZW28WBZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#HBV9 (definition). In SVJYA0171G/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Corollary QJ32F6X3R4
| URI | m2://inv/QJ32F6X3R4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koszul complex#YEJZ, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Fractional programming QJ335GMXET
| URI | m2://inv/QJ335GMXET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional programming, Fractional programming (definition). Also Wikidata Q5477546
History
- 2026-11-02: add by m2/dev
QJ36H8EHQC QJ36H8EHQC
| URI | m2://inv/QJ36H8EHQC |
|---|---|
| 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.24051#TG1G (statement)
History
- 2026-11-02: add by m2/v0.6.17
enriched category QJ39GSTBNB
| URI | m2://inv/QJ39GSTBNB |
|---|---|
| Kind | definition |
| 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 2405.14678#3PRG, enriched category (definition). In 9ZSNSJRJ5N/e1, definition 8
History
- 2026-10-27: add by m2/v0.4.2
Narayana Pandita QJ3CSRRXHH
| URI | m2://inv/QJ3CSRRXHH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#K7G4, Narayana Pandita (unknown)
History
- 2026-11-02: add by m2/dev
associativity, in a monoid QJ3EVGMD1C
| URI | m2://inv/QJ3EVGMD1C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/associativity-in-a-monoid, associativity, in a monoid (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
derivative QJ3FV6M1AF
| URI | m2://inv/QJ3FV6M1AF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#L5BT, derivative (definition)
History
- 2026-11-02: add by m2/dev
Jayadeva QJ3GD7X01B
| URI | m2://inv/QJ3GD7X01B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jayadeva (mathematician), Jayadeva (topic). Also Wikidata Q724751
History
- 2026-11-02: add by m2/dev
Antiquitates Mathematicae QJ3R0J75YZ
| URI | m2://inv/QJ3R0J75YZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polish Mathematical Society#7Z2R, Antiquitates Mathematicae (unknown)
History
- 2026-11-02: add by m2/dev
QJ3RQNHKK0 QJ3RQNHKK0
| URI | m2://inv/QJ3RQNHKK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29393#NHOQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
QJ3TR9JANB QJ3TR9JANB
| URI | m2://inv/QJ3TR9JANB |
|---|---|
| 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.23803#QFRR (statement)
History
- 2026-11-02: add by m2/v0.6.17
Almost flat manifold QJ438P7Q25
| URI | m2://inv/QJ438P7Q25 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4734002, Gromov–Ruh theorem (statement). Also Wikidata Q4734002
- thousand_plus: thousand_plus Q4734002, Gromov–Ruh theorem (statement). Also Wikidata Q4734002, Wikipedia Gromov–Ruh theorem
- wikipedia: Wikipedia Almost flat manifold, Almost flat manifold (definition). Also Wikidata Q4734002
History
- 2026-10-26: add by m2/dev
QJ4429H9S7 QJ4429H9S7
| URI | m2://inv/QJ4429H9S7 |
|---|---|
| Kind | example |
| 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.26776#K7YM (example)
History
- 2026-11-01: add by m2/v0.6.15
Harmonograph QJ44QZR381
| URI | m2://inv/QJ44QZR381 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#KL6J, Harmonograph (unknown)
History
- 2026-11-02: add by m2/dev
QJ47BAN4QJ QJ47BAN4QJ
| URI | m2://inv/QJ47BAN4QJ |
|---|---|
| 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 2011.06637#VG9H (statement). In KFCJ5CFP3G/e1, corollary 3.10
History
- 2026-10-27: add by m2/v0.3.5
QJ4BRAJYZF QJ4BRAJYZF
| URI | m2://inv/QJ4BRAJYZF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#S16N (definition). In 6NVP3YRWVA/e1, definition 4.8
History
- 2026-10-29: add by m2/v0.4.10
QJ4DWQQ7BE QJ4DWQQ7BE
| URI | m2://inv/QJ4DWQQ7BE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.32916#IJ55 (statement). In G1RP4JY5PE/e1, lemma 4.1.3
History
- 2026-10-31: add by m2/v0.5.6
Selberg trace formula QJ4RKK9CG6
| URI | m2://inv/QJ4RKK9CG6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#S143, Selberg trace formula (statement)
History
- 2026-11-02: add by m2/dev
Case-control QJ4WG1512A
| URI | m2://inv/QJ4WG1512A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RFEB, Case-control (definition)
History
- 2026-11-02: add by m2/dev
Uniform moment bounds, informal QJ4Y2K7WKH
| URI | m2://inv/QJ4Y2K7WKH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02158#EG71, Uniform moment bounds, informal (statement). In PCV12VAD47/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
Arithmetic data determined by the multiplication-covering tower QJ4ZA8RZCM
| URI | m2://inv/QJ4ZA8RZCM |
|---|---|
| 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.26196#HC8I, Arithmetic data determined by the multiplication-covering tower (statement)
History
- 2026-11-01: add by m2/v0.6.15
QJ535YXYTW QJ535YXYTW
| URI | m2://inv/QJ535YXYTW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#PSHM (statement)
History
- 2026-11-02: add by m2/v0.6.17
Unrestricted balanced Bellman inequality QJ5BT2JVMA
| URI | m2://inv/QJ5BT2JVMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#8VO9, Unrestricted balanced Bellman inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
QJ5BYVMPCV QJ5BYVMPCV
| URI | m2://inv/QJ5BYVMPCV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/CH.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 88.1
History
- 2026-11-01: add by m2/v0.6.13
Akhmim wooden tablets QJ5T4FW5H3
| URI | m2://inv/QJ5T4FW5H3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4700777, Akhmim wooden tablets (concept). Also MathWorld AkhmimWoodenTablet
- wikipedia: Wikipedia Akhmim wooden tablets, Akhmim wooden tablets (definition). Also Wikidata Q4700777
History
- 2026-10-26: add by m2/dev
List of integrals of rational functions QJ5XSW00XE
| URI | m2://inv/QJ5XSW00XE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of integrals#EHOU, List of integrals of rational functions (topic)
- wikipedia: Wikipedia List of calculus topics#TP2F, List of integrals of rational functions (topic)
- wikipedia: Wikipedia Lists of mathematics topics#GVJF, List of integrals of rational functions (topic)
History
- 2026-11-02: add by m2/dev
Real algebraic geometry QJ602GR8NV
| URI | m2://inv/QJ602GR8NV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real algebraic geometry, Real algebraic geometry (topic). Also Wikidata Q7301119
History
- 2026-11-02: add by m2/dev
Emil Leon Post QJ61SQ7C1C
| URI | m2://inv/QJ61SQ7C1C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#4ZRR, Emil Leon Post (topic)
History
- 2026-11-02: add by m2/dev
Jacques F. Benders QJ64510JGH
| URI | m2://inv/QJ64510JGH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacques F. Benders, Jacques F. Benders (topic). Also Wikidata Q2358222
History
- 2026-11-02: add by m2/dev
QJ64XZRG5A QJ64XZRG5A
| URI | m2://inv/QJ64XZRG5A |
|---|---|
| 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 2506.09840#0PMS (statement). In Y7TWHSF2HC/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
Exact decomposition of the inverse-weight second moment QJ65R5D8GN
| URI | m2://inv/QJ65R5D8GN |
|---|---|
| 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.14695#4BLR, Exact decomposition of the inverse-weight second moment (statement). In T15EJSPCNG/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Examples QJ6CRG2TEC
| URI | m2://inv/QJ6CRG2TEC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surface (mathematics)#U4RL, Examples (example)
History
- 2026-11-02: add by m2/dev
Chien search QJ6D0XKQ8V
| URI | m2://inv/QJ6D0XKQ8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chien search, Chien search (definition). Also Wikidata Q5097155
History
- 2026-11-02: add by m2/dev
$\cZ_\gamma$-Initialization QJ6E2Y1BT1
| URI | m2://inv/QJ6E2Y1BT1 |
|---|---|
| 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 2006.05158#C0ZH, $\cZ_\gamma$-Initialization (statement). In 4VCW6SZQXK/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.5
QJ6E47TH0G QJ6E47TH0G
| URI | m2://inv/QJ6E47TH0G |
|---|---|
| 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 2508.08809#DB1Z (statement). In X5NX1YEABW/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Franklin Pierce University QJ6GMX3QKS
| URI | m2://inv/QJ6GMX3QKS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#M7LD, Franklin Pierce University (unknown)
History
- 2026-11-02: add by m2/dev
Wormhole metrics QJ6J7B4KHA
| URI | m2://inv/QJ6J7B4KHA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wormhole#NFQD, Wormhole metrics (unknown)
History
- 2026-11-02: add by m2/dev
H. J. Woodall QJ6JHHY8NX
| URI | m2://inv/QJ6JHHY8NX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H. J. Woodall, H. J. Woodall (definition). Also Wikidata Q5628315
History
- 2026-11-02: add by m2/dev
QJ6QWHWCZE QJ6QWHWCZE
| URI | m2://inv/QJ6QWHWCZE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-25 (exercise). In E9HS8K3A52, exercise, section 10.2.6
History
- 2026-11-01: add by m2/v0.6.13
Examples QJ6SCWMSVD
| URI | m2://inv/QJ6SCWMSVD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic code#XK0E, Examples (example)
History
- 2026-11-02: add by m2/dev
QJ6VRDZW7H QJ6VRDZW7H
| URI | m2://inv/QJ6VRDZW7H |
|---|---|
| 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.23341#2LRC (statement)
History
- 2026-11-02: add by m2/v0.6.17
QJ72C83A6K QJ72C83A6K
| URI | m2://inv/QJ72C83A6K |
|---|---|
| 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.19845#M5F4 (statement). In A8Y7B1MD91/e1, proposition A.3
History
- 2026-10-28: add by m2/v0.4.2
QJ76T4XVQD QJ76T4XVQD
| URI | m2://inv/QJ76T4XVQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#definition-1 (definition). In RZP28ERRZV, definition, section 56.1
History
- 2026-11-01: add by m2/v0.6.13
QJ7DNPKAN7 QJ7DNPKAN7
| URI | m2://inv/QJ7DNPKAN7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphalgorithms_exercises.ptx#exercise-1 (exercise). In QKM9DD2H56, exercise, section 12
History
- 2026-11-01: add by m2/v0.6.13
Spatial Mathematics: Theory and Practice through Mapping QJ7GM8TCXM
| URI | m2://inv/QJ7GM8TCXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spatial Mathematics: Theory and Practice through Mapping, Spatial Mathematics: Theory and Practice through Mapping (definition). Also Wikidata Q108084620
History
- 2026-11-02: add by m2/dev
Chawne Kimber QJ7HNB1AGX
| URI | m2://inv/QJ7HNB1AGX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chawne Kimber, Chawne Kimber (topic). Also Wikidata Q57313590
History
- 2026-11-02: add by m2/dev
QJ7P9327KM QJ7P9327KM
| URI | m2://inv/QJ7P9327KM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1209.5343#NM25 (definition). In 4SPYEGKZ8J/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
Sandi Klavžar QJ7TTVF0YC
| URI | m2://inv/QJ7TTVF0YC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sandi Klavžar, Sandi Klavžar (topic). Also Wikidata Q12800733
History
- 2026-11-02: add by m2/dev
QJ7XXZA38K QJ7XXZA38K
| URI | m2://inv/QJ7XXZA38K |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-planar.ptx#proof-2 (proof). In Y91XFCEVHQ, proof, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
Divisorial fraction ideal QJ88E8BJ3N
| URI | m2://inv/QJ88E8BJ3N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional ideal#1A34, Divisorial fraction ideal (unknown)
History
- 2026-11-02: add by m2/dev
QJ891FG1S0 QJ891FG1S0
| URI | m2://inv/QJ891FG1S0 |
|---|---|
| Kind | example |
| 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#31UW (example). In Q5Z178SAHP/e1, example 8.5
History
- 2026-10-30: add by m2/v0.4.12
relativistic thermodynamics QJ8C8GRFD9
| URI | m2://inv/QJ8C8GRFD9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100164624, relativistic thermodynamics (unknown). Also EoM Relativistic_thermodynamics,_mathematical_problems_in
History
- 2026-10-26: add by m2/dev
QJ8DB5M2MK QJ8DB5M2MK
| URI | m2://inv/QJ8DB5M2MK |
|---|---|
| Kind | definition |
| 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 1903.07030#J4YF (definition). In 9H45HQE7AZ/e1, definition 5.6
History
- 2026-10-27: add by m2/v0.3.5
Unsolved problems in statistics QJ8JE0B8VC
| URI | m2://inv/QJ8JE0B8VC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NCLM, Unsolved problems in statistics (topic)
History
- 2026-11-02: add by m2/dev
All dimensions in the scope of this article QJ8M1F96KB
| URI | m2://inv/QJ8M1F96KB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#7YO9, All dimensions in the scope of this article (statement). In QPJ6FWG5HD/e1, corollary 2.103
History
- 2026-10-29: add by m2/v0.4.12
QJ8NQPFCZC QJ8NQPFCZC
| URI | m2://inv/QJ8NQPFCZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/stokes.tex#definition-5 (definition). In RZP28ERRZV, definition, section 46.4
History
- 2026-11-01: add by m2/v0.6.13
QJ8RT0MAM6 QJ8RT0MAM6
| URI | m2://inv/QJ8RT0MAM6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16267#H2NW (statement). In 65GKPZ15VH/e1, corollary 3.28
History
- 2026-10-28: add by m2/v0.4.2
Compound of five great rhombihexahedra QJ8SJK37SY
| URI | m2://inv/QJ8SJK37SY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of five great rhombihexahedra, Compound of five great rhombihexahedra (definition). Also Wikidata Q5156857
History
- 2026-11-02: add by m2/dev
Multiplicity formula QJ8V196GZE
| URI | m2://inv/QJ8V196GZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17006#0HK7, Multiplicity formula (statement). In YY81ZEJ82P/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Trapezoidal distribution QJ8VQRHFGT
| URI | m2://inv/QJ8VQRHFGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#VVE4, Trapezoidal distribution (definition)
History
- 2026-11-02: add by m2/dev
Comparison through an admitted common refinement QJ8YZN2XA8
| URI | m2://inv/QJ8YZN2XA8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#3X20, Comparison through an admitted common refinement (statement)
History
- 2026-11-01: add by m2/v0.6.15
unforced motion QJ93K5W17P
| URI | m2://inv/QJ93K5W17P |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.4.1/unforced-motion, unforced motion (concept). In E9HS8K3A52, index, section 6.4.1
History
- 2026-11-01: add by m2/v0.6.13
hypotenuse QJ979RSGQA
| URI | m2://inv/QJ979RSGQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q104962, hypotenuse (unknown). Also EoM Hypotenuse, MathWorld Hypotenuse
- wikipedia: Wikipedia Hypotenuse, Hypotenuse (definition). Also Wikidata Q104962
History
- 2026-10-26: add by m2/dev
QJ9DC9N4DP QJ9DC9N4DP
| URI | m2://inv/QJ9DC9N4DP |
|---|---|
| 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.29152#E5P6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
QJ9TEQD8HV QJ9TEQD8HV
| URI | m2://inv/QJ9TEQD8HV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21969#068O (statement)
History
- 2026-11-02: add by m2/v0.6.17
Low birth weight paradox QJ9WJZGC7J
| URI | m2://inv/QJ9WJZGC7J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#R2HV, Low birth weight paradox (statement)
History
- 2026-11-02: add by m2/dev
Inverse proportion QJA75NF8X4
| URI | m2://inv/QJA75NF8X4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proportionality (mathematics)#XRB5, Inverse proportion (unknown)
History
- 2026-11-02: add by m2/dev
Burg algorithm QJAAZ43F8S
| URI | m2://inv/QJAAZ43F8S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autoregressive model#3AL8, Burg algorithm (unknown)
History
- 2026-11-02: add by m2/dev
QJAMNA5J9M QJAMNA5J9M
| URI | m2://inv/QJAMNA5J9M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20679#I9G6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Enrique Zuazua QJAWG0BJY9
| URI | m2://inv/QJAWG0BJY9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enrique Zuazua, Enrique Zuazua (topic). Also Wikidata Q3028017
History
- 2026-11-02: add by m2/dev
Joint Statistical Meetings QJBAJST7AH
| URI | m2://inv/QJBAJST7AH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joint Statistical Meetings, Joint Statistical Meetings (topic). Also Wikidata Q6269403
History
- 2026-11-02: add by m2/dev
QJBJ54ZRJD QJBJ54ZRJD
| URI | m2://inv/QJBJ54ZRJD |
|---|---|
| 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.05829#WA7Y (statement). In ZH9NNSEKMD/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Mayer–Vietoris sequence QJBTMTDFRJ
| URI | m2://inv/QJBTMTDFRJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Mayer–Vietoris sequence X8BWXFGK53 |
Mentions
- wikidata: Wikidata Q2421905, Mayer–Vietoris sequence (concept). Also nLab Mayer-Vietoris sequence
- wikipedia: Wikipedia Mayer–Vietoris sequence, Mayer–Vietoris sequence (definition). Also Wikidata Q2421905
History
- 2026-10-26: add by m2/dev
Definitions QJBYKBDN6Y
| URI | m2://inv/QJBYKBDN6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heegaard splitting#CSPL, Definitions (definition)
History
- 2026-11-02: add by m2/dev
QJC12ECEDM QJC12ECEDM
| URI | m2://inv/QJC12ECEDM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0301148#29KF (statement). In 5RE15848Z0/e1, proposition A.5
History
- 2026-10-27: add by m2/v0.3.5
Michael M. Richter QJCAFXF8V5
| URI | m2://inv/QJCAFXF8V5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#1NET, Michael M. Richter (topic)
History
- 2026-11-02: add by m2/dev
QJCF4891KE QJCF4891KE
| URI | m2://inv/QJCF4891KE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CountableSets.tex#theorem-6 (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Gluon field strength tensor QJCPMYHQ1E
| URI | m2://inv/QJCPMYHQ1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gluon field strength tensor, Gluon field strength tensor (definition). Also Wikidata Q5572401
History
- 2026-11-02: add by m2/dev
Gauss-Seidel QJCQJ8YAZX
| URI | m2://inv/QJCQJ8YAZX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Iterative methods > Gauss-Seidel, Gauss-Seidel (unknown)
History
- 2026-10-26: add by m2/dev
QJCWE7W76W QJCWE7W76W
| URI | m2://inv/QJCWE7W76W |
|---|---|
| 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#NKBK (statement). In 1SPQ4J3AWY/e1, corollary 7.6
History
- 2026-10-29: add by m2/v0.4.10
QJCYQSVRYN QJCYQSVRYN
| URI | m2://inv/QJCYQSVRYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35183#TXCK (statement). In FYM5XFD9RR/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Portmanteau test QJD85RSJHK
| URI | m2://inv/QJD85RSJHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GY23, Portmanteau test (definition)
History
- 2026-11-02: add by m2/dev
A. G. Vitushkin QJDG74VCSD
| URI | m2://inv/QJDG74VCSD |
|---|---|
| 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#DGQ9, A. G. Vitushkin (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OC8F, A. G. Vitushkin (unknown)
History
- 2026-11-02: add by m2/dev
Examples QJDK3C62BW
| URI | m2://inv/QJDK3C62BW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuum (topology)#1WVS, Examples (example)
History
- 2026-11-02: add by m2/dev
Peirce's theory of deductive reasoning QJDN0KY21W
| URI | m2://inv/QJDN0KY21W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Corollary#506U, Peirce's theory of deductive reasoning (unknown)
History
- 2026-11-02: add by m2/dev
QJDNR83YJE QJDNR83YJE
| URI | m2://inv/QJDNR83YJE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#4V43 (statement). In QM1T8JDK4A/e1, proposition 5.11
History
- 2026-10-30: add by m2/v0.4.12
Tableau Software QJDYDSQT6Z
| URI | m2://inv/QJDYDSQT6Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tableau Software, Tableau Software (definition). Also Wikidata Q7673435
History
- 2026-11-02: add by m2/dev
QJDYJS3VFA QJDYJS3VFA
| URI | m2://inv/QJDYJS3VFA |
|---|---|
| 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.17717#2BLP (statement). In YXRKS451PK/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
QJE22YQJ1W QJE22YQJ1W
| URI | m2://inv/QJE22YQJ1W |
|---|---|
| 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.10452#024C (statement). In 2F4PNP1V3B/e1, proposition 3.13
History
- 2026-10-29: add by m2/v0.4.10
QJE3KEMWRN QJE3KEMWRN
| URI | m2://inv/QJE3KEMWRN |
|---|---|
| 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#CHGK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ulm factor QJE503YGCP
| URI | m2://inv/QJE503YGCP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Height (abelian group)#GRZN, Ulm factor (unknown)
History
- 2026-11-02: add by m2/dev
QJEQ5E63WC QJEQ5E63WC
| URI | m2://inv/QJEQ5E63WC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-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.39389#FQRZ (statement). In PP5RE0W4D8/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Applications QJEXEVHSEQ
| URI | m2://inv/QJEXEVHSEQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix completion#CEL2, Applications (example)
History
- 2026-11-02: add by m2/dev
QJFBBZ5CGA QJFBBZ5CGA
| URI | m2://inv/QJFBBZ5CGA |
|---|---|
| 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.02790#8VWL (statement). In NB7HZ8W2K2/e1, lemma 27
History
- 2026-10-29: add by m2/v0.4.12
QJFCNQBM25 QJFCNQBM25
| URI | m2://inv/QJFCNQBM25 |
|---|---|
| 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.38975#XT8N (statement). In D2247CRPPE/e1, lemma 20
History
- 2026-10-30: add by m2/v0.4.12
QJFKM9EK37 QJFKM9EK37
| URI | m2://inv/QJFKM9EK37 |
|---|---|
| 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.23470#PDB5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
QJG3BR06MY QJG3BR06MY
| URI | m2://inv/QJG3BR06MY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#theorem-7 (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
QJG40C7FYM QJG40C7FYM
| URI | m2://inv/QJG40C7FYM |
|---|---|
| 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 2609.40123#U9S5 (statement). In WK2YHYEDZ9/e1, corollary 1.2
History
- 2026-10-30: add by m2/v0.4.12
Assignment error, coordinate second moments, and approximation error QJG5DMMHZJ
| URI | m2://inv/QJG5DMMHZJ |
|---|---|
| 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.32652#AL39, Assignment error, coordinate second moments, and approximation error (statement). In 6KAZWJ8RFX/e1, theorem 5.4
History
- 2026-10-31: add by m2/v0.5.6
QJGGBYA402 QJGGBYA402
| URI | m2://inv/QJGGBYA402 |
|---|---|
| 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.18324#73BD (definition). In C0EG2EY0M4/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
QJGHNTCW0M QJGHNTCW0M
| URI | m2://inv/QJGHNTCW0M |
|---|---|
| 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 2310.13621#QGAH (statement). In DG0EZ1BPV5/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
QJGMGJADHK QJGMGJADHK
| URI | m2://inv/QJGMGJADHK |
|---|---|
| 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.10372#FCLC (statement). In P77W283VXT/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.10
microlocal analysis QJGMKY3XNQ
| URI | m2://inv/QJGMKY3XNQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Microlocal analysis 5B6WEQX7XK |
Mentions
- wikidata: Wikidata Q430450, microlocal analysis (topic). Also nLab microlocal analysis
- wikipedia: Wikipedia Microlocal analysis, Microlocal analysis (definition). Also Wikidata Q430450
History
- 2026-10-26: add by m2/dev
Carnot's theorem QJGRC9FN66
| URI | m2://inv/QJGRC9FN66 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#F5SR, Carnot's theorem (statement)
History
- 2026-11-02: add by m2/dev
QJGWN2DDXK QJGWN2DDXK
| URI | m2://inv/QJGWN2DDXK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#DFDN (definition). In X38P26DK6S/e1, definition 3.13
History
- 2026-10-27: add by m2/v0.4.0
Iteration-wise CA distance under uniform convexity QJH4NBW4TG
| URI | m2://inv/QJH4NBW4TG |
|---|---|
| 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.13773#7OSP, Iteration-wise CA distance under uniform convexity (statement). In E75XQY0QFM/e1, corollary 5.2
History
- 2026-10-28: add by m2/v0.4.2
QJH6J6A7ZH QJH6J6A7ZH
| URI | m2://inv/QJH6J6A7ZH |
|---|---|
| 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 2212.00617#4IDJ (statement). In K7505G10SS/e1, proposition 1.1
History
- 2026-10-27: add by m2/v0.3.5
Surrogate data QJH6WSPR2V
| URI | m2://inv/QJH6WSPR2V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7646876, Surrogate data (concept). Also MathWorld Surrogate
- wikipedia: Wikipedia Surrogate data, Surrogate data (definition). Also Wikidata Q7646876
History
- 2026-10-26: add by m2/dev
QJH93T7MM8 QJH93T7MM8
| URI | m2://inv/QJH93T7MM8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 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 2502.14306#8SZB (statement). In ZNBQD5WH1M/e1, theorem 5.19
History
- 2026-10-27: add by m2/v0.3.5
Definition of an interval QJHBT4N18W
| URI | m2://inv/QJHBT4N18W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval (mathematics)#3VGV, Definition of an interval (definition)
History
- 2026-11-02: add by m2/dev
Properties QJHBXWDK37
| URI | m2://inv/QJHBXWDK37 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular tuning#2UC1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Implementations QJHM7TNYEV
| URI | m2://inv/QJHM7TNYEV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R (programming language)#8MKK, Implementations (definition)
History
- 2026-11-02: add by m2/dev
QJHPJ0W4DA QJHPJ0W4DA
| URI | m2://inv/QJHPJ0W4DA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06747#SQJN (statement). In AB2WPR2FRR/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Monotone bounded-arity recovery QJHPPXBRM5
| URI | m2://inv/QJHPPXBRM5 |
|---|---|
| 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.04027#8QOA, Monotone bounded-arity recovery (statement). In DQB4YR2DFH/e1, theorem 7.1
History
- 2026-10-29: add by m2/v0.4.12
QJJ2B512JM QJJ2B512JM
| URI | m2://inv/QJJ2B512JM |
|---|---|
| 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.17411#3AJA (statement). In 73QW05MWQB/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
QJJ85RQKXK QJJ85RQKXK
| URI | m2://inv/QJJ85RQKXK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 1904.08413#3007 (statement). In X88HPQ0W8C/e1, lemma 3.14
History
- 2026-10-27: add by m2/v0.3.5
Random greedy matching QJJ9V6N9KS
| URI | m2://inv/QJJ9V6N9KS |
|---|---|
| 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#AKCO, Random greedy matching (statement). In X2NNNW8CX5/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.4.2
Properties QJJN6JV5M2
| URI | m2://inv/QJJN6JV5M2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombicuboctahedron#PP8K, Properties (statement)
History
- 2026-11-02: add by m2/dev
Adapted classical Krylov lower bound QJJY2YAC2P
| URI | m2://inv/QJJY2YAC2P |
|---|---|
| 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.06557#UHD7, Adapted classical Krylov lower bound (statement). In VV5CH6Y31D/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
interval QJK5BP085N
| URI | m2://inv/QJK5BP085N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/7.4/interval, interval (concept). In E59CDZA4DP, index, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
QJK8MAB403 QJK8MAB403
| URI | m2://inv/QJK8MAB403 |
|---|---|
| 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.09989#H0T0 (statement). In 4KZA07H3GE/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
Charles Epstein QJKA1D06T4
| URI | m2://inv/QJKA1D06T4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4K6V, Charles Epstein (topic)
History
- 2026-11-02: add by m2/dev
Other formulations of the conjecture QJKDV2AY9E
| URI | m2://inv/QJKDV2AY9E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collatz conjecture#X0ZO, Other formulations of the conjecture (statement)
History
- 2026-11-02: add by m2/dev
QJKQMNYEKH QJKQMNYEKH
| URI | m2://inv/QJKQMNYEKH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2511.15212#116E (statement). In W99XBH6X5N/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.4.0
Discrete probability distribution QJKVV3V044
| URI | m2://inv/QJKVV3V044 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JF0B, Discrete probability distribution (definition)
History
- 2026-11-02: add by m2/dev
brackets QJKZ2QJFFC
| URI | m2://inv/QJKZ2QJFFC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q174565, brackets (unknown). Also MathWorld Bracket, ProofWiki Symbols:Brackets
- wikipedia: Wikipedia Bracket, Bracket (definition). Also Wikidata Q174565
History
- 2026-10-26: add by m2/dev
QJM0G5N1BE QJM0G5N1BE
| URI | m2://inv/QJM0G5N1BE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#AGMS (statement)
History
- 2026-11-01: add by m2/v0.6.15
QJM0MWBY2S QJM0MWBY2S
| URI | m2://inv/QJM0MWBY2S |
|---|---|
| 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.30303#TCOO (statement). In 2QJGSMSG5W/e1, theorem 2.6
History
- 2026-10-31: add by m2/v0.5.6
Complementary sine integral QJM6N3WXGB
| URI | m2://inv/QJM6N3WXGB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric integral#NL0L, Complementary sine integral (unknown)
History
- 2026-11-02: add by m2/dev
QJMEC7AYT2 QJMEC7AYT2
| URI | m2://inv/QJMEC7AYT2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.01874#GUGQ (statement). In A4TR95VGX2/e1, proposition 14
History
- 2026-10-27: add by m2/v0.3.5
QJMED05V09 QJMED05V09
| URI | m2://inv/QJMED05V09 |
|---|---|
| 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.18270#732E (statement). In CPDMYJ0NJV/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
QJMG9V61CM QJMG9V61CM
| URI | m2://inv/QJMG9V61CM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31102#899I (statement). In 7CADATJMAA/e1, proposition B.1
History
- 2026-10-31: add by m2/v0.5.6
Principle QJMREH6J0K
| URI | m2://inv/QJMREH6J0K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-epsilon turbulence model#WMYF, Principle (statement)
History
- 2026-11-02: add by m2/dev
integrable function QJMXE0DX4Y
| URI | m2://inv/QJMXE0DX4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3153745, integrable function (definition). Also MathWorld Integrable, ProofWiki Definition:Integrable_Function
History
- 2026-10-26: add by m2/dev
Cramér–Wold theorem QJN5YTKDE8
| URI | m2://inv/QJN5YTKDE8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel measure#85ET, Cramér–Wold theorem (statement)
History
- 2026-11-02: add by m2/dev
QJN6PJNS19 QJN6PJNS19
| URI | m2://inv/QJN6PJNS19 |
|---|---|
| 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.10221#2ACO (statement). In 9Z5M655EPV/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
Corank QJN9GA47N6
| URI | m2://inv/QJN9GA47N6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Corank, Corank (definition). Also Wikidata Q18206215
History
- 2026-11-02: add by m2/dev
existential quantifier QJNAKM2NHK
| URI | m2://inv/QJNAKM2NHK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.3/existential-quantifier, existential quantifier (concept). In Y91XFCEVHQ, index, section 1.2.3
History
- 2026-11-01: add by m2/v0.6.13
Statement QJNC4C8AR9
| URI | m2://inv/QJNC4C8AR9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Young's convolution inequality#GQVZ, Statement (statement)
History
- 2026-11-02: add by m2/dev
QJNEMAFHZ5 QJNEMAFHZ5
| URI | m2://inv/QJNEMAFHZ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1907.01440#FHP9 (definition). In QDRYC6WJJ7/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
QJNFPR50R5 QJNFPR50R5
| URI | m2://inv/QJNFPR50R5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.24545#O0FA (statement)
History
- 2026-11-01: add by m2/v0.6.15
QJNQMXC48B QJNQMXC48B
| URI | m2://inv/QJNQMXC48B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-2-5-chain.xml#ex-2-5-basic-to-chain (example). In 907G4C4EJ1, example, section 2.5.4
History
- 2026-11-01: add by m2/v0.6.13
Radial basis function QJNS0WW6AC
| URI | m2://inv/QJNS0WW6AC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#0GMZ, Radial basis function (definition)
History
- 2026-11-02: add by m2/dev
Knut Erik Tranøy QJNSZ8EZ1Q
| URI | m2://inv/QJNSZ8EZ1Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knut Erik Tranøy, Knut Erik Tranøy (topic). Also Wikidata Q1807248
History
- 2026-11-02: add by m2/dev
Anthony Ralston QJNVP7STFT
| URI | m2://inv/QJNVP7STFT |
|---|---|
| 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#2CQK, Anthony Ralston (unknown)
History
- 2026-11-02: add by m2/dev
great deltoidal icositetrahedron QJNYF7BQZ5
| URI | m2://inv/QJNYF7BQZ5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5600338, great deltoidal icositetrahedron (unknown). Also MathWorld GreatDeltoidalIcositetrahedron
- wikipedia: Wikipedia Great deltoidal icositetrahedron, Great deltoidal icositetrahedron (object). Also Wikidata Q5600338
History
- 2026-10-26: add by m2/dev
prism graph QJNZ9VV20F
| URI | m2://inv/QJNZ9VV20F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25303783, prism graph (unknown). Also MathWorld PrismGraph
- wikipedia: Wikipedia Prism graph, Prism graph (definition). Also Wikidata Q25303783
History
- 2026-10-26: add by m2/dev
Perpendicular bisectors of triangle sides QJNZS0V67Q
| URI | m2://inv/QJNZS0V67Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#SG06, Perpendicular bisectors of triangle sides (definition)
History
- 2026-11-02: add by m2/dev
Lefmann QJP2DZVNQW
| URI | m2://inv/QJP2DZVNQW |
|---|---|
| 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 1806.05002#V489, Lefmann (statement). In JBAQ7DTW7B/e1, theorem 1.9
History
- 2026-10-27: add by m2/v0.3.5
Logical NOR QJP5FSKSWX
| URI | m2://inv/QJP5FSKSWX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#4KZF, Logical NOR (definition)
History
- 2026-11-02: add by m2/dev
QJP7FS6YFC QJP7FS6YFC
| URI | m2://inv/QJP7FS6YFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.21528#VQCU (statement)
History
- 2026-11-02: add by m2/v0.6.18
minute QJPFGYWSXQ
| URI | m2://inv/QJPFGYWSXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7727, minute (definition). Also ProofWiki Definition:Time/Unit/Minute
History
- 2026-10-26: add by m2/dev
open mapping theorem QJPKTY6KM4
| URI | m2://inv/QJPKTY6KM4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/open-mapping-theorem, open mapping theorem (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
QJPS07FD8Q QJPS07FD8Q
| URI | m2://inv/QJPS07FD8Q |
|---|---|
| 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.19214#VQH3 (statement). In WZPD7TNNY9/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
QJPVGS180K QJPVGS180K
| URI | m2://inv/QJPVGS180K |
|---|---|
| Kind | definition |
| 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#EV8A (definition). In WD2NCBV9F0/e1, definition 6.14
History
- 2026-10-27: add by m2/v0.3.5
QJPVQZXQB1 QJPVQZXQB1
| URI | m2://inv/QJPVQZXQB1 |
|---|---|
| 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 2011.08789#Y3Q6 (definition). In 43AGRMP7T3/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
QJPVTMGQKF QJPVTMGQKF
| URI | m2://inv/QJPVTMGQKF |
|---|---|
| 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.03488#02AX (statement). In 9GXR1WEYWT/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.12
Equality is stable, order is not QJQ0S8PZZA
| URI | m2://inv/QJQ0S8PZZA |
|---|---|
| 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.11002#KE6C, Equality is stable, order is not (statement). In P55JSAYR3T/e1, proposition
History
- 2026-10-28: add by m2/v0.4.3
QJQ3XM3K05 QJQ3XM3K05
| URI | m2://inv/QJQ3XM3K05 |
|---|---|
| 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.01267#UI1M (statement). In GWWHP6R0BZ/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
Matrix unit QJQ89CDME0
| URI | m2://inv/QJQ89CDME0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix unit, Matrix unit (definition). Also Wikidata Q6787895
History
- 2026-11-02: add by m2/dev
homotopy colimit QJQBNCQSTH
| URI | m2://inv/QJQBNCQSTH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#E3A7, homotopy colimit (definition)
History
- 2026-11-02: add by m2/dev
QJQCNR2J8V QJQCNR2J8V
| URI | m2://inv/QJQCNR2J8V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28742#W6LE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nonlinear modelling QJQEKG4DCY
| URI | m2://inv/QJQEKG4DCY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear modelling, Nonlinear modelling (definition). Also Wikidata Q17118374
History
- 2026-11-02: add by m2/dev
QJQJ60R5RB QJQJ60R5RB
| URI | m2://inv/QJQJ60R5RB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#DHFJ (example). In HX63A1PH1W/e1, example 3.46
History
- 2026-10-28: add by m2/v0.4.3
Harmonic coordinate condition QJQSDHTRSC
| URI | m2://inv/QJQSDHTRSC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic coordinate condition, Harmonic coordinate condition (definition). Also Wikidata Q5659253
History
- 2026-11-02: add by m2/dev
Jean Nicod QJQTBVYVK6
| URI | m2://inv/QJQTBVYVK6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#VPIB, Jean Nicod (topic)
History
- 2026-11-02: add by m2/dev
Modular decomposition QJQVHEDMA2
| URI | m2://inv/QJQVHEDMA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular decomposition, Modular decomposition (definition). Also Wikidata Q6889712
History
- 2026-11-02: add by m2/dev
QJQVKXV1FV QJQVKXV1FV
| URI | m2://inv/QJQVKXV1FV |
|---|---|
| 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.20656#58M6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
CR manifold QJQYYRJDH8
| URI | m2://inv/QJQYYRJDH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#OKNC, CR manifold (definition)
- wikipedia: Wikipedia List of manifolds#6K07, CR manifold (definition)
History
- 2026-11-02: add by m2/dev
David R. Morrison QJR7SWVCA1
| URI | m2://inv/QJR7SWVCA1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MDYG, David R. Morrison (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Y32I, David R. Morrison (topic)
History
- 2026-11-02: add by m2/dev
QJRCM6KN0Q QJRCM6KN0Q
| URI | m2://inv/QJRCM6KN0Q |
|---|---|
| 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.03011#IARB (statement). In VE8FB6K8EN/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
QJRHZK9QVB QJRHZK9QVB
| URI | m2://inv/QJRHZK9QVB |
|---|---|
| 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.25038#GHFX (statement)
History
- 2026-11-01: add by m2/v0.6.15
QJRJJ9CTHS QJRJJ9CTHS
| URI | m2://inv/QJRJJ9CTHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#defn-4 (definition). In N54F33XE07, defn, section 7.5.2
History
- 2026-11-01: add by m2/v0.6.13
Applications QJRSPB30WY
| URI | m2://inv/QJRSPB30WY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler–Maclaurin formula#GR4A, Applications (example)
History
- 2026-11-02: add by m2/dev
Borel's lemma QJRW52J33R
| URI | m2://inv/QJRW52J33R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel's lemma, Borel's lemma (statement). Also Wikidata Q3527022
History
- 2026-11-02: add by m2/dev
Quantified critical construction QJRX29PFNX
| URI | m2://inv/QJRX29PFNX |
|---|---|
| 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.06081#MU8Q, Quantified critical construction (statement). In 7Z3KQRFEVG/e1, theorem C.3
History
- 2026-10-29: add by m2/v0.4.10
QJRXXBP50S QJRXXBP50S
| URI | m2://inv/QJRXXBP50S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25269#P0O6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
QJS2X1SWY2 QJS2X1SWY2
| URI | m2://inv/QJS2X1SWY2 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lebesgue's universal covering problem#9O50 (problem)
History
- 2026-11-02: add by m2/dev
Arc connected QJSAWD85QR
| URI | m2://inv/QJSAWD85QR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connected space#VMJK, Arc connected (unknown)
History
- 2026-11-02: add by m2/dev
Generalization QJSCP703ZA
| URI | m2://inv/QJSCP703ZA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Series–parallel graph#FO3L, Generalization (statement)
History
- 2026-11-02: add by m2/dev
QJSSMRTA4B QJSSMRTA4B
| URI | m2://inv/QJSSMRTA4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.02983#B4B5 (statement). In HMNKENER22/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
QJSWVYFEAV QJSWVYFEAV
| URI | m2://inv/QJSWVYFEAV |
|---|---|
| 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.01228#M1BE (statement). In HZAJ20XW7F/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
QJT0T1NTK8 QJT0T1NTK8
| URI | m2://inv/QJT0T1NTK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 51-XX, 52-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 2503.00560#9ICM (statement). In KH1H3TSWPS/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.6
QJT4H0BYDN QJT4H0BYDN
| URI | m2://inv/QJT4H0BYDN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-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 2601.13782#5KKW (definition). In 12RSHWCNMX/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.5
QJTPG1HPV2 QJTPG1HPV2
| URI | m2://inv/QJTPG1HPV2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#9H0N (statement). In 1463YCCRP5/e1, theorem 7.11
History
- 2026-10-27: add by m2/v0.4.0
QJTTDZZVHT QJTTDZZVHT
| URI | m2://inv/QJTTDZZVHT |
|---|---|
| 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 2509.09379#Y4B5 (statement). In DJXA86KDY8/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
QJTV3C7XFM QJTV3C7XFM
| URI | m2://inv/QJTV3C7XFM |
|---|---|
| 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.39293#UQC9 (statement). In S26QVW5613/e1, corollary 5.4.9
History
- 2026-10-30: add by m2/v0.4.12
Hans L. Bodlaender QJTW700BES
| URI | m2://inv/QJTW700BES |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#T1RZ, Hans L. Bodlaender (unknown)
History
- 2026-11-02: add by m2/dev
QJTW72BQDQ QJTW72BQDQ
| URI | m2://inv/QJTW72BQDQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26745#OBZ2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
class formula QJTWA6MQKD
| URI | m2://inv/QJTWA6MQKD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Group theory > class formula, class formula (unknown). Also Mathlib MulAction.selfEquivSigmaOrbitsQuotientStabilizer
- mathlib_undergrad: mathlib_undergrad Group Theory > Basic definitions > class formula, class formula (unknown). Also Mathlib MulAction.selfEquivSigmaOrbitsQuotientStabilizer
History
- 2026-10-26: add by m2/dev
QJTZ8APG68 QJTZ8APG68
| URI | m2://inv/QJTZ8APG68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18246#RBQJ (statement). In SN6F0MPPVF/e1, lemma 8.3
History
- 2026-10-28: add by m2/v0.4.2
Svetlana Gannushkina QJVFJ67NH8
| URI | m2://inv/QJVFJ67NH8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Svetlana Gannushkina, Svetlana Gannushkina (topic). Also Wikidata Q436213
History
- 2026-11-02: add by m2/dev
Lemma QJW2JBNQHF
| URI | m2://inv/QJW2JBNQHF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy's functional equation#8RMM, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Hilbert manifold QJW4EZK3E1
| URI | m2://inv/QJW4EZK3E1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hilbert manifold R8DMMW0E9M |
Mentions
- wikidata: Wikidata Q3554824, Hilbert manifold (unknown). Also nLab Hilbert manifold
- wikipedia: Wikipedia Hilbert manifold, Hilbert manifold (definition). Also Wikidata Q3554824
History
- 2026-10-26: add by m2/dev
uniqueness, principle, propositional, for functions on $\nat$ QJWCGBBBBQ
| URI | m2://inv/QJWCGBBBBQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.1/uniqueness-principle-propositional-for-functions-on-nat, uniqueness, principle, propositional, for functions on $\nat$ (concept). In N54F33XE07, index, section 8.1
History
- 2026-11-01: add by m2/v0.6.13
QJWCSHWP7S QJWCSHWP7S
| URI | m2://inv/QJWCSHWP7S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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 1407.0548#MKIX (statement). In 3EAQ15QTJC/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Wilhelm Specht QJWGZKD34Z
| URI | m2://inv/QJWGZKD34Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#4EU2, Wilhelm Specht (topic)
History
- 2026-11-02: add by m2/dev
QJWH2HFSCH QJWH2HFSCH
| URI | m2://inv/QJWH2HFSCH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13715#9YC9 (statement). In FAVGZDVJS9/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Pankaj K. Agarwal QJWKHS40P2
| URI | m2://inv/QJWKHS40P2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1MIT, Pankaj K. Agarwal (topic)
History
- 2026-11-02: add by m2/dev
Invariance of the rearrangement iteration QJWMJCAA11
| URI | m2://inv/QJWMJCAA11 |
|---|---|
| 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.05313#5145, Invariance of the rearrangement iteration (statement). In 8XPN1A2GR0/e1, lemma 5.12
History
- 2026-10-29: add by m2/v0.4.10
Semantic completeness QJWX8NE9V8
| URI | m2://inv/QJWX8NE9V8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completeness (logic)#QPNK, Semantic completeness (unknown)
History
- 2026-11-02: add by m2/dev
Lars Gårding QJWZ7NBR2J
| URI | m2://inv/QJWZ7NBR2J |
|---|---|
| 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#OCV3, Lars Gårding (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XW6R, Lars Gårding (topic)
History
- 2026-11-02: add by m2/dev
John von Neumann QJX4M4TSBF
| URI | m2://inv/QJX4M4TSBF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#QNNI, John von Neumann (topic)
History
- 2026-11-02: add by m2/dev
QJX516QFQA QJX516QFQA
| URI | m2://inv/QJX516QFQA |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#LI4L (problem). In ATSYBWEMMP/e1, problem 4
History
- 2026-10-29: add by m2/v0.4.10
Factor-eight estimate for arbitrary feasible splits QJX74SKBK3
| URI | m2://inv/QJX74SKBK3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#EFCR, Factor-eight estimate for arbitrary feasible splits (statement)
History
- 2026-11-01: add by m2/v0.6.15
QJX7WFKQQ8 QJX7WFKQQ8
| URI | m2://inv/QJX7WFKQQ8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#IUBV (definition). In 5KR3MHYVV6/e1, definition 4.0
History
- 2026-10-28: add by m2/v0.4.2
QJXBBMB9CR QJXBBMB9CR
| URI | m2://inv/QJXBBMB9CR |
|---|---|
| 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 1011.5443#4QSF (statement). In VQ0K2GV62A/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.3.5
QJXF4Z5FGM QJXF4Z5FGM
| URI | m2://inv/QJXF4Z5FGM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.09294#V53T (definition). In 2WZQC0TKVK/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Exact stationary second-moment identity QJXJG2WGMX
| URI | m2://inv/QJXJG2WGMX |
|---|---|
| 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 2607.28185#KCOY, Exact stationary second-moment identity (statement). In EG1XXNSTXX/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
Confirmation bias QJXMXV5444
| URI | m2://inv/QJXMXV5444 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#81WJ, Confirmation bias (definition)
History
- 2026-11-02: add by m2/dev
QJXNFGJVQJ QJXNFGJVQJ
| URI | m2://inv/QJXNFGJVQJ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 30-XX, 32-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.37606#0O6J (problem). In WNFW6GY38C/e1, problem 12.2
History
- 2026-10-30: add by m2/v0.4.12
natural language QJXRTG4FSX
| URI | m2://inv/QJXRTG4FSX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#9X86, natural language (definition)
History
- 2026-11-02: add by m2/dev
Cauchy--Vandermonde factorization of the mixed-type moment determinant QJXT9ZGZV2
| URI | m2://inv/QJXT9ZGZV2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22027#BLVC, Cauchy--Vandermonde factorization of the mixed-type moment determinant (statement)
History
- 2026-11-02: add by m2/v0.6.17
QJXWMBYKPQ QJXWMBYKPQ
| URI | m2://inv/QJXWMBYKPQ |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#V6FV (unknown). In QNBFHFZ3H0/e1, unknown 57
History
- 2026-10-28: add by m2/v0.4.2
Mixed-polarity domination QJY9XJVSZX
| URI | m2://inv/QJY9XJVSZX |
|---|---|
| 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.04027#AWTG, Mixed-polarity domination (statement). In DQB4YR2DFH/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
Milnor invariants QJYD4WY2M9
| URI | m2://inv/QJYD4WY2M9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#F6PF, Milnor invariants (definition)
History
- 2026-11-02: add by m2/dev
QJYH80GFN6 QJYH80GFN6
| URI | m2://inv/QJYH80GFN6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06541#E5BZ (statement). In R604B78EVK/e1, theorem 3.11
History
- 2026-10-29: add by m2/v0.4.10
Idola tribus QJYMQYX030
| URI | m2://inv/QJYMQYX030 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idola tribus, Idola tribus (definition). Also Wikidata Q5989400
History
- 2026-11-02: add by m2/dev
QJYN3C4KC8 QJYN3C4KC8
| URI | m2://inv/QJYN3C4KC8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#MO8J (definition). In DDNP38CHQJ/e1, definition 5.11
History
- 2026-10-27: add by m2/v0.3.5
QJYP91W74H QJYP91W74H
| URI | m2://inv/QJYP91W74H |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10077#C47G (problem). In YA7H9PY3R1/e1, problem 5.3
History
- 2026-10-29: add by m2/v0.4.10
QJYQGCZX3W QJYQGCZX3W
| URI | m2://inv/QJYQGCZX3W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21403#4969 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Dianne Cook QJYQXXBJAQ
| URI | m2://inv/QJYQXXBJAQ |
|---|---|
| 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#YK88, Dianne Cook (topic)
History
- 2026-11-02: add by m2/dev
QJYVSY8MR1 QJYVSY8MR1
| URI | m2://inv/QJYVSY8MR1 |
|---|---|
| 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.12736#46NV (statement). In 5350Q52F6P/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.2
QJZ35BM499 QJZ35BM499
| URI | m2://inv/QJZ35BM499 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 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.31781#28K2 (example). In WTTVKKNPE6/e1, example 1
History
- 2026-10-31: add by m2/v0.5.6
Igusa zeta function QJZ9AS744G
| URI | m2://inv/QJZ9AS744G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of zeta functions#NJ87, Igusa zeta function (definition)
History
- 2026-11-02: add by m2/dev
QJZ9BR5YBB QJZ9BR5YBB
| URI | m2://inv/QJZ9BR5YBB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 92.6
History
- 2026-11-01: add by m2/v0.6.13
QJZCDDS5ES QJZCDDS5ES
| URI | m2://inv/QJZCDDS5ES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37967#UNGE (statement). In BR2E3CXQE0/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
internal unfurling QJZGG6DVA0
| URI | m2://inv/QJZGG6DVA0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 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 2609.37520#SLYX, internal unfurling (definition). In BDN507RN7J/e1, definition 3.1.10
History
- 2026-10-30: add by m2/v0.4.12
Karl Wilhelm Feuerbach QJZHJBCAV6
| URI | m2://inv/QJZHJBCAV6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Wilhelm Feuerbach, Karl Wilhelm Feuerbach (topic). Also Wikidata Q70884
History
- 2026-11-02: add by m2/dev
QJZKB48B7A QJZKB48B7A
| URI | m2://inv/QJZKB48B7A |
|---|---|
| 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#Y382 (statement). In G2PA4KAGRP/e1, theorem 2.24
History
- 2026-10-27: add by m2/v0.3.6
Nonstandard integer QJZMJ6W2G5
| URI | m2://inv/QJZMJ6W2G5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonstandard integer, Nonstandard integer (definition). Also Wikidata Q96478258
History
- 2026-11-02: add by m2/dev
QJZMS79FCS QJZMS79FCS
| URI | m2://inv/QJZMS79FCS |
|---|---|
| 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.08935#CWUL (definition). In G02N9D40B9/e1, definition 3.2.5
History
- 2026-10-29: add by m2/v0.4.10
QJZN2QB1FV QJZN2QB1FV
| URI | m2://inv/QJZN2QB1FV |
|---|---|
| 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.13792#9WAA (statement). In ZH0PFTZ12Y/e1, theorem 4.15
History
- 2026-10-28: add by m2/v0.4.2
Area of a rhombus QJZP2Z06JW
| URI | m2://inv/QJZP2Z06JW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombus#C9H3, Area of a rhombus (unknown)
History
- 2026-11-02: add by m2/dev
Sara Shakulova QJZQCFQ8M2
| URI | m2://inv/QJZQCFQ8M2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#TIK9, Sara Shakulova (topic)
History
- 2026-11-02: add by m2/dev
QJZX4DV6XP QJZX4DV6XP
| URI | m2://inv/QJZX4DV6XP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14548#RG0C (definition). In TTNKABAYVB/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2