Search - Archive ouverte HAL Access content directly

Filter your results

7 Results
Image document

A refinement-based approach to large scale reflection for algebra

Cyril Cohen , Damien Rouhling
JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
Conference papers hal-01414881v1
Image document

OptiTrust: an Interactive Framework for Source-to-Source Transformations

Arthur Charguéraud , Begatim Bytyqi , Damien Rouhling , Yann A Barsamian
Preprints, Working Papers, ... hal-03773485v1
Image document

Formalization Techniques for Asymptotic Reasoning in Classical Analysis

Reynald Affeldt , Cyril Cohen , Damien Rouhling
Journal of Formalized Reasoning, 2018
Journal articles hal-01719918v3
Image document

A Formal Proof in Coq of a Control Function for the Inverted Pendulum

Damien Rouhling
CPP 2018 - 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.1-14, ⟨10.1145/3167101⟩
Conference papers hal-01639819v2
Image document

A Formal Proof in Coq of LaSalle's Invariance Principle

Cyril Cohen , Damien Rouhling
Interactive Theorem Proving, Sep 2017, Brasilia, Brazil. ⟨10.1007/978-3-319-66107-0_10⟩
Conference papers hal-01612293v1
Image document

Competing inheritance paths in dependent type theory: a case study in functional analysis

Reynald Affeldt , Cyril Cohen , Marie Kerjean , Assia Mahboubi , Damien Rouhling et al.
IJCAR 2020 - International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.1-19
Conference papers hal-02463336v2

Axiomatic constraint systems for proof search modulo theories

Damien Rouhling , Mahfuza Farooque , Stéphane Graham-Lengrand , Jean-Marc Notin , Assia Mahboubi et al.
10th International Symposium on Frontiers of Combining Systems (FroCoS'15), Sep 2015, Wroclaw, Poland. ⟨10.1007/978-3-319-24246-0_14⟩
Conference papers hal-01107944v1