科学研究 >> 科研领域
网站主页
新闻动态
中心成员
科学研究
学术活动
人才培养
关于我们
下载信息
相关链接
科研领域
计算机代数
消去法
特征列与三角化分解
Gröbner基
代数方程求解
计算交换代数与代数几何
计算微分代数
符号与数值混合计算
几何推理与计算
几何定理的机器证明
几何知识管理
动态几何作图
几何软件的设计与实施
几何约束求解
计算机辅助分析
微分系统的消元与分解
微分方程的定性分析
生物系统的分析与模拟
科研领域
|
科研论著
|
软件研发
|
学术会议
|
综合讨论班
|
几何讨论班
|
代数讨论班
|
软件下载
|
论文下载
|
FAQ