因卡

归纳定理。InKa:INduktionsbeweiser-KArlsruhe是一个半自动归纳定理证明器,从1985年到1999年积极发展。它是用LISP(两个版本:CMU LISP和Allegro LISP)和TCL/TK编写的。


zbMATH参考文献(参考 18篇文章

显示第1至18个结果,共18个。
按年份排序(引用)

  1. 西蒙·克鲁恩斯:《结构归纳的叠加》(2017)
  2. Aoto,Takahito:证明方程归纳有效性的健全引理生成(2008)
  3. 奥特克西耶,谢尔盖;本兹米勒,克里斯托夫;迪特里希,多米尼克;迈尔,安德烈亚斯;沃思,克劳斯彼得:一种通用的模块化数据结构,用于在思想和粒度上交替进行证明尝试(2006年)
  4. 沃尔特,克里斯托夫;施维泽,斯蒂芬:关于不完全定义程序的推理(2005)
  5. Kohlhase,Michael;Franke,Andreas:MBase:数学软件系统集成的知识和上下文表示(2001)
  6. 克里斯托夫.沃尔特;托马斯.科尔贝:关于终结引理推测。(2000年)
  7. Walther,C.;Kolbe,T.:用重用证明定理(2000)
  8. Ahrendt,Wolfgang;Beckert,Bernhard;Hähnle,Reiner;Menzel,Wolfram;Reif,Wolfgang;Schellhorn,Gerhard;Schmitt,Peter H.:集成自动化和交互式定理证明(1998)
  9. Thomas Kolbe;Brauburger,Jürgen:\ textsc抄袭者——学习证明者(1997)
  10. Basin,David A.;Walsh,Toby:波纹的微积分和终止(1996)
  11. 弗朗索瓦·布朗萨德;雷迪·乌代斯;哈斯克,罗伯特·W.:使用术语顺序的归纳法(1996年)
  12. 赫特,迪特;森格勒,克劳斯:因卡:下一代(1996)
  13. 美国印第安纳州克莱恩;大卫•巴恩;艾伦•邦迪:《合成与归纳的中间偏出推理》(1996)
  14. Sengler,Claus:非自由生成数据类型上算法的终止(1996)
  15. Bronsard,Francois;Reddy,Uday S.;Hasker,Robert W.:使用术语顺序的归纳法(1994)
  16. Hutter,Dieter:存在证明的归纳序的综合(1994)
  17. Richard Barnett;David Basin;Hesketh,Jane:归纳完成的递归规划分析(1993)
  18. 普罗岑,马丁:反驳猜想(1992)