Edit Profile (opens in new tab) Pastre, Dominique Author ID: pastre.dominique Published as: Pastre, Dominique; Pastre, D. Documents Indexed: 6 Publications since 1978 Co-Authors 6 single-authored Serials 2 Artificial Intelligence 1 Educational Studies in Mathematics 1 AI Communications 1 Annals of Mathematics and Artificial Intelligence Fields 5 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 5 Publications have been cited 14 times in 10 Documents Cited by ▼ Year ▼ Automatic theorem proving in set theory. Zbl 0374.68059 Pastre, D. 7 1978 MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics. Zbl 0668.68103 Pastre, Dominique 3 1989 Strong and weak points of the MUSCADET theorem prover – examples from CASC-JC. Zbl 1019.68102 Pastre, Dominique 2 2002 MUSCADET 2. 3: A knowledge-based theorem prover based on natural deduction. Zbl 0988.68594 Pastre, Dominique 1 2001 Observation du mathématicien: Aide à l’enseignement et à la demonstration automatique de théoremes. Zbl 0397.00023 Pastre, Dominique 1 1978 Strong and weak points of the MUSCADET theorem prover – examples from CASC-JC. Zbl 1019.68102 Pastre, Dominique 2 2002 MUSCADET 2. 3: A knowledge-based theorem prover based on natural deduction. Zbl 0988.68594 Pastre, Dominique 1 2001 MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics. Zbl 0668.68103 Pastre, Dominique 3 1989 Automatic theorem proving in set theory. Zbl 0374.68059 Pastre, D. 7 1978 Observation du mathématicien: Aide à l’enseignement et à la demonstration automatique de théoremes. Zbl 0397.00023 Pastre, Dominique 1 1978 all cited Publications top 5 cited Publications all top 5 Cited by 16 Authors 2 Pastre, Dominique 1 Benzmüller, Christoph Ewald 1 Brown, Frank Malloy 1 Ferrari, Mauro 1 Fiorentini, Camillo 1 Hibti, M. 1 Jamnik, Mateja 1 Kerber, Manfred 1 Legeard, Bruno 1 Lombardi, Henri 1 Mart’yanov, Vladimir Ivanovich 1 McMichael, Alan F. 1 Paulson, Lawrence Charles 1 Sieg, Wilfried 1 Sorge, Volker 1 Walsh, Patrick M. all top 5 Cited in 7 Serials 2 Artificial Intelligence 1 Cybernetics 1 Journal of Automated Reasoning 1 RAIRO. Informatique Théorique et Applications 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Applied Logic 1 The Review of Symbolic Logic Cited in 2 Fields 10 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) Citations by Year