System Description: Waldmeister — Improvements in Performance and Ease of Use-Reference-Cited by-同舟云学术

System Description: Waldmeister — Improvements in Performance and Ease of Use

Published:1999 Issue: Volume: Page:232-236
ISSN:0302-9743
Container-title:Automated Deduction — CADE-16
language:
Short-container-title:

Author:

Hillenbrand Thomas,Jaeger Andreas,Löchner Bernd

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48660-7_20

Reference7 articles.

1. L. Bachmair, N. Dershowitz, and D.A. Plaisted. Completion without failure. In Resolution of Equations in Algebraic Structures, volume 2, pages 1–30. Academic Press, 1989.

2. A. Buch and Th. Hillenbrand. Waldmeister: development of a high performance completion-based theorem prover. SEKI-Report 96-01, Universität Kaiserslautern, 1996.

3. J. Denzinger and S. Schulz. Learning domain knowledge to improve theorem proving. In Proceedings of the 13th International Conference on Automated Deduction, volume 1104of LNAI, pages 76–62. Springer Verlag, 1996.

4. Th. Hillenbrand, A. Buch, R. Vogt, and B. Löchner. Waldmeister: High performance equational deduction. Journal of Automated Reasoning, 18(2):265–270, 1997.

5. A. Jaeger. Anwendungen von Nachfolgermengen in Termersetzungssystemen. Projektarbeit, Universität Kaiserslautern, 1997. In German.

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The CADE-28 Automated Theorem Proving System Competition – CASC-28;AI Communications;2022-03-18

2. Detection of First Order Axiomatic Theories;Frontiers of Combining Systems;2013

3. ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System;Resource-Adaptive Cognitive Processes;2010

4. Computer supported mathematics with Ωmega;Journal of Applied Logic;2006-12

5. Bridging Theorem Proving and Mathematical Knowledge Retrieval;Lecture Notes in Computer Science;2005