导语：距离用深度学习技术求解符号数学推理问题，或许只差一个恰当的表示和数据集。 雷锋网 AI 科技评论按：近日，Facebook AI研究院的Guillaume Lample 和Francois Charton两人在arxiv上发表了一篇论文，标题为《Deep Learning for Symbolic Matehmatics》。 这篇论文提出了一种新 ...

最近国内有一堆人哭着喊着说Matlab又卡脖子了。如果matlab就卡脖子了，那么有一堆行业软件ProE, Ansys, Solidworks, CATIA, Fluent纷纷表示不服。 我在2000年左右开始接触matlab，2005年左右因为正版化的要求，曾经尝试过去Matlab，根据我的阅历说说我的观察与理解。 初识 ...