Vertaling van "equivalence theorem " (Engels → Frans) :

equivalence theorem
théorème d'équivalence

equivalent path theorem
principe des trajets équivalents

theorem prover [ prover | automatic theorem prover | theorem proving program | proof-finding program ]
démonstrateur de théorème [ démonstrateur automatique de théorèmes | démonstrateur ]

automatic theorem proving | automated theorem proving | mechanical theorem proving
démonstration automatique de théorèmes | démonstration automatisée de théorèmes | preuve automatique de théorèmes | démonstration mécanique de théorèmes

circulation theorem of Bjerknes | circulation theorem | Bjerknes circulation theorem
théorème de la circulation de Bjerknes | théorème de la circulation

Thevenin's theorem [ Thévenin's theorem | Thevenin theorem ]
théorème de Thévenin

automatic theorem prover | ATP | mechanical theorem prover | automated theorem prover
démonstrateur automatique de théorème | démonstrateur automatisé de théorème

first limit theorem | Lévy's theorem
premier théorème limite | théorème de Lévy

Neyman's factorisation theorem | Neyman's factorization theorem
théorème de factorisation de Neyman

equivalent friction angle | equivalent angle of friction | equivalent coefficient of friction
pente globale