PICUBE (SR0932BR)

Les assistants à la démonstration au cœur du raisonnement mathématique

PI.R2 (SR0368UR) →  PICUBE

Statut: Décision signée

Responsable : Paul-andre Mellies

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : A2.1.1. Sémantique des langages de programmation , A2.1.4. Programmation fonctionnelle , A2.1.11. Langages de preuve , A2.4.3. Preuves , A7.2. Logique , A7.2.3. Assistants de preuve , A7.2.4. Formalisation mécanisée des mathématiques , A8.1. Mathématiques discrètes, combinatoire , A8.4. Calcul formel, calcul algébrique , A9.2. Apprentissage , A9.4. Traitement automatique des langues , A9.8. Raisonnement

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : B6.1. Industrie du logiciel

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Preuves et vérification

Période : 01/12/2022 -> 30/11/2026
Dates d'évaluation :

Etablissement(s) de rattachement : CNRS, U PARIS CITE
Laboratoire(s) partenaire(s) : IRIF (8243)

CRI : Centre Inria de Paris
Localisation : Centre de recherche Inria de Paris
Code structure Inria : 021161-0

Numéro RNSR : 202224371Z
N° de structure Inria: SR0932BR

Présentation

Axes de recherche

Relations industrielles et internationales