Crispher / MathlibExplorerLinks
Visualizing the network of math theories.
☆547Updated last year
Alternatives and similar repositories for MathlibExplorer
Users that are interested in MathlibExplorer are comparing it to the libraries listed below
Sorting:
- ☆105Updated 5 months ago
- 磁悬浮青蛙呱呱呱,工程师视角下的高中数学。☆263Updated this week
- The math library of Lean 4☆2,078Updated this week
- 数学系部分课程教材及参考资料,自用,侵删☆264Updated 6 months ago
- 线性代数:未竟之美☆569Updated 2 months ago
- 乐正垂星的个人manim项目库。存放了B站视频的源码与一些练习。乐正垂星的B站主页:https://space.bilibili.com/2057313067☆97Updated last year
- ☆177Updated last year
- ☆135Updated 2 years ago
- A library for creating smooth animations☆147Updated 2 weeks ago
- An animation engine inspired from manim and three.js☆118Updated last year
- 代数基本观念☆15Updated 3 months ago
- This is the latest version of textbook《大数理论》(Googology).☆49Updated 2 weeks ago
- Methods in Algebra (Volume 1): A Chinese textbook on Algebra☆445Updated last month
- 悟数学☆148Updated last week
- Manim 社区版中文文档☆59Updated 2 months ago
- All pi creatures that appear in 3b1b video, used for making pi creature scenes. Star please!☆84Updated last year
- 中山大学-物理与天文学院-本科实验报告LaTeX模板☆23Updated last month
- An efficient relativistic ray tracer based on numpy.☆90Updated 2 years ago
- 物理学学习资料☆248Updated 11 months ago
- LaTeX sources for notes for the maths courses at Cambridge.☆103Updated last year
- Awesome Typst 列表中文版☆490Updated last year
- 数学笔记☆77Updated this week
- 《力学概论》LaTeX 重排版☆265Updated last year
- A Lean companion to Analysis I☆725Updated this week
- Homepage of the Lean-zh website.☆35Updated 3 weeks ago
- 一份manim中文教程文档 / manim tutorial document in Chinese (完善中)☆162Updated 2 years ago
- some of my manim projects☆240Updated 3 years ago
- 4D space visualization☆37Updated 2 years ago
- 一本LaTeX图书的中文译本☆98Updated last year
- some good books☆34Updated 4 years ago