L***n
发帖数: 6727 | 1 如果你思考是按照逻辑推理来进行的，总要从定义出发，文理都是，
中国传统文化的思考习惯倒是比较混乱，逻辑成分少，感性成分比较多
再发挥一下哈，符号计算少，用图形比较多 |
|
f*u
发帖数: 5923 | 2 你自己看萨苏写的科学院的事，数学院也没怎么批斗。
就算吴文俊，也是毛时代有杰出成就，你说没啥意思的机器证明是晚年邓时代了好不好？
http://baike.baidu.com/view/34449.htm
=================================================
吴文俊毕业于交通大学，1949年获得法国斯特拉斯堡大学博士学位。70年代后期，
在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统(即算法化思想)，
转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性
的工作，被称为吴特征列方法，产生了巨大影响。吴的研究取得了一系列国际领先成果
并已应用于国际上当前流行的符号计算软件方面。
1951年8月回到中国，在北京大学数学系任教授
1952年10月到新建数学研究所任研究员
1954年开始非同伦性拓扑不变量的研究，由此引入示嵌类并开展复合形嵌入、浸入
与同胚的研究
1956年赴苏联参加全苏第三届数学家大会做Pontrjagin示性类报告，受到好评
1956年随同陈建功、程民德教授访问始同国外学术界恢复联系，陈省身... 阅读全帖 |
|
G*****h
发帖数: 33134 | 3 中国人搞 cs 的尤其不行
人家各种语言各种编译器解释器几十个了
唰唰地编译就能执行
中国人还只会一行一行手工码code
一个自己的编译器都没有
以后要是有人搞出自动编程的软件，肯定也是外国人弄的
Mathematica 那个公司都搞出一整套符号计算的软件库了
中国毛都没有 |
|
k******4
发帖数: 73 | 4 而且计算机也是有推导能力的 例如mathematica和matlab就有符号运算功能 数学系和
物理系用的比较多 |
|
k******4
发帖数: 73 | 5 而且计算机也是有推导能力的 例如mathematica和matlab就有符号运算功能 数学系和
物理系用的比较多 |
|
f*********t
发帖数: 11092 | 6 正弊犯又开始胡诹白咧了
接着装
白宫你见过馁个傻叉开枪打总统了
尼玛美国这种资本主义自由民主国家，国家元首只是证明国民一人一票选出来的，即使
总统出现意外，马上有紧急应急预案确保国家顺利过渡，国家元首就是个符号，死了谁
这国家也得转
反倒是你爹妈走在路上可得小心，被恐袭了，你可就复制不了了，你总不能街上看见一
个老中就认爹吧 |
|
发帖数: 1 | 7 符号计算计算机也可以做，未来AI做的比人好也不是不可能。 |
|
w**r
发帖数: 1 | 8 【 以下文字转载自 CS 讨论区 】
发信人: wyxr (armstring), 信区: CS
标 题: [请教选校]CS@PSU VS UWATERLOO
发信站: BBS 未名空间站 (Sat Apr 26 22:21:32 2008)
PSU的是一个助理教授，不过快转副职了。五年的PH。D
http://www.personal.psu.edu/faculty/p/u/pum10/
我是小本，对他发的论文什么的水平不懂，做的是数据挖掘（这个我现在一点都不懂）
过去要考他们学校的英语，视考试成绩定要不要上英语课
这个5月1号要答复
UWATERLOO是一个副教授，ACM/SIGSAM主席。给的是硕士（<=2年），在问我有没兴趣转
成博士
http://www.cs.uwaterloo.ca/~mwg/
同样也不知道水平怎样。不过MAPLE是他们组做的据说。做的是计算机代数和符号计算
的（这个我暑假实习的时候接触过，还有些兴趣）
没提到英语的问题，这个5月21号要答复
两边给的钱基本一样，前者是RA后者是TA+RA。都是在靠近大城市的小城镇。
前面的教授据他学生说会视你的勤奋程度 |
|
p*****9
发帖数: 21 | 9 对符号计算很感兴趣 非常想去它家，不知道有没有人可以介绍下情况或者求推荐 |
|
y**********a
发帖数: 824 | 10 遍历所有的可能性，计算。
public int maxResult(int[]A) {
int[]rel=new int[1];rel[0]=Integer.MIN_VALUE;
dfs(A, new int[A.length-1], 0, rel);
return rel[0];
}
void dfs(int[]A, int[]op, int i, int[] max) {
if (i==op.length) {
StringBuilder s=new StringBuilder();
s.append(Integer.toString(A[0]));
char[] opc=new char[4];
opc[0]='+';opc[1]='-';opc[2]='*';opc[3]='/';
for (int j=0;j
... 阅读全帖 |
|
t*******r
发帖数: 22634 | 11 计算机的出现也让以前很多奇淫巧计变成一无所用，比如以前
啥电镜法之类的，在 simulation 软件前不好意思跟人打招
呼。
以前刷刷刷推倒公式的，现在计算机都开始能做符号计算了，
堪忧啊。。。
不过另一方面，计算机的强大，让建模的能力更加凸显了好像。
以前建得出模型不一定能算得出来。。。 |
|
g****t
发帖数: 31659 | 12 General Motors和Chrysler组织了买车贷款金融组织,拿买车人贷款的钱
搞符号操作,就是GMAC,这是07压垮Chrysler的最后一根稻草.
所以其实我觉得,美国这种金融危机,时不时来上一次,挺有好处的.
反正现在有中国便宜商品撑着,社会上死不了人,不会变成30年代大萧条,经济危机.
很有道理，炒房太伤实业了.
大量资金用入地产, 我一个朋友说过，就是NASA到了中国，肯定下面也组织了NASA地产
投资公司. |
|
g*******e
发帖数: 4737 | 13 0:30:29
请用不超过5个自然数和四则运算符号计算出如下答案：
0.365079365079
那小伙子两秒就答出来了。这奏是天才。 |
|
h**d
发帖数: 5161 | 14 你原题哪说了是无限循环小数？
请用不超过5个自然数和四则运算符号计算出如下答案：
0.365079365079 |
|
s*****e
发帖数: 21415 | 15 大学里面用过，然后就没用过着劳什子了。
符号计算好像只有做作业有用，工作中一般用不上。。。 |
|
p**s
发帖数: 2707 | 16 我不懂什么欧拉角，我所有讨论都是基于你第一个帖子，用的符号也全是你写的。你在
这里扯了半天欧拉角，然后就栽到我脑子里了？ |
|
l*3
发帖数: 2279 | 17 能否对你的公式里的符号加一些说明?
另外, 你似乎没理解我是怎么分解的.
我不是按你说的方法分解的.
我是把圆盘上一点的速度先分为了两部分: 1. 质心速度部分 2. 该点相对质心的速度.
其中第一部分只与平动能有关, 与转动能无关.
第二部分与平动能无关, 只与转动能有关.
第二部分实际上相当于考虑 "质心固定不动" 下的总动能.
我将第二部分对应的速度分解为了沿圆盘方向的 和 垂直圆盘方向的. |
|
p***e
发帖数: 6 | 18 这年头我穷的当当当,当然希望毕业不要找不到工作.
对了,我要上的方向其实是optical soliton 的符号计算,数学类的,北邮.
我不知道以后可以应用吗? |
|
x****u
发帖数: 44466 | 19 两个长整过来你就吃瘪了，我猜你的编译器自动可以进化到任意字节的符号计算吧。 |
|
h*******u
发帖数: 15326 | 20 基本语法跟matlab一样，但是配套的包差远了。比如符号计算，没有maple这种包。 |
|
s*****V
发帖数: 21731 | 21 没说往深里探究，但是知道一点基础还是很好的，比如编译原理这种东西，你要是做一
个符号计算公式输入就可以借鉴。否则什么东西都要依靠别人的工具，稍微一点东西没
有就很别扭。 |
|
w*****g
发帖数: 16352 | 22 SymPy可以做符号计算吧。simulink没用过，好玩么？
还是不喜欢Matlab的语言。
★ 发自iPhone App: ChineseWeb 11 |
|
g****t
发帖数: 31659 | 23 simulink本质上比functional programming还functional programming。
是处理信号流的。符号计算是高科技，open source很难。
Maple写几行就可以解泊松方程，SymPy也可以用，
但是因为这几行code的后果可能会很严重，一般人不会用open source。 |
|
g****t
发帖数: 31659 | 24 另外Mathematica开始主要是符号计算系统，
类似于求微分方程解析解，化简复杂的多项式什么的。
后来加了别的很多包。
回头我看看apl／k／j，谢谢推荐
/J |
|
|
m******r
发帖数: 1033 | 26 果然是fp的大神， 佩服。
不过我还有些似懂非懂。 我原先的设想是，按照牛顿法，想把x_n --> x_n+1，就要按
照切线方向移动一段距离， 这段距离就是f/f' 这个没什么说的。如果你输入的g是个
简单函数，比如cos(x) - x或者5x +6, R要么像matlab一样做符号计算（matlab有个
toolbox, 你给他一个什么函数，他都能给你求导）， 要么用别的方法求导数， 反正
能算出个f', 然后就可以迭代了。
如果你给出g2 <- function(x){
cat(x, 'n')
cos(x) -x
}
R运行的时候，究竟怎么看这个g2 ? 他怎么知道第一行是打印？ 第二行是要求根的表
达式(函数)? 为什么第一行不能是你要求根的表达式?? 而且在以后的迭代中， R还能
‘记住’第一行和第二行分别是干什么的。
我是写惯了for loop, 看R竟然如此智能，很惊讶。 |
|
|
g***i
发帖数: 90 | 28 only heard of it a little bit
presently i'm using maple, derive, maxima/macsyma
for symbolic computations. they r very polular
what's the specility of FORM? |
|
i****y
发帖数: 8 | 29
FORM is strong at its surprisingly high speed (typically
10-100 times faster than Mathematica) and that it runs
very efficiently (both in disk space and time). So, it
is mainly used in those areas requiring enormously large
scale of formula manipulation, say, the high-energy
physics.
Of course FORM is not popular, in the sense of commercial
point of view. In fact I was a very experienced Mathematica
user before I started to use FORM with my current boss.
I know very little about MAPLE, DERIVE a |
|
g***i
发帖数: 90 | 30 Maple, derive, maxima, and also matlab(for symbolic comp),
they are similar in that u input some expression and
get the corresponding results, and so on. they may differ
in some functions, or the user interface. presently
the newest maple7 provides some nice and convenient
interfaces.
For derive, maxima, they r very small
Derive has convenient menu-driven user interface and the i
ntuitive operation.
this may be too simple to explain to u. |
|
g***i
发帖数: 90 | 31 and now in fact i use those tools just for some studying
i'm trying to find some research area in symbolic computations |
|
g***i
发帖数: 90 | 32 http://www-2.cs.cmu.edu/~dst/LispBook/index.html
Common Lisp: A Gentle Introduction to Symbolic Computation
David S. Touretzky
This book may be distributed in hardcopy form, for non-profit
educational purposes, provided that no fee is charged to the recipient
beyond photocopying costs. All other rights reserved. You may not
redistribute the Postscript file, e.g., you may not put a copy on another
web page, or include it on a CD-RO |
|
s***s
发帖数: 38 | 33 我不会lisp,只会scheme,(lisp的一个变种)吧.
我很奇怪lisp到底在什么领域能有用?感觉那个东西非常的不实用化.
AI? |
|
a**a
发帖数: 416 | 34 of course AI. And I think most mathematic symbolic program such as
maple, mathematica using lisp or lisp-like languages as their core
engine. |
|
s***s
发帖数: 38 | 35 Thanks for your explanation.
You mean that mathematica or maple use a lisp-like syntax? I never used them,
sorry.
But I think the difficulty of creating those math symbolic applications(e.g.
mathematica) lies in computational algebra, or computational ...(in some
sense, the clever algorithms to tackle math problems), not in lisp
symbolic processing at all.
I really know little on this, but it is very interesting to me.
I may work on this kinds of problems if have chance. :-) |
|
a**a
发帖数: 416 | 36 no. I meant that those mathematic programs calculate symbols inside by
list-like semantics. Your arguments sound like this:
The FORTRAN numerical library's power does not lie in the language
feature provided by FORTRAN language, instead in the algorithms used
in the library to tackle math problems.
Is this making sense to you? |
|
a**a
发帖数: 416 | 37 If the feature provided by FORTRAN is not so important, why didn't people
use LISP, which is as old as FORTRAN, to write numeric programs? |
|
s***s
发帖数: 38 | 38 Yes, language does help.
But I can not see any major advantage of Fortran than a general-purpose
language (e.g. C) |
|
a**a
发帖数: 416 | 39 C is later than Fortran. In other words, Fortran has advantages of twenty
years. And there is some features in FORTRAN can help the compiler giving
more optimizations than ones in C. |
|
l*i
发帖数: 136 | 40 FORTRAN最大的好处是老头们手头有大堆他们年轻时候用FORTRAN写的
东西,他们不想也不能丢掉这些破烂程序而用别的语言再写一遍,反正
这些程序是经过了漫长时间的充分考证的,为什么不接着用下去呢?
所以学生只得接着用. |
|
a**a
发帖数: 416 | 41 That is partial true. The story of the other side is that FORTRAN does
setup a performance standard for numeric computation. |
|
s***s
发帖数: 38 | 42 That is because:
1. no any other application driven for a general purpose languge,
since ealier applications of computer is mainly "computing".
2. Fortran compiler is easier to craft than C.
3. any others?
I agree with another guy's words. Fortran legacy codes are the only major
advantage of Fortran now. |
|
w*******g
发帖数: 99 | 43 From computational point of view, Fortran is faster than C and C++ ( from my
experience). With Fortran 90/95 you can also do OOP with Fortran and the
dynamic memory allocation is also overcome. You also can manipulate Array
more easily in Fortran and I think these are the reasons that Fortran can still
survive under the serious challenge posed by C/C++. |
|
a**a
发帖数: 416 | 44 Of course not. There is some article giving insights why FORTRAN is faster
than C/C++, and why C/C++ compiler can't give the optimization offered by FORTRAN
compiler. There are also many benchmark tests approving that. What
you think is your matter, but don't argue it without solid evidence. |
|
|
w*******g
发帖数: 99 | 46 This article gives only comparison between C++ and F77. From the comparison I
don't see that overall advantages that make C++ better than Fortran 77. The
author just said "C++ has cautht up with Fortran and is giving it stiff
competition". Still "no solid evidence" shows C++ is superior than its
counterpart. As I mentioned before, the comparison is just made for F77. With
the new development of F90/95 (soon F2000), Fortran has more powerful Array
manipulation capability and I think it will be a |
|
a**a
发帖数: 416 | 47 我随手找出一篇:
...
The main reason C++ has attracted the attention it has in the scientific
community is because Fortran 77 was a terribly outdated language. The many
weaknesses of Fortran 77 were solved with Fortran 90 however. Fortran 90 has
every feature in C that is important to scientific programming and most of
the features of an object oriented language (it lacks only inheritance and
that is likely going to be added in Fortran 2000). However unlike C and C++,
Fortran 90 is designed to generate |
|
s***s
发帖数: 38 | 48 I only know that so-called high performance fortran compiler is not
successful at all.
And I guess some "good" features fortran provide is "array" or "vector".
some old supercomputers have array or vector operations. So fortran may
use them in a very efficient way.
but now, "vector" supercomputers are gone, just like fortran.
pointer? |
|
