french/english lexis lexique anglais/fran¸cais - labri.fr · anglais ou pgcd en franc¸ais domaine...

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


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


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


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


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


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


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


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


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


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


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


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


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 /


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”


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


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


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

french/english lexis lexique anglais/fran¸cais - labri.fr · anglais ou pgcd en franc¸ais domaine...

Documents