Résultats de la recherche - Mahboubi, Assia

  • Résultat(s) 1 - 5 résultats de 5
Affiner les résultats
  1. 1
    Image de couverture de livre

    Théories géométriques pour l'algèbre des nombres réels sans test de signe ni axiome de choix dépendant Autoría: Lombardi, Henri, Mahboubi, Assia

    Publié 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  2. 2
    Image de couverture de livre

    Geometric theories for real number algebra without sign test or dependent choice axiom Autoría: Lombardi, Henri, Mahboubi, Assia

    Publié 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  3. 3
    Image de couverture de livre

    Trocq: Proof Transfer for Free, With or Without Univalence Autoría: Cohen, Cyril, Crance, Enzo, Mahboubi, Assia

    Publié 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  4. 4
    Image de couverture de livre

    Machine-Checked Categorical Diagrammatic Reasoning Autoría: Guillemet, Benoît, Mahboubi, Assia, Piquerez, Matthieu

    Publié 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  5. 5
    Image de couverture de livre

    Compositional pre-processing for automated reasoning in dependent type theory Autoría: Blot, Valentin, Cousineau, Denis, Crance, Enzo, de Prisque, Louise Dubois, Keller, Chantal, Mahboubi, Assia, Vial, Pierre

    Publié 2022
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:

Outils de recherche: