| No. |
Title |
Author |
Year |
| 1 |
Machine-Checked Computational Mathematics (Invited Talk) |
Mahboubi, Assia |
2023 |
| 2 |
Gardening with the Pythia A Model of Continuity in a Dependent Setting |
Baillon, Martin et al. |
2022 |
| 3 |
Mathematical Structures in Dependent Type Theory (Invited Talk) |
Mahboubi, Assia |
2021 |
| 4 |
Unsolvability of the Quintic Formalized in Dependent Type Theory |
Bernard, Sophie et al. |
2021 |
| 5 |
Front Matter, Table of Contents, Preface, Conference Organization |
Bezem, Marc et al. |
2020 |
| 6 |
LIPIcs, Volume 175, TYPES 2019, Complete Volume |
Bezem, Marc et al. |
2020 |
| 7 |
A Certificate-Based Approach to Formally Verified Approximations |
Bréhard, Florent et al. |
2019 |
| 8 |
Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341) |
Bauer, Andrej et al. |
2019 |
| 9 |
Programming and certifying a CAD algorithm in the Coq system |
Mahboubi, Assia |
2006 |
