|
|
Formal Description of Geometrical Properties
Tuan Minh Pham
Logic in Computer Science [cs.LO]. Univeristé Nice Sophia Antipolis, 2011. English. ⟨NNT : ⟩
Theses
tel-01112334v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Étude formelle d'algorithmes efficaces en algèbre linéaire
Maxime Dénès
Theses
tel-00945775v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Interaction entre algèbre linéaire et analyse en formalisation des mathématiques
Guillaume Cano
Theses
tel-00986283v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Formal Verifcation for Numerical Methods
Ioana Pasca
Other [cs.OH]. Université Nice Sophia Antipolis, 2010. English. ⟨NNT : ⟩
Theses
tel-00555158v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Formalisation tools for classical analysis : a case study in control theory
Damien Rouhling
Theses
tel-02333396v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|