Crédit lyonnaisLe Crédit lyonnais, société anonyme, connue depuis les années 2000 sous l'appellation LCL, est une banque française fondée à Lyon en 1863 par François Barthélemy Arlès-Dufour et Henri Germain. Elle est considérée comme l'un des trois piliers de l'industrie bancaire française, faisant partie des « Trois Vieilles » avec BNP Paribas et Société générale . vignette|Action du Crédit lyonnais de 1863.
Processus de Poissonvignette|Schéma expliquant le processus de Poisson Un processus de Poisson, nommé d'après le mathématicien français Siméon Denis Poisson et la loi du même nom, est un processus de comptage classique dont l'équivalent discret est la somme d'un processus de Bernoulli. C'est le plus simple et le plus utilisé des processus modélisant une . C'est un processus de Markov, et même le plus simple des processus de naissance et de mort (ici un processus de naissance pur).
Connexion de Levi-CivitaEn géométrie riemannienne, la connexion de Levi-Civita est une connexion de Koszul naturellement définie sur toute variété riemannienne ou par extension sur toute variété pseudo-riemannienne. Ses propriétés caractérisent la variété riemannienne. Notamment, les géodésiques, courbes minimisant localement la distance riemannienne, sont exactement les courbes pour lesquelles le vecteur vitesse est parallèle. De plus, la courbure de la variété se définit à partir de cette connexion ; des conditions sur la courbure imposent des contraintes topologiques sur la variété.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Chlorure de zincLe chlorure de zinc est un corps composé ionique de cation zinc et d'anion chlorure, de formule chimique . Ce sel chlorure de zinc ZnCl2 est un solide blanc ou incolore, de densité 2,9. Ce corps est déliquescent extrêmement hygroscopique. Il est très soluble dans l'eau, avec une solubilité de pour d'eau pure à et de pour d'eau pure à . Il l'est un peu moins dans l'éthanol, avec une solubilité avoisinant pour d'éthanol à . Il reste très soluble dans l'éther. Il est insoluble dans l'ammoniac liquide.
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Metric connectionIn mathematics, a metric connection is a connection in a vector bundle E equipped with a bundle metric; that is, a metric for which the inner product of any two vectors will remain the same when those vectors are parallel transported along any curve. This is equivalent to: A connection for which the covariant derivatives of the metric on E vanish. A principal connection on the bundle of orthonormal frames of E. A special case of a metric connection is a Riemannian connection; there is a unique such which is torsion free, the Levi-Civita connection.
Radial trajectoryIn astrodynamics and celestial mechanics a radial trajectory is a Kepler orbit with zero angular momentum. Two objects in a radial trajectory move directly towards or away from each other in a straight line. There are three types of radial trajectories (orbits). Radial elliptic trajectory: an orbit corresponding to the part of a degenerate ellipse from the moment the bodies touch each other and move away from each other until they touch each other again. The relative speed of the two objects is less than the escape velocity.
Trajectoire paraboliquethumb|La ligne verte représente une trajectoire parabolique. En mécanique céleste et en mécanique spatiale, une trajectoire parabolique (ou orbite parabolique) est une orbite de Kepler dont l'excentricité est égale à 1. L'objet en orbite décrit alors, sur le plan de l'orbite, une parabole dont le foyer est l'objet plus massif. Le mouvement parabolique s'effectue lorsqu'un projectile est soumis à une vitesse initiale et à la seule accélération de la pesanteur. Un exemple courant de mouvement parabolique est l'obus tiré depuis un canon.
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Trajectoire hyperboliquevignette|La ligne bleue représente une trajectoire hyperbolique. Une trajectoire hyperbolique (ou, abusivement, orbite hyperbolique) est, en mécanique spatiale, la trajectoire de tout objet autour du corps central avec une vitesse suffisante pour échapper à l'attraction gravitationnelle de celui-ci. Le nom dérive du fait que, selon la loi universelle de la gravitation, une telle orbite a la forme d'une hyperbole. En termes plus techniques, cela peut être exprimé par une excentricité orbitale supérieure à 1.
