Translation of "Théorème de Fermat " (French → English) :

conjecture de Fermat | théorème de Fermat

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

Fermat conjecture | Fermat theorem

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]

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

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

automatic theorem proving | automated theorem proving | mechanical theorem proving

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]

théorème de Wiener-Khinchine | théorème de Wiener-Khintchine | théorème de Wiener-Kintchine

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

Wiener-Khintchine theorem

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]

démonstration de théorèmes | preuve de théorème | preuve de théorèmes

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

theorem proving

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]

théorème central limite [ théorème limite central | théorème de la limite centrale ]

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

central limit theorem

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]

démonstration automatique de théorèmes [ preuve automatique de théorèmes | démonstration automatisée de théorèmes ]

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

automatic theorem proving [ automated theorem proving ]

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]

théorème HOS | théorème de Hecksher, Ohlin , Samuelson

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

Heckscher-Ohlin model | Heckscher-Ohlin-Samuelson Model | Hecksher-Ohlin-Samuelson | HOS [Abbr.]

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]

base de théorèmes | base des théorèmes

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

theorem base

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]

théorème KAM [ théorème de Kolmogorov-Arnol'd-Moser ]

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

KAM theorem [ Kolmogorov-Arnold-Moser theorem ]

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]

datacenter (12): www.wordscope.ca (v4.0.br)

Théorème de Fermat ->

Date index: 2023-10-05