Inventory rows RQ
The cards of the rows of the inventory whose ids start with RQ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
RQ0209BE9Q RQ0209BE9Q
| URI | m2://inv/RQ0209BE9Q |
|---|---|
| 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.14450#FJDI (statement). In ZHTGQT07PE/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Helena C. Kraemer RQ033AWVCS
| URI | m2://inv/RQ033AWVCS |
|---|---|
| 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#MEJY, Helena C. Kraemer (topic)
History
- 2026-11-02: add by m2/dev
Emanuel Sperner RQ056NE4ZK
| URI | m2://inv/RQ056NE4ZK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#K5WB, Emanuel Sperner (topic)
- wikipedia: Wikipedia List of German mathematicians#5WD3, Emanuel Sperner (topic)
History
- 2026-11-02: add by m2/dev
RQ0AJ2V4BP RQ0AJ2V4BP
| URI | m2://inv/RQ0AJ2V4BP |
|---|---|
| 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.31327#YCK5 (definition). In F605BQ3AYX/e1, definition 3.2
History
- 2026-10-31: add by m2/v0.5.6
simplicity of eigenvalues in an interval RQ0E4JVZ8A
| URI | m2://inv/RQ0E4JVZ8A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.24892#9MPS, simplicity of eigenvalues in an interval (statement)
History
- 2026-11-01: add by m2/v0.6.15
Method of mean weighted residuals RQ0PB6VAY8
| URI | m2://inv/RQ0PB6VAY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of mean weighted residuals, Method of mean weighted residuals (definition). Also Wikidata Q6823718
History
- 2026-11-02: add by m2/dev
Properties RQ0THQ07PG
| URI | m2://inv/RQ0THQ07PG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basic feasible solution#23I2, Properties (statement)
History
- 2026-11-02: add by m2/dev
Countably complete ultrafilter RQ0VG94J4H
| URI | m2://inv/RQ0VG94J4H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultrafilter on a set#EBOD, Countably complete ultrafilter (unknown)
History
- 2026-11-02: add by m2/dev
UBU grid regularization RQ0Z6XZ2JA
| URI | m2://inv/RQ0Z6XZ2JA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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 2609.28611#09PB, UBU grid regularization (statement)
History
- 2026-11-01: add by m2/v0.6.15
RQ11H6YNZV RQ11H6YNZV
| URI | m2://inv/RQ11H6YNZV |
|---|---|
| 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.10086#J4AD (statement). In NP9X9CAK19/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Periodic Jacobian pairing RQ179VP80D
| URI | m2://inv/RQ179VP80D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05312#U0TS, Periodic Jacobian pairing (statement). In 1CMMK399WQ/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
NAFEMS RQ182ATQQ5
| URI | m2://inv/RQ182ATQQ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#EA7T, NAFEMS (unknown)
History
- 2026-11-02: add by m2/dev
Closure for a licensed parameter choice RQ1RPNWG0K
| URI | m2://inv/RQ1RPNWG0K |
|---|---|
| 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.15291#MKVV, Closure for a licensed parameter choice (statement). In YVS8268AG8/e1, lemma 8.1
History
- 2026-10-28: add by m2/v0.4.2
RQ1WZ4Q8HX RQ1WZ4Q8HX
| URI | m2://inv/RQ1WZ4Q8HX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31090#Z03K (statement). In SMTJDX0Q6R/e1, theorem 5.1
History
- 2026-10-31: add by m2/v0.5.6
Statement of the theorem RQ22N90T8M
| URI | m2://inv/RQ22N90T8M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vitali–Carathéodory theorem#0VYO, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
RQ2GJZVQFM RQ2GJZVQFM
| URI | m2://inv/RQ2GJZVQFM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16605#F4UP (statement). In KZ175036B5/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
RQ2J9SK6K3 RQ2J9SK6K3
| URI | m2://inv/RQ2J9SK6K3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01717#4TFM (statement). In KSK8SVD27S/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Dini criterion RQ2K75BZW0
| URI | m2://inv/RQ2K75BZW0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dini criterion, Dini criterion (statement). Also Wikidata Q5278324
History
- 2026-11-02: add by m2/dev
Representations RQ2YPEPV1H
| URI | m2://inv/RQ2YPEPV1H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point reflection#0JYE, Representations (definition)
History
- 2026-11-02: add by m2/dev
Fourier's theorem RQ342CJRZ2
| URI | m2://inv/RQ342CJRZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph Fourier#MM26, Fourier's theorem (definition)
History
- 2026-11-02: add by m2/dev
George Berkeley RQ3BFYVFZ6
| URI | m2://inv/RQ3BFYVFZ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q82049, George Berkeley (unknown). Also ProofWiki Mathematician:George_Berkeley
History
- 2026-10-26: add by m2/dev
Open coloring axiom RQ3EGXCJD2
| URI | m2://inv/RQ3EGXCJD2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#PKGZ, Open coloring axiom (statement)
History
- 2026-11-02: add by m2/dev
Palash Sarkar RQ3TJN40WX
| URI | m2://inv/RQ3TJN40WX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Palash Sarkar, Palash Sarkar (topic). Also Wikidata Q7126753
History
- 2026-11-02: add by m2/dev
Galen RQ3VP7FQYH
| URI | m2://inv/RQ3VP7FQYH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galen, Galen (topic). Also Wikidata Q8778
History
- 2026-11-02: add by m2/dev
RQ3YY04N5G RQ3YY04N5G
| URI | m2://inv/RQ3YY04N5G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13850#0KD0 (statement). In KJY735KSMF/e1, theorem 7.5
History
- 2026-10-28: add by m2/v0.4.2
RQ41XE3M8W RQ41XE3M8W
| URI | m2://inv/RQ41XE3M8W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1004.4564#0R1I (statement). In BZ54C9SKYS/e1, lemma 6.22
History
- 2026-10-27: add by m2/v0.3.5
RQ42Q1DN9X RQ42Q1DN9X
| URI | m2://inv/RQ42Q1DN9X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1308.2487#15TJ (statement). In 322XSWF4EA/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
Properties RQ438P89RX
| URI | m2://inv/RQ438P89RX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher's noncentral hypergeometric distribution#C2T0, Properties (statement)
History
- 2026-11-02: add by m2/dev
telegrapher's equations RQ4690K9BJ
| URI | m2://inv/RQ4690K9BJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Telegrapher's equations 1HR9NZM8B2 |
Mentions
- wikidata: Wikidata Q1156880, telegrapher's equations (unknown). Also MathWorld TelegraphEquation
- wikipedia: Wikipedia Telegrapher's equations, Telegrapher's equations (definition). Also Wikidata Q1156880
History
- 2026-10-26: add by m2/dev
RQ48GKTE1F RQ48GKTE1F
| URI | m2://inv/RQ48GKTE1F |
|---|---|
| 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.00775#YWW8 (statement). In WVHA7H05QC/e1, theorem 2.8
History
- 2026-10-29: add by m2/v0.4.12
Definition RQ4F3241EM
| URI | m2://inv/RQ4F3241EM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Repunit#I1QY, Definition (definition)
History
- 2026-11-02: add by m2/dev
RQ4RX30F7X RQ4RX30F7X
| URI | m2://inv/RQ4RX30F7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#79CT (statement). In 13GSWBXPCM/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.3.5
RQ4XPYT7FE RQ4XPYT7FE
| URI | m2://inv/RQ4XPYT7FE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/natural-deduction/rules-proofs.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 58.2
History
- 2026-11-01: add by m2/v0.6.13
Seidel triangle RQ56JFVA3D
| URI | m2://inv/RQ56JFVA3D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli number#BBSM, Seidel triangle (unknown)
History
- 2026-11-02: add by m2/dev
RQ5D1X562E RQ5D1X562E
| URI | m2://inv/RQ5D1X562E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00115#ZRSZ (statement). In JK8PYKCZRA/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
RQ5GCFJDZ6 RQ5GCFJDZ6
| URI | m2://inv/RQ5GCFJDZ6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#S4II (definition). In 9DQKY7KGE8/e1, definition 3.7
History
- 2026-10-27: add by m2/v0.3.5
Joseph Brain RQ5PRN5AD4
| URI | m2://inv/RQ5PRN5AD4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Brain (academic), Joseph Brain (topic). Also Wikidata Q30122563
History
- 2026-11-02: add by m2/dev
RQ5V107WJ2 RQ5V107WJ2
| URI | m2://inv/RQ5V107WJ2 |
|---|---|
| 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#QOW1 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Angelina Cabras RQ5XHCTJS8
| URI | m2://inv/RQ5XHCTJS8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angelina Cabras, Angelina Cabras (topic). Also Wikidata Q3616832
History
- 2026-11-02: add by m2/dev
RQ5ZT45MA4 RQ5ZT45MA4
| URI | m2://inv/RQ5ZT45MA4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31907#9UDI (statement). In 6B2PCEGCYZ/e1, theorem 5.6
History
- 2026-10-31: add by m2/v0.5.6
Ackermann set theory RQ608R0WJ3
| URI | m2://inv/RQ608R0WJ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of alternative set theories#E24I, Ackermann set theory (definition)
History
- 2026-11-02: add by m2/dev
Commutative global localization by $b_1$ RQ65E4R4TX
| URI | m2://inv/RQ65E4R4TX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#H5NB, Commutative global localization by $b_1$ (statement). In TB1294GY5X/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.4.2
Definition (single crossing differences) RQ6DMPY4W6
| URI | m2://inv/RQ6DMPY4W6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone comparative statics#YGKL, Definition (single crossing differences) (definition)
History
- 2026-11-02: add by m2/dev
Raffaele Giacomelli RQ6EA0JM1F
| URI | m2://inv/RQ6EA0JM1F |
|---|---|
| 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#B0LE, Raffaele Giacomelli (unknown)
History
- 2026-11-02: add by m2/dev
RQ6NAX1ZE9 RQ6NAX1ZE9
| URI | m2://inv/RQ6NAX1ZE9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#LIDL (statement). In BVAWVRS3R9/e1, proposition 2.15
History
- 2026-10-28: add by m2/v0.4.2
Sigekatu Kuroda RQ6QNTE7J8
| URI | m2://inv/RQ6QNTE7J8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sigekatu Kuroda, Sigekatu Kuroda (topic). Also Wikidata Q15453789
History
- 2026-11-02: add by m2/dev
Hartogs's theorem RQ6V00ZKY2
| URI | m2://inv/RQ6V00ZKY2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ZDIG, Hartogs's theorem (statement)
History
- 2026-11-02: add by m2/dev
RQ6XACMQHC RQ6XACMQHC
| URI | m2://inv/RQ6XACMQHC |
|---|---|
| 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 2510.09873#JLUB (statement). In KNB3ZCNC9Q/e1, theorem 8.2
History
- 2026-10-27: add by m2/v0.3.5
RQ7401WB6N RQ7401WB6N
| URI | m2://inv/RQ7401WB6N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 14.6
History
- 2026-11-01: add by m2/v0.6.13
RQ74E9PQ5K RQ74E9PQ5K
| URI | m2://inv/RQ74E9PQ5K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12330#LV2Z (statement). In XHSKEPT3VD/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
RQ74XJXJ1A RQ74XJXJ1A
| URI | m2://inv/RQ74XJXJ1A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#prop-4 (statement). In E59CDZA4DP, prop, section 2.2.3
History
- 2026-11-01: add by m2/v0.6.13
RQ7DZHRXPJ RQ7DZHRXPJ
| URI | m2://inv/RQ7DZHRXPJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31523#TT48 (statement). In 2BET1RE1F6/e1, proposition 4.2
History
- 2026-10-31: add by m2/v0.5.6
Examples RQ7M7SXYQ7
| URI | m2://inv/RQ7M7SXYQ7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore–Penrose inverse#AEDD, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties RQ7VNKATMT
| URI | m2://inv/RQ7VNKATMT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexicographic order topology on the unit square#S9MO, Properties (statement)
History
- 2026-11-02: add by m2/dev
RQ7WRBG6TP RQ7WRBG6TP
| URI | m2://inv/RQ7WRBG6TP |
|---|---|
| Kind | example |
| 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 2103.08272#9LR2 (example). In H72E12TYHA/e1, example 4.14
History
- 2026-10-27: add by m2/v0.4.0
Wave interference RQ7Z9JHGTZ
| URI | m2://inv/RQ7Z9JHGTZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wave interference, Wave interference (definition). Also Wikidata Q136980
History
- 2026-11-02: add by m2/dev
constant function RQ81RT02W1
| URI | m2://inv/RQ81RT02W1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q746264, constant function (unknown). Also MathWorld ConstantFunction, MathWorld ConstantMap
- wikipedia: Wikipedia Constant function, Constant function (definition). Also Wikidata Q746264
History
- 2026-10-26: add by m2/dev
Kuznetsov trace formula RQ8381R3RF
| URI | m2://inv/RQ8381R3RF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kloosterman sum#GC1Y, Kuznetsov trace formula (statement)
History
- 2026-11-02: add by m2/dev
Generated regressor RQ89PCV4H8
| URI | m2://inv/RQ89PCV4H8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generated regressor, Generated regressor (definition). Also Wikidata Q48996125
History
- 2026-11-02: add by m2/dev
Jerzy Weyman RQ8AYED0YW
| URI | m2://inv/RQ8AYED0YW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jerzy Weyman, Jerzy Weyman (topic). Also Wikidata Q102109633
History
- 2026-11-02: add by m2/dev
Sub-Weibull deviation under generalized-exponential $\alpha$-mixing RQ8EGNZ2X8
| URI | m2://inv/RQ8EGNZ2X8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36594#CNTL, Sub-Weibull deviation under generalized-exponential $\alpha$-mixing (statement). In 8JDQ9FWFRK/e1, proposition E.1
History
- 2026-10-30: add by m2/v0.4.12
Ancient Greek geometry RQ8P4DS6E8
| URI | m2://inv/RQ8P4DS6E8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of geometry#6BMZ, Ancient Greek geometry (unknown)
History
- 2026-11-02: add by m2/dev
RQ8Q85W8EZ RQ8Q85W8EZ
| URI | m2://inv/RQ8Q85W8EZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-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.27420#WPGE (example)
History
- 2026-11-01: add by m2/v0.6.15
Bézout's lemma RQ8VJ8RBKX
| URI | m2://inv/RQ8VJ8RBKX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#Z2GU, Bézout's lemma (statement)
History
- 2026-11-02: add by m2/dev
RQ8XATD0H0 RQ8XATD0H0
| URI | m2://inv/RQ8XATD0H0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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.38030#DSL8 (statement). In XYYEJN00D8/e1, lemma A.3
History
- 2026-10-30: add by m2/v0.4.12
RQ95B77T1T RQ95B77T1T
| URI | m2://inv/RQ95B77T1T |
|---|---|
| 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 2610.16583#BM00 (definition). In 4RPXT0YCS5/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.2
RQ95W68R8A RQ95W68R8A
| URI | m2://inv/RQ95W68R8A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#definition-6 (definition). In RZP28ERRZV, definition, section 6.4
History
- 2026-11-01: add by m2/v0.6.13
Joel Cohen RQ96ZQ40TD
| URI | m2://inv/RQ96ZQ40TD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#MPGV, Joel Cohen (unknown)
History
- 2026-11-02: add by m2/dev
Frank Hoppensteadt RQ98ZMXJHV
| URI | m2://inv/RQ98ZMXJHV |
|---|---|
| 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#9XWF, Frank Hoppensteadt (unknown)
History
- 2026-11-02: add by m2/dev
Equidistribution route to nonvanishing RQ9DM9WTTZ
| URI | m2://inv/RQ9DM9WTTZ |
|---|---|
| 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#LKIY, Equidistribution route to nonvanishing (statement)
History
- 2026-11-01: add by m2/v0.6.15
RQ9FJKPK6K RQ9FJKPK6K
| URI | m2://inv/RQ9FJKPK6K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#IKJL (statement). In RK0ZMDJ23T/e1, lemma 4.1.11
History
- 2026-10-31: add by m2/v0.5.6
Heat characterisation of $\DotF^s_{p,q}$ RQ9FZHEXCP
| URI | m2://inv/RQ9FZHEXCP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#1QPZ, Heat characterisation of $\DotF^s_{p,q}$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
RQ9HHGAZ47 RQ9HHGAZ47
| URI | m2://inv/RQ9HHGAZ47 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/basic-representable.tex#lem:q-proves-mult (statement). In PKGMM3P5QY, lem, section 29.3
History
- 2026-11-01: add by m2/v0.6.13
RQ9NGXKN95 RQ9NGXKN95
| URI | m2://inv/RQ9NGXKN95 |
|---|---|
| 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 2409.20170#5RRS (statement). In QXJP79APHN/e1, theorem 5.10
History
- 2026-10-27: add by m2/v0.3.5
RQ9THSRDVV RQ9THSRDVV
| URI | m2://inv/RQ9THSRDVV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#problem-11 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Jennifer Van Mullekom RQA2ARYHYB
| URI | m2://inv/RQA2ARYHYB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jennifer Van Mullekom, Jennifer Van Mullekom (topic). Also Wikidata Q96579219
History
- 2026-11-02: add by m2/dev
RQA7NTK7DG RQA7NTK7DG
| URI | m2://inv/RQA7NTK7DG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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.25801#RBP7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
RQA8XX6FXE RQA8XX6FXE
| URI | m2://inv/RQA8XX6FXE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.11101#RQEN (definition). In YBBKTP4E70/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Definitions RQAAR51MQZ
| URI | m2://inv/RQAAR51MQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributed constraint optimization#3HII, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Sieve of Atkin RQAEZEJYKZ
| URI | m2://inv/RQAEZEJYKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#ZR31, Sieve of Atkin (definition)
History
- 2026-11-02: add by m2/dev
RQAJJZKRHC RQAJJZKRHC
| URI | m2://inv/RQAJJZKRHC |
|---|---|
| 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.11047#HKU7 (statement). In MNQAZ70XTH/e1, lemma 14.4
History
- 2026-10-28: add by m2/v0.4.3
RQAKFXB30X RQAKFXB30X
| URI | m2://inv/RQAKFXB30X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20421#SDYZ (statement). In Q4R7J8JE3F/e1, theorem B
History
- 2026-10-27: add by m2/v0.4.2
Meng, Xiao-Li RQAQQ49RCR
| URI | m2://inv/RQAQQ49RCR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#0J0Y, Meng, Xiao-Li (topic)
History
- 2026-11-02: add by m2/dev
Applications RQB7ZN890E
| URI | m2://inv/RQB7ZN890E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice Boltzmann methods#2MH1, Applications (example)
History
- 2026-11-02: add by m2/dev
Modular representation theory RQB9J8MGEQ
| URI | m2://inv/RQB9J8MGEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#5XX0, Modular representation theory (definition)
History
- 2026-11-02: add by m2/dev
Urmila Mahadev RQB9TF8J75
| URI | m2://inv/RQB9TF8J75 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Urmila Mahadev, Urmila Mahadev (topic). Also Wikidata Q99485343
History
- 2026-11-02: add by m2/dev
RQBFQVXQS4 RQBFQVXQS4
| URI | m2://inv/RQBFQVXQS4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#0WAP (definition). In 3KTZ6Z615H/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
RQBKXH4FM3 RQBKXH4FM3
| URI | m2://inv/RQBKXH4FM3 |
|---|---|
| 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.28993#GG8F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Regular variation of the multivariate $t$ vector RQBNXRZSD8
| URI | m2://inv/RQBNXRZSD8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29658#KM2V, Regular variation of the multivariate $t$ vector (statement)
History
- 2026-11-01: add by m2/v0.6.15
RQBTBP7W90 RQBTBP7W90
| URI | m2://inv/RQBTBP7W90 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-zariski.tex#example-4 (example). In RZP28ERRZV, example, section 28.3
History
- 2026-11-01: add by m2/v0.6.13
SHA-1 RQBZ54KR78
| URI | m2://inv/RQBZ54KR78 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#E57F, SHA-1 (definition)
History
- 2026-11-02: add by m2/dev
Examples RQC7NV1XS1
| URI | m2://inv/RQC7NV1XS1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic of graphs#009F, Examples (example)
History
- 2026-11-02: add by m2/dev
Pontryagin action on the intersection ring RQCJGEX0PQ
| URI | m2://inv/RQCJGEX0PQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#7KHU, Pontryagin action on the intersection ring (statement). In KR7WXN4EWR/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
Felix Klein RQCRYRH3EH
| URI | m2://inv/RQCRYRH3EH |
|---|---|
| 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#6N2S, Felix Klein (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RMUJ, Felix Klein (topic)
- wikipedia: Wikipedia List of German mathematicians#QZ2U, Felix Klein (topic)
History
- 2026-11-02: add by m2/dev
Simple-homotopy equivalence RQCT6EXZ82
| URI | m2://inv/RQCT6EXZ82 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple-homotopy equivalence, Simple-homotopy equivalence (definition). Also Wikidata Q7520625
History
- 2026-11-02: add by m2/dev
metal RQCZKFHMQ5
| URI | m2://inv/RQCZKFHMQ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11426, metal (definition). Also nLab metal, ProofWiki Definition:Metal
History
- 2026-10-26: add by m2/dev
Wlodek Rabinowicz RQD7SKTEP1
| URI | m2://inv/RQD7SKTEP1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wlodek Rabinowicz, Wlodek Rabinowicz (topic). Also Wikidata Q6060402
History
- 2026-11-02: add by m2/dev
RQDTNEA12J RQDTNEA12J
| URI | m2://inv/RQDTNEA12J |
|---|---|
| Kind | example |
| 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.24078#2SMH (example)
History
- 2026-11-02: add by m2/v0.6.17
RQE558069D RQE558069D
| URI | m2://inv/RQE558069D |
|---|---|
| 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.25314#CP4Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem RQEA9P5XG2
| URI | m2://inv/RQEA9P5XG2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous function#8IO1, Theorem (statement)
- wikipedia: Wikipedia Heine theorem#CZVM, Theorem (statement)
History
- 2026-11-02: add by m2/dev
deltahedron RQEA9V1JFK
| URI | m2://inv/RQEA9V1JFK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1140112, deltahedron (unknown). Also MathWorld Deltahedron
- wikipedia: Wikipedia Deltahedron, Deltahedron (object). Also Wikidata Q1140112
History
- 2026-10-26: add by m2/dev
RQEAN3NGDF RQEAN3NGDF
| URI | m2://inv/RQEAN3NGDF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07890#233Z (statement). In 6F3GSDT2V1/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.10
Proposition RQEF8QQ4VW
| URI | m2://inv/RQEF8QQ4VW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl's theorem on complete reducibility#99MP, Proposition (statement)
History
- 2026-11-02: add by m2/dev
RQEKJHQJVV RQEKJHQJVV
| URI | m2://inv/RQEKJHQJVV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.10080#GQZX (statement). In KM2FWKP93A/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.4.0
Oper RQEKZEREV6
| URI | m2://inv/RQEKZEREV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oper (mathematics), Oper (definition). Also Wikidata Q115517529
History
- 2026-11-02: add by m2/dev
moment map RQEWEYE406
| URI | m2://inv/RQEWEYE406 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 53D20 |
| Sources | 2 |
| Outcome | open |
| Node | Moment map ZARM34FZ6Z |
Mentions
- wikidata: Wikidata Q6897118, moment map (topic). Also nLab moment map
- wikipedia: Wikipedia Momentum map, Momentum map (definition). Also Wikidata Q6897118
History
- 2026-10-26: add by m2/dev
The diagonal words RQEZG4QSRZ
| URI | m2://inv/RQEZG4QSRZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#WH71, The diagonal words (statement). In 11JNM66Z09/e1, corollary 19.7
History
- 2026-10-28: add by m2/v0.4.2
Elementary properties RQF1YKEQ3G
| URI | m2://inv/RQF1YKEQ3G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planar Riemann surface#I3S4, Elementary properties (statement)
History
- 2026-11-02: add by m2/dev
factorization, stability under pullback RQF41Q4WKJ
| URI | m2://inv/RQF41Q4WKJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.6/factorization-stability-under-pullback, factorization, stability under pullback (concept). In N54F33XE07, index, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
Villani, Giovanni RQF5BCR87C
| URI | m2://inv/RQF5BCR87C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#Q8LI, Villani, Giovanni (unknown)
History
- 2026-11-02: add by m2/dev
RQF6E6FX5D RQF6E6FX5D
| URI | m2://inv/RQF6E6FX5D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10365#U87X (definition). In PRVQPSBVHK/e1, definition 11
History
- 2026-10-29: add by m2/v0.4.10
Random variable RQFAAYKCN0
| URI | m2://inv/RQFAAYKCN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SKJM, Random variable (definition)
History
- 2026-11-02: add by m2/dev
RQFD37GGBS RQFD37GGBS
| URI | m2://inv/RQFD37GGBS |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#QYOV (unknown). In QNBFHFZ3H0/e1, unknown
History
- 2026-10-28: add by m2/v0.4.2
RQFDBH3BZP RQFDBH3BZP
| URI | m2://inv/RQFDBH3BZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 13-XX, 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26127#HULP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Endgame RQFKGPYR7D
| URI | m2://inv/RQFKGPYR7D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#NBHJ, Endgame (statement). In P3RTT99C41/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
Differential geometry RQFMPQ4GSQ
| URI | m2://inv/RQFMPQ4GSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#RPGA, Differential geometry (definition)
History
- 2026-11-02: add by m2/dev
RQFNN4QW8V RQFNN4QW8V
| URI | m2://inv/RQFNN4QW8V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#6VUA (statement). In WJD9YPGGYH/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
RQG36949WN RQG36949WN
| URI | m2://inv/RQG36949WN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#M7R0 (definition)
History
- 2026-11-02: add by m2/dev
RQG92HEQ7R RQG92HEQ7R
| URI | m2://inv/RQG92HEQ7R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/unions-and-intersections.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 83.2
History
- 2026-11-01: add by m2/v0.6.13
∖ RQGBPSDTSZ
| URI | m2://inv/RQGBPSDTSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#O2CV, ∖ (definition)
History
- 2026-11-02: add by m2/dev
RQGHHA1CJ6 RQGHHA1CJ6
| URI | m2://inv/RQGHHA1CJ6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04833#DTTV (definition). In AKB3CNDA0F/e1, definition C.2
History
- 2026-10-29: add by m2/v0.4.12
Field of characteristic p RQGK9WEHSP
| URI | m2://inv/RQGK9WEHSP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic (algebra)#7X5W, Field of characteristic p (unknown)
History
- 2026-11-02: add by m2/dev
Induction argument 3 RQGSE94GD7
| URI | m2://inv/RQGSE94GD7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30957#9OYD, Induction argument 3 (statement). In P5YB6R0RK3/e1, lemma C.11
History
- 2026-10-31: add by m2/v0.5.6
$C^k$-smooth function RQGV8ND6NC
| URI | m2://inv/RQGV8ND6NC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1/c-k-smooth-function, $C^k$-smooth function (concept). In VNMV985MXX, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
Properties RQHBZQ3MD0
| URI | m2://inv/RQHBZQ3MD0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1,000,000,000,000#BKUJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
4104 RQHXE8WAZJ
| URI | m2://inv/RQHXE8WAZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 4104, 4104 (definition)
History
- 2026-11-02: add by m2/dev
Theorem RQJ0135K0H
| URI | m2://inv/RQJ0135K0H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wald–Wolfowitz runs test#K68Y, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Rick Neuheisel RQJBK2S1CK
| URI | m2://inv/RQJBK2S1CK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#VSDK, Rick Neuheisel (unknown)
History
- 2026-11-02: add by m2/dev
Acylindrically hyperbolic group RQJEYK664V
| URI | m2://inv/RQJEYK664V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acylindrically hyperbolic group, Acylindrically hyperbolic group (definition). Also Wikidata Q48998995
History
- 2026-11-02: add by m2/dev
Sequence of bounded variation RQJHNP150T
| URI | m2://inv/RQJHNP150T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded variation#6II8, Sequence of bounded variation (unknown)
History
- 2026-11-02: add by m2/dev
indegree RQJMSBTFSA
| URI | m2://inv/RQJMSBTFSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93722997, indegree (definition). Also MathWorld Indegree, ProofWiki Definition:In-Degree
History
- 2026-10-26: add by m2/dev
adjoint RQJRT9GT10
| URI | m2://inv/RQJRT9GT10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#AUNK, adjoint (definition)
History
- 2026-11-02: add by m2/dev
RQJRW8QQHH RQJRW8QQHH
| URI | m2://inv/RQJRW8QQHH |
|---|---|
| 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 2103.12669#LVQE (statement). In ZA6XNBA90V/e1, theorem 1.17
History
- 2026-10-27: add by m2/v0.3.5
RQJSWBAGZK RQJSWBAGZK
| URI | m2://inv/RQJSWBAGZK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21972#KDCQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Statement RQJTS7KZV2
| URI | m2://inv/RQJTS7KZV2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kummer's congruence#BPN3, Statement (statement)
History
- 2026-11-02: add by m2/dev
RQK0T4JSMH RQK0T4JSMH
| URI | m2://inv/RQK0T4JSMH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2408.03317#69LR (statement). In T2ESY2PE1R/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.5
RQK1NBZ6BZ RQK1NBZ6BZ
| URI | m2://inv/RQK1NBZ6BZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21507#WHQL (statement). In 879ZDHVK7N/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.4.2
split RQK59JW4AQ
| URI | m2://inv/RQK59JW4AQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#GNLL, split (definition)
History
- 2026-11-02: add by m2/dev
RQK5ZCPXQ8 RQK5ZCPXQ8
| URI | m2://inv/RQK5ZCPXQ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2309.17091#NE3W (statement). In N0JJM098W2/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.0
Challenge–dechallenge–rechallenge RQKA63ABW0
| URI | m2://inv/RQKA63ABW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TJT6, Challenge–dechallenge–rechallenge (definition)
History
- 2026-11-02: add by m2/dev
Maximum Mean Discrepancy RQKCZPK7JX
| URI | m2://inv/RQKCZPK7JX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19861#VP17, Maximum Mean Discrepancy (definition). In 5ZPQ60TM6J/e1, definition 21
History
- 2026-10-28: add by m2/v0.4.2
RQKM6Y2V2G RQKM6Y2V2G
| URI | m2://inv/RQKM6Y2V2G |
|---|---|
| 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.34213#Z4DS (statement). In KGP6NAY0NS/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
RQKSHTDM7Z RQKSHTDM7Z
| URI | m2://inv/RQKSHTDM7Z |
|---|---|
| Kind | statement |
| 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.14783#317R (statement). In Y3X5XY2J65/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Strict Gaussian mass from a variance perturbation RQKSJXRV26
| URI | m2://inv/RQKSJXRV26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#LEOG, Strict Gaussian mass from a variance perturbation (statement). In 9YAE8FNQST/e1, lemma 14.10
History
- 2026-10-30: add by m2/v0.4.12
Action of sphere twists on homotopy groups RQKWH2S76A
| URI | m2://inv/RQKWH2S76A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04820#PPXK, Action of sphere twists on homotopy groups (statement). In 9EJ71MW89B/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Zorn RQKZBC0JKQ
| URI | m2://inv/RQKZBC0JKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#UJ1H, Zorn (definition)
History
- 2026-11-02: add by m2/dev
V1)--(V3) do not force the optimal origin value RQM30YDWPB
| URI | m2://inv/RQM30YDWPB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25380#0HUP, V1)--(V3) do not force the optimal origin value (example)
History
- 2026-11-01: add by m2/v0.6.15
RQM4ME0GH1 RQM4ME0GH1
| URI | m2://inv/RQM4ME0GH1 |
|---|---|
| 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.24845#F0YS (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition RQM85Z95TJ
| URI | m2://inv/RQM85Z95TJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coding theory#FHWR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Apollonian network RQN7YFCFR2
| URI | m2://inv/RQN7YFCFR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4780395, Apollonian network (unknown). Also MathWorld ApollonianNetwork
- wikipedia: Wikipedia Apollonian network, Apollonian network (definition). Also Wikidata Q4780395
History
- 2026-10-26: add by m2/dev
Partial likelihood methods for panel data RQN9A05BHR
| URI | m2://inv/RQN9A05BHR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial likelihood methods for panel data, Partial likelihood methods for panel data (definition). Also Wikidata Q25109958
History
- 2026-11-02: add by m2/dev
RQNN0QQV1N RQNN0QQV1N
| URI | m2://inv/RQNN0QQV1N |
|---|---|
| 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.27673#WP40 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dissipation-only construction RQNN3WGV2P
| URI | m2://inv/RQNN3WGV2P |
|---|---|
| Kind | example |
| 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.36016#3UBO (example). In NAM9ZMPHZ9/e1, example A.5
- arxiv: arXiv 2609.36016#YHUA, Dissipation-only construction (example). In NAM9ZMPHZ9/e1, example 3.7
History
- 2026-10-30: add by m2/v0.4.12
RQNS1XFWNG RQNS1XFWNG
| URI | m2://inv/RQNS1XFWNG |
|---|---|
| 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.34675#1HOI (statement). In C93BAXKJVD/e1, lemma 3.9
History
- 2026-10-30: add by m2/v0.4.12
KAlgebra RQNT9EHKSA
| URI | m2://inv/RQNT9EHKSA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#TO3R, KAlgebra (unknown)
History
- 2026-11-02: add by m2/dev
Boris Hagelin RQNZ1SRNK6
| URI | m2://inv/RQNZ1SRNK6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boris Hagelin, Boris Hagelin (topic). Also Wikidata Q893676
History
- 2026-11-02: add by m2/dev
Construction RQNZV94PK9
| URI | m2://inv/RQNZV94PK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander horned sphere#G3UG, Construction (definition)
History
- 2026-11-02: add by m2/dev
RQP0SR5AVN RQP0SR5AVN
| URI | m2://inv/RQP0SR5AVN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09354#3W78 (statement). In 5VAJC29KA2/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Johann Heinrich Louis Krüger RQPFNJPY4C
| URI | m2://inv/RQPFNJPY4C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#K146, Johann Heinrich Louis Krüger (unknown)
History
- 2026-11-02: add by m2/dev
RQPK6TZW2K RQPK6TZW2K
| URI | m2://inv/RQPK6TZW2K |
|---|---|
| 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 2609.37159#V9EG (statement). In SBANZ2ZJDD/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Complement RQPMMA62XV
| URI | m2://inv/RQPMMA62XV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complement (group theory), Complement (definition). Also Wikidata Q2990581
History
- 2026-11-02: add by m2/dev
RQPZYK7K1S RQPZYK7K1S
| URI | m2://inv/RQPZYK7K1S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-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.23527#54H2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Trairāśika RQQ3WHJJDB
| URI | m2://inv/RQQ3WHJJDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trairāśika, Trairāśika (definition). Also Wikidata Q127163431
History
- 2026-11-02: add by m2/dev
Order-4 120-cell honeycomb RQQ4CZV6FK
| URI | m2://inv/RQQ4CZV6FK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#8LYA, Order-4 120-cell honeycomb (definition)
History
- 2026-11-02: add by m2/dev
RQQFYC9ZY3 RQQFYC9ZY3
| URI | m2://inv/RQQFYC9ZY3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20018#7YUR (definition)
History
- 2026-11-02: add by m2/v0.6.18
Schr\"oder-Bernstein RQQV8BDK5W
| URI | m2://inv/RQQV8BDK5W |
|---|---|
| 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/schroder-bernstein.tex#thm:schroder-bernstein, Schr\"oder-Bernstein (statement). In PKGMM3P5QY, thm, section 83.14
History
- 2026-11-01: add by m2/v0.6.13
Definitions RQR44ZTJ4D
| URI | m2://inv/RQR44ZTJ4D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete space#YGU9, Definitions (definition)
History
- 2026-11-02: add by m2/dev
43,252,003,274,489,856,000 RQR9VGYEPZ
| URI | m2://inv/RQR9VGYEPZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rubik's Cube#0R70, 43,252,003,274,489,856,000 (unknown)
History
- 2026-11-02: add by m2/dev
Substitution tensor RQRG3BHJM8
| URI | m2://inv/RQRG3BHJM8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kronecker delta#6U4J, Substitution tensor (unknown)
History
- 2026-11-02: add by m2/dev
RQRH87YGSZ RQRH87YGSZ
| URI | m2://inv/RQRH87YGSZ |
|---|---|
| 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.28195#H4WP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Double Mersenne number RQRT1N21N6
| URI | m2://inv/RQRT1N21N6 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#E2YG, Double Mersenne number (conjecture)
History
- 2026-11-02: add by m2/dev
Lamplighter group RQRWQ0S4Z6
| URI | m2://inv/RQRWQ0S4Z6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lamplighter group, Lamplighter group (definition). Also Wikidata Q6482453
History
- 2026-11-02: add by m2/dev
RQS7A7DXVN RQS7A7DXVN
| URI | m2://inv/RQS7A7DXVN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26129#L00Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
Guy Nason RQS90C6NP2
| URI | m2://inv/RQS90C6NP2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guy Nason, Guy Nason (topic). Also Wikidata Q5622498
History
- 2026-11-02: add by m2/dev
RQSBQWKXK4 RQSBQWKXK4
| URI | m2://inv/RQSBQWKXK4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#JKNM (statement). In XXN6KKXPYF/e1, corollary 6.9
History
- 2026-10-28: add by m2/v0.4.2
complete graph K9 RQSC1RCWK4
| URI | m2://inv/RQSC1RCWK4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131179460, complete graph K9 (unknown). Also House of Graphs 398
History
- 2026-10-26: add by m2/dev
Short-vector auxiliary polynomials RQSEJV2VDY
| URI | m2://inv/RQSEJV2VDY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.37615#AUD9, Short-vector auxiliary polynomials (statement). In T2B54J7121/e1, lemma A.2
History
- 2026-10-30: add by m2/v0.4.12
Normalisable wave function RQSPK6RV3G
| URI | m2://inv/RQSPK6RV3G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wave function#7875, Normalisable wave function (unknown)
History
- 2026-11-02: add by m2/dev
Palindromic quadratic family RQSRBKTG0Z
| URI | m2://inv/RQSRBKTG0Z |
|---|---|
| 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 2609.25027#NZMP, Palindromic quadratic family (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lyapunov's theorem RQSYP67P9Y
| URI | m2://inv/RQSYP67P9Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector measure#UZPE, Lyapunov's theorem (statement)
History
- 2026-11-02: add by m2/dev
RQSYWXQE1J RQSYWXQE1J
| URI | m2://inv/RQSYWXQE1J |
|---|---|
| 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.11056#OG8Y (statement). In 1NDB3SAG7K/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.3
Finite heat spectra realized by a measure-preserving map RQSYZFCZPN
| URI | m2://inv/RQSYZFCZPN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#ZO54, Finite heat spectra realized by a measure-preserving map (statement). In 9YAE8FNQST/e1, theorem 21.6
History
- 2026-10-30: add by m2/v0.4.12
RQT6YD5YVM RQT6YD5YVM
| URI | m2://inv/RQT6YD5YVM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/pr-relations.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 3.31
History
- 2026-11-01: add by m2/v0.6.13
Sofia Kovalevskaya RQT9Y3NWKC
| URI | m2://inv/RQT9Y3NWKC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#W26L, Sofia Kovalevskaya (unknown)
History
- 2026-11-02: add by m2/dev
ultrapower RQTAZN9KAC
| URI | m2://inv/RQTAZN9KAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#HS2A, ultrapower (definition)
History
- 2026-11-02: add by m2/dev
RQTMR02QVC RQTMR02QVC
| URI | m2://inv/RQTMR02QVC |
|---|---|
| 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.30203#1LNY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition RQTPDXT9R7
| URI | m2://inv/RQTPDXT9R7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subdivision bifiltration#I0HF, Definition (definition)
History
- 2026-11-02: add by m2/dev
RQTTEAWVSW RQTTEAWVSW
| URI | m2://inv/RQTTEAWVSW |
|---|---|
| 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.07190#TK87 (statement). In ZWS6Q4467X/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Proof by example RQTXCJ1BWP
| URI | m2://inv/RQTXCJ1BWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof by example, Proof by example (definition). Also Wikidata Q623213
History
- 2026-11-02: add by m2/dev
algorithm for multiplication RQTY3A5VZH
| URI | m2://inv/RQTY3A5VZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#X7LP, algorithm for multiplication (definition)
History
- 2026-11-02: add by m2/dev
Fixed batch sizes RQV07VQPEQ
| URI | m2://inv/RQV07VQPEQ |
|---|---|
| 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.15202#6NP8, Fixed batch sizes (statement). In X1FPG0KYBM/e1, corollary G.2
History
- 2026-10-28: add by m2/v0.4.2
hyperbolism RQV0FETG48
| URI | m2://inv/RQV0FETG48 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#SZPP, hyperbolism (definition)
History
- 2026-11-02: add by m2/dev
RQVCWJQ1ZV RQVCWJQ1ZV
| URI | m2://inv/RQVCWJQ1ZV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21491#34K8 (definition)
History
- 2026-11-02: add by m2/v0.6.18
RQVV0B53WN RQVV0B53WN
| URI | m2://inv/RQVV0B53WN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-24 (exercise). In E59CDZA4DP, exercise, section 5.3.4
History
- 2026-11-01: add by m2/v0.6.13
List of national and international statistical services RQVX8H04JT
| URI | m2://inv/RQVX8H04JT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of national and international statistical services, List of national and international statistical services (topic). Also Wikidata Q498232
History
- 2026-11-02: add by m2/dev
RQW6KXMZFF RQW6KXMZFF
| URI | m2://inv/RQW6KXMZFF |
|---|---|
| Kind | example |
| 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.32524#YDHT (example). In XGCND7R0B0/e1, example 3.5
History
- 2026-10-31: add by m2/v0.5.6
Properties RQWEGDCJ5F
| URI | m2://inv/RQWEGDCJ5F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex measure#FK33, Properties (statement)
History
- 2026-11-02: add by m2/dev
RQWGYXNNR4 RQWGYXNNR4
| URI | m2://inv/RQWGYXNNR4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.03672#DB3Q (statement). In EZZSZ1F071/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.0
number of distinct prime divisors RQWX4Z26Q2
| URI | m2://inv/RQWX4Z26Q2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q104120010, number of distinct prime divisors (unknown). Also MathWorld DistinctPrimeFactors, OEIS A001221
History
- 2026-10-26: add by m2/dev
RQWZ26VWJY RQWZ26VWJY
| URI | m2://inv/RQWZ26VWJY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/downward-ls.tex#noidentity-ls (statement). In PKGMM3P5QY, thm, section 11.2
History
- 2026-11-01: add by m2/v0.6.13
André Martineau RQWZ3SCXM3
| URI | m2://inv/RQWZ3SCXM3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia André Martineau, André Martineau (topic). Also Wikidata Q521603
History
- 2026-11-02: add by m2/dev
Applications RQWZGTM8P7
| URI | m2://inv/RQWZGTM8P7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smith normal form#SRWS, Applications (example)
History
- 2026-11-02: add by m2/dev
existence of bases RQX5PBPTA5
| URI | m2://inv/RQX5PBPTA5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > existence of bases, existence of bases (unknown). Also Mathlib Module.Basis.ofVectorSpace
History
- 2026-10-26: add by m2/dev
Moss Eisenberg Sweedler RQX8XAGKNH
| URI | m2://inv/RQX8XAGKNH |
|---|---|
| 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#L134, Moss Eisenberg Sweedler (topic)
History
- 2026-11-02: add by m2/dev
RQX9X96FBZ RQX9X96FBZ
| URI | m2://inv/RQX9X96FBZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises1-2.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Smith Form RQXARJFS2N
| URI | m2://inv/RQXARJFS2N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2411.16022#IIZ2, Smith Form (statement). In QG9ATXTKJ6/e1, proposition 1.9
History
- 2026-10-27: add by m2/v0.3.5
Ker(x) RQXHK1QAN0
| URI | m2://inv/RQXHK1QAN0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kelvin functions#LWHG, Ker(x) (unknown)
History
- 2026-11-02: add by m2/dev
RQXKZN573Z RQXKZN573Z
| URI | m2://inv/RQXKZN573Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13271#7IWN (definition). In G8ZEBKZY8M/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Researcher degrees of freedom RQXSQNMDK3
| URI | m2://inv/RQXSQNMDK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Researcher degrees of freedom, Researcher degrees of freedom (definition). Also Wikidata Q65082308
History
- 2026-11-02: add by m2/dev
Tamar Ziegler RQXWDA7TKE
| URI | m2://inv/RQXWDA7TKE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tamar Ziegler, Tamar Ziegler (topic). Also Wikidata Q6635951
History
- 2026-11-02: add by m2/dev
Environment artist RQXX5HXV8Z
| URI | m2://inv/RQXX5HXV8Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#TXTE, Environment artist (unknown)
History
- 2026-11-02: add by m2/dev
strophoid RQXYS25E4A
| URI | m2://inv/RQXYS25E4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1050391, strophoid (unknown). Also MathWorld Strophoid
- wikipedia: Wikipedia Strophoid, Strophoid (definition). Also Wikidata Q1050391
History
- 2026-10-26: add by m2/dev
6 RQY634AR2V
| URI | m2://inv/RQY634AR2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q23488 (statement). Also MathWorld 6, ProofWiki 6
- wikipedia: Wikipedia 6, 6 (definition). Also Wikidata Q23488
History
- 2026-10-26: add by m2/dev
RQY7KWHZM6 RQY7KWHZM6
| URI | m2://inv/RQY7KWHZM6 |
|---|---|
| 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.21305#UFUU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Coxeter decompositions of hyperbolic polygons RQYA7P5TAN
| URI | m2://inv/RQYA7P5TAN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter decompositions of hyperbolic polygons, Coxeter decompositions of hyperbolic polygons (definition). Also Wikidata Q28456033
History
- 2026-11-02: add by m2/dev
RQYAH2RCJA RQYAH2RCJA
| URI | m2://inv/RQYAH2RCJA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#UPON (statement). In 9S7HGSEX6Q/e1, corollary 7.4
History
- 2026-10-28: add by m2/v0.4.2
RQYAH7S8VN RQYAH7S8VN
| URI | m2://inv/RQYAH7S8VN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/tableaux/soundness.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 34.6
History
- 2026-11-01: add by m2/v0.6.13
Fundamental lemma of the calculus of variations RQYAP4JV3T
| URI | m2://inv/RQYAP4JV3T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#JZPS, Fundamental lemma of the calculus of variations (statement)
- wikipedia: Wikipedia List of lemmas#HE6H, Fundamental lemma of the calculus of variations (statement)
History
- 2026-11-02: add by m2/dev
Properties RQYE53SCX6
| URI | m2://inv/RQYE53SCX6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golygon#BSLR, Properties (statement)
History
- 2026-11-02: add by m2/dev
RQYKH7GC73 RQYKH7GC73
| URI | m2://inv/RQYKH7GC73 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13931#QDM2 (statement). In EXA79VR78Q/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
RQYQ6VJHAK RQYQ6VJHAK
| URI | m2://inv/RQYQ6VJHAK |
|---|---|
| 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.23872#SOQS (statement)
History
- 2026-11-02: add by m2/v0.6.17
RQYQFXD65Z RQYQFXD65Z
| URI | m2://inv/RQYQFXD65Z |
|---|---|
| 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.34613#VHYG (statement). In JPR86T9Y78/e1, theorem A.1
History
- 2026-10-30: add by m2/v0.4.12
Guo Chuan Thiang RQYXBTMQGD
| URI | m2://inv/RQYXBTMQGD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q62606853, Guo Chuan Thiang (unknown). Also nLab Guo Chuan Thiang
History
- 2026-10-26: add by m2/dev
RQZ1627GAR RQZ1627GAR
| URI | m2://inv/RQZ1627GAR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21668#A8QN (definition)
History
- 2026-11-02: add by m2/v0.6.18
Soundness and strong completeness of $H_{\mathsf D}$ RQZ1AYE8BC
| URI | m2://inv/RQZ1AYE8BC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21565#MM7K, Soundness and strong completeness of $H_{\mathsf D}$ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Computational complexity of Boolean circuits RQZ387HGSS
| URI | m2://inv/RQZ387HGSS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean circuit#7TAM, Computational complexity of Boolean circuits (unknown)
History
- 2026-11-02: add by m2/dev
Applications RQZ5KEBA6K
| URI | m2://inv/RQZ5KEBA6K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concept class#WHND, Applications (example)
History
- 2026-11-02: add by m2/dev
Order-5 hexagonal tiling honeycomb RQZK4GY9PV
| URI | m2://inv/RQZK4GY9PV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-5 hexagonal tiling honeycomb, Order-5 hexagonal tiling honeycomb (definition). Also Wikidata Q14629785
History
- 2026-11-02: add by m2/dev
RQZS8H65XK RQZS8H65XK
| URI | m2://inv/RQZS8H65XK |
|---|---|
| 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 2507.12309#HMMB (definition). In ZR53K3E0FR/e1, definition 10
History
- 2026-10-27: add by m2/v0.3.6
RQZWWSAG4Z RQZWWSAG4Z
| URI | m2://inv/RQZWWSAG4Z |
|---|---|
| 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.05067#1WPR (statement). In 34BXY2SJ1X/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.12
QUOROM RQZYWDCK42
| URI | m2://inv/RQZYWDCK42 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preferred Reporting Items for Systematic Reviews and Meta-Analyses#UYAM, QUOROM (unknown)
History
- 2026-11-02: add by m2/dev