Lagrange中值定理证明的几点注记

机译：关于CAS辅助定理证明的几点思考。

机译：用微积分的第二个中值定理证明黎曼假设

机译：关于卡兹定理证明的一个注记

机译：完整太阳系模型中地球-月球系统Lagrange点周围动力学的一个注记

机译：大型系统的结构化方法：互连Lagrange-Dirac系统的变分积分器和Lie组上的结构化模型简化。

机译：自动合成流式细胞仪数据可视化的定理证明方法

机译：关于几何paley-Wiener定理证明的几点看法  Dunkl变换

机译：与Boyer-moore定理证明器的相互作用：使用算术几何中值定理的教程研究

机译：和弦注记创建设备，和弦注记创建方法以及和弦注记创建程序

机译：检测文件注记波动的装置和检测文件注记波动的方法

机译：定量注记带有柱塞的注记有