نتائج البحث

L’amnistie fiscale sous le prisme de la théorie de l’apparence en droit commercial : enjeux de l’absence de preuve formelle.

• Authors : Rajae ZINE EL ABIDINE

Subjects: Apparence, Spéculation Abusive, Sécurisation, Stabilité Financière, Confiance Économique.; info:eu-repo/semantics/article; info:eu-repo/semantics/publishedVersion

• Source: International Journal Of Applied Management And Economics; Vol. 2 No. 12 (2025); 162 – 175; International Journal Of Applied Management And Economics; Vol. 2 No 12 (2025); 162 – 175; 2509-0720;

تفاصيل العنوان

Preuve formelle du théorème de Lax–Milgram

• Authors : Boldo, Sylvie; Clément, François; Faissole, Florian ...

Subjects: Lax-Milgram; analyse fonctionnelle; méthode des éléments finisMontpellier; France

• Source: 16èmes journées Approches Formelles dans l'Assistance au Développement de Logicielshttps://hal.science/hal-0158180716èmes journées Approches Formelles dans l'Assistance au

تفاصيل العنوان

Dispositifs producteurs de l’évidence géométrique d’une preuve formelle

• Authors : Leclercq, Bruno

تفاصيل العنوان

Les nombres premiers au crible de la preuve formelle

• Authors : Moreau, Josué; Université Paris-Saclay

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Virtual; France

• Source: JFLA 2021 - 32 èmes Journées Francophones des Langages Applicatifs ; https://hal.science/hal-04757088 ; JFLA 2021 - 32 èmes Journées Francophones des Langages Applicatifs, Apr 2021, Virtual,

تفاصيل العنوان

Une preuve formelle de l'algorithme de Tarjan-1972 pour trouver les composantes fortement connexes dans un graphe

• Authors : Chen, Ran; Lévy, Jean-Jacques;

Subjects: [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]; [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]Gourette; France

• Source: JFLA 2017 - Vingt-huitièmes Journées Francophones des Langages Applicatifs ; https://inria.hal.science/hal-01422215 ; JFLA 2017 - Vingt-huitièmes Journées Francophones des Langages Applicatifs,

تفاصيل العنوان

A formal proof of the bounded retransmission protocol in the pi-calculus ; Une preuve formelle du bounded retransmission protocol dans le pi-calcul

• Authors : Mammass, Brahim;

Subjects: communication protocol; deadlock; bisimulation

• Source: https://hal.science/hal-02547711 ; [Rapport de recherche] lip6.1998.009, LIP6. 1998.

تفاصيل العنوان

Certified numerics in function spaces : polynomial approximations meet computer algebra and formal proof ; Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelle

• Authors : Bréhard, Florent;

Subjects: Calcul numérique rigoureux; Approximations polynomiales rigoureuses; Validation a posteriori

تفاصيل العنوان

Double cœur et preuve formelle pour automatismes SIL4 ; Bi-processor and formal proof for SIL4 automatisms

• Authors : Lecomte, Thierry; ClearSy 320, avenue Archimède, Les Pléiades3, bat A 13857 Aix en Provence France

• Source: Congrès Lambda Mu 20 de Maîtrise des Risques et de Sûreté de Fonctionnement, 11-13 Octobre 2016, Saint Malo, France

تفاصيل العنوان

Vérification par preuve formelle de propriétés fonctionnelles d'algorithme de classification

• Authors : Andrès, Léo;

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

• Source: https://inria.hal.science/hal-02421484 ; [Rapport de recherche] Université Paris Sud (Paris 11) - Université Paris Saclay. 2019.

تفاصيل العنوان

Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelle ; Certified numerics in function spaces : polynomial approximations meet computer algebra and formal proof

• Authors : Bréhard, Florent;

Subjects: Rigorous numerics; Rigorous polynomial approximations; A posteriori validation

• Source: https://theses.hal.science/tel-02337901 ; Numerical Analysis [cs.NA]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN032⟩.

تفاصيل العنوان