MUSCADET: an automatic theorem proving system using knowledge and metaknowledge in mathematics

Authors:
Dominique Pastre
Affiliations:
LAFORIA, Univ. Paris VI, Paris, France
Venue:
Artificial Intelligence
Year:
1989

Citing 0
Cited 3

Unification Algorithms for Eliminating and Introducing Quantifiers in Natural Deduction Automated Theorem Proving

Journal of Automated Reasoning
MUSCADET 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Strong and weak points of the MUSCADET theorem prover - examples from CASC-JC

AI Communications - CASC

Quantified Score

Hi-index	0.00

Visualization

Abstract