强悍的符号计算软件 Axiom

wayne

Axiom也是一个符号计算软件，这软件厉害的不得了，曾经我在论坛里贴出了几个不定积分，用Mathematica解不出初等函数的来，但axiom却能 Arch AUR 里有axiom，不过需要自己更改PKGBUILD, 添加 options=(!strip)

OpenAxiom: The Open Scientific Computation Platform Version: OpenAxiom 1.4.1 Built on Wednesday February 1, 2012 at 02:41:31 ----------------------------------------------------------------------------- Issue )copyright to view copyright notices. Issue )summary for a summary of useful system commands. Issue )quit to leave OpenAxiom and return to shell. ----------------------------------------------------------------------------- (1) -> integrate(1/cos(x),x) sin(x) + cos(x) + 1 sin(x) - cos(x) - 1 (1) log(-------------------) - log(-------------------) cos(x) + 1 cos(x) + 1 Type: Union(Expression Integer,...) (2) -> 123**34 (2) 113965602005968684136628000184496763088921243891670079405854808234118809 Type: PositiveInteger (3) ->

wayne

找到了，好像是这2个积分： http://en.wikipedia.org/wiki/Risch_algorithm

wayne

2# wayne 刚才测试了一下 ，第一个积分Maple和Mathematica都返回很复杂的式子。 第二个积分，Maple和Mathematica都解不出来，直接罢工 我用的是Maple15 和Mathematica8.0.4

〇〇

无法连接主页，提供个附件下载吧

〇〇

找到了 http://www.open-axiom.org/

〇〇

无法连接主页，提供个附件下载吧 〇〇 发表于 2012-2-2 10:27

下面这个打不开 http://axiom-developer.org/

〇〇

因式 分解 (8) -> factor 1233353764 2 (8) 2 19 239 67901 Type: Factored Integer (13) -> factor(x*x+2*x*y+y*y) 2 (13) (y + x) Type: Factored Polynomial Integer

wayne

6# 〇〇 的确 我是用pac配置文件自动代理访问的

wayne

axiom 其实是一个 literate program，现已经分化出2个开源项目 OpenAxiom,FriCAS. Literate programming是Donald Knuth 提出的一个针对现今广泛流行的结构化编程的一个相反的概念。 旨在让程序语言和人的自然语言没有任何区别，就是文档和代码都是同等功效，并无二致的那种。 国内有人翻译成 文艺编程http://blog.csdn.net/lqhbupt/article/details/7800967

不要认为程序的主要任务是指导计算机怎么做，相反，程序要致力于向人们解释，它想让计算机做什么。 文艺编程人士可被视为作家，他们首要考虑的任务是如何清楚地阐述、如何形成优秀的风格。这样的作者胸有成竹，会仔细地挑选变量名，并给予解释。为力求程序之可读，他/她使用形式和非形式互补的混合手法，将各种概念按照人们能理解的方式顺序编排下来。

云梦

如果k为方程16 - 20 w^3 - 125 w^4 - 8 w^5 - 25 w^6 + 5 w^8 + w^10的一个根，则： X = 1/10 (-4 - 25 k + k^5) Y = 1/20 (20 k + 125 k^2 + 4 k^3 + 25 k^4 - 5 k^6 - k^8) Z = k 一共有十组解不错。只有求出10个k,就能得到10个X,Y,Z.