[1/3] macOS 自带的函数图像绘制工具(Grapher),偶尔用一次还真方便。这个小软件跟其他 macOS 系统自带软件几乎没有关系,但是竟然支持数学公式排版输入(否则用户就得再学一门数学语言),高亮显示多条数学曲线中的一条。我早已没有 Mathematica 最新版了,MATLAB 纯粹是浪费硬盘空间,这段时间一直在用 AXIOM/OpenAxiom/FriCAS 来辅助 HOL 定理证明。但画图还是 macOS 原生工具好。

https://postimg.cc/gallery/sWkpDfS

Reply to this note

Please Login to reply.

Discussion

No replies yet.