Observation du mathématicien: Aide à l'enseignement et à la demonstration automatique de théoremes

DOI10.1007/BF00410590zbMath0397.00023MaRDI QIDQ1253644

Dominique Pastre

Publication date: 1978

Published in: Educational Studies in Mathematics (Search for Journal in Brave)

zbMATH Keywords

Theorem ProvingPodrology of Mathematicians

Mathematics Subject Classification ID

Philosophy of mathematics (00A30)

Related Items

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

Cites Work

• Unnamed Item