French/English Lexis LexiqueAnglais/Fran¸cais David Renault Annonce : Ce document contient un lexique de termes scienti- fiques (principalement en math´ ematiques) adapt´ e` a la traduction de ces termes entre l’anglais et le fran¸ cais. Remarquer que de nom- breux mots ont une signification diff´ erente selon qu’ils sont utilis´ es dans le langage courant ou dans un contexte scientifique. Processing XML : 8 juin 2012 Processing L A T E X: 8 juin 2012 Fran¸ cais → Anglais Nombre de noms : 232 Nombre de verbes : 83 Nombre d’adjectifs : 73 Total : 388 Expressions : 294 Anglais → Fran¸ cais Nombre de noms : 238 Nombre de verbes : 87 Nombre d’adjectifs : 80 Total : 405 Expressions : 294 Ce travail est plac´ e sous licence Creative-Commons Attribution-Share alike. Vous pouvez le r´ eutiliser et mˆ eme le modifier, dans la mesure o` u vous citez l’au- teur initial. Si vous le redistribuez, vous vous engagez ` a le faire en utilisant le mˆ eme type de licence.
26
Embed
French/English Lexis Lexique Anglais/Fran¸cais - labri.fr · anglais ou pgcd en franc¸ais domaine : domain - d´esigne un domaine de d´efinition ou simplement l’espace de d´epart
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
French/English Lexis
Lexique Anglais/Francais
David Renault
Annonce : Ce document contient un lexique de termes scienti-fiques (principalement en mathematiques) adapte a la traductionde ces termes entre l’anglais et le francais. Remarquer que de nom-breux mots ont une signification differente selon qu’ils sont utilisesdans le langage courant ou dans un contexte scientifique.
Processing XML : 8 juin 2012Processing LATEX : 8 juin 2012
Francais → Anglais
Nombre de noms : 232Nombre de verbes : 83Nombre d’adjectifs : 73Total : 388
Expressions : 294
Anglais → Francais
Nombre de noms : 238Nombre de verbes : 87Nombre d’adjectifs : 80Total : 405
Expressions : 294
Ce travail est place sous licence Creative-CommonsAttribution-Share alike. Vous pouvez le reutiliser etmeme le modifier, dans la mesure ou vous citez l’au-teur initial. Si vous le redistribuez, vous vous engageza le faire en utilisant le meme type de licence.
abscisse – avoir l’intention
Aabscisse nf : abscissaaction : action - pour une action de groupe /
adaptatif A : adaptiveaffirmation : claimaffirmer V : 1. to claim 2. to state / le theoreme
affirme que : the theorem states thatagir V : to act - pour une action de groupeaigu A : acute - pour un angle ≤ π/2aire : area / l’aire d’un rectangle est le produit de
sa base par sa hauteur : the area of a rectangleis given by the product of its base length by itsheight
ajuster V : to fit - pour approximer un objeten recherchant l’element le plus approprie dansune famille d’objets plus simples / methode desmoindres carres : least squares fitting
aleatoire A : random / variable aleatoire : randomvariable / marche aleatoire : random walk / auhasard, aleatoirement : at random / generateuraleatoire : random number generator
algebre : algebra - espace vectoriel muni d’une loide multiplication / algebre a division : divisionalgebra
algebrique A : algebraic / langage algebrique :context-free language - pour un langage reconnupar un automate a pile / entier algebrique : al-gebraic integer
algorithme : algorithmalignement : array - pour un ensemble d’objets
arranges de maniere ordonneeamortir V : to dampen - dans le sens d’amoindrir
des oscillations ou vibrations d’un systemeameliorer V : to improveanalyse : calculus - pour le domaine mathematique
(cf. calcul infinitesimal)angle : angle / angle droit : right angle - (π/2) /
angle plat : straight angle - (π) / angle plein :full angle - (2π) / angle inscrit : inscribed angle/ angle au centre : central angle
anneau ( pl anneaux) : 1. annulus - pour le do-maine du plan borne par deux cercles concen-
triques 2. domain - designe exclusivement lesanneaux integres / anneau integre commuta-tif : integral domain 3. ring - pour un anneau(A,+,×) / anneau des polynomes : polynomialring / anneau a division : division ring - autrenom d’un corps non commutatif
(s’)annuler V : 1. to cancel - pour deux termesd’une soustraction qui s’eliminent 2. to vanish- pour les points ou une fonction s’annule
apparaıtre V : to occur - pour un objet dans unensemble / la plus grande puissance apparaissantdans le polynome : the highest power that occursin the polynomial
appartenance : membership / appartenance a unensemble : set membership
appartenir (a) V : to belong (to) - traduit le sym-bole ∈
appel : call / appel de fonction : function callapplication : map / application identite : identity
mapappliquer V : to apply - pour une transformation,
une ideeapproximatif A : approximatearbitraire A : arbitraryarbre : tree / arbre binaire : binary treearete : edge - dans un graphe ou un polygonearite : arity - pour le nombre d’arguments d’une
fonction, le degre d’un sommet dans un arbrearrondir V : to round / arrondir au chiffre
inferieur : to round off / arrondir au chiffresuperieur : to round up
associatif A : associativeassurer V : to ensure - dans le sens de rendre
certainatlas ( pl atlas) : atlas - pour decrire la structure
differentielle d’une surface de Riemannatteindre V : to reachattirer V : to attract - pour une forceaugmenter V : to increaseautomate : automaton / automate a pile : push-
base : 1. base - pour la partie d’un objet assurantson support : la base d’une pyramide 2. basis- pour une base d’espace vectoriel, le fondementd’un raisonnement / matrice de changement debase : change-of-basis matrix
bissectrice : bisector - designe le lieu des pointequidistants de deux objets geometriques / bis-sectrice : angle bisector / mediatrice : perpendi-cular bisector
bloc : block / decouper une matrice par blocs : topartition a matrix into blocks / matrice diago-nale par blocs : block diagonal matrix
croissance : growthcroissant A : increasing / suite strictement crois-
sante : increasing sequence / ordre croissant :
increasing ordercroıtre V : to grow / croıtre de maniere exponen-
tielle : to grow exponentially
Ddebordement : 1. overflow - pour un depassement
de capacite par le haut (nombre trop grand) 2.
underflow - pour un depassement de capacitepar le bas (nombre trop petit)
decaler V : to shift / decalage vers le rouge : red-shift
decouper V : to splitdecroissant A : decreasingdecroıtre V : to decreasededuire V : 1. to deduce 2. to inferdefinissable A : definabledegenere A : degeneratedegre : degree - unite de mesure d’angle / degre
d’un polynome : polynomial degreedemonstration : proofdemontrer V : to provedenombrable A : countable - pour un ensemble,
etre en bijection avec N
denominateur : denominator - pour une fractiondensite : density - pour le rapport masse sur
volumederivable A : differentiablederive : drift / derive des continents : continental
driftderivee : derivative - pour la fonction derivee /
derivee partielle par rapport a x : partial deriva-tive with respect to x
deriver V : to differentiatedesigner V : to refer - (Ang. +to)determinant : determinant / developper un deter-
minant par rapport a une ligne : to expand adeterminant along a row - sy Laplace expansion
deterministe A : deterministicdeveloppante : involute - courbe decrite par
l’extremite d’un fil tendu le long d’une courbeplane et s’enroulant le long de cette courbe
developpee : evolute - lieu des centres de courbured’une courbe plane
developpement : expansion / developpement li-mite : Taylor expansion
Lexique Francais → Anglais 3
developper – flot
developper V : to expand - pour une expressionmathematique / developper un determinant parrapport a une ligne : to expand a determinantalong a row - sy Laplace expansion
diagonale : diagonal / matrice diagonale : diago-nal matrix / sous-diagonale : subdiagonal - dansune matrice, la diagonale directement sous ladiagonale principale / procede d’extraction dia-gonale : Cantor’s diagonal argument
diviseur : divisor / plus grand diviseur commun :greatest common divisor - s’ecrit aussi gcd enanglais ou pgcd en francais
domaine : domain - designe un domaine dedefinition ou simplement l’espace de departd’une fonction / en analyse complexe, designeun ouvert connexe du plan
doter V : to endow
droit A : 1. right / angle droit : right angle -(egal a π/2) / membre droit : right hand side -d’une equation / le plus a droite : rightmost 2.
straight / ligne droite : straight line
droite : line / segment de droite : line segment /droites paralleles : parallel lines / droite reliantdeux points : line connecting two points
Eechantillon : sample
efficace A : effective - produisant un effet
elever V : to raise / elever x a la puissance y : toraise x to the y-th power
(l’) emporter V : to prevail
engendrer V : to generate / finiment engendre :finitely generated
englober V : to subsume
ensemble : set / ensemble vide : empty set / sous-ensemble : subset / ensemble des parties : powerset - pour P(E) / multi-ensemble : multiset /theorie des ensembles : set theory
entier A : integral / partie entiere : integral part/ anneau integre commutatif : integral domain
entier : integer - designe les entiers relatifs (i.edans Z) / entier positif : natural number - dansN
equilibrer V : to balance / equilibrage de charge :load balancing
equivalence : equivalence / classe d’equivalence :equivalence class / relation d’equivalence : equi-valence relation
erreur d’arrondi : roundoff
espace : space / espace vectoriel : vector space/ espace topologique : topological space / espacedes phases : phase space
estimation : estimate
etape : step
etat : state - pour les etats d’un automate /etat initial/de depart : starting state / etat fi-nal/acceptant : accepting state
evident A : obvious
eviter V : to avoid
exhiber V : to exhibit - pour produire un objetverifiant une propriete particuliere
exponentielle : exponential / exponentielle de ma-trice : matrix exponential
exposant : exponent - pour un nombre ab
extremite : endpoint - d’un segment, d’un inter-valle
Ffacteur : factor - pour les termes d’un produit
a× b ou les parties connexes d’un mot
factorielle : factorial - factorial n pour le nombren!
factorisation : factorization / factorisation de ma-trice : matrix factorization - comme un produitde plusieurs matrices / factorisation en nombrespremiers : prime factorization
inferieur A : lower - les inegalites sont (sans autreprecision) au sens strict en anglais, et au senslarge en francais
initialiser V : to initializeinjectif A : 1. injective 2. one to oneintegrale : integral / integrale multiple : multiple
integral / integrale le long d’un chemin : pathintegral / integrale sur un contour : contour in-tegral / integrale impropre : improper integral -definie sur un intervalle ouvert
integrande : integrand - la fonction que l’onintegre (anglicisme)
integrer V : to integrate / integrer sur un inter-valle : to integrate over an interval / integrer parparties : to integrate by parts
(s’) intersecter V : to intersect / s’intersecter enun point : to intersect at a point
intervalle : interval / intervalle ouvert : open in-terval / suite d’intervalles imbriques : sequenceof nested intervals
Lexique Francais → Anglais 5
inverse – negliger
inverse : 1. inverse / matrice inverse : inverse ma-trix / fonction reciproque : inverse function 2.
reciprocal - the reciprocal of b correspond aunombre 1
b/ fonction x → 1/x : reciprocal func-
tioninverser V : to invertirreductible A : irreducibleisocele A : isosceles - pour un triangle ayant deux
cotes de longueurs egales
Jjacobienne : jacobian - pour la matrice des
derivees partielles
Llangage : language / langage rationnel : regular
language - pour un langage reconnu par un au-tomate fini / langage algebrique : context-freelanguage - pour un langage reconnu par un au-tomate a pile
lemme : lemma / lemme de Zorn : Zorn’s lemmaligne : row - pour une ligne d’une matricelimite : limit / la limite quand x tend vers +∞ :
the limit as x approaches +∞lisse A : smooth - pour une fonction, etre suffi-
samment derivable (Cn pour n assez grand, voireC∞)
logarithme : logarithm / logarithme neperien :natural logarithm / logarithme de x en base b :logarithm of x to the base b
longueur : length / longueur unitaire : unit length- se refere a un segment de longueur 1 / unitede longueur : unit of length - se refere a unemesure de longueur
Mmantisse : mantissamathematiques : mathematics - pour le domaine
scientifiquematrice : matrix / matrice non inversible : singu-
lar matrix / matrice transposee : matrix trans-
pose / matrice compagnon : companion matrix/ matrice d’adjacence : adjacency matrix / ma-trice semblable : similar matrix - pour le memeendomorphisme dans deux bases differentes
mediatrice : perpendicular bisectormelanger V : to shufflemetrique : metricmettre a jour V : to updatemilieu : midpoint - d’un segmentminimiser V : to minimizemodule : modulus / module d’un nombre com-
plexe : complex modulusmodulo : modulo - a ≡ b(n) se dit a is congruent
to b modulo nmonome : monomialmonotone A : monotonicmorceau ( pl morceaux) : piece / continue par
morceaux : piecewise continuousmot : word / sous-mot : subword - mot obtenu
en effacant des lettres d’un mot de departmotif : pattern / reconnaissance de motif : pat-
tern matching - par exemple dans un langagede programmation / motif de programmation :design pattern
moyen : means - pour la capacite de faire quelquechose / en aucun cas : by no means
moyennable A : amenable - pour un groupemoyenne : 1. average / en moyenne : on ave-
rage 2. mean / moyenne geometrique : geome-tric mean
multiple : multiple / plus petit commun multiple :least common multiple - s’ecrit aussi lcm en an-glais ou ppcm en francais
multiplicite : multiplicity / racine de multipli-cite k : root of multiplicity k / comptes avecmultiplicite : counted with multiplicity
munir V : to endow
Nnegatif A : negative - strictement, en francais /
negatif au sens large : non positive / positif ounul : non negative
negligeable A : 1. insignificant 2. negligiblenegliger V : to neglect - pour ne pas tenir compte
de termes insignifiants dans une equation
6 Lexique Francais → Anglais
noetherien – produirev
noetherien A : noetherian - pour un anneau dontles suites croissantes d’ideaux sont ultimementstationnaires
noeud : node - pour les sommets d’un graphe oud’un arbre
nombre : 1. figure - contrairement a number, n’estpas associe a une quantite 2. number - exprimea la fois le nombre et la quantite associee
norme : norm / norme subordonnee a ||·|| : naturalnorm subordinate to || · ||
noyau : kernel / noyau d’une transformationlineaire : kernel of a linear transformation
nul A : zero - dans le sens d’etre egal a zero / nonnul : nonzero / vecteur nul : zero vector / ma-trice nulle : zero matrix / polynome nul : zeropolynomial
numerateur : numerator - pour une fraction
Oobtus A : obtuse - pour un angle ≥ π/2omettre V : to omit - dans le sens de ne pas tenir
compteorbite : orbit
ordonnee : ordinateordre : order / ordre croissant : increasing order
/ ordre d’un groupe : group order - pour ungroupe fini, le nombre de ses elements / ordre degrandeur : order of magnitude
orthogonal A : orthogonal / matrice orthogonale :orthogonal matrix - pour une matrice carreereelle dont l’inverse est la transposee / vecteursorthogonaux : orthogonal vectors
Ppair A : even - pour un nombre entier, ou une
fonction
paire : pair - pour un ensemble non ordonne adeux elements
paradoxe : paradoxparametrer V : to parameterize
parcours : traversal - pour une structure de donnee/ parcours en profondeur : depth-first traversal/ breadth-first traversal : parcours en largeur
parite : parity
partie : subset - pour une partie d’un ensemblepas : step / pas de temps : time step - pour un
dean tilingpente : slope - pour une courbe ou une droitepermettre V : 1. to allow 2. to enablephysique : physics - pour le domaine scientifiquepire A : worst / pire cas : worst caseplongement : embedding - peut etre concret (in-
clusion geometrique) ou abstrait (application in-jective entre categories)
poids : weightpole : pole - pour les singularites des fonctions
/ polynome nul : zero polynomial / polynome enune seule variable : univariate polynomial
polyedre : polyhedronportee V : scope - d’une variablepositif A : positive - strictement en francais /
negatif ou nul : non positive / positif au senslarge : non negative / defini positif : positivedefinite - pour une matrice symetrique
poursuivre V : to proceed - dans le sens de conti-nuer (avec/with)
precision : accuracypremier A : prime - pour un nombre entier, ne
pas avoir d’autre diviseur que 1 et lui-meme /premiers entre eux : relatively prime, coprime /premiers jumeaux : twin prime
presque A : almost / presque surement : almostsurely / presque partout : almost everywhere
preuve : proofprimitive : antiderivative - designe une
integrale indefinie (indefinite integral) de laforme
∫f(x) dx
probleme : problem / probleme de decision : de-cision problem
processus : process - (probabilites) / processus dePoisson : Poisson process
produire V : to yield - pour un resultat(se) produire V : to occur - pour un evenement
Lexique Francais → Anglais 7
produit – retenue
produit : product / produit direct : direct product- de groupes, d’ensembles . . . / produit vectoriel :cross product / produit scalaire : dot product /produit cartesien : cartesian product
profondeur : depth / parcours en profondeur :depth-first traversal
prouver V : to prove
provoquer V : to trigger - pour un evenementcausant un autre evenement
rang : rank - pour une matrice, la dimension deson image
rangee : row
rappeler V : to recall - dans le sens de rememorer
rapport : ratio - entre deux quantites a
b/ nombre
d’or : golden ratio
rapporteur : protractor - pour mesurer les angles
rationnel A : rational - appartenant a Q
rayon : radius / rayon spectral : spectral radius -pour une matrice, le module de sa plus grandevaleur propre / rayon de convergence : radius ofconvergence - pour une serie entiere
gement de signe : sign changesignificatif A : 1. significant - pour un objet ayant
de l’importance, dans son sens ou ses effets /chiffre significatif : significant digit 2. significa-tive - posseder un sens particulier
sinus : sine - le nom de la fonction sin(x) / sinushyperbolique : hyperbolic sine
sommet : vertex - pour les sommets d’un grapheou d’un arbre
soustraction : subtractionsoustraire V : to subtractspectre : spectrum - pour une matrice, l’ensemble
de ses valeurs propresstabilisateur : stabilizersuffisant A : sufficientsuite : sequence - pour une suite (un) / suite
arithmetique : arithmetic sequence / suite decompacts imbriques : nested sequence of com-pacts
superieur A : 1. larger - les inegalites sont (sansautre precision) au sens strict en anglais, et ausens large en francais 2. upper / matrice trian-gulaire superieure : upper triangular matrix
supposer V : to assume - dans le sens de presumer,presupposer
supposition : assumption
surjectif A : 1. onto 2. surjective
symbole : sign / symboles ”plus” et ”moins” : plusand minus signs
symetrie : symmetry - terme general / symetrieaxiale : reflection
symetrique A : 1. symmetric - pour une matrice ouun objet mathematique presentant des symetries/ groupe symetrique : symmetric group 2. sym-metrical - pour un objet general possedant dessymetries
systeme dynamique : dynamical system
Ttableau : array - pour le type de donnees infor-
matique
tangente : tangent - pour la tangente a une courbeou le nom de la fonction tan(x) / etre tangenta une courbe en un point : to be tangent to acurve at some point
tendre V : to approach - dans le sens de s’appro-cher de / la limite quand x tend vers +∞ : thelimit as x approaches +∞
terminaison : termination - pour un algorithme
terminer V : to terminate
theoreme : theorem / theoreme de Pythagore :Pythagoras’ theorem / theoreme des valeursintermediaires : Intermediate value theorem /theoreme des accroissements finis : Mean valuetheorem
tore : torus
tourbillon : vortex
trace : trace - (ou pour preciser le contexte :matrix trace)
trajectoire : trajectory
transcendant A : transcendental
transposee : transpose
trapeze : trapezoid / methodes des trapezes : tra-pezoidal rule - pour la methode d’integration
treillis : lattice - pour une algebre (L,∧,∨)
tresse : braid / groupe de tresses : braid group
tri : sort / tri a bulle : bubble sort
Lexique Francais → Anglais 9
trier – voisinage
trier V : to sort / trier selon un ordre croissant :to sort in increasing order
troncature : truncation
U
uniformement A : uniformly / uniformementconvergent : uniformly convergent
unitaire A : 1. unit / vecteur unitaire : unit vector -pour un vecteur de norme 1 / longueur unitaire :unit length - pour un segment de longueur 1 /test unitaire : unit test 2. unitary / matrice uni-taire : unitary matrix - pour une matrice carreecomplexe dont l’inverse est la conjuguee de latransposee
unite : unit / cercle unite : unit circle / unite delongueur : unit of length - se refere a une mesurede longueur
uplet : tuple / n-uplet : n-tuple
Vvaleur : value / valeur absolue : absolute value /
valeur propre : eigenvalue / valeur approchee :approximate value
variable : variable / changement de variables :change of variables
varier V : to range - entre certaines limites / lesvaleurs sont comprises entre 50 et 70% : the va-lues range from 50 to 70%
variete : manifold - au sens topologiquevecteur : vector / vecteur propre : eigenvector /
espace vectoriel : vector space / vecteur tangent :tangent vector / vecteur unitaire : unit vector
verifier V : 1. to check 2. to hold / la proprieteest verifiee : the property holds - noter le chan-gement actif-passif
vide A : empty / ensemble vide : empty setvitesse : speedvoisinage : neighbourhood
10 Lexique Francais → Anglais
abscissa – block
Aabscissa ( pl abscissas) : abscisse
accuracy : precision
to act V : agir - pour une action de groupe ( sy
operer)
action : action - pour une action de groupe / tran-sitive action : action transitive - s’il n’y a qu’uneseule orbite / faithful action : action fidele
acute A : aigu - pour un angle ≤ π/2
adaptive A : adaptatif
algebra ( pl algebras) : algebre - espace vecto-riel muni d’une loi de multiplication / divisionalgebra : algebre a division
algebraic A : algebrique / context-free language :langage algebrique - pour un langage reconnupar un automate a pile / algebraic integer : en-tier algebrique
algorithm : algorithme
to allow V : permettre
almost A : presque / almost surely : presquesurement / almost everywhere : presque partout
amenable A : moyennable - pour un groupe
angle : angle / right angle : angle droit - (π/2)/ straight angle : angle plat - (π) / full angle :angle plein - (2π) / inscribed angle : angle ins-crit / central angle : angle au centre
to apply V : appliquer - pour une transformation,une idee
to approach V : tendre - dans le sens de s’ap-procher de / the limit as x approaches +∞ : lalimite quand x tend vers +∞
approximate A : approximatif
arbitrary A : arbitraire
area ( pl areas) : aire / the area of a rectangleis given by the product of its base length by itsheight : l’aire d’un rectangle est le produit de sabase par sa hauteur
arity : arite - pour le nombre d’arguments d’unefonction, le degre d’un sommet dans un arbre
array : 1. alignement - pour un ensemble d’objetsarranges de maniere ordonnee 2. tableau - pourle type de donnees informatique
associative A : associatif
to assume V : supposer - dans le sens de presumer,presupposer
assumption : supposition
atlas ( pl atlases) : atlas - pour decrire la structuredifferentielle d’une surface de Riemann
base : base - pour la partie d’un objet assurantson support : la base d’une pyramide
basis ( pl bases) : base - pour une base d’es-pace vectoriel, le fondement d’un raisonnement /change-of-basis matrix : matrice de changementde base
to belong (to) V : appartenir (a) - traduit lesymbole ∈
benefit : avantage
bisection : dichotomie
bisector : bissectrice - designe le lieu des pointequidistants de deux objets geometriques / anglebisector : bissectrice / perpendicular bisector :mediatrice
block : bloc / to partition a matrix into blocks :decouper une matrice par blocs / block diagonalmatrix : matrice diagonale par blocs
Lexique Anglais → Francais 1
bound – coordinate
bound : borne / upper bound : majorant / lowerbound : minorant / greatest lower bound : borneinferieure - sy infimum / least upper bound :borne superieure - sy supremum
breadth : largeur / parcours en largeur : breadth-first traversal
bundle : fibre / tangent bundle : fibre tangent
Cto calculate V : calculer - pour un etre humain
calculus : analyse - pour le domaine mathematique(cf. calcul infinitesimal)
call : appel / function call : appel de fonction
to cancel V : (s’)annuler - pour deux termes d’unesoustraction qui s’eliminent
canonical A : canonique
carry : retenue - pour les operations arithmetiques/ to put down 2 and carry 1 : poser 2 et retenir 1
to categorize V : classifier
chance : hasard / at random : au hasard,aleatoirement
change : changement / change of basis : change-ment de base / change of variables : changementde variables
characteristic : caracteristique - pour une fonc-tion indicatrice (1E), un invariant topologique(caracteristique d’Euler), un corps . . . / charac-teristic polynomial : polynome caracteristique
chart : 1. carte - pour remplir l’atlas d’une sur-face de Riemann 2. diagramme / pie chart :diagramme circulaire
to check V : verifier
circle : cercle / incircle : cercle inscrit - pourun triangle / circumcircle : cercle circonscrit -pour un triangle aussi / osculating circle : cercleosculateur - pour une courbe plane
curvature : courbure / center of curvature : centrede courbure / radius of curvature : rayon decourbure
curve : courbe
Dto dampen V : amortir - dans le sens d’amoindrir
des oscillations ou vibrations d’un systemedart : brin - pour une demi-arete dans une carteto decrease V : decroıtredecreasing A : decroissantto deduce V : deduiredefinable A : definissabledegenerate A : degeneredegree : degre - unite de mesure d’angle / poly-
nomial degree : degre d’un polynomedenominator : denominateur - pour une fractiondensity : densite - pour le rapport masse sur vo-
une matrice, la diagonale directement sous ladiagonale principale / Cantor’s diagonal argu-ment : procede d’extraction diagonale
differentiable A : derivableto differentiate V : deriverdigit : chiffre / significant digit : chiffre significatifdivisor : diviseur / greatest common divisor : plus
grand diviseur commun - s’ecrit aussi gcd enanglais ou pgcd en francais
domain : 1. anneau - designe exclusivement lesanneaux integres / integral domain : anneauintegre commutatif 2. domaine - designe undomaine de definition ou simplement l’espace dedepart d’une fonction / en analyse complexe,designe un ouvert connexe du plan
Eedge : arete - dans un graphe ou un polygoneeffective A : efficace - produisant un effetembedding : plongement - peut etre concret (in-
clusion geometrique) ou abstrait (application in-jective entre categories)
empty A : vide / empty set : ensemble videto enable V : permettreto endow V : 1. doter 2. munirendpoint : extremite - d’un segment, d’un inter-
valleto ensure V : assurer - dans le sens de rendre
certainto entail V : impliquer - dans le sens d’entraıner,
requerirequivalence : equivalence / equivalence class :
classe d’equivalence / equivalence relation : re-lation d’equivalence
estimate : estimationEuler totient function : indicatrice d’Euler - φ(n)
est le nombre d’entiers de [1;n] premiers avec neven A : pair - pour un nombre entier, ou une
fonctionevolute : developpee - lieu des centres de courbure
d’une courbe plane
Lexique Anglais → Francais 3
exhibit – image
to exhibit V : exhiber - pour produire un objetverifiant une propriete particuliere
to expand V : developper - pour une expressionmathematique / to expand a determinant alonga row : developper un determinant par rapporta une ligne - sy Laplace expansion
expansion : developpement / Taylor expansion :developpement limite
exponent : exposant - pour un nombre ab
exponential : exponentielle / matrix exponential :exponentielle de matrice
Ffactor : facteur - pour les termes d’un produit
a× b ou les parties connexes d’un motfactorial : factorielle - factorial n pour le nombre
tion : factorisation de matrice - comme un pro-duit de plusieurs matrices / prime factorization :factorisation en nombres premiers
to factorize V : factoriserfalse A : faux - dans le sens de vrai ou fauxfeature : caracteristique - pour une propriete
definissant un objetfield : 1. champ / vector field : champ de vec-
teurs / slope field : champ des tangentes - pourune equation differentielle 2. corps - pour uncorps (K,+,×) / finite field : corps fini / split-ting field : corps de decomposition / field of frac-tions : corps des fractions
figure : nombre - contrairement a number, n’estpas associe a une quantite
to fit V : ajuster - pour approximer un objet enrecherchant l’element le plus approprie dans unefamille d’objets plus simples / least squares fit-ting : methode des moindres carres
flow : flot - pour une equation differentielleto focus V : (se) concentrer - son attention sur
quelque choseformula ( pl formulæ/formulas) : formuleto formulate V : formulerfounded A : fonde / well-founded : bien fonde -
pour une relation d’ordre n’admettant pas desuites infinies strictement decroissantes
fraction : fraction / continued fraction : fractioncontinue
friction : frottement / drag : frottement du aumouvement dans un fluide
to fulfil V : satisfaire - des conditions, un resultat( sy remplir)
function : fonction / linear function : applicationlineaire / inverse function : fonction reciproque/ generating function : serie generatrice
Gto generate V : engendrer / finitely generated :
finiment engendregenus ( pl genera) : genre - pour une surfacegoal : but - pour un objectif a atteindregradient : gradient / conjugate gradient method :
methode du gradient conjuguegraph : graphe - designe un graphe (V,E) / com-
plete graph : graphe complet / planar graph :graphe planaire / function graph : graphe d’unefonction / directed graph : graphe oriente
group : groupe / abelian group : groupe abelien/ symmetric group : groupe symetrique / cyclicgroup : groupe cyclique / linear group : groupelineaire
to grow V : croıtre / to grow exponentially : croıtrede maniere exponentielle
growth : croissance
Hheight : hauteurto hold V : verifier / the property holds : la pro-
priete est verifiee - noter le changement actif-passif
holomorphic A : holomorphehomogeneous A : homogene / homogeneous poly-
nomial : polynome homogene - tel que x2+xy+y2
hypothesis ( pl hypotheses) : hypothese
Iidentity : identite - pour le neutre d’un groupe,
la matrice identite . . .image : image
4 Lexique Anglais → Francais
imaginary – line
imaginary A : imaginaire - pour un nombre com-plexe de partie reelle nulle
to imply V : impliquer
to improve V : ameliorer
to increase V : augmenter
increasing A : croissant / increasing sequence :suite strictement croissante / increasing order :ordre croissant
to incur V : induire - dans le sens d’entraıner uneconsequence couteuse / the overhead incurred :la surcharge occasionnee
index ( pl indices) : indice - d’un nombre dans untableau, d’une variable ai, d’un sous-groupe
induction : recurrence - pour un raisonnementpar recurrence sur N
integer : entier - designe les entiers relatifs (i.edans Z) / natural number : entier positif - dansN
integral A : entier / integral part : partie entiere /integral domain : anneau integre commutatif
integral : integrale / multiple integral : integralemultiple / path integral : integrale le long d’unchemin / contour integral : integrale sur uncontour / improper integral : integrale impropre- definie sur un intervalle ouvert
integrand : integrande - la fonction que l’onintegre (anglicisme)
to integrate V : integrer / to integrate over an in-terval : integrer sur un intervalle / to integrateby parts : integrer par parties
to intend V : avoir l’intention
to intersect V : (s’) intersecter / to intersect at apoint : s’intersecter en un point
interval : intervalle / open interval : intervalle ou-vert / sequence of nested intervals : suite d’in-tervalles imbriques
inverse : inverse / inverse matrix : matrice inverse/ inverse function : fonction reciproque
to invert V : inverser
involute : developpante - courbe decrite parl’extremite d’un fil tendu le long d’une courbeplane et s’enroulant le long de cette courbe
irreducible A : irreductibleisosceles A : isocele - pour un triangle ayant deux
cotes de longueurs egales
Jjacobian : jacobienne - pour la matrice des
derivees partielles
Kkernel : noyau / kernel of a linear transformation :
noyau d’une transformation lineairekinetic A : cinetique / kinetic energy : energie
cinetique
Llanguage : langage / regular language : langage
rationnel - pour un langage reconnu par un au-tomate fini ( sy langage regulier) / context-freelanguage : langage algebrique - pour un langagereconnu par un automate a pile
larger A : superieur - les inegalites sont (sans autreprecision) au sens strict en anglais, et au senslarge en francais
lattice : 1. reseau - pour un sous-groupe abeliende Rn / aussi appele point lattice 2. treillis -pour une algebre (L,∧,∨)
leaf ( pl leaves) : feuille - pour les sommets sansfils d’un arbre
left A : gauche / left hand side : membre gauche- d’une equation / leftmost : le plus a gauche
length : longueur / unit length : longueur unitaire- se refere a un segment de longueur 1 / unitof length : unite de longueur - se refere a unemesure de longueur
limit : limite / the limit as x approaches +∞ : lalimite quand x tend vers +∞
line : droite / line segment : segment de droite /parallel lines : droites paralleles / line connectingtwo points : droite reliant deux points
Lexique Anglais → Francais 5
logarithm – odd
logarithm : logarithme / natural logarithm : loga-rithme neperien / logarithm of x to the base b :logarithme de x en base b
loop : boucle - pour les boucles d’un graphe,d’une courbe (geometrie) ou d’un code source(programmation) / nested loops : boucles im-briquees
lower A : inferieur - les inegalites sont (sans autreprecision) au sens strict en anglais, et au senslarge en francais
mathematics : mathematiques - pour le domainescientifique
matrix ( pl matrices) : matrice / singular matrix :matrice non inversible / matrix transpose : ma-trice transposee / companion matrix : matricecompagnon / adjacency matrix : matrice d’ad-jacence / similar matrix : matrice semblable -pour le meme endomorphisme dans deux basesdifferentes
mean : moyenne / geometric mean : moyennegeometrique
means : moyen - pour la capacite de faire quelquechose / by no means : en aucun cas
to meet V : (se) rencontrer / the origin is thepoint where the axes meet : l’origine est le pointd’intersection des axes
membership : appartenance / set membership :appartenance a un ensemble
metric : metrique
midpoint : milieu - d’un segment
to minimize V : minimiser
modulo : modulo - a ≡ b(n) se dit a is congruentto b modulo n
modulus ( pl moduli) : module / complex modulus :module d’un nombre complexe
momentum : quantite de mouvement - pour le
produit de la masse par la vitesse / angular mo-mentum : moment cinetique
monomial : monomemonotonic A : monotonemultiple : multiple / least common multiple : plus
petit commun multiple - s’ecrit aussi lcm enanglais ou ppcm en francais
multiplicity : multiplicite / root of multiplicity k :racine de multiplicite k / counted with multipli-city : comptes avec multiplicite
Nnegation : contraposee - pour une formule logiquenegative A : negatif - strictement, en francais /
non positive : negatif au sens large / non nega-tive : positif ou nul
to neglect V : negliger - pour ne pas tenir comptede termes insignifiants dans une equation
negligible A : negligeableneighbourhood : voisinagenetwork : reseau - pour un graphe de machines
reliees entre ellesnode : noeud - pour les sommets d’un graphe ou
d’un arbrenoetherian A : noetherien - pour un anneau dont
les suites croissantes d’ideaux sont ultimementstationnaires
norm : norme / natural norm subordinate to || · || :norme subordonnee a || · ||
normal A : distingue - pour un sous-groupenumber : nombre - exprime a la fois le nombre et
la quantite associee
numerator : numerateur - pour une fraction
Oobtuse A : obtus - pour un angle ≥ π/2obvious A : evidentto occur V : 1. apparaıtre - pour un objet dans un
ensemble / the highest power that occurs in thepolynomial : la plus grande puissance apparais-sant dans le polynome 2. (se) produire - pourun evenement
odd A : impair - pour un nombre entier ou unefonction
6 Lexique Anglais → Francais
omit – random
to omit V : omettre - dans le sens de ne pas tenircompte
one to one A : injectifonto A : surjectiforbit : orbiteorder : ordre / increasing order : ordre croissant
/ group order : ordre d’un groupe - pour ungroupe fini, le nombre de ses elements / order ofmagnitude : ordre de grandeur
ordinate : ordonneeorthogonal A : orthogonal / orthogonal matrix :
matrice orthogonale - pour une matrice carreereelle dont l’inverse est la transposee / orthogo-nal vectors : vecteurs orthogonaux
overflow : debordement - pour un depassementde capacite par le haut (nombre trop grand)
/ zero polynomial : polynome nul / univariatepolynomial : polynome en une seule variable
positive A : positif - strictement en francais / nonpositive : negatif ou nul / non negative : positifau sens large / positive definite : defini positif -pour une matrice symetrique
power : puissancepremise : hypothese
to preserve V : conserver / distance-preserving :conservant les distances
to prevail V : (l’) emporter ( sy dominer)
prime A : premier - pour un nombre entier, nepas avoir d’autre diviseur que 1 et lui-meme /relatively prime, coprime : premiers entre eux /twin prime : premiers jumeaux
problem : probleme / decision problem : problemede decision
to proceed V : poursuivre - dans le sens de conti-nuer (avec/with)
process : processus - (probabilites) / Poisson pro-cess : processus de Poisson
product : produit / direct product : produit direct- de groupes, d’ensembles . . . / cross product :produit vectoriel / dot product : produit scalaire/ cartesian product : produit cartesien
proof : 1. demonstration 2. preuveprotractor : rapporteur - pour mesurer les anglesto prove V : 1. demontrer 2. prouverpurpose : but - pour un sens, une raison d’etre /
to round V : arrondir / to round off : arrondirau chiffre inferieur / to round up : arrondir au
chiffre superieurroundoff : erreur d’arrondirow : 1. ligne - pour une ligne d’une matrice 2.
rangeerule : regle - pour un principe general / chain rule :
calcul de la derivee d’une composee de fonctions- (f ◦ g)′ = g′ · f ′(g) / power rule : calcul de laderivee de xn - (xn)′ = nxn−1
ruler : regle - pour l’objet permettant de tracerdes droites / ruler-and-compass construction :construction a la regle et au compas
Ssample : echantillonto scale V : redimensionner - dans le sens de mo-
difier par un facteur d’echellescope V : portee - d’une variablesearch : recherche - cf. parcours / depth-first
search : recherche en profondeur / breadth-firstsearch : recherche en largeur
to search V : rechercher - dans le sens de fouiller/ search algorithm : algorithme de recherche
to seek V : rechercher - dans le sens de poursuivre,queter
segment : segment / line segment : segment dedroite
sequence : suite - pour une suite (un) / arithmeticsequence : suite arithmetique / nested sequenceof compacts : suite de compacts imbriques
series : serie - pour une serie∑
un / genera-ting function : serie generatrice / Fourier series :serie de Fourier / Taylor series : serie de Taylor -pour la serie f(a+x) =
∑f (n)(a)/n! xn / power
series : serie entiere / alternating series : seriealternee / geometric series : serie geometrique
set : ensemble / empty set : ensemble vide / sub-set : sous-ensemble / power set : ensemble desparties - pour P(E) / multiset : multi-ensemble/ set theory : theorie des ensembles
to shift V : decaler / redshift : decalage vers lerouge
to shuffle V : melangersign : 1. signe / opposite sign : signe oppose / sign
change : changement de signe 2. symbole / plusand minus signs : symboles ”plus” et ”moins”
8 Lexique Anglais → Francais
significant – tuple
significant A : significatif - pour un objet ayantde l’importance, dans son sens ou ses effets /significant digit : chiffre significatif
significative A : significatif - posseder un sensparticulier
sine : sinus - le nom de la fonction sin(x) / hy-perbolic sine : sinus hyperbolique
slope : pente - pour une courbe ou une droite
smooth A : lisse - pour une fonction, etre suffi-samment derivable (Cn pour n assez grand, voireC∞)
solvable A : resoluble - pour un systemed’equations ou un groupe
to solve V : resoudre - pour une equation
sort : tri / bubble sort : tri a bulleto sort V : trier / to sort in increasing order : trier
selon un ordre croissantspace : espace / vector space : espace vectoriel
/ topological space : espace topologique / phasespace : espace des phases
sparse A : creux - pour une matrice ayant relati-vement peu de coefficients non nuls
spectrum : spectre - pour une matrice, l’ensemblede ses valeurs propres
speed : vitesse
to split V : 1. decouper 2. scinder / to split apolynomial : scinder un polynome
stabilizer : stabilisateurstate : etat - pour les etats d’un automate /
tangent : tangente - pour la tangente a une courbeou le nom de la fonction tan(x) / to be tangentto a curve at some point : etre tangent a unecourbe en un point
to terminate V : terminer
termination : terminaison - pour un algorithme
theorem : theoreme / Pythagoras’ theorem :theoreme de Pythagore / Intermediate valuetheorem : theoreme des valeurs intermediaires/ Mean value theorem : theoreme des accroisse-ments finis
trace : trace - (ou pour preciser le contexte :matrix trace)
trade-off : compromis
trajectory ( pl trajectories) : trajectoire
transcendental A : transcendant
transpose : transposee
trapezoid : trapeze / trapezoidal rule : methodesdes trapezes - pour la methode d’integration
traversal : parcours - pour une structure dedonnee / depth-first traversal : parcours en pro-fondeur / parcours en largeur : breadth-first tra-versal
tree : arbre / binary tree : arbre binaire
to trigger V : provoquer - pour un evenementcausant un autre evenement
truncation : troncature
tuple : uplet / n-tuple : n-uplet
Lexique Anglais → Francais 9
uncountable – zero
Uuncountable A : indenombrableundecidable A : indecidable - pour un probleme,
s’il n’existe pas d’algorithme pour le resoudre /the halting problem is undecidable : le problemede l’arret est indecidable
underflow : debordement - pour un depassementde capacite par le bas (nombre trop petit)
uniformly A : uniformement / uniformlyconvergent : uniformement convergent
union : reunion - pour l’union de deux ensembles/ disjoint union : union disjointe
unit A : unitaire / unit vector : vecteur unitaire -pour un vecteur de norme 1 / unit length : lon-gueur unitaire - pour un segment de longueur 1/ unit test : test unitaire
unit : unite / unit circle : cercle unite / unit oflength : unite de longueur - se refere a une me-sure de longueur
unitary A : unitaire / unitary matrix : matrice uni-taire - pour une matrice carree complexe dontl’inverse est la conjuguee de la transposee
unknown : inconnue - pour une variable nonresolue / equation in one unknown x : equationen une inconnue x
to update V : mettre a jourupper A : superieur / upper triangular matrix :
matrice triangulaire superieure
Vvalue : valeur / absolute value : valeur absolue /
eigenvalue : valeur propre / approximate value :valeur approchee
to vanish V : (s’)annuler - pour les points ou unefonction s’annule
variable : variable / change of variables : change-ment de variables
word : mot / subword : sous-mot - mot obtenu eneffacant des lettres d’un mot de depart
worst A : pire / worst case : pire cas
Yto yield V : produire - pour un resultat
Zzero A : nul - dans le sens d’etre egal a zero /
nonzero : non nul / zero vector : vecteur nul /zero matrix : matrice nulle / zero polynomial :polynome nul
10 Lexique Anglais → Francais
algorithmus – suche
AAlgorithmus nm ( pl Algorithmen) : algorithme
Ansatz nm ( pl Ansatze) : mise en equation -technique de resolution d’un probleme mathe-matique consistant a proposer un modeled’equation pour les solutions et resoudre leprobleme avec ce modele (exemple : les equa-tions differentielles lineaires, et les solutions sousformes Aeλx).
BBerechnung nf ( pl Berechnungen) : calcul
GGruppe nf ( pl Gruppen) : groupe / abelsche
Gruppe : groupe abelien
KKorper nm ( pl Korper) : corps - pour un corps
(K,+,×)
LLemma nn ( pl Lemmas) : lemme / Lemma von
Zorn : lemme de Zorn
PProblem nn ( pl Probleme) : probleme / Ent-
scheidungsproblem : probleme de decision
RRing nm ( pl Ringe) : anneau - pour un anneau
(A,+,×)
SSatz nm ( pl Satze) : theoreme / Satz des Py-
thagoras : theoreme de Pythagore / Zwischen-wertsatz : theoreme des valeurs intermediaires /Nullstellensatz : theoreme des zeros - procedurede decision pour determiner les racines com-munes d’un ensemble fini de polynomes.
Convention : Dans ce dictionnaire, lorsque l’on est partage entre le choix des conventions americaines etdes conventions anglaises, on fait le choix de la convention anglaise.
• Pluriels latins et grecs L’anglais est beaucoup plus prone que le francais a appliquer les reglesde declinaison des mots qu’il emprunte a d’autres langages. C’est le cas en particulier des motsautomaton(-a), genus(-era), polyhedron(-a), vertex(-ices). Il existe neanmoins des exceptions, commepour le mot polygon(-s). Ceci est a relier a l’utilisation frequente de locations latines en anglais.
• Inegalites entre nombres En anglais, les inegalites sont toujours supposees etre prises au sensstrict, alors qu’en francais, elles sont au sens large (sans indication supplementaire). Cela se mani-feste en particulier par des termes comme non negative pour designer les entiers positifs ou nuls.Noter qu’il n’y a apparemment pas de notion d’entiers relatifs en anglais, on parlera juste d’integer(ou de whole number ?).
• Fonction et application En francais, il existe une difference entre fonction et application (ausens ou une fonction peut etre definie partiellement, et une application est une fonction definie surla totalite de son ensemble de depart). Cette difference ne semble pas exister en anglais, ou le termefunction est interchangeable avec les termes map ou mapping. On parlera alors plutot de partialfunction pour une fonction partielle. La difference entre les deux denominations proviendrait de ladifference entre theorie de la calculabilite et theorie des categories.
• Espace de depart et d’arrivee Il peut exister une certaine confusion entre les utilisations destermes domain et range en anglais. Le terme image definit clairement l’ensemble des valeurs prisespar une fonction. Pour les domaines de definition d’une fonction ou d’une integrale, on prefere parlerde domain, meme si en probabilites, on parlerait de range pour une variable aleatoire (a la fois lesvaleurs prises par cette variable et l’ensemble de valeurs strictement positives de la mesure associee)
• Comment traduire une homothetie ? Apparemment, il existe un certain nombre de notionspermettant de representer une homothetie en anglais : la traduction directe homothecy ou homo-thety, est apparement la traduction mathematique exacte, mais l’optimal semble ete homothetictransformation 1. Le mot scaling correspond vraisemblablement a un changement d’echelle, mais
1. Le terme homothetic semble etre une bonne traduction d’homothetique (mais plutot image d’une similitude)
i
– B REMARQUES
semble avoir un sens plus litteral. Le mot dilation est apparemment un synonyme de similitude (i.eune isometrie composee avec une homothetie). Il est eventuellement possible de parler de centraldilation. Les mots exapnsion et central expansion sont lies a des rapports d’homothetie > 1.
• Comment traduire une contraposee ? Apparemment, il existe a l’intersection de l’anglais etde la logique des manieres assez precises de nommer ce que l’on entend par l’inverse d’une propositionlogique. Usuellement, pour une proposition A ⇒ B, la contraposee ou contrapositive est ¬B ⇒ ¬A,mais il est plus naturel d’utiliser le terme de negation. Ces deux propositions sont logiquementequivalentes (en logique traditionnelle). A ne pas confondre avec la reciproque / converse B ⇒ A,ou encore l’inverse ou A ⇒ ¬B (a priori pas de sens en francais).
• Comment traduire une hypothese ? Plusieurs possibilites se presentent : hypothesis, assump-tion ou premise. Le premier terme sous-entend que la proposition peut servir de base a un raison-nement mais n’est pas demontree. Les deux autres termes se referent plus aux hypotheses d’untheoreme, dont la preuve de la validite est assuree / exterieure a la demonstration en cours.
• Concernant l’ordre des mots L’ordre des mots dans une expression en anglais est important,et la plupart du temps, le mot sur lequel porte l’expression est le dernier mot dans cette expression.Par exemple, lorsque l’on parle d’inverse matrix, il s’agit de la matrice (inverse ici d’une autrematrice). Et l’expression matrix inverse denomme l’application A → A−1 d’inversion des matrices.
• Differences orthographiques entre l’anglais et l’americain La plupart des mots se termi-nant en ”-our” au Royaume-Uni se terminent en ”-or” aux Etats-Unis. Il s’agit par exemple des motsneigho(u)r ou behavio(u)r, mais aussi de leurs derives, comme neighbo(u)rhood. Lors de l’ecritured’un texte en anglais, mieux vaut s’attacher a l’orthographe d’un unique pays. Pour reference, ladifference semble venir de la facon dont l’ecriture de ces mots a ete fixee lors des premiers diction-naires dans les deux pays. Certains dictionnaires fournissent les deux orthographes.
• Differences de nommage des theoremes entre l’anglais et l’americain Apparemment, ilexiste quelques differences de nommage pour ce qui est des theoremes, comme le fameux theoremede Pythagore. Au Royaume-Uni, on parlera de Pythagoreas’ theorem, tandis qu’aux Etats-Unis, ontransformera le nom en adjectif : Pythagoream theorem. Ce comportement semble neanmoins assezlocalise, puisqu’il semble que l’on parle uniquement du Euclid’s theorem.