linear_algebra_done_right
所属分类：数学计算
开发工具：Lean
文件大小：0KB
下载次数：0
上传日期：2023-06-08 19:34:07
上 传 者：
sh-1993
说明： 谢尔登·阿克斯勒（Sheldon Axler）的教科书《线性代数》（Linear Algebra Done Right）翻译为《精益》（Lean），
(A translation of Sheldon Axler s textbook Linear Algebra Done Right into Lean,)
文件列表:
LinearAlgebraDoneRight.lean (187, 2023-12-11)
LinearAlgebraDoneRight/ (0, 2023-12-11)
LinearAlgebraDoneRight/Chapter1.lean (106, 2023-12-11)
LinearAlgebraDoneRight/Chapter1/ (0, 2023-12-11)
LinearAlgebraDoneRight/Chapter1/section1A.lean (10503, 2023-12-11)
LinearAlgebraDoneRight/Chapter1/section1B.lean (7981, 2023-12-11)
LinearAlgebraDoneRight/Chapter1/section1C.lean (11378, 2023-12-11)
Main.lean (90, 2023-12-11)
lake-manifest.json (1872, 2023-12-11)
lakefile.lean (589, 2023-12-11)
lean-toolchain (28, 2023-12-11)
This is a translation of the book [Linear Algebra Done Right, 4th edition](https://linear.axler.net/) by Sheldon Axler into Lean 4. The book is freely available from the site above.
近期下载者：
相关文件：
收藏者：