Boost Your Productivity !Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
ATP
Automated theorem prover
Automated theorem proving
Automatic theorem prover
Automatic theorem proving
Bjerknes circulation theorem
Circulation theorem
Circulation theorem of Bjerknes
Fermat conjecture
Fermat theorem
First limit theorem
Kermack-McKendrick epidemic threshold theorem
Kermack-McKendrick threshold theorem
Lévy's theorem
Mechanical theorem prover
Mechanical theorem proving
Neyman's factorisation theorem
Neyman's factorization theorem
Proof-finding program
Prover
Theorem prover
Theorem proving program
Thevenin theorem
Thevenin's theorem
Threshold theorem
Thévenin's theorem

Translation of "Fermat theorem " (English → French) :

Fermat conjecture | Fermat theorem
http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]
conjecture de Fermat | théorème de Fermat
IATE - SCIENCE
IATE - SCIENCE
http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]
http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]
Thevenin's theorem [ Thévenin's theorem | Thevenin theorem ]
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
théorème de Thévenin
Electrical Engineering
Électrotechnique
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]
threshold theorem [ Kermack-McKendrick threshold theorem | Kermack-McKendrick epidemic threshold theorem ]
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
théorème du seuil
Epidemiology
Épidémiologie
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]
theorem prover [ prover | automatic theorem prover | theorem proving program | proof-finding program ]
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
démonstrateur de théorème [ démonstrateur automatique de théorèmes | démonstrateur ]
Artificial Intelligence
Intelligence artificielle
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]
automatic theorem proving | automated theorem proving | mechanical theorem proving
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]
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
intelligence artificielle
intelligence artificielle
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]
http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]
automatic theorem prover | ATP | mechanical theorem prover | automated theorem prover
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]
démonstrateur automatique de théorème | démonstrateur automatisé de théorème
intelligence artificielle
intelligence artificielle
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]
http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]
circulation theorem of Bjerknes | circulation theorem | Bjerknes circulation theorem
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]
théorème de la circulation de Bjerknes | théorème de la circulation
science de l'atmosphère
science de l'atmosphère
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]
http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]
Neyman's factorisation theorem | Neyman's factorization theorem
http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]
théorème de factorisation de Neyman
IATE - Economic analysis
IATE - Economic analysis
http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]
http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]
first limit theorem | Lévy's theorem
http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]
premier théorème limite | théorème de Lévy
IATE - SCIENCE | Economic analysis
IATE - SCIENCE | Economic analysis
http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]
http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]


Others have searched : bjerknes circulation theorem    fermat conjecture    fermat theorem    kermack-mckendrick epidemic threshold theorem    kermack-mckendrick threshold theorem    lévy's theorem    neyman's factorisation theorem    neyman's factorization theorem    thevenin theorem    thevenin's theorem    thévenin's theorem    automated theorem prover    automated theorem proving    automatic theorem prover    automatic theorem proving    circulation theorem    circulation theorem of bjerknes    first limit theorem    mechanical theorem prover    mechanical theorem proving    proof-finding program    prover    theorem prover    theorem proving program    threshold theorem    Fermat theorem    


www.wordscope.com (v4.0.br.77)

'Fermat theorem'

Date index:2023-12-11 -

Pour agences de traduction et traducteurs - For translation agencies & translators

Paris - Brussels - Montreal - Genève - Luxembourg - Madrid

Wordscope - Professional computer-assisted translation tools (CAT tools)