就《一个重要极限的证明策略》一文的商榷

机译：汉武帝时“宽厚长者皆附太子”新考--对阎步克《汉武帝时“宽厚长者皆附太子”考》一文的商榷

机译：对"也谈均匀磁场中旋转的中性轴对称导体上的电荷分布"一文的商榷——附答"均匀磁场中转动的导体上电荷的分布"

机译：对“近似的根，复曲面分辨率和平面分支的变形”一文中的证明进行更正

机译：重新考虑消除切割：一个困难的证明确实是一个证明

机译：后代数系统和后代数：一个明显的事实的证明=后代数系统和后代数：一个明显的事实的证明

机译：在非正式的教育环境中使用同行商榷协助开展了Clicker的问题：科学的加强农民学习

机译：身体伦理视域下现代医学模式的哲学反思与重构——对孙慕义先生〈身体〉一文的呼应与商榷

机译：用于证明I / O自动机抽象特性的可重用pVs证明策略

机译：验证方法，其中包括先恢复第一内容提供商的策略，再恢复第二策略的第二提供商的策略，验证至少在与第一个相关的规定上达成一致的策略提供补偿百分比，或者，传输第一个策略已连接给第二供应商的第二策略并传送给供应商的是连接到第一存储介质的;计算机系统;

机译：可以通过tranSmiss u00e3o数据网络更新在包括存储信息数据的第一文件（efprl）的数据处理系统中更新文件的方法，该数据处理系统包括存储数据信息的第一文件（efprl）可以通过数据传输网络更新包含存储数据信息的第一文件（efprl）的智能卡（卡）可以通过数据传输网络进行更新。计算机程序到包含第一文件的数据处理系统中（ efprl）数据信息存储可通过CaAnsmiss u00e3o数据网络进行更新

机译：可以通过数据传输网络来更新包括存储信息数据的第一文件（efprl）的数据处理系统中文件的方法，可以通过数据传输网络更新包括存储信息数据的第一文件（efprl）的数据处理系统可以通过数据传输网络来更新包括存储信息数据的第一文件（efprl）的智能卡（卡），以及用于包括第一文件存储（efprl）信息的数据处理系统的计算机程序。数据可以通过数据传输网络进行更新