| 查看: 418 | 回复: 1 | |||
| 当前主题已经存档。 | |||
cqxl木虫 (正式写手)
|
[交流]
【分享】符号计算暑期讲习班(SSSC2008)
|
||
|
符号计算暑期讲习班参考网址： http://www.is.pku.edu.cn/~xbc/SSSC08/ 符号计算是与数值计算相对应，符号计算考虑如何在计算机上表示和处理符号数学对象以及如何进行这些符号对象之间的精确运算和形式推导。它的主要分支包括计算机代数与分析、几何计算、自动推理与编程等。符号计算软件已成为解决各种科学与工程问题的有力工具。符号计算与自动推理和吴文俊院士开创并倡导的数学机械化密切相关，而作为相近学科它们又各具特色、侧重不一。符号计算强调构造性理论的建立与发展、有效算法的设计与实施、软件系统的研制与开发，以及它们在科学工程中的应用。 |
回复此楼» 猜你喜欢
售SCI文章，我:8O.5.5.1O.54,科目全,可十急
已经有10人回复
-
售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急
已经有10人回复
-
售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急
已经有17人回复
-
售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急
已经有7人回复
-
售SCI一区T0P文章，我:8O.55.1.O.54,科目全,可伽急
已经有9人回复
-
申博自荐 2篇一区TOP+1篇EI+2公开发明专利 2027博士申请
已经有3人回复
-
越来越担心硕士毕业后没有竞争力了
已经有12人回复
-
闲聊
已经有6人回复
-
申博求助
已经有4人回复
cqxl
木虫 (正式写手)
- 应助: 0 (幼儿园)
- 金币: 1785.7
- 帖子: 407
- 在线: 101.8小时
- 虫号: 508478
- 注册: 2008-02-21
- 性别: GG
- 专业: 计算机科学的基础理论
2楼2009-07-09 20:29:29