Search - Archive ouverte HAL Access content directly

Filter your results

10 Results
Structure: Internal structure identifier : 3208
Image document

Formal Description of Geometrical Properties

Tuan Minh Pham
Logic in Computer Science [cs.LO]. Univeristé Nice Sophia Antipolis, 2011. English. ⟨NNT : ⟩
Theses tel-01112334v1
Image document

On type-based termination and dependent pattern matching in the calculus of inductive constructions

Jorge Luis Sacchini
Performance [cs.PF]. École Nationale Supérieure des Mines de Paris, 2011. English. ⟨NNT : 2011ENMP0022⟩
Theses pastel-00622429v1
Image document

Étude formelle d'algorithmes efficaces en algèbre linéaire

Maxime Dénès
Autre [cs.OH]. Université Nice Sophia Antipolis, 2013. Français. ⟨NNT : 2013NICE4103⟩
Theses tel-00945775v1
Image document

Contributions à la certification des calculs dans R : théorie, preuves, programmation

Assia Mahboubi
Génie logiciel [cs.SE]. Université Nice Sophia Antipolis, 2006. Français. ⟨NNT : ⟩
Theses tel-00117409v1
Image document

Composants mathématiques pour la théorie des groupes

Sidi Ould Biha
Génie logiciel [cs.SE]. Université Nice Sophia Antipolis, 2010. Français. ⟨NNT : ⟩
Theses tel-00493524v1
Image document

Interaction entre algèbre linéaire et analyse en formalisation des mathématiques

Guillaume Cano
Autre [cs.OH]. Université Nice Sophia Antipolis, 2014. Français. ⟨NNT : 2014NICE4016⟩
Theses tel-00986283v1
Image document

Formal Verifcation for Numerical Methods

Ioana Pasca
Other [cs.OH]. Université Nice Sophia Antipolis, 2010. English. ⟨NNT : ⟩
Theses tel-00555158v1
Image document

Vérification semi-automatique de primitives cryptographiques

Sylvain Heraud
Cryptographie et sécurité [cs.CR]. Université Nice Sophia Antipolis, 2012. Français. ⟨NNT : ⟩
Theses tel-00766757v1
Image document

Formalisation tools for classical analysis : a case study in control theory

Damien Rouhling
Logic in Computer Science [cs.LO]. Université Côte d'Azur, 2019. English. ⟨NNT : 2019AZUR4058⟩
Theses tel-02333396v2
Image document

Formal certification of game-based cryptographic proofs

Santiago Zanella-Béguelin
Computer Science and Game Theory [cs.GT]. École Nationale Supérieure des Mines de Paris, 2010. English. ⟨NNT : 2010ENMP0050⟩
Theses pastel-00584350v1