Inventory rows C5
The cards of the rows of the inventory whose ids start with C5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Support function C50Z5W27GJ
| URI | m2://inv/C50Z5W27GJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3075191, Support function (unknown). Also MathWorld SupportFunction
History
- 2026-10-26: add by m2/dev
circle C51BFBHK4F
| URI | m2://inv/C51BFBHK4F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Circle 060W5CBZP6 |
Mentions
- wikidata: Wikidata Q17278, circle (unknown). Also EoM Circle, MathWorld Circle, nLab circle
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Coxeter's loxodromic sequence of tangent circles C52YQRDDZM
| URI | m2://inv/C52YQRDDZM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5179938, Coxeter's loxodromic sequence of tangent circles (concept). Also MathWorld CoxetersLoxodromicSequenceofTangentCircles
History
- 2026-10-26: add by m2/dev
Savitch's theorem C53SRAQA48
| URI | m2://inv/C53SRAQA48 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q954210, Savitch's theorem (statement). Also Wikidata Q954210
- thousand_plus: thousand_plus Q954210, Savitch's theorem (statement). Also Wikidata Q954210, Wikipedia Savitch's theorem
History
- 2026-10-26: add by m2/dev
FWL theorem C58AA3YB0A
| URI | m2://inv/C58AA3YB0A |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1059151, FWL theorem (statement). Also Wikidata Q1059151
- thousand_plus: thousand_plus Q1059151, FWL theorem (statement). Also Wikidata Q1059151, Wikipedia FWL theorem
History
- 2026-10-26: add by m2/dev
Stefano Cremonesi C59SEPP7AY
| URI | m2://inv/C59SEPP7AY |
|---|---|
| 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 Q60168180, Stefano Cremonesi (unknown). Also nLab Stefano Cremonesi
History
- 2026-10-26: add by m2/dev
superellipsoid C5BEZ0V9Z1
| URI | m2://inv/C5BEZ0V9Z1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2329723, superellipsoid (unknown). Also MathWorld Superellipsoid
History
- 2026-10-26: add by m2/dev
algebraic closure C5G2YF35SP
| URI | m2://inv/C5G2YF35SP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Algebraic closure 0MCXX29HWY |
Mentions
- wikidata: Wikidata Q428290, algebraic closure (unknown). Also EoM Algebraic_closure, LMFDB knowl nf.algebraic_closure, MathWorld AlgebraicClosure
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
convergence in mean C5JF2KBV07
| URI | m2://inv/C5JF2KBV07 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Convergence in mean 0A2HNZC44K |
Mentions
- wikidata: Wikidata Q91264859, convergence in mean (unknown). Also MathWorld ConvergenceinMean
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Riesz representation theorem C5NT1HQ8ER
| URI | m2://inv/C5NT1HQ8ER |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 5 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1357684, Riesz representation theorem (statement). Also Mathlib InnerProductSpace.toDual, Wikidata Q1357684
- mathlib_overview: mathlib_overview Analysis > Hilbert spaces > Fréchet-Riesz representation of the dual of a Hilbert space, Fréchet-Riesz representation of the dual of a Hilbert space (unknown). Also Mathlib InnerProductSpace.toDual
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Euclidean and Hermitian spaces > dual isomorphism in the Euclidean case, dual isomorphism in the Euclidean case (unknown). Also Mathlib InnerProductSpace.toDual
- mathlib_undergrad: mathlib_undergrad Topology > Hilbert spaces > Riesz representation theorem, Riesz representation theorem (unknown). Also Mathlib InnerProductSpace.toDual
- thousand_plus: thousand_plus Q1357684, Riesz representation theorem (statement). Also Mathlib InnerProductSpace.toDual, Wikidata Q1357684, Wikipedia Riesz representation theorem
- wikidata: Wikidata Q1357684, Riesz representation theorem (statement). Also EoM Riesz_representation_theorem, nLab Riesz representation theorem
History
- 2026-10-26: add by m2/dev
unit of force C5Q4A3A0DB
| URI | m2://inv/C5Q4A3A0DB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15976022, unit of force (definition). Also ProofWiki Definition:SI/Force
History
- 2026-10-26: add by m2/dev
direct limit C5RJTWY2TV
| URI | m2://inv/C5RJTWY2TV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q906015, direct limit (unknown). Also MathWorld DirectLimit, nLab direct limit
History
- 2026-10-26: add by m2/dev
Thorsten Altenkirch C5TSR45ENX
| URI | m2://inv/C5TSR45ENX |
|---|---|
| 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 Q22087167, Thorsten Altenkirch (unknown). Also nLab Thorsten Altenkirch
History
- 2026-10-26: add by m2/dev
Maier's theorem C5VHSRJQVX
| URI | m2://inv/C5VHSRJQVX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6735549, Maier's theorem (statement). Also Wikidata Q6735549
- thousand_plus: thousand_plus Q6735549, Maier's theorem (statement). Also Wikidata Q6735549, Wikipedia Maier's theorem
History
- 2026-10-26: add by m2/dev
conference matrix C5XRNHK3XF
| URI | m2://inv/C5XRNHK3XF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1125095, conference matrix (unknown). Also MathWorld C-Matrix
History
- 2026-10-26: add by m2/dev
I know that I know nothing C5Z4VKHWDX
| URI | m2://inv/C5Z4VKHWDX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q259588, I know that I know nothing (statement). Also MathWorld SocratesParadox, ProofWiki Socratic_Paradox/Paradox_1
History
- 2026-10-26: add by m2/dev
in terms of Turing machines C5ZQ3XYT91
| URI | m2://inv/C5ZQ3XYT91 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Computability > computable function > in terms of Turing machines, in terms of Turing machines (unknown). Also Mathlib Turing.TM2Computable
History
- 2026-10-26: add by m2/dev
pound per square inch C5ZT1P1NKM
| URI | m2://inv/C5ZT1P1NKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q626299, pound per square inch (definition). Also ProofWiki Definition:FPS/Pressure/Pound_per_Square_Inch
History
- 2026-10-26: add by m2/dev