Search term Automated theorem proving has one result
Jump to

EN FR Translations for automated

automated (a) [general] automatisé (a) [general]

EN FR Translations for theorem

theorem (n v) [mathematical statement that is expected to be true] théorème (n v) {m} [mathematical statement that is expected to be true]
theorem (n) [mathematics - physics] théorème (n) {m} [mathematics - physics]