Traduction de «Circulation theorem » (Anglais → Français) :

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

circulation theorem of Bjerknes [ Bjerknes circulation theorem ]
théorème de la circulation de Bjerknes

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

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

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

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

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 ]

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

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

circulation systems monitoring | supervising circulation systems | monitoring circulation systems | supervise circulation systems
surveiller des systèmes de circulation