前言
很多人把数学当成一门人类纯思维活动的学科,这是不对的,数学和物理,化学等学科一样,也是一门实验性学科,像计算圆周率的蒲丰投针法和蒙特卡罗法就是非常具有代表性的数学试验。
随着科学技术的进步,越来越多的数学理论在现实生活中得以证实和具象化,这反过来也促进了数学的进步和发展,并将逐渐形成一门新的学科——数学工程学。数学工程学简而言之就是借用工程化的理论和手段进行数学研究,发展过程中必然会经历三个阶段,第一个阶段是对数学对象和规律的再演绎再认识;第二个阶段是辅助和研究新的数学对象和规律,比如辅助证明等,第三个阶段是引领新的数学规律的发现,如利用人工智能发现新的数学公式等。
什么是Manim
Manim是一个python第三方库,全称是mathematical animation engine,一款非常著名的数学动画引擎,最初出于斯坦福大学的数学系学生Grant Sanderson 在YouTube 创建的个人频道3Blue1Brown,用以解说线性代数、微积分、神经网络、黎曼猜想、傅里叶变换以及四元数等,由于动画制作精良,解释的角度独特,越来越多读者开始关注并加入其中一起贡献,manim