Inter-universal geometryとABC予想(シン応援スレ) 92at MATH

---

652:１３２人目の素数さん
26/07/30 09:24:20.41 aK686lPJ.net
>>639
>３）これを いま 線形空間のLean化に当て嵌めると、
>　有限次元の線形空間が扱えるライブラリーだけでは、無限次元線形空間は扱えない
>　つまり、無限次元線形空間を扱うライブラリーを人が用意する必要があるということだ
線形代数もLeanも初歩の初歩から分かってないど素人の妄言

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch