PlotKityCat:老师,这次,我要真正把看见数学带进教室!开源免费的数学可视化编译器,集成AI功能,U盘便携,为交互式的数学可视化打造!
AI原生开源学习软件——DeepStudent【Win/Mac/Android】
985数学博主学manim做数学视频,但是发现这玩意效率太低了!中看不中用,感觉自己在用python写前端
数学动画?有嘴就行!一个开源免费的数学动画网站项目:ManimCat
数学老师必看!AI 助+GGBPuppy,GeoGebra 脚本编写从此“零门槛”
【闪客】你管这破玩意叫 Lean?为什么它能保证绝对正确
如何复现MIT学生用NotebookLM 48小时过线性代数
老板支持我开源啦,两个好用的Manim小库:手写板书和时间轴
为什么不建议用教材推荐的GeoGebra? 难道是
大二女生一周时间上线的古早博客网站
告别本地部署!网页版Manim数学动画工具
「WriteTex」平板/iPad手写LaTeX公式,电脑直接粘贴!解锁AI新玩法
如何实现一个自己的MAA?MaaFramework集成教程来啦!
当大一新生搓出来的mathmate已超越老旧的作业帮
【manim】看来没有什么是manim做不到的动画了
四个月,我用 Rust 重写了 Manim
PPT 做不出这种效果?试试 Manim 吧,隔壁数学老师都馋哭了!| 3Blue1Brown复刻 / 2D 图形绘制 / 复杂波形合成 / 视觉优化
ai数学动画全教程(附提示词&开源项目)
【大更新】立体几何来了!支持导出GGB源文件,MathMover v1.1.0 版本发布
【为了追数学老师妹子做的AI工具】llm接入geogebra的最近一些进展 | GeoChat