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 /
action transitive : transitive action - s’il n’y aqu’une seule orbite / action fidele : faithful ac-tion
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-
down automaton / automate d’arbre : tree au-tomaton / automate d’etats finis : finite stateautomaton / automate cellulaire : cellular auto-maton
avantage : benefitavoir l’intention V : to intend
Lexique Francais → Anglais 1
axe – conjecturer
axe : axis / axe des x : x-axis
axiome : axiom / axiome du choix : axiom ofchoice
Bbalise : tag - par exemple pour les balises XML
barycentre : barycenter
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
borne : bound / majorant : upper bound / mino-rant : lower bound / borne inferieure : greatestlower bound - sy infimum / borne superieure :least upper bound - sy supremum
borne A : bounded
boucle : loop - pour les boucles d’un graphe,d’une courbe (geometrie) ou d’un code source(programmation) / boucles imbriquees : nestedloops
brin : 1. dart - pour une demi-arete dans une carte2. strand - pour le brin d’une tresse
but : 1. goal - pour un objectif a atteindre 2.
purpose - pour un sens, une raison d’etre / acet effet, dans ce but : for that purpose
Ccalcul : computation
calculer V : 1. to calculate - pour un etre humain2. to compute - pour une machine
canonique A : canonical
caracteristique : 1. characteristic - pour unefonction indicatrice (1E), un invariant topolo-gique (caracteristique d’Euler), un corps . . . /polynome caracteristique : characteristic polyno-mial 2. feature - pour une propriete definissant
un objet
carte : 1. chart - pour remplir l’atlas d’une sur-face de Riemann 2. map / carte combinatoire :combinatorial map
cercle : circle / cercle inscrit : incircle - pour untriangle / cercle circonscrit : circumcircle - pourun triangle aussi / cercle osculateur : osculatingcircle - pour une courbe plane
champ : field / champ de vecteurs : vector field/ champ des tangentes : slope field - pour uneequation differentielle
changement : change / changement de base :change of basis / changement de variables :change of variables
chemin : path
chiffre : digit / chiffre significatif : significant digit
cinetique A : kinetic / energie cinetique : kineticenergy
circulaire A : circular
classifier V : to categorize
colineaire A : collinear
colonne : column
commutatif A : commutative
commuter V : to commute
compacite : compactness
compas : compass / construction a la regle et aucompas : ruler-and-compass construction
complexe A : complex / plan complexe : complexplane
complexite : complexity
complementaire : complement - pour un ensemble/ graphe complementaire : complement graph
completude : completeness
compromis : trade-off
compteur : counter / machine a compteurs : coun-ter machine - pour le modele de calcul
(se) concentrer V : to focus - son attention surquelque chose
conditionnement : condition number - pour unematrice carree
conforme A : conformal / application conforme :conformal mapping - preservant localement lesangles
conjecturer V : to surmise
2 Lexique Francais → Anglais
connexe – developpement
connexe A : connected / composante connexe :connected component / graphe triconnexe : 3-connected graph
connexite : 1. connectedness - utilise en topologie2. connectivity - utilise en theorie des graphes
conserver V : to preserve / conservant les dis-tances : distance-preserving
continu A : continuous / etre continu en x : to becontinuous at x / fraction continue : continuedfraction
contrainte : constraint / probleme de satisfactionde contraintes : constraint satisfaction problem(CSP)
contraposee : negation - pour une formule logiquecontredire V : to contradictconverger V : to converge / converger vers une
limite : to converge to a limit / converger uni-formement : to converge uniformly / convergersimplement : to converge pointwise
convexe A : convexcoordonnee : coordinate / coordonnee en x :
x-coordinatecorps : field - pour un corps (K,+,×) / corps
fini : finite field ( sy Galois field, note GF (pn))/ corps de decomposition : splitting field / corpsdes fractions : field of fractions
correspondance : correspondence / correspon-dance de Post : Post correspondence
correspondre (a) V : to matchcosinus : cosine - le nom de la fonction cos(x) /
cosinus hyperbolique : hyperbolic cosinecouple : couple - pour un ensemble ordonne a
deux elements (inusite)courbe : curvecourbure : curvature / centre de courbure : cen-
ter of curvature / rayon de courbure : radius ofcurvature
creux A : sparse - pour une matrice ayant relati-vement peu de coefficients non nuls
critere : criterion / critere d’arret : stopping cri-terion
crochet : bracket / crochet de Lie : Lie bracket /crochet (caractere) : square bracket
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
diagramme : chart / diagramme circulaire : piechart
dichotomie : bisection
distingue A : normal - pour un sous-groupe
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
factoriser V : to factorize
faux A : false - dans le sens de vrai ou faux
fermeture : closure / fermeture transitive : tran-sitive closure
feuille : leaf - pour les sommets sans fils d’unarbre
fibre : bundle / fibre tangent : tangent bundle
flot : flow - pour une equation differentielle
4 Lexique Francais → Anglais
fonction – intervalle
fonction : function / application lineaire : linearfunction / fonction reciproque : inverse function/ serie generatrice : generating function
fonde A : founded / bien fonde : well-founded -pour une relation d’ordre n’admettant pas desuites infinies strictement decroissantes
formule : formula
formuler V : to formulate
fraction : fraction / fraction continue : continuedfraction
frontiere : boundary
frottement : friction / frottement du au mouve-ment dans un fluide : drag
Ggauche A : left / membre gauche : left hand side
- d’une equation / le plus a gauche : leftmost
genre : genus - pour une surface
gradient : gradient / methode du gradientconjugue : conjugate gradient method
graphe : graph - designe un graphe (V,E) /graphe complet : complete graph / graphe pla-naire : planar graph / graphe d’une fonction :function graph / graphe oriente : directed graph( sy digraph)
groupe : group / groupe abelien : abelian group/ groupe symetrique : symmetric group / groupecyclique : cyclic group / groupe lineaire : lineargroup
Hhasard : chance / au hasard, aleatoirement : at
random
hauteur : height
holomorphe A : holomorphic
homogene A : homogeneous / polynome ho-mogene : homogeneous polynomial - tel quex2 + xy + y2
hypothese : 1. hypothesis 2. premise
Iidentite : identity - pour le neutre d’un groupe,
la matrice identite . . .
image : 1. image 2. range - designe l’ensembledes valeurs atteintes par une fonction
imaginaire A : imaginary - pour un nombre com-plexe de partie reelle nulle
impair A : odd - pour un nombre entier ou unefonction
impliquer V : 1. to entail - dans le sens d’entraıner,requerir 2. to imply
inconnue : unknown - pour une variable nonresolue / equation en une inconnue x : equationin one unknown x
inconvenient : drawbackindecidable A : undecidable - pour un probleme,
s’il n’existe pas d’algorithme pour le resoudre /le probleme de l’arret est indecidable : the hal-ting problem is undecidable
indenombrable A : uncountableindicatrice d’Euler : Euler totient function - φ(n)
est le nombre d’entiers de [1;n] premiers avec nindice : index - d’un nombre dans un tableau,
d’une variable ai, d’un sous-groupeinduire V : to incur - dans le sens d’entraıner
une consequence couteuse / la surcharge occa-sionnee : the overhead incurred
inegalite : inequality / inegalite triangulaire : tri-angle inequality
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
largeur : 1. breadth / breadth-first traversal :parcours en largeur 2. width / largeur arbores-cente : treewidth
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
algorithme d’integrationpavage : tiling / pavage archimedien : Archime-
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
complexespolygone : polygon / polygone regulier : regular
polygonpolynome : polynomial / polynome unitaire : mo-
nic polynomial - de la forme xn + anxn−1 + · · ·
/ 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
puissance : power
Q
quadrilatere : quadrilateral
quantification : quantification - (americain : quan-tization)
quantifier V : to quantify
quantite de mouvement : momentum - pourle produit de la masse par la vitesse / momentcinetique : angular momentum
quotient : quotient - pour le resultat d’une di-vision euclidienne / quotient space : espace quo-tient
Rracine : root / racine carree : square root / racine
cubique : cubic root / racine n-eme : n-th root/ racine simple : simple root / racine double :double root / racine multiple : multiple root -pour un polynome
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
recherche : search - cf. parcours / recherche enprofondeur : depth-first search / recherche enlargeur : breadth-first search
rechercher V : 1. to search - dans le sens de fouiller/ algorithme de recherche : search algorithm 2.
to seek - dans le sens de poursuivre, queterreciproque : converse - si P ≡ A ⇒ B, la propo-
sition logique reciproque est B ⇒ Areconnaissable A : recognizablerecouvrement : cover / recourement ouvert : open
coverrectangle A : right / triangle rectangle : right tri-
anglerecuit : annealing - (metallurgie) / recuit simule :
simulated annealingrecuperer V : to retrieve - dans le sens d’aller
chercher (pour une information, une donnee)recurrence : 1. induction - pour un raisonnement
par recurrence sur N 2. recurrence - pour desrelations de recurrence un+1 = f(un)
recursif A : recursiveredimensionner V : to scale - dans le sens de mo-
difier par un facteur d’echellereecrire V : to rewrite / systeme de reecriture :
rewriting system - mais aussi rewrite systemregle : 1. rule - pour un principe general / cal-
cul de la derivee d’une composee de fonctions :chain rule - (f ◦ g)′ = g′ · f ′(g) / calcul de laderivee de xn : power rule - (xn)′ = nxn−1 2.
ruler - pour l’objet permettant de tracer desdroites / construction a la regle et au compas :ruler-and-compass construction
(se) rencontrer V : to meet / l’origine est le pointd’intersection des axes : the origin is the pointwhere the axes meet
repousser V : to repel - pour une force(se) reproduire V : to recur - pour un evenement
se reproduisant une ou plusieurs foisreseau : 1. lattice - pour un sous-groupe abelien
de Rn / aussi appele point lattice 2. network -pour un graphe de machines reliees entre elles
resoluble A : solvable - pour un systemed’equations ou un groupe
resoudre V : to solve - pour une equationreste : remainder - pour le reste d’une division
euclidienne, des termes d’une equationresumer V : to summarizeretenue : carry - pour les operations arithmetiques
/ poser 2 et retenir 1 : to put down 2 and carry 1
8 Lexique Francais → Anglais
reunion – tri
reunion : union - pour l’union de deux ensembles/ union disjointe : disjoint union
revetement : cover / revetement universel : uni-versal cover
Ssatisfaire V : to fulfil - des conditions, un resultatscinder V : to split / scinder un polynome : to split
a polynomialsecant A : concurrent / droites secantes : concur-
rent lines - en un point uniquesegment : segment / segment de droite : line seg-
mentserie : series - pour une serie
∑un / serie
generatrice : generating function / serie de Fou-rier : Fourier series / serie de Taylor : Taylorseries - pour la serie f(a+x) =
∑f (n)(a)/n! xn
/ serie entiere : power series / serie alternee : al-ternating series / serie geometrique : geometricseries
seuil : thresholdsigne : sign / signe oppose : opposite sign / chan-
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
annealing : recuit - (metallurgie) / simulated an-nealing : recuit simule
annulus ( pl annuli) : anneau - pour le domainedu plan borne par deux cercles concentriques
antiderivative : primitive - designe uneintegrale indefinie (indefinite integral) de laforme
∫f(x) dx
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
to attract V : attirer - pour une force
automaton ( pl automata) : automate / pushdownautomaton : automate a pile / tree automaton :automate d’arbre / finite state automaton : au-tomate d’etats finis / cellular automaton : auto-mate cellulaire
average : moyenne / on average : en moyenne
to avoid V : eviter
axiom : axiome / axiom of choice : axiome duchoix
axis ( pl axes) : axe / x-axis : axe des x
Bto balance V : equilibrer / load balancing :
equilibrage de charge
barycenter : barycentre
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
boundary : frontiere
bounded A : borne
bracket : crochet / Lie bracket : crochet de Lie /square bracket : crochet (caractere)
braid : tresse / braid group : groupe de tresses
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
circular A : circulaire
claim : affirmation
to claim V : affirmer
closure : fermeture / transitive closure : fermeturetransitive
collinear A : colineairecolumn : colonnecommutative A : commutatifto commute V : commutercompactness : compacitecompass : compas / ruler-and-compass construc-
tion : construction a la regle et au compascomplement : complementaire - pour un ensemble
/ complement graph : graphe complementairecompleteness : completudecomplex A : complexe / complex plane : plan com-
plexecomplexity : complexitecomputation : calculto compute V : calculer - pour une machineconcurrent A : secant / concurrent lines : droites
secantes - en un point uniquecondition number : conditionnement - pour une
matrice carreeconformal A : conforme / conformal mapping : ap-
plication conforme - preservant localement lesangles
connected A : connexe / connected component :composante connexe / 3-connected graph :graphe triconnexe
connectedness : connexite - utilise en topologieconnectivity : connexite - utilise en theorie des
graphesconstraint : contrainte / constraint satisfaction
problem (CSP) : probleme de satisfaction decontraintes
continuous A : continu / to be continuous at x :etre continu en x / continued fraction : fractioncontinue
to contradict V : contredireto converge V : converger / to converge to a li-
mit : converger vers une limite / to converge uni-formly : converger uniformement / to convergepointwise : converger simplement
converse : reciproque - si P ≡ A ⇒ B, la propo-sition logique reciproque est B ⇒ A
convex A : convexecoordinate : coordonnee / x-coordinate : coor-
donnee en x
2 Lexique Anglais → Francais
correspondence – evolute
correspondence : correspondance / Post corres-pondence : correspondance de Post
cosine : cosinus - le nom de la fonction cos(x) /hyperbolic cosine : cosinus hyperbolique
countable A : denombrable - pour un ensemble,etre en bijection avec N
counter : compteur / counter machine : machinea compteurs - pour le modele de calcul
couple : couple - pour un ensemble ordonne adeux elements (inusite)
cover : 1. recouvrement / open cover : recoure-ment ouvert 2. revetement / universal cover :revetement universel
criterion ( pl criteria) : critere / stopping crite-rion : critere d’arret
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-
lumedepth : profondeur / depth-first traversal : par-
cours en profondeurderivative : derivee - pour la fonction derivee /
partial derivative with respect to x : derivee par-tielle par rapport a x
determinant : determinant / to expand a determi-nant along a row : developper un determinantpar rapport a une ligne - sy Laplace expansion
deterministic A : deterministediagonal : diagonale / diagonal matrix : matrice
diagonale / subdiagonal : sous-diagonale - dans
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
drawback : inconvenientdrift : derive / continental drift : derive des conti-
nentsdynamical system : systeme dynamique
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
n!factorization : factorisation / matrix factoriza-
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
inequality : inegalite / triangle inequality :inegalite triangulaire
to infer V : deduire
to initialize V : initialiser
injective A : injectif
insignificant A : negligeable
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
lemma ( pl lemmas, lemmata) : lemme / Zorn’slemma : lemme de Zorn
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
Mmanifold : variete - au sens topologique
mantissa : mantisse
map : 1. application / identity map : applicationidentite 2. carte / combinatorial map : cartecombinatoire
to match V : correspondre (a)
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)
Ppair : paire - pour un ensemble non ordonne a
deux elementsparadox ( pl paradoxes) : paradoxeto parameterize V : parametrerparity : paritepath : cheminpattern : motif / pattern matching : reconnais-
sance de motif - par exemple dans un langagede programmation / design pattern : motif deprogrammation
perpendicular bisector : mediatricephysics : physique - pour le domaine scientifiquepiece : morceau / piecewise continuous : continue
par morceauxpole : pole - pour les singularites des fonctions
complexespolygon ( pl polygons) : polygone / regular poly-
gon : polygone regulierpolyhedron ( pl polyhedra) : polyedrepolynomial : polynome / monic polynomial : po-
lynome unitaire - de la forme xn+anxn−1+ · · ·
/ 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 /
for that purpose : a cet effet, dans ce but
Q
quadrilateral : quadrilaterequantification : quantification - (americain : quan-
tization)to quantify V : quantifierquotient : quotient - pour le resultat d’une di-
vision euclidienne / espace quotient : quotientspace
Rradius ( pl radii) : rayon / spectral radius : rayon
spectral - pour une matrice, le module de saplus grande valeur propre / radius of conver-gence : rayon de convergence - pour une serieentiere
to raise V : elever / to raise x to the y-th power :elever x a la puissance y
random A : aleatoire / random variable : variablealeatoire / random walk : marche aleatoire /
Lexique Anglais → Francais 7
range – sign
at random : au hasard, aleatoirement / randomnumber generator : generateur aleatoire
range : image - designe l’ensemble des valeursatteintes par une fonction
to range V : varier - entre certaines limites / thevalues range from 50 to 70% : les valeurs sontcomprises entre 50 et 70%
rank : rang - pour une matrice, la dimension deson image
ratio : rapport - entre deux quantites a
b/ golden
ratio : nombre d’orrational A : rationnel - appartenant a Q
to reach V : atteindreto recall V : rappeler - dans le sens de rememorerreciprocal : inverse - the reciprocal of b corres-
pond au nombre 1b/ reciprocal function : fonc-
tion x → 1/xrecognizable A : reconnaissableto recur V : (se) reproduire - pour un evenement
se reproduisant une ou plusieurs foisrecurrence : recurrence - pour des relations de
recurrence un+1 = f(un)recursive A : recursifto refer V : designer - (Ang. +to)remainder : reste - pour le reste d’une division
euclidienne, des termes d’une equationto repel V : repousser - pour une forceto retrieve V : recuperer - dans le sens d’aller
chercher (pour une information, une donnee)to rewrite V : reecrire / rewriting system : systeme
de reecriture - mais aussi rewrite systemright A : 1. droit / right angle : angle droit -
(egal a π/2) / right hand side : membre droit -d’une equation / rightmost : le plus a droite 2.
rectangle / right triangle : triangle rectanglering : anneau - pour un anneau (A,+,×) / poly-
nomial ring : anneau des polynomes / divisionring : anneau a division - autre nom d’un corpsnon commutatif
root : racine / square root : racine carree / cubicroot : racine cubique / n-th root : racine n-eme /simple root : racine simple / double root : racinedouble / multiple root : racine multiple - pourun polynome
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 /
starting state : etat initial/de depart / acceptingstate : etat final/acceptant
to state V : affirmer / the theorem states that : letheoreme affirme que
step : 1. etape 2. pas / time step : pas de temps- pour un algorithme d’integration
straight A : droit / straight line : ligne droite
strand : brin - pour le brin d’une tressesubset : partie - pour une partie d’un ensembleto subsume V : englober
to subtract V : soustrairesubtraction : soustractionsufficient A : suffisant
to summarize V : resumersurjective A : surjectifto surmise V : conjecturer
symmetric A : symetrique - pour une matrice ouun objet mathematique presentant des symetries/ symmetric group : groupe symetrique
symmetrical A : symetrique - pour un objetgeneral possedant des symetries
symmetry ( pl symmetries) : symetrie - termegeneral / reflection : symetrie axiale
Ttag : balise - par exemple pour les balises XML
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
threshold : seuil
tiling : pavage / Archimedean tiling : pavage ar-chimedien
torus ( pl tori) : tore
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
vector : vecteur / eigenvector : vecteur propre /vector space : espace vectoriel / tangent vector :vecteur tangent / unit vector : vecteur unitaire
vertex ( pl vertices) : sommet - pour les sommetsd’un graphe ou d’un arbre
vortex ( pl vortices) : tourbillon
Wweight : poids
width : largeur / treewidth : largeur arborescente
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.
Suche nf ( pl Suchen) : recherche - cf. parcours/ Tiefensuche : recherche en profondeur / Brei-tensuche : recherche en largeur
Lexique Allemand → Francais 1
– B REMARQUES
A Terminologie
Nom commun ou groupe nominal
nm Genre masculin
nf Genre feminin
nn Genre neutre
A Adjectif
V Verbe
pl Pluriel
sy Synonyme
B Remarques
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.
ii
Top Related