Translation of "Formal proof" in German

The interactive applet conveys a good intuition of the idea behind the formal proof.

Hales estimated that producing a complete formal proof would take around 20 years of work.

Poincaré believed that formal proof alone cannot lead to knowledge.

Seth Gilbert and Nancy Lynch from MIT provided a formal proof two years later.

The Advanced Exam (C2) provides formal proof of excellent German.

In the field of real-time operating systems, the chair carries through the formal correctness proof of an operating system kernel.

With our upcoming new release we show how to put a formal proof into Hilbert II .

No Member of Parliament can allow this campaign to continue with impunity, a campaign we have now been witnessing for months and which consists of lying articles, faked films - we now have formal proof of that - designed to besmirch and ridicule us personally and beyond us our parliamentary institution and democracy itself.

There is something dangerous, and the first formal proof of it is that under the pressures of reality, the Council keeps coming back with successive directives which strive in some way to patch things up.

In line with the regulatory requirements (CHMP/EWP/191583/2005), a formal proof of bioequivalence, evidence of a wide therapeutic experience, and an adequately established benefit/risk ratio should be demonstrated for new fixed dose combination products claiming substitution indication.

Overall, the CHMP considered that the applicant had responded adequately by providing the results of an additional study, BES No.67289, and had demonstrated formal proof of bioequivalence.

Concerns related to the formal proof of bioequivalence and the lack of a wide therapeutic experience which were considered a potential serious risk to public health.

In line with the regulatory requirements (CHMP/ EWP/ 191583/ 2005), a formal proof of bioequivalence, evidence of a wide therapeutic experience, and an adequately established benefit/ risk ratio should be demonstrated for new fixed dose combination products claiming substitution indication.

This project is called "Flyspeck" – the F, P and K standing for "Formal Proof of Kepler".

If there is no formal proof, the requested Member State shall acknowledge its responsibility if the circumstantial evidence is coherent, verifiable and sufficiently detailed to establish responsibility.

Thirdly, the standard of proof required is clarified: if a formal proof, or proofs, is/are not available, the Member State requested should recognise its responsibility once a body of corroborating evidence makes it possible to establish such responsibility with a reasonable degree of probability.

It further states that the Commission could not base its competence on its subjective view of the intentions of the parties to pursue a merger and points out that, if the Commission had doubts as to the meaning of the letter, it could have asked for formal proof that the merger agreement had really been abandoned by means of a request pursuant to Article 11 of the Merger Regulation.

If there is no formal proof, the requested State shall acknowledge its responsibility where there is a body of corroborating evidence which makes it possible to invoke that State's responsibility with a reasonable degree of probability.

The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.

Moreover, since in this way we are adopting a formal approach to the situation of the company's siège réel, it is important that a company should not be allowed to rely on the formal proof of its siège réel if the decision to transfer the official registered address was obtained without respecting the basic reguirements for the conduct of a general meeting of shareholders.