Author:
Siekmann Jörg,Benzmüller Christoph,Brezhnev Vladimir,Cheikhrouhou Lassaad,Fiedler Armin,Franke Andreas,Horacek Helmut,Kohlhase Michael,Meier Andreas,Melis Erica,Moschner Markus,Normann Immanuel,Pollet Martin,Sorge Volker,Ullrich Carsten,Wirth Claus-Peter,Zimmer Jürgen
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. S. Allen, R. Constable, R. Eaton, C. Kreitz, and L. Lorigo. The Nuprl open logical environment. In Proc. of CADE-17, LNAI 1831. Springer, 2000.
2. C. Benzmüller et al. Ωmega: Towards a mathematical assistant. In Proc. of CADE-14, LNAI 1249. Springer, 1997.
3. C. Benzmüller and V. Sorge. Ω-Ants-An open Approach at Combining Interactive and Automated Theorem Proving. In Proc. of Calculemus-2000. AK Peters, 2001.
4. W.W. Bledsoe. Challenge problems in elementary analysis. Journal of Automated Reasoning, 6:341–359, 1990.
5. Lect Notes Comput Sci;A. Bundy,1988
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献