按关键字浏览软件




A

后验误差估计
精确
自适应网格优化
适应性
代数几何
代数多重网格
代数规范
代数拓扑学
算法
方差分析
答案集编程
应用
近似
阿诺迪法
人工智能
天体物理学
渐近展开
渐近稳定性
自动推理
自动定理证明
自动微分
自同构群

B

贝叶斯推理
贝塞尔函数
生物学
分叉
引导
边界元法
边值问题
分界
分支和切割
伯格斯方程

C

微积分
柯西问题
计算流体力学
混乱
Cholesky因式分解
分类
聚类分析
聚类
搭配法
列生成
组合优化
组合数学
通信
交换代数
方法比较
复杂性
计算复杂性
计算流体力学
计算几何
计算方法
计算机代数
计算机代数系统
计算机图形学
计算机科学
计算机模拟
并发
条件编号
条件作用
置信区间
保角映射
共轭梯度法
守恒定律
一致性
约束优化
约束规划
继续
控制
对流扩散方程
汇聚
收敛加速度
收敛速度
凸几何
凸优化
交叉验证
密码分析
密码学
顾客服务提供商
曲线拟合
切割平面

D

数据分析
数据挖掘
分解
时滞微分方程
无导数优化
设计
决定因素
差分方程
微分方程
微分几何
微分代数方程
降维
直接法
间断伽辽金法
差异原则
离散傅里叶变换
离散化
分布式计算
分布式系统
区域分解
二元性
动态规划
动力系统

E

经济学
教育
效率
本征函数
特征值问题
特征值
特征向量
弹性
椭圆曲线
椭圆方程
EM算法

枚举
误差分析
错误边界
误差估计
欧拉方程
进化算法
精确解
示例
练习
存在
扩展有限元法

F

因子分析
因式分解
快速傅里叶变换
反馈控制
场论
过滤
有限差分法
有限元法
有限域
有限群
有限单群
有限体积法
一阶逻辑
流体力学
流固耦合
形式化方法
正式规范
形式验证
FORTRAN语言
傅里叶分析
傅里叶级数
傅里叶变换
分形
骨折
功能分析
函数式程序设计
模糊逻辑

G

伽辽金法
博弈论
高斯消去
几何学
地球物理学
广义相对论
广义特征值问题
通用程序设计
遗传算法
全球分析
全球趋同
全局优化
GMRES公司
图论
绘图
网格计算
格氏碱基
群论

H

谐波分析
热传导
热方程
传热
亥姆霍兹方程
启发式
高性能计算
高阶逻辑
希尔伯特函数
霍普夫分叉
混合动力系统
双曲守恒律组



识别
不适定问题
图像处理
图像复原
实施
不可压缩Navier-Stokes方程
初值问题
整数规划
积分方程
集成
内点法
插值
区间分析
区间算术
反问题
迭代法

J

雅可比法
爪哇

K

知识表示
克里格法
克雷洛夫方法
Krylov子空间方法



拉格朗日乘数
拉格朗日松弛
兰佐斯法
拉帕克
拉普拉斯方程
拉普拉斯变换
大规模优化
大规模问题
最小二乘法
谎言群
极限环
行搜索
线性代数
线弹性
线性方程组
线性矩阵不等式
线性规划
线性系统
线性化
本地搜索
逻辑
逻辑程序设计
逻辑回归
LU因子分解
李雅普诺夫指数
Lyapunov-Krasovskii泛函



机器学习
磁流体力学
歧管
马尔可夫链
数学规划
矩阵
矩阵指数
矩阵乘法
最大似然
麦克斯韦方程组
MCMC公司
粒子力学
固体力学
网格生成
网格细化
元启发式
直线法
缺少数据
混合整数规划
模态逻辑
模型检查
模型简化
选型
建模
分子动力学
专著
蒙特卡罗模拟
MPI公司
多智能体系统
多目标优化
多重网格法
多目标优化
多元回归
多步骤方法

N

Navier-Stokes方程
神经网络
牛顿法
非凸优化
非线性动力学
非线性方程组
非线性最优化
非线性规划
非线性系统
非单调推理
非光滑优化
标准形
数论
数值分析
数值计算
数值微分
数值例子
数值实验
数值积分
数值线性代数
数值结果
数值模拟
数值解
数值稳定性
数值试验

O

面向对象程序设计
颂歌
算符理论
光学
最优控制
优化
常微分方程
正交多项式

P

并行算法
并行计算
并行处理
并行程序设计
并行化
参数估计
偏微分方程
偏微分方程
性能
周期轨道
周期解
摄动
Petri网
计划
泊松方程
多项式系统
多项式
多孔介质
预处理
预测
预处理
主成分分析
可能性
程序验证
项目进度安排
可证明安全性
PVS公司



QR算法
QR因子分解
二次分配
二次规划
正交
量词消去法
量子理论

R

实时
精炼
回归
正规化
强化学习
相对论
可靠性
重写逻辑
Riccati方程
鲁棒控制
稳健优化
龙格-库塔方法

S

抽样

可满足性
缩放比例
行程安排
薛定谔方程
舒尔补语
科学计算
安全
语义学
半定规划
半离散化
敏感
敏感性分析
序列二次规划
形状优化
信号处理
单纯形法
模拟退火
模拟
奇异摄动
奇异值分解
单数值
奇点
平滑的
软件工程
软件验证
孤立波解
孤子
稀疏线性系统
稀疏矩阵
稀疏性
特殊功能
规范
光谱法
样条曲线
稳定性分析
稳定
静态分析
统计学
刚性系统
随机过程
随机规划
支持向量机
生存分析
符号计算
对称群
对称性
同步
系统标识
非线性方程组

T

桌子
禁忌搜索算法
泰勒级数
时态逻辑
项重写
终止
测试问题
定理证明
热力学
Tikhonov正则化
时间序列
时间自动机
拓扑学
旅行商问题
三角测量
湍流
类型论

美国

统一建模语言
不确定性
无约束优化
独特性



验证
可视化

W

波动方程
小波

X/Y/Z轴

XML