 |
 |
 |
 |
|
|
||
|---|---|---|
|
tel-00945775v1
Thèse
Maxime Dénès. Étude formelle d'algorithmes efficaces en algèbre linéaire Autre [cs.OH]. Université Nice Sophia Antipolis, 2013. Français. <NNT : 2013NICE4103> |
||
|
hal-01113453v1
Communication dans un congrès
Cyril Cohen, Maxime Dénès, Anders Mörtberg. Refinements for Free! Certified Programs and Proofs, Dec 2013, Melbourne, Australia. pp.147 - 162, 2013, <10.1007/978-3-319-03545-1_10> |
||
|
hal-00650940v1
Communication dans un congrès
Mathieu Boespflug, Maxime Dénès, Benjamin Grégoire. Full reduction at full throttle Certified Programs and Proofs, Dec 2011, Kenting, Taiwan. 2011, Certified Programs and Proofs. <10.1007/978-3-642-25379-9_26> |
||
|
hal-00711385v1
Communication dans un congrès
Jónathan Heras, Maxime Dénès, Gadea Mata, Anders Mörtberg, María Poza et al. Towards a certified computation of homology groups for digital images CTIC - Computational Topology in Image Context - 2012, May 2012, Bertinoro, Italy. Springer, 7309, pp.49-57, 2012, Lecture Notes In Computer Science; Computational Topology in Image Context. <10.1007/978-3-642-30238-1_6> |
||
|
hal-00779376v1
Communication dans un congrès
Guillaume Cano, Maxime Dénès. Matrices à blocs et en forme canonique Damien Pous and Christine Tasson. JFLA - Journées francophones des langages applicatifs, Feb 2013, Aussois, France. 2013 |
||
|
hal-00734505v1
Communication dans un congrès
Maxime Dénès, Anders Mörtberg, Vincent Siles. A refinement-based approach to computational algebra in COQ Lennart Beringer and Amy Felty. ITP - 3rd International Conference on Interactive Theorem Proving - 2012, Aug 2012, Princeton, United States. Springer, 7406, pp.83-98, 2012, Lecture Notes In Computer Science; Interactive Theorem Proving. <10.1007/978-3-642-32347-8_7> |
||
|
inria-00504065v1
Communication dans un congrès
Maxime Dénès, Benjamin Lesage, Yves Bertot, Adrien Richard. Formal proof of theorems on genetic regulatory networks SYNASC'09, Sep 2009, Timisoara, Romania. IEEE, 2009, Synasc 2009, 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing |
||
|
hal-01081908v1
Article dans une revue
Guillaume Cano, Cyril Cohen, Maxime Dénès, Anders Mörtberg, Vincent Siles. Formalized Linear Algebra over Elementary Divisor Rings in Coq Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2016, <10.2168/LMCS-12(2:7)2016> |
||
|
|
||