Inventory rows 7K
The cards of the rows of the inventory whose ids start with 7K. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Poncelet–Steiner theorem 7K1BK9QMB9
| URI | m2://inv/7K1BK9QMB9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1186134, Poncelet–Steiner theorem (statement). Also Wikidata Q1186134
- thousand_plus: thousand_plus Q1186134, Poncelet–Steiner theorem (statement). Also Wikidata Q1186134, Wikipedia Poncelet–Steiner theorem
- wikidata: Wikidata Q1186134, Poncelet–Steiner theorem (statement). Also MathWorld Poncelet-SteinerTheorem
History
- 2026-10-26: add by m2/dev
ideal 7K2V431N0Y
| URI | m2://inv/7K2V431N0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Ideal 096Z9MP2ME |
Mentions
- wikidata: Wikidata Q44649, ideal (definition). Also EoM Ideal, MathWorld Ideal, ProofWiki Definition:Ideal_of_Ring
History
- 2026-10-26: add by m2/dev
desmic mate 7K5R8RADYQ
| URI | m2://inv/7K5R8RADYQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2184737, desmic mate (unknown). Also MathWorld DesmicMate
History
- 2026-10-26: add by m2/dev
Leibniz’s Series for Pi 7K9XXA0X9W
| URI | m2://inv/7K9XXA0X9W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 26, Leibniz’s Series for Pi (statement). Also Mathlib Real.tendsto_sum_pi_div_four
History
- 2026-10-26: add by m2/dev
Weierstrass point 7KAFVYTWZQ
| URI | m2://inv/7KAFVYTWZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7979825, Weierstrass point (unknown). Also MathWorld WeierstrassPoint
History
- 2026-10-26: add by m2/dev
hat matrix 7KB2YZ992C
| URI | m2://inv/7KB2YZ992C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5680845, hat matrix (unknown). Also MathWorld ProjectionMatrix
History
- 2026-10-26: add by m2/dev
Yoshio Mikami 7KB4PGY3EC
| URI | m2://inv/7KB4PGY3EC |
|---|---|
| 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 Q251702, Yoshio Mikami (unknown). Also ProofWiki Mathematician:Yoshio_Mikami
History
- 2026-10-26: add by m2/dev
Joel Kamnitzer 7KBJ9WXSXT
| URI | m2://inv/7KBJ9WXSXT |
|---|---|
| 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 Q17576271, Joel Kamnitzer (unknown). Also nLab Joel Kamnitzer
History
- 2026-10-26: add by m2/dev
elevator paradox 7KBK2WZ2HJ
| URI | m2://inv/7KBK2WZ2HJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1158877, elevator paradox (unknown). Also MathWorld ElevatorParadox
History
- 2026-10-26: add by m2/dev
Alexandroff extension 7KCW25BK3K
| URI | m2://inv/7KCW25BK3K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | One-point compactification 0GWN3CMRK8 |
Mentions
- wikidata: Wikidata Q864919, Alexandroff extension (unknown). Also EoM Aleksandrov_compactification, MathWorld One-PointCompactification, nLab one-point compactification
History
- 2026-10-26: add by m2/dev
characteristic polynomial 7KESVRWK55
| URI | m2://inv/7KESVRWK55 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Endomorphism polynomials > characteristic polynomial, characteristic polynomial (unknown). Also Mathlib Matrix.charpoly
- mathlib_undergrad: mathlib_undergrad Linear algebra > Endomorphism polynomials > characteristic polynomial, characteristic polynomial (unknown). Also Mathlib Matrix.charpoly
History
- 2026-10-26: add by m2/dev
Lipschitz constant 7KGFV69ZC9
| URI | m2://inv/7KGFV69ZC9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130741864, Lipschitz constant (concept). Also EoM Lipschitz_constant
History
- 2026-10-26: add by m2/dev
topological subspace 7KGT58KV80
| URI | m2://inv/7KGT58KV80 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77613467, topological subspace (definition). Also ProofWiki Definition:Topological_Subspace
History
- 2026-10-26: add by m2/dev
causal structure 7KH6RJ1HSD
| URI | m2://inv/7KH6RJ1HSD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2364925, causal structure (unknown). Also MathWorld CausalNetwork, nLab causal structure
History
- 2026-10-26: add by m2/dev
separation logic 7KNVJEPW8D
| URI | m2://inv/7KNVJEPW8D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3257964, separation logic (unknown). Also nLab separation logic
History
- 2026-10-26: add by m2/dev
phi meson 7KQ2DRJN02
| URI | m2://inv/7KQ2DRJN02 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q309954, phi meson (unknown). Also nLab phi-meson
History
- 2026-10-26: add by m2/dev
aristotelianism 7KS0AHGZNW
| URI | m2://inv/7KS0AHGZNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q263307, aristotelianism (definition). Also ProofWiki Definition:Aristotelian_Philosophy
History
- 2026-10-26: add by m2/dev
frame bundle 7KT861WR20
| URI | m2://inv/7KT861WR20 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5477902, frame bundle (unknown). Also nLab frame bundle
History
- 2026-10-26: add by m2/dev
Meredith graph 7KTTX8P50V
| URI | m2://inv/7KTTX8P50V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115517, Meredith graph (unknown). Also House of Graphs 1225, MathWorld MeredithGraph
History
- 2026-10-26: add by m2/dev
Dawson–Gärtner theorem 7KW61FV476
| URI | m2://inv/7KW61FV476 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5242704, Dawson–Gärtner theorem (statement). Also Wikidata Q5242704
- thousand_plus: thousand_plus Q5242704, Dawson–Gärtner theorem (statement). Also Wikidata Q5242704, Wikipedia Dawson–Gärtner theorem
History
- 2026-10-26: add by m2/dev