【资料图】
肥猫注: 自己做得一点东西需要计算Grobner基. 计算多项式函数的公共零点. 这种计算在等参超曲面等几何方向有重要应用. 葛建全、颜文娇老师的一些工作可以用这个办法计算得到部分结果. Mathematica 和 Maple 都还好用.
肥猫略微了解的一些内容(看过一点书或者论文):著名的格拉斯曼计数问题; 仿射簇和射影簇维数计算问题. (显然这是代数几何的基本问题)有限域的多项式分解问题(与密码学的深层的原理相关, 还与Shimura, Deligne 关于算术几何的具体计算有关);.同调代数(Ext, Tor, 这里肥猫学的很不好); 图的染色; 丢番图方程; 整数线性规划; 现代资产定价;实验设计(社会统计学); 定理机器证明(远古版本就可以证明中学几乎所有的几何定理, 现在同样的技术可以用于机器人等); 样条插值; 摄影学(包括无人机, 地貌摄影)...
关键词: MAPLE 远古版本 线性规划 代数几何 Mathematica