No photo of Assia Mahboubi

dr. Assia Mahboubi

    20142020

    Research output per year

    If you made any changes in Pure these will be visible here soon.

    Personal profile

    Ancillary activities

    No ancillary activities

    Ancillary activities are updated daily

    Fingerprint Dive into the research topics where Assia Mahboubi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

    Network Recent external collaboration on country level. Dive into details by clicking on the dots.

    Research Output

    Preface: Selected Extended Papers from Interactive Theorem Proving 2018

    Avigad, J. & Mahboubi, A., Jun 2020, In : Journal of Automated Reasoning. 64, 5, p. 793-794 2 p.

    Research output: Contribution to JournalEditorialAcademicpeer-review

    A certificate-based approach to formally verified approximations

    Bréhard, F., Mahboubi, A. & Pous, D., 1 Sep 2019, 10th International Conference on Interactive Theorem Proving, ITP 2019. Harrison, J., O'Leary, J. & Tolmach, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 141).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Formally Verified Approximations of Definite Integrals

    Mahboubi, A., Melquiond, G. & Sibut-Pinote, T., 15 Feb 2019, In : Journal of Automated Reasoning. 62, 2, p. 281-300 20 p.

    Research output: Contribution to JournalArticleAcademicpeer-review

  • Preface

    Avigad, J. & Mahboubi, A., 1 Jan 2018, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10895 LNCS

    Research output: Contribution to JournalEditorialAcademicpeer-review

    An induction principle over real numbers

    Mahboubi, A., 1 Feb 2017, In : Archive for Mathematical Logic. 56, 1-2, p. 43-49 7 p.

    Research output: Contribution to JournalArticleAcademicpeer-review