Inventory rows FS
The cards of the rows of the inventory whose ids start with FS. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
vector space FS3H3KZHNY
| URI | m2://inv/FS3H3KZHNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Vector space 000AYPA9AJ |
Mentions
- wikidata: Wikidata Q125977, vector space (definition). Also EoM Vector_space, MathWorld AbstractVectorSpace, MathWorld VectorSpace, nLab vector space, ProofWiki Definition:Vector_Space
History
- 2026-10-26: add by m2/dev
quantum error correction FS4CFB0S4B
| URI | m2://inv/FS4CFB0S4B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1536431, quantum error correction (unknown). Also nLab quantum error correction
History
- 2026-10-26: add by m2/dev
neopythagoreanism FS4KBBDGZ4
| URI | m2://inv/FS4KBBDGZ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1147651, neopythagoreanism (definition). Also ProofWiki Definition:Neo-Pythagoreanism
History
- 2026-10-26: add by m2/dev
Lie's theorem FS539687N2
| URI | m2://inv/FS539687N2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 17-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q20971632, Lie's theorem (statement). Also Mathlib LieModule.exists_nontrivial_weightSpace_of_isSolvable, Wikidata Q20971632
- thousand_plus: thousand_plus Q20971632, Lie's theorem (statement). Also Wikidata Q20971632, Wikipedia Lie's theorem
History
- 2026-10-26: add by m2/dev
Kosnita's theorem FS5PQAXC9Q
| URI | m2://inv/FS5PQAXC9Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18207105, Kosnita's theorem (statement). Also MathWorld KosnitaTheorem
History
- 2026-10-26: add by m2/dev
Kenneth Ribet FS7Z0NWSES
| URI | m2://inv/FS7Z0NWSES |
|---|---|
| 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 Q535655, Kenneth Ribet (unknown). Also nLab Ken Ribet
History
- 2026-10-26: add by m2/dev
anomaly FS8GVCR6Q0
| URI | m2://inv/FS8GVCR6Q0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q567560, anomaly (unknown). Also nLab quantum anomaly
History
- 2026-10-26: add by m2/dev
trivial group FS9J3BVFFG
| URI | m2://inv/FS9J3BVFFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Trivial group 0BNPC9850Y |
Mentions
- wikidata: Wikidata Q568687, trivial group (definition). Also MathWorld TrivialGroup, nLab trivial group, ProofWiki Definition:Trivial_Group
History
- 2026-10-26: add by m2/dev
tangent plane FSA3E4MRR0
| URI | m2://inv/FSA3E4MRR0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2392469, tangent plane (unknown). Also MathWorld TangentPlane
History
- 2026-10-26: add by m2/dev
context-free grammar FSBDJR2YSM
| URI | m2://inv/FSBDJR2YSM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q338047, context-free grammar (unknown). Also EoM Grammar,_context-free, nLab context-free grammar
History
- 2026-10-26: add by m2/dev
binomial theorem FSCJXA7ZBQ
| URI | m2://inv/FSCJXA7ZBQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 4 |
| Outcome | open |
| Node | Binomial theorem 0EHWPWGHB2 |
Mentions
- mathlib_100: mathlib_100 44, The Binomial Theorem (statement). Also Mathlib add_pow
- mathlib_1000: mathlib_1000 Q26708, Binomial theorem (statement). Also Mathlib add_pow, Wikidata Q26708
- thousand_plus: thousand_plus Q26708, Binomial theorem (statement). Also Mathlib add_pow, Wikidata Q26708, Wikipedia Binomial theorem
- wikidata: Wikidata Q26708, binomial theorem (statement). Also MathWorld BinomialTheorem, nLab binomial theorem, ProofWiki Binomial_Theorem
History
- 2026-10-26: add by m2/dev
Hilbert curve FSCT77QBG7
| URI | m2://inv/FSCT77QBG7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1366592, Hilbert curve (unknown). Also MathWorld HilbertCurve
History
- 2026-10-26: add by m2/dev
Shamit Kachru FSE51GQKKD
| URI | m2://inv/FSE51GQKKD |
|---|---|
| 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 Q368407, Shamit Kachru (unknown). Also nLab Shamit Kachru
History
- 2026-10-26: add by m2/dev
parapluie graph FSH3BJ15R3
| URI | m2://inv/FSH3BJ15R3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115595, parapluie graph (unknown). Also House of Graphs 1252, MathWorld ParapluieGraph
History
- 2026-10-26: add by m2/dev
translation numbers define a group action up to semiconjugacy FSH8NZXXRB
| URI | m2://inv/FSH8NZXXRB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Dynamics > Circle dynamics > translation numbers define a group action up to semiconjugacy, translation numbers define a group action up to semiconjugacy (unknown). Also Mathlib CircleDeg1Lift.semiconj_of_group_action_of_forall_translationNumber_eq
History
- 2026-10-26: add by m2/dev
epicycloid FSJFK4T3KB
| URI | m2://inv/FSJFK4T3KB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q214556, epicycloid (unknown). Also EoM Epicycloid, MathWorld Epicycloid
History
- 2026-10-26: add by m2/dev
Course of Theoretical Physics FSJPQSDKJM
| URI | m2://inv/FSJPQSDKJM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1965801, Course of Theoretical Physics (unknown). Also nLab Course of Theoretical Physics
History
- 2026-10-26: add by m2/dev
Least common multiple (or LCM) of {1, 2, ..., n} for n >= 1, a(0) = 1. FSR4B677NR
| URI | m2://inv/FSR4B677NR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100193223, Least common multiple (or LCM) of {1, 2, ..., n} for n >= 1, a(0) = 1. (object). Also OEIS A003418
History
- 2026-10-26: add by m2/dev
John Myhill FSWNTMDV6H
| URI | m2://inv/FSWNTMDV6H |
|---|---|
| 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 Q402579, John Myhill (unknown). Also nLab John Myhill
History
- 2026-10-26: add by m2/dev