TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

... mathematicians designate any theorem as "trivial" once a proof has been obtained--no matter how difficult the theorem was to prove in the first place. There are therefore exactly two types of true mathematical propositions : trivial ones, and those which have not yet been proven.  2, fiche 1, Anglais, - trivial%20theorem

Record number: 1, Textual support number: 1 OBS

The opposite of a trivial theorem is a "deep theorem. "  2, fiche 1, Anglais, - trivial%20theorem

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 CONT

[...] un théorème trivial peut être une proposition qui se déduit de manière évidente et immédiate d'autres théorèmes connus, ou qui ne s'applique qu'à un ensemble spécifique d'objets particuliers. Cependant, il arrive qu'un théorème soit suffisamment original pour être considéré comme profond, bien que sa démonstration soit assez évidente.  2, fiche 1, Français, - th%C3%A9or%C3%A8me%20trivial

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 CONT

[Researchers] introduce a theorem proving algorithm that uses practically no domain heuristics for guiding its connection-style proof search. Instead, it runs many Monte-Carlo simulations guided by reinforcement learning from previous proof attempts.  2, fiche 2, Anglais, - theorem%2Dproving%20algorithm

Fiche 2,  Justifications,  Français

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 CONT

The opposite of a trivial theorem is a "deep theorem. "  2, fiche 3, Anglais, - deep%20theorem

Fiche 3,  Justifications,  Français

Record number: 3, Textual support number: 1 OBS

[...] un théorème trivial peut être une proposition qui se déduit de manière évidente et immédiate d'autres théorèmes connus, ou qui ne s'applique qu'à un ensemble spécifique d'objets particuliers. Cependant, il arrive qu'un théorème soit suffisamment original pour être considéré comme profond, bien que sa démonstration soit assez évidente.  2, fiche 3, Français, - th%C3%A9or%C3%A8me%20profond

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 DEF

A normal form for predicate calculus formulae borrowed from mathematical logic, and much used in automatic theorem proving.  2, fiche 4, Anglais, - clausal%20form

Record number: 4, Textual support number: 1 CONT

The logic used to represent knowledge in logic programming is clausal form which is a subset of first-order predicate logic.  3, fiche 4, Anglais, - clausal%20form

Fiche 4,  Justifications,  Français

Record number: 4, Textual support number: 1 CONT

On peut représenter une formule en forme normale conjonctive par un ensemble de clauses, on parle alors de forme clausale.  2, fiche 4, Français, - forme%20clausale

Fiche 4,  Justifications,  Espagnol

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 DEF

The formal method of providing a proof in symbolic logic. Each step in the proof will (a) introduce a premise or axiom; (b) provide a statement that is a natural consequence of previously established results using only legitimate rules of inference.  2, fiche 5, Anglais, - theorem%20proving

Record number: 5, Textual support number: 2 DEF

a task of artificial intelligence.  3, fiche 5, Anglais, - theorem%20proving

Record number: 5, Textual support number: 3 DEF

A problem-solving approach in which a hypothesized conclusion(theorem) is validated using deductive logic.  4, fiche 5, Anglais, - theorem%20proving

Fiche 5,  Justifications,  Français

Record number: 5, Textual support number: 1 CONT

L'algorithme d'unification développé par Robinson a eu un important impact sur la recherche concernant les preuves de théorèmes.  2, fiche 5, Français, - d%C3%A9monstration%20de%20th%C3%A9or%C3%A8mes

Fiche 5,  Justifications,  Espagnol

Fiche 6,  Justifications,  Anglais

Record number: 6, Textual support number: 1 DEF

A general automatic method for determining if a hypothesized-conclusion(theorem) follows from a given set of premises(axioms).  3, fiche 6, Anglais, - automatic%20theorem%20proving

Fiche 6,  Justifications,  Français

Record number: 6, Textual support number: 1 CONT

PROLOG et la logique formelle, (...) Il s'agit d'une méthode de démonstration automatique de théorèmes, bâtie autour d'une seule règle d'inférence, ce qui va permettre d'automatiser les mécanismes de raisonnement.  4, fiche 6, Français, - d%C3%A9monstration%20automatique%20de%20th%C3%A9or%C3%A8mes

Fiche 6,  Justifications,  Espagnol

Fiche 7,  Justifications,  Anglais

Record number: 7, Textual support number: 1 CONT

In information theory, the Shannon–Hartley theorem tells the maximum rate at which information can be transmitted over a communications channel of a specified bandwidth in the presence of noise.  3, fiche 7, Anglais, - Shannon%26ndash%3BHartley%20theorem

Fiche 7,  Justifications,  Français

Fiche 7,  Justifications,  Espagnol

Fiche 8,  Justifications,  Anglais

Record number: 8, Textual support number: 1 DEF

... the probability that a hypothesis is true, calculated[, ] typically by application of Bayes’ theorem[, ] in the light of certain relevant observations, including expert knowledge...  3, fiche 8, Anglais, - posterior%20probability

Fiche 8,  Justifications,  Français

Record number: 8, Textual support number: 1 CONT

La probabilité postérieure est celle qui est calculée sur la base de données déjà connues après un processus ou une expérience. La probabilité a posteriori est donc celle qui n'est pas estimée sur la base de conjectures ou de connaissances a priori concernant la distribution d'une probabilité, comme dans la probabilité a priori.  1, fiche 8, Français, - probabilit%C3%A9%20post%C3%A9rieure

Fiche 8,  Justifications,  Espagnol

Record number: 8, Textual support number: 1 CONT

La distinción entre probabilidad a priori y a posteriori es relativa. Una probabilidad a posteriori vuelve a ser a priori en relación a un nuevo experimento. A partir de las probabilidades a priori y la información adicional producto de una muestra, la fórmula de Bayes permite obtener las probabilidades revisadas o a posteriori.  2, fiche 8, Espagnol, - probabilidad%20posterior

Fiche 9,  Justifications,  Anglais

Record number: 9, Textual support number: 1 OBS

See also the record "theorem proving".  2, fiche 9, Anglais, - proving%20procedure

Fiche 9,  Justifications,  Français

Record number: 9, Textual support number: 1 OBS

Voir aussi la fiche "démonstration de théorèmes.  2, fiche 9, Français, - proc%C3%A9dure%20de%20d%C3%A9monstration

Fiche 9,  Justifications,  Espagnol

Fiche 10,  Justifications,  Anglais

Record number: 10, Textual support number: 1 CONT

The no-cloning theorem claims that a quantum device cannot be constructed to generate an exact copy of an arbitrary quantum state...  2, fiche 10, Anglais, - no%2Dcloning%20theorem

Fiche 10,  Justifications,  Français

Record number: 10, Textual support number: 1 DEF

Impossibilité démontrée de copier sans erreur un qubit dans un état quantique inconnu en conservant l'état quantique initial.  1, fiche 10, Français, - th%C3%A9or%C3%A8me%20de%20non%2Dclonage%20quantique

Record number: 10, Textual support number: 1 OBS

Le non-clonage quantique n'interdit pas de faire une copie sans erreur d'un qubit dans un état quantique connu ni de faire une copie imparfaite d'un qubit dans un état quantique inconnu.  1, fiche 10, Français, - th%C3%A9or%C3%A8me%20de%20non%2Dclonage%20quantique

Record number: 10, Textual support number: 2 OBS

théorème de non-clonage quantique; non-clonage quantique : désignations, définition et observation publiées au Journal officiel de la République française le 20 décembre 2022.  2, fiche 10, Français, - th%C3%A9or%C3%A8me%20de%20non%2Dclonage%20quantique

Fiche 10,  Justifications,  Espagnol

Record number: 10, Textual support number: 1 CONT

El teorema de no clonación [...] establece que resulta imposible construir una transformación unitaria cuya acción sea copiar el estado de un sistema a otro.  3, fiche 10, Espagnol, - teorema%20de%20no%20clonaci%C3%B3n

Record number: 10, Textual support number: 2 CONT

En física, el teorema de no clonado o teorema de no clonación declara que es imposible crear una copia idéntica de un estado cuántico desconocido arbitrario.  2, fiche 10, Espagnol, - teorema%20de%20no%20clonaci%C3%B3n

Fiche 11,  Justifications,  Anglais

Record number: 11, Textual support number: 1 DEF

A mathematical formula used to determine the conditional probability of events.  3, fiche 11, Anglais, - Bayes%27%20theorem

Record number: 11, Textual support number: 1 CONT

In statistics and probability theory,... the Bayes’ theorem describes the probability of an event based on prior knowledge of the conditions that might be relevant to the event.  3, fiche 11, Anglais, - Bayes%27%20theorem

Fiche 11,  Justifications,  Français

Record number: 11, Textual support number: 1 DEF

[...] formule mathématique utilisée pour déterminer la probabilité conditionnelle d'événements.  2, fiche 11, Français, - th%C3%A9or%C3%A8me%20de%20Bayes

Record number: 11, Textual support number: 1 CONT

Essentiellement, le théorème de Bayes décrit la possibilité d'un événement basé sur la connaissance préalable des conditions qui peuvent être pertinentes pour l'événement.  2, fiche 11, Français, - th%C3%A9or%C3%A8me%20de%20Bayes

Fiche 11,  Justifications,  Espagnol

Fiche 12,  Justifications,  Anglais

Record number: 12, Textual support number: 1 CONT

... Baye's theorem to problems requiring point estimates for probabilities [was applied]. We then extended the Bayesian approach to handle prior distributions for parameters rather than simply point estimates for prior probabilities. The result was that our posterior probability became a distribution, rather than a point estimate.  2, fiche 12, Anglais, - Bayesian%20approach

Fiche 12,  Justifications,  Français

Record number: 12, Textual support number: 1 CONT

L'approche bayésienne, qui consiste à réviser des probabilités a priori pour formuler des probabilités a posteriori en utilisant le théorème de Bayes et de l'information additionnelle[,] est généralement associée avec la probabilité subjective.  1, fiche 12, Français, - approche%20bay%C3%A9sienne

Fiche 12,  Justifications,  Espagnol

Fiche 13,  Justifications,  Anglais

Record number: 13, Textual support number: 1 CONT

Stephen Hawking famously built on Penrose's theorem to upend theories about the origin of the Universe after the pair worked together on singularities. Singularities became central to every theory about the nature, history and future of the Universe. Experimentalists identified other singularities – including the one at the heart of the hypermassive black hole at the centre of our own galaxy...  2, fiche 13, Anglais, - hypermassive%20black%20hole

Fiche 13,  Justifications,  Français

Fiche 13,  Justifications,  Espagnol

Fiche 14,  Justifications,  Anglais

Record number: 14, Textual support number: 1 CONT

In recent years, there is a tendency to formalize and verify the correctness of conversion algorithms in interactive theorem provers.  2, fiche 14, Anglais, - conversion%20algorithm

Fiche 14,  Justifications,  Français

Fiche 14,  Justifications,  Espagnol

Fiche 15,  Justifications,  Anglais

Record number: 15, Textual support number: 1 CONT

... the locality principle needed for Bell' s theorem is stronger than the simple locality that is needed to satisfy the demands of relativity and... quantum mechanics satisfies the latter. The stronger locality principle is equivalent to the conjunction of simple locality and predictive completeness, and it is the latter principle that fails.  1, fiche 15, Anglais, - simple%20locality

Fiche 15,  Justifications,  Français

Record number: 15, Textual support number: 1 CONT

La localité simple montre qu'une mesure combinée sur les deux particules donne les mêmes probabilités sur le résultat d'une des particules que les probabilités données par une mesure sur cette particule seulement.  2, fiche 15, Français, - localit%C3%A9%20simple

Fiche 15,  Justifications,  Espagnol

Fiche 16,  Justifications,  Anglais

Record number: 16, Textual support number: 1 DEF

[An atom in which] one or more sub-atomic particles has been replaced by other particles of the same charge.  2, fiche 16, Anglais, - exotic%20atom

Record number: 16, Textual support number: 1 CONT

Exotic atoms are unique traps for elementary particles like muons, pions and antiprotons and allow physicists to test fundamental laws like the CPT theorem [charge conjugation, parity transformation and time reversal], quantum electrodynamics, the theory of strong interactions, and the properties of elementary particles.  3, fiche 16, Anglais, - exotic%20atom

Fiche 16,  Justifications,  Français

Record number: 16, Textual support number: 1 DEF

[Atome] dans lequel au moins une particule subatomique a été remplacée par une autre particule de même charge électrique.  2, fiche 16, Français, - atome%20exotique

Record number: 16, Textual support number: 1 CONT

À la place de l'électron, on peut prendre le proton et l'antiproton : l'atome exotique ainsi obtenu est le protonium, dont le symbole est pp [...]  3, fiche 16, Français, - atome%20exotique

Fiche 16,  Justifications,  Espagnol

Fiche 17,  Justifications,  Anglais

Record number: 17, Textual support number: 1 CONT

Implied yields are annualized interest rates for the given currency and tenor, derived from the covered interest rate parity theorem. They are derived from the prevailing spot and forward rates for the currency versus the USD [US dollar](or EUR [euro], where applicable) for the corresponding time period, along with the US(or euro) interest rate for the same period.  1, fiche 17, Anglais, - implied%20yield

Fiche 17,  Justifications,  Français

Fiche 17,  Justifications,  Espagnol

Fiche 18,  Justifications,  Anglais

Record number: 18, Textual support number: 1 OBS

A theorem or problem with its proof or solution.  1, fiche 18, Anglais, - proposition

Fiche 18,  Justifications,  Français

Fiche 18,  Justifications,  Espagnol

Fiche 19,  Justifications,  Anglais

Record number: 19, Textual support number: 1 OBS

The process of reasoning that, if some theorem is true for the first element of a well-ordered set "S", and the theorem is true for an element "a" of "S" if it is true for each element proceeding "a", then the theorem is true for every element of "S".  1, fiche 19, Anglais, - transfinite%20induction

Fiche 19,  Justifications,  Français

Fiche 19,  Justifications,  Espagnol

Fiche 20,  Justifications,  Anglais

Record number: 20, Textual support number: 1 DEF

Theory of the formation of depressions by convective ascent of heated surface air, during a sufficient interval and of sufficient magnitude, for the inflowing air near the Earth's surface to acquire appreciable cyclonic rotation, in accordance with the circulation theorem.  2, fiche 20, Anglais, - convective%20theory%20of%20cyclogenesis

Fiche 20,  Justifications,  Français

Record number: 20, Textual support number: 1 DEF

Théorie de la formation de dépression par ascension convective de l'air échauffé au sol pendant une durée et avec une importance suffisante pour que l'air affluant près de la surface terrestre acquiert une rotation cyclonique notable en vertu du théorème de la circulation.  2, fiche 20, Français, - th%C3%A9orie%20convective%20de%20la%20cyclog%C3%A9n%C3%A8se

Fiche 20,  Justifications,  Espagnol

Record number: 20, Textual support number: 1 DEF

Teoría sobre la formación de una depresión como consecuencia del ascenso convectivo de aire calentado en la superficie durante un intervalo de tiempo suficiente y con la intensidad requerida para que el aire próximo a la superficie, que penetra en la región, pueda adquirir una rotación ciclónica apreciable de acuerdo con el teorema de la circulación.  1, fiche 20, Espagnol, - teor%C3%ADa%20convectiva%20de%20la%20ciclog%C3%A9nesis

Fiche 21,  Justifications,  Anglais

Record number: 21, Textual support number: 1 OBS

No patent shall be granted for any mere scientific principle or abstract theorem.  1, fiche 21, Anglais, - abstract%20theorem

Fiche 21,  Justifications,  Français

Record number: 21, Textual support number: 1 OBS

Il ne peut être octroyé de brevet pour de simples principes scientifiques ou conceptions théoriques.  1, fiche 21, Français, - conception%20th%C3%A9orique

Fiche 21,  Justifications,  Espagnol

Fiche 22,  Justifications,  Anglais

Record number: 22, Textual support number: 1 CONT

Bernoulli's theorem. How pressure and velocity interact... General concept : The Bernoulli effect is simply a result of the conservation of energy. The work done on a fluid(a fluid is a liquid or a gas), the pressure times the volume, is equal to the change in kinetic energy of the fluid.  3, fiche 22, Anglais, - Bernoulli%27s%20theorem

Fiche 22,  Justifications,  Français

Record number: 22, Textual support number: 1 OBS

Théorème relatif à l'écoulement des fluides.  2, fiche 22, Français, - th%C3%A9or%C3%A8me%20de%20Bernoulli

Fiche 22,  Justifications,  Espagnol

Record number: 22, Textual support number: 1 DEF

En el flujo estacionario de un fluido perfecto incompresible, la suma de la presión y las energías cinética y potencial por unidad de volumen es la misma en cualquier punto de una línea de corriente.  1, fiche 22, Espagnol, - teorema%20de%20Bernoulli

Fiche 23,  Justifications,  Anglais

Record number: 23, Textual support number: 1 DEF

A statistical method that explicitly includes a prior probability distribution based on a subjective opinion or objective evidence, such as the results of previous research.  2, fiche 23, Anglais, - Bayesian%20analysis

Record number: 23, Textual support number: 1 OBS

Bayesian analysis uses Bayes’ theorem to update the prior probability distribution in light of the results of a study, in order to produce a posterior distribution. It can be used in a single study or in a meta-analysis. Statistical inference(point estimates, confidence intervals, etc.) is based on the posterior distribution. The posterior distribution can also be used as the prior distribution for the next study. This approach is controversial when it depends on opinions, which may vary. However, its use has become commonplace in economic evaluation, as it allows the creation of complex models with different evidence sources and the determination of uncertainty.  2, fiche 23, Anglais, - Bayesian%20analysis

Record number: 23, Textual support number: 2 OBS

Bayesian analysis: term and definition standardized by the Health Technology Assessment (HTA) Glossary English Editorial Board and the Translation Bureau.  3, fiche 23, Anglais, - Bayesian%20analysis

Fiche 23,  Justifications,  Français

Record number: 23, Textual support number: 1 DEF

Méthode statistique intégrant explicitement une distribution de probabilités a priori fondée sur une opinion subjective ou des données objectives comme les résultats d’une recherche antérieure.  1, fiche 23, Français, - analyse%20bay%C3%A9sienne

Record number: 23, Textual support number: 1 CONT

L’analyse bayésienne fait appel au théorème de Bayes pour actualiser la distribution de probabilités a priori à la lumière des résultats d’une étude afin de produire une distribution de probabilités a posteriori. Elle peut être utilisée dans une étude individuelle ou une méta-analyse. L'inférence statistique (estimations ponctuelles, intervalles de confiance, etc.) est fondée sur la distribution a posteriori. La distribution a posteriori peut également servir de distribution a priori de l’étude suivante. Cette approche est controversée lorsqu'elle repose sur des opinions, qui peuvent être divergentes. Elle est cependant utilisée couramment en évaluation économique, car elle permet de créer des modèles complexes à partir de sources de données différentes et de déterminer le degré d’incertitude.  1, fiche 23, Français, - analyse%20bay%C3%A9sienne

Record number: 23, Textual support number: 1 OBS

analyse bayésienne : terme et définition normalisés par l'Institut national d'excellence en santé et en services sociaux (INESSS) et le Bureau de la traduction.  2, fiche 23, Français, - analyse%20bay%C3%A9sienne

Fiche 23,  Justifications,  Espagnol

Fiche 24,  Justifications,  Anglais

Record number: 24, Textual support number: 1 DEF

A problem-oriented language, often a computer-processible combination of natural language and artificial language, designed for expressing the requirements, design, behavior, or other characteristics of a system or a component and that provides special constructs and, sometimes, verification protocols used to develop, analyze, and document the specified entities.  2, fiche 24, Anglais, - specification%20language

Record number: 24, Textual support number: 1 CONT

Specification languages provide the means for describing problem domain, the required behavior of a software system, and also the overall design of a software system. The tradeoff in specification languages is between their expressive power and the degree to which they can be supported with tools such as compilers, interpreters, and theorem provers.  3, fiche 24, Anglais, - specification%20language

Record number: 24, Textual support number: 1 OBS

specification language : term and definition standardized by the Institute of Electrical and Electronics Engineers (IEEE) and ISO/IEC.  4, fiche 24, Anglais, - specification%20language

Fiche 24,  Justifications,  Français

Record number: 24, Textual support number: 1 DEF

Langage adapté au problème, souvent sous la forme d'une combinaison, pouvant être traitée par ordinateur, de langage naturel et de langage artificiel, permettant d'exprimer les besoins, la conception, le comportement ou d'autres caractéristiques d'un système ou d'un composant, et qui fournit des outils particuliers, et parfois des protocoles de vérification, pour développer, analyser et documenter les entités spécifiées.  2, fiche 24, Français, - langage%20de%20sp%C3%A9cification

Record number: 24, Textual support number: 1 CONT

Les langages de spécification sont basés sur ce que l'on appelle les types abstraits algébriques.  3, fiche 24, Français, - langage%20de%20sp%C3%A9cification

Record number: 24, Textual support number: 1 OBS

langage de spécification : terme et définition normalisés par l'ISO/CEI.  4, fiche 24, Français, - langage%20de%20sp%C3%A9cification

Fiche 24,  Justifications,  Espagnol

Record number: 24, Textual support number: 1 DEF

Lenguaje que, por lo general, suele ser matemático, usado para expresar una especificación.  1, fiche 24, Espagnol, - lenguaje%20de%20especificaci%C3%B3n

Fiche 25,  Justifications,  Anglais

Record number: 25, Textual support number: 1 CONT

The next step in Kupka-Smale theorem is to show that any diffeomorphism may be approximated by one with isolated periodic points.  2, fiche 25, Anglais, - diffeomorphism

Fiche 25,  Justifications,  Français

Record number: 25, Textual support number: 1 DEF

Application inversible et continûment différentiable entre deux ensembles, telle celle d'un cercle vers une ellipse.  2, fiche 25, Français, - diff%C3%A9omorphisme

Record number: 25, Textual support number: 1 OBS

Tout difféomorphisme est un homéomorphisme mais la réciproque n'est pas vraie.  2, fiche 25, Français, - diff%C3%A9omorphisme

Record number: 25, Textual support number: 1 PHR

difféomorphisme local, difféomorphisme quadratique.  2, fiche 25, Français, - diff%C3%A9omorphisme

Record number: 25, Textual support number: 2 PHR

difféomorphisme de classe, de Morse-Smale, du cercle, en fer à cheval de Smale.  2, fiche 25, Français, - diff%C3%A9omorphisme

Record number: 25, Textual support number: 3 PHR

classe, courbe invariante, point périodique de difféomorphisme.  2, fiche 25, Français, - diff%C3%A9omorphisme

Fiche 25,  Justifications,  Espagnol

Fiche 26,  Justifications,  Anglais

Record number: 26, Textual support number: 1 CONT

The Thomas theorem :"If people define a situation as real, then it is real in its consequences for them. "  1, fiche 26, Anglais, - Thomas%20theorem

Fiche 26,  Justifications,  Français

Record number: 26, Textual support number: 1 CONT

Les sciences sociales savent depuis longtemps, en effet, et grâce notamment au fameux théorème de Thomas, que si des acteurs sociaux définissent des situations comme réelles, elles deviennent alors réelles dans leurs conséquences.  2, fiche 26, Français, - th%C3%A9or%C3%A8me%20de%20Thomas

Fiche 26,  Justifications,  Espagnol

Fiche 27,  Justifications,  Anglais

Record number: 27, Textual support number: 1 DEF

A proposition proved, or sometimes assumed, to be true and used in proving a theorem.  2, fiche 27, Anglais, - lemma

Fiche 27,  Justifications,  Français

Record number: 27, Textual support number: 1 DEF

Énoncé de mathématique préliminaire nécessaire à la démonstration d'un théorème.  2, fiche 27, Français, - lemme

Record number: 27, Textual support number: 1 PHR

Lemme de comparaison, de poursuite, de Siegel, de théorème Kam.  2, fiche 27, Français, - lemme

Fiche 27,  Justifications,  Espagnol

Fiche 28,  Justifications,  Anglais

Record number: 28, Textual support number: 1 CONT

In order to perform accurate continental reconstructions across closed oceans, it is necessary to be able to describe mathematically the operation involved in making the geometric fit. This is accomplished according to a theorem of Euler, which states that the movement of a portion of a sphere across its surface is uniquely defined by a single angular rotation about a pole of rotation...  1, fiche 28, Anglais, - Euler%27s%20theorem

Fiche 28,  Justifications,  Français

Record number: 28, Textual support number: 1 OBS

Tout déplacement d'une plaque rigide sur une sphère se ramène à une rotation autour d'un axe qui perce la surface de la sphère en deux points diamétralement opposés, appelés pôles de rotation.  1, fiche 28, Français, - th%C3%A9or%C3%A8me%20d%27Euler

Fiche 28,  Justifications,  Espagnol

Fiche 29,  Justifications,  Anglais

Record number: 29, Textual support number: 1 DEF

A theorem which describes approximating polynomials for rather general functions and provides estimates for errors.  1, fiche 29, Anglais, - Taylor%27s%20theorem

Record number: 29, Textual support number: 1 OBS

Taylor's theorem is also called Taylor's formula, and sometimes the extended or generalized mean value theorem, although the latter two are mostly used for the second mean-value theorem.  1, fiche 29, Anglais, - Taylor%27s%20theorem

Fiche 29,  Justifications,  Français

Fiche 29,  Justifications,  Espagnol

Record number: 29, Textual support number: 1 DEF

[Teorema que se utiliza] para el desarrollo de muchos métodos numéricos. Permite aproximar una función por un polinomio y estimar el error de truncamiento.  1, fiche 29, Espagnol, - teorema%20de%20Taylor

Fiche 30,  Justifications,  Anglais

Record number: 30, Textual support number: 1 OBS

A theorem which establishes some type of limit for a specified class of functions, one of the assumptions being that the limit can be obtained by some stronger limit process.  1, fiche 30, Anglais, - Tauberian%20theorem

Fiche 30,  Justifications,  Français

Fiche 30,  Justifications,  Espagnol

Fiche 31,  Justifications,  Anglais

Record number: 31, Textual support number: 1 DEF

Theorem pair such that the interchanging of two geometric elements,(angles and sides, points and lines, etc.) transfers each of the theorems into the other.  3, fiche 31, Anglais, - dual%20theorem

Fiche 31,  Justifications,  Français

Fiche 31,  Justifications,  Espagnol

Fiche 32,  Justifications,  Anglais

Record number: 32, Textual support number: 1 DEF

A point on an aerological diagram where the dry adiabatic line representing the dry-bulb temperature, the saturated adiabatic line representing the wet-bulb temperature, and the saturation mixing ratio line representing the dew-point temperature of an air sample meet.  3, fiche 32, Anglais, - Normand%20point

Record number: 32, Textual support number: 1 CONT

Find Normand point. From dry bulb point "x" draw an imaginary line toward the upper left, parallel to dry adiabatic lines. From dew point temperature marked "." draw another imaginary line upward this time parallel to the mixing ratio line. At the intersection of these two lines, the plotter has placed another small dot. This is the Normand point.  1, fiche 32, Anglais, - Normand%20point

Record number: 32, Textual support number: 1 OBS

Normand's theorem [C. W. B. Normand in 1924] a particular thermodynamic relation between temperature, thermodynamic wet-bulb temperature and dew-point temperature, expressed in terms of a construction on a tephigram or other thermodynamic diagram.  4, fiche 32, Anglais, - Normand%20point

Fiche 32,  Justifications,  Français

Fiche 32,  Justifications,  Espagnol

Fiche 33,  Justifications,  Anglais

Record number: 33, Textual support number: 1 DEF

A complete mathematical argument, presenting the full logical justification for each proof step, and for the truth of a theorem or set of theorems.  2, fiche 33, Anglais, - formal%20proof

Fiche 33,  Justifications,  Français

Fiche 33,  Justifications,  Espagnol

Fiche 34,  Justifications,  Anglais

Record number: 34, Textual support number: 1 DEF

The theorem that the voltage across an element that is connected to two terminals of a linear network is equal to the short-circuit current between these terminals in the absence of the element, divided by the sum of the admittances between the terminals associated with the element and the network respectively.  2, fiche 34, Anglais, - Norton%27s%20theorem

Record number: 34, Textual support number: 1 CONT

Norton's theorem states that a second equivalent network consists of a current source I(s) in parallel with an impedance Z(s). The impedance Z(s) is identical with the Thévenin impedance, and I(s) is the Laplace transform of the current between the two terminals when they are short-circuited.  3, fiche 34, Anglais, - Norton%27s%20theorem

Fiche 34,  Justifications,  Français

Record number: 34, Textual support number: 1 DEF

Théorème aux termes duquel un dipôle contenant des sources de tension et des impédances peut être remplacé par un dipôle constitué d'un générateur de courant en parallèle avec une impédance tels que la valeur du courant soit celle du courant de court-circuit du dipôle initial, et la valeur de l'impédance celle de ce dipôle.  2, fiche 34, Français, - th%C3%A9or%C3%A8me%20de%20Norton

Fiche 34,  Justifications,  Espagnol

Fiche 35,  Justifications,  Anglais

Record number: 35, Textual support number: 1 OBS

This theorem states that the current that flows in a branch of a passive linear network, or the potential difference that exists between any two points in such a network, resulting from the simultaneous application of a number of voltages distributed in any manner whatsoever throughout the network, is the sum of the component currents in that branch, or the component potential differences between the two points, that would be caused by the individual voltages acting separately.  2, fiche 35, Anglais, - superposition%20theorem

Fiche 35,  Justifications,  Français

Record number: 35, Textual support number: 1 OBS

D'après ce théorème, le courant qui circule dans une branche de réseau passif linéaire, et la différence de potentiel qui existe entre deux points du réseau, en raison de l'application simultanée dans ce réseau d'un certain nombre de forces électromotrices distribuées d'une manière quelconque, sont respectivement la somme des courants dans la branche, ou des différences de potentiel entre les points considérés, qui résulteraient de l'application séparée de chacune des forces électromotrices agissantes.  2, fiche 35, Français, - th%C3%A9or%C3%A8me%20de%20superposition

Fiche 35,  Justifications,  Espagnol

Fiche 36,  Justifications,  Anglais

Record number: 36, Textual support number: 1 CONT

In fact, Bernoulli percolation may well be the earliest and simplest example of a successful investigation in statistical topology. The key of its success resides in the possibility of reducing a topological problem to a metric one.  1, fiche 36, Anglais, - Bernoulli%20percolation

Record number: 36, Textual support number: 2 CONT

Bernoulli percolation clusters are modeled via explicit recursive fractals.  2, fiche 36, Anglais, - Bernoulli%20percolation

Record number: 36, Textual support number: 1 OBS

The Bernoulli theorem states the relation between fluid pressure and fluid velocity along a streamline in the steady flow of a circumpressible, inviscid fluid.  3, fiche 36, Anglais, - Bernoulli%20percolation

Fiche 36,  Justifications,  Français

Record number: 36, Textual support number: 1 CONT

On utilise le processus de percolation d'invasion pour démontrer des résultats relatifs à la percolation de Bernoulli.  1, fiche 36, Français, - percolation%20de%20Bernoulli

Fiche 36,  Justifications,  Espagnol

Fiche 37,  Justifications,  Anglais

Record number: 37, Textual support number: 1 OBS

reciprocity theorem : term officially approved by the Electronics and Telecommunications Terminology Committee.  2, fiche 37, Anglais, - reciprocity%20theorem

Fiche 37,  Justifications,  Français

Record number: 37, Textual support number: 1 OBS

théorème de réciprocité : terme uniformisé par le Comité d’uniformisation des termes de l’électronique et des télécommunications (CUTEL).  2, fiche 37, Français, - th%C3%A9or%C3%A8me%20de%20r%C3%A9ciprocit%C3%A9

Fiche 37,  Justifications,  Espagnol

Fiche 38,  Justifications,  Anglais

Record number: 38, Textual support number: 1 CONT

Ramo's theorem provides a convenient way of simulating the currents induced on the electrodes of a radiation detector by the movement of charge carriers. The concept of weighting potential or of weighting field is the key ingredient in the calculation of the induced currents.  1, fiche 38, Anglais, - Ramo%27s%20theorem

Fiche 38,  Justifications,  Français

Record number: 38, Textual support number: 1 CONT

Quel que soit le type de détecteur (avec présence ou non de charges d'espace), l'induction du signal est gouvernée par le théorème de Ramo [...] qui stipule que, dès lors qu'une charge q₀ se déplace à l'intérieur d'un milieu sous l'action d'un champ électrique, une charge q₀ est induite sur les électrodes.  1, fiche 38, Français, - th%C3%A9or%C3%A8me%20de%20Ramo

Fiche 38,  Justifications,  Espagnol

Fiche 39,  Justifications,  Anglais

Record number: 39, Textual support number: 1 DEF

Simply stated, the theorem says that when the prices of the output goods are equalized between countries as they move to free trade, then the prices of the factors(capital and labor) will also be equalized between countries.  2, fiche 39, Anglais, - factor%2Dprice%20equalization%20theorem

Record number: 39, Textual support number: 1 CONT

The factor-price equalization theorem holds that international trade will bring about equalization in the relative and absolute returns to homogeneous factors of production across countries.  3, fiche 39, Anglais, - factor%2Dprice%20equalization%20theorem

Fiche 39,  Justifications,  Français

Record number: 39, Textual support number: 1 CONT

Selon le théorème de l'égalisation des prix des facteurs de production, le commerce international permettra d'égaliser les rendements relatifs et absolus de facteurs de production homogènes entre les pays.  3, fiche 39, Français, - th%C3%A9or%C3%A8me%20de%20l%27%C3%A9galisation%20des%20prix%20des%20facteurs

Fiche 39,  Justifications,  Espagnol

Fiche 40,  Justifications,  Anglais

Record number: 40, Textual support number: 1 CONT

... Shannon's theorem, which says that the signal must be sampled(converted) at twice the frequency of the highest frequency of interest that is present in the original analog signal.  2, fiche 40, Anglais, - Shannon%27s%20theorem

Fiche 40,  Justifications,  Français

Record number: 40, Textual support number: 1 CONT

Théorème de Shannon : Les échantillons d'un signal contiennent toute l'information qui est contenue dans le signal si la fréquence d'échantillonnage est au moins deux fois supérieure à la fréquence maximale contenue dans le signal.  2, fiche 40, Français, - th%C3%A9or%C3%A8me%20de%20Shannon

Fiche 40,  Justifications,  Espagnol

Fiche 41,  Justifications,  Anglais

Record number: 41, Textual support number: 1 CONT

This new approach to autonomous control is based on the fact that non-linear dynamic systems can be controlled using analytically derived functions. The method hinges on defining an artificial potential field which represents the environment in which the vehicle is to manoeuvre. The potential field is configured to have a global minimum at the desired terminal state of the vehicle and has region of high potential which represents path constraints. This property enables active collision avoidance. Vehicle controls are then chosen such that the rate of descent of the potential field along the vehicle trajectory is always rendered negative definite. According to Lyapunov's theorem, this ensures that the vehicle converges to the desired terminal state without violating pre-defined path constraints.  2, fiche 41, Anglais, - artificial%20potential%20field

Record number: 41, Textual support number: 1 OBS

artificial potential field; APF: term and abbreviation officially approved by the International Space Station official approval Group (ISSOAG).  3, fiche 41, Anglais, - artificial%20potential%20field

Fiche 41,  Justifications,  Français

Record number: 41, Textual support number: 1 CONT

Méthode générique de guidage et de contrôle statistiques autonomes [...] pour [...] véhicules en vol libre. [...] Cette méthode définit un champ potentiel artificiel représentant l'environnement dans lequel le véhicule sera censé évoluer. Ce champ potentiel est configuré selon un minimum global à l'état final souhaité du véhicule et comporte des régions à potentiel élevé qui représentent les contraintes de trajectoire. Cette configuration permet une prévention anti-collision active. Les commandes du véhicule sont ensuite sélectionnées de sorte que la vitesse de baisse du champ potentiel le long de la trajectoire du véhicule soit négative et définie. Selon le théorème de Lyapounov, cette méthode assure que le véhicule converge bien vers l'état final souhaité en respectant les contraintes de trajectoire prédéfinies [...]  2, fiche 41, Français, - champ%20potentiel%20artificiel

Record number: 41, Textual support number: 1 OBS

champ potentiel artificiel; CPA : terme et abréviation uniformisés par le Groupe de travail de la terminologie de la Station spatiale internationale (GTTSSI).  3, fiche 41, Français, - champ%20potentiel%20artificiel

Fiche 41,  Justifications,  Espagnol

Fiche 42,  Justifications,  Anglais

Record number: 42, Textual support number: 1 CONT

Thévenin's theorem states that at a pair of terminals a network composed of lumped, linear circuit elements may, for purposes of analysis of external circuit or terminal behavior, be replaced by a voltage source V(s) in series with a single impedance Z(s).  2, fiche 42, Anglais, - Thevenin%27s%20theorem

Fiche 42,  Justifications,  Français

Record number: 42, Textual support number: 1 DEF

Théorème selon lequel un bipôle actif, fonctionnant en régime sinusoïdal, équivaut à une source idéale de tension égale à sa tension à vide, en série avec une impédance, égale à l'impédance interne du bipôle rendu passif.  1, fiche 42, Français, - th%C3%A9or%C3%A8me%20de%20Th%C3%A9venin

Fiche 42,  Justifications,  Espagnol

Fiche 43,  Justifications,  Anglais

Record number: 43, Textual support number: 1 CONT

The invariance of the Gaussian distribution is intimately connected with the central limit theorem of probability theory, which states that the suitably normalized sum of many independent random variables with finite variances converges on a Gaussian distribution.  2, fiche 43, Anglais, - central%20limit%20theorem

Fiche 43,  Justifications,  Français

Record number: 43, Textual support number: 1 DEF

Théorème du calcul des probabilités dont une application fractale énonce que la segmentation aléatoire d'un objet en parties de plus en plus petites produit un ensemble de morceaux dont la taille est distribuée selon une loi log normale.  3, fiche 43, Français, - th%C3%A9or%C3%A8me%20central%20limite

Fiche 43,  Justifications,  Espagnol

Fiche 44,  Justifications,  Anglais

Record number: 44, Textual support number: 1 DEF

A state of the economy in which all economic resources are allocated and used efficiently, such that it is impossible to make anyone economically better off without making someone else economically worse off.  5, fiche 44, Anglais, - Pareto%20optimum

Record number: 44, Textual support number: 1 CONT

The basic starting point of much of welfare economics is the theorem that the result of a system of perfect competition under ideal conditions is a "Pareto optimum. "A Pareto optimum is a state of affairs which cannot be altered to the advantage of one participant without at least some disadvantage to some other person. In general, for any state which is not a Pareto optimum, there will exist another feasible state which would be preferred to the original one by all concerned.  6, fiche 44, Anglais, - Pareto%20optimum

Fiche 44,  Justifications,  Français

Record number: 44, Textual support number: 1 DEF

État de l'économie où, étant donné la répartition des ressources, nul ne peut améliorer sa position sans détériorer celle d'un autre.  4, fiche 44, Français, - optimum%20de%20Pareto

Record number: 44, Textual support number: 1 CONT

L'optimum de Pareto comporte la réalisation de deux groupes de conditions définissant respectivement, l'optimalité des productions et celle des échanges. Un optimum de production est atteint lorsque, avec des ressources données, il est impossible d'augmenter la production d'un bien, sans diminuer celle d'au moins un autre bien. [...] Un optimum de l'échange est une situation telle, que l'on ne peut, avec des quantités de biens données, augmenter la satisfaction d'un consommateur sans diminuer celle d'au moins un autre individu.  3, fiche 44, Français, - optimum%20de%20Pareto

Fiche 44,  Justifications,  Espagnol

Record number: 44, Textual support number: 1 DEF

Situación en la cual ninguna redistribución admisible de los productos o factores podría aumentar el nivel de utilidad de una economía sin disminuir el nivel de otras.  3, fiche 44, Espagnol, - %C3%B3ptimo%20de%20Pareto

Fiche 45,  Justifications,  Anglais

Record number: 45, Textual support number: 1 DEF

A theory which attempts to explain the regularly recurring cycles observed in the production and prices of some commodities.  3, fiche 45, Anglais, - cobweb%20theorem

Record number: 45, Textual support number: 1 OBS

Cobweb theorem demonstrates that on classical assumptions of pure competition under static conditions, prices and production, if disturbed, do not necessarily return to equilibrium.  3, fiche 45, Anglais, - cobweb%20theorem

Fiche 45,  Justifications,  Français

Record number: 45, Textual support number: 1 OBS

La toile d'araignée dynamique. Il existe une situation économique célèbre à laquelle l'on peut se référer pour montrer que les instruments de l'offre et de la demande peuvent servir à analyser, non seulement des situations statiques dont les données ne varient pas, mais aussi des situations dynamiques en voie d'évolution continue.  1, fiche 45, Français, - th%C3%A9orie%20de%20la%20toile%20d%27araign%C3%A9e%20dynamique

Record number: 45, Textual support number: 2 OBS

Ainsi, tout comme un danseur de corde, s'étant trop penché d'un côté, rectifie sa position en s'inclinant trop de l'autre, le prix du marché oscille, au cours des périodes successives, au-dessus et au-dessous du prix d'équilibre, en traçant sur le diagramme une toile d'araignée.  1, fiche 45, Français, - th%C3%A9orie%20de%20la%20toile%20d%27araign%C3%A9e%20dynamique

Fiche 45,  Justifications,  Espagnol

Record number: 45, Textual support number: 1 OBS

En teoría económica, los ajustes sucesivos de precios que se producen para determinados productos agrícolas, como consecuencia de la variación de las cosechas y de las cotizaciones del mercado. Los precios altos resultado de una cosecha corta, al originar el impulso de mayor superficie de cultivo y dar lugar a una cosecha copiosa, acaban provocando una caída de precios; lo que a su vez incita a la contracción de la superficie, con su secuencia de precios altos; y vuelta a empezar.  2, fiche 45, Espagnol, - teorema%20de%20la%20telara%C3%B1a

Fiche 46,  Justifications,  Anglais

Record number: 46, Textual support number: 1 CONT

Comparisons of the orbital cyclotron frequencies of antiprotons and protons test the PCT invariance theorem.  2, fiche 46, Anglais, - PCT%20invariance%20theorem

Record number: 46, Textual support number: 1 OBS

In PCT, P stands for parity, C for charge conjugation and T for time reversal.  2, fiche 46, Anglais, - PCT%20invariance%20theorem

Fiche 46,  Justifications,  Français

Record number: 46, Textual support number: 1 CONT

Une découverte ultérieure, la non-conservation de la symétrie PC relativement au théorème d'invariance CPT, a permis de nuancer cette théorie. En effet, les physiciens considéraient auparavant que, pour la microphysique, il n'y avait vraisemblablement pas - en théorie - d'irréversibilité du temps. On sait maintenant que, comme en macrophysique (entropie/néguentropie), le temps positif, objectif (du passé vers le futur, «causal») et le temps négatif, subjectif (du futur vers le passé, «final») ne sont pas symétriques.  1, fiche 46, Français, - th%C3%A9or%C3%A8me%20d%27invariance%20CPT

Fiche 46,  Justifications,  Espagnol

Record number: 46, Textual support number: 1 CONT

Las comparaciones entre las frecuencias orbitales en ciclotrón de antiprotones y protones someten a prueba el teorema de invariancia PCT.  1, fiche 46, Espagnol, - teorema%20de%20invariancia%20PCT

Record number: 46, Textual support number: 1 OBS

P designa la paridad, C refiere a la conjugación de carga y T a la inversión temporal.  1, fiche 46, Espagnol, - teorema%20de%20invariancia%20PCT

Fiche 47,  Justifications,  Anglais

Record number: 47, Textual support number: 1 DEF

A theorem that oscillatory motions in conservative dynamical systems persist when small perturbations are added to the system.  3, fiche 47, Anglais, - KAM%20theorem

Fiche 47,  Justifications,  Français

Record number: 47, Textual support number: 1 DEF

Théorème de Kolmogorov-Arnol'd-Moser qui permet de démontrer que les mouvements oscillatoires des systèmes dynamiques conservatifs persistent lorsque de petites perturbations s'y ajoutent.  3, fiche 47, Français, - th%C3%A9or%C3%A8me%20KAM

Record number: 47, Textual support number: 1 OBS

Le théorème KAM sert à évaluer la résistance d'un système régulier à une petite perturbation et à identifier les perturbations qui peuvent amener le système à un comportement chaotique.  3, fiche 47, Français, - th%C3%A9or%C3%A8me%20KAM

Record number: 47, Textual support number: 1 PHR

démontrer, formuler, obtenir, rendre évident le théorème KAM.  3, fiche 47, Français, - th%C3%A9or%C3%A8me%20KAM

Record number: 47, Textual support number: 2 PHR

conclusion, énoncé, hypothèse, lemme du théorème KAM  3, fiche 47, Français, - th%C3%A9or%C3%A8me%20KAM

Fiche 47,  Justifications,  Espagnol

Fiche 48,  Justifications,  Anglais

Record number: 48, Textual support number: 1 CONT

One shows that ["weak topology"] is the same as the one induced by the Hutchinson metric, and then applies Alaoglu's Theorem.  3, fiche 48, Anglais, - Hutchinson%20metric

Fiche 48,  Justifications,  Français

Fiche 48,  Justifications,  Espagnol

Fiche 49,  Justifications,  Anglais

Record number: 49, Textual support number: 1 DEF

... an interactive image modeling method based on the collage theorem.  1, fiche 49, Anglais, - IFS%20compression%20algorithm

Fiche 49,  Justifications,  Français

Record number: 49, Textual support number: 1 OBS

Comparer «système de fonctions itérées».  2, fiche 49, Français, - algorithme%20de%20compression%20IFS

Fiche 49,  Justifications,  Espagnol

Fiche 50,  Justifications,  Anglais

Record number: 50, Textual support number: 1 CONT

The seminal Generalised Least Squares contribution, together with the first matrix formulation of the Linear Regression Model appeared in Aitken, s paper, "On Least Squares and Linear Combinations of Observations", Proceedings of the Royal Society of Edinburgh, 1935, vol. 55, pp. 42-48. In this paper we find the well-known extension of the Gauss-Markhov Theorem to the case where the regression error vector has a non-scalar covariance matrix-the Aitken estimator is "Best Linear Unbiased".  1, fiche 50, Anglais, - Aitken%20estimator

Fiche 50,  Justifications,  Français

Fiche 50,  Justifications,  Espagnol

Fiche 51,  Justifications,  Anglais

Record number: 51, Textual support number: 1 DEF

Theorem proved by application of a previously proved theorem.  1, fiche 51, Anglais, - corollary

Fiche 51,  Justifications,  Français

Record number: 51, Textual support number: 1 DEF

Conséquence directe d'un théorème déjà démontré.  1, fiche 51, Français, - corollaire

Fiche 51,  Justifications,  Espagnol

Fiche 52,  Justifications,  Anglais

Record number: 52, Textual support number: 1 DEF

The theorem that is obtained from another by replacing lines with points, points with lines, and operations with their dual operations.  2, fiche 52, Anglais, - dual%20theorem

Fiche 52,  Justifications,  Français

Fiche 52,  Justifications,  Espagnol

Fiche 53,  Justifications,  Anglais

Record number: 53, Textual support number: 1 DEF

The famous "Slutsky Theorem" which argued that if a statistic converges almost surely or in probability to some constant, then any continuous function of that statistic also converges in the same manner to some function of that constant-a theorem with applications all over statistics and econometrics-was laid out in his 1925 paper.  1, fiche 53, Anglais, - Slutsky%20theorem

Fiche 53,  Justifications,  Français

Fiche 53,  Justifications,  Espagnol

Fiche 54,  Justifications,  Anglais

Record number: 54, Textual support number: 1 DEF

An algorithm for finding the desired weight vector in a perceptron model.  2, fiche 54, Anglais, - perceptron%20learning%20rule

Record number: 54, Textual support number: 1 CONT

The delta rule is a generalization of the perceptron learning rule for which the famous perceptron convergence theorem has been proved.  1, fiche 54, Anglais, - perceptron%20learning%20rule

Fiche 54,  Justifications,  Français

Record number: 54, Textual support number: 1 CONT

Théorème de convergence du perceptron : L'algorithme d'apprentissage du perceptron converge en un nombre fini de changements d'états s'il existe une solution, c'est-à-dire si la classification qu'on désire réaliser est une séparation linéaire.  1, fiche 54, Français, - algorithme%20d%27apprentissage%20du%20perceptron

Fiche 54,  Justifications,  Espagnol

Fiche 55,  Justifications,  Anglais

Record number: 55, Textual support number: 1 DEF

A declaration that something is the case(as that a proposition is true or that a formula is a theorem in an axiomatized system).  2, fiche 55, Anglais, - assertion

Record number: 55, Textual support number: 1 OBS

It is currently believed by the machine that it is held in same fact base and used for same purpuse.  3, fiche 55, Anglais, - assertion

Fiche 55,  Justifications,  Français

Record number: 55, Textual support number: 1 DEF

Connaissance descriptive considérée comme vraie dans une base de faits. Les faits établis sont distincts des faits à établir.  1, fiche 55, Français, - fait%20%C3%A9tabli

Record number: 55, Textual support number: 1 CONT

Il est possible d'écrire une seule fois sous forme déclarative une assertion ou une formule liant plusieurs variables tout en l'utilisant de plusieurs façons différentes suivant le but recherché [...].  3, fiche 55, Français, - fait%20%C3%A9tabli

Fiche 55,  Justifications,  Espagnol

Fiche 56,  Justifications,  Anglais

Record number: 56, Textual support number: 1 DEF

The fraction of the target market that the firm is capable of achieving given the effectiveness of its overall marketing effort in relation to those of its current competitors, and any new competitive entrants, and in relation to the effectiveness of substitute products in competing for market share. This relationship is expressed by the fundamental theorem of market share determination.  1, fiche 56, Anglais, - market%20share%20determination

Fiche 56,  Justifications,  Français

Fiche 56,  Justifications,  Espagnol

Fiche 57,  Justifications,  Anglais

Record number: 57, Textual support number: 1 OBS

As late as 1970, many thought that the world of information networks was destined to be driven by Grosch's law. Herbert Grosch, an IBM engineer, proved in a 1956 theorem that computer power rose by the square of its cost. The implication of such a theorem was that intelligence should gravitate to a few extremely expensive machines.  1, fiche 57, Anglais, - Grosch%27s%20law

Fiche 57,  Justifications,  Français

Fiche 57,  Justifications,  Espagnol

Fiche 58,  Justifications,  Anglais

Record number: 58, Textual support number: 1 DEF

This theorem establishes the optimality of the ordinary least squares(OLS) fitted vector as a minimum variance predictor among all linear and unbiased predictors of the regression function of the classical regression model.  1, fiche 58, Anglais, - Gauss%2DMarkov%20theorem

Fiche 58,  Justifications,  Français

Fiche 58,  Justifications,  Espagnol

Fiche 59,  Justifications,  Anglais

Record number: 59, Textual support number: 1 CONT

A study of the vector-matrix theory and computational techniques of the simplex method, duality theorem, degeneracy problem, transportation problems, and their applications to engineering and economics.  1, fiche 59, Anglais, - degeneracy%20problem

Fiche 59,  Justifications,  Français

Record number: 59, Textual support number: 1 CONT

Les problèmes de dégénérescence et d'imprécision des calculs numériques ne sont pas oubliés pour autant.  1, fiche 59, Français, - probl%C3%A8me%20de%20d%C3%A9g%C3%A9n%C3%A9rescence

Fiche 59,  Justifications,  Espagnol

Fiche 60,  Justifications,  Anglais

Record number: 60, Textual support number: 1 CONT

The theorem is equivalent to the existence of an asymptotic value for the simplest non-atomic weighted majority games.  1, fiche 60, Anglais, - asymptotic%20value

Fiche 60,  Justifications,  Français

Record number: 60, Textual support number: 1 CONT

Sur les valeurs asymptotiques des intégrales des équations différentielles linéaires du second ordre.  1, fiche 60, Français, - valeur%20asymptotique

Fiche 60,  Justifications,  Espagnol

Fiche 61,  Justifications,  Anglais

Record number: 61, Textual support number: 1 CONT

We begin the history of automated theorem proving by mentioning some programs that have proven theorems in areas other than the first-order predicate calculus. A 1956 program called the ’Logic Theorist’ or simply LT... proves theorems in propositional calculus(also called sentential calculus...).  2, fiche 61, Anglais, - logic%20theory%20machine

Fiche 61,  Justifications,  Français

Fiche 61,  Justifications,  Espagnol

Fiche 62,  Justifications,  Anglais

Record number: 62, Textual support number: 1 DEF

A resolution method that reaches conclusions using logic; it is normally done by theorem proving.  2, fiche 62, Anglais, - logical%20inference