Zenn
Log in
代数学
このトピックを指定するには
代数学
と入力
フォロー
Articles
13
Scraps
2
articles
Trending
Alltime
Latest
🐱
【AbstractAlgebra.jl】Juliaで代数学をやってみたいんじゃ①
みぽ
2020/12/31
47
🐱
【AbstractAlgebra.jl】Juliaで代数学をやってみたいんじゃ② ～剰余環を使って√2やiをつくろう～
みぽ
2021/01/02
23
🐱
【AbstractAlgebra.jl】Juliaで代数学をやってみたいんじゃ③ ～-1の平方根をたくさんつくろう～
みぽ
2022/12/31
14
😘
合成数を2つの平方数の和で表す
Amane Otsuka
2020/10/24
6
👋
ヨビノリ群論入門②をLean4で形式化 ~ 群の定義 ~
tana
1ヶ月前
4
✏️
回転行列SO(3)とSO(4),四元数との対応関係
トロ
3ヶ月前
2
🧩
[数学読物] - （マイナス）×（マイナス）＝（プラス）の証明
K.Hidaka
2023/08/30
2
🎉
SymPyで行列計算結果を確認する
トロ
3ヶ月前
1
🔄
米田の補題を1枚の図式で描こう
HAL
2024/07/11
2
🧮
代数学 #1 論理
kamimura
2024/02/23
🙄
ヨビノリ群論入門③をLean4で形式化 ~ 対称群 ~
tana
1ヶ月前
1
📚
Lean4で全単射や逆関数の性質を証明
tana
1ヶ月前
2
🕌
ヨビノリ群論入門をLean4で形式化
tana
1ヶ月前
