Filtrer vos résultats
- 7
- 4
- 2
- 1
- 1
- 7
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 7
- 7
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 6
- 4
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
7 résultats
|
|
triés par
|
|
Formal Foundations of 3D Geometry to Model Robot ManipulatorsConference on Certified Programs and Proofs 2017, Jan 2017, Paris, France
Communication dans un congrès
hal-01414753v1
|
||
|
Measure Construction by Extension in Dependent Type Theory with Application to IntegrationJournal of Automated Reasoning, 2023, 67 (3), pp.28. ⟨10.1007/s10817-023-09671-5⟩
Article dans une revue
hal-04183173v1
|
||
|
Formalization Techniques for Asymptotic Reasoning in Classical AnalysisJournal of Formalized Reasoning, 2018
Article dans une revue
hal-01719918v3
|
||
|
Semantics of Probabilistic Programs using s-Finite Kernels in CoqCPP 2023 - Certified Programs and Proofs, Jan 2023, Boston, United States. ⟨10.1145/3573105.3575691⟩
Communication dans un congrès
hal-03917948v1
|
||
|
Porting Coq Scripts to the Mathematical Components Library Version 2Inria Sophia Antipolis - Méditerranée, Université Côte d'Azur; National Institute of Advanced Industrial Science and Technology (AIST), Japan; ONERA / DTIS, Université de Toulouse, France. 2023, pp.1-12
Rapport
hal-04225130v1
|
||
|
Competing inheritance paths in dependent type theory: a case study in functional analysisIJCAR 2020 - International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.1-19
Communication dans un congrès
hal-02463336v2
|
||
|
Porting the Mathematical Components library to Hierarchy Builderthe COQ Workshop 2021, Jul 2021, virtuel- Rome, Italy
Communication dans un congrès
hal-03463762v1
|