wayne 发表于 2012-2-1 21:35:38

强悍的符号计算软件 Axiom

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 发表于 2012-2-1 21:42:42

找到了，好像是这2个积分：
http://en.wikipedia.org/wiki/Risch_algorithm
http://upload.wikimedia.org/wikipedia/en/math/3/0/1/30104767921e8b262771d3fe8874ae29.png

http://upload.wikimedia.org/wikipedia/en/math/d/c/c/dcc9374380ea6bd177314754246fe69a.png

wayne 发表于 2012-2-2 08:33:55

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

我用的是Maple15 和Mathematica8.0.4

〇〇 发表于 2012-2-2 10:27:47

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

〇〇 发表于 2012-2-2 10:30:27

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

〇〇 发表于 2012-2-2 10:32:08

无法连接主页，提供个附件下载吧
〇〇 发表于 2012-2-2 10:27 http://bbs.emath.ac.cn/images/common/back.gif
下面这个打不开
http://axiom-developer.org/

〇〇 发表于 2012-2-2 11:29:51

因式
分解
(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 发表于 2012-2-3 10:46:29

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

wayne 发表于 2013-1-23 13:37:54

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

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

云梦 发表于 2013-5-30 16:26:29

如果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.
页: [1] 2
查看完整版本: 强悍的符号计算软件 Axiom