Crispher / MathlibExplorerLinks
Visualizing the network of math theories.
☆585Updated last year
Alternatives and similar repositories for MathlibExplorer
Users that are interested in MathlibExplorer are comparing it to the libraries listed below
Sorting:
- ☆109Updated 9 months ago
- The math library of Lean 4☆2,455Updated this week
- 磁悬浮青蛙呱呱呱,工程师视角下的高中数学。☆320Updated 2 months ago
- ☆160Updated 2 years ago
- Methods in Algebra (Volume 1): A Chinese textbook on Algebra☆462Updated last week
- 数学系部分课程教材及参考资料,自用,侵删☆298Updated 10 months ago
- This is the latest version of textbook《大数理论》(Googology).☆66Updated last month
- 乐正垂星的个人manim项目库。存放了B站视频的源码与一些练习。乐正垂星的B站主页:https://space.bilibili.com/2057313067☆105Updated 2 years ago
- 物理学学习资料☆281Updated last year
- Download all GTMs by the scripts☆73Updated 6 years ago
- ☆197Updated last year
- 代数基本观念☆15Updated 7 months ago
- 线性代数:未竟之美☆620Updated last week
- A Lean companion to Analysis I☆1,246Updated this week
- Math Course Materials of SUSTech☆312Updated 10 months ago
- A library for creating smooth animations☆189Updated last week
- Awesome Typst 列表中文版☆534Updated 2 years ago
- A latex math note template☆38Updated 6 months ago
- 清华大学公共数学基础课学习指南☆116Updated 2 years ago
- An animation engine inspired from manim and three.js☆120Updated last month
- All pi creatures that appear in 3b1b video, used for making pi creature scenes. Star please!☆86Updated 2 years ago
- MixTeX multimodal LaTeX, ZhEn, and, Table OCR. It performs efficient CPU-based inference in a local offline on Windows.☆1,547Updated 6 months ago
- MIT Gilbert Strang教授的线性导数导论笔记,包含全中文书本内容和视频笔记☆331Updated 2 years ago
- 4D space visualization☆38Updated 2 years ago
- 中山大学-物理与天文学院-本科实验报告LaTeX模板☆23Updated 5 months ago
- ☆323Updated 8 years ago
- ☆144Updated last year
- 数学笔记☆83Updated this week
- Manim 社区版中文文档☆65Updated 6 months ago
- Classical Mechanics Cheat Sheet based on https://github.com/kenfehling/latex-cheatsheet, first made in 2019 as part of the Physics underg…☆33Updated 9 months ago