找回密码
 欢迎注册
查看: 23086|回复: 17

[原创] 强悍的符号计算软件 Axiom

[复制链接]
发表于 2012-2-1 21:35:38 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有账号?欢迎注册

×
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) ->
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2012-2-1 21:42:42 | 显示全部楼层
找到了,好像是这2个积分:
http://en.wikipedia.org/wiki/Risch_algorithm


毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 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 | 显示全部楼层
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2012-2-2 10:32:08 | 显示全部楼层
无法连接主页,提供个附件下载吧
〇〇 发表于 2012-2-2 10:27

下面这个打不开
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
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2012-2-3 10:46:29 | 显示全部楼层
6# 〇〇
的确
我是用pac配置文件自动代理访问的
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 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 金币 +2 贡献 +2 经验 +2 鲜花 +2 收起 理由
wayne + 2 + 2 + 2 + 2 + 2 社区有你更精彩

查看全部评分

毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2024-4-16 22:47 , Processed in 0.055971 second(s), 17 queries .

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

快速回复 返回顶部 返回列表