Inventory rows SG
The cards of the rows of the inventory whose ids start with SG. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Borwein integral SG043JZ7PE
| URI | m2://inv/SG043JZ7PE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3067015, Borwein integral (unknown). Also MathWorld BorweinIntegrals
History
- 2026-10-26: add by m2/dev
cylindrical coordinate system SG26Q5G53K
| URI | m2://inv/SG26Q5G53K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Cylindrical coordinates 0TK9MCFHBW |
Mentions
- wikidata: Wikidata Q211851, cylindrical coordinate system (unknown). Also MathWorld CylindricalCoordinates
History
- 2026-10-26: add by m2/dev
Albert Einstein SG719H9D36
| URI | m2://inv/SG719H9D36 |
|---|---|
| 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 Q937, Albert Einstein (unknown). Also nLab Albert Einstein
History
- 2026-10-26: add by m2/dev
fundamental theorem of algebra SGAE0NNXPH
| URI | m2://inv/SGAE0NNXPH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 4 |
| Outcome | open |
| Node | Fundamental theorem of algebra 0JP0W07Y9A |
Mentions
- mathlib_1000: mathlib_1000 Q192760, Fundamental theorem of algebra (statement). Also Mathlib Complex.isAlgClosed, Wikidata Q192760
- mathlib_overview: mathlib_overview Analysis > Complex analysis > fundamental theorem of algebra, fundamental theorem of algebra (unknown). Also Mathlib Complex.isAlgClosed
- thousand_plus: thousand_plus Q192760, Fundamental theorem of algebra (statement). Also Mathlib Complex.isAlgClosed, Wikidata Q192760, Wikipedia Fundamental theorem of algebra
- wikidata: Wikidata Q192760, fundamental theorem of algebra (statement). Also EoM Algebra,_fundamental_theorem_of, Mathlib Complex.isAlgClosed, MathWorld FundamentalTheoremofAlgebra
History
- 2026-10-26: add by m2/dev
Daniel Friedan SGAHM3SYKM
| URI | m2://inv/SGAHM3SYKM |
|---|---|
| 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 Q547346, Daniel Friedan (unknown). Also nLab Daniel Friedan
History
- 2026-10-26: add by m2/dev
higher-order logic SGB0TZ7CQA
| URI | m2://inv/SGB0TZ7CQA |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 03B15, 03B16 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1644136, higher-order logic (topic). Also nLab higher-order logic
History
- 2026-10-26: add by m2/dev
42 SGC28TPNEV
| URI | m2://inv/SGC28TPNEV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q812996, 42 (unknown). Also MathWorld 42
History
- 2026-10-26: add by m2/dev
survival function SGFARN87Q9
| URI | m2://inv/SGFARN87Q9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2915096, survival function (unknown). Also MathWorld SurvivalFunction
History
- 2026-10-26: add by m2/dev
product measure SGG2K1V0B5
| URI | m2://inv/SGG2K1V0B5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Measure theory > product measure, product measure (unknown). Also Mathlib MeasurableSpace.pi
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Measure theory > product of sigma-algebras, product of sigma-algebras (unknown). Also Mathlib MeasurableSpace.pi
History
- 2026-10-26: add by m2/dev
Parseval's integral SGGBPM6XDD
| URI | m2://inv/SGGBPM6XDD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5678051, Parseval's integral (unknown). Also MathWorld ParsevalsIntegral
History
- 2026-10-26: add by m2/dev
Mathematics and the Imagination SGHB253B69
| URI | m2://inv/SGHB253B69 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6786900, Mathematics and the Imagination (unknown). Also ProofWiki Book:Edward_Kasner/Mathematics_and_the_Imagination
History
- 2026-10-26: add by m2/dev
Bertrand's theorem SGK2DFRCEJ
| URI | m2://inv/SGK2DFRCEJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2493651, Bertrand's theorem (statement). Also nLab Bertrand's theorem
History
- 2026-10-26: add by m2/dev
Matthias Staudacher SGTX1R9MGA
| URI | m2://inv/SGTX1R9MGA |
|---|---|
| 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 Q6791612, Matthias Staudacher (unknown). Also nLab Matthias Staudacher
History
- 2026-10-26: add by m2/dev
Riemann–Roch theorem SGWAP6RKVC
| URI | m2://inv/SGWAP6RKVC |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q379048, Riemann–Roch theorem (statement). Also Wikidata Q379048
- thousand_plus: thousand_plus Q379048, Riemann–Roch theorem (statement). Also Wikidata Q379048, Wikipedia Riemann–Roch theorem
- wikidata: Wikidata Q379048, Riemann–Roch theorem (statement). Also ProofWiki Riemann-Roch_Theorem
History
- 2026-10-26: add by m2/dev
Multimagic cube SGYG6V89Q1
| URI | m2://inv/SGYG6V89Q1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1990137, Multimagic cube (unknown). Also MathWorld MultimagicCube
History
- 2026-10-26: add by m2/dev
Andrew Yao SGZQP0AH93
| URI | m2://inv/SGZQP0AH93 |
|---|---|
| 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 Q62888, Andrew Yao (unknown). Also ProofWiki Mathematician:Andrew_Chi-Chih_Yao
History
- 2026-10-26: add by m2/dev