弱问:哪种软件可以用符号运算来做数学归纳法？ - Mathematics版 - 未名存档

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

Mathematics版 - 弱问:哪种软件可以用符号运算来做数学归纳法？

相关主题
● 请推荐一个符号运算软件	● Symbolic Math 那个更好用？Matlab Mathematica？
● 诚恳求助：如何用MATHEMATICA确定表达式的符号？	● 请教一个投稿的问题
● 不行啊。Re: 诚恳求助：如何用MATHEMATICA确定表达式的符号	● 问题求助
● matlab 能不能解符号矩阵方程？	● Re: 求助：这道题该怎么证明？ (转载)
● mathematica是不是可以对formula进行求导运算？	● 刚做的一个简单的问题
● 遇到经典数学难题	● 哪位大牛能帮我挑挑这个四色问题证明的错误
● 请问如何让mathematica inverse这样的矩阵？	● 这个能算一个数论的定理么？
● 想买个计算器，大家有什么好的推荐吗？	● a math joke正整数之正无理数次方为无理数的一个初等证明

相关话题的讨论汇总
话题: 归纳法话题: 号运话题: 用符

进入Mathematics版参与讨论

1

(共1页)

s******u
发帖数: 757

1

需要用数学归纳法来证明某个结论，
符号运算，求解析解，
关键是从k=t到 k=t+1这一步。
有什么软件可以做吗？
我查了半天，mathematica好像做不了啊？
谢了先

1

(共1页)

进入Mathematics版参与讨论

相关主题
● a math joke正整数之正无理数次方为无理数的一个初等证明	● mathematica是不是可以对formula进行求导运算？
● 数学归纳法的英文是什么？	● 遇到经典数学难题
● 来一道题	● 请问如何让mathematica inverse这样的矩阵？
● 大家也帮忙看看这个题	● 想买个计算器，大家有什么好的推荐吗？
● 请推荐一个符号运算软件	● Symbolic Math 那个更好用？Matlab Mathematica？
● 诚恳求助：如何用MATHEMATICA确定表达式的符号？	● 请教一个投稿的问题
● 不行啊。Re: 诚恳求助：如何用MATHEMATICA确定表达式的符号	● 问题求助
● matlab 能不能解符号矩阵方程？	● Re: 求助：这道题该怎么证明？ (转载)

相关话题的讨论汇总
话题: 归纳法话题: 号运话题: 用符

未名新帖统计// 7月16日

#	版面	帖数(主题数)
-	全站	4871 (796)
1	Military	3777 (569)
2	Stock	341 (51)
3	Joke	117 (17)
4	History	116 (3)
5	Automobile	100 (9)
6	USANews	55 (9)
7	Midlife	45 (1)
8	Headline	41 (41)
9	Dreamer	33 (13)
10	FleaMarket	32 (20)
11	Living	30 (7)

* 这里只显示发帖超过25的版面，努力灌水吧:-)