English translation for "démonstration automatique de théorèmes"

automated theorem proving

Example Sentences:

	1.	In the field of automated theorem proving, he is known for Wu's method. Dans le domaine de la démonstration automatique de théorèmes, il est connu pour la méthode de Wu (en).
	2.	Clarke's interests include software and hardware verification and automatic theorem proving. Les intérêts scientifiques de Clarke comprennent la vérification et la validation de logiciels et de matériels informatiques, et la démonstration automatique de théorèmes.
	3.	Saxe is known for his highly-cited publications on automated theorem proving,circuit complexity,retiming in synchronous circuit design,computer networks, and static program analysis. Saxe est connu pour ses contribution en démonstration automatique de théorèmes, complexité des circuits, conception de circuits synchrones et retiming, réseaux informatiques, et static program analysis.
	4.	The research of Wu includes the following fields: algebraic topology, algebraic geometry, game theory, history of mathematics, automated theorem proving. Les recherches de Wu comprennent les domaines suivants : la topologie algébrique, la géométrie algébrique, la théorie des jeux, l'histoire des mathématiques, la démonstration automatique de théorèmes.
	5.	Unit propagation (UP) or Boolean Constraint propagation (BCP) or the one-literal rule (OLR) is a procedure of automated theorem proving that can simplify a set of (usually propositional) clauses. La Propagation unitaire (UP pour Unit propagation) or Propagation de contrainte Booléenne ou règle du littéral unique (OLR one-literal rule) est une procédure de démonstration automatique de théorèmes utilisé pour simplifier un ensemble de clauses (en général propositionnelles).
	6.	The most developed subareas of automated reasoning are automated theorem proving (and the less automated but more pragmatic subfield of interactive theorem proving) and automated proof checking (viewed as guaranteed correct reasoning under fixed assumptions). Les sous-domaines les plus développés du raisonnement automatisé sont probablement l'assistant de preuve (qui en pratique se trouve être plus pragmatique mais moins automatisé que sa théorie), la démonstration automatique de théorèmes et la vérification de preuve (procédé qui garantit un raisonnement correct en se basant sur l'axiome selon lequel les hypothèses fournies sont justes).
	7.	Some examples are: 0 = = = ⋯ = 1 = = = ⋯ = − 1 = = = ⋯ = 2 = = = ⋯ = − 2 = = = ⋯ = . {\displaystyle {\begin{aligned}0&=&=&=\cdots &&=\\1&=&=&=\cdots &&=\\-1&=&=&=\cdots &&=\\2&=&=&=\cdots &&=\\-2&=&=&=\cdots &&=.\end{aligned}}} In theoretical computer science, other approaches for the construction of integers are used by automated theorem provers and term rewrite engines. En informatique théorique, d'autres méthodes de constructions des entiers relatifs sont utilisées par les outils de démonstration automatique de théorèmes et de réécriture de termes.

Similar Words：

"démons intérieurs" English translation, "démonstrateur" English translation, "démonstratif" English translation, "démonstration" English translation, "démonstration (logique et mathématique)" English translation, "démonstration constructive" English translation, "démonstration de force" English translation, "démonstration de furstenberg de l'infinité des nombres premiers" English translation, "démonstration de l'âme" English translation