关于我们
我们是来自清华大学的一群年轻人
在maTHμ项目组中，没有繁杂的官僚机构、虚夸的表面文章
在这里有的是聪敏才智的 尽情挥洒
在这里有的是数学理论的 简洁优雅
在这里有的是架构设计的 奇思妙想
在这里有的是系统开发的 酣畅淋漓
- 我们在maTHμ的旗帜下走到一起！
- 提高专业技能，增长研究经验
- 参与自由的讨论，相互碰撞激荡出你的创造力
- 见证我们自己的科学计算引擎maTHμ的诞生过程
- 获得面对挑战，接受挑战，通过奋斗赢得挑战的可贵经历
- maTHμ团队正在运行的项目包括：
- 清华大学学生maTHμ研究协会(maTHμ Research)
- 4个学生立项SRT项目
- 2010年清华大学挑战杯创业计划大赛决赛队伍
- 清华大学第21期种子基金支持项目
- maTHμ团队已经完成的项目包括：
目前项目团队成员包括来自清华大学数学系、物理系、计算机系、软件学院、电子系、自动化系、水利系和经管学院等众多院系的三十余名同学，团队优秀成员介绍请见这里。
清华大学学生maTHμ研究协会（maTHμ Research）是由学生自发组建的，以计算机代数系统和科学计算引擎理论研究、软件开发和教育推广为目标的学生社团。
清华大学作为一所综合大学，众多学子具有综合性的能力。也理应在科学计算软件领域有所作为，我们希望利用自身的数学基础与应用背景，整理出一份较为完整的计算机代数理论文档，进行较为完整系统设计，并实现一个科学计算引擎核心maTHμ。希望在此过程中也能广阔我们的眼界，提高我们自身的理论和技术水平，为更进一步的工作打下良好基础。
在maTHμ Research你可以：
- 参与学生立项SRT获得学分和学分绩。
- 熟悉科学研究的基本思路和方法。
- 学会有效地查找、阅读和引用科技文献。
- 接触大量数学排版、数学软件等相关知识。
- 在认真、坦率的自由讨论氛围中研究并掌握算法。
- 学习程序设计、编译原理、软件工程、网络开发和通信等各方面的计算机科学知识。
- 获得宝贵的实际设计、开发经验，尤其在任务制定、团队合作、交流方面。
- 亲身体验激动人心的正规大型软件项目团队开发过程。
- 在maTHμ研究协会的工作中锻炼综合能力。
本协会长期驻所在北京市清华大学学生综合服务楼（C楼）405室。
联系方式
maTHμ邮箱：
您也可以通过人人网关注我们的动态，请访问清华大学maTHmU俱乐部公共主页
加入条件
清华大学学生maTHμ研究协会目前正在招新，满足下面的条件之一者就可以按照“加入方式”一节中的说明申请加入：
- 对数学感兴趣，熟悉代数理论，具有阅读各种文献的能力。
- 精确线性代数部分：要求线性代数基础，了解一些抽象代数更佳
- 多项式，方程求解部分：要求抽象代数基础，了解一些初等代数几何，Gröbner基及相关数值算法更佳
- 数论部分：要求算法数论基础
- 符号计算部分：要求抽象代数基础，了解一些初等代数几何、代数数论、微分代数、Galois理论更佳
- 数值计算：要求精通常用数值算法
- 热衷于应用程序开发，掌握C/C++或Java等编程语言，掌握基本程序设计方法，注重程序细节。
- 离散数学、组合数学算法
- 人工智能、机器学习算法
- 解释器/编译器构造，能进行相关开发
- 熟悉Mathematica，有Mathematica语言项目开发经验
- 熟练掌握计算机代数系统的原理及应用，有较强的文档写作能力
- 图形图像算法，并能进行相关开发
- 网页及网站开发、维护，掌握PHP、JavaScript等常用开发技术
- 喜欢协会和组织活动，乐于与人交往，有较强的沟通能力与领导能力。
- 熟悉网站美工设计，海报设计制作，有相关设计经验
- 有社团工作经验，熟悉讲座、沙龙类活动的组织
加入方式
2010-2011年度春季学期，maTHμ项目共设立了五个学生SRT项目，清华大学在校本科生可以通过以下步骤加入：
- 登陆清华大学信息门户网站 http://info.tsinghua.edu.cn/
- 进入“SRT信息”栏目
- 选择“学生报名”
- 选择“查看2010-2011秋季学期学生SRT项目列表”
- 在列表中可以看到五个名称以maTHμ开头的项目，您可以点击查看详细情况，并根据您的兴趣和技术能力进行选择报名
FAQs
许多大公司的计算机代数系统已经非常成熟了，为什么还要去自己实现呢？
许多计算机代数系统的功能都非常“神奇”，然而对实现原理的叙述却总是只言片语，对内部原理的好奇心自然是maTHμ项目的原动力。因此在实现构建maTHμ系统同时，我们也希望能够留下较为详尽的理论和技术文档，对将来的发展、对后来人都有所裨益。
另一方面来看，国外几十年前便有能力登上月球并这不意味着国内发展登月技术就失去意义，同样的道理在科学软件领域也是如此。放眼科学领域的计算机软件，从数值计算与仿真模拟的Matlab，优化领域的Lingo/Lindo，统计领域的SPSS，SAS，到有限元分析、电路仿真等等领域，基本见不到国产软件的身影。计算机代数系统也没有Mathematica，Maple等等的国产替代品。由于科学软件的复杂程度，这些现象从一个侧面反映了国内自主创新能力的薄弱。尽管我们力量渺小，但对这种状况也不能置若罔闻。希望我们的努力能够作出一些有益的工作。
为什么不利用开源系统呢？你们是把别人做了很多遍的东西再做一遍！
没有调查便没有发言权。maTHμ项目组的资料服务器上存储着大量我们能收集到的计算机代数系统及相关数学库，我们浏览过几乎所有著名开源系统的源代码，得到了不少有益的启发。然而，无论从系统架构、功能覆盖、扩展性等方面，目前的开源系统都无法令我们满意。开源项目还或多或少地存在着开发迟缓、代码老化、跨平台性差、用户支持稀缺等问题。
我们从不拒绝（相反，尽可能好地利用）优秀的开源库（例如GMP），决不把别人做了很多遍的成熟技术再重复一遍。maTHμ系统遵循着各层分离的设计原则，从分析器、解释器、计算内核、各函数模块到图形界面都有着统一接口，便于灵活替换，并保持良好的可移植性。maTHμ项目在理论文档、符号处理、人工智能、用户图形界面、网络计算平台等方面所做的工作，都恰恰是目前别人所很少或几乎没有做过的。
国内科学领域软件落后的原因是什么？
在我们看来，国内的大环境是一个很重要的因素：
- 在国内盗版软件获取容易，乃至程度严重到了最高学府的大学生都未必以用盗版为耻（甚至到了理所当然的地步）。要知道诸如Mathematica, Maple之类的商业软件个人版价格都在 $2000 上下，如果人人都需要面对如此昂贵的代价，拥有自主知识产权、自主核心竞争力的科学软件也许早就诞生了。
- 一个更重要的原因是，在中国往往出现这种情况：软件写的顺手的人，未必有很强的科学计算背景，而科学背景强的人又没有较高的计算机和软件水平。大学中软件能力强的自然会选择到企业编写界面、数据库、网络开发，然后到热闹的IT产业去分一杯羹。而研究科学的人或许一辈子都没有去尝试接触这些先进的工具，更不会有自己开发的念头。如此的割据状况在现在的本科教育里面仍没有解决的很好。
- 少有“不切实际的幻想” 。由于科学软件的复杂程度，企业少有问津，科研人员也不得不认为这样一件工作是“不切实际的幻想” 。然而我们回顾Wolfram Research、Maplesoft、Mathworks的发展道路，无不是从一个人或几个人的的微薄之力逐渐发展到现在令人赞叹的规模。或许“不切实际的幻想”正是创新氛围的一个绝佳体现吧！
我的数学基础一般，可以加入么？
完全没有问题，maTHμ项目只有其中一小部分需要较多数学基础。你的数学以外的其他才能也可以充分发挥，并起到决定性的作用。参见加入条件。
maTHμ还有更详尽的计划么？
如果20岁的Stephen Wolfram没有写出Mathematica版本0(SMP)的话，很难想象今天计算机代数系统领域是个什么状况。从最初版本的2.2M代码，到版本6的869M代码，功能的渐渐强大是需要一个积累过程的。
目前我们希望利用我们本身的数学基础与应用背景，整理出一份较为完整的计算机代数理论文档，进行较为完整系统设计，并实现一个小型的计算机代数系统核心maTHμ。希望在此过程中也能广阔我们的眼界，提高我们自身的理论和技术水平，为更进一步的工作打下良好基础。
后续的维护将会持续下去，20年后的maTHμ会发展成什么样呢？或许谁也无法预测――且拭目以待。