Inventory rows QF
The cards of the rows of the inventory whose ids start with QF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
automorphic L-function QF3NMEDK8K
| URI | m2://inv/QF3NMEDK8K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4826697, automorphic L-function (unknown). Also nLab automorphic L-function
History
- 2026-10-26: add by m2/dev
removable singularity QF4GJBQK6C
| URI | m2://inv/QF4GJBQK6C |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | Removable singularity 09R8GC85RB |
Mentions
- mathlib_1000: mathlib_1000 Q1974087, Riemann's theorem on removable singularities (statement). Also Wikidata Q1974087
- thousand_plus: thousand_plus Q1974087, Riemann's theorem on removable singularities (statement). Also Wikidata Q1974087, Wikipedia Riemann's theorem on removable singularities
- wikidata: Wikidata Q1974087, removable singularity (definition). Also MathWorld RemovableSingularity, ProofWiki Definition:Removable_Singularity
History
- 2026-10-26: add by m2/dev
Scott Aaronson QF4YFWWC4N
| URI | m2://inv/QF4YFWWC4N |
|---|---|
| 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 Q4054157, Scott Aaronson (unknown). Also nLab Scott Aaronson
History
- 2026-10-26: add by m2/dev
Mizan Rahman QF8Q5MDZG3
| URI | m2://inv/QF8Q5MDZG3 |
|---|---|
| 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 Q6884589, Mizan Rahman (unknown). Also ProofWiki Mathematician:Mizan_Rahman
History
- 2026-10-26: add by m2/dev
comparison test for improper integrals QFC1M6PNZS
| URI | m2://inv/QFC1M6PNZS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Integration > comparison test for improper integrals, comparison test for improper integrals (unknown)
History
- 2026-10-26: add by m2/dev
Mersenne's laws QFC7TWE383
| URI | m2://inv/QFC7TWE383 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6820536, Mersenne's laws (statement). Also ProofWiki Mersenne's_Laws
History
- 2026-10-26: add by m2/dev
Rod Crewther QFC8W4YNCV
| URI | m2://inv/QFC8W4YNCV |
|---|---|
| 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 Q7356160, Rod Crewther (unknown). Also nLab Rodney Crewther
History
- 2026-10-26: add by m2/dev
work QFCR4QZ2KB
| URI | m2://inv/QFCR4QZ2KB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q42213, work (definition). Also ProofWiki Definition:Work
History
- 2026-10-26: add by m2/dev
gyroelongated cupola QFD8MYA57J
| URI | m2://inv/QFD8MYA57J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5625474, gyroelongated cupola (unknown). Also MathWorld GyroelongatedCupola
History
- 2026-10-26: add by m2/dev
skew-Hermitian matrix QFHSPPRV6B
| URI | m2://inv/QFHSPPRV6B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2268788, skew-Hermitian matrix (unknown). Also MathWorld AntihermitianMatrix
History
- 2026-10-26: add by m2/dev
Pivot theorem QFKE0PEZ3P
| URI | m2://inv/QFKE0PEZ3P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7199658, Pivot theorem (statement). Also MathWorld PivotTheorem
History
- 2026-10-26: add by m2/dev
Erdős–Szekeres theorem QFKQT6M09E
| URI | m2://inv/QFKQT6M09E |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 52-XX |
| Sources | 4 |
| Outcome | open |
| Node | Erdős–Szekeres theorem 0SNJM8HSD3 |
Mentions
- mathlib_100: mathlib_100 73, Ascending or Descending Sequences (Erdős–Szekeres Theorem) (statement). Also Mathlib Theorems100.erdos_szekeres
- mathlib_1000: mathlib_1000 Q976607, Erdős–Szekeres theorem (statement). Also Mathlib Theorems100.erdos_szekeres, Wikidata Q976607
- thousand_plus: thousand_plus Q976607, Erdős–Szekeres theorem (statement). Also Mathlib Theorems100.erdos_szekeres, Wikidata Q976607, Wikipedia Erdős–Szekeres theorem
- wikidata: Wikidata Q976607, Erdős–Szekeres theorem (statement). Also MathWorld Erdos-SzekeresTheorem
History
- 2026-10-26: add by m2/dev
equivalence relation QFT3BEZB7E
| URI | m2://inv/QFT3BEZB7E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Equivalence relation 0G8VEZ3WTK |
Mentions
- wikidata: Wikidata Q130998, equivalence relation (definition). Also EoM Equivalence_relation, MathWorld EquivalenceRelation, nLab equivalence relation, ProofWiki Definition:Equivalence_Relation
History
- 2026-10-26: add by m2/dev
Ko Sanders QFY38DEFMH
| URI | m2://inv/QFY38DEFMH |
|---|---|
| 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 Q57954021, Ko Sanders (unknown). Also nLab Ko Sanders
History
- 2026-10-26: add by m2/dev