|
|
全部内容
墨干编辑器作者。
GNU TeXmacs支持绝大部分的计算机代数系统，相关的讨论可以在GNU TeXmacs的论坛上展开。 GNU TeXmacs的计算机代数系统子板块： Computer Algebra Systems
2022 年度新知答主
谢邀。 我自己的研究不太用编程，除了有一次托别人拿mathematica帮我算了一些东西。。其实也是很直接的计算，4阶带变量的矩阵求特征值、特征向量，符号运算。我们系以前的博后Renato曾经编过如下程序，输入曲率张量，判定对应的截面曲率是否恒为正或者非负——其实具体怎么实现的我也不清楚。。 不过我知道做数论的人经常使用Magma, SageMath一类软件，而且之前申博后的时候看到招计算数论的项目，是Simons center资助的一个设计…
墨干编辑器作者。
在GNU TeXmacs用FriCAS计算了一下这个简单的方程： [图片] 虽然我数学很差，还是给各位大佬们安利一下FriCAS。 References [文章: FriCAS的编译与安装]
MathLab - 一个基于计算机代数系统的极轻量级计算器和编译器
拥有Wolfram Mathematica的核心功能。它完全是我自己写的，没有使用现有的库，只用控制台C语言，所以占用的空间非常小，而且可以随时使用（<120KB，在一个可携带的可执行文件中）。这个项目最初是在我大一刚学完C语言编程的寒假里写的，实现了我初中玩计算器时想要写一个计算机代数系统的梦想。它经过两次主要的功能扩展，成为现在的样子。（我大二上数据结构课时很想拿它一份代码应对所有课程作业，但是还是忍了，针对作业要求…
匿名用户
感谢邀请。 其实我不会回答，只说几句吧。 几年前一个台湾朋友玩prolog，说分类问题就是回答Yes／No的问题，我觉得虽然他没有上很好的学校，但是很有想法的。我们称他为烤猫 对于符号计算，我比较佩服Mathematica的能力，但是，说实话，如果我想把符号计算和数值计算相结合，会感觉很无力。我是做数值的，会MATLAB 数学上，符号计算能力已经很不错了，但是我并不知道用途在哪。在计算群的时候用，在计算李群的时候我在用，但是效…
学设计的代码小徒
CF位并不是直接通过运算结果是否有进位来决定的。 就像对于有符号数来说，OF=（最高位有进位）异或（次高位有进位） 对于CF来说，CF=（运算结果有进位）异或（加法还是减法） 其中第二个标志 当执行减法时设置为1.
前ZFC居民
用MAGMA，很好使，我硕士毕业论文刚刚用了，功能非常强大，详见： http://magma.maths.usyd.edu.au/magma/
(*_*)
应该是bug了。 下面这个方程长得和你给的差不多，却能给出正确的解答（可能是因为它的解是有理数）： (%i1) solve([x^2+y^2=1,(x-2)^2+(y-3)^2=8],[x,y]); 12 5 (%o1) [[x = --, y = --], [x = 0, y = 1]] 13 13 下面这个方程和你给的有同样的解，却也能给出正确的解答： (%i2) solve([x^2+y^2=1,(x-2)^2+(y-3)^2-x^2-y^2=8],[x,y]); 5/2 5/2 5/2 5/2 3 - 10 2 3 + 45 3 + 10 2 3 - 45 (%o2) [[x = - ---------, y = -----------…
您所查看的帐号已经被永久封禁
https://www.zhihu.com/question/48175694 第一个回答的后半部分有一些看法。题主就自行判断一下吧。 PS小透明第一次回答纪念