The following pages link to Dominique Pastre (Q1118425):
Displayed 7 items.
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics (Q1118426) (← links)
- Item:Q1118425 (redirect page) (← links)
- Automatic theorem proving in set theory (Q1245007) (← links)
- Observation du mathématicien: Aide à l'enseignement et à la demonstration automatique de théoremes (Q1253644) (← links)
- Automated theorem proving in mathematics. (Q1353941) (← links)
- (Q3150304) (← links)
- (Q4539651) (← links)