Method and apparatus of automated theorem proving for information processing

• 1. 基于超演绎的自动定理证明方法、装置及存储介质 [P] . 中国专利： CN113379050A . 2021-09-10
• 2. 基于单元结果演绎的自动定理证明方法、装置及存储介质 [P] . 中国专利： CN113379051A . 2021-09-10
• 3. Method and apparatus of automated theorem proving for information processing [P] . 欧洲知识产权局专利： EP0351842B1 . 1996-09-11

  机译： 用于信息处理的自动定理证明的方法和装置

• 4. Method and apparatus of automated theorem proving for information processing [P] . 欧洲知识产权局专利： EP0351842A3 . 1992-07-08

  机译： 用于信息处理的自动定理证明的方法和装置

• 5. Method and apparatus of automated theorem proving for information processing [P] . 欧洲知识产权局专利： EP0351842A2 . 1990-01-24

  机译： 用于信息处理的自动定理证明的方法和装置

• 1. Design of the Automation Apparatus for the Ac/Ra Separation Process with Ion Exchange Method [J] . Cao Shiwei 中国科学院近代物理研究所和兰州重离子研究装置年报：英文版 . 2019,第001期
• 2. Theorem of Logarithm Expectation and Its Application to Prove Sample Correlation Coefficient as Unbiased Estimate [J] . Loc Nguyen 数学和系统科学：英文版 . 2014,第009期
• 3. Scheduling Methods for Parallel Automated Theorem Proving [C] . Andreas Wolf, Andreas Wolf, Gernot Stenz Biennial conference of the Canadian Society for computational studies of intelligence . 2000
• 4. Contributions to automated theorem proving and formal methods with applications to control systems. [D] . Mackling, Thomas Hal. 1997
• 5. A Treatise upon Ulcers of the Legs; in Which Former Methods of Treatment Are Candidly Examined and Compared with One More Rational and Safe: Proving That a Perfect Cure May Generally Be Effected More Certainly without Rest and Confinement Than by the Strict Regimen in Common Use. With an Introduction on the Process of Ulceration and the Origin of Pus Laudabile. To Which Are Added Hints on a Successful Method of Treating Some Scrophulous Tumours; and the Mammary Abscess and Sore Nipples of Lying-In Women [O] . 1783
• 6. Automated Theorem Proving using the TPTP Process Instruction Language [O] . Muhammad Nassar, Geoff Sutcliffe -1

• 1. THE COMPARISON THEOREMS OF WEIGHTED ADDITIVE SCHWARZ METHODS [J] . Chen Zhuorong Li Wen(Dept.of Math.South China Normal UniversityGuangzhou 510631PRC) . 高等学校计算数学学报：英文版 . 2000,第S1期
• 2. Practical Automated Reasoning on INEQUALITIES：gENERIC pROGRAMS FOR iNEQUALITY pROVING [J] . 杨路 . 广州师院学报：自然科学版 . 1998,第011期
• 3. Processing of Laser Scanner Data and Extraction of Structure Lines Using Methods of the Image Processing [J] . SUI Li-chun . 测绘学报 . 2004,第001期
• 4. 适用于调度员培训仿真器（DTS）的继电保护和安全自动装置仿真方法 [C] . 张慎明 ,姚建国 ,张瑞鹏 . '98全国电网调度自动化、远动及厂站自动化、仿真技术学术交流会 . 1998
• 5. 用于指针逻辑的自动定理证明器的设计与实现 [A] . 王振明 . 2009